 Does 36 divide z?
True
Let a(f) = -5*f - 19. Let j be a(-5). Suppose n - 3*n = -j. Suppose 2*s - 5*s - 9 = 0, n*h - 48 = 4*s. Is h a multiple of 3?
True
Let g = 142695 - 100633. Is 112 a factor of g?
False
Let n be ((-1)/2 + -2)*(-280)/(-175). Is 24 a factor of 264*(3/n + (-147)/(-84))?
True
Let b(k) = -44*k - 262. Let q be b(-6). Suppose -q*a + 4769 = 3*a - 4*n, n + 2867 = 3*a. Is 29 a factor of a?
True
Suppose -4*w - i - 2*i = 156, -3*w - 2*i = 116. Is 6 a factor of w/(-5)*(-550)/(-165)?
True
Is 110 a factor of 100*(5*158/(-40))/(2/(-88))?
True
Let a = -59 - -62. Let u(z) = 2*z**3 + 12 - 5*z**2 - 3*z**a + 5 - 5. Does 24 divide u(-6)?
True
Let o = -6129 - -21180. Does 48 divide o?
False
Let q be (-74)/(-4) - (-9)/6. Let y(m) = -m**3 + 21*m**2 - 21*m + 29. Let t be y(q). Suppose 480 = -t*k + 14*k. Is 24 a factor of k?
True
Suppose -8*b = -12*b + 5*s + 113426, b + s - 28343 = 0. Is b a multiple of 87?
False
Let i(r) = r**3 - 10*r**2 - 31*r + 2. Let g(w) = -2*w**3 + 19*w**2 + 62*w - 3. Let j(f) = -6*g(f) - 13*i(f). Is 31 a factor of j(15)?
True
Suppose -2*o - 2*f - f = -806, 0 = 2*o - 4*f - 778. Let l(j) = -24*j**2 - 174*j - 27. Let u be l(-8). Let h = o + u. Is h a multiple of 34?
False
Suppose -67*b = -42*b - 5000. Suppose -5*y + b = -80. Is 4 a factor of y?
True
Let g(p) = p**3 - 2*p**2 + 5*p + 12. Suppose 32*q = 10*q + 154. Does 73 divide g(q)?
True
Suppose -s + 2*z = -663 - 206, 0 = 5*s - 4*z - 4321. Suppose -531 - s = -2*r. Is 24 a factor of r?
True
Let l(y) = -y**2 - 8*y - 14. Suppose -12 = 3*r + 2*b, -5*r - 3*b = -4*b + 20. Let d be l(r). Suppose o - 286 = -5*f - d*o, 5*f - 272 = 4*o. Is 9 a factor of f?
False
Suppose -2*j + 5*q + 4441 = j, 3*j - 4401 = -3*q. Suppose 8*w = 16*w - j. Does 46 divide w?
True
Suppose b + 959 = -5*v - 311, -3*v - 3*b - 750 = 0. Let n = v - -136. Let a = 194 + n. Does 25 divide a?
True
Suppose -m - 38 - 310 = -3*h, 4*h - 464 = -m. Let i = h + -23. Let r = -60 + i. Is r a multiple of 15?
False
Is (-38)/(-14) + (-6)/(-21) + 5602 a multiple of 19?
True
Let w(i) = 14*i**2 + 2*i + 11. Suppose 22*l - 18*l - 20 = 0. Is 24 a factor of w(l)?
False
Let i(q) = q**3 - 8*q**2 - 44*q + 385. Is i(15) a multiple of 2?
True
Let w(u) = -u**3 + 42*u**2 - 80*u + 100. Is 19 a factor of w(28)?
False
Let j(l) = l**2 - 4*l + 6. Suppose -36*v + 24 = -30*v. Let m be j(v). Suppose -m*f + 760 = -f. Is 38 a factor of f?
True
Suppose -4*j + j = -129. Suppose -j = w + 51. Let m = -40 - w. Does 20 divide m?
False
Let k be (-2)/((7/7)/(3/(-6))). Let f(u) = 432*u**3 + 13*u - 13. Is 30 a factor of f(k)?
False
Let z(o) be the second derivative of -137*o**3/6 - 91*o**2/2 + 21*o + 2. Does 8 divide z(-3)?
True
Is (10*2/((-8)/(-260)))/(3/186) a multiple of 124?
True
Let x = 79 - -139. Let v = -170 + x. Is v a multiple of 8?
True
Let h = -47 + 7. Let l = -38 - h. Does 13 divide (3 - (-2 + l)) + 10?
True
Let i(a) = -116*a**2 - 7 - 48*a - a**3 + 0*a**3 + 137*a**2 + 6*a. Is 20 a factor of i(17)?
False
Let s(h) = 45*h + 129 - 13*h - 29*h. Does 30 divide s(17)?
True
Does 15 divide -1 + 3*4263 - (-4)/(-1)?
False
Suppose 4*x = 2*x + 14880. Suppose 5*b = -11*b + x. Is 5 a factor of b?
True
Let q = -62 - -66. Suppose z = -4*i + 63, -6*z - q*i + 251 = -z. Is 2 a factor of z?
False
Let i = -19 - -27. Let z be (i - 10)*(385 - -2). Is 4/22 + z/(-99) a multiple of 3?
False
Suppose 3*m = -3*a + 51873, 1141*m + 4*a = 1144*m - 51880. Does 4 divide m?
True
Suppose -3*n - 23442 = -5*o, -3*o = n - 3233 - 10849. Does 34 divide o?
True
Suppose 0 = -6*p - 3*p + 1134. Does 20 divide (-14)/((-37)/p - (-8)/36)?
False
Suppose 1998 = -13*u + 10201. Suppose -u = 10*d - 4491. Is 53 a factor of d?
False
Let b be (-128)/(8 + 66/(-9)). Let r = b + 562. Is 10 a factor of r?
True
Suppose 3*w - 4*w = 4752. Let a be w/(-10) + (-4)/20. Suppose 13 = 4*y - a. Does 14 divide y?
False
Does 3 divide (15/(-10)*6308/190)/(1/(-15))?
True
Let w = 654 - 129. Let q = w + -425. Does 4 divide q?
True
Let v(h) = h**3 + 9*h**2 + 8*h + 8. Let m be v(-7). Let g = 15 - m. Is (-3870)/g + 8/(-14) a multiple of 22?
True
Suppose -293 = -13*k - 33. Suppose -13*b - 84 = -k*b. Does 3 divide b?
True
Suppose -3060 - 17550 = -45*j. Does 68 divide j?
False
Let l be (-52)/10*(-85)/34. Suppose -2*n = -d + 5 - l, 2*d - 4 = 0. Suppose 80 = n*m - m. Is m a multiple of 7?
False
Let k be 3/(-9) + 164/6. Let y = -9 + -6. Let d = y + k. Is 2 a factor of d?
True
Does 55 divide (17/(1054/(-341)))/(-1 - (-2458)/2460)?
True
Suppose 2*f = -3*l + 16538, 11880 = 3*f - 2*l - 12927. Is 166 a factor of f?
False
Let d = 110 - 93. Suppose d*l - 3360 = 13*l. Suppose -3*t + 3*y = -0*t - 504, -5*t = -3*y - l. Is t a multiple of 10?
False
Let a = -2164 - -1121. Let l = 2371 + a. Is l a multiple of 15?
False
Suppose f + 0*h = -5*h - 24, -3*h = 5*f + 32. Is 41 a factor of f*-41*(-4 - -5)?
True
Is 45 a factor of (-462)/21 + 2 + 6421?
False
Let i(j) = 32*j**3 - 4*j**2 + 55*j - 198. Does 53 divide i(4)?
False
Let m be -4 + 5 - (2 - 12/2). Suppose -5*n + m*c = -690, 5*c = c. Is 11 a factor of 0 - ((-99)/(-27))/((-2)/n)?
True
Suppose 73*p = 89*p + 12416. Let j = p - -1496. Is 15 a factor of j?
True
Let j = -469 + 1044. Let w = j + -246. Is w a multiple of 10?
False
Let h(c) = 4*c**2 - 24*c + 5. Let x be h(6). Suppose -2233 = -x*t - 803. Let a = t - 146. Is a a multiple of 35?
True
Let h(v) = -139*v + 18. Suppose 3*d + 16 = -5*p, 4*p + d + 12 - 2 = 0. Is 23 a factor of h(p)?
False
Does 6 divide -8 + 158/20 - (4 + 199055/(-50))?
False
Suppose -4*x = q - 671, -1249 - 1435 = -4*q - 4*x. Let p = q + -461. Is 3 a factor of p?
True
Let c(k) = 17*k - 15. Let s(j) = 5 - 1 - j**2 - j**2 + 6*j + 0. Let v be s(3). Does 13 divide c(v)?
False
Let p(m) = 3*m**3 - 7*m**2 + 6*m - 8. Let w be p(5). Let l = -151 + w. Let u = l + -66. Is u a multiple of 2?
False
Let a(b) = -35 - 396*b + 8*b**3 + 421*b - 9*b**3 + 17*b**2. Does 27 divide a(16)?
True
Let h(g) = g**3 + 14*g**2 - 6*g - 24. Suppose -7*j + 14 = -8*j. Does 5 divide h(j)?
True
Suppose 0 = -24*f - 1335 - 417. Let d = f - -561. Is d a multiple of 10?
False
Let x(i) be the second derivative of -2*i**3/3 + 21*i**2 + 17*i. Is x(-22) a multiple of 10?
True
Let l(z) = z**3 + 5*z**2 - 7*z - 3. Let t be l(-6). Suppose 0*m + 54 = t*m - 2*o, 4*m + o - 72 = 0. Let n = 114 - m. Is n a multiple of 8?
True
Suppose 0 = 7*l + 147 + 420. Let b = -70 - l. Does 33 divide (b/(-2))/(3 - 436/144)?
True
Suppose 3*k + 5 = 23. Suppose 4*a + 16 + 16 = -4*f, -3*f = -3*a - k. Let d(z) = 15*z**2 - 7*z. Is d(f) a multiple of 18?
False
Let f = -222 - -244. Suppose 204 = -21*o + f*o. Does 17 divide o?
True
Let j = 4546 + -4266. Is j a multiple of 5?
True
Suppose 124*v - 43306 - 36798 = 0. Is 38 a factor of v?
True
Let x = 26022 - 10479. Is x a multiple of 80?
False
Suppose -2*w = 5*w - 5*w. Suppose 24*q + 8*q - 11648 = w. Is q a multiple of 6?
False
Suppose 4*c - 12842 = -1370. Is 13 a factor of c?
False
Let k = -18 - -27. Suppose -6*g - 5 = -g. Is (24 - k)/(g/(-2)) a multiple of 15?
True
Does 19 divide (3 - 19/38*(18 + 0)) + 27001?
False
Suppose 83 = -25*u + 8. Is -7 - 1374/(-9) - 1/u a multiple of 36?
False
Suppose -215*k = -53*k - 6594048. Is k a multiple of 53?
True
Suppose 113*g - 320411 = 104921. Does 68 divide g?
False
Let x(t) = -14*t**2 - 234*t**3 + 3 - 10*t - 17*t + 233*t**3. Is x(-14) a multiple of 23?
False
Suppose -24*s = -8300 - 1108. Suppose 2*j = 2*l - 4*l + 262, -3*l = 4*j - s. Is l a multiple of 12?
True
Suppose 2134*b = 2145*b - 40326. Is 26 a factor of b?
True
Let b be (1/3)/((-152)/(-48) + -3). Suppose -2*d - 150 = -b*x + 3*d, -4*d + 408 = 5*x. Is 37 a factor of x?
False
Let d(n) = -4*n - 2. Let j be d(6). Let c be (16 - 17)/(1/j). Does 13 divide c*(-4)/16*-2?
True
Let p be (9 - 2 - 7)/(-1 - 1). Let l(j) = -17*j + 312. Is l(p) a multiple of 13?
True
Suppose 68611 = 3*i - g, -3*i - 9*g + 6*g + 68595 = 0. Is 297 a factor of i?
True
Suppose 0 = -23*t + 16*t. Suppose 12 = 3*p, -4*u - u - 4*p + 2576 = t. Is 16 a factor of u?
True
Let x(t) = t**3 - 15*t**2 + 18*t - 66. Let v be x(14). Let a(m) = 3*m**2 + 5*m - 46. Is a(v) a multiple of 17?
True
Let r(o) = 10*o + 35. Let d = 73 + -61. Suppose -y - p = -13, 0*y = 4*y - 4*p - d. Is r(y) a multiple of 23?
True
Suppose 0 = -20*v - 12*v + 16*v + 122400. Is v a multiple of 18?
