 4 for i.
4
Let x be 133/7 + -4 + 2. Let y = x - 17. Solve 4*t = -y*t + 4 for t.
1
Suppose 0*k + k - 2 = 0. Suppose -4*u + 30 = -k*u. Solve u = -5*i - 10 for i.
-5
Suppose 0 = -2*t - 2, 0*x = -x + 2*t + 20. Suppose 3*z = 2*n + 24, -2*z + 3*n - n = -x. Solve z*r + 8 = 4*r for r.
-4
Let t be (-4)/(-2)*(10 - 2) + -1. Let b = 0 + 0. Suppose -t = -5*a - b*a. Solve -a*m - 5 = -8*m for m.
1
Let a be -3 - 0 - (2 + -3). Let g = a - -2. Solve o + 2*o = g for o.
0
Suppose 0 = -2*w + 3*g - 7*g + 14, 4*g - 8 = 0. Solve -w*b + 0 = -3 for b.
1
Suppose 2*v + 5*u - 3*u = 38, -4*u = v - 22. Let s be ((-12)/v)/(2/(-27)). Solve -h + 4*h - s = 0 for h.
3
Let m(p) = -p + 2. Let w(i) = i**2 + 5*i - 4. Let r be w(-6). Let g be m(r). Solve g = -5*q + q - 12 for q.
-3
Suppose -3*p = -2*l - 2*l - 15, -3*p = 3*l - 36. Let f be 8/3*p/12. Solve f*y = 4*y + 4 for y.
-2
Suppose -g + 4*i + 12 = 0, 3*g - 7*g - 3*i = -10. Solve g*b - 7*b - 15 = 0 for b.
-5
Let k = 17 + -17. Let c be -1*(k + 1) - -5. Solve -4*j - c = -0 for j.
-1
Let r(f) = f**3 + 13*f**2 + 10*f - 14. Let s be r(-12). Let x = -20 + s. Let u be ((-8)/x)/(6/15). Solve -b + 1 = -u for b.
3
Suppose 0 = -2*o + 7*o - 10. Suppose -12 = -3*m - 3. Suppose -n = -0*n. Solve n = -m*c - o*c for c.
0
Let l = 32 + -18. Let p = -11 + 16. Suppose 0 = -p*o - 2*w + l + 1, -16 = -o - 3*w. Solve -o - 7 = 2*s for s.
-4
Let p be 0*(-3)/(-9) + -4. Let u be (-1)/(p/4) - -9. Solve 0 = n - 3*n - u for n.
-5
Suppose t = -a + 2, -2*a = -t + 2*t - 4. Suppose -2*i = i. Suppose x + 5*q - 10 - 5 = 0, i = 3*x - 2*q + 6. Solve x = -s + 3 - t for s.
3
Suppose 3*d + 0 = -5*f - 5, 2*d = 4*f + 4. Solve d*n - n = -2 for n.
2
Let i = 9 + -5. Suppose 3*c - 3*k + 6*k - 24 = 0, 5 = i*c - 5*k. Solve -c = -q + 2*q for q.
-5
Suppose 4*j - 3 = 5. Solve j*y - 4 = -2 for y.
1
Let o(h) = h + 6. Let n be o(7). Solve -n*g = -14*g for g.
0
Suppose 10*b = z + 5*b - 18, 2*z = 2*b + 4. Let j(v) = -3*v. Let r be j(z). Solve 0*n - r = -2*n for n.
3
Let l be (-3)/3*-2*1. Let j(s) = s**3 + 9*s**2 - 3*s - 12. Let w be 0/(-1) + -12 + 3. Let n be j(w). Solve -l*v = 3*v - n for v.
3
Let w(k) = -2*k + 15. Let p be w(5). Solve o + 2 = p for o.
3
Let g be 16/104 - 37/(-13). Suppose 0*x + 3*v - 89 = -2*x, -4*x - 2*v + 198 = 0. Suppose -z = -g*n - 9, 0 = 4*z + 5*n - 9*n - x. Solve i + 2*i = z for i.
5
Let v(x) = -5*x. Let p be v(-1). Suppose a + p = 3*n + 20, 0 = 3*a + 2*n + 10. Solve 3*y + 3 + 6 = a for y.
-3
Suppose -s = -5*s. Suppose 0 = l - 5*g - s*g + 17, 3*g = -2*l + 18. Solve 0 = -x + 4 - l for x.
1
Let u = -18 - -38. Let l = -10 + 15. Solve -l*i = -0*i - u for i.
4
Suppose 3*j = 5*g - 0*g - 53, 5*g + j = 69. Suppose -15 = -5*x, 4*o - 3*x - g = -2*x. Solve -o*f - 16 = -0 for f.
-4
Let y = -3 - -1. Let t = y - -5. Suppose 2*n + 5 = t*n. Solve -c + n = -0*c for c.
5
Let j be ((-1)/1)/((-13)/(-26)). Let w be (3/j)/((-27)/90). Solve 0 + 15 = w*h for h.
3
Let h = 5 + -4. Let q = h + -2. Let b(t) = -2*t + 1. Let n be b(q). Solve -n*d + 16 = d for d.
4
Let i(q) = -q**3 + 8*q**2 - 8*q + 10. Suppose 0*n = -3*n + 21. Let u be i(n). Solve 15 = -u*t - 0 for t.
-5
Suppose z = -4 - 0. Let c be ((-2)/z)/(6/120). Suppose 4*v - c = 2*v. Solve v*a = a - 20 for a.
-5
Let g = 6 + -6. Solve g = c - 5*c + 4 for c.
1
Let p be 0/1*((-5)/10 - 0). Solve -n - 3 + 8 = p for n.
5
Suppose -3*s + 7*s + 96 = 0. Let i be (64/12)/(1/s). Let u be (-1)/3 - i/6. Solve u - 5 = -4*t for t.
-4
Let o be 2/3 + (-3)/(-9). Let s = 1 + o. Solve s = -4*u - 2 for u.
-1
Let h(v) = v + 3. Let b be h(7). Let n = b - 7. Solve n*g = g + 10 for g.
5
Let b(n) = n**3 - 4*n**2 - n - 10. Let h be b(5). Suppose -o - 2*c + 3*c = 0, 8 = 3*o - c. Solve -o*t + 2*t = h for t.
-5
Let p = 18 - 16. Solve -p - 3 = l for l.
-5
Let t = -4 + 4. Let a = -6 - -7. Suppose v - a = -t. Solve -2 = n + v for n.
-3
Let i(o) = -o - 2. Let r be i(-5). Solve -r*v + 6 = -v for v.
3
Suppose 6*c - 9 = 3. Solve 0 = -c*d - d for d.
0
Let w be (2 - 3)*3 + 5. Solve a = -w*a for a.
0
Let c = 3 + -1. Solve 0 = -c*k - 3*k for k.
0
Let g = -9 + 6. Let i be (8/6)/((-2)/g). Suppose 0 = -0*b + b - 4. Solve b*v - i = -14 for v.
-3
Let o = 31 - 26. Solve -5 - 15 = -o*s for s.
4
Let r be 1*-3 - (1 - 3). Let m = r - -3. Solve 5*v = m*v - 6 for v.
-2
Let w be (1/(-2) + 1)*(-12 - 2). Let l(q) be the third derivative of -q**5/60 - q**4/3 - 7*q**3/6 - q**2. Let g be l(w). Solve 4*v - 8 = -g*v for v.
2
Let j = 41 + -35. Solve f + j = 3*f for f.
3
Suppose -4 = -3*m + 2. Let j = 4 - m. Solve b + 15 = -j*b for b.
-5
Let d = 56 - 53. Let f be (-5)/1 - 0 - -2. Let z = 7 + f. Solve z = d*b - b for b.
2
Let t be ((-4)/6)/((-20)/150). Suppose -5*y + 1 = -4, 12 = t*q + 2*y. Solve 0 = -q*b + 2 - 0 for b.
1
Suppose 13 = 5*u - 2. Suppose u*k + 1 = 2*k. Let d be k/(-4) - (-11)/4. Solve d*q - 4 + 19 = 0 for q.
-5
Suppose 1 + 1 = b. Solve -b*t = -7*t for t.
0
Suppose 5*n = -4 - 71. Let v be (-1884)/(-10) + 6/n. Let x be (-2)/(-7) + v/28. Solve -8 = 5*m + x for m.
-3
Let i be ((-1)/(-2))/((-1)/(-4)). Let b(j) = j**3 + 4*j**2 + 2*j. Let f be b(-2). Suppose -3*g = 12, 2*d - 9 + 1 = -g. Solve f*p + d = i*p for p.
-3
Suppose -2 = -3*y + 4. Suppose y*q - a + 2*a = 1, -3*q - 2*a + 2 = 0. Solve -3*i + 19 - 4 = q for i.
5
Let b(r) = r**3 - 7*r**2 + r - 7. Let i be b(7). Solve 2*c = -i*c + 8 for c.
4
Let x(t) = -7*t**2 + 2*t - 1. Let i be x(1). Let a = 14 - i. Let l = a - 0. Solve 5*y + l = -0*y for y.
-4
Let p(h) = 1. Let b(a) = -2*a**2 - 2*a - 3. Let s(k) = -b(k) - 3*p(k). Let x be s(2). Solve -x = -4*r - 0*r for r.
3
Let f = 74 + -47. Let u be (-2)/9 + 87/f. Suppose -5*q + 0*p - 4*p = -34, -2*p = -4*q + 22. Solve 0*d + u*d = q for d.
2
Let t be -2 - (-2 + 2 - 2). Let s(u) = -u + 2. Let a be s(-4). Let h be ((-4)/a)/((-5)/15). Solve h = -t*b - b for b.
-2
Let a = 10 + -14. Let f be (-4)/a + (-6)/1. Let y = f - -5. Solve y = -2*k - 1 - 5 for k.
-3
Suppose 26 = 2*r - 5*x, 15 + 1 = -4*x. Solve 0 = d - r*d for d.
0
Let a = 8 - 5. Suppose a*d + 3*j = -3, 2*j = 2*d - j - 8. Suppose -5 - d = -2*m. Solve m*z + 12 = -z for z.
-3
Suppose 3*v + 2*o - 18 = 0, -5*v - 4*o + 8*o = -8. Let g = 8 - v. Solve 0 = -j - g + 1 for j.
-3
Let z(p) = -2*p**2 + p + 4. Let v(i) = -4*i**2 + i + 7. Let u(x) = -4*v(x) + 7*z(x). Let l be u(-2). Solve 5*g + 8 = -l for g.
-2
Let t = 7 - 12. Let y = t - -10. Let l(o) = o**2 - o. Let u be l(2). Solve -y*b = -u*b for b.
0
Let u = -53 + 53. Solve u = -0*a + 2*a for a.
0
Let o be (4/5)/(12/30). Suppose o*d = -2*d + 8. Solve 8 = -3*s + d for s.
-2
Suppose s + 20 = -4*t, -5*s + 2*t + 0*t = -10. Let u(r) = r**2 - r - 4. Let q be u(s). Let n = -4 - q. Solve n*v - 8 = 4*v for v.
-2
Suppose -6*a + 4 = -20. Solve i = a*i + 6 for i.
-2
Let c(y) be the second derivative of y**4/12 - 5*y**3/6 + 3*y**2/2 + y. Let p be c(5). Suppose -p*f - 2 = -17. Solve -f*w = -2*w + 15 for w.
-5
Suppose 3*q = g + 3 - 1, 0 = -4*q + 5*g - 12. Suppose -q = -2*y + 4. Solve -2*t = y - 1 for t.
-1
Let h = 5 + 0. Suppose -c = -h*c + 12. Solve c*f - f - 10 = 0 for f.
5
Let j = 4 + 0. Suppose -j*u + 26 + 6 = 0. Solve 0*x - u = -4*x for x.
2
Suppose -4*v = -4*x - 4, 2*v + 0*v - 4*x = -8. Let s be v/(-9)*(-3 - 3). Solve 7*i = s*i - 12 for i.
-4
Suppose 8*b - 34 - 14 = 0. Solve 6 = 3*w - b*w for w.
-2
Let x be 4 + (9/3 - 0). Suppose -i + x = 6. Solve 0 = m - 2 + i for m.
1
Let h = 13 + -9. Suppose 0 = h*t + 2 - 22. Solve -t + 4 = x for x.
-1
Suppose 2 = 2*i + i - 5*z, 46 = 4*i + 2*z. Solve 3*m = -0*m + i for m.
3
Let x(o) = -o + 10. Let r be x(6). Let a = -4 + r. Solve a = 4*t - t - 9 for t.
3
Suppose -4*k = 25 - 5. Let z = 10 + k. Let f = 7 - z. Solve -f*y = -5*y + 15 for y.
5
Let i = 62 - 60. Let c = -9 - -19. Solve -i*l - c = -2 for l.
-4
Let j(q) be the first derivative of q**4/4 + 7*q**3/3 + 5*q**2/2 + q + 1. Let z = 3 - 9. Let k be j(z). Solve -5*i = -k - 3 for i.
2
Suppose 2*a - 3*a = -4. Suppose a*b - 8 = 0, -4*j + 0*j + 5*b = -6. Solve 5*x + j = -1 for x.
-1
Let a(n) = -n**2 + 7*n - 7. Let m be a(7). Let c = m - 0. Let i = 10 + c. Solve -4*l - 11 = -i for l.
-2
Suppose -4*x + 0 + 16 = -4*h, 20 = -4*x. Let p = 10 + h. Let j be p/(1 + 4/(-5)). Solve 0*w - 15 = -j*w for w.
3
Let x = 1 + -1. Let s = -14 + 14. Suppose 4*v + s*v + 20 = x, -2*t + 2*v = -14. Solve 1 = t*p + 3 for p.
-1
Suppose 0 = 3*j - 3 - 6. Solve 4