*k = -p*i + 40. Is 9 a factor of i?
False
Let l(k) = 4*k + 4. Let y be l(-6). Is y/30 - (-41)/3 a multiple of 13?
True
Let d be 3/6 + (-109)/(-2). Suppose -14 = -4*b + 3*b - 2*y, 5*y - d = -5*b. Let s(p) = -p**3 + 8*p**2 + p - 3. Is s(b) a multiple of 2?
False
Suppose -5*v + 2*z = 4*z - 655, 3*z + 680 = 5*v. Suppose -3*t + 93 = 4*a, -4*t = -4*a + t + v. Is a a multiple of 27?
True
Let l(k) = k + 7. Let c be l(-9). Is 16 a factor of c - 150/(-1 - 2)?
True
Let t = 13 - 8. Let u(w) = w**2 - 2*w - 4. Is 11 a factor of u(t)?
True
Suppose 0 = -20*c + 14*c + 528. Is 8 a factor of c?
True
Let t(n) = 2 - 5 + 1 + 4 - 4*n. Suppose 2*q + 6 + 0 = 0. Is t(q) a multiple of 5?
False
Suppose -7 + 2 = -5*z, -5*i + 673 = 3*z. Is i a multiple of 17?
False
Let m = 53 + -15. Suppose -5*b + m = -67. Is 7 a factor of b?
True
Suppose -7 = -5*t + 2*l, -3*t + 25 = -0*t + 4*l. Does 2 divide t?
False
Suppose 4*y - 139 - 28 = -3*b, 0 = -y - 4*b + 58. Is 13 a factor of y?
False
Let o(w) = 2*w + 1. Let t(x) = x. Let m(j) = -4*o(j) + 9*t(j). Suppose 38 = 5*b - 2*z, -3*b + 0*b + 27 = 3*z. Is 4 a factor of m(b)?
True
Suppose -4*m + 0*y + 20 = -4*y, -5*m + 2*y + 22 = 0. Suppose 0*h - 16 = -m*h, 2*r = 2*h + 2. Suppose -o - 3 = 0, -r*o - 31 = -f + 12. Does 20 divide f?
False
Let o(f) = -9 - 9*f**2 + 5*f + 0*f**3 - 4*f**3 + 3*f**3. Let y be o(-10). Suppose 0*z + y = z. Is z a multiple of 11?
False
Let c be 7*2/((-2)/(-1)). Let y = -72 + 103. Let j = c + y. Is j a multiple of 19?
True
Let g(y) = y**2 + 3*y - 19. Does 11 divide g(8)?
False
Suppose -4*g - 4*m = -768, 2*g + 2*m = -2*g + 776. Is 14 a factor of g?
True
Let f be -2*((-9)/6 - -1). Let q be (1 - f)*(-1)/2. Suppose -57 = -3*w - q*w. Does 13 divide w?
False
Let n(d) = 20*d + 20. Is n(5) a multiple of 30?
True
Let l be (270/21)/(1/7). Suppose 4*d + l = 6*d. Is d a multiple of 15?
True
Let n(u) = -2*u**2 - 3*u - 2. Let r be n(-2). Does 3 divide 53/4 + (-3)/r?
False
Let t(z) = 7*z + 3. Does 15 divide t(6)?
True
Let f(c) = 4 - 3 - 3*c - 5 - c. Let i(j) = j**3 + 7*j**2 + j + 4. Let z be i(-7). Is f(z) a multiple of 8?
True
Let u(v) = 33*v**2 + 1. Let r be u(1). Suppose 5*p - r = 31. Does 13 divide p?
True
Let l = 21 + 31. Is l a multiple of 26?
True
Let m(r) = 10*r**2 + r + 16. Does 22 divide m(-6)?
False
Suppose 4*c - 92 + 456 = 2*q, 0 = -5*c - 20. Suppose 3*p = q - 42. Suppose 5*z - 26 - p = 0. Is 7 a factor of z?
True
Suppose -4*h + 148 = -180. Is 11 a factor of h?
False
Suppose 0 = -2*a - 6, -117 = -5*x - 0*a + 4*a. Does 6 divide x?
False
Suppose -2*y + 3*y = 4. Suppose y*s - 21 = -3*k, -6 = -k + 4*s + 1. Suppose -2*g + k*g = 80. Is 16 a factor of g?
True
Suppose -20 = -5*j + 250. Suppose 2 = 2*m - j. Suppose -5*n + m = -62. Does 6 divide n?
True
Let u(z) be the first derivative of -7*z**5/120 + z**4/24 - z**3/3 + 2. Let r(o) be the third derivative of u(o). Does 13 divide r(-2)?
False
Let q(o) = -4*o + 1. Let u be q(-1). Suppose -20 = -4*f, -5*m + u*f + 19 = -91. Does 9 divide m?
True
Is 11 a factor of 458/8 - (-1)/(-4)?
False
Let w(g) = -g**2 + g + 1. Let z = 1 - 1. Let x be w(z). Is 4 a factor of x*((-6)/(-3) + 4)?
False
Let t(g) = 2*g**2 + 10. Let r be t(8). Suppose -3*l = -4*l - r. Let a = 201 + l. Does 22 divide a?
False
Let i(a) = -a**2 + 7*a + 4. Suppose -6*q + 11*q - 30 = 0. Is i(q) a multiple of 5?
True
Suppose 3*y + d = -22, 0*y + 5*d + 50 = -5*y. Is 6 a factor of -3*y/2 - 2?
False
Is 7463/68 - (7/4 + -2) a multiple of 11?
True
Let o = 136 - 98. Is 6 a factor of o?
False
Let u(g) = 3*g**2 - 4*g - 7. Is 11 a factor of u(6)?
True
Let k = 27 - 27. Let f(t) = -13 + 18 + 21 + t. Does 7 divide f(k)?
False
Suppose -j - 38 - 121 = -3*g, 231 = 4*g + 5*j. Is 24 a factor of g?
False
Let g = 51 - 32. Suppose 30 = -5*f - 5*v, 0*f + 5*f = v - 42. Let u = f + g. Is u a multiple of 11?
True
Let n = 14 + 6. Is 20 a factor of n?
True
Suppose -5*y + 2*l + 3*l + 5 = 0, -l - 1 = -2*y. Suppose y = 5*t - 4*j - 30, j + j - 30 = -2*t. Is t a multiple of 10?
True
Suppose -f - 4*f = -10. Let s = 3 + f. Suppose w + 13 = 4*h, -s*h = -6*h + 5*w - 11. Is h a multiple of 4?
True
Suppose x + 0*x - 36 = 0. Let m = -24 + x. Is m a multiple of 12?
True
Let k = -16 - -10. Let y(s) = s**2 - s - 8. Let g be y(k). Suppose -6 - g = -5*q + c, 3*q - 42 = -3*c. Is 9 a factor of q?
True
Let a = 57 + -6. Suppose 0 = 4*z - a - 129. Is z a multiple of 21?
False
Let q(g) = -g**3 + 7*g**2 + 3*g - 8. Is 6 a factor of q(7)?
False
Let k(b) = b + 1. Let h be k(3). Suppose 2*c + 2*g = 66, -h*g = -4*c - g + 153. Is c a multiple of 12?
True
Suppose -2*k + 49 = -4*f + 1, 93 = 4*k - 5*f. Is k a multiple of 11?
True
Let u(s) = -10*s + 3. Let c be u(-4). Let q = c + -27. Let b = q - 11. Is b a multiple of 5?
True
Let i(u) = 30*u**2 + 3*u + 6. Does 15 divide i(-2)?
True
Suppose -3*n = -0*n. Suppose 2*t = -n*t. Suppose -2*v + 7*v - 195 = t. Does 11 divide v?
False
Let i(u) = -u**2 + 6*u + 2. Let p be i(6). Suppose -1 = -h - 4, 0 = 4*w - 2*h + p. Is 12 a factor of 1/(54/26 + w)?
False
Let k(u) be the third derivative of 0*u - 4/3*u**3 + 0 + 1/120*u**6 - 1/10*u**5 + 1/4*u**4 + 2*u**2. Is k(6) a multiple of 11?
False
Let q(t) = -t + 5. Let u be q(4). Let y be ((u*-204)/(-3))/(-1). Is (3/(-2))/(3/y) a multiple of 14?
False
Let j(y) = y**3 - 22*y**2 + 25*y - 11. Is j(21) a multiple of 5?
False
Suppose 3*j - 2*j - 18 = 0. Let g = 12 + j. Is 10 a factor of g?
True
Let d be 4/18 - (-2)/(-9). Suppose -2*q + q - 5*o + 22 = 0, -20 = -4*q - 3*o. Suppose q*w = k + 4*k + 36, -4*w - 3*k + 20 = d. Is 8 a factor of w?
True
Let s(m) = -m**2 - 7*m - 2. Does 4 divide s(-6)?
True
Let y be 21*1 - (-6 - -7). Suppose -5*d + 64 = -2*h, 2*d - 4*d - 2*h + y = 0. Let b = d - -2. Is 5 a factor of b?
False
Suppose -f + t + 49 + 32 = 0, 0 = 2*f + 5*t - 155. Suppose -3*n + f = n. Does 10 divide n?
True
Suppose -4*a + 353 = 77. Is 23 a factor of a?
True
Let n(k) = 5*k**2. Let v be 2/(-5) + (-6)/10. Is n(v) a multiple of 5?
True
Let s(v) = -16*v - 34. Is s(-5) a multiple of 16?
False
Suppose 226 = n + b, 0 = -n - n - b + 450. Does 16 divide n?
True
Suppose -2*v = 20 - 88. Suppose -5*w + 65 = 3*j, 4*w - v - 40 = 2*j. Is 16 a factor of w?
True
Let d = -53 + 102. Does 13 divide d?
False
Let o be (-1 - 2) + 4 + 0. Let q(u) = 13*u**3 - u**2 + 2*u - 1. Is q(o) a multiple of 7?
False
Suppose 3*k - 37 - 71 = 0. Is k a multiple of 15?
False
Let o(g) = -g**3 + g - 1. Let p(s) = -s**3 - 3*s**2 - 5*s + 3. Let u(t) = 2*o(t) - p(t). Let m be u(4). Is 9 a factor of (-1 + 2)*(2 + m)?
True
Suppose 0 = -m - 5*i - 27, -5*i + 0*i - 17 = -4*m. Let o = -3 - m. Does 10 divide o*(-3)/(9/39)?
False
Suppose -2*w + 3*w - 2*y + 2 = 0, 5*w + 10 = -3*y. Let i = 6 + w. Is i a multiple of 3?
False
Let g(h) = -6*h**2 + 66*h - 22. Let t(v) = -2*v**2 + 22*v - 7. Let j(b) = -6*g(b) + 17*t(b). Does 10 divide j(11)?
False
Suppose 2*m = -3*u + 38, u = -4*u - 5*m + 70. Suppose -u = -j - 1. Does 9 divide 106/6 + (-6)/j?
False
Suppose -1150 = -3*d - n, n = -2*n - 6. Is 12 a factor of d?
True
Let k = 33 - -9. Is 14 a factor of k?
True
Let v = -7 - -4. Let z be 1*v/(-9)*3. Is (z - (1 + -1)) + 15 a multiple of 8?
True
Suppose -2*t - j + 4 = 5, -3*t + 16 = -2*j. Suppose -2*h = r + t*h - 9, 0 = 4*r + 5*h - 80. Suppose -117 + r = -4*v. Is 8 a factor of v?
False
Let k = 507 + -345. Does 30 divide k?
False
Suppose 2*n - 14 - 238 = 0. Does 14 divide n?
True
Let u(s) = s**2 + 7*s + 3. Let m be u(-7). Suppose -3*f = m*w + 36, -f - 3 = 7*w - 3*w. Is f/(-6)*-6*-1 a multiple of 7?
False
Let x(d) = d. Let n be x(2). Let i = n - -1. Let o(m) = m - 1. Is o(i) even?
True
Suppose -5*w + 26 = -3*v, 0*v = 4*w + 3*v - 10. Suppose w*s - 4*q = 8, 5*q = -5*s + 3*q + 31. Let k(i) = i**3 - 5*i**2 + 2*i + 6. Is k(s) a multiple of 14?
False
Is (-9)/6*(-124)/3 a multiple of 31?
True
Let g(t) = -t**3 - t**2 + t + 42. Is 14 a factor of g(0)?
True
Let x be (30/18)/(2/6). Suppose 0 = x*k + 53 - 318. Suppose 0 = -5*f - 0*m + m + 113, 2*f = 3*m + k. Does 22 divide f?
True
Let m(c) = 8*c**2 + 6*c - 7. Let l(q) = -q**2 - q + 1. Let b(o) = 3*l(o) + m(o). Is 10 a factor of b(-3)?
False
Suppose -2*a + 0*a + 4 = 0. Suppose 11 - a = 3*w. Suppose x + 3 = 5*v, w*x + v + 6 = 29. Does 7 divide x?
True
Suppose m + k + 2*k + 161 = 0, -2*m - 2*k = 306. Let i = 217 + m. Is 17 a factor of i?
True
L