-0*l + b*d, 4*l - d + 3 = 0 for l.
0
Let a be 3/3*-1 - -7. Suppose -a*p = -10*p + 12. Solve -5*c - j - 3 = -19, 0 = p*c + 4*j - 13 for c.
3
Let j be (-1)/(7 + -4)*-6 - -2. Solve -d - t - 13 = -j*t, -4*t + 24 = 2*d for d.
2
Let u be 128/(-20) + 2/5. Let q = u + 8. Suppose -2*n = -q, 0 = -3*r + 2*r + 2*n + 28. Solve 5*j + 3*p = 20, r = 5*j - 0*p + 5*p for j.
1
Suppose 20*l - 36*l = -64. Solve 2*k - k + 4 = 3*f, 5*k - 13 = l*f for k.
5
Suppose -u = -4*g - 8, 3*g = -3*u - 0*u + 9. Solve 5*d = -2*b - 10, -4*d + b + 1 + u = 0 for d.
0
Let m be 0*8/(-2 + -30). Solve 4*q - 4*n - 16 = 0, q + n - 2 = -m for q.
3
Let y be 3/(-18) - ((-95)/(-6))/(-5). Solve 0 = -c + 5*h - 5, y*h + h - 4 = 2*c for c.
0
Suppose 3*h = -2*x - 0*x + 6, 0 = -4*x + 4*h - 28. Let i be x/5 + 1 - (-2)/(-5). Solve 4*r - 5*g - 25 = i, -r - r - 3*g - 15 = 0 for r.
0
Let u = -34 - -32. Let w be u/(-5 - (2 + -6)). Solve -19 = 5*v - w*a, 4*v - 5*v = -a + 2 for v.
-5
Let g be -1*(12/18*-9 + 3). Solve -u - g = 3*i - 20, -u + 25 = 5*i for i.
4
Suppose -6*h - 5 = -17. Solve h*j = -2 - 0, 4*k = 2*j + 2 for k.
0
Suppose 5*h - 25 = 25. Let o(q) = -q**2 + 9*q - 3. Let i be (12/(-5))/(-2*3/20). Let r be o(i). Solve -r*k + 21 = p, h = -k + 4*k - 2*p for k.
4
Suppose g + 4*v - 70 = 0, -4*g - v = -7*g + 158. Let a = -54 + g. Solve a = 2*w + 4*m + 16, 2*w = m - 1 + 5 for w.
0
Let z be (-2 + 0)/(6/(-63)). Let i = z - 19. Suppose 2*y - 4*y = 3*l - 14, 2*y = 3*l + i. Solve -w - q + 3 = -0*q, 2*q = y*w for w.
1
Suppose -2*d + 2 = -8. Suppose -3*m + 0*m = 6, 0 = 3*z - d*m - 10. Let q be 2*-1 + 4 + z. Solve -h + 3*h = n, 2*n = 5*h + q for n.
-4
Let q(p) = p**2 + 6*p + 5. Suppose -n + 5*c = -4*n + 7, -c + 17 = -2*n. Let k be q(n). Solve -k*x = -3*v + 39 - 2, 5*v = -5*x - 5 for x.
-5
Let f = 441 + -431. Solve 4*i - 2*q = 14, -2*i + f = 3*i - q for i.
1
Suppose -5*c + 5*l - 72 = -67, 2*l = -2*c + 18. Solve 4*k + k - 4*z - 13 = 0, -2*k + c = -z for k.
1
Let i(c) = 10*c + 562. Let p be i(-56). Solve 4*n + x = 2, -6 + 2 = -4*n - p*x for n.
0
Let y be (-12)/(-16) - -1 - (-6)/24. Solve y*i + 5*b = 22, -1 = -3*i - 4*b + 18 for i.
1
Let q(s) = s**2 - 16*s + 17. Suppose -19*a + 30 = -17*a. Let m be q(a). Solve -16 - 2 = 4*y + m*u, 3*u + 2 = -y for y.
-5
Suppose 5*c = -2*w + 21, -3*w + c = 3*c - 15. Suppose -u + 4 = -w*n - 2, -5*n = 0. Let p = -4 + u. Solve -p*b = -2*o + 10, 7 = 2*o - o - 2*b for o.
3
Let v = 28 - 28. Suppose 4*o = y + 37, -5*o + v*y = 5*y - 15. Let c be (-4)/14 - 16/(-7). Solve -3*x = -x, -2*x = -c*k - o for k.
-4
Let r(h) = -2*h**2 + 22*h - 19. Let z be r(11). Let a be z/(-114) - (-34)/12. Solve -a*l + 5*s = 0, 3*s = -4*l - 19 - 10 for l.
-5
Let a = -54 - -59. Let y be a*10/25 - (1 - 1). Solve -d - 2*r - y = -6, 3*d + 4*r - 6 = 0 for d.
-2
Let q be 15/(-10)*-4 - 2. Solve -2*u + u = 0, -u = 4*c - q for c.
1
Let m(l) = -l**3 + 4*l**2 - 11*l + 25. Let q be m(3). Solve -8*b - 14 = -3*b + 3*s, -q = 4*b - s for b.
-1
Suppose -3*r - 2*t + 36 = 0, -r + t + t = -4. Let j = r - 7. Solve -4*x = j*c - 13, 3*c + 2*c + 2*x - 3 = 0 for c.
-1
Let r be (-34)/(-9) + (-6)/(-27). Let a be (6/(-2) + -1)*(-12)/6. Solve 0*b - r*b + a = -4*u, u - 4*b = 7 for u.
-5
Suppose b - 2*y + 67 = 0, -y - 161 + 7 = 2*b. Let f be ((-16)/(-5) + 1)/(b/(-250)). Solve -5*p - 1 = 2*d, 5*p - d - f = 2*d for p.
1
Let f(j) = -4*j - 3. Let n be f(-7). Let m = -306 - -306. Solve v + 5*o = 19, n + m = 4*v + 3*o for v.
4
Let g(a) be the third derivative of -a**4/24 - 2*a**3/3 + 3*a**2. Let u be g(-9). Suppose -62 = -3*w - 14. Solve 5*v + u*p = -35, w = -3*v - v - p for v.
-3
Let h be 1/(-4) - (0 + 21/(-4)). Suppose 0 = 13*s - 5*s - 232. Let i be (-3 + 2)*-1 + 1. Solve 5 = 3*n + h*c, i*n - 3*c + s = 7 for n.
-5
Suppose -5 = -22*z + 17*z, 0 = 5*x + 3*z - 23. Solve -3*d + v + x*v + 2 = 0, -3 = -2*d + 5*v for d.
-1
Let n be 2/(-3)*(-3)/(-2). Let l(r) be the third derivative of -7*r**4/8 + r**3/6 + 8*r**2. Let f be l(n). Solve -2*t + f = 4*h, 4*h - 4*t = -9*t + 37 for h.
3
Suppose 5*j + 2*q + 24 = 56, j = q + 5. Let x = -7 + -2. Let p = -7 - x. Solve 4*b - j = 2*w, b = -p*w - b + 18 for w.
5
Let y(c) = -5*c + 13*c**2 - 8 + 3*c**2 - 10*c**2 + c + c**3. Let l be y(-6). Solve 6*p - 2*p - l = -r, -p + 3 = 0 for r.
4
Suppose -k - 3*l + 6 = 0, 2*k + 3*l + 7 = 31. Suppose -40 = 14*r - k*r. Let h = -7 + r. Solve -h*z = 3*o + 21, -29 = 2*o + 3*o + 2*z for o.
-5
Let w(n) = -n**3 + 26*n**2 - 50*n + 51. Let p be w(24). Solve 5*l - 10*l + 34 = -p*o, -o = 3*l - 12 for o.
-3
Suppose k = 5*k - d - 170, k - d - 41 = 0. Let g = k - 41. Solve g*q + 4*x = 2, -5*q + 6*x = 3*x + 8 for q.
-1
Let x(c) = -c**3 + 14*c**2 - c + 17. Let b be x(14). Solve -4*j + 8 = 0, -b*j + 4*j = -o + 1 for o.
-1
Let q be 2/(-6) - 20/3. Let i be 7*6*(-6)/(-12). Let z be q*2/i*-3. Solve 0 = -4*y - 2*x - 4, -5*y - x - z = 3*x for y.
-2
Let w(o) = -1 + o + 1 + 3 + 1. Let k be w(0). Suppose -k*p - 2*h + 24 = 0, -4*p - p + 21 = -2*h. Solve -2*b - 2*b = p*z - 7, 4*b - 17 = 5*z for b.
3
Suppose 2*k - 25 = -3*k. Suppose q = -4*q + k*b, q - 3*b + 6 = 0. Suppose -3*z - 5 = -2*t - 2*z, -q*t = -3*z - 12. Solve 5*l = 0, 3*r - 2*r = -3*l - t for r.
-1
Let c = -66 - -31. Let s be (10/c)/(1/(-7)). Solve 0 = 3*b - d + 10 - 1, 0 = 4*b + 2*d + s for b.
-2
Suppose -14 + 8 = -2*r. Solve -2*p - 7 = 5*h, -r*h - 2*h = 5*p - 5 for p.
4
Let m be (-2)/4 + (-19)/2. Let d be (-2)/6 - (-2077)/201. Let b = d + m. Solve -3*l + 4 = -11, -2*t - 3*l + 25 = b for t.
5
Let l(i) = -243 - 243 + i**2 + 490 - 3*i. Let t be 2/2 - (1 + -2). Let h be l(t). Solve -7*f + 2*f = 4*u + 3, h*u = -2*f for f.
-3
Let t be 43/(-1)*1 + -1. Let c = -41 - t. Solve -c*f - 2*v + 16 = 0, 2*v + 0*v = 4 for f.
4
Let n = -139 + 133. Let p(f) = -f**3 - 6*f**2 - 8*f - 39. Let q be p(n). Solve 0 = 2*b - 5*r + q, 5*b + r + 8 = -r for b.
-2
Let w = -10 + 13. Suppose -5*q = 5*y + 30, -5*y + 2*q + w*q = 20. Let g = y + 10. Solve 0*v - 15 = 5*f + g*v, -9 = 3*v for f.
0
Let o = -666 - -680. Solve 10*b = 3*t + 6*b - o, -5*b = 10 for t.
2
Let t be 26/(-4)*(6 + -4). Let l = 14 + t. Let j = 6 - l. Solve -12 = -4*w + 4*i, -w + 5*i = -j*w - 33 for w.
-2
Let j(q) = -10*q + 120. Let h be j(12). Solve h = 5*o - 25, 6*o - 2*o = 4*d for d.
5
Let l be -68 + 69 + 4 + (1 - 3). Solve 0*u + 3*u + 9 = 0, -7 = -4*n - l*u for n.
4
Suppose 3*f + 2 = 2*c + 16, f + 4*c + 14 = 0. Solve d + 5*q + 17 = 0, -5*d - 3*q - 5 = f*q for d.
3
Let s(n) = -n**3 - 38*n**2 - 71*n + 39. Let p be s(-36). Solve -5*g + 0*g - 7 = -h, -5*g = -p*h + 11 for g.
-1
Suppose 0*o = -4*y - o + 31, 4*y - 19 = 3*o. Suppose -9*p + 11*p - 22 = 0. Suppose p = l - y. Solve t + 3*t + 2*q - 2 = 0, 3*t = 4*q + l for t.
2
Let k = 24 - 27. Let b be 2/k - (-40)/15. Suppose 44 = 3*i - 4*j, -9 = -0*i + b*i + 5*j. Solve 23 = -4*w - s, -i*w - 35 = -4*w + 5*s for w.
-5
Suppose 5*k - 3*j = 8, -2*j + 5*j = -5*k + 2. Solve m + z = 2*m + k, m + 4*z + 21 = 0 for m.
-5
Suppose 0 = -f - 2*f. Let i(a) = -a**3 - a + 6. Let q be i(f). Let b = -5 + q. Solve j - 4 = -j, 2*j = -n - b for n.
-5
Let v(h) = h - 3. Let o be v(8). Let k = o + 5. Solve -x = -3*i + 7, 4*i - x = -0*x + k for i.
3
Suppose -4*l = -36 - 0. Let f be 5/3 + 3/l. Solve -3*w - 5*o - 3 = 0, 5*w - f*o = 38 - 12 for w.
4
Suppose 0 = -q + 5*q - 36. Solve -x + 4*k = 3, -3*x - 3*k - q = -0*k for x.
-3
Let c be (18/15)/((-2)/(-10)) + 18. Solve -7*g = -4*x - 3*g + c, 5*g + 14 = -3*x for x.
2
Let r(p) = -p**2 + 9*p + 2. Let t be r(9). Let j be (-58)/(-18) - t/9. Suppose -7 = -j*y + 8. Solve -5*d - 3 - y = g, 2*g - d - 6 = 0 for g.
2
Suppose 5*a + 50 = -30. Let p be 14 + a + 1 + 1. Solve w - 5 + 0 = 0, v - 5*w + 28 = p for v.
-3
Suppose -5*t + 3*t = -6. Suppose -43 = 3*w - 49. Solve -4*s - 5*x = 11, w*s - t*s - 8 = 3*x for s.
1
Suppose -5*m + 1 = a + 2*a, -4*m = -3*a + 10. Solve 0 = 3*c + 2*k - 10, -2*c - a*k - 10 = -4*k for c.
0
Suppose 356 = 14*z - 50. Solve 2*m = -10, -5*m - z = -p + 3*p for p.
-2
Let r be (-19 + -5)/(-3) - 6. Solve -r*d + 5*h = -5, -4*d - 2 = h + h for d.
0
Let b be 615/21 + 2/28*-4. Solve 12 = 3*v - 0*s + 3*s, -4*s - b = -5*v for v.
5
Let y = -87 + 151. Let h be (-2 - y/(-11)) + 8/44. Solve 5*d + 1 = 3*o, 3*d + o + h*o + 21 = 0 for d.
-2
Suppose -1 = -c - 0*c. Let v(h) = 5 + 0 + c + h. Let r be v(-5). Solve 0 = 4*w - 4*g + 12, 3*w - 5*g + r = -4 for w.
-5
Let 