e
Suppose 4*f - 4*i - 8060 = 0, 6537 = 4*f - 5*i - 1522. Is 72 a factor of f?
True
Let f = -287 + 287. Is (f + 0)*1/(-2) + 494 a multiple of 26?
True
Suppose i + 19*a + 46191 = 2*i + 23*a, 5*a = 0. Is i a multiple of 89?
True
Suppose 2*w - 71 = -k, -5*w + 191 = -k + 17. Suppose 1470 = -23*v + 121*v. Let n = w - v. Does 6 divide n?
False
Let w(a) = -19*a**3 - 59*a**2 + 27*a + 265. Is 4 a factor of w(-9)?
False
Let k be 68692/6 + (-50)/(-150). Suppose 0 = -14*j + k - 1131. Is j a multiple of 11?
True
Let a(l) = -2*l**2 + 10*l + 11. Let q be a(6). Is q + (-2 - -1) - -5*97 a multiple of 21?
True
Suppose 0*j + 4*j = -0*j. Suppose -3*c = 5*i + 203, -2*c - 4*i + 5*i - 131 = j. Let v = -55 - c. Is 2 a factor of v?
False
Let a = 236 - 187. Suppose 4*f - 3*f = 37. Suppose -a = -n + f. Is 15 a factor of n?
False
Does 9 divide -1*(15 - 3 - -11617)/(3/(-3))?
False
Let j(a) = 2*a**2 - 7*a - 11. Let p be j(5). Suppose 6*k = p*k. Suppose 0 = 5*n + 5*b - 515, 3*n - b + 2*b - 319 = k. Does 54 divide n?
True
Let x(g) = g**3 + 11*g**2 - 2*g + 17. Let m be x(-11). Suppose m*i + 101 = 40*i. Is 7 a factor of i?
False
Let a(b) = 3*b**2 - 3*b - 1. Let h(w) be the second derivative of -w**4/6 - 2*w**3 - 3*w**2 + 17*w. Let c be h(-6). Is 25 a factor of a(c)?
True
Let k = 33 - 45. Let t be ((-3)/k)/((-9)/(-396)). Suppose -t*l - 28 = -12*l. Is l a multiple of 2?
True
Suppose 3*l + 40 = -2*z, -3*l = 2*l + 20. Suppose 4*t - 5*t + 5*b = -7, -t = -b - 23. Let a = t + z. Does 7 divide a?
False
Let i = 640 - 654. Does 9 divide (-413775)/(-315) + (-6)/i?
True
Let f be 377/(-4 - 180/(-44)). Suppose 2*a - f = -9*a. Suppose -12*n + a = 89. Is n a multiple of 3?
True
Suppose r - 29*l = -25*l - 3, 0 = 3*r - 3*l - 18. Let b(v) be the second derivative of 13*v**3/6 - 41*v**2/2 + 2*v. Is b(r) a multiple of 19?
True
Let j be ((36/(-10))/(-3))/((-8)/(-20)). Suppose 5*a + 1782 = 4*t, -3*t - 2*a = -j*a - 1342. Is 12 a factor of t?
False
Let c = 121 + -124. Is 5 a factor of 502 + -99 + (c - (-1 + 2))?
False
Suppose 7*w - 5*w + 506 = -2*b, -2*w = 4*b + 506. Is 9 a factor of (-50140)/w - (-2)/(-11)?
True
Suppose 43*c + 369590 = -38*c + 107*c. Is c a multiple of 16?
False
Let k be 3/6 + 273/2. Let u = k + -91. Is u a multiple of 6?
False
Suppose 5*p + 1662 = 3*l - 0*l, 0 = -l - 2*p + 565. Is 7 a factor of l?
False
Let d(j) = 85*j**2 + 6514*j + 104. Is d(-79) a multiple of 77?
False
Does 15 divide -3 - -262*((-2)/4)/(1/(-14))?
False
Let z be ((-116)/(-8))/((-1)/2). Let c = z + 29. Is 7 a factor of (15 - c)/(-5) + 33?
False
Let y be (0/3)/(-10 - -8). Does 63 divide 84/(-7 - y)*63/(-2)?
True
Let z be (10/15)/(2/(-186)). Let p = -60 - z. Suppose 5*k = -0*k + 2*b + 943, 380 = p*k + 2*b. Is k a multiple of 9?
True
Suppose 49*u - 248171 = -10*u + 199934. Is 113 a factor of u?
False
Suppose -15*c = -9*c - 12. Is 12 a factor of (3/c)/(6/2440) + 0?
False
Suppose 45039 + 16699 + 19406 = 18*f. Is f a multiple of 92?
True
Suppose 2*d + 3*i - 7867 - 10100 = 0, -2*d - 5*i + 17985 = 0. Is d a multiple of 78?
True
Suppose 0 = 4*q + 3*i - 384, 0 = -q - 5*i - 7 + 86. Suppose -107*x + q*x + 2736 = 0. Is x a multiple of 19?
True
Suppose 479 = 5*l + 329. Is 5 a factor of 4/24 + 8545/l?
True
Suppose 2*a - 5*b - 7 = 0, 0*a + a = 3*b + 1. Let y(f) = f - 1. Let t(z) = 16*z - 8. Let n(x) = a*y(x) - 2*t(x). Is n(-3) a multiple of 16?
True
Suppose -6 = -63*f + 69*f. Is 3/(-15) + f/((-5)/4846) a multiple of 27?
False
Suppose -8*j = -12 - 572. Let h = j + -31. Let k = h + 4. Is 16 a factor of k?
False
Suppose -3*u - 5*x + 7129 = 0, -u = x - 1318 - 1059. Does 10 divide u?
False
Suppose 22*a = v + 26*a - 186, v - 184 = -5*a. Suppose 7 = -2*r + 45. Suppose r + v = o. Is 43 a factor of o?
False
Suppose 5*y + 122449 = 4*a + 1059, -151706 = -5*a + y. Is 41 a factor of a?
True
Let t = -38 + 119. Suppose 0 = -17*j + 761 - t. Is j a multiple of 3?
False
Let d = -19873 + 33419. Is 26 a factor of d?
True
Is 41 a factor of 1136/(-14)*23534/(-164)?
True
Suppose -2*t + 3*t = 3, 3*l - 5*t = 3333. Does 31 divide l?
True
Suppose -3*r = 165 - 4548. Suppose -30*d + 33*d - r = 0. Suppose -4*o - 131 = -d. Is 31 a factor of o?
False
Is 1974 + (9 - 14) + -9 a multiple of 40?
True
Suppose 1 = -21*a + 106. Suppose -4*c = -2*b - 710, 2*b = a*c - 0*c - 890. Does 6 divide c?
True
Suppose 2*k - 59500 = -3*z - 0*z, -3*k = -5*z + 99192. Suppose -z = -29*d + 9048. Is 18 a factor of d?
False
Let c(i) = i**2 - 3*i - 12. Let m = -80 - -52. Let b = -35 - m. Is 9 a factor of c(b)?
False
Let p be 6/2 - (-1 + 3 + -94). Let q = -182 + p. Let h = 109 - q. Does 14 divide h?
True
Suppose 0 = 3*z, -2*n + 40 = 2*z - 0*z. Suppose n*l - 1373 = 4867. Is l a multiple of 52?
True
Does 287 divide -16*1810/(-60)*-57*(-1)/2?
False
Suppose 138 - 132 = -2*w. Does 5 divide (-1)/w*3 + 462/11?
False
Suppose 3*h + 2*h + 1230 = 4*t, -3*h - 740 = -2*t. Is ((-136)/(-85))/((-2)/h) a multiple of 8?
True
Suppose -3 = -u - 2*g, 0 = -2*u + 5*g + 14 + 1. Suppose -653 = -u*x - 9*a + 6*a, 2*x + 5*a - 246 = 0. Is 19 a factor of x?
True
Let p(s) = -23*s + 129. Let b be p(5). Suppose -b*t - t + 15120 = 0. Is 17 a factor of t?
False
Let f = -5938 + 13833. Suppose -f - 1757 = -19*r. Is 30 a factor of r?
False
Let t(g) = g**2 - 2*g - 368. Is 9 a factor of t(43)?
True
Suppose -5*z + 10*z - 2*v + 22 = 0, 10 = z - 4*v. Let n be (-3)/((-4)/416*z). Does 5 divide n/(-2) - (2 + -3)?
False
Let h(z) = 683*z**2 + 33*z + 276. Is 8 a factor of h(-7)?
True
Let l(j) = -j**2 + 15*j - 15. Suppose -4*h + 0*t + 5*t + 113 = 0, 4*h = t + 93. Suppose 6*f = 38 + h. Is 7 a factor of l(f)?
True
Suppose 62*a + 222*a + 41077 = 267993. Is 2 a factor of a?
False
Suppose 3*s = -s + 2806 + 2074. Does 4 divide s?
True
Suppose 2*d = 3*v - 672, 3*v + 6 = 4*d + 1356. Let g = d - -558. Does 71 divide g?
False
Let v(i) = -97*i**3 - 3*i**2 - 5*i - 4. Let t be v(-2). Is t/3 - (10/15 - 0) a multiple of 64?
True
Suppose 24*h = 3*h - 42. Is 23 a factor of 90/(-42) - h - 5798/(-14)?
True
Suppose 4*w = -4*l + 7660, 19*w = 22*w + 5*l - 5755. Is w a multiple of 10?
True
Suppose -13336 = -4*o + 2*s, 2*o - 602*s - 6688 = -606*s. Is o a multiple of 8?
True
Is 9 a factor of 6583 - (3 - -24*(-1)/9)*0?
False
Let o(l) = -3*l - 32. Let i be o(-11). Let h(m) = 6*m**2 + 2*m**2 + 2*m + i - 5 + m. Is 34 a factor of h(4)?
True
Suppose 0 = 93*u - 1589578 - 1439804. Does 215 divide u?
False
Suppose 7 = 6*u - 5. Does 16 divide u/(-16) - (-15375)/120?
True
Suppose 0 = -3*u - 4*v + 812 + 474, 0 = u + v - 430. Suppose 1006 = 18*n - u. Does 10 divide n?
True
Let b = 888 + 480. Suppose 16*p - 7*p = b. Suppose -p = -0*i - 8*i. Does 19 divide i?
True
Suppose 46*y + 597 = 43*y. Let b be y*(-4 - -2)/2. Suppose 242 = 4*r + 2*h, 0*r + 3*r = 2*h + b. Does 21 divide r?
True
Let b(c) = -c - 3. Let g be b(-1). Does 5 divide (49/14)/((-1)/(g - 0))?
False
Suppose 0 = 5*b + t + 273, -8*t = -5*b - 3*t - 255. Suppose -45 = 5*o - p + 6*p, 4*o = -5*p - 36. Let m = o - b. Is m a multiple of 7?
False
Let b(q) = 18*q + 4. Let y(h) = 2*h - 1. Let m(p) = -b(p) - 3*y(p). Does 18 divide m(-14)?
False
Let q = -4069 - -6049. Does 44 divide q?
True
Suppose -8*s = -379 + 299. Suppose 0 = -0*g - 4*g - 3*p + 1826, -5*p + s = 0. Is 18 a factor of g?
False
Suppose 1908 = 9*j + 558. Let b(s) = -s**2 - 4*s + 3. Let w be b(-3). Suppose -w*m = -180 - j. Is 4 a factor of m?
False
Let y be 27/(-2)*4*-2. Let m = -107 + y. Is 11 a factor of 24/(-16)*(94/(-6) + m)?
True
Let j = 122 + -126. Let h(u) = u**3 + 5*u**2 + 6*u + 10. Let r be h(j). Suppose -r*p + t = -318, 5*p - 2*t = 2*p + 478. Is p a multiple of 11?
False
Suppose d + 5*d - 102 = 0. Suppose -4*a = 4*l - 2*l - 22, 5*l + d = 2*a. Let q = 68 - a. Is 23 a factor of q?
False
Suppose 7*d = -4*m + 10*d - 99, 9 = -3*d. Let s = 16 + m. Let i = 10 - s. Does 21 divide i?
True
Suppose -130*n - 5*p = -134*n + 4861, 5*n = -5*p + 6110. Is n a multiple of 70?
False
Is (45/(-10))/(8/(-169600)*2) a multiple of 12?
True
Let k = 36 - 34. Suppose -5*f - 15 = -5*x, 5*x - 7 - k = 3*f. Is 222/(6 + f) + 2 a multiple of 19?
True
Let n(p) be the first derivative of p**4/4 + 11*p**3/3 - 5*p**2 - 24*p - 79. Is 25 a factor of n(-10)?
False
Does 29 divide (-62244)/(-252) + 0 + 14?
True
Suppose -3*g - 6*i + 7 = -i, 17 = 5*g + 3*i. Suppose -x = g*y - 31, 2*y - x - 16 - 1 