-5*a = q*j - 1 for a.
-1
Let i = -1868 + 1029. Let t = 844 + i. Solve -v - t*o - 31 = 2*v, -20 = 4*o for v.
-2
Let r be ((-1205)/(-723))/(5/12). Solve 2*z + 4*w = -6, 5*w + r = 2*z - z for z.
-1
Let r be (10 - 9)*(4 - 2 - -6). Suppose -r*v = -16 - 176. Solve 4*c - v = 3*w, -2*c = c - w - 13 for c.
3
Let h be 6/9 - 1 - (12/(-36))/1. Solve 0 = 2*l + 7 - 5, 4*s + 2*l + 6 = h for s.
-1
Suppose 6*p - 9*p + 2*l + 8 = 0, 4 = -p + 4*l. Solve -8*m - 9 = -7*m + 2*o, -2*o = -4*m + p for m.
-1
Suppose 4*t + 4*s + 17 = 3*t, -8 = -t + s. Solve -t*g - 5*k = 15, 4*k + 0*k + 5 = -g for g.
-5
Let m(b) = -5 + 6 + 8908*b**3 + 3*b + 4 - 8907*b**3. Let s be m(0). Solve -5*c = -3*g + 4, s*c + g = 3*c + 5 for c.
1
Let n be 1/(-3) + 13/3. Suppose -2*a + 26 = -2*x, 25*x + 2 = 26*x. Suppose -a*c + 572 = 197. Solve -5*q + c = 5*g, -2 = -4*g + 3*q + n for g.
3
Let z(v) = -19*v**2 + 2548*v - 268. Let m be z(134). Solve -4*o + 3*t - 1 = m, -56 = 2*o - t - 57 for o.
2
Suppose 2*w - 7 = -0*w + 5*a, -4*a = 2*w + 38. Let d be (1 + w - -7) + 5. Solve 3*u = -d*x + 10 - 38, -4*x - 36 = 5*u for u.
-4
Let p(h) = h - 4. Let v be p(7). Let r(s) = s + 4. Let z = -940 + 939. Let g be r(z). Solve 0 = -t + g, c = -4*c - t + v for c.
0
Let i(r) = r + 35. Let l be i(-27). Let q be (l - -2)*34/85. Solve 5*z - 14 = -f - 4, -2*z = -3*f - q for z.
2
Let f(t) = -t - 5. Let v be f(-6). Let a be (-1 + 4)*1/v. Suppose a*q + q = 8. Solve q*l = -5*k + 15, -2*l + 6 = -l + 2*k for l.
0
Suppose -4*v + 54 = 2*q, 17*q - 18*q = -v + 12. Solve -3*d - v = 4*i, 3*i + 2*i - 4 = 3*d for i.
-1
Suppose 0 = r + 15*r - 272. Suppose -72 = -r*z + 115. Solve 3*j + z = 5*d, -j + 1 + 6 = d for j.
3
Suppose 0 = 14*h + 1517 + 9739. Let n = h - -808. Solve 6*t - 5*t - n*g - 6 = 0, -2*t - 4*g = 0 for t.
2
Suppose 5*q = q + 3*l - 3, -5*q = -4*l + 5. Solve -4*b + 28 - 33 = q*k, 3*b - 10 = -5*k for k.
5
Suppose -17*y + 171 - 99 = y. Let q be -1 + 1 - (-3 - 4). Solve y*r = o - q - 12, -5*r = -o + 23 for r.
-4
Let m = -10 + 25. Let k = m - 22. Let c be 6*k/(84/(-8)). Solve 5*w - 3*b = -20, -16 = c*w - 0*b + 4*b for w.
-4
Suppose -y = -5*r + 2*y - 15, -y = 3*r - 5. Solve -2*u = -4*j - 61 + 65, -3*j + u + 2 = r for j.
0
Let b(v) be the second derivative of v**5/20 - v**4/12 + v**3/6 - v**2 + 16*v. Let f be b(2). Let r = -71 - -76. Solve -r*o - f*t = 36, -5*t - 25 = o - 1 for o.
-4
Suppose -120 = 531*u - 591*u. Solve 40*q = -4*n + 42*q + 2, u*n + 2*q - 10 = 0 for n.
2
Suppose 12*q + 3754 - 3862 = 0. Solve -5*w - 30 = -4*l, -14*l = -q*l - 5*w - 30 for l.
0
Let a = -5225 - -5225. Solve u - 4*c = 30 - 14, a = 4*u + c + 21 for u.
-4
Suppose 6*d = d - 35. Let q = d - -12. Let v(y) = -y**2 + 126*y + 1964. Let s be v(-14). Solve -4*h - 5*k + 30 = 0, -s*k + q - 2 = -h for h.
5
Let b be 5*(-88)/(-100) - (-46)/(-115). Solve b*z = -2*r - 14, 0*r - 9 = z - 5*r for z.
-4
Let g = 15200 - 15195. Solve -5 = 13*o - 15*o - f, 2*o + 15 = -g*f for o.
5
Let o be ((682/44)/((-2)/(-28)))/1. Let d = o + -214. Solve 3*c = d*u - 12, -5 = 4*u - 5*c - 23 for u.
2
Let p(u) = -u**3 - 12*u**2 - 2*u - 20. Suppose -2*o - s - 17 = 5, 3*o - 2*s = -40. Let v be p(o). Solve -15 = -5*m + 2*x, -v*m + x = 3*x - 12 for m.
3
Let x be (0 - 1/(-3))/(1/12). Let i = 38 + -41. Let y = i + 6. Solve -4*d - x = y*p, -3*p - 14 = -2*p - 5*d for p.
-4
Let z be (228/(-8))/(-3 - 10/(-4)). Let v = z - 42. Suppose 4*c - v - 9 = 0. Solve 3*w - c = -i, -3*i - i - 15 = -w for w.
3
Let s = 18 + -21. Let q be s - (-1)/((-4)/(-32)). Solve -5*f + 25 = 0, -2*w - 3*f - q = -2*f for w.
-5
Suppose -m - 5*z = -4*m, 5*m = -z. Suppose -q + 3 - 10 = -2*d, m = q - 3. Solve -l - 4*c = -23, d*l + c - 9 = 11 for l.
3
Let g = 5142 + -5105. Solve 5*n - 5*q + q = g, 4*n + 3*q - 11 = 0 for n.
5
Let r be (5/(-4))/(350/(-840)). Solve -t = r*b - 0 + 6, 5*b + 10 = 0 for t.
0
Suppose -o = -i + 2, -4*o + 2 = -13*i + 14*i. Solve -10 = -19*h + 21*h + i*q, 5 = -3*h - q for h.
0
Let f = 719 - 712. Solve 2*b + 5 = -f*o + 6*o, 5*o = 3*b - 25 for b.
0
Let w(b) be the first derivative of -b**3/3 - 17*b**2/2 - 50*b + 16. Let v be w(-13). Let l = 17 + -13. Solve -5*z = 4*d - 9*d + 40, 2 = -v*d - l*z for d.
5
Suppose -3*s = 9, 4*x + 2*s + s = -9. Let m be (-28)/(-49) + (-40)/(-28). Solve o - 3*v + 4 = x, -m*o - 4 = 3*v - 23 for o.
5
Let t be 1749/265 + 24/(-15). Solve -x + 4*m - t = 0, -5*x - 3*m - 10 - 15 = 0 for x.
-5
Suppose -2*a = -5*n + 8, -9 = -4*n + 3*a - 4. Let j = 11673 - 11669. Solve -n = g - f - j, -4*g - f - 12 = 0 for g.
-2
Let p = -361 + 363. Solve 4*v + 10 = -5*m - 21, 2*m - p = 2*v for v.
-4
Let m(i) = i**2 - 12*i - 80. Let n be m(17). Suppose -c + n*k = 15, -8*c + 5*c + k = -11. Solve -t = -o - 3, -c*t + 0*o = -o - 11 for t.
2
Let h(t) = t**2 + 7. Let b be h(0). Suppose 4*m = b*m. Let f(u) = 5*u**3 + 3*u - 4. Let i be f(1). Solve 16 = -n - i*l, m = n + n + l + 4 for n.
0
Let w be 10/1*(228/(-40) - -6). Solve 10 = 2*b - 2*n, 0*b + w*n = -b + 5 for b.
5
Suppose -4*l = 4*y - 16, 0 = 2*l - 2*y - 0*y - 4. Let m be (-15)/(6 - 3) - l. Let z be (-2)/9 - (m/36 - 3). Solve -2*r - z*v = -15 + 5, -5*v - 25 = -5*r for r.
5
Suppose 3*j - 141 = 3*q, -5*j + 361 = 5*q + 86. Solve -5*o = 4*p, j = -o + 55 for p.
-5
Let l be (2 + -2)/(6 - 5). Let c be (1 - 4)/1 + -148. Let m = c + 156. Solve -5*n + 3*n + 6 = m*x, 2*n - 4*x - 6 = l for n.
3
Suppose 0 = 3*p - 4*x + 6*x + 17, -2*p = 3*x + 8. Let y = p + 10. Let c be 7 - (3 + -9) - 11. Solve 0*m = m - 3*v - 1, 2*m - c = -y*v for m.
1
Suppose d = 2*i - 19, 20*d - 23*d = -5*i + 46. Solve -i*j + l - 8 = -10*j, -3*j - 29 = -4*l for j.
-3
Let i = -1723 - -1725. Suppose 3*f = 6*f - 18. Suppose m = f - 2. Solve -m*h - 25 = i*a - 3, 0 = -5*a + h for a.
-1
Let g(n) = 31*n**2 + 25*n + 62. Let h be g(-3). Suppose h = -3*r + 272. Solve o + 18 = -3*w - r*o, 5*o = -25 for w.
-1
Let w be 3/6 + 6/(-39) + (-36)/104. Solve -4*v + 2*v = 3*n, -v + 4*n - 11 = w for v.
-3
Let a be (5 - 7) + (4 - -2). Let v be 429/66 - (6/a)/3. Suppose -2*i - 8 = 4*t, -4*t + 0*t - 12 = 0. Solve i*j + v = 5*f - 4, 1 = j - f for j.
5
Let i be -2*3 - -3 - -6. Let m(u) = -u**3 - 5*u**2 + 7*u + 8. Let v be m(-6). Let o be -3*100/(-12) + (3 - 0). Solve -v = -p, p - o = 5*x - i*p for x.
-4
Let b = 31 - 21. Let x be (-2)/4 + (-10)/(-12)*(-135)/(-225). Suppose b*w - 6*w = x. Solve 9 = 3*t + 3*n, 4*n = 5*t + 30 - w for t.
-2
Let z(p) = -10*p - 71. Let s be z(-24). Suppose 5*h + 19 - s = 0. Solve -10 = q - 3*v, -5*q + 4*v + v - h = 0 for q.
-4
Let o = 517 - 431. Let r = 86 - o. Solve 3*l = -9, 4*l = -r*a - 4*a + 4 for a.
4
Suppose 5*f - 2*f - 8 = s, 2*f = 3*s - 4. Let z be s + ((-12)/(-2))/2. Suppose -851*c = -857*c + 138. Solve z*k + c = 2*k - 3*q, 3*q = 5*k + 17 for k.
-4
Let z(t) = 71*t**2 + 13*t + 45. Let j be z(-3). Let d = j + -640. Solve 5*h = 4*l - d, -4*h - 2*l = 2 + 2 for h.
-1
Let m = 6590 - 6590. Solve 0 = 5*l - 4*c - 12, m = -3*c - 9 for l.
0
Let f = 20333 + -20323. Solve 2*l - 32 = -4*g, -18 = -2*g + l - f for g.
6
Let q be (49/42*-3)/((-1)/2). Suppose q*u + 258 = 272. Solve 4*f = -8, -u*g - 2*f = -g + 5 for g.
-1
Let u be (-6)/(-8)*(806/78 - 5). Solve -3*v = 4*p - 13, 4*v - 11 = -u*p + 5*p for v.
3
Let n be (((-56)/(-6))/(-7))/(12/(-54)). Let u(p) = 51*p - 302. Let a be u(n). Solve -a*t - 2*l + 16 = 6, 4*l - 14 = -5*t for t.
2
Let u(j) = j**2 + 51*j + 653. Let w be u(-25). Let r(t) = t**2 + 9*t + 8. Let i be r(-9). Solve -11 = -c - 3*v, -i*v = w*c - 13*v + 9 for c.
2
Suppose -16*d = 2193 + 3999. Let l = d - -393. Solve v = 2*z + l, 0 = -5*z + 3*v + 2 - 19 for z.
-1
Suppose -72*x + 77*x = -4*l + 129, 5*x = -2*l + 67. Solve -6 = 4*a - 32*v + l*v, 4*a + 3*v = -14 for a.
-2
Let j(u) = -2*u**2 - 57*u + 14. Let i(r) = 4*r**2 + 86*r - 21. Let k(h) = -5*i(h) - 8*j(h). Let d be k(6). Solve -3*g - 5*n - 14 = d, -2*n - 19 = 5*g for g.
-3
Suppose -5*n = -2*z + 456, n - 306 = -5*z + 807. Suppose 8*v - z - 1 = 0. Solve v = -2*r - 5*j, -3*r = -0*r - 3*j for r.
-4
Let g be 1 + -14 + 0/(-6). Let q = 13 + g. Suppose 0 = -o - 2*o + 9. Solve 2*r + 0*r + o*l - 20 = q, -2*r + 4 = -l for r.
4
Let d(y) = -9 + 4*y + 5*y**2 - y**3 - 22*y - 11*y + 12*y**2. Let u be d(15). Solve 0*z - u = 3*z, -11 = h + 3*z for h.
-5
Let i = 7506 + -7503. Solve 105*p = -d + 101*p, -i*p = -2*d - 11 for d.
-4
Let l(x) = -15*x**2 - 230*x - 62. Let v be l(-15). 