oes 29 divide y(35)?
False
Let b(z) = 11*z - 2*z - 20 + 2*z**2 + 1 - z**2. Let l be b(4). Let o = 7 + l. Is 6 a factor of o?
False
Suppose 102*m = 101*m + 127. Let c = 157 - m. Is 4 a factor of c?
False
Let r = -5298 - -7410. Does 6 divide r?
True
Suppose 65*q - 356 = 63*q. Suppose p + 519 = 5*l - 466, l - 4*p - q = 0. Is l a multiple of 19?
False
Let w = 44 + -44. Suppose 4*q - 5*o - 1011 = w, -195 - 62 = -q - 3*o. Suppose -3*x + 5*z + 762 = -0*x, x = 3*z + q. Does 17 divide x?
False
Is (1/(-3)*367)/((-83)/22161) a multiple of 53?
False
Suppose -2*x + 3*f + 109994 = 0, -7*f + 2*f = -3*x + 164991. Is 57 a factor of x?
False
Suppose -2*c - 3*t + 15366 = -13550, 3*c + 2*t - 43369 = 0. Is 45 a factor of c?
False
Let c(t) = -t**2 + 3*t + 16. Let a be c(-3). Let r(m) = -263*m - 49. Is r(a) a multiple of 16?
False
Suppose -5*d + 2*g = -143, -2*d - 62 = -4*d + 2*g. Suppose -6*u = 21 + d. Let w = 19 + u. Is w a multiple of 2?
False
Let s(y) = 939*y + 33. Is s(2) a multiple of 13?
True
Let p = 14073 + -2427. Is p a multiple of 30?
False
Does 19 divide (-19 - (54 + -30))/((-2)/94)?
False
Let g(p) = p**2 + 4*p - 5. Let f(y) = -3*y - 14. Let h be f(-6). Let w be (h/2 - -2)*14/(-8). Does 3 divide g(w)?
False
Let h(d) = -12 + 3 - 7 - 6 + 2*d. Let r be h(13). Let i(u) = 2*u**2 - 4*u + 18. Does 2 divide i(r)?
True
Let h = -18976 - -27656. Is h a multiple of 14?
True
Suppose 88*q + 10*q - 8905 = 3443. Is 63 a factor of q?
True
Suppose -398 = -4*l + 306. Let b = -1422 + 1311. Let f = b + l. Is 5 a factor of f?
True
Let o = -71 + 71. Suppose -5*z - 50 = s - 0*s, o = 3*s. Is -4 + (32/(-10))/(z/175) a multiple of 7?
False
Let w be (2/(-3)*9)/((-6)/894). Suppose -5*g - 19 = -4, 3*g = -v + w. Does 32 divide v?
False
Let o be (-16)/(-40) - (-8)/5. Let a(l) = 7*l**2 + 44*l**2 + 5*l**2 - o - l. Is a(-1) a multiple of 9?
False
Let n be (2046/44)/((-1)/(-2)). Is 32 a factor of (-8*27)/(n/(-124))?
True
Suppose 0 = 88*m + 13*m - 48079 + 16466. Is 26 a factor of m?
False
Is (6 - ((-36)/27)/((-4)/9)) + 37029 a multiple of 226?
False
Suppose 171*j + 1203227 = 3771647. Is 5 a factor of j?
True
Let z = 62611 - 10300. Does 47 divide z?
True
Let q(j) = 24*j**3 - 11*j**2 + 12*j - 20. Does 55 divide q(6)?
True
Suppose -11 = 2*w - 19. Suppose 4*b = w*c + 20, 0 = 4*b - 2*b - 10. Suppose -7*l + 136 + 60 = c. Is l a multiple of 6?
False
Suppose -4196*q + 34592 = -4188*q. Is 23 a factor of q?
True
Let r = 228 - 240. Is 5 a factor of r/(28/7) + (-2 - -178)?
False
Suppose -18*n + 16*n = j - 45025, -j - n + 45016 = 0. Is 208 a factor of j?
False
Let w(u) = -2*u**3 + u**2 - 7*u - 12. Let p be w(-4). Suppose p*d = 154*d + 702. Is d a multiple of 60?
False
Is 6 a factor of (-1 + 1621)*(40 + (-6142)/185)?
True
Is 43 a factor of (-6 - -2) + (210/(-15) - -3262)?
False
Let q(g) = 3*g**2 - 17*g + 35. Let d(w) = w**3 - 25*w**2 + 9. Let t be d(25). Does 25 divide q(t)?
True
Suppose 5*v = 4*w - 126, 2*v + 3*w + 7 = -25. Let s(p) be the third derivative of -p**5/60 - 7*p**4/8 + 7*p**3 - 12*p**2. Is 11 a factor of s(v)?
False
Suppose -3*u - r + 13287 + 9504 = 0, 5*r = u - 7597. Is 71 a factor of u?
True
Suppose -9*w - 5715 + 21969 = 0. Is w a multiple of 9?
False
Suppose -27*k + 408 = -10*k. Suppose -3*t - k = -3*a, -a + 3*t + 14 = -0*t. Suppose h - 43 - 37 = 2*n, -3*h + 239 = -a*n. Does 6 divide h?
True
Suppose -3*r - 5 + 20 = 0. Let j be (-4*(-30)/(-36))/(1*10/(-1005)). Suppose -j - 325 = -r*w. Is w a multiple of 32?
False
Let y(o) = -o**2 + o + 14. Let k be y(0). Suppose 0 = 3*p - k - 1. Suppose -p*l - 4 = -179. Is l a multiple of 10?
False
Is 9 a factor of (-202793)/(-79) - (-3 + -11)?
False
Suppose 4*w + 3*d + d + 4 = 0, -4 = -2*w + 4*d. Suppose -3*l + 203 = -w*m + 2*m, 3*l - m = 218. Let o = l + -31. Is o a multiple of 31?
False
Does 27 divide (-16254)/(-4644) + (237590/(-12))/(1/(-3))?
False
Is 174 a factor of (-7)/2 + (-3826819)/(-458)?
True
Let k(l) = 954*l**2 - 8*l + 4. Is 50 a factor of k(1)?
True
Let y(o) = 5*o**2 - o - 4. Let d(f) = f**2 + 10*f + 26. Let j be d(-6). Suppose b + 4 = -2*k, -b + k = -j*b. Is y(b) a multiple of 9?
True
Let l be 2/8 + 6/(-24). Let k(j) = -j**3 + 2*j**2 + 2*j + 9. Let h be k(3). Suppose 192 = h*w - l*w. Is w a multiple of 8?
True
Suppose 47 = s - 4*f, 5*s - 299 = -2*f - 86. Let w = 13 + s. Let g = 5 + w. Is g a multiple of 17?
False
Suppose q + 4*t + 79 = 0, -q - 3*t = -2*q - 44. Let f = q - -69. Suppose 7*w = f*w - 48. Does 12 divide w?
False
Suppose -5*m + 10*m = 3*k - 685, 5*k = -4*m + 1154. Suppose 5*z - 220 = k. Is z a multiple of 6?
True
Let p be (4 + (-2)/2)/(3/3). Suppose -5*l = -p*w + 53, -w = l + 15 + 2. Let i = -1 - l. Does 12 divide i?
True
Let a(d) be the third derivative of -d**5/60 - 2*d**4/3 + 7*d**3/6 + 15*d**2. Let y be a(-13). Let n = 73 - y. Does 9 divide n?
True
Let g = -3541 + 4101. Does 14 divide g?
True
Is 10 a factor of (-16 + 1)*1989587/(-1165)?
False
Suppose 3*x - 4*j + 5973 = -2*j, -2*x = -4*j + 3974. Does 12 divide (-1 - x)/8 - -3?
True
Suppose 0 = -s + 4*o + 44, -4*s = o - 17 - 74. Let n = -13 + s. Suppose -h - 23 = -3*h + 3*g, -2*g - n = -h. Is 13 a factor of h?
True
Let i(p) = -p**2 - 3*p - 658. Let b be i(0). Let y = b + 922. Is y a multiple of 33?
True
Suppose 31 = 3*j + 7. Is 22 a factor of (111*42)/(-2)*j/(-24)?
False
Suppose 0*i + 5826 = 65*i - 285764. Does 3 divide i?
False
Let f(o) = -2*o**2 + 17*o - 12. Let a be f(8). Does 9 divide 20/a + 3/(12/776)?
True
Let t(p) = p**2 + 6*p + 6. Let g be t(6). Suppose 4*s - 3 = -7, -2*d + s + 69 = 0. Let j = g - d. Is j a multiple of 18?
False
Let a(i) = -49 + 0*i + 52 + 7*i. Let s be a(3). Is 20 a factor of (-7 - (1 - 4)) + s?
True
Is (12645/180*(-16)/4)/(2/(-50)) a multiple of 25?
True
Let k(h) = -2*h**2 - 52*h - 16. Let g be k(-26). Does 21 divide (-5 - -1159)/2 + g/4?
False
Let k(c) = -19*c**3 + c**2 + 2*c + 1. Let m be k(-1). Suppose g + 110 = m. Let y = 147 + g. Is y a multiple of 4?
True
Let o be (-2)/(18/(-4) - -4). Suppose 5*q + p - 1541 = 0, -o*q + 1227 = 53*p - 58*p. Is q a multiple of 14?
True
Let a(u) = -u**2 + 52. Let x be a(7). Suppose -633 - 465 = -x*p. Is p a multiple of 20?
False
Let n(x) be the second derivative of 7*x**4/12 + 2*x**3/3 - 4*x**2 - 614*x. Let f be 30/7 - 2/7. Does 24 divide n(f)?
True
Suppose 2*z + 2*o = 2, 0 = z - 0*z + 3*o + 9. Let x be ((-36)/(-6))/(-2)*-18. Suppose -z*g + 2*g = 5*f - 237, g + 3*f - x = 0. Is 9 a factor of g?
True
Suppose -1 - 8 = -2*y - c, 2*c = y - 2. Suppose 5*j = -y*j + 72. Suppose l + j = 34. Does 22 divide l?
False
Is (-1 - 0)/(-3*6/11664) a multiple of 108?
True
Let n = -4913 - -5261. Is 29 a factor of n?
True
Let b(k) = -4217*k - 3649. Is b(-4) a multiple of 170?
False
Suppose -11*l + 15*l = 0. Let q(g) = -g**3. Let s be q(l). Suppose -3*z + 163 + 53 = s. Is z a multiple of 12?
True
Let p(c) = -59*c**3 + c - 6. Let h(l) = 177*l**3 + l**2 - 2*l + 19. Let q(a) = -2*h(a) - 7*p(a). Suppose 200*u - 193*u = 7. Is 12 a factor of q(u)?
False
Let l = 19 - 18. Does 22 divide 12090/39 - (1 + l + 1)?
False
Let m = 181 + -173. Suppose -m*s + 6497 = -6015. Is s a multiple of 34?
True
Suppose 0 = -5*g - 30*a + 34*a + 61192, -5*g + 61198 = -a. Is 90 a factor of g?
True
Suppose -154446 + 2581922 = 302*q. Does 60 divide q?
False
Let o = -7995 + 13067. Is o a multiple of 74?
False
Suppose -125*b + 60*b + 80470 = 0. Does 18 divide b?
False
Suppose 139*a - 621060 = 7*a. Does 16 divide a?
False
Let h(s) = -10 - 4*s**2 + 12*s + 6 + 5*s**3 - 2*s. Does 27 divide h(3)?
False
Let z(l) be the third derivative of -17*l**4/8 - 25*l**3 - 5*l**2 + 3. Does 12 divide z(-6)?
True
Let f be (-3)/6*(5 - 37). Suppose 14*w - f*w = -1044. Suppose 22*o - 31*o = -w. Is o a multiple of 10?
False
Suppose -p = i - 144, -4*p + 3*i + 455 = -121. Let x = 377 - p. Is 8 a factor of x?
False
Let k = -415 - -423. Does 14 divide (k/4)/(24/1812)?
False
Let b be (459 - 2) + -3 + -1. Suppose -b = -2*f + 4*a + 515, 3*f - 1462 = 4*a. Does 24 divide f?
False
Is (-3294352)/(-618) + 4/3 a multiple of 31?
True
Suppose -4*t - g = 4*g - 784, -16 = -4*g. Let n = 276 - t. Is n a multiple of 5?
True
Suppose 2*u - 4*l - 1088 = 0, 2*l + 2162 = 4*u + l. Does 12 divide u?
True
Let u = 1332 - 1037. Is 11 a factor of u?
False
Suppose -2*b - y = 669, 0*b + 362 = -b + 5*y. Let p = b + 832. Is 11