Solve 0 = -0*o + 3*o + l for o.
-4
Let s = -18 + 22. Solve s*m + 5 = -7 for m.
-3
Let m be (21/2)/((-6)/(-8)). Let n = m - 9. Let v be n/10 + (-5)/(-2). Solve v*o - 12 = -0*o for o.
4
Suppose 2*k + 5*s = 3*k - 36, 3*k = 4*s + 64. Suppose -2*x = -5*z - 3, -3*x + k = -3*z + 7*z. Solve -10 = -q - x*q for q.
2
Suppose 15 - 7 = 2*m. Solve s = 3*s - m for s.
2
Suppose 0 = 2*t - 4*v + 13 - 37, 8 = -2*v. Let o(y) = -y**3 - 4*y**2 + 5*y + 6. Let b be o(-5). Let m = b - t. Solve -w + m*w + 1 = 0 for w.
-1
Suppose v = -3*v + 16. Let x(d) = -d**2 + d. Let m be x(0). Solve v*j = -m*j - 4 for j.
-1
Let i = -90 - -93. Solve i*q - 7 = 8 for q.
5
Suppose g - 3 = -2*g. Let v be 0/g + -4 + 4. Suppose 0*l = 2*l - 8. Solve 8 = l*m - v for m.
2
Let z = -69 - -76. Solve -z = 5*f + 18 for f.
-5
Let r be (-6)/6 + 1*4. Solve -t + 12 = r*t for t.
3
Suppose -13 - 9 = -3*j + 2*a, 2*j - a = 14. Suppose -g = -j + 3. Solve -s + 0*s + g = 0 for s.
3
Suppose -4*r + 5*r = 0. Suppose 0 = -5*v - s + 23, -4*v + s + 3*s + 28 = r. Let w(b) = 2*b**3 + b - 1. Let c be w(1). Solve -3 = -c*l - v for l.
-1
Suppose -2*c = 2*c - 8. Let h be (0 - -1)*c + 8. Solve -l + 3*l = h for l.
5
Let s be 0*(1 - -3)/(-12). Solve s = -n + 3*n + 2 for n.
-1
Let i = 3 + -1. Solve 16 = -i*c - 2*c for c.
-4
Let f be (-54)/90 - 26/(-10). Solve 0 = -f*p - 8 for p.
-4
Let c(k) = -k + 6. Let b be c(0). Let j = 22 - 12. Let s be (j/(-3))/(b/(-9)). Solve 0 = 2*v + s - 13 for v.
4
Let f(l) = l**3 - 4*l**2 - 5*l + 3. Let k be f(5). Let d(m) = 0*m - 2*m - 6 + k*m. Let p be d(7). Solve -2*u + 9 + p = 0 for u.
5
Let p = 16 + 11. Let i be 60/p - (-2)/(-9). Solve i*g = -0*g - 4 for g.
-2
Let m be (-6)/(-1)*(-10)/30. Let u be (m/3)/((-10)/90). Solve 5*j + 4 = -u for j.
-2
Let u(p) = 3*p + 2. Let k(b) = 2*b**2 + 1. Let h be k(1). Let n be u(h). Let x = -7 + n. Solve 0 = -o - x + 9 for o.
5
Let d be (15 - 1) + 0/1. Let t be 12 - 6/4*2. Let f = t - 5. Solve -f*p - 2 = -d for p.
3
Let r be 3/12 + (-15)/(-4). Suppose 2*s = 2, -5*l = -2*l + 4*s - 4. Let t(x) = -x**3 + 6*x**2 - 2*x - 11. Let v be t(5). Solve l*y = -v*y - r for y.
-1
Suppose -3*m + 24 = -m + g, -g = 4. Solve -4*o + 2 = m for o.
-3
Let y(p) = -p**2 + 5*p + 3. Let o be y(5). Suppose 0 = 4*s - o*d - 4, d + d = 0. Solve 7 = 2*l - s for l.
4
Let i = 21 - 18. Solve -1 = i*w - 4 for w.
1
Let k(n) = n**2 - 5*n - 6. Let z be k(6). Solve z*l - 2*l = 2 for l.
-1
Let b = -49 + 53. Solve -b*h + 0 = 8 for h.
-2
Suppose -5*x = 5*l - 95, 4*l - 5*l + 44 = -4*x. Suppose 4*d - 5 = 11. Solve -5*p - l = -d for p.
-4
Suppose 17 = 5*p + 7. Solve -p*f = -2 - 2 for f.
2
Suppose 0 = -2*o + 4 - 0. Solve 3 = o*i - 5 for i.
4
Let c = 11 - 6. Suppose -i + 5*v = -7, -v + 13 = c*i - 4*i. Suppose m - 2*k - i = -3*m, -3*m - 5*k - 4 = 0. Solve -8 + m = -3*b for b.
2
Suppose -5*b + 7*b = 12. Let x = b + -6. Solve 0 = -x*v + 3*v for v.
0
Let w be (-19 + -2)*1 - -3. Let k be (-3)/9*w/3. Suppose -3*o + 4 = -k*o. Solve -o*d + 15 + 1 = 0 for d.
4
Let j(t) = -5*t**3 - t**2 - 2*t - 1. Let f be j(-1). Solve 0 = -f*g + 2*g + 12 for g.
4
Let f = -15 + 20. Solve f*w - 8 = -33 for w.
-5
Let v(b) = b**2 - 5*b + 5. Let c be v(5). Suppose 3*j = -2*p + 19, -c*p + 25 = -0*p. Solve -j = 4*a + 1 for a.
-1
Suppose 2*p + 8 = 2. Let n = p - -5. Solve -n*d + 5*d = 0 for d.
0
Let r = 18 - 15. Solve -r - 2 = 5*u for u.
-1
Let l = -17 + 12. Let y = l + 10. Let b = -3 + 6. Solve b*v = y*v - 4 for v.
2
Let h be 2 - -1 - (1 - 1). Let z be (-4)/(-16) - 28/(-16). Solve z*k + h = 11 for k.
4
Suppose s - 5 = -4, -3*m + 2*s = 8. Let z = m - -1. Let j be 4/((z - 0) + 2). Solve -1 = r + j for r.
-5
Let r be -1*(-13 - -3) + 1. Suppose 3*c + 13 = 2*o, -3*o = 6*c - r*c - 19. Solve 0 = -3*j - 2 + o for j.
2
Suppose -42 = -3*u - 0*u. Let j = -13 + u. Solve -j = -3*w + 11 for w.
4
Suppose 5*y + w = 13, 4*y + 3*w = 2*y + 13. Let v(d) = -d + 2. Let n be v(y). Suppose 0 = 3*c - 0 - 6. Solve -c*u + n*u = -6 for u.
3
Let x be (-1)/((1*-3)/45). Let t = x + 5. Suppose -5*m = -0*m - t. Solve -m*h + 3 = -h for h.
1
Let v(u) = -5*u**2 + 2*u + 9. Let b(h) = 4*h**2 - 3*h - 8. Let p(m) = -6*b(m) - 5*v(m). Let c be p(-9). Solve 2*y - c = 5*y for y.
-4
Let p(f) = -f**2 + 8*f - 7. Let t be p(6). Solve 4*q - t = 5*q for q.
-5
Let t = -72 + 75. Solve 5*o - 4 = t*o for o.
2
Suppose -4*t + 2*n - 4 = t, 0 = -3*t - 2*n + 4. Solve 2 = -2*i - t for i.
-1
Let l be 2 + -3 + (-1 - -1). Let q be 6*(l + 12/9). Solve q*u - 2 = 8 for u.
5
Let x = -74 + 75. Let c(t) = -t**3 - t**2 - 2*t - 2. Let i be c(-2). Let d = i - 1. Solve -a + d = x for a.
4
Let z = -5 + 7. Suppose z*r - f = 0, -8*f = 4*r - 3*f. Solve r = -s - 0*s - 5 for s.
-5
Let t be ((-42)/8)/((-1)/4). Suppose 31 - 6 = -5*n + 5*v, 0 = -3*n - 2*v. Let f = n + 5. Solve t - 6 = f*j for j.
5
Let o = -8 + 11. Solve -10 = o*j - 1 for j.
-3
Suppose 0 = 5*h - 2*b - 183 - 12, 117 = 3*h - b. Suppose h = 4*s - 13. Solve s + 2 = 5*j for j.
3
Let c be (-2)/6 - 17/3. Let v = 0 - c. Suppose v*o = o. Solve o = l - 2*l - 2 for l.
-2
Let y = -18 + 32. Suppose -y = -3*n + n. Let i = -3 + n. Solve 7*f - i*f = 0 for f.
0
Let p(c) = c. Let t be p(3). Solve t*y = -2 + 5 for y.
1
Suppose -3*i = -2*i. Solve 0*t - t = i for t.
0
Let b = 2 + -1. Let l be ((-9)/(-6))/(b/(-2)). Let d be 6/9 - 28/l. Solve -3*q = -q - d for q.
5
Let n(i) = -i**2 + 7*i + 10. Let y be n(8). Solve 15 = r + y*r for r.
5
Let y = 34 - 9. Solve 5*s + 10 = y for s.
3
Let i be -1 - -2 - 3 - -2. Suppose k = 9*k - 128. Solve -3*p - p + k = i for p.
4
Let l(z) = -14*z**3 - 2*z**2 + 5*z. Let n(q) = -5*q**3 - q**2 + 2*q. Let u(x) = 4*l(x) - 11*n(x). Let m be u(2). Solve m = -4*b + b for b.
0
Suppose 8 = 4*x - 16. Let w = 26 - 20. Suppose w*k - 20 = 5*k. Solve 0 = j - x*j - k for j.
-4
Let r(c) = -c**3 + 27*c**2 + 29*c - 24. Let a be r(28). Solve -o + 1 = a for o.
-3
Let s(u) = -u - 3. Let j(t) = t**3 + 3*t**2 - 3*t - 2. Let x be j(-4). Let d be s(x). Solve -2*c - d = 3 for c.
-3
Suppose 2*x - 4 = -0. Suppose -4*f = -3*o - 55, -4*o - 2 = -14. Solve -f = -x*a + 6*a for a.
-4
Suppose d = 6 + 2. Solve 3*v = d*v + 15 for v.
-3
Suppose -4*h + 8 = -3*h - 4*n, 0 = -2*h + 5*n + 10. Solve 3*c = -h*c - 12 for c.
-4
Let c be 0/(-1 - 0/(-1)). Let x(k) = -2*k**2 - k + 3. Let h be x(c). Solve h*p + 0 = -12 for p.
-4
Let l(v) = -11*v. Let r be l(-2). Let w(s) = s**2 - 6*s - 11. Let g be w(8). Let y = -7 - -9. Solve r - y = g*m for m.
4
Let h = -1 - -1. Let y be (2*-1)/(3/9). Let p be (-206)/(-14) + y/(-21). Solve 5*o + p + 0 = h for o.
-3
Let b be 1/(18/(-20) - -1). Let l(o) = -3*o**3 + o. Let t be l(-1). Let s = t - 2. Solve s = 5*h - 3*h + b for h.
-5
Let z(w) = w + 7. Suppose 31 = -4*h + 11. Let f be z(h). Solve -q + 15 = f*q for q.
5
Let p be (2/3)/(3/27). Solve t - p*t = 0 for t.
0
Suppose 5 = -y + 4*p - 2, 5*y + 5*p + 85 = 0. Let o be -3 - y*2/2. Let q(a) = a**3 - 3*a**2 + 4*a - 2. Let v be q(2). Solve l = -v*l + o for l.
4
Let g be -3 - ((-2)/(-8) - 126/24). Solve -5 = n - g*n for n.
5
Suppose -c = -4*r + 21, 0 = -3*c - 2*c - r. Let i be 38/12 + c/6. Solve 5 + i = -4*j for j.
-2
Let b(y) = -y**2 + 6*y - 5. Let f = 15 + -11. Let n be b(f). Solve -c = n*c for c.
0
Suppose 2*m + 4*t - 20 = 0, m - 4*t = -0*m - 14. Suppose m*n = 5*p + 17, -17 = -0*n - 3*n - p. Solve 2*a = -0*a + n for a.
3
Let w(a) = 3*a - 1 + 0 - a**2 - 4*a + 3. Let z be w(0). Solve 12 = z*c + c for c.
4
Let l be (-1 + 2)/((-3)/(-9)). Suppose -22 = -l*q + q. Solve q = 2*p + 3 for p.
4
Let p be 12/(-18)*9/6. Let d be 4/(-1*(-2 + 0)). Let z = d + p. Solve -q + 2 = z for q.
1
Let m(c) = -c**2 + 12*c + 3. Let d be m(12). Suppose 2*u = -3*f + 59, -u = 5*f + u - 97. Suppose -j = -4*a - 13, -j - d = -5*a - f. Solve -3*t + j = -5 for t.
2
Let h = 4 - 13. Let q(k) = -3*k + 20. Let p(l) = 5*l - 30. Let t(x) = 5*p(x) + 8*q(x). Let m be t(h). Solve 4 = r + m for r.
3
Let s be 6/((-9)/6*2 + 5). Solve 4*n - n + s = 0 for n.
-1
Suppose 0 = -0*x + 3*x. Suppose m = 5*h + 36, 0*m - m + 3*h + 28 = x. Suppose -3*n - m = -5*i, n = -i + 14 - 6. Solve -6 = -3*w + n for w.
3
Let j(d) = d**3 + d**2. Let q be 3 + (-1 + -1 - 0). Let i be j(q). Solve -y + i = 3 for y.
-1
Let y be (-8)/(-12) - (-57)/9. Solve -5*l - y - 13 = 0 for l.
-4
Suppose 4*l + 4 = -3*a, l = 3*a - 0*l - 1. Suppose 3*z - 43 - 23 = a. Solve -5*n - z = 3 for n.
-5
Suppose