16) - r a multiple of 8?
True
Suppose 3*k - 13 = -2*n - 0*k, 4*k = -n + 4. Let x = -10 - -14. Suppose -7*b + 4*b - 32 = -x*z, z - n = -b. Does 6 divide z?
False
Suppose 3*g - 4*o - 59 - 50 = 0, 104 = 3*g + o. Does 35 divide g?
True
Suppose -5*u + 16 - 6 = 0. Suppose 0 = -2*k - 2*k + 5*o + 5, -u*k - 1 = o. Suppose i = -k*i + 21. Is 13 a factor of i?
False
Let l(q) = -q**3 - 10*q**2 + 7. Is l(-10) a multiple of 2?
False
Let n(k) = -k**2 + 13*k + 13. Is n(13) even?
False
Suppose -3*a + 85 = 5*c, -c = -3*c + 10. Is 10 a factor of a?
True
Let n(j) = -22*j**3 - j**2 + j + 2. Let q be n(-2). Suppose 5*c - q = c. Does 15 divide c?
False
Let j be ((-2)/2)/(5/(-10)). Suppose 81 = j*v - 83. Is 24 a factor of v?
False
Does 30 divide 113*3*1*(-4)/(-12)?
False
Let m(d) = -2*d - 2. Let s be m(-11). Suppose -5*h + s = -h. Is 5 a factor of h?
True
Suppose 32 = 2*x + h, -3*x + 7 = -2*h - 41. Suppose 0 = 4*p - 5*u, 3*u = 5*p + 8 + 5. Is 8 a factor of x/p*(-5)/1?
True
Suppose -3*q = 33 - 453. Does 28 divide q?
True
Does 23 divide -2 - (2 - (74 - 1))?
True
Let z(q) = q**2 + 6*q - 2. Let j(n) = n**2 + 7*n - 2. Let o(d) = -2*j(d) + 3*z(d). Let v be o(-7). Let p = v + -9. Does 10 divide p?
True
Let u be -20 - 6*1/(-2). Suppose 5*x - 9 = 16. Let n = x - u. Is n a multiple of 12?
False
Let b(i) = 3*i**2 - 5*i + 1. Does 17 divide b(5)?
True
Let d(c) = c**3 + 7*c**2 - 2*c - 9. Let r be (24/(-18))/((-6)/(-27)). Does 9 divide d(r)?
False
Let d be (-2)/7 + 1272/42. Suppose 2*b = 5*f - d, -f = -2*b - 2*f - 18. Is 11 a factor of (-334)/b + (-2)/5?
True
Let a(d) = 54*d**3 - d**2 + 2*d - 1. Suppose -k - 6 = -2*z, -z + 4*k - 3 = 5*k. Is 18 a factor of a(z)?
True
Suppose 0 = 4*q + 44 - 156. Let w = q - 10. Is w a multiple of 9?
True
Suppose -35 - 5 = 5*j. Let h(t) = t**2 + 6*t + 11. Is 14 a factor of h(j)?
False
Let l(v) be the second derivative of -27*v**5/10 + v**4/12 - v**3/6 - v**2/2 + v. Let z be l(-1). Suppose -g + a = -a - 11, -4*a - z = -5*g. Does 11 divide g?
True
Let t = -6 - -5. Let i = 4 - t. Is 3 a factor of i?
False
Let a be (-2)/9 + (-79)/9. Let y(z) be the first derivative of -z**3/3 - 13*z**2/2 - 10*z - 1. Is y(a) a multiple of 10?
False
Let u be (1/(-2))/((-2)/8). Suppose 2 - 38 = -u*x. Is x a multiple of 15?
False
Is (-6)/(-5)*5 - 2 a multiple of 2?
True
Suppose 104 = 4*o + 5*w, -3*o + 3*w - 2*w + 59 = 0. Is o even?
False
Suppose -4*w = 3*l + 34, 5*l + 5*w - 5 = 6*l. Let x(t) = -4*t - 6. Is 17 a factor of x(l)?
True
Let i(m) = 2*m + 5. Does 5 divide i(4)?
False
Suppose 3*d - 6 = 5*q, -4*q + q = 5*d - 44. Is 4 a factor of d?
False
Let l = -6 + 27. Let x = -13 - -22. Let o = x + l. Is o a multiple of 18?
False
Suppose 0 = j + 3*n - 45, -100 = -2*j - 2*n - 2*n. Suppose a = 5*a - j. Is a a multiple of 15?
True
Suppose -3*q + 8*q + 405 = 0. Let u = q + 117. Is 12 a factor of u?
True
Suppose 0*a - a + 6 = 0. Let k be 98*(a/4)/3. Suppose 28 = 2*m + 2*b, 4*m - 2*b - k = -5. Does 12 divide m?
True
Suppose 4*t + 5*g - 20 = 7, -4*t = 2*g - 30. Let o(z) = -z + 1. Let h be o(-2). Let i = t - h. Is 2 a factor of i?
False
Suppose d - 13 = -81. Let h = d - -100. Does 16 divide h?
True
Let a(p) = 4*p**2 - p + 5. Let k be a(-5). Suppose -k = -v - 6. Suppose -2*r = -6*r + v. Is 13 a factor of r?
True
Let q(a) be the first derivative of a**6/120 + a**5/15 - a**4/8 - 5*a**3/6 + a**2/2 - 2. Let n(m) be the second derivative of q(m). Is 7 a factor of n(-4)?
True
Suppose t + t = -8. Let o be (2/t)/((-6)/24). Suppose -o*d - d = -63. Is d a multiple of 13?
False
Suppose 0*u = -5*r - 2*u + 18, 2*r - 5*u + 16 = 0. Suppose -3*l = 2*k + 50, 2*l + r*l = -5*k - 76. Let i = 0 - l. Does 14 divide i?
True
Let p be (38/4)/(1/(-2)). Let k be (2/(-4))/(3/180). Let n = p - k. Is n a multiple of 11?
True
Let d = -62 - -114. Let c = d + -19. Is c a multiple of 11?
True
Let k = -6 - -6. Suppose k*j + 3*j = 27. Let h = j + -2. Does 4 divide h?
False
Suppose -t - 210 = -6*t. Does 17 divide t?
False
Is ((-1)/1)/((-7)/196) even?
True
Suppose 0 = -2*l - 1 + 5. Suppose 0 = -2*y + 4, l*k - 2*y + 2 = y. Suppose k*v = -0*v + 18. Is 5 a factor of v?
False
Does 15 divide 117/2 - (-5 + 42/12)?
True
Suppose j - 8 = 2*t + 8, -5*j = 4*t - 94. Let o = j - 11. Does 7 divide o?
True
Suppose 2*f - 4*h - 123 = -f, 2*f - 3*h - 83 = 0. Let a be (14/(-4))/(3/(-6)). Let s = f - a. Is 10 a factor of s?
True
Suppose -4*w + 100 = w. Let r = w - 9. Is 3 a factor of r?
False
Let p(s) = -3 - 5 + 6 + 4*s. Let k be p(-5). Is 10 a factor of -5 - 6/(-2) - k?
True
Suppose -3*n + 0*n + 255 = 0. Is 20 a factor of n?
False
Let s = 4 + -2. Suppose 0 = -0*z - s*z + 3*i + 12, -i = 2*z - 12. Does 2 divide z?
True
Let j = 357 - 207. Is j a multiple of 25?
True
Suppose 0 = -w + 3*w + 2. Let x be w*(0 - -2) + 122. Suppose y + 2*y = x. Does 15 divide y?
False
Let k(n) = -4*n - 12. Let v(q) = -q**2 + 4*q + 3. Let l be v(6). Is 12 a factor of k(l)?
True
Let y(l) = l - 2. Let q be y(-2). Is (-30)/q*(-4)/(-3) a multiple of 10?
True
Let g = -21 + 5. Let t = 1 - g. Is 6 a factor of t?
False
Let c(r) = r**3 - 5*r**2 - 4*r - 4. Let t be c(6). Suppose 0 = -2*s + 3*s - t. Does 8 divide s?
True
Let i(u) be the first derivative of u**3/3 - 15*u**2/2 + 7*u - 4. Is i(15) a multiple of 7?
True
Let c(v) = -v + 3*v - 4 + 7 + 8. Is 7 a factor of c(5)?
True
Is ((-82)/(-6))/(1/3) a multiple of 24?
False
Suppose -4*y = 18 + 2. Let g be (42/y)/((-2)/(-10)). Is 14 a factor of g/(-8)*(-16)/(-6)?
True
Suppose 5*d - 430 = 3*d. Is 49 a factor of d?
False
Suppose 0 = 4*p - 288 + 80. Does 6 divide p?
False
Let g = -23 + 14. Let d be 6/(-4)*24/g. Suppose i = -d*x + 32, 2*i - 5*i + x + 57 = 0. Does 7 divide i?
False
Let i(s) = -s**3 + 6*s**2 - 1. Let g be i(6). Let m be g/(-2) - 20/(-8). Suppose m*l = 44 + 19. Is 11 a factor of l?
False
Is (-8)/4 - (-99 + 1) a multiple of 12?
True
Suppose -p = p. Suppose 4*o - 41 - 63 = p. Is o a multiple of 13?
True
Let i(b) = -37*b + 10 + 78*b - 44*b. Let u(m) = -11*m**2 + m. Let w be u(1). Does 15 divide i(w)?
False
Let x = 74 + -34. Is 0 - -2*(x - 3) a multiple of 25?
False
Let x = 36 + 0. Suppose 3*o - x = -o. Is 8 a factor of o?
False
Suppose 0 = -u + 3*g + 44, -2*u - 51 + 161 = 5*g. Is 10 a factor of u?
True
Let n be 0/(((-4)/(-1))/4). Suppose -b - 13 + 17 = n. Is 4 a factor of b?
True
Let t be -1*1/3*-21. Let x(h) = -h**3 + 8*h**2 - 12*h. Let s(o) = 2*o**3 - 16*o**2 + 25*o + 1. Let c(r) = 6*s(r) + 13*x(r). Is 7 a factor of c(t)?
False
Suppose 0*v + v = 4. Let d = 10 - 7. Suppose -v*r - 52 = -2*p, d*p = -3*r + 28 + 5. Is p a multiple of 8?
True
Let g(a) be the third derivative of -a**6/360 - a**4/8 - 2*a**2. Let j(v) be the second derivative of g(v). Is 18 a factor of j(-12)?
False
Let d(u) = -u**2 - 7*u - 6. Let r be d(-5). Suppose 3*j + 61 = r*i, -5*i = -0*i + 3*j - 56. Suppose 0 = 4*l - 35 - i. Is 12 a factor of l?
True
Let a(f) = 4*f**2 - 2. Is 17 a factor of a(3)?
True
Suppose 0*k - k + 22 = 0. Suppose -2*n + k = 2. Is 10 a factor of n?
True
Let g = -7 + 18. Let s = g - 2. Does 9 divide s?
True
Suppose -4*c = 5*j + 2, -j + 3*c + 5 = 2*c. Let a be 1/j*4 - 0. Suppose -a*f - 24 = -4*m, -m + 3*f - 4 + 15 = 0. Is 3 a factor of m?
False
Suppose -16 = 7*x - 3*x. Is -2*2/x*23 a multiple of 7?
False
Suppose 5*n - 2*a - 220 = 102, 2*n - 152 = -5*a. Does 40 divide n?
False
Suppose -19 = 5*i + 6. Let o(l) = l - 1. Let c be o(i). Is (c/2)/((-12)/88) a multiple of 11?
True
Suppose 0 = h - 5*h + 780. Let z = -105 + h. Is z a multiple of 30?
True
Let t = 58 + -110. Is t/(-9) - 2/(-9) a multiple of 6?
True
Let x(l) = l**3 - 4*l**2 - 3*l - 5. Let d be x(5). Suppose 0 = -d*y + 8*y - 45. Is 15 a factor of y?
True
Suppose -3 = -g + 3*w, 0 = -3*g - 2*w + 15 - 6. Suppose -g*v + 15 = 0, 3*z = 2*v - v + 25. Is z a multiple of 10?
True
Let a(z) = z**2 - 2*z - 3. Let k(o) = -o**2 + o + 2. Let d(l) = 5*a(l) + 4*k(l). Does 7 divide d(8)?
False
Is (4/(-2))/(16/(-120)) a multiple of 3?
True
Let h(r) = -2*r**3 - 4*r**2 + 4. Is h(-4) a multiple of 17?
True
Suppose 2*y + 7 = 2*d + 43, d - 2*y = -17. Let p = 1 - d. Is 10 a factor of p?
True
Let m be (0 + -1)/(1/(-2)). Suppose -45 = 2*k - 3*y, m*y - y - 85 = 4*k. Let l = 0 - k. Is 21 a factor of l?
True
Let c(v) = v + 2. Let h(b) = b - 3. Let i be h(6). Let j be c(i). Is j - 2/(6/(-3)) a multiple of 6?
True
Let t