o?
True
Let j = 953 + 4951. Suppose j = -26*l + 32*l. Is 25 a factor of l?
False
Suppose 5*o = l - 1132, 0 = 2*o + l + 2*l + 446. Let d = 323 + o. Let p = -83 + d. Is 14 a factor of p?
True
Suppose -12*p = 5514 + 678. Let f = -745 - p. Let s = f + 467. Is s a multiple of 17?
True
Suppose 0 = 4*z + 4*s + 372, -3*s + 13 + 64 = -z. Let n = 234 + z. Does 29 divide n?
True
Let s = 84 - 84. Suppose s = 2*q - 8*q + 600. Suppose 3*m - q = -2*f, 2*m - 7 - 44 = -f. Does 11 divide f?
False
Suppose -2580 = -4*m - k, m = 6*m + 3*k - 3225. Suppose s + m = 6*s. Suppose 0 = -7*c + 2*c - g + 202, -3*c + 2*g = -s. Is c a multiple of 7?
False
Let h = -380 + 385. Suppose w + 2879 = 26*a - 21*a, h*a - 2881 = -w. Does 72 divide a?
True
Let w(p) = 2*p**2 - 21*p + 21. Let j be w(12). Is 2846/14 + -3 + j/21 a multiple of 7?
True
Let q(i) = -i**3 + 5*i**2 - 4*i + 1. Let x be q(3). Is (x + -4 - 2)*-1*-169 a multiple of 4?
False
Suppose 2*r - 3298 = -5*v + 8*v, 0 = -4*r + 8. Let b = -523 - v. Is b a multiple of 66?
False
Let f = 100 + -100. Suppose f = 4*h + 4*v - 1016, 0 = 3*h - 4*v - 297 - 451. Suppose 43*p = 44*p - h. Is p a multiple of 18?
True
Let f(j) = 388*j**2 - 14*j - 25. Is f(5) a multiple of 16?
False
Let k = -118 + 129. Suppose -j = -g + 2, -3*j - j - k = -5*g. Suppose -u - 532 = -g*u. Is 19 a factor of u?
True
Let j = 25257 + -7894. Does 54 divide j?
False
Suppose -112*a - 147630 = -142*a. Is a a multiple of 7?
True
Suppose -157*m + 44080452 = 727*m - 98*m. Is m a multiple of 187?
False
Let s be 4/(-2) + 9 + -5. Let q be 63/(-1) + (0 - s). Let p = -17 - q. Is 16 a factor of p?
True
Let z be (-15 + 3)/(18/(-1296)). Is 44 a factor of z/8 + (6 - 3)?
False
Let x = -246 + 248. Suppose 5*r - 34 - 47 = -x*b, 4*b - 77 = -5*r. Is 2 a factor of r?
False
Let q = -176 + 179. Suppose 5*l - 880 = -5*f, -5*f - q*l + 888 = -0*l. Is f a multiple of 18?
True
Suppose 12*v - 18*v = -21456. Does 24 divide v?
True
Let n(v) = -2*v - 12. Let a be n(-4). Is 0 + (-1 - -230) - a a multiple of 13?
False
Let j be 8 + 3 + -11 - 1. Is 62 a factor of (-22545)/81*(j + -3 + 1)?
False
Let x be (-2)/(-4 + 924/234). Suppose -30*h + x*h = 1188. Does 6 divide h?
True
Suppose -484*i + 251*i - 115845 = -248*i. Is i a multiple of 188?
False
Let f(v) = v**2 + 15*v + 59. Let x be f(-7). Suppose 3*u = 9, 6*p - 9*p + x*u = -1707. Does 52 divide p?
True
Suppose -55*i + 389269 = 64549. Is i a multiple of 48?
True
Let d(g) = 104*g - 1. Let z be d(1). Let q = 161 - z. Let j = 104 - q. Is j a multiple of 9?
False
Let b(o) = -o**3 + 10*o**2 - 8*o - 4. Let a be b(9). Suppose x = 3*d - 604, -2*d - 48 = -a*x - 468. Is 4 a factor of d?
True
Let r(q) be the second derivative of q**5/20 + 11*q**4/12 - 9*q**3/2 - 5*q**2/2 + 12*q - 3. Does 8 divide r(-13)?
True
Let z(s) = -9*s - 55. Let r be z(-9). Suppose 30*k - r*k - 40 = 0. Does 3 divide (274/k - (-33)/55) + 3?
False
Let b(y) = -23*y + y**3 - 4*y**2 - 2 + 22*y + 5*y**2. Let h be b(-2). Does 13 divide 8/h + (15 - -1)?
False
Suppose -21128 = 3*f + 2*f - 67328. Does 24 divide f?
True
Let c(v) = -v - 3. Let j be c(-6). Suppose -4*b - 5*a = -37, a + 13 = b + j*a. Suppose 4*r = -b*o + 311, r + 0*o - 99 = -5*o. Is r a multiple of 20?
False
Suppose 8*s - 28746 - 16230 = 0. Is s a multiple of 35?
False
Let z = 33 + -33. Does 55 divide -1 + 272 + z + 4?
True
Suppose 2*d = -o + 7*d + 1551, -3*o - 4*d + 4653 = 0. Let l = -1031 + o. Is 65 a factor of l?
True
Let y(p) = 2*p**2 - 51*p - 38. Does 2 divide y(-11)?
False
Let x(n) = -3*n - 13. Let j be x(-6). Suppose j*q = 3*k + 22, 3 = k + 2. Let l = 31 - q. Is l even?
True
Suppose -18 = -9*g - 0. Suppose g*i = 3*i. Let a(c) = -c**3 + c**2 - c + 126. Is a(i) a multiple of 14?
True
Suppose -5*l = -4*n - 2855, -5*l - 4*n = -6*n - 2845. Does 16 divide (l/12)/(-7 + (-232)/(-32))?
False
Let z(d) = d**2 - 4. Let t be z(3). Suppose 17 = 3*v - 28. Is 3 + 238 + 2 - v/t a multiple of 32?
False
Let o = 32762 + -16889. Is 100 a factor of o?
False
Suppose 4*h - w = 110811, 3*w - 27698 = -h + 21. Is 8 a factor of h?
True
Let m(u) = -4*u**2 + 2*u - 6. Let y be m(2). Let b be (y/(-8))/((-12)/(-16)). Suppose 1015 = 5*a + 5*v, -v + b*v + 218 = a. Is a a multiple of 26?
True
Suppose 0*b - 5*b = 3*u - 15, 0 = -4*b. Suppose 337 = u*f - 2*r, 2*f + 2 - 124 = 4*r. Is f a multiple of 3?
True
Let g(b) be the first derivative of -b**3/3 + 3*b**2 - 5*b + 21. Let u be g(4). Suppose 5*c = -2*p + p + 51, 0 = -3*p - u*c + 153. Is 6 a factor of p?
False
Let x(h) = -h**2 - 13*h + 18. Let s(d) = d**2 - 2*d - 11. Let w be s(0). Let k be x(w). Suppose -101 = -3*q - 2*v, -4*q + 5*v + k = -64. Is q a multiple of 6?
False
Suppose 1224720 = -14*h + 77*h. Is h a multiple of 81?
True
Let t be -3*7/(-14)*(-4)/3. Does 31 divide ((-8160)/(-32))/(t - -1 - -2)?
False
Suppose 211*y - 336 = 204*y. Suppose -5*j = 4*b - 171, -b - 5*j + 2*j = -y. Is b a multiple of 2?
False
Suppose 5*t - 3*w + 4*w = 85, -5*t + 3*w = -105. Suppose -3*c + 0*c = t. Is (-206)/(-10)*(c + 11) a multiple of 29?
False
Suppose 2*z = -t - 4*t - 15, 0 = -4*z + 5*t + 45. Let o be (-1)/z*-2 - (-420)/75. Let p(q) = 5*q - 13. Is 5 a factor of p(o)?
False
Suppose -29*i - 9786 = -33*i - 3*a, 0 = -4*a - 8. Is i a multiple of 34?
True
Suppose -38*i = -3*z - 40*i + 35077, 2*z - 3*i = 23363. Does 10 divide z?
False
Suppose 2*j = -l - 6, -2*l = -l - 5*j - 15. Suppose 600 = 4*v - l*v. Does 10 divide v?
True
Suppose 0 = 184*j - 158*j - 60268. Does 122 divide j?
True
Let s be -4 - (-5)/((-35)/(-14)). Is 14/56 - s/((-8)/(-2311)) a multiple of 37?
False
Suppose -345*f + 54 = -342*f. Suppose -3*h + 0*a + 41 = -2*a, 0 = -4*a + 8. Does 14 divide h/(1215/f) - (-3524)/18?
True
Let d = -40 + 54. Is -3 - d*4/(-8) - -70 a multiple of 7?
False
Does 12 divide ((-3551)/(-2))/(46/368) + -2?
False
Let y(b) = -b**3 - 88*b**2 + 70*b + 19. Is 45 a factor of y(-89)?
True
Does 8 divide (-12813)/(-9) - 3/9*-1?
True
Let l(x) = 6659*x**2 + 264*x - 264. Does 58 divide l(1)?
False
Suppose -3*u + 7958 = -2*q - 4990, -u + 4290 = -5*q. Is 27 a factor of u?
True
Suppose 2*b = k - 572, 596 = k - 5*b + 33. Suppose 3*q - 3277 = k. Suppose -435 = -10*c + q. Is c a multiple of 27?
False
Suppose 3 = -5*u + 13. Suppose -l - 4*z = -62, u*l + 2*z = -3*l + 238. Suppose -g - g = -3*q - l, q = -3*g + 80. Does 13 divide g?
True
Suppose 0 = -3*k + g + 32271, 6*g = -3*k + 2*g + 32271. Is 42 a factor of k?
False
Let p(n) = 85*n - 376. Is p(10) a multiple of 6?
True
Suppose -3*t + 9 = 2*c + 3*c, 0 = -t - 2. Suppose c*s + 5*m - 34 = 0, 3*m - 2*m = 5. Suppose 0 = s*p - 78 + 9. Is p a multiple of 7?
False
Suppose -805 = 5*f - 40. Let b = 199 + f. Does 23 divide b?
True
Suppose 0 = -3*c + 6*c + 4*r - 2, -2*c - 4*r = 0. Suppose 3 = 2*w - 105. Suppose 3*i - c*i = w. Is i a multiple of 23?
False
Let k(i) = 3*i**2 - 53*i - 170. Is 6 a factor of k(-25)?
True
Let y(c) = -204*c + 6111. Is 90 a factor of y(16)?
False
Suppose 4*v = 14 - 2. Suppose -v*o = -287 - 352. Is 71 a factor of o?
True
Is 793*88/(-55)*-20 a multiple of 13?
True
Let o(s) = 1302*s + 9014. Does 73 divide o(9)?
True
Let w(f) = 7*f - 4. Let m be w(1). Suppose u + 519 = 4*o, -m*u + 413 = 3*o + u. Suppose 66 + 97 = 5*x + p, -o = -4*x - p. Is x a multiple of 11?
False
Let j = -24 + 66. Let x = -47 + j. Does 5 divide -2 + -1 + (-95)/x - -4?
True
Let x(b) = -67 + b**2 - 102*b**3 + 136 + 3*b - 68. Does 4 divide x(-1)?
False
Suppose -38*x - 14*x + 13*x = -49764. Is 11 a factor of x?
True
Suppose 2799 = -17*s + 17215. Let q = s + -32. Is 12 a factor of q?
True
Suppose 0 = 11*b - 5 + 27. Let h be ((-5)/(30/548))/(b/6). Let j = h - 154. Does 14 divide j?
False
Suppose 4*j + 5*j = -2277. Let x = j + 331. Is x a multiple of 26?
True
Let z be (4/(-10))/(-7 + (-355)/(-50)). Does 13 divide 1 + z + -2 + (9 - -412)?
True
Suppose -4 = k - 5*w, -k - 4*w + 36 = -w. Is 33*1*k/(-35)*-5 a multiple of 24?
False
Suppose 11*l - 9757 - 1859 = 0. Is l a multiple of 12?
True
Let t(j) = -j**3 - 95*j**2 + 322*j - 1867. Is t(-99) a multiple of 6?
False
Let z = 638 + -367. Suppose 9*i - 4 = 13*i, 4*k = -i + z. Is k a multiple of 17?
True
Suppose 192*j = 646580 + 364876. Is j even?
True
Suppose 3*a - 5*p = 46, 4*a + 0*a + 4*p = 40. Suppose -w - a = x - 2, -2*x + 4*w - 8 = 0. Let s = 11 - x. Is s a multiple of 9?
False
Suppose -5*w + 215 + 75 =