for s.
-4
Let j be (12/(-3) + 2)/2. Suppose -5*i - 25 = 5. Let q = j - i. Solve 5*f - 10 = -q for f.
1
Let d(k) = -5*k**2 + 7*k + 3. Let x(y) = 4*y**2 - 7*y - 3. Let h(v) = 5*d(v) + 6*x(v). Let o = 16 - 22. Let m be h(o). Solve -l + 2*l = m for l.
3
Suppose 4 - 14 = -2*s. Solve s*i - 18 = 2 for i.
4
Suppose -4*x + 50 = 6*x. Solve -4*l + x = -3 for l.
2
Suppose -1 = 3*i - 4*i. Let s be -1 - 1*(-1)/i. Solve -6 = 2*j - s for j.
-3
Let b = -44 - -46. Solve d - 6 = -b for d.
4
Let s(f) = -f + 4. Let t be (2 - 4)*3/2. Let o(j) = -j + 9. Let u(x) = t*o(x) + 5*s(x). Let y be u(-5). Solve 2*q = y*q for q.
0
Let u(f) be the third derivative of -f**6/120 - f**5/60 + f**4/24 - 2*f**2. Let n be u(-2). Solve -n*y - 9 + 1 = 0 for y.
-4
Suppose -5*k + 0*f + 142 = 3*f, 0 = k - 5*f - 6. Solve -4*q + k = 6 for q.
5
Let g(y) = -y. Let c be g(-4). Let x(f) = 2*f + 3. Let a be x(-2). Let q be (0/(0 - -3))/a. Solve c*r + q = -4 for r.
-1
Suppose 2*x = 2 + 22. Solve 0 = -4*r - 0*r - x for r.
-3
Let b = 17 - 14. Solve 14 - 5 = b*l for l.
3
Let h(z) = -z**3 + 8*z**2 + 8*z + 8. Let i be h(9). Let k = i - -3. Suppose 6*d - k*d = 0. Solve d*l + 16 = -4*l for l.
-4
Suppose -3*n - 12 = -4*m, 0 = -2*n - n + 12. Let k be m/(-8) - 57/(-12). Solve 15 = -7*b + k*b for b.
-5
Let p = -15 + 5. Let z = 10 + p. Let b = 22 + -6. Solve z*x - b = 4*x for x.
-4
Suppose -28 = -2*t - 16. Solve -4*m = t - 2 for m.
-1
Let n = -175 - -177. Solve -n*u = -u - 3 for u.
3
Suppose -r + 5 = 3. Suppose 3*q + 7 = 2*q. Let a = 10 + q. Solve -a*l = -5*l - r for l.
-1
Let j(f) = -f**2 - f + 4. Let d be j(0). Suppose 3*t - 5 = -d*a, -4 = -5*t - 4*a + 7. Suppose -2*v = t*v. Solve -z + 3*z + 2 = v for z.
-1
Suppose -5*m + 1 = -4*i + 4, 15 = 5*m + 5*i. Let x be (m - -2)/(2/10). Solve x = 3*t - 0 for t.
5
Suppose 6 = 2*g + 2. Suppose -j + 8 - 23 = -g*z, -z = j. Solve z*f = 1 + 14 for f.
3
Let b = -80 + 83. Solve -b*j - 4 = -19 for j.
5
Let d(b) = 4*b - 5. Let k(s) = -5*s + 6. Let x(r) = -4*d(r) - 3*k(r). Let y = -1 + 1. Let f be x(y). Solve 2*i = -f*i - 8 for i.
-2
Let f(l) = 2*l**3 + 4*l**2 + 3*l - 3. Let a be f(-3). Let k be 22/4 - a/20. Solve -5 = -3*m + k for m.
4
Let n(x) = -x**3 + 7*x**2 - 4*x - 9. Let k be n(6). Solve k*o + 3 + 12 = 0 for o.
-5
Suppose 4*y = -4, 0 = -3*l + y - 3*y + 16. Suppose -4*o + l = -o. Let w be (-8)/o*(4 + -7). Solve -w = -2*n - n for n.
4
Suppose y + 4 = 3*y. Let v be 3/2*(-32)/(-12). Let a = -1 + v. Solve y = a*o - 5*o for o.
-1
Suppose 0 = 5*m - 2*m. Suppose f = -h + 11, -2*f + 0*f - 20 = -4*h. Let j = h + -3. Solve 16 = -m*q + j*q for q.
4
Suppose 3*o - 15 = 2*u, 5*o - 3*u - 21 = o. Let j = -76 + 87. Solve j = 2*q + o for q.
4
Let o(b) = 4*b**2 + 4*b - 7 - 2*b**2 - 4*b**2. Let j(u) = -u**2 + 2*u - 3. Let s(q) = 13*j(q) - 6*o(q). Let k be s(3). Solve -6 + k = -2*y for y.
3
Let p be (-34)/(-10) - 4/10. Suppose -a + 3*v = 3*a - 23, 3*a - p*v - 21 = 0. Let m be (2 - 6/a)/(-1). Solve 2*n = 3 + m for n.
2
Suppose 0 = 17*v - 12*v - 20. Solve v*k - 2 = 10 for k.
3
Let p(z) = 2*z + 4. Let g be p(-2). Solve 0*b - b - 5 = g for b.
-5
Let l be 3*(1 + 2 + (1 - 3)). Solve 0 = -v - 0 - l for v.
-3
Suppose -5*c + 48 = -12. Let o be (-4)/((-80)/c)*5. Solve -o = b - 4 for b.
1
Suppose 13 = 5*o + 4*z, -4*o - 3*z + 6 = -o. Solve o*n - 32 = -7 for n.
5
Let d be 32/12*(-6)/(-4). Suppose -2*r - 2*r + 4 = 0. Solve -r = d*t - 9 for t.
2
Suppose 0 = 5*x + 2*a + 2 - 10, -5*x + 11 = -a. Solve q = -x*q + 12 for q.
4
Suppose 7*p + 6 = 9*p. Solve 0 = h - p*h for h.
0
Let p = 7 + -3. Suppose -p*h + 5 = 1. Solve 0 = -3*y + h + 2 for y.
1
Let j(w) = -3*w - w - 2 - w. Let q be j(-6). Suppose 3*i = 2*d + 32, 3*i + 0*d - q = -2*d. Solve i = 3*f - 5 for f.
5
Let c(s) = s**2 + 4*s - 4. Let o be c(-5). Solve 2*w + 7 = -o for w.
-4
Suppose -4*b = -5*p - 14 - 3, 4*b = -p - 13. Let u = p + 10. Suppose u*n = 3*n + 8. Solve -2*f + n*f - 6 = 0 for f.
3
Let d(v) = -v**3 + 2*v**2 - v. Suppose 0 = 4*f - 2*u + 2, 0 = 2*f + 5*u - 11 - 6. Let b be d(f). Solve g + 0*g - 4 = b for g.
4
Suppose 3*m + 2 = 2*m + 4*x, 0 = 5*m - 4*x - 22. Let r = m + -4. Suppose 4*c = r*c + 18. Solve 2*o + 1 + c = 0 for o.
-5
Suppose 8*c - 9 = 5*c. Suppose -2*x + 8 = 0, c*g - 4*x = -0*g - 1. Solve -g + 0 = -j for j.
5
Suppose 14 = 5*b - 1. Suppose -3*g - 1 = -2*h - b, h = -1. Solve -m - 1 + 4 = g for m.
3
Suppose -2*l + 18 = 5*q - l, -3*l = -2*q + 14. Solve q*y + 0*y - 8 = 0 for y.
2
Suppose -9*g = -23 + 5. Solve -f - g = f for f.
-1
Let i(v) = -2*v - 10. Let t be i(-7). Solve -t*a - 20 = a for a.
-4
Suppose -55*m + 57*m = 0. Solve 4*p = -m*p for p.
0
Suppose 0 = -7*h + 10*h - 9. Solve s - h*s - 4 = 0 for s.
-2
Suppose 315*v = 309*v + 12. Solve 3*t + 1 = -v for t.
-1
Let w = 0 + -4. Suppose 2*k - 1 = 4*b + 3, 2*b + 26 = 5*k. Let d = w + k. Solve -3*f - d = 4 for f.
-2
Let r = -4 + 7. Let z = -12 + 15. Suppose -i = -5*j - 45, -i - j + 18 = z. Solve -i = r*c + c for c.
-5
Let v be (3 - -1 - 14)*-1. Solve 25 = 5*j - v*j for j.
-5
Suppose 5*u + 7*v - 1 = 3*v, 5*v = -5*u + 5. Let h be 24/(-18) + (-13)/u. Solve h = -n - 1 for n.
-4
Let g be 3/4 - 25/(-20). Suppose -3*a - 1 = -4. Solve p - a = -g for p.
-1
Let o(c) = 2*c - 7. Let t be o(6). Suppose j - 32 = t*j. Let b be (8/10)/(j/(-60)). Solve -n + b = 1 for n.
5
Suppose 0 = -5*z - 3*u + 4, 7 = 2*z - 3*z + 2*u. Let t be (-1)/(-1) + z - -2. Let m = -66 - -69. Solve m = y + t*y for y.
1
Let u be -2 + (1 - 0) - 1. Let l be ((-15)/6)/(u/4). Solve -i = -2*i - l for i.
-5
Let t(y) = -4*y. Let l be t(-3). Let c = -11 + 16. Suppose -2*o = -c*o + l. Solve -v = -0*v - o for v.
4
Let p = 1 - -2. Let c = 5 - p. Solve 20 = c*g + 2*g for g.
5
Let k(d) be the second derivative of -d**5/20 + 5*d**4/12 - d**3/3 - d**2 - 4*d. Let u be (-44)/(-12) - (-1)/3. Let x be k(u). Solve -2*h - h = x for h.
-2
Let s(d) = -4*d + 9. Let t(k) = -5*k + 10. Let r(a) = 6*s(a) - 5*t(a). Let c be r(-2). Solve -2*l + 2 + c = 0 for l.
2
Let v(x) = -x**2 - 4*x + 5. Let z be v(-5). Suppose -l + 0 + 4 = z. Let t be (-12)/((-1)/2 + -1). Solve l = -4*a - t for a.
-3
Suppose -4*g + f = -0*f - 23, -5*g - f = -31. Suppose 4*p = -2 - 14. Let j = g + p. Solve 3 = -5*x + j*x for x.
-1
Let g = 86 + -78. Solve 3*h + 7 + g = 0 for h.
-5
Let v(x) = 3*x**2 - x - 4. Let s(m) = 2*m**2 - 2*m - 4. Let a(k) = 4*s(k) - 3*v(k). Let f be (-4 - -2) + 2*-1. Let d be a(f). Solve -3 = -u - d for u.
3
Let v(s) = -95*s**3 - s**2 - s. Let a be v(-1). Let d be a/3 - 14/21. Suppose -4*x - 3 = -d. Solve 2*g = x*g - 10 for g.
2
Let a(h) = h**3 - 6*h**2 - 8*h + 8. Suppose 2*v - 2 - 30 = -4*d, 22 = 2*d + 4*v. Let j be a(d). Solve -2 = 3*g + j for g.
-1
Suppose p + 2 = 0, 26 = 2*v + 3*p + 2. Solve 7*r - 2*r = v for r.
3
Let j be 6/3 + (2 - 1). Let d = j - -1. Solve -2*u = d + 6 for u.
-5
Let g(p) = p + 13. Let d be g(-11). Let y be -3*1/(-2)*2. Let j be (2/y)/(4/18). Solve -7 = d*f - j for f.
-2
Let q = 57 + -32. Solve q = 4*s + s for s.
5
Suppose 4*q + v - 26 = 0, 0 - 4 = -2*q + 4*v. Solve -q*p + p = 5 for p.
-1
Let c(w) = -w**3 + 2*w**2 + 5*w - 2. Let q be c(3). Suppose -5*g + q = -21. Suppose -g*b = 2*y + 2, 5*y - 4*b = b + 65. Solve -3*s + 0 + y = 0 for s.
3
Let x(u) be the first derivative of u**3 + u**2 + 1. Let w be x(-2). Let c = 20 - w. Solve -3*l = l - c for l.
3
Let n(a) = -a**2 + 15*a - 25. Let l be n(10). Solve 0*w + 5*w - l = 0 for w.
5
Suppose 3*h = -3*a - 8 + 38, 0 = 4*a + 3*h - 35. Let k = -3 + a. Let c = 7 - k. Solve -g - c = -1 for g.
-4
Let b(w) = -5*w + 5. Let u(j) = j. Let n(v) = b(v) + 4*u(v). Let i be n(5). Let m be (-62)/(-22) - (-4)/22. Solve i*y - 3*y + m = 0 for y.
1
Let f(v) = v**2 + 3*v + 3. Let n be f(-5). Let j = n + -8. Suppose -2*p - j*g - 1 = -0*g, -2*p + 5*g = -9. Solve -2*o = p*o - 4 for o.
1
Let d = 27 + -12. Solve 0*y = 3*y - d for y.
5
Let g(l) = 11*l - 1. Let m be g(1). Solve -w - m = w for w.
-5
Let s(a) = -a + 6*a**2 - 4*a**2 + 2*a. Let g be s(-1). Let n(r) = -2*r + 1. Let u be n(-1). Solve -u*m + g = -11 for m.
4
Suppose 0 = -3*l - 3*l + 60. Solve -5*t + l = -5 for t.
3
Let m(k) = -k**3 - k + 14. Let b be m(0). Solve 6 + b = 4*d for d.
5
Suppose -3*l = -5*l. Suppose l = -4*p + 5 + 3. Solve 0 = w + w + p for w.
-1
Suppose 3*z - 4 = 5. Suppose 75 = -x + 2*x - z*r, -x = 2*r - 70. Suppose x = 2*k + 2*k. Solve 2 + k = 4*n for n.
5
Suppo