 + 5*h for c.
5
Let r be 10/(-5)*60/(-3). Suppose d + 4*v + r = 5*d, -2*d - 4 = 4*v. Solve q = 5*x + d, -q = -5*q - 2*x + 2 for q.
1
Let k = -4 - -7. Let w = 0 + 3. Suppose 2*i + n - 13 = 0, -2*n - 3*n - 25 = -5*i. Solve w*d - 2*f = -i, 0*d - d + k*f + 5 = 0 for d.
-4
Let n(m) = -m**3 - 3*m**2 + 5*m + 4. Let x be n(-4). Solve 4 = -3*z - s, -3*z + s + x*s - 14 = 0 for z.
-3
Let k be -2 + 3 - (0 - 3). Solve 3*z - 7 + k = 0, 4*b = -2*z + 22 for b.
5
Suppose -h + 2*x + 1 = 0, 2*h + 2*h - 14 = -2*x. Solve 5*n + 3 = -2*s - 0*s, 0 = -2*n + s - h for n.
-1
Let u be (7 - 8) + 1 + 3. Solve 5*w + 6*o - 13 = u*o, -w + o = -1 for w.
2
Suppose 0 = 2*x - 7*x + 15. Solve -b - 2*r + 5*r = 0, x*r = -4*b + 15 for b.
3
Let h = 47 + -2. Suppose 0 = 2*r + 3*r - h. Let w(v) = -v + 1. Let z be w(1). Solve 2*y = -5*p + 1, -r = p + 5*y - z for p.
1
Let c(f) be the third derivative of f**5/60 - f**4/6 + f**3/2 + 3*f**2. Let w be c(4). Solve 0 = -3*j - 0*q - 5*q - 5, -2*j + 3*q + w = 0 for j.
0
Let c be 1 - (-3)/(9/(-6)). Let j be 4/(0 + -1)*c. Solve 3*v + 0*p = p + 5, 3*p + 5 = j*v for v.
2
Let b = 30 - 26. Let n(g) = g**3 - 4*g**2 + 4. Let m be n(b). Solve -d = -4*c + 2*d + 13, -3*c - m*d + 16 = 0 for c.
4
Let w = 22 + -21. Solve -5*q + 12 = 4*k, -3*q = 2*k - 7 + w for q.
0
Suppose 5*t = -4*l + 60, -4*l + 2 + 18 = 0. Solve 2*w + t = 0, 5*z + 3 = -2*w + 5 for z.
2
Let q be (3/(-2))/(6/(-8)). Let w(r) = r**2 - r + 2. Let i be w(3). Suppose -3*t + i = t. Solve 2*m - t = -q*n, -7*n + 23 = -m - 2*n for m.
-3
Suppose 3*y = -5*u + 28, 5 = u + y - 1. Solve 5*k + 19 = w, 0 = 3*w - 5*k - 12 - u for w.
-1
Let j(s) = s**2 - s - 4. Let x be j(4). Let h = -6 + x. Solve 1 = 4*g - w - h*w, 0 = g - 5*w + 4 for g.
1
Suppose -2*h - 3*l = -h - 7, 4*h + 2*l = -12. Let a be 1 - h/((-5)/(-4)). Suppose 2 = 5*u - 8. Solve u*f - 22 = -5*p + p, a*f = -4*p + 31 for f.
3
Let v = -2 + 4. Let t = 7 + -12. Let k = 9 + t. Solve -k*f = -f - 3*w + 6, -9 = v*f + 3*w for f.
-3
Let z = 16 - 1. Let t = 13 + 51. Let y = t - 45. Solve -3*a = 3*p - 7*p - y, 5*p = -4*a + z for a.
5
Suppose -4 + 12 = 2*d. Suppose 0 = -4*q - 2*n - 4, 7*q = 3*q - d*n - 8. Solve -r - 1 = -2*c - q, -c + 11 = -4*r for r.
-3
Let r = -29 - -32. Solve r*i - 5*z = 21, i - z = -3*i + 11 for i.
2
Let d be 0/(-1 + 4) - -2. Solve 4 = 4*m, -2*m - m = d*s - 3 for s.
0
Suppose c + 2 = 3*c, -c + 13 = -4*i. Let s(p) = -p**3 + 8*p**2 - 6*p. Let u be s(5). Let o be (u/21 + i)*-7. Solve -3*n + 6 = t, -t + 4*t - 3*n = -o for t.
0
Let d be 2 + (3 - (-3 - -5)) - -2. Solve z + 4*v + 1 = 0, -2*z + d*v - 15 = -0*z for z.
-5
Let g = 2 - 0. Suppose g*a - 18 + 0 = 0. Suppose 2*m + m = a. Solve -m*j + 2*n - 7 = -2*n, -2 = j - n for j.
-1
Suppose -2*i - 30 = -7*i. Solve p + 2*m + 8 = -p, p - i = m for p.
1
Let s = -3 - -3. Suppose -12 = -s*p + 3*p. Let n = 6 + p. Solve 5*k + 10 = -3*a, 0 = -a + 3*a + k + n for a.
0
Let g = -14 - -18. Solve -2*x + 4*t = -16, -3*x + g*t + 20 = -0*t for x.
4
Let m = -31 - -35. Solve -4*i = -m*c + 32, 2*c + 8 = -3*i - 1 for c.
3
Suppose 2*p + 4 = -2*z, 5*z + 4*p - 4 = -10. Suppose -4*l + 3*b = -22, 3*b = z*l - 23 + 9. Solve -l*v - 5*m = 11, 3*v + 3*m = -1 - 8 for v.
-4
Suppose -n - 4*n = -20. Suppose 0 = 5*g - 5*k - 5, -2 - 4 = -4*g + 2*k. Suppose -5*t + g*t = 0. Solve 0 = 2*a - p - 3, n*a + 5*p = -t*p - 1 for a.
1
Let u be 17/(-3) - 4/(-6). Suppose -4*h + 2*p = -42, 4*p - 9 + 48 = 3*h. Let g = u + h. Solve g*w = 8, b - w - 10 = -3*b for b.
3
Let q be 13/3 - ((-30)/(-9) - 3). Solve 5*i + 5 = 5*f, 0 = -4*f - 4*i - 0*i + q for f.
1
Let h(o) = -o**2 + 30*o - 54. Let c be h(28). Solve -5*n - c*x = 10, -4 + 2 = n + 5*x for n.
-2
Let h(d) = -6*d + 6. Let f = 6 + -12. Let p be h(f). Suppose -4*u + p = -3*u - 4*i, -4*u = 4*i - 88. Solve z - u = -4*z - o, 2*o = -z + 7 for z.
5
Let y(z) = -z + 10. Let c be y(7). Solve -3*q + c*l + 24 = 0, 0 = q + 2*l + 3*l + 16 for q.
4
Let q(f) = -f + 5. Suppose 0 = c - 6*c - 40. Let p be q(c). Solve 4*r + p = -5*i, i - r = 5*i + 6 for i.
-1
Let t = 31 + -27. Solve 0 = -z - l + 1, t*z - 3*l = z - 9 for z.
-1
Suppose m + 3 = 5. Solve 11 = m*r + 5*f - 18, -5*r - 4*f + 30 = 0 for r.
2
Let c(h) = h + 2. Let g be c(-1). Suppose i - 1 - g = 0. Solve 0 = -i*d + 10, -5*d - 4 = -3*r - 20 for r.
3
Let k be 2/4 + 289/34. Solve 2 = -j, 2*r - r = -2*j - k for r.
-5
Suppose -c + 4 + 11 = 0. Suppose 0*m - 5*m + c = 0. Let x be (-3)/(-24)*2*4. Solve o + x = 0, o + 4 = -4*i - m*o for i.
0
Suppose 7*u - 5*u - 30 = 0. Solve -k + 3*p - 14 = 0, -4*k + u = k + 2*p for k.
1
Let a be (-1040)/(-18) - (-4)/18. Suppose g + 14 = -2*s + a, 0 = -2*s + 2*g + 44. Solve 0 = -2*h - 4*v - 4, -2*v + s = 4*h - 4*v for h.
4
Let a be 1*46 - (-9)/3. Let h = 69 - a. Solve 4*o - 4 = 4*v - h, -v + 2*o = -9 for v.
-1
Let a = 6 + -8. Let d = a - -4. Solve -5*n - 4*q + 1 = -d*q, -4*n = -2*q + 10 for n.
-1
Suppose 3*j + 19 = 4*j + 5*l, 0 = 4*j - l - 13. Solve -j*s = -3*a + 12 - 2, -2*s = -4*a for s.
-4
Let q be (-6 - -9)*16/(-6). Let v be (-2)/q - (-55)/20. Solve k - 5*d + 10*d = -19, 3 = v*k - 5*d for k.
-4
Suppose -z + 4*k = -24, 0*z - 8 = 3*z + 4*k. Solve -z*s - 19 = -6*c + 3*c, -2*c = -3*s - 13 for s.
-1
Let i(b) = -b**3 + 7*b**2 - 7*b + 7. Suppose -3*m = -0*m - 18. Let g be i(m). Solve -d = -2*z - g, 0*z + 2*z - 5*d = 11 for z.
-2
Suppose 2 = 2*g - 4. Suppose 3*u - 18 = 2*h, -8*h - 11 = u - g*h. Solve u*p = -2*a - p - 4, 0 = -a + 3*p - 2 for a.
-2
Let q = -32 - -34. Solve -5*v + 1 = -p, 0 = q*v + p - 3*p + 6 for v.
1
Suppose -r + 8 = -v, 0 = -3*r - 2*r - 3*v. Solve 5*h = 20, -r = 5*n - 2*h - 15 for n.
4
Let i(o) = o - 3. Let m be i(5). Let j = m + 2. Solve -5*b = 5, 2*d - 5*d + j = 5*b for d.
3
Suppose -o = o - 4. Let b be 2/8 - (-4829)/44. Let a = b - 75. Solve -2*y - 5*t = 25, 0 = -o*y + 6*y + 5*t + a for y.
-5
Suppose -18 = -0*q - 6*q. Let n(a) = a**2 + 2*a. Let c be n(5). Solve -c = -5*x - 5*d, -q*x - x - d = -16 for x.
3
Let v = 8 - 3. Suppose 2*d + 2 = v*t - 7, 4*t - 5*d + 3 = 0. Solve j + t - 6 = 4*a, -3*j = -4*a - 9 for j.
3
Let b = -78 - -80. Solve 0*x - 3*a - 1 = 2*x, -x - b = 3*a for x.
1
Let j(m) = -2*m + 31. Let i be j(15). Solve -6 = -3*n - 3*b, i = -5*n + 2*b + 4 for n.
1
Let b(h) = h. Let a be b(8). Let y = -6 + a. Suppose -5*u = 4*j - 45 + 7, 4*u + 20 = j. Solve 4*m - 4*s = 12, y*m = 4*m + 4*s + j for m.
0
Let v(s) = -s**2 + 3*s + 4. Let a(l) = -l**2 - 5*l - 1. Let i be a(-4). Let d be v(i). Suppose j = d*j. Solve 2*c + 2 = -3*b - j, -5*b - 5*c - 10 = 0 for b.
2
Let n = -9 + 1. Let b be 2/7 - n/(-28). Let l be 2 + 2/(-4)*b. Solve -8 = r - 4*g, 0 = -r + g + g - l for r.
4
Suppose 10*x = 5*x + 4*k + 17, -x + k + 3 = 0. Let s(u) = u**3 - u**2 + 5*u - 4. Let v be s(2). Solve 0 = 2*r - 4*m + 26 - 0, v = -x*r - m for r.
-3
Let h be 3/2*(4 - (-2)/(-3)). Solve -a + 2*a = 5*n - 11, -a + 9 = h*n for a.
-1
Let j(a) = a**3 - 4*a**2 - a + 5. Let c(m) = -m**3 - m - 1. Let q(l) = 2*c(l) + j(l). Let d be q(-4). Solve -2*p - 2 = -r - 17, 3*r + d = 0 for p.
5
Suppose 29 = 5*b - 5*v - 26, 4*b + 2*v = 44. Solve 3*q - 17 = -5*t, -7*q - 4*t + b = -2*q for q.
-1
Let g(d) = -d. Let x be g(8). Let s = x - -13. Solve s = 5*i - 5*z, 0*i + 1 = -i - z for i.
0
Let x be (-26)/(-6) + 2/3. Let i(u) = -u**3 + 5*u**2 + 2*u + 3. Let d be i(x). Solve -s - d = -3*n - 1, 3*n - 12 = -4*s for s.
0
Let w = 14 - 14. Suppose w = -b + 2*b. Suppose -4*h + 10 = -6. Solve -n - 4*n + h*l + 12 = 0, 3*l + 9 = b for n.
0
Suppose 13*g - 45 = 4*g. Solve 11 = g*y - 2*x - 6, 5*x - 1 = -2*y for y.
3
Suppose -2*a = 13 + 7. Let v = a - -15. Suppose 17 + 5 = -p - 5*k, -v*p - 4*k = 5. Solve -p*o = 3*n + 12, -1 = -2*o - 9 for n.
0
Suppose 3*p + 20 = 2*d - 7, 5*p = 2*d - 45. Let b = -7 - p. Solve 8 = q + 3*y, -5*q - 4*y - b = -9 for q.
-1
Let d(j) = j**2 + 9*j + 9. Let h be d(-8). Let z be (1/(-2)*0)/h. Solve 3*b - 3*n = -12, z = 5*b + n - 0*n + 14 for b.
-3
Suppose 4*d - 118 = 4*b - 506, -b = 4*d + 363. Let c be 25/10*d/(-10). Solve -4*y + 5*o = -3*y + c, 4*o = 2*y + 16 for y.
2
Let j = 11 - 7. Let i = -3 - -8. Solve b + j*p - p = 4, i*b + 4*p = 9 for b.
1
Suppose -w + 5*w = -2*g + 10, 2*w = -2. Suppose -4*u + 240 = 2*u. Suppose -g*y = -2*y - u. Solve 4*r - 16 = -3*b, -3*r + 3 - y = -2*b for b.
4
Let v be 150/21 - (-4)/(-28). Let n = -5 + v. Solve 3*f - n*f - 4 = -y, 3*f - 5*y + 28 = 0