= 2*f, -25 = -5*l + 3*f for l.
2
Let b = -657 - -665. Suppose -f + 55 + 5 = 0. Let z = f - 29. Solve z = -5*t + t - 3*r, -4*r - b = -3*t for t.
-4
Suppose 821 - 968 = -7*i. Solve 0 = u - 5*l - i + 3, -3*l - 24 = -5*u for u.
3
Let s = 25 - 23. Suppose -14*l - s = -15*l. Solve 5*d = 5*u - 5, -3*u - l*d = 2*u + 9 for u.
-1
Suppose 0 = 4*r + 16*n - 12*n - 24, -2*r + 11 = n. Solve 0 = -2*o + 8*t - 11*t + 3, 4*o + 5*t - r = 0 for o.
0
Let y = -285 - -289. Solve -27 = -c + 5*t, 3*c + y*t + 14 = -0*c for c.
2
Let z be 26/6 + 2/(-6). Let w(t) = 23*t**2 + 4*t + 1. Let j be w(-1). Let s be (-9 + 18/6)/((-6)/j). Solve -5*v - 20 = z*g, 5*v = -4*g + g - s for v.
-4
Let m be ((-100)/12 - -9)*24. Solve n + 0*q = -4*q - m, -3*n - 2*q = 18 for n.
-4
Suppose -5*y = 3*o - 30, -5*y = -4*y + o - 8. Solve y*q - 6 = 3*l, 4*q + 4*l - 17 = 5*l for q.
5
Let b = 36 + -19. Suppose 2*h - b = -1. Solve -5*f + 2*a + 23 = 0, h*f - 4*a - 11 = 5*f for f.
5
Let m(s) = 2*s**3 + 9*s**2 - 8*s - 46. Let k be m(-4). Solve 8 = -2*t + 4*l, l - 12 = -k*l for t.
4
Let w(i) = 6*i + 4. Let f be -7 + 4 - (-1 - 2). Let v be w(f). Solve -v*d + 5*h = -3 - 32, -5*h = -2*d + 25 for d.
5
Let q = -18 + 21. Solve 3*t + 5 = -5*w + t, t = -q*w - 4 for w.
-3
Suppose 0 = -4*v + 5*v - 2*i - 24, 3*i + 81 = 3*v. Let l = -26 + v. Solve 5*k + 4 - 9 = 0, -4*k - 16 = l*g for g.
-5
Let n(c) = c**2 - 4*c - 7. Let t be n(6). Suppose t*k + 19 = 4. Let a be (16 + k)/(4 - 3). Solve 3*s + 2*s - 3*v = a, 0 = 5*s + 4*v - 6 for s.
2
Suppose 16 = 10*u - 44. Solve 2*s - v + 3 = 0, -2*s - v - v = -u for s.
0
Suppose 177 = -n + 4*n. Let b = -44 + n. Solve 5*t = b, 3*k - 2*t = -11 - 10 for k.
-5
Let l = 33 - 35. Let i be l/6 - (-56)/24. Solve 0 = -3*o + 5*g - 6, i*o + g - 16 = -7 for o.
3
Let o be 3/21 - (-835)/35. Suppose -o = -4*p - 16. Solve 7*v + p*g + 20 = 2*v, -3*g = 2*v + 8 for v.
-4
Suppose -10*x + 14*x = 16. Solve -2*r = 4*k - 6, x*k - 8 = -r + 1 for r.
-3
Let c = -413 + 414. Solve 2*z + 4*i + 14 = -0*i, -4*z = -i + c for z.
-1
Suppose -h = -3, -h = -3*r + 6*r - 6. Let t be r + 1 + 2 + -1. Let s be (-28)/98 + (-48)/(-21). Solve -s*v - 2 = -2*g, 0 = t*g - 0*v + v + 17 for g.
-4
Let m be (-7)/(-1*1/3). Suppose -5*f + 33 = 5*t - 42, 3*t - 49 = -4*f. Solve 2*g - g + 5*d + m = 0, -g - t = 3*d for g.
4
Suppose 2 - 4 = -5*f + 4*s, 12 = 5*f + s. Suppose 0*y - 8 = -f*y. Let b be 4/3*((-8925)/34)/(-25). Solve 2*z = y*j - b - 8, -4*j + 18 = 2*z for j.
5
Suppose 10 = u + 8. Let s be 4 + u + (-1 - 2). Solve s*k + k = q - 4, -4*q - k = 1 for q.
0
Suppose 3 + 5 = -4*s. Let i be s - -7 - 10/5. Suppose 0 = 4*r + t - 14, -5*r + t + 17 = 2*t. Solve -x + 1 = -r*j - 3*x, -i*x + 21 = -3*j for j.
-3
Let x be (-1)/3 + (-2)/(-6). Let n(r) be the first derivative of -r**2 - 17*r - 11. Let b be n(-10). Solve -3*w - u = u - b, 5*w - u - 5 = x for w.
1
Suppose 5*o + 4*j = -48, 2*o + 4*j + 15 = j. Let a be -2 - 1 - o/(3 - 1). Solve -4*p + a*b = -0*b - 2, 0 = 2*b - 4 for p.
2
Let f = 2 - -1. Suppose 4*t = -u - 54, -t + 9 = -4*t. Let d be u/(-56)*8/f. Solve -4*s = -d*w - 20, -s = -w + 3*s - 16 for w.
-4
Suppose 1 = i + 3*l + 16, 2*i + 4*l + 20 = 0. Let v(b) = -5*b + 30. Let o be v(5). Suppose -5*u - 2 + 12 = 0. Solve i = z + u*w + 9, o*z + 8 = z - w for z.
-1
Let r(h) = 2*h**3 + 13*h**2 - 6*h + 12. Let u be r(-7). Solve -5*f + 2*g + 25 = -3*g, -f + u = 2*g for f.
5
Let t be (2 - (-105)/12) + 47/188. Solve -7*f + t = 2*g - 12*f, 2*g + 5*f + 19 = 0 for g.
-2
Let o be (-6 - (1 + -14)) + 1. Solve -x + 2 + 0 = 3*h, x - 2*h = -o for x.
-4
Suppose 4*d - 20*d = -208. Solve 5*v + 2*z = -d, -2*z + 5*z = -4*v - 16 for v.
-1
Let l = 34 - 36. Let s(f) = 3*f**2 + 5*f + 2. Let w be s(l). Solve -w*c + 7 = -2*x - x, 2*c + 5*x = -29 for c.
-2
Let n = -209 + 216. Solve -4*m - f + 3 = 0, -m - 2*f + 6 = -n*f for m.
1
Let p(d) = -9*d + 93. Let m be p(10). Solve -2*r + 4*v + 18 = 0, -r + 4*v - m*v + 7 = 0 for r.
5
Suppose 2*n = -3*n + 15. Suppose 14 = -3*z + o - n, -5*z - 29 = -o. Let c be (-52)/(-6) - 2/z. Solve -2*g = -4*l + 2*l + 2, 5*l - c = 3*g for g.
2
Let p(w) = -w**2 - 12*w - 25. Let r be p(-3). Solve r*b + 2*b + 5*h - 4 = 0, 3*h - 20 = 2*b for b.
-4
Let d(s) = -11*s + 81. Let b be d(6). Solve -3*w + b = 0, 3*w = -3*n + 5 - 2 for n.
-4
Let a = 24 - 8. Suppose 4*r - a = o, -o + 3*r = 4*o + 63. Let n be 7 + -3 - o/(-6). Solve 0*k = -k + 2*w, -n = -2*w for k.
2
Suppose -42 = -5*t + 2*n, -2*t + 32 = 2*t - 2*n. Suppose -t*z + 7*z + 15 = 0. Solve -3*u - 6 = -q, -2*q - z = -5*u - 14 for q.
-3
Suppose 0 = 4*o - o - 36. Suppose -o*s + 25 = -7*s. Suppose j - s = -0*j. Solve -j*h = 4*r + 25, r = -4*h - 14 + 5 for h.
-1
Suppose 72 = -0*h + 9*h. Solve -j - 2 = 2*f, 4*j = -3*f - 0*f - h for f.
0
Let n = -108 + 109. Let l be 1 + 3/(6/4). Suppose -19 = -b - 5*m, l*m - 24 = -4*b + n. Solve -12 = -5*s - 4*g, 0 = s - 4*s + b*g + 20 for s.
4
Let y be -6 - -4 - 19*-2. Let m = -31 + y. Suppose -2*u + 3*u - 5 = 0. Solve 0 = 2*z, 2*a + u*z - 12 = m*a for a.
-4
Suppose -19 = -4*g - 5*b, 0*g + 13 = 4*g + 3*b. Suppose 3 = v - g. Solve 4*q - 29 = -0*x + 5*x, -3*q = v*x + 17 for x.
-5
Suppose 2*i = -r + 48, -i + 6 = 4*r - 18. Let t = i - 22. Solve -x - 3*j = -t, -3*j + 5 - 1 = 2*x for x.
2
Let p be (0/(-5))/(3/3). Suppose -5*j + 3 + 12 = p. Solve -5*m + m = 5*n, -n = -j*m for m.
0
Let g be (0*(-1 + 0))/(-1). Let s be (6/7)/((-8)/112*-2). Solve 0 = -4*u - g*l - 3*l - 10, s = u + 5*l for u.
-4
Let o(a) = 3*a**3 + a + 4. Let b(w) = w**3 + w**2 + w + 1. Let c(i) = 4*b(i) - o(i). Let j be c(-2). Solve 2*l - 11 = -5*z, l + j*z = -0 + 4 for l.
-2
Let z be (-1 - -2)*1 - -138. Let h = z - 136. Solve -2*q - 15 = q, 21 = -2*u - h*q for u.
-3
Suppose 0 = -5*s, 46*r - 5*s = 44*r + 6. Solve 3*c - 4*u - 14 = 0, r*c = 2*u + 3*u + 19 for c.
-2
Suppose -69 - 231 = -25*i. Solve 0 = 4*p + i, t + 11 = p - 5*p for t.
1
Let s = -39 + 39. Suppose s = 20*m - 19*m - 6. Solve t = -3*d - m, 2*t + 4 = t - d for t.
-3
Let u = 1598 - 1598. Solve 0 = -10*q + 9*q + 5*j - 24, u = 5*q + 3*j - 20 for q.
1
Suppose 0 = 3*z - 8*z + 445. Suppose -4*h - 17 = -z. Solve 5*c + g = 23, h = -0*c + 3*c + 2*g for c.
4
Suppose -2*t + 45 = -3*j + 15, 0 = -3*j + 6. Solve 5*b - 5*u = t + 7, -u = b - 1 for b.
3
Let n(o) = o**3 - o**2 + 23*o + 3. Let g be n(0). Solve -4*t + 13 = g*w, -5*w = -6*w - 3*t + 6 for w.
3
Suppose 0 = -0*w - 5*w. Suppose w*d + 6*d = 102. Solve 2*h + d = 5*a - 12, -5*a + 23 = h for a.
5
Suppose 5*f = -3*f + 64. Let k = -3 + f. Solve 0 = k*u + 3*o, 0*o = -3*u + 2*o for u.
0
Let h(i) = 2*i - 25. Let q be h(16). Suppose 7*w - 7 - q = 0. Solve -3*m - o = -7, -4*o = -w*m - 0*o - 14 for m.
1
Let z(v) = 4*v + 9. Let g be z(-2). Solve 3*k - 3 = -u, 2*u + g - 7 = -3*k for k.
0
Suppose 0 = 4*p + x - 37, 3*p = -p - 4*x + 28. Solve d = -w - p, -d - 25 = w + 3*w for d.
-5
Let b(l) = l**3 + 16*l**2 - 2*l - 30. Let p be b(-16). Suppose 0 = -p*v - 3*v + 10. Solve 4 = -v*t - t - i, -9 = 5*t + 4*i for t.
-1
Suppose -4 = -a, n + 4*a - 2*a - 13 = 0. Solve -5*t - 12 = -2*s - 47, -s = n*t - 20 for t.
5
Let n be (27 - 8) + -3 - 2/2. Let a = -7 - -11. Solve -2*z + a*f + 1 - 11 = 0, -3*f = -n for z.
5
Let f = -1133 + 1138. Solve -8 - 19 = -f*h + m, 4*h + 5*m = 10 for h.
5
Let j be ((-48)/(-10) - 4)/((-4)/(-10)). Solve 2*v = -4*x + 12, 3*x - 10 = -0*v - j*v for v.
2
Let y(t) = -10*t**3 - t**2 + t + 2. Let x be y(-1). Suppose -13*p + 33 = -x*p. Suppose 0 = 4*u - 29 + 9. Solve -p = -3*f - 5*z, -f - u*z + 6 = -z for f.
2
Suppose 4*n - 24 = -8. Suppose 0 = 4*f + 2*z - 16, 3*f - 5*z - 1 = -2. Solve f*v + n*d = 5, -d = v - 2*v + 4 for v.
3
Let c be (-4 - (1 + 3))/(-2). Suppose -r = -2*y - 23, y = c*r - 0*y - 78. Solve -h + r = -5*p - 0*p, 9 = -h - 2*p for h.
-1
Let g = -41 - -47. Suppose 2*m + 22 = g*m + 2*k, -5*m + 11 = -3*k. Solve 10 = 2*r, r + 21 = 3*d + m*r for d.
2
Let b(d) = 3*d**3 + 16*d**2 - 15*d. Let v be b(1). Solve -4*m = -v*r - m + 32, 3*m + 12 = 0 for r.
5
Let f be (-11 + 9)/((-6)/15). Solve 4*s = f*m - 0 - 5, 4*s - 3 = -3*m for m.
1
Let v(b) = b**2 - 6*b - 4. Let t = 6 - -1. Let l be v(t). Let u = l + 2. Solve h + k + 3 = 0, -22 + 5 = u*h + 3*k for h.
-4
Let u = -591 - -596. Let d(k) = k**2 + k. Let j be d(-3). Solve -5*x - 8 - u = -4*z, -2*z + j = -2*x for z.
2
Let x be (-376)/(-120) + (-2)/15. Solve -2*t = -x*t + 5*y, 4*y = -t + 