12 + w for o.
4
Let u(n) = -9 - 8*n + n + 2 - n**3 - 6*n**2 + 0. Let r be u(-5). Suppose 2*v = 3*i - 37, r*i = v + 6 + 26. Solve -8 = -4*k + 2*q, -5*q - i = -0*k + k for k.
1
Let o(d) = d**3 - d**2 - d + 10. Let u be o(0). Let r = u + -10. Let p be -1 + -1 + r - -9. Solve 0 = 3*w - p*w + 5*f + 3, -3*w + 5*f = -1 for w.
2
Let o = 88 + -89. Let d be 4*(3/12 + o) + 6. Solve f = 2*f - d, -3*k - 18 = -3*f for k.
-3
Let d = 5 + -3. Let h(w) = 13*w + 1. Let a be h(d). Let v be -2 + 6/18 + 22/6. Solve -2*t + f - v = -3*f, 5*t + a = -f for t.
-5
Suppose 3*a = -4*t + 43, 0 = -3*a - 4*t - t + 41. Solve 0 = -4*q - 5*s + a, 0 = -q + 3*q + 5*s - 11 for q.
3
Suppose 3*w + 3 = 0, -18 + 2 = -4*c - 4*w. Let h be 23 - (2/5 - 4/10). Suppose m - c*x + h = 1, 2*m + x = 11. Solve -m*i = -i + 2*o + 4, -2*o - 7 = 3*i for i.
-3
Suppose -2*g - 46 = -54. Solve -g*b - 6*j = -j + 25, -3*b - 5*j = 20 for b.
-5
Suppose 155 = 5*l + 370. Let d = 55 + l. Solve 0 = -4*a - 3*n - 4, 2*a + 0*n = n - d for a.
-4
Let m = -5 + 5. Let o(r) = r**3 + 21*r**2 - 48*r - 42. Let u be o(-23). Let y(d) = -3*d. Let n be y(-1). Solve m = n*i + 6*k - 3*k + 6, -5*i - 3*k = u for i.
1
Let g be -1*(-3)/(-6)*-10. Suppose 7*c = 6*c + g. Solve -c = -2*u + 7*u, -2*u + 4 = -2*h for h.
-3
Let f(u) = -3*u - 17. Let m be f(-13). Suppose 0 = 4*b - m + 2. Solve 0 = 5*p + 5*h + 15, -2*p - b = h + 2 for p.
-4
Suppose 731 - 713 = 2*q. Solve p = 5*t - 3 - q, 3*t + 3*p = 0 for t.
2
Let h = 185 - 181. Solve 0 = p + h*n - 11, 0*n + 37 = -5*p + 3*n for p.
-5
Suppose 2*g + 4 = 2, 5*h - 2*g = 62. Let d be (2/5)/(h/150). Solve 3*c + 4 = -p + c, d*c = 3*p - 21 for p.
2
Let z(a) = a**3 - 11*a**2 - 8*a - 28. Let u be z(12). Solve 0 = 3*c + 4*l + 4, -3*c + 2*l + u = -0*l for c.
4
Suppose 2*j + 10 = -5*w, -4*j + w = -j - 2. Solve -i + j*i + 6 = -r, 3*i + 5*r + 22 = 0 for i.
1
Suppose -5*s = -2*o - 19, 4*s - 8 = -o + 15. Solve 0 = -r - s*m + m + 5, 0 = r - 3*m + 9 for r.
-3
Let t = 46 + -42. Suppose -23 = -4*d + 2*y - y, 0 = d + 2*y + 1. Solve -5*q - 9 = -k + t*k, d*q + k = -13 for q.
-3
Suppose -76*x - 96 = -84*x. Solve 13 = 3*l - 2*q, -5*q - x = 2*l + 11 for l.
1
Suppose 3*r - 2*x - 27 = -7*x, 4*x - 4 = 2*r. Suppose 47*m - 91*m = -220. Solve -18 = -m*c + 4*c + 5*y, r*y + 21 = 3*c for c.
3
Let y be (1 - 2154/26) + 188/(-1222). Let l = -77 - y. Solve m + 12 = -4*k - 0*m, -l*m - 20 = 0 for k.
-2
Let p be (2 + 1)*(-8 + 5). Let b = p + 11. Suppose 18 = 2*g - b. Solve -2*r = -5*a - g, -r - a = 4*a - 5 for r.
5
Let w be (-10)/4*(-28)/35. Let h = -3 + -1. Let j(b) = b**2 + 2*b + 3. Let m be j(h). Solve -9 = -4*i + 5*i + w*f, -m = i + 3*f for i.
-5
Let l = 14 + -12. Let h(c) = -c**3 + 2*c**2 + c. Let y be h(l). Solve -i + 3 + 2 = -3*w, -4 = y*w for i.
-1
Suppose -22*v = -65 - 133. Solve 4 = 6*i - 3*i + k, -v = 2*i + 3*k for i.
3
Let u = 46 - 46. Solve u = -4*y - 20, 0 = -m - 2*y - 5 for m.
5
Let s be -4 + (2/1 - 5). Let k = 9 + s. Suppose -k*c + 6*c - 72 = 0. Solve 0 = -4*y + 4*h - c - 6, -4*y + h = 9 for y.
-1
Suppose 0 = 2*q - 4*o - 2, 3*o - 7 = -q + 2*o. Let i be (-2)/(-5) - (-13)/q. Solve -2*m = 3*l - 1, -i*m - 4*l + 1 = -2 for m.
5
Suppose -2*s + q + 9 = 0, -s + 4*q + 1 = -0*s. Let l(p) = 6*p - 15. Let w be l(s). Suppose -4*d - w = -55. Solve 3*g + d = -g - 3*k, -5*g - 5*k = 10 for g.
-4
Let d(z) = z**3 + 6*z**2 - 7*z + 12. Let y be d(-7). Suppose 0*g - y*g + 48 = 0. Let j = 9 - -1. Solve 3*h = -k, -g*k - h - h = j for k.
-3
Let o = 84 - 80. Suppose 2*i + 0*n = o*n, 0 = -3*i - n + 7. Solve 5*a - 2 = 3*z, z + a - i = -0*z for z.
1
Let u be 5 - -1*(-1 + 0). Let z be 3/5 + 24/(-40). Suppose z = 2*p - p - 2. Solve 0 = u*b - 9 - 3, p*b - 26 = -5*k for k.
4
Let l = -1 + 4. Let c be 0 + (-2 - 0)/(-1). Suppose o - c*k + 8 = 2*k, 0 = k - 2. Solve -3*y + m + 2*m + 6 = 0, 2*y - l*m - 8 = o for y.
-2
Suppose 4*r - 44 = -k, 2*k - 12 - 32 = -4*r. Solve 0 = -3*n - 4*t + r, 4*n + 0*t - 15 = -5*t for n.
5
Let v = -254 - -262. Solve 0 = 4*k - 2*j - 18 + v, -3*k - j = 0 for k.
1
Let m(b) = -b**2 + 2*b + 4. Let p be (-12)/(-20) + (-14)/(-10). Let w be m(p). Solve -w*h + 3*z = z + 6, -4*h + z = 9 for h.
-3
Suppose -3*i = -13 + 4. Let d = 883 + -870. Solve 12 = 3*j + i*n, 0 = -5*j + n + d + 13 for j.
5
Let u(k) = 3*k**2 + 6*k. Let t(p) = p - 3. Let i be t(1). Let x be u(i). Solve 0*d - 3*d + 3 = x, -2*r = 4*d - 4 for r.
0
Suppose 0 = 21*g - 15*g - 30. Solve 0 + 12 = -3*v, v = g*b - 9 for b.
1
Suppose 16 = 122*l - 120*l. Solve -l = 4*f, f = -2*c + 6*f for c.
-5
Let n be (42 + -43)/(1*-1). Let k = 12 + 1. Let y = k - 9. Solve -y*w + 5*j = -32, -3*w - 3*j + n = -j for w.
3
Let x(m) = -m**3 + 8*m**2 + 8*m + 13. Let k be x(9). Suppose -9 = -k*t + 43. Suppose -t*u = -9*u - 12. Solve -5*f + 0 - 19 = -2*h, 0 = -h + u*f + 12 for h.
-3
Let s be 0/((3 + -1 - 5)*-1). Let m = -7 - -11. Solve -v + 2*r + 25 = -4*v, 4*v - m*r = s for v.
-5
Let g = 11 - 6. Let c(m) = -m + 37. Let v be c(28). Suppose -v*i = 26 - 44. Solve s - 7 = 5*h, -3*h = -g*s + i*s - 3 for h.
-2
Let m(t) = 16*t + 5. Let d be m(0). Solve 2*p = q + 1, -q + d*p - 2 = 2*p for q.
1
Let j = -15 - -10. Let s be (-18)/(-8) - j/(-20). Suppose -s*g = -g - 1. Solve l - 5*f = 26, -f = 3*l + 1 + g for l.
1
Let a be 18/(-27) + (-6)/(-9). Suppose 10*v - 24 - 26 = a. Solve v = -c, 3*o + c + c = -25 for o.
-5
Suppose 0 = -9*j + 6*j + 132. Let u = -7 + -2. Let p = j + u. Solve v = -4*c + 14, -11 = 5*c - 2*v - p for c.
4
Suppose -5*n = -0*p - p + 10, p = -2*n + 3. Solve 0*l = -d - l + p, -2*d + 14 = 4*l for d.
3
Let d(q) = 2*q**3 - 2*q**2 + q + 4. Let a be d(3). Suppose 2*i - 57 = 7*i + 2*l, -a = 3*i - l. Let w = -11 - i. Solve 5*p - 7 = w*g, 3*p + 1 = -0*p - 4*g for p.
1
Let m be (4/8)/((-4)/(-24)). Suppose m*h - 9*h = -30. Solve 3*j - 13 = h*o, 5*j + 9 = -o - 16 for o.
-5
Suppose 460 = -10*k + 170. Let b(x) = -x**2 + 13*x + 20. Let q be b(16). Let i = q - k. Solve -4*w - 9 = o, 2*w = -5 + i for o.
-1
Suppose -37*r = 25*r. Solve m - 4*v = 7, r = 4*m - v - 0 - 13 for m.
3
Let z(o) = o**3 + 7*o**2 - 4*o - 26. Let f be z(-7). Solve 2*t - 3*n = -2, -f*t - 22 = t + 5*n for t.
-4
Suppose -3*d + 13 = 1. Let v(r) = -r**2 - 10*r - 12. Let h = -51 + 43. Let j be v(h). Solve 0 = -3*g + 12, d*i = -9*g + j*g + 4 for i.
-4
Let s be (-57)/(-19) - ((4 - 3) + -3). Solve -4*w = 5*c + 16, -4*c = -s*w + 22 - 1 for c.
-4
Let j(l) = -2*l**3 - 11*l**2 - 5*l + 7. Let z be j(-5). Let f = 48 - 46. Solve i + 7 = f*u, 8 = 5*u - 5*i - z for u.
4
Let g(o) = -22*o**2 - o - 2. Let m be g(-1). Let l = m - -23. Solve -4*j - 1 = -a, -3*a = -l*a + 3*j - 3 for a.
1
Let x(d) = -d**3 - d**2 + d + 2. Let c be x(-2). Solve c*o = -4*q + 2*o, q - 5 = 2*o for q.
1
Let q = 33 + -30. Suppose -q*h + 0*h + 15 = 0. Solve 4*t - h*y + 2*y = -11, -3*t - 22 = -5*y for t.
1
Let p be -4 - -4 - -1 - -1. Suppose 4*l = -p - 6. Let c be (-3)/(-6*l/(-40)). Solve -3*f = 3*y, -4*y + c - 26 = 0 for f.
4
Suppose 0 = -2*s + 3*y + 18 + 36, 5*y = -5*s + 85. Solve 4*u + 3 + s = -4*r, -18 = 4*r - 2*u for r.
-5
Let x = -11 - -11. Suppose 4*t - 22 = -3*r + 22, x = -2*t - r + 20. Solve -3*i - t = -4*g + 1, 12 = -4*i + g for i.
-3
Let l = 16 + -14. Suppose -3*y + 3 = -4*r - 13, -5*r + 3 = 2*y. Suppose 3*z - y*v = 35, -4*z + 20 = -z - v. Solve -5 = -2*b - 3*o + l*o, 4*b + o = z for b.
0
Suppose k - 5*a + 3 = 0, -5*k + 3 = -3*a - 4. Suppose -k*h - 17 = -27. Solve 4 = 2*g + h*q, 2*g - 4 = 2*q - q for g.
2
Let z be 4*1 - (30/5 - 16). Solve -j + 2*u = -5, 5*u + z = 3*j - 0 for j.
3
Let c(y) = y**2 - 6*y - 23. Let u be c(-3). Solve -22 = r - u*m, 5*m - 9 = r + 18 for r.
-2
Suppose 0 - 2 = -2*i, 2*h + 3*i - 5 = 0. Suppose o - 3 = -h. Solve 0 = -x - 0*x + o*w - 1, 10 = 5*w for x.
3
Let h be 3/18 + (-1160)/(-240). Solve -h*j = 3*m + 14 + 2, 0 = -j + m - 8 for j.
-5
Suppose 0 = -19*j + 539 - 406. Solve -2*l + 3*i = j, -4*i - 11 = -7 for l.
-5
Suppose -294*h = -268*h - 104. Solve h*c + 3*x - 5 = 8, c - 4 = -x for c.
1
Let h = -49 + 51. Suppose 40 = 5*w - 5*o, -h*w = 8*o - 4*o - 10. Solve 2*b - y + 2 = 0, -b + 2 = 2*y - w for b.
1
Let a = 44 + -38. Solve 0 = 5*q + 4*x - a, 3*x = 2*q + q - 9 for q.
2
Suppose k - 5*z = 15 + 22, 5*k = -2*z + 50. Suppose 0 = -k*b + 13*b. Solve -5*x + 18 = 2*p, 2*x + b = -p + 7 for x.
4
Suppose -d + 30 = 3*d - 2*i, 3 = -3*i. Solve -2*p + 6 = 2*t, t = -2*t - 5*p + 