 7. Let t be w(5). Let s = -16 - -32. Suppose s = o - t. Solve 0 = -5*k + o - 4 for k.
3
Let c(i) = i**3 - 2*i - 1. Let w be c(2). Solve 0 = w*y + y for y.
0
Suppose -5 = -2*v + v. Solve 0 + v = -5*i for i.
-1
Let b = 106 - 101. Let k be (-1)/((-4)/(-3))*-4. Solve -k*v + 4 = -b*v for v.
-2
Suppose 0*c + 8 = 4*c. Suppose -4*q + c = -14. Suppose -2*k = -2*a + 10, 3*a + 0*k + 13 = -q*k. Solve -4*z + 11 = -a for z.
3
Let d be 0/(-1)*1/(-2). Let p be 2 - d - (-1 - -1). Solve 1 = -n - p for n.
-3
Let x be 0 - (3 - 1 - 8). Let q = x - 1. Solve q*f = 14 + 6 for f.
4
Let o = 14 + -2. Suppose -5*l = -2*l + 12, -2*l = 4*r - o. Let c(h) = h**2 + 4*h + 13. Let i be c(-6). Solve r*j + 0*j = i for j.
5
Let w(b) = 13*b**2 - 4*b + 3. Let c be w(1). Solve -l = -4*l + c for l.
4
Let r be (-4)/(-8) + 1/(-2). Let p(d) = d**2 + 2. Let c be p(5). Suppose 0*f = 3*f - c. Solve 4*o - f + 1 = r for o.
2
Suppose -4*k + 2*l = -6, 3 = k + 3*l + 5. Let z be (k + -1)/(2*-1). Solve z = -c + 3*c for c.
0
Let u = -4 + 9. Suppose -u*q - 9 + 4 = 0, 2*q + 17 = 5*r. Solve -3 = -r*z + 12 for z.
5
Let h be -3 + (-15)/(-10)*8. Solve 2*m = -h + 1 for m.
-4
Let a = -16 - -20. Suppose 0*t = a*t. Solve t = -c + 3*c - 10 for c.
5
Suppose 3*p - 12 = -p. Suppose 0 = 5*l - p*n - 41, 5*l = 3*l - 4*n + 32. Solve 0 - l = -2*c for c.
5
Let p(c) = 7*c**3 + c - 1. Let a be p(1). Let d = a + -5. Let j = d + 2. Solve 0 = -4*v + 4 + j for v.
2
Let q = 6 - 6. Let k(g) = -g**3 - g**2 - g - 7. Let s be k(q). Let f(z) = -z**2 - 7*z + 1. Let m be f(s). Solve -m = r - 0 for r.
-1
Suppose 22 = -p - 5*h, -4*h = -5*p - 12 + 47. Let r be 18/8*(-16)/6. Let s be (r/3 + 2)/1. Solve -p*g + 11 - 2 = s for g.
3
Let p be 6 - (3 + (0 - 4)). Let y = p + -3. Solve 2*z - y = 3*z for z.
-4
Let q(o) = -o**3 - 3*o**2 + 3*o + 1. Let c be q(-4). Suppose 4*j - c = 7. Suppose s = -5*h + 6, j*s = -4*h - s - 8. Solve n - 4 = -h for n.
2
Let j be -2 + (-10)/(-15)*42/4. Solve j*d - 2*d - 9 = 0 for d.
3
Suppose 0 = -4*g - 0*g. Solve -b - b + 4 = g for b.
2
Let k(o) = 6*o**3 - 14*o**2 + 12*o + 3. Let n(w) = 7*w**3 - 15*w**2 + 13*w + 2. Let q(t) = -6*k(t) + 5*n(t). Let d be q(8). Solve d*c + 15 = 3*c for c.
5
Let t(x) = x**3 + x**2 + x. Let q(d) = -5*d**3 - 3*d**2 - 3*d. Let c(l) = q(l) + 4*t(l). Let k = -44 + 44. Let a be c(k). Solve m = -a*m for m.
0
Let h be (16/(-10))/(2/(-10)). Solve h*o = 3*o for o.
0
Let i(f) = f**2 + 8*f + 7. Let g be i(-7). Suppose g = -5*o + 2*o + 6. Solve -o*x = -0*x for x.
0
Let c(m) = m**3 + 7*m**2 + 2*m + 6. Let i be c(-6). Let w be 8/(-5)*i/(-12). Suppose 4*u - w = 12. Solve s + u - 9 = 0 for s.
5
Let h = 11 - 5. Suppose -h = -c - c. Solve 0 = l - 0 - c for l.
3
Let b be 4 + -2 + 3 + -1. Solve -r = r - b for r.
2
Let l be (2/3)/((-2)/(-12)). Suppose 5*o + w - 106 = 18, l*o - 2*w - 88 = 0. Solve 0 = 3*y - 9 + o for y.
-5
Let i be (3 - 6)*(-2)/3. Suppose -2*j = 3*a, -i*j + 3*j - 5*a = 13. Solve b - 4*b - j = 0 for b.
-1
Suppose j = 5*j - 16. Solve 0*k = -k + j for k.
4
Let i be (0 - (3 - 2))/(-1). Let p = -1 + i. Let q be 0/(0 + p - 2). Solve q = -3*s - s for s.
0
Let m = -41 + 41. Solve m*w + 10 = -2*w for w.
-5
Suppose -9*u = -14 + 5. Solve u = k + 3 for k.
-2
Suppose -3*i - 7 = -2*j, -j + 4 = 3*i - 4. Solve 9 = -j*q - 1 for q.
-2
Let x(n) = n + 2. Let u be x(-6). Let a = u - -10. Let d(w) = -w + 4. Let p be d(4). Solve -2*j = -p*j - a for j.
3
Suppose 2 - 4 = -o. Solve 0 = o*a + 2*a for a.
0
Let d(p) = -p**2 - p + 4. Let k be d(3). Let h be k/6*6/(-4). Solve 0 = -v - h for v.
-2
Let y be (-1 - -3)*2/4. Suppose 0 = 2*w - 2*b - 4, 2*b - 7 = -w - 2*b. Solve -y + w = -n for n.
-2
Suppose -o + 0 + 2 = 0. Let c = o - 1. Solve d - 4 = -c for d.
3
Let r(h) = h**2 - 2*h + 2. Let v be (1 - 1)/((-4)/(-2)). Suppose v = 4*z - 0 - 8. Let w be r(z). Solve 4*t = w - 6 for t.
-1
Let r = 20 + -18. Solve 1 + r = -3*i for i.
-1
Let y(h) = -4*h**3 - 22*h**2 - 17*h + 5. Let d(f) = -f**3 - 7*f**2 - 6*f + 2. Let i(g) = -7*d(g) + 2*y(g). Let o be i(6). Solve -4*v + o = -0 for v.
2
Suppose -13 = -11*u + 20. Solve u*m + 9 = 3 for m.
-2
Let p be -1 + (2 - 3 - -5). Suppose p = b - 5*m + 2*m, 3 = -4*b - 3*m. Suppose b = 5*x - 10*x. Solve x = -w + 5*w - 12 for w.
3
Suppose 6 = 2*u + 2. Solve -u*r = -4*r + 8 for r.
4
Let w = 0 + 5. Suppose 2*m + 4*t - 6 = 0, -m + 2*t + 3 = 8. Let q = m + 17. Solve -w*r - 41 = -q for r.
-5
Let d = -3 - -7. Let y = -4 - -7. Let w be (0 + -1)*(-3 + y). Solve d*n - n - 6 = w for n.
2
Let a be (-2 - -1) + 4 + 1. Suppose -a*y + 5*i + 24 = -3, 5*y + i = 12. Let h be (2/4 + -1)*-36. Solve -y*c = 6 - h for c.
4
Let y be 3 + 0 + 0/2. Solve 8*l - y*l = -15 for l.
-3
Let s = -13 - -25. Solve -s - 8 = 5*r for r.
-4
Let g = -16 - -18. Solve n = g*n + 3 for n.
-3
Suppose -8 = -2*b - 2*a, 4*a = -b - 0*b + 4. Solve -b*z = z for z.
0
Suppose -12 = -5*r + 3. Let g be ((-1)/r)/((-2)/12). Let w be (g/(-1) + 2)*1. Solve 8 = -w*a + 2*a for a.
4
Let j(p) = -p**2 + p. Let g(f) = f**3 + 6*f**2 + f + 2. Let t(h) = g(h) + 2*j(h). Let c be t(-2). Solve -5*o = -4*o + c for o.
-4
Suppose 4*d = 8*d + 8. Let g be 1 + d - (-3)/3. Let z = g + 5. Solve -2*y - z = -y for y.
-5
Suppose -12*p + 12 = -9*p. Solve -5*m + 6 + p = 0 for m.
2
Let d(i) be the third derivative of -i**4/24 + 7*i**3/6 + 3*i**2. Let g be d(4). Let k be 3/(-9) - (-16)/g. Solve 2*y + 3 = -k for y.
-4
Let d = -33 + 36. Solve 4*t - t = -d for t.
-1
Suppose 48 = -3*k + 6*k. Suppose -4*u + k = 4. Solve -u*o - 10 = 2*o for o.
-2
Let u be -3*(6/(-9))/2. Solve 2*b + u = -9 for b.
-5
Let c = -4 - -4. Suppose 5*w - 2*o - 49 + 13 = c, -3*o = 9. Let v be (w/12)/((-1)/(-42)). Solve -5*z - 4 - v = 0 for z.
-5
Suppose -2*o = -o. Solve o = 5*g + 9 - 4 for g.
-1
Let s(z) = z**2 - z + 4. Let m(g) = g**3 - 13*g**2 - 13*g - 14. Let y be m(14). Let b be s(y). Solve -2 = b*f - 22 for f.
5
Suppose 2*q = 3 + 13. Let c(n) = n**2 - 11*n + 11. Let z be c(q). Let h = z - -18. Solve -h*m - 8 = 7 for m.
-3
Let w = -8 - -13. Suppose 5*p - 5 = 0, -3*m = 4*p - 15 - 10. Let g = m - 6. Solve w*q = -14 - g for q.
-3
Let w(r) = -6*r**3 - r**2. Let c be w(-1). Let j = c + 2. Solve -4*s + 19 = j for s.
3
Let s = 23 + -32. Let k be -3*(-4)/s*-3. Solve a + 0*a + k = 0 for a.
-4
Let v = 6 + 12. Solve 0 = -3*u + v - 3 for u.
5
Suppose 32 = 2*r + 2*l, 3*r - 5*l - 52 = -4. Solve 5*t - t + r = 0 for t.
-4
Suppose 2*u + 2*u - 5*f = 21, 3*u + 2*f = 10. Let j be u/10 + (-264)/(-15). Let p be -1 + 8 - (-3 - -5). Solve -3 + j = p*m for m.
3
Let h be (-2)/(-2*2/8). Suppose -q = -h*y - 2*q - 4, -3*y - 4*q = -10. Let f = y + 7. Solve 3*l = f + 1 for l.
2
Let m = -122 + 130. Solve 0*y = 2*y + m for y.
-4
Let i be 88/(-14) + (-2)/(-7). Let v = i - -3. Let l = 3 + v. Solve 0 = -2*q - l*q + 2 for q.
1
Let y be (-2)/(3/15*-2). Solve o - y = 2*o for o.
-5
Let d = 12 + -5. Solve -4*b = -d*b + 3 for b.
1
Suppose 0 = -4*x + 6 + 2. Let s be 2/(1 - x) + 5. Suppose -s*y - 6 = 0, -5*b - 3*y + 0*y = -44. Solve -3*t + 5 + b = 0 for t.
5
Suppose -2*g = 4, 0 = -2*q - 5*g + 3*g + 10. Suppose 4*s + 4*p = 24, -4*p = s - q*p + 2. Let w be (14 - s)/(1 - 0). Solve o = -o - w for o.
-5
Let u = 149 + -147. Solve 4*l - u = -10 for l.
-2
Let u = -17 - -7. Let w(o) = o**3 + 10*o**2 - o + 10. Let d be w(u). Solve -3*t + d = 2*t for t.
4
Suppose 0 = 3*r - 4 - 5. Let p = 11 - r. Solve 5*c - c = -p for c.
-2
Let b = -168 + 170. Solve -x - b*x - 15 = 0 for x.
-5
Let s(u) = -u**3 - 4*u**2 - 7*u - 4. Let j be s(-2). Solve 13 = 5*q - j for q.
3
Let f(s) = s**2 + 19*s + 2. Let k be f(-19). Suppose 0 = 4*y, -d + y = -0*y. Solve d*o = -2*o + k for o.
1
Suppose -11 = k - 5. Let n be (-3)/k + (-1)/(-2). Suppose -c + 2*w - 10 = 0, -w - 20 = 4*c - 5*w. Solve -u = -c*u - n for u.
1
Suppose 2 - 7 = b. Let f = b - -7. Let j = 1 + f. Solve -6 = r - j*r for r.
3
Suppose 0 = -2*y - 4*u + 32, -5*y + 0*u - u + 125 = 0. Suppose -3*n + y = -4*l, -4*n + l + 8 + 5 = 0. Let i = -6 + 9. Solve 10 = -i*f - n*f for f.
-2
Let r(l) = l**2 + l - 4. Let p be r(-3). Suppose q - 4 = -2. Solve -q*w = p*w - 8 for w.
2
Let i be -4 - 1/(-2)*8. Solve i*o = 2*o - 8 for o.
4
Let k(s) = -3*s - 9. Let r be k(-8). Solve 0 = -t + 4*t - r for t.
5
Let b(n) = 10*n + 5. Let i be b(-4). Let q be (i/14)/(2/(-4)). Let x = 5 - -4. Solve q*p + x + 11 = 0 for p.
-4
Suppose 3*j + 40 = j + 2*i, 3*i + 4