 -4*w + 3*o - 1, -o - 28 = -g*w. Let p = 4 + -4. Solve p*s + s + w = 0 for s.
-5
Suppose -z - 5 = -4*z + u, z + 17 = 5*u. Let w be (-12)/16 - (-357)/12. Let q = w + -21. Solve q*a = z*a for a.
0
Suppose x - 13 = -4*x - 2*c, 0 = x - 5*c - 8. Suppose 2*b + 4*q + 10 = 0, -2*q - x = 5*b - 10. Solve b*g = g - 2 for g.
-1
Let w(m) = -m**3 + m**2 + 2*m + 2. Let h be w(-1). Solve 2*v + h*v = 0 for v.
0
Let a(l) = -3*l - 2. Let s be a(-5). Suppose x - 3 = s. Suppose -7*f - 4*z = -3*f - x, 0 = -f - 3*z. Solve 0 = -3*y + y + f for y.
3
Let o(j) = 2*j + 6. Let k(f) = -3*f - 13. Let w(n) = -3*k(n) - 5*o(n). Let c be w(5). Solve 0*q = -c*q - 16 for q.
-4
Let a(m) = -m**3 + 5*m**2 + 6*m + 1. Let z be a(6). Suppose 4*h = -5*c + 13, h - 2*h + c = -z. Solve -6 = -h*r - 2 for r.
2
Let x be (-6)/(-24) + 2/(-8). Solve 1 = -y - x for y.
-1
Suppose 0 = 2*s - s - 4. Let y be (6/4)/(1/2). Suppose 5*i = y + 32. Solve -s*z = 9 + i for z.
-4
Suppose -3*a - 2*a - 16 = -3*f, -10 = -f + 4*a. Suppose -c = -f*c. Solve -2*m + 4*m + 8 = c for m.
-4
Let z = -1 - -5. Suppose -4*w = -0*w - 36. Solve -z*x + 15 = -w*x for x.
-3
Let n(k) = -4 - 10*k - k**3 - k**3 + 4*k**3 - 3*k**3 - 10*k**2. Let p be n(-9). Solve -p*j - 15 = -0*j for j.
-3
Let t(n) = -2*n - 2 + 3 + 3*n - 4. Let m be t(5). Let v = m + -2. Solve v = 2*k + k - 9 for k.
3
Let v(u) = 3*u**2 + 8*u + 2. Let x be v(-3). Solve 0 = t + 4*t - x for t.
1
Suppose -s - 2 = 3*m, 0*m - 2*s - 4 = 2*m. Solve 0 = q + 3 - m for q.
-3
Let t = 1 - -3. Let z be -7*4/(-56)*0. Solve z = t*n - 22 + 2 for n.
5
Suppose w - 40 = 4*w + u, u = w + 16. Let z = 34 + w. Solve -q - 4*q = z for q.
-4
Let r(s) = -s**3 - s + 4. Let g = 5 + -5. Let v be r(g). Solve -3*l = -2 - v for l.
2
Let m be 48/(-60) + 12/15. Suppose -2*x - k + 15 = 0, 0*x + k = -x + 6. Solve -3*a - x = -m for a.
-3
Let u be (4/5)/((-12)/(-30)). Solve 0 = -u*i - 4 for i.
-2
Let m be 1*2 - (-30)/(-5). Let h be 2*(3 + -2) - m. Suppose 5*l = h*l - 3. Solve -l = c - 4 for c.
1
Suppose 0 = 4*f - 2 - 18. Let i = -1 + f. Solve -5*v + 4 = -i*v for v.
4
Suppose 3*k + 13 + 2 = 0, -2*b = -4*k - 20. Solve j + j = b for j.
0
Let i(w) = w**3 - 8*w**2 - 9*w. Let u be i(9). Solve -4*c - c = u for c.
0
Suppose 2*t - 4 = 2. Let w(b) = 2*b**2 - 5*b + 3. Let s be w(t). Let l = s + -3. Solve p = -l*p for p.
0
Suppose -42*z + 37*z + 20 = 0. Solve -z*v - 16 = -0*v for v.
-4
Suppose 4*c + c + 5 = 0. Let i = c - -6. Solve -i = -s + 6*s for s.
-1
Let a(o) = o**3 - 7*o**2 + 7*o - 4. Let l be a(6). Solve -15 = -l*w + 5*w for w.
-5
Suppose -3*p = 2*q - 5*p, 5*q - 3*p = 0. Solve -8 + q = 2*l for l.
-4
Suppose -4*o - 2*l = -12, -l = 2*o + l - 8. Let t be (o/(-6))/((-2)/6). Solve -3*r - 14 - t = 0 for r.
-5
Suppose 0 = -l + 5 - 3. Suppose -n = -l*n. Solve -o + 7 - 2 = n for o.
5
Suppose 2*t + 0*l = -4*l + 22, 3*l = 3*t - 51. Solve s + 2*s + t = 0 for s.
-5
Suppose -4*q + q = -9. Suppose -2*u - 16 = -3*u - q*n, n - 20 = -4*u. Suppose -3*s + 73 = -5*x, -x - u*x = 2*s - 7. Solve 4*f = -0*f - s for f.
-4
Suppose 5*g - 90 = -5*d, 4*d - 33 - 34 = -3*g. Let c(s) = 2*s**2 + 3*s - 4. Let n be c(-3). Let a be 1/(-5) + 26/n. Solve a*v - d - 2 = 0 for v.
3
Let l be 21/2 + (-1)/2. Suppose -5*m - l + 0 = 0. Let g be 2 + (m*1)/(-2). Solve -6*a + g*a + 9 = 0 for a.
3
Let j(b) = -b**3 + 9*b**2 + 5. Let r be j(9). Suppose -5*v = k + k + r, -2*k + 3*v + 19 = 0. Solve -k*p = -p - 8 for p.
2
Let x be (-6)/(-2)*24/9. Let d(a) = a**3 - a**2 - 5*a + 2. Let v be d(3). Suppose x = j - t, -j + 31 = v*t + 5. Solve -5*n - 1 = -j for n.
2
Let i(f) = f - 1. Let k be i(6). Suppose k*s = 3*s + 4. Solve -s*c = -4 + 10 for c.
-3
Suppose 43 = 2*o + o - 2*x, 0 = 5*o + 3*x - 40. Suppose -3*i - 5*a - 13 = 0, 0 = 3*a + o + 4. Let f be (2/3)/(i/18). Solve f*z + 0*z = 12 for z.
4
Let l(o) = -4*o**2 + 5*o**2 - 2*o**2 + 19 - 5 + 9*o. Let a be l(10). Suppose a*v - 2*t = t + 13, -3*v - t + 13 = 0. Solve 16 + 0 = -v*j for j.
-4
Suppose 3*a = 7*a + 4, 0 = 5*o + 5*a. Let b = 1 - o. Let g = b + 1. Solve -2*x - 5 = -g for x.
-2
Let u(c) = -3*c - 2*c - 2*c + 6*c + 14. Let b be u(8). Solve 0 = -0*k + 2*k + b for k.
-3
Suppose 2 = 2*p, -5*p = -3*r + 2 + 2. Let q(m) = -m + 4 - 2 - r. Let v be q(-5). Solve -v*i + i = -15 for i.
5
Suppose -4*j + 6*j = 10. Solve 0 = -3*v + 17 - j for v.
4
Suppose -6*o - 2*o = -16. Solve -o*p = 3*p + 5 for p.
-1
Let t(g) be the first derivative of 2*g**3/3 + g**2/2 - 3*g + 2. Let m be t(-3). Solve -3*n - m = -3 for n.
-3
Suppose -3*f = -4*i - i - 24, -5*f = -i - 18. Suppose 0 = f*t - 0*t - 15. Solve -1 = -t*o + 9 for o.
2
Let j = 11 + -4. Suppose 4*y = 2*i + 17 - j, 15 = -3*i. Suppose -3*b = -y*b - 18. Solve -3*u - b = 9 for u.
-5
Suppose -4*k = -9*k + 40. Let g(s) = -4*s**2 - 1. Let y be g(1). Let n = k + y. Solve 3*a + n = -9 for a.
-4
Suppose -6*l - 23 = -2*j - 9*l, 3*j - 36 = -5*l. Solve -j*m + 10 = -12*m for m.
-2
Let j(a) = 4*a - 13. Let o(m) = -7*m + 25. Let f(d) = 5*j(d) + 3*o(d). Let y be f(8). Solve 0 = -y*p + 3 + 5 for p.
4
Let s = -6 + 24. Let k = 135 - 131. Suppose -k*b + s = -b. Solve -p + b*p = 0 for p.
0
Let q be (-5)/5 - -3*2. Suppose 2*d + k - 2 = 0, -3 = -q*d + k + 9. Suppose -2*r + y = -7, -d*r + 5*y = 3*r - 15. Solve r = s + 1 for s.
3
Let x(k) = -k**2 + 11*k - 25. Let p be x(6). Solve p = -g - 0 for g.
-5
Let q(p) = p + 1. Let f be q(2). Let v = -70 - -72. Let b(w) = -w**2 - 8*w - 5. Let a be b(-5). Solve v = f*r - a for r.
4
Let f be (-81)/(-15) + -2 + (-40)/(-25). Solve -4*m = -f*m for m.
0
Suppose 3*g + 5*v = 26, g - v = 3*v - 14. Suppose u + g*u = 0. Solve 4 = k - u for k.
4
Let p = 9 + -10. Let n be -8 + 8 - (p - -1). Solve n*a = a - 2 for a.
2
Let v = 20 + -8. Solve 4*i + v = -0*i for i.
-3
Let z = -23 + 27. Solve -3*o = 13 - z for o.
-3
Let m = -27 + 31. Solve -11 = -5*b + m for b.
3
Let r = -22 + 26. Solve r*o = 7 + 5 for o.
3
Let s(m) = -4*m - 19. Let j be s(-6). Suppose -2*z + 0*z = 2. Let p = z - -1. Solve p = b - j for b.
5
Let j be 4/6 - 6/9. Let o = -19 + 21. Solve j = -o*d - 2*d - 4 for d.
-1
Suppose 2 = 7*x - 26. Solve -13 - 7 = x*s for s.
-5
Suppose 4*q + 4 = -5*n - 0*n, 0 = -q - 1. Solve n - 20 = 5*x for x.
-4
Let c = 18 + -13. Suppose 5*g - 1 - 15 = -2*k, g + 10 = 4*k. Suppose 3 + 3 = g*r. Solve c - 2 = r*a for a.
1
Suppose -33 = -2*i - 3*z, 4*z - 13 = i - 2. Solve 0 = 4*q - i*q for q.
0
Let f(r) = -r**3 + 7*r**2 + 8*r + 3. Let n be f(8). Let w be 1*(4 - -1)/1. Suppose -s + 4*i + 20 = -0*i, -w*i = s - 11. Solve u + n*u = -s for u.
-4
Suppose -3*z - 2*z + 25 = 0. Suppose w - 5*r = 13, -5*w = -4*w - r - z. Suppose -3*x + 4 = -17. Solve 0 = 4*h - x*h - w for h.
-1
Let w(k) = k - 6. Let y be w(9). Solve 0 = 6*z - y*z - 12 for z.
4
Let c(o) = -5*o - 1. Let y be c(-1). Let m be 1/y + 7/4. Suppose 0 = -z + 2*z - m. Solve -z*n + 12 = 2*n for n.
3
Let p(t) = 2*t - 1. Let i(a) = 9*a - 5. Let s(q) = 6*i(q) - 26*p(q). Let b be s(3). Solve b = 4*j - 2 for j.
1
Let n be (-3)/(0 - 6/8). Suppose 0 = n*m - 16, 4*d - 5*d + 2*m = -3. Let s = d + -8. Solve -y = 1 + s for y.
-4
Let k be 2/7 - (-6)/(-21). Solve -g - 1 = -k for g.
-1
Let f be 2*(-3 + 2) - -64. Suppose 155 = 5*u - 2*n + n, 2*u - 5*n - f = 0. Let p = u + -19. Solve 0 = 6*s - 2*s + p for s.
-3
Suppose -3*h + 20 = 11. Solve -h*k - 2 + 8 = 0 for k.
2
Let n = 63 - 52. Solve 0 = -3*s + 1 + n for s.
4
Let x be -1*(1 + -6 + 2). Solve 0 = w - x + 6 for w.
-3
Suppose 4*p = -0*p. Let a(o) be the third derivative of o**4/12 + 4*o**3 + 2*o**2. Let x be a(-10). Solve 4*d - x = -p*d for d.
1
Let z = 11 - 10. Let b be 2/2 + (2 - z). Solve -n - 12 = b*n for n.
-4
Let k(j) = -3*j + 10*j - j - 2*j - 6*j**2 + 7 + j**3. Let w be k(5). Solve w*o + 3 = o for o.
-3
Let b be (3/2)/(6/8). Suppose 3*x - 5*j - 12 = 0, 4*x - b*j = 2*x + 8. Suppose -p - 3*i = 2 + 3, 0 = -4*p + x*i + 28. Solve 6*y + 8 = p*y for y.
-4
Suppose -4*b - 5*a - 9 - 11 = 0, -20 = 5*a. Let q(t) = t + 1. Let f = 0 + 2. Let j be q(f). Solve b = s - j*s for s.
0
Suppose -h = -11 + 2. Suppose -4*z = -h*z + 25. Solve -5 = -z*b + 10 for b.
3
Let l be 12/(-36) + (-8)/(-6). Solve -y + 2*y = -l for y.
-1
Let i = -2 + 2. Suppose 0 = 5*q + 5*m, 3*m + 12 = q - i*q. Let z be (-6)/(-14) - (-128)/28. Solve z*j - 2 = q for j.
1
Let o(l) = 2*l**2 - 13*l - 6. Let q be o(7). Solve -2*p = -q + 11 for p.
-5
Suppose 5*h + 2 = -3