 g*v = -4*k - 4, 6*k = 4*k + 2*v + y for k.
2
Let u = 141 - 57. Let j = 92 - u. Solve 3*g + j = -a - 7, 3*a = -g - 5 for a.
0
Let a(m) = -m**3 - 8*m**2 + 13*m + 1. Let c(s) = s**2 - 1. Let d(v) = a(v) + 3*c(v). Let q be d(-7). Solve 0 = -g - g + q*k - 14, 5*g = -k - 8 for g.
-2
Let r(l) = -2*l + 43. Let p be r(13). Solve s + p = 5*q, 7 - 1 = -3*s for q.
3
Suppose -5*p = 2*h - 125, -4*p + 3*h - 4*h = -97. Solve -5*k = 2*t - p, 0*k + t - 19 = -5*k for k.
3
Suppose -5*y - 19 = -29. Suppose 3*o + 2*o + y*q = 19, 2*o + 5 = -5*q. Solve -h + 1 + 1 = 3*r, -5*r = o*h + 10 for r.
2
Let g = -15 - -18. Let p be g/(-1) + 1 + -4. Let y be (-68)/(-12) - p/(-9). Solve -y*d - 10 = v, -4*v + 2 = -d - v for d.
-2
Suppose -5*d = -3*d + 5*s, -s = 4*d - 36. Let q = 13 - d. Let k be (-3)/(9/(-3))*q. Solve -4*m + 1 = 3*h - 2*h, k*m - 12 = -3*h for m.
-1
Suppose -6 = -28*c + 50. Solve 2*k - 11 = 3*s, 3*k = -2*k - c*s - 1 for k.
1
Let f be (-14 - 0)/(-2)*(-24)/28. Let t be 12*(2/3)/(f/(-3)). Solve 0 = 3*m - g + 10, -2 = t*m - 2*m + 4*g for m.
-3
Let u be (4 - 28/6)*-3. Suppose -3*q = -35 - 37. Suppose 0*x - 20 = -4*x. Solve -4*r + x*l = -2*r - q, 3*l + u = -5*r for r.
2
Suppose -3 = 3*v - 12. Let s be v + 4/(-4) + 0. Suppose -s - 4 = -3*a. Solve 0*f - 5 = 5*o - a*f, 3*o + 5*f = -3 for o.
-1
Suppose -o - 2*l = 2*o + 170, 0 = -3*o + 3*l - 195. Let d = 63 + o. Solve 10 = -5*b - 3*q + 2*q, 0 = -4*b + d*q + 11 for b.
-1
Let a be (-324)/33 + (-4)/22. Let i be (-8 - -13)*(-36)/a. Let t = 18 - i. Solve 5*b = 4*z - t*z - 13, 3*b = 5*z for z.
-3
Let g(j) = j**3 + 2*j**2 - 5*j - 4. Let r be g(-1). Solve 5*p - r*v - 13 - 7 = 0, p = 2*v + 4 for p.
4
Let l = -226 - -231. Solve -4*k - 12 = -2*k - 4*a, 0 = l*k - 2*a - 2 for k.
2
Suppose -2*v + 8 + 6 = u, -5*v = -5*u - 35. Solve -a - 11 = -3*b, -4*b + v - 3 = -4*a for a.
4
Suppose -7*m = -11*m + 52. Let x = m - 9. Solve 0 = -3*a + 4*r - 0 + 4, 5*r + 5 = x*a for a.
0
Let x = 4 - 2. Let z = x - -3. Suppose -3*b = -95 + 80. Solve 5*u - z = 0, 29 = -b*j + 6*u - 2*u for j.
-5
Suppose 0 = 5*z + 3*r - 32, 11*z - 5*r = 6*z. Solve k - 3*y - 1 - 4 = 0, 3*k + 24 = -z*y for k.
-4
Suppose 5*i - 278 = -263. Solve j - 3 = -0*w - w, -i*j = -2*w - 14 for j.
4
Let v(x) = 36*x**2. Let p be v(-1). Let l = -34 + p. Solve i = m + 2, -2*i + 2*m + 12 = -l*m for i.
-2
Let d = 541 - 541. Let v be (1/2)/((-3)/(-126)). Solve 5*k + 0*m = -3*m - v, 3*k + m + 11 = d for k.
-3
Let y(l) = l**2 - 4*l + 6. Let r be y(6). Suppose 4*i - r = 2*k, -2*i - k + 0*k = -11. Suppose i*f = 2 + 48. Solve 6*n + 2*m = n - 10, -2*m = -2*n + f for n.
0
Let c be 1 - (-5)/3 - 6/9. Solve -5*k = -15, -c*i - 5*k + 25 = 3*i for i.
2
Let q = 13 + -13. Let w be q + 2 + 6 + 7. Let i = -11 + w. Solve 2*b + 2 = -5*p - 7, 2*p + 10 = -i*b for p.
-1
Let p be ((-8)/(-10))/(6/15). Suppose 6*l - 12 = p*l. Suppose 0 = l*m - m. Solve -4*d + 5*q - 21 = m, 8*d + 10 = 3*d + 3*q for d.
1
Suppose -2*p - 1 = 2*j + p, -5*p = 5. Suppose j = a - 3. Suppose -19*s + 12 = -15*s. Solve -b = 2*b + a*o - s, 5*b - 5 = 5*o for b.
1
Suppose v = l + 8, -7 = -v + 5*l + 17. Suppose -v*m + 4 + 8 = 0. Let d = 143 + -138. Solve -4*c + 4 - 2 = -s, -11 = -d*c - m*s for c.
1
Suppose 0 = -81*f + 85*f - 100. Solve 5*y - l = -4*l - f, -y + 3*l = 5 for y.
-5
Let f be 2/4*(-2)/(-1). Let b be (5 - f) + (14 - -7). Let l = -22 + b. Solve -3*q + 21 = 2*g - 0*q, 0 = l*g + q - 14 for g.
3
Let n(y) = -y**2 + 6*y - 3. Let w be (-2 + (-4)/(-6))*-3. Let q be n(w). Let c = -710 + 712. Solve c - 3 = q*v + 3*f, v - 11 = 5*f for v.
1
Suppose -4 = -52*l + 51*l. Solve -l*r + d = 4, 4*r + 4 = -0*r + 5*d for r.
-1
Let x = -17 - -17. Let f be (-1)/(x + 1/(-9)). Let m be 9/2 - (-4)/8. Solve -5*s + 3 = -3*i + f, 2*i = m*s + 9 for i.
-3
Suppose -2*r - 4*h + 14 = 0, 0 = 11*r - 13*r + 3*h + 35. Solve 2*g - 11 = -2*c - c, 0 = -3*c + 4*g - r for c.
1
Suppose 0 = -j - 5*m - 22, j - 5*m - 22 = 6. Solve -2*n + 1 = j*p - 1, 3*p = n + 8 for p.
2
Suppose 3*k - 77 = 25. Let n = k - 28. Suppose 0 = -x - 4 + n. Solve -3*l - 4*q = x*l - 9, 4*q = 4*l for l.
1
Let x(l) be the third derivative of l**4/4 + 27*l**3/2 + 28*l**2. Let v be x(-13). Solve h = -4*z, 2*h - v*h = 0 for z.
0
Let k be 5 - (0 - -1 - 1). Suppose -6*c = -4*c - 2. Let j be ((0/(-5))/3)/c. Solve 0 = -3*d + 15, -k*o - d + j*d - 10 = 0 for o.
-3
Let v(k) = k**2 + 2*k + 2. Let h be v(-6). Suppose -s = 16 - h. Solve 4*m - 3*r + r + 4 = 0, 5*r = -s for m.
-2
Suppose 0 = -3*v + 11 + 1. Let k = 13 - v. Let w(m) = 2*m - 2. Let c be w(2). Solve -5*t + c*u = -2*t - k, t = 4*u - 7 for t.
5
Suppose 4*w - 584 = 2*w. Suppose 5*n = 9*n - w. Suppose 0 = -5*h + n + 7. Solve 0 = -4*i + 2*r + 14, -2*r + h = 4*i - 2*i for i.
5
Suppose -72 = 7*j - 11*j. Suppose -5*g = -3*u - j, -5*g - 2*u + 10 = -g. Solve q = y - 1, -2*y - 1 = g for q.
-3
Suppose -5*f = -4*l + 6, 2*l + 2*f - 10 = f. Solve 10 = -2*v - l*k, -3*v - k - k + 5 = 0 for v.
5
Suppose 4*d - 11 = 5. Suppose -37 - 15 = -d*f. Solve h + 4*c = -2*h + f, -14 = 2*h - 3*c for h.
-1
Suppose 3*v - 3 - 12 = 0. Let a(j) = j**2 + 13*j - 15. Let y be a(-16). Solve 8 = 5*f + y, v*h + 3*f = 0 for h.
3
Let c(k) = k**2 - 9*k - 6. Suppose -i = -4*a + 45, 5*a - i + 4*i = 35. Let j be c(a). Suppose -j*l + 8 = -0. Solve 3*m - 6 = 0, m = 2*y - y - l for y.
4
Let a(i) = -12*i - 117. Let l be a(-10). Solve l*f - q - 2 = -10, -6 = 3*f - 3*q for f.
-3
Let g be 6 - 1 - (-1 - -3). Suppose 24 = r + 21. Suppose 4*p - 4*c = -p - 7, r = c. Solve -4*m + 5*f - 11 = -m, 2*f = g*m - p for m.
3
Let y(g) = g**2 + 3*g - 10. Let h be y(-7). Let c(u) = u**2 - 76*u + 223. Let z be c(3). Solve 0 = 2*x - 0*x - z*r + h, 0 = 5*x - r for x.
1
Let l = 937 + -908. Solve 4*s - 6 = r + 15, 5*s = 4*r + l for s.
5
Suppose -3*f = f - 2*l - 242, -4*f + l = -241. Suppose -7*w + 10 = -f. Solve -3*t + k = -w, -2*k + 18 = 2*t + 3*k for t.
4
Suppose -2*s + 9*s = 322. Let f = 62 - s. Solve 4*k = -4*x + f, -4*x = -2*x - 6 for k.
1
Let d be ((-121)/(-121))/(1/11). Solve 11*x = 8*x - p - d, 2*p = 2*x + 18 for x.
-5
Let a = 38 - 33. Solve -g = -0*g + 4*y + 4, 0 = a*g - 4*y + 20 for g.
-4
Suppose 37*q - 73 = 112. Let z(y) = y + 3. Let w be z(-3). Solve q*n + 1 = -2*f, w = 3*n - 2*n + 5*f + 14 for n.
1
Suppose -31*d + 115 = 84. Solve -12 = 3*p + 3*q, 3*p - d = 5*q + 27 for p.
1
Suppose -2*z = -3*i - 10, -6*i + 5*i = 5*z - 25. Solve -4*v = -4*y - 7*v + 19, z*y - 15 = 5*v for y.
4
Let l = 46 - 88. Let x = l - -46. Solve 0 = -x*h + 3*p - 9, -3*h = p + p + 11 for h.
-3
Let k = 185 + -176. Solve 3*y + 15 = 3*c, 2*y = 5*c - 1 - k for y.
-5
Let c(l) = l**2 - 9*l - 4. Let t(g) = g**3 + 2*g**2 - 3*g. Let m be t(-3). Let u = 10 + m. Let y be c(u). Solve 3*o - y = -n, -2*n - 7 = -1 for o.
3
Suppose -j + 5*c + 8 = 0, 0 = j + 5*c + 2. Let n(p) = -p**3 - 7*p**2 - 6*p + 2. Let o be n(-6). Solve -o*i - x = 4*x + 31, 0 = -4*i - j*x - 27 for i.
-3
Let q = -8 + 14. Suppose -5*y = -4*d + 28, 0 = -5*d - 0*y - y + q. Solve -n = 3*u - 8, d*u + 16 + 7 = 5*n for n.
5
Let h = -25 - -27. Solve -h - 1 = 4*d - 5*j, 0 = 2*d - 4*j + 6 for d.
3
Let j = 20 + -17. Suppose -2*q + 5*y + 13 = 0, j*y = -q - 0*y + 12. Suppose -n - 4*n + 25 = 0. Solve -3*o + q = 2*z + 1, -5*o + 5 = -n*z for o.
2
Let s = -3 + 6. Let f be -245*((-15)/3 - -4). Let w = -242 + f. Solve r = -3*r + s*y, w*r = -3*y for r.
0
Suppose -3*b + 4*c - 4 = 0, 25*b = 26*b + 4*c - 4. Solve o = 2*s - b*s + 3, -s + 2*o = 3 for s.
-1
Suppose -5*m = 3*a - 4 - 31, 2*a + 5*m = 30. Solve 6*r + 2 = 4*r, 5*g - 5*r - a = 0 for g.
0
Let p = 94 - 91. Solve 2*x + 2*a + 6 = 0, -p*x + 4*a - 9 = 7 for x.
-4
Let u = -26 + 29. Let c be (7 - u) + 2/(-1) + 2. Solve 0*h - c*o - 14 = -h, -4*h = -3*o - 17 for h.
2
Let f(g) = -g**3 + 9*g**2 + 16*g - 25. Let q be f(10). Suppose -4 = c, -5*k + 2*k + 5*c = -q. Solve 0 = -b - 3*b + 5*p - 12, -k*b = 2*p + 15 for b.
-3
Let t = 85 - 61. Let w be 5/(15/t) - 3. Suppose 3 = y + 5*b, b = -y - 0*b + 19. Solve w*c - p + 2*p + 20 = 0, c + 4*p = -y for c.
-3
Let m be ((-2)/4)/((-10)/760*2). Solve 5*l = c, -3*l + 3*c - m = -7*l for l.
1
Let q(p) = -p**2 + 3*p + 44. Let f be q(8). Solve -3*u - 3*s = -15, -2*u - f*s + 6 = -8 for u.
3
Suppose 7*q = 14*q + 126. Let n = q - -19. Solve 0*o + g = -2*o - 1, 2*g = -o + n for o.
-1
Suppose 5*p - 35 = i, -2*p + 8 = -4*i - 6. Let w = p + -3. Solve w*z + 18