 4*s - 10 = l*s for s.
-2
Let b = 6 + 12. Let k be (-24)/108 - (-4)/b. Solve k = -0*x + 4*x for x.
0
Let v be 10/45 - (-160)/9. Let s = -12 + v. Solve -4 = -k - s for k.
-2
Suppose -p + 3*k - 3 = 0, -4*p - 5*k + 7 = 2. Suppose p = 2*o + 4*o - 66. Solve 0 = -5*i + o - 1 for i.
2
Let o(d) = -d**2 - 21*d - 48. Let n be o(-18). Solve -l = 9 - n for l.
-3
Let u(n) = -10*n**2 - n. Let o(d) = 11*d**2 + d. Let c(k) = 3*o(k) + 4*u(k). Let w be c(-1). Let b be (1 + w/4)*-8. Solve -b*l - 5 = l for l.
-1
Let d = -2 + 5. Solve -d*h + 8*h - 10 = 0 for h.
2
Suppose -k - 1 = -3. Suppose k*f = 4*f - 12. Let q be (16/12)/(4/f). Solve 0*a + q = -2*a for a.
-1
Let y(i) = 3*i - 1. Let q be y(3). Suppose a = -a + q. Suppose -1 = a*n - 5. Solve n = 3*r + 10 for r.
-3
Let v(l) = l**3 - 2*l**2 - 14*l. Let a be v(5). Solve -7 = -w - a for w.
2
Suppose -3*r + 5 = -4. Let v = -5 - -13. Suppose -j = 6*p - r*p - v, p + j - 4 = 0. Solve -p*c - 3 = -5*c for c.
1
Suppose -6*a + 12 = -3*a. Solve a*b + 10 = -b for b.
-2
Suppose -5*c = -4*f + 3, -3*f + 3*c = -2*c - 6. Let h(r) = r**3 + 3*r**2 - r + 1. Let p be h(f). Suppose -p = -u - 3. Solve 0 = y - 4 + u for y.
3
Let g be ((-4)/(-6))/((-4)/(-48)). Solve 0 = a + a - g for a.
4
Let c(n) = -n**2 + 7*n + 10. Let w be c(7). Solve i + i = w for i.
5
Let b(o) = 2*o - 8. Let g be b(13). Let k be (-4 + 3)/((-2)/g). Let w = 18 - k. Solve 0 = -5*h - w - 1 for h.
-2
Suppose 2 = 2*j + 14. Let i be 1/(0 - 1/21). Let c = j - i. Solve h + 4*h = -c for h.
-3
Let j be (-4)/(-4)*1*(7 - 2). Solve 4*a = j*a - 3 for a.
3
Let i be (-2 - -3)/(5/10). Solve -i*b = -b for b.
0
Let r = 2 - 1. Let u(g) = 4*g**3 - 2*g**2 + 1. Let h be u(r). Let i(k) = k**3 + 2*k**2 - 4*k. Let p be i(-3). Solve 2*m - h = p for m.
3
Suppose -5*m + 30 = t - 0*t, 15 = m + 2*t. Let h(b) = -b + 5. Let v be h(m). Solve 1 = -k - v for k.
-1
Let w(k) = k**3 + 7*k**2 + 4*k - 8. Suppose 2*z = -18 + 6. Let c be w(z). Suppose 0*o = 2*b + 3*o - 3, 0 = -4*o - c. Solve b*p = 7*p + 4 for p.
-1
Let r(j) = j**3 - 7*j**2 - 9*j + 13. Let m be r(8). Solve m*y = 4*y + 5 for y.
5
Let d be 45/4 + 7/(-28). Let v = -9 + d. Let g(h) = h**3 - 5*h**2 - 5*h + 2. Let p be g(6). Solve -v*i = 2*i + p for i.
-2
Suppose -3*r - 2 = -17. Solve -2*j + r*j = -15 for j.
-5
Suppose -3*q = -0*q - 15. Suppose 2*x - 64 = -0*x. Suppose -6*d + 2*d = -2*v - 24, -x = -4*d + 4*v. Solve -q*b - 3 = -d*b for b.
-3
Let v(p) = p**3 - 8*p**2 - 10*p + 5. Let k be v(9). Let q be (0/1)/(2 + k). Solve 4 = -q*d + 2*d for d.
2
Let j = 38 - 38. Solve j = 5*n + 10 + 10 for n.
-4
Suppose -2*a = -1 - 3. Let v be a/((-14)/(-10) - 1). Suppose 4*n - 5 = v*q, -3*q - n + 22 = 8. Solve q*p - 6*p = 6 for p.
-2
Suppose 5*r - 6 = 4*r. Solve -r*p + 20 = -p for p.
4
Let b(w) = -w**2 - 8*w - 4. Let y(p) = p**2 - 8*p - 7. Let j = -3 + 11. Let l be y(j). Let f be b(l). Solve -f*a + 4 = -5*a for a.
-2
Let p = -8 - -16. Suppose 0 = -n + 5*n - p. Suppose 3*g - 47 + 13 = -n*m, m = -2*g + 22. Solve -j + g = 4*j for j.
2
Let r(h) = -15*h. Let b be r(1). Let p be 38/10 - 3/b. Let s = -2 + p. Solve u + s*u = -15 for u.
-5
Let g = -3 + 4. Let r be 1/(0 - g - -2). Solve 4 = c + r for c.
3
Let p = 18 + -16. Solve -4 - 2 = -p*i for i.
3
Let k be 12/6 - (1 - -1). Solve 0 = 2*g - k*g + 8 for g.
-4
Let m be 3 - (-3 - (-1 - 3)). Suppose -4*y + m*i + 4 = 0, y = -4*y - 2*i - 4. Solve 5*t = -y*t for t.
0
Let i be (0 + 5/(-10))*(1 + -1). Solve -l = -i*l for l.
0
Suppose 0 = -3*x + 26 - 8. Let n = 2 + -3. Let v = n + 4. Solve v*t = t - x for t.
-3
Suppose -3*h + 2*w = 2*h - 4, 4*w + 8 = -4*h. Solve -2*g + g + 1 = h for g.
1
Let k be (40 + -42)*(-3)/2. Solve -8*n - 10 = -k*n for n.
-2
Let c = 4 - 0. Solve 20 = z + c*z for z.
4
Let j(a) = a - 2. Let o(x) = -x**3 - 4*x**2 + 5*x + 6. Let n be o(-5). Let r be j(n). Solve i = r*i for i.
0
Let c be ((-45)/(-4))/(15/40). Suppose 0 = 5*t + 5*o - 15, 6*o - o + c = 4*t. Solve 2*r + 1 + t = 0 for r.
-3
Let d be (0 - (1 + -1)) + 2. Let a be -1 + d + 1 - 0. Suppose a*s = s + 2. Solve -4 - s = -3*l for l.
2
Suppose -4*n + h = -15, -2*n + 13*h = 11*h - 12. Let f = -4 - -1. Let s = 6 + f. Solve 0 + s = -n*x for x.
-1
Let k(a) = a**2 + 4*a. Let m be k(4). Let o be (2 - (-10)/(-4))*-10. Solve 7 = o*v + m for v.
-5
Let v be (5 - (-2 + 16/4))/1. Solve -2*q = q - v for q.
1
Let f = -2 + 6. Let m = 17 + -5. Solve -f*v + 28 = m for v.
4
Suppose 5*w + 2*r = 4 + 8, -2*w + 9 = 5*r. Solve -w*f = -f for f.
0
Suppose -40 = -10*i + 10. Solve 0 = -i*j + j + 12 for j.
3
Let d = 7 + -5. Suppose -189 = -18*c + 117. Solve -d = 5*k - c for k.
3
Suppose 12 + 0 = 4*c. Let f be (-2 - 1)/(-3) + c. Solve -f*o + 0*o = -16 for o.
4
Let x(a) be the second derivative of a**3/3 + 5*a**2/2 + a. Let z be x(6). Solve 3*l = -8 + z for l.
3
Suppose 0 = -7*n + 4*n - 6. Let z be (-3 - n)/((-3)/6). Solve j + z = 1 for j.
-1
Suppose 0 = 3*k + h, -2*h = -5*k + 4*k - 7. Let b = k + 1. Let a(i) = i**2 - 11*i - 8. Let x be a(12). Solve b = -d - x*d for d.
0
Let h(z) be the second derivative of z**4/12 - z**2/2 - 2*z. Let r(k) = -k**2 - k + 1. Let d(c) = 4*h(c) + 5*r(c). Let o be d(-5). Solve 4 - o = -a for a.
-3
Let t = -91 + 91. Solve t*v + 3*v + 12 = 0 for v.
-4
Suppose b + 9 = 2*v, -2*b = 3*v - b - 11. Solve 0 = -v*l - 12 for l.
-3
Suppose m = -3*w + 3*m + 8, 3*m = 4*w - 11. Suppose -2*u + w = -2. Solve -u*o + 5*o - 15 = 0 for o.
5
Let i(v) = v**3 - 2*v**2 - 3*v. Let n be i(4). Solve -2*m = 2*m + n for m.
-5
Suppose -3*m + 4 = -2*m. Let p = 4 - m. Let i(t) = t**2 + 2*t - 2. Let r be i(-3). Solve -3*l + r + 8 = p for l.
3
Let r = 55 - 39. Suppose 4 = 2*i - 4*w, w + 4*w - 8 = -4*i. Suppose 10 = 2*y + i. Solve 0 = y*o - r - 4 for o.
5
Suppose 0 = -29*j + 24*j. Let m be (-2 - -6) + -2 + -1. Solve j + m = x for x.
1
Let m be 1/4 - (-6)/8. Solve -3*c + 5 = -m for c.
2
Let i(p) = -2*p - 4. Let z be 3/(-9) + (-16)/6. Let a be i(z). Solve -a*w + 0 - 2 = 0 for w.
-1
Let o(c) = c**3 - 10*c**2 + 8*c + 11. Suppose -4 = -3*h - 19, 0 = -5*y - 4*h + 25. Let f be o(y). Solve -f*b + 4*b + 8 = 0 for b.
-4
Let m be -6 + 44/7 - (-138)/7. Solve 8*k - m = 3*k for k.
4
Let v(t) = 0*t**2 - t**2 - 2 + 2*t**2. Let g be v(-2). Suppose -3*a + 27 = -3*c, -2*c = -3*a + 7*a - 12. Solve 3*h - a = -g*h for h.
1
Let v be (0/(-2))/(1 - -1). Suppose -5*s + 2*z = -2*z - 25, -4*z = 5*s + 15. Let d be v/(-2 - (2 - s)). Solve d = -l + 3 - 0 for l.
3
Let r(m) = m**3 + 6*m**2 + 5*m. Let t be r(-2). Let v = 0 + -4. Let h be 2/(-8) + (-1)/v. Solve -2*c - 2 - t = h for c.
-4
Suppose 0*l = 5*l - o - 1, -4*o = -16. Solve -w + l = -1 for w.
2
Let z = 23 - 8. Solve z = -5*m - 5 for m.
-4
Let y(w) = w**2 + 10*w - 11. Let j be y(-11). Solve j = -3*n + 2 + 10 for n.
4
Let y be 168/(-16)*1*2. Let l = -18 - y. Solve 0 = 4*c + l + 9 for c.
-3
Let p = 1 + 1. Solve 0 = p*c - 6 for c.
3
Suppose 2*g = -g + 15. Let l be 3 - (1 + -7)/3. Suppose 4*b - 3*o - 21 + 4 = 0, l = 2*b - g*o. Solve -2*j = 1 + b for j.
-3
Suppose 3*g - i - 24 = 2*i, 0 = -3*g - 2*i + 44. Let u = g - 7. Solve -u*r + 3*r - 4 = 0 for r.
-2
Let y(d) = d - 1. Let j be y(3). Suppose 2*p + m + m + 6 = 0, 4*m + 12 = j*p. Suppose p = 5*g + 25, -3*g - g = x + 20. Solve x*c - 1 = -c for c.
1
Suppose 4*v + 35 = 3*l + 9, -5*v = l + 23. Solve -3*r - 11 = -l for r.
-3
Suppose 4 = 3*q - 2. Let j be (20/35)/(2/7). Solve -q*r - j = -r for r.
-2
Suppose -3*v - 11 = -4*w - 4*v, 0 = 4*w + 5*v + 9. Solve -w*i = 9 + 11 for i.
-5
Let l be 4*3/6 + 1. Suppose 3*g - b - 7 = 0, 4*b + 12 = l*g + 2. Solve 1 = p - g for p.
3
Let u = 4 + -4. Solve -1 = -k - u*k for k.
1
Let v(z) = -3*z**2 - 35*z + 32. Let u(p) = -p**2 - 12*p + 11. Let c(j) = 17*u(j) - 6*v(j). Let q be c(-7). Solve 4*x + 18 = q for x.
-4
Suppose 5*f = -5*v + 30, v - 7*f + 6 = -5*f. Solve -3*g - 1 = -v*g for g.
-1
Suppose 4*d - 4 = 3*d + 2*n, 6 = 4*d + 2*n. Suppose d*z - 5*m - 17 = 18, 10 = -2*m. Suppose -z*h + 3 = -12. Solve h*u + 3 = -0 for u.
-1
Suppose -2*c - 36 = -6*c. Let g(l) = -l**2 + 23*l - 38. Let v be g(21). Solve -v*q = -q + c for q.
-3
Let v(g) be the third derivative of 1/20*g**5 + 0 - 1/6*g**3 + 1/120*g**6 + 0*g - 1/12*g**4 - 3*g**2. Let y be v(2). Solve -3*o + 8*o = -y for o.
-3
Suppose 0 = -2*z - 3*z + 5. Let d be (1/((-3)/(-12)))/z. Suppose 5*b = 1 + d. Solve -b = 2*u + 1 for u.
-1
Let r be (-9 + -3)*(-2)/6. So