 -2*y + 1 for l.
1
Let m be (-86)/(-5) + (-1)/5. Let i = m + -14. Suppose i*h = 3 - 0. Solve -u + a + 2 = 3, -5*a = -3*u + h for u.
-3
Suppose -13 + 31 = i. Suppose 5*m + 2*m = 2*m + 10. Let o be -5*2/4*-2. Solve 0 = 5*u - 0*u - m*k - 13, 3*k - i = -o*u for u.
3
Let q = 40 - 20. Suppose -12 = i + 4. Let t = q + i. Solve 0 = t*a - 3*u + 18, 5*u = -5*a - 6 + 1 for a.
-3
Suppose 2*z - 4 = 5*u + 24, -2*z - 2*u = 0. Solve -4*p + t = z, -2*p - 3*t + 12 = p for p.
0
Suppose 0 = -234*y + 232*y + 6. Solve -2*h - 1 = d - 5*h, 4*d - y*h = 5 for d.
2
Let h(i) = i**2 + 13*i + 55. Let t be h(-5). Solve -5*u + t = 0, -5*x + 5*u = -4*x + 14 for x.
1
Let j be 1 + (-185)/20 + 1/4. Let q be 0 - (2 + (j - -3)). Solve -3*w - 3 = q*c, 3*w + 11 = -0*c - c for w.
-5
Suppose -2*k + 5*o + 1 = -4*k, -5*o = 15. Let q = -7 + k. Solve 18 = -3*p + 3*c - q*c, -5*c + 14 = -p for p.
-4
Let w = 4 - 15. Let v = w - -19. Solve 2*y = v, 5*a + y = 5 + 19 for a.
4
Let z = -66 + 69. Solve -2*f - 20 = -4*y, 5*f - z*y + 15 = f for f.
0
Let q(v) be the third derivative of v**6/120 + v**5/60 + 2*v**3/3 - 25*v**2. Let y be q(0). Solve -4*a = n + 16, -y*n - 25 = 5*a - 2*a for n.
-4
Let n be ((-1)/(-3))/((-33)/(-594)). Solve 5 = 4*a - 5*b, b + 10 = -a + n*b for a.
5
Suppose 7*p + 63 - 98 = 0. Solve 4*n + 4 = 4*j, -j - 2*n + 1 = -p*n for j.
1
Suppose 2*r + 4*d = 16, 29 = 3*r + 4*d + 5. Let z be 6/r - 204/(-48). Solve 0 = 4*s + 3*f - 17 - 14, z*s = -f + 25 for s.
4
Suppose -o + 5 - 1 = 0. Suppose 6 - o = z. Suppose 0 = -5*c + 4*d + 61, 3*d = -10 - z. Solve 0 = -4*m - y + 6*y + c, 0 = -5*m + 4*y for m.
-4
Let r(t) = -3*t**2 + 19*t - 18. Let u(k) = -4*k**2 + 19*k - 17. Let m(x) = -3*r(x) + 2*u(x). Let i be m(19). Solve 5*q = -3*y - 1 + 8, 4*y - i = 4*q for y.
4
Suppose 6 = -0*h - h. Let r(b) = -b**3 - 7*b**2 - 6*b. Let m be r(h). Suppose m*n - 5*n + 40 = 0. Solve -n*k + 13 = 3*v - 3*k, -7 = -v - 3*k for v.
1
Let v(o) = -2*o**2 + 12*o - 10. Let q = 6 - 1. Let t be v(q). Suppose t = f + 3*l - 13, 3*f - 9 = 4*l + 43. Solve 0*r - 3*p = r - f, -5*r = 3*p - 32 for r.
4
Let h = 53 - 50. Solve -3*s - 15 = 4*f - 2, -s = -h*f for f.
-1
Suppose 4*n - 40 = 8. Suppose -3*g - 5*p - 8 = 0, -15 + 43 = 5*g - 2*p. Solve -g*q + 44 = 3*z + 12, -4*q + n = -2*z for z.
4
Let z = -508 + 511. Solve 2*s + z*j = 2, 0 = 3*s - 6*s + j + 3 for s.
1
Let a(b) = b**2 + 19*b - 43. Let l be a(-22). Solve -4*k - 3*q = -3, 0 = -k - 0*k + 4*q - l for k.
-3
Let t(q) = -2*q**2 + 2*q + 4. Let j be t(2). Let p(n) = -n**2 - 8*n. Let b be -4 + 5 - -3 - 10. Let c be p(b). Solve 2*h + j*h - 6 = 4*i, c = 2*i + 4*h for i.
0
Suppose -2*i = -0*i - 118. Suppose -i = -6*b - 17. Solve 2*o + 4*y - 5 - b = 0, -o + 7 = 3*y for o.
4
Let i(f) = -f**3 + 14*f**2 - 13*f + 4. Suppose -8*s + 140 = 36. Let u be i(s). Solve 4*o - 12 = u*m, o + o = -5*m - 22 for m.
-4
Let f(x) = x**3 - 42*x**2 - 86*x - 83. Let y be f(44). Solve 4*m + 1 = -t - y, m = -4*t - 9 for t.
-2
Let h(u) = 25*u - 122. Let w be h(5). Solve -2*m - 2*z + 2 = 0, -2*m - w*m + 4*z - 4 = 0 for m.
0
Let h be ((-3)/12 + 84/(-16))*-4. Suppose -b - 12 + h = 0. Solve b = -5*z - 6*a + a, 0 = 4*z + 3*a + 4 for z.
2
Let t be 13 + (147/(-7))/7. Solve t = 3*a - s, 0 = 2*a + 4*s - 30 for a.
5
Let n = -363 - -366. Solve -5*i + 0*q = -4*q + 16, i + n*q = -7 for i.
-4
Let u = 38 + -35. Suppose 7 = -u*a + 16. Solve 2*i - 7 = a*m, 2*m - 2 + 0 = 3*i for m.
-5
Suppose -f = -u - 0 - 2, -5*u = -3*f + 4. Suppose 3*n = 2*n + f. Suppose -3*b + 4*b - 3 = 0. Solve -b*s + 0*v - 2*v + 2 = 0, 5*v = n*s - 37 for s.
4
Suppose 71 - 896 = -55*o. Solve 3*t = 4*f - 14, 11 = o*f - 12*f - 2*t for f.
5
Let x(a) = -a**2 + 17*a + 12. Let j be x(13). Let f = -60 + j. Solve 3*z = -0*o - f*o + 29, -5 = -o for z.
3
Let v be 328/18 - 2 - 8/36. Let c(o) be the third derivative of o**5/60 - o**4/8 + o**2. Let f be c(3). Solve -2*l + 2*t + 14 = 0, f*l + v = 3*l - 2*t for l.
2
Let h = 15 - 15. Suppose h = -0*k + 5*k - 15. Suppose -3*r = -5*r - 5*s - 5, -3*r = -k*s - 24. Solve 3*t = -r*w - 26 + 3, t - w = 3 for t.
-1
Let t = 16 - 21. Let h = t - -11. Solve -j = -3*n - 19, -n = -h*j + j + 25 for j.
4
Let o = 101 - 100. Solve 0 = -g - r + o - 0, 0 = 2*r + 2 for g.
2
Suppose d + 2*s + 8 = -d, 0 = 5*d + 4*s + 16. Suppose -3*a + 4*m - 14 = 0, 4*m = -a - d*a + 22. Solve t = -4*t + a*l - 14, -4*t + 5*l = 18 for t.
-2
Let z = 13585 - 13580. Let q be 1*-3*(-1 + 0). Solve -m = b - q, -4*m + z*b + 20 = 8 for m.
3
Let k(i) = -32*i - 9. Let m be k(-2). Suppose -5*q = -5*n + m, -4*q + 8 = 2*n - 14. Suppose j - 5 = 7. Solve 4*y = c - 5, 5*c + n = -4*y - j for y.
-2
Let a be (-3)/5 + (-36)/(-10) + -1. Suppose -6*k + 3*s + 17 = -a*k, 3*s = -9. Solve 3*u + 5*f - 18 = 0, 3*u - k*u - 4*f + 11 = 0 for u.
1
Let j be (-72)/32*16/6. Let c be 93/9 + j/18. Solve 4*s = 5*f + 38 - c, f - 5*s = -14 for f.
-4
Let m(o) = 2*o**2 + 11*o + 8. Let c be m(-5). Suppose -i + 3*k = i - 16, c*i = -3*k - 6. Solve 2*t = x + 10, -x = i*x + 12 for t.
3
Let g be (4 + -11)*(-80)/28. Solve 2*w - 19 - 7 = -4*i, g = 4*w for i.
4
Suppose -2*s = -u - 21, s - 4*u = -0*s + 14. Suppose -t - s = -3*n - 0*t, -5*t = 2*n - 18. Solve p + o = 0, -2*p = -4*p + n*o for p.
0
Let p(t) = -t**3 + 11*t**2 - 12*t + 22. Let y be p(10). Let x be (3/3)/(y/4). Solve 0 = -x*k + 4*l + 2, 0 = 2*k - 5*l + 2 - 6 for k.
-3
Let h(g) = g**3 - 6*g**2 - 16*g + 15. Let r be h(8). Solve -2*z + 0*q - 13 = -5*q, -3*q + r = -3*z for z.
-4
Let s(v) = v**3 - 17*v**2 + 17*v - 18. Let x be s(16). Let l be x - (0/(-1) - 12). Suppose 17 - l = o. Solve -3*z - 5*u - 14 = 0, 2*z + 2*u + o + 1 = 0 for z.
-3
Let o = -893 - -905. Solve -4*a - o = 0, -2*w - 5*a + 3*a - 12 = 0 for w.
-3
Suppose -10 = -n + 6. Let j be 0 + (3 - 0) + n. Solve 0 = -2*v - 3*w - j, 3*w + 10 = w for v.
-2
Let m(z) = 2*z**3 - z**2 + 2*z. Let j be m(-3). Let v be (12*2)/(j/184). Let x be 2/(-7) + v/(-28). Solve 0 = x*o + 4, -4 = -4*h - h - 3*o for h.
2
Let b = 86 - 34. Let j be (-3)/((-45)/(-10)) - b/(-6). Solve 0 = -5*i - 3*w - 30 + j, -5*i = 2*w + 18 for i.
-2
Suppose -3*u = p - 15, -5*u - 7 + 27 = 0. Let i = 170 - 166. Solve 3*g + 2*g - 7 = -p*w, 5*g + i*w = 11 for g.
-1
Let a(x) = -x**3 + 3*x**2 + 6*x - 8. Let c = 33 + -29. Let k be a(c). Solve 5*z + 5*i + 30 = 0, -2*i = -5*z - k*z - 2 for z.
-2
Let v(r) = r**3 - 3*r**2 - 12*r + 11. Let g be v(5). Suppose -2*d - 4*q = -10, -q + g = -4*d + 21. Solve -2*h + 2*k - 6 = 0, -k = -d*h + 2*k - 11 for h.
-1
Let w = 412 + -411. Solve -5*b - 4*s + w - 3 = 0, -4*b + 3*s = -17 for b.
2
Let g(y) = y**2 - 25*y + 128. Let c be g(7). Let n be 8 - (2/2 + 1). Solve -c*d = -k + n, 12 = 4*k + 28 for d.
-5
Suppose -22 - 10 = -8*a. Suppose 29 = 2*i - 5*d, -a*i = -3*i + 4*d + 18. Solve j - 6*j = -3*z + 4, 3*j + i = 2*z for j.
-2
Let b(k) = -k**2 + 9*k - 12. Let n be b(8). Let g be 6 + (-4 - (n + 3)). Solve l - 2*l = 3*p + 4, 5*l = g*p + 16 for l.
2
Suppose 858 = -65*c + 98*c. Solve -r = 3*n + 14, -4*r - c = n + n for r.
-5
Suppose 0 = -7*k + 172 - 32. Solve 0*f + p = -3*f + k, -4*f + 4*p = 0 for f.
5
Let g(c) = -c**3 - 14*c**2 - 11*c + 31. Let z be g(-13). Solve 3 = -3*t + 3*y - 3, -5*y = -z for t.
-1
Suppose k = -5*k - 6. Let z = k + 14. Let m(b) = 5*b**3 + b - 1. Let w be m(1). Solve 3*q + 2*v - 3 = -z, 0 = -v - w for q.
0
Let o(w) = 2*w**2 + 17*w + 23. Let a be o(-8). Let c(m) = -3 - 14*m - 3 - 3*m**2 + 4*m**2. Let q be c(a). Solve 0 = 2*j - 3*g + 14, 3*j - 4*j + 2*g = q for j.
-1
Let w(h) be the third derivative of h**5/60 - h**4/24 + 7*h**2. Let t be w(-1). Solve 5*n - t*f + 1 = 0, 12 = 3*n + f + 2*f for n.
1
Let t(z) = -13*z**2 - 5*z + 62. Let b(s) = -7*s**2 - 2*s + 32. Let l(c) = 11*b(c) - 6*t(c). Let i be l(-13). Solve 4*g + 0*d = 5*d - i, 20 = -3*g + d for g.
-5
Let l = 103 + -93. Suppose m - 2 = 0, f - 5*m = -f - l. Solve 2*n + 3*c - 9 = f, -3*n + 2*n = -4*c + 23 for n.
-3
Let g(f) = 2*f**3 + 3*f**2 + f + 2. Let w be g(-2). Let u be 0 + 2 + w/(-2 - 0). Solve 3*q = -u*p - 7, -4*q + 0*q - 2 = -2*p for q.
-1
Let g = 68 - 62. Suppose -4*z + 36 = -4*l, -z - l - g = l. Solve -5*c - z*b = -12, 5*c - 2*b - 9 = -5*b for c.
0
Suppose 0 = 2*c - 8*c + 12. Solve 0 = -c*j - j + 2*u - 3, -3*u + 2 = -2*j for j.
-1
Suppose 4*z + 12 = 4*p, -8*p + 11*p + 2*z = 19. Solve -r + 22 = -5*q, -10*r = -2*q - p*r - 18 for q.
-4
Suppose 46*k - 3*g -