4 for j.
-3
Suppose -3*t = -r + 70, -2*r - 2*r + 40 = -2*t. Let s = -16 - t. Solve s*n - 20 = 3*n for n.
4
Let o(s) = 4*s**2 + 5*s - 4. Suppose 4*k = 4 - 20. Let c be o(k). Suppose c - 16 = 5*q + 4*a, a = 2*q - 20. Solve 4*n = q + 8 for n.
4
Let i(w) = -w**3 - 7*w**2 + 2*w - 4. Let x be i(-7). Let a = -18 - x. Suppose o + 5 - 7 = a. Solve -3*t + t = -o for t.
1
Let p(v) = -v**2 - 59*v - 318. Let z be p(-6). Solve z*c + 4*c = -16 for c.
-4
Suppose 18*g = 22*g. Suppose 3*c + 3*r = 51, 38 = 3*c + c - 2*r. Solve g = -3*z - c for z.
-4
Suppose 4*g - 45 = -3*v, -5*v + v + g + 79 = 0. Suppose 4*s - v = -b, -4 = -2*s + 4. Solve b*i = -i - 8 for i.
-2
Let g(h) = -h + 7. Let p be g(7). Let t be p - 1 - 8/2. Let j(o) = o**2 + 4*o + 1. Let f be j(t). Solve -f*y = -y - 5 for y.
1
Let t be 14*(-2)/4 + 0. Let w be 3 + t + (18 - -1). Let v be w/(-10)*(-4)/6. Solve 0 = h + v for h.
-1
Suppose -86 = -9*y + 13. Solve y*n = 4*n - 28 for n.
-4
Suppose -5*x + 28 = -27. Suppose 14*l - 24 = x*l. Solve 0 = -2*z + l - 4 for z.
2
Let n(w) = w + 14. Let s be n(-8). Suppose -2*l - v = 3*v, 2*l - s = 2*v. Suppose 4*q = q + 18. Solve l + q = 4*u for u.
2
Let h = -7 - -27. Solve z = -4*z + h for z.
4
Let f(a) = -a + 8. Let l be f(-2). Suppose -l*b + 304 - 104 = 0. Solve -3*j + b = j for j.
5
Let o(t) = t - 3. Let a be o(5). Let v(u) = 12*u - 104. Let p be v(10). Suppose 4*x = a*x + p. Solve -g = -5*g - x for g.
-2
Let p = -1269 - -1277. Solve 19*z - 21*z = -p for z.
4
Let o(y) = -2*y + 1. Let a(m) = -m - 9. Let d(f) = a(f) - 2*o(f). Let z be d(4). Solve h + z = 2 for h.
1
Let b(x) = 4*x**2 + 46*x + 22. Let k be b(-11). Solve k = 9*p - 8 + 17 for p.
-1
Suppose -30*z - 49*z + 869 = 0. Solve 10*c - z*c = 2 for c.
-2
Let c = -52 + 57. Suppose 0 = -c*r - s - 1, 2*r + 9*s + 5 = 4*s. Solve r = 3*z - 6 - 3 for z.
3
Suppose x - 73 + 29 = -3*k, 3*k - 79 = -2*x. Solve 92 = -12*t + x*t for t.
4
Suppose 1 = j, 3*g - 5*j - 3 = 2*g. Solve 8 = -4*y - g for y.
-4
Suppose -t - 8 - 29 = 0. Let i = -35 - t. Solve i = -2*o - 0 for o.
-1
Let d(x) = x + 16. Let p be 7/2*(-12)/(-7). Let s be -13 + 3/(p/(-2)). Let w be d(s). Solve 15 = -i - w*i for i.
-5
Let b be ((-2)/(2 - 1))/(-2). Suppose 0*r - 2*r - 2 = 0, t + 4*r = -3. Suppose -5 = -k + t. Solve -k + b = -w for w.
5
Let v be 0 + (-1 - 89)/2. Let u be ((-30)/v)/((-2)/(-15)). Solve -4*y + u*y = 0 for y.
0
Let n(f) be the first derivative of f**2 + 6*f + 1. Let w = 50 - 53. Let y be n(w). Solve -3*s - s = y for s.
0
Let w(v) be the first derivative of 8*v**3/3 - 3*v**2/2 - 2*v + 6. Let p be w(-1). Let t = p - 9. Solve 2 + t = i for i.
2
Suppose -4*g - 2 = 4*b - 6, 4*g - 8 = -5*b. Let s be 2 + (13/(-7) - (-8)/(-56)). Solve s = -3*h - 1 + b for h.
1
Let t(g) = -g**3 + 6*g**2 - 3*g + 8. Let j be t(6). Let s(v) = v**2 + 7*v - 26. Let r be s(j). Solve 2*w = r + 4 for w.
4
Let o = 407 - 403. Solve -25 = o*l + l for l.
-5
Suppose -l + 11 = 5. Suppose -l*a + 3 = -9. Solve a = p - 1 for p.
3
Suppose -3*m = 3*u - 6, 2*u = 16*m - 14*m - 4. Solve 2 = -0*j - m*j for j.
-1
Let k = 426 + -377. Solve k*v - 9 = 52*v for v.
-3
Let h = -2 + 8. Let u(p) = -p**3 + 5*p**2 + 9*p - 3. Let k be u(h). Let a = 18 - k. Solve -c = -4*c + a for c.
1
Let q = 46 - 90. Let y be (-316)/q + (-2)/11. Suppose -61*w = -45 - 138. Solve w*b - y + 1 = 0 for b.
2
Let n be 33/21 + -2 + 48/14. Suppose -3*o + 5*o = 0. Solve -a - n*a = o for a.
0
Let k = -15 + 21. Suppose -k*i + i = -25. Solve i*b = -0*b for b.
0
Let q(z) = 8*z + 214. Let x be q(-26). Solve 0 = 7*i + x - 6 for i.
0
Let h(w) = -w**3 + 39*w**2 + 40*w + 7. Let a be h(40). Solve -a*c - 28 = -0*c for c.
-4
Let c(o) = o**3 - 7*o**2 + 6*o. Let u be c(6). Suppose 4*g - 2*l - 12 = 3*l, l = -g + 12. Solve -z - g + 3 = u for z.
-5
Suppose 4*u + u = 35. Suppose u = m + 3. Let k = m - 2. Solve 2*n - 4*n = k for n.
-1
Let y be (3 - -12 - 5) + -5. Suppose -y*l + 90 - 70 = 0. Solve 0 = l*j + 4 + 16 for j.
-5
Suppose -4*p - t + 6 + 5 = 0, 0 = -2*p - 2*t + 4. Suppose -4*d - 2 = 6. Let l be (p + 8/(-2))*d. Solve 3*v = -l*v + 25 for v.
5
Suppose -4*o - 15 = 69. Let g = o - -44. Suppose z + z - 3*k - g = 0, 3*z - 27 = 3*k. Solve -10 - 10 = -z*j for j.
5
Let y be -2*((-5)/3)/((-20)/(-150)). Solve 23 = -o + y for o.
2
Let l = 14 + -6. Suppose 3*o + 2 = 8. Suppose 0 = -c - 5*c. Solve c = 2*m + o*m - l for m.
2
Let m be ((-189)/(-54))/((-21)/(-6)). Suppose 5*s + 7 - 22 = 0. Solve -2*q = -s + m for q.
1
Suppose 0 = -o - o. Suppose 2*s - 3*k - 94 + 16 = 0, -3*s - 4*k = -134. Suppose 3*n - s = -4*n. Solve o = -u + n - 1 for u.
5
Let b(t) = t**3 + 5*t**2 + 3*t + 1. Let s be b(-4). Solve -s = -z - 8 for z.
-3
Let i = 56 - 56. Solve 9*d - 4*d = i for d.
0
Let c(m) = 4*m - 58. Let s be c(15). Let v(i) = i - 3. Let y be v(3). Suppose y*x = s*x. Solve 3*u = -x*u + 15 for u.
5
Let y(n) = n**3 - 10*n**2 + 26*n - 7. Let b be y(6). Let d(x) = -x**2 - x + 4. Let t be d(0). Suppose -3*s + 4*s - t = 0. Solve -s*h - 21 = -b for h.
-4
Let z = -242 + 248. Solve -z*y = -0*y + 24 for y.
-4
Suppose 4*o = 3*z - 3, -5*o + 7 - 2 = -2*z. Suppose z*h - 20 = -4*j, 0 = -0*h - 2*h - 3*j + 15. Suppose -3*g = -h*g - 24. Solve s - g = -s for s.
4
Let y(g) = g + 14. Let q be ((-1)/(-3))/(8/696). Let t = q - 37. Let k be y(t). Solve -i = 2*i + k for i.
-2
Suppose -4*t + 116 - 14 = 3*u, t - 20 = 2*u. Let n = -22 + t. Solve -9 = -5*b + n*b for b.
3
Suppose -k + 84 = 4*j, 0*j - 4*j + 2*k = -72. Solve -7*c + 8 = -j for c.
4
Let l be (-17)/(-2)*(-16)/(-4). Let h = -23 + l. Suppose -3*r + h = 5. Solve -r*b + 5 = -3 for b.
4
Let c be (-1)/(-1) - (-5 - 6). Let h = c - 12. Solve 0 = -3*t - h*t + 12 for t.
4
Let g be 1 - 2/(-2) - -2. Suppose 7*k = 3*k + 20. Suppose -5*f + 2*s + 72 + 0 = 0, f - k*s + 4 = 0. Solve -g*j = 4 + f for j.
-5
Let s be 1 - 18/(-4 + 1). Let f be -3 + (-2 - 4)*(6 - 7). Solve s = f*d - 8 for d.
5
Let g be (-111)/(-3)*(-2 + 1). Let j = g + 14. Let l = -23 - j. Solve -3 = 3*h - l for h.
-1
Let t = 607 - 603. Solve t*k + 22 - 26 = 0 for k.
1
Let b be (-188)/(-36) - 2/9. Let c(x) = -4*x - 4. Let s be 8/6*8/((-40)/15). Let i be c(s). Solve -b*f + i = -8 for f.
4
Suppose u = 4*u + 6. Let f be 12/u*1/3. Let w be (f + -2)/((-2)/4). Solve 0 = 2*s + w - 4 for s.
-2
Suppose 10*w - 1782 = -1712. Solve 0 = 3*v - 13 + w for v.
2
Let z = 1 - -1. Let k(n) = n**2 + 1. Let j(s) = s**2 + 3*s + 1. Let b(i) = j(i) - 2*k(i). Let w be b(2). Solve r + w - z = 0 for r.
1
Suppose -3*j + 12 = j. Suppose -j*x = x. Solve x*z = -4*z for z.
0
Let s = 2653 + -2643. Solve s = -5*h - 10 for h.
-4
Let g = 13 + -6. Let w = 16 + -26. Let k be (14/(-35))/(1/w). Solve g*t - 15 = k*t for t.
5
Let m be -1*(25 - -1) - 2. Let o = 28 + m. Suppose -5*q + o*q = 0. Solve q*l + 12 = 3*l for l.
4
Let t be -2 - (2/(-1) - 0). Suppose 4*u + t = 20. Let v(r) = -r**3 + 6*r**2 - 4*r + 2. Let a be v(u). Solve 1 + a = 4*j for j.
2
Let u(b) = -6*b + 26. Let w be u(3). Solve 4*l - 6*l = w for l.
-4
Suppose -4*g + 100 = -4*d, 0 = -2*g + 6*g + 4. Let h = 217 + -191. Let c = h + d. Solve c = 4*r - 3*r + 1 for r.
-1
Suppose 25*w - 197 - 153 = 0. Solve 0 = -f + w*f - 52 for f.
4
Let m(j) = j**2 - 9*j - 20. Let y be m(11). Suppose a - y = 2. Solve -a*h = -9*h + 25 for h.
5
Let h be 3*(-7)/(21/10). Let k = -6 - h. Suppose -k*w + 2 = -6. Solve 0 = -0*f - w*f - 6 for f.
-3
Let c = 44 - 44. Suppose 0 = -5*a - 2*y + 42, -2*a - y + 32 = -4*y. Solve c = -t - 4*t + a for t.
2
Let o(q) = -3*q - 17. Let p = 7 + -16. Let x be o(p). Solve n - x = -n for n.
5
Suppose 0 = -2*j + 31 + 79. Let f = j + -40. Suppose 4*t + 3 - 19 = 0. Solve t*z = -z - f for z.
-3
Let c(h) = h**2 - 4. Let a be c(-4). Suppose a = 7*w - w. Solve 2 = -4*z + w*z for z.
-1
Let q(s) = 2*s + 8. Let y = 35 - 10. Suppose -i = i - 5*h - y, -i + 5*h + 25 = 0. Let d be q(i). Solve -4*j + d*j = 0 for j.
0
Suppose -120*t - 2312 = -72392. Solve -588*v + t*v = -20 for v.
5
Suppose 3*g = 2*v + 28, 60*v = -2*g + 65*v + 37. Solve -g*l = -7*l - 5 for l.
-5
Let k = -30 - -41. Suppose 6*h - k = 13. Solve h*n - 10 = -n for n.
2
Let y = -6 - -12. Let g be (16/y)/((-6)/(-9)). Suppose -4*h = 3*q - 14, 0 = 3*q - 2*q + g*h - 10. Solve -2*r - q*r - 12 = 0 for r.
-3
Let c = 11 - -14. Let y = c + -25. Solve y*k = -4*k for k.
0
Let p(f) = -f**3 + 25*f**2 - 44*f - 15. Let w be p(23). Solve w*k = 27*k