12*z**2 - z + 11. Let m be r(12). Let i = -14 + m. Let l = i + 20. Solve -3*u + l = 2*u for u.
1
Let u = -50 + 37. Let n = 16 + u. Let v = 8 + 0. Solve -i + v = n*i for i.
2
Suppose 4 = 2*f - 4. Let a(o) = o - 3. Let v be a(f). Suppose -k - 9 = -u, 4*k + k = -u - 21. Solve u = z - v for z.
5
Let f(h) = 8*h - 33. Let z be f(5). Solve -z*x = -11*x + 8 for x.
2
Let w(p) = -4*p**2 + 8*p. Suppose 12 = -46*s + 52*s. Let c be w(s). Solve c = 3*f - 0*f - 3 for f.
1
Let m be 2/4 + (-1)/2. Let d = 793 - 791. Solve m = -0*k - 2*k + d for k.
1
Let h(n) = -n**2 - 2 - n**3 - n**2 - 3*n + 0*n**2. Let i be ((-4)/11)/(6/33). Let w be h(i). Solve 0 = 5*q - q - w for q.
1
Suppose 1 + 1 = 2*h. Let o be (1 + h - -15)*1. Suppose 15 = -5*s - 4*a + 47, -2*s = 5*a - 23. Solve s*k - 5 = -o for k.
-3
Let m(l) = l**2 - 3*l + 1. Let g be m(3). Let x(b) = b**3 + 2*b - 3. Let z be x(g). Solve z*d = -5*d + 20 for d.
4
Let j(s) = -s + 4. Let t be j(5). Let y(c) = -c**3 - 14*c**2 + 15*c - 2. Let b be y(-15). Let n be (4 + t)*b/(-3). Solve n*k = 1 + 1 for k.
1
Suppose 181 = 46*c + 135. Let x = 3 - -1. Solve -a - c - x = 0 for a.
-5
Let d be (-2009)/21 + 2/(-6). Let i = -93 - d. Solve i*y + 6 + 6 = 0 for y.
-4
Suppose 0 = 12*y + 45 + 3. Let a(h) = 7*h + 33. Let w be a(y). Solve -15 = -w*i + 2*i for i.
5
Let s(f) = 22*f. Let c be s(-1). Let t(l) = -l**2 - 24*l - 34. Let k be t(c). Solve -6*z + z = k for z.
-2
Let x(r) = r - 6. Let h be x(5). Let i(f) = f + 1. Let y be i(h). Suppose 0*b + 2*b + 6 = -3*w, 2*b + w - 2 = 0. Solve y = -c - b for c.
-3
Let n be (78/6 - 4) + -5 - -2. Solve n = -2*d - 0 for d.
-3
Let w be -3*8/6 - -10. Suppose -3*s + p + 12 = 0, 2*s + 16 = w*s - p. Solve 0*c = s*c for c.
0
Suppose 2*h = 3*b + 85, -2*h - h = -15. Let u = -13 - b. Suppose r - u = -2*r. Solve q + r = -q for q.
-2
Let u be -12 + 10 - 28/(-1). Suppose -18 + u = 2*f. Solve -4*p = -0 - f for p.
1
Suppose 346 = 14*x + 38. Solve -2 = 8*c + x for c.
-3
Let o be -2 - (-4 - 3 - -3). Let l(m) = -3*m**3 + 14*m**2 - 6*m - 6. Let h be l(4). Solve 2*b = h + o for b.
2
Suppose -5*q + 0*q + 30 = 0. Suppose 191*m - 199*m = -8. Solve -q = -t - m for t.
5
Let m(s) = -6*s**3 + 5*s**2 + 2*s - 4. Let p(u) = 7*u**3 - 5*u**2 - 3*u + 4. Let b(l) = 6*m(l) + 5*p(l). Let a be b(4). Solve g + a*g = -5 for g.
-5
Let f = 2 + -2. Suppose 4*n + 42 - 54 = 0. Solve n*y + 2*y = f for y.
0
Let j = 79 + -79. Suppose j = 3*o - 4*v - 31, -4*o - 5*v = o - 5. Solve -2 = o*u + 3 for u.
-1
Let h = -274 + 277. Suppose 4*r - b - 3 = 0, -3*b = 5*r - r - 23. Solve 0 = k - r*k + h for k.
3
Let p(b) = b**2 + 8*b - 23. Let l be p(-11). Let d be 9*l/405 + 25/9. Solve d*r - r + 2 = 0 for r.
-1
Let n be (-63)/(-15)*(-70)/(-6). Solve m = -n + 46 for m.
-3
Suppose f + 15 + 41 = 0. Let o = f - -59. Solve -3*w + 12 = o for w.
3
Let b = 0 + 20. Let x(r) = -10 + r + r**2 + 2*r + 3. Let q be x(-5). Solve 2*m = -q*m - b for m.
-4
Let n be ((-8)/(-10))/((-18)/(-45)). Let j be (-34)/n - (2 + -4). Let g = j + 15. Solve -d + g*d = -1 for d.
1
Suppose -5*q + 10*q = 0. Let u be (2/4)/((-4)/(-144)). Suppose -2 + u = 4*n. Solve q = h - 3 + n for h.
-1
Let p = 2773 - 2629. Solve -145*s = -p*s + 3 for s.
-3
Let j = -278 + 283. Let a = -1 + 1. Let g be a/(4/2) - -15. Solve g = -0*v - j*v for v.
-3
Suppose 4*x - 4 = 12. Let o(t) = t - 3. Let a be o(6). Suppose 0 = 3*y + 2*y. Solve 3*h - x*h - a = y for h.
-3
Let f(m) = -6*m - 11. Let a(u) = 3*u - 6. Let k be a(0). Let q be f(k). Solve -9*y - q = -4*y for y.
-5
Let b(i) = -2*i - 5. Let g = 5 - 9. Let w be b(g). Solve -w*v + 1 = -14 for v.
5
Suppose -9*o + 7*o = 6. Let r be (o/(-6))/(3/(-9))*-4. Solve -x = x + r for x.
-3
Let h(b) = -2*b + 6. Let u be h(0). Let r = u + -2. Solve -7 = r*v + 5 for v.
-3
Suppose 266 = 28*x - 266. Solve -16 = -3*o - x for o.
-1
Let n be (-52)/3*(48/4)/(-4). Let p be (3 - (n/12 + -1))*-18. Solve w - p = -w for w.
3
Let c = 341 - 337. Solve -7*h = -c*h - 15 for h.
5
Suppose -4*t = -8, 4*h - 2*t = -h + 41. Suppose -3 = 2*w - h. Solve -w*m + m + 4 = 0 for m.
2
Suppose 1 = 5*y - 19. Solve -4 = -y*o + 3*o for o.
4
Let l(s) = -2*s + 4. Let g be l(-4). Let p be ((-9)/(-4))/(g/320). Suppose -y - 2*y = -p. Solve u = -4*u - y for u.
-4
Suppose -49*b = 20 - 20. Solve 9*r - 27 - 9 = b for r.
4
Suppose -3*n + 25 + 0 = 5*k, -2*n + 3*k = 15. Suppose n*z + 5*y = -2*z + 10, 5*z - 5*y + 10 = 0. Solve z = -4*c + 19 + 1 for c.
5
Suppose -18 = -w - k - 3*k, -4*k + 42 = 5*w. Suppose -4*d + 0*d - o + 7 = 0, -w = -d + 4*o. Suppose -4 = -x - d. Solve -2*m + 8 = x*m for m.
2
Let i(o) = -o**2 - 8*o - 9. Let s be 1 + -3 + -4 - 0. Let u be i(s). Suppose -11 = -3*l - 5*n, 0*l + u*n - 9 = -3*l. Solve -l*d = 3*d for d.
0
Suppose 3*r - 7 - 23 = 0. Let j(a) = -a**3 + 8*a**2 + 19*a + 10. Let f be j(r). Solve 7*x - 3*x = f for x.
0
Let r = -44 + 48. Solve -3 = r*x + 5 for x.
-2
Let h(p) = -p**2 - 9*p + 14. Let g be h(-10). Suppose -6*q + g*q = 0. Solve q = 5*v - 5 - 10 for v.
3
Let n(z) = -63*z + 198. Let q be n(3). Solve q*w + 0*w = -9 for w.
-1
Suppose -4*t = -5*t + 13. Let i(s) = 3*s - 24. Let z be i(t). Solve 0 = 4*a + 1 + z for a.
-4
Suppose -3*q = 2*b - 10, q - 14 = -2*q + 2*b. Solve -2*n + q = -4*n for n.
-2
Let q be 14 + (-6 - 5 - -7). Solve 11*p + q = 6*p for p.
-2
Suppose 3*s - 4*b + 8 = 0, -2*b + 0 = 2*s - 4. Let w be 10/4*8/5. Solve 2*q + w = -s*q for q.
-2
Suppose -4*w + 14 = -10. Suppose -30 = -w*j + j. Solve u = j*u + 25 for u.
-5
Let n = -5 + 10. Suppose -5*d + 27 + 3 = 4*t, 30 = n*d - 2*t. Suppose 0 = 4*x - d - 2. Solve f = -0 + x for f.
2
Suppose 0 = -27*i + 30*i - 114. Let r = i + -62. Let w be (r/(-36))/(4/66). Solve 4*s = w + 9 for s.
5
Let h(o) = -o**3 - 22*o**2 + 76*o + 28. Let j be h(-25). Solve -9*g = 6*g - j*g for g.
0
Let m be 3 - (2 - 3/(-3)). Let f(o) = -o**3 - 2*o**2 + o + 2. Let a be f(m). Solve -a = -i - 0*i for i.
2
Let s(x) = -12*x + 62. Let q be s(5). Solve q*d - 4*d = 10 for d.
-5
Let l = -16 + 1. Let n be (-2)/(4/l) + (-2)/4. Solve n*y - 2*y = 0 for y.
0
Let a(c) = 2*c - 56. Suppose 0 = x - g - 25, -5*x - 64 = -g - 205. Let o be a(x). Solve -o*j - 2*j - 8 = 0 for j.
-2
Let v = 1199 + -1138. Solve 65*p - v*p = -12 for p.
-3
Suppose -3*b + 4 = -7*b. Let p be 1 + (1 + 1 - b). Suppose 0 = -c + 5*c - 20, p*c = 4*x + 4. Solve -l + x = 3*l for l.
1
Suppose 9*a = -26*a + 140. Solve 0 = 8*d - 7*d - a for d.
4
Let v be (3/9)/(6/36). Suppose 18 = c + 4*u, -28 + 10 = -4*c + v*u. Solve -c + 8 = q for q.
2
Let x = 1554 - 1552. Solve -x = 2*y - y for y.
-2
Suppose 13 = -i + 4*t, -2*i - 2*t + 11 = -i. Suppose -52 = -10*r - 42. Let g be (14 - r) + i*-1. Solve 0 = 3*k + 2*k + g for k.
-2
Let l be -2*(6/(-14) - (-120)/(-112)). Solve 0 = -l*z - 2 + 8 for z.
2
Let b be (7 - (12 - 4)) + 8. Solve 9*u = 2*u + b for u.
1
Let i(u) = -9*u + 12*u - 4*u**3 + 5*u**3 + 18 + 10*u**2 + 8*u. Let h be i(-9). Suppose -5*w - 2*x = -w - 8, 4*w + 12 = 3*x. Solve h = -w*b - b - 3 for b.
-3
Let p = -543 + 545. Solve p*v + 7 = 9 for v.
1
Let v(g) = -g**2 + 15*g - 13. Let x be v(14). Let w be (x + (-2 - 2)/4)/(-2). Solve w = 4*m + m for m.
0
Suppose 2*j + 35 = -3*s, -5*s = -j - 0*j + 54. Let v = -6 - s. Solve v*l + 7 = 2 for l.
-1
Let w(x) = 2*x**3 - 19*x**2 - 24*x + 155. Let r be w(10). Solve -r*d + 13*d = 0 for d.
0
Suppose -4*c - 4*j = 0, -20 = -3*c - c + j. Solve -3*q - 21 = c*q for q.
-3
Let s be (-63)/42 - (-7)/2. Suppose y - 5*z + 13 = 0, s*y - 12 = -5*z + 7. Solve y*v = -2*v for v.
0
Let l(o) = -27*o + 248. Let p be l(9). Solve 132*w + p = 137*w for w.
1
Suppose 7 - 27 = -4*k. Solve 0 = k*d - 14 - 1 for d.
3
Let x(r) = 3*r + 136. Let c be x(-41). Solve c = -4*j - 7 for j.
-5
Suppose 14*u - 873 = 23. Let r = u - 64. Solve -4*p = -r*p - 8 for p.
2
Suppose -2*x + 3*b = -20 + 31, b - 15 = -5*x. Solve h - x*h + 2 = 0 for h.
2
Let x = -233 + 235. Solve -24 = -x*r - 4*r for r.
4
Let u(x) = 2*x + 15. Let j be u(-4). Let a be 3/(4 + (-22)/4) + j. Solve a*s + 14 = -1 for s.
-3
Let s be (6/(-4))/(3/72*-6). Solve -17 = -s*f - 5 for f.
2
Let k(p) = 5*p**2 + 119*p - 20. Let u be k(-24). Solve 30*t = -u*t for t.
0
Let z be 113/(-6) + 6/(-36). Let y = -8 + 29. Let u = y + z. Solve -k - 1 = -u for k.
1
Suppose -s = -5*z + 49, -z - 5*s = z + 2. Solve 0 = -z*l + 12*l for l.
0
Let o(s) = -2*s**2 - 5*s. Let m be (-12)/(-8)*(-4)/6. Let 