s.
-5
Let q be (35/(-21))/((-1)/3). Suppose 5*t - 143 + 58 = -q*i, -i = -5*t + 103. Solve -5*p + t = -p for p.
5
Suppose 0 = 25*s - 48*s + 92. Solve s*h + 4 + 0 = 0 for h.
-1
Let u(s) = -s**3 - 2*s**2 + 9*s + 7. Let g be (-40)/12 + (-8)/12. Let t be u(g). Solve 3*z + t + 0 = 0 for z.
-1
Let v(g) = -69*g - 16. Let q be v(0). Suppose 4*k - 16 = 0, b + 8 + 2 = 3*k. Let f be ((-33)/44)/(b/q). Solve -4*w + f = -7*w for w.
-2
Suppose -13*b + 20 = -19. Solve -8*g - 5 = -b*g for g.
-1
Suppose -o - 1 + 3 = 0. Let i(g) = -g + 17. Let v be i(14). Suppose v*t + 14 = 62. Solve 2*c - t = -o*c for c.
4
Let k = -10 - -16. Suppose 172*q - 162*q = 150. Suppose -l - q = -k*l. Solve 0 = -8*s + l*s + 15 for s.
3
Let k(p) = -p**2 - 12*p + 1. Let j be k(-12). Suppose j = 3*d - 11. Solve 0 = 2*v - d - 2 for v.
3
Suppose -29*y + 9 = -26*y. Solve -4 = -y*g + 8 for g.
4
Let n be -2 + 3 - (-24 - -21). Solve n = -2*j + 8 for j.
2
Let t be 1/(1 + 0) + 4. Solve t*d - 4 = 1 for d.
1
Let d(t) = -6*t + 36. Let b be d(5). Solve 4*p = -12*p + b*p for p.
0
Suppose -2*r + 44 = 3*x, -3*x - 2*r = 2*r - 46. Suppose -5*h + 1 = -x, -2*u - 2*h + 24 = 0. Solve 4*i + u = i for i.
-3
Let r = -117 + 120. Solve -r*a = -6*a + 15 for a.
5
Let d be 5*(-1 + 42/15). Let l(v) = -v**3 + 10*v**2 - 8*v - 7. Let h be l(d). Let r be (-1092)/(-147) - (-3)/(-7). Solve h*m = r*m for m.
0
Let v = 3 + 1. Let m(x) = -x**2 - 10*x. Let k be ((-5)/(-5) + -3)*5. Let f be m(k). Solve f = v*t + 15 + 5 for t.
-5
Let u be (1 - 3)*(-140)/35. Solve -9*z = -17*z + u for z.
1
Suppose 3*h - 5 = -m - 27, -20 = 3*h - m. Let r(o) = -3*o**2 - 13*o + 11. Let n be r(-6). Let s = h - n. Solve -4*d = -0*d + s for d.
-3
Suppose 0 = 132*s - 119*s - 13. Solve 5 = 2*i - s for i.
3
Let y(u) = u - 8. Suppose 3*g = -7*i + 2*i + 3, -5*i - 1 = -g. Suppose i = -m + 3*m - 18. Let t be y(m). Solve x - 2 = t for x.
3
Let h(o) = 27*o + 160. Let y be h(-4). Solve 52 = v + y for v.
0
Let d = -88 + 176. Let i = d + -85. Suppose 4*a - 13 = -4*t + 7, -4*t = -4*a - 4. Solve -w = -i*w + a for w.
1
Let c(s) = -s**2 + 6*s + 7. Suppose 0 = 5*n - 42 + 12. Let v be c(n). Let x = v + -1. Solve 0 = -g + x - 1 for g.
5
Suppose -4*g - 4*i = 232, -g + 4*i = 8*i + 58. Let b = -33 - g. Solve -n = -6*n + b for n.
5
Let a be 0/(-5 + 4 - (-1 + -1)). Solve a*w + w = -4*w for w.
0
Let y(w) = w**3 + 3*w**2 - 9*w + 11. Let q be 1/((4/5)/(-4)). Let s be y(q). Let n be (-1 - -2) + 0 + 1. Solve 4*h = n*h + s for h.
3
Let j(l) = -3*l - 6. Let c be j(-16). Let x be (-12)/c - 144/(-14). Solve x = -5*t - 0 for t.
-2
Let p(l) = 21*l - 96. Let f be p(5). Solve 22 = -f*u - 2*u for u.
-2
Let a(b) = -5 - 5*b - 2 + 1 - b + b**2. Let g be a(7). Let i = 2 - g. Solve 0 = f + 2 - i for f.
-1
Let y(k) = 7*k + 1. Let s be y(-1). Let z be (153/s)/17*(-8)/6. Solve 0 = z*m - 6 + 4 for m.
1
Let n = -14 + 11. Let r be 12/(-6) - 6/n. Solve r*i = -i for i.
0
Let f be (21/(-3))/(3/6). Let k = f + 18. Solve -a - 1 = k for a.
-5
Suppose 3127*h - 3119*h = 0. Let u = -7 + 10. Solve h = 4*w - 3*w + u for w.
-3
Let j(n) = 2*n**2 - 3*n - 10. Let v be j(-2). Suppose -2*b = -5*g - 43, g - 42 = -3*b + v*g. Solve 0 = -0*l - 3*l - b for l.
-3
Let a be (-238)/(-70) - 4/10. Let w = 6 + -2. Let f = -31 + 36. Solve a*l = w*l + f for l.
-5
Let k(x) = x**2 + 15*x - 13. Let l be k(-16). Suppose -5*q + l*y = 3, 0*y + 3 = -4*q + 3*y. Solve q*v = 3*v for v.
0
Suppose -36*t + 104 = -148. Solve -4*m - t*m = 3*m for m.
0
Suppose 0 = -5*h - 10 + 20. Solve -9 + 1 = h*u for u.
-4
Let g = 260 + -255. Solve 0 = -9*b + g*b - 4 for b.
-1
Suppose -4*g + 2*t = -0*t + 6, -4*t + 20 = 0. Let q = g - 9. Let h(n) = n**3 + 9*n**2 + 8*n + 5. Let d be h(q). Solve -5*v - d = -0*v for v.
-1
Suppose -k - 8 + 7 = 0. Let v be -1 + (-3 + 3)/k. Let p be 8/(3 - v) - -2. Solve 0 = -p*b - 4 - 4 for b.
-2
Let n(o) = -o**2 - 6*o - 6. Suppose 0*f + 4*g = f - 4, -4*f - 18 = g. Let t be n(f). Suppose -m = m + 4, 0 = 3*p - t*m - 13. Solve -p*c = 1 - 4 for c.
1
Suppose -5*y + 2*y - u + 16 = 0, u = 1. Solve -z + 20 = -y*z for z.
-5
Let o = 14 - 6. Suppose -o = -n - 3. Solve 5*p - 5 = n for p.
2
Let g be 4/(-7) + 130/7. Let t = g - 14. Solve -t*k - 6 = -2*k for k.
-3
Let c be 3 - (-56)/(-20) - 2156/(-20). Let l = c - 105. Solve -l - 5 = 4*u for u.
-2
Let a = -200 + 203. Solve -9 = a*t - 3 for t.
-2
Let q(p) = p + 6. Suppose -2*z = -5*u + 3*z - 30, -u = 5*z. Let y be q(u). Let w = -481 - -486. Solve -w*x - y = -11 for x.
2
Let k = 519 + -514. Solve -k*u + 26 - 6 = 0 for u.
4
Suppose 3*x + r + 85 = 5*x, 2*x - 3*r - 91 = 0. Solve 0 = 47*y - x*y - 6 for y.
1
Suppose d = -33 + 32. Let k(j) = -j**3 + 5*j**2 + 7*j - 7. Let s be k(6). Let h be 15 - 12 - (s - d). Solve -18 = -5*z - h for z.
3
Let s(a) be the second derivative of a**4/12 - 8*a**3/3 - 18*a**2 - 20*a. Let z be s(18). Solve z*f = f for f.
0
Suppose -5*a + 3 = -7. Let p be 6/(-15) - (-128)/20. Let z = p - 3. Solve -25 = -z*c - a*c for c.
5
Let a = 5 - 1. Let z(v) = -v**2 - 2*v + 4. Let o be z(-2). Suppose o*i + 44 = 3*t + 10, -i = 4. Solve r = a*r + t for r.
-2
Let u(x) = 3*x**3 + 167*x**2 - 57*x - 44. Let c be u(-56). Solve c*q = 11*q + 5 for q.
5
Suppose 0*r - 4*r = 0. Suppose r*i = -3*i + 21. Let k = 38 - 22. Solve -3*c = -i*c - k for c.
-4
Let f(j) = 14*j - 26. Let g be f(2). Solve -u + g - 6 = 0 for u.
-4
Suppose -15*q + 10*q + 32 = -4*u, 3*q + 3*u - 3 = 0. Solve q*c + 3 + 17 = 0 for c.
-5
Suppose 7*a - y = 5*a, -2*y = a - 10. Let j(t) be the third derivative of t**6/120 - t**5/30 + t**4/24 + 11*t**2. Let l be j(a). Solve -5 = l*k + 3 for k.
-4
Let u(l) = 10*l**2 + 5*l + 2. Let w be u(-1). Solve w*c + 35 = -0 for c.
-5
Suppose l = 3*l. Let d be (-26)/(-2) + -14 + (-5 - -10). Solve l = d*q - 11 - 1 for q.
3
Let r(y) = 5*y - 31. Let l be r(7). Let j(c) be the first derivative of 5*c**2/2 + 5*c + 1. Let g be j(3). Solve -l*u - g = -0*u for u.
-5
Let d = -1 - -63. Let k = 62 - d. Solve k = 8*o - 3*o - 25 for o.
5
Suppose -r = 0, -3*u - 2*u = 2*r. Suppose u = 3*y - 8*y + 5. Let k be (-2 - -3)/((-2)/(-10)). Solve -14 = -k*d + y for d.
3
Suppose -3*c = -0*c - 6. Let g be (-1)/((-3)/12*c). Solve 0 = g*y + 2*y - 8 for y.
2
Suppose 13*c = 4*c + 18. Solve 5*z - c = -17 for z.
-3
Suppose h - 2 = -3, -5*x = -3*h - 13. Let i be (1 - -5)*4/2. Let p(f) = f**2 - 10*f - 14. Let s be p(i). Solve -x*u - s = 3*u for u.
-2
Let f(d) = 8*d + 4. Let q be ((-10)/(-40))/(1/8). Let y be f(q). Let v be (-1)/((y/32)/(-5)). Solve 3*o + o = -v for o.
-2
Let k(n) = -n**3 - n**2 + 7*n - 1. Let f be k(-3). Let g = -1 - f. Suppose -h - g*d + 33 = 8, -2*h - 3*d = -35. Solve h = -m - m for m.
-5
Let v(l) = l**3 - 6*l**2 - 24*l - 23. Let r be v(9). Solve -d = r*d + 20 for d.
-4
Let r(z) = 6*z**2 - 3*z + 6. Let i be r(3). Let x = i + -43. Solve -5*a - x = -3*a for a.
-4
Let p = 2 + 2. Suppose 0 = 3*y - 4*y - p*k, 2*y = -2*k. Solve y*b + 2 = -2*b for b.
-1
Suppose -10*z = -23*z + 182. Solve -4*s - z + 2 = 0 for s.
-3
Let o be 117/24 - (-7)/56. Solve -o*d = -9*d for d.
0
Let z be -5 + 1/(-10) + 422/20. Solve 9*h - h = -z for h.
-2
Let o = -381 - -386. Solve o*r + 39 = 24 for r.
-3
Suppose 5*q = -25, 5*u - 4*q + 30 = -2*q. Let o = u + 10. Solve -o*h - 5 = -1 for h.
-2
Suppose -33*a + 20 = -28*a, 3*q - 60 = 3*a. Solve 18 = -18*v + q*v for v.
3
Let p be 7/(-35) - 18/10 - -11. Suppose -2 = -3*i + 4*x - p*x, 2*x = -4. Solve -r + i = r for r.
2
Let u(y) = -23*y + 118. Let s be u(5). Solve 14*t - 11*t + s = 0 for t.
-1
Suppose 12*k + 96 = 10*k. Let n = k - -50. Solve -i = n*i + 9 for i.
-3
Let r = -3 + 6. Let v = 5122 - 5118. Solve -v = -r*c + 5 for c.
3
Let d(r) = -47 - r + 81 - 37. Let u be d(-7). Solve -u - 12 = 4*k for k.
-4
Suppose 2*r + n + n = 18, 5*n - 40 = -4*r. Suppose -v = -2*q + 30, -5*q = -10*q - 3*v + 75. Let o = q - 10. Solve -10 - o = -r*h for h.
3
Let r(w) = -w**3 - 63*w**2 - 125*w - 179. Let v be r(-61). Solve -8*c - 44 + v = 0 for c.
-5
Let w be (-3)/2*(-16)/6. Suppose h + 24 = w. Let s be 6*(h/(-8) - 2). Solve 3*j + 0 = s for j.
1
Suppose 0 = 4*b + 3*x - 93, 4*b + 20 = x + 117. Solve 94*o + b = 100*o for o.
4
Let o(l) = 2*l**3 - 16*l**2 - 3*l + 33. Let z be o(8). Solve z*a + 6 = -21 for a.
-3
Let k(c) = 2*c**3 + 52*c**2 + 48*c - 36. Let b be k(-25). Solve -17*a = -b*a - 6 for a.
2
Let z = 36 + -18. Suppose 12 = 5*m - z.