 + 0 = -u. Suppose -2*g - u*g = 0. Solve g = -4*x + 4 for x.
1
Let c be (-12)/(-8) + 2/(-4). Suppose 0*s + c = s. Solve -m = -s - 2 for m.
3
Let k be (-4)/((10/(-8))/5). Let p be 1/(-3) + k/3. Suppose 0 = -m - p*h - 10, 38 = -0*m + 3*m - 2*h. Solve -4*u + m = u for u.
2
Suppose -4*f = -4*r + 4, -3*r - 5 = -8. Solve 4*u = -f*u for u.
0
Let p be 2/4*(7 + -3). Solve -2*y - p*y + 20 = 0 for y.
5
Let m(p) be the third derivative of p**6/120 + p**5/10 - p**4/12 - 4*p**3/3 + 2*p**2. Suppose -2*f + 7*f + 30 = 0. Let h be m(f). Solve 25 - 5 = h*s for s.
5
Suppose -2*i + 6 = -0*j - 4*j, -5*j - 15 = -5*i. Let r = 71 + -66. Solve x - r = -j for x.
5
Let d(m) = -m + 3. Let y be d(0). Solve c + y + 1 = 0 for c.
-4
Let c = 1 - 4. Let w be (-3 + 1)*c/2. Suppose u - 8 = -w*f, -11 = -2*u - 5*f + 5. Solve 2*z = 4*z + u for z.
-4
Let s = -26 + 37. Suppose -5*u + 8 = -y, 5*y = -2*u + s + 3. Solve y*a + 20 = 6*a for a.
5
Let m = -2 - -6. Suppose -m*j = -j - 6. Suppose -3*r = -1 - j. Solve 2*x + 3 = r for x.
-1
Suppose -5*y + 0*d - 2*d + 15 = 0, -d = 2*y - 7. Let n be -2 + y + 6/2. Solve 7 + 3 = n*w for w.
5
Let s = 18 + -15. Solve 12 = s*o + o for o.
3
Suppose -q = -2*q. Let k be 2 + -1 + (0 - 1). Solve c + k*c + 4 = q for c.
-4
Let w = -28 + 18. Let r = -6 - w. Solve -r*u = -2*u - 6 for u.
3
Let w(u) = -u**2 + 6*u + 2. Let y be w(6). Suppose -r = f + f - 15, -y*r + 20 = 2*f. Let k = 5 + 5. Solve -v - k = -f for v.
-5
Suppose -3*u + 4*p + 36 = 8, 4*p = 2*u - 24. Let a = -2 + u. Solve -q = -a*q for q.
0
Let b(h) = 4*h**3 + 3*h**2 - 3*h + 2. Let x be b(2). Suppose -5 = 5*y - x. Solve 4*n - 13 - y = 0 for n.
5
Suppose 6*o = 2*o + 12. Let p(f) = -f - 1. Let k be p(-1). Solve k*i + i = o for i.
3
Let x(o) = o**2 + 2*o - 3. Let b be x(2). Suppose -5*f + b*w + 28 = -f, 0 = f + 3*w + 10. Solve 2 + f = p for p.
4
Let a be 10/(-3) + (-4)/(-12). Let i be 2/(a/(18/(-3))). Solve 3*r = 2*r - i for r.
-4
Suppose 0 = -5*d - 0*d + u + 25, -2*d + u + 10 = 0. Let i = -1 + d. Solve i*r + 2 = 5*r for r.
2
Suppose -4*k - 3*o - 7 = 0, 3 + 2 = 5*k + o. Solve 0 = -4*t + 6 + k for t.
2
Suppose 0 = 3*w - 6. Suppose w = -0*k + k. Suppose 10 = d + 4*d - 4*g, 2*d - k*g = 4. Solve d*m = m for m.
0
Let i = 25 + -16. Solve 0 = x + 2*x - i for x.
3
Let h be (-14)/(-2)*(-4)/(-14). Solve 2*t - 16 = -h*t for t.
4
Suppose 5*w = 2*y - 12, -2*y + 25 + 5 = 4*w. Let b = 17 - y. Let k = 8 - b. Solve -k*p + 4*p = -4 for p.
-2
Let f(a) = -a**3 - 4*a**2 - 9*a - 13. Let i be f(-3). Solve i*k = 4 - 29 for k.
-5
Let c(d) = -3*d + d + 6*d - 3*d - 3. Let m be c(3). Solve 0*n - 2*n = m for n.
0
Let i be (1/(-2))/(2/(-8)). Suppose -2*l = l - 6. Suppose 0 = 5*j - l*m - 23, 3*j - 1 = -0*m - i*m. Solve -f = j*f for f.
0
Let s(v) = -v**3 - 4*v**2 - 3*v + 1. Let p be s(-3). Let x be ((-1)/p)/(3/(-15)). Solve 0*i = -x*i + 10 for i.
2
Let w be (2 + -5)*1*(-2 + 1). Solve w*r = 4*r - 4 for r.
4
Let v(j) = -j**3 - 2*j**2 + j - 2. Let k be v(-3). Let c(b) = 22*b**2 - b. Let w be c(-1). Suppose 1 = 4*a - w. Solve -k = -5*g + a for g.
2
Suppose 2*o + 1 = 43. Let v be 6/o + (-16)/7. Let g be (4/6)/(v/(-75)). Solve -g = -6*k + k for k.
5
Let q = -19 + 24. Let z = -8 + 11. Suppose -6 = -z*t + 6. Solve q*i - t = 11 for i.
3
Let o(w) = w**2 + 6*w - 2. Let l be o(-7). Suppose l*j + 6 = 16. Solve -s - j*s = -12 for s.
4
Let c(p) = 2*p**2 - 7*p + 1. Let n be c(5). Solve -u = 3*u + n for u.
-4
Let s = 5 + -4. Suppose x - s = 2*x. Let u = 1 + x. Solve u + 2 = 2*q for q.
1
Suppose -7*r = -2*r - 40. Solve 3*t = 7*t - r for t.
2
Suppose -4*k - 3*y = 0, -5*k - 2*y + 5 = -2. Let p(u) = 3*u + 0 + 2*u - 10*u - u**2 + 6. Let h be p(-5). Solve -k*m + h = -0 for m.
2
Let m(l) = l**3 + 6*l**2 + 6*l + 1. Let q(h) = h**2 - 20*h + 15. Let i be q(19). Let w be m(i). Let a(y) = 2*y - 6. Let f be a(4). Solve t + f*t = w for t.
3
Suppose 5*a + 4 = -2*c + 33, 3*c + a = 11. Suppose c*x - 1 = x. Let i(q) = -q**2 + 2*q - 1. Let u be i(x). Solve u = -o + 2 for o.
2
Suppose 4*v - 5 - 11 = 0. Suppose 4*x - v*k = 40, 0 = 3*x - 6*x - 2*k + 5. Solve x*n - 13 = -33 for n.
-4
Let c(p) = p**3 - p**2. Let r = 2 - 2. Let s be c(r). Solve u + 0*u = s for u.
0
Suppose -2*b = -d - 4*d - 34, -5*d = 20. Solve b + 5 = 3*o for o.
4
Suppose -h + 6 = -5. Suppose 4*y - 6 = -2. Solve 3*o - h = y for o.
4
Let q = -15 - -17. Solve -5*o + q = -3 for o.
1
Suppose 2*y - 7 + 1 = 0. Suppose -p + y - 1 = v, 4*p + 28 = 5*v. Solve v*n = -0*n - 8 for n.
-2
Let s(f) = f**2 - 2*f + 3. Let c be s(3). Let y be 3 - c/(0 - 2). Solve -5*l + 4 = -y for l.
2
Let y(q) = q**2 + 5*q - 4. Let s be y(-8). Solve 2*v + 3*v = s for v.
4
Let x(a) = -a**3 + 4*a**2. Let l be x(4). Suppose -2*d + 7*d = l. Solve -20 = 4*k - d for k.
-5
Suppose -4*y + c = -9, 0*c - 4 = -y + 2*c. Suppose -k + y = k. Suppose 0 = a - 3*q + 9, 5*q + k = -2*a + 16. Solve -p + 4 = -a*p for p.
4
Suppose 0 = 2*u - 3*i + 7, 5 = -5*u + 5*i - 0. Let a(s) = s**3 + 5*s**2 - 8*s - 9. Let j be a(-6). Solve k - u + j = 0 for k.
1
Let l = -2 - 0. Let p(h) = h**3 + 3*h**2 + 4*h + 2. Let a be p(l). Let k = 0 - a. Solve k = -2*m + 6 for m.
2
Let b be 329/(-63) - 2/(-9). Let m be 8/10 + (-21)/b. Solve -m*p = 13 + 7 for p.
-4
Let c = 6 - 4. Let m be (-2)/(-12) + (-94)/(-12). Suppose 5*r = 4*p - 6*p + m, -20 = -4*r - 5*p. Solve r - 2 = c*q for q.
-1
Suppose 2*n = m + 2, -3*n + 2 = 5*m - 1. Let a(r) = -3*r + 2. Let k be a(-1). Let w be 9*k/((-15)/(-2)). Solve m*u - w = -3*u for u.
2
Suppose 2*x - 9 = -x. Let n = x - 1. Let y = 8 - n. Solve -3 + y = -v for v.
-3
Suppose -x - 17 = 3*b, 5*x + 2 + 23 = -3*b. Let o be (-17)/b - (-4)/(-10). Solve o*g = -2*g + 20 for g.
4
Let q(f) = -f**2 - 5*f - 2. Let k be q(-3). Let b be 1/k - (-8)/(-32). Solve -d - d = b for d.
0
Suppose -2*i - 30 = -7*i. Let f = -3 + i. Solve -w + 2*w = -f for w.
-3
Let y = -35 - -50. Let x be (1 + y/9)*12. Suppose -3*v + x = 3*s - 13, 5*v + 5 = 3*s. Solve -5*w = -10 - s for w.
4
Let g(j) = j**3 + 9*j**2 + 8*j + 5. Let w(n) = n**2 + 8*n - 1. Let k be w(-7). Let o be g(k). Solve h - o = -6 for h.
-1
Let u = -69 + 75. Solve -4*y + u = -2*y for y.
3
Let b(c) = 11*c + 15. Let i be (3/6)/((-1)/26). Let y(s) = 5*s + 7. Let z(w) = i*y(w) + 6*b(w). Let m be z(1). Solve -5*u + m*u = -25 for u.
5
Let i = -30 + 50. Let h be (-62)/(-5) + (-4)/10. Suppose -4*q + q + h = 0. Solve q*o = 8*o + i for o.
-5
Let a(g) = -1 - 1 - 2 - 6*g + g**2. Let v be a(7). Suppose 2*j - 3*j = -v. Solve m = 8 - j for m.
5
Let b(h) = 2*h**3 + 5*h**2 - 7*h - 11. Let u(x) = x**3 - x**2 - 1. Let n(z) = -b(z) + u(z). Let m be n(-7). Solve -o + m = o for o.
5
Let m(l) = -l + 4. Let x be m(3). Let a be 4*(3 + x + -2). Let q = 11 + -9. Solve 0*r + a = q*r for r.
4
Let s = -35 + 42. Solve 5 = s*x - 2*x for x.
1
Let m(q) = -12*q - 56. Let d be m(-5). Let h(v) = -v**3 - 4*v**2 + 4*v - 4. Let o be h(-5). Solve -d = 5*z + o for z.
-1
Suppose -30 = -5*h + 5*k, 5*h + 0*k + k = 18. Suppose g + h*o = 16, 3*g + 2*o = -o + 3. Let n be (g + 7)/((-3)/(-2)). Solve -n*s = -7*s for s.
0
Suppose -b + 2 = -2*d, 0*b = 3*d - b + 2. Let a be 0*(-1 + 0 + d). Let f = 14 - 4. Solve f = 2*i - a for i.
5
Let k be -3 + 3 + 2*-3. Let t be (-4 - k) + 4/2. Solve -2*i + t + 2 = 0 for i.
3
Suppose -7 = -2*l - 1. Solve l + 22 = 5*j for j.
5
Let c(u) = u + 2*u - 3*u - u + 9. Let d be c(4). Solve d = k + 7 for k.
-2
Let t = 11 + -9. Solve 0 = -d + t - 7 for d.
-5
Suppose -5*x + 1 = 2*a, 0 = a - 2*a - 5*x - 2. Solve -7 + a = b for b.
-4
Let y(a) = -a**3 + a**2 + a + 2. Let l be y(0). Let u be 21/(-6) + l/4. Let q = u - -6. Solve q*c - 4*c = -3 for c.
3
Suppose 3 = -4*z - 9. Let p be 5 - -2*z/6. Suppose -p*x + 7 = -9. Solve -2*r = -x*r - 6 for r.
-3
Let a(h) = h**3 + h. Let w(c) = -c - 1. Let j be w(-1). Let k be a(j). Let g = 4 + k. Solve g = 2*x - 6 for x.
5
Suppose -10*x + 23 = -7. Let c(y) = -y + 8. Let k be c(0). Let l be ((-10)/(-4))/(4/k). Solve 2*d = -x*d - l for d.
-1
Suppose 4*q = 28 + 28. Suppose 4*v + 6 = q. Suppose -h = v*h. Solve h = -6*o + 3*o for o.
0
Let n = 7 - 4. Let s = -3 + n. Solve 0*z + z + 2 = s for z.
-2
Let o(g) = 2*g**2 - 2*g + 5. Let h(j) = 5*j**2 - 5*j + 11. Let a be (1 - 8)*(-2 + 3). Let q(p) = a*o(p) + 3*h(p). Let r be q(2). Solve -3*t + r*t = -3 for t.
1
Suppose 3*h = z - 21, 5 = 4*z + h - 14. Suppose -z*a + a = 0. Suppose a*r + 6 = 