of t?
True
Let q be 7 - (3 - 1) - 5. Suppose q = -0*h - 2*h + 892. Is 14 a factor of h?
False
Suppose -10097 + 2838 = -7*l. Let d = l + -292. Is d a multiple of 12?
False
Let u(g) = 4*g - 19. Let x(w) = 5*w - 19. Suppose 2*o = -4*h + 4*o - 18, 2*h = 3*o - 11. Let a(t) = h*u(t) + 5*x(t). Does 17 divide a(13)?
False
Let p(a) = -4*a**3 - 6*a**2 - 8*a - 12. Let j(i) = i**3 - 3*i**2 - 25*i + 79. Let u be j(4). Is 18 a factor of p(u)?
True
Let h be (-12)/9*3/(-4)*2. Suppose 0 = h*i - 1 - 7. Is 16 a factor of -1 + (2 - i - -105)?
False
Let y be ((-118)/(-4))/(4/24). Suppose 1060 = y*s - 172*s. Does 16 divide s?
False
Let y(t) = 671*t + 87. Does 6 divide y(2)?
False
Let q(k) = -10*k**3 + k**2 + 3*k - 5. Let t = 347 + -351. Does 26 divide q(t)?
False
Suppose -635 + 149 = r. Is 30 a factor of (-176)/(-66)*r/(-4)?
False
Let b(i) = 2*i + 3. Suppose -11*k + 16*k = 25, -2*s + 4*k = -28. Is 8 a factor of b(s)?
False
Let z(l) = -4*l**2 - 12 - 167*l**3 + 88*l**3 + 80*l**3 + 4*l. Does 42 divide z(6)?
True
Let n(o) = -200*o + 12. Let q be (-208)/39*6/8. Is 14 a factor of n(q)?
True
Suppose -21 = -9*g + 2*g. Let o be g + 509 + (-12)/(-3). Let q = -338 + o. Is 48 a factor of q?
False
Suppose -39*u = 173*u - 1254193 - 2712327. Is 10 a factor of u?
True
Suppose -2*t = 248 - 242. Is 19 a factor of (71/t)/(22/(-726))?
False
Suppose -7*b + 791 = -469. Suppose 16*h - 13*h = b. Suppose -r + h = 2*r. Does 20 divide r?
True
Suppose 0 = h - 7*l + 3*l - 2793, 0 = -3*h + 5*l + 8435. Does 110 divide h?
False
Suppose -x = 4*x - 725. Suppose -a + 5*g + 195 = 0, -a - 5*g = -0*g - x. Let f = -86 + a. Is f a multiple of 18?
False
Let m(l) = 18*l**2 - 5*l + 6. Suppose -5*r + 1 = -4, r + 154 = 5*z. Let i = 34 - z. Is 26 a factor of m(i)?
False
Let t be 46 - -4 - (0 + (1 - 2)). Suppose -12*g + 165 = -t. Is 4906/g + (-4)/(-9) a multiple of 21?
True
Let l = 654 - 578. Let f = l + 560. Does 14 divide f?
False
Is 2 + -1 - (487376/(-252) + (-108)/(-3402)) a multiple of 215?
True
Suppose 203*a - 17220 = 401*a - 200*a. Is a a multiple of 123?
True
Let h(m) = 2*m**2 - 3*m - 88. Let q be h(-7). Suppose -17*r + 4015 = -q. Is 34 a factor of r?
True
Let n(k) = -308*k - 7084. Does 9 divide n(-35)?
False
Suppose 3*v + 0*p = -3*p + 225, -2*v - p = -150. Let w = 11 + v. Is w a multiple of 2?
True
Let b(r) = -36*r**3 - 11*r**2 + 8*r - 3. Let s(l) = -35*l**3 - 12*l**2 + 9*l - 4. Let h(q) = -6*b(q) + 5*s(q). Is 6 a factor of h(1)?
True
Suppose -154270 = -307*o - 161856 + 546371. Does 117 divide o?
True
Suppose 0 = 10*u - 1962 - 538. Suppose 2*t - 4*j - 188 = 0, -7*t - 5*j + 440 = -2*t. Let m = u - t. Is 32 a factor of m?
True
Suppose 6336 = -18*x - 4*x. Let j = x + 404. Does 11 divide j?
False
Let n(l) = -l**3 + 7*l**2 - 32. Let c be n(6). Is 33 a factor of c - ((-6 - -3) + 2652/(-3))?
True
Let f(w) = -41*w**3 - 11*w**2 - 82*w - 128. Is 8 a factor of f(-5)?
False
Let o = -38 - -14. Let r = -20 - o. Does 14 divide (10 + (1 - r))*10?
True
Suppose -1167 = -5*d - 3*t, -3 = t - 7. Let k = d + 79. Is 31 a factor of k?
True
Let q = 150 + -146. Suppose 0 = q*i - 399 - 441. Does 15 divide i?
True
Let l(y) = 44*y**3 + 47*y**2 - 56*y - 21. Let n(b) = -15*b**3 - 16*b**2 + 19*b + 7. Let d(g) = -6*l(g) - 17*n(g). Is d(-5) a multiple of 19?
True
Suppose 2*b - 68 = 2*m, 17*b = 13*b + 16. Let g = 45 + m. Does 2 divide g?
False
Suppose 4317 = 3*f - 3*t, 126*f - 128*f - t = -2893. Is f a multiple of 22?
False
Let h = -28 + 32. Suppose 45 = h*n + n. Suppose -40 = -n*y + 5*y. Is 10 a factor of y?
True
Suppose -39*t - 28 = -46*t. Suppose -18*z + t*z + 826 = 0. Is z a multiple of 6?
False
Suppose 3*l - 42 = -0. Suppose -4*h - 3 = u - l, 5*u - 19 = -2*h. Suppose -j - w + 72 = 0, h*w = 5*j - w - 344. Is j a multiple of 14?
True
Let s be (-1 - ((-1 - -1) + 2)) + -5. Let o be (6/(-3))/((-4)/s). Does 4 divide (-1 + 17)/(o/24*-3)?
True
Let c be 78/3 + (-2)/(-2). Let d(t) = c - 8*t**2 + 9*t**2 - t**3 - 2*t**2 + 4*t + 9*t**2. Is d(7) a multiple of 26?
True
Suppose 115830 = 4*b - 52*z + 49*z, 0 = z + 2. Suppose 37*n - b = -n. Is n a multiple of 16?
False
Suppose -234*u + 216535 = 120*u - 4457327. Does 24 divide u?
False
Suppose -u - 22 = -5*k, 2*k = 2*u + 2*u + 124. Suppose -2*i - 2*g + 120 = i, 2*i - 4*g = 96. Let j = u + i. Does 2 divide j?
True
Let r(q) be the first derivative of q**3/3 - 11*q**2/2 - 17*q + 4. Let g be r(11). Let v = 28 + g. Does 11 divide v?
True
Let j(n) = 29*n**3 - 19*n**2 + 123*n - 14. Is 16 a factor of j(6)?
True
Suppose -38*z = -34*z + 45*z - 487207. Does 12 divide z?
False
Suppose 39*o - 19361 = 2128. Does 19 divide o?
True
Suppose 130*z + 1048 = 134*z. Suppose -5*u + 5*n = -435, 2*u = n + z - 87. Is 22 a factor of u?
True
Let o be ((-16)/10 - -3)*5. Suppose 238 = 14*b - o*b. Does 17 divide b?
True
Let g(l) = l**3 - 11*l**2 + 5*l + 3. Let s(f) = 3*f**3 - 21*f**2 + 11*f + 6. Let r(a) = -5*g(a) + 2*s(a). Let w be r(-4). Does 36 divide (14/21)/(2/w)?
False
Suppose -2*n - 420 = 5*s, -3*n - 219 = -2*n - 2*s. Let o = n + 561. Does 21 divide o?
False
Let a be (6/(-10))/((-1)/30). Let u = -6 + a. Let n = u - -11. Does 6 divide n?
False
Let k(h) be the third derivative of h**4/8 - h**3/3 + 3*h**2. Let l be k(14). Suppose -5*r - l = -6*r. Does 4 divide r?
True
Let t be 2 + 0 + -2 - -4 - 2. Suppose -k - t*k = -2*k. Is 17 a factor of (-44)/(-2) + -3 + k?
False
Suppose -2429 = -i - a + 6187, 4*a - 43089 = -5*i. Is 66 a factor of i?
False
Suppose 157*d = 23*d + 16774 + 1584. Is d even?
False
Let h be 183/27 + 16/72. Suppose -h*r + 225 = -2*r. Suppose r = 108*s - 105*s. Is s a multiple of 9?
False
Suppose 3*i + 39 = 5*m, -m - 2*i + 16 - 3 = 0. Suppose -m*g = -2*g - 1505. Suppose -5*z - 145 = -5*l + g, z = -2*l + 144. Does 18 divide l?
True
Suppose 9*z + 14*z = 92. Let l = 6 + -2. Suppose 2*n + l = 4*n, -2*b = -z*n - 234. Is 11 a factor of b?
True
Suppose 5*o - k = 1330 + 1942, -2*k = -5*o + 3269. Suppose o = 5*l - 150. Suppose 55 - 12 = n + p, 3*n - 5*p - l = 0. Does 7 divide n?
False
Let f be (-5)/(2 - 5 - -4)*-5. Suppose z = 2*y - 87, f = -5*z - 0*z. Let s = 53 - y. Is 2 a factor of s?
True
Let c(d) = 11*d + 4. Let k = -3 - 9. Let p be c(k). Let l = -51 - p. Does 18 divide l?
False
Suppose -3*f + 117 - 42 = 0. Suppose 0 = 5*d - f, 6*d - 8*d = -5*s. Suppose -240 = -5*a - 0*o + 5*o, 4*a + s*o = 174. Does 8 divide a?
False
Let q = 340 - 346. Let d = q + 36. Is d a multiple of 30?
True
Let w(x) = -81*x - 12. Suppose -31 = 2*v + 3*v - n, 5*n = 3*v + 23. Let k be -7 - (v - -4 - 3). Does 30 divide w(k)?
True
Let m = -242 + 246. Suppose 9*k - 1045 = m*k. Is 19 a factor of k?
True
Suppose -4 - 1 = -r. Suppose 3*x = r*v + 163 - 623, -x = 0. Suppose -g - v = -95. Is 2 a factor of g?
False
Let r(k) = -k**3 - 14*k**2 - 13*k - 1. Let c be r(-13). Let u(d) = -61*d**3 + 409*d + 1 - 2*d**2 - 409*d + 0. Does 15 divide u(c)?
True
Let b(j) = -j**3 - 19*j**2 - 13*j - 140. Does 17 divide b(-22)?
True
Let b = -772 + 1378. Suppose 0 = 2*q - 4*j - 392, -2*q = -5*q - 3*j + b. Is 25 a factor of q?
True
Let n = -48 + 71. Let j be -5 + 6/1 - -1 - -6. Suppose -j*d = -49 - n. Does 5 divide d?
False
Let f(d) = -d**3 + 27*d**2 - 6*d - 44. Let g be f(26). Suppose -3*c = 5*v - g, c = 7*v - 3*v + 170. Is c a multiple of 9?
True
Let i(w) = w**2 - 16*w - 23. Suppose 8*j = -7*j + 255. Let f be i(j). Is 6/f + (169 - 0) a multiple of 28?
True
Let k be 763/(-49) + 8/14. Let q be (-4)/(-3)*k/(-10). Suppose 0 = -5*v + 25, q*g - 60 = 5*v + 55. Is 10 a factor of g?
True
Suppose 10839 = 5*k + f, -29*k + 24*k - 4*f = -10836. Does 8 divide k?
True
Let g(t) = -280*t + 2430. Does 6 divide g(-9)?
True
Is (-135 + 11)*13/3*-3 a multiple of 5?
False
Is -1 - 166498/(-4) - 2994/(-1996) a multiple of 45?
True
Suppose 346 = 4*y - 2*j - 6452, 0 = -3*y + 5*j + 5088. Does 9 divide y?
True
Let n = -51 + 66. Suppose 0 = -p + 3*s - n + 3, 4*p - 22 = -2*s. Does 4 divide p + (1/(-2))/((-3)/108)?
False
Let x = -17757 - -24952. Is 42 a factor of x?
False
Is 298 + 1 + 140/(-14) even?
False
Let r = -320 - -3695. Is r a multiple of 154?
False
Is 170 a factor of 1/((-60)/80 - 29281/(-39036))?
False
Let i = -5953 + 6408. Does 7 divide i?
True
Suppose -2*b = 0, -10*a + 6615 = -9*a - 3*b. Is 53 a factor of a?
False
Suppose 5*v = 5*q + 23485, -5*v - 1545 = 2*q - 25065. Does 44 divide v?
Fals