l - 0*l - 8 for l.
-4
Let j be 18/(-15)*5/(-2). Solve -j*o - 10 = -1 for o.
-3
Let x(o) = -o**2 - 9*o - 20. Let t be x(-5). Solve t = 5*v + 2 + 13 for v.
-3
Let t be (1 - 2)/((-5)/10). Let m be 1 + t/(-4 + 2). Suppose -w + 11 + 9 = m. Solve 4*z - w = -z for z.
4
Suppose f + 0*f = 0. Solve -2*j + f - 6 = 0 for j.
-3
Let z = -2 + 3. Let v be -8*z*(-18)/24. Let b = -11 + 13. Solve -b*h = h - v for h.
2
Let u = 28 + -28. Solve -v = -u - 2 for v.
2
Suppose 3*l + 3*p = -3, -3*l - p + 3 = -2. Solve 0*n + 3 = -l*n for n.
-1
Let o(n) = -n - 14. Let j be o(-15). Solve -x = j + 2 for x.
-3
Suppose -2 = -3*b + 7. Let c(r) = r**2 + 18*r + 23. Let d be c(-17). Solve -d*x + b*x + 3 = 0 for x.
1
Let d be ((-1)/(-3))/(8/120). Solve 0 = -0*k - k - d for k.
-5
Let h = 13 - 9. Suppose j = -t - 3*j + 23, -5*t = -h*j + 5. Solve 5*l - t = 7 for l.
2
Suppose -3*s + 1 = -11. Suppose 4*f - 2*f - 5*m = -5, 0 = -4*f - m + 1. Solve f = s*r - r for r.
0
Let s(g) = -g**2 + g + 3. Let f be s(0). Suppose k - f*o + 6 = 4*k, 5*o - 6 = -4*k. Solve -k*r = -15 + 3 for r.
3
Suppose 5*v = -3*l + 13, -1 = -v - l + 2. Let a be 0/(1/(-2)*v). Let g be 6 - 1/(-1 - a). Solve -4*k + g = -9 for k.
4
Let c(z) = 5*z - 2. Let t be c(1). Solve -t*d + 8 = d for d.
2
Suppose 0 = 3*p - 0*p + 111. Let j be p*(1 + -2) + -2. Let x be 23/7 - 10/j. Solve x*i + i = 0 for i.
0
Let n(i) = i - 3. Let y = 0 - -6. Let f be n(y). Solve f*k + 11 = 2 for k.
-3
Suppose -4*x + 21 = 3*x. Solve -x*t + 8 = t for t.
2
Suppose q = 3*y + 3, -4*y - 2 - 50 = 4*q. Let p = 11 + q. Solve 4*t = p*t - 8 for t.
-4
Let g be (-1)/(2*1/18). Let b be (-44 - 1)*3/g. Solve b = 5*d - 5 for d.
4
Let v be (-2 + 9)*(-60)/(-105). Let j be (0/2)/(2 - 3). Solve j*l = l + v for l.
-4
Let u = -27 + 28. Solve 0 = -j - u + 4 for j.
3
Suppose 4*s - 16 = 0, 2*w - w - s = -2. Suppose -12 = -w*b - 4. Solve b*y + 16 = 4 for y.
-3
Let m be 95/15 + (-2)/6. Let h(v) = -v**2 + 7*v - 2. Let p be h(m). Solve -11 = -p*l + 5 for l.
4
Let o(r) = 6*r - 10. Let w be o(2). Solve -w*q + q - 3 = 0 for q.
-3
Suppose 0 = 3*y - 6 - 0. Let w(h) = h**3 - 7*h**2 + 7*h - 3. Let f be w(6). Suppose -15 + f = -2*g. Solve -s + g = y for s.
4
Suppose 0 = -3*i - y + 3*y + 1, 2*y - 7 = -5*i. Let k(m) = 9*m**2 + m. Let l be k(i). Suppose 0*z + 7 = 3*n - z, -l = -2*n + 2*z. Solve -n - 9 = -5*r for r.
2
Let g be (3 + -3)/((-1)/(-1)). Let p(a) be the second derivative of -a**5/20 + 2*a**2 - 2*a. Let c be p(g). Solve 0 = -y - c + 7 for y.
3
Let d = -40 + 42. Solve 2 = 2*k - d for k.
2
Suppose 0 = -l + c - 10, 3*c - 46 = 5*l + 2*c. Let s = -14 - l. Let k be (-1)/s + 28/10. Solve 4*o = 3*o - k for o.
-3
Let d(s) = s**2 + 5*s - 4. Let z be d(-5). Let q = z + 12. Solve 3*c - q*c = 10 for c.
-2
Let c be (-3 - (-2 - 0))*-5. Suppose -60 = -c*b + b. Solve b = 8*p - 3*p for p.
3
Let u = -7 - -11. Suppose 3*g - 51 = -3*d, 0 = -4*g - 3*d - 19 + 85. Solve -p - u*p = -g for p.
3
Suppose 0 = n + n - 40. Let g = n - 35. Let s = g + 23. Solve 2*l + s = -2*l for l.
-2
Let m(p) = 7*p + 29. Let f be m(-4). Solve 0 = g + 3 - f for g.
-2
Let b(c) be the first derivative of -c**4/12 + 7*c**3/3 - 7*c**2/2 + c - 2. Let o(p) be the first derivative of b(p). Let i be o(13). Solve l = i*l - 5 for l.
1
Suppose -9 - 3 = -4*v. Suppose 0 = v*z - 33. Let m = z - 8. Solve 3 = -m*y + 9 for y.
2
Let s be (16 + -16)*(4 - 2)/4. Solve -4*c = -s*c for c.
0
Let p(u) = -u**3 + u**2 + 33*u - 15. Let l be p(6). Suppose -3*k - 3*o + 9 = -2*o, 5*o - 7 = 4*k. Suppose 0 = -k*i + 2 + 2. Solve -l*w = -i*w for w.
0
Suppose 0 = 2*x + 3*j - 3, 3 + 3 = -5*x - 3*j. Let o be 3 - (-4 - x)*2. Solve -o*p - 4 = 11 for p.
-3
Suppose -2*t + 4*t + 2 = 0. Let g be 0 - 2 - t - -7. Solve 0 = -3*u - g - 3 for u.
-3
Let w be 9/(-5 - -8) + 2. Solve 0 = w*v + 11 - 1 for v.
-2
Let g = -14 + 18. Solve -2*h + g = -0*h for h.
2
Let q = 3 + -5. Let w = q - -7. Solve y - w = 6*y for y.
-1
Let u(g) be the third derivative of -g**6/120 + 7*g**5/60 + 7*g**4/24 + 4*g**3/3 - 2*g**2. Let b be u(8). Solve b = 3*d + 2*d + 15 for d.
-3
Suppose j + 8 = -3*c, -3*j + 16 = 4. Let m(r) = -r**2 - 6*r - 6. Let a be m(c). Solve a = -n - 0 for n.
-2
Let i(u) = -u**3 + 4*u**2 - 4*u + 6. Let x be i(3). Solve 4*m = -x + 11 for m.
2
Let b be ((-2)/1 - -8)/2. Let q be ((-4)/3)/(2/(-3)). Solve b*z = -q*z + 20 for z.
4
Let z be (200/(-12))/5*3. Let t = 15 + z. Solve 0*q + t*q - 5 = 0 for q.
1
Let h = 3 - 3. Let s be 1 + h - -2*4. Suppose d + 5*l - 2 = 6*l, 0 = 2*d + 3*l - s. Solve d*n - 3 = -0*n for n.
1
Let h = 2 - -2. Let s = h + -4. Solve 3*q + s*q + 12 = 0 for q.
-4
Suppose -l - 4*g = 14, 5*l + 3*g = -g + 10. Suppose 4*c = 3*t + 26, 0 = 2*c - 3*c + 2*t + 9. Suppose -c*b + l = -3*b. Solve -f = 1 + b for f.
-4
Let p be 2 + (-75)/((-6)/2). Suppose -3*m = 6 - p. Let k = m - 7. Solve -b + 2*b + 4 = k for b.
-4
Let d(a) = -a**2 - 5*a + 9. Let y be d(-8). Let l = y + 22. Let k = 7 - l. Solve -3*u + k = -9 for u.
3
Let w = -45 + 55. Solve 5 = -z + w for z.
5
Let s be (-2 - 1) + 2 + 3. Let c be (-36)/(-24) - 18/(-4). Solve -c*r + 8 = -s*r for r.
2
Suppose 58 = -3*h + 19. Let o(f) = -f**2 - 13*f + 7. Let k be o(h). Solve 4*j + 13 = -k for j.
-5
Suppose q = -4*q + 30. Suppose 0 = 5*w - 1 - 24. Suppose -o - w = -q*o. Solve -19 - o = 4*g for g.
-5
Suppose -5*k + 22 = p, 3*p - 24 = 4*k + 4. Let j be ((-16)/p)/(2/(-3)). Solve 0 = -q + j + 3 for q.
5
Let z be 4/6*(-459)/(-18). Let u = z - 14. Solve 0 = -u*i + 4 + 2 for i.
2
Let r be 1 - 1*(-2 + 1). Suppose g - r + 3 = 0. Let n be (-11)/(-2) - g/2. Solve 0 = 5*v - n + 31 for v.
-5
Suppose -2*g - 2*j = 3*j + 15, -5*g + 5*j + 50 = 0. Solve -g = 6*r - r for r.
-1
Suppose -3*h + 8 = -2*i + 3*i, -i = -2*h - 3. Solve 4*p - 5 = i*p for p.
-5
Let p(k) = -3*k - 5. Let j be p(-3). Solve -10 = j*m - 2 for m.
-2
Let s(r) = r**2 - 8*r - 3. Let t be s(9). Let x(y) = y**3 - 5*y**2 - 6*y + 3. Let n be x(t). Solve -n*v + 1 = 7 for v.
-2
Suppose b = 2 + 2. Suppose -2*x + b = -0. Solve -x*t = -t for t.
0
Suppose -3*n = -n - 6. Let u(o) = 2*o**2. Let t be u(1). Solve -n = -x + t*x for x.
-3
Let o = -24 - -36. Solve -o = -4*g + 4 for g.
4
Suppose h = -5*w - 0*h + 69, 16 = w - 2*h. Suppose 0 = -2*a - 5*r - w, 4*a + 0*a - 4*r = 28. Solve -a*p = -0 + 12 for p.
-4
Let c be 0/(1 - 0) - -1. Let f = c + -1. Let m = 0 + f. Solve 0 = 3*n - 12 - m for n.
4
Suppose -6*r + 30 = -0*r. Let a(x) = -x + 5. Let z be a(r). Solve 3*t - 2*t - 2 = z for t.
2
Suppose 0 = -2*f - 2*f. Suppose -4*z = -9*z. Solve f = -z*k + 5*k for k.
0
Let f(q) = -q**2 - 6*q + 4. Let p be f(-4). Suppose -x = -2*x + p. Solve 0*i = 3*i + x for i.
-4
Let f = -7 - -10. Solve 1 - f = o for o.
-2
Let a(y) = y**3 - 8*y**2 + 8*y + 3. Let p be a(7). Solve 0 = -s - s + p for s.
5
Suppose -10 = 2*f + 12. Let g = -7 - f. Solve 0 = h + 2 - g for h.
2
Let s(j) = 2*j**2 + 3*j + 3. Let o be s(-2). Solve 0 = -2*m + o - 3 for m.
1
Let g = 40 - 37. Solve 2*h = h + g for h.
3
Let l(m) = m**2 - 3*m. Let h be l(3). Suppose 2*f - 2 = h, 0 = 3*q - 2*f - 0 - 91. Suppose -2*a = -6, -2*a + q = 4*u + 5. Solve 0 = -y + u - 0 for y.
5
Suppose -3*m + 39 = -21. Solve 4*j - m + 0 = 0 for j.
5
Suppose -7*f + 30 = -2*f. Solve 0 = -2*i + f*i - 4 for i.
1
Let o = -96 + 98. Solve -15 = -m - o*m for m.
5
Let a(x) = x**2 + 3*x - 6. Suppose 2*f = -f - 18. Let y be a(f). Solve -4*p = -4 - y for p.
4
Suppose -3*f + 30 - 116 = 4*t, 0 = -t - f - 21. Let i = -14 - t. Solve -m + i = -4*m for m.
-3
Let f = 75 - 28. Let z = f - 32. Solve -z = 4*a - a for a.
-5
Suppose 2*o + 3*r - 2 = 9, -r = 2*o - 9. Suppose -2*g + 3*u = -135, -2*u + 10 = -o*u. Let d be (-8)/28 - g/(-14). Solve 2*a + 0*a = -d for a.
-2
Let c(k) = -k**2 - 12*k - 34. Let o be c(-6). Solve o*z + 2*z = 12 for z.
3
Let m(z) = -2*z**3 - z**2 - 13*z + 14. Let t(r) = r**3 + r**2 + 7*r - 7. Let s(g) = 6*m(g) + 11*t(g). Let h be s(5). Solve -5*q = -h*q for q.
0
Let q be ((-168)/35)/(-1 + 28/40). Solve k + q = -3*k for k.
-4
Suppose -17 = 3*b + 16. Let d = 18 + b. Suppose d*r = 3*r. Solve r*i = -4*i - 16 for i.
-4
Suppose -3*v + 2*g + 22 = 0, -4*v + 5*g = -11 - 16. Solve v*b = 3*b - 10 for b.
-2
Let z be (-11 - -1)*(-4)/10. Let t = 19 + -19. Solve t = -z*k - 3 - 13 for k.
-4
Suppose -189 + 21 = 4*f. Let c = -62 - f. Let n be 9*(-3 - c/6). Solve -n*p - 2*p - 5 = 0 for p.
-1
Suppose s + 4*t -