= 2*x - 7. Let z(o) = -2*o + 6. Let w(v) = 5*j(v) + 6*z(v). Let y be w(-1). Suppose -3*h = 3*t - y, t + 2*t - h = 7. Solve 0*n = n + t for n.
-2
Let w(n) = -3*n + 5. Let g be w(4). Let o(t) = t**2 + 6*t - 7. Let r be o(g). Solve -4*l + 2*l - 8 = r for l.
-4
Let r(i) = 6*i - 3. Let j = 8 - 1. Suppose -2*a + j*a = 10. Let s be r(a). Solve 29 - s = 4*g for g.
5
Let o be (-10)/(-1) - (0 + 1 - -1). Solve 4 = -o*s + 6*s for s.
-2
Suppose 2*z = 6*z + 4*y - 60, 52 = 4*z + 2*y. Suppose 5*o = 2*x + z, 6*x = -2*o + x - 13. Solve o - 3 = -2*u for u.
1
Let o be 4/(-8)*(30 - 2). Let k(i) = i**2 + 14*i. Let p be k(o). Solve p*a - 5*a = 0 for a.
0
Let h(b) be the second derivative of b**4/12 - b**3/3 + 2*b**2 + 2*b. Let n be h(4). Solve 0*p - 3*p = -n for p.
4
Let y(o) = -4*o + 1. Let k be y(-1). Solve -2*u = 7 - k for u.
-1
Suppose -1 = 2*j - 19. Solve -5*a + 11 + j = 0 for a.
4
Suppose j + 5*q - 7 = -3*j, 0 = 3*j + 2*q - 7. Solve -j*o + o - 4 = 0 for o.
-2
Let w be (-4 + 2)*3/(-2). Let o be 42/18 - (-2)/w. Solve 1 + 8 = o*m for m.
3
Suppose -5 - 3 = -4*u. Suppose u*k = -k + 24. Let a = k - 4. Solve 0 = -a*z + 2 + 2 for z.
1
Suppose -7*b = -4*b. Solve 0 = -b*j - 3*j - 3 for j.
-1
Suppose 7*y - 2*y - 35 = 0. Let j(t) = t**3 - 6*t**2 - 8*t + 10. Let p be j(y). Solve p*a + 2*a + 15 = 0 for a.
-3
Let z(b) = -b - 3. Let o be z(-10). Let v(w) = 5*w**2 + 6*w + 11 - 4*w**2 + 6*w. Let p be v(-11). Solve 3*l - o*l = p for l.
0
Let a = 6 - 4. Let b be (a/(-5))/(2/(-10)). Suppose -h - 25 = -b*h. Solve 5*p - h = -10 for p.
3
Suppose -3*x + x = 0. Suppose -i + 2*i = 6. Let h(o) = o**3 - 6*o**2 - o + 7. Let k be h(i). Solve 0*l + l - k = x for l.
1
Let b(p) = -p + 7. Let o be b(3). Solve 0 = i - 1 - o for i.
5
Let s be ((-8)/(-16))/((-1)/(-8)). Suppose -s = -2*f + 2. Solve 0 = -5*c + f*c - 2 for c.
-1
Let v be (-3)/6*-3*4. Suppose -6 = -2*c + 5*z, -2*c = 3*z + z - v. Solve 2 = c*n - n for n.
1
Let n be (-4 + (2 - -2))/(-2). Suppose 4*l - l - 2*c - 4 = 0, 2*l - c - 3 = 0. Solve l*g - 6 + 2 = n for g.
2
Suppose 27 = -j - 3*g, j = 3*j + 5*g + 50. Let a = j - -30. Let r be (-2)/4*(2 - 2). Solve -a = 3*i - r for i.
-5
Let c = 8 - 5. Suppose s + 0 = c. Let d(a) = a**2 + 11*a - 9. Let v be d(-12). Solve -s - v = 2*r for r.
-3
Suppose -3*y + 7 + 2 = 0, -4*r + 4*y = 0. Suppose -4*m = 4*f - 12, -2*m + 3*f - 4 = -5. Suppose n = 6 - m. Solve -r*t + n = t for t.
1
Suppose -a - n - 4 = -16, 4*n + 6 = 2*a. Solve 0 = -4*t - a - 7 for t.
-4
Suppose -4*n = -26 + 2. Suppose 3 = 3*a - n. Suppose -2*o - 5*l - 15 = a*o, 5*l + 33 = 4*o. Solve -o*p = 3*p - 20 for p.
4
Let p(d) = 2*d + 2*d**2 + d**2 + 1 - 2 + 0*d. Let g be p(2). Solve -4*b = b + g for b.
-3
Let z(u) = u**3 - 13*u**2 - 15*u + 14. Let t be z(14). Let y = -39 - -28. Let n = -8 - y. Solve -n*h + h = t for h.
0
Let i = -13 + 17. Suppose 0 = 3*s - 4*f - 2 + 4, -4*s + 44 = i*f. Solve m = -m + s for m.
3
Let l = 12 - 7. Solve u - l = -0*u for u.
5
Let v(j) = -j**2 - 6*j - 4. Let d be v(-5). Let y(u) = -u + 10. Let k be y(5). Solve -k = -4*g - d for g.
1
Let a = 6 + 3. Solve 11 = -5*x - a for x.
-4
Let h be (3 + -3 + 0)/(-2). Solve h = 2*c + 2*c for c.
0
Let y(q) = -q - 2 + 2*q + 0*q. Let f be y(5). Solve -j = 2*j + f for j.
-1
Suppose 0 = o + 4*o - 4*p - 10, 4*o = -4*p + 8. Suppose 3*i - 34 = -4*r, o*r - 30 + 0 = 5*i. Solve m = 3*m - r for m.
5
Suppose 6*o = 10*o - 80. Solve w - o = 5*w for w.
-5
Let o = 12 - 7. Suppose -o*j - 3*i = 3 - 9, -2*j + 2 = i. Suppose 0 = -j*t - t + 5. Solve 0 = -5*p + t - 0 for p.
1
Suppose -5*r + 17 = -8. Solve 5*w - 5 - r = 0 for w.
2
Let g(o) = 0 - 2*o + 10 + o + 1. Let m be g(11). Solve j = -m*j for j.
0
Let n = 31 + -16. Suppose -11 = -4*o - a, 0*o = 3*o + 3*a - n. Suppose 3*t + 5*k + 10 = 0, 5*k = -2*t - 12 + o. Solve 4*s + 4 = -t for s.
-1
Let c(p) = -p + 16. Let n be c(11). Suppose -22 = -n*m - 7. Solve -m*k + 5*k = -10 for k.
-5
Suppose -8 = -3*o - 2. Solve 0 = -j + o - 5 for j.
-3
Suppose 2*x - 5*x + 15 = 0. Solve 2*j - x*j = 0 for j.
0
Let w(q) = -3*q**2 + 2*q + 3 + 3*q + 2*q**2 + 4. Let m be w(6). Solve m = 2*n - 5 for n.
3
Let z be 0*(-2)/(-3 + 7). Suppose -5*y + 3*u + 15 = z, y + y = -u + 6. Suppose -y*f = -f. Solve -s + 2*s + 4 = f for s.
-4
Let q = 8 - 6. Suppose -4*y - 5*f + 35 = 8, q*y - 2*f = 0. Solve l = -y*l for l.
0
Let a = 23 - 21. Solve -6*v + a = -5*v for v.
2
Let q = 2 + 10. Let u(p) = p**2 + 5*p - 2. Let g be u(-6). Let s be g/(-3)*15/(-10). Solve -q + 2 = s*o for o.
-5
Let v(d) = -4*d + 10. Let s be v(-4). Solve 5*r = -s + 1 for r.
-5
Let v be 0/(4*(-5)/(-20)). Solve v*d - d = -4 for d.
4
Let d = -7 - 8. Let l = -13 - d. Solve c + 3 = -l for c.
-5
Let j be 1 - -12 - (-1 - 0). Suppose -3*y = -5*h - j, -5*y - 10 = -3*h - 28. Let q(t) = 3*t**3 + 63*t**2 + 2*t + 43. Let s be q(-21). Solve y*k - 2 = s for k.
1
Suppose 6 = -4*k + 6*k. Solve -k*v + 8 = -7*v for v.
-2
Let y(c) = 12 + 2 - 2 - c. Let h be y(10). Solve 0 = -3*u + 4*u - h for u.
2
Suppose 3*i - 2*i = -5*y - 59, -40 = 3*y - 4*i. Let v be (-3)/(-4) + 81/y. Let f = -4 - v. Solve -f*d + d = 0 for d.
0
Let h(i) = -2*i + 40. Let m be h(17). Solve -q + m*q = 10 for q.
2
Let z = 9 - 4. Let m be (-14)/(-77) - (-130)/11. Solve -z*c + m = -c for c.
3
Let j be 2 + -5 - -2*3. Solve -j*v - 15 = -3 for v.
-4
Suppose 40 = -0*i + 5*i + 5*l, -2*i + 4*l - 14 = 0. Let p(h) = 6*h**2 + 4*h**3 - 3 - 2*h**3 + 8*h - i*h**3. Let d be p(7). Solve d*b = b for b.
0
Let v be (-3)/(-6) + (-1)/2. Let z be (-25)/(-3) - 1/3. Solve 0 = -4*c - v + z for c.
2
Suppose -l = 3*a + 44 + 35, 0 = a - 3*l + 13. Let v(j) = 3*j**2 + 2*j - 3. Let x be v(-4). Let h = a + x. Solve r + 3*r = h for r.
3
Suppose -j + 5*x + 8 = 0, 4*j + 3*x = 8 + 1. Suppose 0 = -3*y + 2*m + j, 0 = y - 2*m + 4 - 1. Solve 0 = -y*b + 2*b for b.
0
Suppose 2*l - 16 = -q + 3*q, -5*l + 20 = 0. Let b(s) = s**2 + 3*s - 4. Let p be b(q). Solve -4*x + p*x = -4 for x.
1
Let o = 13 + -8. Let c = o - 1. Solve -2*g + c*g = -4 for g.
-2
Let z = 17 - 12. Suppose -3*u + 5*u - 2 = 0. Let a be -2*((-10)/4 - u). Solve -a = 4*r + z for r.
-3
Let q(y) = -y**2 - 24*y + 27. Let j be q(-25). Solve -j = -5*r - 17 for r.
-3
Suppose 3*a = 5*v + 21, 0*v = -5*a - 3*v + 1. Solve -a = l + 3 for l.
-5
Let x(o) = 3*o - 6. Let w be x(4). Let h(j) be the first derivative of -j**2/2 + 6*j - 6. Let m be h(6). Solve 2*g + m*g = -w for g.
-3
Suppose 16 = -3*h + 1, 0 = 3*j + 3*h + 36. Let a be (-9)/(-21) + (-53)/j. Solve i - 3*i = a for i.
-4
Let d(v) = -v**2 + 2*v + 5. Let k be 3 + -3 - 0 - 0. Let s be d(k). Solve s*z + 8 = 3*z for z.
-4
Let f = -2 + 3. Suppose -y + 1 = -f. Let z = 0 + y. Solve z*o = -3*o - 20 for o.
-4
Let r(n) = -n**2 - 11*n - 7. Let f be (2 - 27)*(-2)/(-5). Let j be r(f). Solve -5 + 11 = j*h for h.
2
Suppose 0 = -2*p + 4, 5*l - p - 15 = 4*p. Solve -8 = f - l*f for f.
2
Let m be (-1)/(-2)*0/2. Suppose -o - 4*o = m. Solve 2*q + 0*q + 10 = o for q.
-5
Suppose -19*q + 14*q = -15. Solve 2*d - q + 7 = 0 for d.
-2
Let b = 3 - 2. Let h be 0/1*(b + 0). Solve h - 2 = -w for w.
2
Let d(i) = -9*i + 2. Let t be d(1). Let j be t - -4 - (0 + -13). Let m = 1 + 0. Solve -3*g - j = -m for g.
-3
Let z = -2 - -4. Solve -5 - 3 = z*n for n.
-4
Let w = -24 - -38. Solve -w = 3*a - 2 for a.
-4
Suppose -5*g - 79 = 6. Let r = -12 - g. Solve 0 = l + 4*l - r for l.
1
Let v(l) = l - 4. Let m be v(4). Suppose 3*y + 7 = 2*y + 2*t, 4*y + 3*t + 6 = m. Let f = 3 + y. Solve f = z + 3 + 1 for z.
-4
Let h = 2 + -6. Let d be ((-40)/25)/(h/10). Solve 0 = -4*z - d - 4 for z.
-2
Let r be (-3)/(-1)*20/6. Suppose r = -2*t + 4*t. Solve -3*c - t = -2*c for c.
-5
Suppose g = 3*g - 4. Let k(q) = 2*q - 2. Let m be k(g). Let h be 0 + (-3 - (-8 - -3)). Solve h*r = -m*r + 4 for r.
1
Suppose 6 = z + 3*z - w, -8 = -2*z + 3*w. Solve -z = -r - 2 for r.
-1
Let a(w) = w**2 + 3*w + 1. Let i be a(-4). Suppose -4*c + 30 = -c. Solve -i*j = -c - 0 for j.
2
Let y = -23 + 27. Solve 2*m - 2 = -y for m.
-1
Let s = 243 + -173. Let f be 30/s - 18/(-7). Solve f = -3*h - 9 for h.
-4
Let t(d) = -2*d - 2. Let n be t(-2). Suppose 0*o - 4*o = -u - 10, -4 = -n*o + u. Solve o*f = 2*f for f.
0
Let i = 22 - 20. Solve a + i*a + 6 = 0 for a.
-2
Let c be 9 + (12/(-2) - -4). Solve 5 = 2*p - c*p for p.
-1
Suppose 14*d = 17*d - 60. Solve 5*z - z = -d for z.
-5
Let f be (-2 + (-6)/(-2))*2. Suppose