 Let a = 1 - 2. Let o = u + a. Solve 2*s - 1 + 3 = o for s.
-1
Let d = 6 + -2. Let c(k) = -k**2 - 5*k - 6. Let y(a) = -a**2 - a - 1. Let x(r) = c(r) - 2*y(r). Let v be x(d). Solve 0 = -v*f + 5*f + 15 for f.
-3
Let y = -71 - -73. Solve -3*m = -y*m + 4 for m.
-4
Let a be 136/14 - (-18)/63. Suppose 3*q - f - 8 = 0, 9*q - 4*q = f + 12. Suppose q*o - o + 4*r = 0, 4*r = -4*o + 12. Solve 2*w - a = -o for w.
3
Let s(q) = -q**2 + 4*q + 5. Let t be -10*(-1)/(-2)*-1. Let w be s(t). Let n = 4 + w. Solve n*u + 0*u = 4 for u.
1
Suppose 5*m + 66 = o, 232 = 5*o + 3*m + 42. Let b = 21 - o. Let q = b - -28. Solve -5*p = -p - q for p.
2
Suppose 4*r + 7 = 5*u, 4*r - r - 18 = -4*u. Let b(w) = 8*w**3 - w**2 - w. Let k be b(-1). Let l be ((-2)/(-4))/((-4)/k). Solve -n + r = -l for n.
3
Let z be ((-57)/6 + 5)*(-2)/3. Solve 1 + 5 = -z*f for f.
-2
Let l(i) = 10*i**3 - i**2. Let b be l(1). Let r be ((-2)/(-2))/(2/22). Solve -b = -4*z + r for z.
5
Let t = 9 + -15. Let n = 11 + t. Suppose -o + 8 = -5*b, 2*b = n*o + 6*b - 69. Solve o + 7 = 4*j for j.
5
Let x(d) = -3*d - 9. Suppose 0*o = -4*o - 28. Let t be x(o). Solve 2*a + a = t for a.
4
Let x(j) = -j**3 + 5*j**2 + 8*j - 8. Let o be x(6). Solve -3*z + o*z = -4 for z.
-4
Suppose 4 = 2*o + z - 5, -4*z = 4*o - 28. Solve -o*q + 12 = -5*q for q.
-4
Let u = -7 + 13. Solve 2*z = u*z for z.
0
Suppose l - 92 = -3*l. Suppose -l = -5*n - 8. Solve 5*x + 2 = -n for x.
-1
Let f = -18 - -30. Let m = -4 - -3. Let w be (-1 - m) + 0 + 3. Solve f = 6*x - w*x for x.
4
Let s(m) = 15*m**2 - m - 1. Let c be s(-1). Suppose 1 = 2*u - 15. Solve 3*g - u*g = c for g.
-3
Let i(x) = -x**3 + 6*x**2 + 7*x. Let a be i(7). Solve -2*o - 4 = -a*o for o.
-2
Let d be -7*(8/(-14) + 0). Solve d*q = -q + 5 for q.
1
Let h = 55 - 55. Solve h*p = 5*p - 25 for p.
5
Suppose 2*t = -20 + 58. Let m = t - 11. Suppose -4*z + 25 = 3*g, z = 3*g - m*g + 19. Solve 2*x + 5 + g = 0 for x.
-4
Let p = -7 - -11. Suppose -3*t + p*b = 0, b = 5*t - 2*t. Solve t*o - 4 = -4*o for o.
1
Let m(x) = x**3 - 10*x**2 - 9*x - 6. Let p be m(11). Solve 2*r = -2*r - p for r.
-4
Let r be ((-10)/(-25))/((-2)/(-20)). Let v = -8 + 8. Solve v = -r*a - a - 10 for a.
-2
Suppose 40 = -4*b + 12. Let s = -5 - b. Solve d + d = s for d.
1
Suppose -8 = 5*j + 12. Let t = j + 6. Let r be 5/t + (-1)/(-2). Solve -y + 4 = r*y for y.
1
Let r = 104 - 100. Solve r*n - 8 + 4 = 0 for n.
1
Let x(l) = 13*l + 67. Let z be x(-5). Solve 8 = 2*s + z*s for s.
2
Suppose 3*i + 4*c = 13, i - 2 = -c + 2. Let j = i + -6. Let u(f) = -2*f + 2. Let x be u(j). Solve x*a - 16 = 4*a for a.
4
Suppose 0 = -3*b - 5*o + 20, 4*b - 27 + 7 = -5*o. Solve -9 = 3*q - b*q for q.
-3
Suppose 4*j = -d - 6, -3*j - 2*j - 14 = -2*d. Let b be (-40)/(-12)*6/5. Suppose -6*o + 2*i = -o - 108, 16 = -b*i. Solve 6*f - d*f = o for f.
5
Let t be -3 - (4/(-2) + 2). Let s be (-4 + 0)*(t + 1). Solve 3*g = 5*g - s for g.
4
Suppose l - 6*l + 15 = 0. Solve 3 = -l*a + 12 for a.
3
Let b be -4 - 8/(4 + -6). Solve 5 = -n - b for n.
-5
Let d be (3/4)/(-1)*-4. Suppose d*k = -2*n - 0*k + 11, 4*k = 2*n - 4. Suppose 86 + 22 = n*u. Solve -3*l + 12 = u for l.
-5
Suppose 5*v - 12 = -4*w, -5*v = -5*w + w + 12. Let a be 2 - (v + -2 - 4). Solve a + 4 = 3*t for t.
4
Let t(a) = 4*a + 7. Let k be t(-7). Let j be k*(0 + (-2 - -1)). Solve -1 + j = 5*h for h.
4
Let q = -5 - -5. Let n be -1*(-2)/(-4)*-2. Let b = q + n. Solve 0 - b = -j for j.
1
Let p(v) = 9*v**3 + 2*v**2 - 4*v + 3. Let r be p(2). Suppose 4*k - 4*b - r - 173 = 0, -4*k + 246 = -5*b. Suppose -6*i + 2*i = -k. Solve -3*q = q - i for q.
4
Let u = 19 - 14. Solve -2*s = -s - u for s.
5
Let d be 0 + 17 + 1*-2. Suppose 5*p - d = 10. Solve 0 = -p*b - 7 + 32 for b.
5
Suppose x + 4*x + 16 = 3*u, 18 = 5*u - 4*x. Solve u*s + s = 3 for s.
1
Let f = -5 - -7. Let o(b) = b**2 + 7*b + 4. Let s be o(-4). Let l = f - s. Solve 0*r - l = 2*r for r.
-5
Suppose -6*o + 80 = -o. Suppose 0*w = w - o. Let f be ((-1)/1)/((-1)/4). Solve -w = f*v - 0*v for v.
-4
Let r(a) = a**3 + 2*a**2 - 3*a + 2. Let j be r(1). Suppose j = g - 4*g - 2*i, 3*g - 18 = 3*i. Solve -g*t - 3 + 1 = 0 for t.
-1
Suppose -5*y - c + 18 = 0, c - 6 = 4*c. Suppose 0 = -y*z - 3*s + 1, -4*z + 2*s + 30 = z. Suppose -2*p - 18 = -z*p. Solve p = 4*q - 3 for q.
3
Let n(a) = -4 - a**3 - a**3 - 6*a - 10*a**2 + 3*a**3 + 4*a**2. Let i be 1/(-1) - (-7 - 1). Let k be n(i). Solve -2*p + 3*p = k for p.
3
Let r = -3 + 4. Let n(x) = -r + x - 6 + x. Let h be n(6). Solve b + h = 1 for b.
-4
Suppose -3*g - 32 + 38 = 0. Solve g*z - 16 = 6*z for z.
-4
Let z = -1 + 4. Let x = -10 + z. Let i = x - -10. Solve d = -i*d for d.
0
Suppose -2*i + 30 = -5*v, i = 3*i + 4*v - 66. Solve 0*g = -5*g - i for g.
-5
Suppose h + 5*c - 4*c = -17, -32 = 2*h + 4*c. Let w = h + 20. Solve w*u = -3 - 3 for u.
-3
Suppose -5*a - 2*u + 10 = u, -2*a = 5*u - 23. Let b be (0 + 1)/(a/(-18)). Let j be 1/(-3*(-2)/b). Solve z - j = -0 for z.
3
Let l(t) = t**2 + 16*t - 8. Let c be l(-16). Let o = c + 19. Solve 0 = 5*g + 1 - o for g.
2
Let r = 27 + -24. Solve -y = -r*y + 2 for y.
1
Let k(b) = -2*b + 6. Let o be k(-6). Suppose -2*w - 5 = -1. Let n be 1/(w/3 - -1). Solve o - 3 = n*g for g.
5
Let f = -2 + -6. Let y(w) = -w - 6. Let j be y(f). Solve -j = 3*t + 1 for t.
-1
Suppose 3*g - 18 = -i, 0 = 7*i - 2*i - g - 10. Suppose 4*k - 5*k + i = 0. Solve -k*d = d for d.
0
Let q be 10/(-30) - 58/6. Suppose -n + 14 = 5*t, -2*t + 20 = 2*n - 4*n. Let o be q/(-4) + 3/n. Solve o*a + 0 = 8 for a.
4
Suppose 2*h + 0*h = 4. Let d = 59 - 57. Suppose d*i - 16 = -h*i. Solve 0*y - i*y - 12 = 0 for y.
-3
Suppose -2*q = -q - 2. Let k = 31 + -21. Suppose -4*w = -3*h + 20, -3*h + k = -w - w. Solve q*v = -h*v for v.
0
Let i be (12/(-10))/(2/(-5)). Let s = i - -1. Solve -2*p = 2*p - s for p.
1
Let f be 2/(3 + 58/(-20)). Let d = 34 - f. Solve -4*b = -d + 2 for b.
3
Let i(z) = -z**3 - 3*z**2 + 6*z + 10. Let a be i(-4). Solve -14 - a = 4*o for o.
-4
Let y be 4/(-6)*3/2. Let i = 6 - 4. Let l = i - y. Solve -l*b = b for b.
0
Let r = 1 + 2. Suppose r*c - 4 = 8. Solve g - 3*g = -c for g.
2
Suppose -h - 4*h + 10 = 0. Solve -h*i + 0 = 2 for i.
-1
Let v = -5 - -8. Suppose v*q - a = -4*a + 105, 0 = -4*a - 20. Suppose -q = -5*d - 0*d. Solve -h - h = -d for h.
4
Suppose 1 = 4*h - 7. Suppose h*j = -2*p + 18, -5*j - 2*p + 22 = -2*j. Solve l = j*l - 9 for l.
3
Let w(t) = t**3 - 9*t**2 - t + 11. Let z be w(9). Suppose -5*j - 8 - 2 = 0. Let k = -2 - j. Solve k = -0*x + z*x + 10 for x.
-5
Let k(l) = l**2 + 4*l. Let b be k(-4). Suppose 2*p - 5*j = -2*j + 45, -4*p + 5*j + 91 = 0. Let a be 222/p + 1/(-4). Solve b = -2*o - 1 - a for o.
-5
Let p(b) = -b**3 - 4*b**2 - 3*b - 6. Let n = 7 - 11. Let t be p(n). Solve 4*i = i - t for i.
-2
Let a be 3 - -3 - (0 - -1). Suppose h - 5 = -h - y, -15 = -a*h - 5*y. Solve 2*s = -h*s for s.
0
Suppose -2*i - 17 = -5*c + 2*i, 5*c + i - 2 = 0. Let j be (1/(-3))/(c/(-6)). Solve 7*v - j*v + 25 = 0 for v.
-5
Let p(t) = -2*t - 5. Let m(i) = i**2 - 4. Let b be m(0). Let w be p(b). Solve 3*c + w = 6 for c.
1
Suppose -5*s = 2*l - 89, -2*s + 2*l - 6*l = -26. Solve -4*p + 7 = s for p.
-3
Let y(m) = m**2 + 4*m + 4. Let g be y(-4). Solve -g*o = 2 + 2 for o.
-1
Let m = -1 - -3. Suppose 2*v + 4*u - m = 5*u, 4 = 3*v - u. Solve 0 = -0*w + v*w for w.
0
Suppose -4*q = 4*t - 20, -q + 6*q = t + 25. Solve q = -2*z + 1 for z.
-2
Let b(i) = i**2 + 10*i + 11. Let u be b(-9). Suppose -6*t + 2*t = -3*z - 9, 0 = 4*t - u*z - 6. Solve 20 = -5*h - t for h.
-4
Suppose -4*k + 9 = -k. Let y(x) = x**2 - x - 3. Let r be y(k). Suppose -2*f + 65 = 3*f. Solve -4 = r*n - f for n.
3
Let s be (-6)/(-9) + 2/(-3). Solve -2*a - 2 + 4 = s for a.
1
Suppose 3*u = -51 + 21. Let a = u + 13. Solve -b = a*b - 20 for b.
5
Let o = 7 + -5. Suppose 2 + 9 = 3*z + o*y, -7 = -2*z - y. Suppose -n + 116 = z*n. Solve 0 = 4*q + 9 - n for q.
5
Suppose -3*m = 15, -5*m - 10 = 4*n - 1. Solve n*a - 2*a = 0 for a.
0
Let t(a) = -a**2 + 3*a + 7. Let b be t(5). Let n be (3 + b)/(-2 - 0). Solve 3*m + 2 - 8 = n for m.
2
Let f = 11 + -1. Let n(r) = r**3 - 11*r**2 + 11*r - 5. Let w be n(f). Solve -w*y - 2 = -7 for y.
1
Suppose -18 = -2*w - w. Let t be w/(-21) - (-4)/14. Solve 0 = -3*v - t + 9 for v.
3
Suppose 3*y - y = -z + 4, z = 2*y - 4. Suppose 4 = -4*d, 4*f + y*d - 7 = d. Suppose g - 17 = -5*x, 5*x = -g - f*g + 21. Solve l +