, -3*m = q - 0*q - b for q.
2
Let c = -154 + 158. Suppose 4 = 2*u - 0. Solve -p = -c*t - 14, p = 2*p - u for t.
-3
Suppose -3*q - 5*v + 24 = 0, 4*q + 5*v = -q + 30. Solve -3*a = 12, -q*u + 3*a - 7*a - 13 = 0 for u.
1
Suppose 8*r + 12 = 13*r - 23. Let j be 2/(-5) + (-574)/(-10). Suppose -7 = 2*q - j. Solve -5*f - r*k + 2*k + q = 0, 5*f - k = 25 for f.
5
Let f(n) = n**2 + 10*n + 9. Let g be f(-9). Suppose g = -b + 4. Suppose b*l - 5*w - 31 = 0, l - 14 = w - 7. Solve -a + l = -5*z + 10, 0 = 3*a - 2*z + 5 for a.
-1
Let x be ((-42)/18 - -5)*(-9)/(-6). Solve 4*k = t - 19, -2*k + k = x for t.
3
Suppose -4*w + l + 14 = 0, 2*l = -4*w + 5*l + 10. Suppose -16 = w*s - 64. Let b = 12 - s. Solve b = -2*p - 5*c + 5, 2*p - c = -0*c + 11 for p.
5
Let m(l) = l - 16. Let d be m(18). Let v be (((-32)/d)/4)/(-1). Solve -3*s - 12 = v*i, 3*s - 2 = i + 1 for s.
0
Let s(y) be the third derivative of y**5/60 - y**4/4 - 5*y**3/6 + 4*y**2. Let l be s(7). Let k be 3/l*(-2)/(-3). Solve -7 = -j + u, 2*j + u + 0*u + k = 0 for j.
2
Let p(z) = 15*z + 844. Let w be p(-56). Solve -y + 8 = -w*y + q, -3*y - 2*q - 11 = 0 for y.
-3
Let h be 2*15/(-6) - (-8 + -4). Solve -3*d = -5*a + 11, 6*a = 3*a - 5*d - h for a.
1
Let r = -1 - -6. Suppose 0 = u + 3*u + p, 5*u = -p. Let a(s) = -27*s + 386. Let n be a(14). Solve u = 3*g - 2*c + n, -r*c = g - 2*c + 10 for g.
-4
Suppose 143 - 18 = b. Suppose -3*h - 2*h = b. Let z be h/(-7) - (-9)/21. Solve 0 = z*d - 5*d - 3*a - 17, -6 = 2*d - a for d.
-5
Let c(k) = 6*k - 45. Let j be c(10). Suppose x - j = -4*x. Solve b - 4*u - 20 = 0, x*b - 5*u - 25 = -b for b.
0
Let v = 1206 - 1200. Solve 4*h + v - 2 = -3*t, -3*t - 20 = -4*h for h.
2
Suppose -2 = -2*i - 2*q, -i + 26 = -q - 3*q. Let x be (-76)/(-3) + (-2)/i. Solve 4*g = -5*z - 35, -g + 3*g = -5*z - x for z.
-3
Suppose 2*w = -3*o + 1, 2*o + 0*o + 8 = 3*w. Solve -w*c = 3*z - 9, 10*z + 4*c = 5*z + 13 for z.
5
Let u(k) = k**3 + 17*k**2 + 29*k - 12. Let h be u(-15). Suppose h*q = -50 + 62. Solve 0 = m + m - r - q, -4*m + 5*r = -14 for m.
1
Suppose -9 = 3*u, -2*u - 1 = -3*d - 37. Let a = 29 + d. Suppose -3*n = x - a + 2, -5*n + 3*x = -31. Solve -4*z + n*c + 47 = 17, 0 = 5*z - 4*c - 33 for z.
5
Suppose -2*g + 50 = -4*m - m, 3*m - 66 = -2*g. Let v be 12/g + (-99)/(-15). Suppose -240 = -v*s + s. Solve -9*f + 4*f + 2*n - 35 = 0, 3*f = 5*n - s for f.
-5
Suppose 2*l - 28 = -12*l. Let q be (1 + 4/(-10))*5. Solve b - 4*v + 20 = 0, 0*b - 4 = -l*b - q*v for b.
-4
Let n = 60 + -17. Suppose -n = 8*q - 9*q. Solve 5*m = -3*g + q - 11, 4*m + 3*g - 28 = 0 for m.
4
Let k(x) = x**3 + 15*x**2 - 38*x - 52. Let v be k(-17). Solve 2*h + v = -a + 5*a, 6 = 3*h for a.
5
Suppose 5*k + 4*j + 283 = 0, 0 = -0*k - 5*k - 2*j - 279. Let i = -52 - k. Solve 2*d - d - 24 = -5*p, -i*d = 2*p - 20 for p.
4
Let s(r) = 2*r**2 + 13*r - 2. Let y be s(-7). Solve -y*v - 4*t = 10, -8 = 4*v - t - 3*t for v.
-2
Let i be (2 + (-6 - -2))*-1. Solve v = -i*p - 3*v + 22, -2*p = -v - 2 for p.
3
Suppose -7*f + 11*f - 36 = 0. Let z be ((-96)/f)/(16/(-24)). Solve 2*h = -h - 5*j + z, 19 = 2*h + 5*j for h.
-3
Let g = 81 + -81. Let s = -7 + 12. Suppose -27 = -v - 4*t - 6, g = s*v - 2*t - 83. Solve 5*j = -4*b + 25, 0 = 2*j + 4*b - 5 - v for j.
1
Suppose -7*w + 8*w = 2*x - 22, 38 = 3*x + w. Solve -3*k - x = 3*d, -3*d + 6*d + 2*k = -7 for d.
1
Suppose -7*o - 50 = -78. Let v = 12 - 7. Solve 6*j + 2*l - 2 = 4*j, o*l = -v*j + 2 for j.
-2
Let s(i) = -i + 14. Let d be s(0). Suppose d*w - 16 = 10*w. Let c be w/(-12)*-21 + 0. Solve -6 = 4*g - 3*k, 3*g + c = k - 0 for g.
-3
Let j = -2567 - -2570. Let s = 0 + 0. Solve s = 4*r + 2*o - 12, 2*r + 0*r + j*o - 10 = 0 for r.
2
Let p = 22 + -12. Suppose -8 - p = -3*b. Solve 4*j = -3*r, 4*r - b = -j - 19 for j.
3
Let h = -146 - -149. Solve -2*s + 0*o = 5*o + 4, -h*s - 3*o - 6 = 0 for s.
-2
Let d(o) = -o**2 + 16*o + 57. Let n be d(17). Let t = n + -39. Solve a + 4*m - 3 = t, -3*m = 0 for a.
4
Let k = 1181 - 1172. Solve 3*m = -5*d - 31, -9*d - k = -8*d + 2*m for d.
-5
Suppose t = 4*t + 30. Let k be (2 - 0)*(-15)/t. Let f be 9/(-3) - (-18)/6. Solve -5*m = y - f*m - 5, -4 = -k*y - 4*m for y.
0
Suppose 0 = -0*j + j - 8. Let v(c) = c + 10. Let r be -2 - -3 - 8 - (-5 - -8). Let i be v(r). Solve k + 4*k - 24 = -z, i = -2*z + j for k.
4
Let t = -12 - -14. Suppose 2*r - 4*r = t, -2*a - 5*r - 1 = 0. Suppose -2*n + 2*g = n - 14, g = -2*n. Solve -c + a = -f, 0*f = -f - n for c.
0
Let q be ((-15)/(-9))/(3/(-18)). Let l(k) = k**3 + 10*k**2 + 2. Let i be l(q). Let u = -35 + 37. Solve 3 + 2 = -2*f + a, u*f + i*a = 10 for f.
0
Suppose -z = 5*k - 22, -k + 3*z = 4*k - 34. Solve 6*f - f = 25, k*v + 4*f = 35 for v.
3
Let u(g) = -112*g**2. Suppose 0 = 4*b - q + 2, -q = 5*b + 3*q + 13. Let s be u(b). Let h be 4/14 + (-1200)/s. Solve -h = -2*t - y, -6 = -t - 5*y + 4*y for t.
5
Suppose -8 = -4*x - 4, -5*r = 4*x - 14. Solve -y + c + 2 = 0, r*c = -2*y - 0*c + 12 for y.
4
Let q(w) = -14*w + 447. Let p be q(31). Solve -19 = 3*i + 2*h, 6*h - p = -4*i + 11*h for i.
-3
Suppose c + 2 = 0, -z - 5*z + 98 = 2*c. Let w = 13 + -7. Let x be w/(-33) - (-48)/22. Solve v = -q + 5, 5*q + x*v - z = 5*v for q.
4
Let x be (4/(-6))/((-6)/27). Let f(y) = y**2 - 4*y - 3. Let k = -12 - -18. Let v be f(k). Solve -2*q = -8, -q = x*m - 4*q + v for m.
1
Let y be (-2)/11 - 10/(-55). Let p be (y/(-4))/((-6)/(-3)). Let d be p*((-4)/(-8) - 1). Solve 2*c - 8 = d, 5*f - 3*c - 10 + 2 = 0 for f.
4
Let g be 0 - -2 - (27 - 9). Let n(w) = -w**3 - 17*w**2 - 17*w - 11. Let k be n(g). Let s = 3 + 1. Solve -2*h = s*r + 18, -3*h = k*r + 5 + 18 for h.
-1
Let q(s) = -s + 3. Let t(k) = k - 5. Let a(f) = 7*q(f) + 4*t(f). Let w be a(4). Let c = w + 14. Solve 5*b + 3 = 4*x, 5*b + 0 + 6 = c*x for x.
-3
Suppose 3*h - 20 = -h, p + h = 7. Suppose -21 + p = -y. Let x = 32 - y. Solve v = -3*z + 7, -z = -6*z - 3*v + x for z.
2
Suppose 31*k = 19*k. Solve -3*u - 3 = 2*h + h, -4*h + u + 21 = k for h.
4
Let b be (168/(-140))/(3/(-25)). Solve -3*j - 15 = 3*y, y + b = -0*y - 2*j for y.
0
Suppose -97*l + 24 = -91*l. Solve 10 = -2*i + 2*a - l, -3*i + a - 15 = 0 for i.
-4
Suppose -4*d + d = 9, 3*d - 1 = -5*y. Let q = 31 - 29. Suppose -q*m + 0*j = 3*j + 10, 3 = -m - j. Solve 13 = -a - 5*k + k, -y*a + k + m = 0 for a.
-1
Let o = -441 + 468. Suppose 4*u = -0 + 8. Solve 4*f + 3*c = o, u*f + 4*c - 26 = -0*c for f.
3
Suppose -4*p + 5*p - 4*r = 7, -4*p + 5*r + 39 = 0. Let q(n) = -n**3 + 11*n**2 + 2. Let o be q(p). Solve 5*t + 5 - 20 = 0, o*w - 13 = -3*t for w.
2
Suppose l - 48 = -r, -5*r - 3*l + 59 = -173. Suppose 6*y - 2*y - r = 0. Solve 3*i - 4*d + 3 = -6*d, -2*d = -5*i + y for i.
1
Let u = 63 - 58. Suppose 0 = -u*o + 13 + 12. Solve 4*w = o*l - 11, -l + w = -w - 7 for l.
-1
Suppose -17*r + 4 = -16*r. Solve -5*g + 5*p = -4*g - 1, -r*p - 20 = 4*g for g.
-4
Let i(c) = -c**2 + 8*c + 12. Let f be i(9). Solve -3*p - 4*w + 3*w + 13 = 0, 0 = -3*p - f*w + 9 for p.
5
Let o be (-1*3)/(30/40). Let d = o - -13. Suppose -4*i = -d*i + 15. Solve 2*j - 4*w = w + 19, i*w = -15 for j.
-3
Let m(x) = -x**3 - x**2 - x + 1. Let d be m(0). Let w be d + (-2 - (0 - -1)). Let y be 1/(1 + w)*-5. Solve y*s = n - 27, -3*n = 2*s - 2*n + 8 for s.
-5
Let b(a) = -a**2 + 12*a + 70. Let k be b(16). Solve s - 4 = 5*o - k*o, 5*o + 2*s = 14 for o.
2
Suppose -5*s + d = -27 - 30, 5*s + 5*d - 45 = 0. Let q be 113/4 - (-5)/(-20). Let v = q - 25. Solve a + 0*a = v*l - s, 0 = -2*a - l - 8 for a.
-5
Suppose -11*v + 30 = 4*v. Let f be ((-32)/(-6))/v - 1/(-3). Solve 2*d + 17 = 3*s, -f*s - 7 = 4*d - 0 for s.
3
Suppose -12 = -5*n - w, 2*n = 2*w + 1 + 11. Solve 2*x + 11 = -n*b, -b - 5 = 3*x + 1 for b.
-3
Suppose 0 = 4*b + a - 15, -8*a - 8 = -3*b - 12*a. Solve 3*l + l + 2*r = -8, -5*l - 16 = b*r for l.
0
Suppose 3*s = -5*z + 5, -2*z - 1 = s + z. Solve 0 = -4*w - r - 0*r + 7, 0 = -s*w + 2*r + 12 for w.
2
Suppose -r - 4*b - 22 = -34, 4*r + 3*b - 22 = 0. Solve -3*i + 20 = r*y, -i - y - 20 = -5*y for i.
0
Suppose q - 41 = 5*t, 10*t - 6*t - 263 = -5*q. Let f = q - 50. Solve -4*x - f = -9, -2*v = 5*x - 16 for v.
3
Suppose -n = 4*m - 76, -8*n + 4*n - 95 = -5*m. Suppose -77 = -m*a - 1. Solve -2*t + d + 3 = 2, -4*t - a = 4*d for t.
0
Let x be (-1)/(2 - 14/6). Suppose 4*v = 2*f + 2*f, x*f = -v. Solve q - 5*s + f*s + 17 = 0, 2*s - 6 = 0 for q.
-2
Let u(r) = -r**2 + r + 18. Let v be u(0).