 k(x) = -9*x - 54. Does 21 divide k(-13)?
True
Let v = 1 + 2. Suppose -2*u + v*u = 44. Does 12 divide u?
False
Let j(z) = -z**2 - 12*z - 9. Let d be j(-11). Let w(l) = 0 - 13*l + d - 3. Is w(-4) a multiple of 17?
True
Suppose 5*r + 5*a + 96 - 21 = 0, -2*a = -r - 24. Suppose -3*i - 3*p + 3 = 0, 2*p + 2*p = -20. Does 4 divide (-32)/i*r/12?
True
Suppose -8*c + 6*c = -12. Is c a multiple of 5?
False
Suppose -h - 5 = -0*h, 0 = 5*u - h - 550. Suppose -2*v - 3*v = 2*w - 133, -4*v + w + u = 0. Is (-2)/((-6)/v) + -2 a multiple of 7?
True
Does 11 divide 0/(4 - 7) - (-2 - 53)?
True
Let u(q) = 82*q**2 + q + 1. Let f be u(-1). Suppose -f = -2*w - 4*t, t - 79 = w - 3*w. Is 19 a factor of w?
False
Suppose 5*v = 4*b - 3*b + 11, 2*v - 5*b = -14. Suppose 0 = 5*d - 10, -n + 0*d + 12 = v*d. Does 6 divide n?
True
Suppose 0 = -8*q + 239 + 241. Does 41 divide q?
False
Let t be 1*155 + (-12)/4. Suppose g = -3*g + t. Is (g - 2) + -2 + 2 a multiple of 11?
False
Let s be 0*3/(-6) + 3. Suppose -197 = -3*r + d, -2*r + s*r = 2*d + 74. Is r a multiple of 13?
False
Suppose 5*n + 0*n = 3*i - 47, 2*n = i - 17. Is 8 a factor of i?
False
Suppose -2*s - 49 = -3*s - 4*l, 96 = 3*s - 5*l. Is s a multiple of 8?
False
Let r = 0 - 6. Is 14 a factor of (-87)/(-2) - (-9)/r?
True
Let t(u) = 2*u**3 + u**2 - 13. Is t(3) a multiple of 7?
False
Suppose -3*s - s + 28 = 0. Does 4 divide s/14 + 38/4?
False
Suppose 0 = -5*s - i - 13, 0 = -5*s + 3*i - i - 19. Let q(m) = -2*m**3 + 3*m**2 - m + 1. Let p be q(s). Let w = p + -57. Does 18 divide w?
False
Let z(w) = 19*w**2 - 2*w - 1. Is 4 a factor of z(-1)?
True
Suppose -4*v + 12 = -16. Suppose -3*h - 13 = 4*y, -3*y = -3*h - 1 - 5. Let x = y + v. Is 3 a factor of x?
True
Let j(g) = g**3 - 7*g**2 + 2*g - 9. Let k be j(7). Suppose 2*n + 3 = -4*l + 31, k*n = -l + 25. Suppose -n + 27 = m. Is 8 a factor of m?
False
Suppose 0*b = b - 4. Suppose 8 = -j - 3*u, -b*u + 4 = -4*j - 9*u. Suppose 4*y = -3*n + 7*y + 63, 2*y - 66 = -j*n. Is n a multiple of 9?
True
Suppose -m = 4*m - 3*m. Suppose -4*j + 7*j = 0. Suppose -n - 2*c + 28 = -m*c, -2*n - c + 50 = j. Does 12 divide n?
True
Let p be (-2)/3 - (-80)/12. Let x(z) = -z**2 + 7*z - 8. Let o be x(p). Is 3 - (4 + o) - -19 a multiple of 10?
True
Suppose 0 = -n + 5*w - 877, -6*n + n = -2*w + 4408. Does 11 divide n/(-35) - (-2)/(-10)?
False
Let c = -260 - -384. Is c a multiple of 15?
False
Let h = 3 - 25. Let t = -16 - h. Is t a multiple of 6?
True
Suppose 2*f = -5*f + 2268. Is f a multiple of 36?
True
Let i(f) = 3*f - 10. Suppose 3*a - 15 = 6. Does 3 divide i(a)?
False
Suppose -2*c + 178 = -3*i, -c - 2*i + 84 = -6*i. Does 23 divide c?
True
Let n(j) be the second derivative of -j**3/6 - 7*j**2 + j. Let b be n(-10). Is 16 a factor of 1/(-1) + b + 48?
False
Let d(z) = -z**3 - 12*z**2 + 10. Does 10 divide d(-12)?
True
Let p be -3 - (-2)/((-8)/(-12)). Suppose p = -2*b + 58 + 16. Does 26 divide b?
False
Suppose 3*j + 34 - 817 = 0. Let t = j - 173. Suppose -t = -2*u - 2*u. Does 22 divide u?
True
Let w = 31 + 2. Is 18 a factor of w?
False
Let k = 266 - 160. Does 42 divide k?
False
Suppose 5*d = 2*d + 18. Suppose 5*x = -2*k + 17 - 3, 0 = 2*k - 5*x + d. Suppose 0 = k*z + 1 - 7. Is z a multiple of 3?
True
Let r be (12/15)/((-5)/(-25)). Let c(z) = z**2 - z - 3. Let l be c(-3). Let t = r + l. Is t a multiple of 13?
True
Suppose -v + 8 = 2*d, 5*v - 6*d = -2*d + 82. Does 3 divide v?
False
Let u be -1 - -4 - -1 - 1. Suppose 17 = u*w - 61. Suppose -4*m = 5*g - w, 3*g + 4*m - 22 = -0*g. Does 2 divide g?
True
Suppose -2*n + 18 = -0*n. Does 3 divide n?
True
Suppose 14*i = 24*i - 130. Is i even?
False
Let d(s) = s**2 - s + 84. Let l be d(0). Suppose -3*t + 6*t - l = 0. Suppose -4*m = -5*m + t. Is m a multiple of 14?
True
Let i(z) = 240*z + 3. Let j(q) = -160*q - 2. Let o(n) = -5*i(n) - 7*j(n). Let m be o(-1). Suppose m = -3*g - 2*t + 230, g = t + 52. Is g a multiple of 17?
True
Let k be ((-17)/(-3))/((-3)/(-9)). Suppose 5*d + f + 7 = 5*f, 4*f - k = -5*d. Is 7 a factor of d*(53 + -2)/3?
False
Suppose a + 7 - 28 = 0. Is a a multiple of 21?
True
Suppose 0 = 5*j + a - 16 + 3, 0 = -2*j - 5*a + 19. Let r be (j/(-2))/(1/(-41)). Suppose 4*b + 1 = r. Is 10 a factor of b?
True
Suppose 510 = 5*q - 2*q + 3*o, -o = -5. Is q a multiple of 11?
True
Let x = 28 - 14. Suppose 10 = y - 4. Does 8 divide 298/y - 4/x?
False
Suppose 72 = 4*q + 2*h + 256, 4*q + 4*h = -176. Suppose 2*x - 166 = 3*k + 2*k, -138 = -2*x - 2*k. Let t = q + x. Is t a multiple of 13?
False
Let m = -10 + 8. Let y = m - -11. Is y a multiple of 9?
True
Let s = 4 + -2. Suppose -4*h + 2 = -q - s, 5*q = -5*h - 20. Suppose h = l + l - 40. Is l a multiple of 10?
True
Let w be 2*-1*(-3)/6. Let i = w - -1. Suppose 2*k - 64 = 3*f - 14, -i*f - 136 = -5*k. Is 16 a factor of k?
False
Let i be 1/2 + (-51)/(-6). Suppose 4*m + 11 = -i. Let j(z) = z**2 + 3*z - 6. Is j(m) a multiple of 4?
True
Let d(x) = -x**3 + 2*x**2 + 4*x - 3. Let l be d(3). Suppose b = 3*b - p - 39, 4*p - 4 = l. Is b a multiple of 10?
True
Let h = 7 - 4. Suppose h*q = 4*q - 2. Suppose -q*g = 3*g - 125. Does 10 divide g?
False
Let v = -285 + 431. Suppose -p - 3*p + 144 = 0. Is 11 a factor of v/9 - 8/p?
False
Let l(j) = 35*j**3 + 2*j**2 - 3*j + 2. Is 6 a factor of l(1)?
True
Let x(z) = -z**3 + 10*z**2 + 0*z**3 + 9 - 6*z + 18*z. Is x(11) a multiple of 11?
False
Let v = 28 - 4. Is 12 a factor of v?
True
Is 1 + -4 + (-8)/(56/(-287)) a multiple of 8?
False
Let q = 6 + -1. Suppose -2*w - h = -w - 16, 0 = -q*w - 3*h + 88. Is 10 a factor of w?
True
Let r = 251 - 178. Does 9 divide r?
False
Let x(g) = -g - 4. Let y be x(-6). Let a = 4 - y. Suppose 124 = 3*n + l + 4*l, a*l - 118 = -3*n. Is n a multiple of 19?
True
Suppose 6*i + 56 = 7*i. Does 15 divide i?
False
Let l be (-4)/14 + (-69)/(-21). Let y = l + 3. Is (-45)/y*-2*1 a multiple of 6?
False
Suppose 6*u + 4*l - 65 = u, 4*u - 43 = -5*l. Let v = u + 7. Is 17 a factor of v?
False
Suppose -120 = -0*u - 3*u. Let v = u + -17. Does 17 divide v?
False
Let y(w) = -7*w + 2. Let f be y(8). Is (2/4)/((-3)/f) a multiple of 4?
False
Let x = -28 - -290. Does 16 divide x?
False
Let z(d) = 2*d + 2. Let h be z(-4). Let b = 8 + h. Does 16 divide 1 - b - (-16 - 1)?
True
Is 15 a factor of 1755/25 + (-20)/(-25)?
False
Let g(s) = s**2 - 3*s - 15. Let i be g(14). Suppose 2*y + 2*b - 57 + 3 = 0, 0 = -5*y - b + i. Does 14 divide y?
True
Suppose -2*i = 3*j + 6, 3*j - 3*i + 8*i = -15. Let b be 12*(0 - -1) + j. Let z = 2 + b. Is 7 a factor of z?
True
Suppose 4*h - 4*c - 52 = -0*c, 3*c - 26 = -2*h. Does 7 divide h?
False
Let w(k) = -k**2 + 6*k. Let z be w(5). Suppose -55 = -5*n + 5*x, -4*x - 49 = -z*n + 10. Is 3 a factor of n?
True
Let i = 162 - 59. Does 4 divide i?
False
Suppose 0 = -4*j + 6 + 14. Suppose 0 = v - j*x - 4, 76 = 6*v - v + 3*x. Does 7 divide v?
True
Suppose 34 = 4*j + 2. Suppose 3*n - 14 = 2*s, 3*n + 8*s - 4*s - j = 0. Is 4 a factor of n?
True
Suppose j - 5 = -5*a, 4*a + 4*j + j = -17. Suppose 16 = -2*m + 5*v, -a*v = -2*m - 5*v + 16. Suppose x = -u - m*x + 42, 4*u + 3*x = 177. Is u a multiple of 18?
False
Suppose m - 23 = 4*i, -2*i - i = -m + 18. Suppose -3*c + 2*a = -157, -3 = 3*c - m*a - 159. Suppose c = 5*v - 127. Is 18 a factor of v?
True
Let k = -71 - -80. Is k a multiple of 3?
True
Let f(k) = k**3 - 5*k**2 + 4*k + 3. Let h be f(4). Suppose 5*c = -h*i + 4, -5*i + c = -4 - 40. Is 6 a factor of i?
False
Suppose 4*z - 1 = -13. Let h be (2 + 3/z)/1. Does 14 divide 13 - (h/1)/(-1)?
True
Let a = -51 + 106. Does 11 divide a?
True
Let n = 11 + 11. Does 11 divide n?
True
Let n be (-1)/(-2) - (-63)/14. Suppose k = n, 43 = 2*s - s + 2*k. Is s a multiple of 13?
False
Is 5/((-40)/12)*-20 a multiple of 6?
True
Let o(n) be the third derivative of 0*n - 1/3*n**3 - 1/6*n**4 - 2*n**2 + 0. Is 8 a factor of o(-5)?
False
Suppose 560 = 3*m + 5*k + 65, -4*k + 498 = 3*m. Does 34 divide m?
True
Suppose 43 = 4*d - 133. Suppose 0 = -c - c + d. Is 11 a factor of c?
True
Let o = 108 + -45. Suppose 2*w - o = -w. Is 5 a factor of w?
False
Let h(j) = j**3 + 11*j**2 + 2*j + 7. Let r be h(-11). Does 12 divide (-2)/(-1*(-1)/r)?
False
Suppose 3*v = -l + 7*v + 78, 459 = 5*l + 3*v. Is l a multiple of 18?
True
Let i(k) = k**3 + 5*k**2 - k + 4. Let a be i(-5). Let l(m) = -m**3 + 9*m**2 + 3*m + 3. Is l(a) a multiple of 10?
True
Let h(l) 