e
Let d = -1728 - -8463. Does 5 divide d?
True
Let n = 4537 + -3250. Does 143 divide n?
True
Suppose 5*j = 3*y + 30 + 15, 2*y + 30 = 2*j. Does 23 divide 2/(-3) + -3 + (-5575)/y?
True
Is 4037/4 - (-693)/396 even?
False
Suppose -4*z - 1812 = -o + z, -4*o = 3*z - 7156. Suppose -19*g + o = -11*g. Is g a multiple of 56?
True
Let f(l) be the first derivative of l**2 + 29*l - 7. Let d be f(-13). Suppose 5*v - 310 = 5*w, -1 - 185 = -d*v + 4*w. Is 19 a factor of v?
False
Suppose -3*f + 81 = 3*p, -3*p + 58 = -4*f - 44. Let r be -4 - p/(-7 + 2). Is 12 a factor of 113 - (-2 - -6) - r?
False
Let c(o) = 3*o**3 - 8*o**2 - 21*o - 7. Let b be c(9). Suppose 0 = -3*k + 5*f + b, -894 = -k - k + 4*f. Does 7 divide k?
False
Let h be 16/(-3) - 1/(-3). Let n(i) be the third derivative of i**5/10 - 13*i**4/24 - 11*i**3/6 + 10*i**2 + 73*i. Is n(h) a multiple of 34?
True
Let o = -395 - -538. Suppose 4*k - 996 = -w, 2*w + w = 2*k - 512. Let s = k - o. Is 10 a factor of s?
False
Suppose -4*v = -3*i + 59212, 19469 - 157537 = -7*i - 4*v. Is i a multiple of 24?
True
Suppose -2*u = 3*m - 711, 3*m - 472 = m - 2*u. Suppose 0 = -3*k + c - m, -4*k + 0*c - 322 = -3*c. Let j = 85 + k. Does 4 divide j?
False
Let v(o) = -o**3 - 2*o**2 - 14*o + 198. Does 19 divide v(0)?
False
Let f be 12*(0 - -1)*1274/196. Let u = f - -206. Does 6 divide u?
False
Let q(d) = -d**3 - 35*d**2 - 54*d - 105. Does 7 divide q(-35)?
True
Suppose -4*j = 5*y - 27, -3 = y + 2*y. Let x(q) = q**2 - 14*q - q**3 + 0*q**3 + 35*q + j - 24*q. Does 2 divide x(0)?
True
Let a(m) = -m**2 - 12*m + 32. Let c be (-2)/(-11) + 2808/(-198). Let h be a(c). Suppose -p = l - h*p - 42, 4*p - 16 = 0. Is 4 a factor of l?
False
Is 68 a factor of (13 - (-300)/(-24)) + (-16502)/(-4)?
False
Let b be (1 - -5)*(-55)/(-10). Let l = -9 + b. Is 8 + 450/l - 2/(-8) a multiple of 4?
False
Let z = -1774 + 2807. Is z a multiple of 83?
False
Suppose -3*y - 2*z + 0*z + 116 = 0, -192 = -5*y - 4*z. Suppose -7*l + y = -8*l. Is 15 a factor of (82/8 + 1)/((-15)/l)?
True
Let r(g) = -g**3 - 12*g**2 + 16*g + 44. Let z be r(-13). Suppose -3*o - p = p - 577, 995 = z*o - 5*p. Is o a multiple of 20?
False
Suppose 2*q - 23 = -3*t + 246, -3*t + 268 = q. Let w = -75 + t. Is 2 a factor of w?
True
Let l be -20*13*(-1)/2. Suppose -m - h + 109 = 0, -3 = -8*h + 7*h. Suppose -2*i = -x + l, 2*i = -5*x + 520 + m. Does 21 divide x?
True
Let c(k) = 79681*k + 233. Is 62 a factor of c(1)?
False
Suppose -x - 2*k = 2*k + 105, 5*x + 630 = k. Is 25 a factor of (-99)/3*x/15?
True
Let m be 6*(-1 - 0) - (-12 - -8). Does 13 divide (-71)/(-4) + 5/4 + m?
False
Let q = 952 - 1867. Let u = 1305 + q. Does 6 divide u?
True
Let r(f) = 15*f**2 - 6*f - 41. Let o(b) = -2*b - 75. Let s be o(-35). Is 28 a factor of r(s)?
True
Suppose 34*o - 432 = -14*o. Suppose 5*b - 1265 = -2*n, 770 = o*b - 6*b - n. Does 15 divide b?
True
Suppose 4*u + 4*p = 40, 2*u - 5*p - 3 = -18. Suppose -4*z - 3 = u*c, -3*z + 0 = 2*c - 3. Does 6 divide z/9 - 265/(-15)?
True
Suppose 4*i + 49 + 11 = 0. Let d be i*3/9*6. Is (-1124)/(-10) - d/(-75) a multiple of 14?
True
Suppose 0 = -13*v - 4*v + 18513. Suppose -v = -3*a - 81. Is 15 a factor of a?
False
Let l(b) = b**2 + 10*b - 39. Let p be l(-13). Suppose p = 13*r - 905 - 3710. Does 15 divide r?
False
Is 9 a factor of 2/(-4)*4*(-16200)/16?
True
Let p(o) = 4*o**2 - 4*o - 4. Let m be p(-2). Suppose 2*x + 6 = m. Suppose 66 = 2*b + z, 0 = -2*b + 2*z + 85 - x. Is b a multiple of 7?
True
Let x be 2 + 0 + (-13 - 135). Let k = -61 - x. Is 17 a factor of k?
True
Suppose -3*c + 15727 = -a, -2*c + 3*a + 10492 = 6*a. Does 107 divide c?
True
Let g = 32 + -27. Suppose 3*z - 9 = o - 1, -16 = z - g*o. Is 10 a factor of (-8 + -3)/((-1)/z)?
False
Let z(o) = 19*o - 5*o**3 - 11*o**3 + 3 + 15*o**3 + 2 + 18*o**2. Let p be z(19). Suppose 2*h + d = -44 + 149, -p*d + 101 = 2*h. Is 12 a factor of h?
False
Suppose 28*x - 2162 = 862. Is 6 a factor of x?
True
Let h be 553 + (-8)/12*15/2. Let t = h + -338. Is t a multiple of 15?
True
Let d = -13 + -5. Let b = 1 - d. Suppose 0 = 4*t - 5*g + b - 48, 3 = g. Does 5 divide t?
False
Let b be (-2 - 0) + -405 + 0. Let c be b/3 - (-2)/(-6). Let f = 206 + c. Is f a multiple of 35?
True
Suppose 3*v - 5*t = 1351, 0 = -4*v + 9*v + t - 2261. Is v a multiple of 16?
False
Suppose 2*z - 5*k + 13 = 3*z, 2*z = -3*k + 5. Let d be (3 - (-1 + 4))/z. Suppose d*g = -2*g + 154. Is g a multiple of 25?
False
Let j(o) = 2*o**2 - o + 4. Let a(h) = -11*h**2 + 29*h - 54. Let s(t) = -a(t) - 4*j(t). Is 20 a factor of s(18)?
True
Suppose -4*a - 492 = -2*x, -139 + 631 = -4*a - 3*x. Suppose 9*c = 11*c + 588. Let p = a - c. Does 16 divide p?
False
Suppose 0 = 148*u - 55*u - 9765. Is 7 a factor of u?
True
Let j be 6/(-9) + 56/(-6). Let i be j/4*((-72)/15)/4. Suppose -2*v + 71 = -i. Is v even?
False
Let s = -1196 + 664. Let m = 929 + s. Is m a multiple of 35?
False
Let v = 1221 - 441. Does 9 divide v?
False
Let u(o) = -o**2 + 5*o + 12. Let z be u(6). Suppose 0 = 3*d - z*d + 375. Suppose d - 35 = c. Is c a multiple of 15?
True
Let v(n) = 2*n**3 - 19*n**2 + 12*n - 22. Let b be v(9). Suppose -b*k - a + 42 = -2198, 3*k - 1344 = 4*a. Does 10 divide k?
False
Let x = 38 - 45. Let y = x + -3. Let l(i) = -i**2 - 14*i - 19. Does 7 divide l(y)?
True
Let s be (-82)/(-20) - (-2)/(-20). Does 58 divide s/(16/2636) + -7?
False
Does 14 divide 2536/6*(-15 + (-105)/(-4))?
False
Suppose 5*m - 77323 = -4*x, -96575 = 435*x - 440*x + 5*m. Does 25 divide x?
False
Let b(r) = 4*r + 6. Let l be b(-11). Let a = l + 40. Is 21 - (2/6 + a/(-6)) a multiple of 7?
True
Let o be 36 + (-3)/(24/(-56)). Suppose 59*w - o*w = 11600. Is w a multiple of 8?
False
Let w = 544 + -519. Suppose 0 = 55*y - 6185 + w. Does 57 divide y?
False
Let x(j) = -2037*j + 2577. Does 10 divide x(-21)?
False
Is (-95 - -96)*1/(-1) + 200 a multiple of 5?
False
Let j be 1 - (5*1 + 43848/(-24)). Suppose -17*i + 217 = -j. Does 8 divide i?
True
Suppose -r + 5*p + 1648 = 0, -5*r - 2*p + 2406 + 5807 = 0. Suppose 15*q - r = 1462. Is 23 a factor of q?
True
Suppose 8*f + 3*a - 111870 - 25954 = 0, -86149 = -5*f - 3*a. Is f a multiple of 25?
True
Suppose -5*w - 35126 = -5*j + 31859, 5*j + 3*w - 67009 = 0. Is j a multiple of 100?
True
Suppose 2*g + 494 = 4*l - 0*g, -4*l - 4*g + 500 = 0. Suppose 6*o - 11 = -395. Let r = l + o. Is 11 a factor of r?
False
Suppose 62868 = 10*l - 29*i + 30*i, -5*l - 5*i = -31425. Is 69 a factor of l?
False
Is (-4)/(-8) + ((-381)/(-6))/(2/62) a multiple of 4?
False
Let t(l) = -90*l**3 - l**2 - 2*l - 4. Let w be t(-2). Suppose 3*q = -5*g + 233 + 965, -3*g + q = -w. Is g a multiple of 16?
False
Suppose -5*o - 4*h = 10, -8*o + 2 = -9*o - 3*h. Is 105/7*(o*1 - -59) a multiple of 14?
False
Let v(u) = -4*u + 1. Suppose 0*i - 4*i + k - 10 = 0, -4 = 2*i - k. Let t be v(i). Suppose 37 = 3*x + t. Does 2 divide x?
True
Let m(r) = r**3 + 8*r + r - 8*r**2 - 1 + 77 + 10*r**2 + 2*r. Does 23 divide m(0)?
False
Let n(y) = -5*y**3 - 19*y**2 + 40*y + 497. Does 62 divide n(-21)?
False
Let u = 2050 + -971. Suppose 3*t - y = u - 60, 313 = t + 5*y. Is 26 a factor of t?
True
Let w(j) = 24*j + 55. Let k be w(-2). Suppose l - y - 12 = 0, -45 = -4*l - 2*y + k*y. Is l a multiple of 3?
True
Suppose -4*j = 2*v - 24 + 4, 5*v + 4*j - 26 = 0. Suppose -v*d - 464 = -6*d. Let x = -61 + d. Is x a multiple of 17?
False
Suppose -86*z + 79*z + 5810 = 0. Let d = z - 458. Is d a multiple of 4?
True
Let z = 3442 + -1858. Is z a multiple of 88?
True
Let i(p) = 74*p - 298. Suppose -3*o + 0 = 2*x - 11, -34 = -3*x - o. Is i(x) a multiple of 18?
False
Suppose 15*c - 20*c = -30. Suppose c = -61*o + 64*o. Suppose -o*l - 5 + 107 = 3*u, 0 = 5*u + 2*l - 166. Is u a multiple of 3?
False
Let m(n) = 3*n**2 - 6*n - 6. Let a be m(5). Suppose -5 = -2*d + 5*w, -w - a = -3*d - 4*w. Does 8 divide (2/(-2) - 1) + d?
True
Let i(v) = -v**3 - 9*v**2 - 8*v + 4. Let z be i(-8). Suppose -3*u + s = -21, -u - z*s = -33 + 13. Suppose u*k = 5 + 107. Is k a multiple of 7?
True
Let s be (116/(-3) - -4)*6 + -3. Let k = 217 + s. Does 6 divide k?
True
Let x(i) = -4*i - 132. Let f be x(-35). Suppose -984 - 600 = -f*q. Does 8 divide q?
False
Let d = -1101 - -637. Let l = d - -564. Is 8 a factor of l?
False
Suppose 2884 = 13*c + 7222 - 43104. Is 71 a factor of c?
True
Let d = -298 + 888. Suppose -3*t = -d - 490. Does 4