uppose -7*y = -332 - l. Is y a multiple of 11?
True
Suppose 0 = 3*s, 8*x - 14*x + 12765 = -x + s. Is x a multiple of 23?
True
Suppose -5*a - 3*s + 34093 = 0, a + 31*s = 33*s + 6803. Is a a multiple of 15?
False
Let o(n) = 2*n**2 + 2*n + 6. Let s be o(-4). Suppose -5*x - 2*p = -3*p - 52, 5*p = -4*x + s. Is ((-40)/(-3))/(x/30) a multiple of 9?
False
Suppose c - 44 = 11*s - 10*s, s - 4*c = -44. Let d = 343 + s. Is 12 a factor of d?
False
Let j = 152 - -1186. Is j a multiple of 14?
False
Is 0/(-4) - -6 - (-18705 + 25) a multiple of 159?
False
Suppose 3*f - 4*k = -k + 30, 0 = 5*k + 25. Suppose -f*l - 176 = -l. Let z = l + 162. Is 23 a factor of z?
False
Is 12 a factor of -11 + (-525)/(-49) + 1438812/63?
False
Let k(g) = g**2 + 2*g + 27. Suppose -6 + 1 = -v. Let l = 17 - v. Is k(l) a multiple of 15?
True
Let j = 39 - 34. Suppose 4*h = -j*h. Suppose -3*i - 2*b + 2 = -h*i, 0 = -5*i + 3*b + 16. Is i even?
True
Let k be ((-45)/(-20))/((-12)/(-32)). Let u(m) = -m**3 + 7*m**2 - m - 3. Let s be u(k). Let w = s - -25. Is 13 a factor of w?
True
Let f(v) = 14*v**3 + 57*v**2 - 18*v + 85. Let l(k) = 5*k**3 + 19*k**2 - 6*k + 28. Let r(o) = -6*f(o) + 17*l(o). Does 4 divide r(19)?
True
Suppose 34 = 5*n - 2*u, -5*n + 2*u = 4*u - 46. Suppose -3*i - 775 = -n*i. Is i a multiple of 31?
True
Let k be (-416)/(-40) - ((-2)/(-5))/1. Let p be 2523/2 + 2/4. Suppose p = k*g - 128. Is 31 a factor of g?
False
Suppose 0 = -b - f + 686, 5*b + 118*f = 121*f + 3398. Does 31 divide b?
True
Suppose 2434 = 11*i + 784. Suppose -4*n - 5 = 3, 4*c + 5*n = i. Suppose -4 = 4*z - c. Does 3 divide z?
True
Let c = 10206 - 4392. Is c a multiple of 13?
False
Let i be (-18)/27 - (-32)/3. Suppose 2*p = i*p - 2200. Does 99 divide p?
False
Let v(f) = -87*f + 3. Let x = -9 - -6. Let q be ((-5)/(-15) - (-4)/x)/1. Does 18 divide v(q)?
True
Suppose 0 = -n + 1, b + 0*n + 4*n = 18. Suppose b*v = 17*v - 888. Is 74 a factor of v?
True
Let o(u) = -u**3 - 2*u**2 + u - 2. Let q be o(-3). Let w be q/14 - 46/14 - 201. Let v = w + 304. Is 25 a factor of v?
True
Let j = -211 + 106. Let v = 15 - j. Is 5 a factor of v?
True
Suppose -2*b - 10 = 0, 4*b = -366*i + 362*i + 6580. Is i a multiple of 15?
True
Let g(l) = 5*l**2 + 3*l + 60. Let d(a) = -4*a**2 - 2*a - 58. Let v(i) = -6*d(i) - 5*g(i). Is v(0) a multiple of 6?
True
Does 25 divide 8946/(-5467) + 305198/22?
False
Let h be ((-8)/(-14))/(-2)*(9 + -16). Suppose 4*l - 7*j = -h*j - 12, 3*j - 12 = 0. Suppose 3*g = 5*f - 139, 3*g = l*f - 22 - 39. Does 13 divide f?
True
Is 16 a factor of (0 - 27)*((-50228)/(-348))/((-1)/3)?
False
Is (-60)/(-8)*20/6*(24 + -16) a multiple of 3?
False
Let h = 20469 + -14617. Is h a multiple of 44?
True
Suppose k - 12 = 5. Suppose -k - 15 = -8*q. Does 15 divide (-1 + q)*369/9?
False
Suppose 163 = 4*j - 3*b, 4*j - b - 133 = -4*b. Let g = j + -33. Suppose 0 = g*k + a - 365, 2*a = k + 4*k - 440. Is 18 a factor of k?
True
Let v be 2/(-8) + 102/24. Suppose 5*l - g - 19 = 0, v*l + 5*g - 2 + 10 = 0. Suppose 2*z - 333 = -z + l*a, 543 = 5*z - a. Does 9 divide z?
True
Let c(o) = 1072*o**3 - 4*o**2 + 3*o - 3. Is c(1) a multiple of 12?
True
Suppose f = 3*f - 8. Suppose 0*o + o = -f*o. Suppose 4*s - 3*s - 41 = o. Does 8 divide s?
False
Let u = 26 + -14. Let k(d) = -15*d - 2*d + 3*d - u. Is 18 a factor of k(-6)?
True
Let v(w) = -12*w**3 - 2*w**2 - 11*w - 75. Let a(d) = -35*d**3 - 7*d**2 - 34*d - 223. Let o(p) = 4*a(p) - 11*v(p). Is 13 a factor of o(-5)?
True
Let v(i) = 253*i + 31. Let g be v(3). Suppose -4*y = -m + 380, -2*m + 8*y + g = 10*y. Does 10 divide m?
False
Suppose 0 = u - w - 8, -4*u + 2*w = -3*w - 30. Suppose 0 = n + 4*n - u. Let m = n - -58. Does 12 divide m?
True
Suppose 0 = 6*p - 2884 + 904. Let h = 340 - p. Is h a multiple of 5?
True
Let z = -4040 + 7835. Is z a multiple of 115?
True
Let g(f) = 118*f**2 + 54*f. Does 16 divide g(7)?
True
Suppose 6917 + 10468 = m + 2332. Is m a multiple of 7?
False
Is 72 a factor of (3520 - -6) + (-20)/(-12)*12/10?
True
Suppose 0 = 34*g - 131630 - 3350. Does 25 divide g?
False
Suppose 0 = 3*s - 8506 - 2834. Is s a multiple of 60?
True
Suppose -133*d + 137*d - 4072 = -i, i + 3*d = 4064. Is i a multiple of 40?
True
Suppose 5*p + 3*g = 71160, 29*p - 28464 = 27*p + g. Is p a multiple of 12?
True
Suppose -78 = 11*r - 89. Suppose 5*a = -3*b + 241, 3*a + 4*b - 135 = -b. Let y = a + r. Is y a multiple of 17?
True
Is 56 a factor of (-2187)/(-1) + (-219 - -221)?
False
Suppose 25*v - 13326 = 15541 - 7267. Is 96 a factor of v?
True
Let v = -7198 + 7452. Is 114 a factor of v?
False
Let m = 3018 - 1738. Suppose 0 = -6*f + 4844 - m. Is 9 a factor of f?
True
Suppose -24*q = -97*q + 1170336. Is 96 a factor of q?
True
Let a(p) = 3*p**2 + 13*p - 7. Let l(k) be the third derivative of -k**6/120 + k**5/30 + k**3/3 - 5*k**2. Let t be l(3). Is a(t) a multiple of 10?
False
Suppose 2*z - 5*k - 2917 - 8677 = 0, -4*z - 2*k = -23092. Is z a multiple of 11?
False
Let y be ((-1)/(-2))/((15/(-3))/(-10)). Is 3 a factor of ((-6)/(-10))/((-110)/(-100) - y)?
True
Let t = -27294 + 30484. Is 58 a factor of t?
True
Suppose -4*c + 0*c + 624 = 0. Suppose 4*o - 2*s - 314 = 0, -5*o + s + 359 + 38 = 0. Let p = c - o. Does 19 divide p?
True
Suppose -4*i + 291 = -5*w, 0 = -2*w + 3*i - 140 + 18. Let j be (-120)/w + (-4)/22. Suppose -5*r + j*k - 4 = -878, -2*r + 340 = -4*k. Is r a multiple of 16?
True
Let z = -5 - 74. Suppose 19*m = 70*m - 102. Let y = m - z. Is 9 a factor of y?
True
Let z be 2 + 109 + (-9)/6*2. Suppose 2*q = -2*v - v - z, -q = -3*v + 72. Let y = q - -73. Is y a multiple of 13?
True
Let k be 3 + -4 + 15/3. Suppose -3*o - 4 = 4*m, 3*m = -k*o - 1 - 9. Is ((-2)/2)/((-505)/125 - o) a multiple of 7?
False
Let d = -160 + 140. Is 1/5 + 9 + (-8396)/d a multiple of 22?
False
Suppose 0 = 2*h + 4*y + 1384, 2*h - 6*y + y + 1375 = 0. Let t = 924 + h. Is 39 a factor of t?
True
Let o(u) = 5*u**2 + 2*u + 7. Let t be o(4). Let q = 146 - t. Is 3 a factor of q?
True
Is (-34 + -894)/((-6)/66) a multiple of 90?
False
Is 15 a factor of ((11 + -1562)/(-11))/(1/85)?
True
Let c(z) = -778*z - 396. Is 3 a factor of c(-2)?
False
Suppose a - 86 + 70 = 0. Is 5 a factor of a/152 + (-4539)/(-19)?
False
Let j(x) = 105*x + 37. Let n be j(-15). Let w = -1010 - n. Does 12 divide w?
True
Let t be (-4)/(8/(0 + 4)). Let i be (-963)/(-6) - t/(-4). Suppose -i = 4*j - 8*j. Is 3 a factor of j?
False
Is (-55658)/(-6) + 12 + -3 + (-200)/24 a multiple of 104?
False
Let q(y) = -y**3 - 8*y**2 + 4*y - 513. Does 25 divide q(-20)?
False
Suppose 16*v - 14*v = -30. Let h(b) = -2*b - 24. Let q be h(v). Suppose q*n + 3*n - 837 = 0. Is 17 a factor of n?
False
Suppose 33*k - 36*k - 4*d = -55212, 0 = 3*k + 2*d - 55218. Is 12 a factor of k?
True
Let p be ((-18)/2 + 4)/(-1). Suppose -5 = -p*i + 4*i. Suppose i*n - 61 = 54. Is n a multiple of 7?
False
Suppose -3*n + 3304 = -5*g - 434, -3*g = 4*n - 4955. Let m = -802 + n. Does 30 divide m?
False
Suppose 3*d = -4*v + 88, 9*d + 4 = 10*d. Let m(i) = -i**3 + 19*i**2 + 22*i + 2. Does 70 divide m(v)?
True
Let b = 134 + -101. Is 1100/15 - (b/(-9) - -3) a multiple of 37?
True
Suppose -2*a - 1176 = -4172. Suppose 5*p = 302 + a. Does 45 divide p?
True
Suppose -3*r - 4*y - 1656 = -7*r, -4*r - 5*y + 1674 = 0. Suppose 0 = 61*i - 53*i - r. Is 24 a factor of i?
False
Let v be 321/45 - (-50)/(-375). Is 4 a factor of v + 9 + -5 - 4?
False
Let b(g) be the second derivative of -32*g + 22*g**2 + 0 + 1/3*g**3. Is 14 a factor of b(11)?
False
Let s = 1 + -185. Let w = s - -278. Does 21 divide w?
False
Let m = 13852 - 12051. Does 105 divide m?
False
Let p be -2 + (2 - 4)/(4/(-32)). Does 7 divide 8/(-28) + 550/p?
False
Let o be -85*4/24 - (-2)/12. Let m be 7/(o/(-6)) - (2 + -2). Suppose 5*k + m*s = 158 + 32, -k + 5*s = -10. Is 16 a factor of k?
False
Let q be 1 + 32/24*(-1 + -2). Suppose 11 = -w + 61. Is 13 a factor of w + q + 2 + 5 + -2?
True
Let y be ((-6)/(-6))/(2/8). Suppose -3*i + 4 = -4*f - 7, y*i = 5*f + 15. Suppose -4 = -k, -w + 3*k + 85 = i*k. Does 11 divide w?
True
Suppose -122 = -c + 2*u, 2*c + 3*u - 402 + 123 = 0. Does 2 divide c?
True
Let x(v) = -14 - 3*v**2 + 12*v + 77 + 5*v**2 - 79*v. Does 3 divide x(33)?
True
Suppose t = 4*w + 76, 3*t - 14*w - 244 = -10*w. Let p = t + 1700. Is p a multiple of 31?
False
Suppose -5702 = 7*k - 14459. Is 5 a factor of k?
Fal