0/(-5) + 6)/(4/(-56)) a multiple of 23?
False
Let d(t) = 2*t**3 - 33*t**2 + 89*t - 75. Is d(20) a multiple of 8?
False
Suppose 418*l + 1902 = 419*l. Is l a multiple of 63?
False
Let g be (3 + 3 + -4)/(6/669). Suppose -227*i + g*i = -272. Does 25 divide i?
False
Does 21 divide (-301118)/(-4) - 6743/(-1226)?
True
Suppose 23*x + 164 = 27*x. Suppose -x = -2*p + 191. Let g = 454 - p. Does 59 divide g?
False
Does 160 divide 490/(13/(468/24))?
False
Let p = 36627 + -35829. Is p a multiple of 114?
True
Let w be ((-7)/(-3) + -2)*(1 + -1). Let q be (-8)/(-4) + 2 + w. Suppose -1560 = -q*s - 8*s. Is s a multiple of 13?
True
Let t(b) = -b**2 + 5*b - 1. Let h be t(4). Let o be (h/2)/(((-42)/80)/(-7)). Let q = o - -7. Does 9 divide q?
True
Let n = -26 + 51. Let z = 30 - n. Suppose 3*i - 270 = -z*h + 118, 0 = -4*h + 4*i + 336. Does 16 divide h?
True
Let x = 107 - 74. Let r = x + -33. Suppose r = b + h - 75, b - h = 4*b - 221. Does 5 divide b?
False
Let s be 1/(4/252*-1). Let b = s - -101. Is b a multiple of 34?
False
Let a be -2*(-20)/(-24) + 29/3. Suppose -6*b + 1848 = a*b. Does 12 divide b?
True
Is (-3225782)/(-182) + -1 + 1/(-13) a multiple of 16?
False
Suppose 6*z - z = k - 50, -2*k - 2*z + 40 = 0. Let b = 22 - k. Does 7 divide (-4 - -1) + 14 - b*1?
True
Let u be 0*((-76)/494 - 17/(-26)). Suppose -5*t + 23*l - 25*l + 7190 = u, -t - 4*l = -1456. Is t a multiple of 30?
False
Let w(n) = -65*n**3 + 10*n**2 + 8*n + 42. Is 16 a factor of w(-6)?
False
Suppose 2*b = 5*o + 53 + 50, 2*b = -5*o - 107. Is 684 + 3*35/o a multiple of 21?
False
Let x be 15/(-10)*((-500)/6 + -4). Suppose -x = -2*q - p + 42, -q + 3*p = -90. Does 4 divide q?
False
Let p be ((-102)/(-6) + -9)*1245/(-4). Let z = p - -3814. Is 82 a factor of z?
False
Let p = -5904 + 11004. Does 12 divide p?
True
Let d = 114 - 110. Suppose -3*k + 0 = 6, -3*g = -d*k - 368. Does 6 divide g?
True
Let d = -4984 + 12330. Does 32 divide d?
False
Suppose 0*u - 4*u = -40. Suppose 2 + u = -3*s. Is 11 a factor of 39/(4*s/(-8) - 1)?
False
Let k = -199 - -202. Suppose 0 = -3*j - k*n + 2*n + 843, -3*j + 2*n = -834. Does 40 divide j?
True
Let j = -108 + 92. Let y(v) = -v**2 - 13*v + 53. Let q be y(j). Suppose -82 = -q*c + 128. Is 42 a factor of c?
True
Let g(o) = o**3 + 4*o**2 - 8*o - 5. Let w be g(-5). Is 2 a factor of (-1 - 1)*(-2 - 65/w)?
False
Suppose 14*k = 7*k + 35. Suppose -2*v = -c - 4*v + 104, -k*v + 210 = 2*c. Is c a multiple of 4?
True
Suppose 0 = 20*w - 16*w - 20. Suppose -5*p = w*g + 170, -5*p + 62 = -3*g - 0. Let n = 215 + g. Is n a multiple of 26?
False
Let l(w) = -w**2 - 5*w + 199. Let f be l(0). Suppose 4*t = s + 4*s + 530, t = -2*s - f. Is ((-7)/21)/(1/s) a multiple of 9?
False
Is 20 a factor of (-6)/(-27)*75*(-36420)/(-40)?
False
Suppose -2*s - 36 = 4*v, -v = 5*s - 3*v + 102. Let x = -15 - s. Suppose 0 = 9*o - 13*o - 5*h + 459, -x*o + h = -581. Does 29 divide o?
True
Suppose 4*v - 11 = -5*g, -10 = -v + 4*g - 2. Let j(c) = c**3 - 2*c**2 - 8*c + 3. Let h be j(v). Suppose -h = -q, -r + 6*r = 4*q + 143. Is 31 a factor of r?
True
Suppose -11 = -2*p + 3*x, 4*p - x = -5 + 32. Does 24 divide 2018/p + 19/7 + -3?
True
Suppose -407*h = -411*h + 4*f + 1000, h = 3*f + 256. Is h a multiple of 2?
False
Let b = 948 - 663. Let i = b + -133. Is 8 a factor of i?
True
Does 32 divide ((177438/(-3))/(-2))/1?
False
Does 25 divide (-810)/3*((-527)/51 + 2)?
True
Let g(z) be the second derivative of 4*z**4/3 + 4*z**3/3 + 7*z**2/2 - z. Let n(o) = o**2 - 26*o + 92. Let i be n(4). Is g(i) a multiple of 59?
True
Suppose -121*f - 980 = -120*f. Let s = f + 1830. Is s a multiple of 50?
True
Let g(h) = 7*h**2 - 53*h + 24. Let k be g(7). Let d(o) = -2*o - 5 - 2*o**3 + o**2 + o**2 - 6*o**2. Does 6 divide d(k)?
False
Suppose 3770 = 2*d - 31*d. Let r = 5 + -4. Does 13 divide 2/r*d/(-4)?
True
Is 32 a factor of (-1 + 3)*-1*4/(-8) + 5599?
True
Let q = 9394 + -1866. Does 27 divide q?
False
Let n(r) = 32*r**2 - 2*r - 6. Let a = 19 - 22. Let k be n(a). Suppose 2*m + k = 3*g + 3*m, 4*g + 2*m = 384. Is 16 a factor of g?
True
Is 151 a factor of (-2182830)/(-52) - (-8 - 120/(-16))?
True
Let v = 12838 + -4194. Is v even?
True
Suppose -2*k + 118 = v, 9*k - 6*k - 5*v - 190 = 0. Suppose -516 = -6*b + k. Is 8 a factor of b?
True
Let s(g) = -2*g**2 - 156*g - 44. Is s(-64) a multiple of 23?
True
Let u(o) be the second derivative of -11*o**5/60 - 5*o**4/12 - o**3/3 + 10*o**2 - 16*o. Let a(h) be the second derivative of u(h). Is 18 a factor of a(-2)?
False
Suppose 0*n = -j + 4*n - 12, 2*n = -j + 12. Suppose 5*g + 2*m = 5, j*g - 2 = -2*m - 0. Is ((-34)/g)/(12/(-54)) a multiple of 7?
False
Suppose 5*f = -27 - 8. Suppose -5*l + 274 = 4*r, 2*r + 4*l + 76 - 210 = 0. Let c = r + f. Does 32 divide c?
True
Let v(z) = -z**2 + 41*z - 35. Suppose 0 = 5*t + o - 3*o - 148, -4*o = -5*t + 156. Does 15 divide v(t)?
False
Let t = 208 - 188. Is 36 a factor of t/80 - 574/(-8)?
True
Let n = 422 + -398. Suppose -n*v = -22*v - 62. Does 12 divide v?
False
Let s(q) = 74*q + 1. Let r be s(1). Let j be (-2)/(4/r)*(-3 - 5). Suppose 0 = -25*v + 20*v + j. Is 20 a factor of v?
True
Let q = -9297 - -16977. Is 73 a factor of q?
False
Let a(r) be the first derivative of 4*r**3/3 + 4*r**2 - 4*r - 541. Let o = 10 + -2. Is 54 a factor of a(o)?
False
Let x be 1/(240/(-236) - -1). Let j = -54 - x. Suppose -3*m + 173 = 2*m + 3*h, j*m - 5*h = 205. Does 8 divide m?
False
Suppose 0 = 16*s - 19*s - 2*o + 3656, 0 = s + 5*o - 1236. Does 38 divide s?
True
Is ((-6333)/(-6))/((-99)/(-198)) even?
False
Let o be (-1)/((-2)/8)*18/(-12). Let y be (35/2 + -1)*o. Let b = y - -155. Is 28 a factor of b?
True
Let i = -71 - -75. Suppose -12 = i*l + 3*n, -28 = -0*l + 4*l - n. Is 30 a factor of (-2876)/(-12) + 1 + 4/l?
True
Suppose -175*h + 636094 = 205419. Is h a multiple of 22?
False
Let c be 4*(-2 + (-4 - 52/(-8))). Let f(b) = 215*b - 14. Let k be f(c). Suppose 15*w - 2411 = -k. Is 19 a factor of w?
True
Let m(n) = -3902*n - 702. Is 239 a factor of m(-9)?
True
Let z = 28 + -32. Let q be (-2)/(-5) - z*(-237)/(-30). Is (5/((-20)/(-9)))/(2/q) a multiple of 18?
True
Let m = -1876 - -3115. Let d = -567 + m. Suppose 7*a - d = a. Is 8 a factor of a?
True
Suppose -136*z + 514 = -134*z. Is 61 a factor of z?
False
Let o(x) = x**2 - 13*x + 57. Let f be o(18). Let k = 469 - f. Is k a multiple of 11?
False
Let d be 2 + -1 + -5 + 7 - -5. Let n be 6/(-24) - (-1042)/d. Let s = n + -45. Is s a multiple of 10?
False
Suppose v - 2*c + 0 = 17, 3*v - 87 = -3*c. Let n(j) = 39*j**3 + 2*j**2 - 6*j + 3. Let a be n(1). Let u = a + v. Does 21 divide u?
True
Let y(u) = 63281*u**2 + 950*u - 950. Is y(1) a multiple of 117?
False
Let t(h) = 231*h - 1824. Is t(48) a multiple of 16?
True
Let w(s) = 25*s**2 - 3*s - 22. Let f be w(-9). Suppose 21*g = -8*g + f. Does 17 divide g?
False
Suppose 4*r = 5*y + 103967, -2*r + 2999 = 4*y - 48991. Does 13 divide r?
False
Suppose 0 = 5*o - 25, -l + 27 = 4*o + 4. Let a be (-8)/(-36) + l + 14088/27. Suppose q = -n + 103, 3*q - a = -4*n - n. Is n a multiple of 27?
True
Suppose 0 = 104*j - 93*j - 660. Is 5594/10 - 24/j a multiple of 43?
True
Let p(x) = x - 1. Let m(r) = 5*r - 5. Let z(v) = m(v) - 6*p(v). Let h be z(-2). Suppose -h*o + 221 = 17. Is 17 a factor of o?
True
Let u(k) = k**3 + 21*k**2 - 4*k + 9. Let l(a) = a**3 + 20*a**2 - 3*a + 8. Let j(z) = 6*l(z) - 5*u(z). Is 11 a factor of j(-6)?
False
Let g(j) = 2*j - 24. Let p be g(13). Suppose 3*k + p*k - 166 = 3*z, -4*k + 146 = 2*z. Is 28 a factor of 3695/k + 6 - 6/(-14)?
True
Suppose -922 = 26*y + 10804. Let z = 675 + y. Is 8 a factor of z?
True
Let q(w) = -7*w**3 + 11*w**2 + 57*w + 29. Does 15 divide q(-11)?
True
Suppose 5*z = -j - 9755 + 32634, -3*z + 13707 = 4*j. Is z a multiple of 10?
False
Is 37640/10 - 8*(7 - 8) a multiple of 46?
True
Suppose -2*r - x + 7 = -0*x, -5 = -5*x. Suppose 2*u + 10 = -3*u, -31 = -r*t - u. Let s = t + 22. Is s a multiple of 3?
True
Suppose 0 = -10*t + 2*t + 80. Suppose 224 = 2*m - t*m. Let h = 125 + m. Is 16 a factor of h?
False
Suppose 124*z - 121*z = 9732. Does 144 divide z?
False
Suppose 29*r = 27*r + 1020. Let v = -349 + r. Does 2 divide v?
False
Let h(r) = -r**2 + 6*r + 8. Let q be h(7). Let x be ((-18)/54)/(q/6). Is 12 a factor of -2 - x - 0 - -72?
True
Suppose -5*n + 102 = p, -4*p + 5*n = -255 - 28. Let l = 16 + p. Let w