Let d be 12/1*((-175)/(-20) + -4). Suppose -f + d = -35. Does 23 divide f?
True
Suppose 4*d - 29 = 11. Is 10 a factor of d?
True
Is 7 a factor of 20/(((-30)/(-40))/((-69)/(-4)))?
False
Let j be 1 - 906/14 - 8/28. Let f(u) = -2*u**2 + 6*u + 5. Let g be f(6). Let z = g - j. Does 14 divide z?
False
Suppose 6*b - 3*b = -63. Let m be (-3)/b + 108/28. Suppose -m*g + s = -280, 3*g - 2*s - 63 = 2*g. Is g a multiple of 15?
False
Suppose -4 = 5*g - 7*g. Suppose g*v + 2*h - 107 = v, 5*v + 3*h = 556. Is v a multiple of 21?
False
Suppose 3*x = -0*x - 72. Let v be ((-204)/(-16))/((-1)/x). Suppose 81 = -5*z + v. Is z a multiple of 15?
True
Suppose 3*m + 2*g - 234 = 0, -2*m - g + 383 = 3*m. Let h = 108 - m. Is h a multiple of 4?
True
Let n = 58 + 15. Does 3 divide n?
False
Suppose 5*i - 15 = 0, 5*i - 3131 - 1204 = -4*o. Is 26 a factor of o?
False
Let n(j) = j**3 + 12*j**2 - 11*j - 22. Does 23 divide n(-8)?
True
Suppose -2*v - s + 2389 = 0, v + 7*s = 5*s + 1187. Does 21 divide v?
True
Let s = -17 - -21. Suppose -s*u - 15 = -63. Let f = u - 4. Is f a multiple of 8?
True
Let j be (-9 + 11)*(-1 + 2). Let u be (j/(-4))/((-4)/16). Suppose -u*g + 69 = g. Does 7 divide g?
False
Suppose -4*r + z + 23 = 0, 0 = 2*r - 3*z - 10 + 1. Let f be 468/(-24)*(-32)/r. Is 11 a factor of (1/(-2))/((-1)/f)?
False
Let i(o) = -15*o + 9. Does 51 divide i(-13)?
True
Let n be -1*((-6)/(-2))/3. Let z be (-36)/(-5) + n/5. Let f = 49 - z. Does 21 divide f?
True
Let i be 1*1/((-1)/(-11)). Let d = i + -8. Suppose -d*u + 6*u = 60. Is u a multiple of 20?
True
Let v(o) = o**3 - 4*o**2 - 5*o - 20. Let r be v(9). Let l = r - 190. Does 12 divide l?
False
Let r(y) = y**2 + 10*y - 6. Let j be r(-8). Suppose 4*g + 48 = -4*d + 252, 0 = -4*g + 4*d + 196. Let m = g + j. Is m a multiple of 22?
False
Let t(p) = p**2 + 43*p - 296. Does 24 divide t(-52)?
False
Suppose 4*y + 2*g = 488 - 34, 3*y + 3*g - 333 = 0. Suppose 412 - 92 = 4*n. Let r = y - n. Is 15 a factor of r?
False
Does 12 divide (17105/(-15) + 4)*-3?
False
Let h = -13 - -173. Is h a multiple of 20?
True
Suppose 2*o - 100 = -4*h + 4, -5*h = 3*o - 154. Is (o/(-16))/((-2)/38) a multiple of 19?
True
Let k be 1 + 1 + 116 + -1. Let w be -12 - -22 - (0 - -73). Let r = w + k. Does 15 divide r?
False
Is 15 a factor of 48 - (-4 + (1 - -2) - -3)?
False
Let c(z) = z**3 - 9*z**2 + 3*z + 9. Let d be c(9). Is 5 a factor of 35/(-14)*d/(-10)?
False
Let o = -242 - -503. Is 39 a factor of o?
False
Let m = 964 - 404. Does 61 divide m?
False
Let d(v) = 4*v**2 + 2. Let y be d(2). Let j be (-2 + 125)*(-2)/(-6). Let n = j - y. Is 6 a factor of n?
False
Suppose 2*b - 5*m + 40 = 7*b, 2*b + m - 11 = 0. Suppose -q + 31 = -0*q - 2*r, -4*r - 97 = -b*q. Is 35 a factor of q?
True
Let z = 3675 - 2408. Is z a multiple of 45?
False
Suppose -9*h + 5*h = -80. Suppose -76 = -4*x - p - 16, x = p + h. Does 11 divide 21 + (-4)/x*-4?
True
Let o = 902 - -94. Is o a multiple of 84?
False
Let d(t) = 4 - 8 + 2 + 24*t. Let k be (-2 - -6)/(-12)*-9. Is d(k) a multiple of 22?
False
Does 15 divide 109 - 16/(-10)*(-45)/18?
True
Let d(s) be the third derivative of -s**6/120 - s**5/10 - 11*s**4/24 + s**3 - 26*s**2. Is 15 a factor of d(-5)?
False
Suppose 13*b - 12 = 10*b. Let i(h) = -h**3 + 4*h**2 + 5*h - 3. Does 2 divide i(b)?
False
Let h(n) = -2*n**2 + 17*n + 9. Let p(v) = -v**3 + 12*v**2 + v - 3. Let k be p(12). Let b be h(k). Suppose o - 15 = -b*o. Does 5 divide o?
True
Let s = 40 - 65. Let o be (s/(-2))/5*4. Suppose -5*n + o = -20. Is 3 a factor of n?
True
Let p(y) = y**2 + 5*y + 4. Let o be p(-6). Let l = 227 - 242. Does 6 divide (o/l)/((-3)/81)?
True
Does 14 divide 45*1/3*28/10?
True
Let r(o) = 205*o**2 + 4*o - 2. Is r(1) a multiple of 13?
False
Suppose -s = 53 - 56. Let j(i) = 12*i**2 - 4*i + 2. Is 14 a factor of j(s)?
True
Suppose 19*b - 74640 = -15987. Is 74 a factor of b?
False
Let k = -174 + 247. Does 4 divide k?
False
Suppose -17 = -m + 3*x, 2*m - 5*x = 6*m. Suppose -15 - 35 = -5*t - m*p, -p + 58 = 5*t. Is t a multiple of 2?
True
Let b(j) = -4*j + 11*j + 4*j**2 - 4 - 2 - j**3 - 4. Let c be b(5). Suppose 5*i - 581 + 101 = c. Is i a multiple of 28?
False
Let l(m) be the second derivative of 0 + 6*m - 1/2*m**2 - 59/6*m**3. Is 12 a factor of l(-1)?
False
Let p = 0 - 37. Let x = -23 - p. Is x a multiple of 14?
True
Suppose 574 = 10*x - 3*x. Suppose 4*g - 338 = -x. Is 8 a factor of g?
True
Does 11 divide (-143220)/(-279)*6/4?
True
Suppose -2*i - 476 = -4*i. Does 25 divide i?
False
Suppose -35*a + 23*a = -60. Let u be 2*(-2)/(-4) - -41. Suppose a*o = 113 + u. Is o a multiple of 9?
False
Suppose -9*u + 12*u - 2232 = 0. Is u a multiple of 8?
True
Let n(i) be the first derivative of -i**3/3 + 2*i**2 + 8. Let d be n(2). Suppose -d*v + 352 + 96 = 0. Does 28 divide v?
True
Let h = -41 - -74. Is 6/h + (-4020)/(-33) a multiple of 15?
False
Suppose 0 = k - 2 - 3. Let b be 1*2 - (-370)/k. Suppose -5*j - 3*i = -188, -b = -j - j - i. Is 11 a factor of j?
False
Suppose -30*z + 27*z - 126 = 0. Let p = z + 99. Is 20 a factor of p?
False
Does 10 divide (14/(-21))/(-3 + (-4449)/(-1485))?
False
Suppose 8*o - 4*o = 5*c + 3284, 8 = -2*c. Is 48 a factor of o?
True
Let v = -74 - -258. Is 46 a factor of v?
True
Let z(r) = 13*r - 4. Does 9 divide z(1)?
True
Let u = 31 - 11. Let l = u + -28. Does 18 divide (-998)/l + (-3)/4?
False
Suppose 4*r - 1077 = 5*v + 1244, 4*v = 5*r - 2908. Is 6 a factor of r/16 - (-1)/2?
False
Let p(v) = -v**3 - v + 672. Does 26 divide p(0)?
False
Let i(c) = -2*c**3 + 8*c**2 + 7*c - 9. Let a(y) = 4*y**3 - 17*y**2 - 15*y + 19. Let f(o) = -6*a(o) - 13*i(o). Is 9 a factor of f(2)?
True
Let x = -828 + 2441. Is 9 a factor of x?
False
Suppose 2*s + 414 = u - 713, -u - 5*s + 1120 = 0. Suppose -11*q = -6*q - u. Does 45 divide q?
True
Let y = -97 + 97. Suppose 15*u = -y*u + 2295. Is 9 a factor of u?
True
Suppose -9*t + 20 = -16. Let j(y) = 2*y**3 + 5*y - 2. Is j(t) a multiple of 14?
False
Let c(b) = b**2 - 10*b + 20. Let z be c(8). Suppose z*u = 4*s + 100, -3*u + 0*s + 51 = 5*s. Is u a multiple of 5?
False
Suppose 0 = 4*l - 364 + 92. Suppose 3*z = -5*j + 843, 405 - l = 2*j + z. Does 12 divide j?
True
Let q = 16 - -8. Does 9 divide q/(3 - (-21)/(-9))?
True
Let o = 3010 - 1637. Does 75 divide o?
False
Suppose -4*b - b + 20 = 0. Suppose b = i + 1. Suppose -v = -i*v + 38. Is v a multiple of 13?
False
Let h = -942 - -1371. Does 42 divide h?
False
Suppose -2*s = -i + 25, -3*s + i = 3*i + 55. Suppose 4*g - 245 = -3*g. Let r = s + g. Is 10 a factor of r?
True
Let t = 1036 + -595. Is t a multiple of 7?
True
Suppose -l + 5*f = -44, 3*l - f - 82 = 4*f. Suppose 0 = m - l + 10. Suppose 2*w + m - 39 = 0. Is w a multiple of 3?
True
Suppose -444 = 6*u - 72. Let d = u - -87. Is 13 a factor of d?
False
Suppose 11 - 181 = -x - c, 0 = 4*x - 4*c - 672. Is x a multiple of 50?
False
Let y(h) = 3 + 7*h + h**3 - 2 + 4 + 9*h**2. Is y(-5) a multiple of 5?
True
Let l = 131 - 204. Let q = l + 144. Is q a multiple of 5?
False
Suppose 0 = 4*m - 4*l + 56, 2*m - 6*l + 26 = -2*l. Does 3 divide (-20)/m*-6*9/(-12)?
True
Suppose 95*g - 16065 = 10*g. Is g a multiple of 28?
False
Suppose w - 5*o - 615 = 0, 2*w + 2*w + o - 2397 = 0. Does 24 divide w?
True
Let t(u) = u**3 + 10*u**2 - 7*u + 8. Let o = -36 - -26. Is t(o) a multiple of 39?
True
Suppose 22 = 2*u - 0*g - 4*g, 0 = 2*u - 3*g - 19. Suppose 3*m = -4*f + 892, -u*m + 1187 = -m + 3*f. Is 37 a factor of m?
True
Let y = 47 + -595. Is 16 a factor of y/(-9) + 1/9?
False
Let b = 928 + -198. Does 13 divide b?
False
Suppose -9*a + 402 = -6*a + 4*u, 0 = -4*u + 12. Is 65 a factor of a?
True
Let f(b) = -b**2 - 58*b - 56. Is 28 a factor of f(-28)?
True
Suppose -8 = -4*q - 0. Let m be (-153)/(q/((-8)/6)). Suppose 0*i = -2*i + m. Is i a multiple of 14?
False
Let k(g) = 2*g**2 + 6*g - 3. Let t be k(-5). Suppose -w + 4*f + t = -4*w, -3*f - 16 = -w. Does 19 divide w/1 - 825/(-11)?
True
Let z(p) = -p + 2. Let r be z(-2). Suppose -m + 18 = -r*m. Does 33 divide 3/m*-6 + 63?
True
Does 32 divide (-5880)/(-92) - (-8)/92?
True
Suppose -6357 = -31*j + 618. Does 15 divide j?
True
Is 9 a factor of 3 - (-2 - -3) - -558?
False
Let y = 20 + -8. Let g = y + -21. Is (-42)/g - (-6)/18 even?
False
Let n(a) = -5 - 79*a - 80*a + 158*a + 33. Does 2 divide n(17)?
False
Suppose 0 = -13*u + 18*u - 75. Let n = u - 2. Does 3