h.
2
Let c = -25 + 27. Solve c*g = -2 + 12 for g.
5
Suppose 0 = 5*g - g. Suppose g*j + 8 = 4*j. Suppose 2*w = -j*w. Solve w*s - 15 = 3*s for s.
-5
Let a be 0 - (-3 + (6 - 5)). Solve -m = -a*m + 3 for m.
3
Let r(c) = 3*c - 3. Let i be r(3). Let n be (i + -1 + 2)*(-6)/(-21). Solve 2 = -0*d - n*d for d.
-1
Let u(l) = 7*l - 9 - 4*l + l**2 + 0*l + 8*l. Suppose 3*w = -38 + 2. Let b be u(w). Solve b + 3 = 3*x for x.
2
Let d(a) be the first derivative of a**3/3 - 3*a**2 - 10*a + 32. Let w(i) = -4*i - 4. Let x be w(-3). Let s be d(x). Solve -s*y + 3*y = 0 for y.
0
Let y = -102 + -7. Let j = y + 114. Solve 4*u - j = 7 for u.
3
Suppose -16 = 4*l, -8*l + 20 = 2*f - 6*l. Solve f = 7*x - 14 for x.
4
Let s(t) = -3*t + 28. Let g(x) = 10*x - 85. Let q(o) = 2*g(o) + 7*s(o). Let h be q(24). Let i(f) = f**2 - f - 1. Let u be i(-2). Solve -h*y + y = u for y.
-5
Suppose -4*v = -8 - 0. Let b(x) be the third derivative of x**5/60 - 2*x**3/3 - 2*x**2. Let y be b(v). Solve -3*j - 6 + y = 0 for j.
-2
Let q(y) = 11*y + 38. Let w(j) = -j + 2. Let d(u) = -q(u) - 5*w(u). Let z be d(-8). Suppose -2*t + 13 - 3 = 0. Solve t*s - s = z for s.
0
Let k = 3 + 7. Let f be 2 + -5 + -2*(-51)/(-6). Let m = f - -22. Solve -m*v = -0*v + k for v.
-5
Let l be 1*(-3 + 15/5). Let r = 4 + l. Solve r*d - 4 - 8 = 0 for d.
3
Let p be 21/12*(-6 + -2). Let n be p/(-6) - (-6)/(-18). Solve 7 - n = -i for i.
-5
Suppose 5*w - 12 + 2 = 0. Let a(v) = v**2 + 14*v - 111. Let s be a(-20). Solve s = -w*h + 1 for h.
-4
Let a(n) = n**3 - 14*n**2 + n - 14. Let v be a(14). Suppose v*h + 2 = h. Solve -3*u - h = -5 for u.
1
Let q(g) = -3*g**2 + 14*g - 20. Let j(y) = -7*y**2 + 27*y - 41. Let p(m) = 2*j(m) - 5*q(m). Let n be p(15). Solve 3 = n*z - 4*z for z.
-3
Let q be -2 + (3 - -2) + 0. Let m be 2 + q + 0 + 1. Let x = 9 - m. Solve -2*r + x*r = 0 for r.
0
Let j(y) = -5*y + 111. Let f be j(21). Solve -x = -1 + f for x.
-5
Let p(b) = 15*b - 2. Let q be p(1). Let o = 15 - q. Solve 2*n + 8 = -o*n for n.
-2
Let h be (8 - 4)/4*-14. Let m = -13 - h. Let b = 0 + 0. Solve -4*j - 21 + m = b for j.
-5
Suppose 37*h - 418 = 15*h. Solve -17*m - 4 = -h*m for m.
2
Let q = 1923 - 1918. Solve f = -4*f - q for f.
-1
Suppose -5*l = -7*l - 48. Let r = -22 - l. Solve -r*f = -0*f for f.
0
Let n(x) = x**2 + 4*x + 3. Let r be n(-2). Let s be (-4)/(r/1) - 10. Let k be s*4/(-12)*2. Solve -m = -k*m + 3 for m.
1
Let m be (-20)/6*36/(-24) - 2. Let a be 175/30 - m/(-18). Solve -3*t + 3 = -a for t.
3
Let x(u) = -u**2 - u + 2. Let v be x(2). Let s be -1 + (v - -5) - 0. Solve s*r = r for r.
0
Let r be -1 + (24/(-4))/(-2). Suppose 7*p = -r*b + 3*p + 12, 4 = b + 4*p. Solve b = 4*w - 8 for w.
4
Let w be (-10)/10 + -6 + 7. Let c(s) = -2*s - 3. Let a be c(-3). Solve a*g - 6 - 9 = w for g.
5
Let k be 6 - 7 - (0 + 0). Let s(r) = 7*r - 1. Let t be s(k). Let q(p) = -p**2 - 11*p - 9. Let f be q(t). Solve v + f = -4*v for v.
-3
Suppose -2 = -19*w + 55. Let h = 5 - -1. Solve -w*l = 6 + h for l.
-4
Suppose 5*z - 7*i = -6*i - 25, -2*z - 4*i = 32. Let d be 247/57 - 4/z. Solve -18 = -d*n - 3 for n.
3
Suppose -3*o = 2*o - 4*k - 32, 5*o = 5*k + 30. Solve o*m = -3 - 29 for m.
-4
Suppose -5*f = -2*f - 6. Solve -5 = -3*b - f for b.
1
Suppose 310*l = 304*l + 42. Solve 21 = -0*p + l*p for p.
3
Suppose -5*v = -5, 0 = s - 6*s - 2*v + 52. Suppose -3*d + s = -8. Solve -3*b + 3 = d for b.
-1
Let i(m) = m + 1. Let s(q) = -5*q + 2. Let g(p) = 6*i(p) + s(p). Let a be g(4). Solve -a = -0*n + 3*n for n.
-4
Let w = -32 + -4. Let h(b) = 7*b - 179. Let r be h(31). Let s = r + w. Solve z = 2*z + s for z.
-2
Let l(q) = 2*q**2 - 29*q - 58. Let y be l(-2). Solve -26*t = -30*t - y for t.
-2
Suppose 0 = 4*z - 6 - 2. Let u(p) = p**2 + 3*p + 7. Let h be u(-6). Let c be ((-15)/h)/((-2)/10). Solve 0 = -z*r - c*r - 20 for r.
-4
Let t(r) = r + 6. Let l be t(-3). Suppose 2*q + 3*u - 15 = 4*q, -2*q + 5*u = 25. Suppose -3*p = -q*p - m - 12, -p = 2*m + 3. Solve 9 = l*b - p for b.
4
Let y = 9 - 7. Let v be 0/((y - 4) + 1). Suppose -o - o = v. Solve o*f + 4*f = -20 for f.
-5
Let s be 0 + (-2)/13 - (-336)/156. Let q = 33 + -18. Suppose -s*k - 2*u - 2*u - 14 = 0, -k = 4*u + q. Solve 4*z + 3 = -k for z.
-1
Suppose -2*y = 3*h - 8*h + 8, -5*y + 1 = -2*h. Let z be y/3 - (-276)/36. Suppose -12 = -z*c + 6*c. Solve -5*s - c = 4 for s.
-2
Let u = -7 + 6. Let z be 6/2 + (u - 2). Let x be z/(1 - 2/(-2)). Solve x*s = 2*s for s.
0
Let o be 12*(-4 + 26/6). Let m = -13 - -25. Suppose 0 = m*j - 17*j + 15. Solve -o*r - j = -5*r for r.
3
Let f(w) = 0 - 1 + 2*w**3 + 9*w**2 + 0*w**3 + w - 3*w**3. Let m be f(9). Solve 0 = 3*g + m - 23 for g.
5
Suppose -3*w - 3*p = -51, 7*w + 7*p - 114 = 5*p. Solve 11*b + 20 = w*b for b.
4
Let i be 8 - -1 - (11 + -7)*-1. Solve -12 = -5*p + i for p.
5
Let b = 7 - 7. Let s = -6 - -6. Let f be (-1 - s) + 17 + -8. Solve b = -r + 3 - f for r.
-5
Suppose 5*u - 4*l - 53 = 0, -3*u = -4*u - l + 7. Let g = u - 3. Solve -j = -3*j + g for j.
3
Suppose 0 = 2*i + 4*a + 10, a - 4*a = 15. Solve 3*j = -i + 8 for j.
1
Suppose 0 = 3*y + 2*q - 110, -y - 3*q + 35 = -2*q. Suppose 4*r + y = 48. Let u be 24/12*1/r. Solve -4*f + 3*f + u = 0 for f.
1
Suppose -4*c = -3*b + 194, -40*b - 4*c + 296 = -36*b. Solve 0 = 66*n - b*n - 16 for n.
-4
Let k(w) = -26*w**2 + 6*w - 8. Let g be k(2). Let v = -97 - g. Solve r - 1 - v = 0 for r.
4
Suppose -5 = -5*u - 0. Let i be u + 0 + 5 + -6. Solve 5*k + 10 = -i for k.
-2
Let x(i) = -2*i**2 - 21*i - 8. Let z be x(-10). Suppose -v + 0*v + 23 = 4*c, 0 = -z*c + v + 13. Solve -14 = 4*t - c for t.
-2
Let i(x) = -x**2 + 13*x - 14. Let n be i(10). Suppose -n*v = -8*v. Solve 0 = 2*l - v*l for l.
0
Let v(a) = 2*a**2 + 26*a + 5. Let b be v(-13). Suppose 2*w - 7*w = -b. Solve -w - 7 = 4*s for s.
-2
Let t(u) = 2*u - 10. Let m be t(9). Let w = m + -9. Let g be (-8 - -7)*(w + 1). Solve -6*h + h = g for h.
0
Let r be (-3 + 7 - 10)/(-1). Let p = r - -11. Suppose 5*y - p = -2*f, 5*f = -0*y + y - 25. Solve 4*m - y = 3 for m.
2
Suppose 17*d - 25 = 12*d. Let n be d/10 + 2/(-4). Solve -j - 2*j - 15 = n for j.
-5
Let q = 0 - 0. Suppose -4*g - 5*z + 109 = -2, -5*g = -2*z - 114. Let c = 27 - g. Solve q = -c*r + 2 - 8 for r.
-2
Let w be (-2007)/(-87) - (1652/406 - 4). Let g(l) = l**3 - 6*l**2 - 5*l - 7. Let r be g(7). Solve -w = -4*k - r for k.
4
Suppose -2*l = 3*x - 32, -2*x + 32 + 37 = 5*l. Solve 0 = 9*r - l*r for r.
0
Let u be ((-6)/(-3))/(48/120). Solve 0 = 4*i + 9 - u for i.
-1
Suppose -64*z = -92*z + 252. Solve 0 = -z*m - 68 + 23 for m.
-5
Let s = -63 + 68. Suppose -s*o + 9 = -4*f, -3*o - 4*f = 2*o - 1. Solve 0 = -i - o for i.
-1
Let o(m) = 7*m**3. Let d be o(-1). Let q(t) = 2*t + 17. Let n be q(d). Suppose 0 = 5*w + p - 17, 5*w + 5*p = 2 + n. Solve 13 = -w*x - 3 for x.
-4
Let j(y) = -y**3 - 3*y**2 + 8*y - 7. Let r be j(-5). Suppose 0 = -r*n + 3*v - 9, 2*v + v = -n + 9. Let u = n - -4. Solve u*f = 2*f - 4 for f.
-2
Let c(h) be the second derivative of h**5/20 - 11*h**4/6 + 11*h**3/3 - 17*h**2/2 + 4*h. Suppose 0 = 2*u - 88 + 46. Let t be c(u). Solve t*s + 4 = -0*s for s.
-1
Suppose 1042 = 73*b - 3046. Solve -b + 68 = 3*z for z.
4
Let v = 390 - 386. Solve 2*x + 30 = -v*x for x.
-5
Let s be (-3)/(-3)*-1 - 0 - 74. Let i = s - -76. Let d(b) = -b. Let l be d(0). Solve l = -x - 4 + i for x.
-3
Let f be (-3)/(-6)*-4*10/(-4). Solve -j + 10 = f for j.
5
Let s(u) = -2 + 9 - 7 + 6 + 2*u. Let c be s(0). Solve -4*w + c = 10 for w.
-1
Let o be -5 - (24/(-3) - 1*-3). Solve 15*l - 34 - 11 = o for l.
3
Suppose 12*o - 8*o + 3*x - 84 = 0, o + 4*x = 8. Solve 3*f - 30 = -o for f.
2
Suppose -5*b = -m - 85, m + 51 = -70*b + 73*b. Solve b*j + j + 90 = 0 for j.
-5
Suppose 0 = n + 2*n + 18. Let v(k) = k**3 + 4*k**2 + 9. Let q be v(-4). Let y = q + n. Solve p = -y*p + 16 for p.
4
Let y be 12/30 - (-399)/15. Suppose 2*a = 5*v + 130, 5*a + 71 = -v - 3*v. Let i = v + y. Solve i*k = k - 6 for k.
-3
Suppose -18 = -2*z - 8. Solve z*r + 13 = -7 for r.
-4
Let w be 45/12 - (-3)/12. Let g be (1 - (-3)/(-6))*48/4. Solve -m + w*m = g for m.
2
Suppose 12 = 2*i + i. Let t be (6 - -2)*(-2 + i). Let l be 8/t*0/(-2). Solve -2*w = -l - 2 for w.
1
Suppose n = 6*n + 2*r + 614, -5*n + 2*r = 626. Let b = n + 130. Solve -k + 10 = -b*k for k.
-2
Let n = 6 + -3. Suppose n*t = -2*t + 120. Let v be 3/2*t/9. Solve -12 = -v*s + 4 for s.
4
Suppose 72*j