 -6*x + g = 3*c - 2*x. Is c a multiple of 11?
True
Let o(y) be the second derivative of y**5/120 + 5*y**4/24 - y**3/2 + 3*y. Let a(j) be the second derivative of o(j). Is 6 a factor of a(7)?
True
Suppose 0 = 2*y - 4*l - 80, 5*y - 62 = l + 174. Does 8 divide y?
True
Let c(f) = 11*f + 21. Is 13 a factor of c(4)?
True
Suppose 4*k = 25 - 5. Suppose 36 = k*b - 29. Is b a multiple of 11?
False
Let a(d) = -3*d. Let i be a(-2). Let y be (2 - 4) + 0 - i. Let k(x) = -x**2 - 10*x + 8. Is k(y) a multiple of 12?
True
Let d(r) = -63*r + 7. Let u be d(9). Is 13 a factor of u/(-50)*10/4?
False
Is 13 a factor of ((-8)/(-6))/(3/45)?
False
Let p be (-215)/(-15) + (-2)/(-3). Is (-1004)/(-20) - 3/p a multiple of 13?
False
Suppose 0 = -2*a + 3*a - 12. Does 18 divide (-3)/(((-10)/a)/5)?
True
Let n be (-2)/(-12) - (-1295)/(-30). Let x = n - -128. Is 14 a factor of x?
False
Let i = 41 + -81. Let l = i + 70. Is l a multiple of 15?
True
Suppose 2 + 2 = -q. Let i = -3 - q. Suppose 43 = 3*r + i. Is 8 a factor of r?
False
Suppose -4*p + h + 24 = 0, h + h + 27 = 5*p. Suppose 0 = n - 1, -3 = -u + n + 1. Suppose 57 - p = u*t. Does 5 divide t?
True
Let r = 226 - 109. Is r a multiple of 16?
False
Let d(t) = -t**2 - 11*t - 7. Let j be d(-10). Suppose 0 = -j*v + 2*x - 7*x + 180, 2*v + 3*x = 120. Does 15 divide v?
True
Suppose -3*z + 131 = 2*m, 0 = 3*m + 2*z - 7*z - 149. Suppose -4*l = -m - 34. Let n = -14 + l. Does 4 divide n?
False
Let l be 0/(1 - 2/(-1)). Suppose l = 2*o - 7 - 5. Is o even?
True
Let u = 177 - 65. Is u a multiple of 14?
True
Let v = -169 + 265. Is 12 a factor of v?
True
Suppose -2*c + 4*w = 2*c - 8, 3*c - 5*w + 4 = 0. Is 2 a factor of c?
False
Suppose -296 = 7*o - 1556. Does 14 divide o?
False
Let g be (1 + -3)/(2/(-4)). Suppose -3*a - 2*z = -3*z - 5, 0 = -4*a - g*z + 12. Is 2 a factor of a?
True
Let g be ((-8)/(-12))/((-2)/(-6)). Suppose -g*p - 74 = -4*p. Let f = -20 + p. Is f a multiple of 8?
False
Suppose -2*v + 212 = -5*w, -4*w + 5*w - 224 = -2*v. Let s = v - 57. Does 16 divide s?
False
Let f be 15*13 - (-2 + -1). Let q = f - 138. Is 15 a factor of q?
True
Let v be (-53)/(-2)*(2 + -4). Let i = -14 - v. Does 11 divide i?
False
Let m be 2/3 + 12/(-18). Suppose m = 3*n - n. Suppose n = 2*w - 5*w + 99. Does 12 divide w?
False
Suppose x + 0*x - 134 = -4*h, 0 = 3*x - 2*h - 458. Is x a multiple of 28?
False
Let z be 10/45 + 34/9. Suppose 55 = z*p - 89. Suppose 3*d - p = d - 4*h, -d + h = -33. Does 10 divide d?
False
Let v be 2 - 1 - -1 - 0. Let j be 1*6/2 - v. Is 13 a factor of j + (-2)/((-4)/34)?
False
Let v = -225 + 339. Is 9 a factor of v?
False
Suppose -13*t - 1020 = -18*t. Does 34 divide t?
True
Suppose 0 = -3*l + h + 281, 3*h + 2*h = l - 117. Does 23 divide l?
True
Let x(k) = k - 1. Let c(n) = -7*n + 12. Let q(w) = c(w) + 4*x(w). Let d(m) = -2*m + 2. Let l be d(4). Does 10 divide q(l)?
False
Suppose 30 = -x + 4*x. Is 8 a factor of (-33)/(-2)*x/15?
False
Suppose -2*o - 31 = -3*i - 2*i, -4*o + 8 = 0. Is 5 a factor of i?
False
Suppose 4*w = 35 - 127. Let z(m) = 2*m**2 + 6*m - 5. Let r be z(4). Let f = w + r. Is f a multiple of 14?
True
Suppose 0 = z + m + 3 + 1, 2*m - 6 = 0. Let g be (-4)/3 - 2/(-6). Let f = g - z. Does 6 divide f?
True
Let o be (-3 - 1)*(-1 + 0). Let p(v) = 18*v - 2. Does 15 divide p(o)?
False
Does 38 divide 4/((-16)/4) + 138?
False
Let u = 36 + -23. Suppose -5*w = b - 0 - 5, b + w = u. Is b a multiple of 5?
True
Suppose 0 = -2*v + 135 + 1. Is 15 a factor of v?
False
Is 1/(-2 - (-123)/61) a multiple of 25?
False
Suppose 2*a - 26 = 18. Is a a multiple of 5?
False
Let j(o) = 13*o**3 - o**2 + 6*o - 7. Does 15 divide j(2)?
True
Let t be (10/(-15))/(2/6). Let k be 0 - -3 - t*1. Is ((-2)/(-3))/(k/165) a multiple of 11?
True
Let u(k) = -7*k**2 + 4*k - 1. Let f(v) = v**2 + v - 1. Let z(x) = -6*f(x) - u(x). Let c = 33 + -23. Is z(c) a multiple of 7?
True
Let q(b) be the first derivative of 5*b**2/2 + 1. Let g be q(3). Suppose 5*v = 50 + g. Does 8 divide v?
False
Suppose -14*b - 1288 = -22*b. Does 7 divide b?
True
Let j(d) = -7*d + 0 + 0*d + d**2 - 2. Let n(x) = 2*x**2 + 11*x + 3. Let l be n(-6). Is 8 a factor of j(l)?
True
Let w(p) = p**2 - p + 2. Let m be w(4). Suppose 34 = c + m. Is c a multiple of 8?
False
Suppose 4*a = -f + 22, 5*f - 6*a + 15 = -a. Suppose -3*n + w = f*w - 63, 0 = n + 3*w - 29. Is 10 a factor of n?
True
Let x(m) = -2*m**3 + m**2 - 2*m - 4. Is x(-2) a multiple of 12?
False
Suppose 30 = s + 6. Let y = 0 + s. Is y a multiple of 8?
True
Let l be (-4)/(-4) + 0 + 113. Suppose s - m = 6*s + l, 2*s + 50 = 4*m. Let i = s - -33. Does 10 divide i?
True
Suppose 2*n - 1 = n, 2*n - 15 = -s. Let q(o) = -s*o**3 - 7*o**2 + 0 + 6*o + 12*o**3 + 2. Is q(-8) a multiple of 6?
True
Let p be (-2)/4 + (-7)/(-14). Suppose -h + 82 - 9 = p. Suppose -3*k + 83 = 4*i, -i = 3*i + k - h. Does 9 divide i?
False
Let c be 1*-1 + 2*-1. Let y = 4 + 8. Is 4 a factor of c/(-2)*64/y?
True
Suppose -2*v + 340 = j, -j + 103 = -5*v + 967. Suppose -v = -2*k + 4*u, -252 - 190 = -5*k + 4*u. Suppose 4*i - k = -i. Does 7 divide i?
False
Suppose -2*a + 8 = -a. Let q(b) = 2*b + 2. Does 18 divide q(a)?
True
Suppose 2*i + 59 = 3*m, -m + i = -5*m + 64. Is m a multiple of 10?
False
Let z be (-10)/15 - 4/(-6). Suppose 2*f - 94 = -h, 3*f - 2*h - 2*h - 163 = z. Is f a multiple of 14?
False
Suppose 490 = -12*l + 17*l. Does 14 divide l?
True
Let j = 121 - 59. Is 19 a factor of j?
False
Let h(a) = a**3 + 3*a**2 - 4*a + 1. Let y be ((-6)/15)/((-1)/5). Does 10 divide h(y)?
False
Let y be (-64)/12*6/(-4). Suppose 3*n - y = -n. Is n + 6 + 0 + 0 a multiple of 6?
False
Let r = -1 - -3. Is 8 a factor of 12 + 2 - (r - 4)?
True
Let w = -6 - -6. Suppose w = 2*z - 5*i - 37, -2*i = i + 9. Is z a multiple of 11?
True
Does 18 divide 217/4 - 2/8?
True
Suppose 0 = 4*c - 85 - 167. Is c a multiple of 21?
True
Suppose -6*q + 10 = -11*q. Is 11 a factor of (3/(-6))/(q/100)?
False
Let z(l) = 3 + 3*l**2 - 6*l + 0 + 2*l. Is z(4) a multiple of 24?
False
Let d = 5 - -78. Is d a multiple of 25?
False
Suppose 2*t = 5 + 1. Suppose 4*v = 6*v + 10, 5*s = t*v + 50. Is s a multiple of 3?
False
Let n = 471 - 231. Suppose y + 3*y = n. Is 21 a factor of y?
False
Let v(l) = -l**2 + 8*l - 2. Let d be v(8). Let x be (3/d)/(12/272). Let j = -23 - x. Is 6 a factor of j?
False
Let w(c) be the third derivative of 13*c**5/20 + c**3/6 + c**2. Let g be w(1). Suppose 0*k + g = 5*k. Is k a multiple of 8?
True
Does 19 divide (-81)/(-4)*(-24)/(-9)?
False
Suppose 5*u - 288 = -2*t - 2*t, 0 = -3*t + 5*u + 181. Suppose q - t = 5*h, -3*q - 71 = -5*h - 222. Is 21 a factor of q?
True
Let o be (-2)/(-7) - 26/(-7). Let r = 18 - o. Is r a multiple of 14?
True
Let v = 6 - 9. Let m = v - -11. Is m a multiple of 8?
True
Is (-1)/((-3)/228) - 4 a multiple of 24?
True
Let r = -117 - -121. Is r a multiple of 4?
True
Let d(f) = -f**3 - 8*f**2 + f - 5. Let k be d(-8). Let o = k + 22. Does 3 divide o?
True
Is (-3)/(-12) + (-399)/(-4) a multiple of 25?
True
Let f = -16 + 10. Let o be 3/f*4 + 22. Let c = o + -9. Is 7 a factor of c?
False
Let y = -207 - -311. Is y a multiple of 9?
False
Let c(w) = -207*w + 1. Let u be c(1). Let v be ((-3)/2)/((-6)/32). Does 14 divide (-2)/(-8) - u/v?
False
Let r(h) = h + 50. Does 7 divide r(-17)?
False
Let d be (6/4)/(6/20). Let k = 17 - d. Is 6 a factor of k?
True
Is ((-54)/15)/((-5)/25) a multiple of 9?
True
Suppose 3*r = 5*r - 22. Is r a multiple of 2?
False
Suppose 48 = 4*n + 4*o, 0 = -3*n + n + 4*o + 36. Suppose -4*v - n = -146. Is 11 a factor of v?
True
Let s = -9 - -12. Suppose 0 = 5*o + 2*v + 25 - 77, -s*o + 26 = -4*v. Does 4 divide o?
False
Suppose 0 = 4*k + k - 170. Does 9 divide k?
False
Let a = -5 + 7. Let t(p) = -p**2 + 1. Let d be t(a). Is 11 a factor of (-4 - -1)/d + 10?
True
Let f = 5 - 4. Let w = f - -2. Suppose -w*c + 129 = 5*s, -5*s + 3*c + c + 108 = 0. Is s a multiple of 19?
False
Suppose -4*w = -3*r + 17, -r - 4*w = -5*r + 24. Suppose 4*n - 97 = r. Is n a multiple of 13?
True
Suppose -2*a + 251 = 69. Does 13 divide a?
True
Suppose 0*r - 3*k + 8 = -2*r, -2*r - 12 = -4*k. Suppose -2*u = 2*y + r, -4*y - 22 = -u - u. Suppose 4*d - 10 = u*d. Is 10 a factor of d?
True
Does 29 divide (-145)/40*-4*(-3 - -13)?
True
Let h = 24 - 49. Let t = 40 + h. Is 6 a factor of 159/t + 6/15?
False
Is ((-20)/(-5) - -12) + 3 a mul