-z + 126 = 4*w, -90 = -3*w + z + 1. Solve -w*h = -26*h for h.
0
Suppose 58*d - 26*d - 128 = 0. Solve -d*b = 4*b - 40 for b.
5
Let f(z) = -z**2 - 4*z - 2. Let s(p) be the second derivative of -p**4/6 + 2*p**3/3 - 3*p**2/2 + p. Let g be s(2). Let n be f(g). Solve 3*q - n = 4*q for q.
-1
Suppose 0*p = 2*q + 5*p - 17, -2*q - 13 = -5*p. Solve -q = -3*v + 2 for v.
1
Let a = 285 + -282. Solve -u - a + 0 = 0 for u.
-3
Let v be (-2 + 3)/((25/35)/5). Solve v*o - 12 = 16 for o.
4
Let a be (-3 + 5)*1/(-2). Let p be (2/(-6))/(a/3). Suppose 0 = -4*c + 12 - 4, -z - 2*c = -19. Solve 4*s - p = z for s.
4
Suppose -20*o + 16*o = 20. Let f(c) be the first derivative of c**2/2 + 5*c - 2. Let x be f(o). Solve 4*b - 2 + 14 = x for b.
-3
Suppose -s - 3 = -4*v, -v = -5*v - 8. Let g be (s/22)/(1/(-8)). Solve 3*y - 5 = g*y for y.
-5
Let p be -197 + -1 + 14 + -11. Let u be p/(-21) - (-6)/(-21). Let z = 17 - u. Solve 0 = n + 3*n + z for n.
-2
Let k(z) = -z**3 - z + 2. Let t be k(0). Solve -10 = t*s - 6 for s.
-2
Let w = 13 - 7. Suppose -w*f + 3*f + 39 = 0. Let b be (17 - 13)/(1/1). Solve -3 = -b*d + f for d.
4
Let f be (-41)/(-4) + (3 - (-26)/(-8)). Suppose -3*t = -8*t - 5*u + 20, -3*u + f = 2*t. Solve 3 = t*a + 1 for a.
1
Let z = -233 + 253. Solve -13*p - z = -18*p for p.
4
Let r = -5 + 5. Let s = 271 + -268. Solve r = -s*c + c + 2 for c.
1
Suppose 1275 = t + 14*t. Let d = -76 + t. Solve 4*j = 11 + d for j.
5
Suppose -12 = -4*g, g - 15 = 12*v - 15*v. Solve v = -5*p + 6*p for p.
4
Let z(n) = 16*n + 355. Let p be z(-22). Solve -11*i - p = -8*i for i.
-1
Suppose 2*y - 4 = 5*h, -2*h = -4*y + 2*y + 16. Suppose 4*i - 37 + y = -t, -3*i + 2*t = -5. Let x = 9 - i. Solve -2 = x*u - 14 for u.
3
Suppose 2*t + 2*t - 135 = 3*b, b = 3*t - 95. Let x be t/(-12)*(-8)/5. Suppose -k + x + 4 = 0. Solve -4*r + 0 = -k for r.
2
Suppose -525*p = -421*p - 416. Let m(r) = -r**3 - r**2 + 2*r. Let s be m(-2). Solve -p + s = i for i.
-4
Suppose -5*p + 49 = -51. Solve -7*i - 6 + p = 0 for i.
2
Let s(q) = -4*q - 9. Let w be s(-3). Solve 10 = -w*y + y for y.
-5
Let u = 5 + -7. Let v(k) = 3*k + 1. Let f be v(1). Let s be f/8*(u - -4). Solve 0 = -r + s + 2 for r.
3
Suppose 0 = -6*n + 32 + 16. Let o(r) = r**2 - 10*r + 19. Let z be o(n). Solve w - z*w = 8 for w.
-4
Suppose 2*u - 3*u = -11. Suppose 24 = u*d - 20. Let c = -2 - -5. Solve -c*p + 5*p + d = 0 for p.
-2
Let n be (-114)/(-12) - 4 - 2/4. Suppose 4*q = -2*j + 2, -3*q + 15 = n*j + 2*q. Solve -j*f - 1 = -6 for f.
1
Suppose -4*p - 64 + 20 = 0. Let i(o) = o + 11. Let v be i(p). Suppose v = j + j. Solve j*a = -2*a for a.
0
Suppose -68 = 4*g - 4*y, 2*g = -0*g - 5*y - 48. Let b = g - -30. Let t be (-2)/3 + b/3. Solve c - 2*c + t = 0 for c.
3
Suppose 5*i - 9*i + 25 = -o, i - 25 = 4*o. Solve -3 = -i*p - 28 for p.
-5
Let d = 288 + -280. Solve 0 = -4*y + 4 + d for y.
3
Let a(f) = f**2 + 16*f + 20. Let t be a(-15). Let s(x) = x + 3 - 3*x**2 + t*x**2 - 6*x**2 + 3*x**2. Let c be s(0). Solve -w = 1 + c for w.
-4
Suppose 11*n = 19 + 14. Suppose -2*f = 5*z - 4, -4*z - f = -5 - 0. Suppose -z*u = -u - 2. Solve -n*k = u*k for k.
0
Suppose 5*f = 5*u + 6*f - 20, 2*f + 12 = 3*u. Let p be 2*((-1)/(-2) - -2). Suppose 0 = 4*x - 2*r - 32, -3*x - r + p*r = -19. Solve -u*c + 11 = -x for c.
5
Suppose -5*y = -2*y + 3*a + 75, 5*y + 137 = -a. Let c = y + 42. Solve 5*r = -c + 4 for r.
-2
Let k = 292 + -290. Solve -k*i = 2*i - 16 for i.
4
Suppose -4*d - 6*l + 6 = 0, 4*d = 2*d - 5*l - 3. Solve -13*m - d = -7*m for m.
-1
Let a(h) = h**2. Let p(l) = -6*l**2 + 7*l. Let m(f) = 5*a(f) + p(f). Let q be (7/2)/(3/6). Let i be m(q). Solve -w + 2*w - 3 = i for w.
3
Suppose -3*f - 1 = -2*y + 3*y, -3*f = 4*y - 14. Suppose 0*k - t + 7 = 3*k, 0 = -3*k + y*t + 37. Solve k*m + 2 - 6 = 0 for m.
1
Suppose -8 + 1 = -7*x. Let q be 14 - x - (-1 + 4). Solve 0 = -4*y + 2*y - q for y.
-5
Suppose 22 = 4*s - 2*f, -3*f = 3*s - 3 - 0. Let x be (s - (-9)/(-6))*12/15. Solve 3*y - x*y - 1 = 0 for y.
1
Let g(z) = -z**3 - 8*z**2 + 9*z + 7. Let a be g(-9). Suppose 2*j - j = -5, 0 = -p - 2*j - 7. Suppose -p*h + 83 = 23. Solve 2*m + h = a*m for m.
4
Let m = 19 - 22. Let c be ((-4)/m)/(4/6). Let p be (-3)/c*(-8)/6. Solve -4*x = -p*x + 8 for x.
-4
Suppose 0 = -5*h + 2*t + 2, -4*t + 12 = -4*h + 2*h. Solve h*x - x = -1 for x.
-1
Suppose 10*a - 15 = 5*a. Suppose 5*i + 14 = -a*m, 0 = 2*m - 4*i - 26 + 6. Let d = -38 + 41. Solve -m*q + 3*q - d = 0 for q.
3
Let c = 94 - 91. Solve -c*r + r = 0 for r.
0
Let n = -74 + 82. Solve -n*u = -5*u - 6 for u.
2
Let m(g) = -g**3 + g. Let b = 4 + -8. Let q be m(b). Suppose -3*n + q = 9. Solve -5*c - 8 = n for c.
-5
Suppose 0*r + 4*r - 20 = 0. Suppose 7*h - 28 = r*h. Let n = h - 9. Solve n = 2*j - j for j.
5
Let u = 32 - 47. Let l = u - -23. Let x(b) = 4*b - 3. Let i be x(2). Solve -i*m + 15 = -l*m for m.
-5
Suppose 2*d = -0*d + 2. Suppose t = d + 3. Suppose -8*p = -t*p - 4. Solve -4*m + p - 5 = 0 for m.
-1
Suppose 4*x = -0*s - 3*s + 11, 3*s = 3. Suppose -2*g + 10 - x = -4*k, -2*g + k = -2. Suppose -4*l = -3*i + 2, -5*i + 2 + 12 = 4*l. Solve g = i*u - 10 for u.
5
Let o(d) = 3*d**3 + 2*d**2 - 4*d + 3. Suppose 20*a - 26*a = -6. Let k be o(a). Solve 0 = -2*h - 0 - k for h.
-2
Let t(b) = -11*b - 228. Let d be t(-21). Solve -m - 20 = d*m for m.
-5
Let k = -323 + 302. Suppose -54 = -2*q + 2*w, -4*q + q = 4*w - 60. Let x = q + k. Solve -x = 4*g - 11 for g.
2
Let d(g) = g**2 + 4*g + 5. Let z be d(-3). Let l(y) = -y. Suppose 2*u - 5*u = 0. Let i be l(u). Solve i*t = z*t - 2 for t.
1
Let i = 12 - 6. Let s(w) = 2*w - 11. Let d be s(i). Solve 4 = h + d for h.
3
Let f(y) = -y**3 + 12*y**2 + 18*y - 9. Let c be f(13). Let w be (-107)/(-7) + (-16)/c. Let o = 15 - w. Solve 5*p + 7 + 8 = o for p.
-3
Let f = 222 - 214. Solve -16 = 4*s - f*s for s.
4
Let s = 213 - 211. Solve 7*p - s*p = p for p.
0
Suppose -4*f - 30 = -6*f. Solve -19*n = -22*n - f for n.
-5
Suppose -15*f = -37 - 98. Let o be (1 + -7)/(f/(-6)). Solve 0*s + o = 4*s for s.
1
Suppose -59*i - 1184 = -651*i. Let l(d) = d**3 + 5*d**2 + d - 4. Let j be l(-4). Solve -4*h = -i*h + j for h.
-4
Let j = -5 + 7. Suppose 0 = 5*s - 2*d - 116, s - 2*d - 10 = -6*d. Suppose 6 = -2*q + 4*q, -4*q = j*w - s. Solve 0*y = -w*y for y.
0
Suppose p + 62 = -4*h, -h + 0*h + 4*p - 7 = 0. Let j = h + 23. Let a(r) = r**3 + 4*r**2 - r - 1. Let f be a(-4). Solve -f*c = c + j for c.
-2
Suppose -2*m + z + 4 = 0, 3*z + 20 = -4*m - 2*z. Suppose m = 2*c + 14 - 16. Solve 0 = -q + c for q.
1
Suppose -41 = -2*g - 25. Solve -4*m + 8 = -g for m.
4
Let t(h) = -44*h - 222. Let x be t(-6). Solve -43*q = -x*q - 2 for q.
2
Suppose 5*n = n + 12. Suppose 4*g + 5*q - 36 = 0, 16 = 2*g - 3*q + 5*q. Let y(i) = 17*i - 61. Let l be y(4). Solve -n*r + g = l for r.
-1
Suppose -4*g - 8*g = -372. Suppose 6*i - 181 = -g. Solve -x = -6*x + i for x.
5
Suppose 0 = -3*v + 4*n - 0*n - 1, -5*v + 13 = -3*n. Let c(t) = t**3 - 5*t**2 + 3. Let l be c(v). Solve l*w - 9 = -3 for w.
2
Let j(t) be the second derivative of 4*t**3/3 - 3*t**2 - 30*t. Let l be j(1). Solve -3*g - 5 = l*g for g.
-1
Suppose 5*z = -4*n + 36, 3*z + 4 = z + 3*n. Solve -s + z = -1 for s.
5
Suppose -10 = -t - 5, 4*l = 3*t + 1. Solve -l*w - 14 + 18 = 0 for w.
1
Let r(b) = -8*b + 75. Let d be r(9). Solve -d*p = p for p.
0
Let k = -945 + 945. Solve -9*x - 17 - 1 = k for x.
-2
Let d be (1 - 4) + 240/10. Let v = 24 - d. Solve -5*p + v = -2*p for p.
1
Let d = 196 + -194. Solve d*w = -3*w - 5 for w.
-1
Let d(i) = 22*i + 288. Let x be d(-13). Solve 5*z + 3*z = x*z for z.
0
Let q(b) = b**3 - 5*b**2 + 3. Suppose 3*i - 21 = 3*d, i + 4*d = 2*i - 13. Let u be q(i). Suppose -2*g - 2 = -3*a, -6 = u*a - 6*a. Solve -g*v - 10 = -0*v for v.
-5
Let a = -6 + 7. Let r be -1 + a + 2/1. Solve r*z + 6 = -0 for z.
-3
Let s = -25 + 29. Let a be s/4 - 2/(-1). Solve -a*p + 4 = -p for p.
2
Suppose 2*f + 3*t - 9 = 0, 3*t = 5*f - 2*t - 10. Suppose 19 = w + 4*v, 4*w - v + f = 11. Solve -1 = -2*c + w for c.
2
Suppose 0 = 14*k - 172 - 10. Solve 14*l - k*l = 4 for l.
4
Suppose 91 = 4*w - b, w + 6*b - 37 = 11*b. Solve 8*o - 2 = w for o.
3
Let g = 3 - -1. Suppose 2*m = 2*v - 8, 0*v - 3*v - g*m - 2 = 0. Solve 0 = -4*d - v + 18 for d.
4
Suppose 3*k = 4*q + 175, 5*q = 3*q - k - 95. Let x = q - -50. Solve -d = -x*d - 15 for d.
-5
Suppose 4*m - 23 = 9. Let a(y) = -y**3 + 3*y**2 - y + 3. L