 t be m(-15). Let r(f) = -7*f - 1. Let c be r(-3). Solve p - c = -0*p - 4*l, -z*l + 12 = -t*p for p.
4
Let r be (-1 + 1)*(-14)/28. Let x be (r - -1)/(3/15). Solve -10 = -x*k, 3*y - 25 = -4*k - 2 for y.
5
Suppose h = -113*y + 117*y + 9, -4*h + 92 = -2*y. Solve 5*o + h = -3*f, 4*f - 9*f = 5*o + 25 for f.
0
Let s = 40 + -39. Solve -3*k = r + 4, -2*r - 1 = 4*k + s for k.
-3
Suppose 0 = -3*y + 2*y - 3. Let x(n) = -n**2 - 3*n + 3. Let i be x(y). Suppose -k = i*k. Solve -5*b + 10 - 29 = 2*v, k = -5*v - b + 10 for v.
3
Suppose m = j, 2*m + 2*j - 5*j = -3. Solve -g - 12 = h + 3*g, -4*g - 12 = -m*h for h.
0
Let q(p) = -p**2 - 4*p + 3. Let y be q(-4). Let v be (-4)/(-8)*(1 - 1). Suppose 0*t - t + 2 = v. Solve 0 = y*s + 5*f - 21 - 13, 2*f - 4 = t*s for s.
3
Let q(f) = 4*f - 48. Let m be q(16). Solve v = -5*a + 24, a + 2*a = -v + m for v.
4
Let c be (-7)/(-5) + 2/(-5). Let y(t) be the first derivative of t**3/3 - t**2/2 - 105. Let u be y(c). Solve 4*v + 5*a = -u*a - 28, -4*v = a + 12 for v.
-2
Suppose 6 = y + 3*m, 10*m - 6*m + 2 = 2*y. Solve 5*a + 1 = -2*v, 5*v - 4 = y*v for a.
-1
Suppose -d + 0*m + 10 = 3*m, -d - 5*m + 14 = 0. Let r be (-1)/((-4)/60 + 0). Solve 3*k = -r, n - k = 14 - d for n.
5
Suppose -9*a + 36 = 3*a. Solve a*i + i = 2*b - 22, i - 5*b + 10 = 0 for i.
-5
Let x = 49 - 47. Solve -b - 16 + 5 = -3*w, -2*b = -w + x for w.
4
Let g(p) = -p**3 - 38*p**2 + 80*p + 5. Let n be g(-40). Solve 4*z - 32 = -5*t, 0*z + 2*t - 23 = -n*z for z.
3
Let v = 41 + -28. Let p(s) = -s**3 + 6*s**2 + 8*s + 4. Let y be p(7). Let b = v - y. Solve 17 = -r - 4*g, -r + b*r - 5*g - 28 = 0 for r.
3
Let s be 7 + 2*(-2 - -1). Suppose -s*y = -5, 4*y - 5 = -3*h - y. Let i be ((-91)/14 + 6)/((-1)/6). Solve -i*b + 21 - 6 = 0, -o - b = h for o.
-5
Let s be ((-24)/(-15) - 2)/((-1)/10). Solve -3*l - 4*j + 3 = s, l - 4*j - 21 = 0 for l.
5
Suppose 16 - 22 = -6*s. Solve 2*c - g = s, -5*g - 28 = 5*c - 8 for c.
-1
Let v(z) = 2*z - 9. Let r be v(6). Let x = 5 - -12. Let g be (15 - x)*2*-5. Solve -g = -5*c - r*t, -2*c - 2*t - 16 = -6*c for c.
4
Let x(p) = p**2 - 2. Let m be x(-3). Suppose 5*q - 23 = m. Let u = 1896 - 1894. Solve -y + 1 = 4*l - 7, -u*l - y = -q for l.
1
Suppose 0 = 4*i - n - 11, 4*n = -i - 6 - 4. Suppose 6*c - 2*d = i*c + 6, -2*c + 2 = -2*d. Solve -c*b + 3*b - r - 5 = 0, -r = -5*b + 17 for b.
3
Let w = 17 + -7. Suppose -2 = -m - w. Let y(h) = h**3 + 8*h**2 + h + 11. Let v be y(m). Solve -4*s - v = o, 4*o - 28 + 6 = s for s.
-2
Let o be (-2)/(-2) + 12/4. Let l(y) = -203*y - 203. Let w be l(-1). Let k be 21/12 + 1/4. Solve -k*g + w*g = -4*j - 22, -3*g + 27 = -o*j for j.
-3
Let o(n) be the first derivative of n**4/4 + 4*n**3 - 3*n**2/2 - 9*n - 33. Let q be o(-12). Solve 4*s + q = 3*a - 0*a, 12 = -4*s for a.
5
Let u be 3/((-27)/(-30))*3. Suppose 2*d + u = 4*d. Suppose 2*c = -s + 16, -11*c + 7*c + s = -38. Solve -d - c = -o - 4*h, 8 = 2*o + 3*h for o.
-2
Suppose 4*a + 43 + 16 = 3*z, -25 = -z + 4*a. Solve -12*n = -z*n - 3*s + 15, 0 = -3*n - s + 5 for n.
0
Let w = 53 - 50. Suppose j = -w*j. Solve -m - 12 = -4*h + 12, j = 4*m - 5*h + 41 for m.
-4
Let m(d) = 19*d - 8. Let y be m(2). Suppose 3*h + 3*h - y = 0. Solve -2*x - 2*q - 4 = -0, h*x + 2*q + 4 = 0 for x.
0
Suppose -15 = -2*s - 3*m, 5*m = -s + 3 + 15. Solve 0 = 2*b + 2*u + s*u - 5, -4*b - 3*u + 3 = 0 for b.
0
Let o be 2/7 - 162/(-21). Suppose -2*j = a - o, -2*a + 6*a + 5*j = 41. Suppose a + 2 = 4*h. Solve -2*k = -5*g + 1, -3*g = k - 2*g + h for k.
-3
Let d = 26 + -29. Let f be (-28)/(-21) - 2/d. Suppose -2*i + 6 = f. Solve -i*w + l + 0 + 6 = 0, -w - 6 = -5*l for w.
4
Let f = 173 - 167. Solve 0 = -r - 4*q - 2, 2*r + r = 4*q - f for r.
-2
Let y be (-45)/(-540) + (-23)/(-12). Solve 0 = -6*g + y*g - c - 9, 26 = -g - 5*c for g.
-1
Let i be (-4)/(-8)*8 + 0 + 2. Solve 0 = -3*z + i, 2*l - 3*z - 2*z = -12 for l.
-1
Suppose -64*x - 10 = 2*v - 68*x, 5*v - 7 = 2*x. Solve -4*n + v*t - 15 = 0, -3*n - 4*t - 4 = 1 for n.
-3
Suppose -2 = 4*h - 14. Suppose -h*p + 6 = -p. Suppose -2*c = -3*x + 47, 0 = -3*x + 5*x - c - 30. Solve -g - p*b + 12 = 0, 2*g + x = -5*b + 34 for g.
3
Let k be (3 + (-45)/18)*0. Solve 2*n + 4*t - 10 = -k, -27 = 5*n - 3*t for n.
-3
Let b = 62 - 64. Let s(d) = 2*d**2 + 4*d + 5. Let z be s(b). Suppose 0 = k + 3*r - 10, -2*r + 4*r = 0. Solve 5*f + k = z*g, 2*f + 2*g + 5 = f for f.
-3
Let j(b) = 9*b + 5. Let k be j(0). Solve -5*a - k*y + 30 = -4*a, 0 = a + 2*y - 15 for a.
5
Let g(j) = j**3 + 4*j**2 - 4*j - 2. Let z be g(-6). Let u = z - -53. Solve -3*m + 3 = 0, 2*m - 1 = -u*d - 5 for d.
-2
Let i be (-12)/27 + (-740)/(-45). Suppose -3*h + 5*w - 14 = 0, i = -12*h + 14*h + 3*w. Solve -p = -3*j + 5, -5*p - 15 = -j - h*p for j.
0
Suppose -3*o + 26 + 12 = -4*j, 2*o = -2*j + 44. Solve g - o = -5*i, -2*i - 18 = -4*i + 5*g for i.
4
Let c = -713 - -713. Solve -4*s + 9 = u, c = 2*s + u + 4*u + 9 for s.
3
Let v be 10/(-15)*3/(-2). Let i be (-36)/(-60)*5/v. Suppose -i*w + 39 = f + 4*f, w + 29 = 3*f. Solve -n = j + 7, -n = -0*n - 3*j - f for n.
-3
Let i be (-6)/4*(-24)/9. Let x(g) = 2*g + 17. Let f be x(-7). Solve i*a - 20 = -4*t + 5*a, f*t + 3*a = 0 for t.
4
Let u(z) = 5*z - 25. Let m be u(5). Suppose m*p = -4*p + 40. Solve -5*v = 5*y - p*y - 10, -3*v = -4*y - 8 for v.
0
Let r = 34 - 32. Suppose -4*p = 2*q, -r*p + 3*q = 2*q. Solve 5*n + 18 = 3*m - p, -7 = -m + 2*n for m.
1
Let c(d) = -d + 14. Let h be c(8). Let o(n) = 4*n + n**2 - 2*n**2 + 3*n + 2 + 1. Let i be o(7). Solve 3*f - 9 = -3*v, -5*f + h = i*v - 1 for v.
4
Let f be (-40)/16*32/(-20) + -1. Solve 0 = -4*v - y + 9, -y + 16 = -4*v + f*y for v.
1
Suppose 0 = 431*r - 433*r + 54. Solve -3*a = 5*z + r, -a - 4*a - 11 = -3*z for z.
-3
Let h(o) = o**2 + 10*o - 54. Let c be h(4). Solve -j = -c*v + 4, 2*j + 8 = v + 3*j for v.
4
Suppose 18 + 2 = 5*k. Let t be ((-4)/3)/(k/(-12)). Solve -4*a = a - 2*y + 30, 0 = t*a - 2*y + 26 for a.
-4
Suppose 64 - 175 = -37*d. Solve 5*k = 20, -d*l + 2*k - 15 = -k for l.
-1
Suppose 0 = -2*o - 2*n - 6, -2 = -3*o + n + 1. Solve 3*m - 3*g = -6, o*m = 5*m + g - 14 for m.
2
Let i be 8/24*3 - (0 - 134). Let u = i - 130. Solve 2 = -u*o - 3*n, -4*o = -2*n - 3*n - 28 for o.
2
Suppose -2*d + 6 = -0*d. Suppose 3 = d*g - 3. Suppose o = g*z - 1, 5*o = -z - 0*z + 6. Solve 0 = -k + v - o + 4, -5*k = 4*v + 30 for k.
-2
Let t(k) = k**3 - 11*k**2 + 7*k + 18. Let j be t(10). Let g(z) = 5*z + 3. Let r be g(-2). Let w = r - j. Solve n + 6 = 2*i, 0 = -w*i - 4*n + 2*n + 15 for i.
3
Suppose 3*l - 2*b = 11, -12*l - b - 30 = -17*l. Suppose -4*i - l*t = -2*t + 4, 0 = -2*i - 3*t - 4. Solve -i*s - 3*p + 15 = -7*s, 2*p = 3*s + 11 for s.
-1
Let v = 20 + -15. Suppose -2*o - 15 = -v*o. Let b(k) = k + 10. Let t be b(0). Solve f - o = j + 2*f, -2*j + 3*f = t for j.
-5
Suppose s = 0, -5*h - 3*s = 2*s - 20. Solve 5*o + 3*p = 17, h*o + 9 - 30 = 5*p for o.
4
Suppose -15*v - 9*v + 72 = 0. Solve -5*c + v*o + 21 = -o, -5*c - 3 = 2*o for c.
1
Suppose -150*f + 155*f + 5 = 2*o, -3*o = 5*f - 20. Solve -2*c + 4*c = 3*y, y - o*c = 0 for y.
0
Suppose 0 = -4*x + 8, 8*n - 2*x = 3*n + 1. Solve -3*c - 2 + 7 = 2*h, 0 = -h + n for c.
1
Suppose 7*b - 12 = 5*b. Let i = -2 - -12. Suppose i*r - b*r = 0. Solve -4*y = -3*o - 23, y + 13 = -3*o - r*y for o.
-5
Let r(k) = k**3 + k**2 - 10*k + 8. Let u be r(3). Solve -2*j + u = -4*w, -j + w + 2 + 4 = 0 for j.
5
Suppose 2*k + 0*k = 22. Suppose 0 = 3*t + 2*w - 10, -3*t + 2*w = 3*w - k. Suppose 3*p - t*p = 0. Solve 4*u - 4*a = a + 16, a + 4 = p for u.
-1
Let y = 19 - 8. Let m = y + -8. Suppose 73 = 7*q - 25. Solve -2*w - 11 = 3*c - 6*w, w - q = -m*c for c.
3
Let j be -4 + (10 - -3) - 4. Let p be 8 + -8 - (1 - j). Solve 2*g + 11 = -3*y, g - p = -g for y.
-5
Let p(y) = -y**2 - 15*y - 14. Let t be p(-14). Let h = -5 + 10. Suppose -9 = -h*d - 4. Solve 8*s - 4*s - 2*x + 28 = t, d = -s - x for s.
-5
Suppose -20 + 5 = -3*s, 4*u - s = 7. Solve 2*y = 4*w, -4*w + y + 8 = -u*y for w.
-2
Suppose -5*f - j + 5 = 0, -3*f + 5*j - 3 + 34 = 0. Suppose f*x - 4*x + 2*v = -34, 0 = -v. Solve 4*q - q = -5*l + 25, -l + x = 3*q for l.
2
Let c = -44 + 48. Suppose -m + z + 9 = -c, 0 = 3*m + z - 51. Solve 16 = 4*r + 5*v, m = -3*r + 7*r - 5*v for r.
4
Let p = 83 + -59. Let u = p - 24. Suppose 0 = x - h - u - 3, -4*h = -3*x + 8. Solve 0*l = 3*l + x*i + 27, 0 = -l + 5*i + 10 for l.
-5
Let h be 9/5 + 2/10. 