/((-18)/(-362176)) a multiple of 46?
False
Let c be (15/3 - -2)*(-45 - -46). Suppose y - 5149 = -4*f, 0 = 4*f - c*y + 2*y - 5167. Does 76 divide f?
False
Let t(w) = 2*w**3 + 4*w**2 - 4*w + 2. Let l be t(2). Suppose l*v - 30*v + 616 = 0. Let i = 294 - v. Does 28 divide i?
True
Let a(t) = -71*t - 8. Let m be a(-5). Suppose 7*d - 6 = 15. Suppose -y + 74 = -0*y - 4*r, 5*y = -d*r + m. Is 14 a factor of y?
True
Let n = -4987 + 8924. Is 31 a factor of n?
True
Let v = 19824 + -15024. Is 24 a factor of v?
True
Let v be (26/6)/(9/(-81)). Let j be 11/(-13) + 1 + (-72)/v. Suppose j*n = 7*n - 115. Is n a multiple of 5?
False
Let y(a) = 2*a**3 + 3*a**2 + 5*a + 5. Let k(z) = z**3. Let q(o) = k(o) - y(o). Let j be q(-3). Is (6/j)/((-5)/300*-2) a multiple of 18?
True
Suppose 5*y + x = 29571, 5*y + 3*x - 45625 = -16062. Is y a multiple of 14?
False
Let q be (-6)/(-27) - 232/72. Let p(a) = a**2 - 2. Let g be p(q). Suppose -g*x + 6*x = -17. Is 9 a factor of x?
False
Let x be (-9)/(27/(-2))*3. Suppose 26 + 22 = x*c. Suppose -4*p = -4*b - c, p + 16 = 3*p - 3*b. Is p even?
True
Suppose 0*t + 9*t - 2106 = 0. Suppose 1316 = 2*x - t. Is x a multiple of 25?
True
Suppose -26 - 4 = -5*k. Suppose 0 = -2*i + k*i + 44. Let n = i - -44. Is 23 a factor of n?
False
Let y be 36/(-9) - -13 - 12. Does 33 divide ((-3384)/(-16) - y)/(2/4)?
True
Suppose 2*n = 4*n + 966. Let j = n - -1060. Does 25 divide j?
False
Suppose 0 = -54*n + 35*n + 57. Suppose -12 = 53*h - 50*h, 0 = n*g - h - 568. Does 4 divide g?
True
Suppose -116*c + 121*c = 0. Suppose 2*o - 3*o - 3*j + 822 = c, -2*j = -8. Is o a multiple of 18?
True
Is 6 a factor of (-2)/(2/(-2))*612238/748?
False
Let o(b) = 10*b - 123. Let i be o(28). Suppose -159*w + 1884 = -i*w. Does 19 divide w?
False
Suppose -40*a - 10742 + 22405 = -40697. Is a a multiple of 17?
True
Let u(p) = 11298*p**3 + 8*p - 5. Does 27 divide u(1)?
False
Let p(j) = -j**2 + 9*j - 21. Let w be p(6). Does 52 divide (1 + w)/2*-111?
False
Let l be ((-4)/(-10))/((-3)/15). Let q = 572 + -560. Is 11 a factor of 189/q + l/((-24)/(-9))?
False
Let f(a) = 331*a + 330. Is 99 a factor of f(6)?
False
Let j be 2/6*-3 + 3. Let n be (9310/(j + -7))/1. Is 5 a factor of n/(-95) - (-4)/10?
True
Is 146 a factor of ((-220)/2 - -8)*(-730)/15?
True
Suppose 2*b - 2*h + 10 = 0, 5*h - h - 20 = 5*b. Suppose b = -3*m - 2*i + 783 + 455, -4*m + 5*i = -1666. Is m a multiple of 18?
True
Suppose -63*b + 195661 = 126928 - 306432. Does 26 divide b?
False
Let s = 266 - 180. Suppose 5*c = 3*y + 106, -4*c - 4*y + s = -7*y. Is c a multiple of 10?
True
Let f(r) = -r**2 - 19*r + 24. Is f(-20) a multiple of 2?
True
Let n = -730 + 738. Suppose 7*a - 5*x = n*a - 48, -x - 144 = -3*a. Is 6 a factor of a?
True
Suppose -52*f + 110538 + 20001 = -10121. Does 63 divide f?
False
Suppose 0 = 5*h - 4*a + 340, 4*h - a + 178 = -83. Let d be h/(-48)*(0 - (-3)/2). Let v(l) = 49*l + 4. Is 16 a factor of v(d)?
False
Suppose 7*t - 8*t + 6627 = 4*l, 0 = l + 5*t - 1671. Does 92 divide l?
True
Let t(w) = 36*w**2 - 3*w + 5. Let u be t(-4). Let q = u + -203. Is 13 a factor of q?
True
Suppose 1554 = b + 2*o, -7*b + 9*b - 2*o - 3126 = 0. Is b a multiple of 11?
False
Suppose 16*v - 10*v = -120. Let z be 6 + 128/v - 327/(-5). Suppose -5*b + 3*b + m + 135 = 0, b = 3*m + z. Is b a multiple of 34?
True
Let o be ((63/(-2))/7)/((-2)/8). Suppose z = 5*t - 815, -4*z + o = t - 166. Suppose 5*g + 721 = 4*j, g - 3*g + t = j. Is j a multiple of 13?
False
Let m(u) = -3*u - 85. Let w be m(9). Is 36 a factor of (-101840)/w + (-2)/7?
False
Suppose 0 = -17*g - 112 + 1047. Suppose y - 401 = -3*a, -g*a + 4*y - 152 = -56*a. Is 4 a factor of a?
True
Suppose -16 = -3*f - 7. Suppose -3*y + l = 209 + 226, -y + f*l - 145 = 0. Is 10 a factor of 1/4*-2 - y/10?
False
Is 95 a factor of (16/12 + -5 + 7)*399?
True
Let z(i) = -5*i**2 - 17*i + 26*i**3 - 8*i**2 - 25*i**3 - 2*i**2. Is 37 a factor of z(18)?
True
Let h = 626 + -383. Suppose h = 172*a - 169*a. Is a a multiple of 5?
False
Let u(m) = 14*m**2 + 81*m + 942. Is 88 a factor of u(42)?
True
Let f(w) = -w**2 + 20*w + 46. Let a be f(22). Suppose 91 = 3*k - 0*k - a*o, 2*k - o - 60 = 0. Is k a multiple of 17?
False
Suppose -3*k = -2*k - 3. Suppose 2*o + 30 = v - 4*v, -k*v = -4*o + 12. Is 23 a factor of ((-18)/4)/(-3) - 1276/v?
True
Let l = -381 - -384. Suppose 537 + 351 = l*g - 5*d, -4*d = -3*g + 888. Is 15 a factor of g?
False
Let q = -3379 - -9339. Is q a multiple of 5?
True
Let v = 13847 - 9070. Is v a multiple of 17?
True
Suppose 10*u = -9*u - 95. Let p(a) = 17*a**2 - 26*a - 27. Is p(u) a multiple of 24?
True
Suppose -2*x + 25519 = -5*g, 0 = -5*x + 27*g - 22*g + 63865. Is x a multiple of 2?
True
Let r = -1712 + 3332. Does 108 divide r?
True
Let n(v) be the first derivative of 5*v**3/3 - 69*v**2/2 + 11*v + 34. Does 8 divide n(16)?
False
Suppose -2*v + v = -15. Let j be v - (-6 + 3) - -2. Suppose 0*w = -w + j. Is 10 a factor of w?
True
Let q(n) = -n**3 + 5*n**2 + 7*n + 2. Let j be q(6). Suppose -5*l + 7 = -j. Suppose 34 = 2*s + 3*o, -o + 32 = 2*s + l*o. Is 10 a factor of s?
True
Let p(r) = 20*r**3 - 8*r**2 + 4*r - 6. Let h = -196 + 199. Is 15 a factor of p(h)?
False
Is 3 a factor of 335/(-268) + 9602/8?
False
Let o = 72 - -307. Let u = -115 + o. Does 21 divide u?
False
Let m(h) be the third derivative of -7*h**6/720 - 3*h**5/5 + 25*h**4/24 - 18*h**2. Let a(o) be the second derivative of m(o). Is a(-28) a multiple of 20?
False
Suppose -75200 = -4*z + 4*t + 145516, -10*z + 551894 = 3*t. Is z a multiple of 11?
True
Let t = 1895 - 1223. Is 56 a factor of t?
True
Suppose 92*h - 6333510 = -138*h. Does 25 divide h?
False
Let s(p) = -p**2 - 3*p + 4. Let g be s(0). Suppose -g*a + h + 1696 = -a, -582 = -a - 3*h. Suppose m + 1139 = 4*z + 2*m, -3*m + a = 2*z. Does 57 divide z?
True
Suppose 10034 = -3*d - 3*w + 112118, 34031 = d - 2*w. Is d a multiple of 18?
False
Let s(v) = -10*v**2 + 5*v - 2. Let z be s(1). Let d be (-31)/(z/49 - 8/(-105)). Suppose -3*w + d = -0*w + a, 0 = -2*w + 3*a + 310. Is 31 a factor of w?
True
Suppose 3*r - 156 = -v, -5*v + 138 = 2*r - 707. Suppose 16*w - 13*w - v = 0. Suppose -w*c + 567 = -50*c. Does 26 divide c?
False
Let g(q) = q**3 - 8*q**2 + 5*q + 10. Let w be g(7). Let r be 0/((-6)/((-12)/w)). Suppose u = t - 46, 4*u + 2 + 6 = r. Is t a multiple of 9?
False
Suppose 19*q = 18*q + 10. Let v be (-200)/q - 1*(1 - -1). Let d = v - -98. Is d a multiple of 10?
False
Suppose 4*k = -p + 21703, -3*k - 1315 = 3*p - 17599. Is k a multiple of 175?
True
Let b be (26/(-2))/(6/(-12)). Suppose 3*d = b + 13. Is d a multiple of 2?
False
Let f(p) = p**3 - 15*p**2 - 77*p + 23. Let j be f(19). Does 11 divide j*((-225)/(-10) - -1)?
False
Let t = 22005 + -7624. Is t a multiple of 73?
True
Suppose -3*o = n - 23964, 0 = 4*n - 16 - 8. Does 22 divide o?
True
Let l be (-2405)/(-4) + 1/(-4). Suppose -2 = -m - 1, m = -5*q + l. Does 4 divide q?
True
Suppose -160*s - 160*s = -98*s - 854700. Is s a multiple of 22?
True
Suppose 167*y - 2284907 + 550111 = 0. Is 196 a factor of y?
True
Let q(a) = 91*a**2 - 3*a - 3. Let b = -121 + 123. Let j be q(b). Suppose 4*m + n - j = 116, 3*m - 4*n = 377. Is 17 a factor of m?
True
Does 20 divide (6/8)/((-114)/(-1252024)) - -3?
True
Let d = -15542 + 16962. Does 10 divide d?
True
Suppose 180*p - 181*p = -266. Is (-6579)/(-7) - (-304)/p a multiple of 29?
False
Suppose 5*m = 7 + 43. Let l be 5/m - (2 + (-101)/2). Suppose -47 = -2*i + l. Does 12 divide i?
True
Suppose 34*x = 19*x + 45. Is 18 a factor of 3/3 + 376 - x/(-3)?
True
Let m be 3 + 1 + ((-390)/(-1))/(-3). Let z be 36/m - 1340/14. Let l = z + 215. Does 16 divide l?
False
Let l(v) be the second derivative of 0 + 0*v**2 + 7/3*v**3 - 5*v. Does 8 divide l(4)?
True
Is (-24)/22 + (-1034478)/(-297) a multiple of 21?
False
Suppose 4*c = -3*a, 18 = 3*a - c - c. Suppose a*i + 5 = d, 25 = 5*i - d + 6*d. Suppose i*q + 4*q = 268. Is 11 a factor of q?
False
Let p be (-3)/(-7) - (-33)/21. Suppose 0 = 2*q - 4*q - p. Does 12 divide 121 + 2/(q - 0)?
False
Let b(m) = 197*m**3 + 10*m**2 - 21*m + 6. Does 45 divide b(4)?
True
Let o(r) = r + 4. Let h be o(4). Let z(n) = 6*n**2 + 17*n - 21*n**3 - 27*n**3 + 69*n**3 + 15 - 22*n**3. Does 5 divide z(h)?
False
Suppose 298*q - 93275 = 54533. Is q a multiple of 3?
False
Suppose 0 = 13*n - 407 + 121. Let h(s) = 4*s**2 