4*y for y.
3
Suppose 4 + 2 = 2*z. Let w(u) = -5*u - 8. Let x be w(-2). Suppose 5*b - 4 = x*y, -6 = -3*b + 8*b + 3*y. Solve 2*t - z*t + 1 = b for t.
1
Let r be (3 + -5 - 1) + 6. Suppose 7*f - 28 = r*f. Solve 2*i + f = -3 for i.
-5
Let s = 0 + 4. Let c = 35 - 32. Solve 0 = s*t - 5*t + c for t.
3
Let h(m) = -5*m**2 + 38*m + 9. Let b(q) = 2*q**2 - 13*q - 3. Let j(v) = 8*b(v) + 3*h(v). Let k be j(-7). Let r = k - -18. Solve -d + 4*d = r for d.
0
Let o(d) = -43*d**3 + d. Let i be o(-1). Suppose j + j - 5*u = i, 3*j = -2*u + 44. Solve j = 3*w + 1 for w.
5
Suppose -3*h = -43*h + 440. Solve -h*k - 8 = -9*k for k.
-4
Let h(x) = x**2 - 3*x - 7. Let t be h(-2). Suppose -2*o = -7 + t. Solve 7*m - o*m = 0 for m.
0
Let y = -86 + 95. Solve y = -3*p - 0*p for p.
-3
Suppose 2 = -v - 3*z, -3*v = -8*v - 5*z + 10. Let n = -204 + 208. Solve 0 = v*m - n for m.
1
Let f = -21 + 29. Let j be ((-6)/f)/((-36)/96). Solve -j = h - 5 for h.
3
Let y be (-2)/(-4)*(-23 + 77). Solve -3*v + y - 18 = 0 for v.
3
Let a(y) = -5*y + 15. Let o be a(3). Let l = 3 - -1. Suppose o = -q - h + 3*h - 8, -2*h + 2 = -l*q. Solve 0 = -q*w - 4 + 2 for w.
-1
Suppose 10 = 5*z - 5. Let o = z - -1. Suppose g + 9 = o*g. Solve -g*r - 9 + 0 = 0 for r.
-3
Let z = 36 + -28. Let b be (z/10 + -1)*-5. Solve -3*i + b = -2*i for i.
1
Suppose -2*u = -5*r - 109, 0*u + 4*r = 4*u - 188. Let y = -39 + u. Solve -2*b + 20 = y*b for b.
4
Suppose 11*x - 4*y - 136 = 6*x, 0 = -5*x - 3*y + 108. Solve 6*u - 6 = -x for u.
-3
Let n = 11 - -3. Suppose 5*a - 3 = b + 2*b, -2*a = -5*b + n. Suppose -5*m + 6 + b = 0. Solve -v = -m - 2 for v.
4
Let i(f) = 19*f + 1. Let l be i(1). Let m = -8 + l. Suppose t + 3*t - m = 0. Solve -t = 3*k + 3 for k.
-2
Let d(l) = -l**3 + 7*l**2 + 11*l - 10. Let p = -5 - -20. Suppose -2*k = -p - 1. Let z be d(k). Solve 3*g - 2 = -z for g.
-4
Let n(p) = -4*p - 3. Let q be n(-2). Suppose 5*f = -2*h - h - 39, q = -h + f. Let k(b) = b**3 + 8*b**2 - b - 8. Let v be k(h). Solve v*i - i = -4 for i.
4
Let p = -2 + 6. Suppose -p*t = -68 + 4. Let m be 4/t - 33/(-12). Solve 2*a = m + 1 for a.
2
Let y(a) = a**3 - 11*a**2 + 12*a + 5. Let h be y(10). Let p(q) = -2*q**3 + 4*q**2 + 2*q + 1. Let m be p(2). Let s be 3/(5/(h/m)). Solve -c + 16 = s*c for c.
4
Suppose 0 = -4*k - 4*l, 4*k - l - 28 = 2*l. Let u = -6 + k. Let f(v) = v**2 + 2*v + 4. Let r be f(u). Solve i + r = -i for i.
-2
Suppose -738*y + 745*y = 56. Solve -4*w + 2*w - y = 0 for w.
-4
Let p = -17 + 29. Suppose -13*w + p = -9*w. Solve -2*l - w = -l for l.
-3
Let i be 4/2*48/32. Solve i*k - 4 = -k for k.
1
Let z = -17 - 4. Let j be z/14*(-12 + 0). Let r = j - 12. Solve 0*g + r = -2*g for g.
-3
Let q = -530 + 533. Solve -q*k = k - 8 for k.
2
Let d(j) = -j + 76. Let a be d(54). Solve -3*g + a = 10 for g.
4
Suppose -175*s = -168*s - 273. Solve 9*p + s = 3 for p.
-4
Let b be (0 + -4)/(-3 - -1). Suppose 2*k = -b*k + 8. Suppose 0 = -5*h + 8 + 7. Solve k*x + 1 = -h for x.
-2
Let n be 0 + 5 + 1 + -2. Suppose -3*w = 3*l - 3, -3 = -n*w + 5*l - 8. Suppose 3*h - 42 = -w*h + 2*t, 3*t = 0. Solve 6 + h = -4*m for m.
-5
Let r be 1/((-4)/(-24)*3). Suppose 0 = 3*c - r*c - 2. Suppose -c*h + 1 = -5. Solve 2*d + 1 = h*d for d.
1
Suppose 4*h - 74 - 22 = 0. Let s be h + (9 - 5 - 7). Solve 0 = 3*r + s - 9 for r.
-4
Let a = -27 - -28. Let n be (5 + -5)/(1 - a - 3). Solve 3 = -w - n for w.
-3
Let t = -526 + 528. Solve 0 = 2*s - 3*s + t for s.
2
Let k(p) = p**3 + 5*p**2 - 7*p - 3. Let v be k(-6). Suppose -5 = f, 2*o - v*o = -5*f - 27. Solve 0 = 4*l + o + 2 for l.
-1
Suppose -3*a + 2*m = -82, -86 = -4*a - m - m. Solve 17*j = 5*j + a for j.
2
Let h be -4 + (3 + 29)/(1/2). Suppose 4*n + 2*d + 148 = 0, 113 = n - 4*n - 2*d. Let p = n + h. Solve -4*m - p + 5 = 0 for m.
-5
Suppose 5*g + 2*q = -5, -4*g + 4*q - 21 = 11. Let s be 0/(0 + g + 4). Solve 2*p = -s*p - 2 for p.
-1
Suppose 5*o - 10 = 0, 8 = -2*z - 3*o + 2*o. Let i be (-21)/(-28) - z/4. Let f be -3 - -7 - (3 - i). Solve -f*x + 7 + 8 = 0 for x.
5
Let g(y) = -2*y**3 - y**2 + y. Let t(i) = -i + 1. Let u be t(3). Let b be g(u). Solve 4*f - 2*f - b = 0 for f.
5
Let t(z) = z**3 + 17*z**2 - 3*z - 26. Let j be t(-17). Let l(d) = d - 3. Let g be l(6). Solve 2*p - j = -g*p for p.
5
Let p be (6/(-3))/(2 - 4) - -2. Solve p*a + 4 = -2 for a.
-2
Let i(b) = 3*b. Let h be i(1). Let k be (-88*(-24)/(-924))/(2/(-7)). Solve -k*q = -h*q for q.
0
Suppose -13*u - 54 + 80 = 0. Solve z - 1 = u for z.
3
Let a(x) = -37*x + 36*x + 2 + 4 - 3. Let s be a(1). Solve s*m + 7 = -1 for m.
-4
Let g(r) = r**3 - 7*r**2 + r - 1. Let x be g(7). Suppose -4*h + 6 + x = 0. Solve -h*c + 2*c + 4 = 0 for c.
4
Suppose 0 = -o + 2*y + 17 + 17, 5*o + y = 170. Solve 37 = -3*r + o for r.
-1
Suppose o = -4*f + 5, 7*f - 9 = 4*f + o. Let r(d) = 4*d - 27. Let m be r(8). Solve -n - f = -m for n.
3
Suppose -m = -2*m. Suppose 3*l - 6 = -q, -3*l + m*q = -2*q - 6. Let a be 38/9 + l/(-9). Solve t + a = -t for t.
-2
Suppose -4*y + m + 13 = -2*m, 3*m - 3 = 0. Suppose -6*c = -2*c. Let l = 10 + -6. Solve -y*n = l - c for n.
-1
Let s be 9 + -1 + (63 - 61). Solve 6 = l + s for l.
-4
Let w = -8 + 17. Suppose -3*n = -3*q - q - w, 2*n + q - 6 = 0. Suppose -1 = -n*t + 8. Solve -t*k + 10 = -k for k.
5
Let w(r) = 99 + r - 144*r**2 + 143*r**2 - r + r**3. Let k be w(0). Let u be (-11)/(-9) + (-22)/k. Solve -4*s = 17 - u for s.
-4
Suppose 3*r + 37 = m, -2*m - 2*m + 2*r + 128 = 0. Solve -51 = -5*i - m for i.
4
Let u = -6 - 6. Suppose -85 = -2*g - 3*g - 5*c, 0 = g + 4*c - 11. Let w = g + u. Solve w*n - 4*n = 12 for n.
4
Let o(f) = -2*f + 13. Let b be -1 + 8 + -3 + 3. Let n be o(b). Let u be (-4 - -1 - -3)*n. Solve 0 = 2*y + 4 - u for y.
-2
Suppose -m + 2*m + 2 = -c, 5*c = 4*m - 55. Let f = c + 11. Solve 0*s = 4*s - f for s.
1
Let y(u) = 4*u**2 + 10*u + 24. Let v be y(-2). Solve 4*h - 8*h = -v for h.
5
Suppose 14*w + w = 165. Solve w*l = 10*l + 3 for l.
3
Let o = 10 - 0. Let h(w) = w**2 - 9*w - 8. Let p be h(o). Suppose -4*g = -0*g + p*j - 18, g = -2*j + 9. Solve g*a = a for a.
0
Suppose 20 = 20*n - 15*n. Suppose 3*o = -n*w - 3 - 2, 0 = o + w + 1. Solve 5 = 4*j + o for j.
1
Let t(x) = -x**2 + 17*x - 31. Let l be t(15). Let i be 4 + -3 - 1*l. Solve 3*s - 7 - i = 0 for s.
3
Let l(u) = -2*u**3 - 56*u**2 - 53*u + 29. Let x be l(-27). Solve 3*o + 14 = x for o.
-4
Let z = 15 + -12. Suppose -2*y + 90 = z*y. Suppose 2*v - y = -4*i, -3*v + 24 = 6*i - i. Solve v*h = 5*h - 8 for h.
4
Let p = -14 + 18. Let o(g) = -3*g + 18. Let l be o(p). Solve -4 = -2*n - l for n.
-1
Suppose 3*a + i + 2*i - 27 = 0, -4*i = -4*a + 36. Solve -a = -7*f - 2 for f.
1
Suppose -x + 5*b + 36 = 8, -3*b = 15. Suppose 0*f = x*f - 6. Suppose -3*q - f*q = 0, 5*q = -2*v + 6. Solve 0*t = -v*t for t.
0
Let u be -2*(-4 + (-25 - -1)). Suppose 55*p - u*p = -2. Solve -p*h + 6 = 2 for h.
2
Let u be (0 + 4)/4 - 1. Suppose 2 = f - 1. Suppose k - f = -2*k. Solve u = 5*s + 16 - k for s.
-3
Let t(j) = -2*j**3 - j**2 + 14*j + 3. Let r be t(-3). Solve -r = 5*p - 3*p for p.
-3
Let t be -25*6/15*-1. Let r(p) = 2*p - 20. Let k be r(t). Solve 3*h + h + 4 = k for h.
-1
Let x(s) = -s**3 - 10*s**2 - 12*s - 25. Let z be x(-9). Solve 0 = z*c + c + 15 for c.
-5
Let m(r) = r**2 + 8*r + 16. Let d be m(-4). Suppose -2*p + 87 = -q, -p = p + 4*q - 102. Let z be (54/p)/((-2)/(-25)). Solve -6*i + i - z = d for i.
-3
Suppose -4*r = 3*l - 45, 12*r = 14*r + 3*l - 15. Solve -r*b - 5 = 40 for b.
-3
Let c(t) = -2*t**3 + 15*t**2 - 17*t - 3. Let p be c(6). Solve -p*l + 9 = 3 for l.
2
Let g = 174 + -174. Solve 2 = d - g*d for d.
2
Suppose -2*k + 57 = -k + 3*a, -4*a = k - 62. Suppose -8*c - 6*c = -k. Solve 0 = -c*u - 2*u + 10 for u.
2
Let i = 105 + -74. Suppose 2*u - i = -11. Solve 2*f - 7*f - u = 0 for f.
-2
Let j be 219/18 - 2/12. Suppose -33 = -7*h - j. Suppose 5*r + 0*i = -i + 54, -5*i + 50 = h*r. Solve -3*b = -8*b + r for b.
2
Suppose 13*p - 140 = 3*p. Solve -p = -7*w - 0*w for w.
2
Suppose 40 = 5*w - 3*h, 5*w + 2*h - 3 - 12 = 0. Suppose 44 = 3*x + 2. Solve 3*u - x = -w for u.
3
Let r(x) = -2*x - 4. Let h be r(-3). Let k(z) = 2*z**3 - z**2 - z. Let s be k(h). Suppose 0 = 2*w + 3*w - 15. Solve -w*b = -5*b - s for b.
-5
Suppose 15 = 13*k - 895. Let p = -66 + k. Solve b = -b + p for b.
2
Let v = -19 - -23. Suppose -64 = -3*x - 5*j, x = -x - v*j + 44. Let o be (-4)/x - 28/(-126). Solve i - 5