ose -10*f + 14*f = 16. Suppose -18 = 2*q - 4*q. Let r = q + f. Is 6 a factor of r?
False
Suppose -c - 1 = -0. Does 13 divide 51/6*16 + c?
False
Suppose 0 = -2*u + u + 2. Let f(w) = 20*w - 2. Let a be f(u). Suppose -3*s - 5*q + a = -s, s - 2*q - 10 = 0. Is 14 a factor of s?
True
Is ((-1232)/(-84)*33/(-2))/(-2) a multiple of 11?
True
Let q = -2053 - -2990. Is q a multiple of 17?
False
Let t = 1482 - 951. Is t a multiple of 64?
False
Let z be (1 - 80/(-1)) + 3. Suppose 7*b - 3*b - z = 0. Let d = b + -1. Does 10 divide d?
True
Let i = 1508 - 2308. Let l be 1/(15/i)*6. Let q = -191 - l. Is 30 a factor of q?
False
Does 11 divide 2/(-5) - (-9064)/110?
False
Let h = 1465 - -979. Is h a multiple of 52?
True
Suppose 3*n - 63 = 78. Is 27 a factor of n?
False
Is 29 a factor of 5/(105/4878) - (-46)/(-161)?
True
Suppose -4*n = 5*x - 2, 2 - 6 = 2*n. Suppose -240 = -5*k + 5*t, 4*t = -3*k + x*t + 154. Does 10 divide k?
True
Let u(d) = -201*d - 11. Let h be u(-2). Suppose -z + 5*z = -20, 4*c = -z + h. Does 9 divide c?
True
Let g(d) = -3*d - 38. Let f be g(-10). Is 11 a factor of ((-22)/f - 1)*(49 - 33)?
False
Suppose 4*p = -2*q + 1898, -p + 622 - 140 = 2*q. Suppose -7*k - 122 = -p. Does 5 divide k?
True
Suppose 4*u = -2*j + 18, 2*u - 5 = -0*u - 5*j. Suppose -u*s = 5 - 15. Is -1 + 9 - 0/s a multiple of 2?
True
Let t(c) = 15*c - 85. Is 5 a factor of t(29)?
True
Let t = 2 - -6. Suppose -3*u + t*u = 0. Suppose 5*k - 6*k + 27 = u. Is 9 a factor of k?
True
Suppose 2*o - 2*x = -o - 4, -3*x = 12. Let q be (-474)/(-4) + (-2)/o. Let s = q - 71. Is 16 a factor of s?
True
Let k be (-7)/28 + (-669)/12. Let f = k - -140. Is f a multiple of 32?
False
Suppose 416*o - 429*o + 22672 = 0. Is 12 a factor of o?
False
Let d(c) be the first derivative of -15*c**3 - 3*c**2/2 + 5*c - 2. Let r(n) be the first derivative of d(n). Is r(-1) a multiple of 29?
True
Suppose h + 3*x - 8 = -0*x, 0 = 5*h - 5*x - 80. Let u be (-4)/h + (-205)/(-7). Suppose 2*b = -5*t + 26, 2*t + u = 3*b + 7*t. Is 3 a factor of b?
True
Is (-8 - 38660/(-50)) + (-1)/5 a multiple of 5?
True
Let a = -105 + 105. Does 13 divide (-1 - (-5 - a)) + 22?
True
Let a be 103 + (-19)/7 + 4/(-14). Suppose -12*f = -8*f - a. Is f a multiple of 5?
True
Suppose -4 + 1 = -3*h. Let g be 117 - (3 + h - 1). Suppose 0 = -2*w + 5*w - g. Does 13 divide w?
False
Suppose 4*v = -4*d + d - 1, -3*v - 17 = -d. Let t(p) = 2*p**2 - 5*p + 3. Is t(d) a multiple of 28?
True
Let u = 520 - 241. Is u a multiple of 7?
False
Let t(u) = 13*u**2 - 20*u + 9. Does 18 divide t(5)?
True
Let y(v) = 42*v**2 - v + 2. Let z be y(1). Suppose 4*b - 66 = b + 3*u, 0 = 2*b - u - z. Let n = -15 + b. Is n a multiple of 3?
True
Let n(h) = h**3 - h**2 - h + 56. Let j(k) = -3*k + 22. Let i be j(7). Let b be i + (1 - 0)/(-1). Is n(b) a multiple of 12?
False
Suppose t - 176 = -3*t. Suppose a - 34 = -a + 4*i, 4*a - 2*i - t = 0. Is 15 a factor of a*((-352)/12)/(-4)?
False
Let y(b) be the first derivative of -3*b**2 - 21*b + 9. Does 15 divide y(-6)?
True
Suppose 306*m - 37367 = 263*m. Does 11 divide m?
True
Let p = -2033 - -2057. Is p a multiple of 13?
False
Let b = -100 - -176. Does 13 divide (40/16)/(2/b)?
False
Let f(k) = k**2 - 6*k + 2. Let t be (13 - 1)*(-5)/(-5). Let p be ((-32)/(-6))/(t/18). Does 17 divide f(p)?
False
Suppose -1953 = -19*d + 2056. Is d a multiple of 9?
False
Suppose 0 = 3*v + v - 2*i - 290, 4*v - 287 = -i. Let h = v + -103. Let o = -11 - h. Is o a multiple of 7?
False
Suppose -g - 45 = 4*g. Let m(w) = -w - 6. Let r be m(g). Suppose -161 = -3*f - 4*x, f - 156 = -2*f - r*x. Is 12 a factor of f?
False
Suppose 2*q + 864 = 2*c, -693 - 573 = -3*c - 3*q. Does 61 divide c?
True
Let q = -602 - -2051. Is q a multiple of 11?
False
Let b(y) = y**3 - 40*y**2 + 10*y + 57. Does 13 divide b(40)?
False
Suppose 28 + 24 = 4*b. Suppose 0 = 8*j - b*j + 245. Does 17 divide j?
False
Suppose 610 = 4*u - 2*r, r = -5*u + 3*r + 762. Does 19 divide u?
True
Suppose 7*t = 15 - 1. Suppose -q + 3 = -4*j, 4*q - t*j + 0*j = 40. Is 11 a factor of q?
True
Suppose -20 = -3*a - a. Suppose 0 = 2*b - a*b - 135. Let h = b + 67. Is h a multiple of 22?
True
Does 17 divide (1 + (-5)/(-1))*9425/50?
False
Is 56/12*(-3348)/(-21) a multiple of 12?
True
Suppose 0 = 2*q + 2*i, 5*i + 0*i = 0. Suppose q = p - 0 - 2. Is 2 a factor of 0 + 14 + p + -4?
True
Let h(k) = -k**2 + 1. Let n(r) = 2*r**3 - 8*r**2 + 8*r - 6. Let o(z) = -6*h(z) + n(z). Does 48 divide o(3)?
True
Suppose 4*m + 5*a - 84 = 0, 0 = -0*m + m - a - 12. Suppose -3*f = -6*v + v - m, -5*v - 25 = 0. Is (-92)/6*f/2 a multiple of 23?
True
Let z = -276 + 291. Let k(i) = -i + 1. Let b be k(-3). Suppose -b = -2*d, -d - z = -4*o - 5. Is 2 a factor of o?
False
Suppose -14*t + 9*t + 40 = 0. Suppose 0 = -n + 3, 5*p + t*n - 198 = 7*n. Is 19 a factor of p?
False
Suppose 0 = 4*f + 24 + 4. Let q be 2/f + 5304/42. Suppose 0*b + q = 6*b. Does 21 divide b?
True
Let y(g) = g**2 + 2*g + 6. Let w be y(-4). Let f(v) = -5*v - 20. Let m be f(-4). Let r = m + w. Is r even?
True
Suppose 10*b = -b + 1177. Does 34 divide b?
False
Let t = -8 - 171. Let j = t + 322. Is 29 a factor of j?
False
Let n = 514 + -216. Does 16 divide n?
False
Let b = 72 - -21. Suppose -4*g = 12, 0 = -3*u - 2*g + b + 117. Is 24 a factor of u?
True
Let n = 10 - 1. Let h(v) = -3*v. Let q be h(n). Is 23 a factor of 412/9 - 6/q?
True
Suppose -4*s + 5*q + 603 = 0, -s - 4*q + 66 = -69. Suppose 3*c - s = 3*i, -10 = -4*i + 2. Is c a multiple of 10?
False
Suppose 5*p - p - 4*q - 1096 = 0, q - 1382 = -5*p. Is p a multiple of 6?
True
Let f be ((-16)/20)/(1/(-5)). Suppose 2*h + h + 146 = f*w, 3*w = 6. Let j = -13 - h. Does 11 divide j?
True
Suppose g = 3*p + 3, 5*p - 3*g + g + 6 = 0. Suppose -3*q - 3*y + 144 - 27 = p, -5*q = -5*y - 245. Is 2 a factor of q?
True
Let k be (10 + -1)/((-3)/(-9)). Let l = -14 + k. Suppose -l*w = -15*w + 34. Does 4 divide w?
False
Let v = 764 + -128. Suppose v = 4*h - 3*d, 0*d + d = 4. Is 18 a factor of h?
True
Let t = 193 + -18. Is 7 a factor of t?
True
Let g(x) = x**2 + 7*x. Let m be 18/(-45) - (-66)/(-10). Let h be g(m). Suppose s = -h + 45. Does 9 divide s?
True
Let z = -2016 + 3130. Does 32 divide z?
False
Is 9 a factor of 9492/156 - ((-30)/26 + 1)?
False
Suppose 2*g - 114 = -34. Does 5 divide g?
True
Let b(d) = d**2 - d - 3. Suppose -u - o - 3 = 0, -o = 3*u - 2 + 9. Is 3 a factor of b(u)?
True
Let t(k) be the first derivative of -k**2/2 + 51*k - 40. Is 23 a factor of t(-18)?
True
Let w(q) = 14*q**2 + 10*q + 15. Does 7 divide w(-3)?
False
Let m = 8 + 40. Let a = m - -2. Is a a multiple of 5?
True
Suppose 434 = -7*w - 7. Let x = w + 88. Does 14 divide x?
False
Suppose r - 11 = -7. Suppose -r*w = 90 - 314. Is 21 a factor of w?
False
Let g = 94 - 96. Is 4*g/10*-120 a multiple of 12?
True
Let a = -54 - -61. Is 7 a factor of a?
True
Let h be 6/(-3)*(-10)/4. Suppose -h*y + 306 = 111. Does 12 divide y?
False
Let f(k) = -k**3 + k**2 + k - 2. Let a be f(0). Let s be 5*(4 - (-30)/3). Does 10 divide a/((-1)/s*4)?
False
Let u = 16 + 116. Suppose -32 + u = 4*h. Is h a multiple of 5?
True
Let j(z) be the second derivative of -z**4/12 + 14*z**3/3 + 9*z**2/2 + 9*z. Does 27 divide j(27)?
False
Let p(h) = 2*h**2 - 20*h + 88. Is p(10) a multiple of 11?
True
Suppose -y = 5*l - 39, -2*l = l - 4*y - 28. Let c(s) = 360*s - 5*s**3 + 8*s**2 + 11 + 4*s**3 - 359*s. Is 19 a factor of c(l)?
True
Let c be (1/2)/(6/48). Suppose -4*f = u - 174, 5*f - c*u = 132 + 96. Suppose y - f = -y. Does 8 divide y?
False
Suppose -14 + 6 = 2*l - 4*j, 3*j = 4*l - 4. Suppose 5*y = -24 + l. Let n(s) = s**2 - 2*s - 5. Is 5 a factor of n(y)?
False
Let j = -215 + 542. Does 109 divide j?
True
Let o(b) = -59*b - 2. Let f be o(2). Let i = -195 + 373. Let m = i + f. Does 31 divide m?
False
Suppose -3*p - 20 = -17. Does 21 divide p + 0 - 4/8*-226?
False
Let a be 44 + 5/((-10)/(-4)). Let t(l) = -7*l - 4. Let c be t(4). Let m = c + a. Is m a multiple of 8?
False
Suppose -4*c = 6*c - 180. Suppose c = 2*p - 44. Is p a multiple of 6?
False
Is -6*8*-7 + -3 a multiple of 37?
True
Let g(k) be the third derivative of -k**6/60 - k**5/20 + 3*k**4/8 + k**3/6 + 2*k**2. Does 13 divide g(-4)?
False
Let y be -2 - -1 - -151*4. Suppose 4*o - y + 219 = 0. Suppose 5*u - 9 = o. Is 7 a factor of u?
True
Let z be -2 + (-8)/4 + 32. Suppose z*i + 117 = 31*i