9 a factor of k(a)?
True
Suppose 2*u - v = -3*u + 1077, -5*u = -4*v - 1068. Suppose 6*r - u = -0*r. Is 18 a factor of r?
True
Let p(j) = 3*j - 2. Let t be p(2). Let h(o) = -t*o + 0 - 3*o - 1. Does 6 divide h(-2)?
False
Does 2 divide (-52)/(-9) - (-2)/9?
True
Suppose 4*s = -2*m + 298, -3*m = s - 0*s - 467. Is m a multiple of 45?
False
Suppose -2*a = a + 2*q, -5*a - 3*q = 0. Suppose 1 = -h - 2*s, h - 5*h + s + 14 = a. Suppose -8*d + j + 153 = -h*d, 4*d + 2*j = 114. Is 15 a factor of d?
True
Let t be 26*(8/(-4) + 4). Let i = 1 - 1. Suppose 5*l = 4*r - t, r + 0*l - 2*l - 16 = i. Does 3 divide r?
False
Is (-2)/((-462)/153 - -3) a multiple of 25?
False
Does 5 divide 8/(-2) + 8 - -26?
True
Let g(z) = -3*z**2 + 0*z**2 - 1 - 3*z - z**3 + 0*z**2 + 2*z**3. Let d be g(4). Let x(o) = 3*o**2 - o - 2. Does 11 divide x(d)?
True
Let q = -9 + 19. Suppose -3*l + 61 = q. Is 7 a factor of l?
False
Suppose 3*t + 9 = -0*t. Let c = t - -6. Let m = 25 + c. Does 14 divide m?
True
Let o be (-1 + 1)*5/(-5). Suppose -x + 8 = -r, -x - 3*x + 8 = o. Is 13 a factor of (r/(-4))/((-1)/(-10))?
False
Is (4 + -18)*(-18)/4 a multiple of 28?
False
Suppose -3*b - 7*d + 659 = -2*d, -5*b + 5*d + 1045 = 0. Suppose 0*j = 3*j + b. Let h = -17 - j. Does 22 divide h?
False
Suppose 2*f - 13 = 3*k - 151, -3*k - 3*f + 153 = 0. Is k a multiple of 18?
False
Suppose 5*r = -3*i + 58, 0*i - i + 26 = 5*r. Suppose i = -z + 84. Does 23 divide z?
False
Let a = -7 - -11. Suppose 4*h + 54 = 3*x, a*h + 11 + 29 = 2*x. Let t = x - 4. Is t a multiple of 9?
False
Let a = -9 + 35. Is a a multiple of 5?
False
Let g(u) = -u**3 + 7*u**2 - 10*u - 8. Let l(f) = -f**3 + 6*f**2 - 11*f - 9. Let z(r) = 4*g(r) - 3*l(r). Let h = -13 + 22. Does 13 divide z(h)?
True
Suppose -7 = l - 2*l. Suppose 3*f - 46 = -3*n - 7, -f + 4*n = l. Let t = 27 + f. Is t a multiple of 15?
False
Let z = 16 + -14. Suppose -z*a = -3*a + 69. Is a a multiple of 18?
False
Suppose -4*q - 4*m = q - 17, -5*q - 2*m + 21 = 0. Let r = 43 - q. Is r a multiple of 19?
True
Suppose -285 = -4*x - 3*a, 0 = -3*x - x - a + 295. Suppose x = -4*v - 129. Let y = -16 - v. Is y a multiple of 15?
False
Let f be (-172)/14 - 2/(-7). Is 4/6 - 52/f a multiple of 5?
True
Let y(f) = -6*f**2 + 3*f - 1. Let l be y(1). Is 11 a factor of ((-87)/3 + l)/(-1)?
True
Let d = -79 - -278. Is d a multiple of 12?
False
Let u = -84 - -27. Let a = u - -81. Is a a multiple of 11?
False
Let o(x) = 3*x + 5. Let u(y) = -9*y - 15. Let z(q) = -11*o(q) - 4*u(q). Is 13 a factor of z(7)?
True
Let i(m) = -m**3 - 4*m**2 - m. Let c be i(-4). Suppose c*w - 14 = 326. Does 22 divide w?
False
Let y be (-1)/(-4) + (-81)/(-12). Suppose 2*w - 69 = -2*c - y, 4*c - 154 = -5*w. Does 15 divide w?
True
Let o(h) = h - 1. Let v be o(-2). Let b be (2 + -23)/(1/v). Suppose 0 = 5*w + 3 - b. Is w a multiple of 6?
True
Let k(s) = s**2 + s - 2. Let x be k(2). Does 13 divide (14 - 1) + x + -4?
True
Suppose -z - 5*z = 0. Suppose z = b - 2*q - 3*q + 17, -q = -2*b + 11. Does 3 divide b?
False
Let u(w) = 84*w - 4. Is u(1) a multiple of 10?
True
Let u(w) be the second derivative of 5*w**4/12 + 3*w**3/2 - 9*w**2/2 - 2*w. Let a be u(6). Suppose 2*o + a = 6*f - f, o + 90 = 2*f. Is 15 a factor of f?
True
Let c(t) = -t**2 + 4*t - 3. Let d be c(4). Let z = 10 - d. Does 13 divide z?
True
Let c(t) = 42*t**2 + 2*t + 2. Does 39 divide c(-1)?
False
Let h be (-36)/16 - 2/(-8). Is (2/h)/(9/(-135)) a multiple of 15?
True
Suppose -80 = -p - 0*p. Suppose p = 2*q - 0*q. Does 14 divide q?
False
Suppose -w - 3*z = -2*w + 3, 0 = -3*w - z - 1. Suppose w = -3*a + 67 - 16. Is 10 a factor of a?
False
Suppose 0 = -2*r + 5*r + 3*w - 6, 0 = -5*r - 3*w + 10. Let x = r + -1. Is 4 a factor of (44/16)/(x/4)?
False
Let d(v) = v**3 + 3*v**2 - 6*v - 3. Let n be d(-4). Suppose 0 = -n*s - 0*s + 115. Is s a multiple of 13?
False
Suppose 0 = 2*w + 2 - 0. Let a = w + 50. Is 18 a factor of a?
False
Suppose 5*l + 2*r - 74 - 38 = 0, 4*l - 80 = -4*r. Suppose -z + 3*n + l = -n, -2*z + 5*n + 39 = 0. Does 12 divide z?
True
Let n(m) = 2*m - 12. Let p be (2/3)/(2/24). Let w be n(p). Suppose 0 = -y + w + 8. Does 5 divide y?
False
Let n(j) = j**2 - 3 + 5 + 2*j - 2*j**2 + 2*j**2. Let i be n(-3). Let k = i + 8. Is k a multiple of 10?
False
Let k(h) = 10*h - 8 - 2*h + 6. Let t be k(-5). Does 14 divide (-2)/(-7) - 576/t?
True
Suppose -2*d - 131 = -39. Let k = -25 - d. Is 10 a factor of k?
False
Let p be (1/(-3))/((-2)/24). Suppose -p*s + 4*t + t + 71 = 0, -5*t = s + 1. Is 7 a factor of s?
True
Let k(r) = 3*r**2 + 6*r. Is 9 a factor of k(-3)?
True
Let p = 62 + -42. Is (p/(-12))/(2/(-24)) a multiple of 7?
False
Let q be (-10)/(-2) - (5 + -2). Suppose 35 + 31 = q*j. Is j a multiple of 11?
True
Suppose 6*u = 12*u - 48. Is 8 a factor of u?
True
Let p be (2/(-1))/((-4)/18). Suppose -n + p = -16. Does 15 divide n?
False
Let f(i) be the second derivative of i**3/2 - 2*i**2 + i. Does 5 divide f(4)?
False
Let i = 0 - 0. Suppose 0 = 2*z - 24 - i. Is z a multiple of 9?
False
Suppose 2*s - 96 = -s. Suppose -s = 7*y - 3*y. Does 8 divide (-130)/y - 1/4?
True
Let i be (-1 - 8)*(-14)/(-21). Let w(u) = u**2 - u + 4. Is 9 a factor of w(i)?
False
Suppose 3*c = 4*b - 450, 0 = 8*c - 3*c - 10. Does 19 divide b?
True
Let j = 14 + -9. Suppose j*o - 3*k - 4 = 61, 0 = -o + 4*k + 30. Does 7 divide o?
False
Is 36 a factor of 144 - (1 - 0)/2*0?
True
Is (-1)/(3/(-34))*(-228)/(-19) a multiple of 14?
False
Let m = -2 - -6. Suppose -m*g = -g - 18. Suppose -g = -2*t + 2. Does 2 divide t?
True
Let s(f) = -f**2 + 14*f - 11. Let i be s(13). Suppose 7*m - 2*m + 10 = w, w + i*m = 3. Does 5 divide w?
True
Let y = 222 + -87. Suppose -2*t + 7*t = y. Is t a multiple of 21?
False
Let w = -64 - -107. Is 10 a factor of w?
False
Let a = 299 - 174. Is (7/(-5) + 2)*a a multiple of 12?
False
Let s = 0 + 4. Suppose -2*i = 3*x - 7*x - 94, -5*i - s*x = -221. Is 15 a factor of i?
True
Let p(i) = -i**3 + 2. Let f be p(0). Suppose -h + 18 = -4. Suppose f*u = -8 + h. Is u a multiple of 3?
False
Suppose -4*h + 27 - 6 = 3*a, -h - 3*a + 3 = 0. Let b(u) = u - 1. Let t(g) = g + 1. Let p(n) = 4*b(n) - 2*t(n). Does 3 divide p(h)?
True
Let c be (-3 - -1)/((-2)/5). Suppose 2*b - 4*m - c - 7 = 0, 0 = -5*m - 10. Suppose 4*r = k - 35, 5*k - 3*r = -b*r + 80. Does 8 divide k?
False
Let d(a) = -4*a - 3*a + 2*a. Suppose 30 = y - 6*y. Is 15 a factor of d(y)?
True
Suppose 2*h + 743 - 151 = 0. Is h/(-24) + (-1)/3 a multiple of 5?
False
Let s = 47 - -25. Is 24 a factor of s?
True
Let k be (-2)/5 - (-7)/5. Is k/(-5) + 423/15 a multiple of 9?
False
Let y = -96 - -138. Is y a multiple of 14?
True
Let n = -9 - -21. Suppose 2*w = -r - 0 + n, -4*w = -5*r + 88. Let j = r + 9. Is 16 a factor of j?
False
Let w(j) = j + 13. Let t be w(-9). Is 935/45 + t/18 a multiple of 6?
False
Let s be -1*((2 - -1) + -2). Let h(o) = -o**2. Let c(u) = 6*u**2 + 10*u - 5. Let d(i) = s*c(i) - 5*h(i). Is 4 a factor of d(-9)?
False
Is 3 a factor of (-144)/(-14) - 1 - 20/70?
True
Let q = -9 - -14. Is 2 a factor of q?
False
Let t(h) = -h**2 - 9*h - 7. Is t(-7) a multiple of 2?
False
Let g(r) = -2*r**2 + 7*r + 41. Let u(n) = 3*n**2 - 11*n - 61. Let h(m) = -8*g(m) - 5*u(m). Let d be h(0). Let f = -16 - d. Is f a multiple of 7?
True
Let f(d) = -d**2 - 2*d**2 + 7 + d**2 - 6*d**3 + 7*d. Let c(j) = -7*j**3 - 3*j**2 + 7*j + 8. Let z(i) = 5*c(i) - 6*f(i). Is z(5) a multiple of 13?
True
Let f(p) = -p**3 + 2*p**2 + 2*p - 3. Let u be f(3). Let a = u - -10. Suppose -2*g + a*g = 48. Is 12 a factor of g?
True
Let n = 1 + 1. Suppose -n = w + w. Does 3 divide ((-4)/6)/(w/15)?
False
Let l = 198 + -141. Does 13 divide l?
False
Let j = 8 + -5. Let v(x) = 0 + 7 - 6*x**2 + 1 - x**j - 7*x + 14*x**2. Is v(6) a multiple of 11?
False
Suppose 336 = 3*d - 2*g + 3*g, -2*g = 0. Is d a multiple of 8?
True
Let y(s) = s**3 + 2*s**2 - 3*s + 1. Let m be y(2). Does 11 divide -2*(-2)/(4/m)?
True
Let i = 148 - 105. Is 43 a factor of i?
True
Let k(i) be the second derivative of -i**3/6 + 63*i**2/2 - 2*i. Let v be k(0). Suppose -5*m + v = 18. Is 3 a factor of m?
True
Let g = 17 + -12. Let u be (-2)/(1 + (-7)/g). Suppose 3*o - 4*c - 33 = 0, -8 = -u*o + 5*c + 52. Is o a multiple of 15?
True
Let y(t) = -t + 22. Let s(k) = -1. Let a(c) = 6*s(c) + y(c). Let j be a(13). Suppose 67 + 53 = j*r. Is 18 a factor of r?
False
Let s(p)