t b = 19 + m. Suppose 0*v = -b*v. Solve -3*w - 8 = w - 5*i, 2*i = v for w.
-2
Let v(j) = -j - 2. Let p be v(-4). Solve 0 = 5*n - 2*g + 10, 5*g - 25 = p*n + 2*n for n.
0
Let f be 10/65 + 67/(-13). Let p = f + 11. Suppose q = -2 + p. Solve -n - 2*n + 2*t - 2 = 0, 22 = 3*n + q*t for n.
2
Suppose 5 + 15 = 4*t. Suppose 38 = -t*v + 108. Solve 2*x = -3*f - 9, -5*f - v = 5*x + 6 for f.
-1
Suppose 2*w = -3*w - 5*d, 0 = -5*w - 3*d + 8. Suppose -4*l + 6 - 2 = 0, -3*v - 4*l + 4 = 0. Solve -w*t - 4 = -v*r + r, -4*r - 3*t = -10 for r.
4
Let g = 961 + -957. Solve s = -8*j + 3*j - 1, -g*j + 2 = -2*s for s.
-1
Let n = 25 + -25. Let k = -12 - -12. Suppose k*z = -z + 3. Solve 2*m + z = -m - h, m + h + 1 = n for m.
-1
Let k(u) = 2*u - 18. Let z be k(6). Let t(d) = -d**3 - 6*d**2 + 4. Let m be t(z). Solve -2*a - 3*g + 7*g + 8 = 0, -m*g = 8 for a.
0
Let k(m) = m**2 - 11*m + 14. Let p be k(10). Solve 0*c + y = c + 3, -5*c = -p*y + 16 for c.
-4
Suppose 4*r - 2*r + 4*a + 84 = 0, 85 = -2*r - 3*a. Let m = r - -28. Let f be (24/32)/((-6)/m). Solve -2*w = 4*t - 26, -f*w - 2*w + 12 = 0 for t.
5
Suppose -5*r = -42 - 23. Solve 3*b + 4*d = r, 0 = 4*b - 7*d + 4*d + 16 for b.
-1
Let t(g) be the first derivative of -g**2 - 28*g - 42. Let n be t(-16). Solve 0 = -5*w - j - 21, 0*w = -3*w + n*j - 8 for w.
-4
Let y be -3 + 6 + (0 + 1)*10. Suppose y*s - 20 = 3*s. Solve 3*j - 4*j - 2 = s*t, 0 = -5*t + j - 19 for t.
-3
Let u be 12/(-12) + -1 + 8. Suppose -u*t + 20 = -t. Solve 3*k + t*q - 1 = 1, -4*k = -5*q - 13 for k.
2
Suppose 2 = -2*r - 5*x - 9, 0 = 5*r - x - 13. Suppose r*m - 7 = -3. Solve 2*i = -5*s - 2, -4*i + m*s - 4 = s for i.
-1
Suppose -50*f + 4 = -54*f + v, 2*v = 3*f + 8. Let i = 16 - 11. Solve -2*j = -2*u + 2, f*j + 19 = i*u + 2*j for u.
3
Suppose k = -4*k + 25. Suppose -2*d + 84 = -f, 5*d + 7*f = 6*f + 196. Let p be (-27)/(-15) + 8/d. Solve -3*l = -p*m, -m + k*m = -3*l for m.
0
Suppose 0 = -21*m - 51 + 135. Solve -m*c - z = -3*c - 1, 0 = -5*c - 3*z - 3 for c.
-3
Suppose -2 = -n - 0. Suppose n*f = -3*z - 3, 0 = 5*z - 4*f - 1 - 16. Solve 2*a = -8*j + 3*j + 2, -a + 3*j = -z for a.
1
Suppose 5*z + 3*v = 9, -z + 63*v = 61*v + 6. Solve -5*a + w + z*w = 6, -2*a + w - 3 = 0 for a.
-1
Let u = 284 - 281. Solve -2*k - 5*j = 10, k + 6 = u*j + 23 for k.
5
Let r(j) = -5*j + 19. Let m be r(16). Let b = 65 + m. Solve 3*d + 3*w - 5 = b, 0 = 5*w - 15 for d.
0
Let k(g) = g**2 - 25*g + 138. Let d be k(8). Solve -6*h + 3*h = -2*b - 13, -b = d*h + 3 for b.
-5
Let b(k) = 5*k + 36. Let g = 61 + -68. Let m be b(g). Solve 0 = 3*l - 5*n + 20, -5*l - n + m = 25 for l.
-5
Let k(d) = d**3 + 3*d**2 + d + 6. Let z be k(-3). Solve -5*a + z*c + 7 + 8 = 0, -5 = -2*a + c for a.
0
Suppose o + 2 = 4*y - y, -10 = 3*y - 4*o. Solve -5*m - t + 2 = 0, -y*t + 5*t = -4*m + 6 for m.
0
Let d(i) = 43*i - 292. Let v be d(7). Let o = 5 + 0. Solve -2*z - 15 = -o*h, 5*h - z - 1 - v = 0 for h.
1
Let v = -4 - 1. Let l be (v + 38/8)*0. Solve 0 = -3*n - 0*b + 2*b, l = 4*n + b for n.
0
Suppose -5*b - 8 = -18. Solve -w - 13 = -v - b*v, -4*w - 20 = -4*v for v.
4
Let t be 1100/28 - (6/(-21))/(-1). Let y = 41 - t. Solve -3 = z + 2, w - y*z - 14 = 0 for w.
4
Let f(b) = -b**2 - 17*b - 69. Let j be f(-9). Solve -m = -2*r - 5*m + 10, 0 = -2*r + j*m - 11 for r.
-1
Let o = -581 - -393. Let i = o - -192. Suppose -4*n + 0*n = 4*v - 20, 5*n + 3*v = 23. Solve 2*c - n*k - 16 = 0, -4*c + 2*k + i = -10 for c.
2
Suppose v = -5*s, 4*s + 2*v = 9 - 3. Let z be s*4 - (-4 - 2). Suppose 2 + 2 = z*p. Solve -p*o = -4*r + 6, 0*o + o + 3*r + 8 = 0 for o.
-5
Let m = -298 - -303. Let u be 0/(3/(1 + -4)). Solve u = -f - q + m, 2*f - 14 = -2*q - 2*q for f.
3
Let i(p) = p - 5. Let q be i(8). Suppose q = -102*f + 103*f. Solve w - f*r + 10 = -w, 0 = r - 2 for w.
-2
Let z = -46 - -50. Solve 3*b - 5*a + 10*a = -13, z*b - 4*a = 36 for b.
4
Suppose 10 = 3*w + p, 5*w - 10 = 4*p + 18. Suppose 20 = w*z - 4*y, -5 = -2*z - y - 1. Let f = -6 + 10. Solve r - z*o = -7, -9 = 2*r + f*o - 25 for r.
2
Let j be (3/(-2)*2)/(7/(-7)). Suppose 45 = -j*h + 18*h. Solve t - 6 = f, -3*t + 7*f + 20 = h*f for t.
4
Suppose 20 = 2*q + 2*r, -4*r + 32 = 2*q + r. Suppose -3*a = -q*a. Solve a = 2*k - b + 7, -2*k = -2*b + 4*b + 16 for k.
-5
Let x = -6 - -12. Let j = -46 + 93. Let z = -44 + j. Solve -x = -3*c - 2*n - 3*n, n - z = 0 for c.
-3
Let m = -586 - -609. Solve -2*c - 7 = n + 5, -3*c - m = 4*n for n.
-2
Suppose 31*p = 36*p. Suppose b + 20 = 3*b. Suppose p = 2*j - b. Solve -3*u - 9 = 0, 0 = -5*z - j*u + 13 - 3 for z.
5
Let y be 30/255 + (-402)/(-51). Solve 50 = -5*p + y*r - 3*r, 3*p + 10 = -r for p.
-5
Let r = 39 - 37. Suppose 3 = r*m - 1. Solve -v = -m*v - 2*p + 12, -3*v + 3*p - 9 = 0 for v.
2
Suppose -q = 2*w - 9, -3*q - 11 = -3*w - 7*q. Let k = 3 - 13. Let n = -7 - k. Solve n*b + 4*g = -2, w*b + 1 = -5*g - 4 for b.
-2
Suppose 3*n - 19*n = -32. Solve 2*y + n*k = -16, 0 = 3*k + k + 20 for y.
-3
Let a = -383 - -387. Solve -m + a*d = 23, 0*d = -5*m - 3*d for m.
-3
Let q(c) = 4*c - 1. Let u be q(1). Solve 5*b + 4*x + 6 + 13 = 0, 6 = -u*b + 3*x for b.
-3
Let t be -4 + (-5)/(-10)*-14. Let o = t - -16. Let m be 2/(-2) - (-7 - -2). Solve w + 0*p = -m*p - o, w + 2*p + 3 = 0 for w.
-1
Let o(t) = t**3 + 5*t**2 + 5*t + 8. Let c be (-130)/35 + (-2)/7. Let n be o(c). Solve -h = -3*h + 8, -n*w = 3*h for w.
-3
Let g(t) = t**3 + 5*t**2 + 4*t + 2. Let b be g(-4). Suppose 0 = -5*s + 4*z + 10, s - 1 = 2*z + 1. Solve 2*v + s*w = -2, -4*v + 5*w + 12 = -b*v for v.
1
Let d(c) = -2*c + 9. Let h be d(4). Let m be (-40)/30*(-2 - h). Solve -m*f + 4*u - 7 = 1, 4*f + u + 23 = 0 for f.
-5
Let c(z) = z - 2. Let h be c(6). Let w(i) = i**2 + 7*i + 12. Let o be w(-7). Solve p + 2*p - 7 = 2*r, 4*p - h*r - o = 0 for p.
1
Let m be -11 + 1196/115 + 26/10. Solve -4*g + o = -16, 2*g = m*o + 23 - 9 for g.
3
Let j(a) = 3*a**3 - a**2 + a - 1. Let f be j(1). Suppose 18*t = 124 - 88. Solve 1 = -2*g + n, -3 = -t*g + 3*n + f for g.
-2
Let z = -37 - -47. Let n be (252/20)/3 + (-2)/z. Solve -2*m + 10 = -n*w + 3*m, 0 = 3*w + 4*m + 23 for w.
-5
Let p(b) = b**2 + 3*b + 6. Let g be p(-4). Let k = g - 4. Let d = 0 + k. Solve 2*j + 0*j = 5*v - 4, -2*j = -d for v.
2
Suppose y - 2*p - 2 = -5*p, 3*y + 4*p = 6. Solve -2*r + 4 = 0, o - 2 = -y*r + 1 for o.
-1
Suppose 347*h = 333*h + 56. Solve y = -i - 0*i + 1, i + 14 = h*y for i.
-2
Let o = -26 + 116. Let w = o - 79. Solve -4*a + 2*j - w = a, 0 = 3*a - j + 6 for a.
-1
Let j = -108 + 112. Solve 0 = -5*k - 4*y - 28, k - 4*y + 0 = j for k.
-4
Let w = -52 + 52. Suppose w = -3*f + 4*f - 29. Let r be 7 - (2/2 - -1). Solve -r*c + 25 = 0, -f = -5*u - 2*c + 6 for u.
5
Let d be (80/48)/((8/(-6))/(-4)). Solve -30 = -d*x - 3*c - c, -20 = -5*x - 2*c for x.
2
Let c = 2129 + -2126. Solve -2*v = 2*p + 10, 0 = c*p + 4*v - 0*v + 19 for p.
-1
Let s(u) = -2*u + 20. Let m be s(12). Let l be (m - -3)*(8 - 10). Let d be 5*(1 + 0/(-1)). Solve -2*w - 13 = -2*i - 5, -d*i - w = -l for i.
1
Let b = 8 + -5. Let m = -30 + 32. Solve -5*u - h = b*h + 5, -5*h = 2*u + m for u.
-1
Suppose 0 = -u + 17 - 10. Suppose 6*s = -s + u. Solve -n + q = -s, 3*n + 4*q + 12 = 5*n for n.
-4
Let r = -175 + 58. Let x = -114 - r. Solve o - z + 12 = -x*o, -6 = 2*o + 2*z for o.
-3
Let w(c) = c**2 - 18*c - 10. Let n be w(17). Let u be (2 - -31)*(-18)/n. Solve 0 = 4*p + 2*m - u, -5*p - 10 = 5*m - 45 for p.
4
Let b = -25 - -30. Suppose 0 = -b*r + 1 + 9. Solve -r*k + 6 = -2*h, -k + 0*h + 5 = -2*h for k.
1
Suppose -5*u = -u + 144. Let w be (-4)/(-18) + 8/u. Let g be w/(((-24)/(-3))/4). Solve 6*z + 2 = v + 3*z, v + z - 6 = g for v.
5
Suppose -5*l - 12 = -5*j + 13, 4 = -2*j - 5*l. Suppose -5*o = -5*d + 15, -5*d = o - 3*o - 3. Let v = j - d. Solve 2*w - 2 = 3*b, w + b - 22 = -v*w for w.
4
Let o(f) = 9*f - 7*f + 3*f - 2*f**2 + f**2 + 4. Let y(t) = t**2 + 11*t + 15. Let n be y(-10). Let d be o(n). Solve -7 = -2*a + 5*r - d, -2*r - 2 = -a for a.
4
Suppose b - 2*j + 2 = 0, 5*b = -5*j - 0*j + 20. Let z(t) = -2*t**2 + 10*t + 2. Let u be z(5). Solve 3*f = b*s + 16, u*s + f = 6*f - 20 for s.
-5
Suppose -2*s - 20 = -6*s. Suppose 15 = 3*u - 0. Suppose 57 = u*v + 2. Solve m + 28 - 9 = -s*f, m - v = 5*f for m.
-4
Let b(z) = -7*z - 9*z + 9*z. Let c be b(-1). Solve o = 2*d + c, -d - 1 = d - 3*o for d.
-5
Let c = -5 - -7. Suppose -2*l + 6 = c. Suppose -l*x + 5 = -x. Solve