, 2*k + 5*r - 45 = 0. Is 8 a factor of k?
False
Suppose -4*b + 0 + 8 = 0. Suppose -b*t - 1 = 5*y, 0 = 4*t - 4*y - 8 - 4. Suppose -n = -t*n + 11. Is 10 a factor of n?
False
Let b(j) = 2*j**3 - 2*j**2 - 1. Let g be b(2). Let i be g/7 - (0 + -1). Suppose 0*x + 103 = 4*q - x, -i*x + 106 = 4*q. Is q a multiple of 13?
True
Let a(l) = 96*l. Is a(2) a multiple of 25?
False
Suppose 0 = 4*f + 5*z - 62 - 49, -5*f - z + 144 = 0. Suppose 6*m - 3*c - 33 = m, m - f = -5*c. Let i = -6 + m. Does 3 divide i?
True
Let d(u) = -67*u + 5. Let y be d(4). Is 11 a factor of y/(-9) - 8/36?
False
Suppose 0 = 31*i - 37*i + 654. Is i a multiple of 9?
False
Let n be (0 + -1)/((-3)/9). Suppose -7*z = -n*z - 20. Suppose 45 = z*w - 35. Is 8 a factor of w?
True
Suppose 5*g - 5*c - 397 = 2*g, 2*c = 4*g - 534. Is g a multiple of 17?
False
Let r = -13 - -70. Let q = 111 - r. Does 18 divide q?
True
Let t(v) be the second derivative of v**4/12 + v**3/2 - v**2 - 4*v. Is t(-7) a multiple of 13?
True
Let f(j) = -j**3 + 6*j**2 - 3*j - 1. Let t be (-144)/(-27) - (-1)/(-3). Does 9 divide f(t)?
True
Suppose 0 = -5*s, 0 = 3*i + i - s - 20. Suppose -20 = 4*v, -y = -i*y + v + 65. Is (-2)/(9/y + -1) a multiple of 5?
True
Suppose -4*d - 48 = -p - 400, -67 = -d - 5*p. Is d a multiple of 21?
False
Let n(c) = -2*c**3 + c**3 - 9 + 9*c + 0*c**3 + 5*c**2. Does 3 divide n(6)?
True
Let i = 4 + -2. Suppose i*u - 20 = -3*z - 4, -2*u - 12 = -4*z. Suppose z = 5*d - 56. Does 6 divide d?
True
Let t = -58 - -61. Is t even?
False
Suppose 4*q - 6*q = -36. Is 18 a factor of q?
True
Let a(z) = -9*z + 2. Is a(-1) a multiple of 8?
False
Let b = -297 - -544. Does 13 divide b?
True
Suppose 180 = 2*c - 7*c. Let s = 2 - c. Is 18 a factor of s?
False
Suppose 16 - 6 = 2*s. Suppose -3*r + 3*a + 151 = 5*a, a + 256 = s*r. Is r a multiple of 17?
True
Let w(p) = -p**3 - p**2 + 8. Let h be (-2)/((-9)/(-6) - 2). Suppose -j + h*f + 8 = 0, -2*j + 4 = -f - f. Does 4 divide w(j)?
True
Let b be -1 + 1/((-1)/(-3)). Suppose -5*z - b*d + 5*d + 352 = 0, 292 = 4*z - 5*d. Does 15 divide z?
False
Suppose 3*a + 5 = 2*c - 2, 4*c + 31 = -3*a. Let g = 33 - c. Is 12 a factor of g?
False
Let n = 164 - 74. Is n a multiple of 15?
True
Let q = -5 - -5. Suppose -n - 4*o + 1 = q, 130 = 4*n - 2*o + 36. Is 10 a factor of n?
False
Let h(d) = -d**2 + 10*d - 7. Let q be h(5). Let z = q - 2. Suppose 0*w - z = -w. Is w a multiple of 16?
True
Suppose 2*n - n + 13 = 0. Let m be 2/(-6) + n/(-3). Suppose -s - s - 5*z = -56, -m*s - 4*z = -100. Is 8 a factor of s?
False
Let q(w) be the third derivative of 3*w**4/8 - w**3/2 + 5*w**2. Let x = 3 + 0. Is q(x) a multiple of 12?
True
Is -54*-2*(-3)/(-12) a multiple of 9?
True
Suppose -11*l - 144 = -13*l. Is l a multiple of 9?
True
Let v = -16 + 28. Let j = -5 - 9. Let n = v - j. Is n a multiple of 10?
False
Let u(y) = y**3 - 5*y**2 - y - 1. Let z be u(6). Suppose 2*c - 2*n + 12 = 0, 0*c + 4*n = 3*c + 22. Let w = z + c. Does 20 divide w?
False
Let t be 30/12*6/5. Suppose -f = -3, -22 = t*b - 4*b - 5*f. Is 4 a factor of b?
False
Let d(a) = 5*a**2 + 7*a + 2. Does 25 divide d(-5)?
False
Suppose -j - y = -5*j + 365, 0 = -4*j - 5*y + 383. Is 23 a factor of j?
True
Suppose 2*r - 3*q + 24 = 102, -82 = -2*r + 4*q. Let n = 62 - r. Is n a multiple of 18?
False
Suppose 2*j - 2*u + 8 = -7*u, 22 = j - 4*u. Is (-16)/j*54/(-4) a multiple of 10?
False
Let q(p) = -16*p - 2. Let d be q(-3). Suppose 5*s - 66 = -l, 2*s - 5*s + d = -l. Is s a multiple of 10?
False
Let r = -20 + 28. Let i be ((-6)/r)/(4/(-32)). Let t = i - 1. Is t a multiple of 3?
False
Let s(l) = l**2 - 8*l + 3. Let c be s(5). Is 80/(-6)*c/10 a multiple of 11?
False
Let w = -69 - -99. Suppose 3*i = -0*i + w. Does 4 divide i?
False
Let c = -97 + 167. Does 15 divide c?
False
Suppose h + 240 = 4*w - 2*h, 2*w = -h + 120. Is 21 a factor of w?
False
Let k(c) = -88*c**3 + 2*c**2 - 1. Suppose -5*d - w + 5*w + 3 = 0, -5*w - 9 = -d. Let s be k(d). Let v = s - 64. Is 14 a factor of v?
False
Let a be 2*(42/4)/7. Suppose 30 - 6 = a*x. Is x a multiple of 4?
True
Suppose 53 - 185 = 3*v. Is (-2)/((-86)/v - 2) a multiple of 22?
True
Is (-68)/102 - (1 + (-358)/6) a multiple of 15?
False
Suppose 6*x = 2*x + 8. Let a = 15 - 15. Does 12 divide (x - a) + 1*10?
True
Let f(z) = z. Let b(s) = s**2 - s - 6. Let y(h) = -b(h) + 3*f(h). Does 6 divide y(4)?
True
Let d(x) = 2*x**2 - 6*x - 12. Does 19 divide d(7)?
False
Let x = -2 - 4. Let i(o) = -o**3 - 4*o**2 + 8*o + 9. Is i(x) a multiple of 13?
False
Suppose 5*g - 15 = 2*g. Let w be (g*-2)/(4/(-2)). Let n(j) = j + 5. Is n(w) a multiple of 5?
True
Suppose -5*q + 108 = -3*q. Is q a multiple of 9?
True
Let t(w) = -2*w - 1. Let k(z) = -z**3 + 4*z**2 - z + 2. Let f be k(4). Does 3 divide t(f)?
True
Suppose -4*i = f - 28, 0 = 5*i - 4*f - 0*f - 35. Suppose 0 = 3*c - b - 113, -5*b - i = 4*c - 183. Is 13 a factor of c?
True
Suppose 4*u + 5*o - 176 = 0, 216 = 4*u - o - 4*o. Does 16 divide u - 2 - 0 - -2?
False
Let s = 97 + -88. Is 2 a factor of s?
False
Suppose k = -3*l + 8, -2*k = 5 - 3. Suppose -38 - l = -c + 3*h, -c = -4*h - 40. Does 28 divide c?
False
Suppose -5*o = -15*o + 70. Does 3 divide o?
False
Suppose 5*r - 339 = 2*r. Suppose -72 - 78 = -3*o. Let q = r - o. Is 17 a factor of q?
False
Let d(l) = -9*l + 0*l - 3*l - 3*l. Is d(-2) a multiple of 17?
False
Is (-30)/(-25)*(-15)/(-6) a multiple of 3?
True
Suppose 0 = -3*z + z - 136. Let j = -32 - z. Is 9 a factor of j?
True
Suppose 5*u = 77 + 233. Does 22 divide u?
False
Let i = -20 + 22. Let m(z) = 2 - 5 + 13*z + 1. Is 12 a factor of m(i)?
True
Let t be (-52)/(-6) - (-10)/(-15). Suppose t = y - 4. Is y a multiple of 12?
True
Let s be 1/(2 - (-15)/(-9)). Suppose -k - s = -5. Suppose d = 1, k*x = d + d + 64. Is x a multiple of 14?
False
Does 12 divide (-2)/7 + 12144/168?
True
Suppose -3*o = -2*o - 3. Suppose 6 = o*y - 18. Suppose -5*k - y = -2*b, 34 = -0*b + b + 5*k. Does 4 divide b?
False
Suppose 5*y - u - 930 = 0, 3*y - 487 = -4*u + 48. Does 37 divide y?
True
Does 21 divide 60 - (3 - (3 + 1))?
False
Let a = -2 - -5. Suppose -a*m + 52 = -32. Let j = m - 15. Is 13 a factor of j?
True
Suppose 0 = h - 49 - 53. Is 17 a factor of h?
True
Let b be ((-27)/3 - -4)*-33. Suppose 4*k + k - b = -z, -2*k + z = -73. Is k a multiple of 9?
False
Let s = 20 + -11. Suppose -4*h + s*h = 110. Is h a multiple of 11?
True
Suppose 27*g = 26*g + 27. Is g a multiple of 2?
False
Let z be 3/12 + 231/4. Suppose 3*b - z = -4*k + 12, 10 = -2*k. Is 15 a factor of b?
True
Let g(o) = 7*o**2 + 3. Let k be g(-3). Let m = 35 - -3. Let w = k - m. Is 14 a factor of w?
True
Let k(o) = o**2 - 11*o + 4. Let w be k(10). Let h(y) = -y**3 - 4*y**2 + 6*y - 8. Is h(w) a multiple of 14?
True
Is (21/4)/(-3 - 13/(-4)) a multiple of 21?
True
Let n = -33 + 61. Let f = 43 - n. Is f a multiple of 15?
True
Suppose 7*s = 3*s + 12. Suppose -5*w = -s*b + 69, 4*b + b - 125 = 5*w. Does 14 divide b?
True
Let g(b) = b**2 - 7*b + 5. Let w be g(4). Let v be w/(-4) - 1/(-4). Suppose 0 = 4*d - v - 34. Is 9 a factor of d?
True
Suppose 0 = i + 3*u - 13 - 5, 3*u = 2*i. Let y(o) = o**3 - 6*o**2 + 8*o - 9. Does 13 divide y(i)?
True
Let u = 19 - 11. Suppose -5*w + 64 = 3*d, -4*w = 3*d - 67 + u. Does 6 divide d?
False
Let u(m) = -m**3 + 2*m**2 + 4*m + 1. Suppose p = 4, -2 = 4*y - 4*p + 2. Is 2 a factor of u(y)?
True
Let o be 4/18 + 5215/63. Suppose 167 = 5*i - o. Is 22 a factor of i?
False
Let x(y) = -y + 1. Let j be x(-3). Let z be 3/2 + (-6)/j. Suppose -6*q + 3*q + 18 = z. Is 2 a factor of q?
True
Suppose 4*z = -46 + 182. Does 2 divide z?
True
Let y = 4 - 1. Suppose -u = 2*u - y. Is u*(5 - 3) - -59 a multiple of 21?
False
Let b be 6/(2 + -5) + 3. Suppose 4*d - 8 - b = -3*s, 3*s - 9 = -5*d. Is 3 a factor of s?
True
Let x be (5/(-10))/(1/(-52)). Suppose -c = -4*m - x, -3*m = 5*c + m - 106. Does 11 divide c?
True
Suppose -h = -0*h - 4*k, 0 = h - 2*k. Is 8/(-20)*(-30 - h) a multiple of 3?
True
Is (-15)/(257/65 - 4) a multiple of 48?
False
Let y = 22 + -32. Let m = 18 + y. Is m a multiple of 7?
False
Let o = 16 + -8. Is o a multiple of 6?
False
Suppose -3*u = 13 + 5. Let f = u - -97. Does 11 divide 2/(-6) + f/3?
False
Suppose 1020 = 2*h + 3*h. Suppose 3*b - 140 = -4*c, 0*b + 4*b + c - h = 0. Is 14 a factor of b?
False
Let o(d) be the second derivative of -d**5/20 - 7*d**4/12 -