/(-4) - (-3)/(-6). Let d be p/2*18/3. Let x(b) = -2*b - 4. Let j be x(d). Solve -j*h = 5*c - 0*h - 9, -3*c + 4*h = 5 for c.
1
Suppose 3*l + l - 24 = 0. Suppose -l*y = -2*y. Let f = 10 + -6. Solve y = -f*a, -5*a + 15 = -5*x - 5 for x.
-4
Let j be (-11)/(-3) - (-6)/(-9). Let y(x) = 2*x - 3. Let k be y(4). Let q = k - j. Solve -q*b - w - 9 = 6, 5*b - 3*w = -10 for b.
-5
Suppose 0 = -0*t + 3*t. Suppose 0 = 4*y - t*y - 16. Solve -3*z + n + 1 = 0, y*z + 0*n + n = 6 for z.
1
Let d be 5/((-20)/(-8)) - -4. Let s be 104/24 + 4/d. Solve -s*f = 4*r - 36, 7*f - 28 = 4*f - 4*r for f.
4
Suppose 3*o + 5 = 20. Let p = -3 + o. Let w be (12/(-1))/(14/(-21)). Solve 2*h + 17 = 3*x - 0, 0 = -p*x + 3*h + w for x.
3
Suppose 4*n - 31 = 5*w, 2*n - 4*w = -7 + 27. Solve -3*q + 1 = n*y, y + 5 = 2*q - 3 for y.
-2
Suppose 0 = i - 2. Suppose 3*q + 3*f - 5 = -i*q, 0 = -q - 3*f - 11. Solve -3*o - 4 = -0*o - s, -26 = 2*o + q*s for o.
-3
Suppose -g = -0*g. Let l = g - 0. Solve -n + l*n - 12 = -3*a, 5*n = -4*a - 3 for a.
3
Suppose 0 = -5*i + 2 + 3. Suppose 0 = q + 6 - 2. Let f(s) = s**2 + 3*s + 1. Let d be f(q). Solve 3*p - 2*w - d = 0, -2 = -3*p + w - i for p.
-1
Let y be (15/(-6) + 2)*-6. Suppose 0 = y*c - c - 8. Let f be (-4)/6*(-18)/c. Solve -2 = -f*z - 11, -3*l + 3*z + 3 = 0 for l.
-2
Suppose -2*q = 4*o - o - 7, -2*q = 8. Suppose -2*d - 5 = -3*v, 0*v + v + 4*d + 3 = 0. Solve -l = u - v, 0*l = -5*l + 4*u + o for l.
1
Suppose 0 = 10*v + 2*v - 96. Solve -2*y - 2*t = -12, 3*t - 16 = -5*y + v for y.
3
Let m be (-5)/(-2) + (-3)/6. Let k = 8 + -5. Solve 6 = -m*i, 3*i = -k*u - u - 9 for u.
0
Let v = 6 - 4. Suppose 0 = -2*r - 3*q + 13, 0 = 5*r - v*q + 2 - 6. Solve 2*j + 4 = -r*u, -u + 2*j + 10 = -3 for u.
3
Let m(a) = -a**3 + 3*a**2 + 6*a - 6. Let i be m(4). Solve -h = -2*h + 5*w + 8, i*h + 5*w = -14 for h.
-2
Let g = -2 - -12. Suppose 8 + g = 6*m. Solve 5*s = 20, 2*j - 14 = -0*j - m*s for j.
1
Let x = 5 + -5. Suppose x = -5*j + j + 44. Suppose -j = -i + 4*k, 0 = 4*i + k - 4*k - 18. Solve -2*y + y = 3*g + i, -3*g = -5*y + 3 for g.
-1
Let n be (17/2 - 1) + (-5)/10. Solve -3*w - 17 = i, n*w - 2*w = i - 15 for i.
-5
Suppose 0 = -0*d - 3*d + 15. Suppose 3*a + a - 5 = 3*q, 5*a = 5*q + d. Solve -1 = v - 5*r - 3, 0 = 4*v - a*r + 10 for v.
-3
Let u(v) = v**3 - 7*v**2 + 8*v + 1. Let d be u(6). Let z = 80 - 77. Solve z*i - 5*k = 26, 39 = 5*i - 4*k + d for i.
2
Let p be 1 + 2 - (17 + -2). Let n be 20/(-6)*p/10. Suppose n = 4*v + 2*t - 54, -4*t + 80 = 5*v. Solve 4*a - 14 = -0*x + 2*x, -4*x + v = 0 for a.
5
Let w = -3 - -16. Solve 2 = -2*k + 4*j, 5*k + 0*j - w = 4*j for k.
5
Suppose 2*s - 7*s = -10. Solve -4*h = s*j - 20, 2*h + 0*h + 14 = 5*j for j.
4
Suppose -3*h = 2*h - 10. Suppose -z - 3*u = -20, -130 = -0*z - 4*z - h*u. Solve 0*m - 2*m + z = 5*k, -m = 5*k - 30 for k.
5
Suppose -96 = -0*t + 4*t. Let q be (-3)/(-4) - 102/t. Solve 4*l - 3*r - r + 8 = 0, q*l - 2*r = -13 for l.
-3
Let o = 26 - -1. Let p = o - -10. Solve -5*n - 5*w - 3 - p = 0, 5*w = 4*n - 4 for n.
-4
Let g = -68 + 71. Solve 2*u + 2 = 0, -g*u = -m + u + 6 for m.
2
Let k(v) = -v**3 - 5*v**2 + 4. Let s be k(-5). Suppose -s*w = w - 10, 4*n - 58 = 3*w. Solve -4*g = -9*g - 4*r + 4, 0 = 4*r + n for g.
4
Suppose -2*i = 4*i - 6. Solve -2 - i = -l - j, 5*l - 18 = -2*j for l.
4
Suppose b - 15 = 4*b. Let r be (14/35)/((-1)/b). Solve -4*h = 3*c - 1 - 14, -h - r = -5*c for c.
1
Let n = 17 - 162. Let g = n + -43. Let k be g/(-16) - (-9)/(-12). Solve -w = -2*t + 6, 4*w + k = 2*t - 1 for t.
2
Let s(v) be the first derivative of v**3/3 + 9*v**2/2 + 3*v - 5. Let a be s(-9). Solve -5 = -2*u - d, u = -a*u + 5*d + 31 for u.
4
Let p be 6/(-21) + (-111)/(-21). Suppose 25*z - 17*z = 160. Solve -o - 2*o - 4*y = 3, p*y = o + z for o.
-5
Let i(u) = u**3 - 2*u**2 + 2*u. Let p(m) = -m - 3. Let o be p(-5). Let r = o + 0. Let j be i(r). Solve 0 = j*w - 12, 3*h + 12 = -3*w + 4*w for h.
-3
Suppose 0*x = -x. Suppose x = -2*p + 4*p. Solve 3*t + 4*i + 6 = t, 3*t + 2*i + 13 = p for t.
-5
Let g = 3 - -1. Suppose h = -2*h + 3. Suppose -5*a + j + 92 = 0, -65 = -g*a - 3*j + h. Solve 0 = -y - m, 5*y + 0*m = m + a for y.
3
Let j(a) = -a**2 + 4*a + 5. Let u be 5*(-1 - (-27)/15). Let q be j(u). Solve -q = o, 8 + 3 = -3*g - 4*o for g.
3
Let k = 7 - 5. Let n = 8 + -8. Solve x - k*p = 1, 4 = -n*x + x - 3*p for x.
-5
Let l(d) = d**2 + 8*d + 7. Let n be l(-5). Let c = n + 16. Solve -i - c = -2*g, i + g = 2 + 2 for i.
0
Suppose 3*k = 3*y - 9, -6*k = -5*y - 3*k + 15. Suppose -x = -4*l + 21, 4*l - 2*x - 11 = -y*x. Solve 3*p = j + 2*j, p = -l for j.
-4
Let h be -2 - (-2 - -7)*-2. Suppose -5*k = 3*j - 29, -h - 14 = -2*j - 2*k. Solve 4*x = 3*p + 16, -x = 4*x - 2*p - j for x.
1
Let v(p) = -p**2 + 6*p - 3. Let k be v(5). Suppose 4*i = k*i. Solve i*l - 3*l + 5*r = 12, 5*l = -r + 8 for l.
1
Let d = 7 + -3. Suppose 6*f - 6 = 4*f. Suppose f*c = d*c. Solve c*r - h = 5*r + 4, 2*h + 8 = -5*r for r.
0
Let i be -1*(-3 + -1 + 3). Solve -i = z, -l = -0*z + 5*z + 1 for l.
4
Suppose -c - 1 = 2*j, -2*j + 4*c = -c - 29. Suppose j*q + 16 = 6*q. Let h be 2/q + 28/8. Solve 2*r = 6*r - n - 6, 0 = h*r + 4*n - 16 for r.
2
Let m be (33/6)/(2/4). Let u(s) = -s**3 - 1. Let q be 6/(4 - 2) + -5. Let a be u(q). Solve -4*n = 3*f + a, m = f - 4*n - 8 for f.
3
Let l be (1 + -1 - -2)*4. Suppose v - 2*y = -v - l, -3*v + y = 6. Let u be v + 1 + (-2)/(-1). Solve 2*o = 2*m + 4, 0 = m - 5*o + u*o for m.
-3
Suppose -2 - 2 = -4*x + 4*y, 0 = 2*x + 3*y - 12. Suppose 2*q + 3 = x*q. Solve 4*b = f - 23, 6 = -f + q*f for b.
-5
Let h be 40/22 - (3 - 140/44). Solve -3*z + 19 = h*m, -m - z + 9 = m for m.
2
Let b = -8 + 11. Solve -y = 2*y + 15, -b*l = -4*y - 26 for l.
2
Suppose 4 = 2*u + 14, -5*i + 2*u + 20 = 0. Suppose i*s - 25 = -3*s. Suppose 7 = -3*p - s*g, -g = 5*p + g - 1. Solve -3*n = d + p, -3*d - 4*n + 2 = 10 for d.
-4
Let y(x) = x**2 + 2*x + 4. Let w be y(-4). Solve 2*m - 5*m - p = -w, 0 = -5*m - 4*p + 20 for m.
4
Let j(b) = b + 7. Let l be ((-14)/8)/(3/12). Let s be j(l). Let g be 2 - (-3)/(6/4). Solve s = -5*m + g*a - 14, -3 = 3*m + 4*a - 1 for m.
-2
Let r(k) = -k**2 + 5*k + 3. Let q be r(3). Let w = -5 + q. Solve -3*a - l = l + w, 0 = -4*a - l + 3 for a.
2
Suppose 4*x = 2*j + 2, -x - 2*x = -3*j - 3. Let a = x + 2. Let z = 1 - -1. Solve 5*c = -a + 7, -2*c = z*v - 12 for v.
5
Let z(j) = 4*j**3. Let a be z(1). Suppose -t - 2*o + 6 = 0, 0*t = -2*t + 4*o - a. Solve -n + 1 = 0, 0 = -h - t*h + 5*n + 7 for h.
4
Suppose 0 = o - 4*y - 22 - 1, -4*o = y - 7. Let g be (-8 + (-82)/(-12))*-6. Solve -o*w = 6*f - f + 11, -w = -f - g for w.
3
Let t be 2/(-8) + (-35)/20 + 3. Solve t + 0 = -2*w - n, 2*w - 3*n - 11 = 0 for w.
1
Suppose 5*h - 41 + 6 = 0. Let k(v) = -v**3 + 6*v**2 + 7*v + 2. Let f be k(h). Suppose j - 56 = -3*j. Solve -4*l + g - 22 = -2*g, f*l + j = 3*g for l.
-4
Suppose 0 = 5*o - 2*o. Suppose o = 3*g + g - 20. Let t be ((-24)/6 - -1)*-1*5. Solve 3*f = 3*r + t, 0 = -4*r + g*f - 7 - 13 for r.
-5
Let k be 2 + 5 + 1*-2. Solve -6*i = k*h - 3*i + 19, 0 = -3*h - 3*i - 9 for h.
-5
Suppose -3*a + 6 + 3 = 0. Let d be 1/(-3 + (-34)/(-11)). Solve -3*b - l = -d, 3 + a = 3*l for b.
3
Suppose 5*i - 2*i = 72. Let t(l) = 5*l - 2. Let c be t(2). Solve -3*u - u + 4*z + c = 0, -3*z - i = 3*u for u.
-3
Let i(l) be the second derivative of l**4/12 + l**3/3 - 2*l**2 - 2*l. Let c = -11 + 7. Let u be i(c). Solve 3*v - 7 - 6 = -5*b, -5*b + 14 = u*v for v.
1
Suppose 5*o = 5*u - 45, 2*u - o = 13 - 0. Solve -u*m - 2 + 10 = 0, 5*t = 5*m - 30 for t.
-4
Let o be (4 - 0)*2 - 0. Let w(g) = g**2 + 5*g + 6. Let z be (2/(-2))/(2/10). Let l be w(z). Solve o = l*m - m - 4*p, m = 5*p + 10 for m.
0
Let v be -10 + -1 + 4 + 0. Let c = v + 4. Let m be -1 - (1 + -2) - c. Solve -m*p + 3*r - 18 = 0, -3*r + 12 - 2 = p for p.
-2
Suppose 9 = l + 2*l. Let m(w) = 7*w + l + 4 + w**2 - 6 + 4. Let s be m(-7). Solve -3*z + 2*u - 6 = -z, -u - s = 3*z for z.
-2
Let u be 0 + 8 + (-1 - -3). Let p = -12 + u. Let v = p - -3. Solve c = -4*b + 21, -3*c - c - v = -b for c.
1
Let i(u) = u**3 + 11*u**2 - u - 7. Let d be -1 + (-8 - (-6)/(-3)). Let y be i(d). Solve -y*m + j + 23 = -0*m, -m - 4 = 3*j for m.
5
Let k(s) = -s**3 + s**2 + 6. Let i be k(0). Suppose 0 = -2*b + 15 + 5. Solve 3*d = -5*n - b, -3*n - 30 = 3*d - i*d for d.
5
Let g = -15 + 8. Let u(m) = m**2 + 6*m - 3. Let z be u(g). Sol