= -7, 2*k + 2 = p + a. Suppose 3*b + p*z = -3, 7 = -2*b - 3*z - 0*z. Solve -s + b = -1 for s.
5
Suppose 3*s = 3*d - 9 - 6, -4*d + 26 = 2*s. Suppose 2*x = 2*p - 20, d*x - x + 14 = -p. Solve f + f = -p for f.
-3
Let u = 21 + -19. Suppose -u*j = -0*j - 10. Solve 0 = -3*h + j*h + 10 for h.
-5
Suppose -125*p + 158*p - 15609 = 0. Solve 469*l - p*l = 0 for l.
0
Suppose -62*p + 54*p = 0. Solve 5*m - m + 16 = p for m.
-4
Let y(u) = u**3 + 5*u**2 - 8*u - 7. Let w be y(-6). Let a(z) = -z**3 - 4*z**2 + 2*z - 7. Let t be a(-5). Let s = t + -6. Solve -w*v = -s*v - 3 for v.
1
Let v(o) = 2*o - 20. Let t be v(10). Suppose t = -4*b + 3*b. Solve b = -s + 3*s for s.
0
Suppose -5*s + 3*k = -42, -3*s - 2*s - k = -26. Suppose -s*h = -3*h - 15. Solve -5*d = -h - 5 for d.
2
Suppose 24*c - 217 + 73 = 0. Solve 4*q + c = -14 for q.
-5
Let g be 143/(-44) + 6/(-8). Let h(f) = -2*f - 4. Let n be h(g). Solve -4 = n*i - 0*i for i.
-1
Let a(f) = -9*f - 67. Let g be a(-13). Suppose 2*y = g - 38. Solve y*p = 4*p for p.
0
Let f be ((-1)/(-3))/((-4)/12). Let b be (0/(-3 + 6))/f. Suppose -5*n + 12 - 30 = 2*l, b = -5*l - 5*n - 15. Solve 0 = -u + l + 2 for u.
3
Let o(h) = h**3 + 8*h**2 - h - 3. Let f be o(-8). Let k(z) = z**3 + z - 23. Let c be k(0). Let i = -16 - c. Solve f*t + i = 32 for t.
5
Suppose -7*b + 8*b = 3. Let r = b - 0. Suppose -4*p + r*t = -8 - 3, 2*p = t + 7. Solve 16 = p*n - 4 for n.
4
Let y be (3*-30)/3*2/5. Let s = y + 18. Solve 4*w + s = 2 for w.
-1
Suppose -3*m = -0*z + z + 124, -2*z + m = 220. Let u be (-240)/z + (-1)/7. Solve 0*n + n + u = 0 for n.
-2
Suppose -2*v - 2*v = -16. Suppose -4*x = -0*x - v. Let a be (4/(-8))/(x/(-2)). Solve 2*p + a = -3 for p.
-2
Let j = -17 - -21. Suppose -2*o - 38 = 4*w, j*o + 69 = w - 2*w. Let m = 24 + o. Solve 3*z + m = -8 for z.
-5
Suppose -4*u = p - 11, -13*p + 10*p = 5*u - 12. Solve u*j - 4*j = 2 for j.
-2
Let v = -11 + 17. Let b be v + (0 - 4) + 5. Solve b*r = 3*r + 20 for r.
5
Suppose 13 = 8*n + 5. Suppose 1 - n = -5*a. Solve l - 4*l + 6 = a for l.
2
Let j be (2 - 1)*1 + 0. Suppose f + 9 = 2*x, 0 = 5*x + 159*f - 160*f - 18. Solve 2*z - x*z = -j for z.
1
Let w be (-4)/4*-1*4. Suppose -5 = -w*q + 3*q. Suppose 5*d - 5*h = 15, d = -0*h - q*h - 9. Solve 0 = v - 3 - d for v.
4
Suppose 19*g - 24 = 52. Solve 7*z - g*z - 15 = 0 for z.
5
Suppose 4*c - 192 = -4*c. Suppose -n + 5*n = c. Suppose -g - 11 = -3*t, 0 = 2*t - 4*t + 4*g - n. Solve -4*y = -t*y - 1 for y.
-1
Let w = 668 - 663. Solve 12*q - 7*q - w = 0 for q.
1
Let v = 205 - 194. Solve v*a = 15*a for a.
0
Suppose 4*o = -3*f - 35, 4 = 5*o - f + 43. Let t = o - -10. Solve 14 - 6 = -t*v for v.
-4
Let m be (-2)/4*(4 - 3 - 19). Solve 0*d - 3*d = m for d.
-3
Let h be 98/4 + (-3 - -10)/(-14). Let w be ((-4)/h)/(3/(-90)). Suppose 0 = 3*f + 2*y - 16 + 2, -y = -5*f + 19. Solve f*b - 3 = w for b.
2
Suppose 21 + 19 = 8*r. Suppose -m = -k + 7, -2*k + r*k - 31 = 5*m. Solve -k*d + 0 - 8 = 0 for d.
-4
Suppose 2*j - 12 = -4. Suppose -w = 1, j*m - 3*w = -2*w + 101. Let h be (-4)/10 + 85/m. Solve -15 = h*i - 6 for i.
-3
Suppose 244*c = 262*c. Solve c = 32*u - 30*u + 8 for u.
-4
Suppose 38 - 6 = 8*y. Solve 0 = y*d - 9 + 1 for d.
2
Suppose 4*h - 8*h - 274 = -2*p, p = -5*h - 353. Let y be 5/(h/4) - 207/(-63). Solve -y*r = 18 - 6 for r.
-4
Let s = -2906 + 2995. Solve 105 = 8*w + s for w.
2
Let u(l) = l + 74. Let n be u(-14). Suppose -v + n = 5*v. Solve k + v = 3*k for k.
5
Let t = 1655 - 1642. Solve -t*z = -2 + 41 for z.
-3
Suppose 0 = -21*d + 31*d - 30. Suppose 0 = 2*m + 2*w - 10, 6*w - d*w - 3 = 3*m. Solve m*v = 3*v for v.
0
Let p(f) = -f**3 - 8*f**2 + 9*f + 2. Let w be p(-9). Let y(d) = -d**3 + 2*d**2 + d - 2. Let a be (-4)/12 - 7/(-3). Let k be y(a). Solve -h - w*h + 9 = k for h.
3
Suppose -9*p + 15 = -8*p. Let h = 31 - p. Let d be 4/h*20/1. Solve 2*r = 3*r + d for r.
-5
Let t be ((-47)/(-141))/(1/3). Solve -t + 9 = -4*c for c.
-2
Let m(p) = 4*p**3 - 13*p**2 + 13*p - 1. Let w(c) = c**3 - 3*c**2 + 3*c. Let d(z) = -2*m(z) + 9*w(z). Let o be d(0). Solve -o*f + 1 = 7 for f.
-3
Suppose -4*o + 13 = -p, 5*p + 0*p + 5 = 5*o. Suppose -21*m + 6 = 6. Solve m*u = -2*u - o for u.
-2
Let t(u) = -u**3 - u**2 + u + 2. Let n be t(2). Let d = n + 11. Suppose -2*f - 7*y = -2*y + 8, -f + d*y = -7. Solve 3*h + f = -8 for h.
-3
Let b be 5/(-15)*(-2 - -2). Solve b = -7*x - 0 - 0 for x.
0
Suppose -5*x - 4*r = 352 + 242, -5*x + 5*r = 585. Let s = -113 - x. Solve -s = -3*v + 2*v for v.
5
Let w(g) = g**2 - 6*g + 1. Let r be w(7). Suppose 4 = -r*p + 9*p. Solve -p*h + 3*h = -5 for h.
5
Suppose 0 = -4*l - 2*z + 38, -4*l + 44 = -0*l - 4*z. Let g = l - 6. Suppose -4*j + 3*q + 63 = 0, 3*q = -g*j - 0*q + 33. Solve -3*h + j = h for h.
3
Let x = 33 + -33. Let w(f) = f**3 + f**2 - f + 6. Let t be w(0). Suppose x*g = -g + t. Solve -2*u + g = u for u.
2
Let x(q) = 4*q - 2. Let f be x(2). Suppose -5*h + 5*g = -45, 3*g = 4*h + 5*g - f. Solve 0 = -5*a + a + h for a.
1
Suppose -14 = -2*t + 100. Let w = t - 55. Solve w*m + 2*m + 20 = 0 for m.
-5
Suppose 135 = 2*t + 3*t. Suppose -4*o = b + t, -4*b = -7*b + 15. Let z be 2 + -3 - (o - -2). Solve -j - 2 = -z for j.
3
Let m = 28 - 14. Suppose 3*o = 2*d + 10, 0*d - 2*d + 4*o = m. Suppose -4*t = s - 7 - 5, -2*t - 4 = 3*s. Solve t*l - 19 = d for l.
5
Let y(q) = q**3 - q - 2. Let z be y(2). Suppose -g + 1 = 5*o - o, 6 = 2*g + z*o. Let w be (-2)/2*(-702)/78. Solve -2*a - w = -g*a for a.
3
Suppose 174 + 18 = 8*w. Suppose 4*o + 0*o - 21 = y, -3*o + w = 2*y. Solve -o*n + 3 = -7*n for n.
-3
Let a be 7*1 - 0/(-10). Suppose -2*y + 2*j + 0 + 6 = 0, 4*y - 5*j - a = 0. Let k(x) = x**2 - 7*x. Let q be k(y). Solve q = -u + 3 for u.
-5
Let t(n) = -n + 2. Let a be t(0). Suppose 24 = a*z - 64. Suppose 6*w - 2*w - 4*g = z, -32 = -3*w + 2*g. Solve w = -l - l for l.
-5
Let o be (-8400)/108 - 4/18. Let y = -71 - o. Solve y*x - 9 = 4*x for x.
3
Let k = 344 + -314. Solve 19*m - k = 13*m for m.
5
Suppose -4*q - 4*t + 2 = -2, 5*q - 5*t = 25. Suppose -q*h = -0 - 18. Solve u + u = h for u.
3
Suppose 2*s - 3*g = -7*g - 20, -10 = 3*s + 2*g. Solve s = -17*a + 14*a for a.
0
Let z be ((-1 - -2) + 1)/((-6)/(-15)). Let b be 0 - -15 - (0/z + 1). Let y be 6*1 - (-1 - -2). Solve b + 11 = y*p for p.
5
Suppose 4*m + 0*m = 0. Suppose 0 = -m*r + 3*r - 6. Solve -2*q = -6 - r for q.
4
Let s be 168/27 + 2/(-9). Let u = -33 - -41. Suppose -u = 2*m - s*m. Solve 7 = m*v - 1 for v.
4
Let b be (14 + 3 - 2)/3. Suppose b + 5 = -5*h. Let t be -3*(-1 + -2 - h). Solve -t*s + 14 = -1 for s.
5
Suppose 3*c + 4 = c, 4*z - 5*c - 170 = 0. Solve -10*q + 2*q + z = 0 for q.
5
Let h be (4 + -2)*(-27)/(-6). Suppose -a - 6 + h = 0. Solve 0 = 4*v - a - 5 for v.
2
Let r(s) = 18 - 11 - s + 0*s. Let d be r(5). Solve 3 = w - d for w.
5
Let m(p) = 2*p**2 + 27*p + 39. Let y be m(-12). Solve b = 2*b + y for b.
-3
Let b = -82 + 86. Suppose -b*m - 5*m = -36. Solve 2*t = m*t for t.
0
Suppose 9 = -2*s + 5*s - 4*o, 3*s + 3*o = 9. Suppose 2*x + 5*z - 12 - 1 = 0, 0 = s*x + 3*z - 15. Solve -4*m - x = -5*m for m.
4
Suppose 0 = -2*c + 4*f - 8, f - 35 = -15*c + 10*c. Solve -c*r - 4 = -2*r for r.
-1
Suppose 6 + 9 = 3*h. Let x(u) = 4*u**2 - 52*u. Let m be x(13). Solve -10 = -h*w - m for w.
2
Let k = 51 - 79. Let z be (-5)/(-4) + 117/(-4). Let c = k - z. Solve c = -5*p - 0*p + 15 for p.
3
Suppose -218 = -13*t + 16. Let d = 7 + -6. Suppose -5*k + t = 2*q, -d = -q + 2*q. Solve 0 = -0*b + b + k for b.
-4
Suppose 0*f - 1 = -3*f + 2*j, 0 = -f - j - 3. Let c be (10 + -10)/(f - 1). Solve 0*x - 3*x = c for x.
0
Suppose 4*q - 7 = -4*v + 17, -2*q = -2*v + 4. Let x(i) = -i + 4. Let t be x(3). Suppose 0 = r - v - t. Solve -y - r = -2*y for y.
5
Let c be (-2)/4 - 81/(-18). Suppose -2*j = -5 - 3. Solve c*a + j + 12 = 0 for a.
-4
Suppose -14*s + 3*s + 187 = 0. Suppose 0 = 20*z - s*z - 24. Solve -z = 5*v - v for v.
-2
Suppose -49 = -118*z + 125*z. Let p(t) = t**3 + 8*t**2 + 6*t - 5. Let q be p(z). Let v(b) = b**3 + 2*b**2 - b. Let h be v(-2). Solve i = q*i + h for i.
-2
Suppose -1 = x + 3*k - 2, x = k + 5. Suppose -p = -x*p. Suppose p*q - 15 = -5*q. Solve 1 = q*h - 14 for h.
5
Let y be -3 + 21/(-4 + 7). Let j be (y/(-6))/(2/(-48)). Solve -3*s + j = s for s.
4
Let h(b) = -3*b + 5*b - 3*b + 3 - 4*b - b**2. Let n be h(-4). Solve 5*t + n = -8 for t.
-3
Suppose 4*h + 16 = 0, -5*s + 2*h - 241 = 56. Let