 Let j(r) = -r + 1. Let u(w) = -w**3 + 4*w**2 + w + 2. Let k(b) = 5*j(b) - u(b). Let v be k(5). Let h be c(v). Solve -5*q + q = -h for q.
3
Let w = -20 - -20. Solve m + m - 6 = w for m.
3
Suppose -k - 3*k = 32. Let w be (-54)/k + (-6)/8. Solve 2*f + w = -f for f.
-2
Let j(m) = -m**3 + 5*m**2 - m - 3. Let x be j(4). Suppose 0 = -4*y + 25 - x. Suppose -4*r + 4*g = -20, -g = 2*r - 5 + y. Solve r*l + 2 = 4 for l.
1
Let u(z) = z**2 - 5*z**2 + z**2 + 2 + 4*z + 4*z**2. Let o be u(-4). Solve -5*d + o - 22 = 0 for d.
-4
Let q = -52 + 54. Solve 13 = -q*o + 9 for o.
-2
Let v = -10 + 9. Let l be (1 - (-21)/(-1))/v. Let j(z) = 2*z. Let p be j(2). Solve -p*q = q + l for q.
-4
Let f(i) = i**2 + 8*i + 11. Let d be f(-7). Suppose 2*u - u = 20. Solve -d*l + 8 - u = 0 for l.
-3
Let u(k) = -2*k + 6. Let z be u(-6). Suppose -2*b = -4*p - z, -20 = -4*b + p + 3*p. Solve 0 = 2*c - b + 3 for c.
-1
Suppose 5*y = r + 7, 2*r = 3*y - y + 2. Solve -r*f - 8 = f for f.
-2
Let i(l) be the third derivative of l**9/12096 - l**6/720 + l**5/30 - l**2. Let h(s) be the third derivative of i(s). Let f be h(1). Solve j = f*j + 9 for j.
-3
Suppose -18 = 4*k + 2*u, -4*u = 2*k - u - 1. Let v(d) = -d**2 - 8*d - 7. Let r be v(k). Suppose 0*m = 3*m - 12. Solve -m*x - x = r for x.
0
Suppose -27 = -2*a - 5*d, 4*a + 0*d - 3*d + 11 = 0. Solve -a = g + 2 for g.
-3
Let u be 8/(-2)*(-2)/4. Let r(d) = -7*d**3 + d**2 + 2*d + 2. Let b be r(-1). Solve 6*x - b = u*x for x.
2
Suppose 0 = 3*n - 66 - 6. Suppose -11*b = -14*b + n. Solve 6*x - b = 2*x for x.
2
Let k(n) = n**2 - 7*n - 13. Let f be k(9). Suppose 25 = -0*u + f*u, 0 = -2*z - 2*u + 22. Solve -v = v - z for v.
3
Suppose 0*x + x = 3. Let l be (-4 + 2 - -2)/(-1). Suppose x*q = -l*q. Solve p + p + 2 = q for p.
-1
Let s = 43 + -109. Let k be (-4)/6 - s/18. Suppose -m = -k*m. Solve 0 = -5*f - m*f for f.
0
Let r(v) = -3*v - 17. Let k be r(-7). Solve -7*n - 12 = -k*n for n.
-4
Let v(w) = w - 1. Let c(t) = t - 16. Let j(g) = c(g) - 4*v(g). Let h be j(-5). Solve -3*l + h = 15 for l.
-4
Let t be (-60)/24*8/(-10). Solve 4*n + 22 - t = 0 for n.
-5
Let y be ((-3)/(-2))/(1/(-2)) - -3. Solve 4*w + y = -12 for w.
-3
Let s(l) = l**3 - 6*l**2 + 2*l - 8. Let y be s(6). Suppose w + 4 = -2*t, -2*t + 16 = 2*t - y*w. Solve 0*a + 3*a + 3 = t for a.
-1
Let q(w) = w**2 - 10*w - 10. Let r be q(10). Let o be 12/(-4)*r/6. Solve -6 = -o*j + 4 for j.
2
Let c(h) = -3*h + 5 + 0*h - 22. Let x be c(-7). Solve -5*r + r = -x for r.
1
Suppose i + 0*i - 6 = 0. Suppose 2*v = -2*o + 4, 5*v - v + 16 = 2*o. Let f be v/i + 32/6. Solve -4*l + f = 17 for l.
-3
Suppose 0 = -4*p - 26 + 6. Let f = -5 - p. Solve -6 = -f*i + 2*i for i.
-3
Let j be (-3)/(2 + (-5)/2). Let s = -9 + j. Let a be 6 - (2 + s/(-3)). Solve a*v - v = 0 for v.
0
Let q = 11 + -5. Solve -q*i + 16 = -2*i for i.
4
Let g(r) = r**2 + 3*r - 5. Let s be g(-5). Suppose -s*i - 4 = -4*i. Let j be (-10)/i*12/10. Solve -j = 3*f - 6*f for f.
1
Suppose 0 = 3*v + 11*z - 7*z - 20, 0 = v + 5*z - 25. Solve v*t + 8 = 4*t for t.
2
Let d(c) = -c**2 + 6*c - 4. Let r be d(3). Suppose -r + 14 = 3*q. Solve 20 = -q*w - w for w.
-5
Let l(n) = n**2 - 12*n + 3. Let a be l(12). Solve -a*u + 0*u + 12 = 0 for u.
4
Let o(c) = 2*c + 1. Suppose -6*u + 50 = -2*u - 5*s, u - 20 = 5*s. Let y(z) = z. Let m(x) = u*y(x) - 4*o(x). Let n be m(4). Solve -n*r = r for r.
0
Let y be -2 + (1 - (-5 + 4)). Let j be (-6)/27 - 2/(-9). Suppose 16 = 4*k, -x - k + y + 4 = j. Solve o - 4 + 1 = x for o.
3
Suppose 0 = -2*q + 9 + 1. Let d be q/((-10)/(-42)) - 2. Suppose 5*k - 30 = -4*b, -b - 2*b = 2*k - d. Solve k*z = 3*z for z.
0
Suppose 0 = 2*b - b - 4. Suppose 6 = -4*j + 70. Let w be 0/(2 + -4 + 4). Solve -b*z = -w*z + j for z.
-4
Let w be 1 + 2 + -1 + 0. Suppose w*t = 2*y - 2 + 8, 0 = 5*t - 2*y - 3. Let g(s) = -9*s. Let q be g(t). Solve -5*h - 1 = q for h.
-2
Suppose 49 = -5*v + 3*a, 0 = 3*v + 8*a - 3*a + 9. Let p(o) = -o**2 - 8*o + 12. Let d be p(v). Solve -z - 3*z - d = 0 for z.
-3
Let k = -7 + -2. Let o = -21 + k. Let u = o - -50. Solve -6*f + u = -2*f for f.
5
Let a(b) = b + 5. Let r be a(0). Suppose 0*d - 15 = -r*d. Let h(w) = 5*w**2 - 1. Let t be h(1). Solve t = -s - d*s for s.
-1
Let d = 6 - 2. Let a be ((-3)/(-2))/(5/10). Solve a*i = d*i for i.
0
Let p(n) = 6*n + 6. Let b = -10 + 6. Let v(i) = 5*i + 7. Let k(m) = b*v(m) + 3*p(m). Let d be k(-9). Solve s = 3*s - d for s.
4
Suppose -w + 20 = 3*w. Suppose 3*d - 4*d = -w. Solve 9 = d*i - 2*i for i.
3
Let i be 1 + 3/3 - -4. Solve -h = -i*h for h.
0
Let r(a) = a + 4. Let b be r(0). Solve 5*l = b*l for l.
0
Let p(f) = f**2 + 6*f. Let i be p(-6). Solve i = -3*q + 4 + 2 for q.
2
Suppose 4*k - 13 = -1. Suppose 2*m - 15 = -k. Solve m = -5*s + 1 for s.
-1
Let a = -4 - -8. Solve 4*c - 2*c - a = 0 for c.
2
Suppose -7*l = -19 - 16. Solve 11 = -l*j - 14 for j.
-5
Let o(q) = -q**3 - 3*q**2 + 5*q + 6. Let d be o(-4). Let n = d - -4. Let w be (6 - n)/(-2 - 1). Solve 3*y = -w*y for y.
0
Suppose 3*d + 5*v - 3 = 6*v, -d - 3*v - 9 = 0. Suppose 2*l + 4 = 0, d = h + 2*l - l. Suppose -5*t = -5*f - 0 + 25, 10 = 3*f + 2*t. Solve h*j + 0*j = -f for j.
-2
Let y(o) = 2*o + 0*o + 1 - 5 + o**3 + 3*o**2 - 2*o**3. Let f be y(3). Solve 5 = -f*a + a for a.
-5
Let q(l) = l. Let d be q(3). Solve 6*m - 3*m + d = 0 for m.
-1
Let g = -8 + 11. Suppose -g*f + 18 = m, 0 = -3*m + 4*f - 8 - 3. Solve m*l - 14 = -5 for l.
3
Suppose 4*p - 11 = 33. Let f(o) = p - 8 + 9 - o. Let w be f(7). Solve -2*g = -1 - w for g.
3
Suppose -z - 15 = r - 5, -10 = 5*z - 5*r. Let w(c) = c**2 + 8*c + 8. Let x be w(z). Let g = x - -4. Solve 2*s + 0*s + 4 = g for s.
-2
Suppose 0 = 3*c - 8*c. Suppose c = -i + 1 - 0. Solve n - i = 4 for n.
5
Let d be 21/14*8/6. Suppose 3*o - 5 + d = 0. Suppose 2*z + 4*m = 10, z + 0*m - 2*m = o. Solve 0 = -z*h + h - 10 for h.
-5
Suppose -5 = -4*h - 1. Let j = h + 3. Let n(y) = -y**3 + y**2 + 2*y. Let t be n(2). Solve 0 = -t*i + j*i - 4 for i.
1
Let h(a) = -a**3 - a**2. Let d be h(0). Solve d*k = 3*k + 9 for k.
-3
Suppose 6*y = 3 + 3. Let h be 1/(0 - y/(-2)). Solve -12 = -h*o - o for o.
4
Let w = 22 - 15. Suppose 3*z = w*z. Solve z*r - 2*r = -8 for r.
4
Let b be 0/(-2)*(-37 + 36). Solve b = 5*l - 10 for l.
2
Let n be (-195)/(-12) + 1/(-4). Let a = -13 + 13. Suppose a = 2*k + g + 4, -4*k + 2*g = 6*g + n. Solve -3*j - 4 - 2 = k for j.
-2
Let k = 18 - 10. Suppose 0 = 2*g - k - 2. Solve -17 = 4*u - g for u.
-3
Let w = -2 - -2. Let p be 10*(1 + w + 0). Solve -25 = 3*y - p for y.
-5
Let z(t) = -t**2 + 25*t + 3. Let r be z(25). Solve h = r*h for h.
0
Let p(h) = -h - 9. Let r be p(-11). Let s = 20 + 2. Suppose -s = -5*l - r. Solve -1 = b - l for b.
3
Suppose -6 = -2*k, 14 = 4*b - k - k. Suppose -b*j + 4 = 3*q, -2*q + 4*q - 24 = 2*j. Suppose 2*u - f = q, 3*f + 3 = 2*u - 1. Solve 4*l - 3 = u*l for l.
-3
Let q = 17 + -11. Suppose 5*z - 2*z = -12. Let o = -2 - z. Solve -o*r = q + 4 for r.
-5
Let j(p) = 1 - 6*p + 3*p + 4*p + 2*p. Let f be j(7). Solve 7 = 5*u + f for u.
-3
Let n(k) = 2*k**2 - 3. Let y be n(-2). Solve -21 + y = 4*g for g.
-4
Let u be -1 + 0 - (1 + 0). Let h be -1*u/(-6)*0. Solve 3*j - j - 2 = h for j.
1
Let d(o) = o + 13. Let q be (-146)/14 - 3/(-7). Let t be d(q). Solve g = t*g + 2 for g.
-1
Suppose 4*b - 36 = -4*t, -5*t + 21 = 2*b - 3*b. Let q(v) = v**3 + 3*v**2 - 2*v - 2. Let k be q(-3). Let j be (k/(-7))/(b/(-14)). Solve 0 = -j*i + 6 for i.
3
Suppose -7*n = -8*n + 3. Solve -2*h - 5 = n*h for h.
-1
Suppose 4*i - 28 = -0. Suppose 4*v = -5*g + 3 + 27, 0 = 4*g - 3*v + i. Solve -t + g = 1 for t.
1
Let l be ((-4)/(-6))/((-3)/117). Let p(v) = 17*v**3 + v**2 + v + 1. Let n be p(-1). Let z = n - l. Solve -4*j = 10 + z for j.
-5
Let c be (2 - 3)*0 - 0. Let v = 2 + c. Let f(x) = -x**3 + 7*x**2 + x - 1. Let i be f(7). Solve i*r - v*r - 8 = 0 for r.
2
Let n be (0 + 4)/(-2) - -5. Let i be ((-14)/(-6))/(n/(-9)). Let l = i + 12. Solve -2*f = -l*f - 6 for f.
-2
Let m = -15 + 15. Let y be (1 - 3)*(-3)/2. Solve m = -0*k + y*k + 12 for k.
-4
Let l = -1 + 7. Suppose b - 6*b - l = 2*i, 3*i + 5*b = -4. Suppose -3*m - h = -0*m - 23, -i*m + 2*h = -2. Solve r + 2*r - m = 0 for r.
2
Let o(l) = -l - 3. Let t be o(-5). Let b be 63/15 - (-4)/(-20). Let x be 1*(0/4)/b. Solve x*c = -c + t for c.
2
Let d = -1 + 1. Suppose y + d*y = -m + 4, y - 4*m + 16 = 0. Solve y = -4*a - 28 + 8 fo