Let v(x) = -2*x + 1. Let g be v(-2). Let z = 14 - g. Solve -z = -3*n - 3 for n.
2
Suppose -4*w + 3 + 5 = 0. Suppose w*f + f = 5*j - 35, -2*j - 3*f = 7. Solve j*i = 3*i + 5 for i.
5
Let j(u) be the second derivative of -u**4/12 - u**3 - 2*u**2 + u. Let t be j(-4). Solve -2*i - t = -14 for i.
5
Let d be ((-25)/(-2) - 0)*2. Let y(w) = w**3 + 11*w**2 - 13*w - 13. Let o be y(-12). Let n be 1*(0 + 0/o). Solve n = 3*h - 10 + d for h.
-5
Suppose 0 = 2*w + 3*n + 1 - 0, 4*w - 5*n - 31 = 0. Suppose -w*x + 7 + 1 = 0. Let l(j) = -j**3 + 6*j**2 - 4*j - 3. Let k be l(5). Solve -k*a + 3*a = -x for a.
-2
Let u(x) = 2 - x + 3*x - 4*x. Let i be u(-2). Let p be (-9)/i*6/(-3). Solve -p*v = -0 + 9 for v.
-3
Suppose 0 = 4*s - 11 + 11. Solve s = 6*v - 2*v + 4 for v.
-1
Suppose -4*q - 3*q = -2*q. Solve q*a - 2 = a for a.
-2
Let v = -3 - -1. Let x = 4 + v. Suppose 0 = x*c - 2. Solve -m - c = 1 for m.
-2
Suppose -2*q + 5*t - 17 = 0, 2*q - 4*t = q - 16. Suppose -2 - q = -2*s. Solve 0 = s*u - 0*u + 15 for u.
-5
Let p(y) = -y**2 + 3*y. Let h be p(3). Solve -4*b + 3*b = h for b.
0
Suppose -3*k + 0*k = 4*z - 15, 1 = k. Let r(t) = t**2 + 7*t + 6. Let d be r(-6). Suppose d = -4*p + z*p + 1. Solve -2*g + g = -p for g.
1
Let h = 6 - 2. Suppose -h*u + w = 4, -2*u - 3*w + 5*w + 4 = 0. Let i be 1 + (u - (2 - 6)). Solve -i*m - 4 = -19 for m.
5
Let l be (1/3)/(15/225). Solve 3 = -l*a + 2*a for a.
-1
Suppose -5 = -3*j + 7. Let p be (-1 - -3)/((-1)/(-2)). Let u be 0 + p - 4/j. Solve -u*i - i = 20 for i.
-5
Suppose -4*t - f + 4*f = -36, -5*t + 3*f + 42 = 0. Suppose -5*p - 3*h = 43, -3*h - 13 = p + 2*h. Let b be (p/(-10))/(2/10). Solve 2*v - t - b = 0 for v.
5
Suppose 0 = 2*y + l - 3, 9 = 3*y + 5*l - 6. Solve -4 = -2*r - y for r.
2
Let c = -31 - -31. Solve -2*w - 3*w - 15 = c for w.
-3
Let r(c) = -c**2 - 10*c + 10. Let j(p) = -p**2 - 10*p + 10. Let h(o) = -5*j(o) + 6*r(o). Let q be h(-10). Solve u = 6*u - q for u.
2
Let u be ((-2)/6)/((-3)/180). Suppose g - x = 2*x + 4, 5*g = x + u. Solve -g*b = b for b.
0
Suppose 2*q - 6 - 4 = 0. Solve q*w + 3 = 2*w for w.
-1
Let d(i) = -7*i + 5. Let l be d(-7). Let s be l/15 + (-4)/(-10). Let z be ((-6)/(-2) - 4)/(2/(-8)). Solve z*b = 6*b + s for b.
-2
Let p = 12 + -6. Suppose -p = -w - 3. Solve 20 = -w*c - c for c.
-5
Let q be (3 - -3)*(-3 - 14/(-4)). Solve 5*j - q = 2 for j.
1
Let g(h) = h**3 + 6*h**2 + h + 8. Let y be g(-6). Solve 4*i + 2 = y*i for i.
-1
Let z = -4 - 14. Let c be (14/21)/((-2)/z). Solve -h + 3*h - c = 0 for h.
3
Let w(s) be the third derivative of -s**5/60 - s**4/24 - 3*s**2. Let h be w(-1). Solve -3*d + 5 + 1 = h for d.
2
Let g be -5 - -10 - (0 - -1). Suppose 2*p = -3*p - 10, 0 = -4*i + g*p + 16. Solve 3*a + i*a - 15 = 0 for a.
3
Suppose -5*y + 904 = n, -4 = -4*n + 12. Let w be (-2)/8 - y/(-16). Let k = w - 8. Solve q + 16 = -k*q for q.
-4
Let a(b) = b**2 + 7*b + 5. Let z be a(-4). Let r be 1/1 - (z - -5). Solve -5*t - 7 = r for t.
-2
Let r(d) = 5*d**3 - 9*d**2 + 12*d + 2. Let k(n) = 4*n**3 - 8*n**2 + 11*n + 2. Let x(f) = -6*k(f) + 5*r(f). Let y be x(-4). Solve 2*j + y = 2 for j.
-2
Let o be 3 - (-1 + -1 - -5). Solve 0 = u - o - 1 for u.
1
Let c be (-4)/(-18) - -2*(-1)/9. Solve -z + c*z - 5 = 0 for z.
-5
Suppose -2 = -j + 4*r + 2, 4*j + 5*r = 16. Solve 0*h - j*h - 8 = 0 for h.
-2
Let u(v) be the second derivative of v**5/20 - v**4/2 - 4*v. Let k = -7 + 13. Let f be u(k). Solve -2*l + 0*l = f for l.
0
Let p = -7 + 4. Suppose 0 = -3*a - 3*l - 12, -1 = -a + 2*l - 2. Let q = p - a. Solve q = -2*s + 5*s + 15 for s.
-5
Suppose 3*f + 2*f - 20 = 0. Suppose -f*x = 21 - 9. Let a be 0/(1*(2 + x)). Solve a = 3*k + 1 + 2 for k.
-1
Let i(w) = w**3 + 5*w**2 + 4*w + 4. Suppose 0 = 2*j - 3*j - 4. Let k be i(j). Solve -k*h - h = 0 for h.
0
Let q(p) = -p**3 + 2*p**2 + 5*p - 3. Let x be q(3). Let d be 18/x + (1 - 2). Let g(o) = -o**2 - 4*o. Let j be g(-3). Solve -j*b - d = 2*b for b.
-1
Let z(o) = -o**2 - 2*o + 1. Let c be z(-1). Suppose -26 = -3*t - c*u, 0*t - 2*t - 8 = -5*u. Solve t = 5*j + 16 for j.
-2
Suppose -h + 3*h = 56. Let m = h - 15. Solve -5*z = m - 33 for z.
4
Let k be 2/(-8) - (-3)/(-4). Let l = k - -10. Solve -2*j - 1 = -l for j.
4
Let o = 16 + -13. Suppose -o*a + 1 + 11 = 0. Let k = 1 - 1. Solve k = 5*n + 1 + a for n.
-1
Let d(t) be the second derivative of -1/6*t**3 - t + 11/2*t**2 + 0. Let g be d(0). Solve 4*l - g = -3 for l.
2
Suppose k = -c - 3*k + 3, -3*c + k = -22. Let v = -5 + 3. Let n = c - v. Solve n = -l + 4*l for l.
3
Suppose 12 = 4*i - 24. Suppose 0 = -4*u - i + 1. Let c be (-7)/2*(u + 0). Solve -4*j - 27 = -c for j.
-5
Let h(d) = d**2 - 9*d. Let l be h(9). Solve l*o = -5*o for o.
0
Suppose 4*d - 5*m = 30, 0 = -4*d - 5*m - 0*m + 10. Suppose -25 = 3*n - 5*l, -n = 4*n + l - d. Solve -3 = -n*r - r for r.
3
Let u be ((-8)/6)/(4/48). Let h be ((-6)/(-4))/(6/u). Let a(t) = -t**3 - 3*t**2 + 2*t - 5. Let r be a(h). Solve 4*j = r*j + 5 for j.
5
Suppose -3*p + r + 7 - 5 = 0, 2*p + 2*r - 4 = 0. Suppose o - 10 = -4*o. Solve h + o = -p for h.
-3
Let y(f) be the first derivative of -f**2/2 + 13*f - 4. Let v be y(8). Suppose -5*p - 6 + 16 = v*b, 2 = 3*b + 4*p. Solve b = -x + 3*x for x.
3
Let p be (4 - (-2 + 4)) + -1. Solve -3 = d + p for d.
-4
Let b(g) = 2*g**2 - g - 1. Let i(j) = -5*j**2 + j + 3. Let f(m) = 7*b(m) + 3*i(m). Let c be f(-4). Solve 0 + c = -2*z for z.
-1
Let v = 3 - -1. Suppose 4*q + 5*x = 26, 22 = 2*q - 4*x - v. Solve 0 = -4*n + q - 1 for n.
2
Suppose 2*l + 0*l - 10 = 0. Solve -2 = -l*o + 3 for o.
1
Suppose 4*i = -2*m + 22, 6*m = -i + 5*m + 8. Solve 2*y + i = -5 for y.
-4
Suppose 0 = 2*b - 3 + 1. Let o be (1*-1)/(2/(-8)). Suppose -o = -4*j, 3*p - j + b = 18. Solve 0 = -2*x - 0*x + p for x.
3
Let m(g) = g**2 - 2*g + 3. Let b be m(2). Let k be b - ((-3 - -4) + -3). Solve 0 = k*h - 10*h for h.
0
Suppose 4*j = 2*h + 12, 0*j = 4*h - 3*j - 1. Solve -3*z = -11 - h for z.
5
Let u(q) = -q**3 + 5*q**2 + 5*q + 7. Let d be u(6). Solve -d = c + 4 for c.
-5
Let p be (-7)/(168/18)*8/(-3). Solve 5*u = p*u - 15 for u.
-5
Let m be 0/(1 + (1 - 0)). Suppose -2*z - 29 = -5*d, d - 2*z = 2*d - 1. Suppose -13 = -2*x - 5*s - 0*s, -4*s = -d*x + 16. Solve m*v + 4 = x*v for v.
1
Suppose 3*z - 2*p = -0*z + 5, 3*p = 3*z. Solve z*c + 14 + 1 = 0 for c.
-3
Let k = 2 + 1. Suppose -2*b + 46 = -0*b - r, 4*b + 2*r = 76. Suppose 2*j + 3*f - b = 0, 2*j - k*j - 3*f + 18 = 0. Solve -j*o - 4 = -2*o for o.
-4
Let x(w) = w - 1. Let k be x(4). Let v(u) = u**3 - 2. Let a be v(2). Suppose -i = -6*i. Solve i - a = -k*n for n.
2
Suppose -2*q + 1 = 2*k - 3, 0 = -2*q + 5*k + 4. Solve -10 = q*w - 7*w for w.
2
Let q(g) be the first derivative of g**3/3 + 5*g**2/2 + 3. Let f be q(-5). Let i = 14 + -9. Solve 4*h + h - i = f for h.
1
Suppose 0 = -0*s + 2*s - 8. Suppose -3*m + 2 = -s. Solve -6 = -m*x - x for x.
2
Let c = -8 - -14. Let k = c + -6. Solve 0 = -v - 3 - k for v.
-3
Suppose -55*n + 57*n - 40 = 0. Solve -m - n = 4*m for m.
-4
Let d(u) = u**2 + 4*u - 5. Let r be d(-6). Suppose -5 - 3 = -2*j. Suppose -4*f + j = -8. Solve r = -f*g + 1 for g.
-2
Let t(m) = -2 + 0*m**2 + m**2 + 9*m - 12*m. Let x be t(5). Solve -3*c = -x*c for c.
0
Suppose q + 13 = 4*z, -3*z = 2*z - 3*q - 25. Solve -z*b - 2 + 0 = 0 for b.
-1
Let v(x) = -6*x - 1. Let z be v(-1). Suppose 8 + 7 = z*l. Solve -12 = -l*d + 7*d for d.
-3
Suppose 0 = -p + 15. Solve -3*b - p = -0*b for b.
-5
Let p = 11 - -10. Suppose -1 = -4*i - 3*z, -3*i + 2*i - 5*z - p = 0. Solve b + i = -b for b.
-2
Suppose 5*s = s + 8. Suppose -t = -s*t. Solve t = -3*j + 15 for j.
5
Suppose -3 = 4*n - 5*n. Solve i + 4 = n for i.
-1
Let x = -14 - -8. Let d be 7 - (1 - x/3). Let q = 4 + -2. Solve d*y = q*y for y.
0
Let c(i) = -i - 3. Let v be c(-3). Let u(t) = t**2 + t + 5. Suppose 5*x + 13 + 12 = 0. Let o be u(x). Solve v = 6*l - l + o for l.
-5
Let p be (1/2)/((-1)/(-8)). Suppose 5*k - 25 = 5*l, 2*l = -3*k + 6*l + 15. Suppose -2 = 2*i - 2*o, -k*i + 0 = -2*o + 2. Solve p*r - 2*r + 2 = i for r.
-1
Suppose -3*m + 2*m = 1. Let t be (0 - m)/((-2)/(-6)). Solve w - 2 = t for w.
5
Suppose -l + 3*l = -5*f - 20, -8 = 5*l + 2*f. Solve l*h - 3*h = -9 for h.
3
Let l = 21 - 13. Let y = l + -4. Solve c + y = 2*c for c.
4
Suppose -2*g = -5*g. Solve -5 = b - g*b for b.
-5
Let q(w) = w + 9. Suppose -2*l + 6 = 16. Let i be q(l). Solve i*f = -0*f - 8 for f.
-2
L