03 a factor of 81*103 + (0/(-13))/(5 + -3)?
True
Let f = -11835 - -12684. Is 2 a factor of f?
False
Let g(a) = 10*a**2 + 12*a + 30. Let h be g(-4). Let w = -77 + h. Is 13 a factor of w?
True
Let s be 6391/28 - (-2)/(-8). Let h be -2 + -1*(-472)/4. Let o = s - h. Is o a multiple of 11?
False
Let s = 481 - -290. Let p = s - 431. Is 17 a factor of p?
True
Suppose -2*k + 2023 = 3*x, -10 = -14*k + 9*k. Suppose 0 = -2*s + m + x, 0 - 20 = 4*m. Suppose -5*u + s = -o, -2*u + o = 6*o - 112. Does 33 divide u?
True
Let h = -17 + 19. Suppose -5*u + 364 = 4*x, 0 = h*x + 2*u - 56 - 126. Let f = 141 - x. Is f a multiple of 6?
False
Suppose -2*s + 5170 = 524. Suppose -4*c + s = 14*z - 9*z, 455 = z - 4*c. Is 9 a factor of z?
False
Let o be (1204 - 10) + (3 - -5). Suppose 0 = -3*t - 4*w + o, 164 = 2*t - 2*w - 656. Is 58 a factor of t?
True
Let t(y) = -y**2 + 433*y - 119. Is t(49) a multiple of 75?
False
Let j = -272 + 91. Let x = 127 + j. Let b = x + 222. Is b a multiple of 28?
True
Let j be 7/(70/20) - (1 - -2). Let u be 1 + 0 + (-2 - j). Suppose -o - 4*c + 100 = u, 2*c = -o + 31 + 71. Is o a multiple of 26?
True
Let v be (1 - 0)/((-5)/(-30)). Suppose -v*j = 4*j - 170. Does 16 divide (6 - -2)*(1 + j)?
True
Let k = -1224 - -3719. Is 63 a factor of k?
False
Let s be (34/51)/((-4)/(-18)). Let p(z) = -2*z + 8*z**s - 1 - 2*z**2 - 9*z**3 + 4*z - 3*z**2. Is 5 a factor of p(-6)?
False
Suppose 4*z = 5*z + 40. Does 2 divide 1/(5/(z/2)) + 15?
False
Suppose 59*v = -51*v + 350350. Does 65 divide v?
True
Let s(d) = 37*d - 919. Let m be s(24). Let t = 74 + -233. Let j = m - t. Is j a multiple of 16?
True
Suppose -2*m + 5 = -3*z, 2*m - 4*z - 5 = -1. Suppose m*x + 0*x = -44. Let b = x + 31. Does 6 divide b?
False
Suppose -3*g - 4263 - 3688 = 4*c, -4*c - 4*g = 7956. Let f = -1343 - c. Does 27 divide f?
False
Let w be 3 + 13/(-3) - 5788/(-12). Let u = 18 + -18. Suppose 4*q - 385 = b, -q + 6*q - b - w = u. Is 24 a factor of q?
True
Let k(d) = -655 - 3*d**2 + 328 + 52*d + 339. Is k(11) even?
False
Suppose -8*f = -333 + 101. Suppose 69 + f = u. Is u/6 + ((-2)/3)/2 a multiple of 14?
False
Suppose 4*d = 4*w - 2272, -4*w - d + 2396 = 119. Is 2 a factor of w?
False
Suppose -7*x - 285 = -8*x + 2*q, -q = -7. Is x a multiple of 13?
True
Suppose -3*m = 2*i - 7751, i - 10*m - 3880 = -13*m. Is i a multiple of 49?
True
Suppose 4*y - 18 = -2*m, y - 8 = -9*m + 5*m. Suppose 0 = -y*k + 4*j + 552, k + 5*j - 178 = -16. Is k a multiple of 71?
True
Suppose 0 = 7*b - 1762 + 17792. Let y = -1378 - b. Does 16 divide y?
True
Suppose -5 = 5*j + 5*v, 0*j + 3*j - 4*v - 18 = 0. Suppose 2*b + 117 = 3*m - b, -5*b + 113 = j*m. Does 8 divide m?
False
Let m(d) = d**3 + d**2 - 8*d + 12. Let g = -114 - -118. Does 10 divide m(g)?
True
Suppose -3*f - 3*c + 13819 = 4648, -2*c + 12226 = 4*f. Does 18 divide f?
False
Let k be -4*(-2)/8 + (-3)/(-3). Suppose -5*j + 6 = 2*x + 1, -2*x - 16 = -k*j. Suppose j*t - 4 = 65. Is 4 a factor of t?
False
Suppose 3*q + 5 = -2*z, 4*q + 11 + 24 = 3*z. Suppose h + 2*v - v - 75 = 0, -3*v = z*h - 369. Is 9 a factor of h?
True
Let j = -1817 - -1814. Let a = 24 + -36. Is j + (-4)/(a/15) a multiple of 2?
True
Suppose 3*p + 5*n = 4, -p = -5*p - 5*n + 2. Let u be (-159)/1 - (p + 1). Let c = u + 295. Is 13 a factor of c?
False
Suppose 10*a + 13577 - 15177 = 0. Is 8 a factor of a?
True
Let j = -24469 + 29048. Is 3 a factor of j?
False
Let k be -1702*(44/(-8))/11. Let b = k - 581. Does 18 divide b?
True
Suppose 12*n - 7*n = -315. Let r = n + 65. Suppose r*v + 134 - 18 = x, 3*x + v - 362 = 0. Is x a multiple of 15?
True
Let q(y) = -y**3 - 14*y**2 - 3*y - 17. Let z(u) be the third derivative of -u**3/6 + 23*u**2. Let h(g) = q(g) + z(g). Is h(-14) a multiple of 2?
True
Let s = -4052 + 40776. Is s a multiple of 96?
False
Let f(z) = -10187*z - 1238. Is f(-2) a multiple of 26?
True
Let i(a) = -a**2 - 18*a - a**2 - 15*a - 3*a**2 + 15 + 4*a**2. Is i(-11) a multiple of 7?
False
Suppose -7*n + 758 = -8*n. Let z = n - -875. Is z a multiple of 17?
False
Suppose 0 = -5*o + 2*u + 56892, -u - 9 = -2*u. Is o a multiple of 3?
True
Let u = 209 - 207. Let z(x) = x**3 - 14*x**2 + 13*x + 1. Let d be z(13). Is 5 a factor of (140/8)/(d/u)?
True
Let v = -10245 - -24065. Does 123 divide v?
False
Let i(m) = -m**3 + 13*m**2 - 16*m + 5. Let r be i(12). Let h = 48 + r. Suppose 2*s - z = 140, 2*z = -s + h*z + 80. Is s a multiple of 19?
False
Let q(a) = -a + 1. Let z be q(-7). Suppose 0 = -m + z - 3. Suppose 12 = -2*t + m*t, 0 = 2*o - 4*t - 150. Is 12 a factor of o?
False
Suppose 0 = 3*t - 8 - 31. Suppose -t*w + 1340 = -8*w. Suppose -5*m + 4*a + 446 = 0, 3*m - 2*a - w = -0*a. Is 18 a factor of m?
True
Is -6 + 11117 + (-72)/(-8) a multiple of 189?
False
Suppose -44*d = 2*d - 174458 - 39442. Does 75 divide d?
True
Let k = -90 - -75. Let y be k/(-18) - 65/(-30). Suppose n = -y*n + 4*z + 528, -3*z + 676 = 5*n. Is 6 a factor of n?
False
Is (-4 + 1)*2 - (66857 - -1)/(-11) a multiple of 12?
True
Is 22 a factor of ((-103994)/(-145))/((-1)/(-30))?
True
Let v = 2610 - 1378. Does 112 divide v?
True
Suppose 7*x - 12 = -47. Is 10 a factor of (-5742)/(-24) + ((-45)/12)/x?
True
Suppose -4*r = 4*q - 32, 9 = -5*q + 8*q. Suppose 0 = -4*p + 2*p + o + 506, 0 = r*p - 3*o - 1267. Does 77 divide p?
False
Is 2 a factor of 27*(-34)/(-459) + 0 + 3029?
False
Let r(c) = -c + 21. Let q be r(16). Suppose -26 = 4*i + 2*a, -6*i = -7*i + q*a + 21. Does 9 divide (-2)/(i/(-6)) + 121?
False
Let g = 2910 - -54. Is g a multiple of 13?
True
Let o(a) = -21 - 6*a - 7*a**2 - 3 + 2*a**3 + 31. Does 14 divide o(7)?
True
Suppose 3*q + 4*q - 28053 = -5954. Does 7 divide q?
True
Suppose 160 = 9*f + f. Let w be 40/(-10) + (-2)/2. Let v = f + w. Is 11 a factor of v?
True
Let c = 1064 - 626. Let o = c - 264. Is o a multiple of 5?
False
Let l = 382 - 379. Suppose 0 = 4*p - 2*y - 838, l*y = -y - 12. Is p a multiple of 8?
True
Suppose 32 - 38 = -2*b. Suppose 3*o + 3*m = 8*m + 396, -3*o = b*m - 372. Let a = -63 + o. Is a a multiple of 32?
True
Let a = -37 + 85. Let l = 51 - a. Does 3 divide -2*l*((-6)/(-9) + -2)?
False
Let n = -8 - 0. Let o be 1*(1 + -8) - (n + 6). Is (8/o)/((-7)/70) a multiple of 16?
True
Let r(q) = -146*q - 4. Let z be r(-1). Let n = -56 + z. Let b = 54 + n. Is b a multiple of 25?
False
Let w(q) = -32 + 31*q - 3*q**3 - 29*q + 4*q**3 - 9*q**2. Is w(10) a multiple of 28?
False
Suppose 6*o + 96 = 456. Let z = 22 - o. Is 8 a factor of ((-19)/z)/((-2)/(-320))?
True
Let p = -19361 - -35441. Is 14 a factor of p?
False
Let u be (850/20)/(2/(-4)). Let j = u - -97. Is j a multiple of 2?
True
Is (384/10)/((-13 - -14) + (-603)/630) a multiple of 3?
False
Suppose 0 = 3*c - 5*h - 26, 4*h = 9*h + 20. Suppose b = -3*z + 135 + 21, -c*b + 206 = 4*z. Is 3 a factor of z?
False
Suppose 2*d - 2905 = 1771. Suppose 4*y - d = 5*r, -5*r - 2920 = -10*y + 5*y. Does 26 divide y?
False
Suppose -10 + 5 = 5*m. Let z be 3 - 4 - -459 - m. Suppose -9*s = -0*s - z. Is 17 a factor of s?
True
Let w(g) = -164 + 164 + 2*g. Let m be w(0). Suppose 3*a - 2*k - 276 = m, a - 2*k = -0*a + 96. Does 18 divide a?
True
Suppose 5*g = 25, 3*v - g - 1395 = 1345. Suppose b = 2*u + 91 + 203, -5*u + v = 3*b. Is b a multiple of 30?
True
Let m(s) = 50*s + 9. Let k be m(-2). Let i = 93 + k. Suppose -i*c + 5 = -c. Is 2 a factor of c?
False
Suppose 8 = -10*d + 548. Let s = 50 - d. Is 18 a factor of (-1 + s)*370/(-25)?
False
Let h = 40 + -35. Let j be (14/h*-6)/((-2)/10). Suppose -6*w + 348 = -j. Does 36 divide w?
True
Let s(h) = -26*h + 54. Let u(j) = j + 2. Let o(r) = -s(r) + 6*u(r). Is o(12) a multiple of 9?
True
Suppose -11*s = -2*s - 18. Suppose 8*u - 7*u - s*h - 58 = 0, 0 = -4*u - 4*h + 208. Is u a multiple of 3?
True
Let n be 0 + 50/5*3/6. Suppose 3*k + n*t = 1877 - 284, 2124 = 4*k + 3*t. Is k a multiple of 30?
False
Suppose 8*j - 5*q - 6884 = 6*j, 0 = -4*j - 2*q + 13720. Is j a multiple of 143?
True
Suppose 12384 = -14*k + 23*k. Is k a multiple of 24?
False
Let p(k) = -4*k**3 - 17*k**2 + 42*k + 7. Let f be p(-6). Let u(r) = -5*r + 12*r**2 - 8 - 2*r**3 - r**2 + 6*r**2. Is u(f) a multiple of 17?
False
Let w(p) be the first derivative of 29*p + 12*p - 18*p**2 + 14*p**2 - 8. Does 16 divide w(-18)?
False
Let w(p) = p + 5. Let q be w(-10). Suppose 58 = -3*v - g, 6*v - 10*v - 94 = -2*g. Let k = q - v. Is 16 a factor of 