= 0 for i.
0
Let i = -1 - -10. Let c(y) = -y**2 - 9*y + 10. Suppose -3*o + 3*g - 15 = -0*g, 3*o + 4*g = -50. Let v be c(o). Solve v*q + i = -3*q for q.
-3
Suppose -3 = -f - 0. Suppose 0 = 3*j + 2*j - 4*q + 2, 3*q - 5 = 2*j. Solve j*n - f = -n for n.
1
Let f(i) = -i**3 + 9*i**2 - 10*i + 34. Let x be f(6). Solve -32 = 10*w - x for w.
5
Suppose -5*h = 4*b - 389, -2*h = h - 3. Suppose -b = -l + 30. Let q be 2*(l/4)/7. Solve -6 = -5*v + q for v.
3
Let r(h) = 2*h + 15. Let l(u) = 10*u + 74. Let z(m) = -3*l(m) + 14*r(m). Let k be z(-8). Solve 0 = -2*n - k for n.
-2
Suppose -2*b - 3*b = 25, -14 = -3*a + b. Suppose 24 = -7*v + a*v. Let j be 4/(-6) - 16/v. Solve -x = j - 4 for x.
2
Suppose 3*p = 2*v - 12, v + 0*p + p = 1. Let q be 22*v/6 - 1. Solve -3*h = -8*h - q for h.
-2
Let j(t) = -t**3 + 8*t**2 - 8*t + 15. Let r be j(7). Suppose 31*h - 72 = 25*h. Solve 4*o + r = -h for o.
-5
Let l(g) = -g**3 + 30*g**2 + 66*g - 58. Let v be l(32). Solve 28 - v = 11*q for q.
2
Let r = -43 - -46. Suppose r*n - 10 = -y + 2*y, -24 = -4*n - 4*y. Solve -n*v = v - 25 for v.
5
Let k(u) = 2*u**2 - 60*u - 61. Let o be k(31). Suppose -5*t + 26 = -l, 5*t - 24 = -0*t - l. Suppose 3*s = x + 13, 2*x - 18 + 2 = -s. Solve -t*c = -s + o for c.
1
Suppose -k + 115 = 5*y, 4*y + k = 98 - 7. Suppose 10*s - y = -2*s. Solve -s*l = 2*l for l.
0
Let r = 5 + -2. Suppose -4*n + 0*u - 2*u + 6 = 0, 0 = -r*n - 2*u + 4. Solve 3*k - n*k = 0 for k.
0
Suppose -7 + 2 = -t. Let d be 10/4*(-96)/(-15). Solve -s - d = -t*s for s.
4
Suppose 6 - 21 = -5*i. Let o = -7 - -19. Suppose -7*t = -o*t + 15. Solve 0 = -0*h + i*h - t for h.
1
Suppose -d + 6 = s + 4, 2*s - 2*d = 8. Let u = 481 - 481. Let x = 7 + -3. Solve -x*k - s + 15 = u for k.
3
Suppose -219*b = -208*b - 704. Solve -66*a + 4 = -b*a for a.
2
Let a = 359 - 341. Solve a*v = 14*v + 4 for v.
1
Let h(j) = -j**3 - 12*j**2 - 11*j + 7. Let f be h(-11). Solve -4*w - 3 = -f for w.
1
Let d = -676 - -705. Solve 4*m - d = -17 for m.
3
Let k be 10 + (11 - 5) + -13. Solve 12 = -3*t + k for t.
-3
Suppose 8*g - 88 = -3*g. Let d be 2/2*0*2/g. Let s be 2/(-5) + (-7)/(-5). Solve d = 3*t + s + 5 for t.
-2
Suppose -71*f + 72*f - 84 = -3*k, f + 2*k = 89. Solve -5*b - f = -89 for b.
-2
Let s be 5 - 1 - (-60)/30. Solve -s*n = -2*n + 8 for n.
-2
Let x(q) = 4*q**3 + 3*q**2. Let p be x(1). Solve 18 = -5*k - p for k.
-5
Suppose 0 = 6*o - 111 - 69. Solve -2*l + 32 = o for l.
1
Suppose -3*g - 2*s = -10, 3*g + s + 4 = 12. Solve -5 = g*x - 5 for x.
0
Suppose -4*z - 164 = -4*o, -4*o + 6*o + 3*z - 72 = 0. Let v = o + -33. Solve 5*f + 19 + v = 0 for f.
-5
Suppose -2*s = -a + 18 - 4, -3*s = -3*a + 42. Solve a*v = 18 + 38 for v.
4
Let m be (-8)/6*6/(-4). Suppose -g - m*o = -9, -5*g - 3*o + 1 = -23. Let y be g + ((-16)/(-4))/(-4). Solve y = 3*l - 2*l for l.
2
Suppose -3*p + 15 = 2*s, 5*p - 8 = 7. Suppose 2*q + 8 = d + q, -q = s. Suppose d*f = -0*f + 15. Solve 0 = 2*r + f - 7 for r.
2
Suppose 144 = 481*r - 475*r. Solve 0 = r*f + 3*f + 135 for f.
-5
Let x(j) = j**3 + 8*j**2 + 14*j - 3. Let d be x(-5). Solve 0 = d*h - 2 + 6 for h.
-2
Let o(t) = 2*t**3 + 9*t**2 + 3*t + 6. Let s(i) = -5*i**3 - 26*i**2 - 10*i - 17. Let f(k) = 8*o(k) + 3*s(k). Let y be f(7). Solve y*x + 3 = 23 for x.
5
Suppose -22*m + 18*m = -16. Suppose 9*o = 10*o - 1. Suppose 0 = 5*t + m + o, 2*i - 9 = 3*t. Solve h - i = -4 for h.
-1
Let d(b) = b**2 - 10*b - 11. Let s be d(10). Let t = -10 - s. Let r be 2 - -2 - 0/t. Solve r = 2*m + 14 for m.
-5
Let j(c) be the second derivative of 2*c**3/3 + 17*c**2/2 - 4*c. Let p be j(-7). Let g(w) = w + 14. Let q be g(p). Solve 0 = -2*l - 5 - q for l.
-4
Let h(y) = y**3 + 12*y**2 + 11*y + 3. Let n be h(-11). Suppose 20 = u + n*u. Suppose -2*q + 9 = -u. Solve q*c = 2*c for c.
0
Let s(k) = 12 - 7*k**2 + 10*k - 3*k**3 + 5*k**3 - 3*k**3. Let f be s(-8). Let i be 1040/169 - f/(-26). Solve 7*m + i = 4*m for m.
-2
Suppose 0 = -3*m + m + 18. Let j be 70/4 - m/6. Solve j = -6*b + 2*b for b.
-4
Let k be 0/(-2)*1/(-2). Suppose -6*v + 14*v - 16 = k. Solve n - 3 = v*n for n.
-3
Suppose o = 2*q + 1, 4*o + 19 = 3*q + 43. Solve 5*y = 8*y - o for y.
3
Suppose -31 = 2*v - 13. Let c be 2*1/2*v. Let f(l) = l**3 + 9*l**2 - l - 7. Let b be f(c). Solve -1 + 5 = b*z for z.
2
Let m be 4*((-1)/(-1))/2. Suppose -14 = -6*l - l. Suppose 2*p + 2*x = 22, 11 - 28 = -l*p - 3*x. Solve 0 = m*w + 2*w - p for w.
4
Let c(x) = 14*x**2 - 3*x + 2. Let s be (-8)/(-2) - (6 + -3). Let m be c(s). Let f = m + -13. Solve f = -7*y + 4*y - 9 for y.
-3
Let k = -20 - -25. Let c be (-1 + 2)/(7/21). Let w be 36/24*4/c. Solve -w*s + k = -3 for s.
4
Suppose 2*m - 1 = 5*y + 1, 3*m - 3 = -2*y. Let c = 21 + -18. Suppose 7 = 3*a - 2*j - 3, c*j + 6 = 0. Solve y*t - 2*t + a = 0 for t.
1
Let j be 12/18 + (-92)/(-6). Let m = j - 10. Suppose 0 = 2*i + m, -h - 5*i = 2*h + 3. Solve -b - 2 = -h for b.
2
Suppose 0 = -3*u + 18 - 12. Let i(v) = v**3 - 13*v**2 + 12*v + 15. Let t be i(12). Solve -u*r - t = r for r.
-5
Let a(b) = 4*b + 8. Let j be a(-4). Let i = 14 + j. Let d = 4 + -1. Solve 0 = -3*q + d + i for q.
3
Suppose 2*o + 4 = 32. Let a be -2 - 3/(-6)*o. Solve -a = -n - 2 for n.
3
Suppose -3*l + 2*n = -8, 7*l + 4*n + 16 = 12*l. Solve 0*h = h - l*h for h.
0
Suppose -47*c = -41*c - 264. Solve z + 48 = c for z.
-4
Let o = 137 + -132. Solve -2*l = -7*l - o for l.
-1
Let u(j) be the first derivative of j**3/3 - 7*j**2 - j + 7. Let s be u(13). Let l = s + 14. Solve 6*h - 4*h + 6 = l for h.
-3
Let a = 30 - 36. Let n be 0 + 3 - a/(-3). Suppose 4*h - 25 = 11. Solve n = -2*j + h for j.
4
Let h be -9*((-1)/(-2))/((-3)/12). Suppose 0 = h*w - 22*w. Solve 2*v = -w - 2 for v.
-1
Suppose 13*h - 531 + 232 = 0. Solve h*x - 90 = 5*x for x.
5
Let h = -31 - -24. Let n(c) = -c**3 - 6*c**2 + 3*c - 4. Let z be n(h). Let b = 3 + -2. Solve 5*p - b = z for p.
5
Suppose -3*g - h + 2*h - 10 = 0, 26 = -3*g + 5*h. Let x be g/(-6)*(35 - 17). Solve 3*z + 12 = x*z for z.
4
Let i(b) = -b**3 + 3*b - 13. Let a be i(-3). Let j = -1 + 2. Solve -a*u + j = 6 for u.
-1
Suppose -w + 12 = o, 0 = w + 3*w + 5*o - 48. Let i be 7/3 - 4/w. Suppose 3 = i*z - 17. Solve -h = -5 + z for h.
-5
Let m = -111 - -112. Solve -3*o - m = 8 for o.
-3
Suppose 158 - 1019 = -7*j. Let h = j - 117. Solve -10 = -h*f + f for f.
2
Let o be 2*(3 - (-14)/(-4)). Let m = 1 + o. Suppose m = -4*c + t + 9, -5*c - 3*t = -2*t - 9. Solve -c*q = q - 9 for q.
3
Let a(l) = -6*l - 1. Let s be a(-1). Let v = -3 + s. Solve v + 1 = c for c.
3
Let w(i) = 10 - 3*i**2 + i**3 - 8*i - 4*i**2 + i**2. Let k be w(7). Suppose 0 = -2*s - k*z - 15, -z + 0*z = s + 5. Solve s = -3*p + 6*p - 6 for p.
2
Suppose -q = -141 + 136. Solve -5*c + 5 = -q for c.
2
Let k(i) = -i**3 - 22*i**2 - 19*i + 50. Let w be k(-21). Solve f - w = -11 for f.
-3
Suppose -3*q + 43 = -2*b, 2*q - 5*b = q + 10. Let f = -11 + q. Let k = -8 - -11. Solve k*r = f*r for r.
0
Suppose -10*h - 15 = -w - 12*h, -3*h + 35 = 4*w. Solve 0 = 8*a + 19 + w for a.
-3
Let z = -357 + 360. Solve 12 = -3*t - z*t for t.
-2
Let u(z) = -z**3 - z**2 + z + 11. Let w be u(0). Suppose 5*k = -3*p - 38, -39 = 5*k + p + 3*p. Let r = k + w. Solve -r*o = o - 15 for o.
3
Let m be 1 - (-1)/((-2)/(-10)). Let p(v) = v - 1. Let a be p(m). Suppose a*h = 5*w + 20, 2*h - 6*h = 3*w - 16. Solve h*k = 2*k + 10 for k.
5
Let m = 281 + -281. Solve -9*d + 15*d + 18 = m for d.
-3
Let u be 1 + 0 + 1 - -10. Suppose -4*i = -104 + 88. Suppose -4*d - 4*s + 12 = 0, -i*d + 5*s = s - u. Solve d + 2 = l for l.
5
Suppose 0 = -8*i + i + 21. Suppose -f = x - 2 - 3, -3*x - i = 0. Solve -h = -3*h + f for h.
3
Let y(u) be the first derivative of u**2/2 + 5*u - 2. Let l be y(-4). Suppose 0 = -2*s + 2*g, 0 = -s - 2*s + 4*g - 2. Solve -s*t = 7 - l for t.
-3
Suppose -98*f - 168*f + 92*f = -696. Let p(u) = -u**3 - 4*u**2 - 4*u - 3. Let d be p(-3). Let b = d - 0. Solve -f*x + b*x + 4 = 0 for x.
1
Let n(f) = f + 3. Let y be n(-1). Suppose 2*r - d = -3*r - 4, 0 = r + y*d - 8. Suppose -s = -x - 27, -3*x - 28 - 81 = -4*s. Solve 4*i + 12 - s = r for i.
4
Suppose -37*t = -103 + 29. Solve t*c = 5*c for c.
0
Let n = -11 + 14. Suppose 17 = n*t + 4*o, o = 5*t + 2 - 61. Solve 0 = -2*m - t + 3 for m.
-4
Suppose -o = 5*t + 36 + 23, 0 = -2*t + o - 25. Let m be t/10 + 1/5. Let b be 6 - 2 - m*4. Solve 5*d = -b - 2 for d.
-2
Let a = -35 + 50. Suppose 5*j = -5*w