 13 = 0, 4*f + r = 10 + 3. Solve 4*p - f - k = 0 for p.
2
Let g be (2/(2/2) - 1)*6. Solve 5*a = 2*a - g for a.
-2
Let p be (0 - 2)/2*2. Let c be p/9 - (-274)/18. Let k = 6 - 6. Solve k = a + 4*a - c for a.
3
Let p = 2 + 2. Let x be 16/10 - p/(-10). Let c be -1 + (x - 2 - -3). Solve -c*f + 7 = 1 for f.
3
Let i be (-1)/(-1 - 2/(-3)). Suppose q + i*q = -24. Let t be (-2)/3*1*q. Solve -3*o - t = -7*o for o.
1
Let f = -12 - -10. Let w be 1 - f*(-1)/(-2). Solve 0 = w*r + 9 - 1 for r.
-4
Let a(n) be the first derivative of n**3 + 3*n**2/2 + 2*n - 2. Let b be 6*1/3*-1. Let c be a(b). Solve c*u - 3*u = 0 for u.
0
Let a(r) = r**2 + 1. Let h be a(1). Suppose u = 4 + h. Suppose 0 = 5*f - 3*f - 8. Solve -18 = -f*w - u for w.
3
Let d be (-2 - -2)*(-7)/(-14). Solve -m + 6*m = d for m.
0
Let u(d) = d - 6. Let k = -13 + 22. Let s be u(k). Solve 7 = 2*r - s for r.
5
Let o be (-2)/3*18/(-4). Let t be (6/8)/((-4)/(-16)). Let z be 2/((-2)/(-9)*t). Solve -3*k + z = -o for k.
2
Let f(b) = b**3 + 6*b**2 + 6*b + 7. Let c be f(-5). Suppose 0 = -c*d + 2*o + 10, 0 = -4*d - 3*o + 17 + 10. Solve -d*h = -h for h.
0
Let k(q) = q**2 + 4*q + 2. Let d be k(-4). Solve -d*y = -3*y + 5 for y.
5
Let i(q) = -q**2 + q + 5. Let v be i(0). Solve -v*o - 2 = 3 for o.
-1
Let h(w) = w**3 - 8*w**2 + 8*w - 5. Let t be h(7). Suppose -g = -2*u + 21, -u - t*g + 30 = u. Let l = -7 + u. Solve 4*n - 3*n = -l for n.
-5
Let c be (-1 + 0)/(2*(-2)/44). Solve -3*k - 2 = -c for k.
3
Let c be -15*(4 + -3)/(-1). Solve -2*h = -5*h + c for h.
5
Let t be 9 + (-2 - -1 - 0). Suppose 0 = 4*w + 1 - 13. Let h be 4*-3*w/(-18). Solve -4*v + h*v = -t for v.
4
Let w(f) = f**2 - 1. Let a be w(-1). Let r(u) = u + 1. Let q(n) = -2*n + 1. Let y(z) = q(z) + 3*r(z). Let m be y(a). Solve -m*l = -12 - 0 for l.
3
Suppose 9 = 2*m + 1. Suppose 0 = -4*d + 40 + m. Solve d = -5*o - 4 for o.
-3
Let f(g) = g**3 - 10*g**2 + g - 7. Let s be f(10). Solve -s*w - 12 - 3 = 0 for w.
-5
Let l be 5/((-1)/(-1) - 0). Solve -15 = l*q - 0 for q.
-3
Let v be (-10)/(-6) + 6/(-9). Solve a + 3 = -v for a.
-4
Suppose 0 = 3*u - 3*m - 15, -5*u + 3*m + 10 + 11 = 0. Suppose 0*o = o + 11. Let k(p) = -2*p - 10. Let d be k(o). Solve -u*s = -6*s + d for s.
4
Suppose 4*w + 0 = 8. Let s = 4 - w. Solve 0 = y - s - 2 for y.
4
Suppose 2*p = 7*p - 4*l + 2, -4*l + 12 = 0. Let x be (p + -1)*(4 + 3). Let g = 11 - x. Solve -g*i + 2 = -6 for i.
2
Let t = 17 - 17. Let n = 19 + -10. Solve t = 3*o - 6*o + n for o.
3
Let u = 8 - 6. Solve i + 3 = u*i for i.
3
Suppose -4 = -j, 0 = 3*a - 0*a + 5*j - 23. Let w be (0 - -1) + 1 - 0. Suppose 4*n - w = 2*n. Solve -t + n = -a for t.
2
Let u(j) = j + 1. Let z(t) = t**2 + 4*t - 1. Let y(b) = 3*u(b) - z(b). Let m be y(0). Solve -m*k - 6 = -2 for k.
-1
Let c = -47 - -28. Let n = -14 - c. Solve -15 + n = -5*b for b.
2
Let g = -1 + -3. Suppose -3 = -3*q - u + 14, 5*q - 47 = 3*u. Let d = g + q. Solve d*y = 5*y for y.
0
Let d = 8 - 13. Let x = -12 - d. Let s = 16 + x. Solve -2*u + s = -5*u for u.
-3
Let f(b) be the third derivative of 0 + 4*b**2 + 0*b - 3/8*b**4 + 1/60*b**5 + 5/3*b**3. Let n be f(8). Solve n*z + 0*z + 2 = 0 for z.
-1
Let l(z) = 2*z. Let t = -1 - -3. Let g be l(t). Suppose 22 - g = 3*c. Solve -c*s + 5 = -s for s.
1
Suppose 0*q = -3*m - 2*q + 7, -2*m = 4*q - 2. Solve 0 = 6*k - m*k - 6 for k.
2
Suppose -4*t = -8 + 4. Let s be t + (-3)/6*-2. Solve 0 = 5*y + s + 8 for y.
-2
Let j = 1 - -1. Suppose -j*r + 12 = -0*r. Solve -z = -r*z for z.
0
Suppose -4*a - 2 = -22. Let s = -3 + a. Let d = s + 4. Solve d*y = 2*y + 4 for y.
1
Let i(n) = -n**3 - 3*n**2 + 7*n + 6. Let g be i(-4). Suppose 0 = -z - z + 20. Let b = z + g. Solve -5*k = -1 - b for k.
1
Suppose -2*x - 1 = -13. Suppose -15 = -3*p - 5*y, -2*y = -0*y - x. Let j be (p/(-3))/(-1 + 0). Solve j*c = -4*c - 8 for c.
-2
Suppose -5*i + 2 = -4*i + 3*x, -5*i = -4*x - 10. Solve -i*d + 10 = 3*d for d.
2
Suppose -5 = -3*i + 10. Solve -i*y = -4*y for y.
0
Suppose 5*q = -5*d, -3*q + 2 - 9 = -4*d. Let h be 4 + 1*1/q. Solve -h*c = 3 + 9 for c.
-4
Let q be 2 - (-1)/2*2. Let k = 84 - 132. Let m be k/(-4)*2/3. Solve -20 = m*b - q*b for b.
-4
Let t be 1/(-3) + (-117)/(-27). Solve -t*c - 4 - 4 = 0 for c.
-2
Let u be (-2 + 1)*(0 + 0). Suppose -l + u*l + 6 = 0. Solve 3*k - 21 = -l for k.
5
Let i(h) = 3*h + 1. Let s be i(1). Suppose -4*u + 28 = 3*o, 2*o + s = -2*u + 5*u. Suppose 4*m - 19 = -5*r, 2*m - 4*m = u*r - 14. Solve g - r = -0*g for g.
3
Suppose 0 = 4*c + c. Suppose c = -6*l + 2*l - 40. Let n = 17 + l. Solve -4*z = -n*z for z.
0
Let h = 48 + 69. Let w be h/6 - 1/(-2). Let d be (8/(-10))/(2/(-10)). Solve d*y - w = -y for y.
4
Let c = 3 - -1. Suppose -12 = -c*z + z. Suppose 2*v - z*v + 12 = 0. Solve v*g = 3*g + 9 for g.
3
Let r be -1*1/2*2. Let g be (-9 - -9)/(r/1). Solve d = -g*d - 5 for d.
-5
Let x = -16 - -18. Suppose 4*r - 2*r - 2 = 0. Let y(m) = 4*m**2 - m + 1. Let w be y(r). Solve w = -2*j + x for j.
-1
Let u = 19 + -19. Solve -m + 4*m = u for m.
0
Suppose -2*r = -3*l - 30, -r = -5*r - l + 60. Solve -3*p = -6*p - r for p.
-5
Suppose 12*i + 11 = 155. Solve -8*n = -i*n + 4 for n.
1
Suppose -2*t - 55 = 5*q, -3*q - 4*t - 25 = 22. Let v = -7 - q. Solve 3*w + v = w for w.
-1
Suppose 0 = -4*k + 17 - 1. Solve -k*h = -0*h + 12 for h.
-3
Let j be (-4)/7 + 138/21. Suppose -2*z = -g - 5, 5*g - 1 = -2*z + 10. Let q be 1 - (0 - 1)*2. Solve -z*h = -j - q for h.
3
Suppose 7*b = 5*b + 8. Solve -6 = -b*u + u for u.
2
Let o(l) = l**2 - 2*l + 3. Let v be o(4). Let j(a) = a**3 - 12*a**2 + 11*a. Let r be j(v). Suppose 2*b + b - 6 = r. Solve m - 2 = b*m for m.
-2
Suppose 4*w = -2*g + 14, g - 5*w - 13 = -10*w. Solve g*s + 6 = 6*s for s.
2
Let a(x) = 2*x + 10. Let h be a(-8). Let w(p) = -3*p + 2. Let q be w(h). Suppose -5*v - 5 = -5*j, v + 4*j + 6 = q. Solve -4*t - 18 = -v for t.
-4
Let b(t) = 11*t - 1. Let j be b(1). Suppose -35 = -3*s + j. Suppose -5*m = -0*m - s. Solve -m + 11 = -2*q for q.
-4
Let n(r) = -r**3 + r - 1. Let j be n(1). Let o = 4 + j. Suppose 0 = v - 5, -f + 26 - 5 = o*v. Solve f*i - i - 25 = 0 for i.
5
Let r be ((-12)/8)/(6/(-28)). Let h = r - 7. Solve h = 4*v - 0*v + 4 for v.
-1
Let j(z) be the second derivative of -2*z**3/3 - z**2/2 + 4*z. Let n be j(-1). Let v be 1 + (1 - (0 - -2)). Solve v*b - 12 = -n*b for b.
4
Let w = 11 - 5. Let y = -11 - -14. Solve -y*m = -w*m + 15 for m.
5
Suppose 4*l - r = 3*r + 8, -5*l + 3*r + 12 = 0. Suppose -3*k = -5*a - 0*k - 10, -a - l*k = 20. Let w = 0 - a. Solve 4*t - w*t - 1 = 0 for t.
-1
Suppose 6*i = 2*i + 12. Let o = -5 + 3. Let v = 4 + o. Solve v = i*f + 11 for f.
-3
Suppose -2*f = y - 5*f, -5*y = -5*f. Solve y + 3 = -3*t for t.
-1
Let n(f) = -f**3 - 17*f**2 - 29*f + 15. Let i be n(-15). Solve i*c + 3*c = 0 for c.
0
Let m(k) be the third derivative of k**4/24 + k**3/6 - 2*k**2. Let b be m(-1). Solve b - 5 = t for t.
-5
Let p be 1/(-3)*-17*3. Solve 5*t = -2 + p for t.
3
Suppose 2*k - 52 = -2*o, k + 3*k + 16 = 0. Suppose -3*b - o = -3*z, -5*b = 2 - 12. Suppose 15 = 3*u + v, 4*u + 0*v - 15 = -3*v. Solve -3*c + z = -u*c for c.
-4
Let r be (7 - 5) + 2 + 0. Solve -r*n = -9 - 3 for n.
3
Let a = 11 + -8. Solve -a*m = -0*m + 3 for m.
-1
Let p(i) be the third derivative of -i**4/24 - 5*i**3/6 - 3*i**2. Let j be p(-9). Suppose 0*y - 8 = -j*y. Solve 2*d - d + y = 0 for d.
-2
Let h be (-4 + 40/15)*-3 + 0. Solve -8*f + h = -10*f for f.
-2
Let a(o) = -3*o. Let t be a(-1). Let p be (-3)/(-1) + -1 + t. Solve p*l - 3 = 4*l for l.
3
Let l(a) = -a**2 - a + 4. Let w be l(-2). Let t(i) = i**3 - 2*i**2 + i - 2. Let h be t(w). Solve h*y = 5*y + 5 for y.
-1
Suppose -51 + 45 = -2*t. Solve t*y = y for y.
0
Let k = -32 + 55. Suppose 5*z - k = -8. Suppose -z = 2*l - 11. Solve -l - 2 = 2*g for g.
-3
Let p(f) = f + 18. Suppose 3*u + 30 = h + 4*h, 3*h = -5*u - 84. Let k be p(u). Solve 5 = k*i + 2*i for i.
1
Suppose 0 = 5*m - 20, 6*o = 7*o + 2*m - 31. Solve -5*g - o = -8 for g.
-3
Let v = -26 - -14. Let r = v - -20. Suppose 7 = 4*m + z, 2*m - 34 = -m + 5*z. Solve -m*w - r = w for w.
-2
Suppose 5*y + 0*y = -4*z - 25, 3*y = -15. Suppose z = -u - 2*u + 12. Solve 6 - 2 = u*d for d.
1
Suppose -5*b - 2*d = 4, 2*b + d = -0*b - 2. Solve b = -j + 3 - 5 for j.
-2
Let o(h) = -2*h - 6. Let b be o(-4). Suppose -x - 31 = -f - 3*f, -8 = -b*f + 2*x. Let r be 3*(200/15)/8. Solve -r = -a - f for a.
-4
L