 0 for c.
1
Let w be 7 + (-10)/(3 + 2). Solve -f + 3*r - 7 = -4, 4 = -w*f + 4*r for f.
0
Let v(l) = -l + 2. Let y be v(0). Let j(x) = -x**2 + x + 0*x**2 + 0*x**y - 12*x - 9. Let a be j(-9). Solve 3*s - a = -0, 5*s = -p + 16 for p.
1
Let t be 5/5 + 0 - -4. Let h(b) = -2*b - 2. Let d be h(-2). Solve -2 = -5*f - d*y, y = -t*f - 2*y + 3 for f.
0
Let s(l) = l**3 - 5*l**2 + 5. Let d be s(5). Suppose 0*r = -2*r - 4. Let q be 4 + ((-8)/(-2))/r. Solve 4*x + 3*f = -q*f + 14, 3*x - d = -f for x.
1
Suppose -3*x - 2*a + 0 = 6, -6 = -5*x + 2*a. Solve 2*c = -0*d + 3*d, -5*c - 4*d = x for c.
0
Let a be 3/2*56/6. Suppose 0 = x - i - 12, -3*i + a - 68 = -5*x. Solve x = -2*f - 4*d - 7, -2*d - 4 = 0 for f.
-4
Suppose -v = 8 + 2. Let n = v + 15. Solve 9 = -7*g + 4*g - n*p, -p = 3*g - 3 for g.
2
Let m be 2/(-5) - 110/(-25). Solve -3*y + 2*y = -m*f - 24, 5*f = -5*y - 5 for y.
4
Suppose -2*l + 20 = 2*l. Solve -2*s - l*o - 1 = 1, 2*s = -2*o + 4 for s.
4
Suppose f - 1 + 2 = 0, -5*y - 4*f = 49. Let z(h) = h**2 + 10*h + 11. Let n be z(y). Let d = 1 + n. Solve -3*k - d*p = 2*p - 24, 0 = -k + p for k.
3
Let k be (-440)/(-36) + (-4)/18. Suppose -4*u + 0*u + k = 0. Let c be (0 - 2) + (2 - 0). Solve u*v + 8*s = 5*s + 6, s - 5 = c for v.
-3
Let n(s) = 7*s**3 + 2*s - 1. Let h = 9 - 8. Let m be n(h). Solve 5*y + m = -2*t - 9, -5*y = -2*t + 33 for t.
4
Let y(f) = 5*f**3. Let u be y(1). Solve -2*r - 2*d = -d - 3, 9 = u*r + 2*d for r.
3
Suppose -5*s - 5*r - 5 = -0, -4*r - 1 = 5*s. Solve 5 = j + k, 7*j - 3*j + 8 = s*k for j.
1
Suppose 4*n + 4 = 6*n. Suppose n*y - 56 = -0*y. Solve -3*h - y = -4*r - 0*h, -12 = -r + 2*h for r.
4
Let p(i) be the second derivative of -i**4/12 - 7*i**3/6 - 9*i**2/2 - 2*i. Let w be p(-4). Solve 4*g + 4 = 4*j, -3 = -0*g + 3*g + w*j for g.
-1
Let w(a) = 5 + 2*a**3 + 2*a**3 - 3*a**3 - 7*a**2. Let p be w(7). Solve -4*q = -4*b + 36, 34 = p*b - 2*q + 4 for b.
4
Let j(t) = 1 - 1 + t + 6. Let r be j(-3). Let l be (-46)/(-10) + (-2)/(-5). Solve 1 + 3 = -r*y + 2*a, -l*y - 5*a = -10 for y.
0
Let s = 10 - 10. Suppose -2*p = -s*p. Solve p = 4*c + 2*u, -3*c = 2*c - 3*u for c.
0
Let y be 0*(-2 - 9/(-6)). Let f be -1 - (y + -2)/2. Solve 3*j = -5*b - 4, f*b + 2*j = -4*b - 2 for b.
1
Let o be (-3)/(-5) + (-96)/(-40). Solve b - 6*b + 28 = -o*c, -4*c - 4 = 0 for b.
5
Suppose -24 = -4*i - 0*i. Let s = -10 + i. Let f be (-4)/(-6) + s/6. Solve 3*w - 4*c - 26 = f, -5*w + 6*c = 4*c - 20 for w.
2
Let a(u) be the first derivative of u**3/3 + 7*u - 3. Let s be a(0). Solve 5*x = -p - 18, 0 = -x - 6*p + s*p for x.
-3
Suppose 7 + 41 = 4*y. Suppose 0*u = -2*u - 2. Let x be -1 - (u + -1) - -2. Solve -4*n = -4*f - y, x*f = 7*f + 5*n - 33 for f.
2
Suppose 37 = 5*d + 4*w, -w + 2*w = 2*d - 7. Solve 3*b + q = 3*q + 15, d = b + 3*q for b.
5
Suppose -2*w + 1 + 3 = 0. Solve -3*d + 4*o = -0*o + 24, w*d + 5*o - 7 = 0 for d.
-4
Let l(f) = -2*f + 8. Let y be l(9). Let m = y - -14. Suppose -4*b = 3*s + 1 + 8, 0 = -b - 3. Solve -s = -c + 4*t, m*c = -0*c - t + 4 for c.
1
Let b = -43 + 76. Solve 4*w = 5*q - b, -8*w + q = -3*w + 15 for w.
-2
Let p(c) = c**2 + 10*c + 6. Let o = -27 + 17. Let f be p(o). Let v be (f/18)/((-1)/(-12)). Solve k = 4*i + 6*k + 41, 4*i + v*k + 36 = 0 for i.
-4
Suppose 10*l = 16 + 4. Solve 2*u - f + 2 = 0, l*f = -4*u + 5*f - 8 for u.
1
Let m be (6/(-4))/((-6)/8). Let x be -5 + m - -3 - -2. Solve x*v + 0*v = 3*k + 15, 0 = 5*k - 4*v + 27 for k.
-3
Let v(q) = 2*q**2 - 5*q - 2. Let j be v(4). Let f = j - 10. Solve f*y + 3*m + 14 = y, -3*m = 9 for y.
5
Let f be -10*(25/30)/((-1)/3). Solve -m + f = 5*i - 0*m, 25 = 5*i - m for i.
5
Let a(m) = -m**3 + 10*m**2 - 8*m - 1. Let g be a(9). Solve -5*c = 2*z - 0 - 4, 0 = -4*z - 4*c + g for z.
2
Let w be (-18)/27 + 40/6. Let k(i) = -i**3 - 6*i**2 - 6*i - 5. Let q be k(-5). Solve 5*r - 4*c + w = q, 3*r - 1 = 5*r - 3*c for r.
-2
Let q(n) = 2*n**2 - 7*n + 3. Let i(h) = 5*h**2 - 14*h + 6. Let c(o) = 3*i(o) - 7*q(o). Let b be c(-8). Solve 7 = b*w + g + g, 5*g = 2*w + 3 for w.
1
Let d = 29 + -27. Solve 0 = -d*a - m - 2, -a + 4*a + 5 = -2*m for a.
1
Suppose -5*k + 10 = -0. Suppose 4*u - u = 5*i + 30, -u + 11 = -k*i. Solve u*n - w = -16, 2*n + 2 = -6*w + 2*w for n.
-3
Let x(g) = -g + 5. Suppose 1 = 3*p - 14. Let u be x(p). Solve 2*w - 3*r - 10 = u, 0 = -5*w + 4*r - 4 + 22 for w.
2
Suppose g = 1 + 5. Solve 5*s + 5*f - 5 = 5, -s = 5*f + g for s.
4
Let l = -27 - -27. Suppose l*m - 5*m + 3*r = -19, -3*m = 2*r - 19. Solve -3*g + g + 12 = 5*d, 0 = m*g + 4*d - 13 for g.
1
Let x(r) be the third derivative of -r**4/24 - r**3/2 - r**2. Let t be x(-6). Let s = -9 - -13. Solve d = -3*y + 4 - 1, 3*y - t = -s*d for d.
0
Suppose v = 4*p + 5*v - 36, 3*v - 17 = -p. Solve -10 = -p*r + 5*y, 0 = -r - 3*r + y - 7 for r.
-3
Let q be (6 - 4)*(6/4 + -1). Solve z + 15 + 0 = 4*c, -z + q = 0 for c.
4
Let u = 8 + -3. Let p(x) = -x - 2. Let f(n) = n**3 - 12*n**2 + 12*n - 13. Let l be f(11). Let t be p(l). Solve -25 = -w - 5*j, -u = 4*w - t*j - j for w.
0
Suppose 4*a - 4*y = 12, -2*a = a + 4*y + 12. Let r be a*(-2 - (-3)/2). Solve -2*p = 3*d + 15, p - 3*d - 28 + 13 = r for p.
0
Suppose -14 = 4*w - 2, 5*x + 3*w - 11 = 0. Suppose h = 2*t + 2*t - 15, -4*h = t - 25. Solve x*v + 0*c - 9 = -3*c, -2*v - h*c = -15 for v.
0
Let o(d) = -d**2 - 8. Let b be o(0). Let j = b + 15. Solve 0 = 5*p - 4*z - j, 4*p = -z + 12 + 2 for p.
3
Let n = 6 + -3. Let x(l) = -3*l**2 - 4*l**3 + 2*l + 0 + 5*l**3 - 3. Let q be x(n). Solve 0*p - 4*p - 7 = -5*r, -4*p = q*r - 17 for r.
3
Suppose -s + 1 = -1. Suppose -5 + s = -p. Solve 3*v = -5*w - 3 + 18, p*v - 9 = -3*w for w.
3
Let r(q) = -7 - q**2 - 3*q - 3 - 6*q. Let c be r(-7). Suppose 0 = c*f - 6*h + h - 36, 16 = -4*h. Solve -2*w + 2*b = 18, b + 15 = -f*w - w for w.
-4
Let c be 3/9 + (-14)/(-3). Suppose 4*b - 29 = -c*i + 14, 0 = 3*i - 2*b - 17. Solve -3*v + j = -12, i*v + 3*j = 3*v + 16 for v.
4
Let h = 9 - 9. Let m be (-5)/10*h/3. Solve -i = -m*b - 2*b - 7, -2*b = 2 for i.
5
Suppose c - 2*c = -4. Let s be -18*(c/3 - 2). Suppose -4*m + 0 = -s. Solve 0 = -f - 0*r - m*r + 2, 19 = 4*f + r for f.
5
Let r be -5 + (-11)/(55/(-30)). Solve 5*b + 5*g - 2*g = 11, -g + r = -b for b.
1
Let l = -9 + 7. Let i be (-120)/(-32) - l/8. Solve -5*h + 5*c = 0, 5*c + i = -6 for h.
-2
Let w be 6/(-1 - (-7)/4). Solve 0 = w*i - 3*i - 3*r + 29, 4*i = 2*r - 22 for i.
-4
Let a(x) = x**3 - 4*x**2 - 5*x + 4. Let g be a(5). Let k be (-2)/10 - g/(-20). Solve 5*j + 25 = -3*b - 2*b, k = 3*j + 2*b + 12 for j.
-2
Let u(v) = -v**2 - 11*v + 15. Let y be u(-12). Let x = 73 - 51. Let o be x/6 + 1/y. Solve -4*s + 4 = -2*s - 2*r, 3*s + o = r for s.
-3
Suppose h - 4 = 3. Solve 4*s = h*l - 5*l + 8, 0 = -5*s + 5 for l.
-2
Suppose 28 = -4*d + 8*d. Let k be 7/3 - 1/3. Solve -4*l = i + d + 2, k*l = -i - 3 for i.
3
Let o(r) = 5*r**2 + 0*r**2 - r**2 + r. Suppose 4*c + 15 = 3*n, 5*n - 20 = c + 4*c. Let x be o(n). Solve 3*h = 4*t - 7, 4*h - 6 = -x*t - 36 for t.
-2
Let h(g) = g**2 + 25. Let s be h(0). Suppose 5 = -4*z + 13. Let x be (-13 - -3)*(-2)/4. Solve -z*m - y + 5 = -0*m, -s = m - x*y for m.
0
Let h be (4 + -5)/(-1 - 0). Suppose 5*t = 2*t - 3. Let a be 3 + t + h/1. Solve b + r = a, 2 = b - 5*r - 7 for b.
4
Suppose -3*q = 4*z - 2*q - 11, -12 = -3*z + 3*q. Solve 0 = -0*o + 4*o - 4*w + 4, z*o = -2*w + 2 for o.
0
Let d(z) = -z**3 - 2*z**2 + 6*z + 10. Let a be d(-4). Let u = a + -15. Solve -2*w - 8 = 2*x, 4 = -4*x + u*w - 5 for x.
-3
Let r(p) = -p + 12. Let u be r(7). Solve -3*y - y - g = -14, 0 = -u*g - 10 for y.
4
Suppose b - 10 + 0 = 4*x, b = -x + 10. Let c be (-5 + 2)/(1 + -2). Let p = -1 + 6. Solve 4*k + p*r = b, c*k = -5*r + 5 - 0 for k.
5
Suppose 0*q = -5*q + 45. Suppose 5*u + 20 = q*u. Solve 3*k - 4*y - 5 = 0, k = -k - u*y + 11 for k.
3
Let f be -7 - 2*12/(-8). Let a be (4 - f)/(-2) + 10. Solve -5*q - 4*s = 6, -q + 3*s + a + 8 = 0 for q.
2
Suppose -3*z = -5*z + 8. Solve -5*w - 4 = -w - 5*x, 3*w = z*x - 4 for w.
4
Suppose 2*x + v - 11 = 0, 0 = 5*v - v - 20. Solve 4*s - 6*s + 3 = c, x*c = -3*s + 3 for s.
2
Suppose -56 = -5*x - 6. Suppose j - 6*q + q = -24, 5*j - x = -q. Solve 5 = 5*f - 5*s, 2*f - j = f - s for f.
1
Let y(l) = -l**2 + 6*l + 10. Suppose 4*p + 7 = 5*p. Let z be y(p). Solve -3*h = -4*r + 5, 2*r - z + 0 = h for h.
1
Let b be 104/10 + 22/(-55). Solve 0 = 5*k + 15, -k - b - 9 = -4*p for p.
4
Let 