. Is j a multiple of 18?
True
Let u(d) = 2*d**2 - 7*d + 2. Let s be u(4). Let l = 27 + s. Is 11 a factor of l?
True
Let u = 6 + -4. Let c be 1 + 6/2 + 0. Suppose -c*t - u*p + 56 = 0, -4*t + p + 49 = -13. Does 10 divide t?
False
Let j(n) = 3*n**3 + 3*n**2 - 6*n + 10. Is j(3) a multiple of 20?
True
Suppose 5*y = 3*r + 286, 0*y = -2*y - 4*r + 104. Is 17 a factor of y?
False
Let h = -1 - -4. Suppose -22 = -h*a + 47. Is 14 a factor of a?
False
Suppose 4*w - 31 - 13 = 0. Does 11 divide w?
True
Let y(f) = -2*f. Let b be y(-1). Is ((-1)/3)/(b/(-18)) a multiple of 2?
False
Suppose -4*u - 4 = -16. Suppose -4*v + 1 = u*c, -c = -0*v - 3*v - 22. Is c a multiple of 7?
True
Suppose 0 = -0*z + 2*z + 6, 3*n - 27 = 5*z. Is n a multiple of 4?
True
Let p = 5 + -1. Suppose 5*u - s = 169, 0 = u + 4*u + p*s - 174. Does 5 divide (-4)/12 + u/3?
False
Let h(i) = i**3 - 7*i**2 + 8*i - 6. Suppose -5*y + y = -28. Does 14 divide h(y)?
False
Let o(s) = s**3 + 3*s**2 - 5*s + 3. Let c be o(-4). Let g be (-1 - 3)*c/(-2). Suppose -u + g = -0*u. Is 11 a factor of u?
False
Let m(t) = 5*t**2 + 3*t + 2. Let w be m(-1). Suppose -a + w*l - 3 = 0, -2*a = -5*a + 4*l + 15. Does 3 divide a?
True
Does 8 divide 298/8 + 3 - (-6)/(-24)?
True
Suppose 0 = -d + 2*x + 53, -5*d - 5*x + 325 = 45. Is d a multiple of 10?
False
Suppose n = -2*n + 2*r + 32, 5*r + 20 = 0. Suppose 3*u - 16 = 4*q, 3*q - n = u - q. Is u a multiple of 12?
True
Let b be (-1)/(-2) - (-454)/4. Let z(n) = -n**2 + 9*n - 9. Let l be z(7). Suppose h - 123 = -l*k, 0 = -5*k + 2*h - 0*h + b. Does 12 divide k?
True
Suppose 3*k - 256 - 44 = 0. Suppose 0 = -2*r - 3*r + k. Is r a multiple of 11?
False
Suppose -358 = -5*i - 5*t - 68, -2*t - 4 = 0. Does 12 divide i?
True
Let w(f) = -3*f**3 + 3 + 10*f**2 + 2*f**3 + 13*f + 7. Does 16 divide w(11)?
True
Let j = 7 + -4. Let z(y) = -y**3 + 3*y**2 + 2*y - 3. Does 3 divide z(j)?
True
Let p be 6/2*66/9. Suppose 3*i - 50 - p = 0. Does 13 divide i?
False
Let p(y) be the second derivative of -5/6*y**3 + 2*y + 3*y**2 + 1/12*y**4 + 0. Is p(9) a multiple of 11?
False
Suppose 4*m = 4*h, -h + 18 = 4*h + 4*m. Suppose 39 = 3*i - h*i. Is i a multiple of 20?
False
Suppose 3*w = 4*w - 3. Suppose 4*l - w*v + 83 = 958, -5*l + v = -1080. Suppose 2*a + 235 = 5*f, 4*f = -f - 2*a + l. Does 16 divide f?
False
Let n be 1/(-2)*(-210)/(-3). Let z be (-2)/(-5) - 56/n. Is 3 a factor of (3/(-9))/(z/(-48))?
False
Suppose 2*a = -n + 1, -2*n + 0*n = -a - 7. Does 2 divide n?
False
Let j = -11 - -17. Does 3 divide j?
True
Suppose 2*h - 5*h + 8 = 2*v, 20 = -3*h + 5*v. Suppose p + 22 = 2*s - h*s, -53 = -5*s + 3*p. Is 5 a factor of s?
False
Is (-7)/((-21)/108) - 2 a multiple of 8?
False
Let r be (-6)/(-18) - 42/(-9). Suppose -2*w = -4*c + r*c - 18, w - 9 = -3*c. Is 6 a factor of w?
False
Let j(c) = 2*c + 22. Is j(14) a multiple of 10?
True
Suppose -10*g + 15*g = 260. Does 4 divide g?
True
Suppose o - 35 = -4*r, 3*r = 3*o - 15 + 45. Let q(k) = -k - 3. Let i be q(r). Does 3 divide (6 + -1)*i/(-10)?
True
Let h(l) = 7*l**2 - 1. Let m be h(-3). Suppose -2*n + 6*g + m = 2*g, -3*n - 4*g = -43. Is n a multiple of 21?
True
Does 23 divide (-21 - 0)/((-6)/20)?
False
Suppose 5*v = -3*z + 29, -6*v + 4*v + 5 = -z. Suppose -2*s = -z*s + 39. Is s a multiple of 18?
False
Let b be (-2 - -4) + 6 + -1. Suppose -3*m = -5 - b. Suppose -55 = -3*c - m*v + 6*v, 4*c - 65 = v. Does 13 divide c?
False
Suppose -47 = -b + 33. Suppose -3*u + 52 + b = 0. Does 22 divide u?
True
Let q(l) = -l**2 - 13*l - 1. Suppose -4*u - 44 + 0 = 0. Is 7 a factor of q(u)?
True
Suppose 0 = 2*a + 8, -3*a - 6 = 2*w - 0. Suppose l - 5*q + 67 = 2*l, -w*q = -2*l + 108. Does 24 divide l?
False
Let s = -3 - -8. Suppose -3*l = 5*p - 1 - 9, -4*p + 8 = 5*l. Suppose -4*x = -s*b - 35, -4*b = x - l*b + 7. Does 4 divide x?
False
Let q = 39 + -24. Suppose -x - 2 = -q. Does 13 divide x?
True
Let y be (-206)/(-10) - 9/15. Suppose 3*b - 15 = 2*i, 3*i + 4*b = -i - y. Let s(l) = -2*l + 2. Is 7 a factor of s(i)?
True
Suppose -10*y + 264 = -6*y. Suppose 3*c - 207 + y = -3*i, -4*c = i - 185. Is 12 a factor of c?
False
Suppose 4*j + 4*p - 464 = -0*j, -5*j - p + 564 = 0. Suppose 0 = 4*c + 3*s - j, -c + 4*c - 84 = 3*s. Suppose -2*i + c = -4. Is 16 a factor of i?
True
Suppose -2 = -w + 2. Suppose a - w = 5*p + 30, -5*a = 4*p - 112. Is 8 a factor of a?
True
Let n(a) = 3*a + 14. Let i(z) = -2*z - 13. Let s(r) = 5*i(r) + 4*n(r). Let o be s(6). Let p = o + 37. Is 13 a factor of p?
False
Suppose 5*a - 1044 = -3*z + 282, -2*a = -z - 526. Is a a multiple of 44?
True
Let j be ((-24)/(-16))/((-3)/76). Let t be 4/14 + j/(-14). Suppose 2*y + 11 = t*y. Is 4 a factor of y?
False
Let q(s) = -9*s**3 + 2*s**2 - s - 2. Does 10 divide q(-1)?
True
Let n be 3 - 1/2*6. Let l(d) = d + 3 + 2*d - 2*d**3 - d**2 + n + 3*d**3. Does 10 divide l(3)?
True
Let j = -178 + 183. Is j a multiple of 3?
False
Suppose -19 - 566 = -3*h. Suppose -4*i + h = -45. Is 15 a factor of i?
True
Let j = -4 - -2. Does 8 divide (-1)/(-2) - 31/j?
True
Suppose 4*z - 7 = 9. Suppose 2*u + 190 = z*g - 2*g, -4*u = g - 70. Suppose 5*x + 0*x = g. Is x a multiple of 18?
True
Let j be (-322)/4 - 5/10. Let r = -29 - j. Is 16 a factor of r?
False
Let k(w) = w**3 - 14*w**2 - 25*w + 6. Is k(16) a multiple of 5?
False
Suppose -3*k = -5*x - 281, -2*x = k + 4*k - 520. Is k a multiple of 27?
False
Suppose 2*q - 76 - 35 = 3*i, i - 48 = -q. Let o = q - 6. Suppose 7*f = 2*f + o. Is f a multiple of 5?
False
Suppose 3*u - 65 = 40. Does 5 divide u?
True
Let g be 1*(-73 - (2 - 4)). Let k = g + 120. Suppose 0 = 5*v - k - 16. Is 13 a factor of v?
True
Let m be 9/(-2)*8/(-6). Let l be (-4)/(-6) - (-20)/m. Suppose 0 = -d + l*k + 3, d + 0*k = 3*k + 5. Is d a multiple of 5?
False
Let s = 6 - 1. Let i = s + -2. Is (-2)/i*18/(-4) a multiple of 3?
True
Let c be 4/(-14) + 46/14. Let l = c - -2. Suppose 2*k = d - 0*d - 30, 5*k - 120 = -l*d. Is 13 a factor of d?
True
Let y(r) = r**3 - r**2 - 2*r + 1. Let b be y(2). Let x be (b*9/3)/(-1). Does 2 divide 9/6 - x/6?
True
Let c(u) = -2*u**2 - 3*u + 5. Let s(p) = p**2 + p - 1. Let v(q) = -c(q) - s(q). Let b = -53 + 46. Is 10 a factor of v(b)?
False
Let c(k) = k**3 + 6 - 5*k**2 + 7*k**2 + 0 + 5*k**2 + 8*k. Suppose -u + 3 = 8. Is 7 a factor of c(u)?
False
Let f be (-8)/24 - 10/(-3). Suppose -f*k + 66 = 6. Is k a multiple of 10?
True
Let b(a) = 16*a**2 - 11. Is 35 a factor of b(4)?
True
Let f(o) = o**2 - 9*o + 12. Is 24 a factor of f(16)?
False
Suppose 2*m - 51 - 81 = 0. Suppose -4*g = 18 - m. Does 12 divide g?
True
Suppose 1 = j - 1. Suppose 4*d + 169 - 49 = 3*a, -80 = -j*a - 4*d. Does 20 divide a?
True
Let r(y) = 13*y**2 + 2*y. Suppose 0 = -5*p + 2*n, 4*p - 3*n - 2*n - 17 = 0. Does 16 divide r(p)?
True
Let p be (-4)/(-6) - (-4)/(-6). Suppose -5*a + 241 + 79 = p. Does 16 divide a?
True
Suppose 5*m - 123 = -4*r, -4*m - r + 0*r + 105 = 0. Let t = m - 11. Does 14 divide t?
False
Suppose 6 = r + 2*r. Suppose -4*g + 142 = -2*j, r*g + 2*j - 96 = -2*j. Is 9 a factor of g?
False
Let a = 12 + 7. Let b = -7 + a. Is b a multiple of 9?
False
Let x(b) = 2*b + 15. Let s be x(-10). Let i(r) = -r**2 - 7*r - 2. Is i(s) a multiple of 5?
False
Let x(g) = g**2 - 6*g - 1. Let p(r) = -2*r**2 + 11*r + 1. Let y(q) = -2*p(q) - 5*x(q). Is 8 a factor of y(6)?
False
Let w(l) = 4*l**2 - 5*l - 3. Is 2 a factor of w(-3)?
True
Is (-2)/(-7) + 3894/42 a multiple of 21?
False
Let c = 63 + -35. Suppose 4*b + 0*f - c = 3*f, 2*b - 3*f - 20 = 0. Suppose 5*p - p - 72 = 4*a, b = 4*a. Is 12 a factor of p?
False
Suppose -2 = -3*l - 4*c, 0 = 5*l + c - 4 - 5. Suppose 14 + 0 = l*u. Is u a multiple of 4?
False
Suppose 0 = -f - 5*l + 155, 0*l = -f - 4*l + 156. Does 20 divide f?
True
Let k = 135 + -92. Is 43 a factor of k?
True
Let h(w) = 22*w**2 + 20*w + 8. Is h(-4) a multiple of 48?
False
Let m(c) = -c. Let o be m(0). Suppose o = -3*f - 4*r + 160, f - 76 = -2*r - 24. Let w = -20 + f. Is w a multiple of 20?
False
Let q(p) = -p**2 - 2*p + 3. Suppose 3*h - 7 = t + 3, h - t = 4. Let u be q(h). Is (-88)/u - (-1)/(-3) a multiple of 6?
False
Let h(m) = m**3 - 9*m**2 + 8*m - 7. Let d be h(8). Let a = 12 - d. Is a a multiple of 8?
False
Let c = 49 + 23. Is c a multiple of 9?
True
Let q(d) = d**2 - d + 12. Let i be q(0). Let w(l) = l**3 + 5*l**2 - 6*l - 2. Let o be w(-6). Let j = i + o. Is 10 a factor