 = 2*l, 0 = -p*o + 4*l for o.
0
Let i be (-4 + -4 - -8)/(-3). Let s = 7 + -4. Solve i*u = s*b - u + 4, u = -3*b + 4 for b.
0
Let c be -3 - -6*2/4. Suppose x + 3*x = -3*l + 87, c = -2*x + 3*l + 39. Solve -4*t - t + x = 2*r, -3*r - 4*t + 21 = 0 for r.
3
Let w = 22 + -19. Let y be ((-10)/(-25) + 2/20)*8. Solve -17 = -3*m + y*r - w, -5*r - 21 = -2*m for m.
-2
Let a = 32 + -12. Solve 2*j - a = -4*t - 3*j, 0 = -3*j for t.
5
Suppose 3*j - 44 = 4*v, -3*j + 11 + 18 = -v. Suppose 22 = 2*o - j. Suppose o + 3 = 6*w. Solve 0 = q - 3, -q + w = 3*b - 3*q for b.
3
Let x(s) = s**2 - 36*s + 37. Let j be x(35). Solve -j*y + 5*v - 8 = -0*y, v = 0 for y.
-4
Let f(q) = 46*q - 70. Let v be f(2). Solve -3*g = -4*z - v, -g - 2 = -0*g + z for g.
2
Suppose -241 = 6*o - 259. Solve -3*z = o*u - 14 + 5, 5*z - 25 = 0 for u.
-2
Let r = -158 + 158. Suppose 5*c + 4 - 14 = r. Solve 2*o - 5*t = -15, 2*o = -c*o + 5*t - 5 for o.
5
Let a be 12 - 13 - (-8 - 3). Solve -15*b - 5 = q - a*b, -3*q - 4*b = 4 for q.
0
Suppose 3*h - 32 = -5*x, 2 - 10 = -4*h + 2*x. Let t(s) = s + 1. Let n = -11 + 12. Let u be t(n). Solve l - 3*l = -u*o - 14, 4 = 4*o + h*l for o.
-3
Let u(j) = 2*j**3 - 14*j**2 - 13*j - 16. Let f be u(8). Solve 2*v - 12 = -4*c - 2*v, f = 2*c + 3*v for c.
1
Let v(k) = k**3 + 3*k**2 - 3*k + 7. Let d be v(-4). Let u be d/(-1 - -5 - 3). Solve 3 = 3*t, u*t = x + x + 9 for x.
-3
Let d be (1 - -13) + -1 + 1. Suppose 11 + 12 = s. Let q = s - d. Solve -l = 2*l + 3*h - q, 0 = l + 4*h for l.
4
Let u = -385 - -409. Solve -3*o + u = 3*d, 3*d = 3*o + 3 - 9 for o.
5
Let u(d) = -31*d - 339. Let h be u(-11). Solve 4*j - a - 16 = 0, a + h*a - 20 = -5*j for j.
4
Let t(l) = l**3 - 6*l**2 + 5*l + 7. Let u be t(5). Suppose -2*d - 3*c - 29 + 17 = 0, 0 = 5*d + 5*c + 15. Solve -d*v - u = 2*k, -v = -3*k - 9 - 7 for k.
-5
Suppose -3*f = -5*k + 79, 4*f - 11 = -k + 3*f. Solve 2*x = t - 13, -2*x - 2 = -2*t + k for x.
-5
Let m be 3*35/(-21) + (-20)/(-1). Solve 26 = 5*z + t, 4*z = -0*z + 5*t + m for z.
5
Suppose 3*u - 7*u + 8 = 0. Suppose -5*b = -2*h + 8, -3*h - 2*h = -4*b - 3. Let y be -4*(b + (0 - -1)). Solve -r + 26 = -6*r + 4*k, u*r = -2*k + y for r.
-2
Let f be (0/24)/(1 - 0). Solve 5*v + 3*l + 20 = f, -4 = 2*v - v + l for v.
-4
Suppose 15 - 55 = -10*z. Solve 5 = 3*m + 5*t + z, 0 = 3*m + t + 7 for m.
-3
Let c = 535 + -532. Solve 4*d + c*y = -5 - 1, 1 = -d - y for d.
-3
Suppose -20 = 5*z + 5*o + 25, 3*o + 39 = -4*z. Suppose 0 = 59*f - 69*f - 110. Let d = f - z. Solve 0*q = 3*q + 4*n + 11, 3*n = 5*q - d for q.
-1
Suppose -8 = 2*x - 6*x. Suppose -3*f = -5*f. Suppose 3*k + 5*g + 6 = f, -3*k + 5*g + 9 + 15 = 0. Solve v - x*v = -k*a, a = v + 2 for v.
-3
Suppose -5*l = -3*d - 17, 0 = 2*l + 4*d - 6*d - 10. Let o(c) = -1 - 6 - 2*c - l. Let m be o(-4). Solve 2*v = 3*a - m*v + 5, 2*v - 11 = 5*a for a.
-3
Let m be (-270)/9*(-4)/10. Let h = -12 + m. Solve 4*b - 2*b = -5*g + 10, h = -5*g for b.
5
Let q be ((-33)/44)/(3/(-12)). Solve -2*d - q + 1 = -4*a, 3*d = -4*a - 23 for d.
-5
Let a be (105/14)/((-20)/(-24)). Solve u - 21 = -2*u - 3*b, -u - 2*b = -a for u.
5
Suppose 11 + 4 = o - 3*t, 14 = 2*o - 2*t. Suppose -5*y - 10 = -o*l, 0 = 3*l + 5*y + 14 - 4. Solve 4*s - r = -3*r, 5*s - 2*r = l for s.
0
Suppose 14 = -3*s + 23. Solve h - 28 = -5*u, s*h - h = -5*u + 31 for u.
5
Suppose -n = 3*n + 12, -2*l + 5*n + 17 = 0. Let c be (8/(-16))/(l/(-4)). Suppose 3*k = b + c, -18 = 2*b - 5*b - 3*k. Solve 5 + 6 = -j - 4*f, -b = f for j.
5
Let s = 1637 - 1633. Solve c + s*n + 16 = 0, -4*c + 9*c - 5*n = -5 for c.
-4
Let l(t) = 2*t**2 + 3*t + 2. Let d be l(-2). Solve 5*c + 6 = -4*w - 16, -d*c = -w + 5 for w.
-3
Let z be ((-51)/9 - -6)/((-2)/(-12)). Solve -4*v + 5*g = 48 - 3, z*v - 5*g = -35 for v.
-5
Let o = 297 - 295. Solve 3*x + o*i = -0*i - 10, -3*x + 2 = -4*i for x.
-2
Suppose 0 = -5*i + 84 - 4. Suppose -4*h = -4*o - 8*h + 16, -3*h = -4*o + 16. Solve 0 = g + c + o, 4*c = 6*g - g - i for g.
0
Suppose 4*s + 208 = -5*o + 2*s, 12 = -3*s. Let c be 2/5 + o/(-25). Let k be (c - 0) + 2 + -1. Solve 6 = -k*i + 3*y + 33, i - 25 = 5*y for i.
5
Let l(y) be the third derivative of -y**6/120 - 3*y**5/10 - 17*y**4/24 + 11*y**3/3 - 7*y**2. Let t be l(-17). Solve 3*x - x + 2*h = -4, 0 = 5*x - h + t for x.
-4
Suppose -36*q = -38*q - 90. Let b = 48 + q. Let k be (-60)/(-14) + (-4)/14. Solve b*l - 3 = -2*s - 1, 4*s = -k*l for l.
2
Let w(k) = -k + 15. Let o be (-270)/(-25) - 1/(-5). Let x be w(o). Suppose j = -3*t + 12, j + 35 = 4*t - x*j. Solve 0*v + 26 = -5*v + i, 5 = t*i for v.
-5
Let f(p) = 3 - 16*p - 4 - 1. Let w = -12 + 11. Let s be f(w). Solve d + 0 + s = 5*r, -3*d - 5*r = -18 for d.
1
Let c(x) = -20 - 18*x - 8 + 22*x. Let q be c(8). Solve -7*u + 20 = 5*z - 2*u, -q*z - 20 = -5*u for z.
0
Let t(a) = -a**2 + 4*a - 6. Let z be t(4). Let k be (0 - 0)/(-5 + (0 - z)). Solve -3*b + 3*m - 3 = 0, k*b - m - 17 = 5*b for b.
-3
Let v(h) = 8*h + 412. Let z be v(-51). Solve -z*m - 10 = -0*m + k, 6 = -m - 2*k for m.
-2
Suppose 0 = 9*m + 1 - 46. Suppose 5*b - b = -v + 14, -7 = b - m*v. Solve -t - b*f + 2 = 0, 2*f + 2*f = 0 for t.
2
Suppose 3*w + 5*o = 17, -2 = 3*w + 2*o - 25. Suppose -3*n + 0 + w = 0. Let l be 0*(0 - (-1)/2). Solve -8 = -2*h + 5*a, 2*h - n*a - 4 = -l*h for h.
-1
Let i be ((-10)/4)/((-5)/10). Solve i*t + 0 = -5*a - 20, 2*a - 5*t + 8 = 0 for a.
-4
Let u(j) = 4*j**3 - 6*j**2 + 7*j - 2. Let f be u(1). Solve 4*r + c = 2*r + 8, f*c = 0 for r.
4
Let h(o) = -o**2 + 17*o + 41. Let x be h(19). Solve -i - x*b - 7 = -b, 4*i - 5*b + 15 = 0 for i.
-5
Let p be (-1)/((-1)/6) - (5 - -1). Solve 4*h - 2*y + 6 = p, -3*h = -2*y - y + 3 for h.
-2
Let j be (-5 - (-222)/30) + (-14)/35. Solve -i + 15 = -3*v, -j*i = 2*i for v.
-5
Suppose 13*q - 14*q - 180 = 0. Let b be (-12)/21 + q/(-21). Suppose l = -2*l - 4*k + 31, 4*k - 16 = 0. Solve 3*p + f - 6 = -2*f, p - b = l*f for p.
3
Let u = 78 - 38. Let n be u/((1 + -2)/(-1)). Suppose -4*o - 12 + n = 0. Solve 2*k - 3*m + o*m = -18, -4*k = 4*m + 24 for k.
-3
Let y be 2*1/(2/5). Suppose -5*z = 5*v, 2 = -y*z - 2*v + 14. Let j(b) = b**2 - 82*b + 1202. Let k be j(19). Solve 4*p = 4*i + 8, 0 = -i - 10*p + k*p + z for i.
-1
Let y(g) = 3 - 3 + 11*g**3 + g - 10*g**3. Let q be y(0). Suppose -3*z - 18 = -3*x, x - 3*z - 13 = 1. Solve q = -2*u + 5*s - 10, -8*s + 3*s + 10 = x*u for u.
0
Let a = -61 - -66. Solve 20 = -o - 5*h, -a*o + 2*h = -o - 30 for o.
5
Let h be (-28)/((-6)/3) - -1. Let m be (-12)/h*(-5)/2. Suppose 0 = -0*d - m*d - 2, o - d = 5. Solve -4*z - 4 = -0*z, 20 = -o*b - 4*z for b.
-4
Suppose d = -d + 10. Let m(o) = 7 + 6 + o + 5 - 23. Let r be m(d). Solve 3*w + x + 7 = r, w = 6*w - 5*x + 45 for w.
-4
Let l = -3496 - -3512. Suppose 4*k = k + f + 15, 2*k = -5*f - 7. Suppose -2 = 2*w - 3*i, -k*i + 14 + 2 = 0. Solve x + l = -w*a, 3*a = -0*a - x - 10 for a.
-3
Suppose 59*r + 15 = 64*r. Solve -r*q = 2*b - 11 - 0, 3*q - 10 = -b for q.
3
Let w be (-21)/105 + (-14)/5. Let x be 12/(-10)*(w - (-1)/(-3)). Let u = 5 - 5. Solve -x*z - 3*o = u, -2*z + z = -3*o for z.
0
Let h = 64 + -56. Solve -2*n + q + h = 0, -q = -3*n + 15 - 5 for n.
2
Suppose 8*u - 556 = 4*u. Let k = -136 + u. Solve -1 = -2*z - f - 0*f, f = -k*z + 1 for z.
0
Suppose -4*a = -7*a - t + 3, 5*a + 5*t + 5 = 0. Let s be 19/(a/10*5). Solve 0*c + 3*c + 4*n = -11, 4*c + n = -s for c.
-5
Let r = 65 - -16. Suppose 0 = 4*c - 0*y - 5*y - r, c - y = 19. Solve 1 = p, -4*n + c + 2 = 4*p for n.
3
Let z be (-1)/(-2*(-11)/(-44)). Solve -2*f = -z*q + 6, -f = 5*q + f - 15 for q.
3
Suppose -4 = 2*v + 3*j, -v - 5*j = -3 + 19. Suppose -f = -0 - v. Solve 3*k = 4*l, 0 = f*l + l + 4*k for l.
0
Suppose 6 = -2*x - 2*s, -s - 1 = -2*x + 2. Suppose -4*a = 2*b + 3*b - 15, x = -a. Solve -4 = 3*q + 5*z - 0, -b*q = 2*z - 2 for q.
2
Let m be ((-59)/(-59))/(1/2). Solve 2*j + 4 = 2*f, 4*j + 5 - m = 3*f for f.
5
Let i = -959 - -964. Solve 3*s + 7 = 4*d + 19, 5*s - i*d = 15 for s.
0
Let y be 6/(-27) - 116/(-36). Suppose -2*x = -2*k + 6, -y*x - 4 = -k - 1. Let t be 2/(-3) + 17/k. Solve -5*b = -2*n + 23, 4 + 7 = -n - t*b for n.
4
Let j be (-4)/(5 - 36/6). Solve -5*f = -u - 23, 2*f + 0*f = -j*u + 18 for u.
2
Let b(y) = -2 - y + 1 - y. Let o be b(-1). Suppose 22 = 9*m - 50. Solve 2*l - 3*l + 5*u = -o, -3*l + 4*u - m = 0 for l.
-4
Suppose -20 = -5*r + 15. Suppose -4*x - 5*s + 31 = 0, 5*s = 2*x - 0*s + r. Solve 3*k +