q - 2*z, -14 = -5*q - 3*z for q.
4
Suppose 3*f + 7 = 4*k, 0 = -3*k + 9 + 3. Let i be (-3)/1 + (-2)/(-2). Let x be (-1)/((-4)/i)*-10. Solve 0 = -4*l - r + 1, -f*l + 3*r = -2*r + x for l.
0
Let f be (-3)/9*(-9 + 0). Let w = -6 + 27. Let x = w - 3. Solve -2*c = -4*b - x, f*c = 4*b - 0*c + 23 for b.
-2
Let v be 24/3*(2 + -1). Let m be 2/v - (-4)/(-16). Let o be 1/(-3) - (-48)/9. Solve -o*c - 14 = -3*w, m*w - w = -3*c - 6 for w.
3
Suppose -3*b = 11*b - 28. Suppose 3*a - 28 = -7. Let o(q) = -q**2 + 7*q + 3. Let p be o(a). Solve t + 12 = p*s + 4*t, -4*s = b*t - 12 for s.
2
Let y be (-4 - -5)/((-2)/(-4)). Let v(q) = -q**3 + 2*q**2 + 2. Let g be v(y). Solve 5*r - g*r = 0, 4*o = 5*r for o.
0
Suppose 0 = -4*b - 4*o + 36, 2*o = -6*b + 3*b + 28. Solve -6 = -5*q - 3*r, 2*r = -3*r + b for q.
0
Suppose -c = -6 - 6. Let s(q) = q**2 - 4*q + 3. Let j be s(3). Suppose j = -i + 4. Solve z = m + 4*z + 9, -i*z - c = m for m.
0
Let n = 35 - 58. Let a = -16 - n. Suppose 5*s - 57 = -4*r, a*s + 3*r = 2*s + 54. Solve -4*y + s = 4*m - 7, y = 3*m - 8 for m.
3
Let p be (-1 - 0)/1*-6. Suppose -2*c + 1 = j, 3*j = -21 + p. Let t be (1/(-1) - -2)*5. Solve 0 = l - t*z + 4 + 2, c*z = 3 for l.
-1
Let h be 3*(-1 - 5/(-3)). Suppose -5*n - 15 = o + 4*o, -4*n - h*o = 8. Let w be -6*n/2*1. Solve 12 + 0 = -5*x - w*g, -11 = 2*x - 5*g for x.
-3
Let l be 3 + (-2)/2 + 21. Suppose l - 68 = 5*m. Let w be 22 + (m/(-3))/(-3). Solve -4*a + 20 = 0, 3 + w = 4*q + 4*a for q.
1
Suppose -4*u + 4*g + 92 = 0, 0*u + 4*g + 48 = 2*u. Suppose 5*p = 47 - u. Solve 4 = -2*o + p*q - 1, 3*q - 14 = -o for o.
5
Suppose -2*a - 48 = -12. Let f(s) = -s - 8. Let h be f(5). Let c = h - a. Solve c*g = 5*o - 5, 2*g = -3*g + 10 for o.
3
Suppose 4*p + 32 = 5*p. Solve 0*t = 2*v - 2*t, 3*v + 5*t = -p for v.
-4
Suppose 4*g + 3*h - 21 = -0*h, 2*h - 21 = -5*g. Solve -5*a + 15 = -5*q, g*q = -q - 5*a - 30 for q.
-5
Suppose -2*r + 5*r = 0. Suppose -2*b - 21 + 9 = r. Let j be b/12*(-7 + 1). Solve 2*d = -j*x + 9 - 3, -4*d + 12 = 0 for x.
0
Suppose 5*y + 3*i - 63 = -i, 3*y - 42 = -i. Suppose -3 = 3*u - y. Solve 0 = -2*v + 2*n - 10, u + 11 = -3*v + 2*n for v.
-5
Let m = -43 + 52. Solve 0 = 5*o - z - z - 22, -m = -2*o + z for o.
4
Let t = -256 - -261. Let x(p) = -p + 2. Let c be x(0). Suppose -5*g + 4 = -11. Solve t*l - 7 = 2*k, -c*l + l + 15 = g*k for k.
4
Suppose 2*h - 74 = 3*p + 49, 0 = -3*h + 2*p + 177. Suppose -h = -2*r - 13. Solve 5*y - 2*t + 23 = 0, t = -5*y + 4*t - r for y.
-5
Suppose -3 = -4*k - 35. Let r be (k/(-10))/((-2)/(-10)). Suppose 0 = l + 5*a, 0*a + a = -r*l + 76. Solve 2*m + 3*c = 7*c + 12, 5*c + l = 0 for m.
-2
Let q be (8/(-6))/(4/(-6)). Suppose -j - 3*j + 8 = 0. Solve 0 = -2*k - q*b + 4, -7*k - 2*b + 19 = -j*k for k.
5
Let x(n) = 1 - 3*n + 0*n + 4*n - 2*n. Let r be x(-2). Solve 0 = j + 3*w, 2*w = r*j + j for j.
0
Let c(u) = -u - 2. Let p = -2 - 2. Let n be c(p). Let a be (-3 - -3)/((-3)/(-3)). Solve -5*b + a*b = -s + 28, n*s + 19 = -5*b for s.
3
Let g be (6/(-3))/(2/(-9)). Let n = g + -4. Solve 5*i + 29 = 4*c, 0 = -n*i - 5*c - 11 - 9 for i.
-5
Let i be (1 - 0)/(2/6). Suppose -2*p + p + i = 0. Suppose -j = -p*j + 10. Solve -g - 4 = -2*w, 3*g + j*w - 11 = 5*g for g.
2
Let a(m) = m + 7. Let v be a(-3). Suppose s = 4*s + 5*u - 1, 0 = -v*s + 2*u + 10. Solve -b + 6*l = 3*l - 20, -s*b + 4*l + 30 = 0 for b.
5
Suppose 4*h + 4*t - 16 = 0, 3*h + 2*t - 36 = 5*t. Solve -4*k - h = g, k - 7 - 2 = -3*g for g.
4
Suppose 4*v + 3*k - 14 = 0, 0 - 6 = 2*v - 5*k. Let z = 1 - -1. Solve -f = -3*a + v, -2*a + f + z = -a for a.
0
Let n be 2/(-9) - (-22)/18. Let i be 2 - 0*n/2. Solve 5*o - 9 - 6 = 5*k, 0 = o - i*k - 4 for o.
2
Let y = 2 + 9. Suppose 4*f - y = 9. Solve -f*q - 3*h - h = -14, 7 = 4*q - h for q.
2
Let m be 2/(-4) + 30/4. Let n(c) = 12*c + 1. Let f be n(-3). Let z be 3/9 + f/(-21). Solve 3*s - 10 = l, s - 3 - m = z*l for s.
2
Suppose o - 5*v = 24, 0 = o + v + 2*v + 16. Let s be o*5/(5/(-2)). Let a be (-2 - (s - 2)) + 7. Solve -3*f - 14 + 7 = -a*g, 2*g - 2*f = 2 for g.
2
Suppose -3*v = -3*i, 3*v - 7*v - 5 = -5*i. Solve -v*o + 2*o + 6 = 0, j - 2*o + 9 = 0 for j.
-5
Suppose -4*v = 5*g - 83, g - 5*v - 4 = -10*v. Let o = -15 + 33. Let k be 58/18 - 4/o. Solve k*w - 5*l + g = -0*l, 5*w - 3*l = -21 for w.
-3
Let t = 4 + -8. Let j be 0 - (t - (-1 + 0)). Suppose 0 = -5*g + 3*w + 22, -2*w - 2 = -0*g + j*g. Solve -s - g*y + 1 = 6, -2*s + y - 5 = 0 for s.
-3
Let t = 175 - 172. Solve 5*l + t*o = 26, -1 = 3*l - 3*o - 7 for l.
4
Let k = 0 - -4. Solve -x + k*x = 3*f - 9, -5*x + 4*f - 13 = 0 for x.
-1
Suppose 5*n + 10 = 2*m - 9, -1 = -2*m - n. Solve -5*y + 2*y = -k - 1, -3*y + m*k - 4 = 0 for y.
2
Let t(x) = -2*x**3 + x**2 + 2*x + 2. Suppose k = 5*k + 8. Let l be t(k). Solve 5*o = j - l, o - 2*j + 9 = -0*j for o.
-3
Let q be (4/5)/(2/(-5)). Let d be (-1)/(-3)*(-30)/q. Suppose 4*k - 4*o - 16 = 0, 6*k - k = 3*o + 26. Solve 15 = -5*v, k*w - 2*w - d*v - 5 = 0 for w.
-2
Let s(c) = c**3 + c. Let b(g) = 3*g**3 + 8*g**2 - 6*g + 9. Let v(w) = b(w) - 2*s(w). Let u be v(-9). Solve -3*m = 5*o - 5 - 8, u = -2*m + 3*o - 4 for m.
1
Let a(u) = -89*u + 1. Let y be a(-1). Suppose -4*t = t - y. Let j be ((-1)/3)/((-2)/t). Solve 5*r - w = 0, -7*r + 1 = -j*r - w for r.
-1
Let y(g) = g**3 - 2*g**2 - 1 - g - 2*g**3 + 3*g - 1. Let n be y(-3). Solve 5*c - n = -2*x + 2, 0 = -2*c + 3*x + 5 for c.
1
Suppose 5*m = 4*d + 19, 0*d = 4*m + d - 11. Let x(v) = 2*v + 1. Let i be x(3). Suppose -5*h - 6 = -i*h. Solve s + 5*a = -1, m*s + 3 = -0*a + h*a for s.
-1
Suppose -18 = -l - 13. Solve 3*x - 4 = -s + 12, l*s - 24 = -x for s.
4
Suppose -7*a = -3*a - 16. Let f be (-225)/(-10)*4/5. Suppose -t + 2*t - 3 = 0. Solve l + t*l + 3*s - f = 0, -4*l + 4 = -a*s for l.
3
Let k = -3 - -6. Let i(d) be the first derivative of -d**2/2 + 5*d + 2. Let z be i(0). Solve -k*n + 4*n - z*t - 11 = 0, n + 3 = -2*t for n.
1
Let m(f) = 4*f**3 - 2*f + 1. Let j be m(1). Suppose -5*g + 5 = -0. Let b be (g*-2)/(-1)*2. Solve -2*k - 4 = -b*a + 2*k, -2*a = -j*k for a.
3
Let q(b) = 3*b**2 - 2*b**2 + 2 - 1 - 2. Suppose -4*s - 3*x + 27 = 7, 0 = -5*x + 20. Let n be q(s). Solve 7*t + n = 6*t, 3*t = -3*k - 24 for k.
-5
Let c(z) = z**2 - z. Let y be c(2). Suppose 5*p + y*j - 35 = 0, 5*p - 3*j - 10 = -0*j. Solve 2*w = p*w - 4*g - 17, 4*w - 2 = -5*g for w.
3
Suppose -2*p + 11 = -9. Let b be (-10)/(-4)*(-3 - -1). Let z(n) = -n**3 - 4*n**2 + 4*n - 3. Let a be z(b). Solve 7*g + a*c = 4*g + 5, 3*g + c = p for g.
5
Suppose 3*d = -4 + 34. Solve -2*a - z = 7 - 2, 2*z = d for a.
-5
Suppose f = 5*p - 28, p + 4*f + 9 = 2. Let u be 3/(9*(-5)/(-75)). Solve -p*m + 3*g = g, 15 = u*m - 5*g for m.
-2
Suppose 3*f - 2*f = 9. Let t = -2 - 8. Let u be ((-4)/t)/((-5)/(-50)). Solve -k = u*r + r + 21, r + f = k for k.
4
Suppose 0 = 3*i - 2*i. Solve i = 2*s + 4*c - 6, -s + 3 + 2 = 4*c for s.
1
Let t = -6 - -10. Suppose -3*z = 3*h + 27, 0 = -4*h - h - 2*z - 33. Let x = -2 - h. Solve n + 25 = -t*n + 3*r, -n + 13 = x*r for n.
-2
Suppose 0 = -7*i + 3*i + 4*m + 4, 4*i - 5*m = 0. Suppose 2*t = p - 5, 0*p - 25 = -i*p. Suppose 9*a = 3*a + 30. Solve -3*w - a*r = -t*w, 3*w - r = -18 for w.
-5
Let r(l) = 5*l. Let x = 0 + 1. Let k be r(x). Solve k*o = 2*c - 5*c - 10, 5*o + 10 = -5*c for o.
-2
Suppose q - 4*p - 9 = 0, 6*q - q - 20 = -5*p. Solve 0 = -q*o + 5*w, -20 = 2*w + 3*w for o.
-4
Let i = 21 + -16. Solve 3*c - 5*u = 13, i*c - 1 = -u + 2 for c.
1
Let j be -1 - (1 + -2 - 2). Suppose -j*d + 10 = -4*b, -5*b + 6*d = 2*d + 20. Solve 5*z - 22 = u - b*z, -3*z = -4*u - 3 for u.
3
Let d(v) = -v**3 - 7*v**2 - 5*v + 8. Let l = -14 - -8. Let a be d(l). Suppose -2*t = -a*r - 3 - 3, 0 = 5*r. Solve -t*c - 4*m = 7, 33 = -5*c + 3*m + m for c.
-5
Let x = 44 - 41. Solve 0 = -5*r + 3*u - 15, 4 + 11 = -4*r + x*u for r.
0
Suppose -5*b + 2*f + 22 = 0, -3*f + 9 = 2*b - 4*f. Suppose 5*v - 37 = -b*k, -k - 2*k = 3*v - 24. Solve 0 = -t + 4*y + 20, -v*t + 5*y + 49 = 9 for t.
4
Suppose -a - 1 = -2. Let v(l) be the third derivative of l**5/30 + l**3/6 + l**2. Let m be v(a). Solve u + m*d = 15, 0*d - 16 = -4*d for u.
3
Let u = 10 - 6. Let k(w) = -23*w**2 + 3*w - 2. Let c be k(3). Let x be c/(-72) + 4/18. Solve -2*o - 2 = -x*q, 2*q - u*q + o + 3 = 0 for q.
4
Suppose -n + 0 = -1. Let u be n + 0 - (3 - 5). Solve -2*r + 18 = -4*f - 2, -3*r = -u*f - 21 for f.
-3
Suppose -129 = -w - 108.