Let q be y(10). Let d(a) = -37*a**2 + 1. Let g be d(q). Let w = -63 - g. Does 14 divide w?
True
Let c(g) = 516*g - 218. Is c(1) a multiple of 3?
False
Let c(d) = -d**3 - 10*d**2 - 11*d - 15. Let s be c(-9). Suppose 5*w + 2*i - 150 = -0*i, -2*w - s*i = -49. Is w a multiple of 13?
False
Let d(i) = -10*i + 27 - i + 2*i**2 + 1. Is 14 a factor of d(10)?
False
Let w be (-27)/18*(-4)/(-3). Let q be 102/(-2) + (-1 - w). Does 2 divide 17/5 - (-20)/q?
False
Suppose -750 = -2*g + 2*n, -2*g = 11*n - 15*n - 746. Does 29 divide g?
True
Let m = -116 + 121. Let h = -23 - -67. Does 8 divide h/6*15/m?
False
Let z(d) = -24*d - 2. Let a(r) = 7*r + 19. Let p(i) = 11*i + 29. Let u(l) = -8*a(l) + 5*p(l). Let j be u(-3). Is 26 a factor of z(j)?
False
Suppose -72 = -3*c - 9. Let p = -139 + 196. Let j = p - c. Is 6 a factor of j?
True
Let m be -1 + (-3 - (0 - 0)*-1). Let c(k) = 6*k**2 - 4*k - 7. Is 15 a factor of c(m)?
True
Suppose -k = d - 143, -d - 16 = -20. Is k even?
False
Let m(t) = 4*t**3 - 26*t**2 - 2*t - 1. Let x(d) = -3*d**3 + 27*d**2 + 2*d. Let v(f) = -5*m(f) - 6*x(f). Does 2 divide v(-16)?
False
Suppose 4*h - 42 + 2 = 0. Suppose -120 = 7*w - h*w. Is 5 a factor of w?
True
Let w(y) = -y**2 + 4*y + 6. Let n(r) = r**2 - 3*r - 5. Let g(h) = -5*n(h) - 6*w(h). Let x = 50 - 36. Is g(x) a multiple of 21?
False
Suppose -4*l + 1299 = 5*n, -2*n + 2*l + 452 = -64. Does 37 divide n?
True
Suppose -43 = 5*q - 323. Suppose 3*s - q = -k, 4*k - 255 = 3*s + 14. Does 13 divide k?
True
Does 7 divide (54/(-9))/(3/(-166))?
False
Let v be (-12)/(-7) + 6/21. Suppose -v*f - 8 = -k, -3*k + 11 = -2*k + f. Does 2 divide k?
True
Let b(z) = -3 + 8*z - 10*z + 28*z**2 + 1. Does 14 divide b(-1)?
True
Let l(y) = -3*y - 2. Let f be l(-1). Is f/3 - (-29)/(-6)*-14 a multiple of 5?
False
Let x = -73 - -249. Is x a multiple of 44?
True
Let o = -92 + 89. Let x(b) = -b - 1. Let c be x(-7). Is 9 a factor of o*c/(-27)*21?
False
Let x(s) be the third derivative of 7*s**5/15 + s**4/8 + s**3/6 + 20*s**2. Is x(-1) a multiple of 13?
True
Let h be 73/5 - (-6)/15. Let g = -38 + 59. Let j = g - h. Is 3 a factor of j?
True
Suppose -3*f + 4 = -f, s + 14 = 2*f. Let d(o) = o**2 + 7*o + 14. Does 22 divide d(s)?
True
Is (0 + 21/2)/((-70)/(-24920)) a multiple of 42?
True
Suppose 5*m = 3*t - 4*t - 23, 3*m - 3*t + 3 = 0. Let o(f) = 4*f**2 - 4*f - 10. Is 10 a factor of o(m)?
True
Let n = -349 + 562. Let h = -133 + n. Is h a multiple of 8?
True
Suppose 4*h - 6*h + 928 = 0. Suppose -w + 3*w - 2*i + 234 = 0, -2*i = -4*w - h. Let j = 175 + w. Is 15 a factor of j?
True
Let v = -446 + 747. Suppose 4*s - 8*s + 505 = 5*w, -v = -3*w - 2*s. Let h = w + -63. Is 8 a factor of h?
False
Suppose -5*q - 3*m + 3420 = 0, 7*q + 4*m + 684 = 8*q. Does 76 divide q?
True
Let j = 258 + -111. Let m = j - 347. Does 8 divide m/(-12) - (-2)/(-3)?
True
Is 6 a factor of 3 - ((-4208)/18 + 48/(-216))?
False
Suppose -m = 3*o + 67 - 823, 3*o - 3024 = -4*m. Is m a multiple of 5?
False
Let c = -7 + 15. Suppose 0 = 2*k - 4 - c. Suppose -k*t + 7*t = 42. Is 16 a factor of t?
False
Is 62 a factor of 624 + (494/(-130) - (-2)/(-10))?
True
Let m(g) = 3*g - 7. Let v be m(-6). Suppose 0 = 2*h, -x + 0*x - 5*h = -40. Let y = v + x. Is 5 a factor of y?
True
Is 10 a factor of ((-597)/9*-1)/(9/243)?
False
Let m(h) = -h**2 - 12*h + 7. Suppose 0 = -2*l + 3*l - 4. Suppose 16 = 4*q, -34 - l = 2*d - 4*q. Is 9 a factor of m(d)?
True
Let z = -764 + 783. Is z a multiple of 4?
False
Let s be (-10)/35*(-2 + -5). Suppose 0 = -2*h - 8, -5*r - s*h = -58 - 104. Is r a multiple of 9?
False
Is ((-1)/(-1) - 0) + 51 a multiple of 4?
True
Suppose 434 = 3*x - 2*k, -97 = -2*x - 2*k + 179. Is 6 a factor of x?
False
Suppose -15*p - 83 = -16*p - 2*g, 2*g = -4*p + 320. Is p a multiple of 34?
False
Let z = -569 - -877. Does 18 divide z?
False
Let q(p) = -p**2 - 33*p - 51. Is 52 a factor of q(-25)?
False
Let w = 4 + 96. Suppose -5*g = -2*k + 340, -2*g - 101 = -5*k + 35. Let x = g + w. Is x a multiple of 27?
False
Let c = 11 + -3. Let f(a) = a**3 - 7*a**2 - 7*a - 5. Let u be f(c). Suppose -5 - u = -i. Does 8 divide i?
True
Suppose 5*x - 1280 = 5*q - 3*q, 5*q + 491 = 2*x. Does 17 divide x?
False
Suppose -b + 0*b + 5*h = 23, -16 = 2*b - 4*h. Is b*(-15)/10*-113 a multiple of 37?
False
Let i(r) = 2*r**2 - 36*r + 93. Let k be i(3). Suppose 3*g + g = 20. Suppose g*y + 17 = k*h, 4*y + 1 = h - 0*y. Is 4 a factor of h?
False
Let v be 2/6 + (-1796)/(-12). Suppose 5*m = 15 + v. Is m a multiple of 15?
False
Let f be 16 + -2 - (-2)/(-1). Let i(l) = -l**3 + 4*l**2 + 4*l - 9. Let h be i(4). Suppose 5*b - h*b + f = 0. Is b a multiple of 6?
True
Let o(s) = 2*s - 23. Let h be o(11). Let w be -2 + (-2)/h - 0. Suppose -g + 83 - 20 = 2*r, w = 4*r + 4*g - 128. Is r a multiple of 5?
False
Does 29 divide (-60)/(-36) + (-3126)/(-9) + -1?
True
Suppose 0 = 5*c + 772 - 37. Let a = c + 292. Let s = -93 + a. Is 16 a factor of s?
False
Let y be 4/10 - (-2940)/(-100). Let p = -26 - y. Suppose -214 = -3*m - t, 0 = -m - 0*m - p*t + 66. Is m a multiple of 9?
True
Suppose -w - 1 = -2. Let y(n) = 122*n + 2. Let r be y(w). Let j = r - 28. Is j a multiple of 35?
False
Let d = -38 + 63. Suppose -3*t + 12 = u - 23, 2*t + u - d = 0. Does 8 divide (8/(-5))/((-2)/t)?
True
Suppose 90 = 3*w + 5*p, 0 = p - 5*p. Suppose 16 = 7*v - 3*v. Suppose -u + v*u = w. Is 3 a factor of u?
False
Let m = -72 + 74. Suppose 5*c - 241 = -b, 3*c = m*b - 0*c - 508. Is 33 a factor of b?
False
Suppose -3*r = 5*z - 40, 0 = -4*r + r - 3*z + 30. Suppose -90 = -r*o - 0*o. Is 896/(-24)*o/(-8) a multiple of 28?
True
Let c = 38 + -33. Let t be ((-200)/6)/((-2)/(-6)). Does 5 divide (-4)/c*t/8?
True
Suppose 5*k - 78 = 3*k + c, 4*k = 5*c + 156. Is 13 a factor of k?
True
Suppose 5*p - 209 + 9 = 0. Let o(s) = -3*s - 1. Let z be o(-1). Suppose -6*c + p = -z*c. Does 5 divide c?
True
Suppose 14*l - 24*l = -1140. Does 19 divide l?
True
Let g = 23 + 1. Suppose -104 = -4*z + g. Is z a multiple of 31?
False
Let s = -9 - -9. Is (154 - s) + -2 + (-4)/(-2) a multiple of 22?
True
Let i(y) = -4*y + 428. Does 3 divide i(13)?
False
Let z(x) = 2*x**3 - 14*x**2 + 20*x - 35. Is 21 a factor of z(9)?
False
Let c(k) = k**2 - 8*k + 4. Let u be c(5). Let i(f) = -f**3 - 11*f**2 - 4*f + 16. Is 20 a factor of i(u)?
True
Let n be (-3 - 45/(-10))/((-3)/52). Let d = 46 - n. Does 12 divide d?
True
Suppose 380 + 6820 = 4*m. Is 72 a factor of m?
True
Let x(h) = -h**3 - 26*h**2 - 49*h + 48. Is x(-24) a multiple of 6?
True
Suppose -2*c - 30 = -5*x + 2*c, c = -5*x + 5. Suppose 0 = -x*m + 22 - 6. Is m even?
True
Let b = -53 + 44. Does 16 divide ((-66)/b + -3)/((-3)/(-54))?
False
Does 13 divide -747*10/(-6) - -2?
False
Let j = 26 - 31. Suppose -3*k - 2*b + 14 = 0, -5*k + 18 = -3*b + b. Is -4*((8 - k) + j) a multiple of 4?
True
Let o = -27 + 27. Suppose o = -3*a + j + 3*j + 34, -j + 72 = 5*a. Is a a multiple of 4?
False
Let n(t) = 254*t - 41. Does 42 divide n(3)?
False
Is 28 a factor of (-14)/(-140)*5 - 1230/(-4)?
True
Let v(t) = -17*t**3 + t - 25*t**3 + 64*t**3 + 51*t**3. Does 13 divide v(1)?
False
Suppose 0 = 25*y - 21*y - 244. Let i = y + 4. Does 13 divide i?
True
Suppose 2*o - 276 = -0*o. Suppose 6*n - 174 = o. Is n a multiple of 26?
True
Suppose 2*p - 2113 = 5*f, 4*p - 4301 = 2*f - 7*f. Suppose 12*b - 815 = p. Is 11 a factor of b?
False
Suppose x + 0*o - 398 = -3*o, -3*x + 2*o + 1194 = 0. Suppose 0 = b - 5*y - 199, 4*y - x = -2*b + 2*y. Is 10 a factor of b?
False
Is (68*4/8)/((-14)/(-133)) a multiple of 19?
True
Let b = -4 + -4. Let v(u) = u**2 + 8*u. Let m be v(b). Suppose h = m, h + 18 = 5*q - 32. Is q a multiple of 7?
False
Let q = -9 - -13. Let l be (q - -2)*6/9. Suppose -l*c = -34 + 2. Does 4 divide c?
True
Is ((-502)/(-6) + 1)*24/16 a multiple of 2?
False
Let s = -44 - -67. Is s a multiple of 20?
False
Suppose 0 = j + 1, 2*y = 4*y - 5*j - 85. Let k = -20 + y. Is 10 a factor of k?
True
Suppose 6*r - 4*r - 3374 = 0. Suppose -57*k - r = -64*k. Is k a multiple of 12?
False
Let y = -3 - -5. Let f be ((-100)/15 - -6)*(-87)/2. Suppose -y*d + f + 7 = 0. Is 6 a factor of d?
True
Let u(w) = -2*w - 3. Let n be u(-2). Let k = 6 - n. Suppose 0 = k*z - 2*z - 216. Is z a multiple of 18?
True
Suppose 15 = 2*y + 3*y. Suppose 0 = -y*d + 2 + 115. Let z = 56 - d. Does 9 divide z?
False
Suppose 5 = a - 6*a, -4*n = -a