l + 16 for l.
-4
Let k be 2/5 - (-14)/(-35). Suppose x + 17 = -5*v + 5, k = -x + v + 6. Let o = -9 - -19. Solve -x*y - o = -y for y.
-5
Let y(f) = f - 15. Let t(l) = l - 14. Let s(h) = -6*t(h) + 5*y(h). Let w be s(-7). Solve 3*g = -g - w for g.
-4
Suppose 0 = -o - o. Suppose 0 = -4*g + 2*x + 18, 5*x + 13 + 2 = o. Solve -g*w = -5*w for w.
0
Let s = -1 + 6. Suppose d - s*m - 17 - 1 = 0, 5*m = -d - 12. Solve -2*w = d*w for w.
0
Suppose l + 1 = -3*u + 5*u, -u + 11 = 3*l. Solve u*i + i = 15 for i.
5
Suppose 4*s = 4 + 12, -4*s - 44 = -5*f. Suppose 4*p = 3*n - f, 5*p - 16 = -4*n + 2*p. Suppose 0*t = -2*b - 5*t + 21, -n*b + 4*t = 0. Solve b*j = j for j.
0
Let v = 3 - -1. Suppose -v*d = -0*d + 60. Let p = 5 - d. Solve -4*l + p = -0*l for l.
5
Let r be ((-11)/(-5) - 1)*10. Suppose 3*h - 5 = -k - 3*k, 0 = -5*h - 25. Solve r = -k*n - 3 for n.
-3
Let k = 73 - 67. Solve -4*y = -6 - k for y.
3
Let h be (-3)/(0 - 9/12). Suppose 1 - 5 = -s. Solve h*t + s = -0*t for t.
-1
Let o(z) be the third derivative of -z**6/120 + 7*z**5/60 - 3*z**4/8 + z**3/2 + 2*z**2. Let u be o(6). Let g = 31 + u. Solve -4*x = -0*x + g for x.
-4
Suppose 3*j - 3 = 4*c, 5*c = 2*j - 3 + 1. Solve c = 2*i - 5*i - 6 for i.
-2
Let c be ((-36)/18)/(1/(-2)). Let h(m) = -m - 4. Let t be h(-6). Solve -c*w + t*w = -8 for w.
4
Let d(w) = -w**3 - 2*w + 2*w**3 + 7*w - 2 - 5*w**2. Let p be d(4). Let t(b) = 4*b**2 + 19*b + 16. Let m be t(-4). Solve -p*k - m + 10 = 0 for k.
3
Let w(d) = 20*d**2 + 2*d + 2. Let f be w(-1). Solve 5*p + f = 5 for p.
-3
Suppose -12 - 13 = -5*d. Solve -3*m = 2 - d for m.
1
Suppose 5*s - 10 = -b, 2*b + 4 = 2*s - 2*b. Let m be (6/21 + 128/42)*6. Solve s*a + m = -3*a for a.
-4
Let i(y) = y**2 - 7*y + 1. Let o be i(7). Let q = o + 0. Let z = 59 + -57. Solve f + z + q = 0 for f.
-3
Let z = -1 + 4. Suppose -4*u + z*u = 0. Suppose 4*c + 4*f - 20 = 0, u = 3*c + c - 5*f + 7. Solve 0 = c*q + 14 - 4 for q.
-5
Let c be ((-9)/6)/((-4)/16). Solve c = -f - f for f.
-3
Let z be 3/(-2)*(-2)/3. Let r = z + 1. Solve f + 3 = r for f.
-1
Suppose -t = 4*t - 10. Solve -n + t + 0 = 0 for n.
2
Suppose t + t = -5*z + 17, 3*z = -2*t + 7. Let m be -1 + 2 - (0 - 1). Suppose -3*q = -m*q - z. Solve q + 0 = r for r.
5
Let f be 108/14 + 2/7. Let h be (-4)/(-10) + (-26)/(-10). Suppose 2 + h = k. Solve -u + k*u - f = 0 for u.
2
Let c = -17 + 15. Let d(m) = -4*m**3 - 4*m**2 - m + 2. Let h be d(c). Solve -6*x = -x - h for x.
4
Suppose -2*s = -2 - 4. Suppose -s*f + 6*f - 30 = 0. Solve -4*z + 10 = -f for z.
5
Suppose -2 + 22 = 5*c, c = -5*m - 11. Let v be (1/m + 1)*3. Solve 3*l - 11 + v = 0 for l.
3
Suppose 0 = -22*x + 13*x + 18. Solve t + x - 3 = 0 for t.
1
Suppose 0 = -y - 3 + 7. Solve 2*n = -2*n - y for n.
-1
Suppose -2*f - f + 2*w = -9, -15 = -5*f + 5*w. Suppose f*z = 8*z. Suppose -2*n - s = -z*s + 4, 4*s = -16. Solve n = c - 6*c for c.
0
Suppose 9*x - 80 = 5*x. Suppose 10*r - x = 5*r. Suppose -r*p - 3*y = -11, 4*y + 37 = p + 4*p. Solve -2*i - 3 = -p*i for i.
1
Let k be ((-1)/3)/((-1)/9). Solve k*z - 1 = 4*z for z.
-1
Let z(r) = -2*r - 10. Let v be z(-6). Suppose -2*f + f = -3. Let d = f + v. Solve 0*b - d*b = 20 for b.
-4
Let a = 0 - -1. Suppose 2*p - 5 - 19 = 0. Suppose 0 = -4*v + p, -l + v - 3 = -4*l. Solve x + a = -l for x.
-1
Let r(w) = 6*w**3 - 2*w**2 + w. Let z be r(1). Solve -z + 0 = 5*j for j.
-1
Let g be 4*1 + 0/(-3). Suppose l + 3*c + 4 = 0, -g*l + 0*l - 5*c - 2 = 0. Solve 0 = -3*m - 7 - l for m.
-3
Let j(l) = -2*l - 5. Let x(r) = r - 1. Let b be x(-4). Let t be j(b). Solve d - t*d = 20 for d.
-5
Let o(a) = -a**2 - 6*a + 8. Let k = -37 + 25. Let t = k - -5. Let l be o(t). Solve l - 2 = -q for q.
1
Let q(r) = -r**2 + 15*r. Let b be q(15). Solve u - 2*u - 4 = b for u.
-4
Let k(v) = 9*v**2 + 1. Let n be k(-1). Suppose 0 = -m + 2, -5*m + 5 = u - 9. Suppose 5*l = u*l. Solve l*h = -2*h - n for h.
-5
Let r be 6 - (4 - 0/3). Solve 1 = -x - r for x.
-3
Let b(p) be the second derivative of -2*p**3/3 - 7*p**2/2 - p. Let c be b(-5). Solve 4*n - 1 + c = 0 for n.
-3
Let o be (-1 - 0)*(1 - 15). Suppose 5*q - o = -i, 2*q - 5*q + 14 = 2*i. Solve i*f = -8 - 8 for f.
-4
Suppose 0 = 6*t - t - t. Solve -b + t + 2 = 0 for b.
2
Let z be 102/27 + (-2)/(-9). Solve z - 8 = -j for j.
4
Let d(r) = r**2 - 1. Let f be d(-1). Let u(z) = 2*z - 1 - 8 + f*z. Let p be u(6). Solve 0 = -4*q - 1 - p for q.
-1
Let t be 6/(-10) + 43/5. Let r be (8/2)/(4/t). Suppose -3*m + 7 = -r. Solve 2*z + m - 15 = 0 for z.
5
Let i be 208/(-20) - (-9)/(-15). Let l = -5 + 16. Let x = i + l. Solve 3*m - m + 4 = x for m.
-2
Let o(n) = -2*n - 1 + n + 2*n**2 + n - n**3. Let w be o(1). Solve w = 2*g + 4 + 4 for g.
-4
Let a be -4 - (-2 - (-10)/(-1)). Suppose -g + 2 = -a. Solve g = o + o for o.
5
Let u be 5*(0 - (1 - 0)). Let h be 1/3 + u/(-3). Suppose -3*q + 4*j = 1, h*q - 4*j + 5 = -1. Solve 2*y - q*y = 3 for y.
-1
Suppose r - 1 = 1. Let a be (-2 + 0 + r)/1. Suppose a = n - 5*n + 8. Solve n + 13 = -3*t for t.
-5
Let t be (-4)/(-3*(-2)/(-6)). Solve 5 = -w + t for w.
-1
Let s = -2 + 6. Let a(f) = f - 4. Let v be a(s). Solve v = 3*i + i for i.
0
Let y = 2 + 0. Suppose 0 = 4*t - d + y*d - 5, -5*d = -4*t + 23. Let l(h) = h**2 + h - 6. Let x be l(-4). Solve 20 = -t*o + x*o for o.
5
Suppose p + 4 = -4*i, 3*i - 2*p + 16 = -6*p. Suppose i = -2*q - 0*q + 10, -q + 1 = -2*y. Let z be (2 - (y - 0))/(-2). Solve 2*m - 3*m = z for m.
0
Let l(g) = g**2 - g - 3. Let c be l(3). Suppose -r = r - 24. Suppose 2*n = n + r. Solve c*d = -d + n for d.
3
Let o = -2 + 14. Solve -5*f + o = -f for f.
3
Suppose -4*j = -4*h + 16, -5*h + 4*j = 3*j - 16. Solve 0*c - h = c for c.
-3
Suppose 0 = -3*i + 1 - 7. Let j be ((-39)/6)/(i/4). Let n = 22 - j. Solve 5*q = -n + 34 for q.
5
Let p = 45 - 32. Solve -p*k = -8*k for k.
0
Let t(m) = -m**3 - 25*m**2 + 24*m - 50. Let r be t(-26). Solve r*g - 12 = -g for g.
4
Suppose 4*a + 19 + 5 = 0. Let i(y) be the second derivative of -y**3/3 - 9*y**2/2 + 3*y. Let b be i(a). Solve 4*f - 5 = b*f for f.
5
Let j be (15 - 0)*10/(-25). Let i be (10/3)/((-4)/j). Solve -15 = -i*r - 0 for r.
3
Let p = 24 - 16. Solve -2*u - p = -4*u for u.
4
Let x = 2 + -2. Suppose -7 = 5*i + 8. Let p = x - i. Solve -j + p = -4*j for j.
-1
Suppose m - 2*k = -3*m + 6, -5*m = 4*k - 14. Suppose -6 = -p - 4. Suppose 0 = -m*n + n + p. Solve -n = -6*g + 4*g for g.
1
Suppose -7 = 5*t + 3. Let b be 10/t*12/15. Let o(r) = -2*r - 6. Let u be o(b). Solve 0*i = i - u for i.
2
Suppose 3*b = 5*d + 15, 5*b + 6 = -2*d - 0. Solve b*u = -2*u + 2 for u.
1
Let c(j) = -4*j**2 + j - 1. Let s(l) = -l**2. Let a(v) = -c(v) + 3*s(v). Suppose -d = -4*d. Let z be a(d). Solve 2*r - z = r for r.
1
Let q(x) = 2*x**3 - 18*x**2 + x + 1. Let a be q(9). Solve 4*s = -6 + a for s.
1
Let q(i) = -i**2 + 8*i + 5. Let b be q(8). Suppose 12 = 4*n, b*a + n - 4 = 3*n. Suppose y - a = 2. Solve 0 = -y*v + 5 - 17 for v.
-3
Let z(u) = u. Let o be z(3). Let q(w) = 2*w - 1. Let n be q(4). Let t(a) = -a**3 + 8*a**2 - 5*a - 6. Let b be t(n). Solve o*s = s + b for s.
4
Suppose -r + 4 = -1. Suppose -10 = 5*s, r*y - 4*s = 6*y + 3. Solve -y*z = -2*z for z.
0
Let g be (4 + -2)/(2/(-4)). Let h = -4 - g. Let p(r) = 2*r. Let u be p(1). Solve -u*n + n = h for n.
0
Let f be 5 + -5 - (-88)/2. Suppose 0 = 4*x - 5*y - 17 - 23, -4*y = -4*x + f. Solve 2*l + l = x for l.
5
Suppose -6 = 5*r - 26. Let g = -4 + r. Suppose 4*z = j + 48, 2*j + g*j = -4*z + 36. Solve z = 4*b - 5 for b.
4
Let d be 1/3 - 46/(-6). Suppose -y = -2*y - d. Let j = -6 - y. Solve 3*u - 4*u - j = 0 for u.
-2
Let z(k) = -12*k - 77. Let w be z(-7). Solve 8 + w = -3*t for t.
-5
Let y = 11 - 17. Let n(a) = -a**2 - 6*a + 3. Let j be n(y). Solve 0 = 2*r - r + j for r.
-3
Let j be 0/(-3*2/3). Suppose -a = -n + 10, j*a = -n - a + 20. Suppose -n = -u + 3*z, -3*z = -4*u + z + 20. Solve 4*g - 9 - 3 = u for g.
3
Let m(j) = -5*j - 6. Let w(c) = 6*c + 7. Let q(p) = -5*m(p) - 4*w(p). Let l be q(2). Suppose -l*k + 35 = k. Solve i - k = -3 for i.
4
Let s(f) = -f**2 - 2*f + 4. Let o be s(-5). Let w = 15 + o. Let p = w - 4. Solve p = -0*x + x for x.
0
Let s(a) = a**2 + 3*a + 1. Let i be 2 - 9 - (-9)/3. Let j be s(i). Solve 8 = -j*l - 2 for l.
-2
Let j = -1 - -1. Let i(k) = k + 5. Let t be i(-5). Let s be (-1)/(-1) + 1 - t. Solve 8 = -s*d - j for d.
-4
Suppose 4*z = d - 2, -3 = 4*z - 5*d + 7. Suppose