(-3)/(-6) - 3) + 52/(-13)?
True
Suppose 246264 = 56*y + 37*y. Does 34 divide y?
False
Let w(q) = q**3 - 9*q**2 + 10*q - 2. Let k be w(9). Let h(n) = k + 96 - 197 - 6*n + n**2. Does 5 divide h(-3)?
False
Let s(u) be the first derivative of u**3/3 + 25*u**2/2 + 33*u - 253. Let i be (-2 + 22)*10/(-8). Is s(i) a multiple of 3?
True
Let r be 1 + -1 + (-357)/(-7). Suppose -r + 0 = -3*a. Suppose -13 = -3*n + a. Does 5 divide n?
True
Suppose 45 - 45 = 2*z. Suppose 3*p + 9 = 0, z = 4*a - 3*p - 26 - 99. Is a a multiple of 20?
False
Suppose 7*f + 70*f = -3390514 + 10853123. Is f a multiple of 17?
True
Let d = 363 + 1214. Is d a multiple of 83?
True
Suppose 0 = 10*z - 4*z - 42. Let w = z + -13. Let o(n) = -n**3 - 3*n**2 - 6*n - 1. Does 14 divide o(w)?
False
Let z(g) = 137*g**2 + 396*g + 3128. Is z(-8) a multiple of 5?
False
Suppose 1488 = -9*o + 52437. Is o a multiple of 17?
True
Suppose -5*t - 11*t + 16 = 0. Is 27 + -23 - (-1245 + t) a multiple of 39?
True
Let j = 24209 + -23848. Does 161 divide j?
False
Let w(z) = z**2 + 7*z - 16. Let y be w(-9). Suppose 0 = -3*n + y*k + 12, 0 = -4*k + 2*k - 6. Suppose -n*l - 2*l = -x - 182, l = -x + 48. Is l a multiple of 23?
True
Suppose -6*j + 500 = -652. Suppose 5*h - 264 = -m, 0 = 6*h - 2*h - 4*m - j. Does 2 divide h?
True
Suppose -756816 = -134*q + 745266 + 166352. Is 3 a factor of q?
False
Let b = 7729 + 911. Is b a multiple of 72?
True
Is 64 a factor of (918 + 5 + -23)*(-32)/(-6)?
True
Let t = -2492 + 4046. Is t a multiple of 111?
True
Is (-221 - -149)/(2*(-1 + (-33)/(-34))) a multiple of 8?
True
Let c(v) = 11*v**3 + 2*v**2 + 31*v - 141. Does 42 divide c(7)?
False
Let d(r) = 2*r + 10. Let j be d(2). Does 19 divide (j + 3)/(2/24)?
False
Let p(r) = -7*r - 303. Let k be p(-32). Is 14 a factor of (-4479)/(-8) + k/(-632)?
True
Suppose 214*j = -166268 + 598334. Is j a multiple of 3?
True
Let w(f) = -12*f + 3 - f**2 - 7 - 2*f. Suppose 6*h - 23 + 101 = 0. Does 9 divide w(h)?
True
Suppose -35 = -5*q + 5*z, -7*q + 2*z = -2*q - 23. Suppose 3*m = 5*o - 2, o + 2*m = 3*o. Suppose -o = c + 4, j + q*c - 233 = 0. Is 38 a factor of j?
False
Is 44 a factor of (1/(-7))/(-7 - (1758020/125573)/(-2))?
False
Let r(w) = -65*w**3 - 10*w**2 - 26*w. Is 18 a factor of r(-5)?
False
Suppose 16*r - 9870 = 12*r + 3*l, 3*r - 7402 = 2*l. Is r a multiple of 18?
True
Let m be (-520)/(-10) + (-2)/2. Let s = m + 389. Suppose 356 = 4*r - 6*n + 9*n, 5*r = -5*n + s. Is 13 a factor of r?
False
Let w = 28550 + -2986. Is 46 a factor of w?
False
Let x = 947 - 742. Does 3 divide x?
False
Let v = 76 + -194. Let c = v - -227. Is 6 a factor of c?
False
Suppose -4*c + 4*x = 28 - 4, 0 = c + 5*x - 6. Let n be 2/c + (-4)/8. Let u(q) = -62*q**3 + 2*q + 1. Is u(n) a multiple of 19?
False
Suppose 25*z - 23 + 98 = 0. Is 49 a factor of (393 - -2) + (z - 0)?
True
Let y be 10 + -8 - (-3 + -1). Let a be 14 - (0 - (-2 + y)). Suppose a*n = 12*n + 648. Is 16 a factor of n?
False
Suppose -6017 = 4*w + 2*q - 21139, 3*q - 3 = 0. Does 60 divide w?
True
Let t(w) = -7*w + 67. Let j be t(9). Suppose 3*l - 423 = -0*y - 5*y, 0 = j*y - 5*l - 331. Is 39 a factor of y?
False
Suppose x - 4*c + 13 = 10, x - c - 3 = 0. Suppose 505 = x*g + 80. Does 5 divide g?
True
Suppose 3*x + 3*r = 7*r + 8, 0 = -x + 4*r. Suppose -x*t + 970 = -4*m + 26, -4*t + m + 956 = 0. Is t a multiple of 8?
True
Let o(h) = -h**2 + 26*h + 30. Let q be o(16). Let d(f) = 6*f + 0*f**2 - 7*f - f**2 + 0*f**3 + q + f**3. Does 19 divide d(0)?
True
Let p = -593 + 582. Is 61 a factor of (-104)/(-88) - 1 - 2011/p?
True
Let k be 4 + -2 + -1 + -2 + -12. Let z(q) = q**3 + 13*q**2 + q + 18. Let d be z(k). Does 9 divide (4 - d)*-3 + 69*1?
True
Let h be 629/((-43)/6 - -7). Does 7 divide 8/60 + h/(-45)?
True
Let d = -2179 + 6973. Does 53 divide d?
False
Suppose 27 = 2*i + 25. Suppose y = 5*h - i, 3*h + 2*y = y - 1. Suppose h*a - 1944 = -9*a. Is 18 a factor of a?
True
Let o(k) = 5*k - 4. Let t be o(6). Let m(g) = 346*g - 2769. Let z be m(8). Let l = t - z. Is l a multiple of 3?
True
Let v(o) = 47*o - 8. Let j be v(-9). Let k = 928 + j. Is 15 a factor of k?
False
Let b(i) = -2*i**3 + 15*i**2 + 52*i - 90. Is b(-11) a multiple of 57?
False
Let m(q) = 279*q**2 + 5*q - 29. Is m(3) a multiple of 11?
True
Let s(y) = -2*y + 14. Let a be s(7). Suppose -3*q - 5*m + 114 = -q, 2*q - 2*m - 114 = a. Suppose 2*t - 49 - q = 0. Is 23 a factor of t?
False
Let f = 151 - 142. Let u(w) = 3*w**3 - 13*w**2 + 5*w + 5. Is 83 a factor of u(f)?
False
Let w(v) = 67*v**3 + 6*v**2 - 13*v + 18. Let d(o) = -131*o**3 - 11*o**2 + 26*o - 36. Let m(i) = -3*d(i) - 5*w(i). Does 18 divide m(2)?
True
Let z(s) = 2*s + 28. Suppose -2*g = 3*o - 180, 0 = -5*g - 3*o - 105 + 555. Suppose 7*r - g = r. Is z(r) a multiple of 29?
True
Let f be 4*(49/14)/7. Suppose 4*y - 3*z = -5*z + 20, 3*y = 5*z + 2. Suppose 2*l = -y*m + 536, f*m + l = 6*l + 280. Is m a multiple of 9?
True
Suppose -7*i + 12*i = 205. Let j = 31 - i. Is 16 a factor of (j/(-4))/5 - 190/(-4)?
True
Let u(m) = 26*m**2 + 3*m - 1. Let y = 61 + -56. Suppose n = y*g - 5, -g - 4*n + 3 = 2. Is 22 a factor of u(g)?
False
Let n = -138 + 355. Suppose 191 = 6*f - n. Suppose r - 15 = f. Is 24 a factor of r?
False
Let a = -52434 + 74656. Does 41 divide a?
True
Let l(m) = 2*m + 16. Suppose -4*w = 2*j + 36, -4*j - 44 = 3*w - 2*w. Let o be l(j). Does 8 divide (19 + o)*-3*-1?
False
Let c(k) = -k**2 + 10*k + 23. Suppose 302 = -4*z - 2*w + 60, 4*z - w = -233. Let l = z - -66. Is 5 a factor of c(l)?
False
Let p(x) = x**3 + x**2 + x + 53. Let h be p(0). Suppose 3*v - 16 + 108 = 2*r, r = -2*v + h. Is r a multiple of 5?
False
Let q = -160 - -258. Let z = q - 8. Is z a multiple of 6?
True
Let p(i) = -3*i - 19. Let a be p(23). Let y = a - -90. Suppose -y*c = -c - 44. Is c a multiple of 12?
False
Let w(v) = 4*v**3 + 131*v**2 - 2*v - 16. Is w(-9) a multiple of 28?
False
Let h(q) = -8*q**3 - 4*q**2 + 25*q - 11. Let s be h(-6). Suppose 2*l = -3*o + 696, -2*o + 328 = 5*l - s. Is l a multiple of 13?
True
Suppose 0 = 4*q + 9*q - 819. Suppose -2*i + q = -9*i. Does 9 divide (-385)/i + (-8)/(-36)?
False
Is 95 a factor of (-22)/88 + 430230/24?
False
Suppose -69*q - 261095 + 1008396 = -476207. Is 12 a factor of q?
False
Let p(h) = -52*h + 133. Let c be p(14). Let f = -217 - c. Is 27 a factor of f?
True
Let v be (-8 - -9)*(0 + 656). Suppose 6*y - v - 724 = 0. Is y a multiple of 8?
False
Let x be -2 + 7 + (18/(-3) - -2). Suppose 72 = o - x. Is o a multiple of 9?
False
Is 1855 + (-2)/(-4)*(160/(-8))/(-10) a multiple of 30?
False
Suppose 0 = 5*m - 12*a + 16*a - 17651, -4*m + 14092 = -4*a. Suppose -583 = -6*l + m. Does 41 divide l?
False
Let s(c) = -4*c**2 + 11*c + 68. Let a be s(-5). Let t = a + 109. Is t a multiple of 6?
False
Let l = 48 + -44. Suppose 5*a + 5*d + 5 = 0, -4*a + 17 = -l*d - 19. Suppose -5*o + 47 = -a*o. Is 10 a factor of o?
False
Let r(f) = -f**2 - 175*f - 630. Is 6 a factor of r(-121)?
True
Suppose -363 = -130*h + 27. Let j be (-20)/(-6) - (-4)/6. Suppose -j*g - h*k + 1168 = k, -g + 4*k = -297. Is g a multiple of 31?
False
Let x = -157 + 249. Let f = x - -48. Is f a multiple of 3?
False
Suppose -4*h = -5*m - 20589, -8*h + 7*m - 20577 = -12*h. Is 83 a factor of h?
True
Let m = 4382 - -3877. Suppose 11*h + 1780 = m. Is 31 a factor of h?
True
Suppose 5*c = -36 + 396. Suppose -154 = -3*o - 2*p - 2*p, -5*o = -p - 272. Let h = c + o. Is 42 a factor of h?
True
Let u(p) = p**3 + 15*p**2 + 11*p - 38. Let c be u(-14). Suppose -7*f + 9*f = 8. Suppose c*q - 244 = -2*a - 36, -f*a + 4*q = -380. Is 21 a factor of a?
False
Let d be 9381/6 - (-17)/(-34). Suppose d = 13*j - 1167. Does 10 divide j?
True
Suppose -4*p = -8*p + 12. Let z = -11817 - -11837. Suppose 0 = -4*t + p*f + 423, 0 = -0*f + 4*f + z. Is 26 a factor of t?
False
Let j = 241 + 3195. Does 52 divide j?
False
Let m = -43 + 48. Suppose -m*j = 2*y - 1508, 13*y + 916 = 3*j + 17*y. Does 14 divide j?
False
Let r = -31210 - -36760. Is r a multiple of 10?
True
Let h(z) = -z**2 + z + 11. Let f = -71 + 67. Let p be h(f). Is 96/8*((-168)/p)/2 a multiple of 14?
True
Suppose 27*c = 20*c + 14. Suppose 714 = 2*u + 3*l, -2*u + 1434 = c*u + 3*l. Is 72 a factor of u?
True
Let y = -3367 - -4335. Is y a multiple of 4?
True
Let i(j) = -174*j - 414. Does 24 divide i(-5)?
True
Let l = 1280 + -870. Let a = 226 - l. Let 