18. Solve o + p = 1 for o.
-2
Let v = -4 - -1. Let w = v - -8. Let u = 7 - w. Solve -u + 0 = t for t.
-2
Let a be 2/(-4)*(-90)/3. Solve 3*q = -2*q + a for q.
3
Suppose -5 = 3*f - 2*f + a, 4*f - 4*a + 60 = 0. Let s = f - -5. Let x be (-1)/s - 3/15. Solve x = -r + 3*r + 2 for r.
-1
Let c(z) = z**3 - 4*z**2 + 5*z - 6. Let o be c(3). Solve 0 = 2*x - o + 10 for x.
-5
Let q(y) = 9*y + 2. Let n be q(2). Let l(w) = w + 10. Let t be l(-7). Let f be (-4)/3*t/(-2). Solve n = -6*o + f*o for o.
-5
Let w(l) = l**3 - 4*l**2 - l + 4. Let s be w(4). Let q be 1*(s - (3 + -4)). Solve -y + 1 = -q for y.
2
Let d(y) = 3*y. Let s be d(1). Let l(g) = -17 + s*g**3 - 2*g**3 - 7*g**2 + 7 + 2*g. Let i be l(7). Solve i*q - 3 = 9 for q.
3
Let g be 14/2 + (5 - 6). Suppose g = 4*o + a, -3*o - 6*a = -a - 13. Solve 9 - o = 2*n for n.
4
Let z = -8 + 11. Solve 0 = -0*b + z*b for b.
0
Let p = -5 - -7. Solve 0 = p*c + 4 - 2 for c.
-1
Let m(q) = -5*q**3 - q. Let t be 1/(-1) - (-2 + 2). Let r be m(t). Solve -3*b + r + 6 = 0 for b.
4
Let b be 3/1 - (1 - 2). Suppose -8 = 2*v - b*v. Solve c - v*c = 6 for c.
-2
Let r = 4 - 0. Let g = -1 + r. Suppose 4*u = -g*o + 11 + 11, 2*o - 2*u + 4 = 0. Solve i - o*i = -1 for i.
1
Suppose 0 = -j + 5 - 2. Solve -j - 3 = -2*r for r.
3
Suppose 3*o = -o + 24. Let a be (-66)/(-4) + (-3)/o. Solve -n - a = 3*n for n.
-4
Suppose 2*z = -5*i - 19 + 3, -i = z + 5. Let w(n) = -n**2 - 2*n + 2. Let j be w(i). Solve -j = -4*a + 2*a for a.
1
Let y be (-5)/(-1)*(-17 - -19). Solve 6*v = v - y for v.
-2
Suppose 5 = 2*n - 5*m - 12, 0 = -5*m - 5. Solve -v = -n*v for v.
0
Suppose 0 = -5*t - 5*o + 50, -t + 5*o + 25 = 9*o. Solve 2*i - t = 3 for i.
4
Let r = 1 + 2. Suppose 2*p + p - r = 0. Suppose -p + 10 = 3*a. Solve a = 4*l - 1 for l.
1
Let q(u) = u**2 + 3. Let w be q(0). Let t be 7 - (-3 - (w + -5)). Let b = t + -5. Solve -4*k = -b*k + 1 for k.
-1
Suppose 2*g + 20 = -2*g. Let j be (4/g)/(2/(-5)). Let z be j + (1 - 2) + 2. Solve z*h = -0*h + 6 for h.
2
Let d be 0 - -1*(2 - -1). Let u(y) = y - 2. Let c be u(6). Solve -c*x = -d*x - 3 for x.
3
Let v = -5 + 8. Suppose 2*t + 5*x = -10, -5*t = -0*x - 3*x - 6. Solve -v = 3*o - t for o.
-1
Let u = -47 - -50. Solve u*c + 0 = -9 for c.
-3
Let n be 2*((-1 - 3) + 5). Solve -3*o = n*o for o.
0
Suppose -5*n + 15 = 2*d + d, 2*d = -2*n + 10. Solve 5*b + 0 + 5 = n for b.
-1
Suppose 2*m + 1 = -5*a, -9 = -5*m + m + a. Let h(o) = 2*o + 13. Let g be h(-6). Let f = g + m. Solve 2 = u - f for u.
5
Let g(u) = -6*u - 60. Let y be g(-10). Solve y = -2*b - 2*b for b.
0
Suppose -2*w + 4 = -4*w. Let i = -2 - w. Solve i*m = m + 1 for m.
-1
Let c be ((-60)/(-14) - 0)*588/168. Suppose -2*p + 20 = 2*p. Solve p*j - c = 5 for j.
4
Suppose -2*k + 3*k = 2. Solve 4 + 6 = -k*v for v.
-5
Let x(g) = -g**2 - 7*g - 6. Let o(s) = -2*s - 1. Let b be 4*((-3)/6)/(-1). Let l be o(b). Let v be x(l). Solve 6*i = v*i - 8 for i.
-4
Suppose -2*d + 10 = 4*i, -d = 3*i + 3*d - 15. Suppose b + 2 = n - 3*n, 4*b + n + i = 0. Solve b*r + 8 = 4*r for r.
2
Suppose 14 - 6 = -4*i. Let j be (16/(-24))/(i/9). Solve 4*c = -23 + j for c.
-5
Let o(j) = -j**2 - 10*j + 9. Let u be o(-10). Let h = u - 6. Suppose 2*i + 4 = h*i. Solve i*v + 6 = 2*v for v.
-3
Let l = -20 - -27. Solve -l*b = -3*b + 12 for b.
-3
Suppose -2 + 32 = 15*c. Solve -5 = c*z - 3*z for z.
5
Let i be 87/3*(20/4 - 4). Solve -5*p = -i + 4 for p.
5
Let m(g) = g**2 + g + 17. Let b be m(0). Suppose 5*a - 5*r - 30 = 0, -5*r = 5*a - 15 - 5. Solve 3 = a*v - b for v.
4
Suppose -z + 5*z = -a + 26, z + 11 = a. Let w = a - 2. Suppose 2*r + 3*r - 20 = 0. Solve r*x - x = w for x.
4
Let k(j) = -j + 8. Let b be k(4). Suppose 48 = 3*p - 3*s, -b*p - 2*s - 3*s = -100. Solve 2*m + 3*m = -p for m.
-4
Let p(i) = -6*i**2. Let y be p(-1). Let f be (-10 - 8)*4/y. Solve 0 = -d + 4*d - f for d.
4
Let b = 3 - -2. Solve 0 = -b*f - 6 + 21 for f.
3
Let v be -6*(2 + -3) + 2. Let w(n) = 2*n - 11. Let d be w(v). Suppose d*k - 5 + 0 = 0. Solve -s + 1 = -k for s.
2
Suppose -63 = -5*f + 62. Solve -5*r = -0*r + f for r.
-5
Let k be (-5*24/100)/((-1)/30). Solve -11 + k = 5*o for o.
5
Suppose 10 = 4*o - 2*u, -3*o - 3*u - 2*u + 27 = 0. Suppose -10 = -4*v + 2*q - 0, 0 = 3*v - 2*q - 8. Solve 0 = -v*z + 4 + o for z.
4
Let c(r) = -r**3 - 6*r**2 - 6*r - 4. Let g be c(-5). Let s = g + -3. Let y = s - -5. Solve -4*w = -w - y for w.
1
Let x(t) be the third derivative of -t**7/2520 - t**5/20 - t**2. Let v(r) be the third derivative of x(r). Let m be v(-5). Solve -4*c - m = -2 for c.
-2
Let j(k) = k**2 + 5. Let c(n) = 6*n**2 + 2*n + 1. Let q be c(-1). Let a be j(q). Let y be a/7 + (-2)/7. Solve 2*l + 0 = y for l.
2
Let v = -85 + 91. Solve v*f - f - 20 = 0 for f.
4
Let q = 52 + -46. Solve -o - q = -3*o for o.
3
Suppose 3*p = -p + 4, 3*y - 72 = 3*p. Solve -2*a = 3*a + y for a.
-5
Suppose q - 1 - 1 = 0. Solve q*d = -2*d - 8 for d.
-2
Let h(u) = -u**2 - 2*u + 5. Let z be h(-3). Solve -4 - z = -2*f for f.
3
Let h be (0*(-4)/(-8))/(-2). Solve h = 2*v + 1 - 7 for v.
3
Let h(c) = -c**2 + 2. Let n be h(0). Let d(o) = o**3 + 2*o - 4*o**2 - 4*o + 3*o + 1. Let a be d(4). Solve a*q - n = 8 for q.
2
Suppose a = 2*k - 3, -5*k = 5*a - 1 - 29. Suppose k = -x - 3*s, 4*s = 6*x - 4*x - 14. Solve -5*v - x = 12 for v.
-3
Let m be (-8 - -7)*(1 + -6). Solve -m*i + 8 = -3*i for i.
4
Let n be (-1 + 3)*33/6. Solve -5*g - 1 + n = 0 for g.
2
Let w(i) = -i - 6. Let x be (-7 - -2)*(-18)/(-15). Let j be w(x). Suppose 0 = 2*a + b, -3*a = -6*b + b - 13. Solve j*v = -v + a for v.
1
Let g be 3/(-12) + (-3)/4. Let o = g - -3. Suppose b + o*b - 37 = -5*w, 20 = 5*b. Solve j = w*j for j.
0
Suppose 0 = 61*p - 55*p - 12. Solve -2*v + 3*v = -p for v.
-2
Suppose -g = -2*g - 4*g. Solve 5*d = -g + 5 for d.
1
Let i be 4 - 4*(-3)/6. Let l be (-5)/((0 - -4) + -5). Solve -l*h + i*h = 5 for h.
5
Let u(h) = h**2 + h + 10. Let w be u(0). Suppose -w = -2*t + 6. Solve -2*n = -4*n + t for n.
4
Suppose -18 = -4*i - 2*x, 4*i - i - 4*x + 3 = 0. Solve -i*k + 6*k = 0 for k.
0
Let h be (3 - 3)*(-2)/4 - -4. Solve h*b - 7 = 5 for b.
3
Let a(o) = -o**2 + 5*o + 4. Let z be a(3). Let r = z - 5. Suppose r*g + 6 = 36. Solve -2*d - g = -0*d for d.
-3
Suppose -3*a + 10 = 4. Let d be 62/22 + a/11. Solve 0 = -d*o - 2*o for o.
0
Suppose 3*l + 2*l = 20. Let g = -2 + l. Solve h = g - 1 for h.
1
Suppose u + 13 = 4*h, -4*h = -3*u - 9 - 6. Let p be (2 - 4)*(u + 0). Solve 3*a - a = p for a.
1
Suppose -2*z - 9 = -3*l, -6 = 2*l - 4*l. Suppose 0 = 5*n - 21 - 9. Solve -3*a + 18 - n = z for a.
4
Suppose -l + 3*c = -2*l + 5, -5*l + 85 = -5*c. Solve 11 + l = 5*z for z.
5
Suppose -2*x = -0*i + 4*i - 18, 0 = 5*x - 3*i + 7. Let l be 12/10*10/4. Solve x = 2*f + l for f.
-1
Let y(u) = -3 - 47*u**2 - u**3 + 50*u**2 + 3*u + 0*u**3. Let p be y(3). Solve -18 + p = -4*k for k.
3
Let q be 6/(-14) - (-400)/35. Let r = 19 - q. Let m be r - (-3)/(9/(-6)). Solve t - m*t - 10 = 0 for t.
-2
Let p = -13 + 15. Suppose 0 = -4*b - 2*w + 4*w - 4, w = 5*b + 2. Suppose 0*c - 3*c + 18 = 0. Solve 2*y + p + c = b for y.
-4
Let x(o) = 2*o**2 + 3*o. Let a be x(-2). Suppose 15 = a*k - 5. Suppose -3*i - 22 = -4*u, -u + 2*u - k = 3*i. Solve 0 = 2*v + u - 6 for v.
1
Let g be 56/10 + 6/15. Let k be -4 + g + 0/(-3). Solve k*t = -0*t - 8 for t.
-4
Let w = -13 - -7. Let r be (4/w)/((-4)/18). Let k be 0/(-7 - -3) + 1. Solve 2*v + k = -r for v.
-2
Let a(u) = u + 12. Let r be (-8)/(-5)*(-180)/24. Let p be a(r). Let j be (-1)/2*2 - -5. Solve 0 = -j*i + 8 - p for i.
2
Let k = -23 - -23. Solve k = g - 1 for g.
1
Let l(g) = g**2 - 22*g + 26. Let m be l(21). Solve 0*q + m = -q for q.
-5
Suppose v = 4*n - 0*n - 46, 24 = 2*n - v. Let l = n - 9. Solve l*x = -0*x - 8 for x.
-4
Suppose -j - 6 = 4. Let l = -6 - j. Suppose 0*n = l*n - 12. Solve n*s - 9 = -0*s for s.
3
Let v = 19 - 29. Let u be (5/2)/((-5)/v). Solve -11 = u*g + 14 for g.
-5
Let k = 3 + -1. Suppose 4 + k = 3*l. Suppose 0 = 6*u - 4*u. Solve u = l*w + 4 for w.
-2
Let j be (4/(-4))/(-2)*2. Solve -3*b + 13 - j = 0 for b.
4
Let k(m) = -3*m**2 + m + 2. Let g be k(-2). Let t = g - -20. Solve -3*o + 25 = -t*o for o.
-5
Suppose 4*u - 105 = u. Suppose -3*l = -3*x + 2*x - 65, 0 = 2*l + x - u. Solve l = i + 4*i for i.
4
Let g(o) = -o + 13. Let u be g(8). Solve -3*l - u = 2*l for l.
-1
Suppose 0*u = u. Let z(s) = 7*s + 1. Let p be z(-1). Let x = p + 10. 