(n) = 5*h(n) - 6*x(n). Does 2 divide a(12)?
True
Suppose 2*h = -1 + 5. Let q(d) = -d**3 - 9*d**2 - 11*d - 8. Let w be q(-8). Suppose w = 2*k + 2*p, h*k + k + p - 24 = 0. Does 8 divide k?
True
Let a(u) be the second derivative of -11*u**3/6 - 5*u**2/2 + u. Let q(m) = m**3 - 2*m**2 - 7*m - 5. Let y be q(-2). Does 19 divide a(y)?
False
Suppose 2 + 2 = -4*l. Let b = -5 - l. Does 9 divide b/(-6) + 559/39?
False
Suppose 0 = 2*u + 3*u + 1325. Let l = -48 - u. Is 19 a factor of l?
False
Suppose -15*y = -449 - 1486. Is y a multiple of 11?
False
Let w = 91 - 0. Does 3 divide w?
False
Let j(p) = -11*p - 155. Is 7 a factor of j(-16)?
True
Suppose 2*q - 6*q + 64 = 0. Let a(m) = m**3 - 17*m**2 + 18*m + 13. Does 9 divide a(q)?
True
Let b(m) = m**2 - m + 252. Let v be b(0). Suppose 4*t - v = -0*t. Let u = t - 27. Is 9 a factor of u?
True
Let o(v) = v**3 + 5*v**2 + 4. Let l be o(-5). Suppose 8 - l = -k. Let w = 11 + k. Is w even?
False
Suppose 4*b = -3*k + 449, 12*k = 11*k + 5*b + 175. Is 31 a factor of k?
True
Let q(z) be the first derivative of -z**3/3 + 11*z**2/2 + 16*z - 11. Is q(11) a multiple of 6?
False
Suppose 6*t - 8 = 2*t. Suppose t*p + x + 3*x - 482 = 0, x - 957 = -4*p. Suppose -4*d - 5*y + p = -186, 3*y - 215 = -2*d. Is d a multiple of 17?
False
Let u = -833 - 1238. Does 30 divide (u/(-76))/((-1)/(-4))?
False
Let t = 187 - 97. Let w = 52 - t. Let p = -20 - w. Does 6 divide p?
True
Let f(z) = 14*z**3 + 38*z**2 + 6*z + 41. Let u(p) = 5*p**3 + 13*p**2 + 2*p + 14. Let l(k) = 6*f(k) - 17*u(k). Let b be l(7). Let s = 37 - b. Does 10 divide s?
False
Let j(z) = -2*z - 6. Let r(u) = 2*u + 7. Let w(n) = -4*j(n) - 3*r(n). Let q be w(0). Suppose -q*y + 1 = -v + 9, 2*y - 4 = 0. Does 14 divide v?
True
Is (-4)/34 - 1188/306 - -1388 a multiple of 106?
False
Let w = 32 - 31. Let f be 2 - ((w - 0) + 3). Is f/8 + (-2028)/(-48) a multiple of 15?
False
Suppose 4*n - 60 = 76. Let b = n - 4. Does 7 divide b?
False
Let f = 20 - -23. Suppose f = v - 16. Let o = v - -4. Is o a multiple of 15?
False
Let l = 110 - -138. Is l a multiple of 10?
False
Suppose 0 = k + 6*x - x + 10, -5*k = 2*x + 4. Suppose 6*y + 1 - 511 = k. Does 17 divide y?
True
Let t = -7 + 2. Let q = 19 - t. Is q a multiple of 6?
True
Is 27/144 - 26234/(-32) a multiple of 41?
True
Suppose -4*v - 25 = -9*v. Suppose x - 20 - 2 = -5*w, v*x - 255 = 4*w. Is x a multiple of 8?
False
Let n(m) = m**2 + 7*m - 26. Let q be n(6). Let w = q - 32. Is w a multiple of 4?
True
Let t = -65 - -71. Suppose 168 = l + t*l. Is 22 a factor of l?
False
Let i be (-344)/(-10) + 12/20. Let g = i - 19. Is g a multiple of 5?
False
Suppose i - 12 = 2*z, -3*i - 5 = 2*i + 3*z. Suppose 190 = 3*t + i*t. Suppose 98 - t = 5*r. Is 6 a factor of r?
True
Let l be 1 + (-8)/(8/(-363)). Suppose -66 = 4*f - q - l, -3*q = -f + 69. Is f a multiple of 25?
True
Let k(a) = -3*a + 67. Let n(z) = -7*z + 135. Suppose -3*y + 2*q = 4, 2*y - 2*q = -0*y - 2. Let u(m) = y*n(m) + 5*k(m). Is 13 a factor of u(0)?
True
Let j(i) = -i + 4. Let u be j(4). Let y be (u - 0)/(3/(-3)). Does 3 divide 20*(-4 - y)/(-8)?
False
Let b(s) = -s. Let u(o) = 3*o - 9. Let f(t) = 4*b(t) + u(t). Is f(-18) a multiple of 4?
False
Suppose 0 = -5*l - 4*q - q + 15, -l - 5*q + 3 = 0. Is (-2)/l + 214/6 a multiple of 14?
False
Let g = -16 + 30. Let m = -59 + 93. Suppose 4*h = g + m. Does 4 divide h?
True
Suppose 0 = 15*m - 2183 - 8362. Does 23 divide m?
False
Let y = 1839 + -1190. Does 49 divide y?
False
Suppose 4*w = 3*w - 2*w. Suppose 336 = 7*x - w*x. Is 16 a factor of x?
True
Let r(x) = -60*x + 1. Let f be r(-1). Suppose 6*b + f - 241 = 0. Does 25 divide b?
False
Let l(i) = -6*i - 3. Let d be l(11). Let r = d + 171. Is 17 a factor of r?
True
Suppose 17*v - 6*v = 5940. Is v a multiple of 72?
False
Is -20*(-15)/8*2 a multiple of 25?
True
Suppose -31*b + 36*b - 495 = 0. Is 8 a factor of b?
False
Let x(y) = y + 16. Let r be x(-7). Let o be 6/r*6 - 4. Suppose -7 = -2*m - 1, -4*g - 2*m + 202 = o. Is 15 a factor of g?
False
Let t be -2*(-2 + -22*(-1)/4). Is 11 a factor of (-36)/84 - (1 + 164/t)?
True
Suppose l - 385 = -0*l + 5*h, 0 = -3*l - 4*h + 1079. Suppose -6*y = -y - l. Does 12 divide y?
False
Let t(n) = -n - 1. Let v be t(-6). Let u be (-191)/v - (-4)/20. Let o = u + 79. Does 7 divide o?
False
Let c(d) = -d**3 + 9*d**2 - 5*d - 6. Suppose -j - 30 = -6*j. Let i be c(j). Suppose 0 = -0*x + 3*x - i. Is x a multiple of 12?
True
Suppose 18*a - 2400 = 2*a. Is 25 a factor of a?
True
Suppose -3*v = -3*i + 15, i - 15 = 4*v - 2*i. Suppose -p - 3 - 1 = v. Is 17 a factor of (-2832)/(-60) - p/5?
False
Let d be (-99)/(-3) + 4/2. Suppose -2*i = -4*u - 3*i + d, -29 = -3*u + 2*i. Is u a multiple of 9?
True
Suppose 1332 = 5*p + 3*x, -3*x + 605 = 4*p - 463. Suppose 6*t + 0*t = p. Does 11 divide t?
True
Let c(p) = 2*p - 8. Let z be c(6). Suppose z*s - 3 = 3*s. Is 23 a factor of 205/s + 24/36?
True
Let i = -157 - -283. Let l = i - 35. Is 14 a factor of l?
False
Suppose 2*i - 8*i = 12. Does 7 divide (-1 + (-140)/8)*(i + 0)?
False
Let c be (-12)/(-9)*3/2. Let x(z) = 9*z**3 + z + 4 - 5*z**2 - 8*z**3 + 2*z**c. Is 11 a factor of x(4)?
False
Does 8 divide (-4)/(-42) + 752/42?
False
Is 46 a factor of 439 + 112/(-32)*(-6)/7?
False
Let v be (0 - 16/12)*30/(-4). Is v/5 - 83*-1 a multiple of 17?
True
Let v = -247 + 1039. Is v a multiple of 22?
True
Suppose -3 = 3*d, -3*i - 3*d + 421 = -4*d. Is i a multiple of 4?
True
Suppose 5*c + 10 = -5*q, -2*q = -4*q + 4*c + 20. Suppose -q*o = 6, o - 216 = -5*j + 3*o. Is 6 a factor of j?
True
Let k(h) = h - 7. Let u = 20 + -11. Let l be k(u). Suppose 0 = -3*f - a + 24, -3*f - 2*f + l*a = -29. Is 7 a factor of f?
True
Suppose -4*t + 47*v = 45*v - 1916, -5*t - 2*v + 2413 = 0. Is t a multiple of 36?
False
Let f(w) = -w**3 - 9*w**2 - 7*w + 4. Let l be f(-8). Is (-2361)/(-15) + l/10 a multiple of 34?
False
Let j = -455 - -826. Is 53 a factor of j?
True
Let k(c) = -1 + 10*c - 2*c - c. Let x be k(-3). Is 6 a factor of 2/11 - 744/x?
False
Let w = -14 - -17. Let i be (w - -21)/4*-6. Let p = 56 + i. Does 10 divide p?
True
Suppose 3*u = 4*n - 466, 470 = -0*n + 4*n - 5*u. Does 3 divide n?
False
Let x be 1*-3 + 130 + -3. Suppose 5*f - 146 = x. Is ((-4)/6)/((-2)/f) a multiple of 14?
False
Let k be (-1 + -58)/((-2)/6). Let c be 64/(-24)*9/(-2). Is 7 a factor of k/c - 1/(-4)?
False
Let g = -2130 + 3889. Is g a multiple of 15?
False
Suppose 99*r - 1308 = 96*r. Is 19 a factor of r?
False
Let f = -67 + 65. Does 3 divide 31 + (-20)/(-5)*f/(-4)?
True
Suppose -320 = 17*l - 1136. Is l a multiple of 3?
True
Suppose 5059 = 12*u + 1675. Is 23 a factor of u?
False
Suppose -238*l + 171 = -237*l. Is l a multiple of 16?
False
Suppose 0 = 3*c + 4*f - 133, 138 = -0*c + 3*c + 3*f. Let a be (-10)/(-4)*444/10. Let n = a - c. Does 20 divide n?
True
Does 4 divide 2/(1/(-1))*(-86)/4?
False
Let m(t) = -11*t + 33. Is m(-10) a multiple of 10?
False
Let d = 5 - 17. Suppose -5*f = -2*w + 85, -4*w + 5*f = 2*f - 149. Let x = w - d. Does 17 divide x?
False
Suppose 3*a - 8285 = -5*u + 35, 4*u = -5*a + 13858. Is 106 a factor of a?
False
Let q(u) = -310*u**2 - 6*u + 6. Let b be q(1). Is 8 a factor of (-4)/(b/75 - -4)?
False
Suppose 8*p = 643 + 1597. Does 28 divide p?
True
Suppose -23 - 34 = -w. Let q = -73 + 114. Let p = w - q. Is p a multiple of 2?
True
Suppose 3*k - 8 = 43. Let x(w) be the second derivative of w**3/6 + 9*w**2 + 95*w. Does 7 divide x(k)?
True
Let c(m) = m**3 + 10*m**2 + 3*m - 2. Let k be c(-7). Suppose -34*y + 249 = -37*y. Let l = k + y. Does 18 divide l?
False
Suppose 2*r = 460 + 1376. Is 18 a factor of r?
True
Let w(i) = 51*i**2 + 4*i - 4. Let j(q) = q**3 - 11*q**2 + 15*q + 29. Let l be j(9). Does 54 divide w(l)?
False
Suppose 9*b - 2027 - 1132 = 0. Is 3 a factor of b?
True
Let u = 69 + -50. Suppose -17 = -2*l + u. Does 3 divide l?
True
Let r = 504 + -135. Suppose 2*q = r + 55. Is 53 a factor of q?
True
Suppose s = -5*d - s + 544, -2*d + 214 = -s. Suppose 5*v = 5*f + 185, f - 107 = -5*v + d. Suppose 4*b = b + v. Does 7 divide b?
True
Let v(m) be the third derivative of m**5/20 + m**4/2 - 16*m**3/3 - 43*m**2. Is v(-10) a multiple of 6?
False
Suppose o - 2 = -o. Let l be (-1*(2 - -2))/o. Is (l/8)/((-3)/204) a multiple of 12?
False
Let u be 93*(-4)/(-15)*-5. Let l = 234 + u. Does 22 divide l?
True
Suppose 11 + 73 = -