 i a multiple of 9?
False
Suppose 0 = 6*q - q - 5*s - 435, q = 2*s + 90. Does 12 divide q?
True
Suppose 4 - 3 = 2*m - i, 5*m + 4*i = -4. Let y = -24 - -26. Suppose -4*o + 20 = m, -4*g - y*o - o = -59. Is 5 a factor of g?
False
Is (18/9 + -69)/(-1*1) a multiple of 8?
False
Suppose -5*g = 3*a + a + 28, -a - 4*g - 18 = 0. Let k = -2 - a. Is 10 a factor of (k - 1)*-23 - 1?
False
Let b(t) = -t**2 - 16*t - 7. Suppose 0 = 3*j - 0*j + 45. Is 8 a factor of b(j)?
True
Let c(n) = n**3 - n**2 - 7*n + 9. Is 21 a factor of c(4)?
False
Let g(d) = 4*d - 6. Let k(i) = -1. Let q(y) = -2*g(y) + 6*k(y). Let x be q(6). Let u = 64 + x. Is 12 a factor of u?
False
Suppose 0 = 3*x - 7*x + 108. Suppose 3*m = -3*r - 57, m + 4*r = -4*m - 95. Let i = m + x. Is i a multiple of 8?
True
Suppose 5*k = 180 - 30. Does 10 divide k?
True
Is 13 a factor of 0/6 - -34*(-26)/(-4)?
True
Let f = -61 + 86. Is f a multiple of 11?
False
Let g = 7 + 14. Suppose 4*k - 5*k = -g. Does 16 divide k?
False
Let c(m) be the second derivative of m**5/20 - m**3/6 + 4*m. Let y be c(2). Let k = 21 - y. Is 4 a factor of k?
False
Suppose -2*a + 111 = a. Suppose 0 = v - 5*l + 21, -4*l - 1 = 4*v - a. Suppose v*q = 22 + 14. Does 8 divide q?
False
Let r = 0 - -3. Suppose -f + r*m + 36 = -3*f, 0 = m - 2. Let y = -12 - f. Is y a multiple of 7?
False
Suppose 0*y + 120 = 4*y. Is y a multiple of 15?
True
Let h(m) be the third derivative of m**2 + 0 - 3/2*m**3 - 1/60*m**5 - 13/24*m**4 + 0*m. Is 12 a factor of h(-8)?
False
Let b(o) = 9*o**3 - 2*o**2 - o - 2. Is b(2) a multiple of 20?
True
Let u(c) = 3*c + 2. Let v be u(-4). Let f = v - -25. Suppose -f + 3 = -3*i. Is i a multiple of 4?
True
Let g(t) be the first derivative of t**2/2 + 5*t + 3. Is g(9) a multiple of 7?
True
Suppose m - 18 = 8. Let o = m - 48. Is 9 a factor of o/4*(-2 + 0)?
False
Let c = -19 + 54. Does 3 divide c?
False
Let t = -134 - -234. Suppose -t = -4*a - 12. Is 6 a factor of a?
False
Let h(v) = 65*v**2 + 3*v. Is h(1) a multiple of 26?
False
Let d be ((-45)/(-4))/(1/4). Is 11 a factor of 837/d - (-2)/5?
False
Let t be (-24 + 4)*(-1)/2. Is 210/(-9)*(-36)/t a multiple of 21?
True
Let r(a) = a**2 + 3. Let o(b) = b**3 + 4*b**2 - 7*b - 3. Let n = -2 - 3. Let x be o(n). Does 23 divide r(x)?
False
Suppose -5*v + 36 = -29. Does 3 divide v?
False
Suppose 0*y + 80 = y - 2*z, -y = -3*z - 75. Suppose 3*i = 8*i - y. Is 9 a factor of i?
True
Let l(y) = 18*y**2 + y. Is l(-2) a multiple of 10?
True
Suppose -l + 3*p = -130, 4*l = l + p + 382. Let g(w) = 11*w - 3. Let f be g(-7). Let r = l + f. Is 16 a factor of r?
False
Let i = 21 + 7. Is 15 a factor of i?
False
Let g(x) be the first derivative of -x**3/3 - x**2/2 + 6*x + 3. Let r(f) = 2*f**2 + 2*f - 13. Let z(v) = -9*g(v) - 4*r(v). Does 2 divide z(-3)?
True
Suppose -5*r - 3*d + 133 = -0*d, 107 = 4*r + 3*d. Suppose 0 = -5*l + 4*l + r. Does 13 divide l?
True
Let f(u) = -2*u**3 - u**2 + 7*u - 4. Let s(r) = -2*r**3 - r**2 + 8*r - 5. Let i(l) = -6*f(l) + 5*s(l). Is 5 a factor of i(2)?
True
Suppose 23 + 177 = 5*x. Does 16 divide x?
False
Let s(v) = -v**3 + 7*v**2 + 7*v + 6. Let p be s(8). Let q be p + 1*(2 - -4). Suppose -5*l + q*l = -4. Is l even?
True
Suppose 3 = 11*m - 30. Is 3 a factor of m?
True
Let h(z) = -z**2 - 4*z - 3. Let x be h(-3). Suppose x*m - 30 = -5*m. Is m a multiple of 2?
True
Is (-3 + 1)/((-2)/83) a multiple of 13?
False
Suppose 0 = -3*b + 6*b - 9. Suppose -44 = -5*m - 2*d + 203, 0 = b*m - 3*d - 165. Does 21 divide m?
False
Let g = -1 - -9. Is -70*-3*g/60 a multiple of 18?
False
Let k = -26 + 49. Let z = k + -15. Let j = z - 5. Does 3 divide j?
True
Let z = -3 - -1. Let m = 6 + z. Is 2 a factor of m?
True
Let o = -133 - -241. Suppose 0*c = 4*c - o. Suppose -2*z + c = 1. Is z a multiple of 13?
True
Suppose 78 - 654 = -4*k. Is k a multiple of 12?
True
Let v(m) = m**3 - 7*m**2 + 8*m - 2. Let f be v(6). Let r = f + -14. Let z = 7 + r. Is z a multiple of 3?
True
Is (46*1)/2 - (-24 + 26) a multiple of 7?
True
Let g be 4/(-18) + 8/36. Suppose -16 = -4*r - 6*l + 2*l, -r + 2*l + 13 = g. Is 4 a factor of r?
False
Let w(k) be the second derivative of -2*k + 0 - 1/2*k**2 - 1/3*k**3 + 7/12*k**4. Is w(-2) a multiple of 9?
False
Is 106 + (0/3 - 1) a multiple of 9?
False
Let y be -4*(-1)/4 - 5. Let d = 20 + y. Is d a multiple of 11?
False
Let a = 2 + -2. Is 35 a factor of (1 - a)/((-3)/(-210))?
True
Does 16 divide (256/(-6))/(8/(-60))?
True
Suppose 2*z = -z + 51. Suppose -2*l + z = -27. Suppose -u - 4*f + l = 0, 5*f = 4*u + f - 148. Does 15 divide u?
False
Let d = -43 - -58. Is d a multiple of 6?
False
Suppose -1773 = -12*q + 243. Is 24 a factor of q?
True
Let u(j) = 8*j**2 - 8*j + 12. Does 15 divide u(5)?
False
Let a(f) = -f**3 + 5*f**2 + 10*f - 8. Let v be a(6). Suppose y = -y + v. Is 5 a factor of y?
False
Is (0 + -2)/((-2)/10) a multiple of 4?
False
Is 19 a factor of ((-2)/3)/((-18)/2052)?
True
Let w(q) = -q**3 - 4*q**2 - 2*q - 6. Let m be w(-4). Suppose -m*c + 77 = 1. Is 15 a factor of c?
False
Is 19/3*1/(3/9) a multiple of 13?
False
Let c = -15 - -24. Is c a multiple of 4?
False
Suppose 0*x = -3*x - 33. Let c = x - -21. Suppose -l + 4*j = 2*l, l + 2*j - c = 0. Is l a multiple of 2?
True
Suppose 0*b = 3*b + 9. Let a be 26 + b*6/(-9). Let c = a + -11. Does 7 divide c?
False
Suppose w - 13 + 5 = 0. Suppose w = 3*y - 7. Suppose 2*p - y*p - b + 72 = 0, 5*b + 120 = 5*p. Does 12 divide p?
True
Suppose -172 + 732 = 5*y. Suppose -a - 3*a - 300 = -4*s, -a - 81 = 5*s. Let h = a + y. Is h a multiple of 18?
True
Suppose f - i - 589 = -4*f, -3*f + 352 = -2*i. Is 10 a factor of f?
False
Let m = 11 - -34. Suppose m = 3*j + 2*j. Suppose 55 = 4*q - j. Does 15 divide q?
False
Let f(s) = 13*s - 1 + 0 - 1. Is 10 a factor of f(4)?
True
Let f(h) = -103*h + 1. Does 19 divide f(-2)?
False
Let j(i) = 9*i + 5. Let l be j(5). Let f = l + 16. Is 22 a factor of f?
True
Suppose -5*w + 167 = t - 42, -5*w - 5*t + 205 = 0. Does 14 divide w?
True
Suppose -16*w = -1730 - 446. Is w a multiple of 17?
True
Suppose b - 16 = -4*b - 2*j, b - j + 1 = 0. Suppose 0 = 5*f - 2*p - 68, p - 59 = -4*f - b*p. Does 9 divide f?
False
Suppose -5*a + 49 = -451. Suppose -3*q - 2*q + a = 0. Does 10 divide q?
True
Suppose h - 3*j + 8 = 49, 0 = -2*h + 2*j + 82. Is 7 a factor of h?
False
Suppose 0 = -3*x + 3 + 3. Suppose 0 = -x*h - 9 - 51. Let c = -20 - h. Is c a multiple of 7?
False
Let y(c) = 38*c**2 - 2*c - 1. Let t be y(-1). Let m = t - 22. Is 6 a factor of m?
False
Suppose 4*a = 3*g, -2*a + 5*g = 2*a. Suppose 4*y = -4*q + 36 + 48, a = y + 4*q - 36. Does 8 divide y?
True
Let r(y) = -y + y**3 + 3*y**3 - 3*y**3 + 25. Let o be r(0). Does 11 divide -4 + 6 + o/1?
False
Let b be (-10)/(-5) + (1 - 4). Let s be (-22)/((-1)/b*-2). Suppose -33 = -4*l + s. Does 11 divide l?
True
Suppose 0 = -4*i + 2*i + 16. Is 16 a factor of (i/10)/((-2)/(-45))?
False
Let k(g) = -g**2 + 7*g + 5. Let c be k(7). Suppose d + 3*s - c*s - 7 = 0, 4*d - 2*s - 22 = 0. Is 5 a factor of d?
True
Suppose 3*a - 6 = 75. Suppose 0 = 4*w - 109 - a. Does 17 divide w?
True
Suppose -n + 2*n + 145 = 5*d, n = -3*d + 95. Is 6 a factor of d?
True
Let m = 25 - 22. Suppose -7*w + 36 = -m*w. Is w a multiple of 9?
True
Suppose 6*l - l + 20 = 0. Let k be (-2)/(-9) + l/18. Suppose t - s = 9, k = -3*t + 4*s - 2 + 29. Is 9 a factor of t?
True
Suppose 2*q - q - 2*w = 266, 0 = -4*q + 5*w + 1061. Is 33 a factor of q?
True
Suppose -2*d - 6*z + z + 15 = 0, -10 = -d - 5*z. Suppose 0 = b + d, 4*b + 390 = 5*y + b. Suppose -4*n = -2*g + 80, -2*g + y = -0*g - 3*n. Does 11 divide g?
False
Let d = -1 - -24. Let r = d - 2. Is 9 a factor of r?
False
Let v = 430 - 145. Is v a multiple of 15?
True
Let b = 72 + 94. Is 31 a factor of b?
False
Let k = -3 + 5. Is ((-9)/6 - k)*-2 even?
False
Let n = -1 - -4. Suppose 5*c - 149 = 121. Does 3 divide (n/(-9))/((-2)/c)?
True
Let f(c) = c + 10. Let h be f(-5). Let n be h*(3 + -2) + -3. Suppose -13 - 13 = -n*k. Is 4 a factor of k?
False
Does 31 divide ((-20)/(-15))/((-3)/(-153))?
False
Suppose 2*d = g + 146, 4*d - 284 = -4*g + 2*g. Does 18 divide d?
True
Suppose 18 = -3*a + 5*a. Does 3 divide a?
True
Let c be 0 - 33/3 - -3. Let k = c - -19. Suppose -2*n - k = -67. Is n a multiple of 14?
True
Suppose 2*g - 125 = 2*h + 17, -3*h + 270 = 4*g. Let s = -37 + g. Is s a multiple of 16?
True
Suppose -2