*r - 5*d = r + 5. Does 10 divide 2/(-3)*(1165/r - 5)?
False
Suppose 6*q - 4*q + 168 = 0. Let x = 26 - q. Is x a multiple of 10?
True
Let x(t) = 3*t**3 + 2*t**2 + 5*t + 1. Let o(v) = 4*v**3 + 2*v**2 + 6*v + 2. Let q(z) = -4*o(z) + 5*x(z). Let c be q(3). Is 17 a factor of 2065/63 + (-2)/c?
False
Suppose -5*s + 0*s = 55. Let q be -13 - s - (0 - -1). Is 30 a factor of 102*2/(-12)*q?
False
Suppose 3*m + 38817 = 22*m. Is 84 a factor of m?
False
Suppose 5*o = 189 + 121. Suppose -3*n = a - 38, -4*n = -a - n + o. Is 10 a factor of a?
True
Suppose p + p - 14 = -u, -3*u = -4*p - 52. Suppose 2*g - 3*v = u, -4*v + 18 = -g - 9*v. Suppose 4*j = -3*m + 153, -265 = -5*j + g*m - 45. Does 10 divide j?
False
Suppose -204 = -k - 4*f, k + 3*f - 202 = 2. Is k a multiple of 19?
False
Let h = -14 + -114. Let v = -88 - h. Does 5 divide v?
True
Suppose -5*a - 7733 = -4*g, -4*g + g + 5*a + 5801 = 0. Is 14 a factor of g?
True
Let u(v) be the third derivative of 7/60*v**5 + 6*v**2 + 1/120*v**6 + 0*v + 0 + 2/3*v**3 + 1/6*v**4. Is u(-6) a multiple of 4?
True
Let x(y) = 8*y**2 + 2*y + 2. Let h be x(-1). Suppose 0 = -r + h. Is 8 a factor of r?
True
Let h = -92 - -95. Suppose 377 = h*o - 229. Is 14 a factor of o?
False
Suppose h + h + j - 7 = 0, -4*j + 16 = 4*h. Suppose h*o = -5*o + 1008. Suppose -2*q + 5*q - o = 0. Is 6 a factor of q?
True
Let o(x) = -x**3 - 16*x**2 + 10*x + 15. Let i = -15 + -2. Let a be o(i). Let p = a - 77. Is 18 a factor of p?
False
Let y be 0 - (4 + -17 + 2). Suppose y*v - 8*v - 363 = 0. Is v a multiple of 26?
False
Suppose 0 = -46*v + 106098 + 6326. Is v a multiple of 12?
False
Let r = 11 - 11. Suppose r = 4*w + w - 20. Suppose 2*a = w + 6. Is a even?
False
Let p = 476 + -455. Does 7 divide p?
True
Suppose -2 = -d + 2*j - 3, -2*d = -5*j + 4. Suppose -4*g = -d*x - 24, -2*g - 4*x + 3*x + 12 = 0. Does 6 divide g?
True
Let z be (-8)/36 + 4510/45. Let x = z + -36. Is 32 a factor of x?
True
Let r(s) be the first derivative of -s**2/2 - 2*s - 1. Let o be r(-6). Suppose -2*l + o*l = 100. Is l a multiple of 14?
False
Is 5 a factor of 13 + 3 + (-7 - -3)?
False
Let l = -30 - 21. Let h = 55 + l. Is 2 a factor of h?
True
Suppose -4*i - 2*t = -8, 3*i = -5*t + 5 + 1. Suppose 2*a - 136 = -i*c + 4*c, 3*a - 200 = 5*c. Is 15 a factor of a?
False
Suppose 0 = 139*k - 127*k - 7776. Does 8 divide k?
True
Let p(h) = h**2 + 12*h - 15. Let y(q) = -5*q**2 + q + 4. Let c be y(2). Does 6 divide p(c)?
False
Let s = -15 - -15. Suppose -d + 17 + 3 = s. Suppose 0*k + 60 = 3*k - 2*z, -k = 4*z - d. Does 10 divide k?
True
Let g(b) = 23 - b**2 + 12*b - 3*b - 25. Does 5 divide g(8)?
False
Suppose -14 = -5*g + 131. Let y = g - -37. Is y a multiple of 11?
True
Suppose u + 1908 = 2*m, 932 = m + 6*u - u. Is m a multiple of 70?
False
Let i(j) be the third derivative of -j**5/60 - 17*j**4/24 + 13*j**3/3 - 15*j**2. Does 3 divide i(-18)?
False
Let w = 684 + -607. Is 77 a factor of w?
True
Let k = 280 - -436. Is 10 a factor of k?
False
Let s(x) be the third derivative of x**5/2 - x**4/12 - 7*x**3/6 + 26*x**2. Is s(-2) a multiple of 12?
False
Let w = 2618 - 1261. Is 14 a factor of w?
False
Suppose -3*y = s - 19, 2*s + 2*y = -0*y + 18. Let z(q) = -q**3 + 3*q**2 + 3*q + 2. Let x be z(s). Does 2 divide (-1)/x*(-70)/(-7)?
False
Let a be 211 + -1 + -3 + 3. Suppose -f + 20 = 5*h, -5*f = -3*h + 9 - 25. Suppose -f*q = -4*l - 278, -q - 3*q + a = 3*l. Is q a multiple of 18?
True
Suppose -j + 291 = 3*u - 2*u, 4*u - 1154 = -2*j. Is u a multiple of 52?
False
Suppose -18 - 5 = -q. Let u = q - 21. Is u/16 + 87/8 a multiple of 11?
True
Let f(y) = 67*y**2 + 20*y + 55. Is f(-3) a multiple of 26?
True
Let x(m) = -207*m + 284. Is x(-4) a multiple of 23?
False
Let x = 3587 + -2340. Does 7 divide x?
False
Let c(r) = -r**2 + 7*r - 6. Let t be c(3). Let v(s) = -s**3 + 8*s**2 - 8*s - 14. Is 10 a factor of v(t)?
True
Let i = 152 - 410. Does 35 divide ((-96)/36)/(4/i)?
False
Let p(l) = -l**3 - 7*l**2 + 6*l - 10. Let q be p(-8). Let o = q + -3. Suppose v + 0*v - 29 = -5*w, o*w = 0. Is 19 a factor of v?
False
Let q = 854 - -642. Is q/32 - 6/8 a multiple of 23?
True
Is 16 a factor of (-1 - 0)/((48/(-968))/6)?
False
Is (-2)/11 - (-11)/(484/16552) a multiple of 47?
True
Suppose 0*s - 1044 = -9*s. Suppose -s = x - 3*x. Is 15 a factor of x?
False
Let a(v) = -12*v**2 - 2*v + 1. Let b be a(1). Let z = -13 - b. Does 9 divide (0 - z) + 72/8?
True
Suppose 0 = -2*l, -1541 = -3*h + 3*l + 1237. Is h a multiple of 49?
False
Suppose -p - 3*t - 93 = 0, -3*t - 4 = 2. Let d = p - -202. Is d a multiple of 23?
True
Suppose -17 = -2*q + 3*v, -24 = -3*q - 0*q + 4*v. Does 13 divide 2/(-6) + q*(-785)/(-60)?
True
Let o(n) = 2*n - 6. Let m be o(3). Suppose m = 5*j - 0*j + 2*x + 229, 2*j + 92 = -x. Is 4 a factor of ((-4)/(-5))/((-3)/j)?
True
Suppose -4*x + 13 = 5*n, n = -3*x + 4 + 3. Suppose -x*c - 2 = 0, -c = -t - 6*c + 7. Is 8 a factor of t?
False
Let y be (-6)/15 - (-172)/5. Suppose m + 44 = 4*n, -n = 2*n - m - y. Does 2 divide n?
True
Suppose 3*m + 322 = 2*v, 2*v - 211 = -m + 127. Suppose -l - 30 = 82. Let g = v + l. Is g a multiple of 25?
False
Suppose 8*f = -214 + 4750. Does 23 divide f?
False
Let a = 629 - 253. Is a a multiple of 19?
False
Let q(k) = -k**3 - 21*k**2 + 22*k. Let j be q(-22). Does 11 divide (0 + -2 + j)/((-6)/264)?
True
Let t(m) = -80*m - 33 + 155*m - 68*m. Does 2 divide t(7)?
True
Let k = -232 + 328. Is 16 a factor of k?
True
Let a(i) = i**3 - 6*i**2 + 3*i + 1. Let u = -17 - -10. Let c(g) = -g**3 + 6*g**2 - 3*g - 1. Let k(y) = u*c(y) - 6*a(y). Is k(6) a multiple of 19?
True
Is -1 + 5 - (-24 - -23) even?
False
Suppose 256 = -12*a + 8*a. Let u = a + 110. Is 40 a factor of u?
False
Let q(g) = -g + 7. Let i be q(4). Suppose y - i*x = -8, -3*y + 7*x = 4*x. Suppose -2*h - y*f = -7*h + 49, -4*h + 3*f = -40. Is h a multiple of 13?
True
Is 11112/150 + (-20)/250 a multiple of 8?
False
Let y = -7 - -91. Suppose 17*t = 15*t + y. Is t a multiple of 5?
False
Let r be (152/5)/((-66)/30 - -2). Is 19 a factor of (-1)/2*1*r?
True
Let q = -8 + 3. Let r = q + 7. Suppose 0 = r*k - 1 - 7. Is k a multiple of 4?
True
Suppose -9*m + 3*m = -12858. Is m a multiple of 67?
False
Suppose 6*f = f - 55. Let s = 11 + f. Suppose 4*o + 3*j - 93 = s, o + 4*j = -4*o + 116. Is 11 a factor of o?
False
Let p be (4/(-8))/((-1)/(-150)). Let j = 94 + p. Is 14 a factor of j?
False
Suppose 127 = 5*i - 8. Is i/12 + -3 + (-188)/(-16) a multiple of 2?
False
Let p = 24 + -17. Suppose v + t = -2, -3*v - 3*t - 6 = -p*t. Let z(s) = -43*s - 2. Does 17 divide z(v)?
False
Let a = 975 + -375. Does 17 divide a?
False
Let d = 981 + 1647. Is d a multiple of 9?
True
Is (-3)/12*1 + (-13781)/(-4) a multiple of 13?
True
Let y(m) = -m**2 + 8*m + 6. Let d be y(-4). Let v = d - -52. Does 4 divide v?
False
Let i(l) = -l**2. Let f be i(2). Let v be (74 - 1)*(-3 - f). Suppose -3*d - v = -2*k - 2*d, 2*d = k - 38. Does 12 divide k?
True
Suppose 0*y - 8 = -4*y. Suppose -y*j = 5*w - 5*j - 60, -5*j = -25. Is (-612)/(-10) - 3/w a multiple of 13?
False
Let q(w) be the first derivative of -w**3/3 - w**2/2 + 6*w + 2. Let f be q(-6). Is 2/(-6) - 536/f a multiple of 11?
True
Suppose 81*m - 71048 = 53854. Does 32 divide m?
False
Let c = 1084 - 410. Does 15 divide c?
False
Let w(x) = -x**3 - 3*x**2 + x - 4. Let v(k) = -k**2 - 3*k - 4. Let m be v(-3). Let c be w(m). Let h(y) = y**2 - 6*y - 6. Does 6 divide h(c)?
False
Suppose b + 89 = 3*a - 24, -b = -4*a + 149. Is a a multiple of 9?
True
Suppose 206 = 2*o - 110. Let i(q) = q**3 - 9*q**2 - 13*q + 11. Let x be i(9). Let h = x + o. Does 13 divide h?
True
Let u(m) = 92*m + 11. Is u(3) a multiple of 54?
False
Let c be (-60)/(-14) - (6 - (-240)/(-42)). Suppose 117 = 4*n + g - 87, n = c*g + 68. Is n a multiple of 13?
True
Suppose -11 = 2*y - 45. Suppose -5*t = -y*t + 2064. Is t a multiple of 10?
False
Let r = -42 + 92. Let w = -9 + r. Is w a multiple of 7?
False
Let q(l) = -l**2 + 8*l - 10. Let m be q(7). Let a be (m - 7)*(-1)/2. Suppose u + 28 = j + 4, 0 = 2*j + a*u - 48. Is j a multiple of 12?
True
Suppose -3*c = 5*x - 126, -4*x + 3*c = 44 - 134. Let i = 33 - x. Suppose 2*o + i = 3, -45 = -v + 5*o. Is v a multiple of 10?
True
Suppose -2*x + 5*a = -1212, -4*a - 211 - 999 = -2*x. Is 15 a factor of x?
False
Let m(s) = -3*s - 16. Let q be m(-13). Let k = q + -23. Suppo