text: e 0 = 22*f - m*f - 95 for f.
  5
  Let d = -9306 - -9310. Solve -4691 = d*k - 4707 for k.
  4
  Let x be 21/2*3564/486. Solve 27 = 10*d + x for d.
  -5
  Let v(l) = -10*l - 6. Let g be v(-1). Suppose 5*b = -m + 5*m - 22, -2*m + 4 = b. Solve -5 - g = -m*h for h.
  3
  Let f(t) = -18*t**2 - 1367*t + 113. Let x be f(-76). Solve -81*m = -118*m - x for m.
  -1
  Let q(o) = o**3 + 9*o**2 - o - 24. Let g be q(-9). Let c be 9/15 + (-36)/g. Solve -3 = -c*x + 2*x for x.
  3
  Let l(h) = 11*h + 116. Let y be l(-10). Suppose s = y*s + 19*s. Solve s = 5*n - 5 - 15 for n.
  4
  Let a = -4672 + 4663. Let g be (-1)/2 - 45/(-10). Let r be (g/(-12) + 3/a)*-3. Solve h - 3 = -r*h for h.
  1
  Let u be ((-165)/77)/15*-469. Solve 207 - u = -35*v for v.
  -4
  Suppose -962 - 1978 = -7*j. Suppose 4*x = -16*x + j. Solve x = 4*q + 1 for q.
  5
  Let k = -276 - -280. Suppose f - 5*o = -3*f + 47, k*f = 4*o + 52. Solve -f*j + 9 = -21*j for j.
  -3
  Suppose 3*d - 1 = -2*q + 18, -4 = 3*q - 2*d. Suppose -q*r + 4 = 2*f, -2*r - 5*f = -5*r + 14. Solve 0 = -r*i + i for i.
  0
  Let s(i) = i**3 + 5*i**2 + 4*i + 3. Let n(f) = -3*f + 17. Suppose u - 8*a + 4*a = 11, -2*u - 4*a = -10. Let z be n(u). Let v be s(z). Solve -3*p + v = 6 for p.
  -1
  Let s(d) = 3*d**3 + 29*d**2 + d - 37. Let p(z) = z**3 + z**2 + z - 1. Let t(c) = 2*p(c) - s(c). Let f be t(-27). Solve 5*n = -f + 3 for n.
  -1
  Let x(j) = -8*j - 1. Let u be x(-1). Suppose 0 = 4*b - 2*h - 10, 2*b = u*b + 2*h + 10. Solve -4*r + 2*r = b for r.
  0
  Let g = -22244 - -22246. Solve 3*v = -4*v + g*v for v.
  0
  Suppose -27*m - 104 = -1545 + 91. Solve 29*v - m = 95 for v.
  5
  Let p be (1/1 - 0) + 17. Let o be (-3)/6*(3 - 73). Suppose -6*h + o = h. Solve 0 = -h*c - p - 7 for c.
  -5
  Let u = 26544 + -26499. Solve 1550*g + u = 1545*g for g.
  -9
  Let f = 11 + -3. Suppose f = -3*n + 17. Suppose 5*d - 36 - n = 3*h, -d + 5*h + 21 = 0. Solve -3*v + d = -6 for v.
  4
  Let y be (-21 + 0)*(158 + -161). Solve 7*u + y = 28 for u.
  -5
  Suppose -5*i + 86 = -4*i - 4*o, 4*i + 5*o = 386. Let q = i - 87. Suppose -5*z - 6 = -q*z. Solve 2*l = z*l + 2 for l.
  -2
  Let k = -2491 + 2498. Solve -k*a - 39 = -4 for a.
  -5
  Suppose -4*j = -4*v + 8, -19*j + 21*j = -v + 2. Solve j = -13*o - 5 - 73 for o.
  -6
  Let m(b) = 3*b**2 + 8*b - 15. Let q(a) = -2*a**3 + 58*a**2 - 4. Let o be q(29). Let c be m(o). Solve -4*r = 19 + c for r.
  -5
  Suppose -23*d - 1341 = 3765. Let v = d - -231. Solve 10 = 11*o - v*o for o.
  5
  Suppose 272*x - 2971 = 243*x + 5845. Solve x = -29*l - 9*l for l.
  -8
  Suppose 336*i = 5823 + 2886 + 5067. Solve 0 = -13*w + 50 + i for w.
  7
  Let t(p) = -91*p + 364. Let x be t(4). Solve -10*k + 4 + 6 = x for k.
  1
  Let m(z) = -2*z**3 - 4*z**2 - 3*z + 2. Let i be m(-2). Suppose -40*p = -73*p + 46*p - 52. Solve 0 = 2*w + p - i for w.
  2
  Let m(u) = -u - 62. Let b be m(-6). Let k be (14/(-3))/(b/84). Solve 2*v - k*v + 5 = 0 for v.
  1
  Let z(d) = -7*d**3 - 7*d + 2. Let r(t) = 6*t**3 + 7*t - 3. Let k(c) = -6*r(c) - 5*z(c). Let l be k(-4). Suppose -2*b = -6*b + l. Solve n = 6*n + b for n.
  -5
  Suppose -718*r + 524*r = -2716. Solve 0 = -r*y - 0*y + 28 for y.
  2
  Suppose -43*p + 76*p - 1452 = 0. Solve p = 30*r - 41*r for r.
  -4
  Let u = 230 - 214. Let t be 9 + 0/(7 - u). Let a be 0 - (1 - 2)*6. Solve t + a = 3*f for f.
  5
  Let q(c) = c - 25. Let f be q(21). Let n be (16 + -15)/((f/(-6))/2). Suppose -4*z + 12 = 0, 8 = -h + 7*z - n*z. Solve g = 9 - h for g.
  5
  Let t = 6648 + -6640. Solve -14*p + 16*p + t = 0 for p.
  -4
  Let q = 101 - -29. Let d = -127 + q. Solve 18 - d = 3*k for k.
  5
  Let a(f) = -f + 10. Let x be a(4). Let i be (-2)/x*(-8 - -8). Suppose 4*k - 6*k = i. Solve -3*g + 14 - 2 = k for g.
  4
  Let z(t) = -t**2 + 3*t - 3. Let n be z(2). Let s be (n + 2/(-2))*(-69)/(-6). Let y = s - -27. Solve 15 = -y*m - 5 for m.
  -5
  Suppose j = 0, p - 5*j + 5*j - 4*j = 3. Let i(u) = -u**2 + 5*u. Let r be i(5). Solve r = -33*z + 36*z + p for z.
  -1
  Let s = -40 - -28. Let j be ((-7)/((-105)/s))/((-6)/(-15)). Let x be (-5)/(-2)*(j - -4). Solve 0 = -x*a - 11 + 1 for a.
  -2
  Suppose -4*v + 8 = 5*r + 2, 2*r + 4 = 0. Let d(z) = -z**2 + 3*z + v - 12 + 6. Let g be d(2). Solve g*n = -4*n + 16 for n.
  4
  Suppose 3*j - j = 3*q - 261, 3*j = -q - 408. Let n = 140 + j. Solve n*l - 15 = -5 for l.
  2
  Let i(t) = -2*t**2 + 16*t + 15. Let y be i(8). Suppose 0 = 3*q - 6*q. Suppose 0 = -4*f - n + y, f - 3*n + 6*n - 1 = q. Solve -f*u - 2 + 6 = 0 for u.
  1
  Let p(n) = n**3 + 22*n**2 + 18*n - 37. Let j be p(-21). Suppose j = 15*w - 19. Solve -2*y = -w*y for y.
  0
  Let u = 38221 - 38141. Solve -76*q + u*q + 4 = 0 for q.
  -1
  Let i = 141 - 112. Solve i = 66*h - 367 for h.
  6
  Suppose -11*z - z = -48. Suppose -5*j + 4*u = z, 0 = -u + 5*u - 4. Solve j = 3*h - 4*h + 4 for h.
  4
  Let n = -301 + 318. Suppose -n*w = -4*w - 52. Solve -o + 2*o = -w for o.
  -4
  Let g(u) = 2*u**2 + 4*u - 4. Let l be g(1). Let c be 6 + -2 + -4 - (-4)/l. Solve 1 = c*y - 1 for y.
  1
  Suppose 3 = -2*x + 15. Suppose -t - 6 + 4 = -3*y, -2 = t. Suppose y = 12*c - x*c - 30. Solve -3*q + 4 = -c for q.
  3
  Let l be 3/6 - (-81)/6. Suppose 5*i - 4*i - 4*g - 8 = 0, 0 = -3*g - 6. Let f be 85/17*(i - (-1 + 0)). Solve -l + f = -3*y for y.
  3
  Suppose 54*t - 8820 = -51*t. Solve 72*d - 48 = t*d for d.
  -4
  Let s be (-30)/35 + -14 + (-5928)/(-56). Solve 532 + s = 89*r for r.
  7
  Suppose -15 = -2*i + 23. Suppose 21*j - 8 = i*j. Let o be 0/j*(-1)/1. Solve a + a - 8 = o for a.
  4
  Suppose -6 = -2*f, 3*d = -5*f + 1 + 14. Suppose 9*k = -k. Suppose -3*r - 4*y = -0*r, k = -5*r - 5*y + 5. Solve d = -0*j - r*j + 16 for j.
  4
  Let f = -30 - -670. Let i = 647 - f. Solve -5*l + 12*l = i for l.
  1
  Let h be ((-4)/5)/((-8)/20). Let b be (-1 - 5)/(15/(-40)*h). Solve 0*g + 2*g = b for g.
  4
  Suppose 106*t = 187 + 767. Solve -t*u = u - 40 for u.
  4
  Suppose p - 22 = -g + 6*g, 2*g - 8 = -2*p. Suppose 4*s = -p*s. Solve 50*a - 53*a = s for a.
  0
  Suppose 0 = -3*w - 4*n - 5, 3*n + 12 = -2*w - 3*w. Let l(h) = -h**3 - 3*h**2 - 5*h - 11. Let z be l(w). Solve 52 = -z*a + 36 for a.
  -4
  Suppose -s + 5*a = 0, 6 = 3*s - 2*a - 7. Suppose 11*t - 12*t + s = 0. Suppose -2*y + 4 = -p, -p = -t*y + 2*p + 9. Solve l = 1 + y for l.
  4
  Let p(d) be the third derivative of -d**6/120 - 7*d**5/60 - 3*d**4/8 - 2*d**3/3 + 14*d**2 + 6*d. Let b be p(-6). Solve 0 = -b*k + 12*k + 2 for k.
  1
  Let f(r) = -32*r - 194. Let b be f(20). Let n = b - -840. Solve -27*q = -25*q - n for q.
  3
  Let j be -2*((-385)/(-10))/(-11). Suppose 13*c - j*c = 0. Solve y = -c*y + 2 for y.
  2
  Let v = 18 - -8. Suppose 21 + 19 = -u + 17. Let q = u + v. Solve 0*c = q*c + 6 for c.
  -2
  Let r(d) = 5*d**3 - 4*d**3 - 9 - 5*d + 3*d + 6*d**2. Let n be r(-6). Suppose -n*m - 3*j - 22 = 2*j, -9 = m + 2*j. Solve m + 5 = 2*c for c.
  3
  Let h be ((-5 - (-10 + -3)) + 25/1)*1. Solve h*g - 267 = -135 for g.
  4
  Suppose 131*d - 130*d - 13 = 0. Suppose -12*u = -d*u + 106. Let n = u - 104. Solve q + n = 3 for q.
  1
  Suppose 3*l + 102 = 150. Let z be -4 + l/((-10)/(-5)). Suppose -3*b = 3*v + 15, -z*b - b + 10 = -2*v. Solve b = 4*c + 2 - 10 for c.
  2
  Suppose n = -5*o + 99 - 24, -2*n = o - 195. Suppose 4*k - 68 = 2*t - 0*t, 3*k - 37 = 5*t. Suppose 23*r - k*r - n = 0. Solve -4*v = v - r for v.
  5
  Let c = 116 + -109. Let h be c/((-28)/8) + -24*2. Let a = 53 + h. Solve -a*g = g for g.
  0
  Suppose 115*g - 48 = 123*g. Let l be 13 + 1 + g - 3. Solve l*v = -9 + 24 for v.
  3
  Let y = 53 + 3. Suppose 7*w = -y - 189. Let d = 37 + w. Solve -d*u - 2*u - 4 = 0 for u.
  -1
  Suppose -95*c - 144 = 82*c - 201*c. Solve 0 = -c*p + 20*p + 56 for p.
  -4
  Let n(p) = -13*p**2 + 259*p + 20. Let d be n(20). Let j(b) = b**2 - 3*b. Let o be j(4). Solve 2*t - o*t - 8 = d for t.
  -4
  Let y(t) = t**3 + 13*t**2 + 12*t + 1. Let n be y(-12). Suppose -13*l = -10*l - 5*k - 15, -2*l - 2*k = 6. Solve i - 4 - n = l for i.
  5
  Suppose -s = -3*k + 13, 5*s + k - 13 = 2. Let d(t) = -13*t**3 + t**2 - 4*t + 4. Let b be d(1). Let m be -1 - (17/(-6) + 2/b). Solve -s - m = -v for v.
  4
  Let m(g) = -g**2 + 3*g - 84. Let o be m(19). Let r = o - -390. Solve -t + r*t = -5 for t.
  -5
  Suppose -10 = -5*p + 160. Suppose 4*h - 12 = -0*h + 3*n, 5*h + n - p = 0. Suppose -32*b = 36*b - 1700. Solve -m - b = -h*m for m.
  5
  Let d be 1500/(-45) + 6/(-9). Let u = d + 56. Solve 7*v - 1 = -u for v.
  -3
  Suppose -55 + 3 = -4*q + 4*f, -41 = -3*q + 5*f. Let j be 20/(3 - (19 + -20)). Solve 0 = -q*m + 11*m - j for m.
  -5
  Suppose 2*d = 5*a + 118, -4*d = 121*a - 125*a - 212. Solve 