-4*g + 14, -p*g = -4*u + i for u.
2
Suppose 0 = -5*f - 0 + 420. Let a = f + -82. Solve -2*v = a, z = -2*z + 4*v + 16 for z.
4
Suppose -3*x - 2*w = -13, 0 = 3*x + 2*w - 3*w - 16. Solve 5*y - x = 5*t, 0 = -2*t + y - 4*y + 3 for t.
0
Suppose 3*x - 8 = -4*h, -x - 2*x - 7 = h. Solve h = -5*t + 4*y, t - 4*y + 0 = -1 for t.
-1
Suppose 69 = 3*s + 3*f, -3*s - 4*f + 23 + 45 = 0. Suppose -s = -v - 3*v. Solve -3*z + 6*n + v = 3*n, 3*n = -5*z - 30 for z.
-3
Let p = 32 - 24. Suppose -p = a - 38. Solve -d + 4*h - 24 = 0, 2*h + a = -5*d + 4*h for d.
-4
Let l = 12 + -6. Let c = -3 + l. Suppose 0 = -81*y + 77*y - 2*g + 20, 0 = -3*y + g + 20. Solve -4*z = -c*t - 5 - 3, t = 3*z - y for t.
0
Suppose -4*q + 0*q = -8. Suppose -q = 2*j - 0*l + 2*l, -5*j + 5*l = -25. Let i be 1/3 - (-8)/3. Solve 4*u - i*k + 3 = 0, j*u - k - 4*k = 9 for u.
-3
Let o(g) = g**3 + 5*g**2 + 3*g + 1. Let n be o(-4). Suppose 0 = -86*u + 93*u - 70. Solve -2*f - 2*f - u = -5*y, n*y = -3*f + 10 for f.
0
Let x be (24/(-14))/(3/(-21)). Let g = x - 7. Solve -h + 0*m = -m + 2, -g*h - 3*m = -22 for h.
2
Let k = -36 - -45. Suppose -k*h = -8*h. Solve 4*u + 0*u - 5*s = -24, -4*u + 4*s - 20 = h for u.
-1
Let b = 264 - 262. Solve -2*d + b = -n, -3*n + d = -n + 7 for n.
-4
Suppose 11*h - 14 = 10*h - 3*o, -5*o + 28 = 4*h. Solve z = 2*z - h*r, 3*r + 5 = -z for z.
-2
Let b = -5 - -8. Let z be 22/b*12/8. Let s(y) = 11*y - 710. Let t be s(65). Solve -4*l - d - z = 0, 12 + 11 = -4*l - t*d for l.
-2
Suppose 5*f + 2*z + 108 = -203, 317 = -5*f + z. Let b = -61 - f. Solve -3*r = 2*i - 7*i - 15, 4*i - b*r = -10 for i.
0
Suppose 25 + 25 = -10*g. Let u(n) = -n**3 - 3*n**2 + 5*n - 5. Let x be u(g). Solve j - 5*v + x = 0, 4 = -v + 2*v for j.
0
Let h = -150 + 151. Suppose -4*f + 2*f = -3*t + h, 5*f - 1 = 4*t. Solve -i - f = 0, -3*c - 4*i = 2*c + 4 for c.
0
Let f be ((-6)/3)/((-2)/8). Suppose -10 = 3*s - f*s. Suppose 4*n = -s*n + 12. Solve -z = -4, 5*x + n*z - 2 = 1 for x.
-1
Let y be (-2)/(4 - 2)*-1. Suppose y = l - 4. Suppose -5*r + l = -10. Solve 3*j + 7*s - r*s + 6 = 0, -4*j + 5*s + 23 = 0 for j.
2
Suppose -11*d + 22 = -33. Solve -2*m = d*s, s + 3*s + 3*m = 0 for s.
0
Let k be 1/(-2) - (-62)/4. Let a(c) = c**2 + 6*c - 12. Let d be a(-8). Let f be 3/(5 + -2) + 1. Solve 5*x - k = d*z, -f*z = -x + z + 3 for x.
3
Suppose 4*s + 3*v = v + 30, -2*s + 35 = 5*v. Suppose 8*r = 6*r - 48. Let m = r - -25. Solve -s*q = 2*w - 7, -7 = -4*q - w + m for q.
3
Let h(b) = b - 3. Let n be h(11). Let a = n - 6. Suppose -2*l = a*j + 2, 2*l - 3*j - 12 = 1. Solve -2*v + 17 = -3*u, -3*u - 5 = l*v - v for v.
4
Suppose 7*k - 16 = 3*k. Let z be (0 - -3 - 6)/1. Let v be (1 - 21/9)*z. Solve 16 = -i - s - k*s, v*i = -4*s for i.
4
Suppose 4*r + 3*v = 80, -5*r + v + 96 = -r. Solve l - 4*l - r = -5*t, 0 = 3*t - 4*l - 16 for t.
4
Suppose -5*o = i + 11, -2*i + 21 = -o - 1. Solve 3*s = -4*r - 6, 3*s - r + 6*r = -i for s.
2
Suppose 3 = -3*l, -4*i + 10*l + 6 = 12*l. Solve 2*g - 5 = -w, 3*g - 8 = w + i for w.
-1
Suppose 2*k - 5*u = 56, -k - 11 = -3*u - 40. Solve 2*o + 6 = 5*a - 13, -4*o = -5*a + k for a.
3
Let s be ((-764)/573)/(1/(-3)). Solve 3*i - 2 = -s*c, 3*c + 2*i = -0 + 2 for c.
2
Let r(b) = 2*b**2 + 3*b + 32. Let i be r(0). Solve 2*a - 6*y + 3*y - 4 = 0, -5*a - 3*y = i for a.
-4
Let u be (-4)/18 + 357/27. Suppose -53 = -3*f + u. Let i be (-910)/(-77) + 4/f. Solve 3*a - 8 = -a, 0 = 2*d - a + i for d.
-5
Let d(q) = -q - 4. Let a be -4 + 2*(-15)/6. Let b be d(a). Solve 0 = -b*w + 4*k + 5, k - 3 = 2 for w.
5
Suppose -2*n = 13*n - 60. Let i = 123 + -78. Solve 4*w + 5*c + i = 0, w + 4*w + 5 = n*c for w.
-5
Suppose 0*n = 4*n - 4, -2*x = -4*n. Solve 4*h - 7*h + 2*i + 12 = 0, 4*h - x*i - 14 = 0 for h.
2
Let c be ((-5640)/(-1269))/(2/9). Solve 0 = 4*j - 0*s + 2*s - c, 3*j = -s + 13 for j.
3
Let a = 1 + 1. Let j(l) = -l + 14. Let q be j(11). Let b = -264 + 267. Solve -t = -b*m, -a*t - 2 = -5*m - q for t.
3
Let w(p) = -p**3 + 8*p**2 - 3*p + 12. Let a be w(8). Let y = a - -17. Suppose 5*v = -u - 4*u - 10, 0 = y*u - 5*v - 30. Solve 3*g = -u*q + q + 19, 8 = 2*q for g.
5
Suppose -279 = -5*d + 2*y + 11, -3*d - 3*y = -174. Suppose 5*t + 8 - d = 0. Solve 0 = p - 3, 2*v + 3 = -5*p + t for v.
-4
Suppose -16 = -3*i + 4*b, 2*i = -i - b + 11. Let m = -14 - -15. Let o = i - m. Solve -3*x + 24 = 5*j + x, -7 = -o*j + 5*x for j.
4
Let t = 3 + -1. Suppose t*l = l + 5. Suppose 0*r = r - l. Solve 0 = n - x + 4, 22 = -n + r*x + 2 for n.
0
Let t = -2 - -10. Let k be 2 - ((-2)/t - (-4)/16). Solve 5*a + k*r + 4 = 0, a - 2*r = 4*a for a.
-2
Let w(r) be the first derivative of -3/2*r**2 + r - 1. Let x be w(-1). Solve 4*s - x*q - 1 - 3 = 0, -21 = 4*s + q for s.
-4
Let g(q) = q**2 - 2*q - 1. Suppose -2*h + 3 = -w, 3*h - 5*h = 5*w - 21. Suppose -1 = h*i - 2*i. Let x be g(i). Solve x*p + 1 = -4*s + 13, -3*s = p - 11 for s.
5
Suppose 0 = -3*x + 627 - 609. Let h = 4 + -2. Solve 5*k = -3*p + 26, -h*k - 3*p + x = -8 for k.
4
Let h(x) = -x**2 + 32*x + 147. Let s be h(-4). Let f be ((-2)/4)/((-1)/8). Solve -2*g - 2*r = 2, 22 + s = 3*g - f*r for g.
3
Let g(k) = 8*k - 1. Let u be g(1). Let n = 211 - 211. Suppose n = -0*a + u*a. Solve -l = -2*q + 14, q - l - 9 = -a*q for q.
5
Let x(h) = -h**2 - 12*h + 16. Let a be x(-13). Suppose -3*t = t - 12. Solve -3*v + a*g = 2*v - 25, -2*g - 16 = -t*v for v.
2
Suppose 0 = -5*h + 2*w + 33 - 15, 4*h + w - 17 = 0. Solve 0 = -5*n - 2*t + 8 + 2, h*n = 5*t + 8 for n.
2
Let i(p) = p**2 - p - 3. Let c be i(3). Let f(j) be the first derivative of -2*j**2 + 3. Let w be f(-1). Solve 0 = k - 5*d - 7, c*d = w*k - 2*k for k.
-3
Suppose n - 13 = -2*l, -3*n + l = 2*l - 19. Let b be (-4 - -3)/((-7)/63). Suppose -w = w - b*w. Solve -3*s - 5*v = -26, -3*s + 5*v + n - 19 = w for s.
2
Let b = 2539 + -2532. Solve -q - c = b, 0 = q + q - 5*c for q.
-5
Let i = -20 + 25. Suppose -t + i*t = 16. Solve 5 + 5 = t*o + 2*q, 0 = o + 3*q for o.
3
Let d(i) = -16*i**2 + 18*i - 2. Let g be d(1). Solve l + 3 = -2*l, -b - 4*l = g for b.
4
Let y = -36 - -44. Let w be 1/(5/(y - -2)). Solve -w*t = 5*h + 7, -2 = 4*h - 3*t + t for h.
-1
Let o = 108 + -108. Solve o = -3*l + n - 10, 5 = 2*l - 2*n - n for l.
-5
Suppose p = 3*t - 11, t - 8 - 5 = -2*p. Solve -l - 5*i + 7 = -0*l, 4*l - 13 = -t*i for l.
2
Let f = 1692 + -1690. Let v(p) = p**2 + 8*p + 7. Let a be v(-7). Solve a = -4*u + 2*n - f, -n = u + 2*n - 17 for u.
2
Let y(w) = w**2 + 8*w + 3. Let m be y(-5). Let f = m + 17. Suppose -2*t + 18 = 4*n - 8, 0 = 4*t + 5*n - 40. Solve 3*s = -4*r + f, -11 = 2*r + t*s + 4 for r.
5
Let s be (-51)/(-12) + -4 + 910/8. Let l = -112 + s. Let t = 6 + -3. Solve -2*v - r - 10 = v, -t*v + 2*r = -l for v.
-2
Suppose 5*w - 25 = 3*v, 8 = -v + 5*w - 17. Suppose 5*h - 2*x - 25 = -5*x, 0 = -x + 5. Suppose -k - h*k = -9. Solve -k*y = -2*j - y + 14, v = -2*y - 6 for j.
4
Let l be (4 - 144/30)/(2/(-20)). Solve -l*g + 4*g + 11 = -i, 0 = 3*g - 12 for i.
5
Let i be (-8)/(-28) + (-1935)/35. Let a = 79 + i. Solve 5*z - g + a = 0, 2*z + 20 = g + 2*g for z.
-4
Let k be (-8)/(-16) + 6/4. Suppose -g + 5*y = -3*g + 80, g = -k*y + 38. Let w = -18 + g. Solve -5*b - 5*c - 3 = w, -5*c = -4*b + 15 for b.
0
Suppose 0*k = 3*k - 48. Suppose 2*j - k = 4*j. Let f(g) = -g**3 - 8*g**2 - g - 4. Let m be f(j). Solve -m*i = 3*o - o + 18, -i - 4*o = 22 for i.
-2
Suppose 2*n + 7 = 7. Solve 3 = 4*p - 3*h + 11, n = -3*p + 5*h - 6 for p.
-2
Suppose 5 = 3*v + i, 3*v = -3*i - 0*i + 3. Suppose q = -v + 6. Suppose -q*d - 3*t + 55 = 12, 2*t = d + 3. Solve 4*w = 3*h - 3, -2*w - 3*h = -d*w - 3 for w.
0
Let d be (0 - -2)*9/6. Suppose q - 3 = l, -q + d*q + 3*l - 1 = 0. Let j = q + 1. Solve w = -4*p - 2, -w + j*p = -2*w - 1 for w.
2
Let g be (-1)/(3/(-20 + -1)). Suppose 0 = -10*i + 37 - g. Suppose 5*y = 3*p - 25, 2*y = -2*p + 5*p - 10. Solve 5*d + p*f - 21 = -f, 1 = d - i*f for d.
4
Let t be 33/22*4*47. Let m be (-4)/(-22) - t/(-22). Suppose 0 = 4*r - 15 - m. Solve 3*c = 2*f - 8, c + r = 4*f + 1 for c.
-2
Suppose 0 = 26*r + 40*r - 3*r. Let u(m) = -m**3 - 3*m**2 - m + 3. Let i be u(-3). Solve -5*q = 4*c - 3*c + 14, r = 3*c - 3*q + i for c.
-4
Let f = 36 + -34. Suppose -5*u + 10 = f*o, -u = -2*o + 4 - 6. Solve 0 = -5*r - b + 21, -4*r - 3*b + 8 = -o for r.
5
Let k(a) be the first derivative of a**2/2 + 13*a - 1. Let p = -100 + 91. Let f be k(p). Solve 9 + 6 = 3*j, -4*y -