-5
Let c(s) = s**3 + s**2 + 1. Let y(o) = 4*o**3 + 13*o**2 - 6*o - 2. Let m(b) = -5*c(b) + y(b). Let x be m(7). Solve 0 = 2*z - x + 10 for z.
-5
Let x = -43 + 47. Solve x*b - 3 - 13 = 0 for b.
4
Suppose 8*l + 8 = 10*l. Solve 9 = l*t - t for t.
3
Let a be 0/(2*(-1)/1). Let k(o) = -7 + 0 + 6*o**2 + o**3 - 2 - 9*o. Let z be k(-7). Solve z = -p - a*p for p.
-5
Let f(l) = -l - 6. Let b be f(-6). Solve b = 5*j - 5 - 20 for j.
5
Let v be (-6 - -5) + (0 - -3). Solve 0*q = v*q + 4 for q.
-2
Suppose 0*z - 2*z = 4*h - 8, 5*z + 32 = 3*h. Solve -2*g = -0*g + h for g.
-2
Let j = 9 + 0. Solve u = -2*u - j for u.
-3
Suppose -15 = -3*y, -5*c + 16 = 3*y + 41. Let b(h) = 7*h - 4*h**2 + 2*h**2 + 3*h**2 - 7. Let f be b(c). Solve s + 3 = -f for s.
-4
Let p(h) = h**3 - 2*h**2 - h + 4. Let y be p(3). Let l be ((-1 - -2)*-3)/(-1). Suppose 2 = -3*t - 2*c - 2, l*t - 4*c = 8. Solve y*m - 5*m = t for m.
0
Suppose 2*k + 4*m = -2, 2*k - 6 = -2*m - 2. Solve -8 = -k*v + 9*v for v.
-2
Let s be (1/2)/((-4)/56). Let h = 11 + s. Solve 0 = h*v - v for v.
0
Suppose -4*u + 3*u = f - 5, -f + 5*u = 7. Suppose -3*j = f*k - 57, -42 = -2*k - 3*j - 0*j. Solve w + k = 4*w for w.
5
Suppose -p + 8 = 5*j, 3*p + 1 + 3 = -j. Solve 0 = 3*m + j*m for m.
0
Let w be ((-24)/(-18))/(2/9). Solve w*z + 3 = 3*z for z.
-1
Suppose 51 + 17 = 4*k. Solve 5*r - k - 8 = 0 for r.
5
Suppose 20 = -0*n + 4*n. Solve n = -3*w - 4 for w.
-3
Let z(t) = t**2 - 2*t - 5. Let d be z(5). Suppose -2*s + d = -8. Solve 0*w + 3*w = -s for w.
-3
Let g(b) be the first derivative of -b**3/3 + 2*b**2 - 2*b - 1. Suppose 4*a + 3 = 11. Let p be g(a). Solve 10 = -p*j + 4 for j.
-3
Let r be (3/(-2))/(3/(-6)). Let d(p) = -5*p**3 + 4*p**3 - r*p + 5*p**2 - p. Let q be d(4). Solve 3*v - 12 + q = 0 for v.
4
Let w(g) = g**2 - g + 12. Let y be w(0). Let d = 42 - 42. Solve d*f + 4*f = -y for f.
-3
Let h(j) = -j**3 - 3*j**2 + 3*j - 4. Let f be h(-4). Solve 4*u + 1 + 15 = f for u.
-4
Let q(h) be the third derivative of h**6/120 + 3*h**5/20 - h**4/24 - h**3/6 - 5*h**2. Let s be q(-9). Solve 1 = 3*t - s for t.
3
Let a(q) = q**3 + 5*q**2 - 6*q + 2. Let k be a(-6). Solve k*v + 5 - 1 = 0 for v.
-2
Suppose -i + 3*n = -8, -2*i = 2*n - 26 + 2. Let o = 13 - i. Solve -o*d - 4 = -0 for d.
-2
Suppose 3*r - 4 = -0*d - 5*d, 2*d + 5*r = -6. Let g = -6 + 8. Solve -d = 2*w + g for w.
-2
Suppose -5*c - 20 = 4*n - 2*n, 12 = -3*c. Suppose n = -v + 4*v - 45. Let f = -11 + v. Solve -o = 1 - f for o.
3
Suppose 0 = -2*b - 2*l - 2*l + 12, -4*l + 20 = 4*b. Let m(p) = -p + 2. Let x be m(b). Let c be ((-1)/x)/((-2)/(-20)). Solve -c = -g + 6*g for g.
-1
Suppose -3*l - 5*a - 20 = 0, -l + 3*a - a + 8 = 0. Solve -2*s + 1 + 3 = l for s.
2
Let z(i) = -i**2 - i + 1. Let c be z(0). Suppose c = -2*r - 13. Let k = -4 - r. Solve -4 = v - k*v for v.
2
Let r be 5 + (-12)/(-4) + -5. Let q = 10 - 5. Solve -r = q*t + 7 for t.
-2
Let q(y) = y**3 + 2*y**2 - y + 4. Let r(w) = -w**3 - 10*w**2 - 10*w - 12. Let d be r(-9). Let v be q(d). Let l = 5 + v. Solve -l*s - 16 = s for s.
-4
Suppose -3*i = 5*o + 2*i - 5, o + 2*i + 2 = 0. Suppose -3*s = -o*s. Solve s + 20 = -4*r for r.
-5
Let u = 2 - 0. Let h be 4/u + -1 - 3. Let a(r) = r**2 - r - 1. Let t be a(h). Solve t*z - 10 = 3*z for z.
5
Suppose 3*o = 8*o. Solve -5*v - 10 = -o*v for v.
-2
Let i be (3 - 1) + (0 + 10)/(-5). Solve 2*x = 4 - i for x.
2
Let p = 4 - 1. Let a(k) = k**3 + 2*k**2 - 5*k - 2. Let m be a(-3). Solve m*l + 11 = p for l.
-2
Let p be 1/1*4 - 1. Suppose 2*k + 59 = 3*b + p*k, k - 23 = -b. Let c be (-4)/b - (-152)/36. Solve -17 = -c*v - 1 for v.
4
Suppose 4*q + 0 + 16 = 4*z, -4*q - 8 = 0. Let p be z - (0 - (1 - -2)). Solve p*j = -0*j for j.
0
Suppose 4*n - 2*n - 8 = 0. Suppose 27 = n*b + 11. Solve 0*k = -k + b for k.
4
Suppose 3*x - 2*q = -x + 6, -4*x - 4*q = 0. Let m be 0*((-9)/6 - -2). Suppose j + 30 = 4*s, m*j + 4 = -2*j. Solve s = 2*c - x for c.
4
Let b(m) = 2*m + 14. Let j be b(-6). Suppose 4*l - 4*v = -l + 17, j*l + 10 = -4*v. Solve l + 7 = -2*w for w.
-4
Let u be (1 + -3)/((-4)/48). Suppose -m = -3*m + u. Solve 0*b - m = -4*b for b.
3
Suppose 4 - 10 = -3*c. Suppose 0 = -4*m + 3 + 1. Let y = m + c. Solve -y*p = -2*p + 4 for p.
-4
Let r = -34 - -36. Let t = -5 + 6. Solve -r - t = -g for g.
3
Suppose 0 = -3*f + f + 4. Suppose s + f = 7. Suppose 2*z = 5*r + 78, r + 94 + 78 = 5*z. Solve 0 = s*n + z - 9 for n.
-5
Let a = -9 - -13. Solve 0 = 5*x + 21 + a for x.
-5
Suppose -3*w - 3 = 5*n - 18, -3*n + 9 = 3*w. Solve w = -y + 2 for y.
2
Let v be 6/4*(5 + -3). Suppose g + 5*m - 12 = 0, 5*g - 11 - 9 = -5*m. Solve g*r = 1 - v for r.
-1
Suppose d - 15 = -0*d. Let w = d - 11. Solve w*z = 8*z for z.
0
Let p(u) = u**2 - u - 1. Let c(r) = -6*r - 7. Let s(o) = -c(o) - p(o). Let t be s(8). Solve d + t = -3 for d.
-3
Let b(l) = -25*l**3 - 1. Let n be b(-1). Let j = n + -13. Suppose 95 = 5*h + 5*m, -h + 2*m + j = m. Solve c + 2*c = -h for c.
-5
Suppose 2*a + 8 = 0, -4*n + 4 = -2*n + a. Solve -3*u + 1 = -n*u for u.
-1
Let n(d) = -d**2 - 7*d + 4. Let s be n(-7). Suppose 0 = 3*a - 2*t - 7, -8*t - 4 = -4*a - s*t. Suppose -4*l + 32 = -2*l. Solve a*f = f - l for f.
-4
Let s be 48/21 + (-8)/28. Solve 0 = s*m - 6*m - 8 for m.
-2
Let y = 8 + -11. Let c = y + 6. Suppose c*u = -3*n, 3*u + 4*n = -0 - 1. Solve -b - u = -2 for b.
1
Let f(w) = -w**2 - w - 9. Let j be f(0). Let h = j - -11. Suppose -2*c + 4*g + 12 = 0, 2 = h*g - 4*g. Solve -r - c*r + 25 = 0 for r.
5
Suppose 0 + 9 = 3*c. Suppose -10*r + 8*r + 4 = 0. Solve r*w + w = -c for w.
-1
Let x(o) be the third derivative of -1/6*o**3 - 4*o**2 + 0 + 0*o - 1/60*o**5 + 0*o**4 - 1/120*o**6. Let r be x(-2). Solve -r*h + 12 + 0 = 0 for h.
4
Let q be 3*(40/(-12))/(-5). Solve 0 = g + q - 0 for g.
-2
Let a be (-30)/(-9) + (-8)/(-12). Solve 20 - a = -4*z for z.
-4
Let u = 37 + -36. Solve u = -5*z + 11 for z.
2
Let y(n) = -n**2 - 27*n + 3. Let b be y(-27). Solve -t - b*t + 20 = 0 for t.
5
Let r be 2*-1 - 8/(-4). Solve 2*s - s = r for s.
0
Let a(u) = u**2 - 2*u - 4. Let i(l) = 7*l**3 - 2*l + 1. Let c be i(1). Let s be (-2)/(-4) - (-27)/c. Let x be a(s). Solve 5*h + x + 14 = 0 for h.
-5
Let g(s) = s + 19. Let n be g(-14). Let m(x) = x - 2. Let c be m(7). Solve c*u - 30 = -n for u.
5
Let y(s) be the first derivative of -s**2/2 - 11*s - 4. Let z be y(-11). Solve z*w = w for w.
0
Let x be 1/2 + (-1)/2. Suppose -s = -x*s. Solve 0 = -s*f + 2*f - 10 for f.
5
Let z(g) = g**3 + g**2 + 6. Let r be z(0). Suppose 3 = 4*w - 5. Suppose -c - 2*a + 21 = w*a, -128 = -5*c + 3*a. Solve j + c = r*j for j.
5
Let m(j) = j**3 - 4*j**2 + 2*j - 1. Let s be m(3). Let l(d) = d**2 + 4*d + 4. Let i be l(s). Solve -5 = u - i for u.
-1
Let i(x) = 2*x**2 + 4*x + 1. Let w be i(-3). Let y(n) = n**2 - 6*n - 7. Let d be y(w). Solve -g - g = d for g.
0
Let j(g) = 6*g - 2. Let k be j(1). Solve -k + 5 = v for v.
1
Let r(c) = c**2 - c + 4. Let q be r(0). Suppose 5*v + 0*v + 5*y - 25 = 0, y - 5 = -4*v. Solve v = -5*g + q - 14 for g.
-2
Suppose 0 = s + 6 + 1. Let z(u) = u**2 + 5*u - 2. Let f be z(s). Solve -4*j - 4 = f for j.
-4
Suppose 18 = -2*q - 4*k, -3*q + 2*k = 14 + 5. Let h = -4 - q. Solve 2*v + 2 = h*v for v.
2
Let o = 6 + -3. Let i be 2/o*(3 - -3). Solve -3*q + i - 1 = 0 for q.
1
Let g(l) = 1. Let o be (-2)/(-2) - (-4)/(-2). Let d(q) = q - 4. Let h(c) = o*d(c) + 4*g(c). Let k be h(4). Solve 0*z + z - k = 0 for z.
4
Suppose -11*z - 4 = -12*z. Solve -c + 3 - z = 0 for c.
-1
Let v = 22 - 19. Suppose s - 2 = -3*j + 3*s, v*s = 4*j - 1. Solve j*m = 28 - 12 for m.
4
Suppose -5*j - 2*h - h = -94, -3*h = -3*j + 66. Solve j = -3*g - 2*g for g.
-4
Suppose 0 = -5*w + 2*b + 19, -b + 5 = 2. Suppose -d + w*d - 12 = 0. Solve 0 = d*g - 8 - 7 for g.
5
Suppose 2*m + 4*x + 6 = 0, -2*m - 3*m + 9 = 2*x. Suppose -u = m*u - 20. Solve 0 = -u*i - 9 - 6 for i.
-3
Let s = -15 - -21. Solve s*q = 3*q for q.
0
Suppose 0 = 3*l - x + 3, -2*l + 4*x = -0*l + 12. Suppose -6 = -3*n - l. Suppose 0 = -n*i + 3*i - 1. Solve 0 = 5*v - i - 19 for v.
4
Let y = 3 - 0. Let a be (12/3)/(1/1). Suppose 7*p = a*p. Solve d - 1 + y = p for d.
-2
Let r = 3 - -6. Let v(m) = m**3 - 9*m**2 + m - 3. Let u be v(r). Let j = u - 4. Solve j*b = -0*b for b.
0
Let o be 32/10 + 2/(-10). Suppose 5*r - 14 - 241 = 5*m, r = 2*m + 54. Suppose 6*s - 2*s = r. Solve o*t = -t + s for t.
3
Let b be ((-3)/(-2))/(3/4). Let 