g + 12 - 10 = c. Solve -g*a + 3 = -1 for a.
2
Let q(v) = v**3 + 17*v**2 - 18*v. Let s be q(-18). Solve s*h + 2*h = -10 for h.
-5
Let v be (-1)/((-102)/33 + 3). Solve 1 = 3*l - v for l.
4
Suppose 18 + 6 = -3*q. Let m be q/2*(-10)/(-8). Let d be 2/m - (-2)/5. Solve u + u = d for u.
0
Let n(z) be the first derivative of z**3/3 + z**2/2 - 2*z - 3. Let m be n(2). Solve t = 1 - m for t.
-3
Suppose -15 + 5 = -2*p. Solve 0 = -3*a + 7 + p for a.
4
Let h be (-5 - -5)*(-1)/3. Solve -2*m + h*m - 10 = 0 for m.
-5
Let t(f) = -f + 3. Let l be t(3). Suppose l*w - 3*g = -3*w + 18, w + 4*g = -19. Solve 3*m = 2 + w for m.
1
Let j = 0 - -5. Suppose 4*p - j = -5*t, 2*t - 12 = -4*p + 2. Suppose 0 = -0*w + 4*w. Solve -a + p*a - 20 = w for a.
5
Let v(h) = 5 - 3*h + h**2 - 4*h + 0*h. Let q be v(7). Suppose -q*w = -3*w. Solve 0*t + 3*t + 12 = w for t.
-4
Let c = 37 - 31. Let m = 1 + 3. Suppose -d = s - 8, -5*d - m*s + c + 31 = 0. Solve d*x + 0*x = -15 for x.
-3
Let x = -125 + 129. Solve -x = n - 0 for n.
-4
Suppose 23*h - 19*h - 16 = 0. Solve 8*b + 20 = h*b for b.
-5
Let k(h) = -h + 1. Let m be (-9)/4 - (-5)/20. Let b be k(m). Suppose 2*d + 5 = 5*n, -d - b*n + 3 = -0*d. Solve d*i + 5 = -i for i.
-5
Let m = 3 - 4. Let v = 71 + -50. Let p be v/4 - m/(-4). Solve -p = -4*n - 1 for n.
1
Let m be ((-42)/12 + 3)*-12. Let l be (0 - (-60)/9)*3. Solve -m*h - l = -2*h for h.
-5
Let r = -89 + 90. Solve r + 14 = 5*u for u.
3
Let z = -5 - -9. Suppose 14*o = 18*o. Let t(i) = 3*i + 2. Let b be t(o). Solve 0*x = -b*x + z for x.
2
Let a be 9 - 11 - 1/(2/(-4)). Solve a = 3*q + 2*q + 25 for q.
-5
Let s = -11 - -14. Solve s*q - 5 = -2*q for q.
1
Let f = 82 - 79. Solve f*p = -2*p + 5 for p.
1
Let y = 55 - 55. Solve y*c + 16 = -4*c for c.
-4
Suppose 0 = -5*n + 25, 2*z - 5*z + 60 = 3*n. Solve 6*x - 3*x = z for x.
5
Suppose -2*h + 5 = -t, 0 = -3*h + 2*t + 3 + 4. Suppose 0 + 3 = 3*m. Solve -h*y + m + 2 = 0 for y.
1
Suppose 0 = -4*j + 8*j + 5*a, 0 = -3*j - 5*a. Suppose j = o + o. Solve o*i = -5*i - 5 for i.
-1
Suppose 4*s = -3*u + 25, 4*u - 5*u + 19 = 4*s. Suppose 1 = -3*o - s*g, 5*o - 2*g = 2*g + 9. Suppose p - 4*x + o = -x, -3*x + 5 = p. Solve p*c = -2*c - 20 for c.
-5
Let x(q) be the second derivative of -q**3/6 - q**2 + 8*q. Let y be x(-6). Solve y*o = -21 + 1 for o.
-5
Let o = 128 + -120. Solve 4*r - 8 = o for r.
4
Suppose 0 = 3*l - 5*s - 19, 9*l - 11 = 4*l - 2*s. Solve l*i + 4 - 16 = 0 for i.
4
Suppose 3*n - 5*r - 12 = 0, -4*n + 0*r + 16 = 5*r. Suppose 27 = n*a - a. Solve 5*k + a + 1 = 0 for k.
-2
Let u be (0/3)/((-2)/1). Suppose 5*t + u*l = 4*l, 2*l = t. Let b be 2 + t*2/(-2). Solve 0*v - b = -v for v.
2
Let o(s) = -s**3 - s**2 + s + 1. Let m be o(0). Let d = m - -6. Solve -2 = -g - d for g.
-5
Suppose w = -4*w. Solve w = i - 1 + 5 for i.
-4
Suppose 4*m + m - 3*o = -66, 8 = 4*o. Let z be 0/(-4)*(-4)/m. Solve z*k = k - 2 for k.
2
Let p(u) = u**3 - u. Let n be p(-1). Solve b + 2 = -n for b.
-2
Suppose 0 = -3*x - 3 + 18. Let y(q) = -q**3 + 3*q**2 + 6*q - 2. Let i be y(4). Suppose -t + i = t. Solve x = 4*v - t*v for v.
5
Suppose c = 6 - 3, -c + 3 = -2*y. Solve -u = -2 - y for u.
2
Suppose 0 = -3*o - 4*t + 2*t + 72, -o + 24 = -t. Solve -o - 1 = -5*s for s.
5
Let o(d) = -3*d**2 + 18*d + 5. Let n(x) = 4*x**2 - 27*x - 7. Let a(y) = 5*n(y) + 7*o(y). Let u be a(-9). Solve 4 = h - u*h for h.
4
Let z be (-5 - -7)*(-15)/(-6). Suppose y + 14 = 5*s - 43, s = 2*y + 15. Suppose -2*j = -4*w + 2*w - 4, -2*j = 5*w - s. Solve -2*o + z = -j for o.
4
Let m(y) = -6 - y + 4*y - y - y. Let j be m(4). Let n be -2 - (-1 + j) - -1. Solve -10 = -2*b - n for b.
4
Let f be (8 - 8)/(5 + -3). Solve -2 = -2*z - f*z for z.
1
Suppose -q - p + 7 = 0, 0*q - q - 5*p - 13 = 0. Let g = q + -7. Suppose 0*x + g*x = 0. Solve -a - 4*a - 25 = x for a.
-5
Let g(x) = 6 - 8 - x**3 + 9*x**2 + x - 1. Let b be g(9). Let r be 16/20*(-1 + b). Solve 13 = -r*f - 7 for f.
-5
Suppose -2*r + 8 = 2*f - 6, -3*r + 2*f - 4 = 0. Suppose 2*w = -r*c, 11 - 3 = -2*w. Solve 2*z - c*z = 8 for z.
-4
Let f = 53 + -53. Solve g - 2 - 2 = f for g.
4
Let h(g) = g**2 + 2*g - 5. Let d(b) = 4*b. Let m be d(-1). Let f be h(m). Suppose -12 = -5*s + f. Solve -s*l = l + 20 for l.
-5
Let d(j) = -2*j**3 + 3*j**2 - 2*j - 3. Let a(q) = -3*q**3 + 3*q**2 - 2*q - 3. Let o(n) = -3*a(n) + 4*d(n). Let w be o(-3). Solve w*r = r for r.
0
Let c(b) = 5*b**2 + 4*b - 4. Let g be c(2). Let a be (g/(-20))/(4/(-10)). Solve a*x + 6 = 5*x for x.
3
Suppose 5*c - 20 = -0*c. Suppose 0*o + o - c = 0. Solve -3*p - o - 8 = 0 for p.
-4
Suppose 5*y + 5*t = 10, 5*y + 6 = 6*y - 3*t. Solve -6*s - 12 = -y*s for s.
-4
Let q(s) = s + 9. Let j be q(-8). Let r be 4/(-10) + (-26)/10. Let b be 11/(-2 - r)*j. Solve -5*m = 1 - b for m.
2
Let o = 50 + -49. Solve -5*w - o + 16 = 0 for w.
3
Let v be (-42)/(-8) + (-4)/16. Let s(f) = -4*f + 76. Let i be s(19). Suppose 0*n - 5*n + 34 = -3*g, 0 = -5*g - 15. Solve v*l + i = -n for l.
-1
Suppose t + 12 = -2*t + s, -4*s = -12. Let h = 0 - t. Solve -2*v + 1 = -h*v for v.
-1
Let r(h) = -h**2 - 8*h + 13. Let m be r(-6). Solve m = -4*t + 9 for t.
-4
Let n be 4*-6*(-6 - -5). Suppose -5*g = -8*g + n. Solve 2 = 2*m - g for m.
5
Let k(y) = -y - 2. Let j be k(-6). Let l be (-1 - 3)/(j - 6). Suppose -l*w = -0*w - 20. Solve 0*v - 5*v = w for v.
-2
Suppose 0 = -5*d + 6 + 119. Suppose s - d = -10. Solve -2*p + s = 5 for p.
5
Let b(k) = -k - 2. Let y be b(-2). Solve -m + 3*m + 8 = y for m.
-4
Suppose 3*u - d = 13, 3*d = 2*u - 13 - 5. Solve -2*z = 1 - u for z.
1
Let t(f) = -f**3 - 4*f**2 + 11*f - 3. Let k be t(-6). Solve i = 2 - k for i.
-1
Let w = 5 - 3. Solve 5*q - w + 17 = 0 for q.
-3
Suppose 0 = 2*y - 3*m - 17, 4*m + 0*m + 17 = -3*y. Let o be 1 + y/((-1)/(-23)). Suppose -3*n = n - o. Solve -h - n = h for h.
-3
Let u(f) = -f**2 + 6*f - 5. Let z be u(7). Let d = 17 + z. Suppose d*b - 2 = 3. Solve k - 4 + b = 0 for k.
3
Let a(t) be the second derivative of t**4/12 + t**3/2 + 2*t**2 + 2*t. Let f be a(-3). Suppose 28 = 4*w + 4*q, 3*w - w + f*q = 24. Solve -1 = 3*g + w for g.
-1
Let f be 0 + 4 + 14 + -15. Solve -8*x + f*x = 0 for x.
0
Suppose 0 = 3*c - 1 + 7. Let x be (c - (-6)/4)*-80. Suppose -x = -3*g - 16. Solve g = 3*s - 5*s for s.
-4
Let t be 2*(-1)/(2/(-4)). Solve 5*a = a + t for a.
1
Let l = -12 + 14. Solve 3*r + l = r for r.
-1
Suppose 2*s - 3*g = 6*s - 35, -g + 41 = 5*s. Solve 2*n + 2*n = -s for n.
-2
Suppose -30 = 9*y - 75. Solve -b + 0 = -y for b.
5
Let m be (4 - 1) + (-1 - 2). Solve m = 3*d + 15 for d.
-5
Let w = -12 - -1. Let f = -7 - w. Solve f*l + 4 = -0 for l.
-1
Let c = 24 - 20. Solve -9 = -c*p + 3 for p.
3
Let b = -2 - -2. Let w = -9 + 13. Suppose 3*l + 3*r - 20 - 1 = 0, -l + 10 = w*r. Solve b = l*n - n + 25 for n.
-5
Let g(q) = -q. Let x be g(-5). Solve x*s = s + 4 for s.
1
Let i be 24/(3 - 0) + 0. Let f be i/(-4) - (-20 - 1). Let c = f + -7. Solve 0 = 2*v + 2*v - c for v.
3
Suppose -45 = -2*r - 5*m, 2*m + 2*m + 16 = r. Let z = r + -18. Solve 2*p - 4 = -z for p.
1
Let d(j) be the second derivative of j**4/12 - j**2 + 7*j. Let n be d(2). Solve 2 = -4*g - n for g.
-1
Suppose 3*k + p - 4*p = 39, 4*p + 67 = 5*k. Solve 0*i - k = -5*i for i.
3
Let f(p) = -4*p**2 + p + 5. Let a(b) = -9*b**2 + b + 10. Let k(z) = -3*a(z) + 7*f(z). Let j be k(4). Solve j*q - q + 16 = 0 for q.
-4
Let i(l) = 3*l + 1. Let m = 4 - 5. Let p be i(m). Let j be 1 - 38/(p*1). Solve 3*n = 5 - j for n.
-5
Suppose 6*x - 4 = 4*a + 2*x, -2*x - 7 = -5*a. Let s be 1*(a - -1 - 4). Solve -5*m + m + 8 = s for m.
2
Suppose -4*h + 0*h = -12. Suppose 0 = -3*g + 15, -h*b + 5*g - 25 = -4*b. Suppose -4*a = -b*w - w - 9, 0 = -2*a + 2*w. Solve q + a = 4*q for q.
1
Suppose -z = -4*i - 12, 0*z - 3*i = -z + 10. Solve 18 - 10 = -z*c for c.
-2
Suppose 3*w + 0*w = 6. Let v(l) = -l + 1 - 2*l - w. Let p be v(-7). Solve -z - 3*z - p = 0 for z.
-5
Suppose 2*c + c = 30. Solve 3*q - 1 + c = 0 for q.
-3
Let j(z) = z**3 - 4*z**2 + 2*z - 4. Let p be j(4). Suppose 0*y - 2*y + 3*c + p = 0, c = 4*y - 8. Solve -y*s = -0*s - 6 for s.
3
Let n(k) = -k**2 + 6*k - 3. Let b be n(6). Let z be (2/4)/(b/(-384)). Suppose -4*l = -z - 36. Solve 2*h = 7*h - l for h.
5
Suppose 4*s - 3*j - 23 = 0, -5*j = -s - 10*j. Solve -15 = -5*u + s for u.
4
Let u = -28 - -26. Let v be (-474)/(-30) - u/10. Solve -1 = -5*z - v for z.
-3
Let s(r) be the first deriva