-o*x for x.
0
Let w be -5 + 4 + (-6)/(-2). Suppose -4*k - 3*p = -w*p - 25, -4*p = 3*k - 35. Solve 4*c = k*c for c.
0
Suppose 0 = f + l, -4*l = -5*l - 4. Solve -6 = f*w - w for w.
-2
Let p(l) = l**2 + 8*l + 9. Let c be p(-7). Let g be 4/(-6) + c/3. Solve g*f = f + 2 for f.
-2
Suppose 3 = 3*i, -2*i + 39 = 5*g + 2*i. Solve -15 = -g*p + 2*p for p.
3
Suppose -2*b = -3*s + 7, 4*s = -5*b - 47 + 18. Let g = 4 - b. Solve -2*a = -5*a - g for a.
-3
Let l be 1 - (-12*1 - -2). Let i be l + 1 + 7 + -9. Suppose i - 2 = 2*p. Solve p*k + 3 = 15 for k.
3
Let x(q) = q**3 - 5*q**2 + 6. Let a be x(5). Let c = 7 - a. Solve -4*r - 7 - c = 0 for r.
-2
Let a(v) = 3*v**3 - v**2 + 2*v - 2. Let d be a(1). Solve 0 = -d*y - y for y.
0
Suppose 3*r = 3*q + 12, 3*q = -3*r - 4 - 2. Let h(s) = -s**3 - 9*s**2 + 5. Suppose 0*m - 45 = 5*m. Let n be h(m). Solve r = -n*c + 6 for c.
1
Let l be ((-1)/2)/(2/(-48)). Let s(p) = 5*p**2 - 18 + p**3 + 0*p**3 + 25. Let h be s(-5). Solve -4*y + h*y = -l for y.
-4
Let r(p) = 7*p - 2. Let i(x) = x. Let a(z) = 6*i(z) - r(z). Let f = 93 - 93. Let t be a(f). Solve j - 7 = -t for j.
5
Let p(l) be the first derivative of -l**3/3 + 7*l**2/2 + 2*l - 4. Let g be p(7). Solve 2*h = -g*h - 20 for h.
-5
Let k(t) = 4 + t**3 + 0*t**3 - 5. Let s = 47 + -45. Let x be k(s). Solve c - 2 = -x for c.
-5
Let s(z) = z**3 + 2*z + 5*z**2 + 6 - z + z. Let m be s(-5). Let x be (-9)/m + 3/(-12). Solve p - x*p = -1 for p.
1
Let v be (10/(-20))/((-2)/12). Solve 3 = v*m + 6 for m.
-1
Suppose -15*u = 18 - 108. Solve 10*b + 20 = u*b for b.
-5
Suppose 0 = 5*u - 25, -3*u + 66 = -2*r + 3. Let x be 2/12 + 4/r. Solve 0 = -x*s + 2*s + 4 for s.
-2
Let y be 6 - (1 + -1 + 2). Let v(c) = c**3 + 3*c**2 - 2*c. Let u be v(-2). Suppose 3*t - u = -f + 9, 0 = -4*t + 16. Solve x - f + y = 0 for x.
1
Let q = -30 - -32. Solve 3*u + q*u - 15 = 0 for u.
3
Let g be (0/2)/(22/11). Solve g*h = h for h.
0
Let h(x) = x**3 - 13*x**2 + 1. Let o(z) = -z**3 + 14*z**2. Let v(k) = 7*h(k) + 6*o(k). Let c be v(7). Solve -c*i = -2*i - 25 for i.
5
Suppose -3*l = -5*h + 7, -2*h = h - 2*l - 4. Solve -1 - h = 3*t for t.
-1
Suppose 43 = 4*q - 1. Let x(t) = t**2 - 8*t + 19. Let r be x(5). Solve 3*b = r + q for b.
5
Suppose 4*v + v + 375 = 0. Let l be (-4)/(-18) + v/(-27). Suppose 0*i + 2 = i. Solve -k - i = l for k.
-5
Suppose 0 = -5*w - f + 20, 0 = -2*f + 4 + 6. Let b(i) = 0*i**3 + i - 1 + 5 - 5*i**2 + i**3. Let j be b(5). Solve 2*l - j = -w for l.
3
Let d(j) = -14*j**3 - 2*j - 1. Let g be d(-1). Let k = -13 - -15. Suppose 3*l = -k*l + g. Solve 14 = l*h + 2 for h.
4
Let z(g) = g**3 - 4*g**2 - 12*g + 1. Let k be z(6). Solve 5*u - 4 = k for u.
1
Let p be (4/(-8))/((-2)/(-120)). Let z be p/40*(-5 - -1). Let d = 53 - 38. Solve 0 = 3*a + z - d for a.
4
Let z be (-6)/21 + (-37)/(-7). Solve z*o = -18 - 2 for o.
-4
Suppose 3*z + 4*u - 71 = 0, 0 = 4*u - 11 - 9. Solve z - 2 = -5*p for p.
-3
Suppose -5*l = -5, -n = n - 4*l + 10. Let q = n - -3. Suppose q = 3*z + 4*h + 7, -3*z - 6*h - 11 = -h. Solve -z*j = 7 - 1 for j.
-2
Let q(s) = s**2 - s + 30. Let j be q(0). Let w = -26 + j. Solve 1 = -w*u + 3*u for u.
-1
Let l(k) = -k**3 - 9*k**2 - 2*k - 10. Let f be l(-9). Let j(o) = o**3 - 7*o**2 - 8*o. Let n be j(f). Solve n = -u + 5 - 3 for u.
2
Let o(t) = -t**2 - 6*t + 10. Let q be o(-7). Solve 0 = q*u + 2*u + 5 for u.
-1
Suppose y + 32 = 5*y. Let v = y - 5. Suppose 4*j - 6*j = 0. Solve j*r = -v*r + 6 for r.
2
Suppose 1 = b - 2. Let t be 117/12 - 1/(-4). Solve -m + b*m + t = 0 for m.
-5
Let s be 27/(-6)*(1 - -1). Let h = 15 + s. Solve 5*x - h = -1 for x.
1
Suppose -124 = s - 5*s. Let z = -19 + s. Suppose -3*g + z = 3. Solve -2*y + g - 1 = 0 for y.
1
Let j(q) = -q**2 + 8*q - 4. Let v be j(7). Suppose 2*k + 8 = v*k. Suppose 2*t = -3*s - 3*t + 12, 2*s - k = -2*t. Solve p - 3 = s*p for p.
-1
Suppose -2*c = -4*c + 8. Let p = c + -2. Suppose -6 = -p*g - 4*u, 5*u = 3*g - 0*u - 9. Solve -12 = -6*v + g*v for v.
4
Let h(a) be the third derivative of a**5/60 - 7*a**4/24 + a**3 - 2*a**2. Let v be h(5). Let w = v - -6. Solve w*q + 0 = -4 for q.
-2
Suppose 46*q - 40 = 42*q. Solve -3*i = -1 + q for i.
-3
Let f(c) = -c**2 - 1. Let q(i) = -i + 1. Let u be q(0). Let w be f(u). Let h be (5/w)/(-5)*0. Solve -3*s + 6*s + 15 = h for s.
-5
Let h be (-2)/(-4)*(-6 + (5 - -1)). Solve 8 = -h*g + 4*g for g.
2
Suppose 2*j + 3*d - 6*d + 12 = 0, -5*d + 20 = j. Suppose 5*s + j*a = 5*a + 20, 0 = s + a. Solve 2*w + 16 = -s*w for w.
-4
Let v = -62 - -62. Solve 0 = 5*c - v*c + 10 for c.
-2
Suppose 0 = -0*i - 2*i + 42. Let w be 99/i + (-2)/(-7). Let a = w + -3. Solve 0*z = a*z - 6 for z.
3
Let d(g) = 2 - 2*g - 2*g + 3*g. Let h be d(-2). Suppose u = h*u - 12. Solve -12 = y - u*y for y.
4
Let c(m) = -m**3 + 10*m**2 - 10*m + 12. Let b be c(9). Solve -g = -b*g + 8 for g.
4
Suppose 3*p - 4 = 11. Solve p = 5*w - 0 for w.
1
Let o be (-2)/(-4) + (-3)/(-2). Suppose 0 = o*y - 5*y. Solve y = i - 1 - 0 for i.
1
Let p(c) = -c**3 - 6*c**2 - 2*c - 9. Let o be p(-6). Solve o*n - 8 = 5*n for n.
-4
Suppose -12 = -o - 4*k, -5*o - 12 = -0*o + 2*k. Let i be o*1*49/(-28). Solve 1 + i = 4*p for p.
2
Let o(l) = l**2 - 1. Let h be o(1). Let v(p) = p**2 + 2*p + 2. Let g be v(0). Solve h = f + g*f - 9 for f.
3
Let i(l) = l**2 - 2. Let x be i(2). Let o be 2/5 + 265/25. Let k = 11 - o. Solve -2*q = -k*q - x for q.
1
Let i(y) = 3 - 4 - y + 7*y. Let u = 140 - 139. Let c be i(u). Solve c = f - 2*f for f.
-5
Suppose 3*g - 21 = 15. Let u(k) = 2*k - 2. Let h be u(3). Suppose h*d = 7*d - g. Solve -4*p - d - 16 = 0 for p.
-5
Suppose -21 = -4*q - 2*a - 5, a - 12 = -4*q. Suppose 5*m - 3*g = 4 - 1, 4*m - 5*g = 5. Suppose 2*r = m, 4*k - q*r - 8 = r. Solve 8 = -5*p - k for p.
-2
Let m be (34/1)/(4 + -2). Let w = -14 + m. Solve -w*a - 10 = -8*a for a.
2
Let d be 2 + (-6 - -3) + -3. Let g = 1 - d. Solve -g - 4 = 3*o for o.
-3
Let o(f) be the third derivative of -f**4/24 + f**3/3 - 3*f**2. Let x be o(-3). Solve -x + 2 = k for k.
-3
Suppose 4*u + 10 = 2*u - 4*d, 5*u - 4*d - 45 = 0. Solve -u*y + 2 = 7 for y.
-1
Let h(m) = -m**2 + 9*m - 10. Let y be h(7). Let g be ((-2)/y)/(3/(-24)). Suppose -10 = -2*w + 4*k, g*w - k + 4 = -5*k. Solve -w = -3*t - 4 for t.
-1
Suppose -4 = -f - 7. Let y be (f/(-1))/(6/30). Let v = -10 + 16. Solve v*j = 3*j + y for j.
5
Let m(t) = 19*t**3 + t**2. Let w be m(1). Suppose -s - 3*s = -w. Suppose -11 = -s*l + 9. Solve 8 = -l*v + 2*v for v.
-4
Let x be 9/((-4)/(8/(-3))). Let k = x + -1. Solve k*j + 20 = j for j.
-5
Let v(r) = -r + 12. Let y be v(12). Solve y*a = 5*a for a.
0
Let m(i) = -i + 10. Let v be m(3). Let p be 6/(-8) - (-165)/44. Solve v*h - p*h = -12 for h.
-3
Suppose 2*g - 3*g + 2 = 0. Solve -g = s + 1 for s.
-3
Let y(u) = u**2 - 15*u + 16. Let l be y(14). Solve l = 2*a - 4 for a.
3
Let o(h) = h**3 - 4*h**2 - 6*h + 6. Let y be o(5). Let z be -2*y*27/(-18). Solve -z = g - 0 for g.
-3
Let b = 44 + -41. Solve -2*s + 7 + b = 0 for s.
5
Let y(o) = o**2 + 25. Let g be y(0). Suppose -5*x - 3*t = -g, 5*t + 1 = -4*x + 21. Solve 2*i - x = -1 for i.
2
Suppose 5*z = 5*a - 6 + 1, 5*a = z - 7. Let d = a - -5. Suppose -d*j = -6*j. Solve 0 = 5*g - j*g + 25 for g.
-5
Suppose 0 = m - 3*q + 10 + 9, 5 = 5*m + 5*q. Let h(w) = -2*w - 5. Let i be h(m). Let d = 6 + -3. Solve 0*y + d = i*y for y.
1
Suppose 4*b + 14 + 6 = -4*j, 3*b - 5*j = 9. Let i be ((-2)/b)/(5/310). Suppose 5*z = -o + 100, 2*z - i = -0*z + 4*o. Solve -z = 5*m - 1 for m.
-4
Let p(h) = -h**3 - 7*h**2 - 6*h + 4. Let t be p(-6). Suppose t*i = i. Solve -4*r + 3 - 7 = i for r.
-1
Suppose -20 = -55*n + 51*n. Solve -13 = -n*i - 8 for i.
1
Let x be (-2)/(-3) - (-40)/(-6). Let v(o) = -19*o - 29. Let u(m) = -9*m - 14. Let s(y) = 13*u(y) - 6*v(y). Let p be s(x). Solve -p = -3*n + 5 for n.
5
Suppose 3*z - 9 = -5*m, -3*m - 3*z - 2*z = 1. Let a be (4/8)/((-1)/(-8)). Suppose -9 = -a*t - 1. Solve -m*s + t = -5*s for s.
-1
Let j(p) = 11*p + 2. Let c be j(1). Let a = c - 11. Solve a*t = -0 + 8 for t.
4
Let g be (-15)/(-6)*(-8)/(-10). Solve -t = g*t for t.
0
Let z = -3 + 7. Solve -z*o + 2 = -5*o for o.
-2
Suppose 0 = -11*f + 7*f. Solve -5*a + 0*a + 5 = f for a.
1
Let d be 36/((-9)/12*-2). Solve -3*o = -9 + d for o.
-5
Suppose -4*q + 8 = 52. Let l(w) = w**2 + 11*w - 8. Let c be l(q). Let h be (-7 - c)*(-1 + 3). Solve 3*t + h = -13 for t.
-5
Let u be (-4*