6 = n. Is t a multiple of 11?
False
Is 9 - (-174)/(-18) - 50/(-3) a multiple of 5?
False
Let y(f) = -f**2 - 7*f - 1. Let v be y(-6). Suppose 5 = -5*u - v. Let j = 26 - u. Is 4 a factor of j?
True
Let r be (2/4)/((-4)/(-56)). Let c = r - 6. Does 11 divide (c - 0) + 3 + 49?
False
Let v = 21 + -24. Let y(g) = -11*g + 2. Let o be y(v). Let l = o + -29. Is l a multiple of 6?
True
Let a(m) = -2*m + 6. Let v(o) = -5*o + 12. Let k(p) = -14*a(p) + 6*v(p). Let g be k(-7). Is 4 a factor of 4 + (g - (0 + 2))?
True
Suppose -5 = -5*s, n - 9 = -2*n - 3*s. Let a(d) = 24*d. Does 24 divide a(n)?
True
Suppose 5*i = -195 + 565. Is 12 a factor of i?
False
Suppose 19*p - 11861 = -10*p. Does 27 divide p?
False
Suppose 0 = -12*w + 724 - 232. Suppose -6*v + 763 = -w. Does 15 divide v?
False
Suppose -2*m - h + 11 = 0, 4*m = h - 6*h + 37. Suppose 3*r + y - 101 = 0, 4*r + r - m*y = 187. Does 7 divide r?
True
Let p = 0 - -2. Suppose 4*o = 2*m - 2, 4 = 4*m - 2*o - 6. Suppose -p*l - m*l + 200 = 0. Is l a multiple of 20?
True
Let h(j) be the first derivative of j**4/4 + j**3/3 + j**2/2 + 8*j - 19. Is 8 a factor of h(0)?
True
Let v be (1/(-3))/(3/(-135)). Is 69/v + (-2)/(-5) even?
False
Let u(l) = -20*l + 2. Let c(o) = -o**3 - 15*o**2 - 13*o + 12. Let j be c(-14). Is u(j) a multiple of 11?
False
Let s = -19 + 23. Suppose 0 = -s*q + 3*q + 41. Is q a multiple of 5?
False
Suppose 0 = 3*g, -q + 6*q + 2*g - 365 = 0. Is 32 a factor of q?
False
Let r be 5/2 - (-18)/12. Suppose 5*n - 3*k - 218 - 197 = 0, 0 = r*n + 3*k - 359. Is n a multiple of 6?
False
Suppose -2 = 2*c - 118. Does 3 divide c?
False
Let k = 76 - 72. Suppose 4*m - 2*r = 104, -k*m + 32 + 72 = -5*r. Does 5 divide m?
False
Let j(q) be the third derivative of 1/60*q**5 + 0 + 0*q - 2*q**2 + 0*q**3 + 1/6*q**4. Is 23 a factor of j(-8)?
False
Let b(y) = 3*y - 15. Let w be b(7). Let m be (4/8)/(2/4). Let x = w + m. Is 7 a factor of x?
True
Suppose 4*p - 795 + 167 = 0. Suppose 4*n - p = -37. Let m = n + 18. Is 10 a factor of m?
False
Let u(x) = -6*x + 5*x - 15*x - 6 - 9*x. Let d(v) = -v**3 + 7*v**2 + 9*v - 12. Let m be d(8). Does 27 divide u(m)?
False
Does 4 divide (-12)/18 + 1772/12 + -3?
True
Suppose -w + 6*w = -2*y + 691, 0 = -5*y - 5*w + 1765. Is y a multiple of 12?
False
Let w(l) = 16*l**2 + 28*l**2 + 26 - 8*l + 38*l - 4*l**2 - 6*l**3. Let p(y) = y**3 - 8*y**2 - 6*y - 5. Let c(j) = -11*p(j) - 2*w(j). Is 10 a factor of c(-7)?
True
Let m = -630 + 1062. Does 55 divide m?
False
Suppose v = 5*v + 8, -80 = -5*n + 5*v. Suppose 2*g + 4 = n, -g = 2*c - 193. Is 22 a factor of c?
False
Let d(z) = 7*z + 1. Suppose 5*i - 59 = -4. Let w be d(i). Suppose -5*t + 117 = -w. Is 8 a factor of t?
False
Let i(a) = -286*a**3 + 3*a + 2. Is i(-1) a multiple of 57?
True
Suppose 6*b - 3*b = 1764. Suppose b = -3*r + 9*r. Is r a multiple of 10?
False
Let a be (-1)/(-2) - 4/8. Suppose a = -11*l + 16*l - 20. Suppose -d - 43 = -2*i, 0 = i - l*i + 2*d + 63. Is 16 a factor of i?
False
Let s(j) = -3*j - 1. Let m(z) = 4*z + 1. Let d(h) = -4*m(h) - 5*s(h). Let k be d(4). Let a(f) = -2*f**3 - 2*f**2 + 5*f + 3. Does 16 divide a(k)?
False
Is 28/98 - 2518/(-7) a multiple of 72?
True
Suppose -1 = -t + 3, 0 = -3*h + 3*t + 348. Is 6 a factor of h?
True
Suppose 7712 - 663 = 19*l. Is l a multiple of 8?
False
Suppose 8*k = -0*k - 1312. Let y = -98 - k. Is 17 a factor of y?
False
Let w be (-2)/(-2*(-1)/(-8)). Is 16 a factor of (-8)/w*33*-1?
False
Let k(d) = 8*d**2 + 9*d - 56. Does 5 divide k(9)?
False
Suppose 3*v - v = 3*i + 106, 2*i = -2*v + 106. Let w = 78 + -47. Suppose v + w = 6*m. Does 7 divide m?
True
Does 6 divide (-88)/(-15) - ((-176)/165)/8?
True
Let n(q) = 26*q + 43. Is 11 a factor of n(3)?
True
Suppose -2*g - 5*h + 27 = 0, g + 4*h - 15 = h. Suppose k = 4*k. Let y = g + k. Is y a multiple of 2?
True
Let w = 539 - -148. Is 23 a factor of w?
False
Suppose -18*r + 84 = -204. Does 8 divide r?
True
Does 14 divide (-1)/(3*6/(-5598))?
False
Suppose 4807 = 19*v - 361. Is 34 a factor of v?
True
Let d = 3 - 0. Suppose 8*w = d*w + 15. Suppose -9 = -w*f + 18. Does 2 divide f?
False
Suppose -17220 = 110*j - 120*j. Does 21 divide j?
True
Let u = -11 - -74. Suppose -u = -2*g - g. Is g a multiple of 4?
False
Suppose -77 = -2*g - 5*t, 10 - 155 = -4*g - t. Let f = g + 13. Is 7 a factor of f?
True
Suppose 3*l = -92 + 902. Does 11 divide l?
False
Suppose 2*w - 3*w = -170. Suppose g + g - w = 0. Let n = g + -54. Does 7 divide n?
False
Let j(b) = -29*b - 71. Does 15 divide j(-7)?
False
Let a(t) be the first derivative of t**4/4 + t**2/2 - 2*t - 5. Suppose 0 = -4*y + 5 + 3. Does 4 divide a(y)?
True
Suppose -355 = -10*r + 175. Is 14 a factor of r?
False
Suppose -4*g + 0*a + 11 = 3*a, 9 = 5*g - a. Suppose -3*y = g*y + 185. Let w = 113 + y. Is w a multiple of 19?
True
Suppose -57 = 4*n + c, -5*c - 14 = -n - 2. Let p(u) = -12*u**2 + 2 - u**3 - 2 + 5*u + 2*u - 5. Does 22 divide p(n)?
False
Let z = -1 - -3. Suppose -3*t = -2*y + 60, -z*t - 4*y - 78 = t. Is (-2196)/(-99) + 4/t a multiple of 7?
False
Let u(h) = 7*h**2 + 1. Let z be 4/5 + 2/10. Suppose -z = -0*m - m. Is 8 a factor of u(m)?
True
Suppose -14 = -4*k - 6. Suppose -5*z + k*z - 331 = -5*p, 5*p + 5*z - 315 = 0. Is 13 a factor of p?
True
Does 27 divide 560/7*140/25?
False
Let d = -24 + 49. Suppose d = 16*y - 39. Does 4 divide y?
True
Let a = 692 + -302. Is 20 a factor of a?
False
Let q(t) = 5*t**2 + 4*t + 5. Suppose 0 = -4*o - 17 - 3. Let w be q(o). Suppose -3*g + 7*d - 2*d + 42 = 0, w = 5*g + 5*d. Is g a multiple of 7?
False
Suppose -2*b + 0*b = -212. Let n be (1 - 13/(-3))/(1/(-12)). Let g = b + n. Is 6 a factor of g?
True
Let l = 3 + 1. Suppose 0 = l*j + 3 - 19. Suppose -38 - 18 = -2*i - j*m, 122 = 4*i + 3*m. Does 16 divide i?
True
Let o(q) = -24*q - 171. Is 22 a factor of o(-20)?
False
Let p(d) = d**3 - 7*d**2 + d - 3. Suppose 0 = 2*o - 25 + 11. Let s be p(o). Suppose n + 19 = x, n = -s + 2. Is 10 a factor of x?
False
Let z = -6 + 10. Suppose 3*q = -x + 96, -q - 469 = -z*x + 4*q. Is x a multiple of 21?
False
Let d(q) = 2*q**2 - 5*q + 6. Let o be d(5). Let x = -82 + 60. Let z = x + o. Does 3 divide z?
True
Let g = -1450 + 2259. Suppose -3*p + g = t, 110 = p + 4*t - 156. Does 45 divide p?
True
Let r(z) = -33*z**2 + 25*z - 10. Let j be r(-6). Is (-17)/(-85) - j/10 a multiple of 7?
False
Let t(w) be the second derivative of 89*w**4/12 - w**2/2 + 6*w. Let s be t(1). Let p = 123 - s. Does 10 divide p?
False
Let z be (-7)/(-28) - 15/(-4). Suppose -4*l - 3*t + 18 = -l, 0 = -z*t + 4. Suppose l*s - 313 = -88. Does 13 divide s?
False
Suppose 3*n + 1327 = c, -12*n = -4*c - 9*n + 5353. Is c a multiple of 57?
False
Let h = 1068 + -706. Is h a multiple of 10?
False
Let h(n) = -n**2 - 2*n - 2. Let a be h(-3). Let d = 6 - a. Is 6 a factor of d?
False
Let w be 20/9 + 6/(-27). Let k = 16 + -12. Suppose -w*d - 48 = -k*d. Is 24 a factor of d?
True
Let n(u) = 46*u**2 + u - 24. Is n(3) a multiple of 80?
False
Suppose 0*z = -g - z - 74, -g + 5*z - 56 = 0. Let y = 226 + g. Does 18 divide y?
False
Suppose -11*j + 7*j = 20, 5*l - 3305 = 5*j. Is 41 a factor of l?
True
Suppose -4*k - 29 = d, 3*k + 5 = 3*d + 2. Let q be (-104)/(-24) - (-2)/k. Suppose -r - 24 = -q*r. Is r a multiple of 3?
False
Let c(f) = -f**2 - 12*f + 2. Let a be c(-12). Suppose 2*d + 327 = -5*k, -k + 357 = -a*d + 4*k. Let h = -103 - d. Is 17 a factor of h?
True
Does 2 divide (216/(-10) - -12)/((-2)/10)?
True
Suppose -22*n - 70 = -17*n. Is ((-12)/n)/(4/56) a multiple of 6?
True
Suppose 3*t - 74 - 226 = 0. Suppose -7*r = 4*n - 5*r - 168, -t = -2*n - 5*r. Is n a multiple of 20?
True
Let b(q) = q**3 + 8*q**2 + 3*q + 20. Let o be b(-8). Let x be o/28 - 44/(-14). Suppose 164 + 4 = x*c. Does 18 divide c?
False
Let o(n) = -n**2 - 5*n - 4. Let p be o(-3). Suppose -p*g + 30 = 5*v, 5*g - 35 = -5*v + 25. Is 9 a factor of (-4)/(-20) - (-138)/g?
False
Let n = 1 + 5. Let g(r) = 6*r**2 - 18*r - 8. Is 20 a factor of g(n)?
True
Let u = 1 - 12. Let y = 15 + u. Is 4 a factor of y?
True
Let k = 152 + -109. Is 13 a factor of k?
False
Let g = -10 - -13. Suppose 0 = 2*m + m + 4*t - 167, g*m = -t + 161. Suppose 67 = 5*f - m. Is f a multiple of 6?
True
Suppose 0 = 3*l - l + 14. Let k(o) = -o**3 - 7*o**2 + 4. Let y be k(l). Suppose 0 = -0*a + y*a - 164. Is 19 a factor of a?
False
Let i(l) be the third derivative