.
-3
Let w be 3 - (-6)/(2 - 5). Let d be (w + 5)*(-4)/(-8). Suppose -3*c + 4*j = -91, d*c + 5*j - 67 = 3*j. Solve 5*v + 5 - c = 0 for v.
4
Let v(y) = y**3 + 11*y**2 + 7*y - 30. Let j be v(-9). Solve -18*w = 5*w - j for w.
3
Let p(y) = -3*y - 1. Let s be p(-1). Let x = -9 - -27. Suppose -2*k + x = 4*a, 0*k = -a + s*k + 7. Solve 13 = -a*f + 3 for f.
-2
Let v be (95/(-25) - -4)*(1 - -4). Let i = 4 - v. Let r be (-6)/10 + (-54)/(-15). Solve 0*c - r = i*c for c.
-1
Let y = -150 + 153. Solve -v - 6 = -y*v for v.
3
Suppose 0 = -2*a - 4*j + 14, -3*j - 3 = -4*a + a. Suppose -5*h - t + 24 = -2*t, 0 = -a*h + t + 14. Solve h*q + 3 = 2*q for q.
-1
Suppose -a - 4*a + 30 = 0. Suppose a*g - 7*g = -15. Solve -2*b = 3*b + g for b.
-3
Let m(x) = 3*x - 11. Let n be m(7). Solve 0*b = -2*b - n for b.
-5
Let g = 63 + -55. Solve -g = -2*n - 4 for n.
2
Suppose -5*t - 48 + 13 = 0. Let c = t + 13. Suppose 5*q + 5 = c*q. Solve 0*i + q*i + 10 = 0 for i.
-2
Suppose -3*n = 7*i - 3*i - 4, 0 = 3*n. Suppose 1 + i = -2*m. Let j be m/(-3) + 1/(-3). Solve 5*o + j*o = -15 for o.
-3
Suppose 14 = -13*w + 14*w. Suppose 0 = w*l - 4*l - 20. Solve 2 = l*c - c for c.
2
Suppose -19*b = -15*b - 32. Solve b*v = -7*v - 60 for v.
-4
Let s be 8*2/(-8)*-2. Let n be ((-8)/(-7))/(s/14). Suppose b = -k, 2*k + 4*b + n = b. Solve x - k + 0 = 0 for x.
4
Suppose 8 = 4*d + r, -7*r - 6 = -3*d - 4*r. Solve -5*i - 9*i = d*i for i.
0
Suppose 3*g - 48 = n, 0 = 11*g - 6*g + 2*n - 80. Let y = -8 - -15. Solve 3*a = y*a - g for a.
4
Let c be (3/(-3))/((-18)/(-4) + -5). Solve 33 = -7*x - c for x.
-5
Let t(q) = -2*q**2 + 81*q**3 + 0*q - 80*q**3 - 12*q**2 + 19 - q. Let i be t(14). Suppose 0*x = 5*x - g - 36, -8 = -3*x + 4*g. Solve i*k + x = k for k.
-2
Let d be 3/9 - ((-28)/6 + 4). Suppose 0 = 5*x + 4*w - 4, -2*x + 4*w - d = 3*w. Solve f + f = x for f.
0
Let a = -54 - -54. Solve a = 6*h + 2*h + 8 for h.
-1
Let b(f) = 2*f**3 - 2*f**2 - f - 2. Let i be b(2). Let r(c) = c**3 + 31*c**2 - 68*c - 65. Let k be r(-33). Solve -5 = -i*j - k for j.
1
Let u(l) = l**2 - 1. Suppose -4*t + 3 = -1. Let j be u(t). Solve j = -n - 1 for n.
-1
Let h = 13 + -11. Suppose h*b - 4*b + 40 = 0. Let w be b/(-15)*6/(-4). Solve -2 - w = n for n.
-4
Let a = -219 + 312. Solve a = 2*b + 103 for b.
-5
Let g = 32 + -30. Suppose g*z + 0*j - 24 = 3*j, 4*z = -3*j + 48. Solve r + z = -3*r for r.
-3
Let a(t) = -t**3 - 7*t**2 + t + 11. Let r be a(-7). Solve -r*o = -1 + 5 for o.
-1
Suppose -5*v - 5*f = -25, 3*f - 138 = v - 143. Solve v*h - 26 = -1 for h.
5
Suppose 4*r - 7 + 3 = 4*d, -4*r = 3*d - 18. Let k = 0 + d. Let n(a) = a**2 - 6*a - 16. Let z be n(8). Solve z = -k*f - 2 for f.
-1
Let x be (-1)/((-1)/7 + 0). Let n = -6 + x. Let i be -1*(-3 - -2) - (-18)/6. Solve i*m + 21 = n for m.
-5
Suppose 0 = 2*s - 2*h - 8 - 2, h + 7 = 3*s. Suppose 2*g - 1 = s. Solve 4*w - 13 = -g for w.
3
Let v = -6 - -13. Let p be ((-24)/(-140))/((-2)/(-14))*10. Let s = p - v. Solve -s*j - 12 = -j for j.
-3
Suppose -144*n - 301 = -151*n. Let b = -40 + n. Solve b = 5*k - 2 for k.
1
Suppose p + 2*p - 222 = 4*l, 0 = -4*l - 4*p - 208. Let f = l + 59. Solve 3*a - 4 = f for a.
3
Suppose 11*i + 40*i - 1275 = 0. Solve -7*z + i = 53 for z.
-4
Let q(j) = 11*j**3 + 7*j**2 + 9*j - 9. Let r(w) = 5*w**3 + 3*w**2 + 4*w - 4. Let o(d) = 4*q(d) - 9*r(d). Let b be o(1). Solve 2 = -x - b for x.
-2
Suppose 0 = z + 2*h + 4, 2*z + 2*h + 5 - 1 = 0. Suppose z = -3*l - l. Let f = 13 + -8. Solve -5*d - f = -l for d.
-1
Let o = -7 + 12. Let n(k) = -4*k + 10. Let c(a) = 5*a - 10. Let h(r) = o*c(r) + 6*n(r). Let w be h(-8). Solve 6*d = w*d for d.
0
Let g = 13 - 12. Let l be (2 + g)*4/12. Solve 0 = 3*q - 2 - l for q.
1
Suppose -16*x - 4 = -100. Suppose -6 = -5*u + 3*b, -3*b - 3 - 3 = -u. Solve u = -3*g - 0*g - x for g.
-2
Let c be 32/(-64) + (89/2 - 1). Solve 5*k = -58 + c for k.
-3
Let d = -3 + 5. Let m be (-91)/14 + (-1)/d. Let g = m - -9. Solve -3*z - g*z = 25 for z.
-5
Let t be ((-60)/(-70))/((-2)/(-7)). Solve 6*j + 3 = -t for j.
-1
Let d = 17 - 7. Let q(v) be the first derivative of -2*v**2 + 32*v - 31. Let p be q(8). Solve -6*t + t + d = p for t.
2
Suppose 3*j = -4*o - 8, 24*o - 21*o = -j - 1. Solve -4 = s + o for s.
-5
Suppose -3*w + 42 = 3*w. Let t(k) = -k**2 + 11*k - 8. Let l be t(w). Solve 0 = 4*q - 0 - l for q.
5
Suppose -54 = -4*v - 6. Let l = 14 - v. Solve 10 = 3*p - l for p.
4
Suppose -3*g + 8172 = g - 2*w, w = 4*g - 8174. Let h be g/35 + (-4)/10. Let d be h/18 - (-12)/(-54). Solve -2*n = d*n for n.
0
Let n be (-2)/10 - 112/(-10). Suppose n*s - 16 = 7*s. Solve -s*z = z for z.
0
Suppose -4*k + 6 = -k. Let u be -12 - -12 - (0 - k). Suppose -w - 3*p - 22 = u*p, -4*w + 7 = p. Solve 9 = w*q + 3 for q.
2
Let o be 49/(-5 - -12) - 7. Solve 4*w + 3 - 23 = o for w.
5
Suppose 0 = 34*g + 2340 - 10024. Solve 0 = -g*o + 228*o + 4 for o.
-2
Let b(h) = 10*h**3 - 2*h + 2. Let i be b(1). Suppose 2*j = 7*j - i. Solve 3*c - j*c = 0 for c.
0
Let v(b) = -b**2 + 20*b - 85. Let f be v(8). Solve 0 = -f*n - 16*n for n.
0
Suppose -4*p = -k - 9*p - 20, -5*k + 5*p + 20 = 0. Let a be 8 + -3 - k*(0 + 1). Solve 4 = -3*x + a*x for x.
2
Suppose -8*y + 6*y = 34. Let k = 21 + y. Suppose -5 = -g - 1. Solve -k - 4 = g*t for t.
-2
Suppose 0 = -o - 3*f + 5, -5*o - 2*f = -15 - 10. Solve -2*j + o*j = 3 for j.
1
Let q be ((3 - 6)/3)/(10/(-590)). Solve 51 - q = 2*v for v.
-4
Let z(y) = -2*y**3 - 5*y**2 + 9*y - 12. Let t be z(-4). Solve t = -f + 11*f + 50 for f.
-5
Suppose -3*d + 3*v = d - 8, 5*d + 5*v = 10. Let r(g) = 4*g**3 + g. Let m be r(-1). Let b = m + 10. Solve k = d*k + b for k.
-5
Let q(p) = 5*p - 125. Let c be q(25). Solve 12*k - 5*k = c for k.
0
Let o = -1 + 3. Let n(t) = -t**2 - 3*t - 2. Suppose q = -3*l - 6, 2*l + q = 3*q - 4. Let j be n(l). Solve j = -o*x + x for x.
0
Suppose -3*i + 17 = 5. Suppose 37 = i*x + 13. Solve -x*g + g = 0 for g.
0
Let c = -646 - -666. Solve -9*w + 5*w = -c for w.
5
Let m(n) = n**3 - 16*n + 2. Let l be m(4). Solve -3*d + 0*d = l*d for d.
0
Let n = -7 + 19. Let g(h) = 4*h**2 - 12*h - 4. Let v(z) = 9*z**2 - 24*z - 8. Let m(x) = -7*g(x) + 3*v(x). Let r be m(n). Solve -c - 9 = -r*c for c.
3
Let x be (46/23)/(1 - (-5)/(-6)). Solve 6*v = 3*v + x for v.
4
Suppose -5*g - 2*m + 1 + 2 = 0, 0 = 3*g + 2*m - 1. Let c = g + 7. Let s be 6*(c/6)/2. Solve 4 = s*r - 2*r for r.
2
Suppose 0 = 8*x - 1 + 1. Solve x = 3*w + w + 16 for w.
-4
Suppose -b - 4 = -2*t - 15, -b = t - 11. Solve -b*d = -2*d + 45 for d.
-5
Suppose -5*b = -h + 18, -4*h + 4*b = -9*h + 90. Let y = -6 + 10. Suppose y*z - 26 + h = 0. Solve -2*g = -4*g + z for g.
1
Suppose -5*t - 19 = -29. Suppose m = -4 - 8. Let g be -10*2/m*3. Solve -t*n - g = -n for n.
-5
Let o(d) = 4*d**2 + 9 - 3*d**2 + 0*d**2 - 7*d - 2*d**2. Let t be o(-8). Let j be (10 + -11)*(-3 + t). Solve j*z - 3*z = 5 for z.
-5
Let c = 441 + -439. Solve 0*p + 8 = -c*p for p.
-4
Let b(n) = -n**3 - 8*n**2 + 10*n + 9. Let p be b(-9). Let z(l) = -l**3 + 9*l**2 + l - 7. Let y be z(9). Solve -y = -p*x + x for x.
-2
Let h(b) = 13*b - 14*b**2 + 16 - b**2 + 5*b**2 - b**3. Let s be h(-11). Let o = s + 9. Solve -y + o = -2 for y.
5
Let x be ((-312)/(-16))/(9/(-24)). Let l be (-20)/(-70) + x/(-14). Solve 8 = 2*j - l*j for j.
-4
Let i(l) = l**3 + 71*l**2 + 139*l + 78. Let w be i(-69). Solve -120*v = -123*v - w for v.
-3
Let s = 270 + -264. Solve 2*z - s*z - 8 = 0 for z.
-2
Suppose 0 = 6*r - 3*r - 24. Suppose 0*n - 4*n = -r. Suppose -n*z - i + 1 + 0 = 0, -5*z - 3*i = 0. Solve p = -z - 1 for p.
-4
Suppose 0 = -i + 25 - 29. Let y be ((i - (-3 + -6)) + -4)*1. Solve 2*n + 3 = -y for n.
-2
Let w = -3091 + 3101. Solve 14 = -f + w for f.
-4
Let i be (4 - (5 - 2)) + 1. Suppose 5*r + z = 129, i*z - 32 + 164 = 5*r. Suppose r = 2*c + 16. Solve -2*o + c*o = -15 for o.
-5
Suppose 4*r = 3*d, 0 = 2*r - 7*r + 5*d. Let c be ((-10)/4 - -3)*r. Solve c*s - 10 = 2*s for s.
-5
Let l = -1055 - -1067. Solve 0 = 6*m - 3*m - l for m.
4
Let b = 31 - 26. Suppose 2*k = -4*o, -b*o + 2*k - 24 + 6 = 0. Let r = -1 - o. Solve -y + r - 4 = 0 for y.
-3
Let i = -23 + 105. Let n = i + -73. Solve 6*l - 3*l = -n for l.
-3
Suppose 3*z + t + 4 - 15 = 0, -3*z - 4*t + 26 = 0. Let r be (1 - 2 - (4 + -7)) + 41. Let n = r - 40. Solve 0 = -l + z - n for l.
-1
Suppose -10*i - 2 + 62 = 0. Solve -12 = 9*c - i*c for c.
-4
Suppose -3*b - 25 = 2. Let w be 