 3*l + l. Solve 0 = l*i - 1 + 4 for i.
-1
Let t = -10 - -6. Let y = -2 - t. Solve m = y*m + 2 for m.
-2
Let x be 2*(-1 + 5/2). Suppose 0 = -l - x*l. Solve -3*h + 12 = -l*h for h.
4
Suppose 3*a + 25 = -3*d + 1, -d + 12 = -3*a. Let i = d + 13. Solve -r - i = 4*r for r.
-2
Let r be ((-1)/2)/(2/(-4)). Let k(u) = -1 + 30*u + 1. Let n be k(r). Solve -n = 5*w - 10 for w.
-4
Suppose 3*y - 53 = 4. Solve 5*b + 1 + y = 0 for b.
-4
Suppose 2*o - 8*o = -12. Solve o*b + 3*b = 0 for b.
0
Let w = 15 - 9. Let x = w - 5. Solve 5*y = 6 - x for y.
1
Let f(l) = l**2 - 21*l - 17. Let d be f(22). Solve -r + d = -0*r for r.
5
Let a(v) = v**2 - v - 2. Let b be a(2). Suppose 4*m - 2*f - 4 = b, 5*m - 2*f + 1 - 5 = 0. Solve m = 4*k - 0*k for k.
0
Let h(d) = 4*d - 1. Let x be h(1). Suppose 2*u = -x*u + 25. Let c = 48 - 36. Solve -u*y = -y + c for y.
-3
Let t(u) = u**2 + 10*u + 6. Let y be t(-10). Let d(c) = -c - 2. Let r be d(y). Let v be 26/8 + 2/r. Solve -v*x - 4 = -1 for x.
-1
Let n be 18/(-12) + 3/2. Solve 10 = -5*x - n*x for x.
-2
Let z be (4/3)/(1/18). Let a = 37 - z. Suppose 5*r - 17 = a. Solve 0 = 5*n - r + 1 for n.
1
Suppose -2*r = -r + 2*a - 9, -2*a + 6 = 0. Suppose -r*p = -5*o - 22, -4*o = -5*p + 14 + 14. Let s be (p - 2)*(-15)/(-6). Solve -4*f + 1 = s for f.
-1
Suppose -4*i = -5*d + 9, 0 = -3*d - 3*i + 32 - 5. Let k = -35 - -33. Let o be (-2 - d)/(1/k). Solve 5*h - 6 = o for h.
4
Let c = 6 + -3. Solve c*d = 2 + 10 for d.
4
Let b = -4 - -9. Let u = -6 - -6. Let o be 0 + (-1 - 1 - -17). Solve -o = -b*p - u for p.
3
Let m = -10 - -13. Solve -l + m = -0 for l.
3
Suppose 0 = -w + 5*w - 4. Let s = w + -3. Let t = s + 4. Solve 0 - 6 = -t*r for r.
3
Let w(m) = -m**2 - 6*m - 6. Let o be w(-4). Let v = -100 - -101. Solve v - o = -p for p.
1
Suppose 0 = -4*m + m + 15, 15 = 4*f - m. Solve 13 = -4*x + f for x.
-2
Let m be 4 - (-1 + 2) - 0. Suppose 5*q + 2*p = 5, 0 = 6*q - m*q - 4*p - 29. Solve q*x - 2*x = 0 for x.
0
Suppose 3*t - t - 10 = 0. Suppose -t*f - m = -25, -2*f + 10 = -0*f + 4*m. Suppose -2*a + 18 = -2*i, 5*a + 0*a - 25 = -5*i. Solve -2*z + a*z + f = 0 for z.
-1
Suppose -3*d = -2*l - d - 6, -4*l + 33 = 5*d. Solve -7 = -o - l for o.
5
Let k be -3 + 6 + 16 - -3. Let x = k + -16. Suppose 24 + x = 2*a. Solve 6*p + a = p for p.
-3
Suppose 0 = 2*o + 32 - 44. Solve 0*w + o = -2*w for w.
-3
Let m be 8*((-2)/4 + 1). Solve -m = -y + 3*y for y.
-2
Let m(x) = x**2 - 22*x + 109. Let p be m(15). Suppose -l - z + 7 = 0, -l + 3*z = 4*l + 5. Solve -2*t + p*t = -l for t.
-1
Let u(k) = k**2 - 3*k - 4. Suppose -3*a = -2*c + 16, -2*a - 29 = -5*c - 0*c. Let v be u(c). Suppose 0 = v*d - d. Solve d = -x - 1 for x.
-1
Suppose 30 = -4*v + 46. Solve v*w + 2 = -6 for w.
-2
Let j(w) = w**3. Let n be -2 + (0/(-3) - 2). Let m(o) = 3*o**3 + 7*o**2 - 7*o + 8. Let r(f) = n*j(f) + m(f). Let p be r(6). Solve 6*g - 4*g + p = 0 for g.
-1
Suppose 3*w - 11 = 2*w. Let k be 6*(-6)/(-9)*9/12. Solve 4*p - k + w = 0 for p.
-2
Let d(f) = 2*f**3 - 2*f**2 - 2*f. Let s be d(2). Suppose 4 = s*a - 2*a. Solve 0 = k + a for k.
-2
Suppose -5*m - 25 = 3*k - 5*k, -27 = -3*k + 4*m. Solve -k*i = -7 + 32 for i.
-5
Suppose 2*r = -3*j + 6, -r = -3*j - 2*r + 3. Solve -a + 5 + 0 = j for a.
5
Suppose -4*h - 5*f = 0, 4*h - f - 2*f = 32. Solve -6 = h*v - 1 for v.
-1
Let c(w) = -w - 4. Let g be c(5). Let m = 7 - -3. Let d = m + g. Solve d + 14 = -5*s for s.
-3
Let w(n) = 4*n + 4. Let g be w(-4). Let u be ((-14)/42)/(1/g). Solve -u*h + 12 = -4 for h.
4
Let v(y) = y**2 + 8*y. Let r be v(-6). Let z = -7 - r. Solve 0*d + d = -z for d.
-5
Suppose -5*g = -3*g - 40. Suppose -2*n - n = -4*x + g, 3*x - 5*n = 26. Suppose x*f = -3*f. Solve 3*j = -f - 3 for j.
-1
Let c be (2/20*8)/((-10)/(-100)). Let f be (-6)/4*-1*2. Solve -w + c = -f*w for w.
-4
Let u be (8/10)/((-5)/(-75)). Suppose 3*b - u = -b. Solve -4*z - 5 - b = 0 for z.
-2
Let y be (-2)/10 - (-476)/(-20). Let b be (y/(-20))/(2/5). Suppose -4*r - 8 = -6*r. Solve o + b = r*o for o.
1
Let g(c) = -c**3 + 6*c**2 + 7*c - 2. Let y = 9 - 2. Let q be g(y). Let v be -3 - (q - (-3 + 4)). Solve 5*s + v*s = 0 for s.
0
Let n be (4/(-6))/(6/(-27)). Solve -n*w = -5 - 7 for w.
4
Suppose 3*a = -12 + 21. Solve 20 = a*w + w for w.
5
Let k be (-1)/(-1)*3*1. Let f be -2*(-4 - 12/(-4)). Let q = f + k. Solve 0*n + n = -q for n.
-5
Let b(f) be the second derivative of f**3/6 + f**2/2 + 2*f. Let o be b(-1). Solve 2*z + 10 = -o for z.
-5
Let o(v) be the first derivative of v**2 - 7*v + 1. Let c(n) = n**2 + 2*n - 3. Let l be c(-4). Let a be o(l). Solve 0 = -5*r + a*r + 10 for r.
5
Suppose -3*j + 5 = -1. Suppose -3*w = -7*w + 24. Solve 4*r - j - w = 0 for r.
2
Suppose 0 = -2*w + 5*w - 9. Let a(v) = -6 + v**2 + 3 + w*v + 4 - 4. Let g be a(-4). Solve -b = -2 + g for b.
1
Suppose 4 + 0 = 4*b. Suppose -2*k + b = -1. Solve g - 1 - k = 0 for g.
2
Let a(d) = d**2 + 2*d - 6. Let n be a(-5). Solve -5*j + 8*j = -n for j.
-3
Let f(s) = -s**3 + 2*s**2 + 8*s + 5. Let b be f(4). Solve -10*o + b*o + 20 = 0 for o.
4
Suppose -8 = -2*w + 28. Suppose -4*o - 7 = 2*h - 31, -3*o + w = -4*h. Solve -i = i + o for i.
-3
Let g be 18/(-4)*(-4)/6. Suppose 0 = -g*o - o. Suppose -m = m - 3*n + 15, -m = -n + 5. Solve 3*y + m*y + 15 = o for y.
-5
Let b(p) = -p + 1. Let w be b(4). Let x be -5*(-2)/(-15)*w. Suppose 0 = 3*r + 4*n - 34, 0 - 10 = -r - n. Solve r = x*z - 0*z for z.
3
Let f = -14 + 5. Let u = -6 + f. Let t be (-9)/u + (-3)/5. Solve t = -l + 5*l - 12 for l.
3
Let u = 7 - 1. Solve 0 = y + y - u for y.
3
Let j be 0*-1*3/6. Solve j = 8*d - 5*d for d.
0
Let x = 9 - 6. Solve 0*o = -x*o for o.
0
Suppose -47*i + 1 = -46*i. Solve -i - 1 = -2*x for x.
1
Suppose -3*n + 8 = 3*k - 7, -13 = n - 5*k. Solve g + n*g = 0 for g.
0
Let l(y) = 5*y - 42. Let c be l(10). Solve 2*i = -0 - c for i.
-4
Suppose 3*r - 25 = -2*h, -3*r = -6*r + 15. Suppose 37*x + 170 = 42*x. Solve -h*i = -14 + x for i.
-4
Let w(f) = 3*f**2 + f. Let l be w(-1). Suppose 0 = -3*a + 5*k - 5, 2*a + l*k = -2 + 4. Solve 3*y + y - 8 = a for y.
2
Let s be 2/8*4*4. Suppose 0 = -2*w + 2, -f + 3*w = s*f - 12. Suppose -a - 3*a = -48. Solve -a = 3*d - f for d.
-3
Suppose 0 = -c - l + 12, -4 = -0*c - c - 5*l. Solve 2*f = -4 + c for f.
5
Let l be 2 + (-2 - -2) + 2. Let d = -1 - -1. Suppose 5*x = -d*x. Solve l*r - r + 3 = x for r.
-1
Suppose -12 = 5*k - 67. Let q(y) = -y + 16. Let j be q(k). Solve 0 = -j*a - 2 - 3 for a.
-1
Let a(i) = 8*i - 4. Let n be a(4). Suppose -5*p + 2*d + n = 0, 4*p + 3*d = 5*p - 16. Solve p*k + 10 = 2*k for k.
-5
Suppose 0 = 2*r + 2*m + 2, 3*r + 2*m + 5 = -3*m. Solve r = -0*b + b - 3 for b.
3
Let m be 2/(-20) + 14/140. Solve m = i + 2 - 4 for i.
2
Let m(v) = -v**3 + 4*v**2 - 3*v + 3. Let l be (-18)/4*(-4)/6. Let a be m(l). Let c(t) = t - 2. Let h be c(4). Solve -h*j - 10 = a*j for j.
-2
Let z = -8 - -10. Let v = -7 + 10. Suppose v*g - 9 = -2*l + 4*g, 2 = -z*g. Solve -6 + 18 = -l*o for o.
-3
Let k(a) = 2*a**2 + 7*a + 6. Let l(v) = v**2 + 4*v + 3. Let u(q) = 3*k(q) - 7*l(q). Let b = -12 + 6. Let i be u(b). Solve -3 - i = 3*j for j.
-2
Let d(m) = m + 11. Let b be d(-6). Suppose 4*w = k + 24, 2*w - 12 = -b*k + 3*k. Solve -2*z = -0 + w for z.
-3
Suppose 6*y = 4*y - 4*h + 8, 10 = -3*y + 5*h. Solve y*z + 2*z = 2 for z.
1
Let a(y) be the third derivative of y**6/120 + y**5/15 - y**4/24 - y**3/3 + 5*y**2. Let h be a(-3). Solve 0*w = -5*w - h for w.
-2
Let r(j) = j**2 + 5*j + 6. Let y be r(-2). Solve q + y + 1 = 0 for q.
-1
Let l(m) = m**2 + 4*m - 2. Let d be l(-5). Solve 0 = -d*b - 7 - 5 for b.
-4
Let x(n) = n**2 + 13*n - 10. Let q be x(-14). Solve -q = 3*s + 5 for s.
-3
Suppose -2 - 2 = -2*s. Suppose 3*k = 2*k + s*u, 4*u = 4*k - 8. Solve k + 6 = -2*x for x.
-5
Let z(r) be the first derivative of -r**2 - 5*r + 2. Let v be z(-4). Let t(p) = p**2 - 8*p - 9. Let k be t(9). Solve k = -5*a + 4*a + v for a.
3
Let f be -4 + 3 - (0 - 0). Let c be f*((-6)/(-2) + -2). Let i be 4 + -1 - c/(-1). Solve 4*a = -10 - i for a.
-3
Suppose -4*v + 11 = 4*y + 3, v + 13 = 2*y. Solve -3*f + y*f - 8 = 0 for f.
4
Let y be 93/13 + (-2)/13. Let k(r) = r**3 + 16 - 8*r**2 - 3 - 2 - r. Let o be k(8). Solve o*g = y*g + 16 for g.
-4
Suppose -v = 2*v + 12. Let n(y) = -y**3 - 3*y**2 + 3*y - 4. Let c be n(v). Suppose c = -f - 0*f + 5. Solve 1 = -f*x + 6 for x.
1
Let l(a) = a**2 - 12*a + 28. Let u be l(10). Sol