
Let h(d) = -d**3 + 3*d**2 + 6*d - 5. Let q be h(4). Suppose q*x = 10 + 5. Let j = 1 - -4. Solve -x*b = -j + 25 for b.
-4
Let t = -104 - -114. Solve -j + t = 4*j for j.
2
Let u(z) = z**3 - 7*z**2 + 5. Let p be u(7). Let b = 0 + p. Solve -4*q = -25 + b for q.
5
Let b(u) = -3*u**3 - 2*u - 1 + 0 + u. Let w be 3 - 10/2 - -1. Let n be b(w). Solve 0 = 2*s - n*s for s.
0
Let l be (19/3 + -3)/(6/9). Solve l*x + 11 = -4 for x.
-3
Let q(i) = -i - 2. Let u = -10 + 4. Let z be q(u). Solve 0 = z*a - 2*a - 6 for a.
3
Suppose 0 = -2*c + 4*d + 15 + 29, 5*c - 5*d - 130 = 0. Suppose c = 4*x - 6. Solve 0*t = 3*t + x for t.
-3
Suppose -4*d + 29 = -5*v, -3*d - 2*d + v = -10. Suppose -h - d + 3 = 0. Solve -5*w + 12 = -h*w for w.
4
Suppose -5*o - 25 = h, -2*o = -h - 5*o - 15. Suppose 5*i = a - 7, -21 = -3*a + i - 0*i. Solve h = 2*c - a*c + 20 for c.
4
Suppose 0 = 3*s - 13 - 14. Let i = s + -5. Suppose 2*v - 2*a + 10 = 0, 0*v + a = 2*v + 5. Solve v = -z - i*z - 5 for z.
-1
Suppose 3*r - 8 - 1 = 0. Solve 2 - 14 = r*b for b.
-4
Suppose -16*d + 11*d = -5. Solve -l - 2 = d for l.
-3
Let j be (1 - 0 - -2) + 2. Solve 4*i - 3*i = j for i.
5
Let i = 27 + -9. Suppose i = 2*b + 4*c, 2*b - 5*c = b - 5. Suppose -2*w - 15 = -m + w, b*w + 5 = -5*m. Solve -9 = -m*t + 6*t for t.
-3
Suppose 3*d - 3*x - 12 = 0, x = 3*d + 2*x - 8. Let u = 13 - 8. Solve -d = -y - u for y.
-2
Let g = 1 + -1. Suppose z + 3*a - 12 = g, -z + 4*a = -4*z + 21. Solve -z*v - 2 - 1 = 0 for v.
-1
Let v be -1 + 2 + 5/(-5). Solve v = -r - 2 - 1 for r.
-3
Suppose 57 = 4*g - 5*t, 2*t - 20 = -3*g - 6. Solve g = 8*z - 4*z for z.
2
Suppose 3*l = 4*l - 3. Solve -l = 3*d - 9 for d.
2
Let i(o) = -o**3 - 4*o**2 - 3*o + 3. Let m be i(-3). Let a = 1 + m. Solve 0 = -0*d + a*d + 16 for d.
-4
Let d = 27 - 19. Suppose -d - 1 = -f. Solve -5*x = -2*x + f for x.
-3
Let r(m) = 3*m + m**3 + 0*m - 5*m. Let q be r(2). Solve s + q = -s for s.
-2
Let c = 71 - 65. Solve 0 = 4*r - 6 - c for r.
3
Suppose -5*r = -3*c - 10*r + 22, 0 = -5*c - 3*r + 26. Suppose p + 3 - c = 0. Suppose 20 = -7*h + 11*h, 5*m - 5*h + 25 = 0. Solve -p = -m*f + f for f.
-1
Let i = -11 - -19. Solve -i*c + 11*c = -9 for c.
-3
Let a = 8 + -5. Suppose 20 = 2*g + 4. Suppose -9*b = -g*b. Solve b - 3 = a*n for n.
-1
Let t = 16 - 13. Solve t*m = -3 + 6 for m.
1
Let z be 1 + -1 - -3 - 3. Let l(w) = w**2 - w. Let n be l(z). Solve n*o - 3*o - 9 = 0 for o.
-3
Let n = -1 + 1. Suppose 5*o = -n*o + 10. Solve -o*x = 2*x for x.
0
Let j be 8/((-5)/((-45)/(-6))). Let n = j + 24. Suppose 3*g + n = 7*g. Solve 0*d = -g*d for d.
0
Let h(u) = -u**2 - 6*u + 8. Let x be h(-6). Let q be 2/7 - 5/(-7). Let f be -1*(-5 + q) - 0. Solve f = g + x for g.
-4
Let f = -5 + 6. Let n(k) = 11*k**3 - k**2 + k - 1. Let a be n(f). Solve 0 = -3*o + a + 2 for o.
4
Let q be (-16)/(-24) + 28/3. Let c = 14 - q. Solve 0 = a + c*a - 5 for a.
1
Suppose 5*m - 16 - 9 = 0. Solve 3 = 4*l - m for l.
2
Suppose 0 = 2*s + 2*o - 0*o + 4, s - 3*o - 14 = 0. Suppose 2*d - 1 = 5. Suppose -d*l = s*l. Solve -m + 5 = -l for m.
5
Let p = -3 - -7. Suppose -5*n = -p*l + 20, 2*l = -5*n + 9 + 1. Suppose -2*c + 38 = 2*g, -4*c - 2*g = -5*g - 83. Solve -c = -l*r - 0*r for r.
4
Suppose 0 = -h + 4*b - 2*b - 6, -8 = 3*h - 4*b. Suppose -3*k - w = -18, 2*w = -2*w + 12. Suppose 3*n - k - 10 = 0. Solve -n*r - h = -3*r for r.
-2
Let a(b) = -b + 8. Let r be a(4). Let x = r + 0. Solve 2*w - 6*w = -x for w.
1
Suppose 5*f - z = 39, -f + 0*z - z = -9. Solve 4*a = -f + 20 for a.
3
Let q be (6/4)/((-3)/(-6)). Let m(p) = -p + 5. Let l be m(4). Let y(d) = 4*d**3 + 2*d**2 - 1. Let s be y(l). Solve s = -4*w - q for w.
-2
Suppose 42 = 2*x - 2*k, -5*x + 4*k = -125 + 15. Let j = x + -11. Solve -n = 2*n + j for n.
-5
Let j(x) = -x**3 + 7*x**2 - 4*x - 6. Let r be j(6). Solve -25 = -d + r*d for d.
-5
Suppose -k + 5*k = 8. Let c = k + 0. Solve -l = -c*l for l.
0
Suppose -3*d - 42 = -2*q, 2*d + 38 = 6*q - 4*q. Suppose 8*h + q = 13*h. Solve 0 = -2*l + h + 1 for l.
2
Let g(s) = -s - 7. Let q be g(-6). Let x(p) = -6*p**3 + p**2 - 1. Let n be x(q). Solve 0 = -n*u + 3*u for u.
0
Suppose 3 = -3*n - 6, -5*q + 2*n = 4. Let r = 3 + q. Suppose 5*d = -3*v - 3, 2*d - 5*v = -4*v + r. Solve 0 = -3*l - d*l + 9 for l.
3
Let z be 1 - 1 - (1 - 3). Let k(o) = o**2 - 8*o - 7. Let c be k(9). Suppose 0 + c = v. Solve z*d = 4*d + v for d.
-1
Let o be (4/(-2))/(4/(-10)). Solve n - o*n = -4 for n.
1
Suppose -3*k + 2*k = -8. Suppose 5*w - k = 7. Suppose -f + 7 = -w*d - 5, -f + 8 = -2*d. Solve 12 + f = -3*j for j.
-4
Let o = 1 + 1. Let u(b) = 0 - 9*b - 2 - 1 + 2. Let z be u(-1). Solve -3*a + z - o = 0 for a.
2
Let y be (-1 + 30/(-12))*-2. Suppose -m + 13 + 0 = 0. Solve y = 4*w - m for w.
5
Suppose 2*r - 5*w - 12 = -4, -2*r + w = 0. Let a = r - -5. Solve a*u = 2*u for u.
0
Let g be 10/3 + 12/18. Suppose 0 = -2*s + g. Solve s*o + 7 = 3 for o.
-2
Let t be (1/2)/((-351)/(-174) - 2). Solve -4*f - t = -9 for f.
-5
Suppose 0*s = 3*s - 75. Solve c = 6*c + s for c.
-5
Let a(p) = p**2 - 2*p + 1. Let w be a(1). Suppose w = 8*y - 4*y - 4. Solve -9 - y = 2*t for t.
-5
Suppose 4*h + 4 - 12 = 0. Suppose -2 = 2*s - r - 5, 3*s + 23 = -4*r. Let x be 5 + (-1 - s - 2). Solve -x*o + h = -o for o.
1
Suppose 35*l - 45*l + 40 = 0. Solve -1 + 17 = -l*s for s.
-4
Let k = 13 - 7. Solve 2*d - k*d = 20 for d.
-5
Suppose 13*l + 2 = 14*l. Suppose 0 = 4*c + 12, l*z - 2*c = -0*c + 10. Solve 0 = -z*n - 0*n - 10 for n.
-5
Let f = -8 + 20. Let p be (16/24)/(2/f). Solve -p*g - 3 = 1 for g.
-1
Suppose 2*d + 4*m - 10 = 0, 2*d + 5 - 45 = 2*m. Let n = d + -7. Solve -n*o + 15 = -3*o for o.
3
Let m(p) = 2*p**2 + 3*p + 1. Let o be m(-2). Suppose 0 = -o*j + n + 31, 21 = -0*j + 2*j - n. Suppose -i - 4*i + j = 0. Solve -y = -i*y for y.
0
Suppose -2*d = -3*d + 28. Suppose 4*r + d = 3*y, -y = 5*r - 11 + 27. Solve -1 = 5*h - y*h for h.
-1
Let n(j) = j**3 + 6*j**2 + 3*j - 6. Suppose -3*l = -k + 13, 3*l - k + 3 = 2*l. Let z be n(l). Solve -4*g - z = 4 for g.
-2
Let g(c) = 2*c**3 - 2*c**2 - c + 2. Let x be g(2). Let y(m) = m**2 - 8*m. Let f be y(x). Solve f*h + h + 3 = 0 for h.
-3
Suppose -2*g + 7 = -1. Solve -5*a - 1 = g for a.
-1
Suppose 22 - 1 = -3*q. Let y = -7 - q. Solve -4*d + y*d = 4 for d.
-1
Let o(a) = a - 2. Suppose -i - 2 + 4 = 0. Let v be o(i). Solve v = -3*f + 2*f for f.
0
Let k(t) = -t**3 - 3*t**2 + 5*t + 6. Let u(h) = -1. Let y(w) = k(w) + 5*u(w). Let v be y(-4). Let p = v + 3. Solve p = -c + 1 - 0 for c.
1
Suppose 0 = -3*i + 20 - 8. Suppose 0*o = -i*o. Suppose 5*a = a - 3*f, o = 2*a + 5*f + 14. Solve -a*j + 0*j = 0 for j.
0
Let o(b) = -5 + 6 + b - 1. Let x be o(0). Solve 5*a + x + 15 = 0 for a.
-3
Suppose 17 = -5*g - 3*h, 3*g = 7*g - 5*h + 21. Let a = 6 + g. Suppose 0 = -m - 1 + 2. Solve -5 = -a*n - m for n.
2
Let w(j) = j**3 + 5*j**2 - 8*j - 6. Let p be w(-6). Let i(x) = 1 + 0 + 4*x + 4*x**2 - p*x. Let q be i(1). Solve 2 = b - q for b.
5
Let q = 115 + -113. Solve q*t + 5 = t for t.
-5
Let k be 7 + (-3 - -6) + -6. Let f = 7 - k. Solve -2*y = f*y for y.
0
Let w = 3 + -7. Suppose -2*b = 5*d + 23, -4*d - 16 = 7*b - 3*b. Let f = b - w. Solve -f*h + 9 = -1 for h.
2
Suppose 0*q + q = 4. Let p = 8 - q. Solve -p*x - 17 = 3 for x.
-5
Suppose -2*a - 6 = -5*a. Solve -2*z + a = -0*z for z.
1
Suppose 2*j = 2*x - 34, -x + 2*x = 3. Let y = j - -17. Solve 0 = -4*n + n - y for n.
-1
Let k be (-103)/(-7) - (-4)/14. Suppose 33*b - 36*b = -9. Solve b = -3*h + k for h.
4
Suppose 0 = -0*z + z. Suppose 5*d = -z*d + 20. Solve d*o = 1 + 3 for o.
1
Let f(q) = q**3 - 8*q**2 + 10*q - 17. Let d be f(7). Solve -d*n + 7 + 1 = 0 for n.
2
Let k be 24/(-15)*(-6 + 1). Let n(u) = -u**2 - 18*u - 21. Let r be n(-15). Let d(c) = c**2 + 3*c + 4. Let m be d(-3). Solve -m*o + k = r for o.
-4
Let v(y) = -4*y**2 + 8*y + 5. Let s(n) = 6*n**2 - 12*n - 8. Let c(i) = -5*s(i) - 7*v(i). Let h be c(4). Let b = -8 - h. Solve -7*k + b*k = 0 for k.
0
Let l be (-33)/(-6) - (-10)/(-20). Solve l*q - 15 = -0*q for q.
3
Let t(p) = -p**3 - 9*p**2 - 18*p + 3. Let r be t(-6). Solve -5 = -r*l + 4 for l.
3
Suppose -r = 3*b - 16, -5*r - 2*b + 6 = -9. Let q(o) = -o**2 + 8*o - 4. Let j be q(7). Solve -r = j*w + 5 for w.
-2
Let f = 5 - 5. Let x(a) = a + 6. Let c be x(f). Let g = -4 + c. Solve -3*o = -g*o - 5 for o.
5
Let b = 0 - -5. Suppose -g - 20 = -b*g. Solve 1 = -g*v + 11 for v.
2
Let s(