+ 63. Does 5 divide s?
False
Let b = 0 + 3. Suppose -h - 5*p = -86, 239 = b*h + p - 5*p. Does 16 divide h?
False
Is ((-629)/34 + 15)/((-2)/764) a multiple of 22?
False
Suppose 3*p = 2*q - 4727, -50*p + 2356 = q - 49*p. Is 19 a factor of q?
False
Suppose u + 58 = 219. Is u even?
False
Suppose -17*p + 15*p = -114. Suppose 0*b + k + p = b, 5*b + 4*k = 240. Is b a multiple of 28?
False
Let c = 1 + 1. Let m = 232 + -109. Suppose m - 19 = c*y. Is 13 a factor of y?
True
Suppose 6*s + 2 - 8 = 0. Let d(o) = 160*o - 2. Let u be d(s). Suppose 0 = k + 3*t - 61, -2*t = 5*k - u - 108. Is k a multiple of 20?
False
Let p be (-3 - (0 + 3 + -6))/(-1). Suppose p = -18*t + 10*t + 96. Does 7 divide t?
False
Let z = 164 - 74. Let a = z + -20. Is a a multiple of 10?
True
Suppose 4*a - 28 = 5*d, 3*a + 2 = 2*a - d. Is (a/4)/((30/(-252))/(-5)) a multiple of 9?
False
Let l = -271 - -288. Suppose 2*z + 2*i = 4, 4*z + i = z + 2. Suppose 4*s - 5*w - l = z, -s + w = -3*s + 5. Is 2 a factor of s?
False
Let h(b) = -b - 6. Let m be h(-11). Suppose 1 = -2*f + k, -4 = f - m*f - 4*k. Suppose 88 = 5*c + 4*l, -3 = -f*l + l. Does 10 divide c?
True
Let z(l) = l**3 + 6*l**2 + 3*l + 7. Let t be z(-6). Does 6 divide ((-594)/(-4))/t*(-4)/3?
True
Let w = 41 - -671. Is w a multiple of 18?
False
Let l be 4 + (-5 - (-9)/3). Does 10 divide 19 - 6/4*l?
False
Suppose 51*i = 52*i. Suppose 0 = -2*z - 0*z - 2, i = -4*f + 4*z - 276. Let l = 126 + f. Does 17 divide l?
False
Let b = 8 + -3. Let j = 10 - b. Suppose 5*z - 4*i - 202 = 29, j*i = 5. Is 12 a factor of z?
False
Suppose -20 = -2*q + 2*l, -4*l = -0 - 4. Let g = q + 12. Is g a multiple of 14?
False
Suppose -21 = -3*i + 3. Suppose i*z - 14*z + 126 = 0. Is z a multiple of 3?
True
Let m(j) = -3*j + 5 + 9*j**2 - j**3 - 4*j**2 + 2*j**2 - 2*j**2. Suppose -1 = 5*g - 21. Is 9 a factor of m(g)?
True
Let q(m) = 4*m**3 + 4*m - 9. Does 30 divide q(5)?
False
Suppose 0 = 3*v + 5*j + 37 + 7, -2*v + 2*j - 40 = 0. Let a be -1*2/5*-75. Let h = a + v. Is h a multiple of 12?
True
Let u = 616 + -516. Is u a multiple of 4?
True
Let v = -2511 - -4071. Is v a multiple of 12?
True
Let c(l) = 94*l + 39. Is 5 a factor of c(3)?
False
Let c(i) = -i**2 - i**3 + 47 + 14*i**2 - 14 + 8*i. Does 19 divide c(12)?
False
Let p(g) = 17*g - 5. Let l be p(7). Is 6/9*(l + 0) a multiple of 19?
True
Suppose 12*p = 11*p + 128. Suppose 4*c - r - 4*r = p, -r = 4*c - 152. Does 2 divide c?
False
Suppose 5*n + 4*v = 27, -6*n + 3*v + 34 = -2*n. Suppose -u - r = 2*r - n, 5*r = -20. Does 18 divide u?
False
Let g = -108 + 104. Is 42 a factor of 5/g + (-15864)/(-96)?
False
Let b(c) = c**2 + 7*c + 11. Let o be b(-3). Let s(x) = 244*x**2. Is 61 a factor of s(o)?
True
Let g(w) = -257*w - 105. Does 18 divide g(-3)?
True
Suppose -213*a + 206*a = -462. Is 7 a factor of a?
False
Suppose 0*x + u = x + 5, -u + 17 = -4*x. Is x/2 - (-47 + 14) a multiple of 4?
False
Let o be (-45)/(-18) + 1/2. Suppose 103 + 23 = o*f. Does 11 divide f?
False
Let h = -305 + 522. Is 13 a factor of h?
False
Let b(m) = 6*m - 23. Let o(p) = 18*p - 78. Let r(j) = -10*b(j) + 3*o(j). Let w(h) = -h**3 - 7*h**2 - 4*h + 1. Let c be w(-6). Is 31 a factor of r(c)?
True
Suppose 2 = -12*b + 10*b. Is 136 + (-3 + 0)/b + 1 a multiple of 43?
False
Let l(d) = d**3 + d**2 - 12*d - 8. Is 6 a factor of l(4)?
True
Suppose 3*i = -3*l + 1890, 2*l + 2*l = -3*i + 2517. Does 49 divide l?
False
Let w = -517 - -1737. Is w a multiple of 8?
False
Let v(p) = 21*p - 41. Does 11 divide v(3)?
True
Let l = -40 - -45. Suppose l*b = 6*b - 15. Does 15 divide b?
True
Let n = 34 + -22. Is (n + -105)/(1 + -1 + -1) a multiple of 25?
False
Let u(m) = -5*m - 25. Let j be u(-5). Suppose -596 = -4*w + 4*g, 5*g - 8 + 33 = j. Does 36 divide w?
True
Suppose -4*q = -0*q + 16, -i = 3*q - 16. Let g = i + 7. Suppose 15 = x + m + 4*m, g = x + m. Is 8 a factor of x?
True
Let l(g) = 2*g - 3. Let k be l(0). Is 2 a factor of k/(36/(-128)) + 8/6?
True
Suppose -4*l + 1 = -19, -3*y - 127 = l. Is 8 a factor of (-11)/y + (-159)/(-4)?
True
Suppose 6*s - 135 = 981. Is 6 a factor of s?
True
Let q = -159 - -1066. Does 70 divide q?
False
Suppose -2*x + 264 = 64. Is 20 a factor of x?
True
Let h = 34 - 27. Let x be h/(-7) - (0 + -3). Suppose 0 = -x*s + s + 65. Is 12 a factor of s?
False
Let j(r) = 113*r + 116. Is 31 a factor of j(19)?
True
Let k(r) = r**2 - 62*r - 233. Is 87 a factor of k(-46)?
False
Let c(n) = -n**3 + 29*n**2 - 73*n - 32. Is c(26) a multiple of 4?
False
Suppose 11*b - 8*b + 3*r = 2109, 0 = -5*b - r + 3527. Does 6 divide b?
False
Let s(q) = -q - 11. Let w be s(-5). Let n = w - -9. Suppose 0 = -4*f + 8, -n*z - 2*f = z - 28. Is z a multiple of 6?
True
Let t = 29 - 26. Suppose 0 = -5*s + 4*y + 7, -6*s + s + 21 = 3*y. Suppose 0 = s*n - q - 13, -t*n - n + 18 = -2*q. Is n a multiple of 2?
True
Let h(y) be the first derivative of 13*y**3/3 - 6*y**2 + y - 21. Is 3 a factor of h(2)?
False
Let k be 517/99 + 2/(-9). Suppose 0 = -5*q + 4*j + 108, 2*j - k*j = -5*q + 106. Is q a multiple of 7?
False
Let q = 31 + -28. Suppose -8 = q*l - l, -l - 4 = 3*g. Is 4 a factor of 1 - 1 - g - -20?
True
Suppose 0 = 5*q + 8*m - 9*m - 1409, 5*q - 1385 = -5*m. Is 46 a factor of q?
False
Let x(j) = 3*j - 12. Suppose 5*v - 27 = 13. Let q be x(v). Let r(c) = c**3 - 12*c**2 + 3. Does 3 divide r(q)?
True
Let o = -14 - 77. Let f = -61 - o. Does 24 divide f?
False
Suppose -895 = -2*i + 211. Does 79 divide i?
True
Suppose 5*v - 179 - 762 = 4*o, 3*o - 3 = 0. Does 43 divide v?
False
Let d(z) = -z**3 + 18*z**2 - 32*z + 2. Let l be d(16). Suppose l*a - 4*a + 300 = 0. Does 29 divide a?
False
Let h = 29 - 41. Is -7*((-3)/18 - (-10)/h) a multiple of 2?
False
Suppose h - 2*r - 1142 = -2*h, -2*r - 2 = 0. Is 38 a factor of h?
True
Let v(g) = -21*g - 14. Let z(i) = 22*i + 13. Let y(m) = 7*v(m) + 6*z(m). Does 40 divide y(-12)?
True
Let i = 10 - 7. Let r(l) = -l - l**3 - 2*l**2 - 6 + 2 - 2*l**i + 4*l**3. Is r(4) a multiple of 5?
False
Let l(x) be the third derivative of 1/12*x**4 + 0*x - 1/120*x**6 - 1/10*x**5 + 1/2*x**3 - 5*x**2 + 0. Does 19 divide l(-7)?
True
Let o(d) = d**2 - 6*d - 9. Let c be o(8). Suppose -l = 1 - c. Suppose -5*t = f - 93, t + l*f = 2*f + 30. Is 4 a factor of t?
False
Is 11 a factor of 64/(-256) + (-7546)/(-8)?
False
Suppose -2*d + 3 = d. Let f be 1/(-3)*1*-9. Does 16 divide (f - d)/((-2)/(-20))?
False
Let r be (4 - 124/16)*(-16)/3. Does 5 divide (r/(-2))/((-3)/6)?
True
Let p be (1/(-2))/(-2*(-1)/(-12)). Suppose 320 = p*u + 5*u. Does 16 divide u?
False
Suppose 50 = -5*d + 4*n + 222, -2*d - 2*n + 76 = 0. Suppose -5*r + d = v - 49, -r = -5*v + 373. Is v a multiple of 15?
True
Let q(n) = 4*n**3 + 5*n**2 + 7. Is q(4) a multiple of 5?
False
Let t = 3246 + -2234. Is t a multiple of 23?
True
Let o = 39 - 11. Suppose -2*g = -3*f - o, 5*g + 5*f = g + 56. Suppose 2*i + g = u, -2*i + 14 = u + i. Is 12 a factor of u?
False
Suppose 5*i + 67 + 13 = 5*p, 3*p - 73 = -2*i. Suppose w = -w. Let t = w + p. Is 6 a factor of t?
False
Let p = -7 + 9. Suppose l = 3*w - 9, 3*w + p*l = 5*l + 3. Suppose -2*s = -w*x - 68, -5*s + 22 = -2*x - 140. Is s a multiple of 16?
True
Suppose -k + 3*x = -9, -5*x - 2 = 13. Suppose -6*a + 312 - 24 = k. Is a a multiple of 16?
True
Suppose 0 = f - 2*o - 4, o - 64 = -8*f + 3*f. Suppose 5*m - 108 - f = 0. Is 12 a factor of m?
True
Suppose 28*b = 4521 + 8247. Does 6 divide b?
True
Let a(l) = -3*l - 7*l + 9 + 11*l. Is a(21) a multiple of 4?
False
Let t = 28 + -11. Let f = t + -9. Suppose -i - 2 = -f. Does 3 divide i?
True
Let q(p) = -16*p + 7. Let w be q(-5). Suppose -4*y - 4*m + 108 = 0, 0*y - 3*y + 3*m = -w. Does 28 divide y?
True
Let z = 15 + 104. Let m = z - 72. Suppose -4*w = l - 2 - 61, 3*w - m = -l. Is 12 a factor of w?
False
Let h = 1 - -9. Let j(o) = -o**2 + 11*o + 16. Is 13 a factor of j(h)?
True
Let d(a) = -a**3 + 12*a**2 - 11*a + 8. Suppose 0 = o - 3*o + 22. Let b be d(o). Is 4 a factor of (b*-2)/(6/(-3))?
True
Let u(m) = -m**3 + 3*m**2 + 3*m - 8. Let n be u(-5). Suppose -y = -2*k - 102, 4*y + 5*k - n = 2*y. Does 16 divide y?
True
Suppose 0 = u - 5 - 0. Let m = u + 19. Does 24 divide m?
True
Is 23 a factor of -2*(-7)/(84/1734)?
False
Let u(p) = -p**3 + 5*p**2 + 2*p + 7. Let v = 14 + -13. Suppose 0*o + v = -3*q + 4*o, 0 = 5*q - 5*o - 5. Is u(q) a multiple of 17?
True
Let n be (-12)/18*6*-1. 