Let t(j) = -2*j - 7. Let c be t(-5). Let n be (2/4)/((-5)/(-120)). Suppose a - n = -5*s, 4*s + 0*a - a = 6. Solve 3*h + g - c = -2, 0 = h + 2*g - s for h.
0
Let f = 0 - -10. Let c = 1 - 1. Solve 2*d = -2*u - 2*u - 22, c = u + 2*d + f for u.
-4
Let w(b) = b**3 + 6. Let o be w(0). Suppose -o*l + l = 0. Let d(u) = -u**3 + 24*u**2 - 21*u - 31. Let t be d(23). Solve -4*k = 5*x - l*x + t, -3 = k + x for k.
0
Let m(x) = -x**3 - 6*x**2 - 2*x - 3. Let j be m(-6). Let h = j - 6. Solve 4*p = h*r + 4, -3 + 1 = -2*p + 3*r for p.
1
Suppose 0*z = 2*z. Solve 2*y - 3*u - 9 = z, 4*y + 3 = u - 4 for y.
-3
Let p be ((-72)/(-30))/((-2)/10). Let g be 0 + 2 - 2 - -33. Let k = p + g. Solve 7*j = -4*y + 2*j + k, 2*j - 14 = -3*y for y.
4
Suppose 13*f = 16*f - 9. Suppose f*b + r = 5, -3*b + 5*r = 16 + 9. Solve 26 = -5*v - 2*p - b*p, -3*v = 5*p + 27 for v.
-4
Suppose -3*s + 8 = -4*q, -2*s + 4*q = -1 - 7. Suppose -3 = -s*t - t. Solve 4*x = -t*d + 9, -d - 2*d + 2*x = -9 for d.
3
Suppose -33*f - 273 = -46*f. Solve -5*j = -3*d - f, 3*j + 0*j - 17 = 4*d for d.
-2
Suppose -2*j - 4*j = 4*j. Solve j = -b + 4*b - 15, -b = -m - 4 for m.
1
Suppose 4*c = -2*c + 36. Solve 12 = 3*o + 3*r, 2 - c = -3*o - r for o.
0
Let c(o) = -o**2 + 7*o + 14. Let z be c(10). Let n be 8/z*(-9 - 1). Solve 4 = b - n*g, -2*b + 1 = -4*g + g for b.
-1
Let q(p) be the second derivative of p**4/12 + 11*p**3/6 - 6*p**2 - p. Let v be q(-12). Solve -s - 15 = -4*b + 8*b, 5*b + s + 20 = v for b.
-5
Suppose 0 = -g + 2*g + z - 3, 2*g - 8 = -4*z. Suppose 0 = 4*u - 2 - g. Suppose -2*t + 3 = -u. Solve -2*x + 21 = 3*a + x, 5*a = t*x for a.
2
Let v be (-10)/(-6) - (-2)/6. Suppose -2*w + 18 = 4*j, 0*w = -2*w + v*j + 6. Solve 0 = -4*t - f + 7, f + 2 = w for t.
1
Let w be 0 + (3 - -1) + -1. Suppose 0 = -m + 3*j - 0 - 1, -5*m + 5*j + 5 = 0. Solve w*s - m*s = -o + 1, 0 = s + 3*o - 5 for s.
-1
Suppose 40 = 5*p - 3*j + 3, -5*p = j - 21. Let c(y) = -y**2 + 3. Let q be c(0). Solve 5*o - 4*x + 9 = 0, -p*o - 2*x = -q*o + 18 for o.
-5
Let a be (15/10)/(3/4). Let n be 1 - 2*a/4. Suppose w - h = -n*w - 1, 2*w + h = 7. Solve f = 3*d, -w*f = 3*f + 4*d for f.
0
Let d = 2 - 1. Let l(s) be the first derivative of 13*s**2/2 - s + 4. Let n be l(d). Solve 2*x = -0*p - 2*p + n, 15 = 5*p for x.
3
Suppose 14*f - 189 = -21. Solve f = 3*v, 4*p - 20 = 3*p - 4*v for p.
4
Let q be 8 + (-6*2)/4. Solve -2*b - q*p - 26 = -p, b + 28 = -5*p for b.
-3
Suppose 73 = 5*s + 4*o, -5*s = -3*s + 4*o - 22. Solve 0 = m + 3*d + 4, 4*d = 3*m + s - 5 for m.
-4
Let i(s) = s**2 + 7*s. Let q be i(-7). Solve 4*l = -q*l + 2*p - 22, -3*l - p = 4 for l.
-3
Suppose -u = -2*j - 3*u, 3*j - 10 = 2*u. Solve 2*z - 10 = 0, 2*x = -2*x - 2*z - j for x.
-3
Let b be (-26)/6 + 1/3. Let u be 2 - (-3 - -5) - b. Solve u*l - x = -15, -2*l - 3*x - 8 - 17 = 0 for l.
-5
Let u be (-6)/(-8) - 2/(-8). Suppose -u - 4 = -l. Suppose k = 2*w + 16, 0 = 4*k - 4*w - 9 - 75. Solve 0 = -b - 3, k = -l*p - 3*b - 3 for p.
-4
Suppose 3*z - 27 = -4*k, 0*z - 6 = k + 5*z. Let w be 0 - (-2 + 1) - -3. Suppose -w*o = o. Solve k + 3 = -2*n + 2*h, o = 2*h - 10 for n.
-1
Let y be (-1 + 12/18)*(-6)/1. Solve 5*o - y*z + 18 = 0, -2*z = -o - 8 - 2 for o.
-2
Suppose -18*c - 10 = -20*c. Solve 4 = 2*r + r - 4*j, 5*j + c = -3*r for r.
0
Suppose -5*h - 4*s = -17, 3*h + 6*s - 15 = 2*s. Solve m - 8 = -2*n, 7 = n + m + h for n.
2
Let j be ((-8)/14)/(3/(-21)). Suppose -o = j*o - 35. Solve -3*u - 5*i - 18 = 0, -2*i = u - 0*i + o for u.
-1
Let m be (-12 - 0)*28/(-21). Solve -m = -5*w + 2*l, w + l = 2*w - 5 for w.
2
Let u be (4/(-2) + -3)/1. Let h(p) = -p**2 - 7*p - 6. Let v be h(u). Solve v*b + 1 + 17 = j, b - 2 = -3*j for j.
2
Let w(t) = -3*t**2 + t**2 - 3 + 3*t + t**2. Let n be w(3). Let b be n*((-32)/6)/4. Solve -1 = b*c + 2*i - 5*i, -3*i + 9 = 0 for c.
2
Let s = 112 + -102. Suppose k - 2 = -2*p + 14, 0 = p - 5. Let h = k + -2. Solve -2*b - y + 12 = y, s = h*b - 3*y for b.
4
Suppose 2 = 28*a - 27*a. Solve c = -5*p + 5, -2*c - c = a*p - 2 for p.
1
Let y = -4 + -5. Suppose -4*x + 13 = -39. Let s = x + y. Solve t - 2*k - 3*k - 4 = 0, s*t - 4*k - 16 = 0 for t.
4
Suppose -7 + 31 = 6*h. Solve -2*m - 3*m = -5*b, 2*b = h*m + 10 for b.
-5
Let p(r) = r**3 + 5*r**2 - r - 3. Let w be p(-5). Suppose -3 = w*v - 3*v. Solve -n - 5 = -5*h, 5*h - n - v*n + 10 = 0 for h.
2
Let o(j) = -17*j**3. Let p be o(-1). Let s = p - 13. Solve 2*y - 2 = -2*a, -6 = s*y - 5*a - 1 for y.
0
Suppose 10 = -x + 6*x. Let n be 2/(-4)*0/(-1). Let j be n/(-2) + 10/x. Solve 3*l + 13 = -6*a + a, a = -j*l + 15 for l.
4
Let q(n) = -n - 7. Suppose -4*v = v + 20. Let w be q(v). Let h = 0 - w. Solve a + 0*a = -3*s, 2*s + h*a = -7 for s.
1
Suppose 15 = 7*g - 2*g. Let u be (-9)/(-5) + g/15. Solve 0 = -u*p - 10, m = -p - p - 11 for m.
-1
Let i = 11 + -10. Let z(x) = 3*x. Let p be z(i). Solve -p*o = -4*s - 6 - 1, 0 = -4*s - 4 for o.
1
Suppose -2*v = -v - 4. Solve 0 = -y - 0*w + v*w + 25, -5*w = -4*y + 45 for y.
5
Let i(u) = -4 - 2 + u + 1. Let r be i(9). Solve -k + r*b + 24 = 0, k - 6*b - 14 = -4*b for k.
4
Suppose 6 = 3*q - 6*q + 2*r, 4*q - 3 = -r. Solve -1 = w + 3*x - 9, q = -3*w + 2*x + 2 for w.
2
Let p(t) = -t + 1. Let w(b) = 2*b. Let q(l) = -3*p(l) - w(l). Let x = 7 + -1. Let s be q(x). Solve 2*u + 5*a - 4*a = -5, u + s*a = 0 for u.
-3
Suppose -4 = -0*w - 4*w. Let b(s) = -s - 1. Suppose 3*d = -0 - 18. Let m be b(d). Solve 3*k = -2*x - w, 2*k + 0*k + m = 3*x for k.
-1
Suppose -2*m - 2*m + 8 = 0. Let p be (-40)/(-6) - (-2)/(-3). Let q = p - 2. Solve 0 = -q*l + 4*z - 36, 2*l + 5*z = 3*z + m for l.
-4
Let i be (-11 + 8)/(3/(-15)). Solve -u + 4*m = -i, -3*u - 2*u - 10 = -3*m for u.
-5
Suppose -m + 5*s + 23 = 0, -2*m - 6 = 2*s + s. Solve -m*k + 3*l = -18, -3*k + 2*l + 3*l + 26 = 0 for k.
2
Let j(d) = -d**3 + 2. Let y be j(0). Solve -5*l = 4*x - y - 14, 0 = -4*x - 2*l + 4 for x.
-1
Let u(m) = 2*m. Let d be u(-2). Suppose 9 = 2*x - 3*x. Let y = d - x. Solve -y*g = -4*i - 5 - 5, -2*i + 4 = 2*g for g.
2
Let x(m) = -2*m**2 - 6*m - 5. Let q(w) = -w**2 + w + 1. Let i(l) = -3*q(l) + x(l). Let k be i(10). Solve 3*h + 5 = -k*o, 0 = -o + 3*o - 10 for h.
-5
Let o = -1 - -6. Suppose 0 = 4*d + 2*z + z - 6, o*d + 5*z - 5 = 0. Suppose 3*w - 4*r - 8 = 0, 2*w + 4*r = w + 8. Solve -d*h - 1 + w = 0, -4*h - 1 = c for c.
-5
Let y(b) be the third derivative of b**5/60 + 5*b**4/24 + b**3 - 4*b**2. Let x be y(-4). Solve 4*n - 3*a + 9 = 3, 4*n = -a + x for n.
0
Let y be -1*(2 + -3 - -1). Suppose -2*m + 6*m - 8 = y. Suppose -5*p + 6*p + 7 = m*z, 0 = z - 3*p - 11. Solve j + 2 = 2*j - u, 4*u = -z*j - 8 for j.
0
Suppose -z = -0*z - 2*l - 1, z + 4*l + 5 = 0. Let m = z - -3. Solve 5*g - m*w + 7 = 2*g, 2*w + 28 = -4*g for g.
-5
Suppose 3*k + 7*w = 4*w - 9, 2*w + 14 = 2*k. Solve -2*q + 1 = h, 7 = -3*h + k*q + 2*q for h.
-1
Let m be -2*(-3)/18*6. Solve -2*a - 12 = -m*t - 4, -4*t + 3*a = -16 for t.
4
Let j be (7 + -1)*(-7 + 8). Solve c - j = -3*x - 2*c, 2*x - 5 = -3*c for x.
1
Let k(x) = -x**3 + 14*x**2 + 11. Let m be k(14). Suppose 5*n - 20 = 5*u, -n - 4*n + m = 4*u. Solve 4*s + n*r - 22 = 0, 3*s - 5*r = 3 - 1 for s.
4
Let b be (5 - (-114)/(-24))*(-16)/(-2). Solve -3*f = 5*w + 13, 12 = -4*w - 0*f - b*f for w.
-5
Let n(v) = v - 3. Let i be 2*(1 - (-3)/2). Let m be n(i). Solve m*h + 2*h + 4 = -3*w, -w + 2 = 3*h for w.
-4
Let c be 24*(0 + (2 - 3)). Let d be (80/c)/(1/(-3)). Solve -5*p - d = -s, 5*s - 3 = -p - 5 for p.
-2
Let x(h) = -h**3 - 5*h**2 - 4*h + 4. Suppose -3*y = -4*f + y - 12, -5*f - 18 = -2*y. Let l be x(f). Solve k + 2*d + 25 = -2*k, 4*d = l*k for k.
-5
Let u = 1 + 2. Let g be (-7)/(21/(-6)) + u. Solve 0 = -4*m + z - 11, 3*m = 2*m - g*z - 8 for m.
-3
Let u(x) be the first derivative of -3*x**2 - 10*x + 3. Let j be u(-5). Solve -4*a = -4*z - j, 5*z + 0*a + 19 = -a for z.
-4
Let q = 3 + 0. Let z be 1/(-2)*(-8)/2. Let l = 3 + z. Solve -s = p - 3, -4*s - s - q*p + l = 0 for s.
-2
Let n be (-4)/(-14) - (-305)/35. Let l be (-3)/n + 3/9. Let m be l/(1 + 2 + -1). Solve 5*p = 4*a - 7 - 15, m = -a - 4*p - 5 for a.
3
Let r(l) = l**2 - l. Let a be r(-1). Let h be a/(-2 + 11/5). Solve -3*j - 2*t = -6*j - 7, 2*t - h = 0 for j.
1
Suppose o = -2*o. Let y = -29 + 2. Let d be y/(-5) + (-4)/10. Solve 0 = -5*l - d*w + 5, 0 = 3*l - o*w - 2*w + 12 for l.
-2
Let p(a) = 16*a**2 - a. Let n be p(1). Let u = n - 11. Solve 0 = -3*g