(s) = -9*s + 2. Let c be b(-6). Let p = a - c. Is p a multiple of 27?
False
Suppose 0 = d - 11*d + 1480. Let q = d + -86. Is q a multiple of 30?
False
Let z be ((4/(-8))/(3/(-6)))/(-1). Is ((-30)/8)/z*(-16)/(-3) a multiple of 10?
True
Suppose 53*c - 54*c - 19 = 0. Let k = 74 + c. Is 11 a factor of k?
True
Let z(w) = -11*w - 3*w**2 + 7 - 12 - 13 + 2*w**2. Is z(-5) a multiple of 2?
True
Let o(k) = 2*k**2 + 15*k - 2. Let g(f) = 3*f**2 + 29*f - 5. Let h(r) = 3*g(r) - 5*o(r). Does 18 divide h(5)?
False
Let o = 1199 - 827. Is 28 a factor of o?
False
Suppose 0 = -5*w, -4*w + 5*w + 12 = 3*u. Suppose 0 = 3*o + 3*n + 27, o + 0*n + 3 = -u*n. Is 15 a factor of (1 - o)*(-119)/(-21)?
False
Suppose -g - 4*k + 20 = 5, 3*g + 4*k = 21. Suppose 3*l - 127 = 5*h, -g*l + 203 = 2*l - 4*h. Does 3 divide l?
True
Suppose 13 - 189 = 3*d + 4*o, -123 = 2*d - 3*o. Let u = 112 + d. Is u a multiple of 27?
False
Suppose 0 = -2*o - 2*o - 8, -3*z + 26 = -4*o. Suppose 749 = 13*r - z*r. Is 28 a factor of r?
False
Suppose 0 = j - 2*i - 5, 5*j - 2*j + 2*i = -9. Is ((-13)/4)/(j/8) a multiple of 5?
False
Let l(y) = -19*y + 45. Does 37 divide l(-21)?
True
Let t = 713 - 389. Does 36 divide t?
True
Let s = -9 + 173. Is (-1)/(((-20)/s)/5) a multiple of 12?
False
Suppose 9403 + 31561 = 11*f. Is 14 a factor of f?
True
Suppose 2*a - 1 - 113 = 4*u, 33 = a + 4*u. Does 3 divide a?
False
Let g = -21 - -22. Let j(a) = -6*a - g - 6*a + 5. Does 12 divide j(-3)?
False
Let r(w) be the third derivative of -4*w**2 + 1/30*w**5 + 0 + 0*w - 1/120*w**6 - 1/24*w**4 - 1/3*w**3. Is 6 a factor of r(-2)?
False
Suppose -1076 = -4*d + 3*c, -d + c - 3*c = -258. Does 24 divide d?
False
Is 2 a factor of (276/(-10))/(32/(-160))?
True
Let a(s) = -85*s + 1 + 0*s**2 + 3*s**2 + 44*s. Is a(14) a multiple of 15?
True
Suppose 186 = w - 43. Let s = 433 - w. Is 17 a factor of s?
True
Let a be (-4)/10 + (-5304)/40. Let y = a + 163. Is y a multiple of 5?
True
Let r be 6/8 + 2/8. Suppose 0 = 2*v - 2*w + 10, w + 2*w = -4*v + r. Is 130/30 - v/3 even?
False
Let d(y) = y**3 + 18*y**2 - 14*y - 27. Let x be d(-18). Suppose -5*k + 243 = -2*k - 5*h, 3*k - x = -h. Let t = -34 + k. Is t a multiple of 20?
False
Let z(s) = -2*s + 50. Does 29 divide z(-33)?
True
Let d = -4221 + 6783. Is 25 a factor of d?
False
Suppose 4*f - 2*o - 22 = -0, 0 = -3*f + 2*o + 19. Suppose f*c - 30 = 42. Is 12 a factor of c?
True
Let k(j) = 31*j - 3. Let u be k(-1). Let a = 91 - u. Is 19 a factor of a?
False
Suppose 0 = -x + 2. Suppose -3*q + 0*q = -2*j + 44, x*q - 91 = -5*j. Suppose 0 = -v + 6*f - 3*f + j, f - 87 = -3*v. Is v a multiple of 5?
False
Suppose 64291 = 62*s - 86431. Is s a multiple of 41?
False
Let u = 2330 + -1595. Is u a multiple of 7?
True
Let h be 0 + (2 - (2 + 0)). Suppose h = -2*k - 4*k. Suppose -5*v + 397 - 87 = k. Is 10 a factor of v?
False
Suppose -4*v = -4, 5*k + 2*v = 174 + 218. Let u = k + -21. Is u a multiple of 19?
True
Suppose 27 = 2*t + 69. Let y be 156/28 + (-9)/t. Let p(l) = 3*l - 5. Is p(y) a multiple of 13?
True
Is 18 a factor of 5760/(-210)*(0 + -21)?
True
Suppose 40*y - 1008 = 16*y. Is 14 a factor of y?
True
Suppose -4*d - 2*g - 134 = 0, -d - 3*g + 87 = -3*d. Let n be (-26)/(-3 + (-7)/(-2)). Let q = d - n. Does 6 divide q?
False
Suppose 5*i + t + 5 + 1 = 0, -i = -5*t + 22. Let m = -358 - -185. Is i/3 + m/(-3) a multiple of 22?
False
Let o be 6/9 + 238/(-6). Let s = -6 - o. Is s a multiple of 17?
False
Suppose -25 = 5*i, i + 23 = -5*k + 3. Let o(f) = 14*f**2 + 2*f + 10. Is 33 a factor of o(k)?
False
Suppose -5*h + 483 = -2*z, -3*h + 2*z - 4*z = -277. Is 33 a factor of h?
False
Suppose 4*y + 1709 - 67 = 2*g, -g - 3*y = -806. Is g a multiple of 8?
False
Let r = -22 - 55. Let n = 237 + r. Suppose 5*b = 3*t + 228, -3*b = -0*t + 4*t - n. Is 12 a factor of b?
True
Suppose 0 = 5*p + a - 278, -140 - 18 = -3*p - 5*a. Suppose 0 = -52*f + p*f - 380. Is 19 a factor of f?
True
Suppose 3*a = -0*a + 213. Let r = -127 + a. Is 14 a factor of ((-18)/(-12))/((-3)/r)?
True
Let d(h) = -2*h + 26. Let r be d(12). Suppose -r*x = x - 321. Is x a multiple of 12?
False
Let w = 9 - 7. Let k(n) = -7*n + 6*n - 12 - 12*n - n**w. Is k(-10) a multiple of 9?
True
Let b be (-22)/77 + 261/7. Let o = 67 + b. Is -3 - o/4*-2 a multiple of 15?
False
Let x be (-1)/(-3)*3 + 13. Suppose 2*r + 0*r = a + 13, 0 = r - 3*a - x. Suppose -r*u + 2*u + 21 = 0. Is 7 a factor of u?
True
Suppose 4*v = 3*j + 171 - 1004, -2*v + 1345 = 5*j. Is j a multiple of 30?
False
Suppose m = -0*m + 138. Is 46 a factor of m?
True
Suppose 9*m - 950 = 6664. Does 51 divide m?
False
Let z(s) = 5*s + 57. Let v be z(-9). Does 23 divide -6 - (-616)/v - (-4)/6?
True
Suppose 36*r - 34*r - 44 = 0. Let w(t) = t**2 - t - 1. Let v be w(-1). Is 23 a factor of 5*v*(-6 + r)?
False
Let m = -82 - -50. Suppose 0 = 5*c - 25, a - 20*c - 27 = -24*c. Does 17 divide m*((-70)/8)/a?
False
Let j(u) = 2*u**2 + 9*u + 7. Let i be j(-7). Let g be i*(-6)/(-2) + 2. Suppose -3*c = 5*t - g, -2*c = c + 2*t - 116. Does 26 divide c?
False
Let o = -46 - -11. Let b = 67 + o. Suppose 3*c = 13 + b. Does 15 divide c?
True
Let k(c) be the first derivative of -c**3/3 - c**2 + 8*c - 6. Let s be k(6). Let n = s - -62. Is 4 a factor of n?
False
Is (-2 - (4 + -150))/(6/8) a multiple of 6?
True
Is 11 a factor of 6/(-9)*-9 + (211 - 7)?
False
Let t(m) = 4*m - 1. Let v(x) = 3*x. Let s(y) = 3*t(y) - 6*v(y). Is 11 a factor of s(-8)?
False
Suppose u + 4*i - 175 = 0, -5*i + 3*i = -4*u + 682. Does 7 divide u?
False
Suppose -2*x = x - 6. Let d be x/(-2) - 36/(-12). Let y(c) = 55*c - 5. Does 35 divide y(d)?
True
Does 8 divide (-96 + -1)/(10 - (-1215)/(-120))?
True
Suppose 7347 = 9*f + 4179. Is f a multiple of 25?
False
Suppose 594 + 756 = 3*m. Suppose m = -o + 7*o. Is 25 a factor of o?
True
Let f be (-6)/(-27) - (-52)/9. Let s = f + 5. Is 6 a factor of s?
False
Let p(z) = z**3 - 4*z**2 + 8*z - 4. Let x be p(3). Suppose -x*c - 780 = -26*c. Does 13 divide c?
True
Let q(r) = -r**3 - 8*r**2 + 10*r + 9. Is q(-12) a multiple of 82?
False
Let s(z) = 2*z**3 + 9*z**2 + 5*z + 10. Let k(u) = u**3 + 4*u**2 + 2*u + 5. Let j(t) = 5*k(t) - 2*s(t). Is 12 a factor of j(4)?
False
Let c(n) = -n**2 + 2*n - 3. Let u be c(4). Let p = 14 + u. Suppose 3*j + 29 = w - p, 122 = 3*w + 4*j. Is w a multiple of 14?
False
Suppose c + z - 231 = 0, 0 = 4*c - 4*z + z - 959. Let n = 517 - 293. Suppose 0 = -4*k + x + c, -4*k + x + 3*x + n = 0. Is 7 a factor of k?
False
Suppose 0 = 3*i - 17 - 13. Let a = i + -8. Suppose p + a = 14. Is 12 a factor of p?
True
Let d = -300 - -858. Does 31 divide d?
True
Let n(l) = 7*l**3 - 4*l**2 - 4. Let y be n(-5). Let t = 147 + y. Is 23 a factor of t/(-18) - (-2)/(-9)?
True
Let r(c) = 3*c**2 - 2*c + 1. Let o be r(1). Let g(s) = 0*s**3 - 6*s**o + s**3 + 4*s + 4*s**2. Does 7 divide g(3)?
True
Suppose 409 = -3*i + 1927. Does 11 divide i?
True
Suppose 3*l = h + 253, -174 = -2*l - h - h. Let p = l + -1. Is p a multiple of 21?
True
Let g(f) be the first derivative of f**3/3 + 2*f**2 + 5*f + 6. Let n be g(-4). Suppose -n = -5*a, -2*l - 2*a + 182 = l. Is 30 a factor of l?
True
Suppose -s - 69 = 5*o, -4*s - 5 = -3*o - 28. Is 15 a factor of (3 + o/2)*-30?
True
Suppose -2*b + 77 = -27. Suppose b = w + w. Is 11 a factor of w?
False
Suppose 2*g = 7*g. Suppose -6*u = -g*u. Suppose 10*l - 5*l - 145 = u. Does 8 divide l?
False
Let x = 1678 + -1186. Suppose x + 403 = 5*o. Is 11 a factor of o?
False
Let g(t) = -t**3 - 8*t**2 + t - 12. Let b = -24 - -15. Does 20 divide g(b)?
True
Let a(o) = -o**3. Let u(h) = -2*h**3 - 3*h**2 - 8*h - 2. Let f(p) = -3*a(p) + u(p). Let j be f(6). Let v = j + -41. Is 4 a factor of v?
False
Let h = -13 - -4. Let m(y) = y**3 + 10*y**2 + 7*y - 3. Is m(h) a multiple of 2?
False
Let j = -1732 + 3646. Does 11 divide j?
True
Suppose -5*z = -d + 33 - 408, 271 = 4*z + 5*d. Let i = 176 - z. Does 11 divide i?
False
Suppose 0 = 20*h - 25*h + 10. Is 40/((-11)/(-14) + h/(-7)) a multiple of 17?
False
Suppose -430 + 1942 = 4*c. Let d = c + -225. Does 17 divide d?
True
Let w = 219 - 181. Does 2 divide w?
True
Suppose -1013 - 1832 = -5*o + 2*f, o = 2*f + 577. Is o a multiple of 27?
True
Suppose 25 = 4*h - 55. Is 16 a factor of (-4)/(-1 + 15/h)?
True
Suppose 13*k = 14*k - 320. Suppose 0 = -5*l + 3*l + k. Is l a multiple of 32?
True
Let d = -285 - -545. Is 5 a fact