e
Suppose q - 11 = -r, -3*q + 2*r + 69 = 2*q. Suppose -9*b + 220 = -q*b. Does 5 divide -1*(1640/b + 4/(-22))?
True
Suppose -55*s + 32*s = -168843. Suppose 13*k - 2214 = s. Does 22 divide k?
False
Is (-10)/3 + (-1513889)/(-303) a multiple of 20?
False
Suppose z = 5*z - 272. Suppose z*c - 55 = 67*c. Does 25 divide c?
False
Let v = -247 - -257. Suppose 0 = -3*m - 4*k + 1985, 5*m + 14*k = v*k + 3319. Is m a multiple of 37?
False
Suppose 0 = 38*c - 264151 - 146261 + 122866. Is 23 a factor of c?
True
Let d be 0/((-9)/((-9)/(-2))). Suppose d = -4*j - 3*u - 2534, -j - 3177 = 4*j - u. Let i = -424 - j. Does 27 divide i?
False
Suppose 26*g = 7*g - 7011. Let c = g + 491. Does 9 divide c?
False
Is 0 + 1383 + 3 + 6 + -7 + -5 a multiple of 10?
True
Let y(q) = q**3 + 7*q**2 + 3*q + 23. Let x(m) = -m**3 + 2*m**2. Let p(a) = 2*x(a) + y(a). Does 2 divide p(11)?
True
Let b be (-2 - 16)*(-9)/2. Suppose 27*j = 24*j + b. Suppose 0 = -j*u + 23*u + 60. Is u a multiple of 7?
False
Let h(k) = -k**3 - 25*k**2 + 25*k + 61. Let t be h(-26). Let s = t + 531. Is s a multiple of 31?
False
Let h = 37494 - 33990. Is 6 a factor of h?
True
Suppose 3*m = -2*w + 1106, -2*m - 4*w = -m - 372. Suppose -151*b = -152*b + m. Does 19 divide b?
False
Let c = 93 - 93. Suppose c = -5*s - 4*q - 0*q + 512, -3*q + 410 = 4*s. Let l = -20 + s. Does 14 divide l?
True
Suppose -44*i - 3 = -41*i, 5*y = -5*i + 335. Does 10 divide y?
False
Let l = 12953 - 193. Is l a multiple of 145?
True
Suppose -z = -314 + 314. Suppose -11*a + 6*a - 3*v = -4538, 2*a - 3*v - 1832 = z. Is a a multiple of 14?
True
Suppose -y + 4*v + 18928 = 0, 2*y - 7*v = -8374 + 46228. Does 20 divide y?
True
Suppose 31*x = -43*x - 10*x + 620592. Is x even?
True
Suppose g - 5*g = 4*a - 5800, -5*a + 4348 = 3*g. Let t = 2465 - g. Is 26 a factor of t?
True
Let c = 118 - 118. Suppose 2*t + 5*i = 4*i - 8, 2*t + 3*i + 16 = c. Is t/3*-84 - (2 - 5) a multiple of 12?
False
Let j be (5 + (-1145)/(-10))/(3/(-12)). Let m = 110 - j. Does 14 divide m?
True
Suppose -5*z + 24327 = 5527. Is z a multiple of 16?
True
Suppose -4*s = -c - 7, -c - 5 = 4*s + 2*c. Let v be 2*s/5 - (-37)/(-5). Is 7 a factor of v/(-2) - 2/(-4) - -62?
False
Suppose 0 = -3*b + 2*y - 1 + 15, -2*b - y + 7 = 0. Suppose 98 = b*l - 2. Suppose -k + 5 = 0, 4*q - l = 3*k + 96. Is q a multiple of 4?
False
Let v = -75741 + 106593. Does 36 divide v?
True
Suppose 0 = -18*g + 51 + 3. Suppose 5*n - 184 = g*h, -2*h + 3*h = -5*n + 192. Is 10 a factor of n?
False
Let y(a) = 31*a**2 - 13*a + 7. Let i be y(4). Suppose h + i = 2*l, -2*l + 164 = h - 289. Is 15 a factor of l?
False
Let l(r) = 400*r + 1830. Does 14 divide l(4)?
True
Let h(q) = q - 25. Let i(g) = -2*g + 51. Let c(t) = 7*h(t) + 4*i(t). Let x(a) = a**3 + 2*a + 1. Let z be x(-2). Is c(z) a multiple of 28?
False
Let p = 14625 - 9917. Is 87 a factor of p?
False
Suppose 4581 + 4791 = 5*s - 2*r, 5592 = 3*s + 4*r. Is 8 a factor of s?
True
Does 12 divide 1 + (-5 - -1) + (6267 - -46)?
False
Let u = 114 - 127. Let r(a) = a**2 + 5*a + 100. Is 17 a factor of r(u)?
True
Let k = 119 + -279. Let q = 329 + k. Is q a multiple of 30?
False
Let n be ((-66)/(-3) - 0)*1. Let t = n + -68. Let d = t + 65. Does 4 divide d?
False
Suppose -5*i + 116 = -l, -4*i - 136 = -9*i - 4*l. Suppose i*y + 28*y = 54912. Is 96 a factor of y?
True
Suppose 5*h = b - 76, -10*h = -5*b - 8*h + 311. Let q = 80 + b. Is q a multiple of 47?
True
Suppose 0 = l + 4*w + 13 - 2, 2*l - 3*w = 0. Does 6 divide (55 - 5) + -6 - l?
False
Suppose 3*s - 8*s + 1925 = 0. Is 56 a factor of s/55 + 442 + -1?
True
Suppose 4*t + 12*g = 9*g + 2285, 585 = t - 2*g. Let p = 1313 - t. Is p a multiple of 16?
False
Suppose 2213*c - 197960 = 2203*c. Does 14 divide c?
True
Suppose -11000 = -5*u + g, u + 2*u + 3*g - 6600 = 0. Does 44 divide u?
True
Suppose -x + 254 = -t, 0*t = 3*t - 12. Suppose 1 + x = l. Does 24 divide l?
False
Is -2 - 2 - ((-315)/(-18) - 8)*-42 a multiple of 6?
False
Is ((-6)/5)/(104861/8740 + -12) a multiple of 3?
True
Suppose -3*l + 256050 = 17*k, -3 + 38 = -5*l. Does 10 divide k?
False
Is 25 a factor of 9 + (-196)/21 + 1193423/33?
False
Let r = 425 + -423. Suppose 4*s - 2*g - 246 = 0, r*g + 2*g = -4*s + 264. Does 7 divide s?
True
Suppose -5*g + f + 1110 = 0, 5*f - 4*f = 0. Let u = g + -42. Is u a multiple of 18?
True
Suppose 0 = -217*i + 357*i - 125580. Is i a multiple of 13?
True
Suppose 0 = 343*n - 359*n + 1792. Does 2 divide n?
True
Let b = 3 - 1. Suppose 0 = -3*v - 9, -4*m + 184 = 5*v - 277. Is b/7 + 9129/m a multiple of 7?
True
Suppose -13*a + 46 = -11*a. Suppose -2*t = 2*x + 15 + 7, -5*t = x + a. Let j(p) = 2*p**2 - 3*p - 32. Does 15 divide j(x)?
True
Suppose 286*s - 274*s - 81001 = 57311. Does 17 divide s?
True
Let i(c) = 1 + 6*c + 4*c**2 - 2 + 4 - 7*c. Let b be i(-3). Let k = -14 + b. Is 14 a factor of k?
True
Let u(b) = b**3 + 9*b**2 - 23*b + 6. Suppose 3*v = -2*l - 8, -26 = -6*v + 7*v - 4*l. Does 84 divide u(v)?
True
Let n(u) = 30*u. Suppose 0 + 17 = 3*h + 2*k, -5*h + 19 = k. Suppose -z + h = 2. Does 6 divide n(z)?
True
Let p(q) = -3468*q - 4184. Is 12 a factor of p(-14)?
False
Suppose 24*c - 36*c = -792. Does 5 divide (5 + -2)/(c/1760)?
True
Let f = -16318 - -27731. Is f a multiple of 20?
False
Let o be 1142/6 - (-6)/9. Let r(y) = -o*y + 3 + 1 - 2 + 221*y. Is 23 a factor of r(3)?
True
Suppose 57*y = -5*p + 55*y + 17688, 5*p + 3*y = 17692. Is 17 a factor of p?
True
Suppose 0 = -4*b + 9*b - a + 3166, 3*b = a - 1898. Let u = b + 1789. Is 55 a factor of u?
True
Let l be 27 + 4/(-14) + 8/28. Let q be -4 - 9/(l/150). Let d = 94 + q. Does 8 divide d?
True
Let m be 5/2 + 10/20. Suppose -179 = -4*y + v, 2*v - 143 = -m*y + v. Does 3 divide y?
False
Let g be 0/(10/15 + 33/(-9)). Let b(h) = h**3 + 11*h**2 + 3. Let x be b(-11). Suppose -x*t + g*t + 210 = 0. Is 18 a factor of t?
False
Suppose 6 = -0*m + m. Let j(y) = y**2 - 8*y + 16. Let q be j(m). Is 54 a factor of (-24 + 22)*(-430)/q?
False
Suppose 0 = g + 2*v - 9, -v + 18 = -3*g + 5*g. Suppose -4*a = -3*b - 90, b = g*a - 13*a + 98. Is a a multiple of 19?
False
Let s be 2/(-10)*(-2 - 13). Suppose 4*m = 5*j + 18 + 20, -s*m - 2*j + 17 = 0. Suppose 0 = -d + 11 + m. Is 12 a factor of d?
False
Suppose -12*f + 25 + 23 = 0. Suppose f*i - 783 - 757 = 0. Is 55 a factor of i?
True
Let j(a) = 3*a**2 + 12*a + 22. Let b(g) = -g + 1. Let m(l) = 3*b(l) + j(l). Is m(-5) a multiple of 9?
False
Let h = 21 - 18. Suppose m - 357 = h*k, m - 362 = 6*k - 8*k. Is 36 a factor of m?
True
Let m = -6 + 7. Let q(r) = 2*r**3 + 14*r**2 + 12*r + 4. Let z be q(-6). Is 8/((z/18)/m) a multiple of 9?
True
Suppose -37015 = w - 6*w - 5460. Is w a multiple of 17?
False
Suppose 3*c + 20 = 2*u - c, 2*u + 3*c - 13 = 0. Suppose -u*r - r + 27 = 0. Suppose a - 516 = -r*s, 5*s + 2*a - 53 = 807. Does 17 divide s?
False
Suppose 4*r + 124 = 32. Let q(t) = -14*t - 138. Let k be q(-10). Let u = k - r. Is 5 a factor of u?
True
Suppose -10*h - 1201 = -5*r - 6*h, 0 = 3*h + 12. Let k = 365 - r. Is 8 a factor of k?
True
Suppose -2*i + 4*h = -0*i + 12, 5*h - 41 = -4*i. Let l be 2 + (-10)/i + 259/(-2). Let o = -70 - l. Does 7 divide o?
False
Let u(x) = -11*x - x**2 + 7 + 0 - 5 + 4. Is u(-3) a multiple of 5?
True
Suppose -25*f + 14*f = -209. Does 35 divide 98/6*(f + 8)?
False
Is 11 a factor of (264/9)/((-13)/(-897))?
True
Suppose 2*t - 4*o = 2174, -o + 32 - 34 = 0. Is t a multiple of 3?
True
Let k be (-2)/(-9) + (-56)/9. Let y be (-6)/(-33) - 1261/(-143). Is 18 a factor of (242/k)/(y/(-27))?
False
Let s(u) = u - 10. Let p be s(6). Let m = 8 + p. Suppose 5*w + 307 = m*k, 65 = 3*k + 5*w - 209. Does 29 divide k?
False
Let u = -986 + 1804. Let w = u - 779. Is w a multiple of 13?
True
Let c = 378 - 372. Let y(i) = 11*i**2 - 15*i - 6. Let u(d) = -21*d**2 + 31*d + 11. Let b(w) = 3*u(w) + 7*y(w). Is b(c) a multiple of 36?
False
Suppose i - 28805 = 7826 - 11179. Does 14 divide i?
True
Suppose 5*s + 13*x = 12*x + 11340, -3*x = -3*s + 6786. Does 10 divide s?
False
Let l be (7 - 2 - -21)/1. Suppose -1106 = -j - l. Is 10 a factor of j?
True
Suppose 19*y - 126 = y. Let k = 2 - 9. Is (-129)/k - 3/y even?
True
Let l(g) = 7*g + 21. Let x be l(-4). Is 54 a factor of x/(28/(-645)) + 12/16?
True
Let f be (-2 + 13 + 1)*36/54. Suppose -f*v = -11*v + 2673. Suppose 6*o - v = -3*o. Does 33 divide o?
True
Let w(h) = 24*h.