e
Let i(d) = -55*d**2 - 8*d - 8. Let w be i(-2). Let l = 266 + w. Does 18 divide l?
True
Let u = -7 + 19. Suppose 0 = -3*y + 15, 5*r - 5*y = -2 - 3. Suppose c = -2*c + 4*k + 108, r*k = -u. Does 5 divide c?
False
Let b(f) = -81*f + 209. Let o be b(-16). Let s = o - 792. Is s a multiple of 23?
True
Let c(o) = 13*o**2 - 46*o + 56. Is 50 a factor of c(-6)?
True
Let i(g) = -g**2 + 18*g + 25. Let q be i(19). Suppose -2*t + 52 = -1496. Suppose -12*r = -q*r - t. Is 22 a factor of r?
False
Suppose -8*d + 33 = -15. Is (171/d)/((54/48)/9) a multiple of 33?
False
Suppose -36*z + 32*z - 452 = 0. Let j = z - -263. Suppose 2*l - j = 130. Is 34 a factor of l?
False
Let y(u) = 119*u**2 + 89*u + 505. Is y(-5) a multiple of 12?
False
Suppose 2887 = 12*d + 231 - 200. Is d a multiple of 6?
False
Let n(o) = 2671*o + 2307. Does 18 divide n(6)?
False
Let y = 1789 - 1210. Does 17 divide y*1 + -21 + 20?
True
Let a(h) = 12*h**2 - 3*h - 17. Let i(m) = -9*m + 41. Let d = -83 - -88. Let r be i(d). Does 17 divide a(r)?
True
Let f = 94 - 192. Let x be 1/(-1) + f/(-7). Suppose 0 = -2*a - x*a + 1140. Does 38 divide a?
True
Suppose 4*p + 210 = -70. Let v = p + 136. Let b = v + -40. Is 13 a factor of b?
True
Suppose -31*i - 20*i + 40*i + 21978 = 0. Is 74 a factor of i?
True
Let u(w) = w**2 - 14*w. Let z be u(14). Suppose 182 + 19 = q - 4*r, 5*q - 4*r - 925 = z. Is 21 a factor of q?
False
Suppose -10*z + 5*z = 0. Is 4 a factor of 4*(-47)/(-4) + z + 3?
False
Suppose 0 = -412*p - 991426 + 6638298. Is 7 a factor of p?
True
Let v be 5/((-3)/(-5) - (-2)/5). Suppose v + 193 = 3*b. Is 11 a factor of b?
True
Let h = -229 + 229. Let l = h - -38. Does 38 divide l?
True
Let m = -10838 - -32862. Does 8 divide m?
True
Let t be (-128 - 0) + (-17 - -16). Let q = t - -194. Let k = -17 + q. Does 26 divide k?
False
Let g(n) = -n**3 - 2*n**2 + 10*n - 15. Suppose 0 = -2*u - 4*f + 20, 4*f - 9 = f. Suppose 2*v + u*j + 0 = 8, -5*j + 7 = 3*v. Is 10 a factor of g(v)?
False
Let y = -40 + -23. Let a be y/(-6)*(-14)/(-7). Is 3 a factor of a/(-14)*(0 - 4) - 2?
False
Let v(h) be the second derivative of -h**5/20 - h**4 - 5*h**3/6 + 19*h**2/2 + h - 20. Does 13 divide v(-14)?
True
Suppose -7151416 = -104*p - 240*p. Is p a multiple of 63?
False
Suppose -695 = -2*n - 3*x + 200, 0 = -3*n + x + 1315. Is 40 a factor of n?
True
Let v be -1587*5/(-2 - 13). Suppose w = 26 + v. Does 12 divide w?
False
Suppose -2*h - 7 = -9. Let a be h/(1 - (-400)/(-395)). Let z = 135 + a. Does 7 divide z?
True
Let v(z) be the second derivative of -7*z**3/3 - z**2 + 2*z. Suppose 0*c + 9 = -9*c. Is v(c) a multiple of 5?
False
Suppose -19*l - 44*l + 2921316 = -241347. Is 211 a factor of l?
False
Let m(r) = 2*r**3 - 11*r**2 - 4*r + 9. Let h be m(6). Suppose -h*o - 136 = -22*o. Suppose 0 = 8*t - 6*t - o. Does 34 divide t?
True
Let k(v) = -v**2 + 6*v. Let q be k(8). Suppose 7*y + 45 - 31 = 0. Does 7 divide q/((-90)/42 - y)?
True
Let a be (0 - 0*6/(-18))/(-1). Suppose 5 = -5*k, 31*o - 28*o - 3*k - 1233 = a. Does 28 divide o?
False
Let b be 84/105*30/4. Suppose 945 + 6399 = b*p. Is 17 a factor of p?
True
Let g(w) = -1557*w - 411. Does 17 divide g(-6)?
False
Let q be 6 - (6*-75 + 6). Suppose -3*f = -q - 471. Is f a multiple of 22?
False
Suppose -159*j = -157*j + 866. Let y = j - -559. Is 14 a factor of y?
True
Let x = -13655 - -19583. Does 52 divide x?
True
Let j(x) = -3*x - 12. Let d = 16 + -22. Let n be j(d). Suppose 0 = n*z - 2*z + 4, z - 129 = -b. Is b a multiple of 17?
False
Suppose 21*j + 3276 = -18*j. Let g = j - -527. Is 19 a factor of g?
False
Let i(r) = 1 + 225*r**2 + 5*r**2 + 155*r**2 - 26*r - 2. Is 13 a factor of i(1)?
False
Let d(j) = j**2. Let t(b) = 3*b**2 + 5*b - 12. Let o(f) = 3*d(f) + t(f). Let p be o(5). Suppose 0 = -c + p - 39. Does 22 divide c?
False
Let d = 378 - 375. Suppose -o + n + 132 = 0, -d*o + n = 64 - 460. Does 12 divide o?
True
Suppose 234*g + 2862 = 240*g. Let o = g - 261. Is 24 a factor of o?
True
Suppose 187 + 114 = 7*x. Suppose 4*u = b + x - 70, 0 = -4*u + 16. Is 2 a factor of b?
False
Suppose 2*u = 7*u + h - 506, -3*u + 308 = 5*h. Suppose 3*a - u = y + 392, 3*y = 2*a - 331. Suppose -a = -3*d + 40. Is 34 a factor of d?
True
Suppose -r = -2*w + 10, 0*r + 2*r + 14 = -2*w. Let x(b) = b**2 + 7*b - 5. Let f be x(r). Suppose 3*k = -15, -f*z - 4*k + 100 = 2*z. Is z a multiple of 3?
True
Let l = -28621 + 41862. Does 10 divide l?
False
Suppose 5*g + 5*h + 317 = 9*g, 5*g - 355 = -2*h. Is (-5 - -3) + g - (-3 + 4) a multiple of 4?
False
Is 7 a factor of -17 + 0/4 - -14038?
True
Suppose -47*j + 672705 = 118*j. Does 27 divide j?
True
Suppose 5*v + 5*f + 3 = 9*f, -4*v = 5*f + 27. Does 66 divide v + 1516 + 0 - -7?
False
Suppose -5*z - 2*b = -2736, -98*z + 99*z - 534 = 4*b. Is 4 a factor of z?
False
Suppose -3*z - c + 55652 = 0, -38*z + 37092 = -36*z - 4*c. Is z a multiple of 53?
True
Suppose 6*v = -74*v - 85*v + 1118040. Is v a multiple of 44?
True
Suppose -14*o = -4*o - 450. Suppose o*h - 52*h = -469. Is 23 a factor of h?
False
Let t(f) = -37*f**2 - 4*f - 2. Let x(y) = -32*y**2 - 3*y - 3. Let n(k) = 4*t(k) - 5*x(k). Suppose 0 = 2*p + 3 - 9. Is 16 a factor of n(p)?
True
Let y = 149 - 147. Suppose 139 = y*l - 37. Does 8 divide l?
True
Suppose d = 29*d - 84. Suppose h - 35 = -33, -3*h = -d*i + 1014. Does 11 divide i?
False
Let r(y) = -16*y**2 - 1544*y - 38. Is r(-64) a multiple of 11?
True
Suppose -11*t - 305 = 135. Is (4/(-5))/((-8)/t) + 81 a multiple of 7?
True
Suppose -2*z = 3*j + 99, -6*z = -7*z + 3*j - 45. Let b be (-36)/(2*(-3)/15). Is (b/40)/((-2)/z) a multiple of 10?
False
Suppose 0 = 3*a + 227 - 203. Is ((-6)/(-8))/(a + 1474/184) a multiple of 2?
False
Suppose 619*a + 5*o + 105815 = 623*a, 2*a - 52895 = 5*o. Is a a multiple of 36?
True
Let q = -17 + 15. Let r be (5/(-2) + 1)*12/q. Suppose 8*f = r*f - 50. Does 8 divide f?
False
Let k = 1190 + 4378. Does 58 divide k?
True
Let d(l) = 2*l**2 + 4*l + 4. Let j be d(-1). Does 17 divide (25/(-5))/(j/(-34))?
True
Let t(h) = -h**3 - 3*h**2 + h + 3. Suppose 7*k + 15 = -6. Let w be t(k). Suppose w*f = -3*f - 3*m + 300, -110 = -f + m. Is f a multiple of 19?
False
Suppose -18*s = -10*s + 1280. Let n = -89 - s. Suppose 4*k + 3*q - n = 0, 3*k + 2*q = -0*q + 54. Does 20 divide k?
True
Let w(h) = 3*h - 14. Suppose -13*k + 7 = -97. Does 5 divide w(k)?
True
Suppose -2*j - 4 - 76 = 0. Let w = -38 - j. Suppose 0*q - w*q + 16 = 0. Is q a multiple of 4?
True
Let m = 24 - -65. Let o = -18 - -17. Let u = m + o. Is u a multiple of 11?
True
Let j(b) be the first derivative of 5*b**3/3 - b**2/2 - 2*b + 16. Let o be j(-1). Suppose 5*w - 410 = -2*s + 4*s, -325 = -o*w + s. Is 10 a factor of w?
True
Suppose -x + 0*x - c + 52 = 0, 5*x + 2*c - 269 = 0. Let w be 2*2 + (-11)/(x/(-30)). Suppose 0 = -w*f + 1507 - 237. Is 7 a factor of f?
False
Suppose 3*q - 5*q - 520 = 2*c, 0 = -5*q + 4*c - 1327. Let x = 365 - q. Does 85 divide x?
False
Suppose -5*h = 17 + 343. Is (-8)/36 - 15424/h a multiple of 18?
False
Suppose 0 = 18*j - 74 + 20. Suppose 4*x - 1122 = j*c, x - 323 = -c - 39. Is 47 a factor of x?
True
Does 7 divide (-66335)/(-7) - (-68)/119?
False
Let d(j) = -j**3 + 34*j**2 + 54*j - 330. Is d(25) a multiple of 17?
False
Let z be ((-11)/((-66)/(-18)))/(21/(-4081)). Let f(b) = -82*b + 7. Let n be f(5). Let s = z + n. Is 10 a factor of s?
True
Suppose -19*o + 22*o + 5*g = 991, -4*o - g + 1327 = 0. Is 7 a factor of o?
False
Let d(l) = -77*l - 1. Suppose 0 = -y + 5*f + 12, -2*y - 3 + 9 = -4*f. Let b be (2/(-1 - y))/((-5)/10). Is d(b) a multiple of 14?
False
Let t = -242 - -265. Suppose -t*c - 2508 = -29*c. Is c a multiple of 19?
True
Let u(f) be the first derivative of f**4/4 - 2*f**3/3 + 7*f**2/2 - 10*f - 2. Does 6 divide u(5)?
False
Is ((1 + 30)*-15)/((-117)/3627) a multiple of 155?
True
Let o(u) = u**3 - 11*u**2 - 2*u + 24. Suppose 4*v + 8 - 37 = 5*d, -50 = -4*v - 2*d. Let m be o(v). Does 5 divide 189/6 + m/(-4)?
False
Let i = 115 - 129. Does 8 divide 4/i - (-4732)/98?
True
Suppose 3*t = 62 + 124. Suppose s + 429 = 4*a, s = a - 49 - t. Does 4 divide a?
False
Let j(a) = -a**3 + 17*a**2 - 17*a + 18. Let u be j(16). Suppose x - 17 = -5*p + 2, -2*x - u*p = -6. Does 35 divide x*5*(4 + -18)?
True
Suppose -6*v + 30 = 5*p - v, 24 = 5*p + 3*v. Suppose 0 = 3*q + o + 175, p*o = q - 0*o + 75. Let m = q - -216. Is m 