Let a(w) = -w + 21. Let s be a(18). Solve -1 = -s*b + 2 for b.
1
Let d be 4*(-1)/(-12)*6. Suppose 3*x = 4*x - 15. Solve -q = d*q - x for q.
5
Suppose -5*h + 44 + 16 = 0. Let b be ((-1)/(-2))/(3/h). Solve b*v + 9 = -v for v.
-3
Suppose 8*q - 3*q - 10 = 0. Let v be (51/3 + 3)/q. Suppose 8*l = 6*l + v. Solve 9 = -l*k - 1 for k.
-2
Suppose -3*j + 10 = 2*j. Let y be (0 - -2)*(-1 + j). Solve -y*i + 2 = 8 for i.
-3
Let f(u) = u**3 + 5*u**2 - 6*u + 4. Let g be f(-6). Suppose 4 = g*s - 8. Solve -5*n + 12 = -s for n.
3
Suppose 0 = -o - 4*n + 17, 43 = 2*o + 2*n - 9. Suppose 3*z = 2*z + 3*g + 3, g + o = 5*z. Solve 0 = -m + 3*m + z for m.
-3
Let c be 210/45 - 2/3. Suppose -2*l + 5*j - 8 - 2 = 0, -2*j = 4*l - 28. Suppose c*w = l*w. Solve w = 3*q + q for q.
0
Let o(d) = d**2 + 9*d + 3. Let n be o(-9). Solve 1 + 5 = n*b for b.
2
Let k = 8 - 4. Suppose -k = 3*i - 4*i. Suppose 2*t = -i*m + 10, 7*m - t - 15 = 4*m. Solve 0 = m*u - u for u.
0
Let p be (-3 + 22/6)*6. Solve p = -z + 3 for z.
-1
Suppose 8*o - 52 = -5*o. Solve -r = o*r + 5 for r.
-1
Let b = 1 + -1. Let l(j) = j**3 - 8*j**2 + 2*j - 12. Let o be l(8). Solve b*k - 20 = o*k for k.
-5
Let z = -23 - -13. Let r = z + 10. Solve r = -3*m - 1 - 5 for m.
-2
Let c(s) = -s - 1. Let v be c(-3). Suppose 5*m - m - 20 = 0. Suppose -2*r + m*q = -31, -3*r - 1 = 2*q - 0. Solve -1 = -r*i + v*i for i.
1
Suppose -2*y + y = -2. Suppose -2*u = -0*u - 2. Let r = y + u. Solve 4*s = r + 13 for s.
4
Let u be 86/18 + (-8)/(-36). Suppose 8 - 23 = -u*r. Suppose -d + 1 = -r. Solve 5 = d*a - 15 for a.
5
Let m(q) = -q**2 + 7*q - 7. Let p(y) = y**3 + 8*y**2 - 9*y + 6. Let u be p(-9). Let n be m(u). Let h = 4 + n. Solve -4*t = -h*t + 2 for t.
-2
Let u be 2/(-7) - 8/(-28). Suppose -3*m + u*m = 0. Solve h + h - 4 = m for h.
2
Suppose 4*k = -3*c + 24, 3*c + c = k + 32. Let h = -25 - -30. Solve -h*d = c - 33 for d.
5
Suppose -5*g - 2*n + 2 = -10, -4*n + 14 = 5*g. Suppose 0*p = g*p. Solve -1 + p = -x for x.
1
Let u = -3 + 3. Suppose u = 5*f - 2 - 18. Solve -2 = -2*l + f*l for l.
-1
Suppose -4*l - 12 = -2*x, -2*x + l = 6*l + 15. Let j(s) = -s + 11. Let t be j(8). Solve -t*r + 6*r = x for r.
0
Let b = -1 - -1. Suppose -10*i + 13*i - 27 = 0. Suppose b = d + 2*d - i. Solve 0*c = d*c - 9 for c.
3
Suppose -3*p = m - 16, 0*p + 2*p + 5*m = 15. Let x = 2 - 2. Suppose -3*q + 6 = -x*q. Solve p*b + q = -3 for b.
-1
Let w(i) = -i**2 + 5*i. Let q be w(5). Suppose 0 = g - 3*b - 14, -3*g = -b - b - 14. Suppose -4*h - 4 = 0, -v + h = -g - 3. Solve q = -v*j + 5*j for j.
0
Let v = 13 - 5. Solve v = -3*y + 5*y for y.
4
Suppose 2 = -n - 6. Let y(r) = r**3 + 9*r**2 + 7*r - 3. Let x be y(n). Solve -m + x = 1 for m.
4
Let y = 76 - 73. Solve 0 = -i + y*i for i.
0
Let u = -33 - -33. Solve u*q + 5*q - 15 = 0 for q.
3
Let c be (-2 - 3)/((-2)/4). Suppose c - 2 = 2*k. Solve 6 = k*v + 2 for v.
1
Let n be ((-3)/3)/((-2)/4). Let y(i) = 0 + i + 0*i - n - 8. Let m be y(11). Solve -m + 10 = 3*u for u.
3
Suppose -14 = 2*y - l - 0*l, 4*y + 2*l = -20. Let w(u) = u**2 + 6*u + 3. Let z be w(y). Solve -z*m - 4 = -m for m.
-2
Let d be ((-2)/(-3))/((-1)/(-6)). Suppose 2*i = 2, -2*s = d*i - 14 + 4. Suppose x - 12 = -s*x. Solve 0*c = x*c - 3 for c.
1
Let w(r) = 4*r + 2 - 2*r - 2*r + r. Let c be w(0). Solve 2*u = -c*u + 20 for u.
5
Let y(k) = k - 8. Let w be y(12). Solve -15 = -w*s + 7*s for s.
-5
Let j = 9 + -15. Let b(z) = z**2 + 4*z + 3. Let f be b(j). Suppose 0*p - f = -p + 3*k, -p - 1 = k. Solve 4*n = -9 - p for n.
-3
Let o(g) = 2*g**3 + 29*g**2 + 12*g - 20. Let b be o(-14). Solve -4*z = 12 + b for z.
-5
Suppose 0 = v + 1 - 28. Let i be (v + -17)*1/2. Solve 0*p = -p + i for p.
5
Suppose 4*p = -2*z, -3*z + 20 = -0*p - 4*p. Let m(a) = -a - 4. Let q(u) = -u + 1. Let v(b) = m(b) + 2*q(b). Let c be v(p). Solve 0 = -c*j + 7 + 5 for j.
3
Suppose 0 = 2*m + s - 123, 5*m - 2*m = s + 192. Let n be m/5 + 6/(-10). Let p = n - 6. Solve 5*f - p = -1 for f.
1
Suppose 20 + 20 = 8*r. Let q(s) = -s**3 + 3*s**2 - 3*s + 2. Let i be q(2). Suppose -3*g + 4*g = i. Solve g = r*l + 2 + 3 for l.
-1
Let r = 1 - -4. Solve r*b + 20 = -0*b for b.
-4
Let h = -8 - -11. Suppose 3*s + 1 = 4. Solve s = -4*k - h for k.
-1
Suppose 23 = k - 3*l, -2*l = 2*k - 15 + 1. Solve -2 = 3*m - k for m.
3
Let v = 3 - 0. Solve -10 = -2*i - v*i for i.
2
Suppose -6*z + 2*z = -40. Solve 5*n = z - 0 for n.
2
Let x(o) = o**2 + 4*o - 5. Let t be x(-5). Solve t*y = -y + 4 for y.
4
Let p = 5 + 1. Suppose -g + p = -t - t, g = 4*t + 4. Let a = 13 - g. Solve 4 = w - a*w for w.
-1
Suppose 4*s + 5*w + 2 = 0, -3*s = 5*w - 3*w + 5. Let n be 18/8 + s/12. Suppose 4 = l, -5*c + 0 + 18 = n*l. Solve 0 = -c*v + 7 - 17 for v.
-5
Suppose -3*l - 12 = 0, -s - 4*l = -0*s + 16. Solve s = -0*v - v for v.
0
Let z = 70 + -50. Suppose 5*i + 4*u - 13 = z, 2*i = -4*u + 18. Suppose 11 + 9 = i*w. Solve -l = -0*l + w for l.
-4
Suppose 6*g - 12 - 12 = 0. Let x = 0 + g. Solve -16 + 0 = -x*h for h.
4
Let j(m) = -m**2 - 7*m - 7. Let z be j(-5). Let r(b) = -b**3 - b**2 + b. Let c be r(-2). Solve q - c = z*q for q.
-1
Suppose 0 = -u + 6*u - 3*u. Solve u*y + 2 = y for y.
2
Let d(w) = -w**3 - 7*w**2 - 2*w + 24. Let r be d(-6). Solve r = 4*p + 7 + 5 for p.
-3
Suppose -2*u + 4*u = 0. Solve -4*q + 3*q + 1 = u for q.
1
Let h be 8/(-2)*2/(-4). Let i(g) = g**2 + 4*g. Suppose 5 = 3*f - 4*f. Let l be i(f). Solve -h*y - l = 5 for y.
-5
Let u = 16 - 8. Suppose -3*x + u = -2*g, 2*x + 3*g = 6*g + 12. Solve x*o + 5 = -5*o for o.
-1
Suppose -5*g + 65 = 3*u, 3*g + 1 = -5*u + 40. Let b = g - 10. Solve b = -s - 2 for s.
-5
Suppose -2*n - 75 = n. Let d = -4 - n. Suppose 0*i - 3*i = -d. Solve -i*q + 5*q = -8 for q.
4
Let z = 2 - 1. Let i(s) = -s**3 - s - 1. Let a be i(0). Let v = z + a. Solve v = -0*q + q + 3 for q.
-3
Let z = 2 + -4. Let q(m) = -4*m - 3. Let l be q(z). Suppose 2*c - l = 3. Solve 11 = c*y - 9 for y.
5
Let k(u) = u**2 - 7*u - 7. Let p be k(7). Let n = p - -7. Solve n = -4*c - 12 - 0 for c.
-3
Suppose -11 - 1 = -4*h. Suppose -4*g + 57 = -c, 0*g + h*c = -g + 24. Let l be 2/((-2)/(1*-4)). Solve 7*r - l*r = g for r.
5
Suppose -14 = -4*p + 5*p + 5*n, -2*n = 10. Suppose 0*t + 12 = -4*t, -5*s + p = 3*t. Solve 4*a + s = 8*a for a.
1
Let o be (-184)/18 + (-18)/(-81). Let n be ((-7)/(-14))/((-1)/o). Solve -2*y - n = -y for y.
-5
Let r = -20 + 48. Suppose 2*q + r = 4*c, 3*q + 0 - 13 = -5*c. Solve 7 + 3 = c*i for i.
2
Let i be (-2 - 4/(-2))/(-1). Suppose -4*w + 8 = s + 2, i = 4*s - 3*w - 5. Let l be 2 - 3 - (-1 - s). Solve u = -l*u for u.
0
Suppose 3*k - 8 = 7. Solve -y + 1 = k for y.
-4
Let r(y) be the third derivative of -y**4/8 + y**3/2 + 7*y**2. Let l be r(-3). Solve -4*h = -0*h - l for h.
3
Let s(t) = -t**3 + 12*t**2 - 10*t - 8. Let j be s(11). Solve -7*d + 12 = -j*d for d.
3
Suppose 34 = a + 32. Solve -u + 5 = a for u.
3
Suppose h + 36 = -3*h. Let n = 11 + h. Solve 5*d + 12 = n*d for d.
-4
Let o be 5/15 + (-1)/3. Solve -5*w + o*w + 25 = 0 for w.
5
Let i be 16 - (1 + 0 - 3). Let b be (-27)/i*16/(-6). Solve -l = -b - 0 for l.
4
Let m(u) = u**2 + 5*u + 5. Suppose 5*k + 2*q = -15, -19 = 3*k - 3*q + 11. Let c be m(k). Solve 10 = -0*b - c*b for b.
-2
Let q(j) = -2*j - 3. Let a be q(-4). Suppose -a*b = -0*l - 3*l + 50, 0 = 4*l - 5*b - 75. Solve l = -0*o + 5*o for o.
5
Let f(o) = -2*o - 10. Let r be f(-7). Let a(y) = -y**3 + 3*y**2 + 6*y - 3. Let l be a(r). Solve -2*c + 1 + l = 0 for c.
3
Let y = -5 - 0. Let k be 6/15 + (-3)/y. Let s be 2*5/2*k. Solve s*n = 3*n + 10 for n.
5
Suppose 1 - 5 = -2*r. Suppose y = -f + 3*f - 5, 3*y - 3*f + 3 = 0. Solve y*s = 2*s + r for s.
2
Suppose -16 = 3*z - 5*z. Suppose 4*f + r - 6 = 0, 7*r + 14 = 2*f + 2*r. Suppose f*h = -h. Solve h = 5*k + 2 + z for k.
-2
Let a = -8 - -13. Suppose -10 - 10 = -a*k. Suppose -2*o + 4*o - 5*r = -19, -5*r = k*o - 37. Solve 2 = o*y - 2*y for y.
2
Suppose -8 = 2*i - 6*i. Let x be (0 - 0)*i/4. Let m be x - -3 - (-1 + 2). Solve -3*k + m*k - 4 = 0 for k.
-4
Suppose 0 = -5*j - 1 + 21. Let q = 0 + 2. Let f = 3 - q. Solve l + j = -f for l.
-5
Let f(d) = -d**2 - 3*d + 3. Let q be f(-5). Let y = -3 - q. Solve 0 = -w - 6 + y for w.
-2
Let u be ((55/(-10))/11)/(1/(-14)). Solve 0 = 4*q - u*q - 3 for q.
-1
Let o(i) = -i**3 - 7*i**2 - 9*i - 7. Let m be o(-6). Suppose 5*p + m = 3*q, q + q + 4*p = 0. Solve q*r - 3*r + 3 = 0 for r.
3
Let t = 8 +