 -15, 0*q - b - 17 = 2*q. Let h = -4 - q. Solve k - 16 = -4*g, -5*g + g + 20 = h*k for k.
4
Let w = -436 - -439. Solve 0 = 2*u - w*m + 11, -5*u - 1 = -u + m for u.
-1
Suppose y + 2*o + 86 = 4*y, -5*y + 4*o + 146 = 0. Solve 0 = 4*g - 16, -2*u - u + y = 5*g for u.
2
Let w = 14 - 13. Suppose -w = 9*p - 28. Solve 14 = -2*i + 4*j, -4*i - 2*j + p + 9 = 0 for i.
1
Suppose 0 = 8*w + 17 - 113. Suppose -14*u + w*u + 6 = 0. Solve -2*k + 5*c - 12 = -u*k, -2*c = -6 for k.
-3
Let z = 25 + -24. Suppose 20*h - 24*h + 16 = 0. Solve -t - z = -k + 1, -5 = h*t - 3*k for t.
1
Let m(r) = -5*r**3 + r**2 + 3*r + 2. Let i be m(-1). Solve 5*z + 2 = 2*a, -1 = i*z - a - 0 for z.
0
Let s be (26/12 - 5/(-15))*8. Solve b + 3*p - s = -b, 12 = b + 2*p for b.
4
Suppose 5*n - 3*r - 19 = 0, 0 = -4*n + r - 0*r + 11. Solve 16 - n = 3*i - 5*q, 3*q + 18 = -3*i for i.
-2
Let s = -12 + 5. Let h be (0 + 3)*10/(-30). Let l = h - s. Solve 2*v + 2 = 4*j - l*j, 3*j - 3*v = -21 for j.
-4
Suppose -3 = -m + 19. Let l = 24 - m. Solve -3*f + 8 + 6 = l*x, -5*f = -5*x + 10 for x.
4
Suppose -6*w + 2*w + 5*o = 24, 5*w + 2*o - 3 = 0. Let d be (4 - (-1)/w) + 34/34. Solve -18 = m + 4*c - 0, -4*m = -d*c - 8 for m.
-2
Let d(t) = t**3 + 23*t**2 + 119*t + 2. Let x be d(-15). Solve 0 = -5*g + 3*z - x, 3*z + 2*z - 17 = -3*g for g.
-1
Suppose 0 = 5*h - 18 + 3, -11 = -5*u + 3*h. Let o be 4 + -4 + 1 + 7. Let w = o + -6. Solve -b + u*b + 3*y = 18, 0 = -3*b + y + w for b.
2
Let j(p) = 9*p**2 - 3. Let d be j(-1). Suppose 2*b + 2 = -4*k, 5*k + 15 = b - 6*b. Solve 3*o = -r + k*r - d, 2*o + 4 = 2*r for o.
-2
Let x(n) = n**3 - 6*n**2 + 6*n - 3. Let h = -30 - -35. Let m be x(h). Solve l + 3 = -0*o + 3*o, -3*o - 6 = m*l for o.
0
Let l = -13 - -21. Suppose -j + 5*t = -15, 0*j - 3*j - 2*t = -11. Let a(n) = 4*n - 70. Let h be a(18). Solve 0 = -b + j*v - l, -2*b + v + h = -0*b for b.
2
Suppose 0 = 16*a - 19*a + 15. Solve 5*m = -3*s + a*s - 18, -s - 5*m - 6 = 0 for s.
4
Let o(w) = w**2 + 4*w + 5. Let b be o(-4). Suppose -5*v + 30 = 5*k, b = 3*v - 1. Solve -j - k*j = 20, -i - j = 7 for i.
-3
Let k = 81 + -55. Let f be (20/15)/(-2) - k/(-3). Solve 4*j - 2*i = f, -2*j - 3*i = 2*i + 20 for j.
0
Suppose 3*x + 2*o = 4*o + 20, 16 = 3*x - o. Suppose 0*z + x = 2*z. Solve 5*w + 6 = v, -z*v - 3*w = 14 - 0 for v.
-4
Let w = 12 - 4. Suppose -g + w = v + g, 5*v = -4*g + 16. Solve -3*a + 5*n - 27 = v, 5*a - 4*a = 3*n - 13 for a.
-4
Let v be (10/15)/(-2 + 183/90). Let n be 2/(-5) - (-8)/v. Solve n*s = -2*g + 2*s, -g + 3*s = -10 for g.
-5
Let g(x) = -18*x - 69. Let b be g(-4). Solve -a - a = b*r + 2, r - 4*a = -24 for r.
-4
Let q = -98 + 106. Suppose u = t, -t + q = 2*u + t. Solve 2 + 3 = -u*b - r, -4*r - 9 = -3*b for b.
-1
Let q be (-6)/(-2) - 13/((-91)/14). Solve -5*o + 2*v + 25 = 6*v, -o = -v - q for o.
5
Suppose -73 = -57*c + 41. Solve 3*k + k + 12 = 4*n, 0 = -c*k - 5*n + 29 for k.
2
Let t be (-336)/(-180) + (-2)/(-15) + 0. Solve u = 2*s + 4*u - t, -s - 6 = 5*u for s.
4
Suppose 0 = 591*l - 600*l + 36. Solve 3*m + 2*m - l*v = 13, -v = 5*m - 28 for m.
5
Let a be -4 + -3 + 5 + (-1 - -6). Let n be 1*(0 + -9) + 2. Let z = -3 - n. Solve v = -2 - 0, -2 = z*o + a*v for o.
1
Let d be 10 + 5/(5/(-4)). Suppose -d = 3*g - 5*g. Suppose 2*b = -4*r + 22, g*b + 4*r = r + 30. Solve -4*o - b = -6*m + m, 0 = -2*m - 2*o for m.
1
Suppose -g + w = -25, g = 5*g - 3*w - 96. Suppose 20*l - g*l + 5 = 0. Solve a = t + 1 + 1, 4*t = l*a - 9 for a.
1
Suppose 3*x + 2*j = -3 - 3, -12 = -4*j. Suppose -5*g = -0*b + 3*b + 77, -g - 4*b - 12 = 0. Let n = x - g. Solve 3*k + 3*s = -9, 4*k - 3*s + n = s for k.
-3
Let n be 3/1 - 0/3. Let g(u) = u + 3. Let a be g(9). Solve -5*l - 15 = q, -n*l - a = l - 3*q for l.
-3
Suppose 0 = -5*b + 2*b + 60. Suppose -61*c - 64 = -308. Let n be (4/10)/(c/b). Solve i = 4*r - 12, 4*i + 6 = n*r + 2*i for r.
3
Suppose v - 3 = 0, 5*t - 2*t = -3*v + 24. Solve -2*n - 6 = 4*a - t*a, -5*n = -a + 9 for n.
-1
Let o = 75 - 71. Suppose -4*x + 6 + 5 = t, o*x = 5*t + 17. Solve -x*n + 0 - 1 = -5*r, n = 3 for r.
2
Suppose -2 = g + 4*u - 17, 3*u = 4*g - 3. Suppose -q = 5*w - 36, -23 = -g*q - 3*w + 25. Solve 2*j - q = -5*x, 2*j + 0*j = 4*x - 16 for j.
-2
Let b be 0 - (-45)/5*1. Suppose 12 = b*u - 5*u. Solve -2*k - u*k + 5*v + 10 = 0, 5*k + 18 = -2*v for k.
-2
Let k be (-3)/(6/(-72)*9). Solve q + 23 = 2*q - k*b, -3*q + 34 = -5*b for q.
3
Suppose 4*u = b - 0 + 5, -2*b = -2*u - 2. Let h be (3 - 22) + 32 + -11. Solve c + 12 = -h*x, u*c - 5*x = 5*c + 31 for c.
-2
Suppose 3*q = 4*q - 30. Suppose 3*u = -3*u - q. Let w be 24/15*u/(-2). Solve w*p = 2*g - 10, g + 4*p + 0 + 1 = 0 for g.
3
Let b be 3/(2 - -1)*0/1. Suppose b = -h - 4*h + 45. Solve 0*j - 3*j = a + h, -3*a - 3*j - 9 = 0 for a.
0
Let b(w) = -6*w + 18. Let h(q) = -27 + 21 + 2*q + 0*q. Let v(l) = 2*b(l) + 7*h(l). Let o be v(4). Solve -o*s = 4*x, x = -3*s - 12 + 2 for s.
-4
Suppose -f + 4*p = -25, -3*f - 5*p = -5*f + 35. Let x = f - 5. Solve 2*r = -3*i + 4, -2*i + x*r + 16 = 4*r for i.
-2
Suppose -3*w - q = -2*q - 13, w = 2*q + 1. Solve 9 = -w*h - t, 5*h + 7 = 5*t - 8 for h.
-2
Suppose 3*y + 11 = -2*x, -4*y - 17 = x + 4*x. Let k be ((-24)/(-60))/(x/(-5)). Let c = 6 + -1. Solve k*j - d - 2 = 0, c*d + 0 + 1 = j for j.
1
Let h(o) be the first derivative of o**3/3 - 11*o**2/2 + 3*o - 14. Let y be h(11). Solve -w + y*p = 13, -2*w + 7 = -w + p for w.
2
Let t = -2154 - -2156. Solve 3*q = t*n - 8, 4*q + n = -4*n - 3 for q.
-2
Suppose 131*v - 501 = 43*v + 907. Let l be 2*(1 + 2/4). Solve 2*t + 3 = -q - 0, -v = -t + l*q for t.
1
Suppose 124 - 22 = -3*j. Let q = 59 + j. Let r = q + -12. Solve 3*o = 4*b - 0*b - 26, -o + r = 3*b for o.
-2
Suppose -3*k = 4*f - 1, -3*k - 20 - 11 = -4*f. Solve -f*p = 8, b + 2*p - 2 = p for b.
4
Let w be 8 - (-24)/9*(-18)/12. Solve w*a + 20 = -4*r - 0*a, 3*r = -a - 9 for r.
-2
Let o be ((-3)/2)/((-6)/8). Let s be 9/(-27)*1*-3. Let f = s + o. Solve -4*u = -f*a - 2, a + 0*a = -4*u - 6 for a.
-2
Suppose -3*l - 6 = -27. Suppose 0 = l*i - 4*i - 18. Solve 0 = -c + n, 0 = -i*n + 3*n for c.
0
Let h = 16 - 11. Suppose -25 = -h*y + 10. Solve 3*t - 4*z = 6*t - 13, 3*t - 2*z = y for t.
3
Suppose 51 = 26*n - 79. Solve n*q - 4*x + 20 = x, -2*x = -q - 6 for q.
-2
Let h = -39 + 47. Suppose -2*a = 8, h = -3*y - 3*a + a. Suppose 4*d = 86 + 22. Solve 3*g = 3*n + d, -n - g - 1 + 0 = y for n.
-5
Let j be (-4)/(-18) + (-194)/(-18). Suppose -t + 3 - 6 = -3*c, -8 = -2*c. Suppose -11*a + a = -30. Solve w + n = -n + t, 0 = -w + a*n - j for w.
1
Let g = -291 - -272. Let q be (1*20)/((-3)/(-3)). Let v = q + g. Solve 0 = -4*c + r + 8, -4*c + c = -2*r - v for c.
3
Suppose w - 17 = -0*w + 3*a, 37 = 5*w - 3*a. Solve -2*v - 16 = 3*i - 0*i, 5*v + 15 = w*i for i.
-2
Suppose -35*m = -86 + 16. Solve -3*h + 3*k = m*k - 7, -1 = 2*h + 5*k for h.
2
Let q = 184 + -268. Let b = q - -84. Solve b = 2*m - 5*r + 7 + 8, 3*r + 5 = 4*m for m.
5
Let s(q) be the third derivative of q**5/10 - q**4/4 + 5*q**3/6 + 28*q**2. Let z be s(1). Solve 0*j - 4*j + 1 = r, -z*r - j = -5 for r.
1
Let b(i) = -2*i + 12. Let n be b(5). Suppose -24*w + 21*w = -15. Solve w*j - 25 = 0, -n*f + 0*j + 2*j - 18 = 0 for f.
-4
Let y(m) = -4*m - 1 + 3*m + 6 + 2*m. Let v be y(-3). Suppose -5*u - 32 = -4*b, 2*b + b - 3*u - 21 = 0. Solve 12 = -b*c, 0 = -v*d + 3*c + 1 + 13 for d.
1
Suppose -3*d + 0*d = -12. Let p(l) = 3*l**2 - 8*l - 4. Let r be p(6). Let w = r + -34. Solve w = d*h + h - g, 0 = -3*h + 5*g for h.
5
Let j(z) be the third derivative of -1/8*z**4 - 8/3*z**3 + 0*z + 0 + 2*z**2. Let h be j(-7). Solve n = 2*r - h, -3*n + 4*r - 17 + 2 = 0 for n.
-5
Suppose 6 = 2*k, 2*k = 4*r - 0*k - 34. Suppose -2 + 17 = -5*v + 3*d, 3*v + r = 2*d. Solve 5*n - 4*s - 31 = v, -5*n + 3*s + 23 = -4 for n.
3
Let u = 17 + -16. Suppose 16 = 5*l + u. Suppose -2*x + 3*j - l = 1, -j + 2 = 0. Solve -o - x = 2*n, 3*n - 1 = -2*o - 5 for n.
2
Let w = -13 - -29. Suppose g + 6 - 2 = 3*z, 0 = -5*z - 3*g + w. Solve h - 17 = 4*j, -4*j + z = -2*h + 16 for j.
-5
Let w = 7 - 2. Let m be (-2 - 1)*(0 + -2 + 3). Let x(l) = 7*l + 24. Let p be x(m). Solve 2*s + 7 = -3*c + p*s, w*c + 2*s = -30 for c.
-4
Suppose -76 + 26 = -10*t. Solve 5*z - 9 = 2*z - 3*l, t*l = 0 for z.
3
Let a(h) = -6 - 20*h - 13*h + 38*h. Let p be a(5). Solve 5*i - w + p = 0, -3*i - 8 = w - 5*w for i.
-4
Let v = 136 + -134. Suppose -3*w = 2*c