a.
4
Let b be -6*(-3)/(6/5). Solve -b = -5*g - 5 for g.
2
Let n(h) = 3*h + 3. Let q(d) be the first derivative of d**2/2 + 2*d - 1. Let t(k) = 2*n(k) - 5*q(k). Let b be t(4). Solve -2*c - 3*c - 25 = b for c.
-5
Let y(r) = -5*r**3 - 2*r**2 - r. Suppose 5*u + 0 = -5. Let i be y(u). Solve -2*t + i - 2 = 0 for t.
1
Suppose -v - 2 = x, -2*v - v - 24 = -3*x. Solve 0 = -k + x*k + 10 for k.
-5
Let y = -12 - -12. Let m = 4 + -9. Let z = 8 + m. Solve y*j + z*j + 12 = 0 for j.
-4
Let r(b) = -b**3 + 6*b**2 - 5*b + 2. Suppose 7*a = 3*a + 20. Let g be r(a). Solve 0*d - g = 2*d for d.
-1
Suppose o + 2 = 7. Let s(c) = 6*c - 8. Let h(d) = d. Let p(w) = o*h(w) - s(w). Let x be p(5). Solve 3*i = 4*i + x for i.
-3
Suppose -35 = -9*y + 2*y. Solve 11 = 4*w - y for w.
4
Let q be (-4 + 0)/4*0. Solve q*r + 5*r + 10 = 0 for r.
-2
Let h be ((-30)/9)/(4/(-6)). Let y(q) = -q**3 + 4*q**2 + 6*q - 2. Let o be y(h). Solve o + 2 = -b for b.
-5
Let u = -38 + 53. Let x(h) = -h - 3. Let l be x(7). Let q = l + u. Solve q = 3*o + 2*o for o.
1
Suppose 6*w - 2*w = 0. Solve 0 = 5*z - w*z for z.
0
Let i(d) = -14*d**3 + d**2 - d - 1. Let s be i(-1). Suppose h - s = -2*h. Let c = h - -3. Solve p + 3*p + c = 0 for p.
-2
Let g(l) = l**2 + 9*l + 25. Let t be g(0). Let y = 2 - 1. Suppose -f + i - 1 = 0, -2*i + y - 3 = -3*f. Solve 0 = f*j + j - t for j.
5
Suppose 2*z - 12 = -z. Suppose d + 7 = -z. Let c = -8 - d. Solve 0*m + c*m = -9 for m.
-3
Suppose 0 = 6*c - 2*c - 8. Let f = 2 - c. Suppose f = 3*o - 0*o. Solve 0*a - 3*a - 9 = o for a.
-3
Let h(t) = t - 3. Let x be h(6). Solve x + 5 = -4*y for y.
-2
Let s = 25 + -13. Suppose 0 + s = 2*l. Let y be l/(-21) + (-46)/(-14). Solve -3*m + y = -0*m for m.
1
Let l(j) = 2*j**2 - 3*j - 2. Let b be l(-1). Solve b = g - 0 for g.
3
Suppose -3*v = -5*v + 2*s - 20, 2*v = 4*s - 12. Let f = v - -29. Solve -3*i + 3 = f for i.
-4
Suppose 4*w - 4*m + 3 = 7, 0 = 5*w - 2*m - 17. Solve -w + 2 = -t for t.
3
Let l be (-55)/(-10) + -1*2/4. Solve -5 = 2*p + l for p.
-5
Suppose 5*b + 4*d = 16, -3*d = 1 + 2. Solve -3*f + 8 = -b for f.
4
Let k = -1 + -1. Let w(b) = -b**2 - 2*b. Let r be w(k). Solve r = 5*n - 1 + 6 for n.
-1
Suppose -4*d = -3 - 33. Suppose -14 = 2*z - 5*j, 5*z + 0*z - 23 = -2*j. Suppose 0*q + d = z*q. Solve -a = -q*a + 6 for a.
3
Let d = -11 - -12. Suppose -d = -c - 6, 0 = -l - 3*c - 15. Solve l = -0*h - 3*h + 12 for h.
4
Let c = -14 - -10. Let p be 8/(-6)*3 - c. Solve p = w + w + 4 for w.
-2
Let z = 8 - 6. Solve -z*n + 1 = -9 for n.
5
Let n be 1720/220 + 2/11. Solve -2*z = -0*z - n for z.
4
Let u be -7 + (1 - (1 - 1)). Let m be u/(-21) - (-4)/(-14). Solve m*y - 5 = y for y.
-5
Suppose -5*q + 4 = -16. Let s be -4*-1*(-7)/4. Let b = s - -23. Solve 0*v + q*v + b = 0 for v.
-4
Suppose -3*o = 3*v - 27, 2*v - 3*v + 2*o = -3. Solve 2*x - 1 + v = 0 for x.
-3
Let t(o) = -o**2 - 4*o + 7. Let v(f) = -f + 2. Let n be v(7). Let s be t(n). Suppose -3*u = -2*p + 31, s*p + 6*u - 52 = 2*u. Solve -3*k - k = -p for k.
5
Suppose 3*n = -5*k - 5, -5 = 4*n - 3*n + 5*k. Suppose -y - 3*y = -8. Suppose 3*z = -2*z + 125. Solve -y*s - 3*s - z = n for s.
-5
Let y(s) = -s**3 + 4*s**2 + 2. Let f be y(4). Let u be 1/(-1)*(-9 + f). Solve u*h + 10 = 2*h for h.
-2
Let h(z) = z + 16. Let n be h(-12). Let w be (-3)/n + 171/36. Solve -s + 3 = -w*s for s.
-1
Suppose 142*w + 2 = 143*w. Solve 4*s + w = 3*s for s.
-2
Let h = -19 + 37. Solve -4*c + h = 6 for c.
3
Suppose -3*j + 0*j - 24 = 0. Let n(x) = x + 15. Let h be n(j). Solve h*o - 3*o + 8 = 0 for o.
-2
Suppose 3*z = 3*a - 12, -5 = a + 3*z + 7. Let q(w) = w**2 - w + 5. Let v be q(a). Solve 5*f + 0*f = -v for f.
-1
Suppose 1 - 1 = 7*s. Solve s*w = -w for w.
0
Let w = 3 + -15. Let c(h) = h + 14. Let a be c(w). Solve -g = -3*g - a for g.
-1
Let g be -1 - (-4 - -2) - 0. Solve g = l - 4 for l.
5
Suppose -8 = 3*h + 19. Let g be ((-2)/3)/(2/h). Let t(s) = -s**3 + 4*s**2 - 3*s. Let w be t(2). Solve w + 10 = g*a for a.
4
Let j(i) = i**2 + 4*i + 3. Let x be j(-3). Suppose -2*c = -x*c. Solve t + 6 - 1 = c for t.
-5
Suppose -v + 12 = 2*v. Suppose -5 = -5*j + 20. Solve -v*a = -1 + j for a.
-1
Let v = 177 + -172. Solve 2*b = v*b - 6 for b.
2
Let w be -2 + (-6)/12*-4. Let i(f) = -f + 2. Let y be i(0). Solve u = -w - y for u.
-2
Let q = -9 + 12. Solve 0 = -3*g + 3 + q for g.
2
Let b(w) = -2*w**2 - 12*w - 5. Let d be b(-5). Solve d*n - 19 = 1 for n.
4
Suppose -2*h = h. Solve 5*b - b = h for b.
0
Let i be (-3 + (-44)/(-3 + -1))/2. Solve -i*n = -7*n + 3 for n.
1
Suppose 8*n - 10*n = -8. Solve n*m - m = 0 for m.
0
Suppose -3 + 13 = 5*c. Suppose -2*z = -5*d + 3, -2*d - c*z + 6 = 2*d. Let k be d*((-15)/(-3))/1. Solve 16 = k*f - f for f.
4
Let z = 10 + -12. Let q be (1/(-1))/(z/14). Solve 5*n + q = 27 for n.
4
Let b(a) = 3*a**2 - 2*a - 1. Let r be b(-1). Suppose -16 = 4*d + 4, 0 = 5*o + r*d + 20. Solve o*j - j = -2 for j.
2
Suppose 0 = -n + 2*n - 36. Suppose -4*q = -4*d + 4 + n, -5*q - 18 = -d. Let g = d + -6. Solve w = g*w + 2 for w.
-2
Let c be 4*5/(-100)*-10. Solve 2*p = -c*p - 12 for p.
-3
Suppose -4*u + 9 = 5*y, -5*u + 18 = -y - 15. Suppose -4*s + u*s - 4*f = 32, 4*s + 5*f = 64. Solve s = -0*c + 4*c for c.
4
Let j = 86 + -79. Solve -j*s = -2*s for s.
0
Let i = -17 - -9. Let h = i + 11. Suppose 2*y - 3 + 9 = h*u, -5*y + 2*u = -7. Solve j = -y*j for j.
0
Let m = 128 + -127. Solve -d - 2 = -m for d.
-1
Suppose n - 17 = 3*v, -3*v = 5*n - 0*v - 31. Let i = -2 - n. Let k = 20 + i. Solve -20 = 5*c - k*c for c.
4
Let x = -5 - -10. Suppose -x*i - 5 = -15. Suppose -20 = i*u + 4*d - 8, -2*d = -2*u + 12. Solve -2 - u = -2*m for m.
2
Let b = 4 + -5. Let f be (b - 3/(-2))*20. Solve 3*y = y - f for y.
-5
Suppose 3*i - 6 = i. Suppose -i = -n + 2. Solve -n*c + 16 = -c for c.
4
Suppose 0 = -5*b - 4*b - 3*b. Solve 0 = 2*f - b*f for f.
0
Let q = -7 - -2. Let r be 1 + -2 + (0 - q). Suppose -12 = -4*z, 3*y = -y - 4*z + 16. Solve r = -5*p - y for p.
-1
Let n = -93 + 97. Solve n*j + 1 = 13 for j.
3
Suppose 5*p + 8 = h - 12, -4*h = -4*p - 16. Let z = h + 5. Solve 3 = -z*i - 7 for i.
-2
Suppose 0 = x + 4*z - 8, 3*z + 29 = -3*x + 4*x. Suppose 3*a + j = x, -2*a + 3*j + 5 + 1 = 0. Solve 0*u - a = -2*u for u.
3
Let w(y) = -2*y - 9. Let f = -4 + -2. Let x be w(f). Suppose z - 2 - x = 0. Solve 3*b - 7 = z for b.
4
Let r(w) = w**3 - 6*w**2 - 2*w - 2. Let b be r(6). Let s be (-4)/14 - b/49. Solve -2*u + 0*u - 8 = s for u.
-4
Suppose t = -0*t + 24. Suppose -2*y = 4*p - t, -4*y + 0*p - 5*p = -60. Solve -5*o - y = -o for o.
-5
Suppose 4*o - 3 = -2*a + 75, -3*a - 19 = -2*o. Solve 3*m + o - 5 = 0 for m.
-4
Let y(k) be the first derivative of -k**4/4 + 2*k**3/3 + 2*k**2 - 2*k + 3. Let c be y(3). Solve -3*s = c + 11 for s.
-4
Let p = 5 - 8. Let n be p/1 - (-17 + 2). Solve 5*y - n = -2 for y.
2
Let l be ((-12)/(-9))/(6/9). Solve -3*f - l = 7 for f.
-3
Let i(t) = -t**3 + 9*t**2 - 17*t + 6. Let z be i(6). Solve 11*j = z*j + 3 for j.
-3
Suppose 4*s - 20 = 2*w, 5*w + 1 = -s + 6. Suppose w*u = -5*u - 25. Let j = u - -5. Solve 3*l - 3 = -j for l.
1
Let c = 3 - 0. Suppose 2*j + 5 = -3*j. Let r = j - -3. Solve -r*z + 2 = -c*z for z.
-2
Let i be (-16)/6 - (-2 + 21/9). Suppose 4*k - 4*o - 12 = 12, -2*k - 9 = 5*o. Let m = k + i. Solve m = -4*q + 1 - 17 for q.
-4
Let r = 8 + -6. Suppose -2*s - 35 = -5*n + 3*s, -n - 3*s - 9 = 0. Solve -1 = -n*a + r*a for a.
1
Let x be 1 - ((-4)/(-2))/(-1). Suppose 7 + x = 5*s. Let k = 4 - s. Solve m = -0*m - k for m.
-2
Suppose 0 = -6*a + a + 75. Solve -4*h = -h + a for h.
-5
Suppose -11 = -2*d + 5*i, 5*d + 0*d - 2*i = 17. Suppose 4*x = -w - 4, w - 8 = -2*x + d*w. Suppose 0*g + g = x. Solve g*p = -5*p - 10 for p.
-2
Suppose 3*g = 15 - 0. Suppose -6*p + 12 = -3*p - 4*l, 0 = p + g*l - 4. Solve -p*d + 0*d + 20 = 0 for d.
5
Let d(r) = -r**3 - 3*r**2 - r + 2. Let x be d(-2). Let s = 8 + -5. Suppose -6 = s*y - 5*y. Solve y = -x*b + 3*b for b.
1
Suppose -4*s = r - 10, s - 2 = -2*r + 4. Let j = r - 0. Solve 0 = j*m - 7 - 1 for m.
4
Let x be ((-10)/(-25))/(-1 + 11/10). Solve 0 = w - 2 + x for w.
-2
Let u(r) be the first derivative of r**2/2 - 2*r - 4. Let k be u(5). Solve -g = k*g for g.
0
Let f = 8 - 5. Let x be (-24)/(-18)*(-18)/(-4). Solve -f*n + n + x = 0 for n.
3
Suppose -4*c = -2*r - 0*r + 12, 4*r - 4*c - 16 = 0. Suppose f = o, -r*f = -0*o - 3*o + 5. Solve 2 = o*h - 18 for h.
4