 -9 = 3*s for b.
-1
Suppose 6 = -a + 3*a. Suppose -45 = 2*m + 3*t, 5*m + 0*t + 4*t = -123. Let o be (-4)/10 - m/5. Solve 4*j = 20, j = -o*x - a - 7 for x.
-3
Suppose -44 = -4*k - q, 3*k - 6 = -q + 27. Solve 2*g + 8 = -5*n, -g = -5*n - 0*n - k for n.
-2
Let c = -27 - -19. Let a = 14 + c. Let g = a + -4. Solve -g*w + l + 5 = 2*l, -5*w + 8 = l for w.
1
Suppose -6*q + 11 = -7. Solve -3*b - d = -14, 0 = -4*b - q*d - 0 + 22 for b.
4
Let z = 76 + -75. Let t(c) be the third derivative of 5*c**4/6 - c**3/6 + c**2. Let n be t(z). Solve 0 = -4*f - f - 15, 0 = -4*w + f + n for w.
4
Let x be 20/(-24) + (-2)/12. Let n = x - -5. Solve -3*o - g = -4*g, -n*o + g - 9 = 0 for o.
-3
Let x be ((-150)/(-5))/(3 - 1). Solve 6*j + 5*k = j - x, 0 = j - 3*k + 7 for j.
-4
Let r = 41 + -19. Let u = -17 + r. Solve 2*w - c + 2 = 0, -u*w + c + 2*c - 4 = 0 for w.
-2
Let k(r) = -r**3 - 7*r**2 - 9*r - 8. Let n be k(-6). Let s = -4 + n. Solve 5*u + 2*x + 37 = 5*x, 0 = -2*u - x - s for u.
-5
Let t be 7 - (5/(-1) - -7). Solve -t*p = -3*v + 22, -v - 3*v = -2*p - 20 for v.
4
Suppose 3*u - 6 = -0. Solve 3*x + 8 + u = 5*p, 4*p = 2*x + 8 for x.
0
Let o(y) = -y**3 + 11*y**2 - y - 13. Let c be o(11). Let b = -22 - c. Solve b*f + 9 = -5*r + 2, -f = 1 for r.
-1
Let p = -4 - -9. Suppose -q = 3*w + p + 5, q - 4*w = 25. Solve -10 - 15 = 4*j + q*d, -2*d - 10 = 3*j for j.
0
Suppose -2*k + 14 = -0*k. Solve 4*u = -t - 16, k = 4*t - u + 3 for t.
0
Let q be (-6)/((-1)/(4/6)). Let v(i) = -i**3 - 2*i**2 + 4*i + 3. Let u be v(-4). Let d be (2 - 2) + -3 + u. Solve -d = -3*w - 2*c, -q*w - 3*c + 14 = -8 for w.
4
Let k = 11 - 6. Let n(o) be the third derivative of o**5/60 + o**4/24 + o**3/3 - 4*o**2. Let p be n(-2). Solve 5*d + 5*c + 5 = 0, -p*d = -2*c + k*c for d.
3
Let m = 56 + -54. Solve 4*x + 0*u + 14 = m*u, 2*u = -2*x + 8 for x.
-1
Suppose 9 = 6*j - 9. Solve 0 = -2*x + j*s - 1, -2*x - 3*s - 9 + 2 = 0 for x.
-2
Let r be 1*(1 - (4 - 4)). Suppose 4 + r = l. Solve 2*h + 2*o = -0 + 2, -h + 5 = l*o for h.
0
Suppose -4*m = -l - 57, 68 = 3*m + 2*m + 2*l. Let p be 66/m + 14/49. Solve 3*g + 3 = -2*n, 5*g = -4*n - n - p for n.
0
Let z be (4/4)/(20/15 - 1). Solve -5*u + z*o + 8 = 0, 4*u + 2*o = -3*o - 1 for u.
1
Let r = 85 - 83. Solve -5 = -2*b + v, -4*b + r*b = v - 11 for b.
4
Let a(d) = 7*d - 1. Let f be a(1). Suppose -q + 2 = -0*q. Solve -q*s = 5*p - 14, -4*s = -3*p + f*p for p.
4
Suppose 5*y - 5 = -5*u, y + 1 = 4*y + 5*u. Solve y*v = 3*k + 3, v - 2*k = -k for v.
-3
Suppose 0*t = -5*q + 2*t - 484, 377 = -4*q + 5*t. Let j = q - -52. Let w = -30 - j. Solve 4*v - w = 3*b + 13, -9 = 3*b for v.
5
Suppose 4*a - 3*p - 29 = -0, a + 4 = 3*p. Let q(b) = 2*b - 16. Let o be q(a). Suppose -t = 2, 4*j + 3*t - t = 72. Solve r + 4*u + o = 3*r, u = 4*r - j for r.
5
Suppose 8 = 2*k - 2*g, 5*g = -7 - 13. Let z be ((-4)/(-6))/((-1)/(-12)). Let o = z - 6. Solve 0 = 3*y - o*f + 15 - 6, k = -4*y + 2*f - 12 for y.
-3
Let s = 3 - 1. Suppose 3*z = -s*z + 20. Suppose 0 = -11*r + 5*r + 6. Solve z = 2*a + 4*n - 6, -a + r = n for a.
-3
Suppose 0 = -5*b - 4*b. Solve z = f - 4*z + 29, b = -3*z + 15 for f.
-4
Let o be 1 + (0 - 3/(-1)). Suppose 0 = k - 5*i - 9, -2*k - o*i + 1 + 3 = 0. Solve t + 11 = -2*s - 4*t, -4*s - 4*t - k = 0 for s.
2
Let s be (-4)/(-3) - 4/(-6). Suppose 5*n = 3*n + 8. Solve 0 = n*k - 2*t - 8, s*k + 3*t = -3*k - 12 for k.
0
Suppose 5*t - 50 = 115. Let u be (2 + 4/(-4))*13. Let k = t - u. Solve -d - k = 4*g, -d + 0*g = -4*g - 12 for d.
-4
Let c = -28 + 33. Solve p + j + 4 = 0, -c*p - j = -0*j for p.
1
Let j be (-40)/(-10) + 4/(-1). Let b(q) = -2*q + 4. Let a be b(-4). Solve j = -4*l - 2*u - a, -u + 0*u - 15 = 5*l for l.
-3
Suppose -2*j - 3 = -7. Let x be 60/(-9) + j/3. Let v be 3 + (-3 - x - 2). Solve -v*g - 5*n = -8, -4 = -g - g - 4*n for g.
2
Suppose 16*h = 13*h + 6. Solve -4 = 2*g - 2*d + 12, 5*d - 28 = h*g for g.
-4
Suppose j + 0 = v + 3, -3*j = -4*v - 7. Let g = v - 0. Solve -g - 7 = -3*m, 4 = 4*i - 4*m for i.
4
Let a = -7 + 6. Let f = 1 - a. Solve f*j + g - 2*g = 2, 0 = 4*g - 8 for j.
2
Let x be (24/(-9))/((-2)/6). Suppose 20 = 4*t + x. Solve -4*j + 9 = -t*b - j, -3*b + 2*j - 9 = 0 for b.
-3
Let q = 11 + -9. Suppose 4*c = 4*d - 24, q*d - 24 = -3*d + 3*c. Solve d*t = -0*o - 5*o - 19, -o - 5*t = 17 for o.
-2
Let a(b) = b**2 - b - 2. Let f be a(3). Solve f*r - 2*g = -12, -14 - 1 = 5*r + 3*g for r.
-3
Let h(b) = b**3 + 6*b**2 - 2*b - 2. Let g = 8 - 14. Let x be h(g). Solve 0 = -0*a - 2*a - x, 0 = -5*n - 2*a for n.
2
Let f be 3 + 0 + 27/(-3). Let d be (0*(-2)/f)/(-3). Solve 0 = -3*i - 5*k + 5 + 4, d = i - k + 5 for i.
-2
Suppose -7 = -3*r + 2. Suppose -r*l + 1 = -3*p - 17, 4*l - 3*p = 21. Solve -30 = 5*n - 5*g, 0 = -n - 2*g + l + 3 for n.
-2
Suppose 3 = 9*k - 8*k. Solve p - 3*s = 11, k = 3*p + 2*s - 8 for p.
5
Suppose -300 = -24*w + 9*w. Solve -3*s + w = -8*s - 5*q, 4*s - 2*q = -16 for s.
-4
Let m = 4 - -12. Let i be m/(-9) + (-4)/18. Let y be 0 + i + 7 + -4. Solve -t - 2 = -3*r, -4*t = 5*r + 7 + y for t.
-2
Let k be (-1)/(6/(-21)) + (-2)/4. Solve -i - k*s + 19 = 0, 2*i - i = -5*s + 29 for i.
4
Let f be 6/(-14) - (-96)/28. Solve 3*c + 4 = -4*x - 6, -16 = f*x - 2*c for x.
-4
Let u be (9/6)/(3/6). Let d be (-1)/u + (-595)/(-21). Solve q + q = -5*j + d, -5*j + 16 = -q for j.
4
Let q = 44 - 39. Solve 7 = 2*d - 6*d - q*l, 5*d = 3*l + 19 for d.
2
Let z be (-4 + -3)*(-20)/14. Let y = z + -7. Solve 2*n + 3*j - 17 = 0, -13 = -0*n - y*n - 2*j for n.
1
Let j be -3*(0 + 10/(-6)). Solve 5*o - j*w = 4*o + 11, 12 = -4*w for o.
-4
Let i be (-1)/(-1)*(0 + 0). Let m(s) = -7*s**3 - 7*s**2 - 4*s + 2. Let p be m(-4). Let f be (-3)/(-2) - p/(-12). Solve i*j + u = 3*j - 1, 3*j - f = -5*u for j.
2
Suppose 3*h = 4*r + 16, 4*r + 16 = 4*h - 0*h. Suppose 4*c + 5*x = -57, 3*x + 47 = -3*c - c. Let p = c - -13. Solve -5*w + 2*j = p, h = 2*j - 3*j for w.
-1
Let p(z) = -4*z - 10. Suppose -4*u - 8 = -2*u. Let h be p(u). Solve -2*y = 2*x - 4, 4*y - 3*x = h*y - 7 for y.
-1
Suppose 3*c - 18 = -4*t, 4*c - 2*t - 24 = -5*t. Suppose 5*b = 15, -3*g - 12 = -c*g + b. Solve -5*v - 3 - 3 = p, g*v = p - 14 for p.
4
Let p = 5 - 0. Suppose 0*z - p*z + a + 17 = 0, -z + 1 = -a. Solve 0 = -4*n - z*v + 16, -n + 2*v + 2*v - 11 = 0 for n.
1
Let n be (2/(-3))/(3/(-9)). Solve 28 = 4*g + 4*i, -4*g + 23 = n*i + i for g.
2
Suppose -63*o + 60*o = 0. Solve -3*n = -3*i - n - 16, o = 2*i - n + 9 for i.
-2
Suppose 0*k - 11 = k + 4*x, 2*k = 3*x. Let i be (2/k)/(1/(-3)). Suppose -2*j = i*j. Solve 5*q - 4*n - 2 = 0, j*n = -5*q - 2*n - 16 for q.
-2
Let k be 3*1/1*-1. Let p be (1*k)/(12/(-20)). Let t be (-159)/(-12) + (-1)/4. Solve b - p = f, -5*b + t = -f + 2*f for f.
-2
Let m = 21 - 13. Let y(a) = 2*a + 22. Let i be y(-10). Solve -q - h = m, -i*q + h = -h for q.
-4
Let z be (-5)/(-10) + 26/4. Let x = 8 - z. Let k be 14 + -9 + -1*x. Solve -b - 4 = k*o, 3*o + b = 2 - 5 for o.
-1
Suppose 5*d - 59 = -19. Solve 2*x + n = -d, 4*x = -0*x - 5*n - 22 for x.
-3
Suppose -4*y - 4 = -3*u, 4*y = 4*u - y - 6. Solve 4*s - 16 = l, u*l = 2*s - 3*s + 21 for s.
5
Let n(r) = r**2 - 5*r - 4. Let d be n(6). Suppose s = -d*s. Solve -4*g + 2*i - 4*i + 12 = 0, s = 2*g + 3*i - 6 for g.
3
Let o = 27 + -24. Solve -3*x = -2*g, 0 = -g + 4*x - 2 - o for g.
3
Let m = -1 - 2. Let y = m - -6. Solve t - 5 = 2*j, y*j + 2 = 4*j + t for j.
-1
Let v = -7 + 11. Suppose -b = -v - 1. Suppose 0 = -0*r + r + 2*i + 1, i = r - b. Solve s + 0*a + a = r, 0 = s - 4*a + 2 for s.
2
Let t be (-1 + 0 + -11)*60/(-45). Solve -5 = -f + 4*o - 1, 4*f - o - t = 0 for f.
4
Let g = -8 - -12. Suppose -6*t + g*t = 0. Solve -4*z - 4*c = t, -4*z + 5*c - 42 = 3 for z.
-5
Let z(o) = 5*o. Let i be z(1). Solve 0 = 4*a - 4*t - 8, -i*t + 3 = -3*a + 5 for a.
4
Let q be 1/(-4) + (-9)/(-4). Let v(s) = s - 1. Let x be v(q). Let n be (-2 + x)/((-1)/15). Solve -3*t + 1 = 2*f - 9, 3*f = -t + n for f.
5
Suppose -10 + 2 = -4*d. Suppose -d = -v - 5*i + 27, -5*v + 25 = i. Solve 4*p + 12 = v*z, 3*p + 5 = -5*z + 28 for p.
1
Let j(s) = s**2 - 8*s + 1. Let f be j(7). Let g = 8 + f. Solve 5*k = 3*h + 6, g*k - k = -3*h + 12 for h.
3
Let u = -20 - -24. Solve -u*n = -c + 3, 0 = -4*c + 4*n + 2 + 10 for c.
3
Let k be 1 - (-4)/20*-5. Solve 5*c + f - 5 = 0, -5*f + k*f = c - 25 for c.
0
Suppose -2 = 2*j - 0. Let n = j + 10. Suppose 2*x = -1 + n. Solve 0 = -x*d - q + 1 + 6, 3*d 