 24 = -5*f - 2, y*n = -4. Solve c + c + 10 = 0, -f*a + 5*c = -13 for a.
-3
Let w(d) = -2*d**2 + 25*d - 9. Let k be w(12). Solve 0*c - 2*c - 9 = -r, 0 = -3*c - k*r for c.
-3
Suppose p = -0*p + 20. Solve -3*q - 6*i + i = 0, q - p = 5*i for q.
5
Let z(s) = 8*s - 259. Let g be z(33). Suppose w - 1 = 2. Solve g*f = -w*k - 3 - 12, -2*f = 0 for k.
-5
Suppose 0*p - 4*p = 4. Let i be (-5)/(p*(3 - 2)). Solve 3*d + 12 = -i*l, -3*l - 2*d - 11 = -4*d for l.
-3
Suppose -4*a + 7 = 5*j, -j + 3*j + 2 = 0. Suppose -a*s + 15 = -0*s. Solve 3*l - 4*h + s*h = 11, 2*l = -3*h + 12 for l.
3
Suppose 3*j = 12 + 6. Let g = -2 - -3. Let v = j + g. Solve -5*u + n - v - 3 = 0, 2 = -u - 4*n for u.
-2
Suppose 0 = v - 4*v. Let f(p) = v + p**3 - 2 - p**3 - p**3 + 7*p**2 - 3*p. Let r be f(6). Solve -4*y = -9*y + 3*o - r, -5*y - 3*o = 34 for y.
-5
Let v(s) = -3*s - 3. Let m be v(-2). Solve -5*a = 20, 4*a = k - m*k - 10 for k.
3
Let r be -4*(21/(-12) - 0). Let j = -34 + 119. Suppose -3*c - 5*m = -m - j, 134 = 5*c - m. Solve 3*h = 5*u + h - c, r = u - 2*h for u.
5
Suppose 4*p + 3*l = -39, p + 0*p = 4*l + 14. Let n = -3 - p. Solve 4*t - 15 = n*o, -4*t - 24 - 1 = 5*o for t.
0
Suppose 0 = -2*a + 7*a - 25. Suppose 3*m + 2*m - 25 = 0. Suppose 0 = -m*f + 2 + 18. Solve 0 = -3*g + a*n - 5, 2*g + f = 5*n - 1 for g.
0
Let h(c) = c**2 + 7*c + 11. Let b be h(-8). Suppose 2*n - b = 11. Solve 2*d - 3*s + n = 0, 2*d + s = -3*s + 20 for d.
0
Suppose -3 = -s - 0*s. Let k = s + 2. Solve -3*p + 4*y = -24, k*y = -p - 14 + 3 for p.
4
Let m(s) = -s**2 - 7*s + 5. Let y be m(-4). Solve 4*c = -a + y, -5*c = -a - 0*a - 19 for c.
4
Let v = 0 + -7. Let j be 7/2*(-20)/v. Solve -2*d + 23 = d + 4*x, 5*x = j for d.
5
Suppose -5*d + f = -3, -2*f = d + 3*d + 6. Let s = -1 + 3. Solve d = -u - m + s, 5*m - 5 = -u + 9 for u.
-1
Let g be (-2)/12 - (-37)/6. Suppose 5 = t - g*t. Let m = t + 3. Solve -4*b - 4*h + m*h + 4 = 0, -h = b for b.
2
Suppose 0*d - 5*d = 4*j - 20, 5*d + j = 5. Let h = 3 - d. Suppose -p + h*v + 5 = 4*v, 4*v = 0. Solve n + 1 = 5*x, 0*n = x + 5*n + p for x.
0
Let v be (-180)/(-22) + (-10)/55. Let z be (3/(-2))/((-3)/6). Solve 11 = q + z*l, -v = -q + l - 3*l for q.
2
Suppose 2*g + 9 = z - 6*z, 0 = -g + 5*z + 18. Solve 2*t = -3*y + g*t + 14, -3*y - 4*t = -4 for y.
4
Let m be (4/(-6) + (-10)/(-6))*2. Solve -2*w + m*o = -3*o + 5, -5 = 5*w - 5*o for w.
0
Let l = 20 - 17. Solve -b - l*v = -6*v + 7, 3*b + 3*v - 3 = 0 for b.
-1
Suppose 0*b - b = -2. Suppose 5*n = 5*l + 15, 0 = 2*n - n - 2*l. Solve -b*k - 5*p = -n*k - 9, 5*p = -3*k + 37 for k.
4
Suppose n = 5*s + 2, -4*s + n = -n + 4. Suppose -j = -s*j. Suppose -3*y - y - 20 = 0, -2*l - y - 1 = j. Solve -10 = -l*a, 5*c - 4*a - 9 + 39 = 0 for c.
-2
Suppose 2*r - 6 = p, p + r + 2*r = 19. Suppose -5*d + 4 + 51 = 0. Solve 4*u - 12 = 5*h, -2*h - 5*u + d + p = 0 for h.
0
Let g = -1 + -2. Let q = g + 5. Suppose 0 = q*n - 2*c + 2, -2*c = -6*c + 12. Solve n*r = -4*p + 12, -1 - 5 = 2*r - 5*p for r.
2
Suppose 0 = -4*x + 28 - 76. Let f = x - -13. Solve 3*i = 5*p + f, 5*i - p - 3*p + 7 = 0 for i.
-3
Let i(y) = y. Let a be i(-1). Let d be (0 - 0 - 18)/a. Let g = 903 + -901. Solve -4*k - 4*n + g*n + d = 0, -5*k + 2*n = 0 for k.
2
Let u be 12/14 + 18/(-21). Suppose 15 = 5*k - 30. Solve 2*q - 2 + u = -3*y, y = q + k for q.
-5
Let v = -15 + 17. Let c be 222/42 - v/7. Solve 4*o = c*n - 25, -n + o = -4 - 1 for n.
5
Suppose -4*q + 30 = 5*x, 4*x - 6*q = -q - 17. Let u be (0 + -1)/(x/22). Let y = u - -15. Solve -1 = 3*z + 5*i, -i = -9*z + y*z + 17 for z.
3
Let t(f) = f**2 - 3*f + 2. Let c be t(3). Suppose -7*h = -c*h. Solve 0 = w + 3*z - h*z + 17, -w = -4*z - 11 for w.
-5
Suppose -z = -6 + 2. Suppose 3 + 7 = 5*t. Suppose 0 = -t*b - b + 6. Solve -5*u + 4*r - 4 = 0, b*r - z*r - 20 = 3*u for u.
-4
Let b be ((-2)/(-4) - 0)*2. Let j be b + -2 + 3/1. Suppose 2 + 6 = j*y. Solve 4*w - 10 = 3*c, -y*c - 2 = 3*w - 22 for w.
4
Let t be (-10)/(-12) + (-6)/(-36). Solve -2*w = h + t, w + 0*w - h + 2 = 0 for w.
-1
Let o = -60 + 63. Solve -l + 3 = o*i, 4*i - 4 = -5*l - 0 for i.
1
Suppose -5*i = 5*o + 45, 0*i - 5*o + 39 = -2*i. Let d = i - -16. Solve 4*m = -4*u + d, 0 = -m + 2 - 0 for u.
-1
Let p = 21 - 18. Solve p*c - 2*c = -2*g + 9, -c = -g + 6 for c.
-1
Let v(h) = h + 5. Let f be v(0). Suppose f*y = -7 + 22. Solve 0 = 2*d - y*w - 7, 0*w - 4*w = 3*d - 19 for d.
5
Suppose -3*w + 8*w = 3*v - 6, 4*v - 8 = -w. Let z(i) = -3*i**2 - i**3 - 3*i - 1 - 1 + 8*i**v. Let s be z(4). Solve 2*y + s*k + 2*k = -8, 0 = -y - 4*k - 6 for y.
-2
Let c be 0 + (-3 + 4 - -2). Suppose 30 = 3*y + 4*s, -c*y + 2*s = -8*y + 36. Solve 4*i = -3*x - 32, 4*x - y + 2 = 4*i for x.
-4
Let n = 12 - 7. Suppose -n*y + y + 12 = 0. Solve 0 = -2*h - 2*a + 15 + y, 0 = 5*h - 4*a for h.
4
Let c(v) be the first derivative of 2*v**2 - v - 1. Let t be (2/4)/((-19)/(-38)). Let j be c(t). Solve 2*h + 2*h - j*i - 11 = 0, 1 = -i for h.
2
Let p(z) = -z**2. Let o be p(-1). Let g be 32/(-10)*(o + -4). Let l = 42 + -40. Solve -4*w - g = -2*r, 4*w - 1 = -l*r - 9 for w.
-3
Let d = -45 - -71. Let z = -16 + d. Let q(n) = 3*n. Let l be q(1). Solve z = 2*t, 0 = c - 0*t + t - l for c.
-2
Let h be 28/(-63)*27/(-6). Solve b - 7 = 4*l - h*l, 0 = b + 5*l for b.
5
Let z = 9 - 6. Solve -g + 16 = 3*g + 4*i, -z*g - i = -2 for g.
-1
Let g be 1/(-3) + (-5)/(-15). Suppose 5*z + 92 = 22. Let f = 22 + z. Solve -4*u - f = -g*w + 4*w, -5*w - 4*u = 12 for w.
-4
Let c be (7 + -2)*(3 + -2). Solve 4*r = c*g - 11, g + 0*g = 3*r + 11 for r.
-4
Let u(f) = 3*f - 6. Let a(c) = -6*c + 13. Let l(m) = 2*a(m) + 5*u(m). Let h be l(5). Solve -2*w - 4 = 3*q - 0*q, w = 5*q + h for q.
-2
Let o(d) = -d - 3. Let z be o(-5). Solve -z*p + 2*a - 4 = a, 0 = -4*p + 5*a + 4 for p.
-4
Let s(m) = -4*m**2 - m - 1. Let r(f) = f**2 - 3*f - 5. Let d be r(4). Let y be s(d). Let v be (-6)/y - 1/(-2). Solve 12 = -2*h - v*z, -h - 3*z = 4*h + 20 for h.
-1
Let s(g) = g**2 - 4. Let c be s(3). Let t(i) = -i**2 - 1. Let k be t(0). Let f = 1 + k. Solve z - y + c = f, -2*z = z - 2*y + 11 for z.
-1
Let f(a) = a**3 + a**2 - a + 1. Let r be f(0). Solve 2*i - 2*k = -r - 1, -3*k = i - 11 for i.
2
Suppose 23*r = 18*r. Suppose -3*g + 3*w = -9, 0*g - 2*g + 3*w + 4 = r. Solve 0 = -g*x - t, -x = 4*x - 3*t + 20 for x.
-1
Let b = 39 + -58. Let v = -15 - b. Solve -21 = s + v*o, 3*s - 2 - 3 = 5*o for s.
-5
Suppose -2*h + 3*h = 0. Solve h = 4*m, c - 3*c - 6 = -m for c.
-3
Let a = -20 - -56. Suppose 0 = -2*y - 2*y + a. Solve -u + y = 2*u, 2*x = -2*u + 2 for x.
-2
Let v(s) be the first derivative of -s**2/2 + 7*s + 3. Let d = -7 - -11. Let a be v(d). Solve 3*q = a*f + 21, 0*f - q = 3*f + 13 for f.
-5
Let n(a) = -a + 9. Let s be n(6). Solve 3*z - 8*z + 15 = 4*v, 2 = s*z + v for z.
-1
Let p be (-1)/3*-3 + 21. Suppose 2*z + 12 = -2*z, 5*l + z = p. Solve -a = -5*r - l*a - 25, 0 = 2*a for r.
-5
Let y = -6 - -10. Suppose -n - y*x = -9, 4*n + 1 = 5*x - 5. Solve 3*d + n = 10, -d - 2 = v for v.
-5
Let b = 54 - 34. Let o(n) be the second derivative of n**3/6 - n**2/2 - n. Let j be o(4). Solve j*m = 5*z + 31, -b = -5*m + 2*z - 0 for m.
2
Suppose 20 + 20 = 4*k. Let j be 3/(-2)*(-12)/9. Let s be (-2)/(-7) - 6/21. Solve l + k = -b - j*b, 3*l + 3 = s for b.
-3
Suppose 5*h - 3*k = 30, 0*k = 4*k. Let q be 3 + -1 + 12/h. Suppose 5*z + 0*z - 13 = 3*v, -2*v = 2*z - 18. Solve 0 = -f - o + v, -2*o - 16 = -q*f + 2*o for f.
4
Suppose 29 = 5*h + 2*j + j, -3*h + j + 9 = 0. Solve -1 = -h*f + u, -5*f + 6*f - 3*u = 3 for f.
0
Let k(y) = y**2 - 2*y. Let m be k(3). Let j(h) = -h**3 + 15*h**2 - 13*h - 10. Let u be j(14). Solve 16 = -m*a + d + u*d, a + 6 = 2*d for a.
-2
Let g(t) = t**2 + 10*t + 25. Let k be g(-8). Solve -2*l + 0*l = -3*h - 12, k = l - 3*h for l.
3
Let r be 3 + (-9)/3 - -20. Let n = 23 - r. Solve -4*o = -n*w + w, -5 = -5*o for w.
2
Suppose -4*o = 5*k - 25, 0 = -0*o - 4*o + 2*k + 18. Suppose 0*b = -o*b. Suppose 4*g - 104 + 24 = b. Solve 15 = -3*d, -2*a = -5*a - d - g for a.
-5
Suppose 3*d = -4*l + 41, -2*d + 5*l - 1 = 2*l. Let t(f) = -f**2 + 9*f - 10. Let p be t(d). Solve 5 = -r + 2*v, 4*r - p*v - v = -20 for r.
-5
Suppose 2*z - 4 = -0. Let r = 2 - z. Solve x - 3*i = -r*i + 13, -2*i = 6 for x.
4
Let i = -14 - -17. Let p be 3 - i - 3/(-1). Solve -2*f + 10 = 2*f + 3*z, -f - 2 = p*z for f.
4
Let k = -43 - -48. Solve n + k*v + 25 = -1, 2*v + 11 = -n f