0*u - 2*y, -l*y = u - 267. Let v = -143 + u. Is 22 a factor of v?
False
Let i = 474 - 464. Let h = -623 + 1296. Suppose -i*p + h = -667. Is p a multiple of 22?
False
Suppose -13279634 = -382*g + 3146366. Is 100 a factor of g?
True
Does 2 divide 3*1/5 - 528192/(-3930)?
False
Suppose o + 4*h = 0, -39*h = -2*o - 36*h - 55. Let v(u) = u**2 + 9*u - 52. Does 21 divide v(o)?
True
Suppose -l + 4*l - 15 = 0. Suppose 0*v - 780 = l*v. Let y = 222 + v. Is 11 a factor of y?
True
Suppose 4*m - 476 = 2*t - 7*t, 3*m = -3*t + 285. Does 3 divide (-5)/(10/t)*(-21)/21?
True
Let m be ((-115)/(-10) + 2)*-6. Let a = 152 + m. Is a a multiple of 28?
False
Let w(k) = 30*k + 30 - 58 + 9*k. Let l = 31 - 26. Is 12 a factor of w(l)?
False
Let f(y) = -4*y - 22. Let c be f(-5). Let v be -3 + (1/1 - (-4)/c). Is v + (-4 + 211 - -1) a multiple of 51?
True
Suppose -344 = 19*m + 1727. Suppose -2*o - 10 = -2*h, -2*o + h + 0 = 13. Let z = o - m. Is 14 a factor of z?
False
Let c(h) = h**3 - 38*h**2 + 244*h + 2. Does 4 divide c(32)?
False
Suppose 2*x - 2 = -4*h, -5*x + 5*h + 47 = -2*x. Is 56 a factor of 9381/9 + 6/x*-2?
False
Is 3101 + 34/(-17) + (-2 - -4) a multiple of 14?
False
Let d be (-4)/(-10)*120/16. Suppose 5*s = 2*l - 25, l + d = -3*s - 1. Suppose c = 4*u - 107, 4*u + l*c - 59 = 2*u. Does 7 divide u?
False
Let t(k) = -3*k - 108. Let a be t(-50). Suppose 2*q = -5*l + 281, 3*q - 43*l + a*l = 447. Is q even?
True
Let r(s) be the third derivative of s**5/60 - s**4/4 - s**3 + 16*s**2. Let p be r(6). Let d = p + 118. Does 31 divide d?
False
Let n = -10978 - -36791. Is 83 a factor of n?
True
Let m(f) = -3*f**3 + 8*f**2 + 18*f + 75. Let s be m(-6). Let g = -656 + s. Is g a multiple of 33?
False
Let t be ((-6)/5)/((-45)/(-225)). Is 19 a factor of (t/21)/1 + 3555/21?
False
Suppose 85158 = -78*b + 192*b. Is b a multiple of 83?
True
Let t = -1367 + 5208. Is 9 a factor of t?
False
Let d = 17528 - 6846. Suppose 65*x = 16*x + d. Does 8 divide x?
False
Is 285/(3/(-126)*3/(-2)*6) a multiple of 12?
False
Let f(o) = -o**3 - 5*o**2 + 3*o + 5. Let q be f(-7). Let a be 17 - 14/((-42)/(-3)). Let n = q - a. Does 7 divide n?
False
Let v(c) = -273*c + 2139. Does 86 divide v(-17)?
False
Let o = 98 - 90. Suppose -b - 60 = -5*b. Let w = o + b. Is 5 a factor of w?
False
Let n be (2*-1 - -1)*(12 + -5). Let d = n + 9. Suppose -3*w - 2*p + 326 = 0, w - d*p = -w + 214. Is w a multiple of 19?
False
Let g = -10812 - -20584. Does 14 divide g?
True
Suppose -3*r = 3*u - 25948 - 19427, 0 = 4*r + 32. Is 40 a factor of u?
False
Let j(d) = 10*d + 4. Let h(a) = -a**2 + 9*a - 10. Let g be h(9). Let x(m) = -2. Let v(q) = g*x(q) - 2*j(q). Does 8 divide v(-5)?
True
Suppose -y = 2, -14 = -5*l + 3*y - y. Suppose l = q - 2*q. Is (585/(-18))/(q/4) a multiple of 13?
True
Suppose -20895 = -2*u + t, -3*t - 20 = -7*t. Does 19 divide u?
True
Suppose 5*z + 4*o = 17, z = 3*z + 5*o. Suppose 2*c - 244 = 5*r - 6*r, z*r = 20. Is 30 a factor of c?
True
Suppose 2*k = 3*u - 14, -2*u + 0*k = -2*k - 6. Is 8 a factor of (u/6)/(5*(-8)/(-5520))?
True
Suppose -4 = -n + 20. Let r = n + -19. Suppose 10*m - 215 = r*m. Is m a multiple of 4?
False
Let i(z) = 9*z + 4. Let q be i(-2). Let r(y) = -y**3 - 7*y**2 + 14*y + 45. Does 33 divide r(q)?
True
Suppose 3462 = 8*f - 12138. Does 65 divide f?
True
Let l = -10958 - -20726. Does 24 divide l?
True
Does 9 divide 4/(-8) - ((-3041)/5)/((-6)/(-15))?
False
Suppose -4*m - 6*p + 9044 = -8*p, -m - 2*p = -2251. Does 13 divide m?
False
Is 6/(-6)*(-7)/((-14)/(-2312)) a multiple of 13?
False
Suppose 5*y + 2212 = 4*k - 10361, 4*y + 12572 = 4*k. Does 25 divide k?
False
Let a(d) = 5*d + 189. Let z be a(-37). Suppose 13*l + 2*f - 210 = 8*l, 5*l = z*f + 180. Is 2 a factor of l?
True
Let m = -23 - -24. Let r be (m + -3)*((-132)/(-3) - 3). Is 3 + (-38)/(-133) + r/(-7) a multiple of 2?
False
Suppose 4*b = 4*t - 684, 34 = -4*t - b + 733. Suppose t*o - 4692 = 151*o. Is 102 a factor of o?
True
Suppose -3*t - 5804 = -17432. Suppose 23*r - t = 4*r. Is 12 a factor of r?
True
Suppose 14*p + 1620 + 606 = 0. Let f = -10 - p. Is f a multiple of 74?
False
Let h = 7802 + -4262. Is h a multiple of 10?
True
Suppose t - 12 = -8. Suppose 0 = -t*o - 514 - 146. Let g = 237 + o. Is g a multiple of 18?
True
Suppose 3 = 3*x + 27. Let c be 6/(-9)*3 - x. Does 16 divide (2 - (-255)/c)/((-7)/(-14))?
False
Is 10 a factor of 7173/36*(-8 + 88)?
True
Let f be 3 - 5/((-25)/(-30)). Is 60 a factor of (-88)/(-1) + (6 + -3)/f?
False
Let m(s) = 162*s + 1790. Is 21 a factor of m(15)?
False
Let y(v) = 2*v**3 - 9*v**2 - 14*v + 2. Let g(s) = -s - 7. Let c be g(-10). Suppose 3*i = -2*i + p + 25, c*i - 5*p = -7. Is y(i) a multiple of 13?
True
Suppose -y - 43 + 194 = 0. Suppose 4*h - 105 = -4*l + 179, 2*l + 5*h - y = 0. Does 17 divide l?
True
Suppose 0 = -w - 3*g - 13, 4*w + 4*g = w - 19. Let j be 8/(((-4)/12 - w)*3). Suppose -12*n + 1104 = -j*n. Is n a multiple of 15?
False
Let x(z) = 80 - 45 - 6*z - 13. Is x(-8) a multiple of 7?
True
Suppose -106987 - 9963 = -19*o + 85229. Is o a multiple of 35?
False
Suppose 0*p - 3 = -p. Suppose 0 = p*n + 2*y - 497, -5*y = 4*n + 205 - 870. Is 7 a factor of n?
False
Let z be 80/(-25)*175/2. Let l = z + 462. Is l a multiple of 18?
False
Let r(g) be the third derivative of g**5/30 + 5*g**4/8 + 11*g**3/2 + 8*g**2. Let k be r(-16). Let t = -209 + k. Is t a multiple of 6?
True
Let k(l) = l**3 - l**2 - 7*l + 13. Let y be k(2). Is 19 a factor of 14/(-21)*(3 + -332*y)?
False
Let t = -9 - -10. Let k be t*(4 - -53)*5/15. Suppose 5*u = -2*l + 13 + k, 2*u = -3*l + 4. Is 4 a factor of u?
True
Let d(p) = 14*p**2 + 12*p + 20. Let a be d(-8). Suppose -s = 4*s - a. Suppose -s - 54 = -2*n. Does 17 divide n?
False
Let w(l) = -20*l**3 + 15*l**2 + 41*l - 66. Is 219 a factor of w(-10)?
True
Let b(u) = -u**2 + 19*u + 6. Let g be b(19). Suppose -2 = t - g. Suppose -34 = -2*p + x, -2*p + t*p + 4*x = 14. Is 11 a factor of p?
False
Let i = 13058 - 12283. Is 31 a factor of i?
True
Let r = -859 - -857. Does 99 divide 1678 + 8 + (-5 - r)?
True
Suppose 2*o = 3*x + 8590 + 5630, 0 = -4*o - 4*x + 28360. Is 6 a factor of o?
True
Let d = 24246 + -15682. Does 161 divide d?
False
Let t(b) = -b**3 - 2*b + 4. Let f be t(3). Let h = f - -247. Is 9 a factor of h?
False
Let r(k) = k**2 - 78*k + 775. Does 154 divide r(-85)?
True
Let a(c) = 4*c + 112. Let j = 140 + -159. Does 12 divide a(j)?
True
Let t = 9934 - 6918. Does 58 divide t?
True
Suppose 255038 = -65*k + 79*k. Is k a multiple of 35?
False
Let j(x) = 13*x - 51. Let h be j(4). Is 21 a factor of h/(1089/(-273) - -4)?
False
Let r(g) = g**3 - 4*g**2 - g - 20. Suppose 5 = -6*a + 7*a. Let d be r(a). Suppose -4*q = -q - 9, d = -n + q + 214. Does 42 divide n?
False
Suppose -135*u + 120*u = -195. Suppose -1150 = -u*y + 3*y. Is 13 a factor of y?
False
Let a(v) = -13*v + v**2 - 19 + 49 + 49. Is 3 a factor of a(11)?
True
Let u(w) be the first derivative of -27*w**2/2 - 17*w - 11. Is u(-6) a multiple of 27?
False
Let l(m) = 2 - 51*m + 4 + 0 - m**2 + 4. Does 90 divide l(-40)?
True
Suppose -3*t - 9 = 0, -21881 = -4*n - t - 8784. Is 11 a factor of n?
False
Let p be ((-612)/(-6))/((-2)/(-1)*1). Suppose -5*y - p + 1060 = 2*m, -y - 1471 = -3*m. Is m a multiple of 41?
True
Let n(k) = 38*k + 1023. Is n(-7) even?
False
Let j = -214 - -218. Suppose -g = -5*d + 1545, -d + 3*g + 309 = j*g. Is d a multiple of 26?
False
Let f(s) = -171*s - 486. Does 42 divide f(-36)?
True
Suppose 11*w + 6430 = 2*f + 9*w, 0 = f - 2*w - 3213. Let x = f - 2177. Is 13 a factor of x?
True
Suppose -3*t - 255 = -3*a, -34 - 211 = 3*t + 2*a. Let b = -82 - t. Is 11 a factor of b*2/4 + (-500)/(-8)?
False
Suppose -3*w + 17 = -14*v + 18*v, -v - 10 = -4*w. Suppose -q + 55 = -6*q. Is v - 3900/(-33) - (-2)/q a multiple of 53?
False
Let c = -10479 - -16070. Is 64 a factor of c?
False
Let f be (10 - (-784)/(-77)) + 7581/11. Let d = f + -635. Does 7 divide d?
False
Let y(s) = -s**3 - 9*s + 5. Let f be y(-5). Let z = f + -169. Does 2 divide z?
True
Is ((-90)/4)/(12*11/(-76736)) a multiple of 40?
True
Suppose -4*m + 96195 = 3*h, -6*m + 2*m = 4*h - 96200. Let d be (-2)/(-9) - (m/27)/7. Let f = 311 + d. Is 17 a factor of f?
False
Let i be 5 + -164*(0 + -2). Let g = -86 + i. Is 13 a factor of g?
True
Let p be -492 - ((-3)/(-12))/((-6)/(-72)). Let f = -6 - p. Does 7 divide f?
