ide o?
False
Let q = 24502 - 15015. Does 4 divide q?
False
Let h = -57503 + 105103. Is 272 a factor of h?
True
Let f be (-1 + 7)*(-51058)/(-42). Suppose 0 = 14*y - 28126 + f. Does 31 divide y?
True
Let o be (2/(-3))/(18/(-135)). Suppose 2*d + 996 = o*d. Suppose -4*v + d = 4*n, 3*v - n - 255 = -6*n. Is 20 a factor of v?
True
Let x(y) be the third derivative of y**7/1260 - y**6/90 + y**4/24 + 14*y**2. Let t(l) be the second derivative of x(l). Is 18 a factor of t(9)?
True
Let c(g) = 16040*g**2 + 44*g - 43. Is c(1) a multiple of 3?
True
Suppose 3*w - 5*o = 37691, -37649 = -16*w + 13*w - o. Is 24 a factor of w?
True
Suppose 0 = 2*i + 3*t - 1710, 5*i - t - 4241 = -0*i. Let x = -254 + i. Is x a multiple of 35?
True
Let k(y) = 2*y**2 + 111*y - 5126. Is 14 a factor of k(100)?
False
Let v be ((-48)/(-30))/2*(1 - -9). Suppose 0 = 2*w, 11*w + 162 = 3*y + v*w. Does 6 divide y?
True
Suppose 93 - 21 = -4*b. Let g be (b/(-3) + 9/(-6))*18. Let a = -61 + g. Is 4 a factor of a?
True
Let d = 64161 + -33537. Is d a multiple of 176?
True
Let f be -3*((-20)/3 + 4). Suppose 0 = -f*m + 7*m + 191. Let o = -114 + m. Is o a multiple of 11?
True
Let v(c) = 32*c**3 + c. Let o be v(1). Suppose 5 - o = -4*w. Suppose l = -w*l + 560. Does 14 divide l?
True
Suppose 67440 - 5968 = 19*h - 8923. Does 5 divide h?
True
Let d(z) = 35*z + 1292. Suppose -4*u + 12 = 4*m, -5*m - 15 = -0*m - 5*u. Is 19 a factor of d(m)?
True
Let s be (12/(-14))/((-6)/(-42)). Is 558 + (27/s)/(6/(-4)) a multiple of 13?
False
Let o(k) = k**2 + 3*k - 20. Let m be (-48)/(-9) + 12/(-36). Is 20 a factor of o(m)?
True
Suppose 9 = -k - 0. Let w(z) = z**3 + 9*z**2 + 7*z - 20. Let d be w(k). Let p = 146 + d. Is 7 a factor of p?
True
Is ((3 - 49) + 1)*792/(-55) a multiple of 12?
True
Let u(f) = -f**2 - 11*f - 30. Let m be u(-7). Let i(c) be the first derivative of -85*c**2/2 + 10*c + 10. Is 15 a factor of i(m)?
True
Let r = 11244 - 7905. Does 63 divide r?
True
Suppose 0 = -3*n - i + 654, 65*i - 18 = 62*i. Does 3 divide n?
True
Suppose 8*x + 70530 = -39*x + 356055. Is 45 a factor of x?
True
Let g(d) = 106*d + 1635. Does 9 divide g(-14)?
False
Let p = -51 + 57. Suppose 7*w - 9*w + p = 0. Suppose 3*u - 129 - 96 = -2*j, -5*u + 337 = w*j. Is j a multiple of 6?
True
Let l(i) = -13*i**3 - 2*i**2 + i + 3. Let q be l(-3). Suppose 3*w - 195 = f, q = 5*w - 2*f + 3*f. Is 34 a factor of w?
False
Suppose 0 = 4*m - f - 37, -5*f - 16 = -3*m + 16. Suppose -z + 3*r + 337 = 0, 11*r = m*r. Is z a multiple of 20?
False
Suppose 0*x + 28 = 2*x. Let p be (x + -15)/((-2)/540). Suppose 0 = 2*s - p - 8. Is s a multiple of 44?
False
Let y = 95 + -21. Let r(j) = -j**3 - 16*j**2 - 14*j - 19. Let n be r(-15). Let d = y + n. Does 20 divide d?
True
Let a(i) = -i + 3. Let y be a(-15). Suppose -5 - y = -4*s + 5*z, 3*s = -2*z. Is 2 a factor of (s/6)/(22/1518)?
False
Suppose 247*u + 82108 = 260*u. Is u a multiple of 3?
False
Let m be (-5506)/(-16) - 19/152. Let o = m + -245. Is o a multiple of 17?
False
Let n = 1811 - 1426. Is 12 a factor of n?
False
Suppose -3400 = -5*x - 5*x. Suppose 0 = -9*b + 4*b + x. Suppose i = -2*i - 3*l + 168, 0 = -i - 4*l + b. Is i a multiple of 14?
False
Let a(h) = -7*h + 26. Let q be a(3). Suppose -q*p = -0*p + 45. Let g(j) = -j**2 - 10*j + 17. Does 10 divide g(p)?
False
Suppose 811 = -6*z + 3781. Suppose -20*t - w + 384 = -16*t, 5*t - z = -5*w. Is t a multiple of 5?
True
Let v(s) = s**3 + 11*s**2 + 8. Let y(j) = j**3 + 11*j**2 + j + 8. Let c(w) = -3*v(w) + 4*y(w). Let x be c(-9). Let b = x - 95. Is 13 a factor of b?
True
Let c be (-2770)/14 + (-35)/245. Does 65 divide (-3)/(-2) - c*108/48?
False
Let s(f) = 584*f**2 - 192*f - 964. Does 4 divide s(-5)?
True
Let u = 65 + -54. Let z(o) = -o**2 + 7*o + 72. Is z(u) a multiple of 4?
True
Is ((-198)/8)/(107601/3472 - 31) a multiple of 33?
True
Suppose -3*d - 2*s = -334 - 307, 4*s = 16. Let a be (10 - 8)/(4*1/146). Let y = d - a. Is y a multiple of 14?
False
Let n(i) = 80*i**3 + 5*i**2 - 9*i + 8. Let p(y) = y**3 - 9*y**2 + y + 58. Let r be p(8). Is n(r) a multiple of 13?
True
Let b(f) = f**3 + 39*f**2 - 7*f + 63. Let r(m) = -37*m**2 - m - 3. Let g be r(-1). Is 24 a factor of b(g)?
True
Let o(f) = f**2 - 77*f - 1716. Is 18 a factor of o(-28)?
True
Let n(b) = 8*b - 32. Let v be (-3 - 6)/(-1 - 0). Does 18 divide n(v)?
False
Suppose -2*m = -111 + 29. Suppose 17*s - 8294 = -m*s. Is 13 a factor of s?
True
Let v = -287 + 5181. Does 16 divide v?
False
Let x = 27999 + -19389. Does 42 divide x?
True
Let d = -24297 + 34645. Is d a multiple of 13?
True
Let b(w) = -w**2. Let x be b(0). Let a be (5/2)/((-25)/(-20)). Suppose x = 4*q - a*o - 116, 3*o + 22 = q - o. Is 15 a factor of q?
True
Let f be (-422)/4 + 54/36. Let i = 108 + f. Does 3 divide i?
False
Let s(u) = 19*u**2 + 10*u + 23. Let c be s(7). Let a = c + -674. Does 35 divide a?
True
Suppose -13*m + 3*m = -20. Suppose -2*k + 95 = 3*a, 5*k + m*a - 381 = -116. Is k a multiple of 4?
False
Let l be (-5549)/(-93) + 2/6. Suppose -q = 3*y - 446, 4*y + 407 + l = q. Does 35 divide q?
True
Suppose 5*b = -5*l + 22945, 2*b + 27600 = 5*l + 4613. Is 31 a factor of l?
False
Let v = 911 + -570. Suppose 2*i - s - 291 = 0, -4*i - 3*s = -v - 216. Does 13 divide i?
True
Suppose 2*v = 4*n + 80 + 28, -2*n - 180 = -4*v. Is 14 a factor of v?
True
Suppose 13*o + 20*o + 2*o = 8610. Let k(h) = 83*h**3 - 2*h**2 + h. Let y be k(1). Let f = o - y. Does 17 divide f?
False
Let x(g) = -6*g**3 - g**2 + 2. Suppose t - 2*t - 14 = 4*q, -2*t - 12 = 4*q. Let w be 1 - (q/26 - 108/(-26)). Does 36 divide x(w)?
False
Suppose -3*m - 16*m = -57. Does 5 divide (28/56)/(m/2268)?
False
Let p(t) = 37*t**2 - 43*t - 36. Is p(10) a multiple of 14?
True
Suppose a - 1920 - 117 + 273 = 0. Does 28 divide a?
True
Let x = -30 + 39. Let m(z) be the first derivative of z**4/4 - 8*z**3/3 - z**2/2 + 7*z - 55. Does 12 divide m(x)?
False
Let v = 6994 - 2856. Does 62 divide v?
False
Let q = 391 + -376. Suppose -u = 5*m - 254, 16*u - q*u - 246 = -3*m. Does 18 divide u?
True
Suppose g = 4*x - 220 + 106, -5*g + 3*x = 536. Let z(h) = -224*h**2 - 1. Let s be z(-1). Let m = g - s. Is m a multiple of 17?
True
Let d = 22228 + -6810. Does 219 divide d?
False
Suppose 0 = -m - 4*q - 11, 3*m + m - 11 = -5*q. Let i = m + -7. Suppose 9*v - 138 = 4*v - i*c, 110 = 4*v + 2*c. Does 14 divide v?
True
Suppose -5*m + 8*i - 4 = 4*i, -3*m = 3*i - 3. Suppose m = -t + 281 - 223. Is t a multiple of 6?
False
Suppose 3*p - 1274 = -3*w + 532, 0 = w + 3*p - 610. Suppose -142 = 19*u - w. Does 4 divide u?
True
Is ((-1386)/(-132))/((-2)/(-1100)) a multiple of 24?
False
Let w(a) = -5*a + 20. Let b be w(-14). Suppose b - 305 = -r. Is 19 a factor of -1*r/(-10)*2?
False
Let r(b) = -10*b**2 - 262*b + 75. Is r(-24) a multiple of 9?
True
Let k be (-12)/(-21) + (-146)/(-14). Suppose k*j - 16744 = -17*j. Is 61 a factor of j?
False
Let j(k) = 34*k**2 + 4*k - 1. Let s be j(-2). Let i = s + -125. Is 120 - (i/(-8) - (-6)/24) a multiple of 36?
False
Suppose 16*k + 16 = -0. Does 7 divide ((-5)/k)/(3/6)?
False
Suppose 1154 = -4*i + 2726. Suppose -988 = -5*o + 2*r, o = -o + 3*r + i. Does 15 divide o?
False
Suppose z - 1002 = -q + 180, -5*z + 4734 = 4*q. Is q a multiple of 25?
False
Is 20 a factor of -604*(11/33)/(2/(-60))?
True
Is -1 - (48/144 - (-113592)/(-9)) even?
True
Suppose i + 0*i + 3*a - 1584 = 0, 0 = 2*i + 3*a - 3159. Suppose 0 = -j - 2*j - 3*p + i, -2*p = 5*j - 2634. Is j a multiple of 44?
True
Does 18 divide 35276/14 - (-12)/(-420)*-10 - 0?
True
Let o(f) = -f**2 - f**3 - 3*f**2 + 6 - 2*f - 18 - 3*f**2. Is o(-8) a multiple of 34?
True
Suppose 14*z = 62 - 20. Suppose -3*g + 119 = 4*h, -18*h + 20*h - 55 = z*g. Is h a multiple of 21?
False
Suppose 0 = -5*x + 2*k + 21, -4*k = 11 + 1. Suppose -5*i + 128 = -0*d - d, x*i = 15. Let z = d + 151. Is 21 a factor of z?
False
Let k(d) = 1447*d**2 + 699*d + 700. Does 3 divide k(-1)?
False
Let w = -18897 + 19079. Is 14 a factor of w?
True
Suppose 4*y - i - 35 = -4*i, -3*y + 27 = 3*i. Suppose 6 - 18 = 2*m + 2*x, 0 = -4*x + y. Let d = m + 141. Does 31 divide d?
False
Suppose q = 23*q + 19*q - 339480. Is 30 a factor of q?
True
Suppose 9*b + 103 = 535. Suppose 5*x + 6*m - 237 = 10*m, m + b = x. Is x a multiple of 12?
False
Suppose 2402400 = 141*g - 29*g. Is g a multiple of 66?
True
Suppose -18*a - 2*a = -48