+ 5 = 25 for s.
-4
Suppose 5*r + 10 = -5*a, 2*r = -2*a - 2*a - 14. Let q(f) be the second derivative of -f**3/6 - 3*f**2/2 + f. Let j be q(a). Solve j*h + 0 - 4 = 0 for h.
2
Let t be (2 - -1)*(-10)/(-6). Let c be (-1)/t - (-52)/10. Suppose 0 = -0*b + b, -c*v + 5*b + 25 = 0. Solve -1 = v*f + 4 for f.
-1
Let u(b) = b**3 + 2*b**2 - 2 + 3 - b + 0*b**3 + 3*b. Let r be u(-1). Solve r = -3*p - 15 - 0 for p.
-5
Let t(g) = 3*g + 1. Let l be t(1). Let z = 5 - l. Let m = 5 + z. Solve -x + m*x = 5 for x.
1
Suppose 2*h = -0*h. Suppose -b - b = h. Solve -w - 4*w = b for w.
0
Let i be (-14 + 2)*(-2)/3. Solve 0 = -3*n + 4 + i for n.
4
Let l be (-63)/3*(2 + -3). Solve 0 = 3*t - 9 + l for t.
-4
Suppose -2*i = 2*f - 3*f - 4, -2*i = 2*f - 4. Let u = i - 0. Suppose r = -u*r. Solve 3*z = 3 - r for z.
1
Suppose 2*f = 4*d, 2*d - 3*d = 5*f - 11. Solve -k = -d - 1 for k.
2
Let s = -92 + 98. Solve l - 15 = s*l for l.
-3
Let i(t) = -t**2 - 9*t - 4. Let x be 86/18 - 4/(-18). Suppose -x*z + 7 = 47. Let h be i(z). Solve h*c = c for c.
0
Suppose 0 = 5*g + 3*k - 3, -5*k - 20 = -0*k. Solve -6*b = -g*b for b.
0
Let b = 14 - 6. Suppose 0 = -b*h + 3*h. Let t = 0 - h. Solve -4*d + 6*d + 8 = t for d.
-4
Suppose -46 + 16 = -6*p. Solve -a - p = -0 for a.
-5
Let b(v) = -v**3 - 8*v**2 - 3*v - 20. Let q be b(-8). Solve -q*m = -3*m for m.
0
Suppose 4*f + f + 70 = 0. Let v be f*1*(-1)/2. Let n be ((-13)/39)/(1/(-6)). Solve 0 = g + n - v for g.
5
Let k be -8*(-2)/10 - (-30)/75. Solve -v + 0*v - k = 0 for v.
-2
Let a = -24 + 26. Solve o = -a*o - 12 for o.
-4
Let n = 11 - 7. Let s be 15/(-10)*(-4)/(-6). Let o = s - -1. Solve -n*c + o = -8 for c.
2
Suppose 0 = 2*c - 0*c - 2*h - 14, 2*h + 44 = 5*c. Solve c = 4*t - 6 for t.
4
Suppose -5*o = 4*m + 16, 0*o + 2*o = 2*m + 8. Suppose o*g + 5 = 5*g. Solve 3*x - 5 - g = 0 for x.
2
Let v be 2*(5/2 + -1). Suppose 18 = 2*c + s + 5, 5*c = v*s + 16. Solve c*j - 5 = 10 for j.
3
Suppose b + 5 - 12 = 0. Suppose 9 = -4*r + b*r. Suppose 0 = r*f + 2*f - 15. Solve 7*h - f*h = 12 for h.
3
Let t(r) = -5*r - 29. Let l be t(-6). Solve 2*y = 1 + l for y.
1
Let n be 4/(-7) + (-720)/(-84). Suppose 0 = a - 8 + 5. Let k be a/(-5) + n/5. Solve k = 4*h - 15 for h.
4
Suppose -p = -1 + 3. Let s = p + 4. Let g be ((-5)/s + 2)*-4. Solve g*f = -2*f - 16 for f.
-4
Let u = 3 - 1. Suppose -3*v + a + a = -29, -a = 1. Let x = v - 6. Solve u*d = -x*d - 25 for d.
-5
Suppose 2*v = 1 + 5. Let k(d) = d + d + v - 3*d. Let s be k(2). Solve -p + s = -2*p for p.
-1
Suppose -3*b + 3*h = 6, 2*b = -3*b + 3*h - 2. Suppose -s - 3*l - b = -l, -s - l = 0. Let j(g) = 7*g - 2. Let t be j(s). Solve 0*m - t = 4*m for m.
-3
Suppose -z + 24 = 2*h, -2*h - 5*z + 5 = -19. Let t = h - 12. Solve -5*d + 4 + 1 = t for d.
1
Let f be -6*1/(-21)*7. Solve f*j + 10 = 2 for j.
-4
Suppose -2 = -4*s - 3*m + 3, -2*s - 5*m = 1. Suppose 0 = -s*v + 4*v. Let b(r) = 2*r - 8. Let n be b(6). Solve -n*u = -v*u + 20 for u.
-5
Let b be (-2)/(-4)*5*2. Let c = b - 2. Let v = -1 - -1. Solve -x - c*x = v for x.
0
Let o(r) = -r**2 + 6*r - 3. Let t be o(4). Suppose -5*l - 2*w + 29 = 0, -l = -t*l - w + 22. Solve l = 4*v - 9*v for v.
-1
Let c be ((-6)/(-9))/((-4)/6). Let h = 3 + c. Solve h*m - 2 = 2 for m.
2
Suppose 4*a - 40 = -4*k, -2*k + 3 = -3. Solve -9 - a = -4*w for w.
4
Let w(z) = -z**3 + 10*z**2 + 12*z - 11. Let r be w(11). Solve -3*c + r*c = -12 for c.
4
Let s be (7/(-3))/((-2)/(-6)). Let a(b) = b**3 + 7*b**2 + 6. Let h be a(s). Solve 1 = -5*u + h for u.
1
Let v = -1 + 1. Let l = -24 + 32. Let w = v + l. Solve 20 - w = 3*i for i.
4
Let a(z) = z**3 - 6*z**2 - 8*z + 1. Let q be a(7). Let h be 56/9 - q/(-27). Let x be h/(-18) + (-26)/(-6). Solve 16 - x = -4*y for y.
-3
Let r(d) = d + 14. Suppose -11*k = -8*k + 33. Let g be r(k). Solve 0 = g*u - 6 + 21 for u.
-5
Suppose -s - 4*s + 15 = 0. Let v(r) = r**2 - r - 1. Let f be v(s). Solve 0 = 3*g + 2*g + f for g.
-1
Suppose -5*a + 5*x = -4*a + 11, 12 = 4*x. Let k be (-2)/3 + (-4)/(-6). Solve k*p - a = 4*p for p.
-1
Let r(a) = a**2 - 3. Let q be r(-3). Let o = -11 + 5. Let k = -4 - o. Solve -k*x + 4 = -q for x.
5
Let x = -56 - -59. Solve x*h = -3 + 12 for h.
3
Let n be (-5)/7 + (-4)/14. Let x(h) = -h**2 - 5*h - 3. Let l be x(-3). Let o be n/l*1*-3. Solve 0*j + o = -j for j.
-1
Let l(n) = 6*n**3 + 3*n**2 + n + 0 - 5*n**3 + 3. Let q = -5 - -2. Let o be l(q). Solve o = -2*u + 3 + 5 for u.
4
Let j = 7 + -1. Let v(g) = g**3 - 3*g**2 + 2*g - 3. Let f be v(3). Suppose f*c = -c + 20. Solve j*t = c*t + 5 for t.
5
Let q be 4/6 - 8/(-6). Suppose -6 = -q*b, 4*b - 42 + 0 = -3*o. Solve w = 3*w + o for w.
-5
Let h(r) be the third derivative of -r**5/60 + 3*r**4/8 + r**3/2 - 5*r**2. Let y be h(9). Solve 20 = -2*v - y*v for v.
-4
Let x be (-8)/8*(0 + 0). Solve x = 6*u - u + 15 for u.
-3
Let f(r) = -2*r - 6. Let b be f(-4). Suppose -j + 24 = b*j. Suppose 5*p = -2*m + 19, -m = -5*m + j. Solve 15 = p*h - 0*h for h.
5
Suppose 4 = -h + 8. Let u be 12/8 - (-2)/h. Solve 0*y + u*y = -4 for y.
-2
Suppose -2*l - 1 = d, 0*d - 2 = -2*d - 2*l. Let p(x) = x + 2. Let y(s) = s - 1. Let m(h) = -p(h) + 2*y(h). Let i be m(6). Solve 0 = -d*z - i*z for z.
0
Suppose -3*b + 3 = -5*n + 8, 20 = 4*b. Suppose -5*m = y - 5, y = n*m + m - 15. Solve -m*c = -1 - 5 for c.
3
Suppose -4 = s + 3*s + c, 1 = -s - 4*c. Let i be (10/25)/(s/(-50)). Solve i = -5*h + h for h.
-5
Let q(d) = d**2 - 4*d - 1. Let o be q(7). Let h be (15/(-25))/((-2)/o). Solve h*p + 10 = p for p.
-2
Suppose -4*r = -4*n, -4*r + 24 = 4*n - 8. Solve 15 = -n*s + s for s.
-5
Let v(u) = -6*u - 10. Let n be v(-2). Solve -2 = -n*a + 2 for a.
2
Let v be (-4)/30 + (-1589)/(-105). Solve -w - 2*w - v = 0 for w.
-5
Suppose 0 = 2*o + 4*x + 60, -x - x = 4. Let p be (o/8 - -3)*-4. Solve p = 4*t - 7 for t.
2
Let w = 2 - -3. Suppose u + 3 - w = 0. Suppose 4*y - 10 = -2*j + 5*j, 5*j + 3*y = 22. Solve -u = j*k - 0 for k.
-1
Suppose u + 2 - 4 = -2*m, 0 = -4*m - 3*u + 6. Solve 2*s + 10 = -m*s for s.
-5
Let q(p) = -p - 3. Let w be q(-6). Suppose -2*t + 48 = -4*t. Let j be (-6)/(-21) - t/14. Solve o + w = -j*o for o.
-1
Let r be 2/6 + (-20)/(-12). Let w = r + -8. Let s = w - -8. Solve 6 = -2*l - s for l.
-4
Let o = 11 + 9. Suppose -3*u - o = -8*u. Suppose -2*c = u*g - 16, 1 = -g - 2*c + 2. Solve 8 = g*i + 3 for i.
1
Let g = 2 + -2. Let o(v) = -v. Let n be o(g). Solve n = 3*q - q + 8 for q.
-4
Suppose -3*c + 15 = 2*a + 5, 2*a - 8 = -2*c. Suppose -11*f - 10*f + 8*f = 0. Solve -c*s - 2 = -f for s.
-1
Let m = -31 - -31. Solve 0 = -n - m - 2 for n.
-2
Suppose 0*h + 5 = h. Let z be -2 - -5 - (h + -2). Solve u = -z*u - 3 for u.
-3
Let a be (-4)/(-12) - 22/(-6). Suppose 0*u = a*u. Suppose u = s - 2*s. Solve s*m + m - 1 = 0 for m.
1
Let y(v) = -v + 4*v - 6 - v. Let u be y(6). Let m be (-2)/8 - (-50)/8. Solve u*l - 3*l = m for l.
2
Let l be 1/(-2) + 7/2. Let m be 4/(-1)*l/(-6). Suppose -4 = -3*w + m. Solve 2*b + 8 = -w*b for b.
-2
Suppose 4*o - 3*o - 6 = 0. Let v(p) = p - 5. Let j be v(7). Let b(u) = -u**3 + 4*u**2 - 4*u + 3. Let l be b(j). Solve l = 3*c - o for c.
3
Let t be 12/4 - 0/(-1). Suppose 10 = t*g + 2*g. Let h(y) = -y**2 - 6*y. Let r be h(-6). Solve -6 = -g*x - r for x.
3
Let q(p) = p + 8. Suppose 0*d - 20 = 2*d. Let b be (8/(-6))/(d/(-45)). Let i be q(b). Solve -i*u = 3 + 1 for u.
-2
Let c(d) = -d**2 + 7*d - 5. Let f be c(6). Let x = 2 + f. Suppose 2*m + 4 = 3*m, x*m = 3*u. Solve u*s - 1 - 7 = 0 for s.
2
Let w(c) = -c**3 + c**2 + c. Let a(l) = -3*l**3 + 2*l**2 + 3*l - 2. Let n(h) = -a(h) + 4*w(h). Let u be n(2). Let d = 0 + u. Solve -3*r + 11 = -d for r.
5
Let g be 2/(-5) + (-54)/15. Let u be (8/12)/(g/(-150)). Suppose 4*t - u = 5*r, -5*t - 4 = -r - 30. Solve -4*q = -t*q for q.
0
Let x be (-1 + 1)*1/(-2). Suppose 2*a - 5*i - 60 = 0, 4 = -x*i - 2*i. Let d(u) = -u**3 + 5*u**2 + 8*u - 9. Let o be d(6). Solve o*k + 2*k - a = 0 for k.
5
Suppose -2*k - 25 = -7*k, 2*d - 19 = -k. Suppose -f + 14 = -d. Solve 4*r - f = -5 for r.
4
Let u(c) = c - 12. Let d be u(14). Solve 0 = 2*n - d - 0 for n.
1
Let s(n) = 2*n**2 + 2. Let p be s(-2). Let b = -29 + 54. Solve -5*k + p = b for k.
-3
Let t(z) = -5*z**3 + 1. Let r be t(-1). Suppose -5*d + r + 4 = 0. Solve 12 = s + d*s for s.
4
Suppose 0 = -c - 2*c + 3. Let v = c - 2. Let h be (4*v/(-1))/2. Solve 12 = -t - h*t for t.
-4
Let u(l) = 5*l - 41. Let p(z) = -