
5
Let z = 126 + -115. Solve -4*q + 7 = -z*q for q.
-1
Let i = 901 - 862. Solve 12 = i*m - 36*m for m.
4
Let m(o) = o**2 - 16*o - 74. Let z be m(20). Solve z*f - 9*f + 6 = 0 for f.
2
Suppose 40 = 2*f - 4*t, -5*f + 2*f + 3*t = -48. Solve 2*w = 6*w - f for w.
3
Let j(l) = l - 20. Let q be j(6). Let s(k) = -k - 13. Let h be s(q). Solve -2*y + 3*y - h = 0 for y.
1
Let m = 253 - 249. Solve 3*h = -m*h + 28 for h.
4
Suppose t = 5*n - 9, n + 1 = 5*t - 2. Suppose -h = 2*v + 8 - n, 2*h = 2*v + 6. Solve 3*f + h*f = 15 for f.
5
Let m(t) = 6*t - 96. Let s be m(17). Solve s*k - 5 = k for k.
1
Let t(m) = 6*m - 26. Let y be t(5). Suppose y*k = -5*w, -4*w = 5*k - 3*k. Solve 2*a + a - 6 = w for a.
2
Let t = 607 + -605. Suppose 17 - 1 = o. Suppose 0 = 3*l - 5 - o. Solve l = -t*q + 1 for q.
-3
Let d(o) = 2*o + 6. Let z be d(-4). Let a be 2/(z + (3 - -1)). Let u be (-7 + 7)/(a - -1). Solve 0 = 5*c - u*c - 15 for c.
3
Let w = 9 - 6. Let c(m) = m. Let o be c(0). Suppose 8*a = -o*a + 40. Solve -4 = -w*l + a for l.
3
Let t be (-2)/(3/(-86)*76/57). Solve 3*x - t = -55 for x.
-4
Let a = 74 + -73. Let k be 4/6 + 8/(-12). Solve -r + a = -k*r for r.
1
Suppose -5*m - d = -35, m + 5*d - 3 = 4*d. Let s be ((-20)/m)/(5/2 - 3). Solve -s*b = -2 - 3 for b.
1
Suppose 23*b - 29 - 17 = 0. Solve 0 = b*m + 3*m + 25 for m.
-5
Let s(j) = j**3 + 2*j**2 - j. Let m be s(-2). Let k(u) = -u**2 + 8*u + 11. Suppose -8 = -2*g, -2*w - w - g = -28. Let b be k(w). Solve -m*y = b - 5 for y.
-3
Suppose 3 = 39*f - 38*f. Solve 11 = -f*x + 8 for x.
-1
Let d(h) = -h + 1. Let u be d(-1). Suppose 3*s = -u*s + 90. Let i be 68/s - (-18)/81. Solve i*p - 5 = 3 for p.
2
Let h(u) = -14*u + 138. Let m be h(9). Solve 2*x = 8*x + m for x.
-2
Let s = 30 - 27. Let t = -3 + 13. Solve -t = -q + s*q for q.
-5
Suppose -5*a + 5 = 5*v, -a + 1 = -2*v - 9. Suppose -9 = -a*s + s. Solve 5*l - s*l = -8 for l.
-4
Let f be -6 - (6 - 11) - (0 + -23). Suppose -3*r - 6 = 3*x, x - r = -6*r - f. Solve 0*u = -x*u for u.
0
Suppose 2*u + 2 = 4*k, k = -2*k - 6. Let r(x) = -x**3 - 5*x**2 - 5*x - 6. Let q be r(u). Suppose -q = 2*b + 5*g, -3*g = -4*b + 2*g + 37. Solve 0*f = b*f for f.
0
Suppose 49*m = 35*m + 140. Let i(h) = h**2 + 6*h + 4. Let c be i(-6). Let r be 0*(3 + 5/(-2)). Solve r = -c*s - s + m for s.
2
Suppose -168 = -39*x + 25*x. Solve -x*t = -15*t + 3 for t.
1
Suppose 5*f + 2*g = 8*f - 83, 0 = -5*g - 20. Solve -44*a + 39*a + f = 0 for a.
5
Let p(b) = 10*b + 21. Let o be p(-6). Let s = o + 59. Suppose -s = -4*d - 4. Solve -4*l = -3*l + d for l.
-4
Let d be 0 + -6*4/(-8). Suppose d = -3*w - 57. Let j be (6/(-15))/(4/w). Solve p - 3 = j*p for p.
-3
Let n(h) = h**2 - 5*h - 41. Let f be n(10). Solve -f*s + 8*s = 0 for s.
0
Let o be 1 - -4 - (1 - 1). Let g(n) = -211*n + 650. Let l be g(3). Solve o*p = -l - 3 for p.
-4
Suppose 3*n - 126 + 12 = 0. Let q = n - 36. Solve -q*i + 6*i = 20 for i.
5
Suppose -21*s + 6 = -18*s. Suppose -5 = s*i - 9. Solve 3*d + 4 = i*d for d.
-4
Suppose -4*n + 1 = -3. Let x(p) = p**2 - 3*p - 8. Let o be x(5). Let i be (11 + 1)/o - 1. Solve -i*d = -4*d + n for d.
-1
Suppose 0 = s - 2 - 2. Let d(p) = 2*p**3 + 64*p**2 + p + 42. Let a be d(-32). Suppose -3*f - 2*c + 26 = 0, 16 = 2*f - 6*c + 7*c. Solve -f - a = s*y for y.
-4
Let q be (-100)/(-26) - 4/(-26). Solve 0 = q*d + 9 + 3 for d.
-3
Suppose -2 = -5*p - 7. Let i be p/(-2) + (-8)/16. Suppose -2*t + 3*y - 2*y + 7 = i, 0 = t + 4*y - 17. Solve -4*v + 5*v = -t for v.
-5
Suppose 0 = 8*r - 6*r. Suppose 0 = -4*o + 8 - 0. Solve -o*x - 2*x - 16 = r for x.
-4
Let f(j) = 4*j - 38. Let u be (2 + 78/24)/(3/8). Let s be f(u). Solve 3 = 5*r + s for r.
-3
Let b(s) = -s**3 - s. Let d(w) = 3*w**3 + 6*w**2 - 2*w + 9. Let i(k) = 4*b(k) + d(k). Let l be i(5). Solve l*q = 3*q + 4 for q.
4
Let w(j) = -j**3 + 3*j**2 - 2*j - 12. Let m be w(5). Let g = m - -76. Solve g*b = 8*b + 16 for b.
-4
Let n(v) = 5*v**2 + v - 1. Suppose -2*h + 21 = 5*a, -a + 6*a - 19 = -3*h. Suppose 2*d - a*d = -3. Let m be n(d). Solve -4*u + 1 = m for u.
-1
Suppose -2*z - 4*f + 4 = f, 0 = -z + 5*f + 2. Let q = -1 - z. Let m = q + 8. Solve -1 = n - m for n.
4
Let k be -12*(-1)/(-4)*-2. Let t(v) = v**2 - 2*v + 6. Let d be t(0). Let b = d - k. Solve b*h = h for h.
0
Suppose -v = 3 - 6. Let n be v/(-4) - 33/(-12). Solve 4 = n*q + 12 for q.
-4
Let j = -5 - 10. Let h = j + 16. Let r(c) = 4*c. Let x be r(h). Solve x*i = i for i.
0
Let y = 20 - 14. Suppose y*x = 7*x - 2. Solve -x*z = -2 - 2 for z.
2
Let p = 236 - 232. Solve 0 = -p*r - 1 + 13 for r.
3
Let k(h) = 84*h - 166. Let q be k(2). Solve -6*g - 8 = -q for g.
-1
Let j be -18*(4 - (-87)/(-18)). Solve 8 = j*s + 68 for s.
-4
Suppose 5*v - 14 = 11, -a - 3*v + 18 = 0. Solve -5*k - a*k = 0 for k.
0
Suppose -4*s + 46 = 2*m, -4*m + 16*s = 13*s - 37. Solve 0 = 8*h + 3 + m for h.
-2
Let d(o) = o**3 + 3*o**2 - o. Let q be d(-3). Suppose -2 = x - 6. Let c = 6 - x. Solve b = -c*b - q for b.
-1
Let m = -471 - -477. Solve -m = -4*b - 14 for b.
-2
Let y be 0/((-20)/(-90) + (-16)/(-9)). Let r be (-6)/(-18)*-1*9. Let u be -3 - ((-1 - 0) + r). Solve u + y = a for a.
1
Let y = 35 - 33. Suppose 4*n + 16 = -2*u - 2*u, -3*u - y = n. Let c = n + 8. Solve -3 - c = -3*t for t.
2
Suppose -12 = -4*t - 32, -2*l - 15 = 5*t. Let h be l/((-2)/8*-4). Suppose 0 = 5*o - h - 55. Solve -p - o = -4*p for p.
4
Let o(k) = -2*k - 9. Let z be o(-7). Suppose -z*r + 7 = -13. Suppose -3*a = -r*a. Solve a = 2*p - 6*p + 20 for p.
5
Let m = 12748 + -12743. Let f be -1 - (-2 + 0 + 1). Solve -l + 2*l + m = f for l.
-5
Let h be (-4)/3*3 + 5. Suppose -4*i + 5*l + 32 = 0, 9*i = 4*i - 4*l - h. Solve 2 = -q - i for q.
-5
Let h = 666 + -662. Solve h + 7 = -11*g for g.
-1
Let t be (-33)/(-4) - (-15)/(-60). Suppose 8*x = -11*x + t*x. Solve 0 = -2*w - x - 2 for w.
-1
Let j = 17 - 6. Suppose 0 = -2*x - 3*w + 11, 0*x = 3*x - w - j. Solve -x*l + 15 = -l for l.
5
Suppose 2 + 2 = 2*z. Let n be 2/(32/(-12) + z). Let q be -3*((-6 - n) + 2). Solve -q*l - l = -8 for l.
2
Let k(o) = -18*o - 179. Let q be k(-10). Solve -4*w - 19 - q = 0 for w.
-5
Let f = -14 - -25. Let u = -7 + f. Suppose u*y = y. Solve -o = -y*o for o.
0
Suppose l + w - 8 = 0, -l - 2*w - 4 = -4*l. Solve 0 = 5*x + 6 + l for x.
-2
Suppose 0 = -3*q + 196 - 190. Solve n = -q*n for n.
0
Let m be 4/(-3)*(2 - -1). Suppose n + r + 6 = 0, -3*n + 4 = -2*r + 2. Let x be n/4 + (-10)/m. Solve 0 = f - x for f.
2
Suppose 2*y + w - 58 = 0, -2*y - 2*w - 163 = -7*y. Let o = y + -19. Let n = 22 - o. Solve -n = -p + 6*p for p.
-2
Let v = -21 + 25. Let m(g) = g**3 - 3*g**2 - 3*g - 2. Let p be m(v). Solve 10 = -4*i - p for i.
-3
Let t = 8 - 10. Let r be (-3)/t*44/(-3). Let j = r - -22. Solve -4*f + 16 = -j*f for f.
4
Let f be (-4)/8*(-1 + 3). Let g(d) = -1 - 2487*d + 0 + 2481*d. Let y be g(f). Solve y*w - 3*w - 2 = 0 for w.
1
Suppose 0 = 159*i - 154*i - 20. Solve -45 = -i*p - 25 for p.
5
Suppose 0 = 5*w + 1 - 81. Suppose -2*g - 7 = -4*s + 3, s = -4*g + w. Suppose l = -0*l. Solve -b + g = -l*b for b.
3
Let v be (-19)/95 + (-41)/(-5). Suppose 2*w - 2*t - v = 0, -2 = 4*t + 10. Solve 3*m + w = -14 for m.
-5
Let k be 2 - (2/2)/(-1). Let j(s) = -10*s - 6. Let f(m) = 10*m + 7. Let b(v) = -4*f(v) - 5*j(v). Let g be b(2). Solve 5*x + k = -g for x.
-5
Suppose -18*z + 381 - 21 = 0. Solve 4*r - 8*r = z for r.
-5
Let z = -770 - -794. Solve 8*g + 24 = z for g.
0
Let h(p) = -4*p - 30. Let g be h(-8). Solve 0 = -f - g for f.
-2
Suppose t - 3*y = -11, 6*t - 4*t + 4*y - 28 = 0. Solve 28 = -t*r + 8 for r.
-5
Let h(o) = -10*o + 13. Let v(m) = 9*m - 14. Let u(b) = 6*h(b) + 7*v(b). Let l be u(8). Solve 0 = -3*a - 13 + l for a.
-3
Let z be ((-7)/((-42)/(-48)))/(-2). Suppose w + 0 + 3 = 0, -17 = -q + 5*w. Let n = z - q. Solve -3*d = n*d - 20 for d.
4
Suppose -18*x + 3 = -69. Solve -x*c + 17 - 5 = 0 for c.
3
Let y(p) = -2*p - 3*p + 11*p - 20 - 3*p. Let h be y(7). Solve -h = o + 1 for o.
-2
Suppose 5*p - 3*v = -0*v + 30, -4*p - 3 = 3*v. Suppose -3*u = 3*y, 6*y - p*u - 35 = 2*y. Solve -3 - y = -2*f for f.
4
Suppose -29 = -9*r - 146. Let g be (-2 - (-5 - -2))*-13. Let o = g - r. Solve u + 4 = -o*u for u.
-4
Suppose s + 4 = 13. Solve -5*o - s - 1 = 0 for o.
-2
Suppose 8*t + 50 = 74. Solve 3*w + t*w = -24 for w.
-4
Let k(c) = 7*c. Let g(i) = -6*i. Let v(x) = 6*g(x) + 5*k(x). Let y be v(-7). Let b(w) = 4*w**3 + 3*w*