 18 = -0*s + s. Let p be (-12)/s*6/(-2). Suppose 3 = -d + p*d. Solve -3*j + 3 + d = 0 for j.
2
Let p be (0 - -3)*2 - 1. Solve -p*z + 12 = -3 for z.
3
Suppose -19 = 2*k - 4*k + 3*q, 0 = 4*q + 12. Solve -k = -5*v + 15 for v.
4
Let h be 5 + -3 + -2 + 2. Solve 10 = h*u + 2 for u.
4
Let r be (14/(-8) - -1)*-4. Suppose -v = -r*v + 28. Suppose -5*j = 25, 2*j + v = -3*p + 4*p. Solve -t + 25 = p*t for t.
5
Suppose -9 = 5*i - 24. Suppose -3*q + 6 = i. Solve 2 = -y + q for y.
-1
Let i(p) = -4*p - 3. Let k be i(-4). Suppose 6 = 3*r + w, 6*r = 2*r - 3*w + k. Suppose -5*c = -4*u - 0*u - 24, 0 = 2*c + 2*u - 6. Solve -c*l = -r - 11 for l.
3
Suppose 0 = 5*a + 15 + 10. Let q = 6 + a. Solve 4 - q = g for g.
3
Let t(z) = -z**3 + 2*z**2 - z - 4. Let u be t(3). Let h be 32/6*36/u. Let w be (-18)/h*(-4)/(-2). Solve -9 + w = -3*o for o.
2
Suppose 13 + 3 = 8*v. Solve -1 + 3 = v*k for k.
1
Let n be (1 + (-12)/21)*7. Solve n = -2*l + 3*l for l.
3
Let r = -68 - -70. Solve r*g + g = 0 for g.
0
Suppose -3*k + 3*f + 39 = 0, 0 = -4*k - k + 4*f + 63. Let c(h) = -h + 14. Let i be c(k). Let t = 2 + 0. Solve 11 = i*q + t for q.
3
Let a(h) = h**2 + 11*h + 5. Let q be a(-11). Solve 0 = -u + q*u for u.
0
Let x = -58 - -41. Let j be (-3)/12 + x/(-4). Suppose 0 = j*g - g - 24. Solve 4*w - 8*w + g = 0 for w.
2
Let d(f) = -f**3 + 8*f**2 + 10*f - 11. Let q be d(9). Let y = 4 + q. Solve 3*s + y*s = 0 for s.
0
Let x be (-4 + 0)*(-15)/12. Let k be (-6)/(-1*1/1). Let t be -3*4*(-2)/k. Solve q + t*q + x = 0 for q.
-1
Let c = -4 + 6. Suppose 3*i - 40 + 16 = 0. Suppose -t + c = -4*a + 4*t, -4*t = -i. Solve w + a = 2*w for w.
2
Let t = -13 + 15. Solve 0 = t*v - 5*v + 15 for v.
5
Let x = 4 - -1. Suppose 46 + 34 = x*c. Solve -5*p = -p - c for p.
4
Let s(g) = 2*g**2 - 2*g - 6. Let l be s(3). Solve -2*n = -l*n - 12 for n.
-3
Suppose 2*t + 0*i = -4*i - 16, 0 = -5*t + 2*i + 8. Solve 2*j - j + 2 = t for j.
-2
Let r = 3 + 2. Let w = r - 4. Solve 0*j = -j - w for j.
-1
Let s = 24 + -11. Solve -3 = -5*n - s for n.
-2
Suppose 21 = 5*v - 79. Let o = v - 14. Suppose -p - 15 = -o*p. Solve 7 + p = 2*r for r.
5
Let f(z) = -3*z - 1. Let r be f(-3). Suppose -11*h = 2*h - 39. Solve -r + 23 = -h*p for p.
-5
Suppose -3*x - 4*c + 25 = -2*x, -x + 4*c + 1 = 0. Solve 5*f - 2 = x for f.
3
Suppose -14 = -4*d - w - w, 3*d + 3*w - 12 = 0. Let x be d/(-27)*-3*45. Solve 0 = 5*v - 2*v + x for v.
-5
Suppose -6*c = -c - 40. Suppose 3*f = c*f - 15. Solve 0 = -r + f*r - 4 for r.
2
Let m(j) be the first derivative of -j**2/2 + 4*j - 2. Let s be m(0). Solve -s*o = -2*o + 6 for o.
-3
Suppose 0 = 3*w - 2*k - 31, 2*k - 21 = -3*w + 2*w. Suppose 4*z + 22 + 22 = 0. Let h = -8 - z. Solve 4*u - w = h for u.
4
Let r = 3 + 13. Let w be (r/(-4))/(-1) + 0. Solve -w*p = -2*p - 4 for p.
2
Suppose -8 = 2*u - 2*y - 2, -2*y = 3*u - 16. Let k be 1 + (2 + -3)*-5. Let b be (0/9)/((-2)/1). Solve -u*n + b = k for n.
-3
Suppose 4*z + 1 = 13. Solve -z*t = -2 + 8 for t.
-2
Suppose 4*a - x + 5 = -6*x, 2*a + 4*x + 4 = 0. Solve 0 = -a*c - 2*c for c.
0
Let z(m) = 2*m - 2. Let d be z(4). Let y = d + -3. Solve -y*p - 2 = 1 for p.
-1
Let q be (-6)/(-2)*2*7/14. Solve -q*r = r - 20 for r.
5
Let r(n) = -n + 1. Let t be r(-7). Let p be 38/t - (-2)/8. Let o(s) = -s + 7. Let f be o(5). Solve p*h + 3 = f*h for h.
-1
Let c = -25 - -33. Suppose h + 10 = -d - 3*h, -5 = -d + h. Solve c - 2 = -d*s for s.
-3
Let r(w) = 2*w + 0 - 2 - 7. Let h be r(8). Solve -c = -3 + h for c.
-4
Let u(j) be the first derivative of -j**3/3 - 3*j**2/2 + 4*j - 2. Suppose w = -w - 6. Let n be u(w). Solve 0 = 2*m - n*m + 8 for m.
4
Suppose -a - 30 = -4*a. Let d be (-5)/(a/4)*-3. Solve 0 = i - d*i + 25 for i.
5
Let i(t) = -4*t. Let w(b) = -b. Let m(x) = i(x) - 5*w(x). Let f be m(2). Suppose -9 = -f*j - j. Solve -2 = -5*v + j for v.
1
Suppose 30 = 7*i + 9. Solve -i + 13 = 2*w for w.
5
Let j(i) be the third derivative of -1/2*i**3 + 1/8*i**4 + 0*i + 0 - 2*i**2. Let g be j(2). Solve g*a + a - 8 = 0 for a.
2
Let q = -7 + 6. Let y be (20*q)/(-3 - -1). Solve p + 4*p = -y for p.
-2
Let h = 2 + 1. Suppose -t + 176 = 10*t. Solve l + t = -h*l for l.
-4
Let y = 5 - 2. Suppose 5*i - 51 = -3*w, -2*i + 8 = -3*w - 4. Solve -3*j = y - i for j.
2
Suppose b = -3*b. Suppose m - 2 = -b*m. Solve -f + 3 = -m for f.
5
Suppose -25 = 2*m - 5. Let f = m - -14. Solve -f*y - 11 = 1 for y.
-3
Let z(t) = -t**2 - 2*t - 1. Let n be z(-5). Let f = 22 + -31. Let r = f - n. Solve -r = -b - 2 for b.
5
Suppose 0 = -o + 1 + 5. Suppose r = -4 + 7. Solve -o*f = -r*f - 15 for f.
5
Suppose 0 = -t - 4, -2*t - 14 = -y + t. Solve -y = 3*k + 1 for k.
-1
Suppose -3*w + 8 = -u - 0*u, -2*u - 5*w + 17 = 0. Let c be u + -3 + 3 + 3. Solve 2*v = -0*v - c for v.
-2
Let k = 7 + -2. Let j = k + -5. Solve 0 = -3*p - j*p + 9 for p.
3
Let k = -249 + 249. Let f = -1 + 3. Solve -f*i + 0*i - 8 = k for i.
-4
Let u(n) = -3 + 7*n**3 - 3*n**2 - 2*n**3 - 3*n**3 + 4. Let y be u(2). Suppose -z = -y*z. Solve -4*k + 0*k = z for k.
0
Let h(l) = -l + 10. Let s be h(8). Let v be 6/4 - (-5)/s. Solve 2*q + v = -4 for q.
-4
Let u be 228/18 + 4/(-6). Suppose -2*p = p - u. Solve -5*w = -p*w for w.
0
Suppose 2*h + 4 = -8. Let d(r) = 13*r - 21. Let a(g) = -7*g + 11. Let b(q) = h*d(q) - 11*a(q). Let u be b(4). Solve 5*p - 16 + u = 0 for p.
3
Suppose 0*r + r - 6 = 4*k, -5*r + 7 = 3*k. Solve 0*l = r*l for l.
0
Suppose 5*f = -20, q = f + 8 - 4. Solve 0*n + 2*n + 8 = q for n.
-4
Let h be 8/(-4)*(-22)/4. Suppose 0 = -3*p + 9 - 0. Solve 2 - h = p*l for l.
-3
Let z(y) = 4*y - 34. Let s be z(10). Solve q = -q + s for q.
3
Let g be (-3)/(-9)*(-27)/3*-1. Solve -2*n - g = n for n.
-1
Suppose 0 = 10*a + a - 66. Solve 0*x + 18 = -a*x for x.
-3
Suppose 5 - 41 = -6*q. Let c be 5/1 + 2/(-1). Suppose -a - j + 8 = 0, -a - 12 = -c*j - j. Solve q*x = a*x for x.
0
Let o = 10 + -5. Suppose -9 = 2*y - o*y. Suppose f + y*f - 48 = 0. Solve 0 = 5*j - j - f for j.
3
Suppose 14*c - 13*c - 3 = 0. Suppose c*i + 3*v - 8*v = 13, v = 4. Solve -i = -5*f - 31 for f.
-4
Suppose -18 = -5*l + f, -2*l + 5*f - 5 = -3. Suppose l*c + 3*y = 94, -3*y + 7*y = 5*c - 133. Solve -3*z - c = 2*z for z.
-5
Suppose 3*v - 16 = -k - 3, -2*k + v = -5. Solve 0 = h + k*h for h.
0
Let v be -1 - (1 + 0 + 1). Let u be 2 + (6 - 0)/v. Suppose 4*z - 15 = -2*k + 17, -k - 4*z + 20 = u. Solve k = -4*m + m for m.
-4
Let z be (0/1)/((-1)/(-1)). Suppose 0 = -4*h + l + 8, 3*h - 6 = -3*l. Let a be z - (2 - h - 0). Solve -4*g + 0 - 12 = a for g.
-3
Let k(u) = u**3 - u + 4. Let j be k(0). Let d be (-12)/(j/(-2)) + -3. Solve -d*y + 7 = -8 for y.
5
Let o = -22 + 10. Let v be (o/20)/((-1)/25). Solve 0 = 4*f - f - v for f.
5
Suppose 4*u + 4*r - 31 = r, -5*u + r = -15. Let v = -1 - -2. Let c be (1 - v) + 12/6. Solve -c*i + 12 = u for i.
4
Let c(a) = -a**3 + 4*a**2 - 3*a + 1. Let o be c(2). Solve 6 = o*i + 3 for i.
1
Suppose -3*j + u + 0*u + 8 = 0, -5*j + 30 = -5*u. Suppose -1 = -b + j. Let q = 3 - 3. Solve k + q = -b for k.
-2
Let q(k) = -k**2 + 23*k - 30. Let x be q(21). Solve 0*w + 4*w + x = 0 for w.
-3
Let o(s) = s**3 + s**2 - 4*s - 1. Let z be o(-3). Let k be (-1 - z)*(-1)/(-2). Solve 0 = 3*u - 3 - k for u.
2
Let v = 2 - 1. Let s = 2 + v. Solve s + 3 = 2*r for r.
3
Let q = 39 - 19. Solve -4*l - q = l for l.
-4
Let g = 7 + -1. Let i(u) = u**3 + u**2 - 6*u - 5. Let o be i(-2). Solve 3*b + g = -o for b.
-3
Suppose 2 = -y + 6. Suppose y*o - 9 = 3. Solve z - 2 = o for z.
5
Suppose -3*s + 0*s + 4*a - 93 = 0, -a + 31 = -s. Let d = s - -43. Suppose 4*b - 2*r - 10 = -2, 3*b + d = -3*r. Solve -3*k + 4 + 5 = b for k.
3
Suppose -g + 3*s - 10 = 3*g, s = -4*g - 2. Let i be (5/(-15))/(g/9). Solve 2*r = -i - 5 for r.
-4
Let g(d) = -d**2 - 5*d - 3. Let u be ((-2)/(-4))/((-2)/12). Let y be g(u). Suppose 3*v = -y*i - 6 + 18, 5*v + 4 = i. Solve 5*m - 2*m + 12 = v for m.
-4
Suppose -4*f + 6*g + 16 = 2*g, 0 = -2*g. Solve -f*v + 6 = 26 for v.
-5
Let o be (-3)/45*-5 + (-2)/6. Solve -2*w + 2 = -o*w for w.
1
Suppose -m + 14 = -5*y, 3*y = 3*m - m - 14. Let r be (70/(-2) + y)*-1. Let s be (0 + -4)/(-2) - -3. Solve -r = s*l - 12 for l.
-5
Let q be 1 + 1/((-2)/(-4)). Suppose 0 = 3*h - 15 + q. Solve 0 = -3*i + 2 + h for i.
2
Suppose 2*j + 8 = 0, -3*z + 2*z + 4*j + 19 = 0. Suppose -3 = 4*u + 3*l - 0, 0 = 2*u + 3*l + 9. Let v = z - u. Solve v*a - 10 = -5*a for a.
2
Let m(z) = -z*