text: -b - 19 = -4*b - 2*i. Solve -b*f = -7 - 8 for f.
  3
  Let u = -414 - -451. Solve -3*t + u = 49 for t.
  -4
  Let a = 38 + -31. Let g = a - 4. Solve g*z - z = -6 for z.
  -3
  Suppose -6 = -u + 12. Let k = u + -18. Let h be (-2)/(k - 2/3). Solve p = h*p for p.
  0
  Let t = -995 - -1010. Solve 0 = 4*r - t*r + 55 for r.
  5
  Let z be 2/(-4) + (-54)/(-4). Let b = z - 9. Suppose b*g - 5 = -1. Solve -i = g + 3 for i.
  -4
  Let n(r) = -19*r - 126. Let k be n(-7). Solve 18 = -5*j - k for j.
  -5
  Suppose -5*d = -3*b + 13, 4*b = 3*d - 0 + 10. Let f(t) = t**2 - t - 1. Let p be f(-1). Let k be (-4 - b)/(p/(-1)). Solve i - k*i = 8 for i.
  -2
  Let a be (2/(-5))/((-1)/10). Let u be a/10 + ((-54)/(-15) - 0). Solve c - u = -3*c for c.
  1
  Let w(s) = s - 4. Let n(t) = t**3 - 2*t**2 + 3*t - 2. Let o be n(2). Let x be w(o). Solve g = -3 - x for g.
  -3
  Suppose 4*m = -5*y + 20, -2*m + 3*m + 5 = 0. Suppose -19 = 7*c - 8*c. Suppose 3*i - 26 = -4*w, 5*w + 0*i - 3*i - c = 0. Solve -w*k - y = 2 for k.
  -2
  Let a = 33 + -16. Let h(b) = b**2 - 8*b + 26. Let n be h(7). Let c = n - a. Solve x - 12 = -c*x for x.
  4
  Let y = -2 - -8. Suppose -a - y = -4*t + 2*t, -a - 15 = -5*t. Suppose -4*n - 2*n + 3*n = 0. Solve -2*z - t*z = n for z.
  0
  Let t = -49 - -56. Solve -2*q + t = 1 for q.
  3
  Let a(g) = g**3 - 22*g**2 + 36*g + 80. Let y be a(20). Solve y*j = 5*j - j for j.
  0
  Let k(j) = -2*j**3 + 2*j**2 - 1. Let y be k(2). Let a(u) = -2*u - 15. Let n be a(y). Solve -n*d + 0*d - 6 = 0 for d.
  -2
  Suppose -6*w - 5*t + 28 = -4*w, -t + 24 = 5*w. Let u(i) = -2*i**3 - 5*i**2 + 2*i**3 + 5*i - 2 + i**3 + 0. Let q be u(w). Solve q*s - 2 = 2 for s.
  2
  Let i(m) = m**3 - 6*m**2 - 8*m + 9. Let j be i(7). Suppose 6 = 3*a, 0 = j*l + l + 4*a - 20. Solve -l*x = -x + 12 for x.
  -4
  Let r(d) be the second derivative of d**5/20 + d**4/2 + 5*d**3/6 + 32*d. Let f be 141/(-27) - (-4)/18. Let i be r(f). Solve i = -0*l + l - 5 for l.
  5
  Let c = -38 - -40. Suppose -10*b = -7*b - 4*m + c, -3*m + 14 = 4*b. Solve 0 = -2*i - 4 - b for i.
  -3
  Let i(a) = -3*a**2 + 29*a - 51. Let f be i(7). Solve c + f*c + 18 = 0 for c.
  -3
  Let t(n) = -n**3 + 14*n**2 + 34*n - 29. Let q be t(16). Solve 0*b = -b + q for b.
  3
  Suppose 5*o + 27 - 162 = -5*k, -4*k = -5*o + 144. Let c = -8 + o. Suppose -4*j = -0*j - c. Solve -14 = -j*q + 1 for q.
  3
  Let u(q) = -q**2 - 3*q - 1. Let t be u(-7). Let p = t + 32. Solve -p*j = -j - 8 for j.
  4
  Let y = -34 - -34. Suppose 3*q + 21 = 4*x, 3*x = -0*x - q + 6. Solve y = -f + 2 + x for f.
  5
  Let u be ((-6)/(-6))/((-3)/(-15)). Suppose 3*c = u + 76. Let r = -25 + c. Solve r = q - 1 for q.
  3
  Let d(y) = 2*y. Let j be d(3). Suppose -5*h = 2*h - 98. Suppose -p = -h + j. Solve -2*u = 2*u + p for u.
  -2
  Suppose 12*l + 133 = 205. Solve 3*p + 9 = -l for p.
  -5
  Suppose 0 = -5*w - 2*b + 4*b + 135, -b - 27 = -w. Suppose -24*k + w*k - 9 = 0. Solve -k*q = 5 + 1 for q.
  -2
  Suppose -46 = -5*k + 3*z, 4*z + 4 = -4. Solve -5*a = -k*a + 12 for a.
  4
  Let w be (-6)/(1/6*15 - 4). Solve -2 = w*p - 2*p for p.
  -1
  Suppose m - 2*m = -3. Suppose 0 = m*n - 2 - 1. Let f be 1 + 1 - 2/n. Solve f = 4*d - 3*d - 4 for d.
  4
  Let j = 67 + -145. Let c = j + 83. Solve -c*w + 4*w + 2 = 0 for w.
  2
  Let d(h) = h**2 + 10*h + 24. Let i be d(-4). Solve i = -3*n + 12 - 0 for n.
  4
  Suppose 44*q - 15 = 41*q. Solve q*f + 145 - 150 = 0 for f.
  1
  Let f(a) = -a**2 + 21. Let j be f(-4). Suppose 3*x - 3 = -3*r, 3*r = -j*x - 3 - 2. Solve -r*g = -2*g - 9 for g.
  3
  Suppose 4 = -0*d + d. Solve -k + d = k for k.
  2
  Let h(f) = 2*f**2 - 3*f**2 + 9 + 0*f**2 - 10*f. Let j be h(-11). Let y = j - -3. Solve -v + y = -3 for v.
  4
  Suppose 22*n - 96 = 14*n. Solve -2*t + 5*t = -n for t.
  -4
  Suppose -4*k = 3*t - 27, k - 4*k + 45 = 5*t. Let m(c) = 2*c**2 + 35*c - 7. Let v be m(-18). Suppose -v*w + w + 40 = 0. Solve p = w*p - t for p.
  3
  Let f(o) = -16*o - 1. Let a be f(-1). Let w be -5*((-51)/a - -2). Suppose 4*z = -3 + w. Solve z = m - 2*m for m.
  -1
  Let j be -2 + (4 - 4 - -7). Solve 5*v + 0 = j for v.
  1
  Let v be 2/7 - (-280)/49. Suppose v*k + 38 = -76. Let f = 21 + k. Solve -f*s = -6*s + 16 for s.
  4
  Let j = -96 + 98. Suppose 4*c - 12 = q - 3*q, -6 = 3*q - j*c. Solve q*o - 4 = o for o.
  -4
  Suppose 32*z + 53 - 213 = 0. Solve -z*f = -8 + 18 for f.
  -2
  Let x(t) = t**3 + 4*t**2 + t - 4. Suppose -1 = -4*b - j - 9, 0 = -2*b - j - 2. Let f be x(b). Suppose 3*d - o - 16 = 0, 0*d = d + 5*o. Solve 3 + f = -d*s for s.
  -1
  Let y be (-1)/3 - (-10)/(-15). Let c be -14 + 12 - 14/y. Suppose -5*d + d + c = 0. Solve -5 + d = -j for j.
  2
  Suppose -212*u + 222*u = 150. Solve u*a = 13*a - 6 for a.
  -3
  Suppose 4*u + u + 95 = 0. Let c be (2/(-4))/(u/190). Solve 9 + 16 = c*x for x.
  5
  Let k be (-8 + 9)*(-19 + 0)*-1. Solve 0 = 3*u + 16 - k for u.
  1
  Let j = 119 + -104. Solve 0 = -j*f + 22*f + 35 for f.
  -5
  Suppose 3*d = 7*q - 2*q - 75, -3*d = 3*q - 45. Solve -q*v = -14*v - 1 for v.
  1
  Let o be (4/(-7))/(26/(-455)). Solve -14*i + 12*i = -o for i.
  5
  Let g = 19 + -15. Solve -2 = g*b + 2 for b.
  -1
  Let t(x) = x**2 + 4*x - 3. Suppose 0 = o + o - 2. Let u be t(o). Solve 0 = -u*d + d + 4 for d.
  4
  Let m(k) = -k - 4. Let t be m(-8). Let x be (3 - t)*(-30)/3. Solve x*l = 5*l + 25 for l.
  5
  Suppose -2*t = -4*k - 6, 5*t - 25 - 18 = 3*k. Solve t + 31 = -21*z for z.
  -2
  Let q be ((-1)/((-2)/(-40)))/((-6)/(-18)). Let m = q - -72. Solve -3 = -3*b - m for b.
  -3
  Let r(k) = k**3 - 6*k**2 - 3. Let y be r(6). Let f be 1 - 4/(-12)*y. Let v be (-1)/(-2) - (-5)/2. Solve -v*i = -f*i + 9 for i.
  -3
  Let q(s) = s**3 + 8*s**2 + s + 8. Let l be q(-8). Suppose 4*c - 16 + 16 = l. Suppose 2*z - 15 = -3*p + 2, 4 = 4*z - 4*p. Solve z*n - 13 - 3 = c for n.
  4
  Suppose -5*q + 43 - 3 = -4*n, -5*n = 5*q - 40. Let o(m) = 2*m - 14. Let y be o(q). Suppose f = y*f - 1. Solve f = u - 1 for u.
  2
  Let s be (2 - 2)/(-1 + (0 - -3)). Suppose s*j - 180 = -9*j. Solve -5*r - j = -0 for r.
  -4
  Let r = 563 + -563. Solve r = -3*t + 12 - 0 for t.
  4
  Let y be (-100)/(-15) - 6 - 2/(-6). Solve -6*w + y = -23 for w.
  4
  Let l(y) be the second derivative of y**3/6 - 2*y**2 + 10*y. Let m be l(7). Solve m*i = -5 - 1 for i.
  -2
  Suppose -4*r = -55 + 23. Suppose j + 0*j - d + 5 = 0, 3*d - 15 = 4*j. Let m(u) = u**3 + u**2 - u. Let f be m(j). Solve -4*i + f = r for i.
  -2
  Suppose 0 = -26*a + 22*a + 36. Solve a*u = 4*u + 5 for u.
  1
  Let f(o) = 41*o - 29. Let h(w) = 7*w - 5. Let s(v) = -6*f(v) + 34*h(v). Suppose 109*m - 4 = 111*m. Let l be s(m). Solve 4*c + l = -0*c for c.
  -5
  Let v be (-6)/39 + 15/13. Let r(m) = m**2 + 2*m - 1. Let o be r(v). Suppose o*k + 3*k = 20. Solve h - k*h = -12 for h.
  4
  Let t(x) = -x**3 + 9*x**2 + 13*x - 14. Let m be t(10). Solve -7*y + 3*y = m for y.
  -4
  Let g(h) = h + 2. Let x be 0/(-3) + (2 - -1). Let s be g(x). Suppose 0 = -4*f + 3*f + 4*l + 9, -s*l + 15 = 4*f. Solve -f*j + 21 - 6 = 0 for j.
  3
  Suppose 13*q - 427 = 340. Solve -13*m - 20 + q = 0 for m.
  3
  Suppose -36*h = -40*h + 192. Solve -9 = h*m - 39*m for m.
  -1
  Let c(b) be the second derivative of b**4/12 - b**3 + b**2 + 4*b. Let f be c(8). Suppose 0*j = 2*j - f. Solve s + j = 4*s for s.
  3
  Let d = 760 + -760. Solve -5*b - 3*b + 16 = d for b.
  2
  Suppose -1 = z - 3*k + 5*k, 0 = 2*k. Let c be (z - (-3)/(-6))*32/(-12). Solve -5 - 7 = -c*w for w.
  3
  Let p be (9/(-6) + 3)*30/9. Suppose 5*c + p*x - 15 = 0, 3*x - 15 = -2*x. Solve -3*k - 2*k = c for k.
  0
  Let y be (-45)/((-11)/(4 - -7)). Solve 26*b - 17*b = y for b.
  5
  Let t(k) = k**3 - 11*k**2 - 26*k + 14. Let u be t(13). Solve l + u - 11 = 0 for l.
  -3
  Let p(u) be the first derivative of -u**2 + 2*u**2 - 3 - u - 2*u + 8. Let s be p(4). Solve s*x + 8 = -12 for x.
  -4
  Let g(a) = -8*a + 15. Let u be g(5). Let y = u + 27. Let m be y/(1 - (-3)/(-6)). Solve 4 - 24 = m*r for r.
  -5
  Suppose 43 = 5*t - 9*v + 11*v, -47 = -5*t + 2*v. Solve t*p - 14 - 31 = 0 for p.
  5
  Let d(n) = n**2 + 1. Let z(u) = 5*u**2 - 4*u - 6. Let v(q) = -4*d(q) + z(q). Let p be v(6). Let s(i) = 2*i + 20. Let m be s(-9). Solve -m = p*j - 0 for j.
  -1
  Suppose 3*f - 3*y - 19 = -2*y, -f + 17 = -3*y. Let z be (-3 - -2)/(1/(-9)). Let v be (z/6)/((-3)/(-6)). Solve -f*h - 6 = -v*h for h.
  -3
  Let t(l) = l + 2. Let w be t(2). Let k be (16/6)/(11/(-33)). Let a be 0 - k/(-2) - -9. Solve -w*u - a = -3*u for u.
  -5
  Let v(w) = -w - 7. Suppose -2*q - 12 - 12 = 0. Let p be v(q). Suppose -3*a + 5*z = 15, 0 = -0*a + 4*a - 3*z + 9. Solve a = p*j - j + 4 for j.
  -1
  Suppose 4*q - 8 = 0, 4*q