 17 = 2*h + b for h.
1
Let g = 166 - 165. Solve 3*w + 7 = g for w.
-2
Let d(a) = -a - 1. Let t be d(-12). Let m(k) = k**3 - 13*k**2 + 22*k + 2. Let r be m(t). Suppose -p + 6 = 2*p. Solve p*f - 4 = -r*f for f.
1
Suppose -7*y = -6*y. Suppose -3*n - 1 - 11 = y, b - 3*n - 40 = 0. Let m be (-24)/(-7)*98/b. Solve 3*x - m = -x for x.
3
Let r = -872 - -939. Solve 10*n = 17 - r for n.
-5
Let s(m) = -3*m + 4. Let k be s(3). Let o be (5/k - 0)/(-1). Solve 2*n + o = 3 for n.
1
Let g(y) = 4*y**2 + y. Suppose -2*r - 3*r = -25. Suppose -3*a = 2*a + r. Let o be g(a). Solve -v + 4 = -o*v for v.
-2
Suppose -3*b + 18 = 4*q, -2 = 5*b - 6*q + 2*q. Suppose -d - b = -4. Solve -z = d - 0 for z.
-2
Suppose -5*f - r + 7 = 0, 3*f = 3*r - 54 + 69. Solve f*h - 14 = -20 for h.
-3
Let b be 4 + (20/6)/(26/39). Solve -2*w - b = -1 for w.
-4
Suppose -216 = 31*f - 37*f. Solve 7*n = 19*n + f for n.
-3
Suppose -91 + 27 = 4*x. Let p be x/(3 - -1) - -18. Solve -4*a + 2 = -p for a.
4
Let c be (1 - (5 - 5))*2. Let l(v) = -v**2 + 9*v - 6. Let f be l(6). Solve c*z = -z - f for z.
-4
Let y = 13 + 23. Suppose 0 = 40*p - y*p. Solve 3*d - 5*d + 10 = p for d.
5
Let m(w) = w**3 - 9*w**2 + 8*w + 1. Let l be m(8). Let s(u) = -l - 4 - 1 + 0*u + 2*u. Let r be s(3). Solve 0 = j - r*j + 2 for j.
-2
Let k = -2 + 5. Suppose 4*a - 63 + 11 = 0. Suppose 3*v = a - 7. Solve -7 = -k*r + v for r.
3
Suppose -5*n = 2*y - 55, 0 = -3*y + 8 + 7. Solve -4*o - n = 7 for o.
-4
Suppose -2*b - 4*x = 0, 2*x + 2*x = -3*b - 2. Let g = 5 + b. Suppose -s - 17 = -4*i, 5*i - 2*s = 2*s + 35. Solve -i*u - g = -6 for u.
1
Suppose 5*b + 6 = 2*b + 4*u, -2*b - 3*u + 13 = 0. Solve 6*g + 4 = -b for g.
-1
Let u be -45 + (-3)/(-1)*-1. Let k = u - -32. Let c(z) = z**2 + 16*z. Let b be c(k). Solve -3*a - 15 = -b*a for a.
-5
Suppose t - 4*t + s = -14, -2*t = 4*s + 14. Suppose -t*w + 3 = -9. Solve -2*l = -w*l for l.
0
Let d(u) = u**2 - 15*u + 48. Let t be d(11). Suppose 5*s = -r + 16, 10*r - 7*r - 15 = -t*s. Solve -s*a = 8 - 2 for a.
-2
Let l(c) = c**3 + 2*c**2 - 4*c. Suppose -o + 2*i = 3*i + 8, -5*o - 40 = -2*i. Let q be 3 + (o - (-3 + 1)). Let h be l(q). Solve -h*u + 0*u = -9 for u.
3
Let t(g) = -2*g**3 + 16*g**2 + 4*g - 19. Let y be t(8). Solve -5 + y = -4*i for i.
-2
Suppose -49 = 5*z - 69. Suppose 7 = 2*w - 5. Suppose 6*f - f + z*r = 2, -f - 4*r = w. Solve -4*h = -f*h - 8 for h.
4
Suppose i - 2*x - 12 - 3 = 0, 3*x = 5*i - 47. Let f = 3 + i. Suppose 8*w = f*w - 4. Solve -w*d - 3*d = -20 for d.
4
Suppose -3*h + 9 = -3. Suppose 4*i + 4*y = -0*y + 48, 0 = h*y - 8. Suppose 7 = x + f, i*x - 4*f = 5*x + 17. Solve 0 = -2*m - x - 1 for m.
-3
Let y(m) = -3*m**2 + 12*m + 20. Let q be y(5). Suppose u + 24 = q*j, -2*j - 3*u + 4 = 2*j. Solve -j*a = 10 - 2 for a.
-2
Let o(q) = -7*q**3 + 6*q**2 - 4*q + 7. Let j(y) = y**2 + 1. Let h(t) = 5*j(t) - o(t). Let k be h(1). Solve k + 7 = -3*d for d.
-5
Let n(t) = t**3 + 22*t**2 + 23*t + 46. Let j be n(-21). Solve -j*s + 4 = -3*s for s.
4
Let w(x) = x**3 + 7*x**2 - 10. Let v be w(-7). Let g(m) = -m**2 - 12*m - 1. Let z be g(v). Suppose -3 = 2*j - z. Solve -2*b + 6*b = -j for b.
-2
Suppose 3 = -4*u + p, 15 = 2*u - u + 5*p. Let l(s) = -7*s - 4. Let r(o) = 15*o + 8. Let j(z) = -13*l(z) - 6*r(z). Let a be j(u). Solve a*g = 5*g - 5 for g.
5
Let l(a) = 6*a + 40 + 12 - 4*a - 10 - a**2. Let v be l(7). Solve -5*q + 2 - v = 0 for q.
-1
Let o = -471 + 475. Solve 3*a - o*a = 0 for a.
0
Let p = -8 - -18. Let y(x) = -x**2 + 11*x - 8. Let w be y(p). Solve 5*f + 3 = -w for f.
-1
Suppose 4*p = 8*p + 5*p + 12*p. Let q be 296/10 + (-4)/(-10). Let t be (4/5)/(4/q). Solve -3*l + l - t = p for l.
-3
Suppose 0 = -6*c + 270 - 198. Solve -3*s - c = s for s.
-3
Let j(i) = 2 + 0*i - 4 - i - 2*i. Let q be j(-2). Solve -t = -q*t for t.
0
Let j be (-1 + -1)*1 + -11. Let r(g) be the third derivative of g**5/60 + 7*g**4/12 + 17*g**3/6 - 10*g**2. Let p be r(j). Solve p*c = -c + 15 for c.
3
Suppose -z = -0*z - 2. Let b(a) = -a**3 + a - z*a**3 + 4*a**3 + 1 + 3 + 4*a**2. Let w be b(-4). Solve s + 0*s = w for s.
0
Let u = -59 - -61. Suppose -u = -3*p + 2*a, 2*p + 5*a = -3 + 17. Solve c + p = -c for c.
-1
Let d(g) be the third derivative of g**5/30 - g**4 + 5*g**3/6 - 11*g**2. Let u be d(12). Solve 3*r = u*r - 8 for r.
4
Let t(y) = -y + 6. Let g be t(0). Let j be 15/(-6)*-8*2. Suppose -2*i = -g*i + j. Solve -f - f = i for f.
-5
Let x(q) = -q**3 + q**2 + 2*q - 3. Let o be x(2). Let n(y) = y**3 + 3*y**2 + y + 6. Let b be n(o). Solve 9 + 3 = -b*j for j.
-4
Let q(y) be the third derivative of y**5/60 - y**4/24 - y**3 + 276*y**2 + 1. Let v be (-2)/1*6/4. Let f be q(v). Solve 0*r - f = -3*r for r.
2
Suppose y = -27 + 39. Let b(k) = 2*k - 24. Let z be b(y). Solve -r = -z*r for r.
0
Let n be 6180/165 + 42/77. Solve -3*h - n = -47 for h.
3
Let r(f) = -50*f + 15. Let d be r(0). Solve 10*o - 13*o = d for o.
-5
Let q be (-9 + 0 + 1)/(-2). Let f = q - 2. Solve 1 = -f*d - 5 for d.
-3
Let c(f) = -3*f**2 - 1 + 3*f**3 - 4*f**3 + 5*f**2 + 0*f**2. Let d be c(-1). Let t be d*((-14)/4 - -4). Solve -5*y + 14 + t = 0 for y.
3
Let o = -4 - -13. Suppose -27 = -o*c + 6*c. Let j be 93/9 - 3/c. Solve 0 = k + k + j for k.
-5
Suppose -5*v - 7 = -3*x, -4*v = 14*x - 16*x + 4. Solve 0 = -x*w - 2 - 2 for w.
-1
Let u be (5 + -2)/(-3)*-3. Let s be 2/(-5) - 48/(-20). Suppose v = -3*n + 13, -5*n = -3*v - s - 1. Solve -z - u*z = v for z.
-1
Let s(t) = -t**3 + 1 - 5*t**2 + 13*t**2 + 2. Let v be s(8). Let m be 0/(-1 + -3 + 6). Solve -h + m = -v for h.
3
Let y be 2/7 - (-66)/14. Let g(j) = -7*j - 23. Let m be ((6 - 6) + 3)*(-10)/6. Let q be g(m). Solve y*t - 2 + q = 0 for t.
-2
Suppose -38 = -4*v + 5*n, 20*v + 2*n + 11 = 21*v. Solve 114*d - 107*d + v = 0 for d.
-1
Let n = 585 - 577. Solve 0 = d + 7*d + n for d.
-1
Let y = 767 + -767. Solve y = 6*o - 7*o + 5 for o.
5
Suppose -5*w = -2*f - 2, -w + 3*f - 6 = 2*w. Suppose -2*k = 2*t - 14, 5*t - w*t = 6. Solve -15 + k = -5*d for d.
2
Let x = 81 + -44. Let o(l) = 5*l + 5. Let z be o(-5). Let s = x + z. Solve -3*y + 5 = s for y.
-4
Let q(g) = g**2 - 4*g + 7. Let b be q(4). Suppose -4*z = n + 6 - 2, 2*n + 5*z = b. Solve -3*j = j - n for j.
4
Let u be -48*((-35)/210 - (-1)/(-6)). Solve 0 = -5*h - u + 41 for h.
5
Suppose -18*c + 50 = -4. Solve -3*r - c = 6 for r.
-3
Let n be (1350/125)/((-9)/(-30)). Solve -31*g = -n*g for g.
0
Suppose -2*f + 10 = 4*u + 4, 2*u = 4*f + 28. Suppose 4*g + 0 + 8 = 0, -u = j + 3*g. Solve 1 = j*m - m for m.
1
Let x be (-60)/(-30)*2/2. Solve -6*m + x = -5*m for m.
2
Suppose 0 = -63*j + 336 + 231. Solve -3*i - j = -21 for i.
4
Let f(h) = -2*h - 16. Let g be f(-5). Let y be 3*((-28)/g + -4). Solve 0 = 2*a + y + 4 for a.
-3
Let u = 8 - -9. Let b = -16 + u. Solve -o - b = -3 for o.
2
Let z be (8 + 2)/(6/9). Solve 0 = -y - 4*y + z for y.
3
Let t(q) = -q + 4. Let k be t(0). Let y be (-3 - -5 - k) + 2. Solve -2*j + 0*j - 8 = y for j.
-4
Suppose -177*l + 179*l = 34. Solve 5*o + 3 = -l for o.
-4
Let i(h) = h**2 + 7*h + 6. Let b be i(-6). Suppose -1055 + 1019 = -18*x. Solve -d - x*d - 15 = b for d.
-5
Let w = 1256 + -1220. Solve -41*u + w*u = 25 for u.
-5
Let k = -770 + 771. Solve -k = 3*t - 4*t for t.
1
Let u be (-3 - -6) + 0 - -3. Suppose 2*q + u = r + 5*q, 0 = 4*r - q - 11. Let y be (-36)/(-4) - 12/3. Solve -r + 23 = y*b for b.
4
Suppose -6 + 14 = 2*v. Suppose -r + 6*r + 4*w = 40, -v*r = -2*w - 6. Suppose 3*b - 7*b = 3*p - 25, 8 = -r*p + 5*b. Solve -p*s = 3 + 3 for s.
-2
Let o(p) = p**3 - 7*p**2 + 9*p - 11. Let d be o(6). Let n be (-4)/(7/(d/(-2))). Solve -n*i - 2 = 2 for i.
-2
Let v be 8/(-14) + 4 + (-8)/(-14). Suppose k - 5*h + 9 = 0, 3*k + 6 = -4*h + 36. Solve -g - k = -v*g for g.
2
Suppose 0 = -2*d + 4*d - 6. Suppose 2*f - 76 = -2*f + y, d*f = -3*y + 57. Solve -f = -4*p + 1 for p.
5
Let g = 20 - 30. Let i = -14 - g. Let n = i - -6. Solve 0 = -0*c + n*c - 2 for c.
1
Suppose 0 = 12*c - 33 + 9. Let r be 4/(-6) - 56/(-12). Solve c*h + 10 = r*h for h.
5
Let j be -5*(6/10)/(-33 - -32). Solve 2*c = j*c for c.
0
Let x be (0 - 4)/(-6*4/18). Solve -2*c = -x + 1 for c.
1
Let r be 7 - (25/5)/1. Solve -36 = -r*p - 7*p for p.
4
Suppose 2 = 3*d - 4. Solve -7*c = -8*c + d for c.
2
Suppose -11 = -4*a - 4*i + 9, -23 = -5*a - 3*i. Suppose 40 = a*t - 32. Solve 4*x + 2 + t = 0 for x.
-5
Let d be (63/(-15) + 3)*(-80)/24. Solve a - 3 = d*a