ose -3*c + u = -14, 5*c - 28 = -5*u + 2. Let a = d - c. Does 28 divide a?
True
Let c(a) = -65*a - 41. Suppose 128*w - 131*w - 6 = 0. Is 4 a factor of c(w)?
False
Let d = -9112 - -10610. Is d a multiple of 28?
False
Let i(b) = b**3 + 53 - 3*b**2 + 6*b**2 - b**2 - 9*b + 3*b**2. Does 17 divide i(7)?
True
Let c be -34 + (3 - (0 + 6)). Let m = -27 + 87. Let l = m - c. Is l a multiple of 19?
False
Let u = -136 + 80. Let v = u + 90. Let i = 54 - v. Does 4 divide i?
True
Suppose a - 2*y - 1824 = 0, -4*a - y + 0*y + 7278 = 0. Suppose 46*m - a = 11*m. Is 4 a factor of m?
True
Let u(h) = 5*h**2 + 28*h + 34. Let o(a) = -a**2 - a + 1. Let x = 59 - 60. Let w(n) = x*u(n) - 4*o(n). Does 30 divide w(-8)?
True
Suppose 7*z + 30*z = 52*z - 257235. Is z a multiple of 119?
False
Suppose 10*z + 2*h + 15632 = 13*z, -28 = 4*h. Is 6 a factor of z?
False
Let i(m) = -41*m + 39. Let p be i(-19). Suppose 0 = 3*q - o - 437, o + p - 89 = 5*q. Let g = q - -127. Is 39 a factor of g?
True
Let f(s) be the first derivative of -17*s**2/2 - 101*s - 54. Does 3 divide f(-9)?
False
Suppose -2 = -2*s, 5*f - 8*f + 2*s = -13. Suppose -4*u + u + 2*b = -452, -25 = -f*b. Does 14 divide u?
True
Suppose 1501560 = 50*r - 10*r. Is r a multiple of 129?
True
Let v(p) = -3*p**3 - 3*p**2 + p + 2. Let i be v(1). Let f be 12/(-8)*340/i. Is 25 a factor of 3 - f/(-8) - 9/(-12)?
True
Let u(i) = -2*i**3 - 8*i**2 + 12*i + 64. Let v be 28*(296/(-56) - -5). Does 48 divide u(v)?
True
Suppose -3*o + 3*h = 7*h - 791, -3*o = -h - 766. Let i = o + -7. Is i a multiple of 7?
False
Let t(s) = 19*s - 1 + 18*s - 37*s + 157*s**2. Is 4 a factor of t(-1)?
True
Let c(m) = -236*m**3 + 79*m**2 + 355*m - 24. Does 12 divide c(-5)?
True
Let t(k) = 6*k**2 - 421*k + 621. Is t(81) a multiple of 61?
False
Is (-4)/50 + (-5 - (-11 - (-604464)/(-175))) a multiple of 4?
True
Suppose 14*o = -4*r + 10*o + 6556, -2*r + o + 3275 = 0. Suppose g + 1654 = 5*q, -5*q - 3*g = -0*q - r. Suppose -1248 = -3*t - q. Does 18 divide t?
True
Suppose 14*a - 6*a - 32 = 0. Suppose -4*k + 14 = -2*q, 8 = 3*q + a*k - 21. Suppose -o - 4*j + 65 = 0, -84 = -q*o + j + 59. Does 7 divide o?
True
Suppose -27*n - 27*n = 19*n - 148920. Does 68 divide n?
True
Let g be ((-95)/(-15))/(7/399). Let i = 649 - g. Is i a multiple of 36?
True
Let h = -196 - -402. Let i = h + 12. Does 5 divide i?
False
Suppose 18 = -282*u + 288*u. Suppose 0 = u*p + 4*j - 1120, 7*p - 11*p + 2*j + 1486 = 0. Is 6 a factor of p?
True
Let s = 256 + -229. Is 35 a factor of s/18 + (-2127)/(-6)?
False
Let q(g) = 24*g**2 - 17*g - 18. Let f be q(-1). Suppose -7389 = -f*r - 1685. Is r a multiple of 31?
True
Let y(d) be the third derivative of -d**6/120 - d**5/12 - 13*d**4/24 - 11*d**3/3 - 102*d**2. Is y(-5) a multiple of 2?
False
Let n be (-2)/8 + (-1)/((-4)/13). Let i be (3625/n - 4) + 3/(-9). Suppose t - i + 120 = -4*d, t = -5*d + 1354. Is 27 a factor of d?
True
Does 11 divide 1 + (6308 - 0) - 74/((-666)/18)?
False
Let c be -51*(-1 + 14/6). Let v be -129 + (7 - (-5 + 7)). Let b = c - v. Does 14 divide b?
True
Let l = 106 + -101. Suppose -3*a - a + 4*x = -280, -3*a + 194 = l*x. Let h = a + 22. Is 18 a factor of h?
True
Let g = -2280 + 2980. Does 28 divide g?
True
Suppose y - 10614 = -3*l, -4*y - 2*l + 9982 + 32464 = 0. Does 77 divide y?
False
Suppose -2*b + 1153 + 5517 = 1562. Does 7 divide b?
False
Let g(o) = -o**3 - 4*o**2 + 4*o + 9. Let u be g(-4). Suppose 0 = -4*c - 3*r + 72, -54 = -3*c + 3*r + r. Let x = c - u. Is x a multiple of 5?
True
Suppose -722 = -2*h + 328. Suppose 13*y = 18*y - h. Is 2 a factor of y?
False
Let v be (2*(-2)/(-6))/((-4)/(-2472)). Let p = v + 106. Is p a multiple of 14?
True
Let o(l) = -l**3 - l. Let x(t) = -2*t**3 + 11*t**2 + 9*t + 1. Let w(s) = 3*o(s) - x(s). Let h be w(-10). Suppose 3*y = 15, 7*b - 4*b + 2*y = h. Does 2 divide b?
False
Let n = 1860 - 1685. Is n a multiple of 78?
False
Suppose 10*w - w - 72 = 0. Suppose 5*q = w*q - 630. Does 14 divide q?
True
Suppose 0 = -4*q + q + 21. Let i(u) = -u**2 + 6*u + 9. Let k be i(q). Suppose 320 = 4*c - k*c. Is c a multiple of 22?
False
Let p be (-12 - -2)*(-736)/(-230). Let a(q) = -13*q - 230. Is 54 a factor of a(p)?
False
Let x = -40131 + 40132. Let q(c) = 2*c**2 - 7*c - 5. Let w be q(6). Let a = x + w. Is a a multiple of 13?
True
Let b(w) = -w - 1. Let v(a) = -68*a - 3. Let t(q) = -23*q - 1. Let c(j) = -8*t(j) + 3*v(j). Let z(l) = 3*b(l) + c(l). Does 39 divide z(-2)?
False
Suppose -5*k + 5*i + 50 = 0, 5*i + 5 = 6*i. Does 23 divide 6222/k + 88/(-110)?
True
Suppose -3*n = 5*c - 24, 5*c + 7*n - 27 = 3*n. Suppose 5 + 14 = 5*z - c*j, -5*j = 4*z + 7. Suppose -a - 59 = -2*o, -z*o = 5*a - 10*a - 55. Is 7 a factor of o?
False
Let b be 2/4 - (-27)/6. Let f(t) be the first derivative of -t**3/3 + 5*t**2/2 + 14*t + 4. Does 2 divide f(b)?
True
Suppose -2*p = -4*p - 2*r + 200, 5*p - 520 = -r. Suppose 20*y - p = 19*y. Is y a multiple of 15?
True
Suppose 2*j - 2802 = 4*o + 620, -2*j + 3434 = -2*o. Is 13 a factor of j?
False
Let i(f) = 1862 - 10*f + 2*f + 47*f**2 - 1866. Is i(-4) a multiple of 12?
True
Suppose 242*b = -58*b + 1992900. Is b a multiple of 91?
True
Let d(w) = w - 99. Let y be d(-6). Let u = y - -195. Is u a multiple of 9?
True
Let g(t) = 2*t**3 - t**2 - 4*t + 8. Let j = -142 + 146. Is g(j) a multiple of 5?
False
Let u = 44 + -41. Let d be (5 - (-2)/(-1)) + u + -8. Is (-70)/d + (-14 - -18) a multiple of 6?
False
Let d(w) = -8*w**3 - 2*w**2 + 6. Let l be d(-2). Suppose g - 61 = -2*f, 2*g - l = g - f. Is g a multiple of 5?
False
Let w = 97551 + -49872. Is 23 a factor of w?
True
Let t(x) = -x**3 + 39*x**2 - 21*x - 76. Let y = 779 + -741. Is t(y) a multiple of 15?
True
Let p(c) = 7*c**3 - 12*c**2 - 5*c + 115. Is 15 a factor of p(10)?
True
Let s(w) = 74*w**2 - 234*w - 4192. Does 158 divide s(-17)?
True
Suppose 60*c = -41*c + 80*c + 627690. Is 35 a factor of c?
True
Let u = -37 + 42. Suppose 14*b - 13*b = u. Suppose -152 = -b*r + 3*r. Is 38 a factor of r?
True
Let f(o) = -253*o - 1254. Is f(-20) a multiple of 173?
True
Suppose 10*a = 7*a, 0 = -4*r - 4*a - 8. Is (-20)/(-3) + r/3 + 311 a multiple of 8?
False
Suppose -142*q + 116400 = -42*q. Does 6 divide q?
True
Suppose 4*b = -3*g + 39 - 789, b + g = -187. Let s = 92 - 139. Let x = s - b. Does 20 divide x?
False
Suppose -78 = -5*c - 2*s, 3*c - 5*s - 25 = -3. Suppose 0 = -2*m - 4*t - 68, -1 = 3*t + c. Is 2 a factor of (-3)/(m/(-2)) - (-294)/24?
True
Suppose -d - 24*d + 17986 = -2*d. Is d a multiple of 17?
True
Suppose -5*u - 53 = -o - 16, 0 = 5*o - 2*u - 70. Is 12/27*o*(-435)/(-4) a multiple of 32?
False
Suppose 4*d + 2*w - 1047 = 1599, -5*d = w - 3303. Does 55 divide d?
True
Let t(q) = -q**2 + 1247. Let p be t(0). Suppose 97 = 5*w + 82. Suppose -5*o = -2*c - p, -w*c = -4*o + 1275 - 283. Is o a multiple of 50?
False
Suppose -7*a + 5*a = 4. Let l(z) = -5*z**3 - z**2 + 5*z + 7. Let b be l(a). Is 138/4*88/b a multiple of 23?
True
Let s(z) = -z**3 - 8*z**2 - 2*z + 6. Let g be s(-8). Suppose g*x = 24*x - 18. Suppose 0 = 3*b + x, -5*i + 7*b - 3*b = -572. Is i a multiple of 28?
True
Let i(u) = 8*u**3 - 7*u**2 + 108*u + 1. Is i(6) a multiple of 125?
True
Let m = 425 - 255. Let b = 286 - m. Is b a multiple of 29?
True
Let s(y) = 5*y - 35. Let a be s(8). Suppose 245 = -a*i - 5*w, 2*i + 2*w = 7*i + 252. Let p = i - -72. Is p a multiple of 11?
True
Let n(h) = 183 + 48 + 120 - 105 - 31*h. Does 38 divide n(-8)?
True
Suppose 3*s - j = -22, 2*s + 4*j + 8 + 16 = 0. Let y(u) be the first derivative of -u**4/4 - 8*u**3/3 - 2*u**2 + 4*u - 169. Does 6 divide y(s)?
True
Let h(t) = 4*t**2 - 17*t - 40. Let f be h(6). Suppose -3*u + 2062 = 5*i, -f*i = -47*u + 42*u - 800. Is 10 a factor of i?
True
Let s(v) = 2*v**2 + 4*v - 10. Let m be s(-4). Suppose -p = -2*w + 165, -m*w + w = 5*p - 450. Is 17 a factor of w?
True
Suppose 4*a - 320 - 8 = -3*s, -3*s - 5*a + 332 = 0. Suppose 0 = -r - 5*v + s, 6*r = 8*r - 2*v - 148. Suppose r = q + 4*o, -o - 45 = 2*q - 203. Does 12 divide q?
False
Let w(n) = -n**2 - 7*n - 4. Let j be w(6). Let h = 0 - j. Is h a multiple of 10?
False
Suppose -4*d - 28 = 4*i, 0 = 2*d - d - i + 9. Is 27 a factor of 6*3*(-2 - d)?
True
Suppose -422*t + 333149 + 173211 = 156100. Is 166 a factor of t?
True
Let b(i) = 14*i**2 + 157*i - 1165. Is b(8) a multiple of 19?
False
Suppose -2667*h = -2639*h - 532