Solve -1 = l*w + 3 for w.
-2
Let o be -6*(1 - (-3)/(-2)). Let r(a) = -2*a - 3. Let s be r(-3). Suppose 5*k - 5 = -s*g, -4*k - o*g - 4 = g. Solve -n - k = 3*n for n.
-1
Suppose -7 = -4*l + 17. Let x = l - -1. Let z = -7 + x. Solve 3*s - 7 - 8 = z for s.
5
Let m = -17 - -17. Solve -2*v = -m*v + 2 for v.
-1
Let u be (-1)/(((-1)/(-9))/(-1)). Let n(d) = d + 3. Let c be n(-2). Suppose -3*g + 3 = -3*z, 2 = -g + 5*z - c. Solve 0 = -j - g*j - u for j.
-3
Suppose -4*z - k + 23 = 0, 2*z + 5*k = 3 + 4. Solve 0 = s + s + z for s.
-3
Suppose -3 = -2*r + 3. Solve r*s - 12 = -0*s for s.
4
Suppose 2*d + 5*k = 13 + 13, -k = d - 7. Solve 5 = d*c - 2*c for c.
5
Let d = -175 - -175. Solve a + d = 2 for a.
2
Let o(y) = -y**2 + 2*y - 1. Let k(p) = -4*p**2 + 8*p - 4. Suppose 3*d - d - 4 = 0. Let r(l) = d*k(l) - 9*o(l). Let i be r(3). Solve -u + i = 3 for u.
1
Let f(m) = m**3 - 6*m**2 + 2*m - 8. Let p be f(6). Solve 2 - 10 = p*x for x.
-2
Let j = -5 - -8. Let z(n) = 2*n - 5. Let d be z(3). Solve j*b + d = -5 for b.
-2
Let x be 9/3 + 5 - 3. Let a be (-2)/x - (-4)/10. Solve -w - 3 + 5 = a for w.
2
Let m be (2 + 5)/7 + 2 + -1. Solve -3*x = m*x for x.
0
Let b = 32 + -8. Suppose q - 3*n - 15 = 4*q, -2*q + 5*n = -25. Solve q = -5*x + b - 9 for x.
3
Let q be (-1 - 2) + 0 + (-3 - -11). Solve 4*p = q + 7 for p.
3
Let f be 8/(-28) + (-4)/(-14). Suppose 3 = u - f. Solve 0*q + 6 = -u*q for q.
-2
Let q be (0 - 2) + 6/3. Suppose -3*a - 2 - 10 = q. Let f be (a - -3)/(2/(-4)). Solve -3*b = -f*b + 5 for b.
-5
Suppose l + 4*j = -16, -5*j - 45 = -6*l + l. Suppose o - l = 3*k - 5, -k = -5*o - 5. Let g be 1*o*(4 + -8). Solve 3*c - g = -1 for c.
1
Let u = 18 - 12. Let l = -44 - -49. Solve -l*t + u = -14 for t.
4
Suppose -5*i + 47 = -58. Let j = i + -18. Solve j = 3*z - 3 for z.
2
Suppose -3 + 1 = s. Let i(m) be the second derivative of m**4/12 + m**3/6 + m**2/2 - 4*m. Let y be i(s). Solve -5*d - y = 2 for d.
-1
Let n be (3 + 0)/3*-6. Let i = 15 + n. Let a(h) = -h**3 + 9*h**2 + 7. Let b be a(i). Solve -5*x - b = 3 for x.
-2
Suppose -5*w + 4*w - 13 = -3*z, 4*w = 3*z - 25. Let c(b) = b**2 + 4*b + 3. Let r be c(-2). Let m = z + r. Solve -m = -3*v - 17 for v.
-5
Let x(z) = -z + 7. Let u be x(5). Solve -u - 8 = 2*d for d.
-5
Let k(p) = p**2 + 2*p - 3. Let j be k(-3). Let y be (-2)/16 - (-3)/24. Solve f + y*f = j for f.
0
Let z be (-300)/(-125)*(-1 - -6). Solve z = -4*h - 4 for h.
-4
Let v(x) = 3*x**3 + 5*x**2 + 5*x**2 - 3*x**3 - x**3. Let f be v(10). Suppose 0 = n + 3*w - 16, 0 = 4*n + 2*w - 26 + 2. Solve -n*t + f = -4 for t.
1
Suppose -w + 4*f = 3*w + 4, 0 = 4*f - 20. Solve i - w*i = -9 for i.
3
Let d = -42 + 29. Let i = -9 - d. Solve -4*m - 16 = i for m.
-5
Let k(s) = s**2 - 14*s + 19. Let t be k(13). Solve t = -5*f - 9 for f.
-3
Suppose -10*d + 24 = -4*d. Let o = 5 - 5. Solve o = -s - 0 - d for s.
-4
Let r(g) = 2*g**2 + 3*g. Let p be r(-2). Suppose v = -4*j + 10, -2*v = -j + 4 + 3. Solve 0 = d - p*d + j for d.
3
Suppose 0 = 5*f + 3*d - d - 2, -3*f - 1 = -d. Suppose w - 4 + 3 = f. Solve -3*r - 2 = w for r.
-1
Let w be 8/(-3)*9/6. Let p be 2 - w/(-2) - 0. Suppose p*g - g = 0. Solve 5 = m - g*m for m.
5
Suppose 5*i - 5 = 4*s, -s + 15 = 3*s - i. Solve -s = 4*f + f for f.
-1
Let n(g) be the first derivative of -g**2/2 - 2*g - 1. Let c be n(-5). Let h be ((3 - 3)*-1)/c. Solve h = -0*y - y + 2 for y.
2
Suppose 0 = -5*q - 5*x + 15, 5*q - x - 2*x = 7. Solve -4*j = -q*j for j.
0
Let q(m) = -12*m**3 - m**2 - 2*m - 1. Let w be q(-1). Solve 0 = -0*t + 3*t + w for t.
-4
Let q be ((-16)/3)/(7/(-21)). Solve -4*p + q = -4 for p.
5
Let v be ((-7)/3)/((-1)/3) - 4. Solve v*w = -12 + 6 for w.
-2
Suppose -5*i + 4*d + 11 = 0, -3*i + 2*d = -0*i - 5. Let m = i + 4. Solve 8*a = m*a + 10 for a.
2
Let b(q) = -24*q + 1. Let t(x) = -1. Let z(l) = -b(l) - 2*t(l). Let o be z(1). Let d be (12/16)/((-2)/(-16)). Solve d*p - p = o for p.
5
Let v = 20 - 18. Suppose g = -v*g + 6. Solve s = -2 - g for s.
-4
Suppose 0*c + 8 = 2*c, 0 = 5*j + c + 21. Let z be 1584/80 - 1/j. Solve -z = -0*y - 4*y for y.
5
Suppose -3*g - 3*s + 48 + 3 = 0, 2*s = 2*g - 26. Suppose -4*y = -k + 16, 2*k - 2 = -2*y - 10. Solve k = -0*b + 5*b - g for b.
3
Suppose 0*y = 4*y. Let u be (2/(-3))/(2/(-6)). Suppose -o - 6*t + 2*t + 11 = 0, -2*t = u. Solve y*s - 5*s - o = 0 for s.
-3
Suppose 5*b + 44 = 54. Solve v = -7 + b for v.
-5
Let q(b) be the first derivative of b**4/4 + 8*b**3/3 - b**2/2 + 2*b + 5. Suppose -4*p - 40 = 5*a, -p + 8 = -a + 3*p. Let c be q(a). Solve l - c = -4*l for l.
2
Suppose 0 = g - 0 - 4. Let c be ((1 - 1)/2)/(-2). Suppose 2*b - 7*b + 25 = c. Solve -g*q = -b*q + 1 for q.
1
Suppose k + 3*k + 5*b - 23 = 0, 0 = -3*k + b + 3. Let x(a) = a - 3. Let t be x(4). Solve -k*z - 1 = t for z.
-1
Let x(z) = z**2 + 8*z - 2. Let t be x(-8). Let k be t/(-5)*5 - -2. Solve 0 = s - k + 2 for s.
2
Suppose 0 = -6*b + 9*b. Suppose -h + b = -7. Solve -3 = -2*u - h for u.
-2
Suppose -4*d + 0 = 8. Let n = d - -6. Solve -a + 5 - n = 0 for a.
1
Let s = 6 - 4. Suppose 2*y - 10 = -s. Solve -x = -y*x for x.
0
Suppose 3*n - 10 - 2 = -3*z, 2*n + z - 4 = 0. Solve n = -3*p - 2 - 1 for p.
-1
Suppose 8 = -4*z + 8*z. Suppose 0*s + 18 = z*s. Solve -2*u = u - s for u.
3
Suppose 2*t + 22 = 5*j - 3, -2*j + 5*t + 10 = 0. Solve j*w = 8 - 3 for w.
1
Let c = 3 - 5. Let b = c - -4. Let s = 4 + b. Solve j = s*j + 5 for j.
-1
Let r(v) = 3*v. Let i be r(2). Suppose 5*n - i = 4. Solve -n + 6 = o for o.
4
Let t(f) = 4*f**2 + f. Let o be t(-1). Suppose -i - 16 = -5*i + 4*s, 0 = o*i - 2*s - 11. Suppose 35 + 0 = 5*g. Solve -i*m - 2 = g for m.
-3
Suppose 0 = k + 2*k. Let n = 6 - -1. Suppose p + 5*x + 8 = x, 3*x - n = -4*p. Solve k = -5*g + g - p for g.
-1
Let g = -30 - -35. Solve -c + g*c - 20 = 0 for c.
5
Suppose 20 = 5*c + 90. Let q = c - -19. Solve -q*x = -0*x + 15 for x.
-3
Suppose -r = t - 0*t + 1, -4*r = t - 8. Solve 1 + 8 = -r*g for g.
-3
Let d be -5*(0 + (-6)/10). Let t = 5 - d. Let i be t/(-11) - 6/(-33). Solve i = a + 3 - 0 for a.
-3
Let r(k) = 2*k**2 - k - 1 + k**3 - 4*k**2 + 4*k + k. Let n be r(3). Solve a + n = -4*a for a.
-4
Suppose -5*z + v + 0*v + 15 = 0, -z - 4*v + 3 = 0. Suppose 2*p - z*p - 20 = -5*k, 3*k = 3*p. Solve -p*b = -4*b for b.
0
Let y(u) = u**2 - 14*u - 13. Let x be y(15). Solve 7*q - x*q = -25 for q.
-5
Let z(a) = a**3 + 3*a**2 + a. Let q be z(-2). Solve q = -0*f + f for f.
2
Let t(c) = 2*c + 3. Let s be t(-5). Let x(l) = -5 + 0*l**3 + 0*l**3 + 2*l**2 - 8*l**2 - l**3 + 6*l. Let n be x(s). Solve n = -y + 3*y for y.
1
Let m = 27 - 25. Solve -2*s = m*s + 20 for s.
-5
Suppose -4*s = -5*m + 4 + 2, -3 = -4*m + 5*s. Solve m*x = x for x.
0
Let x(i) = i + 8. Let d be x(-6). Let y be (-7)/(-7) - (1 - 0). Solve y = -2*u - d*u for u.
0
Suppose 3*q + 12 = 3*h, -2*q + 2 - 3 = 5*h. Let o be h*(117/3)/3. Solve -3*k = 1 - o for k.
4
Let f(l) = -6*l + 1. Let c be f(-4). Suppose b + 5*x - c = 0, 5*x + 0*x = 4*b + 25. Solve 0 = -b*t - t for t.
0
Let g be (10/4)/(60/24). Solve -5*p + 4 = -g for p.
1
Let a be 1 + -2 - (-10 + 6). Suppose -4*u - 3 = -11. Solve 0 = u*k + a*k - 20 for k.
4
Suppose -4*r + 19 - 3 = 0. Suppose -5*j + 3*s + 26 = 0, 3*j - 2*s + r - 19 = 0. Let a = 8 - 6. Solve j - a = -5*l for l.
-1
Let h(k) = -k**2 + 6*k + 5. Let o be h(7). Let m = 1 - o. Suppose -3*y + 12 = -0*y. Solve m = -v + y for v.
1
Let h = -27 - -29. Solve h*a - 5 - 1 = 0 for a.
3
Suppose 4*l + t = 3, 2*l + 4*t + 1 = -1. Let m(z) = z + 0 - l - 2. Let j be m(5). Solve -3*u - j*u = -25 for u.
5
Suppose 0 = 3*u - 11 - 1. Let w = 23 - 51. Let k = w + 28. Solve k = -u*s + 20 for s.
5
Let y = -21 - -28. Solve -1 + y = -3*a for a.
-2
Let l = 12 - 18. Let m(p) = -p**3 - 6*p**2 - 3*p - 8. Let b be m(l). Let h = b + -10. Solve -4*s - 12 = -h*s for s.
-3
Suppose 8 = 5*v - 2. Suppose -v*j - 21 = -4*s - 3, j = 4*s - 17. Suppose -2*c - 4 = -s*c. Solve 0 = -c*b - 1 - 1 for b.
-1
Let x = 8 + 0. Solve -3*u + 10 = -x*u for u.
-2
Let j(n) = -n**3 + n**2 + 6*n - 1. Let f be j(3). Let c be 5 + -1 + f + -1. Solve 0*y = -c*y for y.
0
Let f(n) = -n**3 - 2*n**2 + 2*n - 1. Suppose -2*s - 5 = 1. Let k be f(s). Solve -k*c + 1 = 7 for c.
-3
Let u be (-1)/2*(6 + -26). Let k be 0*(-2 - u/(-4)). Solve k*q = -5*q + 5 for q.
1
Let v be (-11)/5 - 2/(-10). Let l be -1*((1 - 2) + v). Suppose -5 - 13 = -l*g. Solve -6 - g = 3*b for b.
-4
L