9. Is c a multiple of 15?
True
Let m(y) = y**2 - 10*y + 1. Let f(o) = o**2 - 5*o + 1. Let n(j) = 7*f(j) - 4*m(j). Is n(-3) a multiple of 5?
True
Let i = -12 + 41. Suppose -11 = -3*q - 2. Suppose -2*c = -q*c + i. Is c a multiple of 13?
False
Is (-6)/(12/(-10))*3 a multiple of 15?
True
Let p(m) = 2*m**2 - 20*m - 10. Let i be p(14). Is 12/i - 916/(-17) a multiple of 27?
True
Let r(z) = -2*z**2 - 8*z + 1. Let s be r(-7). Suppose -5*m - 305 = -0*m. Let c = s - m. Is 17 a factor of c?
False
Let s = -26 + -1. Let q = s - -43. Suppose -4*g + 4 = -q. Is 3 a factor of g?
False
Suppose 0*m + r + 12 = 3*m, 4*m - 2*r - 16 = 0. Suppose p - m = 5. Is 4 a factor of p?
False
Let v = -10 + 24. Does 7 divide v?
True
Let v(w) = w**3 - 3*w**2 + w - 2. Let d be v(3). Does 5 divide 9/((-3)/d) + 8?
True
Let b(s) = 4*s**2 - 2*s - 1. Let q be b(-1). Let l(y) = 8*y - y - y**3 - q*y**2 + 9 + 3*y. Does 16 divide l(-7)?
False
Suppose 2*o = -3*n + 31, -6*o + 2*o - 4 = 0. Let i = 20 - n. Is 3 a factor of i?
True
Let x = -10 - -19. Let p = x - 6. Is 2 a factor of p?
False
Suppose 12 = 2*y - 20. Suppose -4*m + y = 2*w, 0 = 4*m + 4*w - 8 - 8. Is 2 a factor of m?
True
Let b be 1 - (-36)/3 - 0. Let g = b + -2. Suppose 3*p - m = 8 + 25, p - g = -5*m. Does 7 divide p?
False
Let p be -3*(-21 + (-2 - -3)). Suppose -3*c + p = 2*c. Is 10 a factor of c?
False
Let a = 113 + -53. Is 20 a factor of a?
True
Let v = 193 + -73. Is v a multiple of 5?
True
Suppose 0*n = 3*n - 636. Is n a multiple of 14?
False
Let b = 136 - 88. Is b a multiple of 12?
True
Does 12 divide (-636)/(-15) + (-12)/30?
False
Suppose -5*g - a + 110 = -49, -4*g + 4*a + 108 = 0. Let v(f) = 2*f - 4. Let d be v(4). Suppose d + 8 = 3*w - 3*b, 4*w - b = g. Is 9 a factor of w?
True
Suppose -q - 4 = -3*q. Suppose 5*p = -q*m + 11, 4*p - 4 - 6 = -2*m. Suppose -2*u - m*u = -40. Is 3 a factor of u?
False
Let u(q) = 2*q - 14. Let s be u(9). Suppose -s*r + 34 = -98. Does 8 divide r?
False
Let c(d) = d + 4. Let t be 0*(0/1 - -1). Let i be c(t). Suppose -2*u = -7*u - b + 58, -i*u - b = -46. Is 6 a factor of u?
True
Let h(o) = 5*o - 1. Let b be h(-2). Let a be 189/11 - (-2)/b. Is 15 a factor of 1*a + (1 - 3)?
True
Suppose 4*q + 5*w = 51, 13 = q + 5*w - 4*w. Is 9 a factor of q?
False
Suppose 32 + 2 = 2*t. Is 10 a factor of t?
False
Let f(p) = p**3 - 3*p**2 - 7*p + 6. Let h be f(5). Does 13 divide h + (2/1 - 4)?
False
Let f(p) = -13*p + 1. Let k be f(-1). Let r = 53 - k. Is r a multiple of 13?
True
Suppose -2*m - 293 = -5*n - 14, -4*n + m = -222. Suppose -j = 4*j + 85. Let h = j + n. Does 16 divide h?
False
Suppose -4*n - 4 - 1 = l, -5*l - 2 = -3*n. Let j(g) = 31*g**2 + g. Is j(l) a multiple of 10?
True
Suppose 0 = -k + 4*k + 6. Let q(j) = 14*j**2 + 3*j. Does 19 divide q(k)?
False
Suppose 0*l - 700 = -4*l. Suppose 5*d + 177 = 4*q - 0*q, 5*q + 3*d = l. Does 19 divide q?
True
Let i = 57 + -15. Does 11 divide i?
False
Let u be 6*(-4)/(-8) - 4. Let n(q) = 8*q**2 - 2*q - 1. Does 9 divide n(u)?
True
Suppose 0 = 5*w - 0*x + 3*x - 279, 4*x = -4*w + 228. Is 15 a factor of w?
False
Let u(s) = 765*s**2 - 2*s - 2. Let v be u(-1). Is 13 a factor of 10/3*v/34?
False
Let h(i) = -i**2 + 3*i. Let z be h(3). Suppose x = -5*j - 16, 3*x = -3*j - z*x. Does 17 divide (-4)/(-8) - 182/j?
False
Let r(x) = 4*x + 4. Let i be 6 + 0 - (-6)/3. Is r(i) a multiple of 12?
True
Is 3 a factor of -2*(-15)/(-20)*-2?
True
Let o be (33/12)/(1/(-68)). Let d = -114 - o. Is 26 a factor of d?
False
Let g be 2/(-7) + 148/28. Is g*-8*(-9)/30 a multiple of 4?
True
Let i(q) = 13*q**2 - q. Let l(u) = u**2 - 7*u - 7. Let h be l(8). Is i(h) a multiple of 6?
True
Let c be ((-6)/(-4))/(9/12). Does 9 divide 1*12 + -4 + c?
False
Is 11 a factor of -3 + (-7)/((-7)/134)?
False
Let q(d) = -3*d + 4. Let i be q(-4). Let p(y) = -y**3 - 16*y - y**2 + 14 + i*y. Does 14 divide p(0)?
True
Is 8 a factor of ((-15)/(-10))/(1/18)?
False
Suppose -3*z + 490 - 1 = -4*w, -4*w - 483 = -z. Let x = w + 180. Is x a multiple of 18?
False
Suppose -3*m + 108 = -3*k, 30 = 2*m - m + 5*k. Let i = m - 5. Suppose 0 = 5*f - i - 20. Does 10 divide f?
True
Suppose 0 = 5*v - 4*b - 112, 2*v - 3*v = 4*b - 8. Let f = 4 - 13. Let k = f + v. Is k a multiple of 11?
True
Let u(c) = 20*c**2 - 3*c + 1. Does 15 divide u(2)?
True
Suppose h = -4*h + 180. Let j = 4 + h. Is 20 a factor of j?
True
Suppose -5*c + 62 = u, -u = c + 3*c - 58. Suppose -2*l - u = -5*b, 0 = -0*b + 2*b - 5*l - 21. Is b a multiple of 3?
False
Let i be 34/(0 - 2/(-1)). Let k = 45 - i. Does 15 divide k?
False
Suppose -76 = 7*g - 3*g. Let r = -7 - g. Is 8 a factor of (-29)/(-2) - r/(-8)?
True
Let n be 2/6 + (-200)/(-30). Suppose n*d = 79 + 61. Is 5 a factor of d?
True
Let c(i) = 40*i**2. Let d = 12 - 11. Is c(d) a multiple of 20?
True
Let w be (4/(-6))/((-1)/6). Let h(s) = 1 + 0*s**3 + s**3 + 5*s**2 + 2*s - w. Does 4 divide h(-4)?
False
Suppose 3*x + 2*j - 138 = 0, 2*j + 20 = 5*x - 226. Does 12 divide x?
True
Let a(l) = -l**2 + 6*l - 4. Let x be a(4). Suppose -b + 3*b = x. Is 2 a factor of b?
True
Let a = 53 + -16. Is 2 a factor of a?
False
Let v = 66 + -27. Suppose 3*c - 15 = -4*z + 29, -3*z + v = 3*c. Is c a multiple of 5?
False
Suppose 2*s + 7 = 1. Is 10 a factor of (s/(-2))/((-3)/(-20))?
True
Suppose 0 = -4*v - 2*j - 168 + 8, -3*v = -2*j + 106. Let q = v - -79. Let w = q + -23. Is w a multiple of 11?
False
Let j = 24 + -14. Is j a multiple of 2?
True
Let q be (18/12)/(3/(-20)). Does 12 divide (48/q)/((-3)/15)?
True
Suppose 5*y - 163 - 22 = 0. Is 4 a factor of y?
False
Suppose 4*s - 32 = -6*p + 2*p, 0 = 5*p - 4*s - 4. Is 2 a factor of p?
True
Suppose 0 = -o + 3*j - 4 + 18, -2*j = -o + 15. Is 17 a factor of o?
True
Does 28 divide ((-12)/10)/(30/(-700))?
True
Let x = 11 - 3. Suppose -x*t = -3*t + 5, 0 = 4*d + t - 267. Is 19 a factor of d?
False
Suppose 4*q + 0*q = w + 24, 27 = 5*q - 2*w. Let j = -3 + q. Suppose -j = 3*a - 28. Is a a multiple of 8?
True
Let s(k) = -k**3 + 4*k**2 + 3. Let x be s(4). Suppose -g + 6 = -4*p, 5*g - x*p - 15 = 15. Does 4 divide g?
False
Let f(j) be the first derivative of j**3/3 - 3*j**2/2 - 5*j + 2. Let q be f(5). Let w(d) = -d**3 + 6*d**2 - 5*d + 5. Does 5 divide w(q)?
True
Let r(m) = -m**2 + 3*m + 7. Let p be r(5). Is 3 a factor of (3/p - 4)/(-1)?
False
Let i(l) = l**3 + 4*l**2 - 2*l - 5. Let t be i(-4). Let a = 58 + -40. Suppose 0 = 2*y + n - a, -5*y + 19 = t*n - 26. Is y a multiple of 4?
False
Let f = 70 - 42. Is f a multiple of 7?
True
Let u = -26 - -140. Is 26 a factor of u?
False
Let z be ((-81)/18)/((-1)/4). Suppose -m - 2*m + z = 0. Is m a multiple of 2?
True
Let z = 34 - -16. Is 21 a factor of z + 1/((-3)/(-6))?
False
Suppose 2*y - 67 = -5*l, y - 6*y + 3*l = -121. Let z = 56 - y. Suppose 0 = 6*t - 4*t - z. Is t a multiple of 15?
True
Suppose -5*b - z + 32 = -150, -5*b - 2*z + 184 = 0. Is 6 a factor of b?
True
Let d be -1 - -2 - (-16 + -7). Let r = d + -1. Does 15 divide r?
False
Let r(t) = -t**3 - 5*t - 9*t**2 - 4 - 2*t + 4*t + 3*t**2. Does 14 divide r(-6)?
True
Let d be 10/4 + (-2)/4. Suppose -d = 3*t + 1. Does 12 divide t/3 - 73/(-3)?
True
Suppose -8*l + 143 = 3*l. Is 13 a factor of l?
True
Let h(r) = -2*r - 8. Does 4 divide h(-8)?
True
Let q(r) = -6*r - 1 - 3 + 2*r**2 - 2. Let y be q(7). Suppose 2*f - 4*f + p + y = 0, 5*p - 62 = -2*f. Is 15 a factor of f?
False
Does 9 divide ((-30)/(-7))/((-13)/(-91))?
False
Let h be (8/10)/(4/50). Let d = h - 5. Suppose -34 = -d*i - 9. Does 2 divide i?
False
Suppose -15*p + 6*p = -1791. Does 26 divide p?
False
Let c(x) be the first derivative of -x**3/3 + 3*x**2 - 4*x + 2. Let v be c(3). Let b = 7 + v. Does 6 divide b?
True
Suppose 0*f = 2*f - 4. Suppose 2*y - 22 = f. Does 6 divide y?
True
Suppose -4*d - 2*n = -96, 3*d - 2*n = 27 + 59. Suppose d = -q + 2*q. Suppose y - 4*y = -z - q, 0 = 2*z - 8. Is 10 a factor of y?
True
Suppose -3*w = 5*u - 650, 5*u + 0*w = -w + 650. Is 14 a factor of u?
False
Let d(a) = -a + 64. Does 30 divide d(24)?
False
Let o be (6/3)/(1/(-4)). Let a = -4 - o. Is 186/12 - 2/a a multiple of 7?
False
Suppose 2*u + 144 = -u. Let g = 80 + u. Is 16 a factor of g?
True
Let v(t) = 4*t + 3. Let b(i) = -5*i - 2. Let r(y) = 2*b(y) + 3*v(y). Suppose -3*s = -17 + 5. Is 5 a factor of r(s)?
False
Let b be (-70)/2 - (-3 + 1). Let f = b - -3. Let m = 44 + f. Is 7 a factor of m?
True
