True
Let o be 5*((-3)/(-3))/1. Suppose -t - 290 = -3*s, s - o*t + 412 = 5*s. Suppose -2*l - s = -3*l + 2*v, -l = 4*v - 86. Does 10 divide l?
False
Suppose -7*c = -0*c - 63. Suppose -c*j = -14*j + 900. Suppose 4*h + j = 684. Is 42 a factor of h?
True
Let v(r) = -2*r**3 - 94*r**2 + r + 366. Does 11 divide v(-47)?
True
Suppose -3*z - m = -11128, -2*z - 6*m + 7420 = -4*m. Is 35 a factor of z?
False
Suppose 277 = 12*b - 107. Suppose 21*v + 5775 = b*v. Is v a multiple of 35?
True
Let j(t) = -t**3 - 3*t**2 - t + 3. Let w be j(-4). Let s = 38 - w. Let a = 57 - s. Is a a multiple of 22?
False
Let o be ((-2)/(-4))/(-3 - (-2860)/952). Is (o + 2)/((-14)/(-14)) a multiple of 11?
True
Suppose 3410 + 446 = 2*p. Suppose -p = -3*v - v. Suppose 4*d + 296 = 2*q, -d = 4*q - v - 119. Is 30 a factor of q?
True
Suppose 2380 = 2*n + 4*i, -2*n - 2*i - 2380 = -4*n. Let a = 1815 - n. Is 88 a factor of a?
False
Let u(v) = 11*v + 99. Let p be u(-7). Let w(b) = -b**3 + 24*b**2 + 15*b - 110. Is w(p) a multiple of 54?
True
Suppose 0 = 2*w - 26 + 22. Suppose -w*p - 368 = -v, v + 0*p = p + 367. Is v a multiple of 14?
False
Does 184 divide ((-148)/(-70) + (-14)/(-49))*(-1036150)/(-159)?
True
Suppose -4*u + 4 = -0*u - 2*v, 4*u = -3*v + 14. Let a(k) = -51*k**u - 42 + 23*k**2 + 29*k**2 - 7*k. Does 7 divide a(15)?
False
Let s be 410*(-1 - (-6)/2). Let p = s + -415. Does 45 divide p?
True
Suppose 0 = t + 4*b - 47 + 15, 4*b = -4*t + 104. Is t a multiple of 6?
True
Suppose d = -3*d + 172. Suppose -d + 531 = 2*q - 4*c, -5*q - 4*c = -1192. Is q a multiple of 15?
True
Let z(y) = -35*y**3 - 18*y**2 - 30*y - 3. Is z(-6) a multiple of 18?
False
Is (-2 - 3) + 41/(492/40080) a multiple of 145?
True
Let s = -11760 + 20243. Does 17 divide s?
True
Let m be (-65)/(-20) + (3/12)/(-1). Suppose 4*v - 616 = a + m*a, 5*v + 652 = -4*a. Let i = 244 + a. Is i a multiple of 16?
False
Let q(o) = 37 - 29 + o - 2*o. Let j be q(-12). Does 22 divide 1/((-50)/(-660)*6/j)?
True
Suppose -37*i = -35*i + 176. Let y be (-2 - (-7)/2)/((-4)/i). Does 15 divide (-364)/(-3) + 22/y?
False
Let p be (-1 - 295/(-2))/(3/54). Suppose p = 4*u + 49. Does 17 divide u?
False
Let u(a) = 5*a**2 + 47*a + 237. Does 25 divide u(-11)?
True
Let a(o) = 2*o**2 + 12*o - 68. Suppose 13*s - 68 = -250. Is a(s) a multiple of 26?
True
Is (-1 - 77/(-99)) + 150914/9 a multiple of 77?
False
Suppose 2*s - 11*s - 225 = 0. Let p = 127 + s. Is p a multiple of 51?
True
Let x(o) = -2*o**3 - 59*o**2 + 69*o - 240. Does 10 divide x(-35)?
True
Let o(m) = -187*m + 19. Let t be o(-5). Let v = t + -103. Is 37 a factor of v?
True
Suppose 2*p - 16 = -12. Suppose 148 = -p*a + 434. Does 13 divide a?
True
Suppose 0 = -4*b - 3*q + 40, 0 = -5*b + q + 55 - 5. Suppose 5*m + b - 55 = 3*h, 3*h = 0. Is 3 a factor of ((-42)/(-9))/(3/m)?
False
Let b = -396 + 387. Is (-15)/b + (1 - (-6520)/30) a multiple of 10?
True
Let c be 964/4*(-3)/(-3 + 2). Suppose 3*w + 5*i - 763 = -238, 4*w = i + c. Is w a multiple of 57?
False
Let s(r) = r**2 - 68. Let m(l) = -3*l**2 - l + 203. Let t(y) = -4*m(y) - 11*s(y). Is 16 a factor of t(10)?
False
Let z = 60 + -66. Let t be (-2)/z*84/14. Suppose 0 = u + 2*g - 6*g - 49, -t*u = -4*g - 78. Is 3 a factor of u?
False
Suppose -4*y - 96 = -2*c - 36, -3*y = -c + 28. Suppose 0 = 2*t + 3*q - 198, -4*t = -0*t - 3*q - 378. Let h = c + t. Is 23 a factor of h?
False
Suppose 0*y + 3*j = -2*y + 589, -3*y = -2*j - 864. Is 10 a factor of y?
True
Let p(t) = 2*t**2 + 4*t + 10. Let q = -374 - -361. Does 37 divide p(q)?
True
Suppose -3*s + 1954 = -p - 7685, 0 = 5*s - p - 16069. Is 6 a factor of s?
False
Let d(n) = -2*n**3 - 4*n**2 - 12. Suppose -t + 3*t - 4*c = -24, -3*t - 32 = -5*c. Is 13 a factor of d(t)?
True
Let m(l) be the third derivative of 13*l**6/120 - l**5/60 + 7*l**4/24 - l**3/3 - l**2 + 3. Is 8 a factor of m(2)?
True
Let k(d) = 21*d - 124. Let t be k(6). Suppose -4*c = t*q - 4172, 3*c + 0*q - 5*q - 3142 = 0. Is 18 a factor of c?
True
Suppose 0 = 5*r - b - 1582, -2*b = -r - 3*r + 1274. Is 35 a factor of r?
True
Let r(g) = 186*g - 5836. Is 5 a factor of r(67)?
False
Suppose -5*x = -4*j + 5985, -438*x + 4475 = 3*j - 439*x. Is j a multiple of 10?
True
Suppose 40*w + 21*w = 89121. Is 49 a factor of w?
False
Let m = 7336 - 5832. Is 18 a factor of m?
False
Does 14 divide -26 + 12 + -2 + 176?
False
Suppose -242*f + 553 = -249*f. Let j = f - -359. Does 4 divide j?
True
Suppose 8*t - 181 = -27*t + 799. Is t a multiple of 14?
True
Let z = -87 + 91. Suppose z*g + 2*a = -a + 142, 2*g - 64 = 2*a. Does 5 divide g?
False
Let r(s) = s**3 - 23*s**2 + 5*s - 55. Is 4 a factor of r(23)?
True
Suppose 0 = -7*c - 3031 + 16051. Is 4 a factor of c?
True
Let b = 0 - -11. Is (-23)/((b/(-4))/11) a multiple of 12?
False
Let y(s) be the first derivative of 39*s**4/4 - 5*s**3/3 + s**2 - s + 44. Is 7 a factor of y(1)?
True
Suppose 2*v = 4*o - 64, 5*v + 2*o + 157 = 9. Suppose -4*n = -3*c - 194, -3*n = -n - 2*c - 96. Let q = n + v. Does 4 divide q?
True
Let r(c) = -5*c - 2. Let x(l) = 3*l - 62. Let h(q) = 2*q**3 + 12*q**2 + 4*q - 11. Let u be h(-5). Let k be x(u). Is r(k) even?
False
Let c(r) = -12*r + 2. Let h be c(-3). Let t = 77 - h. Is t a multiple of 6?
False
Let p be (-44)/(-99) - (-64)/18. Is -3 + (p + 0)*(-97)/(-4) a multiple of 25?
False
Suppose -26614 = -11*w + 28331. Is 22 a factor of w?
False
Let r(c) = 85*c**2 - 5*c - 5. Let z be r(-1). Suppose z*u - 87*u = -64. Is u a multiple of 32?
True
Is 11 a factor of 50/(-10) + 45/60 + (-9441)/(-4)?
False
Let d(t) = t**2 + 9*t + 16. Let l be d(-7). Suppose -l*s + 1034 = -s. Does 13 divide (1 - s/(-10)) + 4/(-10)?
True
Let p(t) = 16*t - 46. Let w(d) = 48*d - 137. Let x(o) = 17*p(o) - 6*w(o). Is 15 a factor of x(-5)?
True
Is (601938144/256)/73 + 2/16 a multiple of 11?
False
Let d(t) = -t**3 + 26*t**2 - 78*t + 12. Suppose 30 = 2*x + 2*a, 2*a + 134 - 38 = 5*x. Does 73 divide d(x)?
False
Let g(l) = -l**3 + 22*l**2 + 7*l - 119. Let o be g(17). Suppose -971 = -5*n - b + 1442, 3*n + 2*b = o. Does 15 divide n?
False
Let g = 1156 + 493. Suppose -5*v = 2*c - 1203, -3*v + g = 5*c - 1311. Is 31 a factor of c?
True
Let j be 1*(-3 - 0/(-1)). Let m(v) = 2*v**2 + 2. Let w be m(j). Suppose -5*r + r + o = -380, -w = 5*o. Is 20 a factor of r?
False
Let h(o) = 3*o**2 - 3*o. Let t be h(3). Suppose 5*j + 2*g = -6 - 6, 0 = -4*j + 2*g - 6. Does 19 divide (-2)/j*(t + 1)?
True
Suppose -452*y + 1034104 - 295311 = -691335. Is y a multiple of 4?
True
Let b = -274 + 4981. Does 10 divide b?
False
Suppose -5*j - 2*q = -48222, 162*j - 3*q = 163*j - 9634. Does 16 divide j?
False
Suppose -3*q - 21 = 36. Let k = -25 - q. Let d(g) = -g**2 - 16*g - 11. Is d(k) a multiple of 20?
False
Let u = 410 - 266. Suppose c + 1 = 2*j, -3*j = -0*j - 5*c + 9. Suppose -j*i = -u - 208. Does 22 divide i?
True
Let d(x) = -2*x - 4 - 2 + 4*x - 4. Does 3 divide d(16)?
False
Let d(y) = y + 17. Let l be d(-8). Let f(m) = -7*m**2 + 19*m + l - 8 - m**3 + 6*m. Is f(-10) a multiple of 32?
False
Let k(m) = 10*m**2 + 60*m + 53. Is k(-7) a multiple of 7?
False
Suppose -14 = 4*w - 22. Let k(d) = -12*d + 3*d**2 + 18*d**3 - 2*d**w + 8*d**2 - 19*d**3 + 8. Does 22 divide k(7)?
True
Let f(o) = 256*o**2 - 75*o - 202. Is 31 a factor of f(-6)?
False
Let d = 2380 - -1249. Is d a multiple of 19?
True
Let w(q) = 0*q**3 - 5*q + 12 - 4*q - 3*q**3 - 2*q - 5*q**2. Is w(-6) a multiple of 21?
True
Let x = -50 - -43. Let y be (x/(-8) - 1) + 50/16. Suppose m - b = -y*m + 364, 2*m = 3*b + 182. Is 6 a factor of m?
False
Suppose 5*i - 5*p + 442 = 2*i, 4*i + 3*p + 541 = 0. Let s = i + 153. Suppose 2*y - s = -5*c, -14 = -4*y - 2*c - c. Is 2 a factor of y?
True
Let h(b) be the second derivative of 43*b**3/6 - 2*b**2 + b. Suppose -2*x - 14*t = -11*t - 17, -29 = -4*x - 5*t. Is 13 a factor of h(x)?
True
Let v(s) = -7*s**3 - 4*s**2 - 3*s + 8. Let a(w) = w**2 + 3*w + 6. Let o be a(-2). Let h be v(o). Does 13 divide (-2 + 4)/((-8)/h)?
False
Is (-86)/989 + ((-57357)/(-69))/3 a multiple of 2?
False
Let t(o) = 3*o + 2*o - o + 9 - 5*o. Let u be t(5). Suppose 6*h - u*h = 194. Does 46 divide h?
False
Suppose 467*d = -2107813 + 6515359. Is 66 a factor of d?
True
Suppose s - 18*m + 14*m = -2, -m = 5*s - 32. Does 37 divide 18*s/(12/37)?
True
Let g be (-6)/14 - (-45)/7. Let f be g*(-1 + 98/(-3)). Let l = -33 - f. Is 22 a factor of l?
False