/(-2). Solve d*u - 4 = -0*u for u.
2
Let a(i) = -2*i - 14. Let y(g) = -g - 14. Let p(c) = 2*a(c) - 3*y(c). Let r be p(10). Let k = r - 2. Solve -s + k*s - 2 = 0 for s.
2
Let a(r) = r**2 + 3*r + 4. Let p be a(-3). Suppose -15 = 2*q - 7*q. Suppose -25 = q*y + 5*k, -k - 6 = -2*y - 1. Solve i = -y*i + p for i.
4
Let q be (0 - 2)/(-2)*-3. Let t be 20*(39/12 + q). Solve -18 = -t*l + 7 for l.
5
Let u(z) = 5*z - 7. Let i(w) = -14*w + 20. Let h(q) = -6*i(q) - 17*u(q). Let f be h(-6). Solve -2*s = -f - 5 for s.
5
Let p = 5 - 2. Suppose 2*a - 18 + 7 = -p*s, 2*a - 2 = 0. Solve h = s*h for h.
0
Let s(y) = 11*y. Let c be s(1). Let j(q) = -q**2 - 5*q + 4. Let n be j(-5). Suppose -3*r = -n*d - 0*d + c, r = 5*d - 11. Solve -d - 1 = 3*w for w.
-1
Let f(t) = t**3 - 3*t**2 + t - 3. Let m be f(3). Suppose 22 = 2*w + 6. Suppose -2*k = -k - w. Solve m = 4*q + k - 20 for q.
3
Let j(z) = -z + 1. Let t be j(-1). Let f be -4*(3/4 - t). Solve -3*g = 20 - f for g.
-5
Let s = -3 + 3. Solve s*x + 4 = 2*x for x.
2
Let l(o) = -o**2 + 5*o - 3. Let p(f) = 5*f**2 - 21*f + 13. Let g(t) = -9*l(t) - 2*p(t). Let q be g(-3). Solve -q = v + 1 for v.
-2
Let u = -95 - -103. Solve -5*o + u*o = 12 for o.
4
Let o = -33 - -53. Solve -2*x = 3*x - o for x.
4
Suppose 0 = -j + 2*j. Let n be 4/(-22) + (-399)/(-77). Let d(a) = a**2 - 6*a + 7. Let c be d(n). Solve j = -c*w + 1 + 1 for w.
1
Let t = -13 - -33. Solve 0 = 2*r + 2*r - t for r.
5
Let h(d) = 2*d**2 + 2*d + 1. Suppose -2 = -4*z - 10. Let b be h(z). Solve j - 6*j = b for j.
-1
Let k(p) be the second derivative of -p**5/20 - p**4/3 - p**3/6 - p**2/2 - p. Let m be k(-4). Suppose m*c - 6 = 3. Solve o - 12 = -c*o for o.
3
Let d(b) = -b. Let a be d(-9). Suppose -1 + a = 2*w. Let x be (-35)/(-3) - 2/(-6). Solve x = w*p - p for p.
4
Let a be -2 + (3 - 3/3). Let k = 0 + 2. Solve -k*b = -2 - a for b.
1
Let f = 2 - 0. Suppose 6*t = f*t - 4, -3*t = 5*a - 27. Solve 25 = -y + a*y for y.
5
Suppose 4*s = 4*t + 4, -5*s + 13 = 2*t - 5*t. Let f(r) = 3*r - 2. Let k be f(t). Solve 0 = -3*b - 5 - k for b.
-5
Suppose -4 = p - 3*p. Suppose -3*d = p*d. Solve d*t = t + 2 for t.
-2
Let f(m) = -m**3 + 4*m**2 + m - 4. Let v be f(4). Solve -g + 2*g + 1 = v for g.
-1
Let q be 7/(2 + (-10)/6). Let p be 4/(12/q) - 1. Let o = -6 + p. Solve o = -h + 2*h + 3 for h.
-3
Suppose 0*t = 3*t. Let f be 0 + t + (-12)/(-4). Solve f*m = -m - 8 for m.
-2
Let n = 68 + -64. Solve -m + n = m for m.
2
Suppose -2*l = -0*l + 26. Suppose 3*m + 10 = d, -3*m = 5*d - 0*d - 122. Let k = d + l. Solve -3*f + 0*f = k for f.
-3
Let k = 34 - 49. Let i = -13 - k. Solve -i*z - 1 = 3 for z.
-2
Let r be 1 + 2 + -3 - -7. Let g = -2 + r. Suppose -3*k = -g*k. Solve k = -2*s + 1 + 3 for s.
2
Let n = 8 + 4. Solve g - n = 5*g for g.
-3
Let t(j) = j**3 - 3*j**2 - 3*j + 4. Let v be 16/6*(-3)/(-2). Let k be t(v). Solve -k*g = -3*g - 5 for g.
1
Suppose 0 = 4*k - 0*k - 12. Suppose k + 9 = 3*j. Solve -x + j = 3 for x.
1
Let l = -3 + 7. Suppose 0 = l*t + 3 - 11. Solve c - 2*c = t for c.
-2
Let s be 15/25 - 44/(-10). Solve -s*o = -9*o for o.
0
Let o = 46 - 43. Solve y + o = 6 for y.
3
Let z(y) be the first derivative of -y**2/2 + 10*y + 1. Let t be z(7). Solve -t*j - 2 = 4 for j.
-2
Let q(y) = 12*y + y**3 - 1 + 7*y + 14 + 10*y**2 - 9*y. Let d be q(-9). Solve d*r - 4 = 2*r for r.
2
Suppose -2*o = -5 - 1. Suppose -6*l = -o*l. Solve l = u - 4*u for u.
0
Suppose -12 - 8 = -5*l. Let q be 27/(-4) - 1/l. Let j = 11 + q. Solve j*h - 5 = -h for h.
1
Suppose 0 = -4*r - 12, -2*n + 10 = -5*r - 17. Suppose 0*d + n = -u - 3*d, 4*u = 2*d + 4. Solve -3*l + 2*l - 3 = u for l.
-3
Suppose -3*d - d + 20 = 0. Suppose 0 = -3*s - v + 18 + 22, -s + 3*v + 30 = 0. Solve d*n = s - 0 for n.
3
Let y = 8 + -4. Solve y*i + i = 15 for i.
3
Let y(a) be the second derivative of a**4/12 + 5*a**3/6 + 3*a**2/2 + a. Suppose 5*z + 40 = -5*w, -z - 4*w = -2*w + 11. Let k be y(z). Solve k*n = 3 - 6 for n.
-1
Suppose 5*o + 2*k - 7 = 19, -o + k = -1. Suppose 0 = -o*y + w, 5*y - w = -6*w. Solve y*a + 8 = 4*a for a.
2
Let b be (-1)/(1/(-2) - 0). Suppose 2*k - 5*f + 7 = 0, 5*k - f = 3*f + 8. Solve -k*l = -b - 18 for l.
5
Let j(b) = -8*b + 4 + 5 + 7*b. Let h be 9 + (-2 - -4 - 2). Let m be j(h). Solve -2*t - 2 + 8 = m for t.
3
Suppose m - 3*a + 4 = -5*a, 5*m - 1 = -3*a. Solve -1 = m*z + 7 for z.
-4
Let h(t) = t + 4. Let l be h(-5). Let g = l + 2. Solve g = -u - 2 for u.
-3
Suppose -2*y - 14 = -3*a, 5*a - 4*y = -5*y + 6. Let v = -9 - -15. Solve 0 = -2*k + v - a for k.
2
Let q(k) be the third derivative of -k**4/12 + k**3/3 - 4*k**2. Let n be q(2). Let u be (3/n)/((-1)/10). Solve -u = -3*h - 2*h for h.
3
Suppose -6 = -3*y - 0*y. Solve 0 = -3*q + y + 1 for q.
1
Let j be (-2 + (-44)/(-16))*16. Let y be (-4)/j + 8/6. Solve -2*a = 7 + y for a.
-4
Let d(m) = m**3 + 4*m**2 - 5*m. Let l be d(-5). Suppose -6*n + n = l. Solve n = -2*t - 4 for t.
-2
Let q(j) be the third derivative of 0 + 7/6*j**3 + 0*j - j**2 - 1/24*j**4. Let w be q(5). Solve 2*f - w = -0*f for f.
1
Let u be -12*((-3)/(-2))/(-3). Suppose -7*w = -9*w + 6. Solve -w*z + u = -5*z for z.
-3
Suppose o + 3*w = 8*w + 25, -5*w = 2*o + 25. Let d be (1 + -1)/3*1. Solve -3*n + o*n = d for n.
0
Let f(j) be the second derivative of -j**3/6 + 3*j**2/2 + 3*j. Let a be f(0). Solve h - 4 = a*h for h.
-2
Suppose -3*u + 49 = -2*u. Suppose -4*i + 12 = y, -u = -3*y + 4*i + 67. Let f be y/12 + (-4)/6. Solve 3*o = -f*o for o.
0
Let p = 6 - 4. Suppose -x = -2 - 1. Suppose 2*i - 4*o - 8 = 0, 4*i = x*o - p*o + 16. Solve i*q = q - 6 for q.
-2
Suppose -2*x + 2*w - 2 = 7*w, 2*x + 2*w - 4 = 0. Solve -x*m = -3*m - 5 for m.
5
Let x be 2 - ((-2 - -4) + -2). Let k be (0/(-2)*3/(-6))/(-2). Solve k = -0*b - x*b + 2 for b.
1
Let b = 0 + 1. Let w(s) = -s**2 - 5*s + 1. Let v be w(-5). Let m be (v/(1/16))/b. Solve 3*q + q + m = 0 for q.
-4
Suppose 0 = 5*h + t + 1 + 1, 0 = 5*h - 5*t + 20. Let d be (-1)/h - (-8 + 6). Solve 0 = f + d for f.
-3
Suppose -f - 12 = -5*y, 2*y + 3*f = -0*y - 2. Suppose 16 = -4*s, -s - 5 = 2*r - 3. Suppose -7 = -5*g - 4*a + 8, 3*g = -5*a - 4. Solve r = y*l + g for l.
-3
Let s(a) = -a**3 + a + 1. Let q(u) = -4*u**3 + 2*u**2 + 7*u + 7. Let j(m) = -q(m) + 5*s(m). Let c be j(-2). Solve 2*x + 8 = -c for x.
-5
Let a = 84 + -92. Let v be (-84)/10 - (-2)/5. Let n = v - a. Solve 0 = 5*b - n + 10 for b.
-2
Suppose 2*c - b - b = -12, 53 = -3*c - 4*b. Suppose 0 = -2*s - 1 - 13. Let f = s - c. Solve f*w = -17 + 1 for w.
-4
Let c(t) = -t**3 + 12 + 9*t**2 + 2*t**3 - 2*t**3. Let a be c(9). Solve 0*y = 4*y + a for y.
-3
Let i = 5 - 2. Suppose 3*h = i, 5*h - 9 + 0 = -2*n. Solve 2*v = v - n for v.
-2
Let z(n) be the first derivative of 3*n**2/2 + n - 3. Let d be z(-1). Let o be (0 - d - 2) + 0. Solve o*k = 3*k + 3 for k.
-1
Let r = -9 + 11. Solve -r*b = -3*b - 1 for b.
-1
Let z(w) = -16*w. Let y be z(-1). Let r(c) = -7*c**3 - 2*c**2 - c. Let a be r(-1). Solve y = -2*x + a*x for x.
4
Let t = -14 + 29. Solve 11*c = t*c - 4 for c.
1
Let j = -39 + 40. Solve s = j - 4 for s.
-3
Let d(t) = t**3 - 3*t**2 + 2*t. Let n(s) = -2*s**3 + 2*s**2 + 2*s + 1. Let z be n(-1). Let h be d(z). Let u = 10 - h. Solve -u*o = -2*o - 10 for o.
5
Let k(i) = i**2 - 6*i + 7. Let d = 3 - -2. Let w be k(d). Solve r = -w*r for r.
0
Let j(l) = l**2 + 13*l + 26. Let r be j(-11). Solve r*v + 3 = 23 for v.
5
Suppose 3*z = -0*z. Let h be (2 - 0) + (5 - 5). Let l = 4 - h. Solve z*j = -j + l for j.
2
Suppose 5*p + 37 = 4*f, f - 4*p - 28 = p. Let j be 20/f*(-12)/(-10). Let c be (j/28)/(1/7). Solve 8 = -c*u - 0*u for u.
-4
Suppose -5*l = -5*w + 8 + 7, -6 = -4*w - 2*l. Solve -r - w*r = 9 for r.
-3
Suppose 5*a - 7*a + 4 = 0. Solve 3*u - a*u = -3 for u.
-3
Let b be 9/(-4*9/(-48)). Let q = 17 - b. Solve -k = -q*k for k.
0
Suppose -29 - 3 = -4*h. Let b(v) = -v**3 + 7*v**2 + 12*v - 9. Let l be b(h). Suppose -l - 27 = -5*f. Solve z + f = -z for z.
-5
Let o(p) = 10*p**2 - 5*p - 5. Let j be o(-1). Solve -z = -6*z - j for z.
-2
Suppose b + p = 6*p - 25, 0 = 5*p. Let m be (0 + -10)*10/b. Solve m*a - 4 = -0 for a.
1
Suppose o = -3 + 6. Let r be (4 - 4)/(-4)*-1. Solve -o*q - 6 = -r*q for q.
-2
Let b be 6/4*16/12. Suppose -b*n = 3 - 13. Suppose -n*i + 20 = -80. Solve -5*l - i + 0 = 0 for l.
-4
Let g be (-4)/6 + 20/(-15). Let q be (g - 0/3)/(-2). Solve 2*t = -11 + q for t.
-5
Suppose l - 2*y - 9