)) a multiple of 19?
True
Let w(r) = -r**3 + 8*r**2 + 11*r - 13. Suppose -2*b + 4*b - 18 = 0. Is 2 a factor of w(b)?
False
Let r = -68 - -103. Does 35 divide r?
True
Is ((-12)/15 - (-2)/(-10))*-109 a multiple of 10?
False
Suppose -v = -5*u - 167, -458 + 154 = -2*v + 4*u. Is v a multiple of 32?
False
Suppose 0 = v - 88 - 255. Does 23 divide v/5 - 2/(-5)?
True
Let x(t) = -7*t - 13. Is 5 a factor of x(-10)?
False
Let u(o) = -o**3 - 13*o**2 - 11*o + 14. Let y be u(-12). Does 5 divide y*15/(-4 + 7)?
True
Let h = -74 - 256. Let a = -21 + 12. Is 2/a + h/(-27) a multiple of 6?
True
Is 38 a factor of -1 + 1/2*446?
False
Let v = 0 - 17. Does 17 divide v/(2/4*-2)?
True
Suppose -2*m + 47 = -h + 9, 4*h = -5*m + 69. Let o = m + -9. Suppose 0 = 4*u - o - 16. Is u a multiple of 3?
True
Let d(i) = -i**3 - 4*i**2 + i + 1. Let q be d(-5). Let s = q - 3. Is 8 a factor of s?
False
Let d(g) = g**2 - 2*g + 12. Suppose 5 + 1 = -u. Is d(u) a multiple of 16?
False
Suppose 0 = -4*u - 2*h + 22, -4 = -u - h + 4. Let i(z) = 13*z**u - 1 + 1 - 1. Is i(1) a multiple of 6?
True
Let f = 278 + -195. Let g be (-110)/25*(-15)/6. Suppose -3*k = -f + g. Is k a multiple of 12?
True
Is 6 a factor of 368/16 + 1*-1?
False
Let i = -29 - -50. Is i a multiple of 4?
False
Let r(m) = m - 1. Let p(t) = 18*t - 8. Let u(k) = p(k) - 8*r(k). Is 17 a factor of u(4)?
False
Let i(y) = y - 7. Let h be i(0). Let j = h - -4. Is ((-34)/j)/(5/15) a multiple of 18?
False
Let x(y) = -117*y**3 + 2*y**2 + 2*y + 1. Let m be x(-1). Suppose 2*w = 5*j - 3*w - 90, -5*j - 2*w + m = 0. Is j a multiple of 17?
False
Let s = -14 - -27. Let x = 21 - s. Is 8 a factor of x?
True
Let d be (16/10)/((-8)/(-20)). Suppose -d*q + 3*t = -3*q - 27, -5*q + 3*t = -87. Suppose -2*x + 17 = -q. Is x a multiple of 16?
True
Let j(s) = -s**2 - 4*s - 4. Let d be j(-4). Let y = 9 + d. Does 5 divide y?
True
Does 5 divide (167 - 7)*(-4)/(-5)?
False
Let v = 13 - 9. Suppose -3*u + v*u - 51 = 0. Does 17 divide u?
True
Let j = 311 - 143. Does 42 divide j?
True
Suppose -x + 4 = 0, 82 + 146 = 4*v + 2*x. Is 12 a factor of v?
False
Let x(a) be the third derivative of a**4/24 + 7*a**3/6 + a**2. Let z be x(-8). Is 3 a factor of 8 - (z + 0)*3?
False
Suppose 0 = -k + 3*k - 144. Is k a multiple of 20?
False
Suppose -5*d + 5*x = -d + 29, -2*x + 8 = 2*d. Let j = d - -3. Suppose -n = 3*a - 78, 60 = a + j*a - 5*n. Does 11 divide a?
False
Let c = -92 + 63. Let n = c + 41. Is n a multiple of 6?
True
Suppose -2*o = -5*o - 18. Let w be 0 + (o/(-3) - 2). Suppose w*d + 51 = 3*d. Does 13 divide d?
False
Let s(u) = -u - 2. Suppose 3*n + 12 = 3*z, z - 5*n = 4*z - 12. Let w be s(z). Is -2 - (2 - -1)*w a multiple of 16?
True
Suppose 2*a - 117 = -a. Is 21 a factor of a?
False
Let s = -65 + 209. Is 16 a factor of s?
True
Let c(f) = f**3 - 14*f**2 - 22*f + 39. Is 31 a factor of c(16)?
False
Let n(d) = d**2 - 9*d + 10. Let q be n(8). Let s = q - 2. Suppose -4*g + 3*i = -21, 3 = -4*g - s*g - 5*i. Does 3 divide g?
True
Suppose v - 10 = -q, -4*v = q - 2 - 23. Suppose 2*r - 2*l - 32 = 0, -r = 4*r + q*l - 30. Suppose r = 3*u - 4. Is u a multiple of 3?
False
Let t(p) = 5*p**2 - 1. Let n be t(-1). Let h be (4/6)/(n/186). Suppose -u = -h + 1. Is u a multiple of 8?
False
Let a = 28 - -8. Does 8 divide a?
False
Let h be ((-5)/(-15))/((-3)/45). Does 9 divide 39 + h/(5/3)?
True
Let g be 3/(-9)*-20*6. Suppose 4*l - g - 52 = 0. Is 9 a factor of l?
False
Suppose j + 45 = 6*j. Suppose a = -3*s - 1, -j = -a - s + 3*s. Does 4 divide a?
False
Let n = 12 - 15. Is 13 a factor of (-14 - n)*-5 - 3?
True
Let y(o) = 2*o - 4. Let t be y(4). Let w = t - -1. Suppose 3*a - 4*q = 4 + 21, -2*a = -w*q - 5. Is a a multiple of 9?
False
Let a(b) = -8*b + 63. Let c(u) = -3*u + 21. Let f(l) = 4*a(l) - 11*c(l). Let g(n) = n + 20. Let j(p) = -3*f(p) + 4*g(p). Does 9 divide j(0)?
False
Suppose 3*p + 22 = 586. Is 19 a factor of p?
False
Let z be ((-4)/(-6))/(2/(-39)). Let o = -29 - -53. Let v = z + o. Is v a multiple of 10?
False
Suppose 0 = -0*x - 2*x + 84. Is 14 a factor of x?
True
Suppose 0 = -5*u + 3*u - 244. Suppose 123 = -3*n - 129. Let y = n - u. Does 13 divide y?
False
Suppose -r + 108 = 3*r. Does 4 divide r?
False
Let f be (98/8 - 2)*4. Suppose -u = -10 - f. Suppose 85 = 5*v - i, 2*v - 4*i = 5*v - u. Does 13 divide v?
False
Let w(t) = 2*t**2 + 10*t + 8. Is w(-7) a multiple of 2?
True
Suppose -9 = 2*o + 3*y, 3*o + 4*y + 12 = o. Suppose -3*z + 3*p = -o*p - 120, 194 = 5*z + p. Is 16 a factor of z?
False
Suppose 3*x = 9*x - 402. Is 29 a factor of x?
False
Let g(z) = 2*z - 5. Let k(u) = -6*u + 15. Let o(n) = 7*g(n) + 2*k(n). Let s be (-104)/(-18) - 2/(-9). Is 7 a factor of o(s)?
True
Let l be (-9)/(-12) - 26/(-8). Suppose 0 = l*z + z - 60. Is z a multiple of 8?
False
Let x(q) = q**3 + 3*q**2 - q - 3. Let t be x(-3). Suppose 2*m = -t*m + 58. Is 16 a factor of m?
False
Let k be 8*1/2 - 0. Suppose k = -2*m - 2. Let w = 6 - m. Is w a multiple of 9?
True
Suppose w - 4*c = 5 + 78, -c = -2*w + 138. Suppose 3*o - w + 10 = 0. Is 19 a factor of o?
True
Suppose 26 = -3*f + 4*f. Suppose 3*j - 5 = -f. Let z = j + 26. Is z a multiple of 19?
True
Let t(w) be the third derivative of 17*w**5/30 - w**4/12 - w**3/6 - 2*w**2. Is 10 a factor of t(-1)?
False
Let g be (-12)/2*(-5)/10. Suppose -g*h + h + 38 = 0. Is h a multiple of 11?
False
Let h(r) = r**3 + r**2 + 8. Let z be h(0). Let v(c) = c**3 - 8*c**2 + 10. Does 9 divide v(z)?
False
Let l = 352 + -112. Suppose 5*k = l - 60. Is k a multiple of 12?
True
Suppose -2*u - 4*r + r = -3, 2*r - 2 = u. Let j(g) be the first derivative of g**3/3 + 7*g + 1. Is j(u) a multiple of 3?
False
Let f = -8 - -2. Let r(k) = 4*k - 2*k - 6 + 3 + k**2. Is r(f) a multiple of 7?
True
Suppose 0 = 9*g + 3*g - 1212. Is g a multiple of 7?
False
Suppose -6*j = -2*j - 16. Let i = j - 2. Is 9 a factor of (-1)/(i/(-2*25))?
False
Suppose -595 = -4*w + 6*b - 3*b, -5*b = 5*w - 700. Is 29 a factor of w?
True
Let x(a) = a**2 - 70. Let w be x(0). Let c = w + 398. Is (-2)/5 - c/(-20) a multiple of 8?
True
Let j = 462 - 260. Does 30 divide j?
False
Let n(t) = t + 75. Is 13 a factor of n(16)?
True
Let k = -4 - -4. Let s be (-2)/(k - (-6)/3). Is 11 a factor of (-3)/((-3)/13) + s?
False
Let r = 43 - 27. Is 8 a factor of r?
True
Suppose -r = -0*r + 3*m - 3, -m = 0. Suppose -x = -r*l - 2*l + 4, -4*x + 2*l + 2 = 0. Let y(v) = 12*v**3 + 2*v**2 - 2*v + 1. Does 7 divide y(x)?
False
Let h be 0 + (-2)/(-1) + 0. Let r = -6 + 4. Does 3 divide (r - (h - 9)) + -2?
True
Let c = -38 - -230. Does 35 divide c?
False
Suppose -5*x - 1 = -r + 12, 4*r = 2*x + 88. Let t = 37 - r. Is t a multiple of 7?
True
Let y = -53 + 125. Is y a multiple of 24?
True
Let p = 14 - 14. Is 7 a factor of (p - 1)*(0 - 21)?
True
Let v = 31 - 19. Is v a multiple of 3?
True
Is -1 + (-1 - 0) + 30 + 0 a multiple of 3?
False
Let k = -62 + 28. Let y = -21 - k. Is 4 a factor of y?
False
Let c = 7 - -8. Does 6 divide c?
False
Suppose 4*h = 2*h - 2. Let w = 1 - h. Suppose -105 = -5*m + 2*d + 2, w*m + 4*d - 38 = 0. Does 13 divide m?
False
Does 10 divide 2 + 50 + (3 - 3)?
False
Let x(t) = 13*t**2. Let h be -3 + 3 + 21/1. Suppose 0*s - s + 5*j + h = 0, -4*s = 2*j + 4. Is 5 a factor of x(s)?
False
Let k(a) = a**3 - a**2 - 2*a + 1. Let m(h) = -h**3 - 9*h**2 - 8*h + 2. Let c be m(-8). Let u be k(c). Suppose -5*t + 139 + u = 0. Is t a multiple of 14?
True
Suppose 69 = -4*b + 173. Let r = 43 - b. Is r a multiple of 6?
False
Suppose -2*s + 23 = -165. Is 13 a factor of s?
False
Let s = -61 + 122. Let h = s - 35. Is 13 a factor of h?
True
Let h(b) = -33*b + 2. Let g be h(-2). Suppose -c + 18 = -6. Suppose c - g = -a. Is a a multiple of 15?
False
Suppose 141 - 765 = -4*z. Does 39 divide z?
True
Suppose 2*r + 394 = 4*s, 0 = 2*s - 2*r - 7 - 195. Is s a multiple of 8?
True
Suppose 5*q = 4*c + c + 30, 4*q + 30 = -2*c. Let f = 67 + c. Does 15 divide f?
False
Let z = 9 + -6. Suppose 0 = j + 5 - 2. Is 17 a factor of (34/j)/((-2)/z)?
True
Let c = -3 + 7. Suppose 0 = c*s - s. Suppose m - 1 - 14 = s. Does 7 divide m?
False
Let b = 138 + -96. Does 4 divide b?
False
Suppose 81 = 8*l - 7*l. Is 21 a factor of l?
False
Let m(k) = 2*k + 9. Let r(f) = -f - 5. Let y(x) = -2*m(x) - 5*r(x). Let i be y(-6). Is 11 a factor of 26 + (1/i - 3)?
False
Let w(p) = p**2 + 5*p - 21. Does 3 divide w(-9)?
Tr