k be v(17). Suppose k*z = 12 + 12. Suppose z*s - 132 = -o, -o - s + 58 = -74. Is o a multiple of 22?
True
Let c(v) = -v**2 - 21*v - 80. Let p be c(-16). Suppose -6*a + 2510 - 914 = p. Does 14 divide a?
True
Suppose -5*c = 3*y - 44794, 0 = 5*y - 494*c + 498*c - 74674. Is y a multiple of 14?
True
Suppose 4*s = -3*c + 1363, 0 = -4*s + 4*c - 155 + 1483. Suppose -5*j = -s - 143. Suppose -3*z + y + j = -2*y, 4*y - 144 = -4*z. Does 34 divide z?
True
Suppose 0 = 4*d - 3 + 23, -3*t + 3*d = -21. Suppose -4*q - 302 = -t*n + 56, 764 = 4*n + 4*q. Suppose 4*p - n = -5*w + 30, 2*w = 3*p - 134. Is 8 a factor of p?
True
Suppose -169 = -2*x + 175. Let j = x + -76. Suppose z - 3*z = -j. Is 24 a factor of z?
True
Suppose 0 = 4*l - 5*z - 808, -3*l = -6*z + 3*z - 606. Is 90 a factor of l*(1 - -1 - 35/35)?
False
Let t(a) = 8 + 15*a - 6 - 8*a - 8 + 4*a**2 - a**3. Let p be t(5). Does 4 divide p - (-5 + -2 - 1)?
True
Let p be 0 - (6 - (1 - 1)). Let h(m) = -6*m - 62 + 23 + 30. Is 27 a factor of h(p)?
True
Suppose -6*b + 5*b + 5*o + 918 = 0, -3640 = -4*b + 4*o. Is b*((-2)/(-28))/((-2)/(-7)) a multiple of 11?
False
Does 28 divide (264/(-187))/(-12) - 424875/(-51)?
False
Suppose 12*o - 5 = 7*o. Suppose -2*a - 3 = -o, 0 = 5*c + 4*a - 201. Let b = -11 + c. Is b a multiple of 6?
True
Let h be (-2)/8 - (-2 - 94/(-8)). Let c(m) be the third derivative of -m**6/120 - 3*m**5/20 + 11*m**4/24 + 8*m**3/3 + 6*m**2. Is c(h) a multiple of 3?
True
Is (-385)/(3/(-6)*50/25) a multiple of 2?
False
Let w(c) = c + 961. Does 8 divide w(-16)?
False
Let o = -11 + -20. Let q = -31 - o. Suppose q = -3*a + 9*a - 540. Is 18 a factor of a?
True
Let w = -67 - -77. Suppose -2*m = y - 184, w*y - m = 6*y + 718. Is 10 a factor of y?
True
Suppose 5*k + p - 29186 = 19694, -5*k = -3*p - 48860. Is 39 a factor of k?
False
Suppose 78*t - 83*t = 0. Suppose t = -3*o - j - 2*j + 324, 0 = 5*j - 15. Does 25 divide o?
False
Let w be 8 + 2 - 7 - -2. Suppose -7*l + 12*l - 4*h - 1860 = 0, w*l + 5*h = 1860. Does 51 divide l?
False
Does 17 divide 3/(-5) + ((-181973)/(-55) - -10)?
False
Is -30*-534*16/144 a multiple of 89?
True
Let b = -754 - -1666. Let m = b + 296. Suppose -292 = -10*l + m. Is l a multiple of 32?
False
Let a(o) = 267*o**2 + 2*o + 1. Let v be a(-1). Let u be (-8)/(1*(4 - 6)). Is ((-2)/u)/((-7)/v) a multiple of 2?
False
Let z(x) = x**3 - 14*x**2 + 10*x + 8. Let f be z(17). Suppose -w = 4*w + f. Let m = w - -466. Is 30 a factor of m?
False
Suppose -2*i - 30540 = -14*i. Let v = i - 1685. Is v a multiple of 20?
True
Let r(s) = -s + 10. Let z be r(8). Let n(a) = 7 + 5*a + 3 - 15*a + 8*a. Is n(z) a multiple of 3?
True
Suppose a = 4*h - 321, -2*h + 0*a + 178 = -4*a. Let o(z) = -z - 31. Let m be o(4). Let r = h + m. Is 11 a factor of r?
True
Let g = 197 - 132. Let r = g + -55. Is 9 a factor of r?
False
Let k(i) = 6*i**2 - 207*i - 1200. Does 33 divide k(67)?
False
Let r be (2*101)/(9/(54/(-4))). Let j = r - -559. Is 16 a factor of j?
True
Suppose 0 = p + 2*n - 2373 - 404, 4*p - 2*n = 11128. Is 103 a factor of p?
True
Suppose 56*n - 1305 - 2335 = 0. Suppose -2*s = -3*s + 3. Suppose -n = -s*g + 25. Does 13 divide g?
False
Let c be (0 - 129)/(-26 - -27). Suppose 0 = -4*n - 60. Does 7 divide 2 + c*5/n?
False
Suppose 195387 = 45*m - 72903. Is m even?
True
Suppose -6*g - 11*g + 109803 = 34*g. Does 101 divide g?
False
Let k = -6295 - -12405. Does 13 divide k?
True
Let z = -9606 - -16966. Does 10 divide z?
True
Let k(v) = -2*v**3 - 165*v**2 + 201*v + 42. Is 125 a factor of k(-84)?
False
Let a = 14447 - -1168. Is 11 a factor of a?
False
Suppose -119*j = -127*j - 32. Let p(v) be the third derivative of -13*v**4/24 - 3*v**3 + 2*v**2. Does 11 divide p(j)?
False
Let r(w) = -61*w - 118. Let v be r(-6). Let s = v - 198. Is s a multiple of 12?
False
Let q(c) = 136*c**2 - 2*c + 7. Let o be q(3). Suppose 0*w + 2*w = 5*k - o, 2*k - 490 = -4*w. Is 49 a factor of k?
True
Let y be (-1 - (-2 - 0)) + -104. Let b = y - -270. Is b a multiple of 30?
False
Does 22 divide (5 + -4 - 5/3) + 126140/21?
True
Let f = 35 - 31. Suppose 3*n - 5*u + 10 = -1, n = f*u - 6. Does 9 divide 23/2 - 1/n?
False
Let l(j) = -85*j**3 - j**2 - j. Let a be l(-1). Does 43 divide ((-1462)/a)/((-1)/5)?
True
Let g = 2151 - 1473. Let v = 1414 - g. Suppose -29 - v = -9*b. Does 17 divide b?
True
Let r = 40655 + -16547. Is r a multiple of 287?
True
Suppose -186 = -c + 362. Suppose 11*d - 13*d = -c. Let p = 475 - d. Is p a multiple of 23?
False
Suppose 5*q + 692 = q. Let a = -77 - q. Suppose 16*o + a = 20*o. Is o a multiple of 24?
True
Let m be (9/12)/((-15)/(-60)). Suppose 2270 = m*r + r + 5*c, -r + 560 = 5*c. Is 25 a factor of r?
False
Let v(n) = -n**3 + 17*n**2 + 52*n - 856. Does 8 divide v(12)?
True
Let w = -56 - -63. Let g(y) = -4*y + w*y + 5*y - 3*y + 4. Is g(8) a multiple of 15?
False
Let u = -220 - -200. Is ((-6)/(48/u) + -1)*50 a multiple of 11?
False
Suppose -6*d - 51748 = 6*a - 10*a, -5*d = -3*a + 38813. Is a a multiple of 96?
False
Suppose -129*g + 31*g + 761342 - 152762 = 0. Does 54 divide g?
True
Suppose 0 = -2*t + 3587 + 8541. Is 58 a factor of t?
False
Let z(q) = q**3 + 3*q**2 + 14*q - 13. Let m(w) = -3*w**3 - 10*w**2 - 42*w + 38. Let f(c) = 4*m(c) + 11*z(c). Is 31 a factor of f(-9)?
False
Let c = 153 - 105. Suppose c = v - 78. Suppose -10*p + v = -3*p. Is p a multiple of 9?
True
Let q be (-7 - (4 - 8))*-1. Suppose q*c = 4*u - 2*c - 417, -3*c = -5*u + 505. Let r = 140 - u. Does 20 divide r?
False
Suppose r = -4*p + 45, -175 = -3*r - 2*r + 5*p. Suppose -g + 9 = 5*y, -3*g + 5*y + 10 = -r. Is 18 a factor of (-1 + 23 - 40/10)*g?
True
Suppose 12 = 3*u, 2*u + 7 = 5*p - 45. Suppose -p*a = -17*a + 600. Does 10 divide a?
True
Suppose 4*p + 231 + 1033 = 3*u, 2*u - 837 = -3*p. Does 5 divide u?
True
Suppose -8*p = -y - 10*p + 31, 2*p = -8. Let s = -44 - -85. Let x = s + y. Is x a multiple of 20?
True
Let n(j) = -4*j - 1. Let b be 22/(-18) + ((-120)/(-54) - 2). Let h be n(b). Suppose -h*g + 429 - 105 = 0. Does 18 divide g?
True
Let f(q) = 4*q**2 + 238*q - 860. Is 18 a factor of f(-75)?
False
Let d be (-4)/(-14) - 86/7. Is 3 a factor of 26 - 1/(-2)*(-2 - d)?
False
Suppose 68 = -2*n + 6*n. Let h = -27 + n. Is ((-8)/h)/(1/75) a multiple of 16?
False
Suppose 0 = -9*f + 7*f + 10. Suppose -3*d - f*n + 44 = 0, 3*d + 2*n - 32 = -0*n. Suppose 14*s - 216 = d*s. Does 10 divide s?
False
Let f = -32 - -36. Suppose -3*s - f*w + 71 = -15, 0 = 3*s - 2*w - 56. Does 11 divide s?
True
Suppose 0 = -13*n + 2*n + 99. Suppose 0 = -8*b - n + 17. Does 17 divide (-1314)/(-9) + (0 - b)?
False
Suppose -381*z + 395*z - 29344 = 0. Suppose -5*s = -s - z. Is s a multiple of 6?
False
Let j be 31716/15 - 9/(-15). Suppose 3*v - n = 1570, -2*v = -6*v - 3*n + j. Suppose -16*b + v = -13*b. Does 35 divide b?
True
Suppose 5*h - 4*d - 1075 = -8*d, -h - 4*d + 231 = 0. Let p = h + -141. Does 11 divide p?
False
Suppose 0 = -536*u + 556*u - 107720. Does 114 divide u?
False
Let o be (26 + -24)/(3/((-126)/4)). Let y be (1 + 0)*66 + -3. Let c = o + y. Does 14 divide c?
True
Is 8049/9 - 3 - (333/27 + -11) a multiple of 10?
True
Let d(g) = -g**2 + 525*g - 3130. Let s be d(6). Let q be 2 + (-36 - 0 - 2). Let i = s - q. Is 7 a factor of i?
False
Let p(m) = -6*m**2 + 7 - m - m + 3 + 7*m - m**3. Let v be p(-7). Suppose 3*s + v = -2*j + 6*j, 0 = s - 4. Is 3 a factor of j?
True
Suppose 6*b = 3*b. Let j(s) = -92*s - 5. Let z be j(-13). Suppose b = 5*l + 366 - z. Does 55 divide l?
True
Let t(v) = 29*v**2 + 4*v. Let a be t(3). Let o be 75/15 - (-6)/2*-51. Let n = a + o. Does 18 divide n?
False
Let r(l) = -l**2 - 4*l + 6. Let v be r(-6). Let s be (-3)/v*0 + (-3 - 3). Is 17 a factor of (-17)/(2*1/s)?
True
Let t be 17*(3 + -1)*(0 + -7). Let f = t + 122. Let x = -64 - f. Does 13 divide x?
True
Let x(u) = -12 + u**3 + 30*u - 12 - 27*u**2 + 0*u**3. Let a = -128 - -154. Is x(a) a multiple of 16?
True
Suppose 0 = 17*m - 144*m + 175641. Is 43 a factor of m?
False
Let p = 206 - 151. Suppose -7*s + 8*s = p. Is s a multiple of 12?
False
Let o = -324 + 329. Is 31 a factor of 6 + 295*2/o?
True
Suppose 151907 = 44*l - 195128 - 479285. Is l a multiple of 30?
True
Let a = -31 - -39. Let m(z) = 71*z**3 + 3*z**2 - 3*z + 1. Let u be m(1). Is u/(-32)*a/(-3) even?
True
Suppose -9*u - 60 = -7*u. Let w be (-5 + 3)*(-2 - -3). Does 10 divide 3/w + (