ve -n*g - 6 = m + 5, -m = -g - 9 for m.
5
Let m(y) = -5*y**2 + 2*y + 1 - 2 - y**3 + 0 - 7*y. Let v be m(-4). Let z be 1/(2 - 52/28). Solve -3*q - 6 = -v*i, 0 = -4*i - 3*q + z - 27 for i.
-2
Let k(g) = -g**2 + 8*g - 3. Let a be k(4). Let x = 442 + -440. Solve 1 = -x*t - 3*c, 0 = 4*t + c - a for t.
4
Let m be (132/(-121))/(9/(-66)). Solve w - m = 4*k, 4*w - k = 4*k + 10 for w.
0
Suppose s - 41 = -5*r - s, 2*s + 29 = 5*r. Suppose -9*m + 32 = -7*m. Suppose 0 = g + 5*o - 10 - 14, m = g + 3*o. Solve r - 2 = g*p + 3*u, 3*p = -u for p.
-1
Let r(f) = -f**3 - 5*f**2 + 6*f + 2. Let c be r(-6). Solve -2 = -u + 1, -3*j - c*u = 0 for j.
-2
Suppose 0*l - p + 27 = 5*l, 0 = 4*l - 3*p - 14. Suppose -4*n + 68 = -3*x, -n = l*x + 28 + 70. Let i be x/30*(-9)/2. Solve 2*f - 13 = -i*a, 2*a - 2 = -0*a for f.
5
Let g be -4 + 1 + (-42)/24*-8. Solve 4*x = v - g, 0*v + 5 = -v - 4*x for v.
3
Let s be (-2 - -9)*(-24)/(-84). Solve 7*x + 24 = 3*x + s*f, 2*x + 20 = 3*f for x.
-4
Suppose 5*m = -9 - 1. Let v be m/(-1) + (-38)/(-2). Suppose u - 2*y - 9 = 0, -6*y = -3*u - 3*y + 18. Solve -u*g = -5*x + v, 2*g - 4*x = -2*x - 10 for g.
-2
Suppose -2*r = -l - 15, 10*r - 13*r - 2*l + 5 = 0. Solve -r*d - u + 14 = 0, 5*u - 1 - 15 = 2*d for d.
2
Suppose 2*p + 3*p - 60 = 0. Suppose 5*d + 4 = q, -2*d - 3*q - p = -6*q. Suppose -7*t + 7 = -d. Solve -z = 3*g - t - 9, -5*z = -4*g + 45 for z.
-5
Suppose 2*p + 2*n + 5 = 3*n, 25 = -5*p + 5*n. Suppose 2*i = 4*d - 12, -5*i = -p*d + 5*d - 30. Solve 4 = q + k, -q - i*q - 5*k = -20 for q.
0
Let f(b) = 652*b - 329*b - 1 - 321*b. Let y be f(1). Solve -3*d = -3*j - 6, -j - y = -2*d + 3 for d.
2
Suppose -24*m + 23 = -1. Solve -5*k - 4 = n, -4*n - 3*k - m = 2*k for n.
1
Suppose 356*c = 362*c - 12. Solve -5*g + 4 = -u + c*u, -5*g = -5 for u.
-1
Suppose -13*w + 4*w = -18. Suppose -z + k - 5*k = 13, -5*z + 25 = w*k. Solve j + 3 = 4*p, -5*p = -3*j - 2 - z for j.
-3
Let h be 4/26 - 386/(-26). Let q = h - 5. Suppose -25*s + 56 = -11*s. Solve -5*i = 3*v + q, s*i + 5 = -2*v + i for v.
5
Let v(z) = -6*z**3 - 2*z**2 - 3*z - 2. Let a be v(-1). Suppose 5*r = -3 + 28. Solve y + m = -y, 0 = a*y + r*m - 10 for y.
-2
Suppose 3*y - h - 55 = 0, 5*h - 1 = y + 4. Solve -3*s = -2*r - 1, 4*r + y = -0*r for s.
-3
Let f(u) = u**2 + 7*u + 8. Let y be f(-10). Let t = y + -36. Solve 0 = -4*q + 5*q + 3, -t*d = -5*q - 21 for d.
3
Let p be 1/(((-4)/(-14))/2). Suppose 2*n - p*n = 0. Solve n = 2*y + y - 3, t = -3*y + 8 for t.
5
Suppose q + q + 9 = 3*f, -4*q + 9 = 3*f. Suppose 3*x + f*t = -0*x + 27, 5*x - 13 = 3*t. Solve 0 = 5*h - 3*j - 2*j + 25, h - x*j = -5 for h.
-5
Suppose -17*j + 45 + 6 = 0. Solve -a - 2*s = j, 6*s = 8*s + 4 for a.
1
Let r be 5*(-2)/(50/(-15)). Solve 4*s - 5 - r = 0, 5*s - 10 = 5*p for p.
0
Let t(r) = -2*r + 5. Let d be t(0). Let y be d/((2/6)/(4/12)). Suppose -2*c + 6 = c - 2*n, c + 5*n - 2 = 0. Solve -10 = -l + y*q, 4*l - c*q = l + 17 for l.
5
Let l = 1467 + -1465. Solve 2*s = 5*n + 13, 3*n = l*s + 2*s - 5 for s.
-1
Let p be (-1 - -4)/((-2)/(-4)). Suppose p*m - 20 = 2*m. Suppose -34*h - 430 = -120*h. Solve h*b - 9 = -3*k, k - 6*k - 25 = -m*b for k.
-2
Let w(o) = 2*o + 14. Let j be w(-6). Suppose 4*b - 4*c = 28, 0*c + 28 = 5*b + j*c. Solve 2*y - m + 6 = -4, -b = 2*y + m for y.
-4
Suppose 0 = 38*s - 8*s - 120. Solve -16 = -s*u, u + 0 = 2*c + 6 for c.
-1
Let b = -156 + 156. Solve 4*t - 2*w + 12 = b, 3*w = 4*t - 5*t - 17 for t.
-5
Suppose 3*r = 5*x + 210, 4 = -3*x - 5*r - 88. Let u = x + 41. Solve -4*o = -h - 3, 6*h - u*h = -12 for o.
0
Suppose -111 = -31*h + 106. Let f = 7 - 2. Suppose -f*q = -6 - 9. Solve q*m - 4*v = -12, h*m = 3*m + v - 3 for m.
0
Let z = 31 + -29. Suppose -67 + 51 = -z*m. Solve -k = -6*k + o + 4, -5*k + m = -2*o for k.
0
Let n = -1 - -1. Suppose 6*j - 2*j - 24 = n. Let g = j + -1. Solve x = -2*o - 10, 1 = g*x - 3*o - 1 for x.
-2
Suppose r - 338 = -3*z, 3*z - 244 = z + 4*r. Suppose -5*u - 24 + z = 0. Let j be 8*((-27)/(-6))/(66/11). Solve y - u = -3*v, -6*y = -4*y - j for v.
5
Let z(u) = -u**3 - 6*u**2 - u - 3. Let q be z(-6). Solve 2*r = -q*d + 2 + 5, 5*d = 2*r - 15 for r.
5
Suppose 3*t = 8*t. Suppose 14*n - 16*n - 26 = 0. Let a be (n/(-39))/((-2)/(-18)). Solve 0*f - 7 = 4*f - z, 5*f - a*z = t for f.
-3
Let h be (70/20)/(2/4). Suppose h*k - 72 = k. Solve 4*g - 2*z - 2*z = -k, 0 = 2*z - 2 for g.
-2
Let p be 1/(-4)*1 - (-18)/8. Suppose -2*m = -p - 12. Solve 2*a + n = -m, 2*a = -2*n - 2*n - 4 for a.
-4
Suppose 3*y + l = 46, 3*y = 10*l - 9*l + 50. Solve 4*u + r = -3*r - y, 3*u = 5*r + 28 for u.
1
Let d be (-18)/117 + ((-134)/(-26))/1. Let f be (d/(-6))/(25/(-6) - -4). Solve 4*x - b = -4*b + f, -4 = -4*x - 4*b for x.
2
Suppose -3*m + 32 = -m. Let u be -4 + 12*8/12. Suppose -u*o + 6 = 2*j - 4, -5*o = -4*j + 20. Solve -2*z = -3*w + 7, -w - 4*z - m = -j*w for w.
-1
Suppose 24 = 22*y - 42. Solve 8 = -f + 4*x, -34 = -y*f - 4*x - 10 for f.
4
Let h be 1 + 2 + -7 - -2. Let a = 4 + h. Let y = -1316 + 1320. Solve -8 = a*n, 3 - y = 3*k + 4*n for k.
5
Let a(g) = -2*g**2 - g - 1. Let p be a(-1). Let i = 7 + p. Suppose 77 = 6*d - 13. Solve 0*u = 4*l + 4*u + 40, i*u + d = 2*l for l.
-5
Suppose l = 4*l - 6. Suppose 2*o - 19 = -5*t, -t - t - l*o + 10 = 0. Solve -5*c - 2*w = 10, t*w = 4*c + w + 8 for c.
-2
Let s(x) = x**3 + 11*x**2 + 21*x - 40. Let b be s(-5). Solve -b*n - 17 = -3*k, -3*n - 2*k + 17 = 3*k for n.
-1
Let i = 28 - 26. Suppose -3*c = -i*c + f - 11, 0 = -5*c - f + 39. Solve 2 = 3*n + s - c, 5*s = -5*n + 25 for n.
2
Suppose 5*w - 253 = -233. Solve -2 = 4*o + 2*i, o + 5*i + 0 - w = 0 for o.
-1
Let k = 35 - 31. Suppose k*m + 35 = 7*m - c, 4*c = 2*m - 40. Let j = m + -8. Solve 2*g = 5*t - j*t, -5 = g - 4*t for g.
3
Let y = 37 - 32. Suppose -20 = -y*j, -2*b - j - 4*j = -30. Suppose 0 = -4*o + 3*x - 0*x + 5, -b*o + 4*x = -6. Solve 2 - 3 = -o*f + w, w + 13 = -4*f for f.
-2
Let o be (-58)/(-5) + 8/20. Let h be ((-3)/o*2)/(1/(-6)). Solve -4*m + 20 = t, -3*m + 0*t + h*t = 0 for m.
4
Let m = -151 - -156. Solve -5*t = -3*a - m + 2, -4*a = -16 for t.
3
Suppose 3*l - 7*l + 12 = 0. Suppose -5 = i, -2*m - l*i + 4*i + 9 = 0. Let w = -1 - -1. Solve w = -m*g - 6, 4*v = -0*v - 4*g - 4 for v.
2
Let l be 2*3/12*-10. Let u = 22 + l. Solve 5*w - 3*q - u = 0, 2 = 6*w - 5*w - 2*q for w.
4
Suppose 4*s - 3*s - 7 = 0. Suppose 14 = -4*g - x, -5*g - x = -5*x + s. Let b be (-2)/(g - 28/(-12)). Solve -b*d + 15 = 0, -25 = 4*a - 4*d + 15 for a.
-5
Let w(q) = -q**2 - 14*q + 36. Let x be w(-16). Suppose 0 = -x*a + 13 + 39. Solve v = 3*z + a, -15 = z + 2*z for v.
-2
Suppose -560*o = -569*o. Solve 4*s - y = 0, 6*s - s - y = o for s.
0
Let k(y) be the first derivative of -y**4/4 + 2*y**3 + y**2 - 12*y + 7. Let a = 6 + 0. Let v be k(a). Solve 5*u + v*g = -g - 20, 4*g + 12 = -3*u for u.
-4
Suppose -12*p = -13*p + 4. Suppose 4*m + 4*b = 24, 3*b + 6 = m + p*m. Solve -v - 2 = 0, -2*a + 0 = -m*v - 6 for a.
0
Let g = -13 + 18. Suppose 5*s = 3*w - 58, -5*s - 2*w - 32 = 21. Let i = -8 - s. Solve i*u = -5*q + 2*q - 21, -2*u = g*q + 29 for u.
-2
Let b(c) = 4*c - 65. Let q(y) = -4*y + 64. Let g(k) = -3*b(k) - 4*q(k). Let s be g(20). Solve 0 = 4*r - r + 5*v + s, -3*v = r + 13 for r.
2
Let c(m) = -3*m + 28. Suppose 3*q - 9 = 0, -5*q + 59 = 4*u + 12. Let r be c(u). Solve 2*g + 3 = 2*j - 3*g, -r*g + 4 = 0 for j.
4
Let u be ((-10)/(-4))/((-6)/(-12)). Let y = -15 - -28. Let m be 50/(-15)*(-9)/6. Solve m*r - w = -u*w - 30, r - y = 3*w for r.
-2
Let t = -277 + 280. Solve 3*j - j = s + 9, -t*s - j = 13 for s.
-5
Let o(i) = 4*i**2 - 13*i. Let b(n) = n**2 + n - 1. Let l(q) = 3*b(q) - o(q). Let t be l(15). Let f = -9 + t. Solve -2*c = -10, -4*k + 2*k - f = -c for k.
1
Let c(o) = o**2 + o + 3. Let u be c(-3). Let y = -6 + u. Suppose 24 = -459*r + 465*r. Solve 0 = y*l + 2*d + 17, -14 = -r*l + 2*l + 5*d for l.
-3
Let z(i) = -2*i + 14. Let n be z(6). Suppose -n*t + 3*t - 5*o - 29 = 0, 2*t = 5*o + 33. Solve 5*u - t*f = 27, -f + 3 = -2*f for u.
3
Let i = -129 - -192. Suppose -g = -8*g + i. Solve 2*p - g = -3*m, 4*p = 3*m + m - 12 for p.
0
Let b = 13 + -12. Suppose -b = -k + 15. Let u be (-8)/14 + k/28. Solve -4*p + 3*s + 1 - 18 = u, 4*p - 4 = -4*s for p.
-2
Let a = -142 + 144. Solve -3 - 1 = a*l + 3*k, 2*l - 2*k + 4 = 0 for l.
-2
Suppose -2*h = -h. Suppose -5*c - 3*v + 29 = -h*c, -30 = -4*c + v. Let s be 8*(4 - (-2 - -5)). 