= l for y.
0
Suppose 0*f + 2*f = 0. Let b be f + 2 + (2 - 1). Solve -4*u + b = -u for u.
1
Suppose o - 6 = -d, -o + d = 4*o - 12. Solve o*j = -11 - 1 for j.
-4
Let s(h) = 2*h + 6. Let k be s(7). Let d be ((-6)/(-6))/((-2)/(-10)). Suppose -d*u = -u - k. Solve 0 = -5*l + u + 10 for l.
3
Let b be (7 - 8)/(1/(-3)). Suppose r - 32 = -b*r. Solve -5*j - r = 12 for j.
-4
Let b = 70 + -65. Let a be 2 - (-2 - -6)*-1. Solve b*s = -4 - a for s.
-2
Let x = 27 + -12. Let p = -6 + x. Solve 5*v = -p - 6 for v.
-3
Suppose -5*j + 12 = -3. Solve -j*t = -t for t.
0
Let b(y) = y**3 + 2*y**2 - 4*y. Let k be b(-3). Suppose -k*i = -4*i - x + 3, 5*i - 5*x - 25 = 0. Solve i*r + 0*r = -12 for r.
-3
Let k = -9 + 13. Solve 0*d = -d + k for d.
4
Suppose -16*a = -20 - 44. Solve 0 = -a*r - 7 + 19 for r.
3
Let w(s) = s**2 - 6*s + 5. Let k be w(6). Suppose 3*n - n + 4 = 2*o, 4 = -k*n + 2*o. Solve -3*b = -n*b + 6 for b.
-2
Suppose -5*o - 13 = -93. Suppose -3*r - 3*f - f = -11, -2*r - o = -2*f. Let l = 6 + r. Solve -z = -2*z - l for z.
-3
Suppose 8*o - 13 = 11. Solve 0*p = -p - o for p.
-3
Let o = 45 + -43. Solve 0 = -o*i - 0*i for i.
0
Let z = 3 + 2. Suppose 0*k = -z*k + 5. Let i = 4 - 3. Solve 0 = -2*a - i - k for a.
-1
Let d(f) = -f - 6. Let p be d(-7). Let g be p*1*(4 - 0). Suppose g = h - 2. Solve 3*n - n = -h for n.
-3
Let i(j) = 9*j - 2. Let c be i(3). Solve 6*h = h - c for h.
-5
Let a(y) = 4*y**2 - 1. Let k be a(-1). Solve -k*x - x = 16 for x.
-4
Suppose -4*c = -u + 10 + 2, -3 = 3*u + c. Suppose u*k - 20 = -4*k. Let y be (-20)/(-8)*(-16)/(-10). Solve -y = k*v + 1 for v.
-1
Suppose -18 = -4*f - 6. Suppose i = -f*i. Solve i = -0*g - 4*g + 12 for g.
3
Let p(r) = 3*r - 14. Let c be p(6). Suppose -2*a = c*g - 16, 3*a = 4*g + 3 + 1. Solve -2*v + 0*v + g = 0 for v.
1
Let m be (2/(0 + -4))/(2/(-20)). Solve -13 = -m*i + 7 for i.
4
Suppose -3*z + 180 = 2*z. Let h(d) = -7*d - 3. Let y be h(3). Let u = z + y. Solve u - 4 = 2*q for q.
4
Let x be 1 + 5 - (-16)/(-4). Solve 9 = -x*p + 5*p for p.
3
Suppose 0 = -5*l + a + 14 - 3, -5*l = 3*a - 27. Suppose x + 2 = -1, l*j - 2*x = 18. Let h = -1 - -7. Solve h*f = 2*f - j for f.
-1
Let z be 1/(2/56) + -1. Suppose n + 2*n = -z. Let j = n + 9. Solve 2*b - 9 + 1 = j for b.
4
Let c(z) = 7*z - 5. Let g be c(2). Suppose b + 3*w - g = 0, -13 = 5*b - 3*w - 4. Solve 0 = v - b*v + 4 for v.
-4
Suppose 38*s - 42*s + 32 = 0. Solve -3*m = -s*m for m.
0
Suppose -11 - 33 = 2*n. Let m = n + 27. Solve m*l = -0*l - 25 for l.
-5
Suppose -19*j = -16*j - 12. Solve 6*v - j*v = 10 for v.
5
Let u = 0 + -8. Let l be ((-12)/(-4))/(-1) - u. Solve 0*w = -l*w + 15 for w.
3
Let z(p) = -p**3 + 9*p**2 - 7*p + 3. Let v = 19 - 11. Let q be z(v). Let o = -7 + q. Solve 2*d = -2*d - o for d.
-1
Let g(q) = q**2 + 9*q. Let c be g(-9). Suppose 4*o - a = -5*a - 52, -5*o = -5*a + 95. Let j = o - -25. Solve c = -5*b - 24 + j for b.
-3
Let t(p) = 2*p**2 + 2*p. Let f be t(2). Suppose -3*c - c = -f. Solve c = j + 1 for j.
2
Let u(y) = -4*y**3 - 2*y**2 - y. Suppose 0 = 2*h + h + 3. Let x be u(h). Suppose 2 = n + 3*d, -3*d + 2 = x*n - 4. Solve 0 = -n*o - 3 - 3 for o.
-3
Let k(i) = i**2 - 5*i - 9. Let r = 3 + -3. Suppose r = 3*w - 7*w + 28. Let v be k(w). Solve -c + 2*c - v = 0 for c.
5
Suppose 22 = -3*o - 26. Let p = 20 + o. Solve -p*z + 15 = z for z.
3
Suppose -3*k + 4*b + 4 = 0, 3*b + b + 4 = 4*k. Solve -2*a - 2 - 4 = k for a.
-3
Suppose -3*y - 4 = -4*y. Let r be 14/y - 1/2. Suppose 0 = 50*k - 47*k - 6. Solve k*j + r = -7 for j.
-5
Suppose -10 = 5*i - 10*i. Solve -3*t - i = 1 for t.
-1
Let h(x) = -x**3 - x + 7*x**2 + 6 - 5*x**2 + 6*x**2. Let m be h(8). Let b be 19/2 - m/(-4). Solve 4*s + b = 1 for s.
-2
Suppose 5*p - 5*v = 30, -3*v - 19 = -3*p + v. Solve 0 = -2*q + p + 3 for q.
4
Let v = -6 + -2. Let h = 8 + v. Solve -4*t + 16 = -h for t.
4
Let t be (-6)/((-6)/(-3) + -3). Let y(n) = -n**3 - 2*n**2 - n - 2. Let p be y(-2). Solve p = i + 2*i - t for i.
2
Let a(l) = -10*l - 12. Let b be a(-2). Solve -4*r + b = -0 for r.
2
Let j = -11 - -20. Suppose 3*d - j = 3*i, -i - d + 5 = 2. Solve 2*s = -i*s for s.
0
Suppose -h = -3*t + 31, 4*h + 39 = -0*h - 5*t. Suppose 5*x + 165 = -m, -x + 6*x = 5*m - 135. Let p = h - x. Solve 0 = -3*i - 1 + p for i.
5
Let d(l) = l**2 + 8*l - 17. Let q be d(-10). Solve -3 = 2*p - q*p for p.
3
Let k = -45 + 45. Solve k = -2*s - 0 + 4 for s.
2
Let c be (0 + -2)/((-8)/(-12)). Let t(p) = -p**2 - 3*p + 3. Let j be t(c). Solve 0 = j*v - 2 - 7 for v.
3
Let y be 16/(-28) + (-150)/(-42). Solve -2*r + r = y for r.
-3
Suppose -c + 5*c - 5*p = -5, 1 = 2*c + p. Let n(a) = 2*a + 4. Let k be n(-3). Let z = c - k. Solve -z*q = -q - 3 for q.
3
Let k(y) = y**2 + 12*y - 1. Let s be k(-5). Let o be (-8)/s - 2/9. Suppose 5*u - v - 6 = o, 5*u + 3*v = -0*u + 22. Solve 0 = -u*d - 2 for d.
-1
Let v(n) = -3*n - 15. Let q be v(-5). Solve q = -3*j + 2*j - 3 for j.
-3
Suppose 2*p = -2*r + 4*r - 6, 4*r = -5*p + 12. Suppose 4*d + r = 5*d. Solve -6*t - d = -3*t for t.
-1
Let y(v) be the first derivative of v**4/4 + v**3 - 2*v**2 + 3*v - 2. Let h be y(-4). Suppose 2*g = -h*g. Solve g*j - 2 = 2*j for j.
-1
Let j(y) = -2*y + 4. Let u be j(-2). Let i = u + -6. Solve 2*o - 8 - i = 0 for o.
5
Let s(t) be the second derivative of t**3/3 - 9*t**2/2 + 2*t. Let i be s(6). Solve -3*o = -0*o - i for o.
1
Let n(a) = 7*a**2 + 2*a - 3. Let g be n(1). Suppose 0*u + u = 0. Solve -5*q - g - 19 = u for q.
-5
Suppose a + 9 + 0 = 0. Let h(i) = i**2 + 8*i - 7. Let g be h(a). Solve -g*x + 0*x = 0 for x.
0
Let f = -104 + 104. Suppose 0 = -4*o + 9 + 7. Solve f = o*u - u for u.
0
Let s = 3 - 1. Let y be 1/2*(13 + -7). Suppose 5*b - y = 2. Solve -9 = -s*c + b for c.
5
Suppose o = -2*k + 14, -3*o - k + 22 = k. Let a = -4 + 4. Suppose -2*g = 4*c + 20 - 72, -4*g - 2*c + 74 = a. Solve -o*w = -0*w - g for w.
4
Suppose 3*c - 10 = -5*l, 0 = 4*c - 0*l + l - 2. Solve c = g + 2*g + 12 for g.
-4
Suppose 4*h - 3 - 1 = 0. Let s = 3 - h. Solve s*o = -1 + 3 for o.
1
Let q(l) be the third derivative of -1/6*l**3 + 1/120*l**6 + 0 + 1/24*l**4 + 0*l - 1/20*l**5 - 2*l**2. Let c be q(3). Solve -j = -c*j for j.
0
Let q be (-68)/7 - (-8)/(-28). Let j = q + 11. Solve -u = -j - 0 for u.
1
Let b = 2 + 4. Suppose b*k + 5 = k. Let x = k - -5. Solve -4 = -x*w - 0 for w.
1
Let z(q) = q + 13. Let p be z(-10). Suppose -2*c - p + 5 = 0. Solve -b + 0*b + c = 0 for b.
1
Suppose -q - 3 = -4*w, w - 2*q + 8 = -0*q. Solve 0*t = w*t for t.
0
Suppose -2*i + 4*r = -14, 2*r - 13 = -3*i + 4*r. Solve i*s = 2*s + 1 for s.
1
Let h(m) = 8*m**3 - m**2 + m - 1. Let a be h(1). Suppose -p - 20 - a = -3*d, -4*d = -2*p - 38. Solve 0 = 4*k - 4 - d for k.
3
Suppose 3*r = 6*r - 15. Let t = r - 7. Let y be (-12)/t*(-2)/(-6). Solve 0 = -y*l + 4*l for l.
0
Suppose 0*o - o = -1. Solve -2*p = -1 - o for p.
1
Let d be (2/3)/(4/66). Let a be d - (-1 + (-3 - -6)). Solve -11 - a = 4*j for j.
-5
Suppose -2*f + 10 = 3*f. Solve a - f*a = 3 for a.
-3
Let d be -1*(-2)/(-4)*0. Suppose m + 2*m + 9 = d. Let i be (-1*1)/(m/3). Solve 0 = j - i for j.
1
Suppose 27 = 2*g + 21. Let o(f) = -f**3 + f**2. Let r be o(0). Suppose r = 2*m + v, -v + 4*v + 12 = 0. Solve -m*i - g*i = 10 for i.
-2
Suppose 0 = -3*j + 8 + 1. Solve 0*t + j*t = 0 for t.
0
Let p = 121 - 119. Solve p*q - 2 = -6 for q.
-2
Let r(o) = o**3 - 6*o**2 - 7*o + 2. Let t be r(7). Let n = t - 0. Solve -n*g = -7 - 1 for g.
4
Suppose 0 = b + b - u + 5, b - 2*u + 10 = 0. Solve 4*g + b - 4 = 0 for g.
1
Let u = 10 - 18. Let f be 22/4 + (-4)/u. Suppose -4 = 3*x - 2*y, -2*x + 2*y - 8 = -x. Solve 0 = -4*q + f + x for q.
2
Let g be (1 + 1 - 2) + 1. Let s = g - -2. Solve 0 = s*a - 7*a for a.
0
Let c = 22 + 2. Let o = c - 6. Let y = o - 10. Solve 0 = h + h - y for h.
4
Let i = 14 + -7. Suppose -3*t - 35 = -5*r - i*t, 3*r + 6 = 3*t. Let y(a) = -a + 3. Let h be y(-7). Solve -r*o = -2 - h for o.
4
Suppose 6 = v + 3. Suppose -2 = -q, -4*q = -2*j - v*j + 7. Let u be (-39)/(-2) + 1/2. Solve j*a = -a + u for a.
5
Let o = 4 + -5. Let y = 1 + o. Let n be 1*3 + y/(-3). Solve 0 = -0*j + n*j - 15 for j.
5
Suppose o = -3*k + 19, -2*o + 2 = -2*k + o. Solve 0 = k*m + 18 - 3 for m.
-3
Let u be 4/(-22) - (-732)/33. Suppose -2*s + 6 = 4*p, 8 = 5*p - 5*s - u. Suppose p*b = 32 - 2. Solve -j + b = j for j.
5
Let g = 21 + -15. Let w be g/9*6/2. Suppose -3*r = 3*h - 57, 0 = 