 4/k - 117/(-45). Solve 5*r - 2*r - v*d = -3, 5 = -3*r + d for r.
-2
Let z be (0 - 0)*(-4)/(-8). Suppose z*h - 2*h - v + 7 = 0, 2*v = h - 6. Suppose 7 = -2*x + 3, -4*x = h*d. Solve -2*o + 16 = 4*r - 3*o, 2*r + d*o = -2 for r.
3
Suppose 16 = -2*s - 5*o, o + 6 = 2*s - 2. Solve 0 = 5*z - 3*q + 13, -s*q = 3*q + 20 for z.
-5
Suppose 5*j = j. Suppose c - 2 = -j*c. Solve -12 = 4*f - 3*f - 4*w, 0 = -f - c*w for f.
-4
Suppose -z + d + 5 = -2*d, -13 = -4*z + 5*d. Suppose -4 = -k - 4*o + 3*o, 17 = 2*k + 5*o. Solve 3*v = i + k, -4*v + z*i + 2*i = -12 for v.
-1
Let l(x) = 3*x + 14. Let a be l(-4). Solve -4*k + 9 = 3*w - 8, 0 = -4*w + a*k - 14 for w.
-1
Suppose -6*h = -21*h + 255. Solve -2*n + t = -11, 3*n - 5*n + h = -3*t for n.
4
Let t be 0 + 0 + 5 + 0. Suppose 3 = q - 5*z + 4, -z = t*q - 21. Solve 5*a = q*x - 26, 5*a + 19 = x + 5 for x.
4
Suppose -4*f = -f. Suppose -2*d = -6*d + 20. Solve -2*i + 0*i = d*u - 5, f = -5*u + 5*i + 40 for u.
3
Let d(x) = -4 + 1 + 3*x - x. Let n be d(4). Suppose 13 - n = 4*h. Solve h*y - 2*g + 12 = -6*g, -2*g - 18 = 4*y for y.
-4
Suppose 0*r + 4*r + 3*c = 0, 4*r + 4*c = 0. Solve 5*f - q - 2 = 14, r = -5*q + 20 for f.
4
Let q = 15 + -11. Suppose 0 = -h + q. Solve -1 + h = -3*w - 3*c, -3*c - 4 = 2*w for w.
1
Let j(o) = -2*o - 6 + 1 - 1 + 1. Let h be j(-4). Suppose -4*u = u. Solve b - 3*b + 2*l - 8 = u, -h*l = -5*b - 22 for b.
-5
Let r(c) = c**3 + 5*c**2 - 6*c + 3. Let h(u) = u**2 - 12*u - 19. Let l be h(13). Let k be r(l). Solve n - d = 2*n - 1, -3*n - 3 = -k*d for n.
0
Let u(z) = z**2 - z - 1. Let w be u(3). Solve -5*f + 2*v + 21 = v, 29 = w*f + v for f.
5
Let l = -113 + 118. Solve 2*n + 2*n - 2 = -l*m, 2*n = 5*m - 14 for n.
-2
Let t(k) = -2*k**3 + k**2 - 3*k - 3. Let g be t(-2). Suppose -2*o - 5*s = 5, 2 - g = -3*o + 2*s. Solve 0 = b + 3, 12 = -2*p - o*b - 11 for p.
-4
Let v = 24 + -22. Solve -3*x - 3*c + 11 = v*x, -3*x - 3 = -3*c for x.
1
Let o = 4 + 2. Let q(y) = y**2 - 4*y. Let r be q(10). Suppose 2*f + r = o*f. Solve -c - 5*j = 9, c - 4*c - 3*j - f = 0 for c.
-4
Let u(i) = -2*i**2 + 2*i + 7. Let r be u(4). Let f = -13 - r. Solve n = -3*x - f*n - 29, -4*x + 2*n - 4 = 0 for x.
-3
Suppose q = 2*j - 3, 5*j = -3*q + 20 - 7. Suppose -5*c + 9 - 23 = -f, 4*f = -4*c + 8. Suppose -i - 1 = -f. Solve -10 = p - 3*p - 4*k, 4 = -j*p + i*k for p.
1
Suppose -5*s = -4*r - 0*s - 21, 4*s = 4*r + 16. Let g be (2 + -11 - -2) + r. Let f be (g/2)/3*-5. Solve -13 = 2*p - 4*t + 5, 3*p + f = -5*t for p.
-5
Let b be (-2)/(-6) - 25/(-15). Suppose -2*d = 5*p - 2*p - 20, 0 = 2*p + 5*d - 28. Solve 3*o = p*j - 4, 0 = -3*o - o - 2*j + b for o.
0
Let j(m) = -m**3 + 6*m**2 - m + 11. Let i be j(6). Solve -2*x - 5*g + 1 = 0, -i*x - 2*g + 0*g = 8 for x.
-2
Let r be (-1)/(1 - 12/9). Let q be 11/r + (-12)/18. Suppose -q*y - 2 = -4*y. Solve g = 6*g + 5*n + 20, -y*g - 12 = -2*n for g.
-5
Suppose 189 - 3 = 6*g. Let v = g - 18. Solve -4*i - 5*j - 5 = i, -i + 5*j = v for i.
-3
Suppose 4*z = -c + 7, -2*c + 12 = c + 3*z. Solve 0 = 4*h - c*x - 17, -5*h - x - 2*x + 1 = 0 for h.
2
Suppose 3*l + 3 = -12. Let k = -3 - l. Solve 2*z + 18 = -0*f - 2*f, -7 = 3*z - k*f for z.
-5
Let o be (44/10)/1 - (-26)/(-65). Solve 5*i = -0*i - o*m + 7, 4*m + 5 = -i for i.
3
Let y = -3 + 3. Suppose -3*n + 11 = -4*x, y = 3*x - 8*x - 2*n + 15. Let d be (2/3)/(x/3). Solve u + 3 = -d*m, -3*m = 2*m + 4*u for m.
-4
Suppose -5*m = -65 - 0. Solve -m = -4*k - 5*z + 2, 9 = -3*k + 3*z for k.
0
Let y(w) = -w - 5. Let x be y(-6). Let t = x + 2. Suppose 0*m = -t*m. Solve -k + 3*s + m*s + 12 = 0, -4*k + 8 = -2*s for k.
0
Suppose -b + 12 = -5*w, -2*b - 2*w - 3*w - 21 = 0. Let y be (12 + 0)/((-2)/b). Solve 4*h = -7*i + 2*i - 6, -i = -4*h - y for h.
-4
Let f = -4 - -8. Solve -3*u + f*b - 6 = 11, -5*u = 4*b + 7 for u.
-3
Let t(a) = a**2 - 7*a - 11. Let d be t(8). Let f be (1/2)/(d/(-36)). Suppose -3 = v - f. Solve -2 = -3*m + 2*j, -4*j = -3*m - v*j + 1 for m.
0
Let d be 2/(-8) - (-108)/48. Solve d*b - 18 = -4*w, -5*w - 2 + 20 = -2*b for w.
4
Let s be -4 - (-3 - 0/(-4)). Let c = 3 - s. Solve c*o + 4 = -g, 5*g - 2 = 5*o - 3*o for g.
0
Suppose -2*m - 3 - 11 = 0. Let c = -5 - m. Solve -3*k + 17 = -5*i, 2*i + c*k = -2*i - 18 for i.
-4
Let q(n) = 2*n**2 - 3*n - 2. Let z be ((-6)/10)/((-1)/(-5)). Let b be q(z). Solve 3*y + b = -5*x, 0 = 5*y + 4*x + 10 + 23 for y.
-5
Let q = 4 - 0. Let j = -2 + 5. Suppose 13 = j*k - 20. Solve 0 = -2*p + q*a - 4, 2*p + 3*p - 3*a = k for p.
4
Let m(n) = n**3 + 2*n**2 - n + 4. Let i be m(-3). Let x = i - -7. Solve -x*h + 24 = l, -2*l - 3*h + 3 = -10 for l.
-1
Suppose 4*z - z = -5*n + 14, 4*n - 4 = 0. Solve -4*l = -z*s + 29, 3*l + 0*s + 12 = -s for l.
-5
Let q(b) = b**2 + 8*b + 15. Let x be q(-5). Let r be 2/(-6) + (-106)/(-3). Suppose -r = -s - 0*s. Solve x*n - 2*v + 26 = 5*n, 5*n + 5*v = s for n.
4
Let h be (-2*1)/12 + 1199/66. Solve -3*s + 13 = v + 4, 3*s = 2*v + h for s.
4
Let p be (-2)/10*0 - -2. Solve -8 = -4*s, -c - p*s - 2 = -s for c.
-4
Let z(h) = -h**2 - 13*h - 10. Let o be z(-12). Solve -4*s - 16 = t, -2*s + 0*t - o*t = 8 for s.
-4
Let k(p) = -p**3 - 8*p**2 - 9*p - 1. Let m be k(-7). Solve 3*d - m = s + s, d = 3*s + 2 for s.
1
Let o be (-1 - (-1)/2)*0. Suppose 5*w - 21 = 2*r, 3*r + 2*w + 3 - 19 = o. Suppose r*j + 10 = 7*j. Solve -3*z = 2*v - 2, -j*z + 3 - 11 = -v for z.
-2
Suppose 4*l + l - 90 = 0. Let x = l - 15. Solve -n - x = 2*u + 2*n, -5*u = 5*n for u.
3
Suppose 4*o - 7 = 5. Solve -12 = u - 3*k, 0 = -u - 3*k + 15 - o for u.
0
Let a(r) = r**3 + 5*r**2 + 2*r + 7. Let x be a(-5). Let u be 8/2 + (-3 - (2 + -3)). Let i = u - x. Solve 3 + 1 = 2*h - 4*z, -i*z - 10 = 0 for h.
-2
Suppose 10 = p + 4*v, 0*v + 2 = -p + 2*v. Suppose -6*u + 63 = 3. Solve 3*c - p*n = -u - 7, 4*c = 3*n - 23 for c.
-5
Let r = 1 - -4. Suppose -r*m - 4 - 6 = 0. Let n = m + 3. Solve 4 = 4*v - 4*w, 5*v + n = -2*w - 1 for v.
0
Let a be (-159)/(-9) - 2/(-6). Suppose a = -3*g + 45. Solve y - 5*u - 21 = 4, -u = -y + g for y.
5
Suppose 5*l = 0, -w - 5*l - 14 = -2*w. Let c = -7 + 11. Suppose 6 = c*h - 6. Solve h*g + 16 = 2*o - 5, w = -4*g - 2*o for g.
-5
Let j = -85 - -87. Solve b - v = 1, b = -j*b - 5*v - 5 for b.
0
Let n = 15 - 9. Let u = n - 5. Solve 2*y - r = -u - 2, -2*y = 5*r + 21 for y.
-3
Let m = 7 + -4. Solve n - 6*n = m*o + 29, -2*n = o + 11 for o.
-3
Suppose 5*b = -2*m + 19, 0 = -m - m + 4. Suppose -2*k + 15 = b*k. Solve 2*i - 6 = -k*p - 2, -i = -2 for p.
0
Let c = -104 + 104. Solve -3*q - 6 = 3*u, -u + c*u = -4*q - 18 for q.
-4
Suppose a + 2*a + 4*y = -14, -a - y = 3. Solve -4*w + 5*w + a*n = -1, w - 5*n + 8 = 0 for w.
-3
Let r(b) be the third derivative of b**4/12 - 5*b**3/3 - 2*b**2. Let l be r(5). Solve l = 2*q + 2*p, 5 = -5*q - 2*p - 4 for q.
-3
Let h = -2 + 8. Solve -4*r = -2*v - 4 + 16, 4*r + h = 5*v for r.
-4
Let g be 1 + 1 + 0/(-2). Let y = g + 1. Solve 2*r = i, y*r - 3*i - 5 = i for r.
-1
Let y(s) = -4*s**3 + s + 1. Let j be y(-1). Solve 2*h + 12 = -j*q, -26 = -3*h + 2*q - 4 for h.
4
Let l(a) be the first derivative of -a**4/4 + a**3/3 - a**2/2 - a + 7. Let t be l(-1). Solve t*u - 16 = 2*o, -28 = -2*u + o + 4*o for u.
4
Let g = 2 - -3. Solve h = -2*v - 6, -g*h + 25 = -v - 0*v for v.
-5
Suppose -4*y + 3 + 13 = 0. Let m = y + -4. Let z be (1 + 0)/(2/2). Solve m = -k - z, n - 2*k - 2 = 5 for n.
5
Let s(n) = n**2 + 7*n. Let v = -18 - -11. Let q be s(v). Solve 0 = 2*m - 4*o + 12, 4*o + q = 4 for m.
-4
Suppose -4*c + 27 = k, 0 = 3*c - 8*k + 5*k - 39. Let v = 17 - c. Solve -4*u + 12 = 2*s, 5*s + v = 6*u - 3*u for u.
3
Let d be (-6)/(-2)*68/12. Let s be 66/9 - 3/9. Suppose 0 = -5*k - 5*t, s = -k - 5*t - 5. Solve 0*r + y - 9 = -k*r, -5*y + d = r for r.
2
Let a be (18 + 6)*(-1)/(-3). Suppose -4*w = 3*y - a*y + 35, 0 = -2*y + 4*w + 26. Solve 3*s - 2 = -4*d + 15, 3*s = 3*d + y for s.
3
Let u(s) = 4*s - 26. Let k be u(7). Solve 0 = 5*z + k*y + 1, 4*y = -2*z - y + 8 for z.
-1
Suppose 4*i - b - 12 = -i, -18 = -5*i - b. Let r(z) = 2*z - 2. Let p be r(i). Solve -4*m - l + 20 = -3*l, -24 = -4*m + p*l for m.
4
Let k be -1*2*(2 - 3). Suppose -2*u + 5 + 7 = 0. Solve -3*x + 6*x + k*b = -8, u = -3*x - 3*b for x.
-4
Suppose -3*l - 32 = 4. Let i be -10*-2*(-3)/l. Solve -3*t + 0*c + 6 = i*c, 18 = -3*t + 3*c for t.
-3
Let d = -52 + 30. Let k be ((-102)/1)/3*-1. Let o = k + d. Solve -o = -3*n, -2*n + n = 5*q - 24 for q.