 + p. Is 19 a factor of t?
True
Let i(t) = -5*t - 16. Is 39 a factor of i(-11)?
True
Let i(g) = 3*g**2 + 12*g + 16. Is i(-8) a multiple of 30?
False
Let c(r) = -r**3 + 8*r**2 + 8*r - 11. Let z be c(9). Let x = 35 + z. Is x a multiple of 6?
False
Let c be 4/((-2)/(-1)) + 0. Is 3 + (14 - c/1) a multiple of 11?
False
Let g = -97 - -192. Does 24 divide g?
False
Let s(o) be the first derivative of -o**2 - 5*o + 2. Let w be s(9). Let z = -11 - w. Is 6 a factor of z?
True
Let c(d) = d**2 - 3*d. Let q be c(3). Suppose -3*h = 18 - q. Is 11 a factor of (27/(-6))/(1/h)?
False
Suppose -8 = 4*h, c = -3*c - 5*h + 6. Suppose c = -l - l. Is 10 + -4*l/4 a multiple of 12?
True
Let p = 0 + 6. Let t be (-2)/4 + 33/p. Suppose 4*q = 2*i - 2, 3*i - 7 = -q + t*q. Is i even?
False
Let h = -95 - -197. Does 17 divide h?
True
Let x(l) = 2*l**2 + 11*l + 16. Is x(-7) a multiple of 9?
False
Suppose -p - p + 4 = 0. Suppose 4*y - 5*y - p = -2*g, -4*y + 8 = -4*g. Is 3 a factor of y?
True
Let m = 11 + -5. Let w(o) = 3*o - 3. Does 5 divide w(m)?
True
Let i be 38/6*(-24)/(-2). Let a = -19 + i. Does 12 divide a?
False
Let b(o) be the second derivative of o**5/20 + o**4/12 + 5*o**2/2 - 7*o. Suppose 5*j + 9 = -3*q, 15 = -3*j - 2*j - 5*q. Is b(j) a multiple of 5?
True
Suppose 2*b - 37 - 29 = 0. Does 9 divide b?
False
Let t(s) = 2*s**2 - 5*s + 5. Let c be 2/(-6) - 153/27. Let g(h) = -h**3 - 6*h**2 - h - 2. Let k be g(c). Is t(k) a multiple of 17?
True
Let n be -1*(-1 + 0)*9. Let p be (2 - 24/n)*3. Let f = p - -28. Is f a multiple of 11?
False
Let l(t) = 14*t - 4. Is l(3) a multiple of 7?
False
Suppose o = 5*n, 4 = -n + 2*o - o. Let i(k) = 4*k - 8 + 2 - n. Is i(10) a multiple of 17?
False
Let l be (-2)/3*-1*3. Let f = l - 5. Let j(w) = w**2 - 3*w. Is 6 a factor of j(f)?
True
Let h(f) = 15*f - 5. Let x be h(5). Let r = x + -37. Is 11 a factor of r?
True
Suppose 585 = 5*r - 2*r. Suppose -l = -6*l + r. Is l a multiple of 11?
False
Let a(i) = -8*i + 1. Let c(q) = -q**2 - 3*q - 3. Let r be c(-2). Does 5 divide a(r)?
False
Suppose 4*z - 42 = z + 4*j, 0 = z + 4*j + 2. Is z a multiple of 10?
True
Suppose 116 = 4*a + 4*j, 5*a + j = -0*j + 133. Let w = a - 16. Is w a multiple of 5?
True
Suppose 2*h = -8, 0 = 4*j - 2*h + 4*h - 428. Is 38 a factor of j?
False
Suppose 0 = 2*z - 143 + 15. Is 10 a factor of z?
False
Suppose 3*k = 2*k. Suppose 5*i - 57 - 28 = k. Is 10 a factor of i?
False
Let t = -5 + 10. Suppose 3*j - t*m = 2*j + 16, 3*m + 9 = 0. Is 8 + (j - (-2 - -5)) a multiple of 3?
True
Is 5 a factor of 6/9 + (-22)/(-3)?
False
Suppose 3*r = h - 5, -5*r - 17 - 10 = 3*h. Let o = 6 + r. Does 16 divide 32/o*1*3?
True
Suppose -k + 6 = 5*u, -3*u = -2*k + 2*u + 12. Let s be (-17 - 1)*(-4)/k. Suppose -2*r + 0*r + s = 0. Is r a multiple of 4?
False
Suppose f - 5*r = -0*r + 17, f = -5*r - 3. Is f even?
False
Let h = -22 + 30. Is 8 a factor of h?
True
Let u(d) = d**3 + 9*d**2 + 8*d - 1. Let l be 10/(-1) - (-4 + 2). Let i be u(l). Is 2 a factor of (-3)/(-4 - i) + 3?
True
Let p(q) = 12*q + 4. Does 19 divide p(6)?
True
Suppose u - p - 17 = 0, 4 = -5*p - 11. Suppose 0*d = -d + u. Is 6 a factor of d?
False
Let g = 29 + 13. Is g a multiple of 14?
True
Suppose -5*p - 7 + 27 = 0. Suppose -p*d + d + 21 = 0. Suppose -u + d + 3 = 0. Is u a multiple of 10?
True
Let c be ((-2)/5)/(3/(-30)). Suppose 0 = -5*h + 4*a - 7*a + 52, -c*h = -5*a - 12. Is 8 a factor of 3 - 3 - -1*h?
True
Suppose 0 = -5*w - 3*z + 755, -3*w + 151 = -2*w + 5*z. Is 17 a factor of w?
False
Let s(x) = -x - 2. Let q be s(-6). Suppose -q*b + 25 = b. Is 5 a factor of b?
True
Let j(l) = -5*l**3 - 10*l**2 - 3*l + 11. Let o(i) = 3*i**3 + 5*i**2 + 2*i - 6. Let t(w) = -4*j(w) - 7*o(w). Is 6 a factor of t(3)?
False
Let u = 45 - 17. Suppose -72 = -5*l + u. Is 10 a factor of l?
True
Let t = -5 + 9. Suppose -m + 55 = t*m. Is 11 a factor of m?
True
Let k(f) = f**2 + 2*f - 3. Suppose w = 2*w + 7. Is 27 a factor of k(w)?
False
Let w = 19 - 31. Let l(i) = 2*i**2 + 4*i + 2. Let u be l(-4). Let o = w + u. Is o a multiple of 4?
False
Let t(p) = -p**3 - p**2 + 6*p + 6. Let z be t(-5). Suppose -4*g + z = -8. Does 21 divide g?
True
Let u be 165/9 - (-1)/(-3). Suppose -4*w = -2*c - u, 8 = 3*w + 2*c - 23. Suppose -3*t = 2*p - 36, w + 2 = 3*p. Is t a multiple of 4?
False
Is (73 + -6)*2*(-2)/(-4) a multiple of 5?
False
Suppose 2*q - 330 = -3*q. Suppose -t = 3*t + 136. Let j = t + q. Does 12 divide j?
False
Suppose 0 = 2*f - 3*f + 26. Let k(m) = 17*m**3 - 2*m**2 + m. Let r be k(1). Let p = f - r. Is 5 a factor of p?
True
Suppose 4*w + 4*u = -u + 203, -2*w = -3*u - 107. Is w a multiple of 5?
False
Let w = 7 + -2. Suppose 2*q + a + a = 4, -3*q - 8 = -4*a. Suppose w*c - 28 + 3 = q. Is 5 a factor of c?
True
Is 11 a factor of ((5 - -43)/3)/((-2)/(-8))?
False
Suppose -4*t + 2400 = 4*t. Does 30 divide t?
True
Suppose 2*z + 4*q - 569 = 159, 0 = -q. Is 26 a factor of z?
True
Suppose -3*o = -13 - 23. Is 5 a factor of o?
False
Suppose 0 = 16*w - 12*w - 360. Is w a multiple of 30?
True
Let f = 48 + -27. Is 8 a factor of f?
False
Let s(b) = 9*b + 9. Let f be s(5). Suppose -2*k + k + f = 0. Does 18 divide k?
True
Let v(z) = 6*z**3 + 5*z**2 + 11*z + 1. Let n(x) = -x**3 - x + 1. Let g(i) = -5*n(i) - v(i). Let u be g(-4). Suppose u*q - 170 = -3*q. Is q a multiple of 17?
True
Let g = 13 - 8. Suppose g*f - 107 = -2*c + 350, f = 2*c + 101. Does 31 divide f?
True
Let b(m) = m**3 + 7*m**2 + 2*m. Let n be b(-3). Let t = -5 + n. Let l = 5 + t. Is l a multiple of 8?
False
Let w(k) = -3*k**2 - 2*k - 1. Let h be w(-1). Let z be -1*(0 + h) - 0. Is z - (-1 - 1*21) a multiple of 12?
True
Suppose -2*r + 4*f = -53 - 95, -2*r - 4*f = -164. Is 10 a factor of r?
False
Suppose 0 = c - 4*c - 4*s - 8, c = 3*s + 6. Does 13 divide (c - 2) + 39 + 2?
True
Suppose 0 = -34*q + 33*q + 50. Does 6 divide q?
False
Suppose 3*x + 2*x = 0. Suppose x = -4*r + 4*c + 84, 0*c - 96 = -5*r - 4*c. Does 10 divide r?
True
Suppose -3*u = -0*u - 45. Let q = u + 9. Suppose 2*g + q = 3*g. Does 9 divide g?
False
Let x = 506 - 339. Is 30 a factor of x?
False
Suppose -1 = 2*k + 3. Let j = k - -5. Suppose 2*c + 75 = 5*c - j*t, 2*c - 51 = 3*t. Is 12 a factor of c?
True
Let z(k) = 2*k**3 + 2*k**2 + 2*k + 1. Let c be z(-1). Let u = c + 5. Suppose 0 = -u*d + 3*d + 13. Is 11 a factor of d?
False
Let y(u) = -3*u**3 + u**2 + 3*u + 3. Is 12 a factor of y(-3)?
True
Let a = -155 - -219. Is 4 a factor of a?
True
Let z be 20 + (-4 - 5/(-1)). Let w(t) = -t**3 + 7*t**2 + 2*t - 4. Let p be w(7). Is z - (-5)/(p/4) a multiple of 20?
False
Suppose t + 2*f - 7*f - 23 = 0, 5 = -5*t - 5*f. Let g(h) = -5 - h**t - 2*h - 2*h**3 - 4*h**2 - 2*h**3 + 6*h**3. Does 4 divide g(5)?
False
Let f = 42 + -2. Is f a multiple of 5?
True
Suppose 4*g = 5*v - 333, -3*v - 3*g = -0*g - 189. Suppose -3*y + v + 7 = 0. Does 12 divide y?
True
Let b be (-2)/8 + 78/24. Let a(y) = 7*y**b - 2*y**2 + 15*y**3 + 18*y**3 + 0*y**2 + y. Does 13 divide a(1)?
True
Let c = 33 - -167. Suppose 5*n = c - 40. Is n a multiple of 16?
True
Suppose 3*r - 29 - 19 = 0. Does 16 divide r?
True
Let j(h) = h**2 - 7*h + 7. Let z be j(10). Suppose 5*i - 73 = z. Does 11 divide i?
True
Suppose -p - p = -18. Suppose 3*k = -5*c - p, 3*c - 2 + 7 = -2*k. Suppose -k*x + 5 = -x. Is 5 a factor of x?
True
Let o(l) = l**2 + 0*l**2 + 2 + 0*l + 4*l. Let h be o(-4). Suppose h*z = -3*z + 140. Does 13 divide z?
False
Let i = 3 + 1. Let b = i + -6. Is 6 a factor of (-2 - 4)*(b + 1)?
True
Let x = 9 + -9. Suppose 4 + 2 = -2*s, w - 2*s - 45 = x. Is w a multiple of 12?
False
Suppose s - 1 = 19. Does 10 divide s?
True
Let k be (-114)/15 - 4/10. Let h(b) be the first derivative of -3*b**2/2 + 4*b - 4. Does 14 divide h(k)?
True
Let k(l) be the second derivative of l**3/2 - 5*l**2/2 + l. Let m be k(4). Let i(o) = 3*o - 7. Is i(m) a multiple of 14?
True
Let g(v) be the first derivative of -v**3/3 + 11*v**2/2 + 12*v + 1. Is g(9) a multiple of 15?
True
Does 15 divide 12*-30*8/(-18)?
False
Suppose -12*a = -157 - 623. Does 7 divide a?
False
Suppose -5*h + 2*n = -212, -h - 2*n = -4*n - 44. Is 21 a factor of h?
True
Let y = -38 - -74. Let f = y - -1. Does 18 divide f?
False
Let m = -9 - -9. Let b be m + -1 + 2 + 2. Suppose 8*h - 241 = 3*h - 4*p, -b*h = 4*p - 151. Is 13 a factor of h?
False
Let b = 2 + -4. Let x = 7 - b. Let k = x + -4. Does 5 di