se -2*t = -6 + 2. Solve 0 = -t*v + 4*s + 12, 0*v + v - 11 = 3*s for v.
-4
Let j(n) = n**3 + 11*n**2 - n - 15. Let y be j(-11). Let k be (-1)/y - (-77)/28. Solve -4*f + 5*h - 4*h = -6, 0 = 3*f - k*h for f.
2
Let b = 2 + -1. Suppose 5 = k + b. Solve k*d + l - 20 = 0, 0*d = 2*d - 3*l + 4 for d.
4
Suppose p - 16 = -3*q, 5*q + 0 = 2*p + 12. Solve 4*w + q + 0 = -c, 12 = 4*c + 2*w for c.
4
Let g = 2 + 0. Suppose 4*t - 10 = -2*f, -f + 3*t = -g*t - 5. Solve f*j = -4*a - 2 - 15, a - j = 7 for a.
2
Let x(g) = g**3 + 5*g**2 + 3. Let d be x(-5). Suppose 0 = -o + d*o - 2. Solve 3*i + 3 = 0, -4*r + o = -5*i - 4 for r.
0
Let x be ((-5)/(-4))/(3/12). Suppose -33 + 11 = -2*i - x*w, 0 = -5*i - 5*w + 40. Solve -5*d - 3*o = -i, -7 - 3 = -5*o for d.
0
Let u = -8 + 11. Let o = 10 - 6. Let j = 40 - 36. Solve o*t + 5*n + 6 + u = 0, 1 = 3*t - j*n for t.
-1
Suppose -4*s + 3*s + 13 = 5*u, -2*s + 10 = 2*u. Solve -4*o - u*c = 6, 0 = -4*o - 6*c + 3*c - 3 for o.
-3
Let v(g) = g**2 - g. Let m(k) = -k**3 - 5*k**2 + 6*k + 3. Let n(q) = -m(q) - 3*v(q). Let z be n(-2). Solve 0 = -4*u - z*f - 13, 2*f - 3*f - 15 = 4*u for u.
-4
Let p = -11 + 12. Let q be 10/8 - (-4)/(-16). Let t = p - q. Solve t = z - 5*g - 5, -g - 6 - 9 = -3*z for z.
5
Let z be (-2)/(-3)*(10 - 7). Suppose 15 = 3*d + z*d. Solve -2*x + 3*x = 5, -d*o + 4*x = 14 for o.
2
Suppose 18 = q + 2*q. Suppose -q*f = -11*f. Solve -5 = -4*p + c + 18, -4*c - 12 = f for p.
5
Let k = 20 + -17. Solve 0 = -5*h - 2*f - k*f + 10, 3*h + 2*f = 8 for h.
4
Let f be (-3)/18*-20*6/4. Solve -2*g - 7 = -4*t - 5*g, -f*g - 11 = t for t.
4
Let c(l) be the second derivative of l**4/12 - 4*l**3/3 + 3*l. Let h be c(9). Solve 0 = 2*u + x, -4*u = -h*u - 2*x for u.
0
Let w be -2 + 2/1 + 4. Suppose -3*i = -4*k + 36, 2*k - i + 0*i - 16 = 0. Solve 4*u = 3*d + 32, -k*u = -w*u - d - 14 for u.
5
Suppose -5*t = -t - 24. Let b be (-5)/(-25) + t/(-5). Let d(l) = -3*l - 1. Let z be d(b). Solve -3*f = -2*j - 1, -10 = z*j + 4*f - 2 for j.
-2
Let r be (-1 + 1)/(-2 - 0). Solve h + 3*x - 15 = r, 2*x - 10 = -0*h - 4*h for h.
0
Let s = 3 - 1. Let w(y) = -y**2 + 0*y + y + 0*y - 6*y. Let d be w(-5). Solve 4*f + d = 2*o - 10, 5*o = f - s for o.
-1
Let f = -18 + 29. Suppose h - u = 4*h - f, u - 5 = 0. Solve 5*g = -5*n + 1 + 4, g - 2 = -h*n for g.
0
Let r(w) = w**3 - 13*w**2 + 13*w - 11. Suppose 0*o - 3*o = -5*g - 26, 2*o - 22 = g. Let x be r(o). Solve -3*i = -5*h - x, i - 4*h + 1 = -1 for i.
2
Let s(z) = -z**3 + 10*z**2 + 11*z + 3. Let l be s(11). Solve -2*h = 5*c + 6, -5*c = -l*c for h.
-3
Suppose 3*t - 56 = -t. Solve -n = 5*f - t, -5*f = -3*n - n + 6 for f.
2
Let h = 19 - 2. Solve 2*k - 1 - h = 4*u, 0 = 4*k + u + 9 for k.
-1
Suppose 3*z - 5*z - 3*x + 5 = 0, 4*z - 22 = -2*x. Let i(h) = 2*h**3 + 20*h**2 - 22*h + 4. Let w be i(-11). Solve z = -f - n, -2 = w*f - 2*f - 4*n for f.
-5
Let a = 11 + -6. Suppose 0 = 2*z - 2*b + b + 2, -a*b + 10 = 3*z. Solve z = -c - 5*s + 21, 4*c + 0*s - 16 = -3*s for c.
1
Suppose 3*c - 2 = 7. Solve 3*y = v - 13, c*v = -2*y - 6 - 10 for y.
-5
Let g(r) = 5*r**3 + r**2 + 7*r - 2. Let j(s) = 4*s**3 + s**2 + 6*s - 2. Let k(b) = 5*g(b) - 6*j(b). Let v be k(0). Solve 4*h = 16, v*d + 6*h - h - 26 = 0 for d.
3
Let p = -71 + 71. Solve p = 5*v + 5*c - 20, -2*v - 15 = -3*c + 2 for v.
-1
Suppose -3*f + 17 = 2*d, 2*f - 18 = -0*d - 3*d. Solve -d*c - c - r + 26 = 0, 2*r = -3*c + 17 for c.
5
Let x(g) = -g - 11. Let m be x(-9). Let f be (m - 1)*(-2 + 0). Solve 4*b - f = -5*s, 5*s - 4 = 3*s for b.
-1
Suppose 4*r + 15 = 3. Suppose 0 = 4*l + 23 - 3. Let t = r - l. Solve 0 = t*f + 3*f - u - 9, 0 = 4*f - 5*u - 3 for f.
2
Let c(x) = 2*x**2 - 5*x - 9. Let g be c(4). Solve 3*b = -3*t - 21, 2*t = 5*t - g*b - 9 for t.
-2
Let q(p) be the first derivative of -p**3/3 + 5*p**2 + 10*p + 3. Let l be q(9). Solve z = 4*d + 6 + l, 5*z = -5*d for d.
-5
Let h(q) = -q**2 + 4*q + 5. Let i be h(4). Suppose -i*u + 4 = -u. Solve 3*k = -2*j - 15 + u, 2*k = 4*j + 12 for j.
-4
Suppose 0 = -0*y - 4*y. Let d(a) = 2*a + 8. Let s be d(-2). Solve -k - 15 = 4*k, -4*l - s*k - 24 = y for l.
-3
Let f = -42 + 47. Solve 5*i - 5 = -3*n, -5*i = -0*i - f for n.
0
Suppose 5*d - 23 = -2*n, 2*d - 1 - 9 = -n. Suppose 3*l + 3*k + 2 = l, d*l - 7 = -2*k. Solve 19 = 4*h + l*i, -4 = 5*h - i - 2*i for h.
1
Let h(i) = i**3 - 4*i**2 + 9. Let v be h(3). Solve -2*l = -4*n + 26, v*n - 22 = -l - 5*n for l.
-3
Suppose -z + m = -1, 5*m + 1 + 4 = 0. Solve 2*r + l - 9 = z, 1 = -2*r + 3*r - 3*l for r.
4
Suppose 4*w = -2*s + 30, -w - w = -5*s + 15. Solve 3*q - 4 - 7 = s*j, 3*q + j - 5 = 0 for q.
2
Suppose -4*u = -2*r + 18, 2 = -3*u - 1. Solve k - r = 5*y + 6, 2*k + 5*y + 19 = 0 for k.
-2
Let d be (1 + 51/6)*12. Let t be d/10 - (-4)/(-10). Let v be 4/22 + 20/t. Solve c = -4*k + 4*c - 15, 0 = v*k + 5*c - 25 for k.
0
Suppose 7 + 5 = 3*l. Solve -6*f = -f + 25, -4*f - l = -4*j for j.
-4
Let y(u) = u**2 + u + 2. Let t(r) = -r. Let o be t(2). Let f be y(o). Suppose 0 = d + 4*z - 2 - f, -5*d + 30 = 2*z. Solve 2*h + d = -3*l, l + h + 3 = 3*l for l.
0
Let b be 7*9/((-252)/(-80)). Solve 0 = -4*d + 4*j - b, -2*d + 5*j = -3*d + 19 for d.
-1
Let d(p) = p**3 - 5*p**2 - 4*p + 2. Let y be d(5). Let w = 22 + y. Solve w*m + 8 = -o, -m + 5 = -0*o + 2*o for o.
4
Suppose 5*b = 3*q + 3 + 9, 3*b = -3*q + 12. Let c = 0 + b. Suppose -3*o + 3*w - 2 = 4, 21 = 2*o + c*w. Solve n + 6*i = o*i - 8, i = 3*n + 4 for n.
-2
Suppose 6*t = 3*t + 15. Solve -4*w - 4*n = 12 + 8, -3*w - t*n - 15 = 0 for w.
-5
Suppose 4*g = c + 15, 4*g - 13 = -5*c + 2*g. Solve -3*p - j + 2 = -3, -3*j = p + c for p.
2
Let x(z) be the second derivative of z**4/12 + 2*z**3/3 + 3*z**2 + 3*z. Let c be x(-5). Solve -2*h - 9 = -3*q + 2, -2*q + 5*h + c = 0 for q.
3
Let t(j) = j - 10. Let f be t(14). Solve -5*a = 2*v + 9, a + f = -3*v - 3 for a.
-1
Let p be 3/(-21) - (-110)/35. Solve -k - p*k - 2*c = 20, -3*c = -3*k - 6 for k.
-4
Let o = 3 - -2. Solve y = 5*j + 17, 2*j - y = -o - 3 for j.
-3
Let p be (-1)/1*(-12 - -9). Solve 4*s = 12, 5*l + 8*s = p*s + 20 for l.
1
Let b be -1*(1 + -1 + -4). Solve 5*t = -4*s - 40, s + b = -t - 5 for t.
-4
Suppose -4*h = -h - 12. Let y be ((-1)/2)/(2/(-20)). Solve -1 - 7 = -y*g - h*x, -3 = x for g.
4
Let i(m) = -m**2 - 11*m - 4. Let w be i(-8). Solve 4*v + w = -4*o, 0*v = o - 4*v for o.
-4
Let j be 6/(4 + (-3 - 0)). Solve -j = g - q, -5*g - 22 = -q + 4*q for g.
-5
Let g be -3*(-2)/(-3) - -5. Let j = -8 + 11. Solve 28 = -4*c - 5*o, -g*o - 2*o - 14 = -j*c for c.
-2
Let s be 0 - -1 - (3 + 2). Let m be (-22)/s - (-1)/(-2). Suppose 6*h - 4*h = m*z - 13, -h = 2*z + 2. Solve 4*v - g = -4, 4*v + 3 + z = 4*g for v.
-1
Let m(w) = -w**3 - 5*w**2 - 6*w - 6. Let j be m(-4). Suppose 2*t - j*r = r + 69, 4*r = -4*t + 88. Solve v - 5*c + 0 - t = 0, 2*c = -10 for v.
2
Let c(m) = -m**2 + 14*m - 20. Let g be c(12). Solve 4*u - 17 = 3*o, g*u = -5*o + 2*o + 23 for u.
5
Let v(q) = q**3 + 3*q**2 + 4*q + 7. Let g be v(-5). Let a be g/(-6) + (-1)/(-2). Let x = -6 + a. Solve -2 = b - j, x*b + 9 = 2*j + 2*j for b.
-1
Suppose 0 = -7*i - 3*i. Solve p - 2*u = 6, i = u + 5 - 0 for p.
-4
Suppose -2*l - 8 = -3*l. Suppose 8 = 4*q - 4*m - l, 2*q + 3*m = 3. Solve -8 = u - n, -u = -4*u - q*n + 6 for u.
-3
Let v(w) = 3*w + 1. Let x be v(-1). Let u be x*(-3)/(-2) - -3. Suppose -5*m = 2*r + 6 - 2, 4*r - 5*m - 22 = u. Solve 0 = 4*c + y - 15, -4*y = r*c - 7*c for c.
3
Let y be 24/1*(-3)/(-4). Let p be 2 + (2 - 4) + -2. Let z be -2*p/((-4)/(-2)). Solve -3*n + 5*x = -2*n + 1, -z*x - y = -5*n for n.
4
Let q be 3/2*(-1 + 3). Suppose q*x - 19 = -4. Solve -z + c + c + 5 = 0, x*z = -3*c - 1 for z.
1
Let b = -6 - -4. Let u be (2 + -12)*(-3 - b). Suppose -2*c + 8 = -0*c. Solve c*v = 2*k - u, 4*v - 2*k + 5 = v for v.
-5
Suppose -v - 6 = -3*v. Solve 5*i + 15 = 5*j, -3*i - 5 = -v*j - i for j.
-1
Let d(q) = -q**2 + 11*q + 14. Let v be d(11). Solve 2*u - 13 = u + 2*f, 0 = 2*u - f - v for u.
5
Suppose 0 = 4*v - n - 8, -2*v + n - 1 = -v. Suppose h + 9 = -2. Let c = h - -13. Solve v*z + 12 = -z, 0 = c*u + z + 11 for u.
-4
Let a be -4*(-5)/60*0. Solve t + 2*u + 18 = -4*t, -5*t - 5*u - 15 = a for t.
-4
Let i(g) be the first derivative of -g**3/3 + 5*g**2/2 + 2*g + 2. Let q be i(5). Suppose q*y + y = 60. Solve -p + 4 = 4*k + y, -p = 0 for k.
-4
Let k(d) be the first derivative of d**3/3 + d**2/2 + 15*d + 2. Suppose -3*r 