790. Suppose -282 = -5*o + w. Is o a multiple of 4?
False
Suppose -4*y = -42 - 46. Is y + 405 + 3/((-6)/4) a multiple of 17?
True
Suppose 2*w + 2*h - 10 = 0, 4*w - 3*h + 19 = 74. Let n = w - 6. Let o(y) = 8*y**2 + 3*y + 8. Does 50 divide o(n)?
False
Let q(p) be the third derivative of p**6/120 - p**5/5 - 2*p**4/3 - 5*p**3 - 18*p**2. Let i be q(15). Let o = -97 + i. Is o a multiple of 22?
True
Suppose 0 = 125*i + 65*i - 241*i + 588948. Is i a multiple of 81?
False
Let w = 66403 - 42243. Is w a multiple of 20?
True
Let z(q) = -q**2 + 20*q + 85. Let g be z(24). Does 13 divide (2 - g)/(18/2934)?
True
Let a = 23715 - 21649. Is 15 a factor of a?
False
Let d(l) = 24*l + 91. Let j be d(-19). Let q = j + 477. Is q a multiple of 56?
True
Let m(d) = 30*d - 132. Let a = 115 - 93. Is 16 a factor of m(a)?
True
Let k(g) = -5*g + g - 3 + 2*g + 3*g. Let i be k(8). Suppose -i*s - 3*p + 265 = -32, -2*s + 122 = 2*p. Does 13 divide s?
False
Suppose 5*d + 4*q = 3*d + 1738, d - 4*q = 845. Suppose 14*y - d = 1771. Is 15 a factor of y?
False
Is 159401/4 - (2662/88 - 28) a multiple of 204?
False
Let s(o) = o**3 - 38*o**2 + 74*o + 19. Let j be s(36). Suppose 0 = 88*d - j*d + 138. Is 5 a factor of d?
False
Let v = 5 + -74. Let b = 102 - 156. Let c = b - v. Is c a multiple of 2?
False
Suppose -5*h - 3 = -28. Suppose 3*o - 88 = h*o. Let f = o + 58. Does 2 divide f?
True
Let y be 393 - (16/(-36))/(4/(-18)). Let q = 1065 + y. Is q a multiple of 14?
True
Let s = -5414 + 9517. Does 21 divide s?
False
Let x(q) = -127*q - 1139. Is 42 a factor of x(-47)?
True
Let j(q) = -2*q**2 - 5*q + 228. Let t be j(0). Let u = t - 177. Is u a multiple of 17?
True
Let y be (-4)/((-201)/(-102) - 2). Let i = y + -120. Suppose -i*b = -7*b - 1287. Does 11 divide b?
True
Let z(q) = 54 + 68 - 108 - 3*q. Let s be z(3). Suppose 0 = -8*o - s*o + 546. Does 21 divide o?
True
Let w(a) = -a**3 - 6*a**2 + 27*a + 18. Let p be w(-12). Let u = p - 86. Is u a multiple of 8?
True
Let i(n) = 3*n - 62. Let q be i(23). Suppose -q = a + 2*k - k, -5*a - 31 = k. Does 5 divide 2 + -1 + a/(-2) + 14?
False
Let n = -55152 + 83792. Is n a multiple of 20?
True
Let i(q) = -291*q**3 - q**2. Suppose -4*s = -20 + 24. Does 10 divide i(s)?
True
Let a = -46 - -27. Let p = 24 + a. Is 13 a factor of 2/(-8)*-470*4/p?
False
Let x(n) = -n**2 - 3*n - 6. Let m be x(-4). Let q be (-18)/6*(28/12 + -2). Let h = q - m. Is h even?
False
Let c be 1*1*8/4. Suppose -c*p - 6 + 12 = 0. Suppose p*a + 6 = 24. Is 2 a factor of a?
True
Let p = 195 - 184. Suppose -p*r + 923 = -78. Is r a multiple of 13?
True
Does 6 divide (8/(-21))/(-4) - (-28749320)/16044?
False
Suppose 67*p - 2*b + 5208 = 72*p, -4144 = -4*p + 4*b. Is 5 a factor of p?
True
Is -1 + 10/9 - 8996960/(-1440) a multiple of 21?
False
Let b = -5219 + 8092. Does 107 divide b?
False
Let f(p) = -151*p - 2053. Let x be f(-14). Let j(o) = -7*o + 1. Let u be j(4). Let n = x - u. Is 7 a factor of n?
False
Suppose -6*l + 100657 + 265163 = 14*l. Does 13 divide l?
True
Let t(b) = 4*b**2 + 63 - 69 + 15*b**2 + b. Is t(2) a multiple of 36?
True
Suppose 2*x + 516 = 6*x. Let z(j) = -j**3 + 9*j**2 - 153*j - 651. Let b be z(-4). Let q = b - x. Is q a multiple of 28?
False
Let j(y) = y**2 + 5*y - 3. Let h be j(-6). Suppose -5*v - 2*t = -17, 1 = -v + 7*t - h*t. Suppose k = -1, v*b - 159 = -0*b - 3*k. Does 18 divide b?
True
Let o = -398 + 401. Suppose o*t - 1386 = w + 832, t - 716 = 5*w. Is t a multiple of 11?
False
Does 23 divide (-2154)/(-7)*(-2856)/(-544)*56/12?
False
Let b = 3476 - -39791. Is b a multiple of 10?
False
Suppose -7*n + 6*n = -5. Suppose -3*g - 2*g + 34 = -3*i, 4*g - 48 = n*i. Is ((-60)/i - 8)/((-1)/156) a multiple of 5?
False
Suppose 0 = -q - 4 + 16. Suppose 2*n = -4*p + q + 8, -p + 14 = 2*n. Is (237/n)/((-5)/(-10)) a multiple of 8?
False
Let r = -14981 + 20837. Is 48 a factor of r?
True
Let q be ((-12)/4 - -6) + 88. Let x = 171 + -169. Suppose q = x*z + 13. Does 13 divide z?
True
Let b(j) = j + 20. Suppose 0 = -4*w - 34 - 6. Let i be b(w). Suppose 17*l - 266 = i*l. Is 19 a factor of l?
True
Suppose -7 = 11*b - 7. Suppose c - 90 = -g - b*g, -4*c = 5*g - 448. Is g a multiple of 11?
True
Suppose 0 = 11*q - 34 + 23. Does 42 divide 1/(7/q) + (-2811)/(-21)?
False
Let j(p) be the second derivative of 11*p**3/3 - 15*p**2/2 + 10*p. Let k be j(5). Does 14 divide -59*(4/(-5) + (-19)/k)?
False
Suppose 22*b - 27*b = -35. Suppose -4*l - b*l + 1056 = 0. Is l a multiple of 4?
True
Does 81 divide 2/(-12) + (-28168790)/(-1380)?
True
Let u(v) = -2*v**2 + 15*v - 5. Let m be u(7). Suppose 5*s = -2*l - 23 + m, -3*l - 27 = 3*s. Does 3 divide 3*l/20*-5?
True
Let v(h) = 7*h**2 + 3*h - 3. Let m be 168/(-140)*5/(-3). Let r be (-2 + m + 1 + -2)/(-1). Is v(r) even?
False
Let g(h) = h. Let f(m) = -33*m**2 - 6*m + 5. Let i(o) = -f(o) - 6*g(o). Does 10 divide i(3)?
False
Let t = 10 + 1. Let p = -10 + t. Suppose 4*c - 364 = -2*u, -p = c + 3. Is 34 a factor of u?
False
Let b = -5225 + 5308. Does 2 divide b?
False
Does 6 divide 2072 - (-15 - -14 - -15)?
True
Let k(x) be the third derivative of -x**6/120 - 7*x**5/12 - x**4/4 + 7*x**3/6 - 88*x**2. Is 7 a factor of k(-35)?
True
Let r = 19335 - 13954. Is r a multiple of 5?
False
Suppose 0 = 349*d - 129*d - 174596 - 666244. Does 14 divide d?
True
Let l(p) be the third derivative of -1/6*p**3 + 0*p + 0 + 1/12*p**4 + 27*p**2. Does 4 divide l(13)?
False
Suppose -142 = 3*s - 157, 3*v = -4*s + 4682. Does 74 divide v?
True
Let d = 12724 + -11524. Is 20 a factor of d?
True
Is 6 + -8 - -6 - -4205*(0 + 1) a multiple of 17?
False
Let k = 950 + 1092. Does 36 divide k?
False
Let c be (-313)/3*(-3 + -2 + -4). Let g = -647 + c. Is g a multiple of 73?
True
Suppose 0 = 9*j - 23*j + 56. Suppose 0*c = j*l + 4*c - 564, 2*c = 10. Is 22 a factor of l?
False
Suppose 140*b - 2997893 = -36*b + 3322267. Is 35 a factor of b?
True
Suppose 2*c - 4*t = 4156, -305*c + 306*c + 3*t - 2103 = 0. Is c a multiple of 6?
True
Let y(i) = -2*i**2 - 61*i + 1. Let g be y(-27). Suppose -g*s + 196*s = 1920. Does 20 divide s?
True
Is 3664/120 + 11/(-33) - (-2)/(-10) a multiple of 23?
False
Let z = -23644 + 55122. Does 195 divide z?
False
Let y = 455 - 437. Suppose -3396 = -y*n + 14*n - 4*f, -2*f = -n + 855. Is n a multiple of 23?
True
Let y(h) = 60*h**3 - 4*h**2 - 10*h + 36. Is y(3) a multiple of 6?
True
Let k be (-4 + 35/10)*(-1 + -3). Suppose 5*l - 1151 = -2*t, -k*l - t + 183 = -277. Does 3 divide l?
True
Suppose 8*z + 59 = -69. Let m = z - -71. Suppose -m = -w + 3. Does 15 divide w?
False
Suppose -2*g - 32315 = -i, -64916 = -4*i - 4*g + 64416. Is 107 a factor of i?
False
Let k(x) = -7*x - 6*x**2 + 4*x**3 - 7 - x**3 - x**3 - x**3. Let u be k(7). Does 8 divide 7/(u/2) + 38?
False
Let t(g) = 15*g - 21. Let j be t(-6). Let x be (2/(-3))/(2/j). Let c = x - 28. Is c a multiple of 3?
True
Suppose -5*n - 2*l = -13871, -21*n = -17*n - 3*l - 11083. Does 8 divide n?
False
Suppose -127*d + 115*d = -29604. Is d a multiple of 13?
False
Let s be (1182/4 - 0)/((-27)/(-18)). Suppose -5*g + q = -408, 0 = -3*g + 2*q + 45 + s. Is g a multiple of 3?
False
Suppose 52*q - 3544 = 1760. Let x(l) = 64*l. Let y be x(1). Let s = q - y. Does 4 divide s?
False
Suppose 0 = -4*u - 2*u + 192. Suppose 24 = -4*q + u. Suppose 2*n - q*w - 95 = 51, 4*w = 20. Is n a multiple of 6?
True
Let q(a) = -28*a - 44. Let d be q(7). Let r = d - -423. Is 41 a factor of r?
False
Let j = -151 - -251. Let c = 190 - j. Does 10 divide c?
True
Let d = -71 - -119. Let t(c) = c**3 - 13*c**2 + 5*c - 26. Let o be t(13). Let n = d - o. Does 2 divide n?
False
Let l be ((-26)/5)/(36/(-45))*46. Let h = l + 142. Is 10 a factor of h?
False
Suppose 0 = 13*g + 811 - 4269. Is 2/19 + 3962/g a multiple of 3?
True
Suppose -7*f + 3*f = -3*h - 20, -h = -3*f + 10. Suppose 0 = f*t + t. Suppose t = 3*k - 3*g - 324, -5*k - 4*g + 172 + 413 = 0. Does 31 divide k?
False
Let i = -133 + 180. Suppose i*m - 9*m - 44232 = 0. Is m a multiple of 12?
True
Suppose -4*t + 2*t = 5*y - 19, -23 = -3*t - 2*y. Let k be 8 + -1 - (t + -3). Suppose -k*w + 96 = -3*g, -2*w + 5*g + 33 + 22 = 0. Does 6 divide w?
False
Let m = 178 - 173. Suppose 3*a - m*d - 315 = a, 4*a + 2*d = 570. Is 6 a factor of a?
False
Let k(f) = 10*f - 80. Is k(22) a multiple of 2?
True
Suppose 45469 - 8893 = 16*h. Is 79 a factor of h?
False
Suppos