(-11). Solve -2 = w*c - a for c.
1
Suppose -y = 5*j - 65, -2*j + 5*y + 19 = 4*y. Solve -6*s + 10*s - j = 0 for s.
3
Suppose 3*w + 3*w = 24. Solve -w*y - 9 = -1 for y.
-2
Suppose 0 = -3*i + b + 1 - 0, 3*b - 23 = -4*i. Suppose 4*s = -8, 0*n = -i*n - 4*s - 6. Suppose 3*q - 8 = n. Solve -2*u = q*u for u.
0
Let g(c) = c**2 + 7*c + 16. Let k be g(-5). Solve -u = 4 - k for u.
2
Let n(o) = -o**3 + 11*o**2 + 13*o - 9. Let q be n(12). Solve -q*y + 0*y - 6 = 0 for y.
-2
Suppose -1 - 11 = -4*s. Solve -d = -s*d + 6 for d.
3
Suppose -16 = -4*r, -4*c + 3*r = -11 + 3. Solve -c*y + 2*y = -3 for y.
1
Let d be 9/3*(-1 + 2). Let g be d/(-3) + 1 - -2. Solve a = -g*a for a.
0
Suppose 6*g = 2*g + 32. Suppose -20 = -5*t, 2*t + 0*t - g = -2*s. Solve s*f + 5 = 5*f for f.
1
Suppose z - 2*h - 2 = 2*z, 0 = -4*z + 3*h + 3. Solve z = 2*s + 5 + 1 for s.
-3
Let p = -4 - -7. Suppose 3*s = 4*q + 76, -16 = p*q - 4. Let k(b) = -b**3 + 3*b**2 + 5*b - 2. Let a be k(4). Solve s = -a*f + 6*f for f.
5
Let l(q) = -q**3 + 7*q**2 - 5*q - 3. Let r be l(6). Suppose 0 = -0*m + m - 10. Solve 0 = r*o + 2*o - m for o.
2
Let g(a) = -a**3 + 1 - 6*a**2 + 1 + 1. Let h be g(-6). Solve -k = -4*k - h for k.
-1
Let p(m) be the third derivative of 5/6*m**3 + 0*m - m**2 - 1/24*m**4 + 0. Let b be p(5). Solve -r + 0*r - 1 = b for r.
-1
Let b be (1/3)/((-2)/(-30)). Suppose -4*a + b*a - 4 = 0. Solve 0 = a*r + r + 10 for r.
-2
Suppose -3*b + 2 = r - 1, -5*r + b = -47. Solve -r*q = -4*q for q.
0
Suppose 60 = 5*n - 0*n. Let u(r) = r**2 - 13*r + 12. Let l be u(n). Suppose 0*t = 2*t - 12. Solve t*o - o - 5 = l for o.
1
Let n = 64 + -56. Solve -2*l = 2*l + n for l.
-2
Suppose 0 = 2*n - 2*z + 4, 4*z = -0*z + 16. Solve -n*s - 20 = -6*s for s.
5
Let b be 6/8 - (-165)/(-12). Let q = 23 + b. Solve 0 = -2*w - 3*w - q for w.
-2
Suppose b + n = -n + 11, 4*b - 5*n = -8. Suppose 4*q = -f - f + 26, -16 = -5*q + b*f. Solve -q*l - 1 + 16 = 0 for l.
3
Let t(b) = 9*b - 6 + 14 + b**2 - 5*b + 2*b**2. Let m(n) = 4*n**2 + 4*n + 8. Let v(d) = 4*m(d) - 5*t(d). Let w be v(6). Solve 0 = w*z - 26 + 6 for z.
5
Let a = -2 - -4. Let r be a*(-3)/(-18)*-9. Let v = 8 + r. Solve -l = v - 3 for l.
-2
Suppose -2*q - 4*k = -24, 13 = -q + 2*k + 5. Suppose -q*f - 14 = -4*i - 2, -16 = -4*f. Solve 5 = i*h - 0*h for h.
1
Let a = 3 - 2. Suppose -3*o = -2*o - a. Let n be o/(-6) - 3/(-18). Solve n*v - v - 5 = 0 for v.
-5
Suppose 0 = -z - z, 4*z - 20 = -4*s. Solve s*i - 4 = 11 for i.
3
Let f(m) = -2*m**3 + 3*m + m**3 - 6 + 0 - 7*m**2 + 0*m. Let u be f(-8). Suppose -3*v + 16 - 70 = -4*z, 5*v = 2*z - u. Solve 0 = -i + 4*i - z for i.
4
Suppose 0 = 26*l - 25*l - 3. Solve -2*g + l = -3 for g.
3
Let g = 29 - 26. Solve g*f - 1 = 11 for f.
4
Suppose 2*y - 69 = -25. Let i be (-80)/(-44) - (-4)/y. Solve i - 1 = -n for n.
-1
Suppose 0 = -4*t - 2*u + 80, -4*u - 102 = -4*t - 10. Suppose -3*s = 9 - t. Suppose -5*l + s*p + 16 = 0, 4*l - 2*p = -3 + 17. Solve -l*y = 3 + 9 for y.
-3
Suppose 6*l + 5 = l. Let x = 1 + l. Suppose x*g = -4*g + 12. Solve -3 = g*y + 3 for y.
-2
Let w(r) = -r**2 - 5*r + 3. Let j be (-1)/1 + (28 - 0). Suppose -2 = -5*h - j. Let y be w(h). Solve -y*c + 6*c = 0 for c.
0
Suppose -4*f + 6*f = 4. Let z be -11*(f + 0)/2. Let n = z + 17. Solve r = -r + n for r.
3
Let u(n) = 5*n - 1. Let d be u(2). Suppose d = a - 3*c, 7*a + 5*c = 3*a + 19. Suppose -2*w - 4*j = -3*w + 6, 4*w - a = -2*j. Solve -w*q + 0*q + 10 = 0 for q.
5
Let s = -20 + 23. Suppose q + 2*v - 9 = 0, -s*v + 8 - 2 = 0. Solve c = q*c - 16 for c.
4
Suppose 4*b = -0*b. Let p(i) = i**3 - i. Let r(x) = -5*x**3 + 5*x + 3. Let y(f) = 4*p(f) + r(f). Let n be y(b). Solve -n*a - 4 = -4*a for a.
4
Suppose 4*y + 4 = 0, -b = 2*b - 2*y - 17. Solve 5*j = -20 - b for j.
-5
Let r(w) = -w + 4. Let z(i) = 3*i - 11. Let a(p) = -11*r(p) - 4*z(p). Suppose 5*b = -4*m - 27, -3*b - m = -0*m + 12. Let l be a(b). Solve -l*o = 2*o for o.
0
Let c(b) = 2*b - 9. Let n = 0 + 1. Suppose -5*i = -2*s - 38, -s - 5 + n = 0. Let y be c(i). Solve a + 2 = y*a for a.
1
Suppose -2 + 6 = 2*x. Let d(v) = v. Let n = -16 + 16. Let c be d(n). Solve c = x*r + r + 9 for r.
-3
Suppose -17*z + 16*z = -6. Solve o - z = -2*o for o.
2
Suppose 7 = z + 6*z. Solve -2*i = -7 + z for i.
3
Suppose 193*a + 10 = 198*a. Solve 0 + 4 = -a*q for q.
-2
Let o(k) = k**3 + 8*k**2 + 4*k + 3. Let r be o(-5). Suppose -4*x = -2*q - 78, 3*x - 2*q + q - r = 0. Solve 0 = -4*v - 1 - x for v.
-5
Let a = -19 - -27. Let y = 11 - a. Let o be 1 + 2*y/6. Solve -2*r + 4 = o for r.
1
Let t be 195/35 + (-8)/14. Solve t*d = d + 12 for d.
3
Suppose 2*n + 48 = 4*n. Suppose x - 17 = 4*w, -x = -3*w + 2*x - n. Let h = w + 3. Solve -4*m = -h*m for m.
0
Suppose -12 = 4*k - 28. Solve 4*x + 0 = k for x.
1
Suppose 6*r - 56 = 2*r. Let n = r + -10. Suppose -3*i = 2*a + 10, 3*a = 4*i - 3 - 12. Solve 0 = 2*m - i - n for m.
2
Suppose 5*d = l - 33, 0*l + 12 = 4*l. Let f = -6 - d. Solve f*m = 3*m for m.
0
Let y(k) = -6*k - 5. Let t be y(-8). Suppose 4*h + q - t = -0*q, -5*h + 2*q + 44 = 0. Solve -j - h = 4*j for j.
-2
Let n = 5 - 1. Solve n*a + 6 = -14 for a.
-5
Suppose 16*r - 7*r - 18 = 0. Let t = 1 + -1. Solve 3*g + r - 11 = t for g.
3
Suppose 0 = -2*u - 0*u. Let s(v) = -2*v - 12. Let z be s(-6). Let f = z - u. Solve f = y - 5*y + 4 for y.
1
Let n be ((-18)/(-12))/(3/8). Suppose -2*w = n*o + 8, -4*o + 20 = -3*o - 5*w. Let y = 16 - o. Solve f = -3*f + y for f.
4
Suppose -4*s - 15 = 5, 4*v - 81 = 5*s. Let j = v - 2. Solve a + j = -3*a for a.
-3
Let u = 10 - 10. Suppose u = -5*k + 27 + 18. Solve 0*j = 3*j - k for j.
3
Suppose 0 = 4*y - 2*y + 12. Let b be y/10 + 138/30. Solve 0 = -z + 2*z - b for z.
4
Suppose c - 15 = -7. Let r(b) = b - 3. Let d be r(6). Solve 0 = d*g - c*g + 10 for g.
2
Let f be 6/1 + (1 - 3) + -1. Solve -f = 2*b - 1 for b.
-1
Let i = 97 + 45. Suppose 0 = -5*o + v + i, 3*o - 3*v - 76 = 14. Solve 5*l = o - 3 for l.
5
Let i(g) = 4*g - 8. Let b be i(6). Suppose 20 = -5*f + 8*f + 4*h, h = 3*f - 10. Suppose 0 = -f*c + 2*c + b. Solve 4*m - c = -0*m for m.
2
Let p(k) = k + 2. Let m be p(4). Suppose -2*a + m = a. Suppose -n = a*n. Solve n = 2*f - 0*f for f.
0
Suppose -4*w - w = 0. Let l be w/(-3 + (-8)/(-4)). Solve l*k - 15 = -5*k for k.
3
Suppose r = -4*h + 7, 2*r = -3*h - h + 10. Solve -r*l + 15 = -0 for l.
5
Let t = -33 + 18. Let m be (-6 + 1)/(3/t). Solve -7*k = -2*k + m for k.
-5
Suppose -2*l + 84 = -0*l. Suppose 2*x + 2*x = -2*j + 36, -2*x = 4*j - l. Solve 3*m - 1 = j for m.
3
Suppose -24 = 4*r - 0*r. Let c = -4 - r. Suppose p = -c*p + 12. Solve 0 = z - p*z + 6 for z.
2
Suppose -2*p - 4*v = p + 16, -2 = p - 2*v. Let b be ((-4)/p)/(1/5). Solve b*n = 2*n + 12 for n.
4
Let g(d) = 40*d**3 - 3*d**2 + d - 2. Let u be g(2). Suppose 365 = -4*t - 3*y + 89, u = -4*t + 5*y. Let j be t/(-7) - (-4)/(-14). Solve j = 4*l - 2*l for l.
5
Let i(f) = f**2 + 7*f + 7. Let g be i(-5). Let y = g + 3. Solve y*h = -2*h + 10 for h.
5
Suppose -g + 17 = 5*p - 2*g, -4*p + 2*g = -16. Let l = -5 - -2. Let r be (-2)/l + 38/6. Solve 0 = -p*w - r - 2 for w.
-3
Suppose b - u + 4 = 11, 2*b + 5*u = -21. Let q = 4 + -3. Solve -b*x = 3 - q for x.
-1
Let k = -7 - -12. Let x = k + -3. Let u(b) = b**2 + 2*b + 3. Let g be u(-2). Solve -5*y + x*y = g for y.
-1
Let k(x) = -2*x - 2. Let g be k(-1). Suppose 0*o - o + 2 = g. Solve 3*c + o = c for c.
-1
Let l be (9/(-18))/((-1)/12). Let n be (-4)/l*(-9)/3. Solve -n*v = -0*v for v.
0
Suppose -2*t + 7*v - 3*v = -22, 5*v = t - 20. Let n = 0 - 0. Suppose n*w - 10 = 3*m - 5*w, m - w = 0. Solve m = -0*z + t*z for z.
1
Suppose -3*l + 6*l = 24. Solve -2*k + 2 = l for k.
-3
Suppose -u - 5 = 3. Let m = 22 + -12. Let k = u + m. Solve k*p + 5 = -1 for p.
-3
Let u(p) = p**2 - 3*p - 2. Let t be u(4). Let i be (-1)/(t/(-4)*1). Solve i*o - 5 = 5 for o.
5
Let i = -15 - -7. Let v be i/14*(-7)/2. Solve -v*d - 7 + 3 = 0 for d.
-2
Let n(w) = -10*w**2 + 16*w + 12. Let p(k) = -7*k**2 + 11*k + 8. Let h(u) = -5*n(u) + 7*p(u). Let a be h(5). Solve a*i - 15 = i for i.
3
Let a = -6 - -4. Suppose t + 17 = -4*h, -4*t - 3*h + 4*h + 17 = 0. Let d be (a - t)/((-1)/1). Solve -u - d = -6*u for u.
1
Let m(i) = i**2 + 5*i - 3. Let k be m(-6). Suppose -k = -2*h + h. Solve 3 = 2*g - h*g for g.
-3
Suppose 0*p = 4*p - 12. Suppose a - 17 = 4*h, -p*a + 4*h - 1 + 20 = 0. Let f = 1 - a. Solve f = 3*n - n + 6 for n.
-3
Su