w = -a - 1 + 6, 0 = -5*u + a + 755. Is u a multiple of 18?
False
Suppose 2*f - i + 14 = 0, -f - 2*i = -0*i + 2. Let r be f*(7/2)/(-7). Suppose 3*s + 96 = r*t, 4*s + 0 = 8. Does 34 divide t?
True
Let h(f) = -3*f**3 + 2*f**3 + 53 + 8*f - 9*f - f. Let w be 2/6 + 2/(-6). Is h(w) a multiple of 22?
False
Let s = 493 - -214. Is s a multiple of 23?
False
Let p = -270 - -2297. Is 11 a factor of p?
False
Is 9 a factor of (-6)/(-9)*11/((-176)/(-696))?
False
Let f(x) = 6*x**3 + 2*x**2 + 5*x - 1. Let c(d) = 11*d**3 + 4*d**2 + 9*d - 2. Let l(w) = 4*c(w) - 7*f(w). Let r be l(2). Let n = 50 - r. Does 15 divide n?
False
Suppose -4*f - 430 = -2*p + 164, 3*f - 3*p = -450. Does 8 divide 2*(-7)/(f/(-18))*-28?
True
Let k(m) = -m**3 - 12 + 2 + 2 + 10*m**2 + 3*m. Let c(x) = x + 10. Let b be c(0). Is 9 a factor of k(b)?
False
Suppose o = -o - 136. Let x = o - -40. Does 10 divide 10/(-35) - 1688/x?
True
Let q(l) = 3. Let s(h) = h + 1. Let b(d) = q(d) + 6*s(d). Is b(3) a multiple of 14?
False
Suppose -4*z + 3652 = 4*x, 1823 = 14*x - 12*x + z. Is 14 a factor of x?
True
Let p(d) be the second derivative of d**3 + d**2 + 16*d. Is 10 a factor of p(3)?
True
Let u(g) = -10*g + 4. Let q(i) = -119*i + 49. Let s be (-2 + (-32)/(-12))*-6. Let l(k) = s*q(k) + 49*u(k). Is 7 a factor of l(-1)?
True
Does 13 divide 3/18 - (-86261)/42?
True
Let s = -2073 - -3369. Is s a multiple of 36?
True
Let v = 420 + -148. Is v a multiple of 16?
True
Suppose 5*f - 2295 = 855. Suppose -f = -4*a - 2*a. Is 49 a factor of a?
False
Let i(v) = -46*v - 104. Is 70 a factor of i(-19)?
True
Let o be (-3)/(-6)*394 + -4. Let y = o - 86. Let r = y + -10. Is 29 a factor of r?
False
Is 81323/187 - 6/(-51) a multiple of 29?
True
Let x = -37 + 32. Let a(b) = -b**3 - 2*b**2 - b - 6. Is a(x) a multiple of 24?
False
Let j(k) = 58*k - 3. Let y be j(2). Suppose v = -3*f + y, 8*f - 6*f + 4*v - 72 = 0. Does 38 divide f?
True
Suppose 0 = 5*u - 161 - 49. Is 13 a factor of u?
False
Let s be 0/((-1)/(-2 + 1)). Suppose -i + 6*i + 19 = 2*p, -2*i - 2*p - 16 = s. Let z(y) = y**3 + 6*y**2 + 5*y + 7. Does 3 divide z(i)?
False
Let f(l) = -9*l**3 + 3*l**2 + 7*l + 4. Let c be f(-1). Let u = -21 - -15. Let n = c - u. Does 5 divide n?
True
Let s(c) = -16 - 13*c**2 - c**3 - 8*c + 6*c - 10*c - 4*c. Let t = 1 + -13. Is s(t) a multiple of 16?
True
Let f be 3 + -1*(2 + -1). Let s = f - -33. Is 7 a factor of s?
True
Let t = 295 + -39. Is t a multiple of 14?
False
Let x(j) = -j**3 + 12*j**2 - 12*j - 7. Let b be x(11). Let z be (b/(-24))/((-1)/(-4)). Suppose -3*r = 2*p - 124, p + 2*r = -z*p + 256. Does 13 divide p?
True
Suppose r - 352 = -0*r. Suppose r = -2*j - 2*j + 4*o, -4*j - 328 = 2*o. Is (-4176)/j + (-4)/(-14) a multiple of 17?
False
Let c(l) = 5*l**2 + 6*l - 11. Does 7 divide c(-7)?
False
Let d(c) = -c**3 + 6*c**2 + c - 4. Let a be d(6). Suppose 2*v + a*t - t - 34 = 0, v - 20 = t. Is v a multiple of 3?
True
Suppose 7*t + 5*t = 36. Is 3 a factor of t?
True
Suppose 0 = -4*l + s + 60, -3*s - 40 = -3*l - s. Let n = 14 - l. Let y = n + 44. Does 17 divide y?
False
Let n = 4899 + -2291. Is 16 a factor of n?
True
Suppose 48 = 3*b - 6*b. Let s = 42 + b. Is 13 a factor of s?
True
Let u be (2 + -7)*580/50. Let b = u - -117. Does 11 divide b?
False
Let o = 1063 + -602. Does 36 divide o?
False
Let t(h) = h**2 + 3*h - 3. Let n be t(-4). Suppose -5*j + n = -19. Let i(m) = 2*m**2 - 5*m - 2. Is 4 a factor of i(j)?
False
Does 6 divide 78582/189 - (-8)/36?
False
Let w = 4323 + -2587. Does 14 divide w?
True
Let w be (-2 + 180/8)*6. Let b = w + -21. Is 17 a factor of b?
True
Let h = 2885 - 1358. Does 26 divide h?
False
Suppose o - 2 = w, 8 - 34 = -2*w - 4*o. Suppose 0 = 3*m + x - 288, -5*x + 193 = w*m - 95. Is 24 a factor of m?
True
Let x(s) = s**2 - s. Let a(v) = -178*v**2 + 5*v + 5. Let f(w) = -a(w) + x(w). Does 9 divide f(-1)?
True
Let y = -3084 - -4959. Is y a multiple of 13?
False
Let x = -471 - -608. Is 23 a factor of x?
False
Suppose 6*m - 30 - 132 = 0. Suppose -i + 30 + m = 0. Is 13 a factor of i?
False
Let r(k) = -40*k + 20. Let l be r(8). Let b = 460 + l. Is 40 a factor of b?
True
Suppose 17*d = -d + 2952. Is d a multiple of 41?
True
Let v = -2147 - -2532. Does 5 divide v?
True
Suppose 0 = 5*s - 15 - 0. Suppose 2*m - 140 = -s*m. Is m a multiple of 7?
True
Suppose 16*d - 24609 = -849. Is 33 a factor of d?
True
Let s(g) = 4*g**2 + 9*g + 7. Let h be (-2)/3 - 304/57. Does 16 divide s(h)?
False
Suppose r - 2*r + 5*x + 24 = 0, -5*r - 3*x = -8. Let s(z) = 8*z**2 - 5*z + 3. Is s(r) a multiple of 12?
False
Suppose 6*p - p - 30 = 0. Suppose -54 = 4*t + 2*u, -p*t + t = 4*u + 60. Let n = t - -46. Is n a multiple of 30?
True
Suppose -12*c = 6711 - 28143. Does 47 divide c?
True
Suppose 8*o + 2688 = 22*o. Is o a multiple of 13?
False
Suppose -5*k - 480 = 5*b, 4*k + 2*b + 3*b + 381 = 0. Let p be 18/k + (-70)/(-22). Suppose -p*r - 18 = -6*r. Does 3 divide r?
True
Let r = 674 + -24. Is 26 a factor of r?
True
Let a(b) = -b**2 + b + 38. Let n be a(0). Let p = n + 8. Is p a multiple of 32?
False
Let u = 84 - 187. Let r = -61 - u. Is 2 a factor of r?
True
Let c(q) = -q**2 - 12*q - 6. Let s be c(-11). Suppose 3*j - 353 = s*l - 129, 5*l + 20 = 0. Does 14 divide -4 - (j*-5)/5?
False
Suppose 6*j + 1324 = 8*j. Suppose -c = o - 328, 4*c - j = -o - o. Suppose 5*n + o = 5*w, w = n - 3*n + 80. Does 10 divide w?
True
Let z(r) = 2*r - 4. Let t be z(4). Suppose -c + 13 = i - 0*i, -58 = -t*c + 2*i. Let g = c + -9. Is 2 a factor of g?
False
Let i = -11 - -21. Let x be (i/4)/((-2)/(-20)). Let d = x + 20. Does 15 divide d?
True
Suppose 0 = -5*r - 3*c + 79, 3*r + c = 6*r - 53. Let q = 49 - r. Is q a multiple of 3?
False
Let l = 42 - 54. Is (1/(-4))/(l/3984) a multiple of 33?
False
Let y = 755 + 315. Is 21 a factor of y?
False
Let a be (4*1)/(4 + -5). Let l be (-69)/(-21) - a/(-14). Let z(m) = 3*m**3 - 4*m**2 + 2*m + 1. Is z(l) a multiple of 13?
True
Suppose 2*v = c + 4*c - 21, -4*c + 26 = 3*v. Suppose -v*i = -62 - 242. Is i a multiple of 18?
False
Let z = -81 - -91. Is z a multiple of 7?
False
Suppose 3920 = 23*c - 7*c. Does 49 divide c?
True
Let i(o) = o**3 + 15*o**2 + 5. Let v be i(-15). Suppose -t + 22 = -0*b + b, 4*b = -2*t + 48. Is 9 a factor of 2*v/(t/54)?
True
Does 40 divide (20*4)/(7/(-112)*-4)?
True
Let u = -161 - -828. Suppose 5*p - u + 1 = -3*k, 0 = p + 4*k - 140. Does 5 divide 1 - (-5)/(20/p)?
False
Suppose 5*s - 3 = -4*i, -4*i + 2*i - 3 = s. Suppose 5*v + 104 = p + 16, -s*p + 2*v + 277 = 0. Is p a multiple of 17?
False
Let i = 429 + 131. Does 14 divide i?
True
Suppose -2*w - 2268 = -4*p - 0*w, 3*p + 4*w - 1690 = 0. Is 7 a factor of p?
False
Let s(y) = -7*y**3 - 2*y**2 - 3*y - 3. Let n(f) = -3*f**2 + 2*f + 2. Let g(b) = b**2 + b + 1. Let r(p) = 4*g(p) + n(p). Let a be r(-4). Does 17 divide s(a)?
True
Suppose 9*f - 14*f = -10. Suppose 0*j = f*j - 38. Is 19 a factor of j?
True
Let v = 300 - -1033. Is v a multiple of 43?
True
Let q(o) be the third derivative of o**6/120 + 2*o**5/15 - 13*o**4/24 + o**3/2 + 7*o**2. Let x be q(-9). Let p = -31 + x. Is p a multiple of 5?
False
Suppose -457 = 39*c - 3226. Does 4 divide c?
False
Let o(n) = 122*n - 13. Let a be o(13). Suppose -5*d + a = -452. Suppose 2*m = -3*m + d. Is 21 a factor of m?
False
Let y(m) = 4*m - 4. Suppose -3*j + 5*c - 16 = 0, 3*c + 4 + 56 = -4*j. Let t be (j/(-8))/(2/4). Does 8 divide y(t)?
True
Suppose 7*y - 6*y = 4*x + 421, 0 = 2*y - 4*x - 826. Does 27 divide y?
True
Let b(w) = -80*w**3 + w + 1. Is b(-1) a multiple of 17?
False
Let r be (30/9 + -2)/(2/9). Suppose -r*z - 3*c = -4*z - 33, 2*z - c - 53 = 0. Does 6 divide z?
True
Let i be (-1850)/35 - 1/7. Let w = i - -58. Is w a multiple of 5?
True
Does 22 divide 6/14 + 25/(-245)*-6503?
False
Suppose n - 4*q + 152 = 0, 253 - 938 = 5*n - 5*q. Let o = 204 + n. Is 5 a factor of o?
False
Let v = -185 - -558. Does 16 divide v?
False
Let h be 4932/(-2) + 0/2. Suppose -10*c - 38 = -8. Is 36 a factor of (c/2)/(27/h)?
False
Let u(w) = -3*w + 2. Let f(p) = -3*p + 1. Let c(q) = 2*f(q) - 3*u(q). Let t(o) = 3*o - 4. Let a(l) = -3*c(l) + 4*t(l). Is 5 a factor of a(3)?
True
Let i(u) be the first derivative of 17*u**6/360 + u**5/60 - u**4/24 + u**3 + 1. Let h(a) be the third derivative of i(a). Is 18 a factor of h(1)?
True
Let j(f) = 8*f + 6. Let n be j(11). Suppose -4*k + n = -3*v