Let i = -75 - -143. Does 17 divide i?
True
Suppose 2*x - 2 = 3*x - p, -5 = -p. Suppose 4*g + 7*r - x*r = 396, -g - 4*r + 108 = 0. Suppose 0 = 6*y - 2*y - g. Is 11 a factor of y?
False
Let i(b) be the second derivative of -2*b**3/3 - 2*b**2 + 2*b. Is i(-10) a multiple of 18?
True
Let h(p) = -9*p - 90. Let z(i) = 5*i + 45. Let m(u) = -6*h(u) - 11*z(u). Is 16 a factor of m(0)?
False
Let a(y) = -5*y - 11. Is a(-4) a multiple of 9?
True
Let k = 17 - 8. Let z = k + -2. Suppose 0 = 4*b + 5*p - 26, -z*b + 3*b + 32 = 2*p. Is b a multiple of 6?
False
Let z be 11/(-1) + 1*2. Does 8 divide 148/18 - (-2)/z?
True
Suppose -3*x = -4*i + 63, 0 = 2*i - 5*i - 5*x + 40. Let q be (-1)/4 + i/(-4). Does 16 divide (-40)/15*3*q?
True
Let d(r) = 17*r**3 - 13*r**2 + 13*r + 4. Let t(z) = -4*z**3 + 3*z**2 - 3*z - 1. Suppose -3*m - 2 = -2*m. Let g(j) = m*d(j) - 9*t(j). Is 15 a factor of g(2)?
True
Let m(d) = 3*d + 1 + 2*d - d - 5*d. Let g be m(5). Let v(o) = -o**2 - 5*o + 2. Does 3 divide v(g)?
True
Let d be (-1 + 0 + 1)/2. Let y = -5 - -9. Does 6 divide (d - -3) + 0 + y?
False
Let v(x) be the third derivative of x**6/120 + x**5/12 - x**3/6 + 4*x**2. Does 5 divide v(-4)?
True
Let w(t) be the first derivative of 2 + 2*t + 0 - t + 4*t**2. Does 6 divide w(2)?
False
Let j = 28 - 23. Does 5 divide j?
True
Suppose x - 2*c = -5*c + 21, 0 = -5*x + c + 25. Let r = -1 + x. Suppose -144 - 16 = -r*o. Is 13 a factor of o?
False
Let v = -14 + 74. Suppose 3*l + v = 7*l. Is 7 a factor of l?
False
Let q(h) = h + 10. Let d(m) = -m - 4. Let a be d(6). Let s be q(a). Suppose 0 = -8*g + 4*g + 4*v + 96, s = 2*g + 4*v - 42. Does 8 divide g?
False
Let i(z) = 12*z**2 + 15*z - 42. Is i(4) a multiple of 26?
False
Let v be (-4)/(-6)*(0 - -45). Suppose u + u = -t + 15, -2*u + 4*t + v = 0. Is 9 a factor of u?
True
Let j be ((-195)/(-10))/((-2)/(-4)). Suppose -4*v = -j - 101. Does 35 divide v?
True
Let s = -2 - -5. Suppose 0 = -2*b + 3*u + 2*u - 39, -s*b - 42 = -2*u. Is 13 a factor of (78/9)/((-8)/b)?
True
Let t be -2 + (2 - 1) - -5. Suppose -11 = -2*g + 5*u + 15, -g = t*u. Does 4 divide g?
True
Suppose s = 3 + 2, -3*s - 14 = -c. Is 13 a factor of c?
False
Suppose 5*z + 3*u = 2*u - 34, 2*u = -5*z - 33. Let j = z + 11. Is 6 a factor of -4*3*(-2)/j?
True
Let q(b) = -5*b - 4. Let l be q(3). Let s = -11 - -6. Let i = s - l. Is i a multiple of 7?
True
Suppose -3*c - 471 = -2*w, -c = 3*w - 4*c - 705. Is w a multiple of 18?
True
Let w = -50 - -85. Suppose -x = -6*x + w. Does 4 divide x?
False
Let h(j) = 5*j**2 + 2*j + 2. Let x(o) = o**3 + o**2 - 2*o - 2. Let b be x(-2). Does 9 divide h(b)?
True
Suppose 0 = 5*v, -2*s = 3*v - 2*v - 408. Is s a multiple of 34?
True
Let j = -3 - -1. Is 5 a factor of (-11)/j - 4/8?
True
Let g be 23/7 + (-2)/7. Let h(q) be the first derivative of 5*q**2 - 4*q - 2. Does 13 divide h(g)?
True
Let b = -20 - -54. Suppose 10 - b = -2*j. Is 6 a factor of j?
True
Let f(h) = -h**2 - 5*h - 5. Suppose 0 = 3*z - 20 + 2. Let i be f(z). Let y = 99 + i. Does 8 divide y?
False
Let g = 11 - 8. Let n = g + -3. Suppose x + n*k - 8 = 5*k, -25 = -2*x + k. Is 5 a factor of x?
False
Suppose n = -0*n + 58. Is 12 a factor of n?
False
Let v be 8/1*(-7)/(-1). Suppose -4*q - 3*k = -53 - 3, -4*q + 3*k = -v. Is q a multiple of 7?
True
Suppose 3*b + w - 10 = 12, -4*b + 3*w = -51. Does 2 divide b?
False
Suppose b = 3*y - 4*y - 82, 2*y + 4 = 0. Is 1*-2 - b/8 even?
True
Let v be (4/6)/((-7)/(-105)). Is 11 a factor of (v - 8)*12/2?
False
Suppose 6*c = 6 + 72. Is c a multiple of 13?
True
Let w = 30 - 15. Suppose w = 5*j - y, 10 = 3*j + y - 7. Does 4 divide 31/j + (-2)/(-8)?
True
Suppose 0*l + 23 = 5*l - c, -3*l + 9 = -3*c. Suppose 2*k + 3*k - 130 = -l*j, -j - 106 = -5*k. Is k a multiple of 10?
False
Suppose -10*h + 9*h = -200. Is 21 a factor of h?
False
Let t(n) = n**3 - n**2 - 6*n - 5. Let w be t(6). Suppose -146 - w = -5*o. Let h = 94 - o. Does 19 divide h?
False
Let m(y) = -y**2 - y - 1. Let o(l) = -5*l**2 - 1. Let g(z) = 4*m(z) - o(z). Let f be g(4). Does 4 divide (-4)/(-3 + f + 5)?
True
Let z be -3 + 3/((-3)/2). Is 5 a factor of 6 + (-4 - (2 + z))?
True
Let g = -23 + 79. Is 7 a factor of g?
True
Suppose 12 - 152 = -5*t. Is t a multiple of 8?
False
Let q(r) = -3*r**3 - r. Let o be q(-1). Suppose -2*t + 40 = 3*t + 5*y, -o*t + 36 = 5*y. Suppose t*x - 2*j - 80 = x, 3*x - 5*j = 92. Is 14 a factor of x?
False
Is (10 - 7)*32/6 a multiple of 8?
True
Let c = -8 - -26. Suppose 0 = -4*m + c + 58. Does 11 divide m?
False
Suppose 6 = w + 4. Suppose -w*s - 116 = -6*s + 5*f, 2*s + f - 44 = 0. Does 12 divide s?
True
Let f = 10 + -5. Let g be (3/6)/((-1)/(-8)). Suppose -g*m + 67 = f*i, 36 + 41 = 4*m - 5*i. Is 18 a factor of m?
True
Let y = -4 - -5. Let v be y/1 + 0 - -1. Suppose 0 = -5*b, -3*c - v*c + 10 = b. Is c a multiple of 2?
True
Let n = 8 - -14. Does 11 divide n?
True
Let k(y) = -y**3 - 6*y**2 - 7*y - 7. Let i = -8 + -3. Let s = i + 5. Is 12 a factor of k(s)?
False
Suppose 0 = -f - 2*p + 82, 2*p + 91 = -5*f + 493. Is f a multiple of 20?
True
Suppose 3*c - 5*n = 74, -3*n + 98 = 5*c + 20. Suppose -2*z + c = 2*g - 6*g, z - g = 8. Is z a multiple of 7?
True
Let u(h) = -3*h**3 - h**2 + 4*h + 1. Let z be (12/(-10))/((-4)/(-10)). Is 20 a factor of u(z)?
False
Suppose 5*l + 2*k - 150 = 0, -104 = l - 4*l - 4*k. Is l a multiple of 14?
True
Let x(h) = -6*h + 4. Let y = -24 + 21. Does 11 divide x(y)?
True
Suppose -3*c = c, 5*z - 4*c - 15 = 0. Suppose 3*f = -0*r - 3*r + 72, 2*r - 50 = -z*f. Is 12 a factor of r?
False
Suppose 5*c - 19 = 4*y - 0*c, -14 = -y - 5*c. Let d = y + 2. Does 5 divide (d/(-2))/(2/(-20))?
True
Is 3 a factor of (3 + 11)/(2 + 0)?
False
Let i(c) = -2*c + 1. Let w(y) = -y. Let z(x) = -3*i(x) + 4*w(x). Let s be z(7). Does 12 divide (s - -2) + 3 + -4?
True
Let h = 8 + 9. Is 3 a factor of h?
False
Let r(p) = 7*p**3 + 2*p - 3. Let k = 6 - 4. Is r(k) a multiple of 23?
False
Suppose -18 = 5*i + t - 1283, 3*t + 489 = 2*i. Suppose -2*r + i - 42 = 0. Suppose 2*y = -3*y + r. Is 12 a factor of y?
False
Let b(c) = -2*c**2 + 18*c + 11. Let h be b(13). Let i = h + 142. Is 12 a factor of i?
False
Is 57 a factor of 162 - ((-8)/10 + (-456)/(-120))?
False
Let q(a) = 2*a**2 - 4*a - 31. Is 19 a factor of q(-7)?
True
Suppose -a - 54 = -u, 52 = 2*u - 3*a - 57. Does 13 divide u?
False
Let p(f) = 2*f - 8. Let t be p(6). Suppose -4*d + 84 = 2*x, 84 = 4*d - 0*x - t*x. Is d a multiple of 7?
True
Suppose 3 = -d + 2*d. Suppose -d*l + 0*l = -15. Suppose -l*u + 14 = -16. Is u a multiple of 3?
True
Suppose 5*u - 80 = 3*u + 4*f, 2*u = 5*f + 76. Suppose 2*d = -4*d + u. Is d a multiple of 8?
True
Suppose 0 = b - 2*b + 5*r + 116, 4*b - 3*r = 379. Let d = -40 + b. Suppose 2*i - 45 = -3*g, -4*g + 4*i - d = -7*g. Does 13 divide g?
True
Let m = -3 - -7. Suppose m*w - 2*h = 12, 4*h - 36 = -4*w - 0*h. Suppose 2*a - 3*a - 2*f + 20 = 0, -w*a + 4*f = -128. Is a a multiple of 13?
False
Let l(i) = i**2 + 8*i + 20. Is 5 a factor of l(0)?
True
Suppose 0 = 4*n + 4*z - 432, n + 0*n = 2*z + 105. Is 27 a factor of n?
False
Let a be 3/(24/(-26))*-8. Suppose 3*q = 2*q + 3. Suppose -31 = -q*n + a. Does 9 divide n?
False
Suppose 0 = -2*m + 375 - 99. Is m a multiple of 46?
True
Suppose 0 = -3*c + c. Suppose a - 21 = -c*a. Suppose 3*w - a = 2*w. Is 7 a factor of w?
True
Let x = 30 - 76. Let z = x - -73. Is 3/(-9)*0 + z a multiple of 16?
False
Let a = 514 + -366. Does 12 divide a?
False
Suppose -7 = -2*l + 33. Does 5 divide l?
True
Does 31 divide (78/12)/(11/10 + -1)?
False
Let c(y) = -y**3 - 14*y**2 - y - 2. Let m be c(-14). Does 4 divide 3/m + (-78)/(-8)?
False
Let x = -117 - -217. Suppose 0 = -p + x - 22. Does 24 divide p?
False
Suppose 0 = -2*v - z - 53, v + 2*z - 7*z = -32. Let d be (3 + -7)*v/(-4). Let l = d - -53. Is l a multiple of 9?
False
Let n be 8/(-10)*10/(-4). Suppose 148*r = 144*r + 416. Suppose -j = -5*j - n*y + r, -5*y = 4*j - 98. Is j a multiple of 8?
False
Let q be -1 + -1*(-2 - 3). Suppose y = -q*j + 30, -y = j - 4*j + 5. Is (y/(-25))/(2/(-90)) a multiple of 18?
True
Let z(u) = -u**3 + 5*u**2 + 2*u - 4. Let i be z(4). Suppose 1 = -5*v - 4, -p - 55 = 5*v. Does 6 divide (-5)/i + p/(-8)?
True
Is 151/4 + 5/20 a multiple of 14?
False
Is 27 a factor of 144/(4*(-3)/(-18))?
True
Does 23 divide ((-1)/1)/(4/(-92))?
True
Let m(s) = -s**3 - 10*s**2 - 13*s + 9. Is 