(8)?
True
Suppose -129698 - 19393 = -5*r - 3*z, z - 119270 = -4*r. Is r a multiple of 106?
False
Let n be 0 + 1 + (-1 - (-6)/3). Suppose n*u = -3*m + 5, 1 = 3*u - 4*m - 15. Suppose 0 = k + u*a - 18, -3*k - 4*a + 54 = a. Is 3 a factor of k?
True
Let l = -6252 - -6762. Does 21 divide l?
False
Let m(h) = -2*h**3 + 66*h**2 - 9*h + 408. Does 7 divide m(29)?
False
Let v(b) = -b**2 + 9*b + 2. Let j be v(9). Suppose 12 = p + h, 4*p + 0*h = j*h + 24. Let i = p + -4. Is 4 a factor of i?
True
Let z = -251 - -34. Let f = z - -232. Is f a multiple of 5?
True
Let h = 2998 + -334. Is 74 a factor of h?
True
Let n(u) be the first derivative of -u**4/4 + 14*u**3/3 + u**2 + 12*u + 103. Is 9 a factor of n(11)?
False
Suppose -3*k - 18 = -27. Suppose k*m - 7 = -1. Suppose j - 237 = -2*s, m*j = 1 - 7. Is 10 a factor of s?
True
Let s = 22 - -8. Suppose -s*f = -31*f - 3. Is (0/f)/(-3) + 19 + -1 a multiple of 3?
True
Suppose 9579 = -60*r + 35799. Is r a multiple of 82?
False
Let u = -94 + 225. Suppose 3*m + u = t - 84, -t + 175 = 5*m. Suppose -t = -17*k + 15*k. Is k a multiple of 20?
True
Let r(m) = 33*m**2 - 3*m - 2. Let t be 12*((-114)/(-30))/((-3)/5). Let l = 74 + t. Does 21 divide r(l)?
False
Suppose -4*b = -2*h + 8208, -3*h - 2*b + 8023 + 4297 = 0. Is h a multiple of 219?
False
Let x(y) = -y**2 - y + 70. Let z be x(-9). Does 14 divide z/(-36) + 646238/612?
False
Suppose -4*h = -74*x + 76*x - 58, -4*h + 97 = 5*x. Let v = 34 - 11. Suppose v = 2*u + x. Does 4 divide u?
False
Does 38 divide -12 + (57 + -18)*1380?
True
Suppose 3*t - 11327 = 5*z, 2*t + 2*z = 5*t - 11342. Does 11 divide t?
True
Let i = 9566 - 4544. Is i a multiple of 83?
False
Suppose v + 3*k + 143 = 1503, 2*v - 2774 = 3*k. Does 26 divide v?
True
Does 125 divide ((268/(-14))/(438/(-25550)))/((-2)/(-15))?
True
Suppose -2*u = 2*u - 2*n + 22, -4*u - 3*n - 17 = 0. Let z be (0/(1 + u))/3. Is 7 a factor of (z + -2)*(11/(-2) + 2)?
True
Suppose -o + 1 + 15 = 5*p, o - 17 = -4*p. Suppose o*a - 27*a + 672 = 0. Is 49 a factor of a?
False
Let v = -2020 - -13048. Does 42 divide v?
False
Is 3141315/810 + 10/12 a multiple of 22?
False
Let z(k) = 62*k**2 + 4*k - 10. Let o be z(5). Suppose -3*x - 2080 = -7*x + 2*n, 3*x - 3*n = o. Suppose -x = -6*q + q. Is 8 a factor of q?
True
Suppose k + 5 = 2. Let i be 5 + 3*k/9. Suppose f - i*p = -p + 2, p + 52 = 5*f. Is 11 a factor of f?
True
Let m = 61473 - 34265. Is 19 a factor of m?
True
Let c = 8038 - 6864. Is c a multiple of 32?
False
Suppose 0 = 3*z - 5*q + 85, 4*z - z - 2*q = -79. Is (42/(-10))/(z/500) a multiple of 4?
True
Let i be (-64 + -10)/(-4 + 2). Suppose 52*w - 8565 = i*w. Does 16 divide w?
False
Let u(t) = t**3 + 15*t**2 - 53*t + 22. Let o be u(-18). Suppose -5*m = -4*y + 642, -2*y + 8*m = o*m - 318. Is y a multiple of 13?
False
Suppose -2*v = -4*c + 13 + 3, 4*v - c - 3 = 0. Suppose l - v*l = -4. Let n = l + 37. Is n a multiple of 29?
False
Let f be (21/(-7))/((-6)/56). Suppose -f - 57 = -r. Suppose -j + 157 = r. Is 40 a factor of j?
False
Suppose 4*s = 0, 10*s + 18252 = 17*f - 16*f + 15*s. Is f a multiple of 12?
True
Suppose 3*r - 5*q = 9367 + 945, -5*r + 3*q = -17224. Does 5 divide r?
False
Let m = -34 - -30. Let p(h) = h**2 - 3*h + 7. Let f be p(m). Does 8 divide (4 - (0 + -1))*56/f?
True
Suppose 251 = 2*f - 5*v, 0 = 3*f - 0*v + v - 402. Let s be (f/21)/((-58)/60 - -1). Suppose -15*p + 170 = -s. Is p a multiple of 12?
True
Let a(m) = 131*m**2 + 32*m - 191. Is a(10) a multiple of 37?
False
Is 25 a factor of ((-11)/(-12)*-3)/(2/(-1000))?
True
Suppose 37*q = -20*q + 122953 + 178634. Is 143 a factor of q?
True
Let n = -1235 - -3883. Does 5 divide n?
False
Suppose -4*u + 3*w = -w + 30404, -5*u + 4*w = 38004. Does 15 divide ((-6)/15)/(10/u*2)?
False
Suppose -2*r + 61 = -r. Let z = r - 57. Is ((-2)/(-6))/(z/2460) a multiple of 41?
True
Let y(l) be the third derivative of 161*l**4/24 - 71*l**3 - 57*l**2 - 2. Does 6 divide y(6)?
True
Let v = 3447 + -2335. Is 6 a factor of v?
False
Let s(i) = 17*i**2 - 8*i + 19. Let o be s(-10). Suppose 4*v + 5*m = o, -3*m + 2*m + 451 = v. Let j = v - 309. Does 37 divide j?
False
Let c = -9476 + 14036. Is c a multiple of 95?
True
Suppose -390 = -2*u + 154. Suppose -3*x + 1000 = -u. Is x a multiple of 13?
False
Suppose 28 = 5*x + 8. Suppose -x*p = -4*c - 228 - 296, 2*p + 4*c = 256. Is p a multiple of 17?
False
Suppose 580 = 10*r + 60. Let z = -48 + r. Suppose z*i = 2*d + 2, 5*d + 7*i - 40 = 2*i. Does 5 divide d?
True
Let w(j) = -4*j**3 - j - 7. Let r be w(-3). Suppose 4*x - 214 = -2*n + 5*x, r = n + x. Is 12 a factor of n?
False
Is 143395/51 + (-36)/(-27) a multiple of 8?
False
Suppose 9*f - 130132 = -66*u + 70*u, -5*u + 28930 = 2*f. Is 20 a factor of f?
True
Let p = -16753 - -19253. Does 5 divide p?
True
Suppose 2*u + 2 = -2, 3*a + 110 = 5*u. Is (-10)/(a/3884) - 1 a multiple of 10?
True
Let y be (-10240)/(-72) - (40/18 - 2). Suppose -4*m - 3*l = -127, 0 = -4*m + l + y - 19. Does 31 divide m?
True
Suppose 0 = -5*y + 2*d + 7342, 4*y - 2271 = -5*d + 3629. Is 6 a factor of y?
True
Let r(n) be the third derivative of -35/6*n**3 + 0 + 0*n - 5/12*n**4 - 23*n**2 + 1/60*n**5. Is 3 a factor of r(-5)?
False
Let r(b) = b**2 - 109*b + 3660. Does 120 divide r(99)?
False
Suppose -3*j + 117 = 3. Let c = 26 - j. Is 6 a factor of c/18 + (-112)/(-6)?
True
Let w = 12891 - 7265. Is 112 a factor of w?
False
Let a = -2725 + 2810. Is 12 a factor of a?
False
Let l = -490 + 517. Does 13 divide -3*(-876)/l + (-184)/138?
False
Suppose -538*s = -544*s - 2178. Let o = s + 989. Is o a multiple of 19?
False
Suppose -112*u + 334594 = -67486. Is u a multiple of 11?
False
Let f(m) = 96*m**2 - 15*m - 126. Is 12 a factor of f(-8)?
False
Let k = -4334 - -13490. Is 12 a factor of k?
True
Let q(c) = -4*c**2 + 11*c + 83. Let h be q(16). Let o = h + 1180. Is o a multiple of 9?
False
Is (-12)/(-81)*(-3)/(-2) - 29451/(-27) a multiple of 37?
False
Let o = -10652 - -25497. Suppose -4647 = -22*t + o. Is t a multiple of 9?
False
Is (4212/91)/((15/126)/5) a multiple of 9?
True
Let v be (-162 + 9)*(-6)/(-9). Let w = 172 + v. Is 9 a factor of w?
False
Suppose 3*t + 5*b = 2*b + 12, -2*t = -2*b - 12. Suppose k - 160 - 136 = -5*i, -k = -t*i - 276. Is k a multiple of 40?
False
Suppose 3*l + 3*v - 3920 = 1201, -3*l + 4*v = -5142. Is l a multiple of 95?
True
Let o(a) = 2*a**2 + 5*a - 19. Let n be o(-10). Suppose -137*x + n*x = -270. Is 9 a factor of x?
True
Suppose 2*o = o + 2*y - 46, y = -3*o - 103. Is 62 a factor of 62/(-6)*((10 - 4) + o)?
True
Suppose -b + 5*r + 377 = 3*b, b - 73 = -3*r. Suppose -b = -4*y - 4*y. Let m = y - -10. Is m a multiple of 3?
True
Suppose -4*y - 11*y - 42588 = -29*y. Is 26 a factor of y?
True
Does 73 divide 19 + (16 - 27) - -27440?
True
Suppose -397*l = -392*l - 900. Suppose -5*o + 495 = l. Is o a multiple of 9?
True
Suppose 2*v - 22 = -4*f + 14, -2*f - 5*v + 2 = 0. Suppose -10 - 166 = f*m. Let i = 28 + m. Is i a multiple of 8?
False
Suppose 5*z - 149 = -5*u - 54, -5*z = -4*u + 67. Suppose -u*i - 5*d + 360 = -16*i, i = 5*d + 195. Is i a multiple of 40?
False
Suppose -8*w - 17*w + 66008 = -17*w. Is w a multiple of 37?
True
Let i = -59 - -62. Suppose -i*a + a = -6. Suppose -a*d - 59 = -74. Does 5 divide d?
True
Suppose 364*r = -55*r + 8076225. Is r a multiple of 5?
True
Let n(z) = 421*z - 143. Does 2 divide n(2)?
False
Suppose -44*o = -51*o + 4536. Suppose 5*n = 11*n - o. Does 4 divide n?
True
Let r(p) = 131*p - 59. Let c(v) = -v**3 + 3*v**2 + 5*v. Let y be c(4). Is 5 a factor of r(y)?
True
Let o = 189 + -187. Let j = 47 - o. Is j a multiple of 4?
False
Let p = -302 - -174. Let f be 5 + -5 + (1 - p). Let v = f - 26. Does 19 divide v?
False
Let j(u) = -5*u**2 - 2. Let g be j(-6). Let o = -50 + 38. Is 2 a factor of g/o + 1/(-6)?
False
Suppose -k = 3*u - 90, 0*u + u - 286 = -3*k. Suppose 20*w = 12*w + k. Is w a multiple of 9?
False
Suppose v = -3*x + 217 + 1436, -x = 2. Is v a multiple of 17?
False
Let y(l) = -58*l**3 + 17*l**2 + 33*l + 38. Is y(-8) a multiple of 66?
True
Suppose -4*r = -3*c - 0*r + 16660, 3*r = -2*c + 11084. Does 19 divide c?
True
Let s be (-26)/(-78) + (0 - 22/(-6)). Suppose -3*l = -l + s*j - 1926, 4*l - 3*j - 3852 = 0. Suppose 1281 + l = 17*t. Is 15 a factor of t?
False
Let q be (-3650)/6 - 2/3. Let l = q + 1042. Suppose 157 = -4*x + l. Is 17 a factor