24. Does 9 divide a?
False
Let k = 19 - -49. Does 17 divide k?
True
Suppose -6 = s - 40. Let t = s + -26. Is 8 a factor of t?
True
Suppose 3*t - 24 = -3*l, -2*t + 2*l = -l + 4. Suppose 2*z = 36 + t. Does 14 divide z?
False
Suppose -53 = 3*p - 4*p. Is 12 a factor of p?
False
Let x = 124 + -110. Is x a multiple of 9?
False
Let z = 4 + -2. Suppose 6*c = 3*c. Suppose 0*a + 5*a + 26 = z*w, -5*a = c. Is w a multiple of 10?
False
Let k = 61 - -1. Does 36 divide k?
False
Is 4 a factor of ((-20)/(-28))/((-5)/(-35))?
False
Suppose -3*t - 4 = -16. Is t/(-5)*-6*5 a multiple of 17?
False
Let p = 25 - 10. Is 7 a factor of p?
False
Suppose 3*d + d = 64. Is 6 a factor of d?
False
Let t(f) = f**3 - 4*f**2 + f - 3. Is t(6) a multiple of 25?
True
Suppose 0 = -2*g - 2 + 4, -2*h + 4*g - 46 = 0. Is 21 a factor of h*(9/3)/(-3)?
True
Suppose -l + 0*l + 66 = 0. Suppose -2*n + l = -10. Is 16 a factor of n?
False
Let a be 7 + 0 - (-3)/3. Does 9 divide ((-36)/a)/((-1)/4)?
True
Is 15 a factor of ((-4092)/(-10) - (-10)/(-50)) + 1?
False
Let i = 27 - 18. Let q(y) = 3 - 3 + 1 + i*y. Is 5 a factor of q(1)?
True
Suppose 2*c - 8 = -0*c. Is c a multiple of 4?
True
Let b = 32 + -12. Suppose 4*c - b - 36 = 0. Does 9 divide c?
False
Suppose 5*m = 2*m + 822. Suppose -5*c = 3*g + 2*g - 290, -5*c + 3*g = -m. Is c a multiple of 20?
False
Let k(o) = 2*o - 3 - 4 - 4*o. Let a be k(-6). Suppose p - 3*s = 9, a*p + s = 2*p + 17. Is 5 a factor of p?
False
Is 11 a factor of ((-18)/8)/(5/(1760/(-12)))?
True
Suppose b - 2*b + 320 = 5*k, 2*k + 2*b = 136. Does 6 divide k?
False
Let t be -3*1*8/(-6). Let h(b) be the third derivative of b**5/60 + b**4/12 - 2*b**3/3 + 7*b**2. Is h(t) a multiple of 20?
True
Suppose -2*n - 2 = -0. Is 51 + (n - (-4)/(-2)) a multiple of 12?
True
Is (10/5)/2*169 a multiple of 35?
False
Let y(h) = h**3 + 3*h**2 - h - 1. Let f be y(-4). Let l = -61 - f. Does 12 divide (5/(-10))/(2/l)?
True
Suppose -n = -3*n + 40. Suppose -2*g - 6 = n. Let h = 27 + g. Is 14 a factor of h?
True
Let t be (-8)/(-24) - (-10)/6. Suppose t*l + 2*o + 2*o = 26, 4*o = -4*l + 60. Does 17 divide l?
True
Let f(p) = -p**3 - p**2 + 4*p + 2. Let w be f(-4). Let j = 93 - w. Is j a multiple of 15?
False
Let y(n) = 3*n + 65. Is 16 a factor of y(-10)?
False
Suppose 2*r - 231 = -r. Does 11 divide r?
True
Let c = -28 - -108. Is c a multiple of 16?
True
Let x(m) = 3*m + 0*m - m - m - 2. Does 2 divide x(5)?
False
Let m(p) = -2*p**3 - 4*p**2 + p. Let l be m(-3). Let h = 16 - 8. Let u = l - h. Is u a multiple of 2?
False
Let m(j) = j**2 + 5*j - 6. Let s be m(-6). Suppose -4*p + p + 120 = s. Is p a multiple of 20?
True
Let r = 5 - 10. Let a(g) = 2*g**2 + 7*g - 1. Does 5 divide a(r)?
False
Suppose d = 4*d + 123. Is d/(-5) + (-2)/10 a multiple of 8?
True
Let v = -6 - -18. Let f(m) = -m + 8. Let z be f(v). Does 21 divide (-195)/z + 2/8?
False
Suppose -5*q = -2*v - 334, 0 = -5*q - 0*v + 3*v + 336. Does 23 divide q?
False
Let t = 207 - 135. Is 10 a factor of t?
False
Suppose -u - 1 + 25 = 0. Suppose -4*d + u = -40. Does 16 divide d?
True
Let u = 1 + 2. Suppose 0 = u*t + t - 12. Suppose t*x + 5*s + 9 = 4*x, 0 = 2*s - 10. Is x a multiple of 21?
False
Let i be 4 + (0 - 6/3). Suppose 3*u + v - 20 = 0, -3*u + i*u = 2*v - 10. Let s = 11 - u. Does 2 divide s?
False
Suppose j + 2 = -2. Let a(z) = -3*z - 1. Is a(j) a multiple of 11?
True
Let l = -2 + 0. Let x = l - -2. Suppose x = g + g + q - 69, 5*g = -2*q + 170. Does 15 divide g?
False
Suppose 2*i - 23 = 3*g, -i + 8 + 3 = -g. Suppose 3*u - 2 = i. Suppose u*y - 8 - 8 = 0. Is 4 a factor of y?
True
Let o be 355/(-7) + 6/(-21). Let i = -23 - o. Is i a multiple of 10?
False
Suppose 5*i = -3*w + 9, 2*w - w + 4*i - 3 = 0. Suppose -5*d - 4*r - 20 = 0, 0 = 4*d + w*r + 1 + 15. Is d/(-4)*7/1 a multiple of 7?
True
Let k(n) be the first derivative of -n**2/2 + 5*n + 2. Let j be k(0). Is 3 a factor of 28/j + (-2)/(-5)?
True
Let u(y) = -2*y + 19. Let z be u(14). Does 17 divide (-156)/z + (-1)/3?
True
Suppose 2*k - 24 = -2*k. Suppose 3*i - 9 - k = 0. Is 5 a factor of i?
True
Let x be (-18)/54 - (-32)/6. Suppose -x*t - 48 = -4*k + k, k = 5*t + 26. Is 5 a factor of k?
False
Let t = 176 - 126. Does 12 divide t?
False
Suppose 384 = 8*l - 4*l. Does 16 divide l?
True
Suppose 5*m - 2*m - t = 16, 0 = -5*t - 5. Suppose -m*s - 140 - 45 = -4*p, 0 = -4*p + 2*s + 170. Is 13 a factor of p?
False
Suppose -8*h + 875 = -h. Let r(f) = f + 1. Let p be r(4). Is 10 a factor of h/p - 2*-1?
False
Let s = -18 + 168. Let i = s + -82. Is 17 a factor of i?
True
Let m be 6/10 - 52/(-5). Suppose -c + 6 = -m. Does 9 divide c?
False
Let x(d) = 19*d + 1. Does 10 divide x(1)?
True
Let q = 13 + -8. Let y = q + -1. Is (-20)/(2/y*-2) a multiple of 20?
True
Let c be 4/2 - (-9 + -1). Suppose 2*u - c = -2. Suppose u*v - 5 = 10. Is v even?
False
Let z(c) = -c**2 + 18*c + 4. Is z(13) a multiple of 23?
True
Suppose -c = -3*t + 90, -46 = -2*t + 3*c + 14. Is 10 a factor of t?
True
Let t = 14 - 14. Is 35 - t - (2 - 3) a multiple of 12?
True
Let g(s) = -s**3 + 8*s**2 - 5*s + 1. Suppose 5*j = 3*y - 11, -14 = -2*y - 5*j + 10. Does 15 divide g(y)?
True
Let q(u) = 2*u**2 - 4*u - 6. Does 4 divide q(4)?
False
Let p = -62 + 21. Let l = p - -73. Does 16 divide l?
True
Suppose 4*r = 5*v - 51, 6*r - 19 = -5*v + 2*r. Suppose 0 = 5*x, f + 4*x = -0*f + v. Does 3 divide f?
False
Let c be 3/(-2)*(0 - 2). Is 14 a factor of 3/9 + 83/c?
True
Let k(n) = n**3 - 3*n**2 - 13*n + 10. Does 8 divide k(6)?
True
Let m(o) = -12*o + 3. Is 9 a factor of m(-2)?
True
Let c = -24 - -47. Is c a multiple of 17?
False
Suppose 13*o - 8*o - 105 = 0. Is o a multiple of 5?
False
Let h(z) = 19*z**2 + z. Let c be h(1). Let f = c - -8. Is (120/f)/(3/21) a multiple of 15?
True
Suppose u - 1 = 2. Suppose -u*t - t = -348. Suppose t = 4*x + q, x - 8*q - 6 = -3*q. Does 7 divide x?
True
Let f(n) = n**3 + 8*n**2 + 9*n + 12. Does 10 divide f(-6)?
True
Let j(s) = 2*s + 43. Is j(13) a multiple of 34?
False
Let g = 13 - 21. Is ((-18)/g - 2)*20 a multiple of 5?
True
Let u = 12 - 2. Is 3 a factor of u?
False
Suppose 3*i = -x - 3*x - 147, -46 = 2*x - 4*i. Suppose -5*p + 8 = -2. Does 11 divide p/(0 + (-3)/x)?
True
Suppose -g - 5*g + 1500 = 0. Does 24 divide g?
False
Let u = -20 - -56. Is 12 a factor of u?
True
Let r(h) = 19*h**2 - h. Let d be r(3). Let v = d - 70. Suppose 3*x - x - v = 0. Is x a multiple of 18?
False
Let p = 9 - 6. Suppose p - 29 = -s. Does 13 divide s?
True
Suppose 6*y - y = 240. Does 12 divide y?
True
Is ((-12)/(-22))/((-7)/(-77)) a multiple of 3?
True
Suppose 4*n + 38 = 2*i, -n = n + 3*i + 7. Does 13 divide (-77)/(-2) + (-4)/n?
True
Suppose 5*y + 5*i - 51 = 54, 3*y - 5*i = 39. Does 9 divide y?
True
Let h(x) = 47*x - 22. Does 20 divide h(4)?
False
Suppose u + 66 = -u. Suppose -149 = -2*c - 39. Let x = c + u. Does 11 divide x?
True
Let x(g) = -g**3 + 7*g**2 - 5*g + 5. Let p = -5 + 5. Suppose 2*b - 3*b + 6 = p. Is 8 a factor of x(b)?
False
Let q(x) = -x**3 - 11*x**2 - 10*x + 5. Does 2 divide q(-10)?
False
Let j(n) = n**3 - 7*n**2 + 6*n + 3. Let u be j(6). Suppose 82 = 2*r - u*o, 6*r = r + 5*o + 195. Does 14 divide r?
False
Let m = -186 + 291. Is 9 a factor of m?
False
Suppose 3*x = -6, 283 = 4*d + d - 4*x. Suppose -z = -d + 15. Does 20 divide z?
True
Let n be 1*-14 - 5/5. Let j = n + 29. Is j a multiple of 14?
True
Let y(n) = 2*n + 2. Let z be y(-2). Does 2 divide (5/(-15))/(z/18)?
False
Let z(g) = 15*g - 12. Let i(o) = -o**2 + 17*o + 6. Let j be i(17). Is z(j) a multiple of 17?
False
Let k(f) = -f**3 + 7*f**2 + 10*f - 12. Let z(y) = -8*y. Let h be z(-1). Let u be k(h). Suppose r + 4*a = -0*a + 18, u*r - 83 = -5*a. Is r a multiple of 15?
False
Is 38 a factor of 2*(-3 + 2)*-57?
True
Suppose -p = -0*p + 2*l - 84, p - 68 = 2*l. Is 36 a factor of p?
False
Let i be (0 - -1) + (-7)/(-7). Suppose -4*a + 25 = -i*b + 5, -2*b + a = 32. Let r = b - -29. Is r a multiple of 5?
False
Does 14 divide 2980/35 + (-2)/14?
False
Does 14 divide (-4 - (-6)/3)*1 - -58?
True
Suppose 2*b = -0*b + 144. Is b a multiple of 6?
True
Let h be 1/(2/4) - -1. Let s be h + 2/(-2) - -1. Suppose 20 = s*v - 10. Is 5 a factor of v?
True
Let i(b) = 7*b - 2. Is 6 a factor of i(2)?
True
Suppose p = 7*r - 2*r - 1448, 0 = 2*r + 4*p - 588. Is 10 a factor of r?
True
Suppose 5*t - 32 = -c, 18 + 13 = 2*c - t. Suppose -d +