1
Let s(h) be the third derivative of h**6/120 + h**5/30 - h**4/24 + 12*h**2. Let i be s(-2). Solve i*g - a = 3*g, -g - 3*a = 6 for g.
3
Let q = -10 - -16. Solve 0 = -5*a + a - 4*l + 8, -q = -a - 5*l for a.
1
Let f be -2 - (-1 + 1) - 1*-5. Solve 0 = 2*u - 0*p + p + f, -2*u = 3*p + 13 for u.
1
Let u be (-63)/(-2) + 3/2. Solve i + 4*i - u = -2*p, 2*i + 2*p = 18 for i.
5
Let a be ((-42)/49)/(6/(-28)). Solve -3*n - a = -4*d, -2*d - 28 = -4*n - 5*d for n.
4
Let r be (100 - 106)*(-3)/2. Solve 2*n + 19 = r, 0 = 5*v - 2*n for v.
-2
Suppose -45 = -5*j + 5*q, 4*j - 2*q = -5*q + 1. Suppose -r = j*r - 5*i - 35, -3 = 3*r + 5*i. Solve -w = r*n - 3*n + 3, -n - 4 = 2*w for w.
-1
Suppose u = 6*u - 10. Let t be (-2 + 1)*3 + 3. Suppose t = 5*x - 10*x. Solve x = -2*n + 4*o - 3 - 11, n - o = -u for n.
3
Suppose 119 - 30 = -4*w + 5*c, -2*c = -w - 23. Let x = -300 + 10. Let r be x/(-35) + 6/w. Solve 3*h + 4*b + r = 0, -3*h - 10 = -8*h - 2*b for h.
4
Let v = 584 - 581. Solve -4*y - 10 = -8*w + v*w, 0 = -4*y - 3*w - 26 for y.
-5
Suppose 3*y - m - 40 = 0, 4*y - 28 = -m + 30. Solve 0 = s + 3*d - 10, 5*s - 2*s + 5*d = y for s.
-2
Let l be 23/9 + (-8)/(-18). Solve 0 = -4*v + l*n + 11, 3*n = 5*v + 4*n - 28 for v.
5
Suppose -2*r + 2 = -6, -2*r + 2 = -3*k. Solve 2 = -i + 5*z - 2, 0 = 2*i - k*z for i.
1
Let k = -12 + 18. Suppose k*q - 12 = 2*q. Let i(b) = 2*b**2 - 8*b + 3. Let m be i(4). Solve -m*a - q*s = 2*s - 9, 2*s + 15 = 5*a for a.
3
Suppose 5 = 3*q - 40. Suppose z - q + 6 = -2*t, 0 = 5*t - z - 5. Solve t*f + 4*n + 41 = -3*f, n = -f - 9 for f.
-5
Let y = -11 + 12. Let r be 15/10*(1 + y). Solve -2*q + 0*q = 6, -4*s = r*q + 21 for s.
-3
Let m(i) = 4*i - 18. Let q(y) = 5*y - 18. Let b(r) = -3*m(r) + 2*q(r). Let a be b(8). Solve 2 = a*o + h, -3*h + 0 + 8 = 4*o for o.
-1
Suppose 7*c = 2*c + 4*b + 486, 2*c = 4*b + 204. Let u be 2/6 - c/(-6). Suppose 20 = -5*t, -3*x + 0 + 11 = t. Solve 10 = -x*l + r, 5*l + u = -5*r + 6 for l.
-2
Suppose 0 = 18*n + 124 - 214. Solve q + 6 = -3*s, n*q - 3 = -0*q - 4*s for q.
3
Let a(h) = -3*h**3 + h**2 - 1. Let m be a(-1). Suppose 11 = -m*b + 50. Solve 4*i - 3 = -y + b, -7 = 2*y - 5*i for y.
4
Suppose -j - 40 = -56. Suppose 0 = 11*m - j - 17. Solve m*r - 1 - 8 = -3*n, -5*n - r = -3 for n.
0
Let s = -413 + 443. Solve 0 = v - 5*v + 5*y - s, -v - 5*y + 5 = 0 for v.
-5
Let t(x) = -x**2 + 9*x - 12. Let p be t(9). Let v = 10 + p. Let a be (-1 - -2) + 7 + v. Solve -4*g - 2*n = -a, 2*g + 0*n + 9 = 3*n for g.
0
Let v be 2/3 + (-13)/(-3). Suppose 18 = 5*q - b + 3*b, 5*b - 30 = -v*q. Solve -2 = -2*p - q*z, 5*p - p + 5*z = 0 for p.
5
Let d = 10 - -17. Let w = d + -25. Solve k = 2*u - 5 + 4, -w*k = -2*u + 6 for k.
-5
Suppose 6 + 6 = -3*m, 2*z + m = 0. Suppose -4*y = -1 - 27. Let v = -3 + y. Solve 5*q = -2*t - 4, t = v*t - z*q - 13 for t.
3
Let x(j) = 2*j - 55. Let m be x(20). Let u be ((-8)/12)/(2/m). Solve -r = 2, r - u = 5*b + 6*r for b.
1
Suppose -d = 3*z + 75, -3*d + 3 = -z - 12. Let b = 28 + z. Solve 4*a + 0*x = -x + 12, 0 = 4*a - b*x - 32 for a.
4
Let n(h) = 2*h + 1. Let s be n(3). Suppose -3 = -4*c + 13. Suppose 6*y = -c + 34. Solve 1 = -y*w - 4*t + 2, -3*w - 4*t = -s for w.
-3
Let s(m) = 2*m**3 - 4*m**2 + 3*m - 1. Let t be 140/49 - (-2)/14. Suppose -q = -t + 1. Let l be s(q). Solve 7 - 28 = -3*x + l*y, 3*x + 3 = -3*y for x.
2
Let c(b) = b**2 - 2*b. Let d be (-2)/(-4) + 99/(-18). Let h be c(d). Suppose t = 6*t - h. Solve 0*v = 3*f + 3*v - 3, 0 = 3*f + 2*v - t for f.
5
Suppose -v = -4*q + 2*v + 207, -2*q + 5*v = -121. Let g = q + -47. Solve w + 2*m = -g, -5*w + 3 = -2*m + 4*m for w.
1
Let f be (-20)/(1/(-2)*1). Suppose f = 2*x + 2*x. Solve -4*n - 10 = -2*j, 2*n + 2*j - x = n for n.
0
Suppose -2*q + 70 = 4*s, -3 = -q - 2. Solve 2*c - 14 = 4*u, -5*c + 2 + s = -2*u for c.
3
Suppose -35*n - 43*n = -85*n. Solve 2*z = 2, 0 = -3*u - n*z + 5*z - 11 for u.
-2
Suppose -33 = 4*h - 1. Let s = -21 - -15. Let y be s/24 - 170/h. Solve 5*m - 4*q - 2 = -y, -2*m = 4*q + 2 for m.
-3
Suppose -q - 4*a = -31, 3*q = -3*a + 47 + 1. Suppose 69 = 7*c + 16*c. Solve x - 2*w - c*w = -24, 2*w = -x + q for x.
1
Let c be 1/(-3) - (-13 - 112/(-42)). Solve 5*o - 3*j - 14 = 0, 2*o + 2*j - c = j for o.
4
Let v(z) = 2*z**2. Let k be (-7)/(-4) + 6/(-8). Let r be v(k). Let i(q) = 2*q - 3. Let t be i(5). Solve -r*c + t = 3*n - 2*n, -2*n - 5*c = -15 for n.
5
Suppose 5 = -4*d + 65. Suppose 4*f - 3 = -r + 1, 2*f - 24 = 5*r. Suppose 4 = -8*j + 44. Solve 0*o + d = -3*v - 2*o, -j*v - f*o = 25 for v.
-5
Suppose 3*u - 6 = 2*k, -3*u = -3*k - u + 1. Let c be ((-8)/(-12))/(1/3). Solve -c*t + 15 = 5*g, -t + g = k*g - 7 for t.
5
Suppose -3*p = -4*n + 18, -4*n + 5*p = -2*n - 16. Suppose -n*h + 16 + 20 = 0. Solve w - 5 = -4*j + 11, 3*j - w = h for j.
4
Suppose -556*d = -568*d + 24. Solve -s + 6 = 2*w - 0*w, w + d*s - 3 = 0 for w.
3
Suppose -3*q - 14 + 9 = -2*a, -5*q = -4*a + 11. Solve -2*d = -3*o + 7, 0*d + 2 = d + a*o for d.
-2
Let d = -12 + 16. Suppose -3*r + d = -5. Suppose 0 = 5*j + 1 - 16. Solve s - r*k = -0*s - 8, 4*s = -j*k + 28 for s.
4
Let p be 6*(-6 + 3 + 4). Let k = 11 - p. Solve -s = -2*t + 2, -5*s - k*t + 20 = -0*t for s.
2
Let c(b) = b**3 + 7*b**2 - b + 3. Let s be c(-7). Suppose -q = 8 - s. Solve -4*l = u - 2*u + 8, 4*u = -q*l - 22 for l.
-3
Let j be 2/(-8) - 26/(-8). Suppose 2*h = 5*m + 58, -3*m - 50 = -2*h - 3*h. Let n be m/65 - 30/(-26). Solve -2*q + 17 = -j*y + 6, -5*y - n = q for q.
4
Let z be 6/4 - (-183)/122. Solve 4*j - z*d = 20 + 15, -3*j + 4*d = -35 for j.
5
Suppose 9*w + 8 = 13*w. Suppose 2*r = -3*r. Suppose -5 = -r*v - 5*v. Solve w*q = -5*i - 8, -3*i = 5*q - i - v for q.
1
Let i be 7/35 - 138/(-10). Suppose 5*m - i = 2*m + 5*x, -2*m + 9 = -3*x. Solve 0 = -4*o + b, -m*o + 1 = -b + 2 for o.
1
Let l be (-1)/(((-14)/(-24))/7). Let s be (-2 + -2)/(l/9). Solve -8 = -3*w - 2*y, 4*w + s*y - 8 = 4 for w.
0
Let f(c) = c**2 - 5 - 2 - 5. Let w be f(-4). Solve 4*q + 2*r = -w, 6*r = -q + r - 19 for q.
1
Let j be (-4)/(-3)*(4 + 4 - 5). Solve -3*l + j*a = 11, -8 = -6*a + 2*a for l.
-1
Suppose 87 = 6*i - 39. Solve f + 4 = -c, -4*c = -f - 0*f + i for c.
-5
Suppose -2*n - 10 = -18. Let s be ((-4 + n)*1)/3. Let k be s - 2/(-2) - 0. Solve 6 = -q - 3*t, 0 = 2*q + 5*t + 12 - k for q.
-3
Suppose 2*i = -v + 5*i - 1, -v - 5*i + 7 = 0. Suppose 0*a - 3 = 3*a. Let w be -1*(-18)/3 - a. Solve 5*m + 2*r + w = 0, -m + 2*r = 13 - v for m.
-3
Let u(m) = -2*m**3 - 3*m**2 + 1. Let w be u(-2). Let z = -19 + 48. Let a = z - 25. Solve 2*x = 7*x + a*v, 45 = -w*x + 5*v for x.
-4
Let y = 7 + -1. Let v = -1 + y. Let f be ((-4)/6)/((-1)/3). Solve -5*a + 15 = -5*o, -a + v = -2*o - f for o.
-4
Let c be (-2)/(3 - 28/8). Solve 4*b = z - 5*z - 28, c*z - 4*b = -12 for z.
-5
Suppose -30 = -34*v + 38. Solve 0 = -4*s + x + 1, -3*s + 3*x - v*x = -1 for s.
0
Let o be (0 - -21)*(40/(-70) + 1). Solve 2*m - 6 = 0, -2*f - 4*m = f - o for f.
-1
Let c = 6 - 1. Suppose 0 = 2*k + g - 9, -3*g = -2*k - c*g + 8. Suppose 0*z + 408 = 34*z. Solve -4*p + k*v = -0*p + 16, 4*p + 2*v = z for p.
1
Let u = -19 + 20. Let d be (u + 30)/((-3)/(-3)). Suppose 2*c - 81 = -d. Solve -2*s + s + 15 = -2*k, 5*s = c for k.
-5
Let s = 8 - 14. Let f be s/(-2) - (-2)/(-2). Solve -4*i = -9*i - u + 11, 0 = -2*i + f*u + 14 for i.
3
Let b = 46 - 43. Suppose -f + b*h + 2*h - 18 = 0, -4*h + 14 = -f. Solve -8 = -f*k + 3*k - 3*l, -4*k - l = -7 for k.
1
Suppose 2*i + 5*r - 20 = -2*i, 22 = i - 3*r. Let s be (-1)/(i/4 + -3). Solve -s*p - 2*h = 2, 5*h + 5 = 2*p - 0*h for p.
0
Let s be -4*(-55)/20 - 6. Solve 3*w - s = 5*m, 5*m - 2*w + 15 = -w for m.
-4
Suppose 83*l - 599 = -184. Solve -l*h = 4*t - h + 24, 21 = -3*t - 4*h for t.
-3
Suppose s + 4*l = 15, -s - l + 2 + 4 = 0. Suppose s*v - 3 = 9. Solve 0 = -4*q - v*t + 28, 2*q + 3*t - 29 = -2*t for q.
2
Let k(m) = -2*m**3 + 4*m**2 + 1 + 2*m - 9*m**3 - 2*m**2. Let y = -108 + 107. Let h be k(y). Solve 6 = 2*c - 5*d, -d + 3*d - h = -4*c for c.
3
Suppose -5*s + 6 + 29 = 0. Suppose -s*t = -2*t. Suppose t = h - 4 + 2. Solve -2*o - 2 + 6 = -h*p, 0 = -2*o - 5*p - 17 for o.
-1
Let q = -2454 - -2456. Suppose -3*c = -5*c + 16. Let v(b) = -b**2 + 11*b + 1. Let u be v(c). Solve -5*h - 2*k = -15, q*h - h - 4*k - u = 0 for h.
5
Suppose -19*j = -43 - 185. Let u = 1 + -1. Solve -2*m + j = m, u = o - 2*m + 10 for o.
-2
Let p = -14 + 13. Let s be (0/p