text: ve 3*l - f = -4*g, -5 = -2*g + 5*l + 18 for g.
  4
  Let x(s) = s**3 - 2*s**2 + 7*s - 3. Let w be x(3). Solve -5*v = -2*k - w, -5*k - 20 = -4*v + v for v.
  5
  Suppose -9 - 5 = -7*o. Solve -3*k + 8 = -o*l, -3 = l + 4*k + 1 for l.
  -4
  Let h = -28 + 31. Solve 2*s - 2*m - 23 = h*m, 0 = -5*m - 25 for s.
  -1
  Suppose 0*k + 3 = 2*k + f, -2*f = -2*k + 18. Suppose 4*l - 14 = 6. Solve -2*p = -3*w - 1, -w - k*w - 10 = -l*p for p.
  5
  Let r be 1 + (-2 - -3) + 13. Solve 2*j = 4*w + 10, -5*j + 2*w = -3*w - r for j.
  1
  Let m(f) = -f + 9. Let l be m(5). Suppose 3*s - 27 = -3*v, 4*v - l*s - 60 = -0*s. Solve 0*i + 2*a + 12 = -i, 2*i - 5*a = v for i.
  -4
  Let t = -3 - -6. Let m be (t/(-6))/(1/(-6)). Let r = 3 - 3. Solve -m*u - 7 = 2*c, -c + 4*u - 4 - 5 = r for c.
  -5
  Suppose -2*i = 28 - 8. Let z(b) = -b - 10. Let x be z(i). Suppose -2*c + 5*c - 9 = x. Solve 5*h - 12 = c*j, j = 3*h + 4*j - 12 for h.
  3
  Suppose 4*z = -5*r + 1 + 26, -r + 6 = z. Solve b = r*s - 2 - 8, -4*b + 5 = -3*s for s.
  5
  Suppose 18 = 5*p - 37. Solve -k - 2*k + 29 = 5*s, 5*k - s = p for k.
  3
  Let s(x) = -6*x**3 - x**2. Let k be s(1). Let t = k + 11. Solve -g + i + 10 = -2*i, 0 = t*g - 2*i + 10 for g.
  -5
  Let v(t) = 10*t**2 - t - 1. Let g be v(-1). Let y = -6 + g. Suppose 0*l = -2*l + y. Solve 11 = -l*j - 0*j - u, 2*u - 18 = 4*j for j.
  -5
  Let a = 5 - 3. Let f be -7*(9/3 - a). Let g = f + 10. Solve -3*p - g*h - 10 = -1, 3*p = 2*h + 16 for p.
  2
  Let g be (-6)/((-6)/27*-3). Let o = g + 13. Solve 0 = -7*u + 2*u - f - 23, o*u + 4*f = -28 for u.
  -4
  Suppose 3*i = -6*i + 27. Solve -5*w - i*m + 22 = 0, -w + 3*m + 5 = -3 for w.
  5
  Suppose 8*o + 6 = 22. Solve -5*g = -4*x + 21, 2*g = o*x + g - 3 for x.
  -1
  Let u(q) = 2*q. Let v be (-116)/(-36) - (-4)/(-18). Let k be u(v). Solve 0 = -t - 2*w - 7, -2*w - w = k for t.
  -3
  Let u be 31*(-2)/(-2) - 1. Suppose -b - 6 = -n, 3*b + u = 5*n - b. Solve -q + n = -3*t - 9, -t = 2*q - 2 for t.
  -4
  Suppose -2*b - 30 = -3*b. Let m = -7 + 10. Suppose 0*u + m*t - 21 = -3*u, 2*t = -5*u + 38. Solve -5*c = -2*z + b, u - 29 = -c - 5*z for c.
  -4
  Let i(p) = -p + 14. Let m be i(9). Solve -m*r = -2*z + 18, 0 = 5*r - 3*z + 13 + 9 for r.
  -2
  Suppose 2*u - 2*y = -3*y + 7, -y = u - 4. Let b(q) = -q**3 - 7*q**2 - 6*q + 1. Let a be b(-6). Solve -z + a = 0, -3*k - 5 = -u*z - 2 for k.
  0
  Let t be (-2)/7 + 468/21. Let g = t + -13. Solve 3*k - 5*m + g = 0, -4*k + 5*m - 3*m + 2 = 0 for k.
  2
  Let l(w) = 1 + 0*w - w - 2*w. Let d be l(-4). Suppose -3*q - 4 = -d. Solve 0 = -q*h - 2*f - 7, h + f = -3*h - 11 for h.
  -3
  Let s = -4 - -4. Suppose s = 3*l - l. Suppose -2*c - 3*c = -f - 90, 0 = 5*c - 5*f - 70. Solve l = -5*g + 5 + 5, -2*g + c = 5*h for h.
  3
  Suppose 30 = 2*m - 18. Solve 0 = t - 5*k + 16, -t + m = 3*t + 2*k for t.
  4
  Let d(x) = 3*x**2 - 3 + 4 - 3*x**2 + 3*x**2 + 2*x. Let a be d(-1). Solve a*r = -2*r + 8, 2*m - 4*r = -4 for m.
  2
  Let b = 131 + -127. Solve -2*x = -5*p - b, 5*x - 2*x - 6 = 0 for p.
  0
  Let w(x) = -5*x. Let u = 15 - 10. Suppose n - 4 = u*n. Let y be w(n). Solve -3*c - 6 = 0, 4*b + 0*b = y*c + 14 for b.
  1
  Let x be (2 - -3)*2/5. Solve -21 = -2*b + 7*b - x*l, -l - 12 = 5*b for b.
  -3
  Let h(c) = c**2 + 6*c + 17. Let b be h(-3). Solve -4*a + 16 = 4*l, -3*l = 2*a - 0*l - b for a.
  4
  Suppose 4 = 2*i - i. Let t be -1 + -1 - (-8)/(-4). Let n = t + i. Solve n = v + 4*w + 17, 4*v = -3*w + 4*w for v.
  -1
  Let c(b) = -b - 1. Let v be c(-4). Suppose -3*k + 10 - 1 = 0. Solve d - w + k = 1, -5*d - 18 = v*w for d.
  -3
  Let j = 1 + 2. Let a be (-4 + j + 2)*51. Let q = 76 - a. Solve -3*c + 20 = 4*i, 0 = 9*c - 4*c + 5*i - q for c.
  0
  Suppose 4*s = n + 5, 3*s + n - 3*n = 0. Solve 0*o + s = 2*p + 2*o, 4*p = -2*o - 2 for p.
  -2
  Suppose -3 = -o - 1. Suppose 3*v = -0*v + 12, o*y + 2*v - 8 = 0. Solve y = -4*t - 4, -3*t - 11 = 4*d + 12 for d.
  -5
  Suppose -i = 11*b - 9*b - 11, b - 13 = -2*i. Solve 0 = -b*v + 3*z - 6, -3*z - 1 = -4*v - 11 for v.
  -4
  Let a = 53 - 45. Solve -5*n = -n - 8, -a = y - 4*n for y.
  0
  Let m be 1/(-2) + 3/6. Solve l = 5*b - 6 - 9, m = -4*b + 8 for l.
  -5
  Let j be 14/2 - (-3 + 4). Suppose -5*f + 9 = -j. Solve -c = m + 2*c + f, 10 = -5*c for m.
  3
  Suppose -3*z = 5*h - 25, 0*z = 4*z + 2*h - 10. Suppose -5*w + o + 28 + 13 = z, 5*o - 11 = w. Solve 2*b - 6 = -3*l, 5*l - 1 = -b + w for l.
  2
  Let r(n) = n**3 + 6*n**2 - 2*n - 7. Let f = 21 - 12. Let w = 3 - f. Let c be r(w). Solve 23 = -2*d - 3*s, -d + c*d + 26 = -2*s for d.
  -4
  Let i(m) = -m**3 - 5*m**2 + 15*m + 1. Let w be i(-7). Let l = w + 11. Solve 0 = -2*t + s - l + 14, -t + 2*s = -9 for t.
  3
  Let r(t) = -2*t**3 + 38*t**2 + t - 14. Let f be r(19). Solve 0 = -f*y - 5, 4*h + 2*y - 3 + 1 = 0 for h.
  1
  Let q(l) = l**2 - 4*l + 4. Let s be q(4). Let i(d) = 24*d + 4. Let t be i(s). Suppose 3*o - 8*o + t = 0. Solve -o = 5*m + 5*y, -2*m + 5*y = -0*y - 6 for m.
  -2
  Let z(n) = n. Let y be z(4). Let h(d) = -d**2 + 10*d - 10. Let q be h(7). Solve 3*a - 1 = q, y*a - 14 = -2*l for l.
  -1
  Let k be (-3 - -2)/(5/(-25)). Let j(w) = w - 1. Let q be j(k). Solve -3*y + 5*n = -1, 0*n = -4*y + q*n + 4 for y.
  2
  Let v = -8 - -10. Solve 2*n - 4*s = -0*n - v, -2*n + 2*s - 6 = 0 for n.
  -5
  Suppose 2*k = 4*k - 4. Suppose k*g = 4*g. Solve 2*l + 5*r + 33 = g, -l + 3*r + 1 = -10 for l.
  -4
  Suppose v + 3*v - 24 = 0. Let t be 1/(-6) - (-13)/v. Solve t*d + 16 = 4*w, -4*w = 2*d - 0*d for w.
  2
  Let t be (-143)/(-4) + (-6)/8. Solve 4*g + 0*g - t = -3*c, 5*g = -c + 30 for g.
  5
  Suppose -4*h + 18 + 2 = 0. Let n be 4/(-3*(-8)/18). Suppose -4*t - 4 = 2*l, -n*l - 8 = -2*t + l. Solve t = -3*q + p - 8, -3*q - p + 5 = -h*q for q.
  -3
  Let y = 42 - 39. Solve 5*u - 4*g - 6 = -2*g, -3*g - 9 = -y*u for u.
  0
  Suppose -2*b + 4*v = 10, 0 = 3*b + 7*v - 2*v - 18. Let p(w) = 4*w**3 + 2*w**2 - w. Let i be p(b). Solve s = 4*y - 22 - 0, 2*y + i*s = 0 for y.
  5
  Suppose -3*z + 7*z + 4*y - 28 = 0, -y = -z - 3. Suppose -o + 0*k + z = -k, -2 = o - 5*k. Solve -o*f + 2 = -5*w - 1, 5*w + 5 = 5*f for f.
  1
  Let x(k) = k**3 + 13*k**2 - 14*k + 2. Let w be x(-14). Solve 4*g = 3*s + 2*s + w, -2*s + 10 = 2*g for s.
  2
  Let w be (-2)/6 + 21/9. Solve y - 5*l = -27, -5*l + 23 = -4*y - w*l for y.
  -2
  Let j be 80/10 + 2 + -5. Solve m = h + 4*m - 20, j = 5*h - 4*m for h.
  5
  Let x = -35 - -11. Let y be ((-1105)/40)/(-13) - (-1)/(-8). Let z be x/(-9)*3/y. Solve 3*t - 17 = z*w - 0, 2*t + 12 = -2*w for t.
  -1
  Suppose 9*v - 161 + 17 = 0. Solve j + v = -2*q - 2*q, 8 = -2*q - 3*j for q.
  -4
  Suppose 0*k = -k + 4. Let s be (k/6)/(1/(-3)). Let c = s - -4. Solve 3*o - 3*n = c*n + 4, -4*o + 14 = 2*n for o.
  3
  Let f(l) = -6*l - 1. Let o = 4 - 5. Let w be f(o). Solve -w*a - 5*n = -25, -a + 10 = -4*a + 2*n for a.
  0
  Let o(x) = x + 2. Let a be o(0). Solve 0 = -3*d - 6, a*k - 3 = 2*d + 3 for k.
  1
  Let i be (-8)/(-6) - 4/(-6). Let z = 2 + -1. Suppose -i*m + 3 = -z. Solve 0 = 5*c + 4*b + 7, 0*b + m*b = 4 for c.
  -3
  Suppose 20*n + 12 = 22*n. Solve -6*m + m - 9 = 2*d, 0 = m - d + n for m.
  -3
  Let c be (-1)/4 - (-189)/36. Let d be 2/8 + (-2)/8. Suppose 0*g + 5*g - 10 = d, -g = -5*w + 8. Solve w*o + 2 = -v - 1, -3*v - 20 = -c*o for o.
  1
  Let f = -8 + 8. Solve -3*y + 2*t = f, 2*y = -4*t + 7 + 9 for y.
  2
  Suppose 2*s + 6 = o, -4*o - s + 15 = -0*s. Solve -l + 22 = 5*p, 5*l + o*p - 20 - 6 = 0 for l.
  2
  Suppose 9 = 5*t - 56. Suppose -4*z + t = u, -3 = -4*z + 3*z. Solve -22 = 4*k - 2*y, 4*y - 5*y = k + u for k.
  -4
  Let c(w) = -4*w + 1. Let y be c(-1). Solve 9 = 4*d + n, -17 = 2*d - y*n + 6 for d.
  1
  Let o(z) = 4*z**3 + 2*z**2 - 2*z + 1. Let u be o(1). Suppose -n + 46 = n. Solve 4*w + m = -19, -u*w + 4*m - 6 - n = 0 for w.
  -5
  Let x be 3/12 - (-34)/(-8). Let m be (-4 - x)/(2 - 0). Solve -4*r + s + 5 = m, -1 = 3*r - s - 5 for r.
  1
  Suppose 0 = -f - 0*v - 3*v + 3, 2*f - 16 = -v. Solve g + 23 = 5*r, r - 4*g = -f*g - 11 for r.
  4
  Let i be (-8)/32 + 13/4. Suppose -3*h = w - 2, -4 = -h - 0*h + 3*w. Suppose -i*d - 3*b = b - 19, d = 4*b + h. Solve -2*r - f - d = 2, 28 = -3*r - 5*f for r.
  -1
  Suppose -5*c = -4*c - 35. Let g be (20/c)/(2/7). Solve 0 = -2*i - g, 4*i = 5*d - 3 - 1 for d.
  0
  Let o(i) = 2*i**2 - 14*i + 25. Let h(v) = v**2 - 7*v + 13. Let q(f) = 11*h(f) - 6*o(f). Let m be q(5). Solve -5*s - a + m = -4*a, 5*s - a = 11 for s.
  3
  Let n = 55 - 40. Solve 5*m - n = 4*t, -2*m + 4*t = -3*m + 3 for m.
  3
  Let d(g) = -g**3 - 3*g**2 + 4*g + 2. Let h be d(-4). Suppose -5*c = -c - 92. Suppose -3*k + 67 + c = 0. Solve -3*n = 2*n - 3*