
True
Let c be ((-540)/(-16))/((-24)/(-1984)) + -4. Let k = c - 1972. Does 11 divide k?
True
Let f(y) = -20*y**3 + 3*y**2 - 2*y. Let j be f(1). Is (j/19)/((-2)/638) a multiple of 29?
True
Suppose 2*a + 3*g = 1680, 5*a - 3*g - 2112 = 2130. Let v = -522 + a. Does 56 divide v?
False
Let r be -17 + 23 + 2*53. Let i = 17 - 11. Is r - (1 - -2)*i/9 a multiple of 22?
True
Let t(g) = 1893*g - 492. Is t(2) a multiple of 60?
False
Is 103 a factor of (516/688)/((-6)/(-35536))?
False
Let p(t) = -18*t - 17. Let s be p(3). Let b = s + 131. Is 3 a factor of b?
True
Let q be -4 + (-14 - 0)/(-2) - 3. Suppose 2*a + 7*a - 378 = q. Is a a multiple of 42?
True
Is (195 - 186)*1042/6 a multiple of 36?
False
Let q(m) = -m**3 - 3*m**2 - 6*m + 12. Suppose 7*g + 4 + 38 = 0. Does 12 divide q(g)?
True
Let a(j) = 2*j**3 - 8*j**2 - 6*j - 42. Let c(k) = -k**3 + 12*k**2 + 14*k - 5. Let n be c(13). Does 27 divide a(n)?
False
Suppose -5*u + 3*j = -9209, 4*j - 4 - 4 = 0. Suppose 4*d = 2*c - 1232, -27*c + 24*c + 5*d + u = 0. Is c a multiple of 73?
False
Let y(v) = 20*v**2 + v - 1. Let n be y(1). Suppose -8*k + n = -20. Suppose k*f = j + 50, 10 = f - j - j. Is 5 a factor of f?
True
Let i = -5577 + 11184. Is i a multiple of 9?
True
Let g(c) = 3*c**2 + 12*c. Let y be 8/(-20) + 4/10 - -5. Is 5 a factor of g(y)?
True
Let g = -1203 - -2154. Let m = g + -466. Does 18 divide m?
False
Let s = -5000 + 9956. Does 177 divide s?
True
Suppose 0*n = -n + 6. Let z be (348/(-15))/((-6)/(-15)). Is 4*z/(-4) - (-4 + n) a multiple of 7?
True
Suppose -5*c + 1274 = j, -2*j = 3*c - 4*c - 2537. Let x be j/(-3) - -1 - (-2 - 0). Let v = -235 - x. Does 28 divide v?
False
Is 2 a factor of (-15)/(-12)*11/(44/1712)?
False
Let w be 1/(2/2264*-4). Let p = -118 - w. Is p a multiple of 15?
True
Let i(a) = -a**2 + 9*a + 24. Let m be i(12). Let r(h) = -20*h + 41. Is 20 a factor of r(m)?
False
Let l = -613 + 1003. Let q = 35 + l. Is q a multiple of 25?
True
Let q = 9207 + -2457. Does 9 divide q?
True
Suppose -837665 = -59*h - 206*h. Is 29 a factor of h?
True
Suppose -4*h - 1241 - 4327 = -4*l, -4*l - 2*h = -5574. Suppose -5*r - 4*v = -l, 1395 = 5*r + 12*v - 7*v. Is 26 a factor of r?
False
Is 13 - (-12 + (-10979 - -16)) a multiple of 32?
False
Suppose 132*u = 39*u + 59*u + 53788. Is 14 a factor of u?
True
Suppose 3*t = -j + 56, -4*t + j = -6*t + 39. Let g = -74 - -69. Is t - (-2 - g/5) a multiple of 7?
False
Let k be (3/(-6))/(3*(-10)/600). Suppose k*y - 2134 - 2956 = 0. Is 21 a factor of y?
False
Suppose -17 = -6*k - 5. Suppose k*i = 8, w + 2*i = -2 + 142. Suppose -3*r + w = -r. Is 39 a factor of r?
False
Let v be (1/(-3))/(38/39 - 1). Let h(i) = 11*i**2 + v - 2*i - i**3 + 25*i + 6. Does 10 divide h(12)?
False
Suppose 7*m - 2*m - 330 = 0. Let i be ((-50)/6)/(215/(-1548)). Let r = m + i. Is 14 a factor of r?
True
Let z be (-12)/(-30) + (-1004)/10. Let k be z/(-15)*54/(-15). Is (k/10)/((-6)/20) a multiple of 2?
True
Let t(d) = 21*d**2 - 3*d + 3. Let o be t(-9). Suppose -2*y + 1166 = -4*h, 3*h - o = -0*y - 3*y. Suppose 772 = 4*r + 4*c, -r + y = 2*r - 3*c. Does 43 divide r?
False
Let r = -6 + -45. Let b = 53 + r. Suppose -3*m + 30 = -b*m. Does 8 divide m?
False
Suppose -3*k + 0*p = -p - 6, 4*k = -3*p + 8. Suppose -2*s + 13 = 4*u - 1, -4*s - 2 = -k*u. Suppose -u*w = -9, -2*w + 3 - 39 = -v. Does 7 divide v?
True
Let p = -46 - -46. Suppose -260 + 738 = j - 5*k, p = 5*j + 3*k - 2446. Does 8 divide j?
True
Let f(n) = 29*n + 224. Let a(g) = g. Let k(z) = -2*a(z) - f(z). Is 17 a factor of k(-33)?
True
Let y be 768/78 + (-6)/(-39). Suppose y*k - 8*k + 3*w = 38, w = -4*k + 96. Is 3 a factor of k?
False
Suppose 4*w + 5*y - 2110 = -237, -4*w - 3*y = -1863. Suppose 9*z - 2*z - w = 0. Is 41 a factor of z?
False
Let d be 9 - -14*12/(-42) - (-165 + 2). Suppose -5*i - 314 = 211. Let u = i + d. Does 11 divide u?
False
Let u(a) = 2*a - 3. Let m be u(4). Let k(y) = -4*y**2 + 12*y - 11. Let i be k(m). Let l = 133 - i. Is l a multiple of 24?
False
Let d be (-4)/(-5)*(-60)/(-8). Let w = d - -9. Let s = w + 39. Does 27 divide s?
True
Let j = -71 + 178. Let n(l) = -18*l - 77. Let o be n(-4). Let h = o + j. Is h a multiple of 18?
False
Is (-411)/(-2329) + 222221/17 a multiple of 35?
False
Let h(g) = g**3 + 5*g**2 + g - 1. Let w be h(-5). Let i(z) be the third derivative of -z**4/12 + 2*z**3/3 + 7*z**2. Is i(w) a multiple of 4?
True
Let s(i) = -i**2 - 35*i + 32. Let z(a) = a**2 + 17*a - 17. Let t(y) = 3*s(y) + 5*z(y). Is 15 a factor of t(13)?
False
Suppose 5*i + 1378 - 1388 = 0. Let p = 3 + 7. Suppose -p*n + 1848 = i*n. Is 16 a factor of n?
False
Let u = 1349 - -821. Is u a multiple of 34?
False
Let h(m) = -m**2 - 18*m - 77. Let d be h(-10). Suppose 2*b - 711 = d*u, 2*b - 2*u = 13 + 701. Does 12 divide b?
True
Let o(f) = 2*f - 17 + 5 - 11 + 3*f. Is o(27) a multiple of 39?
False
Suppose 2*m + 332 = 3*j, -j - 2 = -m - 112. Let l be (-1082)/(-6) + 8/12. Let i = l - j. Is 23 a factor of i?
True
Let y be 44604/36 + -1 + 6. Let x = y + -614. Does 15 divide x?
True
Let w(t) = -109*t + 471. Does 7 divide w(-52)?
True
Let t be (-1310 + 0)/(-5 + (0 - -3)). Let l = -137 + t. Let c = l - 268. Is 18 a factor of c?
False
Suppose l = 2*b + 13, -4*b + 0*l - 4*l - 32 = 0. Let h(a) = a**2 + 5*a - 9. Let o be h(b). Suppose 5*u + 9 = q - 26, o*u - 55 = -2*q. Does 30 divide q?
True
Suppose 2*v + b = 144, -4*b = 3*v - 132 - 79. Suppose 2*a = 3*r + 63, -17 = -3*a + 3*r + v. Is a a multiple of 9?
True
Suppose 4*k = g - 272, 3*k - 32 = -41. Let z = g - 148. Does 51 divide z?
False
Let b = -231 + 286. Suppose b*h + 174 = 58*h. Is 5 a factor of h?
False
Suppose 3*s + 2*b = -2820, 0 = -3*b + 7*b. Let n = s - -1426. Is n a multiple of 6?
True
Let d(n) = 107*n + 27. Let t be d(5). Suppose -78 = -563*o + t*o. Does 43 divide o?
False
Let l(d) = 37*d**3 + 3*d**2 + 3*d - 16. Let a be l(3). Let v = a + -520. Is v a multiple of 7?
False
Let k(t) = 210*t**2 - 42*t + 118. Is k(3) a multiple of 11?
False
Let n(s) = 10*s + 2. Let v be n(1). Is 7 a factor of ((-4)/24)/(4/v)*-282?
False
Let j(f) = 217*f - 161. Is j(5) a multiple of 77?
True
Let n be (-6)/4*-84 + 4 + 4. Let k = 154 - n. Is k a multiple of 20?
True
Let a = -128 + 130. Suppose a*y = 2*s + 80, 0 = -3*y + 7*s - 6*s + 112. Is 9 a factor of y?
True
Suppose 46357 = 4*u + 4557. Does 12 divide 6/14 + 7/(245/u)?
False
Let x(l) = -3*l**3 + 2*l**2 + 3*l + 2. Suppose 0 = -g + 11 - 2. Suppose 4*a + n = -8, 0 = 7*a - 2*a + n + g. Is 3 a factor of x(a)?
False
Let o = 10 - -56. Suppose 0 = -d + o + 2. Is 6 a factor of d + (-3)/((-6)/4)?
False
Let d = 339 + -124. Let w be 0 - -94 - 0/(-21). Suppose 4*m - b = d, 2*b = -2*m - 2*b + w. Does 8 divide m?
False
Suppose 3 + 5 = -4*z. Let c be 2 - 2 - (z - -2). Suppose 0 = b + 4, -3*l + 6*b - 3*b + 87 = c. Is 25 a factor of l?
True
Suppose -52*t - 644809 = -914812 - 1621341. Is t a multiple of 14?
True
Let a(z) = z**3 + 22*z**2 - 7*z + 43. Is 5 a factor of a(-20)?
False
Let q(z) be the second derivative of 179*z**4/12 + 5*z**3/3 + 8*z**2 - z + 18. Is q(-3) a multiple of 31?
False
Let g(j) = j**3 + 13*j**2 - 6*j + 12. Let b be g(-11). Suppose -4*k + 3*z = -0*z - 1280, -k + b = z. Is k a multiple of 59?
False
Let i be (602 - -6)/(30/15). Suppose 0 = 9*r - 5*r + 2*a - 6, 0 = -4*r + 5*a + 27. Suppose 255 = r*y - o, 3*y + 5*o = -67 + i. Is 42 a factor of y?
True
Suppose 5*h - 4*h + 1 = -2*s, -2*s + 2 = 4*h. Suppose -4 = -i + h. Suppose 186 = 2*t + i*p - 171, -2*t = -4*p - 384. Is t a multiple of 31?
True
Let n be (-70)/(-21)*6/4. Suppose -n*g = -20, 2*v - 4*g = 4*v - 84. Is 17 a factor of v?
True
Let i(n) = 163*n - 2613. Does 7 divide i(28)?
False
Suppose 92*v - 6344 = 84*v. Suppose z - 2*r - 451 = 0, -5*r = -2*z + 106 + v. Is z a multiple of 69?
False
Suppose 7*w - 1804 = 3922. Suppose 192 + w = 5*o. Is 10 a factor of o?
False
Let r be (-1)/((2/(-45))/((-78)/65)). Let x = r - -195. Suppose -2*v - v + x = 0. Is 50 a factor of v?
False
Suppose -6 = 23*l - 29. Suppose 2*p - 4*y - 88 = 0, 6 = -y + l. Does 9 divide p?
False
Suppose 441*b = 4*s + 444*b - 32231, 5*b = 5*s - 40245. Does 82 divide s?
False
Suppose -27 + 23 = -2*c. Suppose -z - 4*p - 136 = 0, -3*z - 408 = -c*p + 5*p. Let l = 141 + z. Does 5 divide l?
True
Suppose -1925*h = -1943*h + 3726. Is h a multiple of 23?
True
Let y(t) = -13*t - 6. Let