 - -6. Let p be i(c). Solve b + p*b = 8 for b.
2
Let j(z) = z**2 - 2*z + 2. Let x be j(2). Let u be -2 + (x + -1 - -9). Let h be (-34)/(-10) + 4/(-10). Solve u = -h*o + 2 for o.
-2
Let h(p) be the first derivative of -1 + 3/2*p**2 + 0*p + 1/3*p**3. Let o be h(-3). Solve o = -4*z - 12 + 4 for z.
-2
Let l(k) = -k**2 - k - 2. Let i be l(-4). Let b = i + 20. Solve 0 = -p - p + b for p.
3
Suppose -2*q + 2 + 18 = 5*r, -12 = -4*q - 3*r. Suppose 0*d - d + 5*s = -15, q = 2*d - s - 3. Solve -n + d = -1 for n.
1
Let j(q) = q + 8. Let y be j(-5). Let f = y + -3. Solve f = -k + 2 - 0 for k.
2
Suppose 0 = -n + 5*k + 19, 0 = 2*n + 3*n + 3*k - 11. Suppose o = -n*o. Solve m - 1 + o = 0 for m.
1
Suppose -3*j = -5*j. Solve j = -2*k - 4 for k.
-2
Suppose -6*p = 7 - 25. Solve -p*n + 8 - 20 = 0 for n.
-4
Let s be -4 + -2*20/(-8). Solve -4 - s = q for q.
-5
Suppose 0 = -2*a + 7 - 1. Suppose 0*v - u - 10 = -3*v, -a*v = 2*u + 2. Solve -v = 3*j + 1 for j.
-1
Let x be 1/3 - (-2)/(-6). Suppose -5*b + 1 = 21. Let s be (-15)/(-6) + (-2)/b. Solve x = l - s*l + 2 for l.
1
Let v = -16 + 6. Let q(g) = 4*g + 8. Let s be q(-4). Let l = s - v. Solve l*r - 4*r - 4 = 0 for r.
-2
Let d = -6 - -8. Suppose o - d*n = -o + 8, -o + 16 = -4*n. Solve 4*k = -o*k for k.
0
Let p = 42 + -22. Let m be (-1)/(1/6*-2). Solve m*v + v = -p for v.
-5
Let l(r) = r**3 + 6*r**2 + 4*r - 1. Let v be (15/9)/((-1)/3). Let a be l(v). Suppose -8 + 2 = 3*p, a*p - 14 = -2*z. Solve 1 = 4*y - z for y.
3
Let w = -4 + 32. Suppose 4*x + 5*z = z + w, -23 = -3*x - 4*z. Suppose k - 3 = -2*l, -x*l - 3 = k - 2*k. Solve 0 = 2*f + k*f + 15 for f.
-3
Let w be 2*-2*7/4. Let m = w + 9. Solve -z = -3 - m for z.
5
Suppose -2*x - 2*u + 12 - 2 = 0, 4*x - 4*u = -4. Solve x*g = -0*g - 2 for g.
-1
Suppose x + 4 = 0, -4*i - 3*x = -5*x + 40. Let n = 12 + i. Solve 0 = -n*f - 5*f + 10 for f.
2
Let i = -46 + 51. Solve 0 = -7*f + i*f + 2 for f.
1
Let q be (-1 - 4) + 6 + -5. Let z be 18/q*(-8)/6. Solve t = -t + z for t.
3
Let n = 10 - 4. Solve 3*v - 5*v = n for v.
-3
Let t be (7/(-14))/((-1)/(-6)). Let w be t/7 + (-87)/(-7). Solve 4 = -4*a - w for a.
-4
Let t be 2/(23/184 + 2/16). Solve 0 = -5*o - t - 7 for o.
-3
Suppose 0 = -2*q + q + 2. Suppose 0 = -r + q*r. Solve -3*b = -r*b - 9 for b.
3
Let f = 3 - -6. Suppose 0 = -4*j + a + 14, -4*a + 4 = -0*j - j. Solve -q = -j*q + f for q.
3
Let x(p) = -p**3 - p**2 + p + 2. Let w be x(2). Let y be 5 + 0 - (8 - 11). Let n = w + y. Solve r + n = 2 for r.
2
Let t = 0 + 5. Solve -2*c + 6 = -t*c for c.
-2
Suppose x = 6*x - 5. Let w be (12/(-10))/((-8)/20). Let c(k) = 2*k**2 - 3*k - 4. Let b be c(w). Solve -x = -3*l + b for l.
2
Suppose 0*j = 3*j - 18. Suppose -3*n = 3*p - 0 + j, -2*p + 2*n = -12. Solve 3 + 3 = p*g for g.
3
Let o(h) = h**3 - 5*h**2 - 6*h + 4. Let x be o(6). Solve 2*j + x - 2 = 0 for j.
-1
Suppose -5*d = 4*m - 205, 3*d - 51 = 3*m + 99. Suppose -5*x = -4*p + d, -2*p + 6*p + 5*x = 35. Solve 0*s = 5*s + p for s.
-2
Let y be -2 - (0 - 0) - -2. Solve 0 = -a + 2 - y for a.
2
Suppose 0 = 3*s - 11 - 7. Suppose -2*l + s = l. Let j = 0 + l. Solve j*u - 1 = -7 for u.
-3
Let i(w) = -w. Let x = 6 + -6. Let r be i(x). Solve d - 1 + 0 = r for d.
1
Suppose -11*d = -d - 30. Solve 6 = d*a + 21 for a.
-5
Let k = 7 + -5. Suppose 0 = k*g - 35 + 11. Solve g + 8 = 4*d for d.
5
Let m be 0 + ((-6)/21 - (-80)/35). Solve -m*u + 9 = -5*u for u.
-3
Let y(q) be the second derivative of q**5/10 - q**4/6 + q**3/2 - q**2 + 2*q. Let k be (-18)/(-12) + 2/4. Let x be y(k). Solve 7*s + x = 4*s for s.
-4
Let c(q) = -q**2 + 5*q - 2. Let z be c(5). Let s be z/11 - (-4)/22. Let m be 1*(s - -1) + 0. Solve m = -4*a - 11 for a.
-3
Suppose -b = -0*b - 2. Suppose 4 = b*t - 0. Solve s = -t*s - 6 for s.
-2
Let v be ((-10)/(-6))/((-2)/(-7 - -1)). Solve -v*p + 3 = 8 for p.
-1
Let f(x) = -2*x - 1 - 4*x**3 + 1 - 1. Let n be f(-1). Solve n*u + 4 = 6*u for u.
4
Let g(y) = -y**3 - 18*y**2 - 17*y. Let l be g(-17). Let z(s) = s**3 - 3*s**2 - 6*s + 6. Let x be z(4). Let j be 7/4 - x/8. Solve -3*u - j*u - 25 = l for u.
-5
Suppose 2*i = i. Suppose -16 = 5*j - j. Let u = j - -8. Solve -2*y = -i*y + u for y.
-2
Let q(n) = -9*n - 2. Let g be q(-1). Solve 0 = -3*m - 22 + g for m.
-5
Let h(b) = b**3 - 3*b**2 + 3*b - 1. Let d be h(3). Solve n - d = 5*n for n.
-2
Let q(o) = -4*o**3 + 2*o**2 + o - 1. Suppose 0 = l + 5*d + 1, -3*l - 3 = -d - d. Let m be q(l). Solve 24 = -5*n + m for n.
-4
Suppose -p + 30 = 9*p. Solve -p*i = -6*i for i.
0
Let z = -17 + 21. Solve 0 = -z*i + 2*i - 6 for i.
-3
Let n be ((-2)/6)/(3/(-18)). Let y be 4 + (2 + 0 - 10). Let c = n - y. Solve c + 4 = -2*j for j.
-5
Let q = 31 + -26. Solve 0 = f - 2 + q for f.
-3
Let i(j) = -2*j + 12. Let q be i(6). Solve 6 + q = 3*n for n.
2
Suppose -2*c - 6 = -0*c. Let i(g) = -g**2 - 5*g - 3. Let k be i(c). Suppose k = 3*n - 0*n. Solve -p + 4 = n for p.
3
Let q(j) be the third derivative of -5*j**4/24 - j**3/2 + j**2. Let c be q(-4). Let y(a) = -a**2 + 6*a + 5. Let r be y(6). Solve -4*f = c - r for f.
-3
Suppose 0 = -2*p + 8 + 22. Solve -j - 2*j = p for j.
-5
Let c be 143/121 - 4/22. Solve -i - 2 = -c for i.
-1
Let i = -5 - -10. Suppose 18 = i*y - 22. Suppose -3*l + 12 = 3. Solve l*v - 25 = y*v for v.
-5
Suppose 5*w = -2*i + 535, -3*i - 240 = -4*w + 188. Let v = -24 + w. Suppose 0*y = 4*y + b - v, 0 = 5*y + 2*b - 106. Solve q = 6*q - y for q.
4
Suppose 3*n = -5*u + 1, -5*n + 12 = -u - u. Solve n*j = -2*j + 4 for j.
1
Let c(q) = -q - 7. Let y be c(-5). Let i be ((-2)/4)/(y/12). Solve 2*m - i*m + 5 = 0 for m.
5
Let g(q) = -q**2 - 11*q - 5. Let j be g(-10). Suppose -a + j*w - 2 = -0, 5*a + 3*w - 18 = 0. Solve -n + 0*n = -a for n.
3
Let h(s) = -s**2 + 5*s - 2. Let z be h(4). Solve z*i - 2 = -0*i for i.
1
Let n be (0/(-1))/(-3)*1. Suppose n*o - 4*o = 136. Let q = o + 49. Solve -6*m + m + q = 0 for m.
3
Suppose 2 = 5*k - 8, 5*t - 11 = 2*k. Let n be (-2)/6 - (-37)/3. Let o be 3/n + (-7)/(-4). Solve -t*h - o = -h for h.
-1
Let l be -1 - (16/(-4) - -1). Solve -l*p + 0*p + 10 = 0 for p.
5
Let y(v) be the first derivative of -v**3/3 - v**2/2 - 1. Let x be y(0). Solve -3*g - 9 = -x for g.
-3
Suppose -v - 4*v = 5. Let z be -1*(1 - (-3)/v). Solve -4 + z = 2*u for u.
-1
Let x = 10 + 10. Suppose 4*n - x = -2*f + 2, -2*n - 9 = -3*f. Let w(u) = 2*u - 4. Let q be w(n). Solve 0*p + 6 = q*p for p.
3
Let i = -193 - -201. Solve -i = 5*t - 3*t for t.
-4
Suppose 5*s = -0*s - 165. Let c be -1*s/3 - 2. Solve -2*o - o = c for o.
-3
Let l be (1 - -2)/(5 + -2). Let u = l + 1. Suppose 3*q - 1 = 2. Solve i = -q + u for i.
1
Suppose -k - 3*k = 0. Suppose -2*b + k + 12 = 0. Solve -5*y + 4 = -b for y.
2
Let y = 8 - 6. Let q be ((-58)/(-6) + -11)*3/(-2). Solve -i + q = -y for i.
4
Let f(y) = y**2 + 5*y + 6. Let g be f(-4). Solve 0 = 3*r - 2*r - g for r.
2
Let d be (-1)/((-3 - 1)/(-4)). Let k = 2 - d. Solve -y - 2*y + k = 0 for y.
1
Suppose -2*y = y - 6. Suppose -3*c - 6 = -0*c, -4*f + y = c. Solve 5*p + f + 9 = 0 for p.
-2
Suppose 4*g - 12 = -0*g. Suppose -2*a + 9 = 1. Let m(t) = -t**2 + 2*t. Let k be m(2). Solve k = a*z - 3*z + g for z.
-3
Let h = -9 + 11. Solve h*n - 8 = -2*n for n.
2
Suppose 3*o = 2*t + 7 - 32, 3*o - 5*t = -31. Let r be (-2)/o + 44/(-7). Let d be ((-4)/(-6))/(r/(-45)). Solve d*a = 2*a - 6 for a.
-2
Let s = 0 + 0. Let m(t) = -t**2 + 4*t + 2. Let z be m(4). Suppose 0 = f - 5*q - 29, 5*q - 1 + 18 = -2*f. Solve z*x - f = -s*x for x.
2
Let y = -18 + 20. Solve 0 = -y*u + 3*u for u.
0
Let z = -1 - 1. Let f be (4/8)/(z/(-12)). Solve f*y = y for y.
0
Let a be ((-2)/3)/(8/(-72)). Suppose -10*t + 40 = -a*t. Solve h + t = -h for h.
-5
Let y = 21 - 5. Let r be 5 - (-3 - -2 - -2). Suppose -i = -0*i - 4*k + r, 3*i - 4*k + 4 = 0. Solve -y = 4*o - i for o.
-4
Let a(u) = 18*u - 1. Let v be a(1). Suppose v*b = 14*b + 9. Solve b*h = h for h.
0
Let c be 21/(-15) - (-4)/10. Let w be (2 + c)*(7 - 4). Solve -w*a + 6 = -9 for a.
5
Suppose -2*g + 2 = 3*l, -4*g - 16 = 3*l - 7*l. Solve 0 = -l*z - 3*z for z.
0
Suppose 0 = -5*z - 4*d + 7, z + 3*d - 6 = -3*z. Suppose -13 + 49 = 3*u. Suppose l = -3*l + u. Solve z = -l*g - 0 for g.
-1
Let w(c) = -c**3 - 3*c**2 + 2*c - 1. Let d be w(-4). Let i = 15 - 6. Let v(g) = g - 6. Let o be v(i). Solve o*s = d*s - 12 for s.
3
Let c be 2/(-17) - (-38)/323. Solve c*f = 3*f for f.
0
Suppose 5*s - f - 8 = -5*