 for o.
3
Let a = 70 - 50. Let n = a - 11. Let l = 8 - 1. Solve n = -l*i + 4*i for i.
-3
Let t(r) = -r**2 + 7*r + 8. Let z be t(8). Solve 9*i - 4*i = z for i.
0
Suppose 2*t + 2*t - 20 = 0. Suppose -v + 8 = -x + 2, 34 = t*v - x. Let l = v - 4. Solve 0 = -l*j - 2*j - 15 for j.
-3
Suppose 0 = -2*b + 4. Let k(v) = v**3 - 9*v**2 + 8*v + 2. Let i be k(8). Solve -i = -b*x + 2 for x.
2
Suppose -2*o + 0*u = 4*u - 14, -4*u = 4. Solve 0 = -2*r - r + o for r.
3
Suppose 2*x - x = 0. Suppose x = 4*r + 6 - 22. Solve -1 = -c + r for c.
5
Let h = -17 + 20. Solve 23 = -5*y + h for y.
-4
Suppose -4*v + 53 = 41. Solve 0 = -2*d + v*d - 5 for d.
5
Suppose -14 = -5*k - g, 0 = -k - 4*g + 1 - 2. Suppose k*d - 5 = 2*d. Suppose d*u + b - 15 = -2*b, 2*b - 10 = 3*u. Solve u*c = 2*c + 10 for c.
-5
Suppose 2*h = 13 + 3. Solve -4*p = -2*p - h for p.
4
Suppose k - 7*k + 30 = 0. Suppose -j = i, 0*j = i + k*j + 16. Solve -w = -i*w for w.
0
Let z(p) = -3*p + 15. Let o be z(6). Let t(m) = m + 6. Let v be t(o). Solve v*f - 3 = 4*f for f.
-3
Suppose -4*s = 5*r + 4 - 20, -s = -4. Let x = -6 + 4. Let k = -2 - x. Solve k = j - r*j + 5 for j.
-5
Suppose -9*u + 100 = u. Solve q + u = 3*q for q.
5
Suppose -2*u = -3*c + 9, u + 6 = 2*c - 1. Solve 2*t = -5 + u for t.
-1
Let r be (-4)/5 - 42/(-15). Solve 0 = -r*t - 6 - 2 for t.
-4
Let m = -6 + 8. Let f be (9 + -3)*4/6. Let h be 2 - -11 - f/4. Solve 2*i + h = m for i.
-5
Suppose -3*a - a + 12 = 0. Let x be (4/a)/((-1)/(-3)). Solve q = 3*q + x for q.
-2
Let k be 24/18*27/12. Solve -k*i + 12 = -6*i for i.
-4
Let l be (-1)/(-1) + 0 - 1. Let m(x) = 5 + x + 16 + 3*x**2 - 2*x**2. Let q be m(l). Solve 0 = 5*v + q - 1 for v.
-4
Let l(i) = i**3 + 4*i**2 + 4*i + 2. Let p be l(-2). Let k be (10/(-6))/(2/36). Let g be (k/(-14) - 3)*-14. Solve -g = p*d - 5*d for d.
4
Suppose 22*t = 18*t + 8. Solve j = -t*j + 15 for j.
5
Let w(z) = z**3 + 8*z**2 + 5*z - 13. Let o be w(-7). Solve k - o = 2 for k.
3
Suppose -2*z + 2 = -0, v + 6 = 4*z. Let d = v - -5. Solve -d = -h + 2 for h.
5
Suppose 0 = 4*g - 8*g + 8. Solve 2*y + 4 - g = 0 for y.
-1
Let f = 11 + -15. Let b be (6/9)/(f/(-30)). Solve -2*u + b*u + 6 = 0 for u.
-2
Suppose -5 = 5*b, -2*o - 1 = -3*o - 3*b. Suppose 7*c = 4*u + 2*c - 28, 0 = -u - o*c - 14. Solve -6*s + u = -5*s for s.
2
Let m = 0 + 5. Suppose m*z - 8 = z. Suppose z*l = -5*c - 1, -l + 0 = 3*c + 1. Solve -s = -l*s for s.
0
Let o be 1/2 - (-2)/(-4). Suppose -3*z + 0*z - 4*y = -6, -8 = -4*z - 5*y. Solve o = t - 0 - z for t.
2
Let o = 28 - 27. Solve a = o - 0 for a.
1
Let o(n) = 9*n - 1. Let v be o(1). Suppose 0 + v = 2*k. Solve -3*y + k = -y for y.
2
Let l = -24 + 49. Solve l = -2*g + 7*g for g.
5
Suppose -14*o = -11*o - 18. Suppose g = 3*y - 19, 2*g - o*g - 34 = -5*y. Solve -3*j + 0 = -y for j.
2
Suppose 4*w - 2*x + 1 = -3, -2*w = -3*x + 2. Let d be w/(-3) - (-784)/24. Let n be 72/d - (-4)/(-22). Solve n*t + 2 = t for t.
-2
Let l be 1 + -1 + -2 + 5. Let m be -2 + (-4)/6*l. Let p = m + 4. Solve 4*u - 3 - 1 = p for u.
1
Let s(f) = 6*f + 14. Let w(n) = n - 1. Let d(z) = s(z) - 5*w(z). Let o be d(-9). Solve 4*q = -q - o for q.
-2
Let i(j) = j**2 - 5*j - 5. Let w be i(6). Suppose -5*d + 14 + w = 0. Let q be -1 + d + 4 + -2. Solve 3 = -7*k + q*k for k.
-1
Suppose -u - 75 = -3*x, 4*x - 6*u + 3*u - 100 = 0. Solve 3*j = -2*j - x for j.
-5
Let f(v) = -3*v**3 - v**2 + 1. Let u be f(-1). Suppose 0 = -3*d - 15, -41 = u*l - 2*d + 6*d. Let k be (-16)/l + (-6)/21. Solve -t - k = 2 for t.
-4
Suppose 3*w - 2 = 1. Suppose 12 = 3*d + d. Suppose -d*p - 8 = -2*x, -x - w + 5 = 3*p. Solve 0 = -p*l - 3*l for l.
0
Suppose 4*n = 2*n + 4. Let a = 4 + n. Let v be 0 + a/(-3 + 6). Solve v*m = 4 + 2 for m.
3
Suppose -4*c + 2 = -3*v, 5*v + 2*c - 14 = -0*v. Suppose 2 = 2*x + x + 4*p, v*x - 6 = 2*p. Solve -4 + 8 = -x*s for s.
-2
Let l be (-8)/(-6)*(-3)/(-1). Suppose -9 = -3*p - 0*p. Let o = 0 + 1. Solve -o = -p*q + l*q for q.
-1
Let o = -19 + 39. Suppose 2*y - o = -4. Solve -3*p + p = -y for p.
4
Let y(k) = 3*k**2 + 2*k - 2*k**2 - 3*k**3 + k**3 + k**3 - 1. Let n be y(1). Solve n = -2*i + 3*i for i.
1
Suppose -p = 4*p - 20. Suppose 4*l = p*m + l - 5, 2*m + 5*l = 9. Solve -2*t + 4 = m*t for t.
1
Let v = -2 + 23. Suppose v = 5*p - 4. Solve 0 = -0*b + b - p for b.
5
Suppose -33 = -m + 5*p, m - 4*p - 4 = 3*m. Solve 0 = 5*j - 3*j - m for j.
4
Let t(u) = -2*u**3 + 2*u**2 - u - 2. Let i be t(-3). Let a be 2/5 - i/(-5). Suppose 4*n = n + a, l + n = 9. Solve -c + 3 = -l*c for c.
-1
Let c(b) = -4*b**3 + 1. Let g be c(1). Let v be ((-40)/(-6))/(g/(-9)). Solve v = -10*z + 5*z for z.
-4
Suppose 11 = 5*r - k + 33, 4*k + 12 = -5*r. Suppose -24 = 4*d - 0. Let b = r - d. Solve -b*v + 4*v = 0 for v.
0
Let k be 20/(-30) - 2/(-3). Solve k*f - f = -5 for f.
5
Let z = -2 - -1. Let h be 3 + 0 - z/(-1). Solve 3*r = -h*r for r.
0
Let t = -116 + 70. Let s = -26 - t. Solve -4*o = o - s for o.
4
Suppose -5*m = -3*n + 19, 2*n - 6*n = -4*m - 12. Let w(o) = o + 9. Let v be w(m). Suppose -5*x = -2*d + 7, v*d = 4*x - 3 + 23. Solve -d = 3*c + 9 for c.
-5
Suppose b - 2*i = 55, 2*b - 3*b + 55 = 4*i. Suppose -2*w + 34 = 5*x, 5*x - b = -7*w + 2*w. Solve -2*q = -1 - w for q.
4
Suppose 5*s + 14 = 4*a - 14, -5*a - s = -6. Suppose 0 = -d - 3*p - 0 + 6, 18 = 3*d - 5*p. Suppose 5*v = 4*v - 4*w, 0 = 4*v + 2*w. Solve d = -a*m - v for m.
-3
Suppose 0 = 4*h - 2*a - 0 + 14, 4*a = -2*h - 2. Let c be ((-4)/3)/(h/9). Solve 4 = -c*l - 12 for l.
-4
Let d = 20 - 14. Let l(h) = -h**2 + 5*h + 6. Let u be l(d). Suppose -4*i = 3*b - 7, -3*b - 5*i = -5 - 0. Solve 0 = -b*o - u*o for o.
0
Let v(k) = -3*k**2 - 4*k - 3. Let l(j) = -2*j**2 - 5*j - 4. Let c(g) = 3*l(g) - 4*v(g). Let r be c(-1). Solve 0 = -4*s + r*s + 5 for s.
-5
Let d be (0 - 3) + 11 - 4. Solve 7*u - d*u = 0 for u.
0
Let y be 8/(-10) - (-1)/(-5). Let j be (0/(0 + y))/1. Solve 4*h = -j + 4 for h.
1
Suppose -2*x + 12 = 4. Let c(h) = -6 - 7*h - x*h + h - h**2 - h. Let v be c(-10). Solve -3*t - t = v for t.
-1
Let z(a) = a**3 + 10*a**2 - 11*a + 6. Let o be z(-11). Suppose 10 = o*b - b. Solve -b - 6 = -4*v for v.
2
Let o be ((-2)/4)/(1/(-4)). Suppose -5*d = -4*t + 16, 3*d + t - 2 - 2 = 0. Solve d = 3*y + o*y + 20 for y.
-4
Suppose -3*x - 80 = -7*x. Solve 5*u - 5 = -x for u.
-3
Let i(q) = 3*q - 2. Let h be i(2). Let s(o) = -o**3 + 2*o**2 + 3*o - 3. Let j be s(2). Suppose j*p = 5*p - h. Solve 8 = -p*f + 4*f for f.
4
Suppose -k - 3*k + 8 = 0. Suppose 2*z + 3*z + 206 = -2*x, 2*z + 5*x + 95 = 0. Let f = -20 - z. Solve 2*y = -k*y - f for y.
-5
Suppose 4*u - 7*u + 3*b + 201 = 0, 5*u + 5*b = 335. Suppose -3*m = -4*m + u. Let g be m/5 - (-2)/(-5). Solve -g = 5*x - 3 for x.
-2
Suppose -2 = -5*n + 3. Let x = 2 + n. Let u(i) = 3*i - 3. Let o be u(2). Solve 2*f + x = -o for f.
-3
Suppose -255 = 5*x - s, x + 5*s - 51 = 2*x. Let t be x/(-9) + 2/(-3). Let l = t + -2. Solve -l*z + z = -6 for z.
3
Suppose t - 3 + 1 = 0. Let j = -6 + 9. Solve j*k = k - t for k.
-1
Suppose 3*t + 12 = i - 4*i, -5*i + 4 = -t. Solve i*h = -2*h + 4 for h.
2
Let t(y) be the third derivative of y**6/120 - y**5/30 - y**4/8 - 5*y**3/6 + 2*y**2. Let x be t(4). Solve 0 = -11*l + 6*l - x for l.
-3
Let k(y) be the first derivative of -3*y**2/2 - 2. Let u be k(-1). Solve u*b + 0 - 6 = 0 for b.
2
Suppose 4 = t + 4*k, 2*t + 3*t = 2*k + 86. Solve 2*f - 6*f = -t for f.
4
Let t(q) = q**2 + 7*q - 13. Let j be t(-9). Solve -j = -3*a + 1 for a.
2
Let h(u) = u**3 - 2*u**2 + 1. Let k be h(2). Solve -v = -k + 2 for v.
-1
Let l(c) = -2*c**2 + 8*c - 2. Let a be l(3). Solve u - 5 + a = 0 for u.
1
Suppose 0 = 5*l + 3 + 2. Let f(p) = -3*p - 1. Let a be f(l). Suppose 3*o = -5*y + 35, -5*o - 2*y = -4*y - 79. Solve r + a*r = o for r.
5
Suppose 5*l + 4*y + 16 = 0, 3*y = -0*l - 3*l - 12. Let f(d) = d**3 - 7*d**2 + 3. Let v be f(7). Let q = v - l. Solve -3 = q*o + 9 for o.
-4
Let f(g) = -g + 9. Let h be f(5). Solve 0 = w - 0*w + h for w.
-4
Let o be 11/44 - 11/(-4). Solve 0 = o*z - 6*z for z.
0
Suppose 2*u + 1 = 9. Let l be (-4)/(-10) - 28/(-5). Let j be 26/l - 2/6. Solve j = 2*d - u for d.
4
Let a = -21 - -33. Suppose 0 = g - 4*x, -g - 4*x = -x - 7. Solve -g*j = -j - a for j.
4
Let g be 35/(-14) - 1/2. Let p(h) be the third derivative of h**6/120 + h**5/30 - 5*h**4/24 - h**3/3 + h**2. Let a be p(g). Solve -a*o + 0 = -4 for o.
1
Let c(x) = -4*x - 1. Let 