21 + 15630. Solve -8*f + 6 = 2*n - g*f, 14 = n + 5*f for n.
4
Let v(x) = x**3 - 13*x**2 - 55*x + 116. Let p be v(16). Solve -d = -3*s - 4, -10*d + 5*d - 2 = -p*s for s.
-2
Suppose 0 = -8*f + 6*f + 4*m - 2, f = 4*m - 7. Suppose 3*c = 8*s - f*s + 3, -4*s + 12 = 0. Solve 2*n - 28 = c*d - 2*n, 3*d - 5*n = -27 for d.
-4
Let j = 44 - 47. Let t be 65/2 + j/(-6)*-1. Suppose 6*o - t = -8. Solve -n = o*g + 1, 3*g + 19 = 7*g - 3*n for g.
1
Let w(a) = 4*a**2 + 30*a - 11. Let l be w(-7). Let g be 5/l + (-7)/(-35). Let k be (2 - -3) + -1 + 0. Solve 5*i - 7*i = -5*u - k, 4*i + 12 = g for u.
-2
Suppose -17*z + 23*z + 25 = 11*z. Solve -18 = -4*s - 3*o - 15, -4 = z*s - 4*o for s.
0
Let y(t) = t**2 + 23*t + 129. Let a be y(-14). Suppose x + c = 6, 4*x - 9*x + 14 = -a*c. Solve 22 = 5*z + 2*d + d, -2*z + 2*d - x = 0 for z.
2
Suppose 0 = 69*z - 8*z - 183. Solve -5 = -2*s - z*m, s + m - 2 - 1 = 0 for s.
4
Suppose 17*p - 55 + 19 = 15. Solve 2*m - 7*m = -3*l - 20, -3*l = -p*m + 12 for m.
4
Let y(g) = -6*g - 6. Let j be y(-1). Let x be 585/(-130)*(-4)/6. Solve j = -x*m + 4*k, 3*m - 7*m = -4*k for m.
0
Suppose -3*s + 7 - 1 = 0. Suppose 4*a = n + 28, -3*a + 36 = 3*n - 0*n. Suppose s*g = 2*l - 0 + 6, l = 2*g - a. Solve 3*k = 0, l*y = -0*k + 2*k - 2 for y.
-1
Suppose 19*p = p + 54. Suppose -2*x + w = -46, x + p*x - 88 = w. Solve 5*i = -3*c - 17, -4*i = i + 4*c + x for i.
-1
Suppose -94*b + 142*b + 116 = 106*b. Solve 42*m - w = 43*m + 3, 6 = 3*m - b*w for m.
0
Let u be (-35)/15*3 + 0 + 4. Let p = 95 - u. Suppose -3*g - p = -10*g. Solve -2*i - 20 = i + 4*c, 3*c - g = 5*i for i.
-4
Let t(c) = -4*c - 106. Let x be t(6). Let k = -127 - x. Solve -l - 13 = -5*a + k, 5*a - 18 = 3*l for l.
-1
Let h be (-10)/(-2) - (-10)/(-2). Let v be (-4)/(-8)*h/13. Solve 2*w - 4*q - 28 = v, w - 4*q - 4 = 5*w for w.
4
Let y = 7 - 4. Let q(w) = -w**2 - 19*w + 3. Let t be q(-19). Let h be (34 - 4)/(-6) + (16 - t). Solve -h = 2*i, -y*i = -r + 4 + 6 for r.
-2
Let t be 1*16 + 208 + -220. Let d be (-26)/(-8) - 1/4. Suppose d*l = -j + t*j, -8 = -4*j. Solve -l*y + 3 = v + 7, 2*y - 3*v = -12 for y.
-3
Let t(n) = -2*n**3 - 196*n**2 - 8*n - 779. Let q be t(-98). Solve -8*s + q*i = -13*s + 25, 5 = s + 5*i for s.
5
Suppose 22*o + 66 = 198. Suppose -o*l - 30 = -12*l. Solve 2 = -2*j - p, -4*j + l*p + 0*p = -10 for j.
0
Suppose -2*h + 5*j + 19 = -5*h, 4*j = 4. Let x(s) = -11*s - 86. Let o be x(h). Solve p = -2*p + r + 13, 4*p + o*r - 24 = 0 for p.
5
Let b = 24984 + -24971. Solve 18*y = 5*i + 19*y - 11, -i - b = 4*y for i.
3
Suppose a + 5*w = 2*a + 14, -2*w = 4*a - 32. Suppose -8*x + a*x = 3*z + 6, 0 = 3*x + 5*z + 10. Solve x*i - 4*i - q = -4, 8 = i + 2*q for i.
0
Let t = 538 + -533. Solve t*v + 15 = 5*u, -4*v = -2*u + 4*u + 6 for u.
1
Let f(s) = 59*s - 1050. Let r be f(20). Solve -133*t + r*t - g + 16 = 0, 12 = 4*t - g for t.
4
Suppose -12*n + 47 = -1. Suppose -37*g + 2*s - 2 = -40*g, 4 = n*s. Solve 2*z + 14 = -4*h, g*z + 35 = -4*h + 5*z for h.
-5
Let u = -762 + 783. Solve 2*l - o = 5*l - 13, 0 = -3*l + 3*o + u for l.
5
Suppose 4*z = z + 6. Let n be (-140)/(-14) + z*1. Let j be (-16)/(-6)*(15/(-10) + 3). Solve -3*g - 7 - 10 = k, j*k = 2*g - n for g.
-4
Let b = -15177 - -15179. Solve -2*v = -8*k + 4*k + b, -2*v - 4 = -5*k for v.
3
Let f = 9 - 7. Suppose 6*v - 17 - 97 = 0. Let o be 2/(-12) + ((-2166)/(-36))/v. Solve -o*s - 9 = r, -6 = -0*r + f*r + 2*s for r.
0
Let g(i) = -23*i + 36. Let u be g(2). Let r(q) = 26*q + 263. Let s be r(u). Solve s*b + 6 = 3*c - 0, -5*b = 25 for c.
-3
Let v = 158 + -151. Let z = 14 - 22. Let r = -6 - z. Solve -v = -0*g - r*g + l, -4*l = 4*g - 8 for g.
3
Let d be 5/4 + (-195)/(-52). Let l = 23 - 21. Solve 0 - 5 = -2*g - z, -d*g + l*z = -17 for g.
3
Let i(v) = 67*v + 184. Let x be i(-12). Let y = -615 - x. Solve 0 = -y*u - 3*c - 11, 2*u + 2*c + c = 1 for u.
-4
Let a = -705 + 723. Solve 0 = -2*p - 5*n + 18, a*p + 3*n + 6 = 21*p for p.
4
Suppose -23*f = 21*f - 7568. Solve 6 = -f*g + 175*g - 3*a, 2*a - 10 = -5*g for g.
2
Let f = 2517 + -3669. Let x be f/(-54) + (-2)/(-3). Let i = x + -17. Solve -i*h = 4*y - 8, -5*h = -2*y + 7 - 33 for y.
-3
Let h = -410 + 545. Let w be -2*((-108)/h)/((-4)/(-10)). Let n be 0 + (-2)/(-2) - -1. Solve -x + w*o - 4 = 0, 0 = n*o - 4*o for x.
-4
Let b be (24/(-160)*-636)/(3*(-1)/(-15)). Solve -474*q - 2 = l - b*q, -7 = l + 2*q for l.
-5
Let i = 198 + -190. Solve w = -v + i, 2*v = -w - 1 + 13 for v.
4
Suppose -9*a + 530 = -4*a. Let u(f) = -6*f + 107*f**3 + 4*f**2 - a*f**3 - 5 - 1. Let h be u(-3). Solve -2*y + 4*n + 14 = -0*y, 2*y + h = -3*n for y.
-3
Let l = -195 + -232. Let j = -403 - l. Solve -3*o = -3*r, -r + 5*o + 4 = j for r.
5
Let d(p) = p + 91 + 5*p - 4*p - p**2 + 4*p. Let m be d(-7). Solve -2*l - 4*a - 25 = 5, m = -4*l + 5*a + 5 for l.
-5
Let b be 3 - (20/(-4) - -4). Let q be (10/(-15))/((-3)/(54/b)). Suppose 4*j = -0*h - q*h + 20, 2*j = 2*h - 4. Solve j*w = -4, -5*p - 2*w = -15 + 4 for p.
3
Suppose 36 = -92*w + 101*w. Suppose 2*c - 3*m - 10 - 16 = 0, -2*m = w. Solve -4*n - n = 3*k + c, 2*n = 2*k - 20 for k.
5
Suppose -v = 5*d + 4*v - 35, 0 = 4*d - 4*v - 4. Let k(s) = 95*s + 9. Let r be k(4). Let x = r - 387. Solve d*p + m + 0 = -5, x*m - 2 = 4*p for p.
-1
Suppose 155*n - 272*n + 1056 = -133*n. Let w(u) = -16*u + 4. Let s be w(-4). Let o = n + s. Solve o*k - 6*k = -4, 4*r + k = 1 for r.
0
Suppose 50*g + 45 = 65*g. Solve 30 - 17 = -g*s - 4*l, -l = 1 for s.
-3
Suppose 2*o - 32 = a + 3*a, 4*o = -a + 73. Let s = -10 + o. Suppose -s = r - 5*r. Solve -r*i + 0*i = -5*k - 4, k = -5*i + 10 for k.
0
Let u = 22723 + -22714. Solve -10 = 2*b - 3*s, -b - 1 = -4*s + u for b.
-2
Let v = -13 - -41. Suppose 3*j - 10*j = -v. Let a be (-114)/(-22) - 8/44. Solve -j*f = -0*f + k + 12, 4*k = -a*f - 15 for f.
-3
Let y(r) = -r**2 - 15*r - 26. Let j be y(-13). Suppose j = -4*s - s - 6*s. Suppose s = d - 20 + 6. Solve 0 = 5*w - 2*m + 6 - 28, -3*w = -2*m - d for w.
4
Suppose -4 = 59*v - 58*v. Let x(q) = -4*q**2 + 2*q**3 - 3*q**3 + 2*q**2 + 5*q + 4. Let u be x(v). Solve 2*l = 5*z + 11, -4*z - u = -l + 3*l for l.
-2
Let m(o) = -o**2 + 39*o + 105. Let t be m(41). Suppose 14 = 4*y - 2*v - 4, 5*y - 3*v - t = 0. Solve -z = y*p + 2*z - 23, -5*z + 5 = 0 for p.
5
Suppose -3*v + 90 = 3*i - 0*i, 4*i - 3*v - 113 = 0. Solve 31*q - i*q = 4*w + 6, -4*q + 4*w = 4 for q.
-5
Suppose -1932*v + 1936*v = 2*p + 24, 5*p + 30 = 4*v. Let k = 4 - -1. Solve -k*d - 12 = -4*i - 35, -i + d - v = 0 for i.
-2
Suppose v - 8 = -h, h - 3*v - 12 = 12. Solve -8 = -2*n + 3*y, 0 = 3*y + h - 6 for n.
1
Let v(r) = 65*r - 192. Let t be v(3). Solve 42*h + 27 = t*z + 38*h, h + 23 = 4*z for z.
5
Let t be (-7)/(-28) - (-1)/(8/566). Let h = t - 64. Suppose -4 = -h*v + 6*v. Solve -q + 6 = 2*p, 12 = v*p - 2*q + 5*q for p.
3
Let l be 120/10 + 2 + -7. Solve -5*n + 30 = 7*d - 4*d, d - 4*n = -l for d.
5
Let l(o) = -o + 2. Let s(c) = -41*c + 195. Let p(r) = -5*l(r) + s(r). Let u be p(5). Solve -5*t - 10 = u*v, -2*v - 2 - 2 = -3*t for t.
0
Let r = -7638 - -7640. Solve 3*i = -4*g + 3, 15 = 5*i + r*g + 10 for i.
1
Let o = 336 + -332. Suppose 2*t - 5*s - 25 = t, -o*s + 9 = 5*t. Solve 0 = -t*z + 25, -3*d - 9 = -7*d - z for d.
1
Let r be 13*117/63 + (-6)/42. Solve -g = 3*u + 4, -4*g - 4*u = -2*u - r for g.
8
Let a be (0 + -14)/((-2310)/525) - 2/11. Solve 6*d - a*u + 19 = 2*d, 2*u = -5*d + 5 for d.
-1
Suppose 2*z - 18 = -2*f, -4*f + 13 + 7 = 0. Solve -x + 6 = -z*b + 7*b, -1 = -b for x.
3
Let p be 1/(((-3)/(-3))/5). Let g be 13 - 3/(1 - (-2)/(-1)). Suppose -5*v - g = -v, a - 5*v = 29. Solve 0 = p*q, 2*i - 5*i - a = q for i.
-3
Let t(y) = -y**2 + 34*y - 9. Let l be t(41). Let x = l - -298. Solve -4*r + 2*v - 4 - x = 0, -4*r + 3*v = 9 for r.
0
Let v = -134 + 122. Let d be (2*5/(-10))/(3/v). Solve -d*f - 16 = 0, -2*q = 3*f - f - 2 for q.
5
Let x = 18 + -1. Suppose -4*g + x = u, 23 = 5*u + g + 14. Solve 0 = 3*o + 3*q - u - 5, 0 = -4*o + 4*q for o.
1
Suppose 5*d - 4*d - 10 = -4*a, 0 = 4*d + 8. Suppose -4*z + 2*h = -1 + 11, a*h = 2*z + 15. Solve z = -3*x + 5*x + 8, -5*x + 5 = -5*j for j.
-5
Let v = 176 - 170. Suppose -20*j = v*j - 442. Solve q - 4*h - 8 = 5*q, 4*h = 5*q - j for q.
1
Suppose 3*d - 2*n + 3*n - 17 = 0, 29 = d + 5*n. Let j = 10 + 21. Let v = 59 - j. Solve -12 = -4*r - 0*b - d*b, -4*r = -4*b - v for r.
5
Let b(z) = 20*z**2 - 13*z - 7. L