4). Solve i = 8*i - v*i for i.
0
Let v = -666 + 670. Solve 2*k - k = -v*k for k.
0
Let p(h) = 6*h - h**3 - 206*h**2 + 213*h**2 - 5 - 25. Let d be p(7). Solve -4*k = -7*k - d for k.
-4
Let t be (-4)/16*0 - -2. Suppose 4*j - t*j = -r + 4, -4*j = 3*r - 10. Suppose 1 = 4*b - 4*s + 9*s, r*b + 2*s = 2. Solve b = 3*o + 7 for o.
-1
Let x be -14 + (1 + 0 - 0). Let r(j) = -2*j - 2. Let n(p) = 7*p - 8. Let s(l) = -n(l) - 4*r(l). Let o be s(x). Solve -o*q = -8*q + 5 for q.
1
Let s = 62 - 42. Let o(i) = -i**3 + 15*i**2 + 3*i + 22. Let j be o(15). Let v = j + -63. Solve -v*p + s = p for p.
4
Suppose 0 = 3*w + 3*j + 9, j + 0*j = 5*w - 9. Solve -4*k = -3*k - w for k.
1
Suppose 5*i = 20*i - 30. Solve i = -4*v + 18 for v.
4
Suppose -7*b + 24 = 3. Solve -b - 1 = -2*g for g.
2
Suppose -2*o + 33 = -5*o. Let m = -9 - o. Solve 2*h + 0*h + m = 0 for h.
-1
Let s be -3 + 5/((-5)/(-6 - 4)). Solve -4 + s = 3*n for n.
1
Let t(v) = -2*v**3 + 100*v**2 + 2*v - 46. Let y be t(50). Solve -y = -3*u - 42 for u.
4
Suppose -w = -4 + 1. Suppose -4*y - 3*n + 18 = -2*y, 0 = -5*y + w*n + 24. Let p(x) = -x**2 + 8*x + 24. Let j be p(10). Solve -6 = j*g + y for g.
-3
Let g = -4 + 4. Suppose 3 = -3*w, g*h - 3*w + 21 = -2*h. Let o = 15 + h. Solve o*u = 1 + 2 for u.
1
Let y = 38 - 23. Let t = y + -9. Let m be 1*3 - (t - 5). Solve m*j - 4 = -0 for j.
2
Let d be (-4)/14 + (-6)/(-21). Suppose -7*m + 10*m = d. Suppose m = -2*b - b - 9, -2*b = -2*h + 6. Solve -3*j + 6*j - 9 = h for j.
3
Let q = -210 - -212. Let a be -6*(-2)/(-3)*q/(-4). Let l(d) = d + 7. Let z be l(-5). Solve 0 = -z*x + x + a for x.
2
Suppose h - 24 = -3*y - 2*h, 8 = -4*y + 4*h. Suppose q = 0, 3*m + y*q - 10 = -4. Suppose -m*f - 3*f = -10. Solve g + f*g + 12 = 0 for g.
-4
Let c = 659 + -574. Solve 89*z - 16 = c*z for z.
4
Suppose 0 = 4*c + 3*o - 71, 5*o - 86 + 19 = -3*c. Solve 9*h + 20 = c*h for h.
4
Suppose -5*r + 4 = 3*g - 21, -5*g + r + 51 = 0. Solve -2*t - g = 3*t for t.
-2
Let q(v) = v**3 + 6*v**2 - 5*v + 13. Let m be q(-6). Let k = m - 41. Solve 7*d = k*d + 5 for d.
1
Let i(r) = -22 + 62 - 21 + 5*r - 25. Let k be i(6). Solve 4*o - k = -4 for o.
5
Suppose -3*h = -4*d + 1, 4*d = -4*h + h - 17. Let b be ((-12)/d)/(4/2). Let k(l) = l**2 + 3*l - 7. Let x be k(b). Solve 2 = -3*w + x for w.
3
Suppose 5*j = -5*f + 430, -4*f + j + 324 = -0*j. Solve -57 + f = 5*m for m.
5
Suppose -15*h + 172 + 128 = 0. Solve -h = -6*v + v for v.
4
Let t(k) = -7 + 2*k - k + 4. Let s(b) = 2*b - 2. Let g(j) = -3*s(j) + 4*t(j). Let c be g(-5). Solve -c*p = p for p.
0
Let l(w) = 11*w**3 - 10*w**2 + 4*w - 31. Let h(y) = -5*y**3 + 5*y**2 - 2*y + 15. Let u(i) = 9*h(i) + 4*l(i). Let c be u(5). Solve 4 - c = -3*x for x.
-1
Let o(a) = -7*a**3 - 4*a**2 - 7*a - 3. Let s(d) = d**3 + d**2 + d + 1. Let c(k) = o(k) + 6*s(k). Let f be c(0). Solve 8 + 1 = -f*g for g.
-3
Suppose -17*p + 47 + 89 = 0. Solve 0 = p*x - 40 + 8 for x.
4
Let o be (38/(-95))/(4/(-10)) - 0. Solve -5*w + o = -6*w for w.
-1
Suppose -248 = -4*x - 4*x. Suppose 3*g - 3*n = -0*n + 99, 0 = -g + 3*n + x. Let z = g - 17. Solve z + 3 = 5*k for k.
4
Suppose -2*p + 11 - 3 = 0. Suppose x + 2*q = -5, -p*x - 2 = -3*x + q. Solve 0*m + m = x for m.
1
Let d(l) = -l - 4. Let f be d(4). Let m be ((-30)/f)/(6/16). Let v be (-3)/2*40/(-15). Solve v = -2*c + m for c.
3
Suppose -3*a - a = -8. Suppose -2*u + 4 = -4*q, 5*u - 2*q + 3*q = 21. Suppose 0 = -p + u + 4. Solve -6*g + a*g = -p for g.
2
Let f(m) = m**3 - 4*m**2 - 4*m - 2. Let z(q) = 2*q**2 + 2*q**2 - 9 + 5*q - 3*q**2. Let w be z(-7). Let o be f(w). Solve -2*r - 10 = o*r for r.
-2
Let g(z) = z**2 - 2*z + 1. Let q be g(6). Suppose 5*p = q, 0*p - 4*p + 20 = -2*h. Let a be (-8)/(-6)*6/4. Solve h*s = s - a for s.
2
Let a(m) = m - 16. Let i be a(31). Solve 0 = -11*b + i*b for b.
0
Let d(b) = b**3 - 7*b**2 + 9*b + 8. Let f be (-644)/(-115) + (-3)/5. Let c be d(f). Solve -4 = c*j - 7*j for j.
1
Suppose -2*d - 10 = q + 2*d, q + 5*d + 14 = 0. Let p = -1 - -4. Suppose p*f = -2*f + 15. Solve q = -z + f*z for z.
3
Let d = -68 - -73. Suppose 13 = d*m - 2. Let n = 0 - -2. Solve -m*t = n*t for t.
0
Let p be ((-2)/(-4))/(2 - (-78)/(-40)). Suppose w + 0 = p. Solve -z = z - w for z.
5
Suppose -3*n - 32 = -7*n. Suppose n*t + 3 - 11 = 0. Solve -4*r + 11 = -t for r.
3
Suppose 0 = 2*c - 5*c. Suppose 0*z + n = 5*z + 664, -652 = 5*z + 2*n. Let t = 137 + z. Solve p - t*p - 8 = c for p.
-2
Let r(o) = 2*o**2 - 22*o + 1. Let w be r(15). Suppose -w + 101 = -5*k. Solve -10 = -k*f + 6 for f.
4
Let h = -31 + 42. Suppose h*d - 36 = 8. Solve -9 + 1 = d*v for v.
-2
Let n = -13 + 7. Let h(q) = q**3 + 6*q**2 - 8. Let z be h(n). Let t = z + 16. Solve -t = -3*i + 4 for i.
4
Suppose 4 = -3*p + 19. Let h(n) = -n**2 + 6*n - 5. Let f be h(p). Solve -2 + f = -2*x for x.
1
Let n be (1 - 0 - 1)/2. Let w(q) = 5*q - 17. Let a be w(4). Solve 0*i - a*i + 12 = n for i.
4
Suppose -2*g + 2 = m, 2*g - 5*g + m = -8. Let s be (10/(-8))/(4/(-16)). Suppose -5*w = -2*k - 9, -s*k - g*w + 80 - 30 = 0. Solve -2*n + 4 = k for n.
-2
Let l(n) = -6*n + 5. Let m(h) = h**3 + 3*h**2 - 4*h. Let a be m(-4). Let y be l(a). Solve 0*p + p - y = 0 for p.
5
Let z(d) = -35*d - 420. Let u be z(-12). Solve 0 = -9*g + 45 - u for g.
5
Let q = -13 - -18. Suppose 7*k + q = 5*a + 12*k, -2*a + 5*k = -9. Solve -a*g + 7 + 1 = 0 for g.
4
Suppose -5*f = -0*b - 4*b, 0 = f + 5*b. Let t(w) = -w + 6. Let p be t(f). Solve 0 = i + i + p for i.
-3
Suppose 0 = 7*b - 4*b - 6. Suppose -2*f = b*f. Suppose -16 = -2*j - 2*j, -j + 20 = 4*g. Solve g*m = -f*m for m.
0
Suppose 2*q + 10 = -2*b, -9 = 5*q - b - 2. Let k be -2 - q/(2 - 0)*2. Solve -y = 3 - k for y.
-3
Let f(a) = -a**2 + 10*a - 9. Let v be f(7). Suppose 5*c - 3 = v. Solve 3*p + c = -0*p for p.
-1
Let p(c) = -2*c**3 + c**2 + 33*c - 8. Let l be p(4). Solve 0 = 9*k + l + 15 for k.
-3
Let q = 9 - 9. Let w be 2 - 1*(-5 + q). Suppose f + 0*o - 5*o - 11 = 0, -5*f + o = -w. Solve -r - 2 - f = 0 for r.
-3
Suppose -2*l - 18 = l. Let n = -5 - l. Suppose 18 = 5*s + s. Solve -g + n = s for g.
-2
Suppose -7*f + 3*f = -192. Suppose 5*s + 23 = f. Solve -13 = -s*x + 7 for x.
4
Let m(f) = -f + 2. Let k(c) = c**3 - c**2 - c - 2. Let q be k(2). Let u be m(q). Solve x = -x - u for x.
-1
Let a = 33 + -20. Suppose -a*i + 24 = -9*i. Solve 0 = -q + i*q - 5 for q.
1
Suppose -4*z + 2*j = 3*j - 66, 0 = 3*z - 3*j - 57. Solve z*i - 20*i = -9 for i.
3
Suppose -42 = -b - 2*i, 3*b + 5*i - 66 - 58 = 0. Solve 0 = w + b - 37 for w.
-1
Let x(g) = 4*g + 46. Let w be x(-11). Solve 2*b - w*b = b for b.
0
Suppose -12*l = -16*l. Suppose 0 = -l*v + v. Solve -4*d + 3*d = v for d.
0
Suppose 4 = 5*s + 2*i - 17, s - 4*i = -9. Let p be (-17)/3 - 1/s. Let z = p + 8. Solve -v - z = -4 for v.
2
Suppose 3*y = 3, 4*y = -4*i + 5*y + 11. Solve i*o + 15 = -0*o for o.
-5
Suppose -16 = 3*m - 5*p, 4*m = p + 3*p - 8. Suppose -8 = -m*o + o. Suppose -4*k + 2*b + o = 2, 0 = -5*k - 5*b + 25. Solve 0 = 4*y + 18 + k for y.
-5
Let y = -4 + 8. Let o be -5*((-8)/2 - -3). Suppose -5*t + 3*a = -o - 8, 0 = -a + y. Solve -2*z - t = 3 for z.
-4
Let z = 9 - 11. Let d(w) = -8*w - 4. Let p be d(z). Suppose -6*t + p = -2*t. Solve -x + 1 = -t for x.
4
Let v(s) = 3*s**2 - 6*s. Let i(u) = -3*u**2 + 5*u. Let n(z) = -6*i(z) - 5*v(z). Let g be n(-2). Solve -5*k = -k - g for k.
3
Suppose 2*i - i - 4 = 0. Suppose z - 1 = -n, -4*n - 5*z + i = 1. Suppose 4*g - 18 = 2*r - 4*r, 2*r - 4 = 3*g. Solve -n*j - g = -4 for j.
1
Let r = 1111 - 1104. Solve -r*f - 7 + 35 = 0 for f.
4
Suppose 0 = 3*m, -4*l = -5*m - 4 - 8. Solve -l*h + 0*h + 12 = 0 for h.
4
Suppose -20 = -7*f + 2*f. Let z be (-1 + 4)*f/12. Suppose 2*d - 3*o + 4*o + 1 = 0, -4*d - o = z. Solve 0 = -2*n - d*n for n.
0
Let o be ((-6)/(-18)*-3)/(-2 - -1). Let q be (-2)/(2 + -4)*o. Solve 2*f - 3 = -q for f.
1
Suppose -588 - 42 = -7*a. Solve -13*t = 5*t + a for t.
-5
Let f(a) = a**3 + a**2. Let m(u) = 4*u + 4 + 4*u**3 + 4 + 3 + 18*u**2 - 8*u**2. Let k(s) = -3*f(s) + m(s). Let b be k(-6). Solve 5*q + 2 = -b for q.
-5
Let m(q) = 10 + 7 - q - 19. Let g be m(-3). Solve -t = 3 - g for t.
-2
Let f(n) = -10*n + 24. Let y be f(-3). Let j be (y/7 + -8)/((-2)/14). Solve -j*s - 4 = 2 for s.
-3
Let d = 321 - 279. Solve 0 = -35*k + d*k - 14 for k.
2
Let u(h) = -h**3 - 7*h**2 + 9*h + 11. Let y be u(-8). Let s be (0/(y + 0))/2. Solve -2*f + 6*f = s for f.