. Does 21 divide f?
False
Let v(o) = 2*o**2 - 30*o - 384. Is 12 a factor of v(-9)?
True
Suppose 7*q - 15 = -1. Suppose -5*z - 5*s + 9 = -66, -2*s - 46 = -q*z. Is 4 a factor of z?
False
Let j(b) = 6*b**2 + 1. Let p(c) = 25*c**2 + 13*c + 13. Let q(y) = 4*j(y) - p(y). Let o be 20/(-3) - (-2)/(-6). Is q(o) a multiple of 12?
False
Suppose 2*q + 3*q = 3450. Let i be (-1)/(6 - 545/90). Suppose i*w = 12*w + q. Is w a multiple of 23?
True
Let w = 301 - 325. Is (26*(-4)/w)/((-4)/(-696)) a multiple of 26?
True
Suppose g - 49*z - 22968 = -47*z, -z = 4. Suppose -39*o = -11*o - g. Is o a multiple of 41?
True
Suppose 16 = -4*f + 4*o, -1 = -5*f - 5*o + 19. Suppose f = 2*w + 5*i - 320, 9*w = 5*w + 3*i + 614. Is w a multiple of 12?
False
Let m(l) = -3*l + 173. Let y(f) = -2*f**3 - 5*f**2 + 10*f + 21. Let k be y(-3). Is m(k) a multiple of 33?
False
Let x = 4575 - 3122. Does 2 divide x?
False
Let o(b) = 93*b + 97. Let q be o(18). Let h = q - 1203. Is h a multiple of 40?
False
Suppose 0 = -j + 9*j - 32. Suppose -5*m + j*v = 6, 2*v = -4*m - m + 18. Suppose -m*n + 3*n - 54 = d, -5*n = d - 264. Does 7 divide n?
False
Let g = 8356 + -4702. Is g a multiple of 25?
False
Let u = -767 - -131. Let h = u - -338. Let d = 550 + h. Is d a multiple of 36?
True
Let w be 3/(54/12)*24. Let v = 63 + w. Is v a multiple of 16?
False
Let x(q) = -129*q + 5 - 2*q**2 - q**2 + 136*q. Let m be x(3). Does 10 divide 89 + m + 3 + 1?
False
Suppose 92229 = -69*p - 4*p + 356124. Does 3 divide p?
True
Let q(d) = -2*d**3 + 21*d**2 - 10*d + 7. Let w be q(10). Suppose w*g = 11*g - 196. Suppose -v + g = -5*r, -2*v + 2*r - 22 = -112. Is 22 a factor of v?
True
Let u(z) = 262*z**3 - 6*z**2 - 58*z + 170. Does 12 divide u(3)?
False
Suppose 0 = -13*t - 4*t - 11645. Is t/(-7) - 6/(-42) a multiple of 49?
True
Suppose 280137 + 3206703 = 245*y. Does 151 divide y?
False
Suppose -5*l + 31*f - 27*f = -14416, 3*f + 2870 = l. Is l a multiple of 38?
True
Suppose -5*r = -q - 2881 + 20525, -4*q = -3*r - 70474. Is q a multiple of 9?
False
Let p = 59 + -54. Suppose -5*x = p*v, -3*v = -3*x - x. Suppose v = -3*n + n + 102. Is n a multiple of 9?
False
Let f(i) = -705*i - 87. Let q be f(-2). Let m = q - 745. Is 34 a factor of m?
True
Suppose 3*t + 0*t = -y + 12, -5*y - 4 = -t. Suppose -12*k + 13*k + 2 = y. Does 12 divide 0 + (-108)/(-5) + k/(-5)?
False
Let n = -22424 - -44136. Is n a multiple of 46?
True
Suppose -5*k + 5*n + 2509 = -1156, -2*k + 1463 = -3*n. Does 32 divide k?
True
Suppose 2137*a = 2185*a - 114048. Is 3 a factor of a?
True
Let m(l) be the first derivative of l**4/4 + 22*l**3/3 - 6*l**2 - 31*l - 134. Is 11 a factor of m(-22)?
False
Does 26 divide (630/(-140)*(-26)/3)/((-9)/(-330))?
True
Let j = 438 - 443. Is j/(-3*5/1815) a multiple of 17?
False
Suppose -2817 = -52*x + 91147. Does 31 divide x?
False
Let w(v) = 5*v + 4. Let b = -7 - -12. Suppose 0 = -3*q - 4*a + 12, 49 = b*q + 4*a - 7*a. Is 6 a factor of w(q)?
False
Let i(x) = 25*x + 11. Let a be i(5). Does 22 divide a - (-4)/(-3)*(3 - 0)?
True
Let y = 414 - 537. Let h = y - -760. Is 42 a factor of h?
False
Suppose 17*q + 19*q - 187488 = 0. Is 21 a factor of q?
True
Let w be (-1 + 2)*(20 + -12). Let m = w - 4. Suppose 0 = 5*j + m*b - 230 - 94, 4*j - b - 276 = 0. Does 24 divide j?
False
Is (-116508)/(-252)*(103 - 1) a multiple of 38?
True
Let r = 20 + -21. Let n be r/(-2) - (-15)/(-6)*-3. Does 7 divide (-2 + -1 - n/16)*-2?
True
Suppose -2*v + 288 = -p, 156 = 3*v - 2*p - 278. Suppose 6*w + v = 2932. Is 15 a factor of w?
True
Let q = 41 - 45. Let i = 1 - q. Suppose i*z = 7 + 83. Is 4 a factor of z?
False
Let m(y) = -2*y**2 + 25*y - 28. Let c be m(10). Suppose 4*j + c*j - 35386 = 0. Is 14 a factor of j?
False
Let p be (-2184)/(-10) + (-2)/5. Suppose -p = 3*a + a + 2*r, 270 = -5*a - 2*r. Let x = 78 + a. Is 13 a factor of x?
True
Suppose 95*j - 112572 = 198078. Is j a multiple of 218?
True
Let y(n) = 3*n**2 - n - 4. Suppose -3*o + 12 = 0, 3*v + v - 4 = -3*o. Let h be y(v). Is (-3 - 5)/((-2)/h) a multiple of 28?
False
Suppose -5*g + 4 = -46. Does 27 divide (4449/(-15))/(-1) - (-4)/g?
True
Let k = 15022 - 7320. Is 18 a factor of k?
False
Let w be (-4)/8*(0/2 + 16). Let m(q) = -q - 11. Let v be m(w). Let j(b) = -8*b + 2. Is j(v) a multiple of 7?
False
Suppose 7*x - 48 = -5*x. Suppose -2166 = -x*w - o + 3*o, 3*o = -2*w + 1095. Is 51 a factor of w?
False
Suppose -7*n - 5*r = -32570, 17*r + 4664 = n + 14*r. Is 95 a factor of n?
True
Let i(g) be the second derivative of -5*g + 1/20*g**5 - 8/3*g**3 + 7/2*g**2 + 13/12*g**4 + 0. Is 5 a factor of i(-14)?
True
Suppose 15*m = -28*m - 2*m + 343980. Does 182 divide m?
True
Suppose 3627610 = 42*f + 103*f. Does 14 divide f?
True
Let t be 36/(-10) - -4 - (-456)/10. Suppose -t - 35 = -9*m. Is 2 a factor of m?
False
Suppose 21*z - 13*z = 3*z + 13530. Is z a multiple of 22?
True
Let j be (-46)/(-8) - (-2)/8. Suppose j = p - 6. Suppose 0 = -5*u + p*q - 7*q + 710, 5*q + 10 = 0. Does 14 divide u?
True
Let q(u) = 2335*u**3 - 8*u**2 - u + 9. Does 35 divide q(2)?
True
Suppose -2*l = -3*w - 219, -2*w - 2 - 432 = -4*l. Let k = l - 43. Suppose 0 = 2*b - k - 67. Does 17 divide b?
False
Suppose -15*z + 1717 + 6818 = 0. Is 11 a factor of z?
False
Is (-31458)/(-210)*(-3209)/(-7) + (-2)/(-5) a multiple of 11?
True
Suppose -l - 46646 = -4*o, -23308 = -2*o - l - l. Is o a multiple of 44?
True
Suppose 312 = -g + 9*g. Let z be (-2)/(-13) - (-189)/g. Suppose 5*i - 1159 = -z*b + 31, 5*i = -3*b + 704. Does 28 divide b?
False
Is 53 a factor of -9 + 21044 + 12 + -6?
True
Let v = 122 - 170. Is (-8)/v*-3 - (-542)/4 a multiple of 7?
False
Suppose 0 = -3*l - 29*j + 24*j + 93948, -4*l - 3*j + 125253 = 0. Is l/33 + 0 - (-6)/33 a multiple of 84?
False
Suppose -15628*o = -15618*o - 53480. Is o a multiple of 7?
True
Let t(v) = -5*v**2 + 161*v - 89. Is 6 a factor of t(13)?
False
Suppose 0 = -5*c - 20, 0 = 5*y - 5*c - 4 - 41. Let n(p) = 16*p**2 + p - y*p - 47 + 45 + p**3. Is n(-16) a multiple of 9?
False
Suppose -5*t - 4*m + 130 = 0, 5*m = 5*t - 141 - 34. Suppose 0 = -44*u + 36*u + 880. Suppose -5*d = -2*o - u, -d + 2*o + t = -0*o. Is 5 a factor of d?
True
Suppose 2*t + 19*t - 7*t - 5390 = 0. Is t a multiple of 35?
True
Let k(p) = 17*p**2 + 67*p - 1112. Does 22 divide k(-39)?
True
Let c(y) = y + 382. Let j be c(0). Let u be -60*1*1/((-9)/24). Suppose -4*l - j = -5*k, -2*k + l + u = 3*l. Is k a multiple of 26?
True
Suppose r = 2*y - 649, -3*y + 1087 = r + 106. Let o = y + -135. Is o a multiple of 7?
False
Let s be (11 + -132 - (3 + 0))/(-2). Let l = -59 + s. Suppose -l*i = -286 - 65. Does 9 divide i?
True
Suppose n + 2783 = 3*o, -3*o + 2811 = -0*n + 3*n. Is o a multiple of 11?
False
Let k = 19 - 14. Suppose -4*r = 3*x - 90, -3*x - k*r + 145 = 2*x. Suppose 0 = -3*u, -o + 4*u = -x - 44. Is o a multiple of 14?
True
Let j = 8741 - -2448. Does 12 divide j?
False
Let r = -84 + 98. Suppose 6*g - r*g = 0. Suppose 4*p + 91 = 5*s, g = -5*s - 5*p + 131 - 31. Is 7 a factor of s?
False
Suppose -y - 15 = -3*q, -24 = -4*q + y - 3. Is 24 a factor of 6/9*5895/q?
False
Suppose 1 = w - 4*q + 18, -18 = -2*w - 5*q. Let j be -1 - ((-3)/1 + w). Suppose -l + 174 = 3*s, -2*s - j*s = -4*l + 645. Is l a multiple of 17?
False
Let m = 15983 - 10125. Is m a multiple of 29?
True
Suppose -q = -3*v - 71 - 97, 632 = 4*q - 2*v. Let w(u) = 8*u + 22. Let f be w(9). Let m = q - f. Does 4 divide m?
False
Suppose 6*z = 12*z - 150. Let n(b) = 5*b**2 + 5*b - 2*b**2 + 39 - 15*b - z. Is n(5) a multiple of 6?
False
Suppose -15350 = -r + 5*n, r - 3*n + 30726 = 3*r. Is 15 a factor of r?
True
Let a be -2 + (-1)/1*(-45)/9. Suppose -445 = -2*y + 3*t, 12*t - a = 9*t. Is 14 a factor of y?
True
Let l = -323 + 67. Let z = -214 - l. Is z a multiple of 14?
True
Let h = 34833 + -21865. Is 49 a factor of h?
False
Let b = 40 + -20. Suppose 7436 = -9*q + b*q. Does 63 divide q?
False
Let c(h) = 7029*h**2 + 22*h. Is 77 a factor of c(-1)?
True
Let i be 10/85 + (-559)/(-17). Suppose -i = -b + 247. Is b a multiple of 20?
True
Suppose -5*s + o + 186 = 2*o, -2*s = 2*o - 76. Suppose s*m - 32*m = 265. Let y = m - -19. Is y a multiple of 18?
True
Let g(k) = k**3 - 11*k**2 - k + 12. Suppose 0 = -4*v, 0*p + 3*p = -4*v + 33. Let c be g(p). Is 30 a factor of (c - 2) + 31 + 0?
True
Suppose 17*i = -47*i + 168512. Is i a multiple of 59?
Fals