
4
Let q = -674 - -679. Solve v + 2 = q for v.
3
Suppose 9*p + 17*p = 182. Solve p*t = 5*t for t.
0
Let n be (26 - 36)*4/(-10). Solve k + n*k = 3*k for k.
0
Let x = 305 - 302. Solve -12 = -6*f + x*f for f.
4
Suppose 0 = -49*f + 35*f + 28. Solve f + 0 = -p for p.
-2
Let j(d) = -d**3 - 19*d**2 - 33*d - 3. Let s be j(-17). Let t(n) = n**3 + 8*n**2 + 3*n + 4. Let m be t(-8). Let o = s - m. Solve o = u + u + 6 for u.
-3
Suppose 4*d + 2*j - 30 = 0, 5*d - 5*j - 32 - 13 = 0. Solve r + d = 10 for r.
2
Let w = 1 + 17. Let v(u) = u**2 - 6*u. Let s be v(6). Let b be (17 - w) + (s - -1). Solve y = -b*y - 4 for y.
-4
Suppose -3*s - 5*u + 4*u = -1, 0 = -5*s - 2*u. Solve -s*m + 1 = 5 for m.
-2
Let c(o) = 6*o**2 - 6*o + 6. Let x be c(2). Suppose -4*m + x + 46 = 0. Let r be 2/m + (-9)/72. Solve r = 3*p - 0*p - 12 for p.
4
Let s(z) = -z**3 + 4*z**2 - z + 5. Let b be s(4). Let x be ((-4)/(-8))/(b/6). Solve v + 12 = -x*v for v.
-3
Let i be (-280)/(-18) - 140/(-315). Solve 2*t + i = -6*t for t.
-2
Suppose -17*u + 10 + 58 = 0. Solve -u*t - 16 = -8*t for t.
4
Let g(v) = -v**2 + 4*v + 3. Let t be g(-1). Let j be ((-8)/20)/(t/40). Solve -4*x + 0*x = -j for x.
2
Let c(k) = 5*k - 47. Let r be c(11). Suppose 0*x - 21 = -3*x. Suppose 0 = -4*o + 4*z + 12, -5*o - 2*z + z = -27. Solve -x - r = -o*b for b.
3
Let x(n) = -6*n + 36. Let r be x(6). Suppose -16 = 4*g, -3*g - 42 = -5*l - r*g. Solve 0 = -l*b + 2*b + 8 for b.
2
Let k be 105*(3 - (26/5)/2). Let q = -22 + k. Solve -m - q = 4*m for m.
-4
Suppose 3*b - 27*b = -72. Solve 75 = b*o + 81 for o.
-2
Let t(l) = -3*l**3 + 11*l**2 + l - 14. Let k(s) = 4*s**2 + 2*s + 2*s - s**3 - 5 - 4*s. Let b(x) = 11*k(x) - 4*t(x). Let u be b(3). Solve u = -5*m + m for m.
-4
Let u = 8 - 0. Let b(j) = 7*j**3 - j**2 - 14*j - 2. Let a(k) = 6*k**3 - 2*k**2 - 13*k - 1. Let h(c) = 6*a(c) - 5*b(c). Let g be h(u). Solve 1 = -g*l - 7 for l.
-2
Let b(v) = v**2 + 24*v + 121. Let u be b(-17). Solve -8*d + 10*d + u = 0 for d.
-1
Suppose -3*v = -3*d - 0*d + 423, v + 431 = 3*d. Suppose 0 = -7*a + 2*a - d. Let l = a - -32. Solve 5 = -l*z - 2*z for z.
-1
Let k = 60 - 42. Let c = -27 + k. Let o = -5 - c. Solve 9*n = o*n - 20 for n.
-4
Let q = -15 + 20. Let p(h) = -h**3 + 5*h**2 - 2*h + 13. Let b be p(q). Solve f + b = -2*f for f.
-1
Let c(s) = 61*s + 65. Let a be c(-1). Solve 21 - 5 = -a*m for m.
-4
Let p(s) = -10*s - 22. Let w be p(-5). Suppose -d + 0*z + 2 = -2*z, 3*d + 5*z = w. Solve 15 = -d*m + m for m.
-3
Suppose -120 = 34*i - 1038. Solve t - 23 + i = 0 for t.
-4
Let f(w) = w + 15. Let p be f(4). Solve -p = 4*y - 3 for y.
-4
Let p be 792/(-45)*(-2 + -3). Let v = -86 + p. Solve -6 = 4*c - v for c.
-1
Suppose -8*f + 7*f - 123 = 5*j, -4*j = 5*f + 636. Let u = f + 129. Let x be (-4)/3*(-6)/4. Solve -x*q - u = -q for q.
-1
Let a(w) = 6*w**3 - w**2 - 2*w + 2. Let m be a(1). Solve -m*y = 8 - 3 for y.
-1
Suppose 49 = 51*z - 53. Solve -4*x = -3*x + z for x.
-2
Suppose -5*o + 39 = z, -2*o + 44 = 2*o + 4*z. Solve 0 = o*d - 12 + 40 for d.
-4
Suppose -2*y = i - 0*i, -3*y = -3*i + 27. Suppose -7 = -w + 2*t, 2*t = -5*w + 3 + 8. Solve 0 = w*v + i + 3 for v.
-3
Let z = 2 - 0. Let s be (-16)/40 - 81/(-15). Solve -z = -g - s for g.
-3
Suppose 2*u - 5*c = -5, 3*c = -5*u + 12 + 22. Suppose -2*q + 18 = 5*h, -6 = -u*h - 3*q + 16. Solve -6*a - 4 = -h*a for a.
-1
Suppose 4*j + p - 3 = 0, 0*j + 3*p = -j + 9. Solve -b + 21 - 17 = j for b.
4
Let s = 88 - 85. Let t be -1 - (-5 - (-5 + s)). Solve -t*w + 2 = -6 for w.
4
Let n(h) = 2*h**2 - 70*h - 133. Let x be n(37). Solve 4*p - 1 - x = 0 for p.
4
Let c = -65 + 68. Suppose -4*k = c*o + 9, -6*k + k + 5*o + 15 = 0. Solve -2*p = 2 - k for p.
-1
Suppose 3*c = u - 43 - 0, 3*u = c + 89. Let z be -1*(-7)/(u/8). Solve z*g = 2 + 6 for g.
4
Let b(p) be the second derivative of -p**4/12 - p**3/2 + p**2/2 + 3*p. Let f be b(-3). Solve 26 - f = 5*c for c.
5
Suppose -45 = -5*o + 10. Suppose 0 = r + 5 - o. Let u = 22 + -12. Solve -4*m = -r*m + u for m.
5
Suppose z - 4*z + 4*r + 4 = 0, r = 2. Suppose 0 = 5*m - 4*v + 6, -z*m + 2*v - 3*v + 12 = 0. Solve 2*b = b - m for b.
-2
Let b(o) = -o**3 + 4*o**2 + 11*o + 7. Let g(m) = -5*m**3 + 20*m**2 + 55*m + 35. Let y(x) = 11*b(x) - 2*g(x). Let r be y(6). Solve r = n - 0*n for n.
1
Let k = 972 + -961. Solve -k = -12*m + 13 for m.
2
Suppose -357*c - 101*c = 0. Let j be 40/7 - (-2)/7. Suppose 6*v - j = 4*v. Solve c = v*f - f - 2 for f.
1
Suppose -11*u + 4 = -10*u. Let c be (-2 - 6)/8*u/(-2). Solve -5 = -3*x - c for x.
1
Suppose 4*z = -4*r + 2*z + 20, 0 = 4*r - z - 14. Let c = r + -2. Solve 3*f - 11 + c = 0 for f.
3
Let o be -3 + 12 - (10 + -6). Suppose d - 6 = -o. Solve 2 + d = -w for w.
-3
Let a be -1*((-8)/2 - -3). Suppose 0 = 4*w - 18 - 10. Let u = 9 - w. Solve -u*f - a = -3 for f.
1
Suppose 0 = 3*p - 1 - 17. Suppose -p*d - 12 = -3*d. Let w be 15/(-2)*d/5. Solve j + w = -2*j for j.
-2
Suppose 0 = -3*r + 5 + 7. Let a = -373 - -221. Let j be 3/(-15) - a/10. Solve -1 = -r*v + j for v.
4
Suppose -2*w + 8 = 2*w. Let b be -3 - (-4 - 4) - 0. Suppose b*d = 3*d. Solve -m + w*m = d for m.
0
Suppose 3*p - 4 = 2. Let b = 14 + 13. Suppose 5*y = b + 33. Solve -2*g - y = p*g for g.
-3
Let l = 2 + 0. Suppose -3*z = -z - 12*z. Suppose 2*r - 14 = -z*r. Solve r*p = l*p - 10 for p.
-2
Let x be (6/2)/((-12)/(-28)). Let a be (-2)/x + (-23)/(-7). Suppose a*h = -0*h + 6. Solve -h*y - 6 = 2 for y.
-4
Let x = -551 - -575. Solve x*m + 8 = 28*m for m.
2
Suppose 3*g - 9 = -t + 7, 16 = 4*g + 4*t. Suppose -2*o + 3*o = -x + 3, -2*o = -g. Suppose 3*b = 15 - 0. Solve -r + b = -x*r for r.
5
Let r be (-2 - (-112)/7)*2/4. Solve r*h = h for h.
0
Suppose d = 3*w - 3, -4*w + d = 6*d - 23. Suppose w*a = -a + 2*b - 86, b = 4*a + 123. Let x be (72/a)/(6/(-64)). Solve -4 + x = 5*s for s.
4
Let n be 8749/78 - 2/12. Let h = n + -97. Solve 5*t + h = 5 for t.
-2
Suppose 0 = 118*j - 132*j + 56. Solve -k = k + j for k.
-2
Suppose -4*g = -9 + 21. Let i be -5 + 7 - (-23 - g). Let x = -18 + i. Solve -4 = -x*q + 2*q for q.
2
Suppose 5*d + s = 21, 0 - 4 = -4*s. Suppose 2*i - 5*v = d*i + 13, -v + 13 = 3*i. Solve i = -4*o + 2*o for o.
-3
Let s = -1 + 3. Suppose -c + 0*c = -4. Suppose -n + c = n. Solve 2*i + s = -n for i.
-2
Suppose -5*l = 2*a + a - 37, -l + 1 = -a. Solve -l*i = -0*i - 15 for i.
3
Suppose 3*v + 4 = -2*w + 3, -5*v + 5 = 0. Let s be (20/(-25))/(w/30). Solve -3*d - s = d for d.
-3
Let p = 24 + -21. Suppose -r + 4*w - 8 = -w, 2*r + p*w = 10. Solve 0 = r*j - 3*j + 3 for j.
3
Let m be (-44)/(-7) + (-26)/91. Let x(i) = -i + 11. Let r be x(11). Solve r = m*w - 7*w for w.
0
Suppose -5*f - 5 = 3*a, 27*f - 28*f - a - 3 = 0. Suppose -14 = -3*t - 2*m, -4*t - m + 5*m = 8. Solve t*u = -f - 0 for u.
-1
Suppose 0*w = 3*w - 12. Suppose -2 = 4*t - 6, w*g + 37 = 5*t. Let b be -2*4/g + 1. Solve 3*x - b*x + 5 = 0 for x.
-5
Let a = 74 + -69. Let l be 27/6 - (-1)/(-2). Suppose -o = p + l, 2*o - a*p = -o + 28. Solve -o = -n - 2 for n.
-1
Suppose 7*l - 3 = 4*l. Let m(t) = 5*t**3 + t. Let c be m(l). Let p be 5*1 + -6 + c. Solve -u + p*u - 4 = 0 for u.
1
Let j = 67 - 3. Let s = j + -41. Let r = -20 + s. Solve -r*c = -c + 8 for c.
-4
Let h(m) = -m + 18. Let f be h(14). Solve -f*k = k for k.
0
Let d(o) = -2*o - 87. Let c(a) = a + 29. Let f(y) = 11*c(y) + 4*d(y). Let t be f(11). Solve 0 = -t*b - 8 for b.
-2
Suppose -2*y + 2*d + 80 = 3*y, 2*d = -5*y + 80. Suppose 0 = v - 14. Let c = y - v. Solve c*z = -z for z.
0
Suppose -2*z - k = -2 - 2, -z - 5*k = -2. Solve -18 = -4*j - z for j.
4
Suppose 4 = -3*o + g, -105*o + 103*o = -g + 4. Solve 0 = -o*y + 4*y + 4 for y.
-1
Let x be 12/(-16) + 103/4. Suppose x - 65 = -5*h. Let j be (-2)/h - (-1)/4. Solve -3*q = -j*q + 3 for q.
-1
Suppose -s - 3*j = -54, 0 = 7*s - 2*j + 54 - 317. Solve 0 = -13*o - s - 26 for o.
-5
Let n(l) = -l. Let i be n(-3). Let m = -216 + 216. Solve m*o + i = -o for o.
-3
Suppose 2*n = -n + 84. Let m be 12/(-3) + n/1. Suppose -6*r + 24 + m = 0. Solve 1 = 3*a - r for a.
3
Suppose 160 = 2*h + 3*h. Suppose h = 4*o + 4*x, 23 + 13 = 5*o + 3*x. Suppose i = w + 3 - 1, -w - 4*i + 23 = 0. Solve -w*r = -o - 0 for r.
2
Let k(b) = b**3 + 11*b**2 + 9*b + 12. Suppose 3*m = -2*f - 11, 4*f + 35 = -f - 5*m. Let a be k(f). Let s = 27 - a. Solve 3*c + s = 8*c for c.
1
Suppose -2*c + 22 = 3*t, 0*t + 3*t - 26 = -c. Suppose 2*k = t - 2. Suppose