s.
5
Let u be 10*(-2 + 36/15). Suppose -4*j - u*f = 16, 0 = j - f - 4. Let z = j + 3. Solve z*b + 4 = -b for b.
-1
Suppose 8*i - 5*j = 4*i + 38, i - 4*j = 4. Suppose 3*y = 7*y - i. Solve -y*m + 12 = -0*m for m.
4
Let w(j) = 8*j**2 - 13*j - 5. Let d(m) = 3*m**2 - 4*m - 2. Let s(a) = -11*d(a) + 4*w(a). Let q be s(-6). Let k be 8/(-28) - (-74)/q. Solve -k*l = -l - 8 for l.
2
Suppose 4*v = 9*v - 15. Let y(o) = o**3 - 2*o + 0 + 3*o**3 + 1 + o**2. Let u be y(1). Solve -v*f + f = u for f.
-2
Let t(i) = i**2 - 2*i**2 - 3 + 4. Let k be t(-1). Suppose 3*x = -k*x + 60. Solve 0 = -0*w - 4*w - x for w.
-5
Let d be 8 + 0 - (1 - -1). Let t be d/9 + (-2)/3. Let i be 8/(-22)*(-154)/28. Solve i*g + 2*g + 16 = t for g.
-4
Let h be (-4)/(-14) + 792/21. Solve -h + 13 = -5*d for d.
5
Suppose j + a = 13 - 5, 5*a - 25 = 0. Solve 2*i - i = j for i.
3
Let v = 19 + -12. Solve -2 = -5*g - v for g.
-1
Let o = -43 - -47. Solve o = 3*p + p for p.
1
Suppose 3*m - 7 = -a + 4*m, 2*m = 4*a - 18. Solve -a*q + 6*q + 8 = 0 for q.
-2
Let q be (16/10)/((-3)/(-30)). Suppose 4 = 4*t - q. Let r(o) = o - 3. Let l be r(t). Solve -2*z + 3*z + l = 0 for z.
-2
Let p = 3 - 0. Let w be (2 - 0/p) + 0. Suppose 0 = -0*l - w*l. Solve -4*x + 0*x = l for x.
0
Let u be (-6 - 16/(-4)) + 8. Solve u*x = x + 15 for x.
3
Let s be (-4)/(-10) + (-2)/5. Solve 0 = -4*n - s*n for n.
0
Let p(y) = y**3 - 2*y**2 - 6*y + 3. Let w be p(4). Let i = w - 8. Solve -i*x + 7*x = 0 for x.
0
Let y = 24 - 21. Solve -y*o - 2 = -o for o.
-1
Let b(u) be the first derivative of -u**3/3 + 8*u**2 - 14*u + 4. Let g be b(13). Suppose k - 18 = -2*k. Solve k*l = l + g for l.
5
Suppose -5*o + 2*p + 6 = -4, 3*p = -o - 15. Let x be (0 - o)*(-2)/4. Suppose 5*m = -5*l + 40, -l + 4*m = 8*m - 14. Solve 2*k + x + l = 0 for k.
-3
Suppose 0 = -3*p - p + 12. Let o be (-2)/(-3) + 10/p. Suppose -2*m - o = 0, 4*k + 5*m + 10 = 2*k. Solve 4*n - 16 + k = 0 for n.
4
Suppose 29*x - 34*x + 10 = 0. Solve 5 = -l + x for l.
-3
Let v(f) = -f. Let b be v(-5). Suppose -2*y + 2*m = 2*y - 20, -b*m - 14 = -4*y. Suppose -2*u = 6, 0*u = -3*c - u + y. Solve -c*g + 8 = -g for g.
4
Let y(b) = 7*b**3 + 6*b**2 - 5*b - 5. Let n(f) = 4*f**3 + 3*f**2 - 3*f - 3. Let d(z) = -5*n(z) + 3*y(z). Let i be d(-2). Solve 0*j + 2*j = i for j.
2
Let j be ((-8)/2)/(0 - -1). Let k be (j/(-5))/(3/15). Solve v - 3 + k = 0 for v.
-1
Suppose 0 = -5*m + 279 - 274. Suppose -1 = -0*t - t. Solve c - t = m for c.
2
Suppose 2*h = 2*j - 3*h + 27, 2*h + 31 = -3*j. Let y = j + 13. Solve y*u = -0*u for u.
0
Let x be ((-2)/8)/((-6)/96). Solve 0 = -x*m + 5*m - 2 for m.
2
Suppose 0 = -0*k - 4*k - 4*n + 40, -5*n - 4 = -4*k. Solve k*d = 2*d + 20 for d.
5
Let d(z) = -2*z - 14. Let b be d(-10). Solve -3 + b = -y for y.
-3
Let l(c) = c + 11. Let t be l(-5). Let w = -4 + t. Let b be 0/(-2)*w/(-4). Solve 25 = 5*d - b*d for d.
5
Let l be (-1)/(-2)*90/15. Solve -l*y + 5 = 2 for y.
1
Let u(i) = 3*i**2 - 9*i + 6. Let d be u(3). Solve d*a = 9*a - 3 for a.
1
Suppose -2*v = -3*o - 1, 5*v - 12 = -o + 16. Let j = 17 - 15. Solve -o = j*f + 1 for f.
-2
Let l = -3 - -5. Suppose -5*r + 12 = -l*r. Suppose r*c = 2*c. Solve q - 6*q = c for q.
0
Let k(p) = -p**3 - 6*p**2 - 5*p + 2. Let x be k(-5). Suppose -5*a = -2*z - 20, 4*a + x*z - 20 = -a. Solve y = -a*y - 5 for y.
-1
Let c be 46/10 + 9/(-15). Suppose a - 2 = 2*n, -6*a + 4*a = c*n + 12. Let k = 4 - a. Solve x + 1 = k for x.
5
Suppose 3*f - 5*g + 2*g - 18 = 0, 16 = 4*f - 2*g. Suppose -f*p = -1 - 7. Solve -p = -0*i + 4*i for i.
-1
Let v = -29 + 19. Let p = v - -18. Solve 3*s = -s + p for s.
2
Let f be (-108)/(-30) + 6/15. Solve 0 = f*n - 10 - 6 for n.
4
Let n(u) = -7*u**3 + 2*u**2 - 1. Let g(f) = -2*f**3 + f**2 + f - 1. Let v be g(1). Let h be n(v). Solve 3*p = -p + h for p.
2
Let l(v) = 3*v**3 - 2*v**2 + v. Let h be l(1). Solve -4 = h*n + 4 for n.
-4
Let a(s) be the second derivative of s**4/12 - 2*s**3/3 + s**2 - 5*s. Let x be a(4). Solve x*j = -j for j.
0
Let q(r) = 6*r**3 + r**2. Let k be q(-1). Let t be (-3)/(-5) - 2/k. Suppose -x + 5*x = 0. Solve x = -w + t - 5 for w.
-4
Suppose -4*u = 20 - 0. Let n = 9 + u. Let g be ((-2)/n)/((-1)/4). Solve g*a + 10 = -0*a for a.
-5
Suppose 0 = -5*m + 8 + 17. Let b = -5 + 10. Suppose 3*w = -b*r + w - 6, -5*r + 5*w = -15. Solve -m*h + r*h = 0 for h.
0
Suppose t + 15 = 4*t. Let p(n) = 2*n**2 + 7*n + 6. Let z be p(-4). Solve 10*y - z = t*y for y.
2
Let p(o) = -o**3 - 6*o**2 + 10*o + 4. Let b be p(-7). Let a = b - -37. Solve 0 = -4*z - 0*z - a for z.
-5
Let h(t) = -t - 2. Let b be h(5). Let y = 12 + b. Suppose -3*a - 2*a + 15 = 0. Solve -2*l - a*l = -y for l.
1
Let r = -5 - -12. Let a = 20 - 11. Suppose 3*l - 15 = -5*c, -4*l = -3*c - 2*l + a. Solve h + c = r for h.
4
Suppose -24*m = -23*m - 3. Let j = -1 - -1. Solve a + m*a = j for a.
0
Let m = -4 + 3. Let p(s) = -10*s - 1. Let k be p(m). Let g(x) = -x**3 - 4*x**2 + 4. Let i be g(-4). Solve k*d = i*d - 20 for d.
-4
Let m be (0/(2 + 2))/2. Solve m*u = 3*u for u.
0
Suppose d + 3 = 2. Let c = 11 + d. Let s = 0 + 0. Solve s = -3*q + c + 2 for q.
4
Let r be 5/20 - (-46)/8. Suppose 2 = 2*q - r. Solve d + d - q = 0 for d.
2
Suppose 4*i + 21 = 7*i. Let n = i + -6. Solve n = -2*x - 7 for x.
-4
Suppose -k + 12 = 4*b, -5*b = -2*k - 3*k + 10. Suppose -2*s = 3*s + 20. Let h = -4 - s. Solve h = -b*v - 3*v - 20 for v.
-4
Suppose 1 = -3*o + 4. Suppose 0 = 2*l - 5*f + 21, -l - f + o = -6. Let h = 0 - -1. Solve -3 = -l*b + h for b.
2
Let j be (-1)/3 + (-20)/(-15). Suppose -11 = -2*q - j. Suppose -5*r + 5 = -q. Solve r*b - 5*b = -12 for b.
4
Let a be ((-12)/10)/((-60)/400). Solve 4*l = -a - 0 for l.
-2
Let m = 14 + -13. Solve -5 = 2*l + m for l.
-3
Let q(r) = -11*r - 6. Let w be q(-1). Solve 5*c - 25 = -w for c.
4
Let s(k) = -4*k. Let d be s(-4). Solve 0 = 4*x - 0*x + d for x.
-4
Let m(z) = -z**3 + 16*z**2 - z + 22. Let a be m(16). Solve 5*x - 26 + a = 0 for x.
4
Suppose y + 2*j = 7 + 5, 0 = 5*j. Solve -y = 3*v + 3 for v.
-5
Let w = -29 - -18. Let i = 11 + w. Let d be (-1)/(1*(-1)/3). Solve -q + 2 + d = i for q.
5
Let a(z) = -z + 38. Let h be a(23). Solve -h - 1 = 4*k for k.
-4
Suppose 0 = -4*x + 4 + 4, 3*k = 5*x - 10. Solve 2*z + 3 + 7 = k for z.
-5
Let v be 7*-2*(0 - 1). Let h = -9 + v. Suppose 0*a + 10 = 5*a. Solve 8 = h*x - a for x.
2
Let k(y) = -y - 9. Let c be k(-11). Solve 3*z = -c*z - 20 for z.
-4
Let n(s) = -2*s - 1. Let g(c) = c + 1. Let j(h) = -5*g(h) - 3*n(h). Let o be j(2). Solve o = 2*r + 7 - 1 for r.
-3
Let u = -1 + 2. Let s be (-1 + (-4)/(-2))/(-1). Let n = u + s. Solve 3*q = -n + 3 for q.
1
Suppose n + 4*n + 2*w = -2, -4*n + 2*w + 2 = 0. Suppose n = l - 2. Solve -l*a - a + 15 = 0 for a.
5
Suppose -5*o + 2 = -4*o. Solve a + 2 = o*a for a.
2
Suppose 4*t - 2*t = 0. Suppose -4*r + 0*r + 52 = -2*u, -5*r + 4*u + 59 = 0. Solve t*q + r = -3*q for q.
-5
Let q be 4/(-2) - (2 + -1). Let d(a) = -a**3 - 4*a**2 - 2*a + 3. Let f be d(q). Solve f = 2*b - 3 - 1 for b.
2
Let u(l) = l**2 - 5*l + 6. Let b be u(4). Suppose -2*p = -b, -p - 10 = -4*x + p. Solve -x*w - w = 0 for w.
0
Let q = -15 - -22. Let d be 7 + (3 - q - -2). Solve -4*r + 3 = -d for r.
2
Suppose 2*o = -o + 12. Suppose 3*k = 2*g + 5, 2*k + 3 = o*g + 1. Suppose 0*f = -k*f + 3*m + 15, 2*f - m - 7 = 0. Solve -f = -5*w + 8 for w.
2
Suppose -4*h - 4*j = -7 + 23, -4 = -4*h + j. Solve h = 3*z + 2 + 13 for z.
-5
Let w(h) = -h**3 + 4*h**2 - 4*h + 3. Let k = 6 - 4. Let g be w(k). Solve -2*a = -g*a for a.
0
Suppose 3*s - 2*s - 4*a - 11 = 0, 5*a = -10. Suppose 0*i - s*i = -132. Suppose 19 = -5*r + i. Solve -r*v = -8 - 7 for v.
3
Suppose -46 = -4*r - 5*i - 6, 0 = -2*r + 5*i + 50. Solve -6*d + 3*d = -r for d.
5
Let n be (-14)/(-4)*24/42. Solve 0 = 2*l + n*l for l.
0
Let u be 1/(2/4*(-8)/(-20)). Solve -u*d = -8*d for d.
0
Let u(i) = -i**3 - 13*i**2 + i + 13. Let k be u(-13). Solve k*z + 4 = z for z.
4
Let w be 2 + 3/(2 - 1). Solve -30 = -w*h - 5 for h.
5
Let y = 2 - 4. Let l be -1 + 9 + y + 2. Suppose 0*o + l = 2*o. Solve 0*w + 2*w + o = 0 for w.
-2
Let q = 13 + -2. Suppose q = 5*v - 4*h, -3*h + 6 + 9 = 4*v. Suppose 2*n = r + 6, -n + 3*r = 7*r - v. Solve n*x - 1 = 14 for x.
5
Suppose 0 = m + m - 16. Let o be (0/(-1))/(1/((-3)/6)). Solve o = 4*d - 0 + m for d.
-2
Suppose 0 = 3*i + 3*d - 27, -4*i + 12 = -d - 3*d. Suppose -4*t = 2 + 14. Let z = i + t. Solv