2*v. Solve -19 - 1 = v*s for s.
-4
Let b(h) = -h**2 - 6*h - 2. Suppose -6*x + 10*x = -16. Let n be b(x). Solve 0 = 6*z - 3*z + n for z.
-2
Let a be (-3 + 2/1)*-5. Suppose -a*g = -15, -2*g - 27 = 5*r - 6*g. Let j be 3 + -2 + (r - -3). Solve 0 = -2*i + i + j for i.
1
Let q = -17 + 20. Suppose -3*z + 2*h + 3 = -9, 3*h - 12 = -q*z. Solve 0 = -3*l + z*l + 5 for l.
-5
Let c(d) be the second derivative of -d**5/2 + d**4/12 + d**3/3 + d**2/2 - 4*d. Let x be c(-1). Solve 3*n - 2 = x for n.
4
Suppose 12 = q + 3*q. Suppose -7*u + 2*u - q*h = 0, 0 = -4*u - 4*h. Solve u = -2*d - 0*d - 2 for d.
-1
Suppose 4*o - 26 = k, -k - 4 = -3*o + 16. Let z be 15/o*(-1 + 3). Solve 0 = 5*a - 0*a - z for a.
1
Suppose -3*r - 18 = v - 8*r, 4*r - 27 = -v. Solve -v = 4*p + 13 for p.
-5
Suppose 2*y - 40 = -4*x, 60 = 2*y - 5*x + 20. Solve -4*w - y = w for w.
-4
Suppose v = 4 + 1. Let g(q) = -q**2 + 6*q. Let j be g(6). Suppose v*c - 31 + 1 = j. Solve -n = n - c for n.
3
Suppose 0 = -3*d + 3 + 57. Solve s + d = -3*s for s.
-5
Let c be (-12)/(-4)*(-10)/(-1). Solve -c = 5*x - 10 for x.
-4
Let r be 3/(-21) + (-66)/(-21). Solve -r + 7 = w for w.
4
Let o be -3 + (0 + 2 - 3). Let j be -1 + 2*(-18)/o. Let t = -10 + 13. Solve -20 = j*i - t*i for i.
-4
Suppose 2*q - n - 1 = 0, -9*q - 2 = -5*q + 2*n. Solve q*f = -4*f - 12 for f.
-3
Let b(q) = -q**3 - 9*q**2 + q + 12. Let n be b(-9). Suppose 28 = 4*g - 5*a, -11 = 2*a - n. Solve 0 = -h - g*h for h.
0
Suppose -2*u - 3*u = -20. Suppose -u*i + 3 = -i. Let y be (7/4)/(i/4). Solve -3*g + 8 = -y*g for g.
-2
Let i be 6/(-6 + 3) - -4. Solve -3*c - 7 - i = 0 for c.
-3
Suppose -j + 8 = -x, -3*j + j - 5*x - 19 = 0. Suppose -4*t = 4*r, -j*t + 9 = -4*r - 5. Solve t*a - 4*a = 0 for a.
0
Let r = 21 - 41. Let u = r - -24. Solve g = -u*g + 20 for g.
4
Let z be ((-1)/2)/((-1)/4). Suppose -z*c = -c. Solve c = -i - 3 + 4 for i.
1
Let d(m) = 8*m + 1. Let r(l) = l**2 - 4*l - 4. Let t be r(5). Let w be d(t). Solve 4*b = -21 + w for b.
-3
Suppose -2*g = 3*w + g - 42, -5*w + 4*g = -52. Solve -5*u = -w - 3 for u.
3
Suppose 8 = h + 3*d, 6*h = 2*h + d + 84. Let b be 2/8 - 14/(-8). Solve -2*o = b*o - h for o.
5
Suppose 3 = -4*t + 19. Let i = 0 - -5. Let u be (-1)/3 + i/15. Solve u = -8*d + t*d for d.
0
Let z(g) = g**3 + 4*g**2 + g - 4. Let y be z(-4). Let i = y + 13. Solve -v - i = -2*v for v.
5
Let h(l) = -l**2 - 3*l + 3. Let f be h(-3). Suppose -12 = 4*j + 5*o, 0 = -f*j - j + o + 12. Solve -j*n + 2 = -3*n for n.
-2
Let i(q) = 3 + 4*q**2 - q**3 + 6*q - 6*q. Let k be i(4). Suppose -18 = -3*d + k. Solve -3 = 4*p - d*p for p.
1
Let w = -2 + 4. Let l = 505 + -501. Solve -w*j = -l*j for j.
0
Let w = 3 + 2. Let a be -1 + 2 - -1*w. Solve -2*n = -a*n for n.
0
Suppose 4*w - 5*w = -5. Solve 0 = w*z + 4 - 19 for z.
3
Suppose 0 = 3*i, 2*o + 0*i - 3*i = 0. Solve o*p = -2*p - 6 for p.
-3
Let a = 2 - -10. Suppose k + 5*x - a = 0, -4*k - k + x + 8 = 0. Suppose 0 = 3*i - k*l - 12, -2*i - 5*l = -4 - 4. Solve 0 = g - 2*g - i for g.
-4
Let k be (-7)/(-7)*7 + -4. Suppose -24 = 2*p + 4*n, 0*p - 11 = 3*p + n. Let g be (-45)/(-6) + p/4. Solve k = -2*m - g for m.
-5
Let s be 2/(-3) - 3/9. Let l = -1 - s. Solve -2*g + g = l for g.
0
Let n = 11 + -7. Solve -n*r + 11 = -9 for r.
5
Let g = -91 - -94. Solve 0 = -u + g*u for u.
0
Suppose -7*y - 3 = -8*y. Solve -4*a - 2 = -y*a for a.
-2
Let y(o) = o**2 + 5*o + 5. Let t be y(-4). Suppose -v + t + 3 = 0. Suppose -k + 4 + 12 = 0. Solve -v + k = -3*u for u.
-4
Let s(o) = o**3 + 8*o**2 - 8*o + 8. Let n be s(-9). Let r be -1*3 - 5/n. Solve -2 - r = -2*y for y.
2
Let c = 33 + -28. Solve 2*k - c*k = -9 for k.
3
Let v(q) = q**2 - 5*q - 9. Let x be v(-3). Solve -4*o = -o + x for o.
-5
Let y(j) = -j - 14. Let w be y(-8). Let m = w + 6. Suppose l + 5*c + 9 = 0, -3*c + 21 = 5*l - 0*c. Solve -3*s + m + l = 0 for s.
2
Let x(w) = w**2 + 1. Let u be x(-1). Suppose -134 = -4*n - 130. Solve -u = k - n for k.
-1
Let n be (1 - 0)/((-4)/(-12)). Let b = n - -2. Let o(z) = -z**3 + 6*z**2 - 3*z. Let j be o(b). Solve l - j = 6*l for l.
-2
Let z be ((-3)/9)/((-3)/36). Suppose x = 3*l - 2*x, -4*l = 4*x - 16. Let d = -2 + l. Solve d*g = -z*g - 4 for g.
-1
Let s = -9 - -7. Let i be s/(-7) + (-2)/7. Let j = 2 + i. Solve w = 3*w - j for w.
1
Suppose 6*r - 141 = -51. Solve y + r = -2*y for y.
-5
Suppose 4*d + 5*q - 19 = 0, 4*d - 3*q - 25 = -2*q. Solve -a - d = 2*a for a.
-2
Let h(b) = -b**2 + 9*b + 12. Let p be h(10). Let a = -1 - -5. Solve 2*v - a = -p for v.
1
Suppose -17*f = -10*f - 28. Suppose 4*v - 2*t = -4, 3*t - 6 = -6*v + 3*v. Solve v = 3*h + f + 2 for h.
-2
Let g(r) = -2*r + 1. Let l be g(1). Let v be (-9)/(-3)*2 + l. Solve v*p - 2 = -27 for p.
-5
Suppose 2*r + 4*z = -0*r + 4, -5*z - 10 = -5*r. Let g = -46 - -46. Solve g = n + 3 - r for n.
-1
Suppose -o - 18 = 4*n, -3*o + n + 17 = 6. Solve -4 - o = -3*q for q.
2
Suppose 3*d = 5*m - 9, -8*d + 3*d = 5*m - 25. Solve 0 = -q - m*q - 20 for q.
-5
Let b = 45 + -27. Let k = b + -13. Solve -5*g + k = -0 for g.
1
Let r = 5 + -11. Let v = r - -14. Solve -2 + v = 3*n for n.
2
Let u be 171/63 - (-4)/14. Solve -u + 6 = 3*s for s.
1
Suppose 0 = 3*f + 30. Let s = f - -11. Solve 0 = 2*o - 1 - s for o.
1
Let p = 95 + -91. Solve 9 - 1 = -p*b for b.
-2
Let d = -28 - -29. Let o(l) = l**2 - l. Let a = -1 + 1. Let b be o(a). Solve b = z - 2*z + d for z.
1
Suppose -2*r = c, 3*r + 8 = 5*c - 5. Suppose 20 = 3*q + c*q. Suppose -3*k + q*f = -15, -4*f = -f. Solve -3 = k*l + 17 for l.
-4
Suppose 0 = 5*q + h - 3, 2*h + 8 = 2*q + 2. Let x be (q - 2)/(4/(-12)). Solve -x*d + d = 8 for d.
-4
Let y(w) = -w**2 + 3*w - 1. Let z be y(2). Solve -2*n - z = -7 for n.
3
Let l be (-5)/25 - 32/(-10). Suppose y - 2*c = l*c + 30, 5*c + 70 = 3*y. Solve 0 = -b + 6*b + y for b.
-4
Let g(s) = -s**2 - 5*s - 1. Let w be g(-4). Let p = 0 - -4. Suppose p*t - 5 = -t. Solve u - t = -w for u.
-2
Suppose 0 = a + 4*a - 10. Solve -a*j = -2 - 2 for j.
2
Let q be (-21)/6*(-1 - 1). Let j = -20 - -14. Let h = q + j. Solve 0*n = n - h for n.
1
Suppose -38 = 5*d - 53. Solve d*q = 6*q for q.
0
Suppose 7*v = -v + 72. Solve -4*a + v*a + 10 = 0 for a.
-2
Let p be (-17)/(-51) - (-1)/(-3). Solve p*r = r + 5 for r.
-5
Let d(v) = v**3 - 3 - 8*v**2 + 6*v + 3 - 8. Let a be d(7). Let p be 10/a*(-8 + -1). Solve -8 = 2*j - p*j for j.
2
Let a be (8/12)/((-3)/(-54)). Let s = a + -12. Solve -m = -s*m for m.
0
Suppose -5*i = -5*p + 18 + 2, -2*i - 2*p + 12 = 0. Solve -7 - i = 2*n for n.
-4
Suppose 0 = -11*q + 6*q + 10. Suppose -2*m + 16 = 6. Suppose -h - x + m = 0, -4*h = h - 2*x + 10. Solve h = q*a - 10 + 2 for a.
4
Let n = -12 - -17. Let m = 0 + n. Solve 6 = m*a - 4 for a.
2
Let f(d) = 0*d**2 - 6 - d**2 + 0*d**2 - 6*d. Suppose -8 + 20 = -3*h. Let p be f(h). Solve -k + 0*k = p for k.
-2
Let r(h) = -h**3 - 8*h**2 - 7*h. Let v be r(-7). Solve v = 5*i - 0*i + 15 for i.
-3
Let r = 91 - 86. Solve 5 = r*x - 10*x for x.
-1
Let s be (-10)/14 - (-10)/(-35). Let c be s*0/2*1. Suppose -2*f + c = -8. Solve -10 = -f*r + 2 for r.
3
Let p be 4/(-14) + (-2)/(-7). Suppose 0 = 5*g - m - p*m - 10, 2*m - 19 = -3*g. Solve -1 = g*r - 4*r for r.
1
Let p(o) = -o**3 + 6*o**2 - o + 8. Let h be p(6). Solve -h*n + 16 = -6*n for n.
-4
Suppose 0 = -3*j + 9 - 0. Solve j*p + 15 = 3 for p.
-4
Suppose -4*n + 2*n + 28 = 0. Let h = -14 + n. Let f = -8 - -11. Solve -t = -h*t + f for t.
-3
Let w = -16 - -28. Suppose 4 = -2*n + w. Suppose -5*j = -3*x - 35, n*j - 21 = 3*x + 10. Solve -j*y - 10 = y for y.
-2
Let m(i) = -i**3 + 3*i**2 - 2*i + 3. Let b be m(2). Suppose 2*j - b*k - 7 = -4*k, j + 10 = -5*k. Solve 5*c - 15 + j = 0 for c.
2
Let f(p) = 2*p + 1. Let u be f(2). Suppose z - 4*k - 16 = -z, z - k = u. Suppose -40 = -z*r - 3*r. Solve -c + r = c for c.
4
Let v(s) be the third derivative of -s**4/24 - 7*s**3/6 + 3*s**2. Let p be v(-8). Solve -3 = 2*o + p for o.
-2
Let c = -17 - -32. Let r = -14 + c. Solve -5 = -2*s - r for s.
2
Suppose 0*z - 3*z - 4*s = -20, -z + s = -2. Suppose -5*t + 6 = -z. Solve 3*i = -t*i - 25 for i.
-5
Suppose -2*b + 2*d = -26, 0 = -b - 2*d - 2. Solve j = -j - b for j.
-4
Suppose -4*z - 197 - 19 = 0. Let l be (-56)/(-9) + 12/z. Solve t - 3*t = -l for t.
3
Suppose 0 = -5*j + 10 + 15. Solve 2*f = j*f - 15 for f.
5
Suppose 0 = n - 2*b + 1 - 2, 0 = 2*n + 3*b - 16. Let l = -4 - -10. Solve -l = -n*k + 4 for k.
2
Let z(g) =