text:  = -2*i - 0, -4*s = 3*i - 8. Let j(c) = -c**3 + 24*c + 23. Let a be j(-1). Solve -z + a = -s for z.
  5
  Suppose -o - 1 = -w, o + 2*w + w - 15 = 0. Suppose -4*j + 2*r + 4 = 0, -7 = -o*r + 5. Let f be ((-6)/7)/((-6)/28). Solve j - 7 = -f*h for h.
  1
  Let o(p) be the first derivative of p**7/840 - p**4/24 - 5*p**3/3 - 2. Let x(g) be the third derivative of o(g). Let r be x(1). Solve 5*k + 5 = -r for k.
  -1
  Let r = 40 - 39. Suppose 2*c + 3*c - 10 = 0. Let p be 5/c*8/5. Solve 0 = -w + p - r for w.
  3
  Let d be ((-98)/70)/(-1 - (-4)/5). Suppose -z = 2*t - 6 + 1, -3*z + 2*t + d = 0. Solve -p + 16 = z*p for p.
  4
  Let i = 238 - 220. Solve 3*f - 9*f - i = 0 for f.
  -3
  Let m be (122/(-31) - 56/868) + 33. Solve 40 + 18 = m*r for r.
  2
  Let h be 4/10 + 724/(-10). Let a = h + 72. Solve -2*g - 6 = -a*g for g.
  -3
  Suppose 2*s = 25 + 9. Suppose -4*n = -53 + s. Solve -d - n = -4 for d.
  -5
  Let h be -3 + 20/(-14)*-7. Solve -33 + h = 13*c for c.
  -2
  Let g be 68/14 + -4 + 174/42. Let b be -1 + (6/(-10))/((-1)/g). Solve b*a - 17 + 7 = 0 for a.
  5
  Let l be (6/2)/(-3)*8. Let u be (-4)/l - (-27)/6. Let i be ((-28)/70)/((-1)/u). Solve 12 = i*r + r for r.
  4
  Let z(i) = 27*i**3 + 4*i**2 - 5*i. Let b be z(1). Solve 2 = -6*s + b for s.
  4
  Let z(o) = o**3 - 7*o**2 + 6*o - 1. Let q be z(6). Let m be q*(0/(-2) - 2). Let w = 274 + -272. Solve 0*c + m*c + w = 0 for c.
  -1
  Let a be (-1)/7 - 1564/(-119). Solve 4*l - a = -5 for l.
  2
  Let d be 10/7 + 18/(-42). Solve 0*l = -l - d for l.
  -1
  Let m = -17 - -18. Suppose 27 = 2*w - m. Suppose -5*z + w + 11 = 0. Solve -4*b = z - 1 for b.
  -1
  Let y be (-2)/(-6)*3*(0 - -2). Suppose -y = 4*g + 3*k - 11, 2*k - 6 = -5*g. Solve g = 6*i - i for i.
  0
  Suppose 0 = q + 14 - 19. Suppose u - 4*u + 15 = q*k, 0 = 3*u. Solve k*p + 8 = p for p.
  -4
  Let f = -18 + 71. Suppose -5*l + f = 8. Solve 5*s - 29 + l = 0 for s.
  4
  Let i = -1368 + 1392. Solve 5*r + 3*r = i for r.
  3
  Let i = 26 + -26. Let q be (-7 + 1)/(-3 + i). Let l be 0/(q - (-2 + 2)). Solve 4*h - 3*h + 4 = l for h.
  -4
  Let x = 302 + -300. Suppose n - 42 = -4*k - 3, -k + n = -16. Let b = k - 8. Solve -3 - b = x*j for j.
  -3
  Suppose k = 3 + 1. Suppose 0 = 3*w - k*g, 3*w - g = -2*g. Solve w*b + 3 = -b for b.
  -3
  Let s be (3/(-2))/((-792)/256 + 3). Solve 4*a - 60 = s*a for a.
  -5
  Let z(f) = -f**2 + 10*f - 18. Let d be z(4). Let y be 3 + (3 - (-21)/(-6))*d. Solve 0 = -2*c - 4 - y for c.
  -2
  Suppose -2*u + 2*h - 8 = 3*u, -3*u - 5 = -h. Let g be (0 + -1)*(u + 0). Suppose g*o - 39 = -31. Solve -o + 16 = -4*f for f.
  -3
  Let q(t) = -5*t - 26. Let o be q(-14). Let v = o + -41. Solve -v*f + 4 = 1 for f.
  1
  Let k = 5 - 6. Let w be 5/10*(-1 - k). Solve -m + 0 - 4 = w for m.
  -4
  Let m be 12/9*(8 - (-30)/(-24)). Solve 0 = 6*b - m - 3 for b.
  2
  Let f be 60/8*(-144)/(-30). Solve 40*v + 4 = f*v for v.
  -1
  Let b = 69 + -101. Let w be 3/(-2)*b/12. Solve w*n = n - 6 for n.
  -2
  Suppose -9*j + 75 = -8*j. Let s = j - 75. Suppose 0 = -p, -4*p + 7*p + 3 = y. Solve -3*r + s = y for r.
  -1
  Let k(m) = m - 6. Let f(b) = b**2 - 2*b - 9. Let i be f(5). Let g be k(i). Solve g = w - 2*w for w.
  0
  Suppose 160 = 4*m + k - 2*k, 4*k = 4*m - 160. Suppose 0*p = -5*p + m. Suppose 2*y = x - p, -3*x = x + 5*y + 7. Solve x*g - 5 = -3*g for g.
  1
  Suppose -24*k - 10*k + 918 = 0. Solve -3*n - 6*n + k = 0 for n.
  3
  Suppose 8*q = 160 + 72. Let n = 33 - q. Suppose 3*z - 3*v + 5*v - 3 = 0, -4*v = -4*z + 4. Solve z - n = -g for g.
  3
  Suppose -3*q + 48 = -111. Let l = -22 + q. Let h = 47 - l. Solve 4*a - 4 - h = 0 for a.
  5
  Let s be ((-3)/(-9))/((-2)/(-6)). Suppose 3*z + l - 7 = -0*z, z + l = s. Solve -15 = -z*k + 6*k for k.
  -5
  Suppose -v = 4*w + 4, 3*v + 3*w - w - 8 = 0. Let k(h) = h**2 - 3*h - 1. Let u be k(v). Let q be 92/6 + (-4)/(-6). Solve u*p = -p + q for p.
  4
  Let m be (0/(-37))/(5 + -1). Solve 13*o + 1 - 1 = m for o.
  0
  Suppose 7*u - 11 - 24 = 0. Solve -4*k = k - u for k.
  1
  Let q(g) = g**3 + 13*g**2 + 12*g + 11. Let j be q(-11). Let d be 2/11 - 22/j. Solve d = -u - u - 6 for u.
  -3
  Let w be 7 - (1 - (4 - 5)). Suppose -2*f + 18 + 10 = 3*b, 0 = 3*b + w*f - 25. Solve -b = -3*j + j for j.
  5
  Suppose 2*j + 30 = 40. Solve 4*s + 5 = j*s for s.
  5
  Let w = -387 + 387. Solve 0 = -w*o - 2*o + 2 for o.
  1
  Suppose -s - 27 = -2*i, -i + 33 - 6 = -5*s. Suppose -3*d + i = 6. Solve -4*a = 10 - d for a.
  -2
  Suppose -4*k + 7*k = 30. Suppose k = -2*q - 4*h, 3*h = -5*q + q. Solve 7*m + 8 = q*m for m.
  -2
  Suppose 5*k = -3*p + 2, -k - 2 = -4*k - p. Solve -2*d + k = -d for d.
  1
  Suppose 0 = i + 4*u - 25, 2*u - 19 + 78 = 5*i. Solve -9*f = -i*f for f.
  0
  Suppose 63 = 4*w - 1. Suppose 4*j + w = -4*b + 6*b, 5*b + 2*j - 16 = 0. Solve -b*o - 7 = 1 for o.
  -2
  Let w be (-2)/4*0*1. Let n be (1 - w) + (-26)/(-1). Suppose -24*o - 9 = -n*o. Solve 8*k = o*k + 15 for k.
  3
  Let v be 10/(20/9)*2. Solve v*b = 17*b + 16 for b.
  -2
  Suppose -7*n = -2*d - 5*n, 12 = 3*n. Solve 4*b - 6*b = -d*b for b.
  0
  Suppose 0 = 3*h - 19 + 16. Solve -1 - h = -2*d for d.
  1
  Let r(x) = 2*x**3 + x**2 - 6*x + 5. Let s be r(1). Solve a - 1 + s = 0 for a.
  -1
  Let d(g) = -g**2 - 47*g - 170. Let u be d(-43). Solve 3 + 7 = -u*b for b.
  -5
  Let y(u) = u. Suppose -5*c + 2*m = 4 - 125, 3*c - 73 = m. Let p be (10/c)/(2/10). Let i be y(p). Solve -i*d = 3*d for d.
  0
  Let w = -645 - -653. Solve -3*u = -u - w for u.
  4
  Let d be (-8)/28 - 16/(-7). Suppose p - d = 3. Suppose -2 + p = b. Solve b*v = -v - 12 for v.
  -3
  Suppose -25*n + 35*n = 190. Solve -n*z + 8*z = 11 for z.
  -1
  Suppose 6*m - h = m + 19, 3*m = 2*h + 10. Solve -9*o + 11*o + m = 0 for o.
  -2
  Let c = 88 + -65. Solve 0 = -4*m - 7 + c for m.
  4
  Let p = -58 - -54. Let w be 2*(-4 + 3) - p. Solve w*o + 16 = -2*o for o.
  -4
  Let k = -45 - -54. Suppose -3*h + 1 = 2*z - k, z + 6 = 4*h. Solve 0 = 2*t + z*t + 8 for t.
  -2
  Suppose 0 = -0*z - z + 2. Suppose 0 = 5*m - 0*g + 4*g - 56, -m + z*g = -14. Solve m - 2 = -2*y for y.
  -5
  Let s(x) be the first derivative of -5*x**2/2 - 29*x + 16. Let o be s(-6). Solve -i + 2 = -o for i.
  3
  Let p be (-9)/(30/(-21) - -1). Solve -4*w + p = 5 for w.
  4
  Suppose 8*b - 7*b = 0. Suppose -5 = -5*n - b*n. Suppose -4*m + 4*h = -n + 9, -5*h + 25 = 0. Solve -4*d = m + 17 for d.
  -5
  Suppose 4*f - 73 = p - 0*p, 3*p = 4*f - 75. Suppose -2*x = -20 + f. Solve x = -2*o + 5 for o.
  2
  Let h(z) = 3*z**3 - 3*z**2 + 3*z - 1. Let g be h(1). Suppose 0 = -g*n + 17 - 13. Solve 2*t + 20 = -n*t for t.
  -5
  Let y be -5 + 5 + (0/(-2))/(-1). Let c be (-50)/(-20) + (2/4 - y). Solve -c*i = -8*i - 10 for i.
  -2
  Suppose -33 = s - 5*n - 4, s + 3*n - 11 = 0. Let g be (-2)/s*(9 - (-20)/(-4)). Solve -5*p + g = -4*p for p.
  2
  Let r be 134/14 + (-4)/7. Let z(p) = p**2 + 5*p**2 - 3 - 2*p - r*p**2 - p**3. Let u be z(-3). Solve 0*b + 3 = u*b for b.
  1
  Suppose 3*s - 3 = s + h, -2*h = -s + 6. Solve -5*b + 0 + 5 = s for b.
  1
  Let z be 0 + -6 - (5 + -16). Solve 0 = -3*l + 4 + z for l.
  3
  Let g = 98 - 27. Let i = -69 + g. Solve -i*z - 2*z - 12 = 0 for z.
  -3
  Suppose -8 = -4*i - 4*t + 8, 3*i + 4*t = 13. Solve i*b = -7 + 1 for b.
  -2
  Suppose -811 = -3*j - 772. Solve 0 = -3*v + j*v + 20 for v.
  -2
  Suppose 4*j + 66 = 86. Solve 2*q - j*q = 0 for q.
  0
  Suppose 6 = 2*x - 0. Let y be (4/8)/(x/30). Solve 0 = -l - 0*l - y for l.
  -5
  Let z(s) = s**3 + 4*s**2 - 4*s - 4. Let f be z(-4). Let h = 15 - f. Solve -3*l - h = -2*l for l.
  -3
  Suppose 4*g = -3*x + 47, -2*g = x - 27 + 6. Solve -t + 4 = g for t.
  -4
  Suppose 0 = 32*r - 2362 - 3878. Solve 6*g = -219 + r for g.
  -4
  Suppose -119*p + 111*p + 24 = 0. Solve -p*v + 0 = -9 for v.
  3
  Let r(j) = -j - 42. Let a be r(-19). Let o = a - -26. Solve -o*f = -f for f.
  0
  Let h(d) = d + 2. Let g be h(-2). Let t(x) = x**3 + 5*x**2 - 12*x + 17. Let n be t(-7). Solve 9 = -n*f - g for f.
  -3
  Suppose -3*m + 20 = -25. Let y be 1/6*2 + (-5)/m. Let g be 3/6 + (-3)/(-2). Solve -l - g*l + 3 = y for l.
  1
  Suppose -s + 0 = -1. Let w be 24/2*s/2. Let v be (w/(-9))/(6/(-27)). Solve v*p = -p for p.
  0
  Let q be (-30)/60*(-3 - -3). Solve -281*p + 284*p - 12 = q for p.
  4
  Suppose 0 = -2*m + m. Suppose m = -4*o - 4*l - 4, 3*o - 2 = -4*l - 9. Suppose 5*t - 2 = o. Solve -k = -0*k - t for k.
  1
  Let r be (-260)/50 + (-4)/5. Let y = 11 + r. Suppose u = m - 5, -3*m + 0 = -y*u - 15. Solve -4 = -n + m*n for n.
  -1
  Let o = 11 - 3. Suppose 3*x - 21 = -3*v, 4*v - 36 = -x - o. Solve k + v = 2 for k.
  -5
  Let h(g) = -g**3 - 3*g**2 - 16*g - 37. Let f be h(-3). Solve -2 = -f*j - 4