 t = 11, f = q*f + 5*t - 9 for f.
2
Let f = 790 + -788. Solve -q - 12 = x - 3, -6 = -x + f*q for x.
-4
Suppose -i + 23*i + 48*i - 210 = 0. Solve -3*r - i*z = -3, 5*z + 16 = 46 for r.
-5
Suppose 307 - 291 = 4*f. Solve 5*d = -f*h + 18, -5*d + 4 = -3*h - 0 for d.
2
Suppose 4*s - 21 = 11, -4 = 3*t - 2*s. Solve 16 = -t*c + j, 0 = -6*c + 5*c - 2*j - 13 for c.
-5
Let w = -1677 - -1681. Solve -2*t - 7 = -w*c + 7, 0 = -3*c - t - 2 for c.
1
Let z(b) = -b**3 - 11*b**2 + 13*b + 25. Let m be z(-12). Let r(l) = -3*l + 41. Let q be r(m). Solve 3*a = q*j + 5 + 3, -4 = j + 5*a for j.
-4
Suppose 5*r = 5*v + 15, -2*r - r = -4*v - 8. Let q(a) = -a**3 + 155*a**2 + 337*a - 3607. Let z be q(157). Solve -i = -5*i + z*w + r, 4*i - 2*w = 4 for i.
1
Suppose 4*z + 561 - 581 = 0. Solve 3 = z*n + 2*v - 1, 0 = -2*v + 14 for n.
-2
Let k = -9151 + 9161. Solve -8 = -5*p + 2*i, -5*i + 21 = 3*p + k for p.
2
Let c(q) = 73*q**2 - 1168*q + 5. Let d be c(16). Solve -21 = -6*m - d*x, 4*x = -m - 22 + 16 for m.
6
Suppose -2*w = r - 7, 7*w - 10 - 6 = 5*r. Solve 4*i - 12 = 0, w*i + 26 = -m + 8*m for m.
5
Let a be (-96)/216 + (-49)/(-9). Solve -5*t = h + a, 3*t + 25*h = 27*h - 3 for t.
-1
Suppose -5*l + 3 = -10*w + 53, 4*l + 22 = 2*w. Solve w*j - y = -17, 2*j + 0*y + 13 = y for j.
-4
Let m(q) = q**3 + 13*q**2 - 64*q - 691. Let v be m(-14). Solve v*u = -x + 7*u + 3, 3*u + 8 = x for x.
5
Let r = -35 - -191. Let m be (1 - 1) + r/13. Suppose 0 = 4*q - m. Solve -q*g - 5*n - 17 = 0, -6 - 7 = 3*g + n for g.
-4
Let n be -12*13/104*-12. Solve 6*d - 8 = -9*a + 4*a, 2*a = 5*d + n for a.
4
Let t(x) = -5*x**2 + 17*x + 58. Let a(i) = -3*i**2 + 12*i + 39. Let d(q) = 8*a(q) - 5*t(q). Let b be d(-9). Solve 8 = 2*g + 4*v, 4*g + b*v - 9 = 3*v for g.
2
Let v(w) = 67*w + 1344. Let i be v(-20). Solve -4*t - 18*s + 15*s = -28, i = s for t.
4
Let u = -305 - -289. Let x be (-23 - u)*(-6)/14. Solve 5*n - 6*o = -x*o - 7, 2*n + 4*o - 18 = 0 for n.
1
Suppose -254 = -v + 5*i - 282, 0 = v - 2*i + 10. Solve -m = -5*u + 2, -10 = 37*m - 41*m + v*u for m.
3
Suppose -n + 5 = u, -17 = -5*n - 4*u + 7*u. Let q(p) = -42*p + 172. Let d be q(n). Solve 0 = 3*z + 2*x - 0*x + 3, -27 = 5*z - d*x for z.
-3
Let p = -15 + 18. Suppose 11*f - 6*f = 0. Suppose f = 4*r + 2*j - 10, -r + 6 = -0*r - 3*j. Solve -4*h + 3*l = -0 - r, 0 = 3*h - p*l for h.
3
Suppose -3*w + 8*w = 15. Let t be (15*w/(-12))/(15/(-140)). Let b(p) = 6*p - 1. Let k be b(1). Solve -3*h = x - 5*x + t, -5*h - k*x = 0 for h.
-5
Let s(n) = n**2 + 6*n + 5. Let l be s(-5). Let f be 4/(-7) - (l - 200/56). Solve b - f*b - 2*c + 2 = 0, 3*b + 4*c - 5 = 0 for b.
-1
Let t be 6 + (4/18 - 87/27). Suppose -2*w = t*x + w - 327, -5*x + 560 = 2*w. Suppose x*k = 110*k + 8. Solve -2*c + 4*c - 2*b = 0, -k*c + b = 0 for c.
0
Let x be 36/(-234) + (948/39)/2. Suppose 11*z - x*z + 7 = 0. Solve 2*k + 5*c - c = 18, -z = 5*k - 3*c for k.
1
Let j = 633 + -747. Let z = -109 - j. Solve 2*w = -k - 0 - z, -5*w - 10 = 0 for k.
-1
Let p(r) = -r**2 - 80*r - 807. Let h be p(-68). Solve 4*c - h*k + 14*k + 6 = 0, -1 = 3*c + 2*k for c.
1
Let t(w) be the third derivative of -w**6/120 + 7*w**5/30 - w**4/24 + 17*w**3/6 + w**2 - 10*w. Let q be t(14). Solve 0 = a - q, 2*a + 18 = 3*m + 3*a for m.
5
Let m(s) = s**3 - 21*s**2 - 43*s + 83. Let g be m(22). Let b = g - -383. Solve 0*q = -2*k - q - 2, -4*k - b*q - 8 = 0 for k.
0
Let u(d) = 3*d**2 - 19*d - 9. Let w be ((-21)/14)/((-6)/28). Let a be u(w). Let k = 8 - a. Solve 0 = -2*x - 5*h - 11, k*x = -3*h + 8 - 20 for x.
-3
Let x = 92424 - 92419. Suppose -2*d + 7 + 28 = h, 0 = 3*d + 5*h - 70. Solve -50 = -x*s - 5*t, 3*s - 5*t = 5 - d for s.
5
Suppose 0 = 23*p - 569 + 431. Solve -15 = -a - 5*c + p, -20 = -4*a - 4*c for a.
1
Let o(q) = -26*q + 108. Let n be o(4). Solve -7*y + 5*y + 5*s = 3, -3*y = n*s - 7 for y.
1
Let p(v) = -4*v**3 - 89*v**2 - 14*v + 176. Let y be p(-22). Solve t + 18 = 4*t, 5*o - t - 9 = y for o.
3
Let n be 427*(-6)/(-504) + 4/(-48). Let u be 5/(-2)*(-12)/15. Solve n*q + 24 = 3*o, 0 = -3*o - q + u + 4 for o.
3
Let d = 5236 + -5200. Solve -51 + d = h - 5*q, 3*q - 21 = 3*h for h.
-5
Let t(x) = -x + 1. Let m(d) = 8. Let f(b) = m(b) - t(b). Let w be f(-1). Let a be w/((-8)/6*(-9)/6). Solve 5*v - a*y + 19 = -1, -2*v + 3 = y for v.
-1
Let j = 2 + -1. Let o(g) = 10*g + 364. Let q be o(-39). Let t be (-12)/(-78) - 100/q. Solve -p = 2*b - j, 0*b + 4*p - t = -4*b for b.
0
Let s(f) = 2*f - 16. Let i be s(9). Suppose i*g + 5*z - 1 + 8 = 0, -27 = -3*g + 5*z. Let k be (-3)/(-9)*g*3. Solve -2*t + 20 = -5*b, 2*b + 3*t + 12 = k for b.
-4
Let l = 10649 - 10643. Solve 5*n - 5 = 5*m, m + 5 = -4*n - l for m.
-3
Let f(h) = -h**2 + 93*h - 1102. Let c be f(14). Solve -c*r = 3*a + 4, 5*r + 2 = 5*a + 3*r for a.
0
Let y(t) = -15*t**3 + t + 1. Let s be y(-1). Suppose 8*q + 2356 - 284 = 0. Let c = q + 263. Solve 0 = w - 0*w + p - c, 0 = 2*w - 5*p - s for w.
5
Let h be ((-192)/(-84) - 2)*(6 - -1). Solve 4*v = 10*k - 8*k - 12, -2*k + 2*v + h = 0 for k.
-4
Suppose b - 40 = -9*b. Let g be (72/16 + b*-1)*10. Suppose 0 = g*f - 4*c - 40, -6*f = -3*f - 2*c - 22. Solve -5*t - 11 = 3*v, 3*t = -f*v - 5 - 6 for t.
-1
Let k(x) = 2*x**2 - 13*x + 35. Let v(u) = -u**3 + 12*u**2 - 27*u + 6. Let n be v(9). Let m be k(n). Solve m = -4*o + 3*j, 6 = -4*o + j - 17 for o.
-5
Suppose -3 = 18*b - 45 - 30. Solve q + q = -5*i - b, 4*q + 2*i = -8 for q.
-2
Suppose -628*q + 4 = -624*q - 4. Solve -8 = -4*u + q*o, -4 = 2*u + o - 12 for u.
3
Let n = -18 + 60. Let i be n/(-4)*(8/12 - 0). Let s(h) = -2*h**3 - 14*h**2 - h - 5. Let z be s(i). Solve -q - z*q = 2*w, 1 = -w - q for w.
-3
Suppose 0 = -4*r + 5*r - 2*r. Suppose -3*k - 3*k + 72 = r. Solve -j - 2*o = 1 + 3, 4*o = -j - k for j.
4
Suppose -6*h = 4*s - 194, -3*h + 5*h = -4*s + 70. Solve -3*v + h = -5*y, -2*v - 15 + 4 = 3*y for y.
-5
Suppose -x + 7 = -w, -5*x - 1 = 14. Let j = w + 9. Let a be (j + 3 + (-13)/3)*-6. Solve 3*u + d + a = -5, 0 = u + 2*d + 13 for u.
-5
Let v(q) be the first derivative of -q**4/4 + 23*q**3/3 - 41*q**2/2 - 21*q - 12. Let b be v(21). Solve 0*z + 2*z + a = 0, b = -3*z - a for z.
0
Suppose 15*u + 2*s = 12*u - 1, -4*u = -4*s - 32. Let j = 2 + -3. Let q = u + j. Solve 2*b + q*g + 3 - 13 = 0, -5*g - 10 = -2*b for b.
5
Suppose -11*g + 8 = -7*g. Suppose -g*z = m - 15 + 6, -3*m - 36 = -3*z. Solve -4*s = 3*d - 21, z*d - 4*d = 4*s - 3 for d.
3
Suppose b + 5*j = 36, 2*j + 0 = 6. Solve -a + v - b = -4*v, -5*v = 3*a - 17 for a.
-1
Suppose 79*b - 76*b = 129. Suppose p + b = 52. Suppose -5*g + 2*q + 9 = -6, -3*g + p = -3*q. Solve -5 = g*s + 4*t, -5*t - 15 = s - t for s.
5
Let v(o) = 10*o + 32. Let i be v(0). Suppose i*w = 18 + 46. Let c(m) = 13*m - 1. Let h be c(1). Solve -n + w = 3*d + h, 5*n = 5*d + 10 for n.
-1
Let r = 41 - 39. Suppose -l = r*l. Suppose -z + l = -4. Solve -5*o + 0*d + 5*d = 30, 9 = -z*o - d for o.
-3
Let v = -3571 - -3573. Solve -4 = -v*a, -12*f - 5*a + 2 = -10*f for f.
-4
Let u = -21 + 37. Let t(h) = h**2 - 16*h + 3. Let c be t(u). Let l(b) = -b**3 - 3*b**2 - 4*b - 2. Let f be l(-2). Solve c*x = -k + f*x, 12 = -k + 3*x for k.
-3
Let j(c) be the first derivative of c**2 + 24*c + 1. Let t = 3498 - 3504. Let i be j(t). Solve q - 26 = 4*k - 9*k, 2*q + 2*k - i = 0 for q.
1
Let m(g) = g**2 + 9*g + 20. Let t be m(-9). Suppose -t - 43 = 9*k. Let l be k/2*-1 - (-9)/18. Solve 0 = o + l*o + 3*p + 26, 0 = o - 2*p for o.
-4
Suppose -5*v + 2*y + 33 = 5*y, 2*v + 3*y = 24. Solve 3*m - 30 = -5*o, -v*m - 10*o + 12 = -11*o for m.
5
Suppose -12*w - 37 = 35. Let k be ((-2)/6)/((1/1)/w). Let i(z) = -z**3 - 5*z**2 + z + 8. Let u be i(-5). Solve 3*q = -3*x + 12, u*x + 8 = 3*q - k*q for q.
5
Let o(b) = 35*b - 26. Let t(p) = 12*p - 9. Let q(m) = -4*o(m) + 11*t(m). Let h be q(0). Solve -5 = -d + 5*l - 0*l, -3*d + h = -5*l for d.
0
Let m be (-4589)/(-13) - (5 + -14). Let p = -362 + m. Solve -2*k - 3*t - 14 = -p*t, -3*k - t - 7 = 0 for k.
-1
Let d = -6332 - -6360. Solve -w - d = 5*t, -3*w = -t + 4*t + 24 for w.
-3
Suppose -7*j - 232 = -3*j. Let o = -2455 + 2542. Let s be (o/j)/(3/(-8)). Solve 32 = s*y - 4*f, y + y - 28 = 5*f for y.
4
Suppose -14*v - 4072 = -4268. Solve 0 = x + v*o - 10*o - 5, 2*x - 5*o = -3 for x.
1
Let t(u) be the second derivative of 5*u**4/12 + 3*u**3/2 + 7*u**2/2 - 3*u. Let r be t(-1). Solve l = -5*b + 3*l + 4, -r*b - 3*l + 15 = 0 for b