*s - 12, a*s = 2*v - 4*v + 6 for v.
3
Let k(x) = 132*x + 409. Let s be k(-3). Solve 3*h - 3*m - 3 = 0, -6 - s = 2*h + 5*m for h.
-2
Suppose 133*h + 65 - 331 = 0. Solve h*j - 68*c = -73*c - 27, 2*j - 23 = 5*c for j.
-1
Let p = 13 - 10. Let y be ((-8)/30*p)/(4/(-10)). Solve -5*w + 2*l = 2 - 11, -3 = w - y*l for w.
3
Let k(x) = 14*x**2 + 3*x - 1. Let h be k(1). Let j be 19*4/h + (-3)/(-12). Solve 27 = s + j*u, 3*s + 0*u - u = 1 for s.
2
Let s(f) = 12*f + 69. Let i be s(-6). Let x be 45/27*i/(-1). Solve 4*z + 0*z + 11 = x*g, -5*g + 10 = -5*z for z.
1
Let s(i) = -2715*i - 24333. Let f be s(-9). Solve -3*y - 20 = 107*d - f*d, 0 = -4*y - 2*d - 8 for y.
0
Suppose 0 = -6*o + 78 + 210. Let l = 35 - o. Let f = l - -15. Solve -4*k - 3 = y + 6, -6 = -4*k + f*y for k.
-1
Let q be 24/100*15 + (4 - 144/40). Solve -q*d - 8 = 2*y, -31*y - 3*d - 6 = -27*y for y.
0
Let o(w) be the second derivative of w**5/20 + 7*w**4/6 + 7*w**3/3 + 23*w**2/2 + 3*w - 1. Let a be o(-13). Solve x = 4*y - a, -y - 5*x = -2*y - 7 for y.
3
Let w = -130 - -128. Let q(g) be the second derivative of -g**3 - 5*g**2 + 4*g. Let l be q(w). Solve -5*o + 25 = l*x, 0*o - 10 = -2*o + 3*x for o.
5
Suppose 3690 = 14*m + 1422. Suppose 36 - m = -14*d. Solve -2*s = 3*x + d, 0 = -s - 3*s - 2*x + 2 for s.
3
Let b(u) = -u**2 + 34*u + 3. Let q(t) = -8*t + 58. Let m be q(3). Let y be b(m). Solve -2*x + 1 - y = 2*g, 4*g - 2 = -2*x for g.
2
Let z = 53 - 53. Suppose v + 104 = 5*t - t, z = 3*t - 5*v - 78. Suppose 10*r - 4 = t. Solve 5*d - 4*l = 9, -4*d - 4 = -5*d + r*l for d.
1
Let l(c) = -2*c. Let s(r) = -28. Let h(b) = -3*l(b) - s(b). Let g be h(-3). Solve i = 3*q + g, -4*q - 2*i - 25 = -q for q.
-5
Let k(v) = -653*v - 2599. Let s be k(-4). Solve 2*o - j = 5*o + s, 2*o = -5*j - 26 for o.
-3
Suppose 2*v + 0*k - 363 = k, k = 3*v - 547. Let j = v - 168. Solve 2*s - j = -5*q, -7 - 3 = -5*q for s.
3
Let g be (-6)/36*2*-12. Suppose 3*n + 11 - 32 = -3*y, 3 = -n + g*y. Let p(d) = d + 13. Let z be p(-9). Solve -3*o + 2*b + 7 + z = 0, 0 = -o - n*b + 15 for o.
5
Let y be (98 - 83)*3/18*2. Solve 0 = -5*l - 2*p + 5 + 14, 0 = y*l + 5*p - 25 for l.
3
Let v(w) = -w**3 + 12*w**2 - 18*w - 11. Let t be v(10). Solve -3*h = 2*n + 8, 5*n - t*n = -3*h + 16 for h.
0
Let q = 17 + 71. Let v = -92 + q. Let j be (((-120)/(-9))/(-4))/(v/6). Solve 0*l - 22 = -j*l + 3*s, 5*s - 15 = -2*l for l.
5
Let f be (-1 + 1)/(-4 - -2). Let r be 0 - -5 - (f + 0). Suppose -43*p + 312 - 312 = 0. Solve -3*v + p*y + 14 = 2*y, 0 = 5*v + r*y - 25 for v.
4
Let j(w) = -w**3 - 18*w**2 + 44*w + 478. Let k be j(-19). Solve 3*h - 6*i = -10*i - 27, 9 = -k*i for h.
-5
Let s be ((-4)/(-14))/(38/399). Solve i + 5*x + 26 = 0, 2 + 11 = 2*i - s*x for i.
-1
Let q be (-2)/(-8) - (-21)/12. Suppose -6 = 2*f + p + 3, 5*p + 25 = 0. Let h be f - ((2 - -3) + -8). Solve l + c - h = q, 0 = -c + 2 for l.
1
Let q(l) = 2*l**2 - 19*l + 33. Let c be q(16). Let p = c + -127. Suppose -p + 108 = -2*n. Solve -f = -n*y + 16, -f + 20 = -6*f for y.
4
Let h be 90/(-4 - -9)*(-2 + 24/9). Solve -2*m = -9*b + h*b + 14, -3*b = -5*m - 14 for b.
-2
Let f(b) = -26*b - 697. Let o be f(-27). Solve -2*v + o*s = 16, 58*v = 61*v + 4*s + 1 for v.
-3
Let p be ((-160)/(-720))/((-2)/(-45)). Solve -5*k = -5*o - p, 3*o - 3*k = -6*k + 3 for o.
0
Let n = -14612 - -14618. Solve -4 = 4*d - x - 3*x, 2*d - x = -n for d.
-5
Let w(i) = -21*i**2 + 3 - 22*i**2 - i + 44*i**2. Let s = 134 - 134. Let j be w(s). Solve -4*p = 4*n - j + 7, -3*p = 5*n + 3 for p.
-1
Let g(n) = -3*n - 5. Let z be g(-4). Let d(v) = 2*v**3 - 5*v**2 + 905*v - 1803. Let j be d(2). Solve j*b - 10 = -f, -2*f - 3*b + 6*b = z for f.
1
Suppose -816 = -37*l + 54*l. Let f be (-4)/3 + (-256)/l. Solve -5*b = -f*b - 4*j - 1, j - 2 = -2*b for b.
1
Let u(m) = -2*m**3 + 26*m**2 - 27*m + 35. Let q be u(12). Let r(c) = -25*c - 5. Let t be r(q). Solve -b - 2*b = -n - t, -4*n + 2*b - 30 = 0 for n.
-5
Suppose 1208 = 12*d + 272. Suppose -13*c + d = 13*c. Solve -x - 11 = c*z + x, 4*z = x - 22 for z.
-5
Let r be 2 - (-2 - (-2 + 2)). Suppose -77*y = -16*y - 820 - 34. Solve -2*f = r*o + y, 3*o + 4 = 1 for f.
-5
Let p(y) = y**3 - 54*y**2 + 441*y - 40. Let a be p(44). Solve 0*b + 8 = -a*b + 4*h, -3*h = -2*b - 3 for b.
-3
Let w be (-6)/(-12)*4*-88. Let x = w - -187. Solve 3*u - u - 1 = -5*q, -3*q = -4*u - x for u.
-2
Suppose 34 = 2*b + g, 5*g + 40 = 4*b - 0*g. Suppose 0 = 5*n + 2*h - b, -4*n + 3*n + 3 = -2*h. Solve 4*r = 2*f - 2, -3*r + 2*f = 2*r + n for r.
-1
Suppose 2*h + 325 - 335 = 0. Solve 11*g = o + 16*g + 28, 3*o + h*g = -34 for o.
-3
Let k(x) = -x**2 + 3. Let b be k(0). Let c(m) = -8*m + 11. Let j be c(-2). Suppose 45 = 8*f - j. Solve 3*z + v + v = -f, -b*z - 30 = -5*v for z.
-5
Let p = 879 - 865. Solve -4*k + 5*m - 29 = -0*m, 2*m - p = 4*k for k.
-1
Suppose 15 = 2*k - x, 4*k - 3*x = 442 - 407. Solve -v = 4*r, -3*v + 21 - 38 = -k*r for r.
1
Suppose -2*x + 2*j + 6 = -3*x, -12 = 4*x + 4*j. Solve 2*a - 4 = -45*d + 42*d, x = -5*d for a.
2
Let m = -15581 + 15585. Let w(r) = -2*r - 4. Let u be w(-3). Let f be 1*((-20)/(-2))/u. Solve -m*v + 4*s + 4 = 0, -2*s - 10 + 1 = f*v for v.
-1
Suppose 5*s + 11 = -3*r - 5, -2*s - 7 = r. Let m be (3 - 1)/(((-20)/(-3))/10). Solve -y = y - r*h - 21, 5*y - m*h = 30 for y.
3
Let v be 10*((-1)/(-2))/1. Let o = -91 + 94. Suppose v*f - 79 = -n, 2*f + 4*n + 20 = o*f. Solve 0 = -5*a - 3*d + f, 4 = -3*d - 5 for a.
5
Suppose 24 = 5*w - 2*w - 2*d, -2*w - 5*d + 16 = 0. Suppose 2*r - 5*n + 17 = 0, -4*n + 15 = -2*r + 3. Solve -y - 3*y + r*q = -w, 2*y = -2*q + 12 for y.
4
Let z(n) = -4*n**3 + 64*n**2 - 3*n + 52. Let t be z(16). Solve 5*s - 209*i + 212*i = 43, s - 29 = -t*i for s.
5
Suppose 5*i - 51 = 2*n, i + 5*n - 13 = 4*n. Let q(m) = m**3 - 8*m**2 - 32*m - 8. Let a be q(i). Solve 6*b - 4*s - 5 = a*b, -4*s - 25 = b for b.
-5
Let d = -751 - -751. Suppose -2*n - o + 6 = o, -5*n = 4*o - 14. Let q(w) = w**2 + 6*w - 5. Let b be q(-7). Solve 0 = -d*u - n*u - 2*v, -5*u - 4*v + b = 0 for u.
2
Let j = -156 + 80. Let w = j + 151. Suppose 47 = -7*p + w. Solve 10 = 3*g - p*d, -3*g + d + 11 = -4*d for g.
2
Suppose 0 = -18*k + 14*k + 24. Suppose 46*n - 102*n + 50*n = 0. Suppose 7*j = 2*j. Solve -5*p + k = t - j*p, -t - 2*p = n for t.
-4
Let f be 1386/147 - (-6)/(-14). Let v(z) = z**3 - 10*z**2 + 7*z + 22. Let h be v(f). Solve h*a = p + 8, 2*p + 1 = 4*a - 7 for a.
2
Suppose -5*q + 45 = 20. Suppose -5 = 5*t - q. Solve -2*g + 4 = 2*r - t*r, 0 = 4*r - 4 for g.
1
Suppose -2*h - h - m = 0, -5*h + m = 0. Let y = h + 3. Solve 26 = 2*w + 5*r, y*r - 25 = -3*w - r for w.
3
Let f(x) = -x + 13. Let a be f(9). Let q be 2*a*2/16 + 0. Suppose b - 2*u = 10, -q = -u - 5. Solve -b*j = 4*l - 6, -4 = -4*j - 2*l - 2*l for j.
-1
Suppose -w = -3*z - 39, 9*z - 78 = -3*w + 5*z. Suppose 0 = w*h - 32*h + 2. Solve -d = -2*s + h, 5*d + 5*s - 4*s - 17 = 0 for d.
3
Let m = -21 - -319. Let p = m - 298. Solve -q + b = -4, 5*q + b + 10 = -p*b for q.
-1
Let u(c) = -c**3 + 6*c**2 - 30*c + 65. Let t be u(3). Let r be (-6)/21 - (-142)/7. Solve 3*l = -5*b + r, b + t*l - 6 = l for b.
1
Suppose -j = -2*y + 10, 14*y = -4*j + 12*y + 10. Solve j = 5*x + 3*s + 7, -21*x - 1 = -26*x - s for x.
1
Let b(v) = 5*v**2 + 481*v - 972. Let f be b(2). Solve 0 = 2*w + f, 31*w - 26*w + 29 = -j for j.
-4
Suppose 20*u - 28 = 72. Solve 0 = -4*y + u*p + 7, -3*y = -0*y - p + 3 for y.
-2
Suppose 0*f = 2*f + 3*f. Suppose 2*r = -r - 15, -32 = -2*a + 4*r. Suppose 0*w = -w + 3, -a = -d - w. Solve 2*o + d*h - 8 = f, 2*h - 8 - 4 = 2*o for o.
-2
Let d = 5702 - 5625. Solve 2*f + 22 = -3*t, 72*t - 20 = d*t for f.
-5
Let g be ((-72)/12)/(-3 - (9 + -10)). Solve -v - 2*c + 9 - 4 = 0, 0 = -v + g*c - 15 for v.
-3
Let o be ((-8)/(-12))/((-6)/63). Let i = o + 10. Suppose -4*v + 8 = -0. Solve v*r - i = -3*x - 0, 0 = -2*x - 5*r + 13 for x.
-1
Suppose -14*n - 3 = -16*n - 5*u, -3 = 3*u. Solve j - p = -2*p - 5, -n*j = -p for j.
-1
Let k(u) = -2*u + 32. Let c be k(11). Suppose 5*j - 499 = 3*n, -3*n = c*j - 5*j - 481. Let y = 102 - j. Solve 3*l = -4*m - 19, m - 10 = y*m - 2*l for m.
-4
Let b = -25279 + 25854. Solve -4*a + 5*m + 28 = 0, 576*a = b*a - 3*m - 10 for a.
2
Let h = -59 + 59. Suppose h = 2*c + 3*l - 43, c + 3 = -2*l + 25. Suppose c = 5*g - 40. Solve -u + 2*a = -0*u + 3, 4*a - g = 0 for u.
3
Let c(d) = -d**3 + d**2 + 42*d + 96. Let f be c(