 + 9 for s.
-5
Let n be (2 + -2)/(-1 + 3). Let q be (1 + n)*-2 - -5. Suppose 0 = -5*j + 4*j + q. Solve -j*r + 15 = 2*r for r.
3
Let o(w) = 2*w - 4 + 3 + 2 + 4. Let a be o(4). Suppose 5*p = 8*p - 36. Solve 5*i = p + a for i.
5
Suppose -3*l - 21 = 18. Let b = l - -25. Let q = 3 - 3. Solve n + 3*n - b = q for n.
3
Let v be (3 + 12/(-8))*2. Let r be 1/2 - (-1 + 6/(-4)). Solve r*p + 6 = -v for p.
-3
Suppose 4*m + 4*t - 88 = 0, -m - 2*m - 5*t + 74 = 0. Solve -m*n - 12 = -22*n for n.
3
Let r(k) = -7*k**2 - 6*k - 3. Let v be r(-2). Let h = -15 - v. Solve -3 = -h*m + 5 for m.
2
Let h = -118 - -118. Solve 20 + h = 4*v for v.
5
Let u(f) = -8*f - 52. Let l = 33 - 41. Let o be u(l). Solve -5*k + k + o = 0 for k.
3
Suppose -9*l + 6*l = -108. Suppose -3*h = -4*h + l. Let k be ((-2)/6)/((-6)/h). Solve -k*o = -7*o + 25 for o.
5
Suppose 5*o - 3*o + 24 = 0. Let s = 14 + o. Solve s*m = m for m.
0
Let d be -3 + (-3 - 1) + -11. Let p = d - -18. Solve p = l - 3 + 5 for l.
-2
Let f(c) = -3*c**3 + 32*c**2 - 46*c + 11. Let r be f(9). Solve -10*s = -r*s + 24 for s.
-3
Let i = -285 + 465. Let c be (2/(-4))/(6/i). Let r = 16 + c. Solve 4 = -f + r for f.
-3
Let c = 13 - 8. Suppose 0 = -c*k + 18 + 7. Let h be 2*(-43)/(-6) + (-2)/(-3). Solve 0*a + h = -k*a for a.
-3
Let s be (-6 - -6)*(-2)/(-2). Let p be (-2)/(-4)*s/6. Let c be 2 + -1 + -1 + p. Solve -a - 1 = -c for a.
-1
Suppose 0 = -20*p + 15*p + 20. Suppose 0 = 5*o - 4*d - 46, -3*d = p*o - 2*o. Solve 2*w - 2 = o for w.
4
Suppose 0 = -2*m + 3*a + 45, -5*m - 2*a + 46 = -38. Solve 0 = -i - 21 + m for i.
-3
Let y be (72/90)/(2/10). Suppose -3*p = -0*p - n + 1, 0 = y*p + n - 1. Solve t - 2*t + 2 = p for t.
2
Suppose -14 = -2*p + 128. Let d = 74 - p. Solve 2*r + 25 = -d*r for r.
-5
Let c(r) = -r**3 + 9*r**2 + 11*r - 6. Let g be c(10). Suppose i - 2 - g = 0. Solve 0 = a - 3*a + i for a.
3
Suppose 17*w = 14*w - x + 22, -4*x = 4*w - 24. Solve w*c = -2*c + 10 for c.
1
Let a = -52 + 54. Suppose -4*h - a + 14 = 0. Suppose 2*j - 6 = 2*c, 0 = -2*j + 3*c - 5*c + 2. Solve x - h = j for x.
5
Suppose 8*c = -16*c. Solve c = -5*s - 0 + 15 for s.
3
Let o = -20 - 2. Let v = -180 + 154. Let a = o - v. Solve a*b - 12 = 8 for b.
5
Let l(v) = -v - 1. Let r(s) = -s**3 + 10*s**2 + 12*s - 16. Let p be 1*1*(0 + 11). Let x be r(p). Let q be l(x). Solve -n - 25 = q*n for n.
-5
Let z = -44 - -68. Let d = z - 15. Solve d = -2*c - c for c.
-3
Let l(m) = -m**2 - 38*m - 217. Let t be l(-31). Solve -12 = 6*y - t*y for y.
-2
Let n be (-2)/(-6) - (-55)/15. Let f(i) = -i**3 + 5*i**2 - 3*i. Let t be f(n). Solve -6 + 18 = -t*o for o.
-3
Let s(h) = 8*h**2. Let g be s(-1). Let i be 38/g - 90/120. Solve -8 = i*j - 28 for j.
5
Suppose 6*d = -5 + 65. Solve 16 + 4 = d*t for t.
2
Suppose -j + 3*u = 52, 3*j - 4*u = -j - 192. Let k = -43 - j. Solve -k*p - 2*p = 20 for p.
-4
Suppose -7 = q + c - 0*c, -4*q = -4*c - 4. Let z = -1 - q. Suppose -w + 18 - 3 = 0. Solve r + z*r + w = 0 for r.
-5
Suppose 2*w - 2 = 0, -11 = -2*r + w - 4*w. Solve -26 = -r*h - 10 for h.
4
Let n(q) = q**2 + 29*q + 83. Let z be n(-26). Solve z*i = 4*i for i.
0
Let j(w) = -2*w**3 - 26*w**2 - 26*w - 18. Let x be j(-12). Solve -3*m = -2*m - x*m for m.
0
Let i(d) = -d**3 + 5*d**2 + 7*d - 4. Let g be i(6). Let y be ((3 - 2) + 0)*g. Suppose -2*k - 4*m = -24, 4*m - 3*m + 8 = 3*k. Solve 2*l + k + y = 0 for l.
-3
Let v be (2 - 3)/(3/12*-2). Suppose -4*s = -3*n + 2, 3*n + 2*n - 12 = -v*s. Let i be -1 + (-1)/((-2)/6). Solve i*g - 4*g - n = 0 for g.
-1
Suppose -t - 7 = -s, 7*s - 26 = 3*s + 3*t. Suppose -3*b + 5*a - 8 = -31, 4*b - 3*a - 27 = 0. Suppose -b*j = -12*j. Solve j = s*x - 0*x for x.
0
Let o be (-2)/2*(2 - 9). Suppose -o*v + 3*v = -36. Solve -4*t + 11 = -v for t.
5
Let h(u) be the second derivative of u**4/12 + 13*u**3/6 + 3*u**2 - 8*u. Let m be h(-13). Suppose 2*n - 2 = 2*g, 5 + 2 = -n + 5*g. Solve n - m = -d for d.
3
Suppose -3*f + 3*q + 80 = q, 52 = 3*f + 5*q. Suppose -2*c - 4*y - 46 = 0, 3 = -c - 5*y - 26. Let t = c + f. Solve t*d - 26 = -1 for d.
5
Suppose 6*n = 3*n - 5*f + 12, -2*n = -f - 8. Let j be 1*(-2)/6*-93. Let q = 34 - j. Solve -n + q = d for d.
-1
Suppose 5*t - 23 = -2*y, 2*y - 2*t + 16 = 18. Solve -1 = y*z + 3 for z.
-1
Suppose k = 16 - 14. Suppose -4 = -w - 2*w + k*m, 0 = 4*w - m - 12. Solve 3*z - 13 + w = 0 for z.
3
Suppose 22 = -3*l + p, -p - 25 = 4*p. Let d be (-6)/(-9)*l/(-2). Let f = -30 - -30. Solve d*a - 4*a = f for a.
0
Suppose -13*q + 85 = 4*q. Solve 5*t + 5 = -q for t.
-2
Let x = 166 - 46. Let f be 496/x + (-4)/30. Solve -u + f = 3 for u.
1
Let i = -6 + 9. Let p(x) = -x**3 - 5*x**2 - 4*x + 5. Let g be p(-4). Let t(h) = h**2 + 5*h + 8. Let f be t(-3). Solve -f*w + g = -i for w.
4
Let r = -55 + 86. Suppose r*f - 30*f - 2 = 0. Solve f*x = 5*x - 9 for x.
3
Let d(b) = -7*b + 316. Let y be d(44). Solve -46*h = -48*h - y for h.
-4
Suppose 13*n = 15*n - 14. Solve -3 = 5*t + n for t.
-2
Suppose 53 = 17*z + 53. Solve z = 2*l - 0 - 2 for l.
1
Let y(m) = m**3 + 7*m**2 - m - 4. Let q be y(-7). Suppose -2*g - 5 = -q*g. Let n be (2 - (1 + -1))/((-8)/(-12)). Solve -n*a = -g - 7 for a.
4
Suppose 0 = 7*g - 9726 + 9593. Solve 2*l + g = 9 for l.
-5
Let q(i) = -i**3 + 24*i**2 - 20*i - 62. Let j be q(23). Solve 2*d + j - 1 = 0 for d.
-3
Suppose -7*b + 98 = -4*b - 4*w, 3*b - 100 = 5*w. Suppose 5*k - 55 = -4*c, -2*c + 0*k - 2*k = -b. Solve -7*t + 2*t = c for t.
-4
Let n = -56 - -41. Let j = 18 + n. Solve -j*v = -v - 8 for v.
4
Let q = 5 + -3. Let y be 4/3*(-6)/(-4). Solve 0 = y*w - q + 8 for w.
-3
Suppose -134*z - 2 = -135*z. Solve -4 = -z*t + 2 for t.
3
Let n(f) = f. Suppose -3*c - 26 = -4*c. Suppose 10 = 4*o - c. Let s be n(o). Solve -j - s = -4*j for j.
3
Suppose -4*b - 2 = a - 5, 5*a - 3*b = 38. Suppose -5*z = 48 + a. Let w = z + 21. Solve o = -o + w for o.
5
Suppose 0 = -0*h + 2*h + 4*g - 112, -2*h - 2*g + 102 = 0. Suppose 18 - h = -4*r. Solve 3*k - 22 + r = 0 for k.
5
Suppose 10*j = 21*j - 275. Suppose -2*c + 7 = -j. Solve 4 = -4*b + c for b.
3
Let k be 6*20/(-48)*8/(-10). Solve k*s - 12 = -16 for s.
-2
Let i = -1312 - -1334. Solve i*p + 0*p = -66 for p.
-3
Let v(k) = k - 4. Suppose 10*q = 7*q + 27. Let z be (4 + -1 - q)*-1. Let n be v(z). Solve 4*d = n*d - 4 for d.
-2
Suppose 30 - 39 = -3*n. Suppose -64 = -4*s + n*p, -3*s - 3*p + 48 = -0*p. Solve 5*i + s - 1 = 0 for i.
-3
Suppose -y + 0*c + 6 = -c, 2 = -2*c. Let w(n) = n - 6. Let o be w(y). Let l be (-7 + 7)/(o/1). Solve l = 7*v - 2*v for v.
0
Suppose 59 = 2*r + 55. Let l(v) = -7*v**3. Let a be l(-1). Solve 3 + a = -r*j for j.
-5
Suppose 29 = 5*a - 4*u, 3*u - 12 = -0. Solve -8*h = -a*h - 5 for h.
-5
Let i = -885 + 887. Solve 0 = i*b + 6*b + 16 for b.
-2
Suppose -2*r + 5 = -5*y, -6*y - 2*r + 11 = -5*y. Suppose -8 = -9*k + 37. Solve -2*f = -y - k for f.
3
Suppose 883*i - 4 = 882*i. Solve -9 = -i*t - 21 for t.
-3
Suppose -7*s = -5*s. Let i be -2 + (-8)/(-7 + 3). Let a = 6 + -4. Solve i = z - s*z - a for z.
2
Let o(j) = -j**2 - 19*j + 22. Let n be o(-20). Let l = 22 - n. Suppose -8 = 2*a + 5*g + 4, 5*g = -l. Solve 2*q - 3*q = -a for q.
4
Let s(y) = 5*y**3 - 4*y**2 + 3*y - 6. Let t(i) = -4*i**3 + 4*i**2 - 2*i + 5. Let w(z) = 5*s(z) + 6*t(z). Let j be w(-2). Solve j*m = m for m.
0
Let d be -4 - (4 + -10 - 0). Suppose -d = 9*t - 20. Solve 3*y + 13 = -t for y.
-5
Let j be 6/3 - 2*1. Suppose 312*q = 305*q + 112. Solve j = -2*p - 2*p - q for p.
-4
Suppose 0 = 2*u - 5 - 5. Suppose -3*c = -4*w - 7*c - 12, -4*w - u*c = 17. Solve 0 = -w*g - 2 + 6 for g.
2
Let f(l) = -3*l**2 - 7*l - 9. Let p be f(-5). Let j = p + 49. Solve 2*y - 7 + 1 = j for y.
3
Suppose -3*z = -z + 12. Let y = 8 + z. Solve 0 = y*p + 2 for p.
-1
Let v = 40 + -37. Let q be 1/(v/(-9)*1/(-1)). Solve 0 = q*i - 0*i + 3 for i.
-1
Suppose -3*a - 4 - 8 = -3*i, -a + 11 = -4*i. Let y = 11 + a. Solve -3*l = y*l + 25 for l.
-5
Suppose 4*k - 57 = -3*d + 3*k, -4*k = d - 8. Let f(a) = a**3 + 4*a**2 - 4*a + 8. Let q be f(-5). Solve q*n + d = 8*n for n.
4
Suppose 4*k - 14 = 3*p, -5*p - 8 - 7 = -5*k. Solve p*b = 4*b - 10 for b.
5
Let z = -8 - -13. Suppose z*s = 2*s + 144. Suppose 6*f - 3*f - s = 0. Solve 0 = -3*r + 4 - f for r.
-4
Suppose -60*l = -72*l + 48. Solve 0 = l*u - 4 for u.
1
Let g = 0 - 2. Let y be g/12 - (-38)/12. Solve y = o - 0*o for o.
3
Let n = -21 + 21. Suppose n = -o - o - 3*o. Solve -2*h +