 m = -35 + 87. Suppose -2*b + 139 = -z, -4*z = b - 31 - m. Is 3 a factor of b?
False
Let y(v) = 4*v**2 + 4. Let p = 80 - 77. Is y(p) a multiple of 5?
True
Let k = -14 + 33. Suppose k*z = 14*z + 2550. Is z a multiple of 17?
True
Let h be (-9)/(-2 + (-395)/(-190)). Let i be 129/27 + (h/(-27) - 4). Suppose -i*k = 0, 0*f = 5*f + 4*k - 380. Is f a multiple of 7?
False
Let p(z) = 1960*z + 23. Is p(5) a multiple of 11?
True
Let c(d) = -3*d**3 - 17*d**2 + 12*d + 127. Is c(-13) a multiple of 40?
False
Let v be (-72)/20*220/(-8). Suppose 41*a - 32*a = v. Is 7 a factor of a?
False
Suppose 6*p = -0 + 18. Suppose -4*w = -4*u - 8, 4*w - 3*u + p - 11 = 0. Suppose -w*q = 2*q - 324. Is q a multiple of 14?
False
Let t(w) = 20*w**2 - 16 - 13*w**2 + 23*w + 1 + w. Is 40 a factor of t(-7)?
True
Suppose -4*s = 5*z - 43987, 104*z = 101*z - 3. Is 9 a factor of s?
True
Let k(v) = -3*v**2 - v + 156. Let u(q) = -6*q**2 + 32*q - 10. Let f be u(5). Does 8 divide k(f)?
False
Suppose 3*w + 2*t - 2120 = 0, 25*w - 24*w + 2*t - 696 = 0. Suppose 0 = -2*v - 2*v - 176. Is 27 a factor of (w/6)/(v/(-12) - 3)?
False
Let g be (-11)/33 + 1/3. Suppose 833 = 5*k - 2*y, -k - 2*y + 39 + 130 = 0. Suppose 4*i - 3*b - k = g, -2*i = 3*b - 85 - 12. Does 4 divide i?
True
Suppose -9*j + 320 + 1714 = 0. Suppose 232*a - 696 = j*a. Is a a multiple of 6?
False
Suppose 3*k = -2*y + 67, 0 = y + 35*k - 31*k - 41. Suppose -4346 = -y*p - 24*p. Does 15 divide p?
False
Let r = -235 + 740. Let n = -169 + r. Does 28 divide n?
True
Let i = -36 - -42. Let s be i/(-10) - 12/(-20). Suppose 0 = -s*p + 5*p - 280. Is p a multiple of 4?
True
Suppose o - 3*o = 3*z - 44, 5*z = o - 48. Suppose 3*m - 5*s - 166 = 0, -o = -m - 2*s + 20. Suppose -v + 15 = -m. Is v a multiple of 10?
False
Suppose 5*k + 807 = 2*k. Let h = k + -136. Is 30 a factor of (h/(-12))/(3/8)?
True
Suppose -883*o + 718865 = -860*o. Is 84 a factor of o?
False
Suppose 4*r + 66 = -2*v + 9310, -r + 23047 = 5*v. Is 128 a factor of v?
True
Suppose 0*m = -4*y - 5*m + 18, 3*y - 4*m + 2 = 0. Suppose -8 = 2*g + y*g, -2*j - 4*g = 16. Is 10 a factor of (j - -2) + 106 - (-2)/2?
False
Suppose -2*x + 19 = 3*b - 0*b, 0 = -2*x - 4*b + 22. Suppose -3*a - 165 = x*o, -58 = 4*o - 3*a + 47. Is 19 a factor of 8/20 + (-6858)/o?
False
Let w = 62197 + -38247. Is 32 a factor of w?
False
Let y(j) = 4*j + 22. Let w(i) = 4*i**2 + 2*i - 6. Let k be w(-5). Let h = k + -75. Is 8 a factor of y(h)?
False
Suppose 978*q - 967*q = 191037. Is 7 a factor of q?
True
Let x(o) = 100*o**3 + 2*o**2 - 69*o + 140. Is x(2) a multiple of 15?
True
Let u = 908 - 256. Let x = -73 + u. Let d = -375 + x. Does 51 divide d?
True
Suppose 2275 = -5*i - 5*y, 2*i + 457 = y - 450. Let t = 484 + i. Is t a multiple of 4?
False
Let p = 46 + -44. Let b(f) = p - 2*f**2 - 3*f + f**3 + f**2 + 5*f. Is b(3) a multiple of 19?
False
Suppose 98*q - 1692396 = 1473886. Does 11 divide q?
False
Let q be 1 + (714/9 - (-4)/(-3)). Let g = q - 46. Is g a multiple of 3?
True
Suppose 0 = 4565*a - 4556*a - 111456. Is a a multiple of 36?
True
Suppose -21*b + 12*b = 3474. Let p = -109 - b. Does 36 divide p?
False
Let n = -244 - -248. Suppose 74 - 16 = k - 5*s, k = -n*s + 58. Is k a multiple of 12?
False
Suppose 14*a = -3531 + 3601. Let i be (-1 - 403)/(-1) - 1. Suppose -a*c + 3*c - g = -i, g - 1003 = -5*c. Is 39 a factor of c?
False
Let x be (-4)/(2 - (-20)/(-5)). Let w be (-15 - -3)*((-8)/3 + x). Suppose 4*v - 348 = -w. Does 12 divide v?
False
Let i(j) = -j**2 + 13*j - 12. Let u be i(10). Let g = u - -45. Does 8 divide g?
False
Let f be 12/(6 - 171/30). Let h = f + 66. Is h a multiple of 2?
True
Let w(n) = 7*n**2 + 173*n + 60. Is w(-31) a multiple of 16?
True
Let m be 4 + 9/(36/(-8)). Let k(a) = -5*a**m - 5 + 4*a**3 + 2*a - 2*a**3 + 4*a. Does 11 divide k(3)?
True
Let s(n) = 4*n**3 + 2*n**2 - 7*n - 8. Let z be s(-1). Does 64 divide z/(-2)*-2*6800/(-24)?
False
Is 10 a factor of ((-123)/(-2))/(((-6)/2394)/((-34)/119))?
False
Let j be ((-4)/3)/(4/(-30)). Let z = -2490 + 2501. Suppose -j*a = -z*a + 63. Does 8 divide a?
False
Let b = 6668 - 4046. Is b a multiple of 22?
False
Suppose t + 5 = 0, -33 = -2*m - 0*t + 3*t. Let u be m/(45/20) - 12. Let f(v) = 3*v**2 + 12*v + 8. Is f(u) a multiple of 30?
False
Let y = 46 + -44. Suppose y*k = -6*k + 1200. Is 30 a factor of k?
True
Let f(p) = 527*p**2 + 54*p - 113. Does 78 divide f(-5)?
True
Suppose 100*s + 212128 = 98*s. Is 2/18 + s/(-252) a multiple of 35?
False
Suppose 0 = 5799*o - 5810*o + 68255. Does 40 divide o?
False
Suppose -c = 5*p - 94 + 26, -4*c + p = -314. Does 19 divide 16/(-104) - (-3990)/c?
False
Let i = 2277 + -351. Suppose 0*z - 2*z = -5*h + i, 3*z + 1929 = 5*h. Is 8 a factor of h?
True
Let m be 91*(-2 - -4) - -4. Suppose -42 + m = -3*s. Let q = 15 - s. Does 21 divide q?
True
Is 6 a factor of 2821 + (-3 - -14) - -5?
False
Suppose 15 = 5*w, -3*w + 390 = 3*t - w. Let r = -123 + t. Suppose r*g = -3*b + 505, 7*b - 5*b + 2*g = 330. Does 40 divide b?
True
Suppose -11*m = -2*m + 783. Let t = m - -143. Suppose t = -9*q + 146. Does 5 divide q?
True
Let g(b) = 88*b + 40. Let j be 266/56 - (-6)/(-8). Is 35 a factor of g(j)?
False
Is 6 a factor of 10*-3*(-576)/30?
True
Suppose i = -6*w + 83326, -67*w + 70*w - i - 41675 = 0. Is 11 a factor of w?
False
Let y(k) be the third derivative of -33*k**2 - 20/3*k**3 + 0 + 0*k - 3/8*k**4. Is y(-10) a multiple of 10?
True
Suppose 3*w - d - 22 = -0*w, 4*d + 25 = 5*w. Suppose 0*c + 1719 = w*c. Is 4 a factor of c?
False
Suppose 5*d + 5*t - 7633 = 17097, -8*t + 19820 = 4*d. Is 193 a factor of d?
False
Suppose 30*t - 8*t = 198. Suppose 0 = -5*a + t*a - 1788. Is a a multiple of 25?
False
Let u(q) = -2*q - 31. Let n be u(-15). Let a be ((-1)/((-3)/24))/(-1). Is 13 a factor of (46 + n)*(3 - a/(-3))?
False
Let c = -40 + 60. Suppose 5*q - x = c, -5*x - 27 = -4*q - 2*x. Suppose -83 = -q*y + 46. Is y a multiple of 9?
False
Suppose -58*k = -248*k + 5705700. Is k a multiple of 21?
True
Suppose -2*u - 2*f + 10 = -74, -2*f - 104 = -2*u. Does 34 divide u?
False
Let w = 41 - 40. Let s be 16/(-16)*(w - -130). Let j = 42 - s. Does 18 divide j?
False
Suppose -3*w + 201 = -3*p, w - 10 - 45 = -2*p. Let g = -55 + w. Suppose -4 = -2*o - 5*t + 52, -4*t = g. Is 33 a factor of o?
True
Suppose 574*c - 559 = 573*c - h, 1123 = 2*c - 3*h. Does 16 divide c?
True
Let l(t) = -t**3 - 13*t**2 + t + 6. Let y be l(-13). Let h(r) = -38*r - 19. Does 4 divide h(y)?
False
Is 896085/63 + (3 - 90/35) a multiple of 56?
True
Let v(o) = 148*o + 201. Let x(u) = 51*u + 67. Let g(p) = 6*v(p) - 17*x(p). Is 11 a factor of g(0)?
False
Let a(d) = -d**3 + 6*d**2 - 4*d. Suppose 5*w + 2*s = 35, -2*w = -w - s. Let u be a(w). Suppose 75 = q + 3*k, -k - 4*k = -u*q + 355. Is q a multiple of 19?
False
Let x = -4122 - -5982. Let f = -950 + x. Is 10 a factor of f?
True
Let q = 6 - 2. Let j(k) = -82*k**3 + 3*k**2 - 2. Let c be j(-1). Suppose z = q*o + 96, -2*z - 3*o + 76 = -c. Is z a multiple of 28?
True
Suppose 8676 = 45*o - 36*o. Does 22 divide ((-4)/(-8))/((22/o)/11)?
False
Let o(h) = -h**2 + 143*h - 238. Is o(84) a multiple of 52?
False
Let l(h) = 8*h**2 - h - 10. Let k be l(-3). Suppose t - k = 7. Let w = t + -65. Is w even?
False
Let t(o) = o**3 - 26*o**2 + o - 20. Let x be t(26). Let r = 413 - x. Is 37 a factor of r?
True
Let t be (-9782)/(-14) - (-20)/70. Let h = 1089 - t. Is 15 a factor of h?
True
Does 148 divide 6/60*50*4153?
False
Suppose 2*o - i - 590 = 0, 26*o - 31*o + 1449 = 4*i. Is 12 a factor of o?
False
Suppose -6 = 2*c, -f + 253 = 4*c - 317. Let s = -299 + -59. Let n = f + s. Is n a multiple of 14?
True
Suppose 3*j - c = 2950, -4*j + 974 = -3*j + 2*c. Does 4 divide j?
False
Let s be 3*-1*(3/(-1) - -4). Let x(n) = -86*n + 8. Let g be x(s). Suppose -g = -p - l, -5*p = -4*l - 899 - 413. Is 17 a factor of p?
False
Let n = 30 - 21. Let a(m) = m**2 - 8*m - 11. Let i be a(n). Is 24 a factor of i - (-47 + 1 + -1)?
False
Let x be (-159)/(-5) + 6/30. Suppose -x + 72 = t. Suppose 0 = 3*w + t - 361. Does 16 divide w?
False
Let y be 3*3/(-15) + 11286/10. Suppose 13*b = 3*c + 18*b - y, 0 = -5*c + 3*b + 1914. Is c a multiple of 25?
False
Let i = 32016 + -21748. Is 78 a factor of i?
False
Let q = -32 + 47. Let p be (12/q + -2)*25/10. Let y = 15 - p. Is y a multiple of 9?
True
Suppose 93*a = 100*a - 28. Suppose a*m = 