28 - f = -5*s for s.
-4
Suppose -5*l + 10 = -0*l. Let c = 2 - -2. Suppose -19*i - 24 = -23*i. Solve -c = l*a + i for a.
-5
Let t = -3 + 6. Suppose n + n + 34 = 4*u, u = -2*n - 29. Let f = n + 21. Solve f = t*p + 3 for p.
1
Let f be (15/4 - 1)*4. Suppose 4*i + c = 3*c + 64, 86 = 5*i - 4*c. Let q = -12 + i. Solve -f + q = -3*h for h.
3
Let r = -38 - -42. Solve -c = -0 - r for c.
4
Let v(n) = n - 5. Let g be v(6). Let a(w) = 2 - 3 + w**2 + 0*w**2. Let r be a(g). Solve -2*i + 7*i - 15 = r for i.
3
Suppose 2*x - 1 = 3. Let z be (x/3)/((-1)/3). Let i be (-2)/(-2) + 1 + z. Solve i = -6*c + c + 20 for c.
4
Suppose -2*y + 4*c = 16, -5*c + 15 = -4*y - 2. Let u be 1/(-1 - -2) - -5. Let w(j) = -j**3 + 7*j**2 - 5*j - 1. Let b be w(6). Solve -u = -y*o + b*o for o.
-2
Let o be (20/(-16))/((-1)/12). Let f = o + -15. Solve f = -h + 4 for h.
4
Let a(s) = -s**3 - 6*s**2 - s - 4. Let w be a(-6). Solve w*o + 11 = 3 for o.
-4
Let j(k) = 2*k**3 + k**2 - k - 1. Let o be j(1). Solve -1 - o = 2*m for m.
-1
Let v = 29 - 41. Let m = v + 12. Solve -4*d + 7 + 1 = m for d.
2
Let h = -14 + 20. Let r be 8 + 2/2 - -1. Suppose -m = -h*m + r. Solve n = -0*n - m for n.
-2
Suppose -4*k + 0 = -8. Let u be (k/(-6))/((-2)/36). Solve -2*s + 4 = -u for s.
5
Let z = -23 - -23. Let b = 3 - 1. Solve z = -b*d + 2 for d.
1
Let t be 2/(6/45*-3). Let x = 29 + t. Let d be ((-5)/(-15))/(2/x). Solve -d*q = -8*q for q.
0
Let p(o) = o**3 - 5*o**2 - 5*o - 5. Let i be p(6). Solve 9 = 5*r - i for r.
2
Let a(m) = -2*m**2 + m + 9. Let p be a(0). Let i(v) = v - 1. Let f be i(p). Solve -3*r + r = -f for r.
4
Let d(t) = -2*t + 14. Let j be d(7). Solve -3*f + 8*f - 25 = j for f.
5
Let y = 1 - 0. Suppose -10*u - 18 + 68 = 0. Solve -c = u - y for c.
-4
Suppose -t = t - 4. Let n = t + 4. Solve -2*i + n*i = 8 for i.
2
Suppose 6*y + 18 = 8*y. Let f be -2*(-3 - y/(-6)). Solve d - f = -4 for d.
-1
Let u(q) = 0*q**2 + q**2 + 4*q - 2 - 4*q. Let t be u(-2). Suppose o - t*o = -3*v - 1, 4*o - 4*v = 12. Solve 0 = -o*c + 12 for c.
3
Let n be (110/33)/((-2)/(-9)). Solve -n = -0*x + 3*x for x.
-5
Suppose 2*b - 26 = b. Suppose -2*i - 2*u + 6*u = 14, 0 = -4*i + 3*u - 8. Solve 5*t = -i + b for t.
5
Suppose 14 = x - 5*c + 1, -5*x + 4*c = -44. Suppose 4*v = -o + 14, -3*v + 1 = -3*o - 2. Solve 0*j = o*j + x for j.
-4
Suppose 1 = -3*w + 5*t - 18, w - 2*t = -8. Solve 6*s + 20 = w*s for s.
-5
Let o(c) = -c**2 - 8*c - 7. Let f be o(-6). Suppose -5*s + 15 = f. Solve 0*u - 10 = -s*u for u.
5
Suppose 4*u + 1 = 3*c, 4*u - 5 + 0 = c. Solve 0*r = u*r for r.
0
Suppose 13*o - 9*o - 12 = 0. Solve -2*u + 3 = -o for u.
3
Let r(c) = -4*c + 1. Let q be r(-1). Suppose 4*t - 33 = 5*x, -x + q = 3*t + 2*t. Suppose h - t*h + 2 = 0. Solve -s = h - 0 for s.
-2
Let k be 16/5 - (-2)/(-10). Solve q - 10 = k*q for q.
-5
Let i = -5 - -7. Let z(r) be the third derivative of -r**5/60 + r**4/8 - r**3/3 + r**2. Let x be z(i). Solve q + 6 - 1 = x for q.
-5
Let h = 1 - -5. Let l = h + -3. Solve l + 1 = t for t.
4
Suppose 26 = t - 0*i - 3*i, -5*i - 90 = -3*t. Suppose o + 3*f = -7, 2*f = 5*o + 6*f - 9. Suppose y + 8 = -2*u + 29, -t = -3*u - o*y. Solve -u = -3*l + 2 for l.
4
Suppose -2*v + 6*v = 20. Solve 0 = v*z + 12 + 8 for z.
-4
Let x(u) = u**3 + 6*u**2 + 5*u + 3. Let t be x(-4). Suppose -8*g + 3*g = 0. Suppose 5*o = -g*o + 10. Solve -3*i - o*i - t = 0 for i.
-3
Let m = 14 - 9. Suppose 0 = -0*q - 5*q + 10. Solve 0 = m*y - q*y - 15 for y.
5
Suppose 2*d - d = 1. Let c be (d - 0)*4/2. Solve -c - 18 = -5*b for b.
4
Suppose 0 = j + 4 - 2. Let b be 2/8 - 3/(-4). Let f = b - j. Solve -5 - 4 = f*n for n.
-3
Let w be 3/(-7) + 1144/56. Solve 2*l + w = -2*l for l.
-5
Let g(t) = 3*t - 7. Let u = -25 + 45. Suppose 3*i + i - u = 0. Let w be g(i). Solve -3*q + 5 = -w*q for q.
-1
Let r(z) = z**3 + 13*z**2 + 13*z + 13. Let h be r(-12). Let v = 11 + -6. Suppose -36 = -v*m + m. Solve 2*u = h + m for u.
5
Let c(d) = 3*d**3 + 1. Let u be c(1). Let y be u/3*(-18)/(-4). Suppose y*o = 5*h + 2*o - 14, -5*h - 4*o + 46 = 0. Solve h = 2*v + v for v.
2
Let p = -3 + 3. Suppose -5*a + 31 = x + x, 5*x = -5*a + 40. Suppose 0*r + x*r = 5*j, p = -5*r - 2*j. Solve 0 = 5*y - r*y for y.
0
Let d = 222 - 217. Solve 0*m - d*m = 0 for m.
0
Let y be 84/39 - (-6)/(-39). Suppose d + y = 6. Let s be 2/3 + d/(-6). Solve s = 2*i + 2*i for i.
0
Let l be ((-3)/(-6))/((-2)/(-12)). Let w(f) = f - 9. Let m be w(12). Solve -m*p - l = 3 for p.
-2
Let m(s) = s + 1. Let b be m(2). Suppose f = b*f. Solve f*u + 3 = 3*u for u.
1
Let t = -53 + 53. Solve -k = -t*k + 2 for k.
-2
Suppose 1 = -3*t - 2. Let d(l) = -16*l**2 - l. Let n be d(t). Let q be (-39)/n + (-2)/(-5). Solve -q*r - 5 = -2*r for r.
-5
Let z = 4 - 5. Let g(c) = 6*c**2 + c + 1. Let v be g(z). Let b = 35 + -19. Solve -5*t - v = -b for t.
2
Let u(o) = 289*o - 5. Let g(c) = 193*c - 3. Let s(v) = 8*g(v) - 5*u(v). Let t be s(-1). Let x be ((-3)/2)/(7/t). Solve -x = 4*m - 5 for m.
-4
Let r = 0 - -4. Let o(i) = 4*i - 1. Let p be o(2). Let a(t) = t**2 - 6*t - 4. Let z be a(p). Solve -z*q = 19 - r for q.
-5
Suppose 5*m - 3*m - 29 = -5*h, 0 = -3*m - 2*h + 49. Solve 3*g + m = 2 for g.
-5
Suppose -4*c - 35 = -5*h, 3*c + c + 3*h = -11. Let j be c/(-2) + (-3)/(-6). Solve j*m + 8 = 5*m for m.
4
Suppose z - 3*z + 4 = -s, -3*z + 9 = 0. Solve a + s = -0 for a.
-2
Let u = -7 + 6. Let f be 0*1*u/2. Suppose -2*c = -f*c - 2. Solve -c = m - 3 for m.
2
Let o(i) = 2*i + 6. Let v be o(-3). Let w be (0 - 4/8)*v. Solve w = -0*r - 3*r + 15 for r.
5
Suppose -m + 14 = m. Solve 2*q = m*q - 5 for q.
1
Let n(m) = 4*m - 7. Let w be n(3). Solve w*c = c for c.
0
Let p(k) = k**3 - k. Let w be (-1 - 0)*(-6)/2. Suppose -w*r = h + h + 2, 0 = -2*h + 5*r + 14. Let b be p(h). Solve -4*i = -2 + b for i.
-1
Suppose -2*w = 4*w + 2*w. Solve -2*g + g - 5 = w for g.
-5
Let f = 5 - 2. Solve 0 = -4*d - 7 + f for d.
-1
Let x(i) = i**3 + 5*i**2 - 2*i - 6. Let j be x(-5). Let y = 33 + -46. Let h(t) = t**3 + 14*t**2 + 12*t - 10. Let a be h(y). Solve a*b = -j - 2 for b.
-2
Let v(z) = z**3 + 5*z**2 - 6. Let q be v(-4). Solve 0 = -0*c - 2*c - q for c.
-5
Suppose 24 = 3*h + 3. Let b be 2/h + 66/14. Let o = -11 - -15. Solve -3*n + b = -o*n for n.
-5
Suppose 8 = -0*n + 2*n. Solve -n = -c - 5 for c.
-1
Let v(j) = 26*j**2 + j. Let p = 1 + -2. Let r be v(p). Solve 0*q + r = -5*q for q.
-5
Let m(b) = -11*b**2 - b. Let c be m(1). Let z be ((-9)/c)/((-9)/(-24)). Solve 0 = -z*i + 4*i + 8 for i.
-4
Suppose -11 = -4*g + 3*o - 2*o, -3*o = -5*g + 19. Solve g*y = y + 3 for y.
3
Let q be (2 - (-6 + 3))*1. Suppose q*u = 45 + 10. Solve 0 = 4*o + u + 5 for o.
-4
Suppose -k = -6*k + 35. Let m be 0 - 0 - (-1 + -2). Suppose 8 = -4*h, -z - m*h + 2*h + 3 = 0. Solve 13 + k = -z*o for o.
-4
Suppose 5*k + 2*x - 37 = x, 0 = 2*x - 4. Suppose 2*b - k*b + 10 = h, 3*h + 2 = b. Solve h*r = -2*r for r.
0
Let o(h) be the second derivative of h**5/20 - h**4/4 + h**3/3 - h**2 + h. Let p be o(3). Solve -p = -2*g - 0 for g.
2
Let f = -5 - -2. Let m be 4*f*(-2)/(-4). Let w(b) = b**2 + 7*b + 7. Let l be w(m). Solve -2*c + 1 = -l for c.
1
Suppose -2*n = 2*n + 4. Let v = 1 - n. Solve v*s + s = 6 for s.
2
Let j = -25 - -40. Solve -5 = -2*z - j for z.
-5
Suppose 0 = 3*l - 3*f - 12, 0 = -3*l - 0*f - 3*f. Solve o = -l*o for o.
0
Let p(l) = l - 1. Let y be p(-1). Let n(h) be the third derivative of -h**5/60 - h**4/4 - h**3/2 + 2*h**2. Let u be n(y). Solve -u*c + 3*c = -4 for c.
2
Let t = -1 + 4. Suppose -3*s = -s. Let f = 2 - s. Solve -a = -t*a + f for a.
1
Let k = -21 - -21. Solve k = 3*o - 5*o for o.
0
Suppose -8 = d + 3*d. Let m be (d/(-1))/((-1)/(-2)). Solve -2*x - 10 = -m for x.
-3
Suppose -4*t = x - 17, -3*x + 3*t = 2*x - 108. Let n be 0*(2 - x/9). Solve 6*a - 2*a = n for a.
0
Suppose p + p - 2*d = 0, 0 = -2*p - d + 12. Solve -1 = -p*f + 3 for f.
1
Let s be (2 - 4)*3/(-2). Suppose s*z - 14 = 13. Solve 3*o - z = 3 for o.
4
Let z be (-2)/4*4*(-18)/4. Solve -2*n + 1 = -z for n.
5
Let b(g) be the first derivative of -g**2/2 - 2. Let l be b(-9). Solve l = -4*f + f for f.
-3
Let v(g) = -g**2 - 6*g + 2. Let w(l) be the third derivative of -l**5/60 + l**4/24 + 2*l**2. Let x be w(3). Let i be v(x). Solve -i*d + 2 = -3*d for d.
-2
Let c = -11 + 15. Suppose -c*t + 17 = -3. Suppose p + 32 = t*p + y, 2*y = 0. Solve s + s = p for s.
4
Let r = 6 + -14. Let d(u) = -u**3