84 - 0) - (-2)/(-14)?
True
Let d(r) = 465*r**2 - 37*r + 64. Does 24 divide d(3)?
False
Let w = 73 - 73. Suppose w = -4*y + 6*y + 3*t - 488, 0 = -5*y + 3*t + 1262. Does 15 divide y?
False
Let r = -294 + 187. Let g = -71 - r. Suppose g = -18*o + 19*o. Is o a multiple of 6?
True
Suppose 0 = -3*p - 24*p + 594. Let m(k) = -k**2 + 40*k - 90. Does 9 divide m(p)?
True
Is 24 a factor of 3/(-9) - 6999*(-20)/36?
True
Let b be 2/7 + 8142/(-322). Does 33 divide -8*((-330)/(-25))/(2/b)?
True
Suppose -4*p = 0, 4*b - 4*p + 4 - 12 = 0. Suppose -b*f = 5*f - 14. Suppose -3*n + 147 = f*z + 3*z, -5*z = 5*n - 145. Is z a multiple of 30?
True
Let p(s) = 323*s + 2172. Is 3 a factor of p(-5)?
False
Let l(a) = -51 - 2*a - 96 + a + 9*a - 92. Does 3 divide l(32)?
False
Let z = -2722 - -3266. Does 4 divide z?
True
Let y be (-1 - 0) + -2 - (-76 - 3). Suppose 0 = -4*o + y - 28. Suppose 268 = o*b - 92. Is b a multiple of 19?
False
Let w be (0 - 0 - 4) + 233. Let u = w - 129. Let z = -61 + u. Is 13 a factor of z?
True
Let q(s) = -s**2 + 6*s + 2. Let b be q(0). Suppose -5*a = -w - 15, 7*w = b*a + 3*w - 24. Let x(f) = 67*f + 4. Does 12 divide x(a)?
False
Let j(q) = -2*q**3 + q**2 - 3*q + 2. Let h be j(1). Let c = h + 6. Suppose -5*m - 143 + 1188 = c*y, 0 = y. Is m a multiple of 11?
True
Let y = 27184 - 21129. Is 102 a factor of y?
False
Suppose 69255 = -17*c + 6*c + 26*c. Is c a multiple of 27?
True
Is 8 a factor of ((-232)/20)/(((-9)/1500)/3)?
True
Let z = 571 - 1148. Let s = -95 - z. Is s a multiple of 23?
False
Suppose 4*q + 53 - 5 = 4*s, -11 = 2*s + 5*q. Suppose -p + s*a + 448 = 12*a, 5*a = -4*p + 1762. Does 8 divide p?
False
Suppose 16809 = 5*n + 3*q, -26*q + 3363 = n - 25*q. Suppose -10*s - n = -25*s. Does 16 divide s?
True
Let p(v) = 23*v + 1885. Does 9 divide p(-26)?
True
Let c = -8 - -11. Suppose 0 = 4*b - c - 25. Suppose -5*q - 3*x + 164 = 0, 6*q - 3*x + 40 = b*q. Is q even?
False
Suppose -3*q - 3 + 9 = 0. Let a be 114/(((-2)/8 - -1)*q). Suppose m = 3*m, 4*l = 3*m + a. Does 4 divide l?
False
Suppose -403872 + 70422 = -26*p. Is 9 a factor of p?
True
Let g be 5/25 - 145/(-25). Let w = -3 + g. Suppose 2*v - 98 = -w*b + b, -5*b = -5*v - 255. Is 25 a factor of b?
True
Let i(o) = 3*o**2 + 43*o - 24. Let d be i(-15). Suppose 3*j - d*j + 110 = 2*u, 5*j - 215 = 3*u. Is 4 a factor of j?
True
Suppose 2*h = 5*b + 4947 - 1221, -5*h - 5*b + 9315 = 0. Is h a multiple of 12?
False
Let d(n) = n**2 - 10*n - 52. Let c be d(18). Let i = -212 + 148. Let h = c + i. Is 6 a factor of h?
False
Let x = -129 + 131. Suppose -2*k - 2 = 0, -l + 125 = -x*k - 284. Does 60 divide l?
False
Let d = -402 - -1158. Suppose 2*z - 944 = d. Does 34 divide z?
True
Let y(z) be the third derivative of -z**7/2520 - 7*z**6/720 + z**5/40 - 7*z**4/6 + 11*z**2. Let f(o) be the second derivative of y(o). Is 4 a factor of f(-6)?
False
Let v = 739 + 1953. Suppose -12*m + v = -3860. Is m a multiple of 21?
True
Let o(x) = -x**3 + 17*x**2 - 11*x - 10. Let y be o(16). Suppose -4*l + y = -358. Is l a multiple of 14?
False
Is ((-101677)/(-34))/(((-2)/(-4))/1) a multiple of 12?
False
Let k(l) be the second derivative of l**3/6 + l**2 + 3*l. Let n be k(-2). Suppose n = -4*h + 595 - 243. Is h a multiple of 22?
True
Let r = 4693 + -3274. Does 43 divide r?
True
Suppose -7*h + 2993 - 42487 = 0. Does 78 divide 4/44 + h/(-11)?
False
Let p = 15615 - 1084. Is p a multiple of 25?
False
Suppose -o + 11 = -1. Let r = -9 + o. Suppose -198 - 117 = -r*y. Does 15 divide y?
True
Let y be 4/4 + 171 + -2. Suppose -4*f = -y - 42. Suppose -55*h = -f*h - 128. Is 32 a factor of h?
True
Let y = 18547 + -18479. Is y a multiple of 5?
False
Let f(y) = 4*y**2 - 44*y + 85. Is f(-34) a multiple of 159?
False
Let l = 34388 - 12032. Is l a multiple of 54?
True
Suppose -60*m + 141030 = 55110. Is m a multiple of 4?
True
Suppose -2*y + 2*p = 164, 0 = -5*y + 4*p - 479 + 65. Let k = y + 72. Does 9 divide 4/3*21/k + 29?
True
Let w(l) = -343*l + 4397. Is 30 a factor of w(-24)?
False
Suppose 4*s - 1 = 5*s. Let j be 50 - s - (0 - -4). Suppose 0 = -6*n + 281 - j. Is 19 a factor of n?
False
Suppose -2*k - 2 = 2*c - 3*c, -3*c + 6 = -k. Suppose 5*m = 0, -y - m + 18 = -k*y. Let r = 11 + y. Is 4 a factor of r?
False
Let g(i) = i**2 + 9*i - 7. Let m be -2 - (-64)/(-4 + 8). Let r be 10/35 - 186/m. Does 6 divide g(r)?
False
Let k(t) = -9*t**3 + 3*t**2 - 2*t - 8. Let j = -62 - -82. Suppose -2*u - 4*s = 38 - 14, j = -4*s. Does 10 divide k(u)?
True
Suppose -n + 10*n = 36. Suppose 0 = 10*a + n - 64. Let f(g) = -g**3 + 7*g**2 + 11*g + 7. Is 22 a factor of f(a)?
False
Suppose 3*l - 15 = 0, -3*l - 1479 = -c + 2751. Does 30 divide c?
False
Let t be (-3)/2 + (-423)/(-18). Suppose t*b - 8549 = 14925. Does 97 divide b?
True
Let p(c) = 295*c**2 + 90*c + 864. Does 60 divide p(-9)?
False
Let w be 12*((-28)/(-21))/2. Is 44/(-176) - (-1874)/w a multiple of 7?
False
Let n = -993 - -1195. Is 22 a factor of n?
False
Let l(r) = -10*r**2 - 18*r + 14. Let s(t) = 3*t**2 + 6*t - 5. Let i(h) = 4*l(h) + 14*s(h). Let g be (48/10)/(((-1428)/(-105))/(-34)). Is 26 a factor of i(g)?
True
Let l(g) = 4*g**3 + 26*g**2 + g - 7. Does 32 divide l(9)?
True
Let c(z) = 237*z**2 + 19*z - 6. Let a(x) = -475*x**2 - 38*x + 11. Let b(r) = -3*a(r) - 5*c(r). Is b(-2) a multiple of 25?
False
Is 1096723/335 + 3/((-45)/12) a multiple of 23?
False
Let f(a) be the first derivative of -21*a + 1/3*a**3 + 13/2*a**2 + 10. Is f(-15) a multiple of 2?
False
Suppose k - 5*g = 18, 4*k + 7*g = 5*g + 50. Suppose 7869 = k*l + 1460. Does 17 divide l?
True
Let t be 9/(9/3)*(-6)/(-2). Suppose 0 = -t*i + 5*i - 4*u + 880, 5*i = 4*u + 1145. Is i a multiple of 25?
True
Let a = 2194 - 1826. Is a a multiple of 4?
True
Let c(p) = -2*p**3 + 3*p**2 + 4*p - 4. Suppose 3*r + 4*k + 4 = 0, -5*r + r - 22 = -3*k. Let f be c(r). Is 17 a factor of -3 + (-2)/((-314)/f + 2)?
True
Suppose -273 = -22*c + 101. Suppose c*b = -6*b + 13754. Is b a multiple of 71?
False
Suppose -9875 = -12*a - 1967. Suppose -5*v + a = 149. Does 34 divide v?
True
Let m(n) = 8489*n - 8489*n - n**2 + 1 + n**3. Let v(q) = 5*q**3 - 4*q**2 + 44. Let f(c) = -4*m(c) + v(c). Does 5 divide f(0)?
True
Let w be -5 - -1 - (5 + -6) - -6. Let q(k) = 32*k**3 - 3*k**2 + 2*k + 4. Does 7 divide q(w)?
True
Let a(t) = 8*t**2 + 7. Let h be a(-3). Let c = -75 + h. Is 84 + 8/c + 3 a multiple of 5?
False
Let f be 0 - (0 + 716/(-2)). Suppose -1522 + 6242 = -40*y. Let t = f + y. Does 10 divide t?
True
Suppose 0 = 7*l - 8*l - 769. Let h = l - -1147. Is 42 a factor of h?
True
Let v = 4268 - -18247. Is 5 a factor of v?
True
Suppose 0 = -2*r - r + 57. Suppose 3*p - t = -5, -p = -2*p - 4*t - r. Is (0 + p)*(4 + 226/(-6)) a multiple of 19?
False
Suppose x + 5 = 5*v, x - 4 = -x - 4*v. Suppose x = 2*k - 12 + 18, k - 519 = -3*w. Is 6 a factor of w?
True
Let j(y) = -486*y + 306. Is j(-9) a multiple of 5?
True
Let m = -31 - -36. Let y(b) = -b**2 + 4*b + 9. Let g be y(m). Suppose -g*n - 3*n = -56. Is n a multiple of 4?
True
Let m = 167 + 2784. Is 32 a factor of m?
False
Suppose -s + 4 = -q, -22 = -3*s - 2*q - 5. Suppose x - 9 = -2*v - 0*x, -3*x - 23 = -4*v. Suppose -s*y + 10*y - 157 = z, -175 = -5*y - v*z. Does 4 divide y?
True
Let u(l) be the first derivative of 14 + 4 + 3*l**2 + 78*l**3 - 38*l**3 + 2*l - 2*l**2. Does 8 divide u(-1)?
True
Let p(x) = 5*x**2 + 49*x - 239. Is 163 a factor of p(28)?
True
Suppose 0 = -3*u + 168 - 510. Let o = 25 - u. Suppose -i + o - 33 = 0. Is i a multiple of 13?
False
Let x(c) = 77*c + 4391. Let p be x(-57). Suppose -2*o + 1044 = o. Suppose 3*b - 228 = -4*z, p*b - 4*z - o = -3*b. Is b a multiple of 8?
True
Suppose 2*q - 1468 + 256 = 0. Let r = q - 353. Is 61 a factor of r?
False
Is 14 a factor of ((-1274)/35)/((-3)/180)?
True
Let h(q) = q**3 + 2*q + 1. Let x be h(5). Suppose -4*f + 4*s + 1184 = -x, 5*f + 2*s - 1650 = 0. Does 15 divide f?
True
Let m(n) = -n**2 - 68*n - 155. Let u = 142 - 180. Is m(u) a multiple of 26?
False
Suppose -19*s + 4433 = -18*s. Does 30 divide s?
False
Let u(n) = -60*n + 34. Let i be u(14). Let z = i - -1178. Is z a multiple of 31?
True
Let f(p) = -3*p**3 - 3*p + 26 + 2*p + 2*p**3. Let v = -311 + 311. Is 26 a factor of f(v)?
True
Suppose -w = -m + 44338, 4*w = -198 + 166. Is m a multiple of 54?
False
Suppose 2*j - 250*g + 257*g = 53557, j - 2*g = 26806. Does 71 