- 4. Let s be z(i). Let p = -1875 + 1881. Solve -p = d + s*d for d.
-2
Suppose 23 - 3 = 5*l. Solve l*m - 2*m = 0 for m.
0
Suppose 6 = 3*y, 2*k + 0*y = -4*y + 32. Let i be (-40)/k*(-12)/(-8). Let x(w) = w**2 + 4*w - 2. Let o be x(i). Solve -j + o = -4*j for j.
-1
Suppose 3*q = -0*q + t + 2, -3*q - 3*t + 18 = 0. Suppose 5 - q = b. Solve 0 = b*s - 2*s + 2 for s.
-2
Suppose 2*u = -5*q - 106 - 46, 3*q = 2*u + 152. Let n = u - -88. Solve -2*z - z - n = 0 for z.
-4
Let y = -55 + 54. Let t(b) = 15*b**2 + 1. Let w be t(y). Solve 0*g - 4*g + w = 0 for g.
4
Let t(y) = 8*y - 143. Let b be t(19). Solve -b*q - 10 = -1 for q.
-1
Let w(k) = -k**3 - 4*k**2 - 2*k - 6. Suppose p = 5*g + 2*p + 17, 0 = 4*g + 2*p + 10. Let h be w(g). Solve 0 = 4*f - 22 + h for f.
5
Suppose 0 = 3*k - 9, -2*u + 3*k + 0*k - 9 = 0. Suppose 5*l - 27 + 2 = u. Let x be 4/(-8) + 99/6. Solve -x = h - l*h for h.
4
Suppose 5*s + 2*j - 63 = 0, -6*s + s + 4*j = -69. Solve 8*k - s*k = 25 for k.
-5
Let n(c) = -2*c**2 + 82*c + 8. Let v be n(41). Solve b + v - 11 = 0 for b.
3
Let x = 336 - 316. Solve 52 = 8*s + x for s.
4
Let s be 2/8 - (-1113)/28. Let m = s + -40. Solve 0 = -3*d - m - 3 for d.
-1
Suppose -15 - 1 = -4*s. Suppose -o - 2 = -4*d - 5, d = -s*o + 12. Solve 0 + o = p for p.
3
Suppose x - 12 = 12. Suppose -2*s = -6*s + x. Let a(r) = r - 4. Let h be a(s). Solve -h = -0*b + b for b.
-2
Let c be ((-6)/(-4))/(3/6). Suppose 0 = -q - 4*q + 35. Suppose 3*p + 8 = q*p. Solve 0 = -b - p*b - c for b.
-1
Let j be (10 - 8) + (-2 - -4). Suppose 2*t + 30 = -j*t. Let l be (-13)/t + 4/10. Solve -l*b = -0*b - 9 for b.
3
Suppose -15*j - 36 = -24*j. Let h be 16/(-4)*1 + j. Solve h = -2*s - 14 + 4 for s.
-5
Let b(w) = -2*w - 23. Let h be b(-10). Let j be (-3)/(h/(-4))*6/(-8). Solve -j*z - 8 = -z for z.
-4
Suppose 4*u - 50 = -5*y, 0 = -2*y + 3*u - 6*u + 27. Suppose 3*p = y + 3. Solve p*s = -2*s - 10 for s.
-2
Suppose 0 = -p + 72 - 69. Let i be p - (4 + -4) - -1. Solve -k = k + i for k.
-2
Let s(z) = z**3 - 34*z**2 + 124*z - 2. Let j be s(4). Solve 4*d - j + 10 = 0 for d.
1
Let i(f) = -f - 1. Let c be i(-4). Suppose -75 = c*j - 8*j + d, -75 = -5*j + 4*d. Let l = -10 + j. Solve -l*r = -3*r + 4 for r.
-2
Suppose -19 = 36*r - 127. Solve -r*l + 3 = 9 for l.
-2
Suppose -38*k = -3*k - 875. Solve 5*p + 10 = k for p.
3
Let n(t) = t + 6. Let j be n(2). Suppose 7 = -3*b - j, -p = -3*b - 18. Solve -9 - 6 = -p*u for u.
5
Let s be 2/4*728/14. Let i = s + -21. Solve i*y = y for y.
0
Let z(k) = k**3 + 7*k**2 + 5*k + 4. Suppose -3*o - 5*n - 38 = -0*o, 2*n + 14 = -o. Let r be z(o). Solve l = -l + r for l.
5
Let c(x) = -x**2 + 41*x - 179. Let b be c(36). Solve -2*p + 3 + b = 0 for p.
2
Let r(m) = 2*m**2 + 4*m + 5. Let v(t) = t**2 + t + 1. Let w(c) = -r(c) + 6*v(c). Let u be w(-1). Solve x - 2 = u*x for x.
-1
Suppose k - 6 = -2*m + m, -k + 5*m = 0. Let q be (k/2)/(1/2). Suppose 2*w - 10 = -5*t, 0 = w - 2*t - 0 - q. Solve -w*o + 16 = 6 for o.
2
Suppose 3 = -5*n - 2*y - 3, 12 = -n - 4*y. Solve -2*r - 5*r = n for r.
0
Let x = 483 - 478. Solve -x*w - w = 0 for w.
0
Let v(u) = 2*u**3 + 13*u**2 + 17*u - 29. Let o(b) = -b**3 - 6*b**2 - 9*b + 15. Let z(t) = 5*o(t) + 3*v(t). Let i be z(-8). Solve -h = h + i for h.
-2
Let t be -316*(-4)/24 + (-3)/(-9). Solve t - 68 = 5*o for o.
-3
Suppose -4*c + 30 = 10. Suppose -c*t - 3*p + 6*p = 15, -5*p + 25 = 3*t. Solve 5*d + 5 = -t*d for d.
-1
Let u(v) = v**2 + 39*v - 149. Let q be u(4). Solve -16*p + q*p + 21 = 0 for p.
-3
Let o be -11 + 17 - (-2 + 5). Suppose -o*q - 2*m + 13 = 0, 0 = -4*q + 5*q - 4*m - 9. Solve -q = y - 1 for y.
-4
Suppose 9*t + 565 = 14*t. Suppose t*v = 112*v + 3. Solve v = 9*c - 10*c for c.
-3
Let d be (-35 - -2)*1/3*-1. Solve 4*t - d*t + 28 = 0 for t.
4
Suppose 40*s = 35*s. Let v be s/(3 + (-3)/(6/10)). Solve -5*d = -v*d for d.
0
Suppose 23*g = -376 + 652. Let d = 2 - 0. Let v = -2 + d. Solve v*x = 3*x - g for x.
4
Let a be (-3 + 4 + -1)/(-2). Suppose 0 = 3*y - 5*m - 8, 4 = -3*m - m. Solve a - y = -l for l.
1
Suppose 3*g = -z + 5*z - 59, -2*z = 2*g - 26. Solve z*x + 18 = 74 for x.
4
Let b be 0*(1 + (-1 - -1)). Let i(p) = p**3 + 6*p**2 - 2*p + 8. Let l be i(-6). Suppose -l = -5*s - c, 2*s - 4 = -c + 1. Solve b*m - m = s for m.
-5
Let y(u) = 46*u**2 - 54*u + 113. Let r be y(2). Solve 0 = 188*j - r*j for j.
0
Let x be (-5 + 1)/((-46)/276). Solve -x = -20*p + 26*p for p.
-4
Suppose 0*l - 67 = -4*l - v, v = -5*l + 85. Let t be (-2)/(-6) - 6/l. Suppose t*z + z = 20. Solve -4*m = -0*m - z for m.
5
Let n(u) = -4*u - 23. Let c = 2 + -17. Let h be n(c). Let z = -34 + h. Solve -z*t = -7 - 2 for t.
3
Let l = -762 + 769. Solve -l*p + 56 = -21*p for p.
-4
Suppose 4*k + 5*z - 128 = 7*z, k = -z + 35. Solve 2*t - k = -27 for t.
3
Suppose 4*h = -3*b - 11, 8*h - 4*h + 29 = 3*b. Solve 16 = -i - b*i for i.
-4
Let n(t) = 20*t**3 - 2*t + 2. Let s be n(1). Let f(c) = c**3 + 12*c**2 + 12*c + 11. Let q be f(-11). Solve q*b - s = -5*b for b.
4
Suppose -4*g + 0*v + 130 = 2*v, -5*g + v = -159. Solve 19*d = 11*d - g for d.
-4
Suppose 261*o - 28 = 257*o. Solve o*n = -5 + 12 for n.
1
Let h(z) = 2*z**2 + z + 23. Let v(n) = n**2 + n + 12. Let r(d) = -6*h(d) + 11*v(d). Let o be r(3). Solve o = 4*y + 15 - 7 for y.
-2
Let z = 580 - 555. Solve 0 = 85*v - 90*v + z for v.
5
Let d be -4 + 44 + 4/1. Let j = d - 16. Let s be (-1)/(-4) + 49/j. Solve -c - s*c = 15 for c.
-5
Suppose -9 = -7*l + 12. Suppose -l*t = -5*t. Solve 0*q - 5*q - 15 = t for q.
-3
Let f be (2 - 4)*3/(-2). Suppose -f*b = b. Solve b = 3*u + 8 + 1 for u.
-3
Let n be 0*((-5)/3 + 2). Let f be ((-54)/(-45))/(2/5). Let h = f + n. Solve c + h*c = 0 for c.
0
Suppose 27*p - 34*p = -63. Solve p*o = -34 - 2 for o.
-4
Let f(l) = 2*l**2 - l - 1. Let j be f(-1). Let g(p) = -39*p**3 - p**2 + 2*p - 1. Let z be g(1). Let i = -24 - z. Solve j*k - i = -k for k.
5
Suppose -b = -0 - 2, -21 = -5*c + 2*b. Solve 15 = c*l + 20 for l.
-1
Let q = 86 - 86. Suppose -4*j = 2*c + c + 3, 2*c + 10 = q. Solve -b = -j*b for b.
0
Suppose 4*i - 2*q = 3*q - 8, -5*i = 4*q - 31. Let f be -1 - (i + -3) - -5. Solve f*p = 10 + 2 for p.
3
Let r = -1439 + 1439. Solve -8*o - 18 + 34 = r for o.
2
Let w be 0*(8/10 - (-13)/(-10)). Solve w = 8*l - 5*l for l.
0
Suppose -f - 120 = -16*f. Solve i + 4 = f for i.
4
Let x = 128 - 108. Let s = x + -20. Solve s = -0*y - y for y.
0
Suppose 17*w + 250 = 27*w. Suppose -3*t - 4*c + w = 0, t - 5*c = -1 - 16. Solve t*r - 3 + 0 = 0 for r.
1
Suppose 0 = -20*p + 693 + 727. Let d = p + -71. Solve d = 4*h + 3 + 5 for h.
-2
Suppose 0 = 5*r + 413 - 433. Solve -r*p - 1 = -5 for p.
1
Suppose 3*p = -11 + 47. Let w be p + -3 - (1 - -2). Suppose w = 3*y - 0. Solve a = -y*a - 15 for a.
-5
Let n(v) = -3*v + 18. Let i be n(5). Solve -i*h - 5 = 2*h for h.
-1
Suppose 0 = 4*q + 12, -m + 3 = -q + 2. Let p be (7/m)/7*-2. Let x = 4 - p. Solve 0 = x*v - v + 8 for v.
-4
Let j(m) = m**2 + 23*m + 92. Let w be j(-18). Solve -5*z + w*z = 3 for z.
-1
Let p be (-1)/((-4)/(-8)) - (8 + -12). Solve -p*w = -3*w - 4 for w.
-4
Let n be (2 + (-7)/3)/(1/(-15)). Solve 10*a - 15 = n*a for a.
3
Let a be 1*30/4*(5 + -3). Let h = -11 - 0. Let k = h + a. Solve 0*w = k*w + 8 for w.
-2
Let v = -255 + 261. Solve -d = 2*d - v for d.
2
Let g be 2/(-1*(2 + -3)). Let w be (-3)/g*(2 + (-4)/1). Solve -2*p = -p - w for p.
3
Let x = 84 - 82. Solve 0 = -4*l + l - x*l for l.
0
Let l = 64 - 45. Suppose l*d - 14*d = 0. Solve -3*u + 1 + 2 = d for u.
1
Let u = 5 - -23. Let j be (-62)/(-8) + 7/u. Suppose -37 = -3*y + j. Solve b + 4*b = y for b.
3
Suppose -1 = 2*i - 5. Let l be 7 + 24/(-6)*i/2. Solve 2*k = -l*k for k.
0
Let s be ((-4)/(-8)*-2)/(9 - (-259)/(-28)). Suppose d = 3*z - 3*d - 17, 2*z = 5*d + 16. Solve -5*y + s*y = z for y.
-3
Suppose -2*p + 494 = 2*t - 0*t, -t + 4*p + 247 = 0. Solve 252*b = t*b for b.
0
Let d(l) = l**3 + l. Let x(s) = -s**3 + 8*s**2 - 13*s - 21. Let g(u) = -2*d(u) - x(u). Let m be g(-9). Solve m*n = 5 + 4 for n.
3
Let d(p) = 1 + 0*p + 3*p + p - 5*p. Let y be d(1). Let c be 6/8 - (-6)/(-8). Solve c*x - 3*x = y for x.
0
Let u be 36/(-144) + -1 + (-29)/(-4). Solve 5*f - u = -21 for f.
-3
Let s(q) = q**2 - 3*q - 4. Let b be s(4). Suppose 4*v = -b*v + 2*x - 6, -4*v = -3*x + 11. Solve 4*g + 3 = -v for g.
-1
Let o(h) = -h**3 + 7*h**2 + 2. Suppose -28 = -4*n + 4. Let r = n + -1. Let k be o(r). Solve k*