- 2 = 0 for m.
2
Let f(q) = -q**3 - 14*q**2 + 31*q - 1. Let y be f(-16). Solve n = 2*c + 9, -4*c - y = -c for n.
-1
Let r(l) = 2*l**3 - 6*l - 15. Let h be r(-2). Suppose 0 = -5*p + m + 120, -2*m - 5 = -3*m. Let u = h + p. Solve -4*f - u = 5*g, 1 = -f + 2*f for g.
-2
Let x(c) = -7*c + 46. Let f be x(6). Solve -3*t + 4*t - f*y = -19, -t + 2*y - 11 = 0 for t.
-3
Let r(d) = d**2 + 14*d + 5. Let q be r(-12). Let f = q + 32. Let s = f + 9. Solve 0 = -5*a + 5*g - 35, 4*a + g = 3*g - s for a.
-4
Suppose -2*p = q + 4*q - 124, q = -p + 65. Let u = 73 - p. Solve -j - u = -5*x + 11, 2*x = 3*j - 1 for x.
4
Let t(b) = b**3 - 22*b**2 - 19*b - 21. Let o be t(23). Let s = -71 + o. Solve s = -2*w + 5*c - 7, 4*c + 0 - 4 = 0 for w.
-1
Let w be ((-24)/(-16))/(6/(-16)). Let x(v) = v**2 + v - 2. Let t be x(w). Solve -4*y - t = -n, 0 = -y - 3 + 1 for n.
2
Let g be (3/(-9))/(24/(-360)). Solve -7*a - 1 = -4*a + h, 5*a + g*h = 15 for a.
-2
Suppose 4 = h, 5*h - 36 = -u - 13. Let r = -24 - -27. Suppose 4*q - n = r*n + 16, 3*n + 6 = 0. Solve 4 = -s + q*c, -u*s + c + 5 = -6*s for s.
-2
Suppose -11*n = 7*n - 90. Solve -i + 20 = -4*q, -4*i + 12 = n*q - 4*q for i.
4
Let n(q) = -q**3 - 4*q**2 + 2. Let y be n(-4). Suppose y*s = 3*s + 2. Let l be 15/(-20)*2*s. Solve b + 2 = -5*i - 4, -l*i + 3*b - 18 = 0 for i.
-2
Let v(u) = 2*u - 5. Let j be v(5). Let i(p) = -32*p + 64. Let c be i(2). Solve 0 = 2*t + 4*y + 9 - 3, c = -2*t + j*y + 12 for t.
1
Let f = -113 + 108. Let b(v) = 9*v + 49. Let j be b(f). Solve 0 = u + r - 1, -j*u + 0 = -5*r + 41 for u.
-4
Let p(i) = -7*i - 168. Let v be p(-24). Solve m + 3*x + v = -7, -22 = -2*m + 3*x for m.
5
Suppose -97*f + 94*f + h + 23 = 0, 2*f = 4*h + 12. Solve -4*z = -3*y - 2 + 9, -4*z = -4*y + f for z.
-1
Let i = 20 - 13. Let x(d) = -d**3 + 5*d**2 - d + 7. Let w be x(5). Suppose 0 = -w*k - k + 9. Solve 0 = 5*u - 5*y + 30, 3*u - k = -4*y + i for u.
-2
Suppose 0 = 3*q - 6*q + 12. Let m = 129 - 149. Let i = m - -22. Solve 4*s - q*x + 30 = i*s, 35 = -5*s + 2*x for s.
-5
Let s(h) = -67*h**3 - h - 2. Let u be s(-1). Let n = 69 - u. Solve -k + n*q + 2 = 3, -3*q = 3*k + 15 for k.
-4
Let q be (3/(-9))/((-7)/42). Suppose -27 = q*g - 31. Solve 5*a - p + 31 = -3*p, p + 13 = -g*a for a.
-5
Let m = 387 + -365. Solve -2*p + 5*x + m = -4, x = -3*p + 5 for p.
3
Let t(c) = -2*c**3 - 6*c**2 - c - 1. Let v be t(-3). Solve 3*f + 0*f = -4*i - 18, 0 = -4*i + v*f - 8 for i.
-3
Let g be 2/(-1) + (-21 - -46). Suppose -g*u = -25*u. Solve u = -4*l - 4*b + 4, -3*b - 19 = -4*l - 8 for l.
2
Suppose 12*c = 211 - 187. Solve -4*y - 3 = -d, c = 2*d - 5*y - 4 for d.
3
Let z be 4/22 + 1809/33. Suppose 2*t = z + 51. Suppose -3*r - r + 52 = -4*v, -t = -3*r - 4*v. Solve 4*l = -3*b + 12 + 2, 5*b + r = l for b.
-2
Suppose -5*y + 4*d - 2 = -1, -4*y = 5*d + 9. Let r be 6/(-18) + y/(-3). Let j(k) = -k + 13. Let l be j(r). Solve -4*t + 15 + l = -4*p, 2*p = -4*t + 16 for p.
-2
Suppose -f + 2*t + 0 = -32, 0 = 3*f + 5*t - 140. Solve 0 = 4*q - 5*y + 2 + 43, 5*y - f = 3*q for q.
-5
Let h be 2 - -1 - (-63)/(-21). Solve 5*n + 3*s - 5 = h, -5*n + 4 = 2*s - 1 for n.
1
Let u = 886 - 875. Solve -r - u = -3*w, w + 3*r = -0*w - 13 for w.
2
Let n be (-5)/((-5)/4) + 111/(-3). Let p = n + 39. Solve -q + p*b - 2 = b, b - 8 = 4*q for q.
-2
Suppose 31*t + 24 = 39*t. Solve 4*v - s + 11 = 0, t*s + 11 = 2*v + 8*s for v.
-2
Suppose -30*l + 259 = -401. Solve -3*h - l = -4*q, 4*h = 2*q - 9 - 7 for h.
-2
Let t(r) = -r**3 - 2*r**2 - r - 1. Let l be t(-2). Suppose 784*w - 787*w + 45 = 0. Solve -3*g - w = 4*x, -g + l = -x + g for x.
-3
Suppose -v - 2*v + 2*i + 13 = 0, 19 = 5*v - 2*i. Suppose -r = v*r - 20. Solve p = -2*a - 2*a - 1, -r*a - 2*p - 5 = 0 for a.
1
Let u(t) = 2*t - 8. Suppose -d + 4 = d. Suppose 5*k = 10, 2*s - 38 = -s + d*k. Let m be u(s). Solve 5*c - 7 = 4*o, -5*o - 7*c - m = -2*c for o.
-3
Suppose -i - 2 + 4 = 0. Let w(y) = y**2 - 2*y + 5. Let b be w(i). Solve 5 + 6 = 5*a - 3*f, -a + b*f = 11 for a.
4
Let j = 2 - 0. Let p = -16 - -42. Suppose -5*a - 5 = 0, 3*s - 2*s + 3*a = -1. Solve 5*c + 21 = -2*z, -p = -j*z + 4*c - s for z.
2
Let i = 18 + -12. Suppose -l - 2*b = 6, l - 2*b = -l + i. Suppose l = u - 2 - 2. Solve 5*s - d - u = 0, 4*d = -s + d + 4 for s.
1
Let f(p) = -p**2 - 41*p + 310. Let g be f(-47). Solve g = 8*t - 3*t - 4*l, 14 = 5*t + 3*l for t.
4
Let z = -78 - -112. Let h = -32 + z. Solve 14 = 5*m + h*a, m - 2 = 3*a - 6 for m.
2
Let b be (144/(-96))/((-6)/8). Solve k = 3*p - b, 2*k - 3*p = -p for k.
1
Let b be (-5)/(-20) + (-185)/4. Let m = b + 47. Solve -h = -2*n - m, 0 = -2*n + 3*h + 5 + 4 for n.
-3
Let a(c) = -2*c - 25. Let o be (-3*1)/((-1)/(-5)). Let s be a(o). Solve -2*y - 1 = d, -s*d + 3*d - 4 = 2*y for y.
1
Let m be 16/3 - 63/189. Solve -3*b + 7 + 30 = -m*z, -5*b + 5*z + 45 = 0 for b.
4
Let g = -2535 + 2556. Solve 3*l - g + 13 = 5*x, -5*x - 10 = -5*l for l.
1
Suppose 3*n - 14 = 2*n. Let d(z) = -5*z - 26. Let c be d(-3). Let u = c + n. Solve -5*o - 1 = -2*v, -2*v = -u*o - 1 - 2 for o.
1
Let d(u) = 3*u**2 - 6*u - 20. Let p be d(4). Solve -3*l + f - 20 = 0, -f = -3*l + p*l for l.
-5
Let f be (-2 + 7)*2/(-5)*-2. Solve 5*p + 3 = 2*k, -11*k - f*p - 8 = -14*k for k.
4
Suppose -p + 5*p + 2*n = -6, -4*p + 9 = -n. Suppose 2*z + 21 = 5*z. Suppose p + z = d. Solve -10 = -5*s - 5*u, d = 3*s - 0*u + 5*u for s.
1
Suppose -m - 9 = -4*m. Suppose -h = -y + 6, 0 = m*y + 4*h + 2 - 6. Suppose 3*d = 5*d - y. Solve -5*b - 16 = -4*q, 4*b + 3*q = -d*q - 21 for b.
-4
Let q(c) = -c**3 + 6*c**2 - c + 6. Let o be q(6). Let j = -582 + 587. Solve o*u + n + 9 = -4*u, 3*u + j*n = 6 for u.
-3
Suppose 12*v = 170 + 82. Solve -2*t + 8 = -3*t + 4*n, 0 = -4*t + 5*n - v for t.
-4
Let t be -6 + -4 + 7 + 5. Solve -13 - 17 = -5*l + t*a, -2*l - 17 = 5*a for l.
4
Let k(d) = d**2 + 24*d + 139. Let v be k(-9). Solve 5*z = v*f + 16, -4*f - f = -4*z + 11 for z.
4
Let a = 144 + -132. Let d = -3 + 5. Solve -r = -d*h + 3, 2*h - h + a = 5*r for r.
3
Let a = 7 + -21. Suppose 0 = 8*j - 11*j + 57. Let d = a + j. Solve o + 9 = -2*n, d*n + 11 = o + 2*n for o.
-1
Let v be (-48)/21 + (-14)/(-49). Let q(i) = -3*i - 4. Let m be q(v). Solve -p + m*p + 1 = -2*j, 0 = j - 5*p + 17 for j.
-2
Let j(z) = -z**3 - 3*z**2 - 3*z - 2. Let k be j(-2). Suppose k = -3*y + 6 + 9. Solve 2*a + y*x = 11, -a - 11 = -0*a - 3*x for a.
-2
Suppose -12 = 12*m - 24*m. Solve 5*a + 2*d - 11 = 0, -a - m = d - 2 for a.
3
Let v = 168 + -165. Let d be 2 - (-5 - 4/(-2)). Solve n - 3*m = -11, 6*m - v*m = d*n + 19 for n.
-2
Suppose -4*y = -3*i + 14 - 41, i = -5. Suppose -3*q - 17 = r + 2*q, -y*q - 12 = 0. Let g = 8 - 3. Solve -p - r*v = v - 5, -g*p - v = -6 for p.
1
Suppose 3*b + 12 = -0*b. Let v(p) = -6*p + 11. Let u be v(b). Suppose 0 = -5*g - 5*h + u, -5*h - 10 - 5 = -5*g. Solve -4*m - 9 = s, -g*m - 2*s = -0*s + 9 for m.
-3
Let v(m) be the first derivative of -m**4/4 - 4*m**3 - m**2/2 - 4*m - 8. Let s be v(-12). Solve 3*o - 4*n + 11 = 0, 2*o = o - 3*n - s for o.
-5
Let q(l) = -40*l + 245. Let a be q(6). Solve a*t + 5 + 1 = 2*o, -4*o - 6 = -t for t.
-2
Let x(g) = g**3 - 9*g**2 - 12*g + 113. Let t be x(9). Solve 3*k = t*q - 11, -4*k + q - 6 = 3 for k.
-2
Let y = -8 - -8. Suppose -v + 2*v = y. Suppose -z = -v - 2. Solve -z*l + 0*s = s + 4, s - 17 = 5*l for l.
-3
Let l(x) = -2*x**2 - 13*x - 14. Let r be l(-3). Solve r = 4*w - m - 8, 2*w - 2*m = 0 for w.
5
Suppose -74*f + 91 = -67*f. Suppose -4*v + 2*v = -10. Suppose -3*i = 2*g - 2, -2*i + g - 4 = 5*g. Solve i*y = -3*c + f, -4*c - c + v = -5*y for c.
3
Suppose -f + 7 = -11. Suppose -l + a - 2 = -0*a, 4*a - f = -l. Let b = l - -8. Solve -b = 5*q - 4*o + 19, -2*q + 3*o = 13 for q.
-5
Let r = -3 - -5. Suppose 3*x - 20 = 2*q - q, 4*q + 30 = r*x. Solve -8 = 2*d - 3*k, x = -2*d + 5*k - 7 for d.
-1
Suppose 0*x - 5*x = -20. Suppose 0 = -w - x*w + 15. Let q = -54683 - -54685. Solve -5*d - q*b - 9 = b, -3 = -w*d + b for d.
0
Suppose -58*c + 134 = 18. Solve 3*i + 1 = p, -c*i = 5*p - 0*p - 5 for i.
0
Let w be 1085/(-62)*12/(-21). Solve w = l + 5*n - 6*n, 3*l - 35 = 4*n for l.
5
Let n = 72 - 73. Let p be 2/(3*(-4)/(-12) - n). Solve -3*i - 3*o + 7*o + 7 = 0, -3*i - 2*o = -p for i.
1
Let o(m) = -m. Let v(h) = -5*h - 23. Let q(b) = 2*o(b) - v(b). Let s be q(-7). Solve -s*c + l = 2, 5*l = -3*c + 14 - 4 for c.
0
Let u = 222 + -219. Solve -23 = 5*h - 2*