Suppose -4*i = i - n. Solve w = -1 - i for w.
-2
Let h = 5 - 2. Let a(d) = -d + 7. Let c be a(h). Let k = -1 - -1. Solve k = -t + c*t for t.
0
Let g(m) = -m - 4. Let q be g(2). Let b be (4 + q)/(1 + -2). Solve -b*p = 3*p for p.
0
Let l be (-4)/(-2) - (2 + -2). Let y = l - 2. Solve 3*o + y*o = -12 for o.
-4
Let f(u) = -u**3 + 13*u**2 - 12*u + 14. Let k be f(12). Let b = -9 + k. Solve 0 = -b*g + 18 + 2 for g.
4
Let l(v) = v**3 + 13*v**2 + 2*v + 16. Let y be l(-13). Let p be 0*(-2 + y/(-4)). Solve 12 = 3*u - p*u for u.
4
Let q = 50 + -38. Let d(t) = t**3 - 5*t**2 - 2. Let v be d(5). Let g be 8 - (v + 3) - -1. Solve -4*a + g + q = 0 for a.
5
Suppose 23 = 4*k - 3*v, -2*k - 2*k = 4*v + 12. Suppose 9 = -k*c + 5*c. Solve -2*h = 9 - c for h.
-3
Suppose -4*y - 6 = -10. Solve -2 + y = -m for m.
1
Let d = 24 - 21. Let n be 12/d - (-5 + 4). Solve -3*u - n = -2*u for u.
-5
Let s(b) = 2*b**2 + 2*b + 1. Suppose -2*t = 2*v + t + 1, -v + 2*t - 4 = 0. Let r be s(v). Let d(y) = y - 5. Let c be d(7). Solve -r = -g - c for g.
3
Suppose 0 = -g + r + 3, 0 = -g - 3*r - 3 + 2. Let u(w) = -w**3 - 4*w**2 - 2*w. Let t be u(-4). Solve g*d + t = -2*d for d.
-2
Let v = -57 - -67. Let x = 8 + -4. Solve v = -x*r - r for r.
-2
Suppose -2*r = -0 - 2. Suppose 0*h = -3*h + 12. Let g = h - r. Solve -a = -g*a for a.
0
Let t be 1/(2*5/40). Solve 16 = t*c - 0 for c.
4
Let w(j) = 7*j**2 + 11*j - 4. Let m(k) = 8*k**2 + 12*k - 4. Let h(c) = -6*m(c) + 7*w(c). Let i be h(-6). Solve 0 = i*x + 1 + 5 for x.
-3
Let a(g) = g - 1. Let z be a(4). Suppose -z*s + 6 = -0. Suppose 20 = -f + 2*f - 4*b, -s*f + 10 = -2*b. Solve f = 4*j + 5 + 15 for j.
-5
Suppose -4*n = y + 2, n = -y - 4*y - 10. Solve n = -z - 5 + 3 for z.
-2
Let n be 2/(-4) + (-60)/8. Let v(t) = 3*t**2 + 8*t + 5. Let x(w) = 13*w**2 + 32*w + 20. Let q(d) = 9*v(d) - 2*x(d). Let j be q(n). Solve j*c - 6 = 3*c for c.
3
Let c be 3 - ((4 - 9) + 3). Solve c*o + 0 = -10 for o.
-2
Let w be 16/4 + (1 - (3 + 0)). Solve -1 = a - w*a for a.
1
Suppose -w + 0*w + 2 = 0, -2*w = -5*y - 4. Solve -5*k - 8 + 3 = y for k.
-1
Let m(f) = f**3 - 7*f**2 + 6*f - 5. Let b be m(6). Let k = b - -5. Solve k = 2*c + 3*c + 5 for c.
-1
Suppose 50 = 4*d + d. Let q be (-1)/1 + (6 - 0). Suppose d*a = q*a. Solve a = l - 0 + 2 for l.
-2
Suppose 0 = -6*i + 9*i - 75. Solve s = 6*s + i for s.
-5
Let o be 6 + -5 + 3/1. Let i(h) = h**3 - 3*h**2 + 2*h + 1. Let t be i(o). Solve 0 = -5*a + t for a.
5
Let r be (6/4)/(6/8). Solve r*y + 20 = 6*y for y.
5
Suppose 46*x - 49*x = 0. Solve x*v - 5*v - 5 = 0 for v.
-1
Suppose -29 = -13*f + 296. Solve -3*o + f = 13 for o.
4
Suppose 2*g - 1 = 5. Let n(z) = -z**2 + 9*z + 1. Let b be n(7). Solve -g*w + b = 2*w for w.
3
Let o(m) = -m**3 + m + 0*m**2 + 3*m**2 + 2*m**2. Suppose -n + 0 + 5 = 0. Let k be o(n). Solve -k*t - 10 - 10 = 0 for t.
-4
Suppose 8*f - 6 - 26 = 0. Solve 2*s - 4*s - f = 0 for s.
-2
Let u(j) = 13*j - 6. Let n be u(4). Suppose n = 3*r + 16. Solve 4*f - 2*f - r = 0 for f.
5
Let j = 46 + -46. Solve j = v - 1 - 2 for v.
3
Suppose 5 = 2*j - 35. Suppose h = -8 + j. Let m = 8 + -2. Solve -2*p = -m*p + h for p.
3
Let b = 7 + -4. Let c(v) = v + 1. Let r be c(-2). Let s be (0 + 0)*r/(-1). Solve -w + b = -s*w for w.
3
Suppose 2 = 3*j - 7. Solve j*o = -o for o.
0
Let o = 87 + -81. Solve -2*d + o + 2 = 0 for d.
4
Let m(p) = -p**2 - 4*p - 6. Let n(f) = 3*f**2 + 11*f + 17. Let j(z) = 17*m(z) + 6*n(z). Let c be j(2). Suppose -2*h + c*h = 0. Solve h = 3*q - 4*q for q.
0
Let j = 2 + 3. Suppose 0 = 4*k + 3*y - 46, -2*k + 14 = -0*k - 3*y. Suppose j*u - k = -0. Solve -u*g + 6 = -0 for g.
3
Suppose 16*o - 12*o = 28. Solve 4*g - o*g + 12 = 0 for g.
4
Let g be 11/99 + 125/9. Solve -4*j - g = -34 for j.
5
Let c be (-117)/12 + (-1)/4. Let f = 25 + c. Solve 4*a + f = -1 for a.
-4
Let t(u) = u**2 - 10*u - 4. Let g be t(10). Let a be (g/(-5))/((-4)/(-10)). Solve 3*i - a*i + 4 = 0 for i.
-4
Let w = 12 + 21. Let k = w + -25. Let n be (1/2)/((-1)/(-24)). Solve -n = k*x - 4*x for x.
-3
Let x be 2/(-13) + (-56)/(-26). Let z be (x + -7)*36/(-15). Suppose -5*v = 5*d - 5, z = 4*v - 3*d - d. Solve -y + 6 = v for y.
4
Let x(g) be the third derivative of -g**6/120 - g**5/10 - g**4/8 - g**3/3 - 5*g**2. Let u be x(-6). Solve u = -3*n - n for n.
-4
Suppose 2*j - q - 10 = 2, -q = 2. Let y = j - 1. Solve -y*d - 3 = 1 for d.
-1
Suppose 0 = -2*l + c + 15, 2*c + 2*c = 4*l - 40. Let g(f) = -f + 10. Suppose -i = -4 - 4. Let b be g(i). Solve 3 = l*v - b for v.
1
Suppose -22 = -5*s + 8. Solve 0 = s*j - 2*j for j.
0
Let f be (-26)/(-14) + 3/21. Suppose 2 = 2*c + n, -32 = -4*c + 4*n - 4. Solve -f = r - c for r.
1
Suppose j = -2*j + 30. Let t(z) = -z**2 + 6*z. Let r be t(6). Solve 2*k + r*k - j = 0 for k.
5
Let i(c) = -2*c**2 - 17*c + 9. Let g be i(-9). Solve g = 2*b + b for b.
0
Let o(y) = y + 10. Let b be o(0). Let g = b - 5. Solve -3 = -2*f - g for f.
-1
Let j = 9 - 6. Solve -2 = -j*a + 1 for a.
1
Suppose 5*n - n - 12 = 0. Suppose n*g + 0*g = 6. Suppose 2*c + 0*w = w + 29, -4*c - g*w = -38. Solve -5*t + t - c = 0 for t.
-3
Suppose 8 + 0 = w. Let g be (21/6)/(1/2). Let k = 10 - g. Solve -o - w = -k*o for o.
4
Suppose -3*f + 4*r + 78 = 0, -f = 4*r - r - 26. Let q be (-4)/f + 67/13. Solve g - q*g + 4 = 0 for g.
1
Let o = 11 - 8. Let w = -105 + 185. Let n be ((-6)/(-15))/(2/w). Solve -o*m - m = -n for m.
4
Let m be (-1 + 2/4)*0. Suppose -2*z = 3*a + 3*z - 24, -2*a = -2*z. Solve m = l + a - 0 for l.
-3
Let h(p) = -p**3 + 13*p**2 - 14*p + 14. Let k be h(12). Let s = -9 - k. Let y be 30/(-5)*s/(-2). Solve y*l + 3 = 2*l for l.
-3
Let r(a) = -a - 2*a + 5 + 4*a. Let q be r(-9). Let f be 1*q/(12/(-9)). Solve 0*b - f = b for b.
-3
Suppose s = -s + 4. Solve g = -s*g for g.
0
Suppose -j - 4*k = -23, -j + 2*k = -3*k - 5. Solve 5*y + j = 8*y for y.
5
Suppose -4*n = d - 102, 0 = -5*n + 3*d - 77 + 196. Solve -3*o - 2*o = n for o.
-5
Suppose 3*l - 9 = -u, -3*l + 2*u + 15 = 6. Let x be (2 - 0)*(l - 1). Solve q - x = -0 for q.
4
Let c(f) = 3*f**2 + f. Let s be c(1). Suppose -s*w + 8 = 4*x, 0 = -4*w + 2*x + x + 15. Let z(u) = u**2 - 6*u + 5. Let t be z(7). Solve -3*v + t = w for v.
3
Let s = 4 - 1. Let w = 4 - s. Solve -4*v + 3 = -w for v.
1
Let l = 13 + -11. Solve -5*b + l*b = -9 for b.
3
Let m = 6 + -2. Solve -m = l - 2 for l.
-2
Let y(a) be the second derivative of a**4/6 + 13*a**3/6 + 4*a**2 + 7*a. Let p be y(-6). Solve 0 = -2*u - p*u + 12 for u.
3
Let k = -11 - -16. Let a(r) = -r**3 + 4*r**2 + 4*r + 6. Let u be a(k). Solve -3*c - u = -2*c for c.
-1
Let j(x) = -x**3 - 4*x**2 - 2*x - 5. Let z be j(-4). Suppose -z = -2*k + 15. Solve -4*s - k = -s for s.
-3
Let g = 49 - 43. Solve -5 = -g*r + r for r.
1
Suppose 5*b = 4*b - 4, -3*l + b = -4. Suppose l*k = -5*k. Let n be (-1)/3*k*1. Solve v - 5 = -n*v for v.
5
Let o(g) = -g**3 + 6*g**2 + 5*g + 5. Let h be o(7). Let z = 8 + -14. Let a be 4/6 - z/h. Solve a = y - 1 for y.
1
Suppose 4*d = -5 - 3. Let o(m) = -2*m - 2*m + 5 - 3. Let s be o(d). Solve s = -5*i - 5 for i.
-3
Let r(q) = -q**3 + 17*q**2 - 16*q + 3. Let p be r(16). Solve -o = -0 - p for o.
3
Let n be (2/(-10))/((-2)/10). Let x be (2/(-2) - -1)/n. Suppose x = 4*i - 6*i. Solve g - 4*g = i for g.
0
Suppose 2*i + 3*p + 20 = 0, 0 = -i - 0*i + p. Let n = i - -7. Solve -6*g + n*g = 0 for g.
0
Let a be 42/8 - 3/12. Suppose 4*u + 5*k - 14 = 1, 4*u = 4*k - 12. Suppose 3*n + 0 - 12 = u. Solve a*t - n = t for t.
1
Let t = 3 + 2. Let g be 2/(-2) - (-1 - 0). Suppose 4*k + 0*k - 16 = g. Solve -k*p - t = -1 for p.
-1
Let g(b) = -b - 4. Let k be g(4). Let c(j) = -j**3 - 9*j**2 - 9*j - 6. Let r be c(k). Solve -3*p + 25 = r*p for p.
5
Let t = 7 - 10. Let y = 7 + t. Solve -3*n = -2*n - y for n.
4
Suppose 11 = 2*i + v, 0 = 2*i + 2*v + 10 - 26. Let t = 8 - i. Solve 2*g + t = g for g.
-5
Suppose 64 = -9*d + 13*d. Solve 0 = -5*k - d + 1 for k.
-3
Let m be (2/6)/(3/27). Suppose 0*y = m*y. Solve y = p + p for p.
0
Suppose 1 = 3*h + 2*r + 2, -3*r = -2*h + 21. Suppose -h*t = -2*t. Suppose -3*g + 2*g + 3 = t. Solve -g*n + 7*n = 0 for n.
0
Let d be (3 + -4)*(2 + -2). Suppose -4*h = 7*w - 2*w + 12, 2*h + 4*w + 12 = 0. Solve d = -a + 4 - h for a.
2
Let r = -10 + 13. Suppose 6 = 3*d - r. Solve d*h = 6*h - 9 for h.
3
Let d(w) = 3*w**2 + 5*w - 12. Let r(o) = 5*o**2 + 11*o - 25. Let p(m) = 7*d(m) - 4*r(m). Let k be p(8). Solve 