olve 1 + l = -3*o for o.
-1
Let g(x) = -x + 10. Let f be g(-5). Let t be f/10 + 1/2. Solve 7*r = t*r for r.
0
Let w(v) = v**2 - 5*v + 2. Let k be w(5). Solve 0*i - k*i - 4 = 0 for i.
-2
Let z(q) = 2*q - 7. Let u be z(5). Let t(b) = -13*b - 3. Let x be t(-2). Let w = -14 + x. Solve -w - u = 4*g for g.
-3
Suppose 15 = -2*z + 4*j + 5, 0 = -5*z + j + 20. Let s be (z/2)/(2/4). Solve s*r - 3*r + 10 = 0 for r.
-5
Let h be (5 + -4)*(1 + 2). Suppose 0 = 3*v + u, 0*v = 2*v + h*u. Solve v*l = -l for l.
0
Suppose -3*y - 4*l + 23 = -3, 20 = 4*l. Solve -3*j = y - 8 for j.
2
Let f(l) = -l**3 + l**2 - l + 4. Let x be f(0). Let y be x - 1 - -1 - 1. Solve y*a = 7*a for a.
0
Let g be 2/(-5) + (-32)/(-5). Suppose 0*r + g = r. Solve -4*a = -a - r for a.
2
Let d(p) = -p**3 - 10*p**2 - p - 2. Let w = -5 + -5. Let h be d(w). Solve 3*a = h*a - 15 for a.
3
Let o = -5 + -3. Let b = o + 10. Solve -v - b*v = 6 for v.
-2
Let d(k) = -k**2 + 8*k + 14. Let m = -6 - -15. Let h be d(m). Solve n = h*n + 16 for n.
-4
Let l = -1 + 1. Let b(a) = -a**3 - 2. Let p be b(l). Let c = 3 - p. Solve c = 5*g - 0 for g.
1
Suppose -3*i + 6 = 4*c, -2*i - 3*i - c - 7 = 0. Let b = i - -2. Suppose -5*l = -v + 21, -4*l - 5 = 4*v + 7. Solve 3*z - v + 4 = b for z.
-1
Let z(g) = g**3 - 8*g**2. Let a be z(8). Suppose a = 6*v - 2*v. Solve 0 = -2*c - 4 - v for c.
-2
Suppose 0 = 8*b - 13*b + 50. Solve -3*k + b = 4 for k.
2
Suppose -7*o + 9*o - 4 = 0. Solve o*b + b = 0 for b.
0
Let r(y) = -2*y**2 + 0*y**2 + 3*y**2 + y**3 - y. Let t be r(0). Let u = t + 2. Solve -a = -3 - u for a.
5
Let d = -62 - -62. Solve -4*f + d - 8 = 0 for f.
-2
Suppose 0 = 5*t - 2 - 8. Suppose -2 = -2*o + t. Solve 2*s = -o*s for s.
0
Suppose -2*n + 4 = 0, -4*w + 12 = -3*n - 2. Solve 26 = w*t + 6 for t.
4
Suppose 7*w = 3*w + 24. Solve 0 = f + 2*f - w for f.
2
Suppose 28 = 10*u - 132. Solve -2*v + 6*v = -u for v.
-4
Let w = -17 + 21. Solve -4 = -2*j + w for j.
4
Let s = -62 - -69. Solve 5*d - s*d = 0 for d.
0
Suppose -4*c + 4 = -4. Suppose r - 3*r = -c*z - 50, 3*r + z - 75 = 0. Solve -r + 10 = 3*i for i.
-5
Let y(q) = 2*q**2 - 3*q - 3. Suppose -l - 1 = -4. Let k be y(l). Solve k = -i - i for i.
-3
Suppose 2*o = 3*o + j + 3, 4*o - 3*j - 9 = 0. Let v be 356/22 + (-4)/22. Solve -4*k + o*k - v = 0 for k.
-4
Let g = -124 + 126. Solve -g*t = -10 + 4 for t.
3
Suppose 5*o - 19 = 1. Solve 12 = -0*l - o*l for l.
-3
Let x(w) = w**3 + 7*w**2 - 9*w - 4. Let t be x(-8). Suppose 8 + t = 2*u. Suppose -3*b - a = -u*b - 1, 5*a = 20. Solve -b = -3*c + 2*c for c.
1
Suppose -2*a + 0*a + 4*g = 4, 5*a - 3*g - 18 = 0. Suppose -a = -s - 4. Let j = 12 - s. Solve v - j = -v for v.
5
Let t(h) = 78*h**2 + 2*h + 1. Let s be t(-1). Let r be (-1)/(-4) - s/(-28). Suppose 17 = u - r. Solve -u = -z - 3*z for z.
5
Suppose 3*l + 16 - 52 = 0. Let y = 10 + 5. Suppose -2*i = -s - 2 - 4, -y = -5*i + 2*s. Solve -r + l = i*r for r.
3
Suppose 0 = 4*y - 6*y - 10. Let f(l) = l**3 + 4*l**2 - 8*l - 5. Let v be f(y). Solve -30 = -4*u - v for u.
5
Let w(v) = -v**2 - 8*v - 4. Let k be w(-7). Suppose -k*x - 2*s + 14 = 0, 3*x - 3*s = -2*s + 2. Solve -2*l - x = -4 for l.
1
Suppose -s - 2*s + 2*c = -8, 3*c = s + 2. Solve -6*t - s = -4*t for t.
-2
Let r be (-2)/4*6 - -1. Suppose 0 = -4*v - 5*b + 11, 2*v - 4*b + 4 = -10. Let s be -1 + v - (r - 0). Solve j + j - 6 = s for j.
3
Suppose 5*q - 25 = 5*c, -7 = -2*q - 2*c + 3. Let o be 2/4 - 7/(-14). Let n = o - 1. Solve -q*z + 4*z + 3 = n for z.
3
Let h be ((-5)/2)/((-10)/8). Solve -q + 3 + h = 0 for q.
5
Suppose -j - 2 = g, -3*g - 18 = -j - 4. Solve j*x + 0 = -2 for x.
-1
Suppose -5*i + 28 = 4*a, a - 3*i + 2*i + 2 = 0. Solve a*b = b for b.
0
Let s(u) be the first derivative of 2/3*u**3 + 3*u**2 + 3 - 5*u. Let p be s(-5). Solve 5 = 5*t - p for t.
4
Let m be (0 + 27/6)*-24. Let x be m/8*(-2)/3. Let o = x + -6. Solve -7*r + 8 = -o*r for r.
2
Suppose q = -3*i + 10, -i + 2*i - 14 = 5*q. Let y be 340/90 + i/18. Solve 9*s = y*s - 10 for s.
-2
Suppose l + 3*x = -2*l + 9, -l + 5*x - 3 = 0. Solve l*j = -2 - 0 for j.
-1
Let n(c) = 2*c**2 + 3. Let a(o) = 3*o**2 + 5. Let r(y) = 5*a(y) - 7*n(y). Let x be r(0). Suppose 3*u = u. Solve -j + u = x for j.
-4
Let m(d) = 2*d - 7. Let h(i) = i - 4. Let o(p) = 5*h(p) - 3*m(p). Let y be o(-1). Let s be -1*(-1 + y - 2). Solve 0*l = -l + s for l.
1
Let x = -3 - 14. Let i = -17 - x. Solve i = -y + 5 - 0 for y.
5
Let h = 8 - 4. Let m = -2 + h. Solve 0*b - 8 = -m*b for b.
4
Let b(n) = -n - 1. Let d be b(-10). Let l(c) = -c**3 - 5*c**2 + 4*c - 8. Let r be l(-6). Solve -r*a - 29 = -d for a.
-5
Let m be (-3)/(-36)*21 + (-1)/(-4). Solve k = -2 - m for k.
-4
Let y be 7/(-56) - (-243)/24. Solve 5*z - 7*z + y = 0 for z.
5
Let y(i) = 1. Let r(o) = -o + 6. Let v(b) = -r(b) + 6*y(b). Suppose 0 = -5*l + 5 + 15. Let c be v(l). Solve z = -z + c for z.
2
Let z be (-21)/27 + 2/(-9). Let i be 6 - (-1 - (-2)/z). Let v = 9 - i. Solve 2*n - 4 = -v for n.
2
Let o(f) = 14*f + 22. Let c(x) = 9*x + 15. Let v(j) = -8*c(j) + 5*o(j). Let y be v(-9). Let q(b) = -b + 12. Let p be q(y). Solve -t = -p + 1 for t.
3
Suppose -5*u + u = -8. Solve -3 - 1 = u*w for w.
-2
Let p be 2*10/(-4) + 0. Let a be (-2 - p) + -3 + 3. Solve -3*d = -a - 3 for d.
2
Let w be 8/(-28) - (-74)/14. Let d = w - 7. Let k be (d - (2 + -2)) + 4. Solve 0 = -5*n + k + 8 for n.
2
Let q = -10 - -15. Solve 3 = -q*p + 8 for p.
1
Suppose y = 5*y. Solve y = 2*w - 0*w - 10 for w.
5
Suppose -4*k - 1 = -21. Solve -k = n - 2 for n.
-3
Let f be (4/6)/(1/48). Let b = f + -19. Suppose -o - 2*o + 4*t = 0, 1 = o - t. Solve -o*z = b - 5 for z.
-2
Let o = 112 + -101. Solve -o = 4*x - 3 for x.
-2
Suppose 17*d = 16*d + 3. Let y be -1*(-1)/2*8. Solve -s + d*s = y for s.
2
Let q(m) = -2*m + 7. Let p be q(3). Solve -4*k - 15 - p = 0 for k.
-4
Suppose 3*x - 14 = 1. Suppose x*z + 0 - 10 = 0. Solve z*u + 3 = 11 for u.
4
Let j(i) = i**2 + 11*i + 11. Let r be j(-10). Suppose -r = h - 0. Let x = h - -4. Solve -2*m - 1 + x = 0 for m.
1
Suppose -q = -3*i + 4 - 19, 3*q + 2*i = -10. Solve q*p + 3 = p for p.
3
Let i(o) = -o - 4. Let g be i(-8). Solve -g*n = -n for n.
0
Let j be 6 - ((-4)/(-4) + 1). Let z = 1 + 5. Solve -j*p + z = -p for p.
2
Let k = 2 - -2. Let a(p) = -p**3 + 4*p**2 + 3. Let y be a(k). Solve 2 + 7 = -y*m for m.
-3
Let f = -5 - -7. Suppose -r - 3*m + 15 = -6*m, 3*r = 4*m + 30. Let k be (-4)/6 + 16/r. Solve -f*q + k = -q for q.
2
Suppose 3*t - 5*t = -4. Suppose -4*s = -t*y - 0 - 2, -5*y + 5*s = -5. Solve -f = y*f for f.
0
Suppose 0*t + t = -4*b - 19, 5*b = -5*t - 20. Let w(z) = 3*z**3 - z**2 + z. Let j be w(1). Let l be (-1*t)/((-1)/j). Solve l = -g + 4 for g.
1
Let g be 5 + (-36)/28 - 4/(-14). Solve g*f = 7*f - 9 for f.
3
Suppose 3*k - 11 = -5*o + 5*k, 2*o - 3*k = 0. Let a(y) = -4*y - 2 + 2 + y**2 + o*y. Let z be a(0). Solve z*x = -x for x.
0
Suppose -2*g + 7 = -1. Suppose 5*w + 3*n - 2 = 4*n, 2*n = g*w + 2. Solve k + w = 2 for k.
1
Suppose 4*s - 1 = 4*d + 3, 5*d - 15 = s. Let l(y) = 2*y**3 + y**2 - y + 1. Let t be l(1). Let g(u) = -u - 3. Let i be g(-6). Solve -i*j = -d*j - t for j.
-3
Suppose -5*u - 13 + 2 = -n, -5*u - 27 = -2*n. Let w be (1*4)/(n/8). Solve w*t = -t + 12 for t.
4
Suppose -2*p + 5 = -25. Solve 9*m = 4*m - p for m.
-3
Let u = -28 - -40. Solve 2*p + u = -2*p for p.
-3
Let f(t) = -t**2 + 8*t + 8. Let a be f(8). Solve a = 3*y + y for y.
2
Suppose -7 = -5*m + 3. Solve 7*z = m*z - 20 for z.
-4
Suppose 50 = -4*d - 6. Let q be (-11)/(-2) - 7/d. Solve 2 = -2*w + q for w.
2
Suppose -3*b + 2*b = 0. Solve b = -3*h + 2*h - 1 for h.
-1
Let x be (3*-3)/(5 + -6). Let a = -7 + x. Solve -5 = -a*l + 1 for l.
3
Suppose r = f + 4*r + 3, f - r = 5. Let l = f + -2. Let z be (-2 + l)*-1 - -4. Solve 0*m - 5 = z*m for m.
-1
Suppose 5*g = 25, -5*g + 27 = -7*t + 8*t. Solve -t*n + 5 = 1 for n.
2
Let m = -30 + 35. Solve -5*y + m = -0 for y.
1
Let i(f) = -f**3 + 12*f**2 - 10*f - 11. Let w be i(11). Solve 5*k + w*k = 20 for k.
4
Let t(d) = -d + 2. Let n be t(0). Suppose -n*b = 3*w - 12, 3*w = -0*w - 4*b + 6. Solve -p = p + w for p.
-3
Suppose o + 3*o = 4*s, 5*s = -3*o + 8. Let z be 0*(0 - 1)*o. Let h = 46 + -46. Solve h = q - z*q - 4 for q.
4
Let z be ((-3)/(-3) + -4)/(-3). Solve 2*f + z = -3 for f.
-2
Let f be -2 - 3 - 0/2. Let q be (-2)/f - 152/(-20). Suppose q*g = 6*g + 6. Solve 0 = i - g*i for i.
0
Let d(h)