 Suppose 3*s = -m + 19 + 24, -x*m = -5*s + 68. Solve 4*n + s = 3*p, 4*p + 0*p - 16 = 4*n for p.
2
Suppose 25 = 5*a, 6 + 30 = 2*u + 4*a. Solve -11 = 4*o - p, 4*o + u = 3*o - 5*p for o.
-3
Let p be (-2)/(-4)*(-30)/(-5). Solve -14 = o + o - 4*c, 16 = 4*o + p*c for o.
1
Suppose 8 = 3*v - 46. Let o(z) = z - 10. Let r be o(10). Suppose -4*c + 14 - 2 = r. Solve 0 = -3*m + 10 + 2, -3*p - c*m = -v for p.
2
Let q = 4 + -6. Let c be (1/(-3))/(q/18). Let y(b) = b**3 - 3*b**2 + 2*b - 1. Let n be y(3). Solve j + n = 4*o, -2*o + 2 + c = -3*j for j.
-1
Suppose 3*i = -4*y + 25, i + 2*i = y - 10. Let c = y + -3. Suppose 5 + c = u. Solve 0 = m + g + u, -4*g + g = 5*m + 37 for m.
-5
Suppose -4*s + 12 = -8. Solve 0 = 2*d - 1 - 5, 2*x = -s*d + 17 for x.
1
Let r = 21 + -19. Solve -2*d - 10 = r*w, 2*w + 0*w = -3*d - 14 for w.
-1
Let n = 1 + -3. Let m be (-2)/((-4)/6) - n. Let a = -4 + 4. Solve a = 4*s - 0*k - 3*k + 11, m*k - 27 = -2*s for s.
1
Let p be 48/21 - 4/14. Let y be 16*(0 + 6/8). Let j = -2 + y. Solve 0*o - j = -2*z - p*o, -z + 9 = 5*o for z.
4
Suppose -i + 0 = -4. Solve 3*n - u = -i*u - 21, 0 = -5*n - u - 23 for n.
-4
Let y(v) = 6*v**3 - v**2 - 2*v + 2. Let q be y(1). Solve -q*s = 2*r - 9, -6*r - 13 = -3*s - 11*r for s.
1
Let h be ((-6)/(-4))/(1/20). Let f = -21 + h. Solve 2*p - n = f, 5*p - n - 30 = 3*n for p.
2
Let q be 1/4*4 - -11. Let r be 3/q + 51/4. Solve 5*b - b + r = 5*c, -2*c + 4*b = -10 for c.
1
Let b = -2 - -4. Let z = b - 8. Let i be (-26)/z - 8/(-12). Solve 26 = 4*n - i*w, n + w = -4*w - 6 for n.
4
Let v be 1*7/((-14)/(-8)). Suppose -11 = -3*d + 1. Suppose 8*g - 12 = d*g. Solve 0 = -4*q + 5*h + 9, h = v*q - g*h - 4 for q.
-4
Let a = -14 + 18. Solve -3*z - 1 = -0*z - c, 3 = -a*z + c for z.
-2
Let p(t) be the third derivative of -t**6/120 + t**5/15 + 7*t**4/24 - 7*t**3/6 + 5*t**2. Let z be p(5). Solve d = -5*g - 23, -z*g + 0*d + 3 = -5*d for g.
-4
Let m be ((-3)/2)/(6/(-16)). Suppose m*w = 43 - 11. Solve -6 = z + z - n, 0 = 2*n + w for z.
-5
Let r = 63 + -58. Solve -5*u = -3*u + 2*k, -4*u + k - r = 0 for u.
-1
Let y = 100 + -98. Solve 3*j - 5*t = 1, -y*j - 4 = -2*t - 2 for j.
-3
Suppose -11 = -5*h - 2*o, -3*o - 4 = -2*h - 4*o. Suppose 2*p + h*l = 15, p = 4*p + 2*l - 20. Solve -5*t = 2*q - 1 + p, 4*q - 1 = t for t.
-1
Let i be (-70)/(-25) - 4/(-20). Solve 0 + 1 = v - 3*b, -b - i = -3*v for v.
1
Suppose 0*c + 20 = -5*c. Let o = c - -6. Solve -7*u + 1 = -2*u - o*l, -2*u = -l for u.
1
Let v = -53 - -57. Suppose -4*m = s + 4 - 14, 3*m - 3 = -3*s. Solve -4*z = l - 23 + v, m*z = 2*l + 17 for l.
-1
Suppose -a + 2 = -1. Suppose -3*z = -3*m + 18, -a*z = 6*m - m - 14. Solve -m*n + 8 = 5*t, -3*n = n + 4*t - 4 for n.
-3
Suppose -n + 4 = 2*o, 3*o - 2*o - 5 = n. Solve -3*u - o*k + 4 = -2, 4*k = 8 for u.
0
Suppose 3 = 2*c + 1. Let y be (c - -3)/(-1 - -3). Suppose 16 = y*k - 2*x, -2*k - 1 = x - 8. Solve f + k*j - 15 = 0, 5*j - 24 - 1 = f for f.
-5
Suppose -3*r + 0 = -3. Let x(t) = t**3 - t**2 - t + 1. Let p be x(r). Solve 2*b + 2 = 4*m - p*b, -2*m + 4 = -4*b for m.
0
Suppose -5*d - 1 = -26. Solve 30 = 5*q - 5*w, -6*q + 28 = -2*q - d*w for q.
2
Suppose 4*v = 21*v. Solve -5*u + 4*j + v*j = 1, -2*u + 2 = -j for u.
3
Suppose 22 = -5*x + 7. Let k = 3 + x. Let d = 0 - k. Solve d = 3*z + 3*v, 9 = 3*z + z + v for z.
3
Suppose 4*x - 3 + 7 = 5*r, -16 = -2*x - 2*r. Solve -20 = 4*p, 4*u - 2*p = -2 - x for u.
-4
Suppose -2*m - 2*i + 14 = 4, 5*m - 3*i = 17. Solve -4*b - d - m = 0, b - 4*b - 3 = -5*d for b.
-1
Suppose 4*n + 3 = 2*g + n, 3*g = 5*n + 5. Solve -3*u + 4*i = -13 - 16, g = 4*i + 20 for u.
3
Let r(n) = n**3 - 8*n**2 - 8*n - 8. Let m be r(9). Solve -x + m = -a, 4*x = 3*a + 1 - 2 for a.
-5
Let i be 4/(-6)*6*-3. Suppose y - i = 3*y. Let s(l) = -4*l - 4. Let a be s(y). Solve 3*f - 2*k = -0*f + 10, 5*f + 4*k = -a for f.
0
Let u be 3/(-6) + 22/4. Let x = -9 + 13. Solve u*r + 16 = -3*q, r + x*q + 6 + 4 = 0 for r.
-2
Let t = 2 - 13. Let h = t - -16. Solve -7 = 3*f + 3*g + 5, h*f = 4*g + 16 for f.
0
Let g = -5 - -12. Suppose 3*s - g*s = 0. Solve -3*z = 5*i - 7*z - 8, s = i - z - 2 for i.
0
Let v(c) = -c + 5. Let w be v(3). Suppose -4*m + 6 = -3*m. Let r be 1/1 - (-5 + m). Solve 4*f + r*f = w*g, -f = -2*g for g.
0
Suppose z + 30 = -2*z. Let c be ((-1)/2)/(3/6). Let s be c*(-1)/((-2)/z). Solve 3*t + 5 = 2*o, -8 - s = 3*t + 2*o for t.
-3
Suppose 2*z + 3*p = -z + 12, -4 = 2*z - 4*p. Let t be -11 + 3 + 0/z. Let j = t - -11. Solve 1 = -3*k + w + 18, k + 4*w + j = 0 for k.
5
Let z = 2 + 8. Suppose -p + 2*n = 5 - 20, 5*p = -3*n + z. Let x(s) = s**3 - 5*s**2 + 5*s. Let c be x(4). Solve -k = -3*k - 4*a + 18, -c*a + 27 = p*k for k.
3
Let t be ((-1)/2)/((-2)/4). Let o be 0 + (0 - -6) - t. Suppose -6 = o*k - 16. Solve 1 = -5*f + q, k*q + 8 = -0*q for f.
-1
Suppose 0 = 4*y - 8*y + 84. Solve 2*b = -6, 4*t + 2*b - 5*b = y for t.
3
Suppose 2 + 4 = 3*f. Let z be f/(-3) + (-70)/(-15). Solve -3*s + 3*n = -n + z, 3*n + 22 = -4*s for s.
-4
Suppose -p - 2*p = -2*y - 10, p = y + 4. Solve 3*g + 2*d = 2, -g = -5*g - p*d + 2 for g.
0
Suppose 2*c = -2*c + 4. Solve b + 5*o + c = -0, 2*o + 2 = 0 for b.
4
Let w = 21 + -37. Let n = -13 - w. Solve -n*h + 1 + 11 = 3*f, 3*f = -2*h + 13 for f.
5
Let u be (3*-1)/(10 - 11). Suppose -u*i = -5*i + 10. Solve t - 17 = i*f, -2*t - 6 = 3*f - 4*t for f.
-4
Let o be 3*2/18*15. Suppose -2*c - f + 13 = -2*f, 5*f + 35 = 4*c. Solve -4*b = o*n - 16, -4*b + b + c = 2*n for b.
-1
Let z(r) = 7*r + 3. Let o be z(0). Solve -o*i - 4*y = -5*i - 4, 0 = 2*i - y + 1 for i.
0
Let f be 3/(-12) + 58/8. Suppose 2*c = 3*x - f, -2*c + 4*c + 10 = 4*x. Solve 0 = -2*w + 4*k - 13 - x, 5*w + 16 = -2*k for w.
-4
Suppose -5*o = -5, -s - 2*s + 9 = 3*o. Solve -s*d - 6 = -x - 5, 14 = -3*d - x for d.
-3
Let v = 9 + -4. Solve -v*j = -5*f - 4 - 6, 3*j = 2*f + 4 for j.
0
Let c be 7 + (-8)/(-12)*-3. Solve -3*j = 0, u = -4*j + 3*j - c for u.
-5
Let b = 1 - 3. Let m be -1 - (b - (3 - 1)). Let c be (4/14)/((-5)/(-70)). Solve 4 = 4*h - c*n, 0 = -2*n + m - 5 for h.
0
Suppose 2*d + 0*d = -5*h + 196, -h + d + 42 = 0. Let t be (-3 + 1)*(-19 - -18). Let n = 5 - 3. Solve 2*j = -n*a, 5*a = t*j + 3*j - h for a.
-4
Suppose 4 = -3*k + 5*s, 2*k + s - 1 = 5. Suppose 0 = k*l - l. Solve 2*z = -3*v + v - 4, l = 3*z + 5*v for z.
-5
Let l = -173 + 176. Solve 2*y + 12 = -3*k + 5*k, -5*k = l*y - 6 for y.
-3
Let c be (-3)/7 + 396/42. Suppose -d = 2*d - c. Solve d*s = -2*i + 11, 4*s + 3 = -2*i + 17 for s.
3
Suppose -2*x = -5*p + 47, -3*x - 3*p = 25 + 14. Let b = -16 - x. Solve b*g = -2*o - g + 1, 0 = 3*o + 3*g - 6 for o.
-1
Let t be -10*(3 - (-3)/(-3)). Let a be (-52)/(-10) + 4/t. Let p be 44/10 + (-8)/20. Solve b - p*r = -4*b - 15, a*r - 22 = 3*b for b.
1
Let d(f) = -f**2 - 9*f + 1. Let g be d(-5). Suppose -4*u + g = 1. Suppose u*i = -3*s + 22, 5*i - 4 = s + 2. Solve 8*r - 3*r + 3*z = -20, s*r - 5*z = 21 for r.
-1
Let t be (-4 - -6)/(0 - 2). Let x be -12*(-1 + t/(-2)). Let y = x - 2. Solve -15 = 5*u + y*g, -2*u + 2*g - 5 - 1 = 0 for u.
-3
Let u(t) = -3 - t + 2 - 2. Let p = 20 + -28. Let w be u(p). Solve -5*f + 4*a - w*a = 15, f - 2*a + 3 = 0 for f.
-3
Suppose 4 = -3*t + 4*t. Suppose -4 = -t*q + 4. Solve q*n - 3 - 14 = 5*k, 5*n - 4*k - 17 = 0 for n.
1
Suppose 0 = 3*v + 15 - 24. Solve -5*l - 10 = -5*r, r = -4*l + 4 + v for l.
1
Suppose 2*l - 3*m = 2*m + 26, m - 2 = -2*l. Solve 2*f + 8 = 0, l*g + 5*f + 11 = -12 for g.
-1
Suppose 0 = 4*f + 2*l - 32, 5*l = -f + 4*f + 2. Solve -3*q + f = 3*i, 5*i + 0*q = 4*q + 1 for i.
1
Let j = -28 - -48. Suppose -5*z + 2*q + j = 0, -4*z + z = q - 12. Let d be (5 - 2)/3 + 5. Solve 2*i - d = i - 3*o, -2*i + z*o = 18 for i.
-3
Suppose 0 = -5*h + v + 69, h - 48 = -3*h - v. Let c = h + -7. Suppose c = -5*a + 16. Solve -2*r = a*z + 2*r + 22, -3*z - 2*r - 13 = 0 for z.
-1
Let o(b) = 2*b**2 - 7. Let s be o(-3). Let w = 20 - s. Solve -3*m + 5 = -2*j, 0 = -4*j + w + 11 for m.
5
Suppose 0 = 7*m - 19 - 2. Solve 5*z + 4*s = 17, -m*z - z = -3*s - 26 for z.
5
Suppose -o - 2 = -4. Solve 0 = -2*b - z + 8, 0 = -0*z - z + o for b.
3
Let h(g) = -2*g + 1. Let w be h(-2). Let n = w + -2. Solve -n*z + i - 7 = -0*i, 3*z = -2*i - 4 for z.
-2
Suppose g - 11 = -4. Let s(f) = 2*f - 5. Let y be s(g). Let p = -6 + y. Solve 3*z - 5*t - 1 = 0, -p*z = t + t - 8 for z.
2
Let g be (-1)/(-4) + (-44)/(-16). Let n be (0 - -1) + 3/g. 