 for m.
0
Let a(g) = 8*g**2 + 113*g + 22. Let z be a(-14). Solve 4*r = -h - 17, -r - 4*h = -0*r + z for r.
-4
Suppose 7*b = 2*b + t + 6, -16 = -4*b - 2*t. Let n be (-1016)/(-32) - (-18)/(-24). Solve b*o = -4*x - 18, -5*o - n = 2*x + x for x.
-2
Let l(x) = -5*x + 108. Let k be l(21). Solve 3*u - 21 = -3*r, -k*u + 5 = -4 for r.
4
Let w(y) = y - 4. Let g be w(-8). Let r = g + 10. Let i be (-2)/1 - -4 - r. Solve 5*m = 5*x - 15, -3*m - i*x - 8 = -2*m for m.
-4
Let f = 1140 - 1140. Solve 1 = -c - h + 5*h, f = h + 1 for c.
-5
Let l = 4 + -2. Suppose -23*n - 40*n + 1712 = 151*n. Let s(h) = -h**2 - 4*h + 7. Let f be s(-5). Solve z = 2*x - l, -f*x - x - n = 4*z for x.
0
Suppose -2*q + 14 = -4*d, 2*d - 21 = -3*q - 0*d. Let i be (-7)/35 + (-13)/(-65). Solve -3*z + 5*v - 12 = i, -4*v + 5*v = -4*z + q for z.
1
Let l = -10 - -15. Suppose -24*k + 30 = -18*k. Solve 0 = 3*r - l*p + 24 - 64, -k*r = -5*p - 50 for r.
5
Suppose 237*k = 256*k. Solve o = k, -3*p = 2*p + 2*o - 10 for p.
2
Let m(i) = 2*i - 16. Let f be m(-23). Let c = 124 - 212. Let q = f - c. Solve -5*d - x = q, 0*d + d - 2*x = -3 for d.
-5
Let t = -84 - -81. Let b be 7 - (-12 - -3)/t. Solve -b*l = -16, -h + l - 2 = -2*h for h.
-2
Let j = 275 - 275. Solve j = -5*o - 2*v - 11, -15*o + 12*o - 1 = 4*v for o.
-3
Let s be 1*(0/6)/(-1). Solve -x - 5*d = 2, 2*x + s*x - 2 = -4*d for x.
3
Suppose 4*w = -d - 0 - 3, -2*w + 3 = 5*d. Let m be w/(3/(-12)*-4). Let t be ((-6)/(-18))/(m/(-21)). Solve 2*r - t = -0*r - q, 4*q = 4*r - 8 for r.
3
Let a(q) = -2*q - 30. Let w be a(-17). Solve -w*l - 2*c + 17 = c, 0 = -c - 1 for l.
5
Let p(i) = -i**3 - 15*i**2 + 14*i - 22. Let x be (-329)/21 - 2/6. Let z be p(x). Solve -3*w = -5*y - z, -y - 4*y - 20 = -5*w for w.
5
Let x = -1083 - -1096. Let n be -6*(2 - (-4)/(-6)). Let s be (-34)/n - 1/4. Solve -4*o - 3*y = x, 5*o + s*y + 16 = -0*o for o.
-4
Let k(p) = 6*p**2 + 9*p + 13. Let o(j) = -j**3 + 10*j**2 - 2. Let l be o(10). Let a be k(l). Solve -5*h = 3*d - a, -5*d + 17 = -3*h + 4*h for d.
3
Let n be ((-1)/2)/((-8)/32). Solve -5 = -4*c - 0*v - v, 4*c = -n*v + 10 for c.
0
Let p = -464 + 466. Solve 2*h - m = p*m + 5, h + 5*m + 4 = 0 for h.
1
Suppose -k = 2*x - 11, 8*k - 5*k + 5*x - 28 = 0. Let t be (0 + 2)*(-6)/(-4). Suppose 3*g = t + 6. Solve 0 = -i + y - k, -13 = 5*i - g*y for i.
-5
Suppose 3*i - 53 = 7*k - 3*k, 0 = k + 5. Suppose -w + n = -2*n - 15, -3*n = -4*w + 69. Solve -3*o = -5*o - 2*z - w, -3*o + z = i for o.
-5
Suppose -24*c = -12*c - 48. Solve -k = -3*o + 10, -2 = 2*k - c*o + 14 for k.
-4
Suppose -11 - 7 = -3*m. Suppose -u = -m*u - 2*y + 14, 4*u + 5*y - 18 = 0. Solve 0 = -2*p + 5*n - 0*n + 30, u*p + 5*n = -10 for p.
5
Let z(u) = -u**2 - 18*u - 62. Let o be z(-13). Solve d + 27 = -3*d + 3*t, 0 = d + o*t - 12 for d.
-3
Let m = -53 - -59. Let p(w) = w**3 - 2*w**2 + 3*w - 1. Suppose -j + 3 - 1 = 0. Let o be p(j). Solve 4*h = 5*b - 4 + o, 0 = -4*b - 2*h - m for b.
-1
Suppose -5*n + 4 = -1. Let t = 13 + -11. Suppose 4*f = t*f. Solve -a - n = 0, j - 2*a = -f*a for j.
-2
Let z be (-1)/(-3) - (-330)/(-45). Let m(r) = -r**2 + 9*r - 2. Let y be m(9). Let p = y - z. Solve 5*t + 10 = -0*i - i, 3*t = -p*i + 16 for t.
-3
Let v be (-4)/(-6) - (-388)/(-6). Let t be (2/(-1 + 2))/((-16)/v). Solve -t = -4*c + 2*z, -c + 5*z - 1 = -3 for c.
2
Let u = -405 - -414. Suppose 0 = -5*v + 4*g - 33, v - 5*g + 15 = -0*v. Let n = v + u. Solve -k - 20 = -3*h, 2*k - 15 = -n*h - 5 for k.
-5
Let p = -669 + 680. Solve 3*u + 3 = -4*m - 4, 2*m + p = u for m.
-4
Suppose 4*l - 127*d = -130*d + 10, 12 = 5*l + 4*d. Solve -3*p + r = 3 - l, 0 = -2*p - 2*r + 6 for p.
1
Let n = -29 + 57. Let m be 656/16 - (3 - 1). Suppose 18*h + m = 21*h. Solve -c - 3*g = h, 0*c + 4*g + n = -4*c for c.
-4
Suppose 0 = -93*m + 81*m. Solve 4*q + 21 = t, m*q = 2*q + 3*t - 7 for q.
-4
Let i = 6 - 19. Let j = -10 - i. Suppose -10 + 0 = -5*s. Solve c = -j*m + 15, -s*c = 5*m - 7*c - 5 for m.
4
Let u(w) = -w**3 + 2*w**2 + w. Let d be u(2). Let b be (-8)/(-2) - (d - 0). Solve l - b*l + 4*s = 0, l + 2*s - 6 = 0 for l.
4
Let z be 1/(2*1/10). Suppose -5 = i + 2*w, 2*w + 15 - 6 = 3*i. Let b be -3 - ((-15)/3)/i. Solve -t - 10 = -z*y, -2*y + 7 = -b*t + t for t.
-5
Suppose -5*v + 0*v + 20 = 0. Solve 0 = -v*b + 5*b + 5*f + 15, 3*f = -9 for b.
0
Let r = 1474 + -1469. Solve 0 = 5*g + o + 18, -2*g + 5 = r*o + 3 for g.
-4
Suppose -5*w = -5*a - 345, -4*w = -3*a + 61 - 338. Let o = w - 65. Solve 3*z - 2*z - o*h + 20 = 0, 3*z + 12 = -h for z.
-5
Suppose -9*r = -13*r + 12. Suppose -15 = -n - 2*d, 0*d = -r*n + 2*d + 5. Solve 5 = -n*m, q - 4*m = 2*q for q.
4
Suppose 11 = 5*j - x, -64*j + x = -60*j - 9. Solve r - 8 = -r + j*l, 0 = -2*l - 2 for r.
3
Let q be (-6 - -4)/(1/(-2)). Suppose 17*c - q = 13*c. Solve 2*l + 3*b + 2 - 13 = 0, 2*l - c = -b for l.
-2
Let v(i) = 2*i**2 - 14*i + 5. Suppose -t - 4*h + 4 = 5, 0 = -5*t + 4*h + 43. Let u be v(t). Solve -3*k - p - 1 = 0, k = u*k - 3*p + 10 for k.
-1
Suppose -4*l + 5*k = -45, -l + 2*k - 7 = -16. Solve -5*f - 3 - 8 = 3*b, 5*b = -5*f - l for b.
-2
Let b = 11 - 7. Suppose 5*x - b*x - 5 = 0. Suppose -c - 1 = -x. Solve -4*n + 4 = -5*u, -c*u + n = 3*n - 2 for u.
0
Suppose 10*b - 65 = -25. Suppose 4*y - 22 = -2*f, 10 = b*y - 0*y - 2*f. Solve -y*n + 4*i + 32 = 0, -n - i = -5*i - 20 for n.
4
Let r = 114 + -111. Suppose 15 = 8*x - r*x. Solve 0 = y - p, -x*y - 3*p - 8 = 2*y for y.
-1
Suppose -5*i - 4 + 19 = 0. Let x(w) = w**3 + 4*w + 4. Let u be x(0). Solve q = -i*t - 7, 0 = u*t + q + 3*q + 12 for t.
-2
Let u be 16/3 - (-1)/(-3). Let g = 55 - 53. Let q be (-1 + 8 + 3)/g. Solve -c - 5*s + 14 = 0, 5*s + q = u*c - 5 for c.
4
Suppose -3*u = 81 - 18. Let a = 23 + u. Suppose -s - 3*s + 12 = 0. Solve -g + a*g = -k - s, 3 = -k for g.
0
Let f be (1 - (0 + 1))/2. Suppose -w - 3*b + 20 = f, -4*b = -5*w - 2*b + 15. Solve 0 = 5*q - w*r - 35, 5*q + 2*r + 4 = 2*q for q.
2
Let k(m) be the first derivative of m**3/3 - m**2/2 - 3*m + 16. Let v be k(3). Solve y + 3*a = -2*y - 18, -v*y + a - 10 = 0 for y.
-4
Let m(x) = 3*x**3 + 14*x**2 - 25*x - 14. Let l be m(-6). Suppose 3*i - 8*i = -50. Let b be (-5)/(i/l) + -2. Solve t + 0*t + 4*c + 8 = 0, -c = -b*t + 11 for t.
4
Suppose 378 = 11*i - 2*i. Suppose -10*s + 3*s = -i. Suppose 24 = 3*m + 3*b, 2*m + 0*b = 4*b - 2. Solve -2*a + m*f = 2*a + 16, s = -2*a + 2*f for a.
1
Suppose -4*r + 34 = -5*h, 15 + 11 = 5*r + 2*h. Suppose -66 + r = -20*b. Solve -b*u + 2*u = -2*y + 6, -3*y + 3 = -3*u for u.
4
Let k be 3 + -2 - (-9)/3. Suppose r - 5*r + k*d = -76, 5*d = -20. Let t = -15 + r. Solve -s + 27 = -5*c, t = -s - 0 + 2 for c.
-5
Let z(u) = -6*u - 9. Let l be z(-3). Let g = l + -9. Solve -4*n = 2*v - 10 - g, 4 = 5*v + 3*n for v.
-1
Suppose 0 = 13*x + x. Suppose 2*u + 0*u + x*u = 0. Solve -5*h + h - 4*p = 28, -3*h + 4*p = u for h.
-4
Let u = -22 + 19. Let x be 4 - (u + 30/5). Solve 5*r = -0*o + o - 24, x = 4*o - r for o.
-1
Suppose 22 = 29*q - 152. Solve 5*m - q = 2*b, 0 = m + 4*m - 10 for b.
2
Suppose -4*r = -0*r - 5*n - 13, -2*n = -5*r + 12. Solve r*b = c + 2*c + 4, c + 13 = 3*b for c.
2
Suppose 6*d + 5*k = 5*d + 1, 2*k + 14 = -4*d. Let o be -1*(d - 1/(-2)*-2). Solve -3*y + 5*r = 15, -5*y - o*r + 4 + 11 = 0 for y.
0
Suppose -8 = -w + 18. Suppose 3*v = -15, 0*q - 4*v - w = -3*q. Solve 3*f + q*f + 5 = 4*k, 0 = 2*f - 4*k + 2 for f.
-1
Let s be 2 - (-3 - (2 + 1)). Solve 6*u = 4*k + 2*u - s, 3*u + 21 = -2*k for k.
-3
Let q = -35 + 41. Suppose 5*g = -q + 11. Solve 4*s - 10 = 3*a, -3*s + 2*a - g = 4*a for s.
1
Suppose 365 = 7*i + 66*i. Let z = 26 - 17. Solve i*x - z = 4*o, 4*x - x = 5*o - 5 for o.
4
Let t(o) be the first derivative of -o**2 + 3. Let a be t(-1). Suppose 0 = -y + a*y - 9. Solve -4 = -u - 5*r - 1, -y = 3*u - 3*r for u.
-2
Let z be (-2 - 0) + -2 + 4. Suppose z = 5*s + 2*h - 5, 0 = -4*s + 2*s + 5*h + 31. Solve 0 = -y - 0*f - 3*f + 8, -3*y - s*f = -6 for y.
-1
Let k = -10 - -11. Let s = 22 + -22. Suppose -v = 3*d - s*v - 10, 4*v = 4*d - 40. Solve k + 0 = 4*u - m, -d*u + 4*m = 7 for u.
1
Let d(t) = 4*t - 29. Let a be d(9). Let b be 5 - a - -3 - 4/(-1). Solve -2*z - 3*q = -19, -2*z - b*q + 10 = -3*z for z.
5
Suppose -i - 26 = -5*h, -4*i - 5*h + 20 - 49 = 0. Let g = -5 - i. Suppose 0 = -2*k + g*k - 20. Solve -5*m + 10 = o, 3*o + k - 1 = 2*m for m.
2
Let c(k) = k**3 + 7*k**2 + 4*k - 8. Let p be c(-6). Suppo