 Let i be b(4). Solve -f - 3 - i = 0 for f.
-5
Suppose -4 = 7*b - 25. Solve 5*u + b = -7 for u.
-2
Suppose -k - 5*u + 27 = 2, 4*u - 36 = -4*k. Solve -k = -2*i - 1 for i.
2
Let w = -3 + 6. Let c = 5 - w. Suppose g - 33 = -c*g. Solve g + 9 = 4*s for s.
5
Let s = -7 + 2. Let u(n) = 3*n - 9*n - 7*n**2 + 6*n**2 - 2. Let k be u(s). Solve 0 = k*w - 9 for w.
3
Suppose 20 = 4*b, 0 = 5*y + 5*b - b - 35. Solve -y = 3*p + 3 for p.
-2
Let k(j) = -j**3 - 12*j**2 - 11*j + 6. Let b be k(-11). Solve -b - 4 = -5*i for i.
2
Let g(l) = -l**2 + 5*l + 1. Let k be g(6). Let i be (-8)/k - (-8)/20. Solve -j = i*j for j.
0
Let g(u) be the first derivative of u**2 - 4*u + 4. Let h be g(7). Suppose 6*l = l - w + h, 2*l + 4*w - 4 = 0. Solve -d = -l*d for d.
0
Suppose -r = -6*r. Suppose -12*o = -8*o - 32. Solve r = -i - i - o for i.
-4
Let r(z) = z + 1. Let o be r(0). Let k = 4 + o. Suppose k*x = 25 - 0. Solve x*n + 20 = n for n.
-5
Suppose -3*d - 51 = b - 5*b, -2*d = 5*b - 58. Let a be 3*(4/6)/1. Suppose -a*s + b = -s. Solve 4*t + 4 + s = 0 for t.
-4
Let v = -82 + 83. Solve u - 5 + v = 0 for u.
4
Let p be 4 - -6 - (4 + -1). Let t(z) = -z**3 + 6*z**2 + 9*z - 10. Let v be t(p). Suppose -v*a - 3*q = -6*q - 18, 5*a - 3*q - 24 = 0. Solve 2*u = 5*u - a for u.
2
Let g(c) = c**3 + 2*c**2 + 2. Suppose -3*j - 2*l = 2*j + 10, 3*l = -2*j - 4. Let i be g(j). Solve 0 = -z + 4 - i for z.
2
Let z(f) = 2*f**3 - 4*f**2 + 4*f - 2. Let i be z(2). Let v = i + -4. Solve v = 2*n + 12 for n.
-5
Suppose -3 = -3*i, -7*b - 5*i + 15 = -2*b. Suppose 5*w + 20 = 0, 29 = c - 4*w + 7. Solve -b = -4*r + c for r.
2
Suppose 1 + 2 = -z. Let i = z - -3. Solve i = -t - t for t.
0
Let r be 14/(-4)*(-4 + 0). Let j(x) = -x + 6. Let s be ((-10)/(-15))/(2/12). Let p be j(s). Solve -3*y + p = r for y.
-4
Let d(k) = k**2 - 31*k + 91. Let i be d(28). Solve -5 = 8*y - i*y for y.
-5
Let b be -10*4/(-32)*4. Solve -2 + b = l for l.
3
Let y = -22 - -38. Suppose 0 = 2*c - 2 - 6. Let l = c + -2. Solve 0 = 2*m + l*m - y for m.
4
Suppose 2*v + 1 = -d, -3*v - 9 = -d - 0*d. Solve 0 = d*u - u for u.
0
Let n be 4/5*(-10 + 15). Solve -n*b - 14 - 2 = 0 for b.
-4
Let d be -4 + -2 + 11 - 2. Solve 2*i - d = -5 for i.
-1
Let z = -7 - -15. Let c = z + -7. Solve -4*n = -3*n + c for n.
-1
Suppose -4*l = 3*h + 19, -5*h - 4*l = -l + 17. Let u(w) = -w + 1. Let b be u(-3). Let v = b - h. Solve -v = 4*q + 7 for q.
-3
Suppose -b - 4 = -5*b. Let j be 4 + b + 0/(-2). Suppose -j*y + 10 = -0. Solve 12 = -y*p - p for p.
-4
Let n be 0/(-1*(-3 - -4)). Solve n*i = 2*i - 6 for i.
3
Suppose -31 = -3*i - 2*o, -5*i - 2*o + 31 = -14. Suppose 0*c = -5*k - 2*c + 13, -3*k - c = -8. Suppose 2*g = i + k. Solve 0 = g*n + 20 for n.
-4
Let n = -13 - -19. Suppose 2*o + 3*l + 0 = -n, 3*o - l = 13. Solve 2*a + o = a for a.
-3
Suppose g + 12 = 2*h, 2 = -h + g + 9. Solve -h*b + 25 = -0*b for b.
5
Let i be (0 - 6/(-9))*9. Let u = 4 - i. Let f be u - (-5 + (-1 - -1)). Solve f = 3*g - 0*g for g.
1
Let u(w) = -w**3 - 6*w**2 + 7. Suppose 28 = -5*x - 2. Let n be u(x). Let j = n + 1. Solve -2*f + j = -0*f for f.
4
Let q(d) = -16*d - 6. Let m be q(-1). Solve m = -3*p + 8*p for p.
2
Let w = 38 - 34. Solve -3*c + 2*c = w for c.
-4
Let p(g) = g**3 + 2. Let b be 4/18 + 58/(-18). Let x = 3 + b. Let i be p(x). Solve -f = i*f - 9 for f.
3
Let c(a) = -a - 9. Let y be c(-9). Let d = 3 + -1. Solve y = 6*i - d*i - 8 for i.
2
Let o = -3 - -5. Solve o = -c - 0*c for c.
-2
Let m(w) = 3*w - 1. Let d be m(1). Solve 1 = d*h - 7 for h.
4
Let j(k) = k**2 + 7*k. Let y be j(-7). Suppose -5*f - 3*p - 12 = y, 2*f - 20 = p + 4*p. Solve 3*x - x + 6 = f for x.
-3
Let m be ((-10)/6)/((-1)/3). Suppose -2*v - m*k = -10, v - 3*v + 2*k + 10 = 0. Solve v = r + 3 for r.
2
Let k be (0 - 1)/((-13)/26). Suppose -4*g + 36 = k*v, 2*g - 42 = -3*v - g. Let i(q) = q + 4. Let d be i(-4). Solve -5*c + v + 5 = d for c.
3
Let i be 22/((-7)/(-2) + -3). Suppose 2*y + i = 6*y. Solve y + 5 = 4*h for h.
4
Let k be (-1)/(-4) - 33/(-12). Let w = k - -2. Solve 25 = -0*t + w*t for t.
5
Suppose 0 = -3*v + 2*t + 4, v + 0*t = -t + 3. Solve v*i = -0*i for i.
0
Let v = -11 - -11. Solve v = -4*z + 4 - 0 for z.
1
Let y = -17 + 27. Suppose -5*p = 5*c + y, -2*p + 0*p = c + 5. Suppose -2 = 3*s + i - 4, 12 = 2*s - 2*i. Solve -c = s*v - 9 for v.
4
Suppose -20 = -4*t + 4*j - 0*j, -5*j + 15 = 5*t. Solve -4*o + 3*o - t = 0 for o.
-4
Let h be 4*(-2)/(-12)*-45. Let k be (16/(-40))/(2/h). Solve -2*x = k - 0 for x.
-3
Let z = -5 + 10. Solve -z*h + 13 = -2 for h.
3
Let k be -1 + (-2)/((-8)/12). Suppose k*a - a = -3*q + 10, -2*q = 4*a - 10. Solve -2*y = -3*y + a for y.
1
Let s(o) = 2*o**3 - 16*o**2 + 25*o - 3. Let m be s(6). Solve -4*g = -m*g - 4 for g.
4
Let o = 22 + -17. Suppose 0 = 3*z - 6 - 0. Let t be (-14)/(-21) - 14/(-6). Solve z = -t*i + o for i.
1
Let f be ((-1)/(-2))/(3/24). Suppose y + f*y = 55. Let c(g) = -g**3 + 10*g**2 + 12*g - 9. Let h be c(y). Solve s = h - 4 for s.
-2
Let y = -6 - -6. Suppose y = f - 4 + 3. Let o be 0/(f*(-4 - -3)). Solve 3*v = 3 - o for v.
1
Let k = 23 + -19. Suppose -4*n - 51 = -5*d - 10, k*n = -d + 13. Solve -d = 4*v - v for v.
-3
Suppose -4*f = -2*f - 8. Let r = 414 - 414. Solve -5*x + f*x - 3 = r for x.
-3
Let c = 57 + -37. Solve -2*u - c = 3*u for u.
-4
Let j be -9*(-16)/84 + 6/21. Solve -2*r = j - 10 for r.
4
Let m = -4 + 4. Suppose m*a + 16 = 2*a. Solve -s - a = s for s.
-4
Suppose -3*d = 2*q + d + 4, 0 = -3*q - 4*d - 2. Suppose 25 = q*f + 3*r, 0 = -5*f - 5*r + 2*r + 49. Solve -4 - f = 3*n for n.
-4
Let y(j) = 2*j - 5. Let o(s) = -s - 1. Let a be o(-7). Let i be y(a). Solve -4*m - 3 = -i for m.
1
Let k be 2*(-1 + 3 + 2). Solve f = -f + k for f.
4
Let a = -3 + 8. Suppose 3*o = a*o. Solve -3*j + o*j = 12 for j.
-4
Let n(u) = 2*u - 10. Let a be n(7). Let m be 34/a - (-1)/(-2). Solve x - m = -x for x.
4
Let c(g) = g**2 + 4*g + 2. Let x be c(-5). Solve 2*y + 15 = x*y for y.
3
Suppose -1 = t + 3*w, -4*t + 0 = -2*w - 10. Solve t*b + 15 = -b for b.
-5
Let p(m) = m**2 + 2*m - 4. Let n be p(2). Solve -n*y + 15 = y for y.
3
Let u = 17 + -9. Solve c = u - 3 for c.
5
Let g = 3 - 14. Let m = 15 + g. Solve -m = 2*v - 12 for v.
4
Let w = 11 - 20. Let g = w - -16. Solve x - 3 = -g for x.
-4
Let o = 3 - 0. Suppose -c - 5 = -3*z + 4, 20 = 2*z + 4*c. Let g be -2 + 1 - (-1*36)/3. Solve o*t + g = -z for t.
-5
Let w(m) = -2*m + m - 4 + 1 + 7. Let o be w(2). Suppose 5*f = 2*n - 2, 2*n - 2*f - o = -0*f. Solve 3 = j + n for j.
2
Suppose -3*t = 3*p - 45, 5*t + 7 - 2 = 3*p. Let h be (p/15)/((-2)/(-6)). Solve -5*f = -h*f - 6 for f.
2
Let h = 52 - 52. Solve -5*t = 5 - h for t.
-1
Let s(p) = -p**2 - 6*p - 6. Let k be s(-5). Suppose 11 = -3*w + 3*i - 4, -4*i + 14 = -2*w. Let h = k - w. Solve -h = a - 2*a for a.
2
Suppose -5*g = -2*d - d - 9, 5*d + 15 = -5*g. Solve -5 = -g*f - f for f.
5
Suppose 3*h - 6 + 0 = 0. Suppose h*u = 6*u. Solve -m + 3 = -u for m.
3
Suppose 0 = 190*t - 187*t - 33. Solve 2*o + 1 = t for o.
5
Let l be 0/(3 + -1) + 2. Let w(o) = -6*o - 166. Let i be w(-31). Solve 7*j - i = l*j for j.
4
Let w = -6 - 0. Let p be w/18 - 2/(-6). Solve p = -l + 1 - 4 for l.
-3
Let x = 10 + -7. Suppose -3*w + 20 = 2. Suppose x*l - w = l. Solve l*v + 20 = -2*v for v.
-4
Let g be (6 + -3)*(-4)/(-6). Solve g*x = -x + 6 for x.
2
Suppose 7 = -4*w + 3*t, 3 = t - 2. Let d be (-2)/6 - (-4)/3. Let y be 3/6*(d + 1). Solve q + y = w for q.
1
Suppose -10 = -17*x + 16*x. Solve 0 = -m - m + x for m.
5
Let n(z) = z**3 - 4*z**2 - 3*z - 1. Let m be n(5). Let f be (2/6)/((-13)/(-78)). Suppose -f = -2*p + p. Solve p*y - 1 = m for y.
5
Let j(v) = v - 1. Let i be j(4). Suppose x + 5*a = i*x - 25, x = 5*a + 25. Solve 8 = -4*c - x*c for c.
-2
Let z be (-22)/(-4) - (-2)/4. Suppose -4*d + 30 = d. Let h be (-8 - -6)*d/(-4). Solve z*u + 12 = h*u for u.
-4
Let k(f) = -f + 8. Let d be k(5). Solve d*p = p - 4 for p.
-2
Let d(a) = a**2 - 8*a. Let o be d(6). Let i = o - -13. Solve -i = 2*x - 5 for x.
2
Suppose -4*a - 4*t - 1 = -25, 5*a - 4*t - 30 = 0. Let n(q) be the first derivative of q**2/2 - 6*q + 5. Let l be n(a). Solve 0 = -l*f + 5*f + 10 for f.
-2
Let d(z) = -z**2 - 3*z. Let f = 7 - 5. Let v(c) = -2*c + 1. Let g be v(f). Let n be d(g). Solve x - 6*x = n for x.
0
Let m(k) = -k**2 - 4*k - 1. Let z be m(-2). Suppose -3*x = -2*j - 26, -2*x = -5*x + z*j + 27. Solve x =