 7. Solve l - 2 + p = 0 for l.
2
Let v(p) = 11*p - 6. Let j be v(-2). Let k be ((-12)/(-21))/((-8)/j). Solve -x + k*x = 4 for x.
4
Suppose -16*t = -12*t. Solve -5*l + l = t for l.
0
Suppose 4*b = -0*b + 12, 5*a + 2*b - 6 = 0. Let v(x) be the third derivative of -x**4/12 - 2*x**3/3 + 3*x**2. Let p be v(-3). Solve a*f + 4 = -p*f for f.
-2
Let w = 20 + -16. Solve 0*v + 2*v = -w for v.
-2
Suppose 2*j - 4 = -5*r - 17, 3*j = 3*r + 12. Let p be (r + 8 - 3) + 0. Suppose -6*x + 8 = -p*x. Solve 3*v = 2*v - x for v.
-2
Let b be 6/(-8)*2*-2. Solve -b*n + 1 = 10 for n.
-3
Suppose -u + 3*u + 4*y = 12, 4*y = 5*u + 12. Let l = 6 + -13. Let i = 13 + l. Solve -5*x - i + 31 = u for x.
5
Suppose 2*a + 4 + 16 = 0. Let m(z) = 14 - 3*z + 5*z - z. Let w be m(a). Solve 2*h - 3*h + w = 0 for h.
4
Let a be 1/4 + (-174)/(-8). Suppose -2 = -4*g - a. Let y be 3/3 - (2 + g). Solve q + y*q + 10 = 0 for q.
-2
Let v be (60/16)/((-1)/(24/(-9))). Solve 0 = 3*z - v + 1 for z.
3
Let v(i) = i**2 + 10*i + 10. Let z be v(-9). Solve -4 + z = -w for w.
3
Suppose 0 = -3*z - 2 + 8. Solve -z + 1 = x for x.
-1
Suppose -24 = -4*m + 6*z - 2*z, z = -2. Suppose 9 = 2*r + b, -5*r - b + 8 = -13. Solve m = r*q - 0 for q.
1
Let u(w) = w**3 + 5*w**2 - w. Let k(l) = 3*l + 1. Let t be k(3). Let z be (2 - t) + 1 - -2. Let p be u(z). Solve -10 = -0*c + p*c for c.
-2
Let o(y) = y**2 - 27*y + 3. Let j be o(27). Solve j*w + 11 = -4 for w.
-5
Suppose -3*p + c = -15, -1 - 9 = -2*p - 5*c. Solve -z - p = -2*z for z.
5
Let x = -1 + -1. Let v be 188/3 - x/(-3). Suppose -3*s = 4*t + t - v, t - 3*s + 2 = 0. Solve -u - t = u for u.
-5
Let p = 8 - 10. Let d = p - -5. Solve -2*c + 10 = d*c for c.
2
Let w be (-4)/10 - (22/(-5) + -1). Solve -2*o = -w*o for o.
0
Let j be (-2)/(-8) - (-14)/8. Suppose -j*b + 2*v + 2 = 6*v, -64 = -4*b + 4*v. Let x(a) = 3*a**3 - 4*a**2 + 3*a. Let g be x(2). Solve -5*u = -g - b for u.
5
Suppose 3*i = 6*i - 36. Let a be (-6)/(-12)*(i - 2). Solve -16 = a*d - 41 for d.
5
Let n(a) = -6 - 41*a + 34*a + a**2 - 2*a**2. Let y be n(-5). Solve y = h + 3*h for h.
1
Let u be (-1 - 4 - -4)*(-1 - 1). Solve -8 - 2 = -u*l for l.
5
Let u(d) = 4*d**2 + d - 1. Let z be u(1). Solve z = g + 2 for g.
2
Let w = 13 + -8. Solve -3 = c - w for c.
2
Suppose 22 - 6 = 8*t. Solve t*d + 0*d = 8 for d.
4
Suppose -4*i = -10*i. Solve 2*d + 0*d + 2 = i for d.
-1
Suppose 3*u - 8 = 10. Let t = u + -1. Suppose 0 = 15*o - 12*o - 15. Solve -o = t*j - 4*j for j.
-5
Suppose 3*g = -3*u + g - 810, 4*g = 2*u + 540. Let i be (-8)/28 + u/(-14). Solve -3*v - 7 + i = 0 for v.
4
Let h(g) = -g**3 + 4*g**2 - 1. Let l be h(3). Solve 3*v + l = 5*v for v.
4
Let p(g) = g**2 - 3*g + 1. Suppose 7*i - 24 = i. Let d be p(i). Suppose -3*l + 3 = 0, 4 = h + 2*l - 0. Solve 0 = d*w - h*w for w.
0
Let f(g) = g + 3. Let j(s) = s**2 + 6*s + 16. Let y(d) = 11*f(d) - 2*j(d). Let p(v) = -1. Let i(m) = -2*p(m) - y(m). Let b be i(-1). Solve 2*u + b*u = 20 for u.
5
Suppose 4*y = 2*h - 154, 2*y + 169 = -2*y - 3*h. Let a be y/(-22) + (-4)/(-22). Solve 0 = -a*b - 3*b - 5 for b.
-1
Let u = 51 - 48. Solve 2 = u*s + 11 for s.
-3
Let j(m) = -m**3 - 4*m**2 - 2*m + 3. Let a be j(-3). Let f be ((-21)/(-6))/7 + (-12)/(-8). Solve a = -s + f for s.
2
Suppose -h - h = 5*a - 21, a = 3*h + 11. Solve 0*y = -a*y - 10 for y.
-2
Let r be (1 - -8) + (6 - 5). Suppose 4*o = -2 + r. Suppose -q = 3*z - 8, o*z + 0*q - 9 = 3*q. Solve -z*y + 6 = -y for y.
3
Let n be 7 + 6/(-2) - 1. Solve -6 = n*x - x for x.
-3
Let d(f) = 2*f**2 - 4*f - 5. Let r be d(4). Let v = -11 + r. Solve 4*k - 3*k + 4 = v for k.
-4
Let w = 3 - 0. Let c = 6 - w. Suppose -3*o + 36 = 4*j, 45 = c*j + 2*j + 5*o. Solve -3 + j = 2*t for t.
3
Let g = 6 - 8. Let o(b) = -b**3 - b**2 + b + 4. Let m be o(0). Let i = g + m. Solve 3*s + 5 = -i*s for s.
-1
Let p be 2/(-9) + (-29)/(-9). Let j = -4 - -3. Let d = p - j. Solve k = -0*k - d for k.
-4
Let k(o) be the first derivative of o**3/3 + 11*o**2/2 + 7*o + 11. Let y be k(-11). Solve 0 = 3*n - y*n - 8 for n.
-2
Let u = -6 + 6. Let q be (-3)/(0 - 3)*u. Solve q*n = -n + 3 for n.
3
Suppose 0 = -0*t + 2*t - 10. Suppose 3*p + 9 = -t*k, 3*k - 3*p - 9 = k. Let z be (-6)/(-21) + 26/7. Solve -2*g + z*g = k for g.
0
Suppose 21 - 12 = 3*y. Solve 0 = 3*c - 0 - y for c.
1
Let m = 34 + -23. Let j(b) = -b + 7. Let n be j(0). Let r = m - n. Solve t + 12 = r*t for t.
4
Let h be (-6)/(-4)*(-20)/(-15). Suppose h*q - 12 = 4*q. Let r be (-16)/q + 1/3. Solve -r = -k - 7 for k.
-4
Let y = 23 + -12. Solve 4*x + y + 5 = 0 for x.
-4
Let c(t) = -t**2 - 8*t + 12. Let r be c(-9). Suppose 0*m + p - 77 = -5*m, r*m - 33 = -5*p. Solve 0 = -k + 5*k + m for k.
-4
Suppose 0*f + 3*f = 6. Suppose 0 = -s + 6*s - 10. Suppose s*h - 10 = -0*h. Solve -f + 22 = h*z for z.
4
Let d be 9/(-21) - 34/(-14). Solve -x = -d*x for x.
0
Let j = -10 + 6. Let o = j + 7. Suppose m - u - o = 4*u, 2*u = 0. Solve m*c = -3 - 12 for c.
-5
Let s(a) = a**3 + 2*a**2 + a + 2. Let l be s(-2). Solve -2*h + 4 = -l for h.
2
Let l = 1 + 9. Suppose 0 = 5*r - l - 0. Solve r*i + 4 = -2*i for i.
-1
Let h = 15 + -12. Solve -t + h = 6 for t.
-3
Suppose 4*q = 8*q - 16. Suppose w = -3 - 0, 0 = 2*d + 2*w - q. Solve -d*i + 10*i = 5 for i.
1
Let i(z) = z**3 + 4*z**2 - 3*z + 5. Let r be i(-5). Let q = -5 - r. Suppose 5*u - 5*s + 2 + 18 = q, -s + 4 = 4*u. Solve 4*g + 0*g + 16 = u for g.
-4
Suppose 0 = 2*c - 2, 0 = -4*j + 3*c - 6*c - 69. Let h = j + 6. Let n be h/(-2) - (-2)/(-1). Solve 0 = n*y + 4 for y.
-1
Suppose 2*d = -4, m = 5*m - 4*d - 24. Solve 7*q - m = 3*q for q.
1
Let n(j) = 2*j. Suppose -2*p + 9 = p. Suppose p = b + 1. Let a be n(b). Solve c + a*c = -25 for c.
-5
Suppose -2*a + 3*c + 45 = 4*c, a + 5*c - 18 = 0. Solve -4*o - 7 = -a for o.
4
Let p(l) = -l**2 + 7*l - 9. Let x(o) be the first derivative of o**3/3 - 7*o**2/2 + 8*o + 1. Let m(w) = -4*p(w) - 5*x(w). Let a be m(6). Solve a*f = 3*f for f.
0
Suppose 2*z + 0*z - 24 = 0. Let x be (16/z)/((-1)/(-3)). Let d be 0/(8/20*5). Solve d*t = x*t for t.
0
Suppose -2 = -g + 9. Suppose -4*x + g = 5*f, f - x - 5 = x. Let z be 3/9 + 34/6. Solve -3*d + f = -z*d for d.
-1
Suppose -3*u = -0*u + 6. Let r = u - -5. Solve r = 3*a - 6 for a.
3
Suppose 2*b + 62 = -3*f, -5*b + 3*f = -b + 88. Let j = -21 - b. Suppose 5*h - 6 = 2*l, -5*l + 4*h + 0*h = -2. Solve 0 = -j*t + l*t + 8 for t.
4
Suppose 5*x - 3*v + 8 = -v, -5*x - 4*v = 14. Let r be (3 - 5)/(1/x). Solve 2*i - i = -r for i.
-4
Suppose 3*p = -13 + 85. Suppose 0 = 5*f - 3*y - p, 0 = 6*f - 2*f + 5*y - 34. Solve 0*n = 2*n - f for n.
3
Let h be (-14)/(-42)*6*1. Suppose 2*t + 5*w = -12, -t - h*w - 5 = -1. Solve 0 = t*z - 0 + 20 for z.
-5
Let n(m) = m + 2. Let k be n(-2). Solve k = 2*r - 3*r for r.
0
Let n = 22 - 20. Suppose -3*g = -g. Let l(s) = s**2 - 1. Let d be l(-2). Solve d*u - n*u + 1 = g for u.
-1
Let h(u) = u**3 + 7*u**2 - 9*u - 16. Let v be h(-8). Let f(r) = -r - 5. Let i be f(v). Solve 4*j + 7 = i for j.
-1
Suppose a + 2 = -2*a - 2*j, 0 = 2*a - 2*j - 2. Suppose -4*k + 8 = -a. Solve g - 1 - k = 0 for g.
3
Let y = 4 - -8. Let m be y/(-15)*-1*5. Let i be 27/(-63) + 3/7. Solve -m*u + i*u = 0 for u.
0
Let w(d) = 15*d**3 + d**2 - d. Let h be w(1). Solve s + 2*s = -h for s.
-5
Let f(i) = -10*i - 49. Let v be f(-6). Suppose -2*p = 4*o - 0*o - 20, o = -5*p + 23. Solve 1 + v = -o*b for b.
-4
Suppose -2*z = -0 - 6. Suppose z = -3*a + 9. Suppose a*n - 27 = -9. Solve 6*m = 3*m + n for m.
3
Let h = -3 - 6. Let d(p) = -p - 5. Let q be d(h). Solve 0 = q*z - z - 6 for z.
2
Let d be 14/(1 - 0 - -1). Suppose -3*k = -d + 1. Suppose -7*f - 3*l + 24 = -k*f, 0 = -5*f + l + 32. Solve -m - 2*m = -f for m.
2
Suppose 3 + 3 = 3*n. Suppose x = 5*t - 8, 0 = n*x - 2 - 2. Suppose -4*d + 18 = t*a, -2*d - a + 11 = -2*a. Solve 0*k - 5*k - d = 0 for k.
-1
Suppose n + 4*n = -x + 67, n - 17 = -2*x. Solve -n - 2 = -5*y for y.
3
Suppose -5 = -7*q + 6*q. Solve -q*k = -2*k - 12 for k.
4
Suppose -2 = -3*y + u, 3*u = 2*y + 2*u - 2. Solve -l + 2 + 1 = y for l.
3
Suppose -33 = -8*y - 3*y. Solve 0 = -y*k + 5*k - 6 for k.
3
Let u = -8 + 5. Let r(k) = -k**2 + 5*k + 4. Let p(x) = -2*x**2 + 4*x + 3. Let i(q) = u*r(q) + 2*p(q). Let n be i(-6). Solve -2*a + 4 = -n*a for a.
2
Suppose 2*y + 1 = y. Let z = 7 + -5. Let d = z - y. Solve -o + 20 = d*o for o.
5
Suppose -3*c + 12 = -5*p, -2*p - 5 = -5*c + 15. Suppose p*