 Solve -7*s - z - 12 = 0 for s.
-5
Let h = -5828 + 5853. Solve h*a = -12 + 62 for a.
2
Suppose -2*m - 4*o + 6540 = -878, -5*m + 4*o + 18433 = 0. Solve 4*t - m = -3685 for t.
2
Let x(y) = 10*y**2 + 306*y - 65. Let v be x(-35). Solve -v + 1405 = -14*s for s.
5
Suppose 0 = -3*c + 7 - 1. Suppose 0 = 3*a - 103*u + 99*u - 22, a + 2*u - 24 = 0. Suppose -5*r - c*r = -a. Solve -r = -4*m - 18 for m.
-4
Let m = -10 + 21. Let j(o) = 2*o**3 - 3*o**2 + 109*o - 340. Let b be j(3). Solve m*l - b*l = 6 for l.
-2
Let t be ((1/(3 + -4))/(-1))/(-1). Let l be ((-3)/((-12)/(-19)))/(t/16). Solve -l*u = -78*u + 4 for u.
2
Let x = -4416 - -4423. Solve -17*o - x*o = 0 for o.
0
Suppose -27*p - 2312 + 2528 = 0. Solve -9*r = -p*r for r.
0
Suppose 3*l - 5 = -3*a + 2*a, -4*a + 5*l + 3 = 0. Suppose a*r = 15 - 3. Solve 4*g - g = -r for g.
-2
Let o(d) = -21*d - 7. Let s be o(-1). Let k = -5 + s. Let a = k - 6. Solve -a*j + 8 = -1 for j.
3
Suppose 131*w = -81*w + 33708. Solve -5*k + w = 129 for k.
6
Let t be (0 - -24)/6 + -157. Let m = 156 + t. Solve -m*z + 6 = -z for z.
3
Let u(l) = 3*l + 22. Let n be u(-10). Let g be (-5 - 2*n) + 3. Solve -t + g = 12 for t.
2
Suppose 10 + 14 = 6*b. Let o be (0*((-10)/b + 2))/2. Solve o - 5 = -5*m for m.
1
Let x(l) = -l**2 - 6*l - 5. Let r be x(-4). Let n(a) = -a**3 - 10*a**2 + 2*a + 46. Let u be n(-10). Suppose -63*t = -u*t - 148. Solve g + t - r = 0 for g.
-1
Suppose 4*k - 16 = 0, 0 = 3*f - 3*k - 331 - 203. Let i = -182 + f. Solve i = 3*v - 0*v + 6 for v.
-2
Let b(v) = -3*v + 25. Let w be b(3). Let z = w + 11. Solve -9*r + 0 = z for r.
-3
Suppose 74*t = -11*t + 1275. Solve -t = -21*g - 99 for g.
-4
Let m be (2646/(-504) - (1 - 7))/(6/160). Let o(s) = -s**2 - s + 5. Let h be o(0). Solve 0 = -5*u - m + h for u.
-3
Let b be (2/10 + (-336)/80)/(-2). Suppose -b*d = -4*d + 5*p - 11, 5*p - 19 = -2*d. Solve -d*t - 4 = -0 for t.
-2
Suppose 2*g - 2*o - 2 = 0, 914 - 932 = -4*g - 3*o. Solve g*a = 24 - 30 for a.
-2
Suppose -4*y - 4*m + 27 = 3, 2*y = -m + 7. Suppose 5*r - 2*u - 14 = 0, -4*r + y + 5 = u. Solve 1 = r*g + 7 for g.
-3
Let i be (-72)/(-10) + 12/(-420)*7. Let u(s) = -3*s**3 + 6*s**3 - 2*s - 6*s + 8 + 8*s**2 - 4*s**3. Let m be u(i). Solve -a - m = 1 for a.
-2
Let z = -27859 - -27860. Solve z - 155 = 22*r for r.
-7
Let l be (-1 - (-15)/20) + 27/12. Let a be -3*(8/18)/((-3)/36). Let w be 3/2 - (-24)/a. Solve 15 = -l*t - w*t for t.
-3
Let r(f) = 2*f**3 - f**2 - 5*f + 48. Let x be r(0). Solve 0 = -12*p + 4*p - x for p.
-6
Suppose -34*p = 4*f - 30*p - 2492, -2*p = -14. Solve -39*k - f = 38*k for k.
-8
Suppose -437 = -6*p + 7. Suppose -3*s + 2*z - 24 = -p, 5*s - 82 = 2*z. Solve s*i = 17*i - 1 for i.
1
Let p(u) = 2*u**2 + u - 2. Let m be p(-3). Let y(n) = -n**3 - 37*n**2 - 2*n - 44. Let l be y(-37). Suppose 2*t + m*t = l. Solve t*c - 15 = -c for c.
5
Let o be (-576)/(-26) + 4*9/(-234). Let q(h) = h**3 - 21*h**2 - 20*h - 40. Let i be q(o). Solve 0 = -i*w + 7*w + 3 for w.
-1
Let i(c) = -c**3 + 14*c**2 - 12*c + 2. Let j be i(13). Let y = 84 + -54. Suppose 5*g = -g + y. Solve -g*f = -0 - j for f.
3
Suppose 5*o = l - 128, 6*l + 3*o - 571 + 1 = 0. Solve -15*i - l = -23 for i.
-5
Let g be 1*(32/(-28))/((-2)/7). Suppose 31 = g*c + 7. Solve c*j + 47 = 17 for j.
-5
Let d be 4 - (-1)/(2 - 1)*-592. Let f = d - -594. Solve -f*j + 3*j = 0 for j.
0
Let j = -2016 + 2020. Solve 0 = -j*d + 475 - 459 for d.
4
Suppose 2*o - 50 = -3*o. Let g = -4 - -4. Solve -5*s + o = -g for s.
2
Suppose 41 = 2*r - 117. Solve g + r = 81 for g.
2
Suppose 4*c - 8 = 16. Let w = -2 - -4. Let s(m) = m**3 - 3*m**2 - 20*m + 50. Let q be s(5). Solve -w*x + c = -q*x for x.
3
Let n = 19 - 11. Suppose -n*x + 7*x = 0. Suppose x = -2*t + g + 10, 16 = 3*t - g - 0*g. Solve -t*j = -j for j.
0
Let l(z) be the third derivative of z**6/120 - z**5/60 - z**4/12 - 4*z**3/3 + z**2 - 19. Let x be l(3). Solve -5*n = -x*n for n.
0
Let y be (-330)/(-18) - 2/6. Let d be (-12)/y - (-6)/9. Suppose -3*o + 2 = -d*o - i, -2*o - 16 = -5*i. Solve o*b = b - 4 for b.
-4
Suppose 1701 = 4082*p - 4061*p. Solve 24*k = -3*k - p for k.
-3
Let g(u) = -u**2 - 9*u + 3. Let b be g(-9). Let i = 140 - 125. Suppose 0 = -3*w - i, 0 = 2*v - b*w + 5*w. Solve v*n - 2 = 4*n for n.
2
Let d(z) be the first derivative of -z**4/4 - 2*z**3 + z**2/2 - 13*z + 3. Let p be d(-6). Let k = 21 + p. Solve -k*l - 20 = -6*l for l.
5
Suppose -i - 3*w - 292 = -288, -2*i + 5*w + 14 = 0. Solve i*y = 12*y - 4*y for y.
0
Let m(x) = 12*x + 10. Let u be m(-2). Let y be u/10*(-14 - (1 + 0)). Solve -5 + y = -4*p for p.
-4
Let o = -307 - -28. Let u = o + 311. Solve u*d = 36*d - 12 for d.
3
Let z = 52 - 53. Suppose -54 = 5*d - 14. Let o be d/(z - 1/(-2)). Solve -o = -4*x - 4 for x.
3
Let d(f) = f - 3. Let m(j) = -7*j + 26. Let q(g) = 6*d(g) + m(g). Let n = -11 + 9. Let a be q(n). Solve -15 = -5*i + a for i.
5
Let m be ((-481)/(-91) + -7)*(-7)/2. Let g be (0 + 0)/(-4 + 1). Solve 14*r - 17*r - m = g for r.
-2
Let i(c) = -1162*c + 4731. Let a be i(4). Solve a - 71 = -4*r for r.
-3
Let j(x) = -x**2 - 68*x - 291. Let k be j(-63). Solve 0 = -k*n - 35 + 131 for n.
4
Suppose 3*x + 2*g - 10 = 0, 23*x + 3*g - 15 = 26*x. Solve x = -34*f + 46*f + 60 for f.
-5
Let b be 3390/20*(-4)/(-6). Let c = b - 172. Let r = c + 61. Solve 4*t + 18 = r for t.
-4
Let w = 920 + -890. Let h = -69 - -69. Solve h = 3*t + 15 - w for t.
5
Suppose 72*j = -114*j + 79*j + 67945. Solve -648*y = -j*y - 26 for y.
2
Suppose 58*u + 79*u - 10138 = 0. Solve 0 = -4*y + u - 82 for y.
-2
Let f(j) = 2*j**2 - 54*j + 152. Let h be f(3). Suppose 0 = 2*z + 3*z + 2*y - 56, -5*y = 5*z - 65. Let r = 13 - z. Solve 4 = r*a - h for a.
4
Let p(w) = 1518*w - 13639. Let s be p(9). Solve -s*r = -28*r for r.
0
Let h = -274 + 561. Solve -275 = -6*t - h for t.
-2
Let s be (-3 + 6)*(13 - 497/(-21)). Solve -18*t - 4*t = s for t.
-5
Let i be ((-4)/(-10))/(-2 - (-4266)/2130). Let z = -137 + i. Solve z*v = 16 - 6 for v.
2
Suppose 2*j - k = -345, 0*j + 3*j - 2*k + 515 = 0. Let g be 6 - ((-4)/(-6) + j/(-75)). Let q be 1*2/(-4)*0. Solve -g*o = -q*o + 3 for o.
-1
Suppose 4*z + 51 = 5*l, -2*l = z + 3*z + 2. Let i(u) = l - 9 - 3 - 10 + 4*u. Let m be i(5). Solve -2*s + 3 = -m for s.
4
Suppose 2*c = 5*b - 81, 3*c = 6*b - 10*b + 51. Solve -12*u + b = 3*u for u.
1
Suppose -2*k = -k - 4*m - 32, 0 = 2*k - 4*m - 48. Solve -k*b - 21 = 5*b for b.
-1
Let d be (18/(-5))/(-12 - 1794/(-150)). Solve 86*f = d*f - 12 for f.
3
Let d be 1*(3 + (0 - -4)). Let y = -234 + 236. Let g(t) = -t + 4. Let m be g(y). Solve -m*v = d + 1 for v.
-4
Suppose 42*q = 60*q - 198. Suppose -6*x + 79 + q = 0. Solve -10 = -10*m + x*m for m.
-2
Let r = -86 + 125. Let t = r - 35. Suppose -t*o + 40 = o. Solve o = b + b for b.
4
Let u = 3026 - 2887. Solve -145*v + u*v - 24 = 0 for v.
-4
Let y(c) = -2*c**3 - 29*c**2 + 11*c - 60. Let z be y(-15). Solve 0 = -z*f + 25*f - 25 for f.
1
Suppose 2392*o - 2378*o - 350 = 0. Solve o*u - 96 = 9*u for u.
6
Let g be (6825/(-378))/(-5)*3 - (-15)/(-18). Let p be 40/(2/(-6)*-2). Solve -g*s + p = 5*s for s.
4
Let v be 3 + 2 + 0 + 2. Let j be 3 + -3 + v + 0 + 3. Suppose -j*n + 20 = -6*n. Solve 0 = -3*i - n + 2 for i.
-1
Suppose 2*g = c - 11, -c = 3*g - 56 + 45. Solve 22*b + 99 = -c for b.
-5
Let g = -1043 - -986. Suppose -69 = 2*h + 41. Let r = h - g. Solve -r = 2*m + 4 for m.
-3
Let z be 5 + (-164)/(-16) + (-1)/4. Let y be (6/(-15))/((3/(-1))/z). Suppose -y = -3*c + 7. Solve 0 = -2*r - c*r - 10 for r.
-2
Let i = 8909 + -8907. Solve i*o - 7 - 7 = 0 for o.
7
Let h(l) = 3*l**3 + 59*l**2 + 38*l + 5. Let a be h(-19). Solve a*o = -185 + 195 for o.
2
Suppose 273*h = 275*h + i - 5, -25 = 2*h - 5*i. Let l(n) = -n**3 + n**2 + n + 3. Let w be l(0). Solve h*f + w = -3*f for f.
-1
Let w(h) = h**3 - 15*h**2 + 20*h - 50. Let q be w(14). Suppose q*j = 156 + 150. Solve -5*t - j = -2*t for t.
-3
Let s be 2/6 - 1*(56/(-24))/(-7). Solve 123*a - 125*a + 2 = s for a.
1
Suppose 0 = 5*n - 42 + 17, 5*n + 15 = 2*v. Suppose 6 = -18*k + v*k. Solve -3*x + k = -12 for x.
5
Let h(w) = -4*w - 113. Let t be h(-29). Suppose -t*v + 118 = 2*c, 3*c - 121 - 36 = -4*v. Solve 39 = -s + v for s.
1
Suppose -2*n - 1907*o + 86 = -1911*o, -5*o - 82 = 6*n. Suppose 8*x - 3*x - 25 = 0. Suppose 3*u - 8 = -2. Solve x = n*z - u*z for z.
5
Let x be (-18)/(-5) + 111/(-185). Suppose -x*b = 0, -5*p + 52