
Let b(w) = -w**3 + 4*w**2 + w - 3. Let x be b(2). Solve x = -5*m - 3 for m.
-2
Let y(l) = -l + 1. Let i be y(-2). Let t = 52 + -51. Solve i*j - t = 2 for j.
1
Suppose 0*l + 24 = 4*l - 4*h, 3*h = -2*l - 13. Let y(q) = -q - 5. Let z be y(-3). Let o be 1*(3 + 0 + z). Solve -a + l = -o for a.
2
Let v(g) = -2*g**2 + 2*g + 1. Suppose 5*l - x = 4*x - 35, -3*x + 13 = l. Let k be v(l). Let c = k - -18. Solve c*d - 2*d = -25 for d.
-5
Suppose -2*f + 8 = -0*f. Solve 0*x + x = -f for x.
-4
Let v be 3 + -5 + 24/4. Solve v*u + 28 - 8 = 0 for u.
-5
Suppose 3*u + i = 80 + 41, 2*u = 4*i + 76. Let r be 96/u - (-6)/10. Let f(c) = c + 2. Let q be f(-2). Solve q = -p - 0 - r for p.
-3
Let u(b) = b + 12. Let q(d) = 5*d + 1. Let p be q(-2). Let n be u(p). Solve n*a + 0 - 12 = 0 for a.
4
Let v(j) = -2*j - 13. Let c(l) = -l - 6. Let b(f) = 5*c(f) - 2*v(f). Let x be b(-4). Suppose k + 13 = 5*a, 0 = -4*a - k + 3 + 2. Solve -a*w - w = x for w.
0
Let t(m) = -5*m**2 + 0*m**3 + 2*m + 0*m**3 - 7 + m**3. Let i be t(5). Let v be 6 - (1 + 1) - 0. Solve r - i*r = -v for r.
2
Let v(s) = -4*s**3 - s - 1. Let o be v(-1). Let i be -1 + 1 + (o - 2). Solve i*u = u for u.
0
Suppose 0*h = -13*h. Solve 0 = 2*q + 8 - h for q.
-4
Let h(g) = 7*g - 7. Let i = -9 + 6. Let t(j) = -4*j + 3. Let n(o) = i*h(o) - 5*t(o). Let b be n(6). Solve b = -3*l + 5*l + 6 for l.
-3
Let c be (-9)/(-4) - (-7)/(-28). Solve -2*k = c*k + 12 for k.
-3
Let x(h) = -15*h - 54. Let d(z) = 3*z + 11. Let c(t) = -21*d(t) - 4*x(t). Let l be c(-6). Solve 4 = l*r - 4*r for r.
-4
Let h be (-6 - -8) + -1 + -1. Solve h = 8*b - 3*b - 25 for b.
5
Let s(i) = i**3 - 4*i**2 + 6*i - 5. Let l be s(4). Let g = 27 - l. Suppose 2*k - g = -0. Solve 11 + 5 = -k*c for c.
-4
Suppose -4*q + 7*q = -9. Let l be 6/(-3) + 2 - q. Solve -1 = -2*k + l for k.
2
Let z be 392/16 - 2/(-4). Solve 0 = -8*d + 3*d + z for d.
5
Let v(f) = f**3 + 7*f**2 - 7*f + 5. Let c be v(-8). Let y = 11 + c. Solve 5*m = -28 + y for m.
-4
Suppose 0*z - 34 = 2*z. Let l = z + 17. Solve q + l*q + 2 = 0 for q.
-2
Suppose -38 = -z - 40. Suppose 5*p + 3 = -2*v + 2, 3*p = -3. Let x = v - z. Solve 1 + x = -5*c for c.
-1
Suppose -5*y = -9 - 11. Solve y*g - 2 = 3*g for g.
2
Let h = 25 + -23. Solve t = -h*t for t.
0
Let c(y) = -y**3 + 6*y**2 + 2*y. Let l be c(6). Suppose -3*a - 4*b = -8, -2*a = -5*b + 17 - 7. Suppose a = -h + 5*h. Solve -3*t + 0*t + l = h for t.
4
Let x = 4 + -4. Solve -w + x = 2 for w.
-2
Let k(m) = m - 2. Let c be k(2). Let p = c - 0. Solve 3*l - 3 + p = 0 for l.
1
Let l(j) = -8*j - 24. Let p be l(-5). Solve 12*f + 8 = p*f for f.
2
Let i(g) = -g**3 + 8*g**2 - 6*g - 5. Let w(j) = j**2 + 2*j + 4. Let h be w(-3). Let r be i(h). Solve r*c = -0*c - 8 for c.
-4
Let t = -7 + 13. Let d = -11 + 3. Let w be -4*(3 + 1)/d. Solve t = 2*h - w for h.
4
Let q be 2/(-4)*-4*4. Let r = q + -6. Solve 0 = f - r*f for f.
0
Let z = 14 + -12. Let o = z + 18. Solve -o = d + 3*d for d.
-5
Suppose 2*l + 2*l = -16. Let s be (6/(-1) - -3)*l. Let f = s + -7. Solve 2*x + 1 + f = 0 for x.
-3
Let i(y) = y**3 + 3*y**2 - 4*y + 2. Suppose 0 = -2*q - 7 - 1. Let u be i(q). Solve u*t = -0*t for t.
0
Let x(l) = -l**3 + 6*l**2 - 6*l + 6. Let w be x(5). Let h = 27 + -8. Suppose 0 = 2*r - 3*d - h, -2*r = 3*r - d - 28. Solve w = -4*q + r for q.
1
Let p be 0/(2 + 0*(-2)/8). Solve p*t = -4*t for t.
0
Suppose -71*m + 15 = -68*m. Solve -6*k = -k - m for k.
1
Suppose p - 2*t = -p + 10, 0 = p + 5*t - 29. Suppose v - 2*v = 8. Let b be 25/20 - (-2)/v. Solve -5*q + p = -b for q.
2
Suppose h + 2 = 4. Suppose -d + 3*n = 8, -n + 9 = h*n. Let q(t) = 4*t**3 + t**2 - t + 1. Let v be q(d). Solve -2*a - v + 3 = 0 for a.
-1
Let x be 74*(10/(-4) + 3). Suppose 3*v - x = 20. Suppose h + 4 = 5*h. Solve -h = -4*a + v for a.
5
Let m(r) = -3*r + 1. Let b(p) = -p - 1. Let k(y) = 4*b(y) - m(y). Let u be k(-8). Solve -2*h + 10 = u*h for h.
2
Let k = 17 - 8. Let l = 12 - k. Solve -l = t + 2 for t.
-5
Let r(b) = 6*b**2 + 2*b - 2. Let k be r(-2). Suppose -x = 2*x - k. Solve 3*z - z + x = 0 for z.
-3
Suppose 2*g = -4*u + 10, -3*g - u + 3 = -7. Let o = 12 + -1. Suppose -g*r + o = -1. Solve 0 = r*x - 4 for x.
1
Suppose 0 = -5*l + 17 + 8. Solve -l*n = 4 + 1 for n.
-1
Suppose -2*m = -13 - 13. Solve 2*x - 3 = -m for x.
-5
Suppose 40 = -63*l + 68*l. Solve -t + l = 6 for t.
2
Suppose -m = k - 4, -5 = -4*k + m + 31. Solve 4*u = k - 28 for u.
-5
Let y = -1 + 1. Let h = 3 + -2. Let f be (0 + h - y)*4. Solve -2 + f = 2*p for p.
1
Suppose 0*h - 56 = -2*h. Let x = 4 - 1. Solve -h + x = 5*j for j.
-5
Let j = 153 + -153. Solve j*z + 3*z = 6 for z.
2
Let y be (2/2)/(-3 - (-40)/12). Solve -1 = 2*q - y for q.
1
Suppose 0 = 7*w - 4*w - 9. Suppose 4*j + 4*c - 20 = 0, -5*j + 2*c - 5 = -w*c. Solve 0 = j*y - 4*y - 10 for y.
-5
Let q(s) = s + 6. Let k be q(-6). Solve u = -k*u for u.
0
Suppose 2*x - 4*x + 4 = 0. Suppose -2*r - 22 = -4*a, x*r - 25 = -5*a + 4*r. Solve -a - 3 = 2*b for b.
-3
Let g(j) = -3*j + 2. Let a be g(-2). Suppose 4*z - 25 = -z. Let l = z - 2. Solve -a*w = -l*w - 20 for w.
4
Suppose 3*b = 4*k - 7*k - 24, -3*b + 4*k - 10 = 0. Let j = b + 7. Solve -2*y - j = -5 for y.
2
Let f = 11 - 6. Solve -20 - f = 5*j for j.
-5
Let u be 24/(-2)*-1*1. Suppose 5*b + 2*d - u = -0*d, 0 = -5*b + 5*d + 40. Suppose 4*i - i = -4*j + 14, 4*i = b*j. Solve i*y = -2*y + 4 for y.
1
Let t be (-116)/(-14) + (-8)/28. Let v be 5 + 2/(-1) + 0. Suppose 5*n - v*n - t = 0. Solve 10 = -n*j - j for j.
-2
Let j be 10/4 + -1*(-2)/4. Let s be 0 + 13 - (1 - 0). Suppose 5*n + 3*t = -s, 5*t - t = 3*n - 16. Solve -j*d + d - 6 = n for d.
-3
Suppose 8*x - 240 = 4*x. Suppose 0 = w - 5*w + x. Solve -3*n = -8*n - w for n.
-3
Let l be (-2)/(-3)*(6 + 0). Let q(d) = -d**3 - 5*d**2 - 4*d + 5. Let y be q(-4). Solve -l + y = m for m.
1
Suppose -5 = -n, -20 = 4*u - 3*n - 97. Let d = 38 - u. Suppose 2*s + 5*p - 25 = 0, -2*s - d = -2*p - 5. Solve s - 4 = k for k.
-4
Let x = 24 - 0. Suppose -u + 4 = s, -5*u + u + 4*s + x = 0. Solve 0 = u*n - 3*n for n.
0
Let q(z) = 4*z**2 - 3*z + 4. Let s be q(2). Let j = -6 - -1. Let r = -3 - j. Solve -r - s = -4*g for g.
4
Let y = -6 + 6. Suppose y*h - 18 = -h. Solve 4*k + 6 = h for k.
3
Let u(c) = -c**3 - 5*c**2 - 6*c - 3. Let p be u(-4). Let g = -3 + p. Solve 0*k + g*k = 0 for k.
0
Let b(t) = t**3 + 5*t**2 - 7*t + 1. Suppose 32 = -4*a - 2*u, -a + 8 + 6 = -5*u. Let r be b(a). Solve 5*q - 8 = r*q for q.
-4
Let x(d) = -d**2 - 7*d - 2. Let s be x(-6). Solve s*m = 15 - 3 for m.
3
Suppose -25*y = -29*y. Solve k + 2 = -y for k.
-2
Let z be 2 - -1*(-2)/(-1). Let p be (-4)/(-14) - (-24)/14. Suppose -6 - p = -z*m. Solve 5 = m*a - a for a.
5
Let r(h) = h**3 + 3*h**2 + 8*h - 3. Let f(m) = -m**2 - 3*m + 1. Let w(z) = -8*f(z) - 3*r(z). Let j be w(-1). Solve 4*y + 5 = j*y for y.
-5
Suppose 5*i + 4*n = 21, -4*i = -2*i + n - 9. Suppose -10 = -5*a + 35. Let z = 133 + -104. Solve z = i*v + a for v.
4
Suppose 0 = -2*m - 3*b + 10, 7 = -5*m - 3*b + 23. Suppose c = 5*u + 4, m*u - c = -0*u - 4. Suppose -3*x + 7*x = 12. Solve -y = -u*y + x for y.
-3
Let u(q) = q**2 + 10*q - 1. Let l be u(-11). Solve -4*a = a + l for a.
-2
Suppose 0 = 7*b - 14*b + 42. Let q be 60/33 - b/(-33). Solve 4*g = q*g for g.
0
Let l(q) = q**2 - 4*q. Let f be l(3). Let g = 1 - f. Solve 14 - g = -2*y for y.
-5
Suppose 2*t + 3*t = 30. Let b be ((-9)/t)/((-2)/4). Suppose 3*p = -5*i + 3, -i + p = -0*i + 1. Solve i = -m + 2*m - b for m.
3
Let f(a) = 2*a**2 + 3*a - 1. Let m be f(-3). Let b be (-155)/(-20) - (-2)/m. Let h = 2 + 1. Solve -b*r + 15 = -h*r for r.
3
Let p = -82 - -113. Solve 5*u - 6 = -p for u.
-5
Suppose v = 7 - 1. Let r = -6 + v. Solve r = 2*i - 5*i - 9 for i.
-3
Suppose 0*r + 11 = r + 2*g, 0 = -4*r + 5*g - 21. Solve 0 = z - r for z.
1
Let i = -16 - -19. Let d(z) = 5*z**3 + 2*z**2 - 1. Let c be d(1). Let p be (2/c)/(1/24). Solve n - p = i*n for n.
-4
Suppose -5*j + 61 + 34 = 0. Let t = 26 - j. Solve 5*x + 8 = -t for x.
-3
Let q be ((-9)/6)/(3/(-22)). Let s = q - 9. Solve i = 2*i + s for i.
-2
Let d = -2 + 3. Let w be (d - -1) + 4 - 0. Solve r - 15 = w*r for r.
-3
Let k = 12 - 6. Let l be -3*4/6 + k. Solve 0 = l*d + d for d.
0
Let o be 4/(12/9) - -1. Suppose -o*z + 16 = -3*g - 2*g, 2*z - g = 8. Solve z*b - 2*b = -10 for b.
-5
Suppose -11 = -3*x + 2*x. Let v = x - 5. Suppose -4*c = -3*c - v. Solve -4*m - 6 