ose h = 5*a - 5*k, 12*a + 2*k = 15*a - 942. Is a a multiple of 24?
False
Let o = 3873 + -2025. Is o a multiple of 84?
True
Let m be (2/(-6))/((-9)/((-108)/8))*-238. Let f be 2*2*-18 + -1. Let n = m + f. Is n a multiple of 6?
False
Let g = -31 - -88. Let k = 146 - 64. Let q = k - g. Is 8 a factor of q?
False
Let t(l) = 2*l**2 - 20*l - 4. Let w be t(9). Let i(n) = -10*n + 20. Let v be i(9). Let a = w - v. Is 24 a factor of a?
True
Is 24 a factor of 0 + (16 - (-11 - -32) - (0 - 13205))?
True
Suppose -2668983 = 149*i - 208*i. Is 17 a factor of i?
True
Let d(i) = -83*i - 19. Let r(g) = -g - 1. Let t(c) = -d(c) + r(c). Does 27 divide t(9)?
True
Let n(r) = -r + 8. Let s(t) = t. Let u(q) = n(q) + 2*s(q). Let k be u(-2). Suppose k*v = 47 + 115. Does 16 divide v?
False
Let x be (-4)/(-18) - 60/27 - -53. Let p = 27 + x. Does 11 divide p - (-3 - (4 + -12))?
False
Suppose -3*l + 2*f = -100 - 446, 0 = -2*l - f + 364. Does 7 divide l?
True
Suppose -5*g - 2*l + 50148 = 0, -g - 897*l = -892*l - 10025. Is 34 a factor of g?
True
Let y(r) = -r**2 + r + 1. Let t(h) = -h**3 + 18*h**2 + 8*h + 22. Let w = 66 + -69. Let k(j) = w*y(j) - t(j). Is k(16) a multiple of 11?
True
Let x = 3185 - 3182. Suppose 0 = -4*v - 0*r + r + 10, 2 = -2*v + 4*r. Suppose -2*t = t - 3, -v*z + 213 = -x*t. Is 12 a factor of z?
True
Let b(k) = -k**2 - 31*k - 88. Let o be b(-20). Let q = 207 - o. Does 3 divide q?
True
Suppose -109 = 16*f + 19. Is f/18 + 314057/531 a multiple of 40?
False
Is (3008/112)/(-2 + (-500)/(-245)) a multiple of 2?
True
Let s(f) = -2*f**3 + 137*f**2 - 53*f - 73. Is 51 a factor of s(67)?
True
Let u be (836/133)/(2/7). Let q(l) = 0 + 4 + 2 + 5*l**2 - 26*l**2 - l**3 + u*l. Is q(-22) a multiple of 2?
True
Suppose -25872 = -21*g - g. Is g a multiple of 7?
True
Let v be (31 - 30) + 3*-1. Is 3/3*(v + 234/3) a multiple of 11?
False
Let w(f) = -5*f**2 + 42*f - 30*f + 9 - 5*f**2 - 3*f**3 + 0. Is 26 a factor of w(-7)?
False
Suppose 2*a - 7*a = -20. Suppose 3*t + 2*t + 5*s = 0, 5*s = -4*t - a. Suppose -t*k - y = -103, -4*k + 56 = -2*k - 4*y. Is k a multiple of 26?
True
Let a(h) = 172*h - 32. Is 16 a factor of a(4)?
True
Let h(a) = a**3 + 3*a**2 - 7*a - 13. Let x be h(-5). Let n = -24 - x. Suppose -2*g = -n*g + 26. Is g a multiple of 3?
False
Suppose -3*n = 3*g - 33282, -119*n + 124*n + 30 = 0. Is 98 a factor of g?
False
Let v = -49 - -69. Let n(u) = u**3 - 20*u**2 + 4*u - 48. Let w be n(v). Let s = w - 12. Is s a multiple of 8?
False
Does 249 divide (12 + (1 - 1))/(-1)*479521/(-1123)?
False
Let b = 121802 + -84891. Does 32 divide b?
False
Suppose 2844 = -213*k + 222*k. Is k a multiple of 14?
False
Suppose -5*f - 3*s + 15096 = 0, -2*f - 9*s = -5812 - 164. Is 48 a factor of f?
True
Suppose 16 = -551*s + 559*s. Suppose -2*x - s*x + y = -3478, -5*y - 4340 = -5*x. Is x a multiple of 29?
True
Suppose -3*w + 7*w - 130 = h, 2*h = 3*w - 255. Let z be (h/12)/7*(-20)/6. Suppose -5*l + y + 103 = 0, -4*y + 106 = z*l - 6*y. Is 4 a factor of l?
True
Suppose 208*j - 179*j - 52693 = 0. Is 5 a factor of j?
False
Suppose s - 3*s + 12 = n, 5*s = -4*n + 54. Let t(d) = d**3 - 16*d**2 + 29*d + 16. Is t(n) a multiple of 20?
True
Let n = -183 + 18. Is 9 a factor of (0 + 444)*(-110)/n?
False
Let w(i) be the second derivative of -341*i**3/3 + 23*i**2/2 + 2*i - 15. Does 15 divide w(-2)?
False
Let p(y) = y**3 - 2*y**2 - 8*y + 5. Let r(m) = -4*m - 16. Let b be r(-5). Let f be p(b). Suppose 0 = 13*o - f*o - 776. Is 10 a factor of o?
False
Suppose -2*o = 3*a - 511, a + 517 = 4*a + 5*o. Let b = -136 + a. Suppose 0 = -34*f + b*f + 60. Is 6 a factor of f?
True
Suppose 17*r + 0*r - 240497 - 727772 = 0. Is r a multiple of 14?
False
Let i be (-3)/((-9)/(-6)*(-6)/27). Suppose -i*l - 890 = -14*l. Is 11 a factor of l?
False
Let q(m) = -51*m + 3210. Does 114 divide q(-22)?
True
Let y = 5640 - 3957. Suppose -15*x + 1272 = -y. Is 31 a factor of x?
False
Let g be (-35)/(-10) - 6 - (-3)/6. Is 31 a factor of 1/g - (-17868)/24?
True
Let g(x) = -x**3 + 7*x**2 + 10*x - 2. Suppose -y = -6 - 1. Does 17 divide g(y)?
True
Let o(c) = -c**3 + 28*c**2 - 29*c + 64. Let w be o(27). Does 32 divide (2 + w)/((-966)/(-192) + -5)?
True
Suppose -3*x - 2*f = -4883, -5*f + 11 + 9 = 0. Is 65 a factor of x?
True
Let g(l) = l**2 - 40*l + 295. Does 5 divide g(43)?
False
Let v be 115/46*(1 + 1). Suppose -3*d = v*x - x - 4, 2*x = 2. Suppose d = -7*a + 12*a - 80. Does 8 divide a?
True
Is 2169221/645 - -2*(-4)/60 a multiple of 57?
True
Suppose 0 = 3*i - 103 + 88. Is (20/2 - i) + 303 a multiple of 44?
True
Suppose -o - 3656 - 6284 = -4*y, -2*y = -2*o - 4976. Is 40 a factor of ((-24)/9)/((-18)/y)?
False
Suppose 11 = 4*s - 5*a, -5*s = 3*a - 11 - 12. Suppose -4*m - 4*o + 480 = 0, -8*m + s*m = -4*o - 512. Is 4 a factor of m?
True
Suppose -5*g - 7665 - 17785 = -5*t, 2*t - 10198 = 5*g. Is t a multiple of 4?
True
Let j(f) = -3*f**3 + 28*f**2 + 430*f - 16. Does 34 divide j(-14)?
True
Let b(u) = 43*u - 11. Suppose -4*q + 20 = -p, -5*p - 16 = -q + 2*q. Let r be (0 + (-2)/(-4))*q. Is 25 a factor of b(r)?
True
Let d(q) be the third derivative of q**4/3 + 79*q**3/6 + 32*q**2. Does 8 divide d(-7)?
False
Suppose -v = 3*i + 1130, -v - 1130 = i - 5*i. Let k = v - -1594. Is 30 a factor of k?
False
Suppose 3*r - 12 = r. Let g(s) = r - 70*s + 13*s - 21. Does 9 divide g(-2)?
True
Let m be (-5)/((-135)/6) - (-258)/54. Suppose -3*h + 1021 = -5*w - 129, -m*h = 4*w - 1966. Is 13 a factor of h?
True
Let k(l) = -33*l**2 + 16*l + 17. Let g(y) = 17*y**2 - 7*y - 8. Let a(m) = 7*g(m) + 3*k(m). Is 6 a factor of a(-5)?
False
Suppose 22 - 15 = -7*l. Does 82 divide ((-6021)/6 + l)*(-372)/217?
True
Let x = -1892 - -3842. Suppose 822 + x = 11*a. Does 28 divide a?
True
Suppose -4*b = -14*l + 13*l + 45, -3*b = -l + 40. Suppose -5*o + f + 1535 = 0, 3*f = -2*f - l. Is o a multiple of 6?
True
Suppose 23363 + 17341 = 32*x. Does 18 divide x?
False
Suppose -3*z = -4*w + 1, -z + 10*w = 6*w - 5. Does 39 divide (7140/z)/(14 + -16)?
False
Suppose -11*b + 56728 = 31769 - 86350. Is b a multiple of 179?
False
Let f = 16491 + -16437. Let c be 572/7 - (-2)/7. Let a = c - f. Is 9 a factor of a?
False
Let d(o) = -237*o - 2244. Does 16 divide d(-36)?
True
Let q = -1841 - -12463. Is q a multiple of 15?
False
Let g(p) = p**3 - 40*p**2 - 503*p + 26. Is 18 a factor of g(52)?
True
Suppose 10*v = 15*v - 170. Suppose 4*a + v = 2*r, 0*r + 4*r - 47 = a. Does 7 divide r?
False
Let k(w) = -w**2 - 82*w - 770. Is 2 a factor of k(-63)?
False
Let o(c) = c**3 - 12*c**2 + 11*c - 1. Let u be o(11). Let b(a) = 3*a + 3. Let d be b(u). Suppose d = 4*h - 38 - 14. Is 7 a factor of h?
False
Let i be -21*(12/(-42))/((-6)/14). Let w(y) = y**3 + 13*y**2 - 21*y + 22. Does 6 divide w(i)?
True
Suppose -4*x + 9*x = 25. Let b(g) = -3*g**3 + 15*g**2 + 58*g - 286. Let f be b(5). Suppose -120 = -5*d - f*n, -x*n = 3*d - 6*n - 55. Is 3 a factor of d?
False
Suppose 0 = 212*z - 169*z - 27090. Does 22 divide z?
False
Suppose -3*a + 66895 = 5*d, -4*a + 9*a = -2*d + 26777. Suppose -d = -0*g - 16*g. Does 76 divide g?
True
Let v(c) = -3*c**2 - 39*c - 4. Let k(l) = -2*l**2 + 26*l + 15. Let r be k(14). Let h be v(r). Does 40 divide 944/(h/(-1)) - (-8)/2?
True
Suppose -6*b - 48 = -8*b. Let f = b + 63. Is 3 a factor of f?
True
Let w be (-7)/(7/(-4)) + -1. Is 5 a factor of (-10*2/w)/((-43)/258)?
True
Is ((-182)/(-4))/(71/2982) a multiple of 49?
True
Suppose -3*i + 34 = 4*d - 1, i = 2*d + 5. Let w = i + 49. Suppose -h + 185 = w. Does 44 divide h?
False
Let d(h) = -21*h + 1782. Let u(x) = -44*x - 132. Let z be u(-3). Is 22 a factor of d(z)?
True
Let x be 32 - 1*(-2 + -1)/3. Let t = -22 + x. Does 2 divide (-30)/(-2) - (12 - t)?
True
Does 117 divide ((-50180)/(-8) + -7)*32/24?
False
Let u = 17139 + -15486. Does 57 divide u?
True
Suppose -5*g + m - 58 = 0, 3*m - 10 - 44 = 5*g. Let k(i) = 15*i + 24. Let t(y) = 4*y + 6. Let l(u) = -6*k(u) + 22*t(u). Is 12 a factor of l(g)?
True
Let w(p) = -4*p + 14. Let m(f) = -2*f**2 + 6*f. Suppose -3*h + 45 = 6*h. Let i be m(h). Is 47 a factor of w(i)?
True
Suppose -15*y = -2395 - 1235. Suppose 5*x = -25, 0 = -3*z + 2*x + 2*x + y. Is z a multiple of 37?
True
Let v(z) = -5*z**3 + 18*z**2 - 3*z - 13. Let m(k) = 6*k**3 - 20*k**2 + 3*k + 14. Let h(a) = 6*m(a) + 7*v(a). Let d be 4/(-1)*15/12. Does 11 divide h(d)?
True
Suppose -6 = -