m = -6, v = -5*p - 2*m + 6*m for p.
-4
Suppose -47*o + 11*o = -576. Suppose 10*j - o = 44. Solve -5*d = 2*q - 4*q - 9, 3*d + j = 5*q for d.
3
Suppose 0 = -24*r + 8*r. Let q = 11 + -8. Suppose -3*o + 82 = -l, r = -q*o + o - l + 58. Solve o = -4*n - 5*s + 3*s, n = 5*s + 15 for n.
-5
Let m(t) = 17*t**3 - t**2 - 5*t + 11. Let r be m(3). Let f = 446 - r. Solve -3*s - g - 10 = -f*s, 5*s = 2*g - 13 for s.
-3
Let w(d) = -d**3 - 2*d**2 - 2*d + 4. Suppose 3*s - 2*l - 2 = 0, -2*l = -3*s + 2*l + 4. Let y be w(s). Solve -2*j + c = 11, y*j - c + 19 = 2 for j.
-3
Suppose 27*o = 23*o. Solve o = -2*p - k - 2, -4*p + 2*k - 10 = 7*k for p.
0
Suppose 7 = 4*r - 4*z - 41, 30 = 2*r - 4*z. Let m be (-6)/r*12/8 - 3. Let l be (-2 - (-110)/9) + m/18. Solve 2*y - l = 3*t, t = y + 2*y - 15 for t.
0
Let o(v) = 18*v + 5. Let b be o(0). Solve -b*y = m + 8, 3*m + 6 = -2*y + 5*y for y.
-1
Let c be (-2)/1 + 8 + 21. Let z be (-4)/(-6) - (-9)/c. Solve q = -2*x + z + 1, 0 = 4*q - 16 for x.
-1
Suppose -4*l - 63 = 4*u + u, 5*u = -5*l - 75. Suppose -184 = -11*k + 3*k. Let v = l + k. Solve -17 = 3*s + 4*r, -3*s - r + 0*r = v for s.
-3
Let n(i) = 6*i - 10*i - 20 - 27. Let z be n(-11). Let t be 0 - (48/(-4) + z). Solve s + 5*h = -2*s + 7, 5*s = -5*h + t for s.
4
Let u(j) = -j**3 - 6*j**2 + 10*j - 22. Let s be u(-8). Suppose 4*p - s = -106. Let i be 68/10 + (-4)/p. Solve 0 = -4*m + m - x + i, 5*m = 2*x + 19 for m.
3
Let c = 1556 - 1553. Solve c*m = -24*s + 23*s - 17, -14 = -3*s + 4*m for s.
-2
Let k = 2 - 2. Let d = 21126 - 21123. Solve 5*o + k*x + 20 = -5*x, d*x = -o - 8 for o.
-2
Suppose 10 = -0*m + 5*m, -3*l + 58 = 2*m. Suppose 0 = -5*s, -4*s + 36 = -4*u + 12. Let f be u*((-4)/(-6))/(8/(-6)). Solve 5*d = b - l, 0*b - 2*b + f = d for d.
-3
Let q be (-3 + (-6)/(-2))/(7 + -6). Suppose 0 = 3*i - 16 - 14. Suppose q = i*t - 4 - 16. Solve 2*c + 2 = -t*r, -4*r + 7 + 19 = -2*c for c.
-5
Suppose 3*j + 237*i - 242*i = 896, -3*j - i + 872 = 0. Solve -4*a - 2*x = -8, -j*a - 3*x = -287*a - 11 for a.
1
Let z = 5196 - 5191. Solve 4*v = 4*w - 12, -z*v - 6*w + 9 = -3*w for v.
0
Let f = -23 + 62. Let q = 45 - f. Suppose 6*i = 3*i + q. Solve -k + 5*b = -18, -3*b + 7*b = -i*k - 6 for k.
3
Suppose 13*w + 8 = 17*w. Suppose 0 = -w*c - 9 + 21. Solve 0 = 2*m + 5*l + 10, -2*m + c = -4*m - 4*l for m.
5
Let z = -3003 - -3008. Solve -4*g - 4 = 4*p, 4*g + 8*p = z*p for g.
3
Let i = 129 - 257. Let g = i - -133. Solve d = g*p + 4 + 8, 3*p = 2*d - 3 for p.
-3
Suppose 6458 = 101*s + 1509. Solve -5*z + 5*v = -z + s, -3*z - 28 = -2*v for z.
-6
Let t be 20/(-28) + 1 + (-7128)/56. Let q = t - -149. Solve -4*w = -4, -5*o - q = -4*w + 7*w for o.
-5
Let j = -36 + 72. Suppose j = 3*b + 30. Suppose -3*g = 5*t - 9, -1 = -3*t + b*t - g. Solve 5*w + 25 = 0, d - t*w - 4 = 7 for d.
-4
Suppose 16*s - 1 = 17*s, -2*s = 4*y - 26. Let h = 10 + -8. Solve w + 0*w - z = -y, -z + h = 0 for w.
-5
Let a(i) = i**3 - 10*i**2 - 14*i + 33. Let s be a(11). Suppose s*w = -2*w + 28. Solve 5*c + 0*o + 4*o - w = 0, -c - o = -3 for c.
2
Let f(n) = -7*n**2 - 71*n - 172. Let z be f(-6). Solve z*l - t = -6, -3*l = -46*t + 41*t + 9 for l.
-3
Let h(z) = -130*z - 2077. Let q be h(-16). Solve -2*s - 2 + 3 = i, q*i = 3*s - 24 for i.
-5
Let p(y) = -187*y - 7850. Let l be p(-42). Solve 257*r - 254*r + 18 = 0, 5*o = l*r + 4 for o.
-4
Let n = -13471 + 13471. Solve -4*c - o - 3 = n, 0 = -4*c + o - 4 - 1 for c.
-1
Let q be (9/(-1) - -7)*86/(-4). Suppose 7*v + q = 57. Solve 3 = -2*y - r, 3*y + 5*r - 12 = v*y for y.
-3
Suppose -70 = -5*n + 30. Let u be (n + -5)/(-3) + 10. Solve 8 = 2*o + r - 2*r, 0 = -u*o + 5*r + 20 for o.
4
Let x be (-5)/(-2)*(3 - (-3 + 4)). Suppose -5*u = -4*s + 13 + 56, 0 = u + x. Solve 5*h = -4*j - s, 7*j - 4*h = 4*j + 15 for j.
1
Suppose 0 = 4*x - 64 - 152. Let h = x - 42. Solve -2*y + 2 = h, 5 = 5*t - 4*y for t.
-3
Suppose -2*w + 151 = 2*a + 117, -a + 3*w + 9 = 0. Solve -5*t + s - a = 0, 2*t - 2*s = 2*s - 6 for t.
-3
Let d = 90 + -88. Suppose 5*t - 2*t = d*w, -5*w + 17 = t. Solve t*z + 1 + 2 = -3*c, -4*c - 2 = 2*z for c.
1
Let x be 7/21 - (-22)/6. Suppose x - 7 = -o. Suppose -o*h = 3*h. Solve 0 = -4*n + 4*j - h + 4, 3*n + 2*j - 8 = 0 for n.
2
Let z = 4429 - 4427. Solve -22*v - 8 = -19*v - 4*x, -v + z*x - 6 = 0 for v.
4
Let f be ((-48)/8 - 497) + -5. Let k = f - -511. Solve 4*w - 32 = k*s, -5*w + 11 = 4*s + 2 for w.
5
Suppose l = -2*h + 2*l + 145, 325 = 5*h + 5*l. Suppose h = 8*j + 6*j. Solve -j*u + 2*g - 15 = 4*g, -2*u - 3*g = 6 for u.
-3
Suppose 222*n - q - 74 = 217*n, n - 5*q - 10 = 0. Solve 4*x + 15 = 3*g - 8*g, n = -x - 5*g for x.
0
Let j(w) = -w**3 + 15*w**2 - 28*w + 30. Let z be j(13). Solve 5*x + 5 = -z*g, 10 = g - 3*x + 2*x for g.
5
Suppose 2*d - 16 = h, -5*h - 14 = -4*d + 5*d. Suppose d*z - 143 = 121. Suppose -6*k = -z + 8. Solve j - 3 = -c, 2*j + c + 2 - k = 0 for j.
1
Let m(y) be the second derivative of y**4/12 - 5*y**3/3 + 3*y**2 - 7*y. Let n be m(10). Suppose 10*q - n = 7*q. Solve -k = -4*h - 0*k - 4, 5*h + 5 = q*k for h.
-1
Suppose 203*k - 201*k = d, -5*k = -d - 3. Solve 7 = -2*p - d*g - 1, -2*p - 3*g - 12 = 0 for p.
0
Let o = -29454 + 29459. Solve 40 = -5*q + 4*g, -g - 4*g + 5 = o*q for q.
-4
Let x be ((-240)/(-18))/(-4)*6. Let h be (3 + 92/x)/((-8)/20). Solve 4*g = 2*s + g + 21, 0 = 2*s - h*g + 26 for s.
-3
Suppose -w + 5 = -12*z + 8*z, 0 = -5*w + 4*z + 41. Solve -2*x = 4*l - 12, 2*x - w*l - 10 = -11*l for x.
4
Suppose 3*v - 2*v + 65 = 5*d, 2*d = -5*v - 1. Suppose -d*r + 4 = -10*r. Suppose 4*x = r*x, -4*x = -4*j + 12. Solve -j*s + 0*z = -z - 14, -5*s + 3*z = -26 for s.
4
Let r(b) = b**2 - 10*b - 14. Let a be r(12). Suppose 2*u = 3*y - 9, 4*y = -3*u - a + 22. Solve 3*f = -y*x, -2*f - 8*x + 3*x = 3 for f.
1
Suppose 0 = 5*s, 0 = -8*l + 9*l - s + 216. Let h = 225 + l. Solve 4*o = 4*q - 4, -2*o = 2*q - h - 5 for q.
4
Let z be (-13 - 7)/(2/(-20)). Let l = -198 + z. Solve -1 = 2*r + a - 2, -10 = 4*r - l*a for r.
-1
Let n = -2 + -8. Let y = 26 + -41. Let o be n/y*(-2 + 8). Solve -5*l + 4*w = -0*l + 4, 0 = w + o for l.
-4
Let y(g) = 4*g - 13. Let t be y(4). Suppose 0 = 2*z - t*q - 10, 12 = 2*z + q + 10. Solve 5 = 3*m + 5*b, -z*b - 2*b = -2*m - 26 for m.
-5
Suppose -6*x = -5*x + 36*x + 26*x. Solve -5*k + 3*l = -2, x = -4*l + 14 - 10 for k.
1
Let v(s) = 3*s - 16. Let r(m) = -m. Let z(n) = -5*r(n) - v(n). Let q be 114/(-19)*(-8)/(-6). Let y be z(q). Solve -5*a - 3*k + 7 = 0, -4*a + 5 = 3*k - y for a.
2
Suppose 0 = 4*p + 12, -x = x + p - 5. Let m be (2/16)/(30/(-120))*(22 - 32). Solve g - 5 + 4 = -x*i, m*i + 5*g = 5 for i.
0
Let l(m) = -6*m**2 + 51*m + 30. Let r be l(9). Solve -5*b + 8*v = r*v + 5, v + 29 = -5*b for b.
-5
Suppose 2*f + 2*f = 272. Suppose -2*p - 5*a = 128, 860*p - 858*p + 128 = 4*a. Let d = f + p. Solve d*n + 10 = 2*w, 0 = 3*n + w + 4*w + 40 for n.
-5
Suppose -17*h + 27 = -8*h. Suppose 3*a - h*d + 0 = 15, a = -4*d - 5. Solve 0 = -3*g + 4*g - a*b + 13, -3*b = -5*g - 29 for g.
-4
Let b = -64 - -74. Let o = 23 - 23. Let w = 0 - -2. Solve -3*u - k + b = o, 3*k + w*k + 14 = u for u.
4
Let i be (-2)/4 - (-1 + 1245/(-6)). Suppose 3*x = -x + i. Let g be 42/10 - x/(-65). Solve 5*m = g*n + 40 - 0, 3*n + 4*m = 4 for n.
-4
Let s(m) = m**3 + 5*m**2 - 14*m - 20. Let c be s(-7). Let z be (19 - -6)*(-4)/c. Solve 5*x + 0*o + o - 19 = 0, 2*x + z*o = 3 for x.
4
Let u(l) = -66*l**3 - 2*l**2 - 3*l - 2. Suppose 4*t = 2 - 6. Let d be u(t). Let w = 67 - d. Solve -4*b + w*o + 4 = 0, -4*b = -5*o + 3 + 5 for b.
3
Let k be -1 + (5 - (-9)/(-3)). Let h(q) = 7 - 2*q**2 + q - k + q**2 - 6*q. Let d be h(-6). Solve -r + 12 = -3*t, d = -3*r - t + 6 - 0 for r.
3
Let q be (1 + -11)/((15/8)/((-108)/144)). Solve 21 = -y + q*a, -18*y - 5*a = -14*y - 21 for y.
-1
Let d be ((3 - (-16)/(-6))*0)/3. Suppose 3*b + 15 = 0, d = -c - 0*c - 5*b - 19. Solve 2*z - 4*s = c, -3*z = 2*s + 11 + 12 for z.
-5
Let p(v) = 63 - 885*v - 7 - 24 + 79 + 900*v. Let m be p(-6). Solve -2*x - 15 = -2*n - n, 2*n = 5*x + m for x.
-3
Let y(x) = 2*x**3 - 2*x**2 + 3*x - 8. Let g be y(0). Let s(u) = -u**2 - 2*u + 48. Let m be s(g). Solve 2*w - d = -2, m = -3*w - 2*w - 2*d - 14 for w.
-2
Let l = -5 + -15. Let v = -23 - l. Let u = v - -5. Solve -3*o - 3 = u*n - 5*n, 3*n + 4*o = 24 for n.
4
Suppose 0 = -366*x + 1553 + 1375. Solve -4*s = 2*w - x, 8 = -10*w + 9*w + 2*s for w.
-2
Let s(u) = -68*u**3 +