 4*k. Is 23 a factor of f?
True
Let x be 2*-2 - -8*5/10. Let k be ((-1)/2 - x)/((-28)/896). Is 1944/k - (-1 - 1)/(-4) a multiple of 11?
True
Let z(g) = 2*g**2 + 36*g - 504. Is 126 a factor of z(-63)?
True
Let k be 2421/11*2 - 4/22. Suppose 4*d - 334 = -3*t + 15, -4*t + d = -k. Suppose 0 = 5*b + 25, -2*p + 4*b - 35 + t = 0. Is p a multiple of 10?
False
Let x(k) = 969*k + 868. Let s be x(-1). Let r = -228 - -132. Let j = r - s. Is j a multiple of 2?
False
Let i(f) = f**3 - 2*f**2 + 3*f + 6. Suppose h = -0*h + 2*u + 6, -4*h + 9 = -3*u. Suppose h = 4*l - 11 - 5. Does 44 divide i(l)?
False
Let y be (5/25)/((-2)/(-10)). Suppose 4*s = -a + 8, 2*s - 3 = 5*a + y. Does 4 divide s/(-5) - (-312)/30?
False
Suppose -3*q = -9, -765*q + 770*q - 1183 = -n. Is 5 a factor of n?
False
Suppose 2*r - r - 5*p = 12, 5*p = -r + 12. Suppose -r*i - 3*i = -600. Is 8 a factor of i?
True
Let o be (10/1)/(-4 + 6). Suppose -n - 359 = -5*i - 4*n, 63 = i + o*n. Suppose i = g + 2*g + f, -3*f - 56 = -2*g. Is g a multiple of 8?
False
Let k(c) be the first derivative of -2*c**2 + 10*c + 18. Let v be k(3). Is 7 a factor of (0 - 44)/v + (1 - 2)?
True
Let l = -404 + 485. Suppose 0 = 2*q + 4*i - 104, -5*q - l = i - 359. Is q a multiple of 16?
False
Let z(j) = 4*j + 3. Let f(t) = t + 14. Let q be f(-11). Let x(r) = -5*r - 3. Let k(o) = q*z(o) + 4*x(o). Is 9 a factor of k(-7)?
False
Let g = -12098 - -13045. Is 6 a factor of g?
False
Is (-147736)/(-72) + -11 + (-1)/(-9) a multiple of 33?
False
Let l(w) = 1201*w**2 + 20*w + 112. Is l(-4) a multiple of 68?
False
Let c(d) = d**3 + 17*d**2 + 14*d + 53. Let r be c(-13). Suppose -r = -2*o - 3*x + 71, 0 = 4*o + 5*x - 1238. Is o a multiple of 41?
False
Suppose 3*v + 143 = -10*v. Let c(p) = -2*p**3 - 18*p**2 + 32*p - 6. Is c(v) a multiple of 9?
True
Suppose -a + 7656 = -4*r, -9*a + 20427 + 48443 = -2*r. Does 291 divide a?
False
Let i(a) = -a**3 - 16*a**2 - 78*a + 2. Does 13 divide i(-18)?
True
Let u(k) = 100*k. Let g be u(-1). Let m(n) = 5*n**2 - 6*n + 3. Let a be m(-4). Let y = g + a. Does 7 divide y?
True
Suppose -4*j - 5*r = -3*j - 11, -4*j + 4*r + 20 = 0. Suppose -3*s + j = 0, 0 = -a + s - 2*s + 7. Let t = a + 23. Is 5 a factor of t?
False
Suppose 854 = 12*x - 17266. Let c = x - 619. Is 11 a factor of c?
True
Let v = 33 + -21. Suppose -3*o + v = o. Suppose o*t - 591 = -213. Does 20 divide t?
False
Let p(o) = 4510*o - 3991. Does 67 divide p(5)?
True
Let j(l) = -l**3 + 7*l**2 + l + 4. Let w be j(7). Let b = w + -7. Suppose -81 = b*z - 333. Is z a multiple of 13?
False
Let b = 16463 - 7247. Is b a multiple of 48?
True
Suppose 3*d + 165 = 3*g, 0 = -2*d + 3*d - 5*g + 59. Let t = 59 + d. Suppose k - 42 = 3*i - t, -3*k - 3*i + 147 = 0. Is 12 a factor of k?
False
Suppose 0 = 3*c - 3*k - 48397 - 11834, 40156 = 2*c - k. Is 9 a factor of c?
True
Let u(w) = w**3 + 16*w**2 + 1. Let n be u(-16). Let z = 15 - n. Let m = 20 - z. Is m a multiple of 3?
True
Let r be (-2298)/(-8)*((-272)/(-24) + -10). Let c = -254 + r. Is 4 a factor of c?
False
Let d = 370 + -349. Does 50 divide ((2900/7)/5)/(6/d)?
False
Suppose 5*c - 3*q - 18045 = -0*c, 10811 = 3*c - 5*q. Suppose 0 = -19*l - 2*l + c. Does 24 divide l?
False
Suppose 5*j = -c - 3, 4*j - 24 = c - 4*c. Suppose c*u - 368 = 8*u. Is 26 a factor of u?
False
Let k = -422 - -618. Suppose -k + 1120 = 3*m. Is m a multiple of 77?
True
Suppose -22 + 82 = -5*s. Let q be 68/24 - 2/s. Suppose -q*t + 0*t = -c - 54, 2*t + 4*c = 36. Is 5 a factor of t?
False
Let z = 83 - 80. Suppose -2*c - 14 = -2*i - 0, 2*c + 19 = z*i. Suppose -d - 3*r + 48 = 9, -i*d + 259 = -r. Is d a multiple of 19?
False
Suppose -z = -5*f + 21195, 4*z - 4766 - 3734 = -2*f. Does 53 divide f?
True
Let y = -5241 - -8638. Does 43 divide y?
True
Suppose 1122 - 666 = -n. Let m = 983 + n. Is m a multiple of 15?
False
Suppose -6*q + 8 = -2*q. Suppose -3*a + 24*a + 56 = -7*a. Does 16 divide -2 - a - (q + 0 + -167)?
False
Let z = 10789 + 38981. Is 30 a factor of z?
True
Let b = 1824 - 1314. Is b a multiple of 3?
True
Let t(z) be the first derivative of -32*z**2 + 2*z - 19. Let y be t(-3). Let n = y - 127. Is n a multiple of 10?
False
Let b be ((-600)/(-28))/(3/21). Let o = 218 - b. Is 8 a factor of o?
False
Suppose -31*i + 30*i = -14. Let x be 9/(-63) + (-208)/i. Let o = 45 + x. Is 6 a factor of o?
True
Let g = -59 + 62. Suppose g*t = 10*t - 203. Does 7 divide t?
False
Let t(i) = -16*i - i**2 - 237 + 255 - 23*i + 0*i**2. Is t(-18) a multiple of 93?
False
Let p = -339 + 343. Suppose 0 = -s + p*c + 51, -4*s + 2*c = -9*s + 167. Is 7 a factor of s?
True
Let i = 948 - 1863. Let t be (-2)/(-3 - 2735/i). Suppose 3*y - 6*y - 4*p + t = 0, 5*y + 3*p - 316 = 0. Is y a multiple of 9?
False
Let y(q) = -6*q - 9. Let g be y(-2). Is 37 a factor of 13364/26 + 6*2/g?
True
Suppose 4770188 = 483*p + 48380. Is 7 a factor of p?
False
Suppose -7*p = -8*p. Does 3 divide (p - -36)/(9/6)?
True
Is (-795 - -526)*((-1)/(-1) - 13) a multiple of 12?
True
Suppose 0 = 47*v - 46*v + 2*j - 6927, 5*v + 2*j - 34651 = 0. Does 25 divide v?
False
Let i = 334 - 334. Suppose i*u + 9*u = 684. Is 9 a factor of u?
False
Suppose 3*h = -5*z + 68 - 8, 0 = -5*h. Let w be (-3)/z*1 + 34/8. Does 6 divide (-885)/(-35) + w/(-14)?
False
Is -5 + 19/(171/(-994545))*(-2)/6 a multiple of 127?
True
Let m(k) = k**3 + 9*k**2 - 10*k + 17. Let w(f) = 2*f + 36. Let y be w(-23). Is 4 a factor of m(y)?
False
Does 14 divide -159*40/180*(-13)/((-52)/(-1440))?
False
Let u(x) be the third derivative of -5*x**4/24 - 29*x**3/2 + 32*x**2. Is 17 a factor of u(-41)?
False
Let b(v) = v**3 - 4*v**2 - 8*v - 11. Let r be b(6). Suppose -r*w = -9*w - 76. Suppose -w*z = -15*z - 136. Is z a multiple of 8?
False
Let x(z) = 7602*z - 2638. Does 38 divide x(8)?
True
Let x be (0 + -1)*0/(-3). Let n be (-936)/4212 + (436/18 - -1). Suppose -z + 130 - n = x. Does 21 divide z?
True
Let b(n) be the second derivative of n**5/20 + 11*n**4/12 - 7*n**3/3 - 11*n**2 - 93*n. Is b(-11) a multiple of 4?
True
Let k(g) = -2*g + 1952. Is 5 a factor of k(37)?
False
Suppose 0 = 4*u + 84 - 152. Is 21 a factor of 768 - ((5 - u) + 3)?
True
Let v(n) = n - 1. Let w(x) = -8*x - 43. Let l(u) = 3*v(u) + w(u). Let k(t) = -t**3 + 15*t**2 - 13*t - 34. Let y be k(14). Is l(y) a multiple of 17?
False
Suppose 3*i - 21 = u - 57, 12 = -i - 2*u. Let r be 4/i + 8/6 + -45. Let t = r - -92. Is t a multiple of 12?
True
Let o(y) = -y**3 + 9*y**2 - 14*y + 3. Let a be (3 - (-5 + 3)) + (-1 - -3). Let g be o(a). Suppose v = -g*l + 48, 0*v - 2*l = -v + 43. Is v a multiple of 15?
True
Let m be (-3)/(-6)*29 - 6/(-4). Suppose -2*q + 6748 = -m*q. Let s = q - -705. Is 9 a factor of s?
False
Is 4666*(86/28 + (-114)/(-266)) a multiple of 127?
False
Let m = 4819 - 1454. Suppose 0 = -4*d + m - 1097. Is 81 a factor of d?
True
Let d be (-9)/3 + (-33)/(8 - 5). Is (-4)/d*60*14/1 a multiple of 16?
True
Is (5667/(-10))/(60/(-2480)) + (-2)/(-5) a multiple of 12?
True
Suppose 2*l = -2*l - 2*n - 984, 2*l + 486 = -4*n. Let j = 465 + l. Is j a multiple of 34?
False
Is (-185760)/(-32) - (-5)/1*1 a multiple of 8?
False
Let q(x) = -5*x**2 - 44*x - 16. Let f be (-5)/((-125)/(-290)) - 3/(-5). Let k(s) = -2*s**2 - 15*s - 5. Let v(z) = f*k(z) + 4*q(z). Does 18 divide v(9)?
True
Is (-1)/(-7) - 134700/(-350) a multiple of 2?
False
Let h(i) = -8 + 15*i - 28 + 31*i + 180. Is 13 a factor of h(11)?
True
Suppose 3*g + 15 = 0, -10*r + 11*r - 13263 = -3*g. Does 21 divide r?
False
Let t(c) = 2645*c + 3096. Is t(3) a multiple of 6?
False
Suppose -13 = -2*b - 7, -2249 = -4*s + 5*b. Suppose 2*m - s = z, 101 + 176 = m + z. Does 35 divide m?
False
Let c(a) be the second derivative of -a**5/20 + 3*a**4/4 - a**3/2 + 19*a**2/2 - 44*a. Let h be c(13). Let q = 975 + h. Is 16 a factor of q?
False
Let l(w) = 10095*w - 3145. Does 63 divide l(3)?
False
Let f(h) = -7*h + 173. Let l be 12/54 - (-338)/18. Is f(l) a multiple of 5?
True
Let c be (6 - 6)/(3 + -8). Suppose -s = -2*y - 9, 3*s + 3 = y - c*s. Is -98*y/10*45/18 a multiple of 19?
False
Let k(p) = 2*p - 3. Let w be k(3). Let s(l) = 714*l**2 - 11 + 722*l**2 + 10*l**3 - 2148*l**2 + 7*l + 716*l**2 - 4*l. Does 17 divide s(w)?
False
Let i(b) = -30*b + 29*b**2 + 43 - 16 + 23 - b**3. Let f be i(28). Let g(h) = -5*h - 1. Does 4 divide g(f)?
False
Let t = -108 - -114. Suppose 0 = t*m - 3*m - 30. Is 2 