 = 0 for i.
-2
Let x(z) = z**3 - z**2 - 11*z + 11. Let t be x(4). Solve t*k - 10*k = -5 for k.
-1
Suppose 2*i - 60 = -2*a, 81 = 2*a - 6*i + i. Suppose -5*k + 133 = a. Solve k = -p - 4*p for p.
-4
Let x be (33/22)/(1/2). Suppose 2*n + x*q - 56 = 0, -4*q = 5*n + 64 - 218. Suppose 2*k - n - 7 = -5*f, 2*k = -3*f + 31. Solve -k - 7 = 5*w for w.
-3
Let t be (1/2)/(1*(-8)/(-128)). Solve 9*b = 5*b - t for b.
-2
Suppose 18 = -0*g + 2*g + 3*r, 4*r = 0. Let t = -16 + 22. Suppose -p = 5*v + 17, -2*p - 8 = 5*v + t. Solve p*k - g = -0*k for k.
3
Let l = -1 - 13. Let h = 17 + l. Solve 0 = -2*t + h + 1 for t.
2
Let x(y) = 7*y**3 - 2*y**2 + 1. Let p be x(-2). Let t = p - -70. Solve -t = -5*n - 12 for n.
-1
Suppose -7*p = -19 - 2. Let q be 1 - (1/p)/((-11)/66). Solve -6 = 3*f + q for f.
-3
Suppose -31*y + 20*y = -187. Solve 2 = y*n - 19*n for n.
-1
Suppose -2*v + 3*l - 3 = 0, -3*l + 6 - 3 = 3*v. Let u(k) = -2*k**2 - k + 4. Let r be u(0). Solve v = -r*w - w + 10 for w.
2
Let d(p) = p**2 - 3*p + 2. Let g be d(4). Suppose -x = -g*x. Let y be 3 + 2 + (x - 1). Solve -y*r - 5 = r for r.
-1
Suppose -42 = -i + 5*u - 18, -16 = -2*i + 2*u. Solve -i*f = 2*f for f.
0
Let y = -1050 + 1112. Solve 48*x - y*x = -70 for x.
5
Let y = 4 + 8. Suppose y = -4*c + 4. Let z be 11 + -1 + 1*c. Solve -4*s = -0 + z for s.
-2
Let j(c) = -c**3 + 8*c**2 + 2*c - 10. Let f = -10 - -18. Let w be j(f). Let a be (-3)/(-4) - (-35)/28. Solve w + 2 = a*s for s.
4
Let r(v) = 5*v**3 + 56*v**2 - 71*v - 49. Let m(h) = h**3 + 11*h**2 - 14*h - 10. Let u(l) = 11*m(l) - 2*r(l). Let d be u(-10). Solve -2*c - d = -4*c for c.
4
Let i be 2/7 - 33/(-7). Let g(n) = n**3 - 5*n**2 - 7*n + 8. Let h be g(6). Suppose -36 = -h*w + 10. Solve i*a - w = -3 for a.
4
Suppose 6 = -3*r + 36. Let o(q) = q - 3. Suppose -4*c + 5 + 23 = 0. Let f be o(c). Solve r = -l - f*l for l.
-2
Suppose -o = 3*o - 12. Let q be 6 + (2 - o) + 4. Let n = q - 6. Solve 0*s = n*s + 3 for s.
-1
Suppose 1 = d - 0*d, 4*y - 2*d + 30 = 0. Let m = 18 + y. Let v = m - 10. Solve 3 = 2*u - v for u.
2
Suppose 25 = 214*t - 209*t. Solve -11*s - 17 - t = 0 for s.
-2
Let p = -113 - -125. Suppose -2*g - 50 = -p*g. Solve g*c - 13 = 2 for c.
3
Let u(d) = d**3 - 4*d**2 - 19*d + 8. Let q be u(7). Solve -4*c - q = -42 for c.
5
Suppose 2*p + 94 = -2*c, -4*p + 0*c - 176 = c. Let t = p + 47. Solve -3 - 1 = -t*l for l.
1
Let a(g) = 12*g - 105. Let d be a(9). Solve -d*o + 375 = 363 for o.
4
Let v be (4/3)/(598/39 + -15). Solve 235 = -v*c + 239 for c.
1
Let y be 2 + -4 + (6 - -1). Suppose -5*f = 4*h - 39, 3*f + h = -0*h + 22. Suppose 6 = -3*q, -6 = 3*l - 5*l - q. Solve -l*z - f = y for z.
-3
Suppose 4*d - 12 - 24 = 0. Suppose 4*a + 56 - 20 = 4*t, 4*a + d = -5*t. Let v = a - -8. Solve -v*j - 4 = 2*j for j.
-1
Suppose -9*p + 18*p - 216 = 0. Solve 0 = 3*z + 3*z + p for z.
-4
Suppose -3*w + 65 = -2*b - 3*b, 0 = 5*w. Let z(g) = -3*g - 15. Let u be z(b). Suppose 4*s = u - 4. Solve h = -3 + s for h.
2
Let h be (-3)/(1/(8/(-6))). Suppose 10*d = 5*d + 5, -4*i + h*d + 8 = 0. Solve 0*a - 15 = i*a for a.
-5
Let f(g) = -g**2 - 16*g - 54. Let a be f(-8). Solve -1 = -11*j + a for j.
1
Let v(m) = -16 + 5 + 9 - 7*m + 4. Let g be v(-1). Solve 0 = -2*u - g - 1 for u.
-5
Let y = 5 - 5. Suppose y*p + 2*p + a - 1 = 0, 4*p = 4*a + 8. Suppose 4*s = 4*d - 24, 3*s - p + 5 = -4*d. Solve v = d*v for v.
0
Suppose 0 = 6*s + 8 - 20. Solve -s*u - 9 = -1 for u.
-4
Suppose -40*r = -42*r + 40. Let t be 4/22 + (-53)/(-11). Solve -r = t*q - 0 for q.
-4
Suppose -8*z = 170 - 234. Solve 3*x - z + 17 = 0 for x.
-3
Suppose -4*c - c + 10 = 0. Let a be 1*(-2 - -2)/(-4). Solve a = c*i - 4 for i.
2
Let y be 22 + (-6)/3 - (-4)/(-2). Let h(g) = -g + 23. Let v be h(y). Solve v = 3*s + 2*s for s.
1
Let t = 15 + -8. Let z(w) = -w**3 + 7*w**2 + w - 7. Let h be z(t). Solve h*d + 3*d + 12 = 0 for d.
-4
Let m(z) = -z**2 + z + 2. Let p be m(0). Let s be 6 + (8/(-4) - 0). Solve -3*c = -s*c + p for c.
2
Let k(j) = j + 3 + j**2 + 150*j**3 - 151*j**3 - 2*j. Let o be k(0). Solve -o*m - 3 + 15 = 0 for m.
4
Let j = 232 - 223. Solve 0 = -4*v + j - 25 for v.
-4
Let b(h) = h**2 + 19*h + 26. Let c be b(-18). Solve -r + c = 3 for r.
5
Let g be 1*(-5 - -4 - -1). Suppose 3*z + 18 - 30 = g. Solve -2*a + z*a - 2 = 0 for a.
1
Let r(i) = i - 24. Let s be r(25). Let m(y) = 3*y**2 + y. Let c be m(s). Solve c*n - 10 = -n for n.
2
Suppose n - 6 = -2*i, -n + 3*n = i + 2. Let x = -7 + i. Let c be -4*(2 + x + 2). Solve 0*o + o = c for o.
4
Let k be ((1995/(-28))/19)/((-2)/8). Solve k = 66*y - 71*y for y.
-3
Suppose 8*u - j - 28 = 3*u, 5*j = 3*u - 30. Suppose 12 = z - u*z - p, -2*z + 4 = -2*p. Let s be (-2 - z) + 4/2. Solve -2*n + 2 = -s for n.
2
Let c = -274 - -277. Solve c*q + q = 12 for q.
3
Let u = -96 + 98. Suppose 4*a - u*w = 2*w + 48, -2*a + w + 20 = 0. Solve -3*i + 5 = a for i.
-1
Suppose -n - 6 = -2*n. Suppose 5*l + 4*d = 21, 10 = l + 5*d - 10*d. Suppose 2*a = -t - 2*a + 7, 5*a = 5. Solve t*p = l*p - n for p.
3
Let w(v) = -v**3 - 14*v**2. Let p be w(-14). Suppose c = -2, p*c = f + 3*c. Suppose f*z - 46 = -10. Solve 0*j = 2*j + z for j.
-3
Let y(u) = -u**3 + 36*u**2 + 40*u - 100. Let l be y(37). Solve z + l = 16 for z.
5
Suppose -33 - 7 = -10*f. Solve -3*v - 5 = f for v.
-3
Let n(d) = d**2 + 3*d - 5. Let v be n(-6). Let j(i) = -3*i + 42. Let c be j(v). Solve -g = -c*g for g.
0
Suppose 9 = 3*s - 3*n, 0 = -s + 4*n + 3 - 0. Suppose -s*j + 3 = -3. Solve j*u - 2 = 4 for u.
3
Suppose 6*g - 4*a = 5*g + 9, -5*a = -2*g + 15. Solve g*w - 20 = -0*w for w.
4
Suppose 4*x - 3*z - 89 = 0, -6*x + 2*z + 86 = -2*x. Solve 0 = -0*d - 5*d - x for d.
-4
Let h(b) = -b + 9. Let t be h(-7). Suppose 4*z - 23 = -3*j, -3*z = -6*z - j + t. Suppose -z*a = -n - 17, -n - 1 = -0*a - a. Solve 1 = a*m - 7 for m.
2
Suppose 0 = u + 3 + 7. Let w(b) = -2*b - 17. Let s be w(u). Solve -c + s*c = 10 for c.
5
Suppose -3*p - 2 = -8. Suppose -11 - 11 = p*u. Let h = u - -18. Solve -3*c + 4 = h for c.
-1
Let i be (-2)/(6/9) + 9. Suppose 0*u = -3*u + i. Suppose u = -n + 6. Solve n*m = -7 - 5 for m.
-3
Suppose 4*z + 20 = 4, 5*l - 4*z = 41. Suppose 6 + 0 = 3*u. Solve 0 = h - u + l for h.
-3
Suppose -z - 2 = 2*a, 3*z + 3*a - 4 = -2*z. Suppose -4*c - c = 0. Suppose 12 = j - c*j. Solve 0 = 2*x + z*x - j for x.
3
Let l = 11 - 11. Suppose -3*d = 5*m - 65, l = -3*d - 3*m - m + 64. Suppose -3*b + d = b. Solve i = -b + 2 for i.
-3
Let l be 208/(-8)*3/(-6). Solve -5*o + l*o = o for o.
0
Let f(j) = -4*j + 2*j + 3*j**3 + 2*j**2 + j. Let z be f(1). Suppose 3*g + 0*g = 0. Solve g = z*n + 16 + 4 for n.
-5
Suppose -7*n + 105 = -4*n. Suppose -5*b = 5*j - n, 4 + 22 = 4*b + 3*j. Solve -b*r = -r - 4 for r.
1
Let w = -187 + 202. Solve 0 = l + 4*l + w for l.
-3
Suppose -16*z + 160 = -20*z. Let w be ((-9)/(-6))/((-15)/z). Solve c - w*c = 6 for c.
-2
Suppose -4 = -t + 1. Suppose -2*o - 3*l - 2 = 0, 0 = -5*o - 4*l + t*l + 12. Suppose 0 = -1275*u + 1279*u - 4. Solve o = w + u for w.
1
Suppose -30 = -5*y + 2*t, -20 = -3*y - t - 2. Let c be y - 4 - -1 - -4. Solve k = -4 + c for k.
3
Let i be -3 - (3 - 75/(-3 - -6)). Suppose -76 = -4*d + 5*p, -2*p - i = -d - 0*d. Solve -4*t = 3 - d for t.
4
Let z be 198/9 - (-9 - 16/(-4)). Solve z = -15*h - 3 for h.
-2
Let q(m) be the third derivative of m**6/60 - m**5/60 + m**4/12 - m**3/6 - 19*m**2. Let c be q(1). Solve -c*r + 2 = -4*r for r.
-1
Let z = 252 + -164. Let w = z + -78. Solve -2*a - 8 + w = 0 for a.
1
Suppose -3 = 7*r - 10*r - 4*v, -5*v - 10 = r. Suppose -2*p + 2 = 2*g - 6, 0 = p - 4*g - 29. Solve p*o - 10*o = r for o.
-5
Let h(z) = z**3 + 6*z**2 + 7*z - 4. Let a be h(-4). Suppose 0 = -2*d + 3*r + 33, a*d - r = -4*d + 61. Solve -5 - d = -4*y for y.
5
Suppose 5*j - 15 = 3*g - g, 2*j + 15 = 5*g. Solve j*c + 5*c = 30 for c.
3
Let k(f) = 9*f**2 - 3*f + 1. Let g be k(-1). Solve 4*p + 17 - g = 0 for p.
-1
Let r be 2 - (-50)/(-20)*(-4)/5. Suppose 2*p + r = -3*n, -2 = -5*n - 12. Solve 2*q - 9 = -p for q.
4
Suppose -5 = 5*i, -2*u + 3*i - 3 = -2. Let v be ((-3)/u)/(21/56). Solve 2*m - v = 4 for m.
4
Suppose -3 - 7 = -5*q. Let i = -40 - -42. Solve q = -i*j + 3*j for j.
2
Let g = 34 + -57. Let l = g + 30. Solve 0 = -2*w + l*w for w.
0
Let k(r) = 28*r - 21. Let b be k(5). Let f = -119 + b. Solve -o = -f*o for o.
0
Let r(d) = d**2 - 5 - 10*d + 23*d + 6 + 13. Let l be r(-12). Suppose q