 be (-51)/15 + (-6)/(-15). Let i be (-19)/x + (-5)/(-60)*8. Let m(s) = -s**3 + 9*s**2 - 9*s - 5. Does 9 divide m(i)?
False
Suppose 12933 = 22*l - 10814 - 10045. Is 24 a factor of l?
True
Suppose -2*c + 3*h + 735 = 0, -c + 28*h + 363 = 25*h. Does 63 divide c?
False
Suppose -4081 = -4*h + 7*b, 404 = h + 3*b - 602. Is 5 a factor of h?
True
Suppose -2*y = -y + 144. Suppose 0 = 78*f - 91*f - 1339. Let w = f - y. Is w a multiple of 7?
False
Suppose 49*y + 6*y = 7*y + 16704. Does 4 divide y?
True
Let l(b) = 59*b + 1083. Is l(12) a multiple of 15?
False
Let g(b) = -b**2 - 50*b - 288. Let w be g(-36). Suppose -2*k = -2*n + 320, 2*n + 4*k = 104 + w. Does 6 divide n?
False
Suppose -2*c = a - 11672, 5*a - 8*a + 2*c = -35064. Does 23 divide a?
True
Let z(a) = 2*a - 14. Let d(v) = 4*v - 7. Let u be d(3). Let h(j) = -2*j + 13. Let k(w) = u*z(w) + 6*h(w). Is 18 a factor of k(-16)?
False
Suppose -2*h = 2*o - 210, 10*o - 5*o + 129 = h. Let p(u) = -h*u + 11 + 7 - 26 + 7. Is 12 a factor of p(-1)?
True
Let a = 8662 - 6192. Does 95 divide a?
True
Let p = -495 + 219. Let i = p - -528. Is i a multiple of 7?
True
Let x(l) = l**3 - 15*l**2 + 26*l - 9. Let a be x(13). Let b be a/((-81)/6) + 1724/6. Suppose -b = -0*o - 12*o. Does 8 divide o?
True
Let a(l) = -l**3 - 16*l**2 + 17*l - 3. Let b be a(-17). Let u = b - -5. Suppose 4*x = -f + 124, 2*f + u*x + 106 = 3*f. Does 28 divide f?
True
Let w = -383 - -383. Suppose 0 = -4*k + 8, w = -4*q + 5*k + 112 + 74. Is q a multiple of 7?
True
Suppose 0 = 3*y - 21 + 12. Suppose 0 = -0*u - 5*u - 2*r + 88, -y*u + 59 = -5*r. Is 12/u*(-3)/(-2) - -2 even?
False
Let g(i) = i**2 - 13*i + 3. Let a(m) = m. Let r(z) = -6*a(z) - 2*g(z). Suppose 0 = 33*j + 1318 - 1582. Is r(j) a multiple of 2?
True
Suppose 52761 = 3*q - 5*n, -4*q + 8*q - 70406 = -3*n. Does 32 divide q?
False
Let d = 16372 - 4189. Is 131 a factor of d?
True
Suppose -87*x - 559314 = -2267124. Is x a multiple of 26?
True
Suppose 5*f - 522 - 1743 = -2*o, f - 4*o - 475 = 0. Does 7 divide (f + 0)*-2*(-3)/6?
True
Suppose -2*n = -2806 - 11786. Suppose n = 5*x + 3*k, 4*x - 3*k = 3088 + 2738. Does 9 divide x?
True
Let q = 64 - 59. Suppose -w + 796 = q*z - 5*w, -5*z + 795 = -5*w. Does 2 divide z?
True
Let b = 408 - 82. Does 3 divide b?
False
Suppose 0 = 9*c - 1487 - 151. Suppose 178*t - c*t = -1680. Is t a multiple of 50?
False
Suppose f = -u + 4*f - 996, 4*f + 12 = 0. Let g = -562 - u. Is 63 a factor of g?
False
Suppose 0 = -80*y + 303221 + 1631179. Is y a multiple of 20?
True
Let a(h) = -h**2 - 120*h + 5008. Does 16 divide a(0)?
True
Suppose 0*x - 4*x = -2*a - 128, -3*a - 212 = -2*x. Let h = a - -84. Is (h - 4 - 8) + 14 + 0 a multiple of 4?
True
Let v(d) = -1 - 5 - d + 4 - 2 + 9*d**2. Let x be v(6). Let u = x + -176. Does 16 divide u?
False
Does 4 divide (-22)/(-121) + (-85853)/(-11) + 11?
True
Suppose -2*p - 7 = 3, -4*t - p = -9019. Suppose 4*s - 4*g - g - 3009 = 0, -4*g = -3*s + t. Is s a multiple of 54?
True
Let i(u) = 2*u**2 - 46*u + 32. Suppose 0 = 5*z - 66 - 44. Let k be i(z). Let d = 12 - k. Is 7 a factor of d?
False
Let y(v) = 28*v**2 - 84*v - 121. Let g(l) = -19*l**2 + 56*l + 80. Let k(m) = -8*g(m) - 5*y(m). Does 33 divide k(-8)?
True
Suppose -14*m + 39503 = 17*m - 66455. Is 68 a factor of m?
False
Let f(z) be the third derivative of z**6/120 - 7*z**5/60 + 2*z**4/3 - 23*z**3/6 + 12*z**2. Let i be (-129)/(-21) + (-1)/7. Is 14 a factor of f(i)?
False
Is 44058/77 + (38/(-88) - (-19)/76) a multiple of 44?
True
Let i be -1 + 7 - -75*7/21. Let q(s) = -14*s + 5. Let r be q(-5). Suppose r = 36*b - i*b. Is b a multiple of 5?
True
Suppose 5*r + 3*x - 30 = -5, 4*r = -3*x + 23. Suppose 16 = 3*z + 4. Suppose -z*i - r*b + 586 = 0, i + 734 = 6*i + 2*b. Is 24 a factor of i?
False
Let f = -46 + 46. Suppose s - 24 = -f*s + 5*d, 0 = 2*s - 2*d - 16. Suppose -s*z = 5*a - a - 372, 177 = 2*z - a. Does 25 divide z?
False
Suppose 0 = 24*q - 29*q - 3725. Let y = 1062 + q. Is 20 a factor of y?
False
Let o(s) = 2*s**3 + s**2 + 143*s - 15. Does 6 divide o(8)?
False
Let k be ((-2)/5)/(10/(-200)). Suppose 0 = 11*q - k*q. Does 6 divide (q - -1)*(2 - -22)?
True
Let p(c) = -189*c - 16. Let h be p(4). Let u = -556 - h. Is 8 a factor of u?
True
Let q(n) be the third derivative of n**6/120 + n**5/30 - 19*n**4/12 + 40*n**2. Let g(h) be the second derivative of q(h). Is g(6) a multiple of 4?
True
Let b(g) = -g**3 + 3*g**2 + 6. Let m be b(3). Let x(q) = q**2 - 37. Let d be x(m). Let n(y) = 108*y**2 - y - 1. Is 12 a factor of n(d)?
True
Let t be ((-3)/(-6))/(-1) - 106/(-4). Let u = t - -54. Suppose 5*o = -4*k + 385, 0*o - 2*o - u = -k. Is k a multiple of 9?
True
Let q(j) = -43*j**3 - 22*j**2 - 101*j - 912. Does 118 divide q(-9)?
False
Let h(q) = -2*q**3 - 83*q**2 + 46*q - 49. Let j be h(-42). Let m = j - -912. Is 24 a factor of m?
False
Suppose 5*c - 2*q - 44109 = 0, -2*c - 26*q + 17655 = -23*q. Does 64 divide c?
False
Let t be (16*5)/(470/115 + -4). Let i = t - 420. Does 61 divide i?
False
Let p(c) = 202*c**2 + 136*c - 530. Does 24 divide p(4)?
False
Let d be ((-240)/32)/(2/(-4)). Suppose 87 = -d*u + 12*u. Let x = u + 99. Is 10 a factor of x?
True
Suppose k - 3713 = 2*i + 2358, k - 6062 = 5*i. Is k a multiple of 33?
False
Let w be (-1 + 3 - 4)/((-1)/1030). Suppose -468 = 8*r - w. Is r a multiple of 33?
False
Let m(h) = -8*h - 84. Let t be m(-11). Suppose -5*i - 69 = -3*j, -t*i + 17 = j - 6. Is j even?
False
Let x(l) = l + 2. Let j be x(4). Let r = 243 - 75. Suppose -a - j*a = -r. Does 8 divide a?
True
Let p(b) = -51*b + 1 + 18*b - 69*b + 6*b. Let m be p(-2). Suppose 0 = -5*x - n + m, n = -x + 4*n + 29. Does 12 divide x?
False
Suppose 210 - 1436 = -3*f + 2*j, 0 = 2*f - 4*j - 804. Suppose -3*q + f + 1184 = 0. Is q a multiple of 28?
True
Suppose -62*t = -67*t + 2490. Let v = t + -252. Suppose k - 16 = -3*k, 5*d + 4*k - v = 0. Is 30 a factor of d?
False
Let f be 35*(-6)/5*24/(-36). Suppose 36*i = f*i + 1528. Suppose -5*v - 3*s + 290 = -4*s, -3*v = -4*s - i. Does 10 divide v?
False
Let t be 6/(1 + -9 + 6). Is t*381/(-15) - 5/25 a multiple of 8?
False
Suppose -4*i + 14*g = 19*g + 17, -5*i = 5*g + 15. Is 13 a factor of 117/(-2)*(i/(-3) - 0)?
True
Let w(a) be the third derivative of a**5/15 - 5*a**4/24 + a**3 + 11*a**2. Let n be w(5). Suppose 0*y = y - n. Does 9 divide y?
True
Let g = -3869 - -7271. Is 42 a factor of g?
True
Let f(m) = m + 21. Let r be f(-9). Let w(t) = -t + 71. Is 33 a factor of w(r)?
False
Let r = 191 + -188. Is ((-2)/r*1)/((-20)/12030) a multiple of 19?
False
Is 5 a factor of (-16)/(-88) + (2 - 152458/(-11)) + 3?
True
Let g be 0*(3/(-6))/(-3 + 2). Suppose g = -3*y + 12, -3*y + 212 - 716 = -4*l. Is l a multiple of 13?
False
Suppose -19*m - 11*m + 210 = 0. Suppose -16*u = -m*u - 1395. Does 29 divide u?
False
Let z = 137 - 112. Suppose -z*o - 2700 = -45*o. Is 8 a factor of o?
False
Let q = 97 + 87. Suppose 0 = -5*b + q - 84. Is 6 a factor of b?
False
Let l = -1 + 11. Suppose -4*m + 2*f = l, 4*f = -m + 2*m - 1. Let t(k) = 3*k**2 - 11. Is t(m) a multiple of 3?
False
Let d = 99 - -143. Is 9 a factor of (-6)/11 - (-149204)/d?
False
Let y = -12195 - -25968. Does 9 divide y?
False
Suppose 1332 = 2*n + 4*n. Suppose -5*o - n = 2*u, 2*u - 4*u + 86 = -2*o. Let v = 85 + o. Is v a multiple of 8?
False
Suppose -232*r + 237*r + 2808 = u, 5*u - 5*r = 14000. Is u a multiple of 26?
False
Suppose 46*m = -32*m + 724854. Is 9 a factor of m?
False
Let u(x) = -x**3 + 15*x**2 - 7 - 9*x - 17 + 5. Is 11 a factor of u(13)?
False
Suppose 944819 = 26*n - 800977. Is 93 a factor of n?
True
Does 154 divide (-56)/1120*(-1158090)/4 - (-2)/(-16)?
True
Suppose 0 = 3*a - 2555 - 817. Suppose -796 = -12*j + a. Does 10 divide j?
True
Let a(l) be the third derivative of 41*l**5/60 - l**4/12 + l**3/2 + 184*l**2. Let x(f) = f**2 + 1. Let y be x(-1). Is 21 a factor of a(y)?
False
Let h be 5 + -1 - 8 - -148. Let i = h + 38. Suppose 2*m = i + 70. Is m a multiple of 18?
True
Let v be (-104)/(-16)*-2 + 5. Does 33 divide (82 - (v + 11))*4?
False
Is 13 - (-6996 - (17 - 33)) a multiple of 19?
False
Let x = 390 + 936. Is x a multiple of 102?
True
Let i = 410 - 386. Suppose -5*s = -1 - i, -2*c - 3*s + 895 = 0. Is 11 a factor of c?
True
Let w(x) = x**2 + 5*x + 7. Let v be w(-1). Let z(f) = 80*f**2 - 9*f + 45. Does 51 divide z(v)?
False
Let m(j) = -2*j**2 -