(-5). Solve n*b - a = -b for b.
1
Suppose -4 = 4*a - 24. Solve 5*v + a = -0 for v.
-1
Let f = -21 + 23. Solve -f*x = -7 - 1 for x.
4
Let u = -19 + 13. Let d = u + 21. Solve -2*s = 3*s - d for s.
3
Suppose 3*t = -4*b - 9, t + 3 - 1 = -b. Let w be b*-2*3/6. Suppose w*u + 27 = -r + 6*r, 2*r + 6 = -3*u. Solve -j + r = -0*j for j.
3
Suppose 6*b - 2*b + i - 25 = 0, b - 5*i = -20. Suppose 0 = -4*r + 4. Solve d - b + r = 0 for d.
4
Suppose -7*s + 9 = -19. Solve s*y = -y for y.
0
Let a(v) = v**3 + 8*v**2 + 7*v - 4. Let j be a(-7). Let d be 2/j - 15/(-6). Solve -d + 6 = 4*p for p.
1
Let s(z) = z + 8. Let g be s(-3). Solve 5 = g*m - 0 for m.
1
Let z(f) = f**2 - 7*f - 28. Let w be z(11). Solve 0 = -7*o + 3*o - w for o.
-4
Let v be (-5)/(-25) + (-1)/5. Suppose -2*z + 0*z = v. Solve -g - g + 8 = z for g.
4
Suppose 7*m - 2*m = 10. Solve -m*j = -6*j - 4 for j.
-1
Suppose -3*m = -0*m. Solve m - 2 = s for s.
-2
Let s = -19 + 4. Let m be ((-36)/(-14))/(s/(-70)). Suppose -3*x - x - 4*y = 0, 0 = 2*x + y. Solve q + 3*q + m = x for q.
-3
Let l = -29 - -29. Solve -3*o - o = l for o.
0
Suppose 4*j - j = 18. Let a = 6 + -2. Solve 0 = -a*f + j - 2 for f.
1
Suppose -4*f - 5*z = -21, 4*z + 13 - 1 = 4*f. Solve 0 = -f*a + 6*a - 8 for a.
4
Suppose n = 5*r + 27, 2 = -4*n - 3*r - 5. Solve 0*s - 8 = n*s for s.
-4
Let h be (2 + -1)*1*1. Let l be -18 + 21 + (1 - 2 - -1). Solve -h = 4*a + l for a.
-1
Suppose 3*d - 3*l + 12 = 0, 2*l + 2*l = -4*d. Let j be (-168)/(-20) + d/5. Solve -3*w + j*w = -5 for w.
-1
Let l(t) = t - 10. Let c be l(0). Let r = 14 + c. Solve -r*a = -1 - 3 for a.
1
Suppose 2*z - x + 77 = 6*z, 0 = -z - 2*x + 21. Let r = z - 14. Solve r*c = c for c.
0
Suppose -2*z + 5*c = -11 - 6, 0 = -3*z - 2*c - 3. Solve 0*r - z = -r for r.
1
Suppose -p + 3 = 2*p. Solve -17 = -4*g - p for g.
4
Suppose -5*r = -7*r + 8. Suppose r*q = 10 + 2. Solve -y = -q*y + 4 for y.
2
Suppose -a + 0*v - 5*v = -25, -4*a - 15 = -3*v. Solve 2*l = -a*l + 8 for l.
4
Suppose -12 = -2*p - p. Suppose 0 = -p*q - 5*x + 5 + 23, 5*x - 16 = 2*q. Solve 6 = q*z - 5*z for z.
-2
Suppose 4*v - 10 = -0*v - n, 0 = 5*v + 2*n - 14. Suppose -x + 4 = v. Suppose -q - 3*o + 15 = 0, 0 = 5*q - o + 3 + x. Solve 3*j = -q*j + 3 for j.
1
Let n be (-15)/(-25) - (-48)/(-5). Let v = n - -3. Let h be 9/v*(-24)/9. Solve -2 = -u - h for u.
-2
Let s(n) = -n**2 + 9*n - 3. Let v be s(8). Solve -4*a - a = v for a.
-1
Suppose 815 = 4*o - 81. Suppose o + 24 = 4*k. Suppose 0 = -5*u + k + 63. Solve -u = 4*m + m for m.
-5
Suppose d + 0*d - 4 = 0. Solve -3*s + d = -s for s.
2
Let w be (-1)/(-1) - (1 + 0). Suppose 6*j = -a + 2*j + 34, a + 2*j - 24 = 0. Let v be 26/5 - (-2)/(-10). Solve -v*i - a - 1 = w for i.
-3
Let b be (-2)/2*40/(-8). Solve 0*n - b*n = 0 for n.
0
Suppose 0*h - 7 = -h. Suppose 0 = r - 3 - h. Solve 7*y - 2*y = r for y.
2
Let r be (2 - 1)*(-21)/(-7). Solve 2 = -l + r for l.
1
Let o = 6 + -4. Solve -2*m = o*m for m.
0
Suppose m - 10 = -0*m. Let b = 18 - m. Let d(q) = 6*q + 92. Let h be d(-15). Solve -2*t - h = -b for t.
3
Let w be 1*(0 - -1*2). Suppose -4*c - 60 = -4*m, 3*c + 71 = 5*m + 2. Let k = -8 + m. Solve -k*v = -w*v + 2 for v.
-1
Let a = -3 + 6. Solve 2*r = a*r for r.
0
Let o = -10 - -11. Solve -2 - o = m for m.
-3
Suppose -2*v + 22 + 48 = 0. Suppose 5*b = 5*f + 5 - v, b + 12 = 4*f. Solve -2*g - f*g - 8 = 0 for g.
-2
Suppose -r + 8*r = 21. Suppose -3 = 3*b + 4*k, b - 9 = -k + r*k. Solve z = -b*z + 12 for z.
3
Suppose -i = -17 + 5. Solve -3*c = -6*c + i for c.
4
Let x = 38 - 28. Solve -x = 3*p - 1 for p.
-3
Let m(f) = -f**3 - f**2 - f. Let r(a) = 5*a**3 - a**2 + 6*a - 6. Let y(q) = 4*m(q) + r(q). Let h be y(5). Let d = 18 + -11. Solve h*p - 15 = d*p for p.
-5
Let a be (0 - 0)*(-2)/(-4). Suppose a*r = 3*r. Solve r = p - 5 + 1 for p.
4
Let a be (-20)/(-15)*(-6)/(-4). Let t = 6 - a. Solve -t*s = s - 25 for s.
5
Suppose 16 = 6*v - 5*v. Solve 2*l + 2*l = v for l.
4
Let k(i) be the third derivative of i**6/120 - i**5/12 + i**4/8 + i**3 + 7*i**2. Let f be k(4). Solve -2*j - f*j = -4 for j.
1
Suppose 12 = 4*j + 3*s - 4*s, -5*j + 2*s = -12. Solve z = -j*z for z.
0
Suppose -2*v + 6 = -2*c, -v - 4*c + 6 = 4*v. Let z(m) = -m + 1. Let s be z(1). Solve -v*a + 2 = -s*a for a.
1
Suppose -2*h + 12 = -0*h. Let z(y) = -y**3 + 5*y**2 + 2*y - 7. Let q be z(5). Solve -q*u + 6 = -h for u.
4
Let v(k) = k**2 - 2*k - 1. Let x be v(3). Suppose -x*p + 11 = 5*g, g - p - 11 = 3*p. Let n be 2/(g - 1)*1. Solve 0 = 2*h - n - 5 for h.
3
Suppose 20 = -5*w, -4*h + 2*w = 7*w + 20. Let a = h + 2. Suppose 0 = a*b + 3*b - 45. Solve -b = -d - 2*d for d.
3
Let q(a) = -1 - a + 0 - 1. Let o be q(-4). Solve 2*m - m = o for m.
2
Let c = 13 - 8. Suppose -3*q = 4*a - c*q - 18, 3*q = -3. Suppose -4*k + 8 = -3*s, 2*s + 2 = 3*k - a. Solve -3*l = k*l for l.
0
Suppose 3*o = -o + 20. Let t = o + 2. Solve -4 = u - t for u.
3
Let t be (55/22)/((-2)/(-4)). Solve -2 - 13 = t*q for q.
-3
Let q(z) = -z**3 - 6*z**2 + 6*z - 4. Let b(l) = 4*l**3 - 2*l**2 - l - 2. Let n be b(2). Let k be (-2)/(-5) - 148/n. Let p be q(k). Solve 8*m - 25 = p*m for m.
5
Suppose b - 3*k = -4*b + 35, 4*b - 3*k = 31. Let q be (-2 - (14 + 1))/(-1). Solve q = -b*p - 3 for p.
-5
Suppose -4*l - 7 = 9. Let n be -14*6/l*1. Let p = -13 + n. Solve 0 = 3*w + w + p for w.
-2
Let u(l) = l**3 - 8*l**2 + 7*l + 2. Let y be u(7). Solve -2 + 12 = -y*n for n.
-5
Let i(n) = -n**2 - 7*n. Suppose 0 = 4*u - u + 21. Let w be i(u). Solve 0 = -5*k - w*k + 15 for k.
3
Suppose 4 = -2*a - 4*g - 0*g, -3*a = g + 11. Suppose 2*l - 4 + 1 = 3*m, 2*l = -3*m - 3. Let z be (-36)/a + 2 + m. Solve 3*h - 5*h + z = 0 for h.
5
Let g(s) = s + 6*s - 3*s - 1. Let b(h) = -13*h + 3. Let z(i) = -4*b(i) - 11*g(i). Let y be z(1). Solve y = 3*o + 22 for o.
-5
Suppose -5*f + 5 + 0 = 0, -k - 2*f + 25 = 0. Let l = -13 + k. Let p be ((-6)/l)/(6/(-30)). Solve 3*a + p = -0*a for a.
-1
Let a = 6 + 1. Suppose -3*j = 2*j - 15. Solve -a = -5*q + j for q.
2
Let g be (-14)/(-2)*-1 + -3. Let s(d) = -d**2 - 9*d + 14. Let b be s(g). Solve -t + 0 = -b for t.
4
Suppose 3*g - 4*d = 6, d + 3*d + 4 = 2*g. Let s be (-27)/(-4) + g/8. Suppose 3*t + 4 = 1, b - 2*t = 4. Solve -s = -5*k - b for k.
1
Let q(s) = 2*s - 3*s**3 - s - 5*s**2 - 4 + 4*s**3 - 1. Let f be q(5). Solve f = 4*k - 0*k + 16 for k.
-4
Suppose -29*o + 31*o = 32. Solve -7*n = -3*n - o for n.
4
Suppose 0 = 56*w - 53*w. Solve w = 2*q - 4 for q.
2
Let s be 3*6/(-90) - 2/(-10). Solve 3*g + g - 4 = s for g.
1
Let y be (30/6)/5 + 2. Solve -y*k - 6 = -3 for k.
-1
Let c(s) = s + 9. Let p be c(-4). Suppose 0 = 2*x - 3 - 1, 3*x - 6 = 3*a. Suppose -16 = -4*v, 5*h - 4*v + a*v + 16 = 0. Solve h*z + p*z = 0 for z.
0
Let q be 3*(-3)/((-9)/(-1)). Let u be 0 + (0 - 2*q). Let p(k) = -k**3 + 4*k**2 + 7*k - 6. Let g be p(5). Solve u - g = 2*t for t.
-1
Suppose -2 = -4*w + 10. Suppose -w*k + 1 = -3*t + 5*t, -t - 2 = 2*k. Solve -a + t = a for a.
4
Let x = 1 + -3. Let k be 1 - -1 - (-2 - x). Solve -8 = -0*s + k*s for s.
-4
Let n(g) = -g**3 + 12*g**2 + 14*g + 3. Let z be n(13). Solve 6*f - z = 10*f for f.
-4
Suppose 0 = 3*p + 3*v - 9, p + 3*p = 4*v - 12. Solve p*w - 3*w = -6 for w.
2
Suppose 5*w - 2*p - 9 = 0, 5*p - 11 = -w + 7. Suppose w*b = b. Solve b = a + 5 for a.
-5
Let c be 780/(-75) - -10 - (-47)/5. Let f = 4 + -2. Solve -d + c = f*d for d.
3
Suppose 4*d + 5*s = -61, -d - 23 + 9 = s. Let q = 12 + d. Solve 0*v + q*v - 15 = 0 for v.
5
Suppose -9*i + 10 = -10*i. Let r be (-4)/i + (-18)/(-5). Solve 25 = -q - r*q for q.
-5
Suppose -6*j + 2*j = -2*l, -3*l = j - 7. Solve l*t = 4*t for t.
0
Let i(a) = -a**2 - 6*a + 16. Let c be i(-7). Solve -c = -h - 4 for h.
5
Let o(m) = -2 - 1 + 4*m + 0. Let a be o(3). Suppose -3*s = v - a, -s + 14 = v - 3*s. Solve 6*z = 3*z - v for z.
-4
Let o(v) = -v**2 + 5*v. Suppose 0 = -4*z - 0*z + 24. Let h be o(z). Let w = 11 + h. Solve 2*n = n - w for n.
-5
Let b be (6/(-3))/((-6)/(-3)). Let q be (0/(b + 0))/2. Solve a + q*a + 4 = 0 for a.
-4
Let r be (378/12)/(-3)*2/(-3). Solve 4*y + r = 3 for y.
-1
Suppose -4*q = 5*c - 0*q + 8, 2*q = 3*c - 4. Let x be 4/10*(4 - 24). Let r = x - -15. Solve c = -3*h - r + 22 for h.
5
Suppose -2*q + 3 = q. Solve 9 = -4*x + q for x.
-2
Let b(v) = -v**3 + 6*v**2 - 6*v + 4. Let x be b(5). Let h be -3 - -3 - 1 - x. Let q = -1 - -6. Solve -q*d + 20 + h = 0 for d.
4
Let z = 9 - 7. So