et c be h(2). Suppose 9 + 51 = -5*s. Let o = c - s. Solve 0 = 3*k + 2*k - o for k.
2
Let n = -12 + 12. Let m = 8 + -2. Suppose -m*z + 8 = -2*z. Solve -2*c - z*c - 4 = n for c.
-1
Let o = 29 + -26. Solve 0*u - o*u = 0 for u.
0
Let s(c) = -c**3 + 12*c**2 - c + 17. Let j be s(12). Solve -j*h - 3 - 2 = 0 for h.
-1
Let o = -3 + 6. Let k = o - -13. Solve 5*t + 9 = -k for t.
-5
Let y(v) = v**2 - 6*v + 2. Let x be y(4). Let f(o) = 2*o**2 - 2*o - 4. Let t be f(x). Suppose -5*i + i = -t. Solve 5*l = -i + 5 for l.
-3
Suppose 28 = 4*g + 4*p, -4*g + 16 = p - 3. Suppose g*x = x + 12. Suppose o - 15 = 2*o - x*a, o + 20 = 5*a. Solve -h + 2 = o for h.
-3
Let z be 5 - (-1)/(1 - 2). Suppose 0 = j - 3*m + 2, -j + 24 = 3*j + z*m. Solve 0 = 5*r + j + 1 for r.
-1
Suppose 5*o - 37 = -12. Suppose 34 = -o*i + l, l + l + 16 = -4*i. Let x(s) = -s**3 - 6*s**2 - s - 4. Let h be x(i). Solve h*t + 0 - 8 = 0 for t.
4
Let z = 27 - 11. Suppose 6*c - z = -4. Solve 0*b + 6 = c*b for b.
3
Let l be 5 - (-3)/3 - 1. Suppose l = 2*q + 1. Solve q*p = 3*p - 3 for p.
3
Let u be ((-6)/(-2))/(24/32). Solve -3 = -u*c + 1 for c.
1
Let b(a) = 4*a**2 + 5*a**2 - 7*a**2 + a. Suppose -5*p = -3*o + 23, o + o = p + 6. Let c be b(o). Solve -u = c*u for u.
0
Suppose -l = i + 3, -4*i - 14 = 4*l + i. Let g be (-2 - l)/(2/(-8)). Suppose -3*t - 3 = g*c, -5*c - 7 = -5*t + 23. Solve -2 - t = -5*q for q.
1
Let w(n) = -2*n - 3. Let i be w(-2). Let z = i - -1. Suppose -z*j = -0*j - 20. Solve c - j = -4*c for c.
2
Let n(q) = -3*q - 12. Let g be n(-6). Solve -4*k = -g*k + 6 for k.
3
Let v be (-18)/(-12)*(-2)/1. Let r(x) = -x**2 - 4*x - 3. Let z be r(v). Solve -2*p = -z*p for p.
0
Suppose 2*j + 2*b = -0*b - 2, -5*b = -3*j + 29. Solve 1 = j*t + 13 for t.
-4
Let y(v) = -v**2 + 4*v + 1. Let x be y(3). Let c = 58 - 29. Suppose 0 = -5*j + 31 + c. Solve 0 = -x*s + s + j for s.
4
Let r = -35 - -53. Let g = r - 8. Let y = g - 3. Solve 0 = -2*k + y - 1 for k.
3
Let n(o) = o**2 + o + 4. Let j be n(0). Solve -8 = -4*k + j for k.
3
Let q be 0/(-4)*(2 - 1). Suppose q = -4*c - c - 2*k, 0 = -2*k. Suppose -51 = -4*m + 9. Solve c*f + 3*f + m = 0 for f.
-5
Suppose -2*o - q + 7 = -3, -4*q = 5*o - 28. Suppose -o*j = j. Suppose 2*f + 22 = 4*x - 0, 0 = 5*x - 3*f - 28. Solve -2*z + x*z - 12 = j for z.
4
Suppose 2*o + 2*y = 14, 0 = -4*o + 5*y - 1 - 7. Let c be o/(3/(6 - 3)). Solve -3*z - 3 = c for z.
-2
Let m(i) = -i**2 + 2*i + 7. Let r be m(5). Let v be (-74)/10 + r/(-20). Let d = 3 - v. Solve 0 = 3*u - 2 - d for u.
4
Let c(z) = 2*z**2 - 3*z - 6. Let p be c(3). Solve -3*o = -0*o + p for o.
-1
Suppose -w = -2*g + 9, -w = 5*g + 3*w - 29. Suppose -i = 1 - g. Solve 4*d = -i - 0 for d.
-1
Let c(t) = -t**3 + 7*t**2 + t - 4. Let k = 3 - 2. Let g be -1*2 + (10 - k). Let u be c(g). Solve -u*n - 9 = -6*n for n.
3
Suppose l - 3*q + 3 = -2*l, 0 = 4*l + 3*q - 31. Suppose 2*f = l*f - 2. Solve f = -5*b + 4*b for b.
-1
Let p(q) = q**3 - 2*q**2 - 2*q. Suppose 2*r + k = -6, -2*r + 1 = -2*k - 5. Let z be (r - -1) + (12 - 9). Let j be p(z). Solve -m - j*m + 16 = 0 for m.
4
Suppose -4*o = -2*b - 13 - 1, -o + b + 5 = 0. Suppose o = -f + 4. Let s = 5 - 2. Solve s = f*w + w for w.
1
Let s be 2/8 + (-39)/(-4). Let b(t) = t**2 - 2*t - 8. Let l be b(-4). Let r = 19 - l. Solve -r*y = 1 - s for y.
3
Let a be (-119)/(-13) - (-10)/(-65). Let u = -2 + 2. Solve a*m - 4*m = u for m.
0
Let u be 54/81 + 13/3. Solve 4*p - 7 - u = 0 for p.
3
Let t(u) = -9*u**3 + 2*u**2 + 3*u + 2. Let l be t(-1). Solve 0*s = -5*s + l for s.
2
Let h = -12 - -18. Let l = -10 + 6. Let s = l + h. Solve -s*x + 8 + 0 = 0 for x.
4
Let o be (-72)/(-27) + (-2)/3. Solve 2*z - o = -8 for z.
-3
Let k = 155 + -150. Solve k + 1 = -3*z for z.
-2
Suppose 3*x - 10 = 11. Solve x = 5*p + 2 for p.
1
Let t(m) = -m - 5. Let a be t(-10). Solve -a = o + 4*o for o.
-1
Let b(c) = 3*c + 3 - 4*c - 3 + 2. Let l be b(-3). Solve 0 = -0*o + l*o + 25 for o.
-5
Let q be (2 - 4)*(-3)/2. Solve q*h = -h + 12 for h.
3
Let m(h) = -3*h**3 + 2*h - 1. Let l be m(1). Let c be (l + (0 - 0))/1. Let u be c/(-4 + (0 - -2)). Solve -1 - u = -2*n for n.
1
Suppose -7*i + 2*i = -10. Suppose b = -0*b + i. Solve 0 = x - b*x for x.
0
Let v = 97 + -88. Solve -4*d - v = 7 for d.
-4
Let l(n) = -n**2 + 12*n + 3. Suppose 2*q = -5*x - 0 + 13, 0 = 2*x + 2. Let z be l(q). Suppose v + v = z. Solve 0*f + 3*f = v for f.
5
Let v be ((-6)/(-4))/(3/12). Let y be (-7)/(-5) + 16/(-40). Let t = v - y. Solve -t*w - 8 + 3 = 0 for w.
-1
Suppose 4*p = b - 13, -4*b - b + 33 = -4*p. Solve b*j - 8*j = 15 for j.
-5
Let b be (-52)/(-13)*(1/(-4) - -1). Solve -3 = 2*c - b*c for c.
3
Let v(c) = -c**2 - 8*c + 4. Let z be v(-8). Let f be (-2)/z*(5 + -5). Suppose f = 2*n - 7*n + 10. Solve n*p + p = 0 for p.
0
Let b(n) = -5*n**2 - 1. Let c be b(-1). Let h = 12 + c. Let p = 9 + -7. Solve -l - h = p*l for l.
-2
Suppose -a = 2*a - 9. Suppose 4*w - a*h = 24, 4*w - 5*w = -h - 7. Let d(v) = v**2 + 6*v + 2. Let f be d(-7). Solve 0 = -4*p - w - f for p.
-3
Suppose q + 20 = 3*q + 2*n, 28 = 4*q + n. Solve -g = g + q for g.
-3
Suppose -35 = 2*i - 39. Solve 2*z + i*z + 4 = 0 for z.
-1
Let z(h) = -h + 12. Let x be z(0). Solve x = -0*f - 3*f for f.
-4
Suppose 2*l - 14 = -3*i, l = -2*i - i + 13. Solve i*q - q = -15 for q.
-5
Let x = 21 + -9. Let z be (1 + 3)/(3/x). Solve 0 = 3*o + o + z for o.
-4
Let q(t) = t + 2. Let x be q(2). Solve -1 - x = c for c.
-5
Let l(m) = -m. Let d be l(-4). Suppose 4*o - 34 = -2*u, 5*u - 25 = d*o - 2*o. Solve -u = -h - 4 for h.
3
Suppose 5*l + 2*i + 0*i - 32 = 0, l - 8 = -2*i. Let g(r) = r - 4. Let z be g(l). Let m = 2 - 2. Solve z*d = -m*d - 2 for d.
-1
Let r(z) = 3*z**2 + 3*z - 3. Let p be r(-3). Suppose 0 = -n - 4*n + p. Solve 2*m = n*m + 5 for m.
-5
Suppose -2*w - 5*b = -0*w - 32, w + 3*b = 16. Solve f + 3*f = w for f.
4
Suppose m - 23 = 4*b, 4*m - b - b = 22. Suppose -2*v + m + 1 = 0. Solve 0 = v*a + 5 + 1 for a.
-3
Let w = 22 - 17. Solve 0 = -q + w*q - 8 for q.
2
Suppose 0 = -16*c - 9*c + 9*c. Solve c = 2*g - 1 + 5 for g.
-2
Let a(q) = q**3 - 12*q**2 + 11*q + 3. Let x be a(11). Suppose -x*b - 6 + 9 = 0. Solve -b = p + 4 for p.
-5
Let o = -2 - -3. Let m be 2 + 0 + -5*o. Let j be (-1)/3*m*10. Solve h - 3*h = -j for h.
5
Let n be (-43)/(-5) + (-3)/5. Suppose -3*v + 5*v = 0. Let b = 0 - v. Solve -3*l + l + n = b for l.
4
Let p(c) = c**3 - 5*c**2 + 5*c + 1. Let g be p(4). Solve 0 = 4*w - g*w + 1 for w.
1
Let i = -12 + 6. Let a = i - -12. Let j be -5 - -5 - a/(-2). Solve 0 = j*g + 2*g + 5 for g.
-1
Let i(z) = -7*z - 61. Let g be i(-9). Solve 7*a - g*a = -15 for a.
-3
Let j(p) = p**3 - 5*p**2 + 3*p + 4. Let b be j(4). Solve b*i = -3*i - 3 for i.
-1
Let s(g) = 2*g + 24. Let d be s(-12). Solve d = -0*i + 3*i + 3 for i.
-1
Suppose 4*y + 8 = -4*a + 32, 2*y + 9 = 5*a. Suppose 3*h - 5*c + 9 = 0, 0*h = y*h - 2*c. Solve -6 = h*g + g for g.
-2
Let m(v) = 6*v - 40. Let h be m(7). Solve -h*z = -0*z + 10 for z.
-5
Let c be 5 + -1 - 0/3. Solve -4 - c = -2*r for r.
4
Let c = 18 + -7. Solve 9 + c = 4*b for b.
5
Let u = -37 - -37. Solve -3*k - 6 = -u for k.
-2
Suppose 8 = -2*j + 26. Solve 6 = -3*y - j for y.
-5
Let o be 2/(-4)*(2 - 2). Let q(l) = l**3 + 4*l**2 - 8*l - 6. Let v be q(-5). Solve o = -3*x - 3 - v for x.
-4
Let s(m) = m**2 - 3*m - 8. Let j be s(5). Solve j*f - 1 = 3*f for f.
-1
Suppose 2*h + 2*m = 10, -6*m = h - 2*m - 14. Solve -h + 12 = -5*p for p.
-2
Let o = 108 + -100. Let x(p) = 15*p**3 + p**2 - p. Let b be x(1). Solve o*n - b = 3*n for n.
3
Suppose 4*d + 24 = 2*z, -5*d = 4*z + 27 - 10. Suppose 40 = 5*h - 4*p, -3*h - z*p - 2 = -4. Solve 6 = h*w - 6 for w.
3
Let m be (4/(-14))/(-1) + 588/343. Solve -m*g = g - 3 for g.
1
Suppose -3*l = -l. Suppose l = u - g - 5, 0 = 2*u + 4*g + 2. Solve -p + 4 = u*p for p.
1
Let c be 5 + -7 + (5 - 1). Solve 0 = c*a - a for a.
0
Suppose -3*y = 2*y - 25. Let w(c) = c**3 - 4*c**2 + 6*c - 2. Let d be w(2). Let q = 7 - 4. Solve d*k = q*k - y for k.
5
Suppose -3*p - d = -17, 6*d - d = 25. Solve 0 = -2*r - 2*r - p for r.
-1
Suppose 0 = j - 3*r - 1, 4*r + 13 = -4*j + 33. Suppose 2*u - 3*g + j*g - 4 = 0, 0 = -3*u + g + 6. Let n = -5 - -10. Solve n*b = 3 + u for b.
1
Let p be (6/(-4))/(6/(-16)). Suppose -2 - 10 = p*u. Let h be ((-16)/12)/(2/u). Solve -o - 2 = -h*o for o.
2
Let m(x) = -x**2 - 11*x - 2. Let q be m(-8). Suppose -3*f = -4*k