= 4*h for h.
3
Let t = 25 - 17. Solve -6*a = -8*a + t for a.
4
Let y = -14 - -26. Suppose 4*f - 26 + 2 = 0. Suppose f*g - 25 = g. Solve -g*h - y = -h for h.
-3
Let a be -1 + 2/6*(4 - 1). Solve a*u = -3*u for u.
0
Let i = 19 + -21. Let n be -2 - i/(-3)*-3. Solve 3*h = -n*h for h.
0
Let m = -216 - -215. Let j = 2 - 0. Let d be (-1)/(j/4*m). Solve 4*f - 2 = d for f.
1
Let p(g) = -g**3 + 2*g**2 + g - 1. Let x be p(2). Suppose -4*a - c = x, -3*c = -2*a - 9 + 26. Solve -3*q = -a + 7 for q.
-2
Let r = 7 + -9. Let o be 2*r/((-4)/2). Suppose 0 = -3*p - o*p. Solve 5*f + 20 = -p*f for f.
-4
Suppose -2*g - 48 = -32. Let m be (-9)/6*g/6. Solve 0 = m*x + 6 - 0 for x.
-3
Let y = -80 + 83. Solve -y = -2*g + 1 for g.
2
Let c = 39 - -16. Let p = -50 + c. Solve 9*j - 4*j = -p for j.
-1
Let y = -34 + 24. Let w be 60/(-100) + (-136)/y. Solve w = 3*j + 1 for j.
4
Let m(x) = -x**2 - 4*x + 5. Suppose -4*b - 1 + 13 = 0. Suppose -a - b*a = 16. Let u be m(a). Solve 10 = -u*j + 3*j for j.
-5
Suppose 4*b + 83 = 5*p + 3*b, -29 = -2*p - b. Solve 4*z + p = -4*z for z.
-2
Let g = 159 + -195. Let t = g + 52. Let v = 0 + 0. Solve v = 5*f - f + t for f.
-4
Let n be (-5)/2*(-18)/15. Suppose -71 = -5*j - 26. Solve 6*u = n*u - j for u.
-3
Suppose -22*h = 43*h - 650. Solve -7*x + h + 4 = 0 for x.
2
Let u(v) = -v - 13. Let s be 2/11 - 6012/396. Let n be u(s). Solve -b + 12 = n*b for b.
4
Let c(u) = -u**3 - 17*u**2 - 15*u + 9. Let h be c(-16). Let p(v) = -v**3 - 6*v**2 + 3*v - 16. Let x be p(h). Solve 3*j + x = 7*j for j.
3
Let q be ((-1)/3)/(-2 - 1085/(-546)). Suppose 2*d = 3*i - 0*d - 8, 0 = i + 4*d - q. Solve -4*r - i = -2 for r.
-1
Let b(l) = l**2 - 17*l + 7. Let o be b(0). Solve 2*i - o = 3 for i.
5
Suppose -l + 18*l = 68. Solve -3*q = -l*q - 8*q for q.
0
Suppose -9*k + 3*k = -30. Solve -4*j = -k*j - 4 for j.
-4
Let y be -5 - 1/(-1) - -2. Let g = -157 + 155. Let z = y - g. Solve 0 = -z*x - 5*x for x.
0
Let u be 1/(3/(-2))*-6. Let l be (-12)/8*(9 + 1). Let j be 4 + 0 - (-1 + l). Solve u*n - j = -n for n.
4
Suppose 51 = 2*s + i, -8*i + 12*i - 123 = -5*s. Solve 0 = s*b - 23*b - 4 for b.
1
Let x(g) = g**2 - 10*g + 3. Let s be x(10). Suppose 0 = d + y + 1, 5*d - 5*y - s = 2. Solve d*p + 5*p = 5 for p.
1
Let s = -429 - -441. Solve 0 = 2*b + s - 10 for b.
-1
Suppose -23 = -s + 3*c - 0, 11 = s + 3*c. Suppose i + 17 - 50 = -2*r, i - s = -r. Suppose d = -t + 4, -6*d = -3*d + 4*t - r. Solve d = -o + 3*o for o.
0
Suppose -4*c + 8*c - 8 = 0. Let s = -6 + 10. Suppose 0 = -4*y + s + 8. Solve -y*d = -d - c for d.
1
Suppose 21 = -2*n - 5. Let j = -13 - n. Let u(h) = h**3 + 5*h**2 + 6*h + 9. Let x be u(-4). Solve j = -i + 3 - x for i.
2
Suppose 0*w = -2*w + 26. Let s be 0*(4 - w/3). Suppose 3*g = 2*j - s*g - 21, -2*g = -5*j + 25. Solve 0 = j*c + c for c.
0
Let x = -10 - -19. Suppose f = -2*v - 2*v + x, 5*f - 3*v = 91. Suppose 5*r - 22 = -2*i, 5*i + 4*r - f = r. Solve -d = -2 - i for d.
3
Suppose 0 = -2*q + y + 35, -2*y + 3*y - 70 = -5*q. Suppose 13*n = q*n. Solve n = 2*m - 7*m - 20 for m.
-4
Let s(g) = -g**3 - 11*g**2 - 11*g - 15. Let t be s(-10). Let h be 0/(5*(-1)/t). Solve 4*r = 4 - h for r.
1
Suppose 4*n + 4*x = -116, 4*n - x + 4*x = -111. Let q = n - -44. Suppose -25*s + q*s = 0. Solve f + s*f = -5 for f.
-5
Let i(y) = -y - 4. Let u be i(-4). Suppose 1 + u = -l. Let s = 2 - l. Solve -f + 4 = s*f for f.
1
Let g(q) = 3*q + 2. Let s be g(1). Suppose m + s*v - 11 = v, -4*m = 4*v - 20. Solve 0 = i + m*i - 8 for i.
2
Let a = 393 - 393. Solve a*d - 4*d = 0 for d.
0
Let o(d) = -d**3 - 4*d**2 + 5*d + 2. Let k be o(-5). Let w = 6 + -16. Let v be w/(-25) - (-2)/(-5). Solve v = 2*p + k*p for p.
0
Let y(k) = -k - 20. Let w be y(-20). Suppose 3*g = 2*g + 15. Let p(x) = -x**2 - 5*x + 5. Let m be p(-5). Solve -m*n = -w*n + g for n.
-3
Let g(t) = t**3 - 3*t**2 - 13*t - 12. Let v be g(6). Suppose 2*o = -2 + v. Let c(z) = -z - 1. Let r be c(-4). Solve r*k = o + 1 for k.
3
Let u(j) = -j**2 + 16*j + 17. Let v be u(17). Suppose -2*m = 2*m - 12. Let t be (-1 - v) + m + 1. Solve -t*o - o = 0 for o.
0
Let f(h) = 3*h + 3. Let o be f(-1). Suppose -11 = i - 4*j - 0*j, -i + 2*j - 3 = 0. Solve o = -2*m + m - i for m.
-5
Let n(r) = -21*r - 16. Let u be n(-1). Solve u*b + 5 + 10 = 0 for b.
-3
Suppose -3*m - 3*n = -8*m + 61, -4*m + 2*n + 50 = 0. Let a be 12/(-42) + 60/m. Let i(s) = s**3 - 12*s**2 - 23*s + 132. Let q be i(13). Solve -q - 6 = a*v for v.
-2
Let a = 67 + -65. Suppose -a*q = 2*b, -5 = -4*q - 7*b + 4*b. Solve 0 = q*k - 4*k - 1 for k.
1
Suppose 5 + 5 = 4*l - 3*u, 5*l + 3 = -4*u. Solve -2*b - 5 = -l for b.
-2
Suppose -10 = -3*s + 2*r, -s + 4*r = -6*s + 24. Let y be s/(-6) - 42/(-9). Let x(u) = u**2 - 3*u - 1. Let w be x(y). Solve -3 = -w*v - 9 for v.
-2
Suppose 0*m - 3*m + 6 = 0. Let y be 74 - 2*(4 - 2). Suppose -10*k = -3*k - y. Solve 4*h - k = -m for h.
2
Let k(g) = g + 8. Let i be k(-7). Let u be -6*i/(-1)*5/15. Solve u = 5*d + 12 for d.
-2
Let t(q) = q**2 - 7*q - 18. Let x = 36 + -17. Let p = -10 + x. Let l be t(p). Solve l = d + 4*d for d.
0
Suppose -u - 6*l + 3*l - 1 = 0, -l - 27 = -5*u. Solve -24 + 9 = -u*w for w.
3
Let c = 16 + -14. Suppose 2*m + 0*m - 2*z = -4, 3*m - z - 2 = 0. Solve 4*v = -m - c for v.
-1
Let k = -456 - -503. Solve 0 = k*m - 51*m + 20 for m.
5
Let t(p) = -5*p + 4. Let j(a) = -a. Let z(y) = -4*j(y) + t(y). Suppose 15*u = -3*u. Let q be z(u). Solve -6 = -q*i + 6 for i.
3
Let u(h) = 7*h + 28. Let t be u(-4). Solve t = 12*m - 7*m - 10 for m.
2
Suppose -33 + 9 = -3*d. Suppose 4 = 2*b + h, -5*b - 7*h + 24 = -d*h. Solve -m = m + b for m.
-2
Let c = -11 + 11. Suppose 3 = -s + l + 19, 5*s + l - 62 = c. Solve -s = 2*h - 5 for h.
-4
Suppose -91*l = -89*l - 4. Let n be (-1)/l*-1 - 49/(-14). Solve -2*i + 0 - n = 0 for i.
-2
Suppose -5*v - 5 = 0, -5*d + 82 + 226 = -3*v. Solve 0 = c - 59 + d for c.
-2
Suppose 0 = -5*c + u + 11, 4*c + 0*u - 5 = -3*u. Suppose -3*m + 7*m + 16 = c*s, 2*m = 3*s - 8. Solve s*g - 2 = -2*g for g.
1
Let u = 896 + -889. Solve 12 = u*q - 13*q for q.
-2
Let x = 9 + -9. Suppose x = s + 5 - 15. Suppose 10 = 5*j + 3*t, -2*t + s = -j + 5*j. Solve 0*p - 5 = j*p for p.
-1
Suppose 0 = -5*c - 10, -6*c - 8 = -4*d - 2*c. Solve d = -3*a + 11 - 2 for a.
3
Let h = -42 + 47. Suppose -5*l - 16 = 3*i, -4*i - 17 = h*l - 4. Solve -7*x = -i*x + 20 for x.
-5
Let l(p) = p**3 + 4*p**2 + 2*p - 3. Let r be l(-3). Let k(j) = -j**3 + 5*j**2 - 6*j + 2. Let m be k(2). Solve r = -v - 0 + m for v.
2
Let y(p) = -p**2 - 15*p - 8. Let t be y(-14). Solve 26 - 8 = -t*z for z.
-3
Let r be 4 - 2 - (3 - 6). Suppose -2*a + r*a + 6 = 0. Let c be (a - -3) + 0 - -3. Solve 2*v - 6*v - c = 0 for v.
-1
Let j(l) be the first derivative of -l**2/2 - 11*l - 4. Let y be j(-16). Solve -3 = y*q + 7 for q.
-2
Suppose -3*d + 9 = -6. Suppose d*m = 4 + 21. Suppose -m*s - 7*p = -3*p + 1, 12 = -3*p. Solve 0 = s*r + 2 + 4 for r.
-2
Let p(x) = x**2 + 23*x + 3. Let g be p(-7). Let o = g - -113. Solve 4*m + 0 = -o for m.
-1
Suppose -2*u + 0*u = -10. Suppose -m = -u*r + 10, 0 = 4*r - 4*m + m + 3. Suppose -l - 6 = 2*b - 4*b, 4*b - 4 = -2*l. Solve b*i + 1 = r*i for i.
1
Suppose -2*m + 24 = -5*o, 0 = -5*m - 5*o - 4 - 6. Solve 9 = m*c - 5*c for c.
-3
Suppose 0 = -23*g + 54 + 61. Solve 0 = -g*c - 5 for c.
-1
Let h be 2/5 + (-3)/(-5) + 4. Suppose -h*p - 18 = -33. Solve 25 = -p*v + 8*v for v.
5
Let h(j) = 9*j**2 - 1. Let c be h(1). Let l be (c/20)/(2/10). Let i be 1 - (-1 + l)*-3. Solve 0*x = 2*x - i for x.
2
Let z be ((4/20)/1)/((-2)/(-10)). Let m be (-20)/12*6/(-5). Solve 0 = l - m - z for l.
3
Let b(v) = v**2 - 3*v - 1. Let y be b(-2). Let d be 3 - 1 - (-10 + y). Let z = -4 - -9. Solve -2*n = -z - d for n.
4
Let p = -7 + 10. Suppose -p*a + 80 = a. Suppose q = b + 9, -2*b - 88 + 78 = -q. Solve a = 4*k - q*k for k.
-5
Suppose -6*p + 7*p + 86 = 0. Let t = 90 + p. Solve 0 + 8 = t*x for x.
2
Let l be 9/((-90)/(-25))*2. Solve 0 = -l*m - 0*m - 5 for m.
-1
Suppose -24 = -2*j + c - 94, j + 35 = 3*c. Let q = j + 38. Solve 2 = u - q*u for u.
-1
Suppose 35 = l - 2*h, 5*l + 3*h - 190 = -2*h. Let d = l + -31. Solve 4*t + d = 22 for t.
4
Let r(n) = -n**2 - 5*n + 7. Let z be (5/(-2))/(-6*2/(-24)). Let m be r(z). Solve -2*u + m + 3 = 0 for u.
5
Let i = -10 + 6. Let f be i + ((-24)/2)/(-3). Solve -3*x + 9 = -f*x for x.
3
Suppose 0 = -3*c + g + 68, 4*g + 10 = 3