k + 8. Solve 0 = i*r - 3 - 5 for r.
4
Suppose -p + 8 = 4*q, 9 = -4*p - 2*q + 83. Suppose -3*m - 2*b = 2*b - 20, 0 = 2*b - 10. Solve 8*a - 3*a - p = m for a.
4
Suppose 0 = 3*t + 28 - 31, 0 = 4*i + 3*t - 91. Solve -22 + i = -5*b for b.
0
Suppose 0 = 4*v - 2*z - 146, 17*v = 22*v - 5*z - 185. Solve 5*c = 14*c + v for c.
-4
Let n(x) = 15*x**2 - 71*x - 390. Let o be n(8). Let y = 0 + 7. Solve o = 3*k - y for k.
3
Suppose -3*j + 0*u = 2*u - 87, 4*j + 3*u - 116 = 0. Suppose 3*a = 5*h + j, -3*a + 9 = -4*a - 3*h. Solve 2*z - 1 = a for z.
2
Let i = -12 + 20. Let n = -8 + i. Let j = 0 + n. Solve j = -k - 3*k for k.
0
Let k = -19 - -21. Suppose 3*r = k*t - 2, 0 = 3*t - 3 - 0. Solve r*u = -2*u for u.
0
Let u = 78 - 78. Suppose u = y + 4*n + 18, 3 = 4*y - n - 10. Solve 0 = -a - 0 - y for a.
-2
Let i(n) = -6*n + 33*n**2 - 34*n**2 + 0 + 2. Let b = -6 - -1. Let t be i(b). Solve o = -t + 2 for o.
-5
Let n be 4 + (17 - 3 - (1 + -5)). Solve -9*k - n + 4 = 0 for k.
-2
Suppose 5*x - 29 - 6 = 0. Suppose 3*v + 0 = 12. Suppose v*p = -p + 75. Solve -2*g = -x*g - p for g.
-3
Suppose -2*m + 21 = 17. Suppose 0 = -3*s + s - 2*f + 16, m*f - 13 = -s. Solve s*k + 15 - 3 = 0 for k.
-4
Suppose -13*s - 380 = -4*r - 10*s, 2*s - 190 = -2*r. Solve -4*l - r = 15*l for l.
-5
Let k(t) = -5*t + 51. Let r be k(7). Suppose -2*d - 4*z = -r, 7*d - z - 18 = 2*d. Solve d*o - 8 = 6*o for o.
-4
Suppose 3*f - 51 = -3*k, -k - 4*f = -31 + 8. Let x be 4/30 + 43/k. Let o be (-4 - (-12)/x)/(-2). Solve o = -l - l + 10 for l.
5
Suppose 2*t + 53 + 83 = 0. Let a = 72 + t. Solve 4*o - a = -8 for o.
-1
Let f(m) = 12*m. Let n be f(1). Suppose -23*v - n = -27*v. Solve -v*l + 15 = 2*l for l.
3
Let w(g) = g**3 - 11*g**2 - 11*g - 7. Let u be w(12). Solve -u = 2*y - 1 for y.
-2
Suppose -3*w + 1 = -4*x, -4 = 3*w - w - 5*x. Solve w*f - 4*f = 2 for f.
-2
Let h = 337 + 1132. Suppose 3*b - h = 4*f, -4*b - f - 2*f = -1992. Let n be (-3)/7 + b/77. Solve -n*w - 9 = -3*w for w.
-3
Let t(c) = c**2 + 6*c + 23. Let u be t(0). Solve -3 = -5*k - u for k.
-4
Let t be (-2)/(-10) - 4/(-5). Solve -u - 4 = t for u.
-5
Let b(s) = s. Let y be b(9). Suppose 69 = 6*k + y. Solve 5*h + k = -5 for h.
-3
Suppose n = -0*n + 2. Suppose -4*l + 9*l = 15. Suppose 0 = p - 4*w, 0 = -n*p - l*w + 2*w. Solve 0 = -x - p*x + 5 for x.
5
Let k = 429 + -177. Let i be (-4)/(-6)*k/24. Suppose -2*x = 5*s - 22, -5*x + 6 = 4*s - 15. Solve -3*a - s = -i*a for a.
1
Suppose -3*r = -r - 10. Suppose 25 = -5*a - 4*c + 5, -a - 5*c = 25. Suppose 0 = 3*b - a*b. Solve -x + r*x + 20 = b for x.
-5
Suppose -15*m + 20*m = -135. Let a be (m - 0)*8/12. Let j = -18 - a. Solve 0 = -j*h + h for h.
0
Suppose m = 3*m - 10. Suppose 5*w = 5*b + m, -2*w + 13 = -w + 2*b. Solve -2*f = -f - w for f.
5
Let z = -22 - -37. Let f be (-3)/z + 424/20. Solve 0 = -3*p + f - 6 for p.
5
Let r(n) = 6*n**2 + 13*n - 3. Let f be r(-3). Solve -p - 2*p - f = 0 for p.
-4
Let p = -366 + 371. Let n(v) = -v**2 + 8*v - 9. Let c be n(6). Solve -p*m = -2*m + c for m.
-1
Let j be 12/10 - ((-132)/15 - -7). Solve j + 0 = -n for n.
-3
Suppose 39*o - 18*o - 63 = 0. Solve -o*g = -0*g for g.
0
Suppose 15*p - 934 = 146. Let q = 83 - p. Solve -q = 3*x + 4 for x.
-5
Let s be 2 + 2 + 4*-1. Suppose s*j = -j. Suppose -2*t + j*t + 4 = 0. Solve 0 = -5*x + 27 - t for x.
5
Suppose 10*f - 186 = -176. Suppose 5*v + 101 = k, -3 + 38 = -2*v - 5*k. Let d be f/6 + v/(-24). Solve -1 = r + d for r.
-2
Let y be 8 - (-57)/9 - 2/6. Solve -2*f + 12 = y for f.
-1
Suppose -j = -5*n + 1, -5*n - 3 = -4*j + 8. Suppose -3*o + 127 = j*y + 50, -4*o + 96 = 5*y. Suppose -3*q = -16 - y. Solve m - 4*m + q = 0 for m.
4
Let f = -14 - -28. Suppose 16 = 4*s + 2*t, 3*s + 2*t = -0*t + f. Let x(q) = q**3 - 3*q**2 + 3. Let i be x(3). Solve -2 = s*p - i*p for p.
2
Let k be ((-36)/10)/(3/(-10)) - (153 + -156). Suppose -c = -3*p + 16 - 4, 3*c + 20 = 5*p. Solve k = -3*h - c for h.
-5
Let m = -17 + 19. Let v(o) = -o - 5 + 2 + 8 + 3. Let y be v(0). Solve m*q - y = -0*q for q.
4
Let d(t) = -2*t**3 + 44*t**2 + 2*t - 41. Let b be d(22). Solve b*i - 19 + 4 = 0 for i.
5
Suppose l - 4*c + 3 = 0, l - 2*c + 5 = 3*c. Let g be (1 - (-2)/(-3)) + (-128)/(-12). Suppose g*w - 4*w = 7. Solve w + l = -3*f for f.
-2
Let d = -254 + 254. Solve d = b + 17*b - 18 for b.
1
Let z(s) = -s + 11. Let y be z(9). Suppose 5*j + 16 = 26. Suppose -3*w - 4*d - d = j, 2*w + y*d = 0. Solve 2*t = w + 1 for t.
1
Suppose 0 = -r + 6*r - 40. Let z = r - 6. Let a be -4 - -18 - (-6)/(-2). Solve z - a = 3*f for f.
-3
Let r = 2 - -1. Suppose -2*c + 10 = 3*c. Suppose 4*u + r*v - 3 = c*v, -5*u - v = -5. Solve u*p = 3*p for p.
0
Suppose -3*n + v + 3 = 0, -3*v = n + 2*v + 15. Suppose 2*b = 2*p + 26, n*b + 29 = 5*b + 4*p. Let m = 20 - b. Solve 3*d = -1 - m for d.
-4
Let v be 1/(-8) + (-1235)/104 + 14. Solve v*b - 15 = -5 for b.
5
Let m = 8 + 9. Suppose m*w = 13*w + 80. Solve -w = 2*n + 2*n for n.
-5
Suppose 0 = 2*f - 5*a - 33, 2*f + 3*a + 2 = 43. Solve f - 3 = -4*s for s.
-4
Suppose 2*b = 0, -t + 3*b - 140 = -6*t. Let l = -25 + t. Solve -2 - 10 = l*k for k.
-4
Suppose 4*r - 20 = -5*o, o + 8 = -2*r + 3*o. Suppose r*b - b - 25 = 0. Let g = 30 + b. Solve g = x - 2*x for x.
-5
Suppose 0 = -3*b - 15, r - b - 9 - 1 = 0. Solve -r*y - 19 = -19 for y.
0
Suppose -9*g + 29 = 5*i - 7*g, 3*g + 16 = i. Solve 3*p - 8 = i for p.
5
Suppose 1868*n = 1872*n - 72. Solve -6*c + n = -0*c for c.
3
Suppose -381 = -5*c + n, -c - 4*n + 74 = -2*n. Solve 13*v = -24 + c for v.
4
Let v(i) = -i**3 - 4*i**2 - 4*i + 1. Suppose 6 + 2 = -4*a. Let m be v(a). Solve -m - 3 = 4*y for y.
-1
Let p = -6 + 6. Solve -5*j + 8 - 3 = p for j.
1
Let z be (2 + -2)/((-52)/(-13)). Solve z = -7*n + n for n.
0
Let l be (-3)/(3/(8 + -11)). Solve z + z = l*z for z.
0
Suppose -15 = -2*c - m, 0 = -c - 3*m + 29 - 9. Suppose -5*a = -5*h - 35, 0*h + 5 = -5*a - c*h. Solve 21 - 6 = a*x for x.
5
Let u be (-4)/(-2)*((-4)/(-2) + -1). Let v(k) = k**3 - 6*k**2 + 4*k + 7. Let t be v(5). Suppose 4*o - d + 0 = 10, -t*d - u = -2*o. Solve -o*j = -2 + 17 for j.
-5
Let p = -123 + 129. Solve -l - p + 8 = 0 for l.
2
Suppose v - 21*v = -60. Solve -v*x = -4*x + 1 for x.
1
Let n be (-4)/(-3) - (-992)/372. Suppose -24 = -2*b - b. Solve 8 = -n*r - b for r.
-4
Suppose -3*s + u = -30, -2*u - 33 = -7*s + 4*s. Solve 3*m + 0 = -s for m.
-3
Suppose -a + 2*k = 20, a = -2*a - 4*k - 30. Let t = 19 + a. Solve t*c = -0 - 5 for c.
-1
Let c be ((-3)/9)/((-212)/(-72) - 3). Solve c*k - 16 = -2*k for k.
2
Let s = -4 - -50. Let p = 53 - s. Solve -20 = p*h - 2*h for h.
-4
Let k(w) = 6*w + 33. Let t be k(-11). Let x be (t/22)/((-39)/(-24) + -2). Solve -7*d + 3 = -x*d for d.
1
Let m(h) = h**3 - 4*h**2 - 4*h + 7. Let s be m(4). Let k(d) = -d**3 - 9*d**2. Let p be k(s). Solve 0 = -p*r - 4*r + 12 for r.
3
Let s = -141 - -145. Solve -107*u - s = -111*u for u.
1
Let u be 12/36 + 15/9. Let z(t) = t**2 - t - 1. Let h(q) = -4*q**2 + 8*q + 8. Let x(a) = h(a) + 5*z(a). Let n be x(-2). Solve 3*p = u + n for p.
1
Suppose 35 = -8*s + 147. Solve 7*k - s*k = -6*k for k.
0
Suppose -4*t + 4*f - 280 = 0, -f + 0*f = 5*t + 326. Let a = -51 - t. Solve -5*q + 5 + a = 0 for q.
4
Let x = -679 + 701. Solve 6*f - x = -10 for f.
2
Suppose -13*a + 15*a = 72. Solve a*g - 34*g + 6 = 0 for g.
-3
Suppose 7*t = -t. Suppose r - 4 + 1 = t. Let i be (r - 5 - -1)*-3. Solve -i*w - 25 = 2*w for w.
-5
Let z = 32 + -27. Suppose -4*s + 2*b = -10, s - z*b + 20 = -9*b. Solve 4*p - 2*p = s for p.
0
Suppose -5*v - 12 = -6*v. Suppose -5*g = i + 43, -3*g = -0*g - 4*i + v. Let w = 11 + g. Solve 0 = -5*m + w - 28 for m.
-5
Suppose 0 = 4*d - 29 - 151. Solve d = 6*h + 3*h for h.
5
Let k(y) = -y**3 + 4*y**2 - 2*y - 1. Let c be k(2). Let l(f) = -2*f**2 - 27*f - 34. Let b be l(-12). Solve -c*v - b*v = -20 for v.
4
Let l(s) = -s**3 - s**2 + 2*s + 3. Let g be l(-2). Suppose -g*w = -4*a, -6*a = -a + 5*w. Solve a = u + 1 - 2 for u.
1
Let j be 4 + 2/(-1) - -11. Let l(x) = -x**3 + 11*x**2 - 9*x - 10. Let u be l(10). Suppose -j = o + 3*a - 31, 2*o + 4*a - 26 = u. Solve -o*s + s = -8 for s.
4
Let c = 15 + -13. Suppose 0 = -0*r + 4*r - 12. Suppose -3*t = r*x - 33, -t - c*x - x = -15. Solve k + 2*k = t for k.
3
Let d(h) = -h**2 - 2*h - 39. Let i be d(0). Let o = 43 + i. Solve 3 = -o*r + 3*r for r.
-3
Let p be (115/(-20))/(2/(-8)). Let x = p + -18. Suppose -5*n + 0*n