
True
Let b = -865 - -1457. Is b a multiple of 16?
True
Let i = 88 + -115. Does 22 divide (-3 - 1055/(-9)) + 6/i?
False
Let o(s) = -5*s**2 + 13*s + 1. Let f(n) = 16*n - 4*n - 3*n**2 - 3*n**2. Let b(u) = -4*f(u) + 5*o(u). Does 13 divide b(15)?
False
Let z = 193 + 38. Is z a multiple of 33?
True
Is 63 a factor of ((-189)/(-6))/((-3)/(-6))?
True
Is -23 + 258 - 3/((-9)/(-6)) a multiple of 15?
False
Let s = -692 + 1088. Is s a multiple of 18?
True
Is 93/((1 - 3)/4 + 2) a multiple of 14?
False
Let q = 396 + 117. Is 27 a factor of q?
True
Let y = -182 - -1904. Is 41 a factor of y?
True
Suppose -3*g - 2*r = -7*r - 14, 4*g + 2*r - 10 = 0. Suppose -k + 16852 = g*k. Is (-4)/(-22) - k/(-121) a multiple of 10?
False
Let v = -57 + 71. Let m(u) = -u**3 + 16*u**2 - 27*u - 3. Does 11 divide m(v)?
True
Let x = 3523 - 2418. Does 85 divide x?
True
Let h = 620 + -264. Suppose 16 = -4*q, -h = 4*y + 2*q + q. Let f = -31 - y. Is 20 a factor of f?
False
Let y be 1/(-1)*-145 + 1. Let n be 1*(0 - (-3 - y)). Suppose -j = 3*l - n, 2*l + 8*j - 82 = 3*j. Is l a multiple of 17?
True
Is 17 a factor of ((-58714)/(-93))/((-2)/(-3))?
False
Let l(v) = v**3 + v. Let m be l(2). Let o be (4/m)/((-2)/(-20)). Suppose 0 = -5*q - n + 352, -3*q = o*n - 33 - 185. Does 19 divide q?
False
Suppose -4*z - 191 = 5*h - 937, 0 = 4*h - 2*z - 576. Does 9 divide h?
False
Suppose 2*p = -i + 3*i + 176, -5*p + 448 = -3*i. Is p a multiple of 8?
False
Let b = -244 + 700. Is b a multiple of 19?
True
Suppose 2*c = 3 - 5. Let g be c*8 + 8/2. Is 3 a factor of 8/g + 14/2?
False
Let b be 10*(16/(-10))/(-4). Does 6 divide 210/(-28)*b/(-3)?
False
Let b = -95 - -100. Suppose -12*a + 7*a = -b*y - 145, -2*a + 4*y + 68 = 0. Is 4 a factor of a?
True
Let r(k) be the third derivative of -9*k**2 - 1/24*k**4 + 0 + 1/6*k**3 + 0*k. Does 7 divide r(-13)?
True
Suppose 2*g + 9 = -9. Let v(r) = 8*r - 35. Let d(l) = 5*l - 18. Let o(t) = 5*d(t) - 3*v(t). Is 3 a factor of o(g)?
True
Let k = -4 + 6. Suppose 0 = -k*n - 3*n. Let x = n - -9. Does 3 divide x?
True
Suppose 6*t = 8*t. Suppose t = -7*u + 5*u + 70. Is 5 a factor of u?
True
Let p(m) = 569*m**3 - 7*m**2 + 8*m - 1. Is p(2) a multiple of 89?
True
Let w(l) be the second derivative of -4*l**3/3 + 13*l**2 - 9*l. Is w(-13) a multiple of 39?
False
Suppose 14*g - 31*g = -9707. Is 6 a factor of g?
False
Let c(s) = -s**2 - 2*s + 116. Let o be c(0). Does 16 divide (-35)/(-10)*o/7?
False
Suppose -779 = -6*f + 883. Does 16 divide f?
False
Let h(f) = 3*f - 2*f**2 + 12*f**3 + 9 - 11*f**3 - 7*f. Is 43 a factor of h(6)?
True
Let g = 10 + -49. Let o be (2015/g)/((-2)/(-6)). Is 13 a factor of (-1)/(-6) + o/(-6)?
True
Suppose -19*u + 8*u = -48807. Does 17 divide u?
True
Let r be (-3 - -2)/(2/14). Let d = 8 + r. Is (63 + 4)/(d - 0) a multiple of 20?
False
Let t(z) = -3*z + 37. Let u be t(9). Is 302/(-30)*-9 + (-6)/u a multiple of 18?
True
Suppose -d + 0*i - 5*i = -104, -2*d = 2*i - 176. Let b = d - 0. Is b a multiple of 14?
True
Suppose 2*u + 25*z - 21*z - 6174 = 0, 0 = 5*u + 2*z - 15395. Is 11 a factor of u?
False
Suppose -3*j + 211 + 40 = -5*t, 2*j = 5*t + 174. Does 11 divide j?
True
Let g be (-126)/(-26) + 2/13. Suppose -g*j - 2 = -3*w - 43, -32 = -2*j - 4*w. Is 3 a factor of 34/j - 9/(-15)?
False
Let t(y) = 8*y + 85. Let s be t(-12). Let v be 4/(-6) - 322/(-6). Let a = v + s. Is 12 a factor of a?
False
Suppose -r = 2*r - 279. Suppose -293 + r = -5*o. Is 31 a factor of o?
False
Let p(t) = t**2 + 20*t - 36. Let z be p(-26). Let l = z + 49. Does 12 divide l?
False
Is -10 + 60/5 + 1636 a multiple of 63?
True
Suppose -3*n + 225 = -n + 3*g, -4*n + 5*g + 439 = 0. Let d = n - -68. Suppose 4*w - d + 67 = 0. Does 12 divide w?
False
Suppose 0 = -878*a + 888*a - 90. Is a a multiple of 9?
True
Let r be (-12)/(45/14 - 3). Let u = 19 - r. Does 25 divide u?
True
Suppose 3*i + 2*s = 16, -4*s + 28 = -0*i + 4*i. Is 7*(i - -1 - -14) a multiple of 7?
True
Suppose -i - 3*f = -24, -13 = -5*i - 3*f + 143. Let t = i + -13. Is 5 a factor of t?
True
Let w(y) = -y + 10. Let u = -28 + 14. Is 8 a factor of w(u)?
True
Let j = -24 + -121. Let y = j + 208. Is y a multiple of 9?
True
Let c = 17 - 15. Suppose -d + 6 = -4*d + 2*a, c*d - 3*a + 9 = 0. Does 17 divide 85 - d - (-7 - -9)?
False
Suppose -5*b = -p + 243, 4*p - 3*b - 749 - 206 = 0. Does 14 divide p?
True
Suppose -h = 5 + 7. Let y = 9 + h. Is 20 a factor of ((-3)/(-4))/(y/(-156))?
False
Suppose -10*l - 16 = -14*l. Let x be (-20)/5*-1*1. Suppose -l*n + 120 = -x*y, 4*y = 18 - 6. Is n a multiple of 11?
True
Let q(t) = t**3 - 12*t**2 + 8*t + 31. Let z be q(14). Suppose 4*a - z = 77. Does 18 divide a?
False
Let h = 420 + -141. Suppose -146 = -5*r + h. Does 17 divide r?
True
Let o = -186 - -365. Does 4 divide o?
False
Let d = -21 - -31. Suppose 0 = d*f - 14*f + 24. Suppose -3*j - 132 = -f*j. Does 22 divide j?
True
Suppose 3052 = -78*k + 85*k. Does 50 divide k?
False
Let i(j) = 4*j + 8. Let g be i(10). Suppose 6*h - 5*h = g. Is 16 a factor of h?
True
Suppose -55 + 16 = 3*j. Let f = 17 + j. Suppose 4*w - f*l = 36, 2*w = 3*w + l - 7. Is 4 a factor of w?
True
Let s(h) = 669*h**2 - 9*h + 21. Is 57 a factor of s(2)?
True
Let j(a) = 4*a - a + 1 - 3*a + a. Let k(l) = -4*l + 1. Let r(t) = j(t) + k(t). Is 2 a factor of r(-2)?
True
Let i = 324 + -291. Does 33 divide i?
True
Let f(m) be the first derivative of -5*m**4/4 - m**3 - 2*m**2 - 4*m + 2. Does 32 divide f(-2)?
True
Let d(g) = g**3 - 8*g**2 + 4. Let c be d(8). Suppose 0 = 4*r - 0*r - c*q - 168, r - 45 = -2*q. Is r a multiple of 14?
False
Let d = 15 - 10. Is 20 a factor of 63*(20/3)/d?
False
Suppose -3*p = -3*l - 156, -12 = 2*l + 5*p + 64. Let a = 69 + l. Is 7 a factor of a?
True
Let t(f) be the second derivative of f**5/20 + 3*f**4/4 - 13*f**3/6 - 3*f**2 - 14*f. Does 3 divide t(-10)?
True
Let z = 40 - 23. Suppose -z + 2 = -3*b. Is (2 + b*-2)*-4 a multiple of 18?
False
Is 16 a factor of (-8 - (-7724)/8) + 15/6?
True
Suppose -6*u = -4*u - 6. Suppose -37 + 262 = u*z. Does 25 divide z?
True
Let m = 69 - 101. Let t = 80 + m. Is t a multiple of 12?
True
Suppose -2*i + 38 = -a - 3*a, 2*i = -5*a - 7. Suppose 0 = -5*s - 5*k + 20, 4*s - 13 = -k + i. Does 3 divide s?
True
Suppose -71*h = -49*h - 5324. Is 22 a factor of h?
True
Suppose 5*j - 5*d + 895 = 0, 0*d + 551 = -3*j - 4*d. Let w = 280 + j. Is 9 a factor of w?
True
Let o = 2 + -3. Let d be ((-7)/o)/((-5)/(-95)). Suppose 5*j = 2*w + 149, 4*j - d = -0*j - 3*w. Is 9 a factor of j?
False
Suppose 0 = 2*d - 183 - 813. Suppose -3*a = 2*s - 412 + 100, 3*s = 3*a + d. Is s a multiple of 27?
True
Let z = 1150 + -510. Is 8 a factor of z?
True
Let h(y) = y**3 + 12*y**2 - 14*y + 47. Is 7 a factor of h(-13)?
False
Let n = -200 + 336. Does 68 divide n?
True
Let k(a) = 2*a**2 - 20 - 1 - 13*a + 8 + 5*a. Does 24 divide k(8)?
False
Let p be 90/(-21) - 2/(-7). Let m(v) = 2*v**2 - 7*v - 5. Is m(p) a multiple of 10?
False
Is 54 a factor of (-4212 + 0)*((-21)/(-2))/(-21)?
True
Let c(q) = -q + 40. Let g be c(4). Suppose g*d = 34*d + 300. Is d a multiple of 25?
True
Let z(k) = 33*k**2 + 2*k - 2. Let f be z(2). Suppose h - f = -5*n, 2*n + 3*h - 67 + 3 = 0. Let b = n - 19. Does 5 divide b?
False
Let k be 0*2/(-8) + 5. Suppose k*m = 2*m + 84. Is m a multiple of 14?
True
Let m = 109 + -77. Does 26 divide m?
False
Let p(m) be the second derivative of m**4/2 + m**3/6 - m**2 + 12*m. Is p(3) a multiple of 5?
True
Let u(z) = 46*z**3 - 5*z - 1. Does 16 divide u(4)?
False
Let p(a) = 37*a + 431. Is 45 a factor of p(37)?
True
Suppose -2*f + 6 = 0, 0 = -3*n - 0*n - 3*f + 321. Suppose -2*q + n = 2*q. Is 11 a factor of q?
False
Suppose -32 = -s - 34. Does 21 divide s*(625/(-1))/5?
False
Let b(h) = 93*h**3 - 2*h**2 - 4*h - 2. Let k be b(-1). Let g = k + 191. Does 14 divide g?
True
Does 64 divide (10/175*-7)/(1/(-730))?
False
Is 31 a factor of (-6410)/(-9) - ((-1612)/117 - -14)?
False
Suppose 19 = -k - 4*n, -3*n + 0*n - 115 = 4*k. Let u be ((11 - 0) + -3)*(-22)/(-4). Let s = k + u. Does 5 divide s?
False
Suppose t + b - 6*b = 13, -2*t + 12 = -3*b. Suppose -t*i - i + 260 = 0. Suppose 5*k - i - 5 = 0. Is 4 a factor of k?
False
Suppose -7*t + 13*t = 1512. Is 14 a factor of t?
True
Let n(l) = 4*l**2 + 9 + 0 - 17*l - 11 + 8. Let x be n(11). Suppose -300 = -3*a + 2*w + 7, 3*a = 3*w + x. Does 22 divide a?
False
Let q(z) = -74*z*