6 for j.
-4
Let r = 85 + -82. Suppose r*s = -12 + 33. Solve -s*f = -2*f + 10 for f.
-2
Let v be (-10)/(-6) + 852/639. Solve -v*p + 748 = 733 for p.
5
Let j be 2/((-2)/155*(-25)/5). Solve j*q = 33*q + 6 for q.
-3
Let w(x) = -x**2 + 17*x + 1. Let j be w(0). Suppose -7*z = -10*z + 6. Solve -j + z = p for p.
1
Let a(s) = 5*s - 6. Let q be a(14). Let c = 76 - q. Solve 4*y = -8 - c for y.
-5
Let t(x) = -x**3 - 5*x - 6. Let o be t(-1). Solve o = -10*g + 9*g for g.
0
Suppose -3*q - 113 = 5*d, 5*q + 156 - 5 = d. Let p = q + 31. Solve -4 = y - p*y for y.
-4
Let z be 4/(-12)*6/(-1). Let y be (z - (3 + -1))/((-8)/(-4)). Solve y = -s + 5*s - 16 for s.
4
Suppose -16*k + 2*r + 8 = -21*k, -4*r = -2*k + 16. Solve k = -2*o + 18*o + 80 for o.
-5
Let s(w) = -48*w + 50. Let i be s(1). Solve 0 = 3*n - i*n + 2*n for n.
0
Let r = 232 + -224. Solve -9*f + r = -5*f for f.
2
Let q = 216 + -196. Solve 3*r + 2*r - q = 0 for r.
4
Let k(f) = -f**3 - 13*f**2 + 11*f - 24. Let y be k(-14). Suppose -5*h + m = -y, -2*m + 10 = 5*h - 7*m. Solve h*a = -1 - 15 for a.
-4
Suppose -3*a = 2*a - 5*k, 4*a = k. Solve a = q + 33 - 32 for q.
-1
Suppose 0 = -26*t + 30*t - 68. Suppose -20*p = -t*p - 6. Solve 0 = -h + p + 2 for h.
4
Suppose 6*k - 86 = -4*s + 4*k, 4*s + 3*k = 83. Let q = -15 + s. Solve -5*b + q - 3 = 0 for b.
1
Suppose -67 = -7*b + 269. Let a = -46 + b. Solve 6 - a = -4*l for l.
-1
Suppose -25*z + 101 = -74. Solve 4*j - 6 = z*j for j.
-2
Let u = -280 + 280. Solve -4*c - 7 - 13 = u for c.
-5
Suppose -5*r = -19 - 1. Suppose 2 = r*b + 2*s, 0*s + 13 = -b - 5*s. Suppose 3*h - 8 - 1 = 0. Solve -b*o = h*o for o.
0
Let n = -13 - -13. Suppose -2*p + 12 = 5*j - n*p, -9 = -3*j - 3*p. Suppose -5*g = f - 9 - 7, 0 = j*f - 5*g - 2. Solve f*k = 4*k for k.
0
Let v = -199 + 352. Let m = 155 - v. Solve 0 = -5*q + m + 3 for q.
1
Let d be (2 + -1)*-1 + 11. Let i = 11 - d. Suppose 0 = j + i, -j + 4 = -x + 10. Solve -x*q - 20 = -q for q.
-5
Let x be -4 + ((-1404)/(-143) - 4/(-22)). Solve 0 = s + x*s - 28 for s.
4
Let x(z) = -4*z + 7. Let u(t) = -t + 1. Let v(h) = 5*u(h) - x(h). Let k be v(-7). Solve k*d = 24 - 4 for d.
4
Let x(l) = -l**3 - 26*l**2 - 51*l - 72. Let w be x(-24). Suppose f + 2 = 5. Solve w = f*a + 2*a for a.
0
Let y be 9/(-2)*288/(-162). Solve -4*h - 20 = -y*h for h.
5
Let j be (-1 - -4) + 2 + -5. Let m be (-3)/3 + (j - -2). Suppose -g - m = -5. Solve -2 - 14 = g*b for b.
-4
Let c(i) = 6*i**2 - 18*i + 4. Let g be c(3). Solve -8*a = -g*a + 20 for a.
-5
Let b(y) = y**3 + 19*y**2 - 14*y - 40. Let t be b(-20). Let f = t - -160. Solve 8 = -2*m - f*m for m.
-4
Let o be (-72)/54 - 26/(-6). Let m(y) = -y**3 + 3*y**2 + 2*y - 2. Let a be m(o). Solve -4*n = a - 0 for n.
-1
Let l(z) = -z**3 - 3*z**2 + 2*z + 3. Suppose 0 = -5*u + 6*u + 3. Let p be l(u). Let r be (0 + p)/(-3)*3. Solve -s - r*s = -4 for s.
1
Let m = 229 + -227. Solve m*g = -1 + 11 for g.
5
Let t(m) = -63*m - 356. Let c be t(-6). Solve c = -17*w - 63 for w.
-5
Let v(q) = q**3 + 15*q**2 + 12*q - 14. Suppose -z + 0 = 14. Let b be v(z). Suppose -22 - b = -2*j. Solve j = 5*x - 2 for x.
4
Let l = 155 - 151. Solve -l = -x - 2 for x.
2
Let y(q) = q**2 - 4. Suppose -2 + 0 = -r. Let s be y(r). Solve 5*v + 5 + s = 0 for v.
-1
Suppose -3*v - r - 4 = 0, -3*r = -2*r + 4. Solve j - 3*j - 10 = v for j.
-5
Suppose -2*a + 25 = 3*s - 31, -4*s - 4*a + 72 = 0. Suppose -7*h + 2*h + s = 0. Solve -h*x - x = 0 for x.
0
Let l be 6/24 + 27/4. Solve -l*g + 5*g = -9*g for g.
0
Let n be 4/(-10) + (-54)/(-10). Suppose n = 5*k - 4*v, -k = 4*k + 5*v - 50. Let w be (-3 + 6 - -5) + 10/(-2). Solve k = -2*q - w*q for q.
-1
Let b = -26 + 44. Let o be 2/3 + 128/6. Let t = o - b. Solve 0 = 2*h + 14 - t for h.
-5
Let n(p) = p**3 + 15*p**2 + 4*p - 21. Let s be n(-15). Let z be s/189 + (-10)/(-7). Solve -z = -5*l - 26 for l.
-5
Suppose -610 = -35*g - 120. Solve -g = -t - 16 for t.
-2
Let p(v) be the second derivative of v**3/6 - 13*v**2/2 - 4*v. Let m be p(8). Let o(l) = l**2 + 5*l + 3. Let g be o(m). Solve -1 - 2 = g*k for k.
-1
Let q = 69 - 67. Solve 8*y - q*y = 0 for y.
0
Suppose 0 = -5*k + 7*u - 2*u - 5, 4*u = 4. Let l be (-2)/(-4) + 65/10. Suppose k = 4*c - l*c + 21. Solve c*d - 4*d = -15 for d.
-5
Let w(r) = -r**3 + 6*r**2 - 7*r. Let v be w(4). Let l = 2 - 11. Let m = l + 9. Solve -b + 0*b - v = m for b.
-4
Let j be (-30 - 6/(-2))*50/(-25). Solve -57*n + j*n = 6 for n.
-2
Let i = -786 - -791. Suppose a + 1 = 0, 5*b + 21 = -2*a + 114. Solve i*u - 6 = b for u.
5
Let u(y) = -2*y**2 - 11*y - 2. Let c be u(-5). Suppose 0 = -4*t + c*r + 3, -5*r + 11 + 7 = t. Solve 5*s - 7 = t for s.
2
Let d = 644 + -634. Solve -d = -i - 7 for i.
3
Suppose 0 = 2*o + 3*s - 11, -2*o - 1 = -s - 0. Solve -y - o = 3 for y.
-4
Suppose 5*h - 3*h - 3*r - 141 = 0, -4*r - 272 = -4*h. Let q = h - 58. Solve -5 = 5*t + q for t.
-2
Let t = 2 - -1. Suppose 33*x = 132*x - 396. Let o(u) = u**3 + 4*u**2 + u - 2. Let s be o(-3). Solve 0 = x*z - t*z - s for z.
4
Let v = -13 - -29. Let w = v + -10. Suppose w*x - 50 = x. Solve 15 = -5*h - x for h.
-5
Let m(p) be the first derivative of p**3/3 + 6*p**2 + 13*p - 30. Let s be m(-11). Solve s*u = -6 + 2 for u.
-2
Let h = 165 + -157. Solve 4 = 3*u - h for u.
4
Let i(w) = -w**2 + 7*w - 10. Let n(f) = 2*f**2 - 7*f + 2. Let k be n(4). Let u be i(k). Let x be 3*u/(-12) - -1. Solve -m - 2 = x for m.
-4
Let x(r) = 5*r**3 - 4*r**2 + 1 - 4*r - 4*r**3 + 0*r. Let v = 11 - 6. Let z be x(v). Solve 3*l + 0*l - z = 0 for l.
2
Let a be 4*2*6/16. Suppose -3*i + 3*u = -276, -2*i + 4*u + 20 = -162. Let j be 155/i*(-12)/(-10). Solve a = -j*f - 5 for f.
-4
Let q(p) = p**2 + 2*p - 1. Let a be q(1). Suppose 5*c - 15 = -0. Let v be 2/(-2*c/(-6)). Solve v*n + 4 = -a*n for n.
-1
Let l = -32 + 38. Let f be (-1)/(-27)*l - 115/(-9). Solve 15*m - f*m = 4 for m.
2
Suppose 5*x = -21*x - 16*x. Solve x = 3*f + 1 + 2 for f.
-1
Let o(y) = -2*y + 6. Let i be o(4). Let j be i/7 + 4/14. Solve -z = -j*z for z.
0
Let q = -166 - -167. Solve q = -c + 2 for c.
1
Let v = 15 - 23. Let l = -3 - v. Solve l*b - b = 16 for b.
4
Let f = -27 + 32. Let x be 1 - (3 + (1 - f)). Solve -x = -3*m - 5 for m.
-1
Let b(i) = i**3 + 5*i**2 - 7*i - 5. Let f be b(-6). Let u(d) = -11 + 4*d + f - 2*d - 2. Let r be u(8). Solve 2*g = g + r for g.
4
Let k(n) = 2*n**3 - 32*n**2 + 30*n + 4. Let h(j) = j**3 - 5*j**2 - 3*j - 3. Let g be h(6). Let o be k(g). Solve 2 = -o*r - 10 for r.
-3
Let p(z) = -z**2 + 12*z - 25. Let u be p(8). Suppose 1 = -3*q + u. Solve 0 = 5*m + 17 - q for m.
-3
Let m be (2/(-8))/(2/(-40)). Suppose 2*h - 70 = 2*f - 6*f, 4*h + 58 = 3*f. Solve -f = m*w + 7 for w.
-5
Suppose 5*a - 3*l = 3, 4*a + 2*l + 3*l = -5. Let p be (0 + -1)*a/8. Solve p = -k - 1 - 4 for k.
-5
Let w(s) = 3*s. Let n be w(1). Let u(i) = -2*i + 9. Let h be u(n). Solve 0 = b - h*b + 6 for b.
3
Suppose -9*w = -2*w - 14. Suppose -k + 6 = -t + 8, -w*t = 5*k + 10. Solve -3*y + 15 = -t*y for y.
5
Suppose -5*p - 5*f + 10 = -10*p, 0 = -3*p - 3*f - 18. Let t be ((-28)/8 - p)*6. Solve t*r - 8 = r for r.
4
Let v be (-2)/4 + 10/(-4). Let w be (-3)/(-15) - 42/(-15). Let b = w + v. Solve -2*h + h - 1 = b for h.
-1
Let k(r) = r**3 + 7*r**2 - 4*r - 54. Let p be k(-6). Solve 6 = 3*w - p for w.
4
Let w be (-144)/(-32) + (-1)/(-2). Solve w*r = 1 + 14 for r.
3
Suppose -h = -4*t - 11, -h = -0*t + 4*t - 3. Solve 4 = -3*d + h for d.
1
Suppose 46 = 10*v - 64. Suppose g - k = 3*g - v, 2*k - 7 = g. Solve 0 = 8*w - g*w + 20 for w.
-4
Let p(v) = v**3 + 9*v**2 - v + 6. Let a be p(-9). Let t be (-10)/(-25) + 714/a. Let h be (-11)/(-4) + 12/t. Solve 0 = -h*u + u - 10 for u.
-5
Let h = -794 + 800. Let m(l) = l - 3. Let a be m(5). Solve 0 = -2*x - a + h for x.
2
Let i(o) = o**3 - 11*o**2 + 100. Let a be i(10). Solve 7*d - 11*d - 8 = a for d.
-2
Let f be (1/(-2))/((-3)/24). Suppose -9*p + 6*p = 0. Solve f*s + p - 4 = 0 for s.
1
Let m be (-13)/(-3) - ((-16)/12)/(-4). Suppose -2*w + m*w + 2*a = 8, -5*a = w - 12. Solve 0 = w*r - 5*r for r.
0
Let h(j) = -j - 6. Let s be h(-6). Let v(g) = g**2 + 15*g + 57. Let n be v(-9). Solve s = n*f - 0*f + 3 for f.
-1
Let x = -7 + 10. Let f(s) = 10*s + 13. Let n be f(-1). Suppose -5*v + 105 = -5*t, n*v - x*t - 55 = 2*t. Solve -a + v = 4*a for a.
5
Let i(q) = -q**3 + 10*q**2 + 9*q + 13. Let f be i(11). Let w(r) = -r**2 - 8*r + 13. Let h be w(f). Solve -