Solve 1 = o*u + 6 for u.
-1
Let p be (2*(-1)/(-5))/(6/30). Solve 2*l + p*l - 12 = 0 for l.
3
Let c = -2 - -11. Solve -o = 2*o + c for o.
-3
Let t = -9 + 1. Let y = t + 8. Solve y = s - 0*s - 5 for s.
5
Let m be -4 - (1 - (3 + 0)). Let l be (-10)/(-4) + 1/m. Solve r = 6 - l for r.
4
Suppose -5*d = 4*q - 0*d, 5*d = q. Suppose q = -p + 4*z - 16, -3*p + 5*p = 2*z - 2. Solve -5*f + 4*f = -p for f.
4
Let w(r) = 9*r - 103. Let m be w(12). Let p be (-1 + 1 - 0) + 0. Solve p*q - m*q = 0 for q.
0
Let r = 8 + -32. Let k = -4 - r. Solve v = -4*v - k for v.
-4
Let s be -2*(-2)/(-8)*0. Suppose 3*u = -1 + 40. Let o = u - 11. Solve f = -s*f + o for f.
2
Let v be (-46)/(-8) + (-3)/(-12). Let z = v - 0. Suppose 4*x = 0, -4*b = -2*b - x - z. Solve 2*p + b = -7 for p.
-5
Let l(v) = -4*v - 4. Let i be 15/(-6)*(1 + 1). Let b be l(i). Solve 4*n = 4 - b for n.
-3
Let b(h) = h + 4. Let o be b(-4). Solve -5*k + 2*k + 15 = o for k.
5
Let r(k) = k - 6. Let m be r(7). Let z be (9 - 8)*(1 + -1). Solve z = p - 4 + m for p.
3
Let k(i) = -i**3 - 4*i**2 + 6*i + 6. Let v = -25 - 2. Let g be 47/(-9) + (-6)/v. Let j be k(g). Solve h - j = 3 for h.
4
Let t = -28 - -30. Solve -10 = -4*a + t for a.
3
Let v be (12/(-15))/(10/(-25)). Solve -v*i - 3 = 1 for i.
-2
Let q = -8 + 6. Let o(n) = -n**3 - n**2 + 2*n + 3. Let u be o(q). Solve -u + 11 = 4*t for t.
2
Suppose w = 2*w - 2. Let z be (-3 + 5/1)/w. Solve 2*g = 3*g + z for g.
-1
Let z = 0 + 5. Solve -9 = -z*o + 1 for o.
2
Suppose -2*f + 4*c = -f - 20, -f - 2*c = -8. Solve -3*y - f = -0 for y.
-4
Suppose -7*f = -4*f - 3. Let p = 0 - 0. Let z be f*7 - (1 - p). Solve 0 = -5*m + z + 9 for m.
3
Suppose -4*a + a + 30 = 0. Suppose 14 = 4*p - a. Solve p*h = 2*h + 4 for h.
1
Let d(t) = t**3 + 2*t**2 - 5*t - 4. Let k be d(-3). Suppose -14 = 2*h - 4*v, 2*h - v + k = -0*h. Solve -1 = q + h for q.
-2
Let i = -47 + 50. Solve 0 = j - i - 1 for j.
4
Let y be 70/22 - 2/11. Suppose 0 = -u - y*u. Solve f - 2*f + 3 = u for f.
3
Let v be 16*((-2)/(-4))/1. Let b = -5 + v. Let q = 17 + 0. Solve -b = 4*p + q for p.
-5
Let c be 4 - (0 + -2 + 0). Suppose -5*d - 1 = -c*d. Solve -4*j - 11 = d for j.
-3
Let m be (-2 - 15/(-6))*-6. Suppose -6 = -5*l + 4*c, c - 28 = 4*l + 6*c. Let p be (0*m/(-6))/l. Solve p = -2*f - 0 + 2 for f.
1
Suppose 6 = -3*m + 5*s, s + 6 = 3*m - 0*s. Suppose 5*v = -2*l + 47, -3*l = -m - 0. Let a = 3 + v. Solve -a = 2*n + 2*n for n.
-3
Let v be (-2)/((1/(-2))/1). Suppose s - 3*o = 11, v*s + 6 - 18 = -4*o. Solve -s*i - 20 = -i for i.
-5
Let u = -15 + 19. Solve 0 = -u*s - 18 - 2 for s.
-5
Suppose 0 = 2*r - 2 + 2. Solve r = -b - 2*b - 15 for b.
-5
Suppose 0 = w - 5*j - 38, 160 = 3*w - 4*j + 68. Solve 5*l + w = 8 for l.
-4
Suppose 2*s = -5*x + 29, 4*s - x - 1 = s. Suppose -y = -s*y + 11. Let z = y + -8. Solve -z - 1 = -o for o.
4
Let f(s) = s**2 - 8*s + 7. Let n be f(7). Solve -a + 1 + 3 = n for a.
4
Let b be 404/44 + ((-12)/33)/2. Solve 4*v + b = v for v.
-3
Suppose -15 = 3*a - 6*a. Suppose l + z - 3*z = 6, 2*z + 22 = a*l. Let f = 0 + 0. Solve l*g + g + 25 = f for g.
-5
Suppose -4*t = -2*t + 2*v, -8 = 3*t + 5*v. Solve 12 = -4*f - t for f.
-4
Let u(t) = t**3 - t**2 + 7. Let g be u(0). Suppose 3*q - g = -3*a + 5*a, -q + 5*a = 15. Solve q*d + 20 = d for d.
-5
Let j = -26 + 36. Suppose -2*t + 4 - j = 0. Let d be t/(1/(-2) + -1). Solve 2*a + 16 = -d*a for a.
-4
Suppose 5 = -2*c + 2*z + 15, c - 2*z - 10 = 0. Solve -4*g - 30 + 10 = c for g.
-5
Let p(j) = j**3 + j**2 + j - 1. Let d be p(2). Let y = d + -5. Solve b + y = -b for b.
-4
Suppose -3*u + 28 = 5*h, 2*h - 16 - 12 = -4*u. Suppose -n + u = -0*n. Solve -n = 2*x - 2 for x.
-2
Suppose -2*s + 8 = -2*d, -s + 4 + 2 = -3*d. Let r = -3 - 3. Let t = s - r. Solve 4*v = v + t for v.
3
Suppose -74 + 9 = 5*b. Let k = b + 24. Solve -4*o = -k - 9 for o.
5
Let f be ((-4)/(-12))/((-2)/(-30)). Suppose 42 = -4*l + f*r, 0*r - 38 = 4*l - 3*r. Let p = 14 + l. Solve 4*d + 6 + p = 0 for d.
-3
Let s be 0/((-20)/(-6) + (-2)/6). Solve s = 4*a - 3*a - 5 for a.
5
Let d(g) = 4*g + 51. Let h be d(-12). Solve -5*x - 22 = h for x.
-5
Let q(d) = -2*d**2 - d + 5. Let i be q(0). Solve 0 = -3*v + 2*v - i for v.
-5
Suppose 19 = 2*h - 21. Solve 3*z + h = -2*z for z.
-4
Let s(h) = 4*h**2 - h. Let g be s(1). Solve g*x + 10 - 1 = 0 for x.
-3
Let s(l) = -l**3 - 14*l**2 - 2*l - 26. Let f be s(-14). Solve v + f = -2 for v.
-4
Suppose -s + 4 - 2 = 0. Let a = 5 - -5. Suppose 5*w + 4 = 2*i, -3*w - 5*i = -0*w - a. Solve -6*c + s*c = w for c.
0
Let b(x) be the third derivative of x**5/60 + 3*x**4/8 + 2*x**3 - 3*x**2. Let t be b(-8). Solve t = -3*h + 2*h for h.
-4
Let b(t) = 3*t**2 + 46*t + 17. Let a be b(-15). Solve -a*s - 8 = -0*s for s.
-4
Let p(q) = -q**3 + 13*q**2 - 13*q + 15. Let n be p(12). Solve 0 = n*k - 8*k + 25 for k.
5
Let v = -8 + 12. Suppose v*k = -k + 10. Solve 1 = 3*z - k for z.
1
Let j(h) = h - 5. Let d be j(6). Let s = 24 + d. Solve 5*g = -s - 0 for g.
-5
Let m(u) = -4*u. Let k be m(-2). Solve 7 = -5*n - k for n.
-3
Let q = -4 + 4. Suppose q*t - t = 0. Let g(r) = r**3 - 5*r**2 - 5*r - 2. Let p be g(6). Solve -3*d + p*d + 1 = t for d.
-1
Suppose 2*u + 12 = n - 12, 3*u - 4 = -n. Suppose -3*t = -5*t + n. Solve z + t = -z for z.
-4
Let w be (-2)/13 - (-1737)/(-117). Let p be (-4 - 2)/(w/20). Solve -p = -5*h - 23 for h.
-3
Let y = -91 + 107. Solve y - 4 = -3*g for g.
-4
Let p = -9 + 34. Let n be (-6)/15 - (-10)/p. Solve -q + 0*q + 4 = n for q.
4
Let h(s) = -3*s**3 - 8*s**2 + 2*s - 11. Let a(p) = p**3. Let g(l) = 4*a(l) + h(l). Let y be g(8). Solve 2 = -3*u + y*u for u.
1
Suppose -3*o - 6 = -3*u, -u - o = -1 - 5. Solve j = -u*j - 5 for j.
-1
Let d = -2 + 3. Suppose -2*j - 3 = -d. Let w = 1 - j. Solve i = 3 - w for i.
1
Let c(l) be the first derivative of -l**3/3 - 5*l**2 - 5*l - 2. Let f be c(-9). Solve -f*h = -10 - 2 for h.
3
Let w be (-2)/(-11) + 48/(-22). Let u = w - -2. Solve u*a = -2*a for a.
0
Let y(b) = 3*b - 82. Let m be y(31). Solve 0 = 3*l + 4 + m for l.
-5
Let w be (-2 + 2 - -8) + 0. Let c = w - 4. Solve 8 = c*b - 12 for b.
5
Let g(l) = l**2 - l - 3. Let a be g(3). Let r be a + -6 + (-2)/(-2). Let y be 2 + (19 - r - -2). Solve -6*v + v + y = 0 for v.
5
Suppose 5*o + 15 = -5*q, -o + 5*q + 3 = -12. Solve o = -2*c - 6 + 4 for c.
-1
Let a = 11 + -8. Solve d - a = 4*d for d.
-1
Suppose -5*o - 20 = -4*z + 24, -3*o = 5*z - 18. Solve -3*n - 3 = -z*n for n.
1
Let o be 12/(-10)*(-5)/2. Solve 0*f + f = o for f.
3
Let o be 6*(-1)/(-4 - -3). Let m be ((-3)/o*0)/2. Solve -4*a = 16 - m for a.
-4
Suppose l = -58 + 64. Solve l - 3 = -c for c.
-3
Suppose 0 = 4*t - 22 + 2. Solve -t*s = -7 + 22 for s.
-3
Let u = -10 + 8. Let i be 6 + (-1 - u) + -3. Solve p - 20 = -i*p for p.
4
Let r(b) = -b**2 - 5*b + 7. Let a be r(-5). Let n(y) = y**2 - 7*y + 2. Let t be n(a). Solve 0 = t*l - 3*l + 1 for l.
1
Suppose -2*z - 1 - 2 = n, 2*n - 5*z = 21. Suppose -3*b + 1 = -2*b - x, -n*b = 4*x - 24. Solve -5*j - 1 = b for j.
-1
Suppose 0 = -9*j + 4*j. Suppose q = 2 - j. Solve -6 - q = 2*t for t.
-4
Suppose 5*n = -2*x + 19 + 17, -x + 27 = 4*n. Let q(p) = -p**3 - p**2 - 2*p. Let m be q(-1). Solve -m*v - n = -0*v for v.
-3
Let c(v) = v**2 - 4*v. Suppose -f - 5 = -3. Let d be (24/(-9))/(f/3). Let b be c(d). Solve b = 2*y - 0*y for y.
0
Suppose -2 = -4*c + 10. Suppose 0 = -0*d + 3*d. Suppose d = -5*y + 5*p - 2 - 23, -2*p = c*y - 10. Solve -5*x + y - 10 = 0 for x.
-2
Let i(l) = -l + 9. Let y be i(7). Solve 0 = a - y*a + 3 for a.
3
Suppose -2*i = 1 + 1, i = 2*x - 7. Suppose 5*m - n = -0*n - 1, 5*m = 5*n - 5. Let p = x + m. Solve p*j = 2 + 1 for j.
1
Suppose s + 2*m - 10 = -0*m, 14 = -3*s + 5*m. Solve s*w = 7*w for w.
0
Suppose -f + 5*y = f - 15, 2*y + 6 = 4*f. Solve f = 3*k - k for k.
0
Let s be -4 - -1 - (10 - -1). Let a = -8 - s. Let x = 1 - -2. Solve -r = a - x for r.
-3
Let a = 0 - -3. Suppose 0 = -5*j - 2*u + 9 + 3, j - 5*u = -3. Solve j*l - a = 3 for l.
3
Suppose 0 = -5*d + 5 + 20. Let b(m) = m**3 + 6*m**2 - 8*m - 3. Let k = 12 + -19. Let q be b(k). Solve -6*u = -d*u + q for u.
-4
Let f be (-36)/24*(0 + -2). Solve 1 + 8 = f*x for x.
3
Suppose 3*n = 5*n - 16. Solve -4*g = -n*g + 8 for g.
2
Suppose 2*h = 3*n - 9, 4*n - 2 - 10 = -4*h. Suppose 3 = 3*p - n. Solve 0*w - 10 = p*w for w.
-5
Let p = 9 - 15. Let m = 12 + p. Let x be 15/m*8/10. Solve x*k - 4 = 4*k for k.
-