 = -d + 8. Let n be v(w). Solve -5 + n = -5*b for b.
1
Let c(i) = -i**2 + 4*i + 10. Let h be c(5). Suppose -2*o + 4 = -h*m - 0*o, -o = 2*m - 2. Solve m*p = -4*p for p.
0
Suppose 0*g - 2*g = 0. Suppose -3*d + 27 = 4*u - 7, -15 = 3*u. Let b be (-585)/(-81) - 4/d. Solve g = 3*a - b*a - 16 for a.
-4
Suppose 0 = -4*v - 12, -v + 0*v = 5*y - 12. Solve -25 = -y*b - 10 for b.
5
Suppose -5*s = -3*d + 36, 0*d + d - 4*s = 12. Solve -25*r = -29*r + d for r.
3
Suppose 46*p = 87*p - 82. Solve -13 = 3*f + p for f.
-5
Let d = -32 - -35. Suppose -d*x + 9 = -0*x. Let s be 2/(-7) - 32/(-14). Solve -x = u - s for u.
-1
Suppose 5*u = 34 + 36. Suppose -18*o + u*o = -16. Solve 4*c - 16 - o = 0 for c.
5
Let k(r) = -r**2 + 30*r + 66. Let o be k(32). Solve 48 = o*n - 14*n for n.
-4
Let f(m) = -m**3 - 6*m**2 + 2. Let i be f(-6). Let k be 7 - i/(-6)*-3. Suppose 3*j + 0*j - k = 0. Solve 2*l + j*l = -16 for l.
-4
Let j(g) = g**3 - 3*g**2 - 2 + 4 + 0*g**2 - 5*g**2. Let y be j(8). Solve 3*q = -y*q + 15 for q.
3
Let j = 175 - 172. Suppose -2*s + j*s - 8 = 0. Solve -v - s = -5*v for v.
2
Suppose 30*j - 26*j + 12 = 0. Let n be (2 + j/2)*6. Solve v - 4 = -n for v.
1
Let r = 31 + -59. Let f = r - -40. Solve f = 7*b - 3*b for b.
3
Suppose c - 2*y + 1 = -1, 0 = 5*y - 10. Solve 15 = c*u + 3*u for u.
3
Let l be 363/27 + 16/(-36). Solve l*a = 8*a + 5 for a.
1
Let v be 36/(-24)*(-8)/(-6). Let f be -1 + (24/v)/(-4). Solve 2*t - 8 = -f*t for t.
2
Let i(x) = 2*x**2 - 7*x + 3. Let h be i(3). Suppose 5*u - 2 + h = y, y + 2*u = 5. Solve -2*v - 4 = -y*v for v.
4
Let v(m) = -m**3 + 4*m**2 - 3*m - 3. Let s be v(3). Let a be 8 - (s + 7) - 4. Let p = -6 - -7. Solve -i + p - 4 = a for i.
-3
Let m(o) = -o**3 - 2*o**2 - 5*o + 1. Let r be m(-3). Suppose 5*z - r = 2*i, -z - i + 26 = 2*z. Solve -5*f = -z*f for f.
0
Suppose 5*h + 4*o - 73 = 0, -5*h + 4*o + 59 = o. Suppose -3*j + z = -25, 0 = -2*j - 5*z + h + 15. Solve -g = 2*g - j for g.
3
Suppose -2*k - 4*b + 16 = k, -2*k = 4*b - 16. Let s be 7/(-2)*80/(-14). Solve -4*w = -k*w - s for w.
5
Let g(q) = -2*q + 20. Let s be g(10). Let k = 12 + -8. Solve k*p = -12 - s for p.
-3
Suppose -3*l + 6 = -0*l. Suppose 9*q = 4 + 5. Solve i - q = l for i.
3
Let u(b) = -53*b + 216. Let t be u(4). Solve -10 = 9*n - t*n for n.
-2
Suppose -174 = -3*b - 5*w + w, -2*b - 4*w = -120. Solve b = -10*v + 4 for v.
-5
Let b be (-1 + 1)/((-3)/3). Let x(f) = 4*f**2 - 36*f + 3. Let d be x(9). Solve 0 = -b*k - 3*k - d for k.
-1
Suppose -142*r = -144*r + 32. Let j be ((-5)/(-4))/5 - 4/r. Let v = -1 + 6. Solve -v*n + 0*n + 10 = j for n.
2
Let s(n) = -3*n + 0 + 0*n + 7 + 3. Let j be s(3). Solve -r - j = 1 for r.
-2
Suppose -4*f = 2*l - 3*l - 101, -l + 67 = 3*f. Solve 5*d - 14 = -f for d.
-2
Let c be (-4)/(-2)*4/1. Let d = -18 + c. Let h be (-15)/(-6)*(-24)/d. Solve -h*n + 10 = -n for n.
2
Let r be 6/30 + 1904/80. Solve 24*v = 30*v - r for v.
4
Let z(g) = 20 - g**2 - 2 - 8 - 10*g + 3. Let n be z(-10). Solve 1 = -4*b + n for b.
3
Let g be (1/2)/(1/24). Suppose -2*z + 3*d + 0 - 15 = 0, 0 = z + 2*d - 10. Let l = g - z. Solve l = -3*r - 3 for r.
-5
Suppose -27 = b - 2*o, 24 = -2*b - 0*o - 2*o. Let v = b - -25. Solve 3*t - 1 = v for t.
3
Suppose j + 13 = h + 4, -3*h + j + 33 = 0. Solve -h*s = 49 - 1 for s.
-4
Let o(f) = 10*f + 4. Let k be o(0). Let h(x) = x**3 - 4*x**2 + x. Let t be h(k). Solve 0 = 6*r - t*r for r.
0
Let r be (-5)/(-2) + 2/(-4). Suppose -x - w = -0*w - r, 2*x - 5 = -w. Solve -x*p - 16 = p for p.
-4
Let y(p) = 3*p**2 - 6*p - 2. Let g(i) = 2*i**2 + i + 1. Let a(u) = -g(u) + y(u). Let q be (-4)/(2*1)*-4. Let n be a(q). Solve n = 4*w - 11 for w.
4
Let a be (-2)/(3/(-6) + 0). Suppose -3*q - 2*s = -0*s - 3, -a*s = -q + 15. Solve -5*v + q = -2 for v.
1
Let q(z) = 2*z**2 - 2*z + 1. Suppose 0 = 5*s - 5*n + 2*n - 20, 4*n = 4*s - 24. Let g be q(s). Let m be g/(-8) - (-567)/56. Solve 0*x = 5*x + m for x.
-2
Let t be (70/(-15))/14 + (-28)/(-3). Solve -t*y = -4*y for y.
0
Suppose z = -9 - 19. Let n = z - -48. Suppose 10 = 2*l + d, -2*l - 2*l - d = -n. Solve 0 = -l*f - 7 + 2 for f.
-1
Let s be (-8)/(-176)*92 + 2/(-11). Solve -8*w - 20 = -s*w for w.
-5
Let k(m) = m**2 - 2*m - 7. Let x be k(5). Let w be ((-25)/1)/(x/(-16)). Let s be (-6)/(-9) + w/15. Solve -3*a - 2 = s for a.
-2
Let b(y) be the first derivative of -y**3/3 + 4*y**2 - 14*y - 9. Let u be b(5). Solve -c = 3 - u for c.
-2
Let o be (-30)/45 - 5/(-3). Let r be (o + -2)*(4 + -4). Solve 5*z + 10 + 5 = r for z.
-3
Let p be (33*30/(-18))/(-1). Solve 0 = -0*i - 11*i - p for i.
-5
Let d(s) = -s**2 - 13 - 6*s + 2*s + 12. Let q be d(-1). Solve -q*h = -1 - 3 for h.
2
Let m be (3 - 2)*(120 - 40). Solve -m = 10*g + 6*g for g.
-5
Suppose 12*v = -3*v + 1320. Let w = v + -86. Suppose -2*p + 14 = 3*t - 6*p, -10 = -t + 4*p. Solve -2 = -w*r + t for r.
2
Let l be (0/1)/(8 - (-30)/(-5)). Let d(w) = -w**3 + w**2 - w + 3. Let v be d(l). Solve 6*f - 7*f - v = 0 for f.
-3
Let d(s) = -5*s - 105. Let h be d(-22). Solve -6*k + 7*k + h = 0 for k.
-5
Let q(m) = -6*m + 52. Let y be q(8). Solve 6*z - 26 = y for z.
5
Suppose 5*r = 5*m - 155, m - 61 = r - 6*r. Let y = m - 32. Solve w = -0*w + y for w.
4
Suppose 447*b + 152 = 485*b. Solve 0 = -b*p - 81 + 69 for p.
-3
Let k = 102 - 154. Let c = 55 + k. Solve 0*d = c*d for d.
0
Let i be 630/735*7/2. Solve i*d + 2 = d for d.
-1
Let s(j) = j**2 - 23*j + 45. Suppose -15*r + 147 = -8*r. Let u be s(r). Solve g + 2*g = u for g.
1
Let l = 362 - 359. Solve -l*t + 0*t = 0 for t.
0
Let p(k) = 20*k + 107. Let m be p(-5). Solve 7*a - m*a = 4*a for a.
0
Let t(s) be the first derivative of -8 + 1/4*s**4 + 0*s**3 + 3*s + 0*s**2. Let v be t(0). Solve -7 = v*o + 8 for o.
-5
Let i be ((-3)/6)/(7/(-14)). Solve 3 = -2*j - i for j.
-2
Suppose 2 = m, 0*y + 2*m = 3*y - 5. Suppose k + y*c = -k + 18, -k + c = 1. Let t be 1/((-2)/(-24)*k). Solve t*s + s + 25 = 0 for s.
-5
Suppose 13 - 45 = -4*t. Let c = 29 + -21. Let y = c + -5. Solve t = -f - y*f for f.
-2
Let c = 123 - 111. Suppose 3*k = -0*k + c. Solve -k*f = -5 - 15 for f.
5
Suppose -5*x + 10*x = -10. Let g be 11/(-2) - 6/12. Let i be 9/g*1*x. Solve -i*m = -4*m for m.
0
Suppose 995 = -9*j + 1391. Solve -19*r = -13 - j for r.
3
Let w(p) = 1 - 3 + p**2 + 7*p - 13*p. Let c be w(7). Suppose 5*z - 11 = 2*v - 0*v, 0 = -c*z - v + 17. Solve a = -z*a - 4 for a.
-1
Let l be (-3 + -18)/(-3) - -1. Let s = 1 - -5. Suppose s*g - 5*g = 0. Solve f + l - 4 = g for f.
-4
Let t = 31 + -33. Let p be t + 3 + (-1 - -2). Solve p*x = 4*x - 2 for x.
1
Suppose -t - 4*a + 23 = 2*t, 4*t = 4*a + 12. Let v(k) = -25 - 15*k + k**2 - 23 + 37. Let r be v(16). Solve t*q + r = -0*q for q.
-1
Let r = -33 - -57. Let q = r + -25. Let f be 2 - 4 - -2 - q. Solve y + 0 = f for y.
1
Let u be 8/(-9 - -11) + 1. Solve u*x = -3*x + x for x.
0
Let c(w) = w**3 + 16*w**2 - 2*w - 16. Let f(k) = -k**3 - 5*k**2 + 6*k + 14. Let a be f(-5). Let v be c(a). Solve u = 5*u - v for u.
4
Let p = -229 + 241. Solve -30*a = -p*a for a.
0
Suppose 0 = -u + 5 - 0. Suppose 3*b = b. Solve 5*f + u = -b*f for f.
-1
Suppose 28 = 3*g - 4*r, 5*r + 0*r + 16 = -g. Solve d = -g*d for d.
0
Let c be (1 + (0 - 2))/(-1). Suppose -2 + c = v. Let z be (-3)/(-6) - v/2. Solve -5 = 2*p + z for p.
-3
Let v be 0/4*(-1)/1. Suppose v = 3*p - 3*i - 6 - 0, p = -3*i - 6. Let t be (12*-1)/(p + -1). Solve -3*g = -t - 0 for g.
4
Let l = -17 - -17. Suppose l*i + 45 = -3*i. Let s = 25 + i. Solve 5*x - s = 3*x for x.
5
Let m = -407 - -437. Solve 3*c - m = -3*c for c.
5
Let i(n) = 25*n - 194. Let m be i(8). Solve -15*o + m = -9 for o.
1
Let w(g) = -g**2 + 12*g + 6. Suppose 2*v - 2*p - 37 = p, -2*p + 23 = 3*v. Let d be w(v). Solve -d = 5*r + 3 for r.
-4
Suppose -2*n + 5*n - 28 = 2*q, -4*n + 45 = 5*q. Let d = 12 + -7. Solve 0 = -d*c - 5 + n for c.
1
Suppose 309 = 5*b - 4*n, 4*n + 248 = 4*b + n. Let m = b - 61. Solve -m = 2*x + 2*x for x.
-1
Suppose 0*x = -7*x + 21. Suppose -2*r - 6 = -x*r. Solve d + 1 = r for d.
5
Let d = -602 + 613. Solve 24 = -d*z - 9 for z.
-3
Let i = -14 - -20. Suppose 0 = -m - 3*n - 11, -m + 2*m = -2*n - i. Solve 16 - m = -4*g for g.
-3
Suppose 4*v = -w + v - 8, v + 12 = 2*w. Let q(c) = -8*c - 42. Let a be q(-6). Suppose -u - w*s = u + 18, -u + a = -s. Solve 0 = -0*k - k - u for k.
-1
Let z = -5 - -6. Let o(c) = c**3 - 9*c**2 - 7*c - 27. Let a be o(10). Solve z =