 = -k - b for r.
-4
Suppose -27 = 5*r + 13. Let n(b) = -b**3 - 9*b**2 - 7*b - 8. Let u be n(r). Let z = u - -18. Solve f - 2 = -2*x, 22 = -4*x + 4*f + z for x.
-1
Let d = -1399 + 1407. Solve 4*f - 11 = -3*u + 8, -d = -2*f for u.
1
Suppose -2*l + 0 = 4*q - 4, -4*q + 32 = -5*l. Suppose -5*j = 25, b - 27 - q = 5*j. Solve 3*z + 4*x + 12 = 4*z, b*z - 2*x = -12 for z.
-4
Suppose 5*f + 4*d = 83, -3*d + 0*d + 6 = 0. Suppose 0*o = 3*o - f. Suppose -3*z - 5 = o*y - 0*y, 5 = -z. Solve 0 = y*a + 1 + 1, -2*j - a = 3 for j.
-1
Let i = -16 + 16. Suppose t - 5 + 2 = i. Suppose 0 = 3*z + 4*a - 29, 7*a - 22 = -2*z + t*a. Solve -13 = -3*l - 2*d, -l = -0*l + 2*d - z for l.
3
Let s(p) = -p**2 - 16*p + 18. Let j be s(-17). Solve 2*l = 7*l - 2*n + j, -5 = 3*l + n for l.
-1
Let g(p) = 13*p**3 + p**2 + 4*p + 4. Let o be g(-1). Let b = o + 17. Solve -4*y + 15 = b*u, 0*y = -5*y + u + 26 for y.
5
Suppose -6*z + 6 = -4*z. Let n be (0 + z - 3)/(-1). Solve n = 3*a - 5*u - 5, 6*u + 3 = 4*a + 3*u for a.
0
Let j = -26 - -27. Let r(w) = 15*w**2 - 2*w + 1. Let b be r(j). Solve 3*q - b = k, -2*k - 22 = -3*q - q for q.
3
Suppose -42*h + 40*h - 4*u = -8, h + u - 5 = 0. Solve 0 = 3*n - 3*y, h*n + 20 = 4*n - 3*y for n.
-4
Suppose 8 = 94*w - 92*w. Solve 0 = d + 3*y - 6, w*d - 2*y = 2*y - 24 for d.
-3
Suppose a + 12 = -a + 3*g, -20 = 3*a - 5*g. Suppose 3*n + 10 - 22 = a. Solve 5*x + 25 = -3*t, -t + n + 11 = -3*x for x.
-5
Let l(v) = -v**2 + 10*v - 6. Let y be l(8). Let d = -5 + y. Suppose m = d*m - 8. Solve -f = -m*s - 2, f = 3*s + s + 8 for f.
-4
Let m(g) = g + 1. Let k be m(-3). Let z(p) = -p**3 + 9*p**2 + p - 6. Let t be z(9). Let c = t - k. Solve n - c*n = -2*d - 30, -2*n + 5 = d for d.
-5
Suppose 4*q - 5 - 11 = 0. Suppose -4 = 5*i - 3*i. Let c be ((-5)/i)/(3/6). Solve 3*r + c = -2*p + q*p, p - 8 = -4*r for p.
4
Let m(r) = r**3 - 6*r**2 - 8*r + 12. Let y be m(7). Solve 5*n = t, -2*t + y = -3*t for n.
-1
Let q = -731 + 735. Solve -g + 4 = j + q*j, g = 5*j + 4 for j.
0
Suppose t - 5*t = -5*r - 309, 0 = -4*t + 2*r + 318. Suppose t = 3*o + 18. Suppose 0 = 5*u - o - 39. Solve 0 = 4*f + 5*x + u, -7 + 1 = 2*f + 2*x for f.
-3
Let l = -4 + 27. Let j = l - -7. Solve h = x - 0 + 2, 5*x + j = -5*h for h.
-2
Suppose 0 = 11*r - 7*r - 8. Suppose r*o = 2 + 4. Solve 6*u + 2 = -i + u, 5*u = o*i + 6 for i.
-2
Let n = -615 - -615. Suppose 14 = h - 3*w, h - 3 = 2*w + 7. Solve -2*v - 3 = -3*g - h, n = 3*g - 3*v for g.
1
Suppose 7*y + 5*y + 24 = 0. Let r(l) = -4*l**2 - l + 1. Let a be r(1). Let j be -2*(5 + a)*y. Solve j*i - 3*b = -5, 4*b = i + 4*i + 5 for i.
-5
Let t be (-57)/(-4) + 221/(-52) + 5. Solve -3*v - 4*b = 17, 0 = -4*v + 4*b + 9 + t for v.
1
Suppose 3*h = -5*j + 5, -4*j + 7 = 2*h + 1. Suppose -o + 42 = 2*c, -o - 84 = -j*c - 4*o. Let y = c - 17. Solve -5*d + 10 = 0, 0 = 2*r - d - y - 2 for r.
4
Suppose 0 = -2*b + 3*r - 17, -38 = 6*b - 2*b - 2*r. Let g(c) = 2*c + 23. Let h be g(b). Solve 2*n = h*s, 2*s + s - 3*n = 0 for s.
0
Suppose 24*g - 25*g + 3 = 0. Suppose -g*r = -9 + 3. Solve -r*y - 3 = -f + 5, -3*f + 2*y + 8 = 0 for f.
0
Let c = 50 - 4. Let a = 72 - c. Solve -3*x = 5*p + a, 3*p + 8 = x - 2 for p.
-4
Suppose -4*r - i - 17 = 3, -8 = 5*r - 3*i. Let j(q) = q**3 + 5*q**2 + q + 8. Let x be j(r). Solve h - a = -0*h - 5, x = 4*a for h.
0
Suppose 253*o = 248*o - 4*i + 30, 3*o + 2*i = 16. Solve -4*h + s + 20 = -7*h, 2*s = o*h for h.
-5
Let g(f) = 11*f - 7. Let l be g(3). Let t(o) = o**2 - 27*o + 30. Let h be t(l). Solve x = y - 3, x = h*x + 5*y + 9 for x.
-3
Let q(w) = -w**2 - 7*w - 7. Let u be q(-4). Suppose -3*t + 5*k = -75, 3*k + 38 = u*t - 71. Solve 3*f - 1 = 2*h, -20 = 5*f + 5*h + t for f.
-3
Let r(f) = -f**2 - 30*f - 26. Let g(h) = 2*h**3 + h**2 - 3*h + 7. Let q be g(-3). Let z be r(q). Solve 3*w = 12, 3*b - 2*b + z*w = 13 for b.
1
Suppose 4*c = 19*c. Solve 5*m - 22 = 7*m + 4*p, m + 3*p + 14 = c for m.
-5
Suppose -5*c = -2*n - 4, 13*c - n = 12*c - 1. Solve 2*h + c*l = 18, 0 = 12*l - 10*l - 10 for h.
4
Let r(f) = 2*f**3 + f**2 - 2*f + 1. Let a be r(1). Suppose -a*i - n + 4 = 3*n, -n = i - 1. Solve -2*q - 4 = -i*q, -4*g - 2*q - 8 = 0 for g.
-1
Suppose 3*l - 8 = o, -3*l - 2*o - 2*o = -13. Solve -w + l*w = -q + 13, 2*q = 6 for w.
5
Let o(v) = 2*v**2 - 72*v - 121. Let u be o(38). Solve -5*c + 16 = -4*h - 24, -3*h + 4*c = u for h.
-5
Let y(x) = -x**2 + 16*x - 25. Let k be y(14). Solve -t = 4*m + 7 - 1, m + 8 = k*t for t.
2
Let v be 9/5 - 2/(-10). Let i be (4 - 3)*20/4. Suppose -5 - 1 = l + i*s, v*s - 16 = -5*l. Solve -b - 2*b - 5*o + 23 = 0, b + 15 = l*o for b.
1
Suppose 4*u = -j + 8, 6*u + 5*j - 2 = 5*u. Suppose d = -u*n + 4*d - 1, 4*n - 48 = -4*d. Solve i = 5*b - 18 - n, -5*b = 2*i - 10 for b.
4
Let k = 38 + -35. Suppose u + 3*u + 28 = l, k*u - 4*l = -21. Let n be 4/u - 592/(-56). Solve t + n = -5*h + 8*h, -2*h = -4*t for t.
2
Suppose -4*x - 5*u = -31, -5*x - 4*u + 20 = -3*x. Let v be ((-46)/(-11) - x) + 390/33. Solve -l = -3*f - 12, -3*f + 0*f = l + v for l.
0
Let z = 219 - 217. Solve -u + 4*i + 2 = 0, z*u - u + 4*i - 2 = 0 for u.
2
Suppose 9*c - 1080 = 6*c. Let z be (8/26)/2 + c/195. Suppose -21 = -2*a - 5*x, -5*a + 3 = -x - 3*x. Solve -2*v - a*v + 41 = 4*u, u - 14 = -z*v for v.
5
Let x be (-6)/(-2) + 0/(-4). Suppose 4*k = -x*n + 24, -9 + 4 = -3*k + n. Solve -3*f - 25 = -4*t, -k*t = 3*f + t - 7 for f.
-3
Suppose -2*u - 5*d = -30, 4*d = 2*u + 2*d - 2. Let h be (6/u)/((-10)/25). Let a be (5/(-5))/(1/h). Solve 2*p = -a*z + 14, 0*z = -5*z + 4*p - 6 for z.
2
Let v be (45/(-6))/(-5)*16/6. Solve -b = -3*b + 4*y + v, 2*b + 3*y = -10 for b.
-2
Let r(q) = -2*q**3 + 19*q**2 + 102. Let h be r(10). Solve h*d = 4*z - 14, 4*d + 5*z = 6*d + 16 for d.
-3
Let p = -182 + 182. Solve 21 = 5*h + 4*z, -2*h = -p*z + 5*z - 22 for h.
1
Let p(j) = j**3 - 9*j**2 + 14*j + 2. Let l be p(7). Solve -l*i + 4*t + 11 = -3, i + 5*t = -21 for i.
-1
Suppose -11*b + 1642 = 1477. Solve 8*r - 6*r + 2 = 0, 4*c = r - b for c.
-4
Let i(o) = -o**2 - 12*o - 11. Let h be 1 - (10/(-5) - -14). Let u be i(h). Solve -d = -x, u = d - 2 - 0 for x.
2
Suppose 5*u - 5*p = 35, -3*u + 0*u = 5*p - 37. Suppose 3*n = u, -5*z + 4*n = 2*n - 79. Solve 5*r + 5 = -3*m - z, -5*r = 10 for m.
-4
Suppose 4 = 2*p - 4. Suppose -4 = 3*q - p*q. Solve -q = -0*w - 2*w, -2*w = -2*o - 12 for o.
-4
Let l(j) = j**3 + 3*j - 2. Let k be l(2). Suppose 0 = 3*z - 2*b - 24, 3*b + 33 = 6*z - 2*z. Let y be z/(-33) + 4/22. Solve 1 = -3*s - r, -3*r - k = -y*r for s.
1
Let k = -10 + 15. Suppose -8 - k = -q. Solve 2*r - q = -5*y, 0*r + y + 7 = 2*r for r.
4
Suppose -t - 21 + 17 = 0, 2*t = 5*n - 53. Solve -3*j = -n, -3 = s + 2*s - 5*j for s.
4
Let f be (-28)/21*30/(-4). Let u = f + -10. Solve -4*q + 3*c + 2 = u, 3*c + 0*c - 12 = -3*q for q.
2
Suppose 0 = -3*b + 1 + 17. Suppose -b = -3*f + f. Solve -2*v = u + 13, 7 = -f*u + v + v for u.
-5
Let d be (-20)/(-6)*(-48)/(-40). Solve 0 = m - 2*i + 4 + 1, -5*m + d*i - 25 = 0 for m.
-5
Let z be (-5)/10*-8 - 9. Let d be 21/(9*z/(-30)). Solve 2*c + b = 0, -c - 3*b = -2*c - d for c.
-2
Suppose 0 = 4*b - 3*b - 3. Suppose -4*s - 78 = -2*a, s + b*a - a = -17. Let p(y) = -y**2 - 18*y + 24. Let v be p(s). Solve 5*z - x = -3*x + 15, -x = v for z.
5
Let u = -90 - -100. Solve h + h = u, -3*c + 2*h = 13 for c.
-1
Let r be (-4)/(-18) - 1843/(-171). Solve -u = -2*a, 0 = -r*a + 9*a - 5*u for a.
0
Let x(v) = v**3 + v**2 - 22*v - 7. Let k be x(-5). Solve -k*y = 4*a + 20, -2*y + 0*a = 3*a + 15 for y.
0
Suppose -7*s = -3868 + 3889. Suppose 3*g - 11 = -38. Let f be s/12 - g/4. Solve u - 9 = -f*j, -2*j + 6 = j for u.
5
Suppose 4*n = 3*n. Suppose -48 = -3*v - 3*b, 0 = -n*v + 2*v - 4*b - 32. Let c be -1 + -3 + v/4. Solve c = -3*w + f - 8 - 4, -w + 4*f + 7 = 0 for w.
-5
Suppose 39 = 86*a - 2111. Let k be 2/(-7) - 32/(-14). Solve -5*f - m + 3*m - a = 0, 0 = -k*f + 3*m - 21 for f.
-3
Let b be ((-3)/(-10))/(186/1860). Solve -9 = -b*s - 3*o, s + 2*o - 3 = 4*o for s.
3
Let y be 2/((-8)/(-20)) + (23 - 16). Solve 2*m + 2 = -3*u - 10, 0 = 3*u - 4*m + y for u.
-4
Let k be 4/18 - 3*318/(-81). Solve -6*p + 2*p = z + k, 2*z + 6 = p for p.
-2
Let n = -13 + 19. Suppose 9*u - 6*u - n = 0. Suppose 0 = -3*x - u*x + 55. Solve -5*b = -4*l + 2*l + 13, -4*l - 5*b + x = 0 for l.
4
Let x(b) = -b**3 - 8*b**2 - 4*b + 5. Let d be x(-3). Let g = 30 + d. Solve -20 = g*v + 3*q - 4, 3*q = -5*v