ide 6/1*n/(-62)?
False
Suppose 11930 = 5*s - 14*t + 10*t, 2*t + 9550 = 4*s. Is s a multiple of 10?
True
Suppose -2*b - 3*x + 296 + 255 = 0, -277 = -b - 3*x. Is b a multiple of 3?
False
Let a(i) = -1774*i + 210. Does 34 divide a(-1)?
False
Let u(v) = -2 - 4*v + 14*v + 11 - 5. Let n be 12/8*(2 + (-8)/(-6)). Is 18 a factor of u(n)?
True
Suppose -l + 3*u = 11, 2*l = 5*l - 2*u + 5. Let q be l - (-232)/3 - 22/(-33). Let v = q + 6. Does 18 divide v?
False
Suppose 9279 - 19278 = -27*t + 20538. Is 13 a factor of t?
True
Let a be ((-2)/4)/(14/(-1512)). Let r = 13 + a. Let m = r + -54. Is 4 a factor of m?
False
Is 5 a factor of (335 - 334) + 14501 + 0?
False
Let y = 49 - 45. Suppose 3*i = -i + y*q + 1448, 5*i - 1786 = -q. Is 18 a factor of i/10 + 6/30?
True
Let d(w) = -10*w**2 + 39*w - 11. Let p(v) = -28*v**2 + 116*v - 32. Let j(t) = 17*d(t) - 6*p(t). Does 9 divide j(-11)?
True
Let n = -63 - -47. Let y be 4/40*-2 - n/5. Suppose 0 = t + y - 58. Is 11 a factor of t?
True
Suppose 0 = 163*i - 3013080 - 2473826. Is i a multiple of 25?
False
Suppose -5*w - 33 = 5*u + 17, 3*w - 5*u = -62. Let n be w/(-21) - (-15)/(-9). Is 8 a factor of (6/(-18))/((3/144)/n)?
True
Let p = 115 + 10. Let u = 197 - p. Does 8 divide u?
True
Suppose 10*l - 12*l = -744. Suppose -5*x + l + 658 = 0. Is x a multiple of 73?
False
Let t(k) be the second derivative of k**4/2 + 29*k**3/6 + 3*k**2 - 5*k. Let a(j) be the first derivative of t(j). Is 16 a factor of a(5)?
False
Let u(o) = o**2 + o - 9. Let a(g) = g**2 + 11*g + 14. Let v be a(-9). Let t(h) = -h**2 - 2*h + 8. Let w(p) = v*t(p) - 3*u(p). Does 19 divide w(-8)?
True
Let g(l) be the second derivative of -3*l**3/2 - 11*l**2/2 - l. Let n be ((-5)/(-20))/(9/(-612)) + (-12)/(-2). Is g(n) a multiple of 9?
False
Suppose 6 = -2*l, 4*v - 6*v + 4*l + 574 = 0. Let m = v + -181. Does 50 divide m?
True
Let j be -103 + (2/2)/(-1) + -3. Let u = j + 163. Let n = u - 32. Does 8 divide n?
True
Let z(c) be the first derivative of -3*c**4/4 - 2*c**3 + 12*c + 2. Let a(y) = -2*y**2 - 132*y + 267. Let m be a(-68). Is 16 a factor of z(m)?
False
Let o(p) be the third derivative of -1/8*p**4 + 1/40*p**6 + 0 + 0*p - 1/20*p**5 + 3/2*p**3 - 26*p**2. Is o(4) a multiple of 12?
False
Let c = -16245 + 46665. Does 13 divide c?
True
Suppose 2*l - 48*f + 44*f - 10056 = 0, 0 = 4*f - 24. Does 12 divide l?
True
Let x = 63 - -92. Let k = x + -105. Does 7 divide k?
False
Let s(q) = -q**3 - 5*q**2 + 2*q + 13. Let p be s(-5). Suppose -139 = -p*n + 17. Is n a multiple of 26?
True
Let m = 12141 - 9795. Does 17 divide m?
True
Let b(z) = -4 + 24929*z**2 - 6 + 3*z - 24901*z**2. Is b(7) a multiple of 36?
False
Let a(n) be the second derivative of n**5/10 - 31*n**4/6 + 5*n**3/6 - 19*n**2/2 + 12*n. Is a(31) a multiple of 2?
True
Let a be ((-2)/(-8))/1*12. Suppose -3*f - f = 5*q - 203, -a*f + 2*q + 158 = 0. Does 13 divide f?
True
Is 5 a factor of (-57)/(-20 - 6064/(-304))?
False
Let k(z) = 10*z**2 + 15*z + 40. Suppose -4*j - 7 - 17 = 0. Is 5 a factor of k(j)?
True
Let x(s) = -2*s + 117 + 120 + 2*s - 198 + 3*s. Let d = -18 - -11. Is 18 a factor of x(d)?
True
Let n(p) = 147*p - 14. Let d(z) = 74*z - 6. Let f(c) = 10*d(c) - 6*n(c). Is 12 a factor of f(-2)?
False
Let c be ((-22)/(5*6/45))/(-3). Suppose -c*x + 1032 = -68. Does 10 divide x?
True
Is 149 a factor of 2*((-298143)/(-69) + ((-6)/(-69))/1)?
True
Let u(p) = -p**3 + 50*p**2 + 30*p + 155. Does 14 divide u(49)?
False
Let g be (-1 - 20/4) + 141. Let f = g + 5. Does 28 divide f?
True
Suppose -5*f - 11 = 84. Let p(b) = b**3 + 18*b**2 - 19*b - 4. Let h be p(f). Is ((-6)/9)/(h/690) a multiple of 8?
False
Let o(v) = 3*v + 42. Let x be o(-14). Suppose 3*a - 245 + 53 = x. Does 16 divide a?
True
Let h = -481 + 1045. Suppose 0 = 5*j - h - 36. Is 4 a factor of j?
True
Let b(y) = 6*y**2 - y. Let l be b(-1). Let n be 3 - (14/(-91) + (-375)/13). Suppose -l*u = -6*u - n. Is 8 a factor of u?
True
Let s be 5 + -5 + (2 + 12)*1. Let n(t) = 143 - 2*t - 8*t + s*t - 3*t. Does 14 divide n(0)?
False
Let b(h) be the first derivative of h**4/4 + 22*h**3/3 - 3*h**2/2 + 10*h - 6. Is 17 a factor of b(-22)?
False
Let p be 46962/27 - 8/(-12). Suppose 3*u - 2330 = 4*y, 0 = 2*u - y + 195 - p. Is u a multiple of 11?
True
Suppose -b - 2*i - 82 = 0, 17 = 2*i + 11. Let d(u) = 4*u - 6. Let k be d(-5). Let t = k - b. Is t a multiple of 8?
False
Let x(d) = -16*d + 22. Let p = 11 - 1. Suppose -28 = w + 3*w - 4*l, 0 = 5*l - p. Does 31 divide x(w)?
False
Let q(v) = -16*v + 436. Is 3 a factor of q(-21)?
False
Suppose 4*d - 2*d = 4. Let j(p) = 0*p**3 + 3*p**3 + 7*p**3 + 0*p**3 - 3*p**2 + p + 3. Does 7 divide j(d)?
False
Suppose -5*y + 20*a - 19*a + 20794 = 0, 0 = -5*y + 2*a + 20798. Is y a multiple of 77?
True
Let l = 12151 - 1921. Is l a multiple of 62?
True
Suppose 5*u - 7419 = -y, -5*y - 794 = -u + 695. Is u a multiple of 14?
True
Let l = 672 - 647. Let n = 7 - 5. Is ((-30)/l)/(n/(-70)) a multiple of 14?
True
Let r = 5363 - 5097. Is r a multiple of 14?
True
Suppose 6069 = 69*s + 3861. Is s a multiple of 5?
False
Let p = -44665 + 74707. Is 18 a factor of p?
True
Let h be 8258/10 + 26/130. Let b = 1183 - h. Is 40 a factor of b?
False
Does 86 divide (2086/((-32)/(-6) + -7))/(9/(-60))?
False
Let w(c) be the first derivative of -3*c**2 + 2*c - 376. Let v(j) = j. Let q be v(-4). Does 9 divide w(q)?
False
Is 10 a factor of (0/9 - 2/2)*(1 + -19658)?
False
Let h(c) = 10*c**3 - 417*c**2 - 62*c - 72. Is 256 a factor of h(44)?
True
Suppose 0 = 138*i + 84*i - 1500859 + 606643. Is i a multiple of 53?
True
Suppose -v = -f + 18488, -5*f + v + 133959 = 41499. Does 44 divide f?
False
Suppose 339082 = -3*m + 36*m - 75695. Does 23 divide m?
False
Let x = 15045 + -8624. Is 30 a factor of x?
False
Let i = 831 + -701. Let c(k) = -k**2 - k + 238. Let b be c(0). Let r = b - i. Is 32 a factor of r?
False
Let z(n) = 22*n**2 - 85*n + 30. Is 75 a factor of z(16)?
False
Suppose -3*d = 8*d - 44. Suppose 1 = 3*j + 5*a - 7, -d*j + a = -26. Does 24 divide ((-16)/j + 2)/(6/(-1818))?
False
Suppose -4*q + 11*q - 1400 = 0. Let f = -99 + q. Does 11 divide f?
False
Let d be (-36)/(-2) + (-28)/(-7). Suppose -h + d = 17. Is 5 a factor of 7 - h - (51*-1 + -1)?
False
Let s(t) = 91*t**2 + 363*t + 2215. Does 3 divide s(-6)?
False
Let m = 31897 + -21140. Is m a multiple of 6?
False
Let u = -733 - -748. Suppose -u*l - 2143 + 6328 = 0. Is l a multiple of 4?
False
Let l(h) = 175*h**3 + 4*h**2 - 3*h. Let v = 4 - 12. Let z be (-4)/2*-2 + (-11 - v). Is l(z) a multiple of 16?
True
Let z = 12743 + -1539. Does 133 divide z?
False
Let y(l) = -79*l - 789. Is y(-60) a multiple of 24?
False
Let t(p) = -6*p**3 + p**2 - 5*p - 40. Does 5 divide t(-3)?
False
Suppose 2*i + 5*r - 29 = 0, 3*i + 7*r - 2*r - 41 = 0. Let z be 28/(-13) - (-16)/104. Is 15 a factor of (i/z)/((-174)/(-60) + -3)?
True
Suppose 10 = -4*k - 18. Let t = 7 + k. Suppose -13*g + 8*g + 350 = t. Does 4 divide g?
False
Suppose -454*n + 458*n - 114736 = 0. Is 93 a factor of n?
False
Let g(r) = 4*r + 2*r + r**2 - 7*r. Let y be g(-1). Suppose 3*x + 145 = -z + 611, -314 = -y*x + z. Does 39 divide x?
True
Suppose -12*g - 385 - 239 = 0. Does 13 divide (1 + -3)/(1/g)?
True
Is 1/(-3) + (-554168)/(-42) + (-114)/(-133) a multiple of 146?
False
Let n be (-8)/(-28) + (-2)/7. Suppose -156*v + 153*v + 999 = n. Is v a multiple of 37?
True
Is 4 a factor of -9*6/(-27) - -1345 - 6?
False
Let h(z) = z**3 + 19*z**2 - 46*z + 41. Is h(-13) a multiple of 19?
True
Let r = -349 - -341. Does 35 divide -81*(-34)/3 + r?
True
Let n(p) = 19*p + 99. Suppose 3*y - 2*a = 9, 0 = 7*a - 2*a. Is 12 a factor of n(y)?
True
Suppose -24*n + 60800 = 4*n - 256776. Is 106 a factor of n?
True
Let a(l) = 3*l**2 + 67*l + 5. Let d be a(32). Suppose 11*g - 4019 - d = 0. Is g a multiple of 12?
True
Let g(l) be the third derivative of l**5/30 + l**3/3 + l**2 - 3. Let w be g(-1). Suppose -i + 2*i - w*k - 20 = 0, -5*i + 142 = k. Is i a multiple of 14?
True
Let l be (-28)/7*(3/(-6) + 2). Let u be (0*(0 - (-3)/l))/(-1). Suppose -243 = -2*r - u*b + b, b = -4*r + 477. Is r a multiple of 12?
True
Suppose 175*l - 105*l = 455630. Does 105 divide l?
False
Let g(z) = -29 - 24 + 16*z**2 + 73 + 3*z - 24. Suppose -6 = -y - 2*y. Is g(y) a multiple of 33?
True
Let j(l) be the second derivative of -283*l**5/20 - l**4/4 - 2*l**3/3 - l**2