8 - 43 = a for s.
-5
Let t = 251 + -249. Suppose t*f + 12 = -4*x, -33 + 13 = 5*x. Solve 3*o + 2*j - 2 = 0, 6*j + 2 = -3*o + f*j for o.
2
Let o(r) = r**2 + 3*r + 27. Let g be o(6). Let p = -84 + g. Let x be (p/6)/((-2)/16). Solve -2*t = -2*k - x, -2 - 3 = 2*k - 3*t for k.
-1
Suppose -4*j + 48 = 4*b, -10*j - 4*b = -0*b - 96. Solve 2*v = r - j, -5*v = r + 8 + 5 for r.
2
Suppose 0 = d + 2, 3*x - 2*d - 3*d = -1232. Let a = x - -417. Solve 5*u = 3*t - 31 - 6, u = a*t - 17 for t.
4
Suppose -4*u + 138 = -3*p, 5*p - 3*u = 99 - 340. Let h be 24/(-6 - -2)*p/60. Solve -2 = 3*v + x, -v + h*x - 14 = 2*x for v.
-2
Let q be ((-4)/6)/(54/(-3240)). Let b be ((-29)/116)/((-2)/q). Solve 3*k = -y + 5, -b*k = y + 3*y - 20 for k.
0
Let d(l) = 2*l**2 + 4*l + 5*l**2 - 8*l**2 + 17. Suppose -24 = -5*u + 6. Let f be d(u). Solve 4*b + 20 = g + g, -2*g + f*b = -23 for g.
4
Let w = -20075 - -20085. Solve -2*d - 18 = -4*n, -w + 33 = -n - 5*d for n.
2
Let y be (-2)/4 - 60/(-24). Suppose 8 = -3*l + 4*f, -2*f + f + 2 = -y*l. Solve 0 = -2*u + 3*q - 5 + 8, u - 2*q - 3 = l for u.
-3
Suppose 0 = 103*u - 113*u - 3070. Let i = u - -311. Solve 4*s = i*q + 24, q + 2*q = -3 for s.
5
Suppose 1571 = -42*z + 1739. Solve -4*d - 20 = -5*k, -8 = z*d - 8*k + 6*k for d.
0
Suppose 18*k - 283 = -139. Solve -h + 3*m - 12 = 0, 4*m + 3 = -13*h + k*h for h.
-3
Let r be 24/8 - -6 - -10*(-8)/20. Solve 0 = -a - 5*t + 30, a - 5 = -t + r for a.
5
Let q be 8 - ((-4)/38 + (-582)/(-114)). Solve w - 4 = q*k - 3, -5*k = 0 for w.
1
Let t be ((-15)/2)/(6/(-8)). Let s = t - 2. Suppose 63*c - 28 = 56*c. Solve c*k = 6*u - 3*u - s, -u - k = 9 for u.
-4
Suppose 27*y + 46*y - 1103 = 138. Solve -3*j + 0*j = 4*r + y, -2*r - 12 = -2*j for j.
1
Let t = -3093 - -3098. Solve -t*p + 25 = 0, 0 = -2*s + 99*p - 100*p - 5 for s.
-5
Suppose 6*d + 19*d - 276 = 13*d. Solve -4*w - c - 3 = 0, -2*w - d = c - 22 for w.
-1
Suppose -5*m = -4*q + 121, -36 = 4*m - 5*q + 68. Let y be (-7)/m*54*1. Suppose 0 = 3*d - y + 9. Solve -d*b = -h + 2*h + 20, 3*b + 10 = h for b.
-5
Suppose 11185*c = 11266*c - 243. Let x be (-1)/(-4) - (-38)/8. Solve -x = c*v + 2*r, -v - 4*r + 0 = 5 for v.
-1
Let t = 4419 - 4415. Solve 2*u - 3*b + 3 = -t, 4 = 4*b for u.
-2
Let q = -20332 - -20349. Solve q = 2*o + 4*w + 7, 3*w - 4 = -5*o for o.
-1
Suppose 0 = 136*m - 131*m + 2*i - 22, 2*m = -2*i + 16. Solve 0 = -5*t + 5*v - v - 25, 0 = -3*t + m*v - 15 for t.
-5
Let h = 44923 - 44905. Solve -12*s + 13 = -a - 14*s, -a = 3*s + h for a.
-3
Let s be (-13 + (-2 - 2))*-1. Suppose 0 = -s*b - b + 18. Solve 0 = 3*i - 5*i - 4*a + 2, -3*a = i - b for i.
1
Suppose 4*i - 6*h = -h + 993, -4*i - 5*h = -943. Let o = i - 239. Solve -o*y - 20 = -5*d, -5*y = -d + 1 + 3 for d.
4
Let u = -7 - -9. Let i(c) = -2*c**2 - 10*c - 6. Let j be i(-4). Suppose -j + 12 = u*z. Solve -9 = -2*q + z*a, -3*q + a = -2*a - 9 for q.
2
Suppose 18*q - 22 = 16*q. Let l = -2 - -9. Suppose l*d = q*d. Solve -r - 4*r = -20, d = -2*o + 3*r - 8 for o.
2
Suppose -2*x + 10 = 4*b, 4*b + 4*x - 23 = -7. Let u be (-24*1/(-7))/(b/7). Solve 4*k + 2*g - 5*g = -u, 5*k = -3*g - 3 for k.
-3
Suppose 3*s = -5*x - 0*s - 17, -5*x - 2*s - 18 = 0. Let k(f) = f**3 + 3*f**2 - 7*f - 7. Let j be k(x). Solve 4*w + 3 = -v, -2*w + 2*v - j = 9 for w.
-2
Let g be (-5)/((-57)/133*(-10)/(-6)). Solve g*q - 8*q = 4*p - 4, -4*q - 4*p + 4 = 0 for q.
0
Suppose 3*g - 22 = 26. Suppose -4*y - 3*j + 23 = 0, 3*y - j = 3*j + 11. Suppose -5 = -y*k, 5*k - g = -5*v + 9. Solve v*x = 3*m + 1, 4*m + 2*x = -m - 19 for m.
-3
Let p be ((-2)/16 + 119/136)*28. Let r be 15 + (-9 - -1) + p. Solve -s = g - 4*g + 14, -5*g - 3*s = -r for g.
5
Suppose -4*o - 22*v + 17*v + 85 = 0, -v = 5*o - 38. Let u = 12 - 0. Solve o*b = -y - 20, b + 2*b + 5*y = -u for b.
-4
Let v be 6 + 5 + -3 - 5. Solve 0 = 5*c - 20, v*x - 2*x + 4*c = 20 for x.
4
Let w be (-18)/(-21)*(-168)/(-48). Let a(f) = 2*f**3 - 6*f**2 - 8*f + 24. Let g be a(w). Solve -3*y + g*x + 1 = -2*x, 11 = -y - 5*x for y.
-1
Suppose 10 = -5*x, -15*n - 3*x - 15 = -18*n. Let c(r) = -r + 11. Let y be c(7). Solve 3*j + 3*p + 24 = -0*p, -n*p + 11 = -y*j for j.
-5
Let q(a) = 13*a**2 - 41*a + 64. Let u(r) = -3*r**2 + 10*r - 16. Let s(b) = 2*q(b) + 9*u(b). Let k be s(4). Solve f - 6 = 3*c, 3*f - 2*f + 4*c + 8 = k for f.
0
Suppose 208*h - 204 = 106*h. Solve -i + 5*y = -12, -h*i + 10 = -20*y + 17*y for i.
2
Let w be (8 - 5)/((-6)/(-4)). Suppose -10 = 5*t - 3*r, w*t - 14 = 3*t - 3*r. Solve -19 = -m + 5*p + t, -5 = -2*m + 3*p for m.
-5
Let s be (4/6)/((-18)/(-351)). Let k(z) = z - 1. Let x(d) = -40*d - 1. Let w(p) = 3*k(p) - x(p). Let n be w(1). Solve -7 = -m - 2*f, -m + 5*f - n = -s for m.
-3
Suppose 0 = c - 22*c + 189. Solve -c = -3*o, -4*r + 9 = -r + 5*o for r.
-2
Let n(w) = -w**3 + 7*w**2 - 4*w - 9. Let d be n(6). Suppose 4*h + 7*z - d*z = 148, -2*z = 2. Let u = h - 35. Solve -4*l - 8 = 4*s, -u*s = -l - 4*l + 30 for l.
3
Let y(w) = -179*w + 1611. Let d be y(9). Solve -2*x - 15 = -5*b + 2*x, 4*b + 2*x + 14 = d for b.
-1
Let h be (-12)/18 - (-3 + (-17)/3). Suppose 6*q + h = 8*q. Solve 0 = -q*c + 4*m + m + 25, -9 = -2*c - m for c.
5
Suppose 0*p + 1060 = 5*p - 5*d, 0 = -4*p - d + 843. Let b = p + -210. Solve 5*y + 3*o - 29 = 0, 4*o + b = 13 for y.
4
Let w(t) = 4*t**2 + 40*t + 76. Let o be w(-2). Solve -2*p = 3*a + o, 6*p - 5*p = -2*a - 8 for a.
-4
Suppose 21*t - 3*q = 15*t + 27, 3*q - 9 = 0. Solve 0 = -2*n + 4*i - t, 0 = 11*n - 10*n + i for n.
-1
Suppose 15 = -13*z - 37. Let t be z*(-1 + 2)*234/(-52). Solve 0 = -3*o + 3*b + 3, -2*b = -o + 4*o - t for o.
4
Suppose -5*s = -4*i + 3*i - 11, i + 2*s = 3. Let x be i + -1 + (4 - 0). Solve h + 2 = -0, -5*n - x*h = -21 for n.
5
Let m(v) = -13*v**2 + 5 - 4*v**2 - 42*v - v**3 - 2*v**2 - 3*v**2. Let d be m(-20). Let w = d + -37. Solve 2*z = -4*x - 4, 0 = 3*x - w*x - 3*z - 7 for x.
1
Let l be (1 - 7)/(23 + -22). Let a be (-21)/14*8/l. Let p = a + 0. Solve j - k + 7 = p*k, 0 = -4*j + 5*k - 14 for j.
-1
Let s = 496 - 408. Suppose 0 = 88*h - 80*h - s. Solve -3*b + 2 + h = -4*d, 0 = -2*b - 4*d + 2 for b.
3
Let t(r) = -r**2 + 6*r + 4. Let v(b) = -11*b + 72. Let c be v(6). Let u be t(c). Solve -s + 3*h = -10, -u*s + 2*h + 19 = -3*h for s.
1
Suppose 0 = 79*u - 577 + 261. Solve 4*h = -3*i + 21 + 4, -h = u*i - 16 for i.
3
Suppose 37*v + 104*v + 30*v - 855 = 0. Solve -5*o - v*m = -10, 0 = 3*o + 11*m - 10*m for o.
-1
Let l(x) = -6*x + 101. Let j be l(16). Suppose j = -15*r + 16*r. Suppose -2*p - 15 = -7*p. Solve -p*w - 2*b - 27 = -6*b, r*b = -w + 10 for w.
-5
Let v = -89 - -176. Suppose t = 93 - v. Suppose -t*b = -9*b + 12. Solve -3*a + b*z + 32 = 0, z + 2*z - 5 = -5*a for a.
4
Let g = -2062 + 2066. Solve n + 4 + 5 = -5*k, 2*k + g*n = 0 for k.
-2
Let r be 4/10 + (-4050)/125. Let g be (-328)/r + (-3)/12 - 5. Solve -3*p + 9 = 0, g*x + 4*p = 2*p + 31 for x.
5
Let d be 11466/15 - (2 + (-16)/10). Suppose -13*m + d = -575. Let f = m + -98. Solve 3*p + f*i + 26 = 5*p, i = -4 for p.
3
Let o(t) = -t**3 + 12*t**2 + 11*t - 19. Let c be o(13). Let q = 45 + c. Suppose -6*v = -q - 12. Solve v*m + 5 = -5*z, 0*m - 2*m = 4*z + 4 for z.
-1
Let l(i) = i + 1. Let u(x) = -5*x + 48. Let r be u(9). Let j be l(r). Solve -2*q + 22 = 4*f, -5*f + 4*q = j + 1 for f.
3
Let m = 10661 - 10658. Solve -18 = -4*a - 3*x - 7, m*a = 3*x + 24 for a.
5
Let g(a) = 6*a - 10*a - 4*a + 113 - 73. Let p be ((-20)/6)/((-8)/12). Let w be g(p). Solve w = 2*k - k + 3*u - 6, -2*u + 4 = 3*k for k.
0
Let t be -7 - 3/((-3)/4). Let f be 21 - -2*(t + 2). Suppose -f*v = -17*v - 4. Solve -2*q = -4*q, 0 = v*y - 2*q + 4 for y.
-2
Let u be 4 + (-225)/(-30) + (-1)/2. Solve 3*j - 7*j = 2*z + 6, -j - 3*z = -u for j.
-4
Suppose 0 = -5731*b + 4590*b. Let a be (1 - 2) + -1 + 6. Solve 3*o = -a*d - 6, 0 = -o + 5*d - b - 2 for o.
-2
Suppose 3432 = 21*b + 3390. Solve b*c + 4*u = 18, 0 = -21*u + 19*u + 10 for c.
-1
Let d(w) = -2*w**2 + 28*w - 23. Let b be d(13). Suppose -4*a = -16, -2*l + a = -a + 2. Solve 3*x = -l*r + b + 12, 0 = -2*r + 2*x + 10 for r.
5
Suppose -4*b - x = -17, b - x = -4*b + 10. Let t be 0/9 - (0 + (-9)/b). Suppose 68 - 16 = 4*a. Solve 5*z = -k - 19, -t*z + 0*z = k + a for k.
-4
Suppose 38*g + 15 = 41*g. Suppose t - 3 = -3*j - g, 0 = -4*j - 3*t - 6. Solve -d + 3*d - 3*o - 4 = j, d = -4*o + 2 for d.
2
Let d(o) = 265*o - 3442. Let k be d(13). Solve 0 = -4*v + 7