8 = -y*x. Is 8 a factor of x?
True
Let z(d) = -d**3 - 4*d**2 + 8*d - 4. Suppose g + 11 = -4*q - 4, 25 = -5*g + 5*q. Is z(g) a multiple of 29?
True
Let w be (0 + -1)/(-8 - -9). Let n(t) = -10*t. Let s be n(w). Is (-2)/s + (-324)/(-20) a multiple of 11?
False
Let o = -1124 - -1341. Is 9 a factor of o?
False
Let i(s) = 20*s. Let m(v) = 5*v**2 + v + 1. Let d be m(-1). Suppose 0 = 2*o + d*z - 2, -z = 2*z. Is i(o) a multiple of 6?
False
Let z = 67 - 6. Is z a multiple of 3?
False
Let h = 20 + -39. Let s(w) = -w**3 - 19*w**2 - 4*w + 1. Does 11 divide s(h)?
True
Suppose 3*c = -5*t + 4*c - 70, 40 = -t - 5*c. Let i be ((-36)/t)/((-10)/(-125)). Let a = i - -6. Does 16 divide a?
False
Is 7 a factor of (-12)/(-18) - 520/(-3)?
False
Suppose 4 - 91 = -3*g. Suppose -g*s + 26*s = -9. Suppose -s*i = -2*q + 84 + 55, -3*q + 237 = 5*i. Does 35 divide q?
False
Let k(j) = -9*j - 33. Let d be k(-12). Let q = d - 45. Does 6 divide q?
True
Suppose 11*r - 14*r = -3429. Does 16 divide r?
False
Suppose 2 - 8 = -k. Suppose -3*v = -6, -2*j + v = j - 16. Is (20/j)/(k/36) a multiple of 10?
True
Suppose 0*y = -2*y. Suppose y = -w + 4*w - 24. Is w a multiple of 2?
True
Suppose 0 = 25*s - 4*s - 13986. Is 9 a factor of s?
True
Let k(b) = 133*b**2 + 12*b - 14. Is k(1) even?
False
Suppose 3425 = 17*l - 2406. Does 18 divide l?
False
Let a = 71 + -188. Is a/(-7) + 10/35 a multiple of 8?
False
Suppose -4*d = -31 - 9. Suppose 11*i - d = 10*i. Is 5 a factor of i?
True
Suppose 8 = -2*q, 4*q = k + 2*q - 13. Suppose w - s - 306 = -23, 0 = -2*w - k*s + 573. Is 8/(-28) - w/(-14) a multiple of 10?
True
Let b be -10*(-3)/(-24)*-112. Suppose -b = -8*l + 6*l. Is l a multiple of 14?
True
Let l be -1 - (412/(-4) + -4). Let u = -18 + l. Is 8 a factor of u?
True
Is (2238/8)/(18/120) a multiple of 93?
False
Suppose -6 = 4*k - 14. Is ((-36)/15)/(k/(-5)) a multiple of 4?
False
Suppose 5 = -6*u + 5. Let c(s) = -s + 24. Is 6 a factor of c(u)?
True
Suppose 2*c - 9 = -1. Suppose n + c*y = 108, 5*n - 315 - 297 = 4*y. Does 24 divide n?
True
Let a(s) = 12*s**2 + 9*s. Let p(m) = -11*m**2 - 10*m - 1. Let y(w) = -2*a(w) - 3*p(w). Does 8 divide y(-5)?
True
Suppose 2*x = 5*r - 0 - 7, -3*r = -3. Let y = x - -6. Suppose -y*f = w - 3*w + 44, 4*w = 5*f + 98. Does 7 divide w?
False
Let r = -2564 + 3679. Is r a multiple of 62?
False
Suppose u - 170 = 4. Is 3 a factor of u?
True
Suppose 4*w - 17092 = -4*y, -4*y - 9*w + 7*w + 17100 = 0. Is 29 a factor of y?
False
Let m = 15 + -13. Let s(d) = d - 4. Let l be s(m). Is 22 a factor of 36 - (l + 1 + 1)?
False
Let r = -427 - -843. Is 26 a factor of r?
True
Suppose 0 = 24*h - 11795 - 61. Is 30 a factor of h?
False
Let o(t) = 4*t**3 - 17*t**2 - 2*t + 25. Is 22 a factor of o(7)?
True
Let v(y) = y**3 + 7*y**2 - 11*y - 8. Suppose 0 = 3*q + 12, 0*q - 32 = 2*f + 5*q. Is 14 a factor of v(f)?
False
Let t be 10/(-55) - 35/(-11). Let v(b) = b**3 + 8*b**2 + 10*b + 7. Let c be v(-6). Suppose -i + c = -t. Is i a multiple of 6?
False
Let m = 77 + -141. Is 23 a factor of (m/24)/((-4)/138)?
True
Is (-5 - -1) + (-3)/((-15)/2555) a multiple of 18?
False
Let z be 1506/(-16) + 4/32. Let t = -15 - z. Let x = 128 - t. Is 9 a factor of x?
False
Let r = -13 + 24. Suppose -z = -3*k + 599, 1000 - 184 = 4*k + 3*z. Suppose k = r*x - 8*x. Is x a multiple of 30?
False
Suppose -1365 = -4*f - 3*m + 333, 4*f - 4*m = 1684. Is f a multiple of 33?
False
Let a = -907 + 1356. Suppose a + 75 = 4*n. Is n a multiple of 17?
False
Suppose -42*t - 3 = -39*t, -u - 5*t + 765 = 0. Is u a multiple of 7?
True
Let x = 1270 + -330. Is 10 a factor of x?
True
Let g(s) = 137*s**3 + 5*s**2 - 3*s. Is g(1) even?
False
Suppose 2*d = 4*d - 8. Let o be 4*(-2 + (-10)/(-4)). Let s = d + o. Is s even?
True
Let c = -18 - -24. Suppose -c*d - 359 = -1295. Suppose 0*a + d = 4*a. Does 13 divide a?
True
Suppose -o + 35 = 3*u, -2*u = -2*o + 3*o - 23. Let p(n) = 4*n - 19. Is 29 a factor of p(u)?
True
Let r(y) = 8*y - 5. Let c(s) = s - 3. Let g be c(5). Let i(x) = -7*x + 6. Let j(a) = g*i(a) + 3*r(a). Is j(2) a multiple of 8?
False
Suppose -s + 76 = -85. Suppose -3*r + s = -130. Is r a multiple of 6?
False
Let i(t) = -t**3 - 4*t**2 + 25*t - 41. Is i(-13) a multiple of 33?
True
Suppose -c = c - 10. Let x = 44 + -44. Suppose -2*m + x*v + 20 = 4*v, 2*m - 16 = -c*v. Is m a multiple of 8?
False
Suppose u - i + 0*i - 179 = 0, -4*u + 724 = 4*i. Let h = 271 - u. Does 13 divide h?
True
Suppose -22*v = -24*v - 3*g + 122, 3*g = -5*v + 287. Is 38 a factor of v?
False
Let r = 40 - 19. Let g be 7/r + (-43)/3. Let b = 20 + g. Is 3 a factor of b?
True
Let h(u) = u**3 - 26*u**2 + 22*u - 35. Is h(27) a multiple of 50?
False
Let m be ((-24)/16)/((-1)/(-2)). Does 8 divide 9/m - (-13 + 2)?
True
Suppose -3*s + 245 + 83 = -5*x, x = -4*s - 61. Let l = x + 107. Suppose 0 = 4*o - o - l. Is o a multiple of 14?
True
Let s = 76 + -57. Let q = 56 - s. Does 5 divide q?
False
Let m(n) be the third derivative of -11*n**4/4 + n**3/3 + 19*n**2. Suppose r = -2*q - 1, 4*q + q + 5 = -5*r. Is 17 a factor of m(r)?
True
Suppose 0 = -54*u + 58*u - 1032. Is 12 a factor of u?
False
Suppose 2*s - 4*x - 510 = 736, 3*x = 9. Does 30 divide s?
False
Suppose -4*q - 5 = -1. Let r be 4*q/(-2)*1. Suppose r*h + 5*g - 16 = 0, -4*g + 11 - 63 = -2*h. Is h a multiple of 6?
True
Suppose 8*b - 7029 = 1267. Is b a multiple of 36?
False
Suppose -g - c - 3*c + 4 = 0, -2*g - 2*c + 2 = 0. Suppose g = -y + 4*m - 7, 4*y - 4*m - 3 = y. Suppose 5*o = -a + 11, 0 = 3*o - o + a - y. Is o even?
True
Let d(j) = -j**2 - 2*j. Let i be d(-5). Let u = i + 17. Suppose 3*t - 98 = -3*n - 11, -u*n = -2*t - 54. Does 21 divide n?
False
Let b be 1 + (-27)/5 + (-6)/(-15). Is 10 a factor of (-443)/b - 18/24?
True
Let u(z) = 2*z**3 + 7*z**2 - 11*z - 7. Let w(t) = t**3 - t**2 - t + 1. Let m(y) = u(y) - 3*w(y). Let c = 35 - 27. Does 12 divide m(c)?
False
Let b = 25 - 19. Suppose 5*z - 3*u + b*u - 388 = 0, -229 = -3*z + 2*u. Does 21 divide z?
False
Let r(n) = -n**2 + 6*n + 10. Let z be r(7). Suppose 38 = 5*j - z*j. Is 16 a factor of j?
False
Suppose 0 = -7*f - 0*f + 413. Is f*1 + ((-5)/(-1))/5 a multiple of 5?
True
Let k = 7 - 62. Let h = 100 + k. Is h a multiple of 15?
True
Let j(a) be the third derivative of -a**6/120 + a**5/20 + a**4/12 - 2*a**3/3 - 8*a**2. Let y be j(3). Suppose 63 = l + y*l. Is l a multiple of 7?
True
Suppose 2*i - 6 = -i. Suppose 0 = -9*a + i*a. Suppose a = 2*t - 44 + 2. Is t a multiple of 7?
True
Suppose -2*w + 9 = 11. Does 10 divide -1*(-18 + (-1 - w) + -2)?
True
Let x be 10/(-15)*-3 + -2. Suppose 5*r - r - 508 = x. Is 13 a factor of r?
False
Let f be 4/(-1 + -1) + -1. Suppose 2*c = -4*i - 2, 0 = 4*i + 11 - 27. Is 5 a factor of (-15)/(c/(-6) + f)?
True
Let x(l) = 17*l. Let f(d) = 34*d. Let a(s) = -4*f(s) + 9*x(s). Let y(j) = 2*j + 12. Let g be y(-5). Is a(g) a multiple of 17?
True
Suppose -12*y + 9*y + 87 = 0. Let n = 36 - y. Does 7 divide n?
True
Does 15 divide 7/(42/75)*(31 - 1)?
True
Let w(h) be the first derivative of 10 - 14*h + 19/2*h**2 - 1/3*h**3. Does 13 divide w(12)?
False
Suppose 75 = g - 0*g + 3*p, 2*p - 8 = 0. Let o be (-4)/((4/38)/1). Let k = g + o. Is 7 a factor of k?
False
Let p(d) = -4*d**3 - 11*d**2 - 9*d + 33. Is 15 a factor of p(-6)?
True
Let g be (-68)/(-51)*261/2. Is 7 a factor of -1*(-1 + 1 - g)?
False
Let d be 6/21 + 3/(21/649). Suppose 562 = 5*o - d. Is 40 a factor of o?
False
Let u = 537 + -1027. Is (-2)/6 + u/(-30) a multiple of 3?
False
Suppose -129 = k + 3*l - 6*l, -5*l = -10. Let q = -22 - k. Does 9 divide q?
False
Suppose 10 + 4 = 7*l. Suppose 6*d = l*d + 108. Does 10 divide d?
False
Let p(r) = 16*r + 18. Let o be p(6). Suppose -5*w + 490 = y, 2*w = w + 3*y + o. Is w a multiple of 16?
False
Suppose 3*p + 6 + 0 = 0. Let d be (-228)/(-60) - p/10. Suppose 105 = d*j + n, 3*n - 45 = -3*j + j. Does 12 divide j?
False
Suppose 2*s + 2 = 8. Suppose h = -s*d + d + 797, 5*h = 3*d - 1163. Does 11 divide ((-1)/(-3))/(6/d)?
True
Let m(b) = 99*b + 262. Is m(38) a multiple of 35?
False
Suppose u + 4*d - 459 = 0, 247 = -3*u - 3*d + 1633. Suppose u = 3*g + 5*c, 2*g = g - 5*c + 151. Is 8 a factor of g?
False
Suppose 3 + 23 = 2*q. Let l = q - 15. Does 5 divide (0 + -4)/(1/l)?
False
Let u(q) = -q**2 + 2. Let o be u(0). Suppose 3 = 2*g - 9. Suppose 0 = 5*t + w - 47, g*t - 4*w = o*t + 52. Is 4 a facto