for l.
1
Let h(j) = -j**2 + 6*j - 3. Let o be h(5). Solve -o*b = -b for b.
0
Let z = 44 + -44. Solve 4 = 2*x - z for x.
2
Let v = -13 + 15. Solve 3*u - v*u = -3 for u.
-3
Suppose g - 13 = 4*z, -g + 15 = -4*z - z. Let t = g - 4. Let y = t + 7. Solve 3*d = d + y for d.
4
Suppose 6 = 3*r - 3. Let n = -31 + 32. Suppose -2*y + 13 = -o, 3*y - 2*o = 21 - n. Solve -3*g = -y*g + r for g.
1
Let m(d) = 6*d - 2. Let y be m(2). Suppose -3*u + 10 = 4*c, -5*c - 4*u = u - y. Solve s - 15 = -c*s for s.
3
Let h be (-4)/(-8) - 74/(-4). Solve 1 = -4*p - h for p.
-5
Let v(c) = 2*c**2 + 1. Let o be v(2). Suppose 5*x - 65 = -5*f, 0 = -f + x + o. Solve f + 9 = 4*u for u.
5
Let n(t) = 8*t**2 + 1. Let a be n(1). Let z be ((-20)/(-16))/((-2)/(-32)). Suppose 4*p - z = -p. Solve -p*u + a = -11 for u.
5
Let o be -7*-1*(-2)/(-2). Suppose -13 - o = -5*z. Solve -4*n = -20 + z for n.
4
Let a(l) be the third derivative of l**4/8 - 2*l**3/3 + 2*l**2. Let v be a(4). Let w be (2 - 1)*4 + -2. Solve -w*k - v = 2*k for k.
-2
Let r be 25/2*(-4)/(-5). Suppose 0 = -2*i + r, 3*p + i = 35. Suppose 6 = -2*n - 4*h, -4*n = -2*n + 5*h + p. Solve n*d + 2 - 7 = 0 for d.
1
Let c be 2/(-2)*(-12)/3. Suppose 4*r + 0 = 2*d + 2, c = -5*r - 4*d. Solve r = 4*f - 0 - 4 for f.
1
Suppose -18*h + 13*h = -20. Solve h*o = -o for o.
0
Let m = -3 + 4. Let p be (-2*1 - -2)/m. Suppose p = 3*y - 12 - 3. Solve -18 = y*c + 2 for c.
-4
Suppose 0 = -5*m - 0*m + 5*f + 190, 4*m + f = 162. Suppose -m = -3*a - a. Let t = -4 + a. Solve t = 3*b - b for b.
3
Suppose -4*c - 3*d - 42 = 0, -2*d = -c - 3*d - 11. Let p be (c + 4)*2/(-5). Solve -2 - p = j for j.
-4
Suppose 3*y + 1 = 7. Suppose 0 = t - y - 1. Let q = 2 + -1. Solve 8 = t*a - q for a.
3
Let y be (6/5)/(9/30). Let i(x) = x. Let o be i(2). Solve 3*l - y = o*l for l.
4
Let y(q) = -q - 10. Let h be y(-17). Solve 20 = -3*r + h*r for r.
5
Suppose 4*z - 16 = -4*q, -21 = q - 3*z - z. Let w be (-1)/q*(-7 - -7). Solve 2*j + 10 + w = 0 for j.
-5
Let i = 127 - 124. Solve i = -g - 0*g for g.
-3
Suppose 4*d - 2*z - 30 = 0, 5*d - 4*z - 32 - 7 = 0. Suppose -p + 4*p - g - 8 = 0, -12 = -5*p + 2*g. Solve p*i + 9 = -d for i.
-4
Suppose 3*x - 2 = 4. Suppose v = 4*u - 10, -4*u = u + 4*v - 23. Suppose u*l - 1 = x*z - 6, 3*l + 1 = z. Solve z = -b + 2 for b.
-2
Let r = -4 + 6. Let u = -3 - -5. Suppose t - 2*x + 10 = 0, 0 = u*t + x - 4 - 1. Solve 2*d = -r - t for d.
-1
Let t(u) = 4*u**3 - 2*u**2 + 1. Suppose 2*d + 5*o = 2, 5*d + 0*o + 4*o - 5 = 0. Let w be t(d). Solve 0 = 2*q - 5 - w for q.
4
Suppose 2*d = -3*d + 20. Let y = 3 + -2. Suppose -2*q + y = -13. Solve -5 = d*a + q for a.
-3
Suppose 0 = -4*i - 2*d, 0*i - 4*i = -d - 12. Suppose 22 = -5*u + i. Let t be (u/(-3))/(6/9). Solve -t*z + 2 = -z for z.
2
Let u be ((-12)/42)/((-2)/28). Solve 4*g + 0 = -u for g.
-1
Let p(v) = -v - 9. Suppose 1 = -o + l + 7, l - 34 = -3*o. Suppose -4*a = 46 - o. Let q be p(a). Solve -d + q = -3 for d.
3
Suppose -5*c + 9 = i - 21, -4*c + 15 = -i. Solve 16 = n - i*n for n.
-4
Suppose 5*u = 3*v - v - 15, 2*v = 3*u + 9. Solve -3*w + 7 - 4 = v for w.
1
Let m(i) be the second derivative of -i**3/6 + 7*i**2 + 4*i. Let a be m(13). Solve a - 2 = u for u.
-1
Suppose 2*q + 15 = 5*j, 0*j - j - 2*q = -3. Suppose j*w + w = 16. Solve w*a - 2*a = 6 for a.
3
Let k(j) = j**2 - j - 6. Let n be k(0). Let a = -6 - n. Solve -3*i + i + 8 = a for i.
4
Let s = 15 + -11. Suppose s*m - 5*m = 0. Solve m = -2*a - a - 3 for a.
-1
Let r be 1 - 3/3*-1. Suppose 0*a - 4*c + 48 = 5*a, r*a - 26 = -5*c. Let s = 11 - a. Solve -s*y = -6*y + 9 for y.
3
Suppose 0 = 3*a - 2*a + 2. Let w = a - -3. Solve w = t + 6 for t.
-5
Suppose -2*r - 6*n = -5*n - 12, -3*r - n = -17. Let s = 1 + 5. Suppose 5*j - s = 2*j. Solve 0 = -r*m + j*m - 15 for m.
-5
Let s(w) = w**3 - 2. Let z be s(2). Let q(j) = j**3 - 5*j**2 - 4*j - 8. Let i be q(z). Solve -i = 4*u - 12 for u.
2
Let m(f) = -f**2 - 7*f - 7. Let d be m(-4). Solve 4 = 3*l - d for l.
3
Let b be -9 + 8 + 23 + 0. Suppose -5*g + b = f - 0*g, 2*f - 3*g + 8 = 0. Solve f*c + c = 3 for c.
1
Let l = -10 + 14. Suppose -25 = -h - l*h. Solve 0 = -h*s + 2*s + 6 for s.
2
Suppose 0*x - 4 = -x. Suppose -x - 1 = -c. Let n(l) = l - 3. Let k be n(c). Solve -3 = -k*q + 3 for q.
3
Let r be 0/4*1/(-2). Let u be (0/2)/2 + 2. Let o = u - r. Solve o + 1 = q for q.
3
Suppose 0 = -5*g + g + 16. Solve 1 + g = 5*s for s.
1
Let k = -8 + 11. Solve k*v - 1 = 2*v for v.
1
Let b = -5 - -8. Let v be b/((-12)/8 - -3). Solve 5*y - 3 = v*y for y.
1
Let b(w) = -w**3 - 10*w**2 + w + 10. Let l be b(-10). Suppose l*j = j - 5. Let y = -1 + 4. Solve -10 = y*u + j for u.
-5
Let b(q) = -q - 5. Let x be b(5). Let t = -6 - x. Solve t*k - 16 = -0 for k.
4
Let d(g) = -g - 8. Let j be d(-10). Suppose 0 = h - j*h + 2. Solve 0 = -0*q - h*q - 10 for q.
-5
Suppose -3*u - 4*a = 5, -2*u + 0*a = 4*a + 10. Let z = u - 3. Solve z = 3*n - 4 for n.
2
Let b(i) = -i**2 + 8*i - 4. Let p be b(6). Let c = p - 8. Solve n = -c*n + 2 for n.
2
Let f be 0*1*(2 - 3). Suppose -4*m + 2*n + 7 = n, -2*n = 5*m - 25. Let s be (f/(-2))/(m - 2). Solve s*h = h for h.
0
Let l = -29 + 32. Solve 5*z = -22 - l for z.
-5
Let c(t) = t**2 - 7*t + 6. Let a be c(6). Let v(d) = -2*d - d + 3 + a. Let z be v(-4). Solve 8*i = 5*i - z for i.
-5
Let i(h) = -6*h + 2. Let n(s) = -7*s + 3. Let k(l) = -6*i(l) + 5*n(l). Let t be k(0). Suppose -5*d = -18 + t. Solve 0 + d = 3*v for v.
1
Let n be 1/((1/366)/1). Suppose 4*y - n + 150 = 0. Suppose 2*m + h - 7 = 0, 4*h + y = 5*m + 4. Solve 0 = -0*v + 3*v + m for v.
-2
Let f(w) = -2*w - 7. Let r be f(-5). Let t(b) = -5*b - 1. Let o be t(-1). Let n(u) = 2*u - 5. Let m be n(o). Solve m*l - 9 = -r for l.
2
Let z(n) = 11*n**2 + 2*n. Let a be z(2). Suppose 0*b - 4*b = -4*w - a, -w = 5*b - 60. Suppose -b - 2 = -2*d. Solve -d*p + 2*p = 5 for p.
-1
Let j(i) = -i**2 + 3*i + 4. Let l be j(2). Solve -2*y + l = y for y.
2
Let j = -14 - -19. Solve w - j*w = 4 for w.
-1
Suppose 0 = -5*g - 3*m - 2*m + 35, -3*g + 3*m + 3 = 0. Suppose 0*n = -g*n. Let c(u) = -u**2 - 4*u + 3. Let k be c(-4). Solve 0*w + k*w - 12 = n for w.
4
Let z = 24 + -28. Let c be (3/z)/(9/(-24)). Solve -u = c*u for u.
0
Let d = 3 - 1. Suppose -d*z = -4 - 0. Let o = 2 - 2. Solve o = -z*q + 4*q + 2 for q.
-1
Let x = 12 - 9. Suppose 4*d - 48 = -5*f, -4*f + 0*d = -x*d - 26. Solve -3*t = -5*t - f for t.
-4
Suppose -3 - 33 = -3*a. Suppose 4*d + a = 32. Let q(x) = -x**2 - x + 13. Let p be q(0). Solve d*k - p = -3 for k.
2
Let r(n) = -n**3 + 10*n**2 + 11*n. Let w(i) = -i**2 - i. Let l(b) = r(b) + 5*w(b). Let p be -3*(4 + -2)/(-1). Let s be l(p). Solve -6 = 2*z - s for z.
-3
Suppose 5*m - 5*d = 50, -5*m - 2*d = 1 - 23. Solve -3 = -5*j + m*j for j.
-3
Let v be (0 + (3 - 1))*1. Let z be (8 + (-1 - v))*5. Solve -5*h + 0 = -z for h.
5
Suppose 3*b - 6 = b. Suppose -22 = b*h - 67. Solve -l = -4*l - h for l.
-5
Let f = -124 + 139. Solve f = 3*w - 8*w for w.
-3
Let c = -1 - -5. Let w be -3*4/(-6)*c. Suppose g + w = 5*g. Solve d + g + 0 = 0 for d.
-2
Suppose 3*w - 3 = 2*w. Let l be (-3)/(-6)*10*1. Let a = l - w. Solve -12 = -2*f - a*f for f.
3
Let i(z) = -z**3 - 7*z**2 - 7*z - 3. Let g be i(-6). Solve g*y + 2*y = 0 for y.
0
Suppose o = -2*b + 21, -2*b - o + 36 = 3*o. Solve -4*m - b + 24 = 0 for m.
4
Suppose 120 = h + h. Let w be 12/20 + h/25. Solve -w*x = -5*x - 6 for x.
-3
Let z(i) = -i + 1. Let r be z(1). Suppose r*a + 5*a - 25 = 0. Solve 5 = 5*u - a for u.
2
Let l be (-244)/(-10) - 6/15. Let o be (0 - 4/(-6))*l. Solve 3*j + o = -j for j.
-4
Let s be (-3)/(0 - -3) + 0. Let u be (1 - -1)/2 - s. Solve y = u*y - 5 for y.
5
Let n(y) = y - 7. Let d be n(7). Solve d = 2*x + x + 12 for x.
-4
Let i(q) = 4*q - 12. Let p be i(8). Let m = 26 - p. Solve -25 = -j + m*j for j.
-5
Let o = -1 - -2. Suppose v = 9 + o. Let w be (-2)/(-1 + 9/v). Solve w = -7*i + 3*i for i.
-5
Let s(i) = i - 12. Let u be s(11). Let q be ((-26)/39)/(u/3). Solve -p - q = -3*p for p.
1
Suppose 3 = -d - 0, -5*g + 31 = -2*d. Suppose 2*v + 2*w + 2 = 0, -g*v + 7*w - 2*w = -5. Solve -2*o + 5*o - 3 = v for o.
1
Suppose -3*j = -3 - 3. Let u(p) = 2 + p**3 - 3*p - 4*p + 5*p**j - 4. Let y be u(-6). Solve -y = -2*g - 0*g for g.
2
Suppose 3*j = -3*u - 3, 5*u = 4*j - 5 + 36. Suppose 8 = -2*n + 6*n. Solve u*b + 11 = n for b.
-3
Let j = 1 - -1. Solve j*t - 6*t + 20 = 0 for t.
5
Le