x = o - 12. Solve -2 = -b - x for b.
1
Suppose 5*y - 9 - 6 = 0. Let r(a) = -58 + 54 + 3*a**y - 4*a**3 + 3*a**2 + 3*a. Let f be r(3). Solve 0*g + g + f = 0 for g.
-5
Suppose 0 = 2*m - m - 3. Solve m*o - 16 = -o for o.
4
Suppose 4*n + 8 = 2*k - 10, 2*n = 4*k - 24. Solve 0 = -3*t - k - 7 for t.
-4
Suppose -5*z - 20 + 55 = 5*v, z = 3*v - 5. Solve 0 = -4*b - v + 15 for b.
3
Suppose -2*r - l + 6 = 0, r - 3*l = l - 15. Solve -1 - r = z for z.
-2
Let y be (-1 + 3/6)*0. Suppose y = h + h - 10. Solve 4*t + h + 3 = 0 for t.
-2
Let s(r) be the third derivative of -r**6/120 - r**5/20 + r**3/2 + r**2. Let i be s(-4). Let q = i - -1. Solve -4*u = -0*u + q for u.
-5
Suppose -5*r = -3*g + 5, 18 = -3*g - r - 1. Let h = 3 - g. Suppose 4*v + 6 = -v - 4*n, -h = 2*n. Solve p = v*p - 4 for p.
4
Let k = 2 + 6. Let j be (-1)/2*k/(-2). Solve 0*r = -r - j for r.
-2
Suppose 0 = -2*c - 3*c + 4*b - 22, -c = -2*b + 8. Let r be (-4 - -1 - c) + 1. Suppose r = -5*z + 3*k + 28, 0 = -z - k - 4*k. Solve -z*u - 8 = -u for u.
-2
Let z(s) = -4*s - 9. Let g be z(10). Let k = g + 74. Suppose y + 2*w = 1 + 5, -5*y = 5*w - k. Solve -13 = -3*b - y for b.
3
Suppose 20 = -4*c, -c - 12 = q + 2*c. Solve 1 = -2*k - q for k.
-2
Let q = -101 - -103. Solve -q*h = 3*h - 10 for h.
2
Suppose 3*l + 0*d - 5*d = -5, 3*d - 3 = l. Solve -s + 3*s + 10 = l for s.
-5
Let h(g) = -2*g - 2. Suppose -l + 0*l - 5*d - 23 = 0, -3*l + 5*d = -11. Let x be h(l). Solve -2*q = 4 + x for q.
-4
Let x = -19 - -20. Solve -5*b - x = -11 for b.
2
Suppose 8 = -f + 3, -30 = -d + 5*f. Suppose 0 = -d*m + 10. Let x = 4 + -1. Solve -m*y = -x*y + 5 for y.
5
Let z be 0*(6/(-12) + (-6)/(-4)). Solve z = a - 0*a for a.
0
Let m be (-32)/(-12)*(9/(-2))/(-3). Solve m*z + 6 = z for z.
-2
Let o(i) be the third derivative of -i**6/120 - i**5/60 + i**3/2 - 2*i**2. Let m be o(0). Suppose -5*q - m*r = -22, 6*q + 2*r - 18 = q. Solve t = -1 + q for t.
1
Let y be (14 - -1)*20/(-6). Let v be (-6)/(-27) + y/(-18). Solve 0*h = v*h - 12 for h.
4
Suppose 3*o - o = 6. Suppose -q + o = 0, -7*q = -5*v - 4*q + 96. Solve 9 = -3*j + v for j.
4
Let c = 29 - 25. Solve -2*k = -3*k + c for k.
4
Let n(u) = u**3 - 10*u**2 - 10*u - 7. Let z be n(11). Solve 5*x = 29 - z for x.
5
Let w(x) = -2*x + 19. Suppose -32 = 10*k - 14*k. Let t be w(k). Solve -t*l + 3 + 0 = 0 for l.
1
Suppose 13*k - 9*k - 40 = 0. Let o = 31 - 31. Solve o - k = -2*q for q.
5
Suppose 3*s - 4*h + 12 = 0, 4*s + 2*h = -0*s - 16. Let t = s - -4. Solve t = -5*m + 3*m for m.
0
Let f be (-1 - 12)/(4/(-8)). Let t = f + -18. Let v be 2/t - (-3)/(-12). Solve -3*s = -v*s + 12 for s.
-4
Suppose 3*h = 2*i - 4, -4*h = -i - i + 2. Let y be (-4)/(1 - 3) + h. Let w = 13 + -12. Solve 0 = z - y + w for z.
3
Suppose h = 4*h - 24. Suppose 3*s - 13 = -d, 2*s + 4*d = -0*s - h. Suppose -m = 5*r - s*m - 5, 15 = 5*m. Solve 4*o = -0*o + r for o.
1
Suppose -6 = 3*d - 6. Solve -2 = p - d for p.
-2
Suppose 5*m - 10 = 0, m + m = 3*a - 2. Suppose -a*s - s + 5*i = -17, -s = -2*i - 6. Solve -s*q = -0*q - 8 for q.
2
Suppose -4*f - 4*a = 16, -16 = 4*a - 0*a. Suppose -2*l + 3*l = 4. Suppose 5*w = s - 9, s + f*w - 8 = l*w. Solve s*i = -i for i.
0
Suppose -2*r + 3 = -5. Let v(x) = x + 4. Let d be v(-4). Solve d = r*z - 3 - 1 for z.
1
Let l(a) = -3*a**2 + 2*a + 2*a**2 + 2*a + 2*a + 8. Suppose j + 4*j + 18 = 3*h, -2*h = -3*j - 12. Let w be l(h). Solve 3*d = d + w for d.
4
Suppose -4*g = -38 + 10. Let n be (2 - 5 - -1) + g. Solve -n = 4*m + 3 for m.
-2
Suppose -5 + 25 = -2*i. Let q be (i/(-4))/(1/(-2)). Let t = q - -7. Solve u = -u - t for u.
-1
Suppose 2*r = -0*z - z - 2, 4*r = -12. Let i be 2/(-4) - (-124)/8. Suppose 0 = 5*p - i, q + 2 = 2*p - 3. Solve o = q + z for o.
5
Let u(a) = a**3 + 6*a**2 + 3*a - 6. Let t = 9 - 18. Let f = t + 4. Let s be u(f). Solve -s*o = 8 - 4 for o.
-1
Let k = -8 + 16. Suppose 0*r = -y + 4*r - k, -3*y + 3 = -3*r. Suppose 4*q = -3*a + 20, -4*a - y*q + 18 + 6 = 0. Solve j + 3 = a*j for j.
1
Let a = -2 - -5. Suppose 0 = -a*s - s + 32. Let l be (2/2 + -1)/(-2). Solve -c - c - s = l for c.
-4
Let s be (-4)/6 + 65/(-15). Let u = 17 + s. Solve -2 = -5*x - u for x.
-2
Suppose 4*m - 1 - 3 = 4*f, 0 = 5*m + 2*f - 5. Solve -2 - m = -3*w for w.
1
Let d be 9*(-4)/54*-6. Solve -d*s + 11 = 3 for s.
2
Suppose -4*q - q = 0. Solve 2*d + 3*d + 10 = q for d.
-2
Let h(s) = s**3 + 7*s**2 - 3*s + 4. Let j be h(-7). Suppose -6*a + j = -a. Solve a*o = -9 - 6 for o.
-3
Suppose -3*m + 5*m - 3*k + 13 = 0, -5*m = 4*k - 2. Let f be ((-6)/(-4))/(m/(-24)). Let o be 1/(2/f - 0). Solve -4*s - o + 1 = 0 for s.
-2
Let i = 9 + -2. Solve 0 = 4*h + 27 - i for h.
-5
Let o be 12/5 - (-2)/(-5). Suppose -5*b = -o*b. Solve -4*d + 7*d - 12 = b for d.
4
Suppose -4*u + 8 = 0, t - 3*u = -u - 1. Suppose w = -0*w + 3. Suppose -3*h = -w*n - 8 + 20, h + 28 = 4*n. Solve -t*x + 10 = -n*x for x.
-2
Let n be (0 + 1)/(1/(-5)). Suppose 0*r - 5*r - 30 = 0. Let l be 0/1 - (r - n). Solve -2*w + w = l for w.
-1
Let d = -85 - -88. Let u(b) = -b - 2. Let o be u(-4). Solve o = d*f - 7 for f.
3
Let o be 1 + 0 - (-8)/2. Suppose 0 = -2*c + 3 - 9, 3*t + o*c + 9 = 0. Solve 1 = l + t for l.
-1
Let z(s) = -3*s. Let m be z(-2). Let r be ((-2)/(-1))/(2/(-8)). Let l(b) = -b**3 - 9*b**2 - 10*b - 6. Let i be l(r). Solve -m*n + n = -i for n.
2
Suppose 3*k = 2*k - 0*k. Solve k = -2*d - 3*d + 20 for d.
4
Suppose -5*p + 5*g = -35, 4*g = -3*p + 2*p - 3. Suppose -p*m + 7*m = 10. Suppose -3*z + 0*t + 14 = -t, 0 = z + t + 2. Solve z = m*o - 2 for o.
1
Let d = 1 - 6. Let m = d + 7. Solve m*b - 6 = 2 for b.
4
Let i(n) = -n**3 - 7*n**2 - 8*n. Let r be i(-6). Suppose j - 5*j + r = 0. Suppose 0 = 2*p - 4, p - 6 + 4 = -3*y. Solve j*f + 4 - 16 = y for f.
4
Suppose -7 = -2*n + 3. Suppose -n*r - 12 = -3*r. Let p(f) = -f - 6. Let x be p(r). Solve t = -x*t + 3 for t.
3
Suppose -13*w - 18 = -15*w. Solve 6 + w = 5*k for k.
3
Let x(l) = 2*l**2 - 3*l + 6. Let k be x(3). Solve 3*y = -6 + k for y.
3
Suppose 5*r = -2*f - 37, -r = 2*f - 5*r - 8. Let h = -9 - f. Let g be (1 - h - 2) + 1. Solve -5*b = -g + 8 for b.
-1
Let y(q) = -q + 21. Let r(p) = 2*p - 43. Let i(j) = -6*r(j) - 11*y(j). Let o be 2/4 - 1/2. Let w be i(o). Solve 5*t + 2 = w for t.
5
Suppose 0 = -3*l - l + 8, -3*x + 2*l = -2. Let m = -4 - -7. Solve m*f = -x*f - 20 for f.
-4
Let l(d) = -4*d - 1. Let b be l(-1). Suppose -b*u - 32 = -4*z, 2*z = -3*z + 2*u + 33. Let r = 5 - 3. Solve -r = -z*w + 3 for w.
1
Suppose 4*l - 28 = 8*l. Let n = l + 7. Solve n*h = h for h.
0
Suppose 0 = 2*n - 4*c - 12, 3*c = 2*n - 6 - 3. Solve 3*v = -n*v + 12 for v.
4
Suppose 4*c = 35 - 11. Suppose 2*r = -c, -2 = 2*j - 2*r - 14. Solve j + 9 = -3*o for o.
-4
Suppose 4*x + 13 = 5*w + 5*x, -2*w + 5*x = 11. Suppose 3*n - w*l = 1, 2*n = -2*l + l + 10. Let m(h) = -7*h + 1. Let r be m(-1). Solve 5*j + n - r = 0 for j.
1
Suppose -5*g = -9*g + 20. Solve -g*r + 5 = -4*r for r.
5
Suppose 0 = -3*r + 4*t + 24, 2*r - 20 = 5*t - t. Let a = r + -1. Solve -a*w - 12 = w for w.
-3
Let j be 2/3*(6 + 6). Let p be ((-39)/6)/((-4)/j). Solve -3 = -4*g + p for g.
4
Let n(d) = -d**2 - 6*d + 5. Let u be n(-4). Let m(w) = w - 13. Let y be m(u). Solve 3*t = -y*t for t.
0
Let g = 0 + 4. Let x be g/(-10) + 87/5. Suppose 3*n + 2*o - x = 0, -4*n + 23 = o + 2*o. Solve 8*a = n*a for a.
0
Suppose -3 = 9*v - 21. Solve -15 = v*k - 5 for k.
-5
Let f be (32/20 - 0)*10. Solve -1 = -5*y - f for y.
-3
Let b = -165 + 180. Let f(o) = -o**3 + 4*o**2 + 6*o - 5. Let k be f(5). Solve 3*j = b - k for j.
5
Let j = -5 - -12. Solve 2*s + j + 3 = 0 for s.
-5
Let c be 10*(-3)/6 + 10. Solve 0 = c*o - 7*o - 6 for o.
-3
Let b(a) = -a**3 + 6*a**2 - 4*a - 3. Let d be b(5). Solve 3*v + d*v = 15 for v.
3
Suppose -5*v - 4*k - 10 = 0, -4*v + 3*k + 28 = -k. Suppose -16 = 5*d - n, -23 = v*d + 4*n + 1. Let w be (d + 0)/((-3)/6). Solve -4*c + 0*c = w for c.
-2
Suppose -3*p + 4*n + 49 = 0, 6*p - 4*p + 5*n - 25 = 0. Let v be (2*-1)/((-6)/p). Solve r - 1 = -v for r.
-4
Suppose -5*m = 2*r - 10, 4*r = r + 3*m + 36. Solve -1 = 3*n - r for n.
3
Let h = -4 + 7. Solve 7 = h*r + 4 for r.
1
Let k be 24/20*(-6 + 1). Let c(z) = z - 4. Let g be c(k). Let u be (g/(-15))/(1/15). Solve 4*r = -r + u for r.
2
Suppose 12 = i - 3*u, u + 4 = -2*i + 21. Solve -i*k + 4*k - 10 = 0 for k.
-2
Suppose -3*d + 13 = 2*v - 7*v, d - 5 = 2*v. Suppose 3*a - 17 = k, -5*a + 