/((-2)/(-8)) a multiple of 4?
False
Let d = 173 - 280. Let f = 183 + d. Does 17 divide f?
False
Let l = 805 + -738. Is 10 a factor of l?
False
Suppose 391*c = 381*c + 3030. Does 28 divide c?
False
Suppose -28*q = -1876 + 392. Does 8 divide q?
False
Let b be (-7 + 8)*(0 + 4). Suppose 4 + 96 = -b*u. Let h = -9 - u. Is 4 a factor of h?
True
Suppose -2*f - 3*f + 4*z = 132, -4*f + z - 99 = 0. Suppose 91 = -3*p + 5*h, -h + 66 = -2*p + h. Let a = f - p. Is 8 a factor of a?
False
Let w = -14 + -2. Let t = -14 - w. Suppose 4*p - t*p - 162 = 0. Does 22 divide p?
False
Let i(d) = d**3 + 7*d**2 - 8*d + 6. Let u be i(-8). Suppose -u*c - 6 + 18 = 0. Suppose -q = -c*v + 95, -q - 31 = 2*v - 116. Is v a multiple of 15?
True
Suppose 0 = 2*p + 2, 3 - 1 = 3*m + 4*p. Let n be (-1 + m)*(-2 + 20). Suppose -c + 0*c + n = 0. Does 6 divide c?
True
Let b(s) = -81*s - 210. Does 2 divide b(-3)?
False
Suppose 5*f = 2*w - 15, -3*f - 20 = 2*f - 3*w. Let c(v) = 48*v + 5. Let a(y) = 143*y + 14. Let s(b) = -4*a(b) + 11*c(b). Does 11 divide s(f)?
False
Let b(i) = -2*i + 19. Let h be b(8). Suppose -h*t = -2*o + 43, 4*o - 30 = -2*t + 64. Is o even?
False
Let c(z) = -6*z**3 + 3*z**2 + z - 6. Let r be c(3). Let k = -78 - r. Is k a multiple of 13?
False
Let n(w) = -3*w + 11. Let t(a) = -2*a + 10. Let v(k) = -3*n(k) + 4*t(k). Let c be v(-6). Is 9 - (2/c + -6) a multiple of 13?
True
Suppose -15*t = 358 - 2773. Is t a multiple of 7?
True
Let w(i) = -i**2 - 16*i - 4. Let k be 30*(-1)/((-25)/(-10)). Does 22 divide w(k)?
True
Let o = 318 - -319. Does 49 divide o?
True
Let c(j) = -3*j**3 + 2*j**2 + j. Let n be c(-1). Suppose 3*b + n*b = -273. Is 8 a factor of (-4 - b/6)*12?
False
Let y = -71 + 73. Suppose -2*p = 2*w - 28, -y*p + 2*w + w = -3. Is p a multiple of 9?
True
Let j(x) = -x**2 - 21*x - 23. Let q be j(-18). Suppose b = 2 + q. Does 11 divide b?
True
Suppose 7*f + 39 = 20*f. Suppose 2*r + j - 21 = 80, -5*r + 280 = -f*j. Is r a multiple of 4?
False
Let i(v) = 3*v - 19. Let w be i(8). Suppose w*m - 593 = -158. Let x = m + -62. Does 6 divide x?
False
Let u be -4 - (8/(-1))/2. Suppose 2*a - 89 - 67 = 0. Suppose 3*c - 6*c + a = u. Is c a multiple of 13?
True
Let o be -2*4*15/(-30). Suppose 4*u = o*x + u + 25, 2*u = 5*x + 26. Let m = x - -31. Does 4 divide m?
False
Let s(l) = 203*l**2 - 3*l + 4. Is 55 a factor of s(1)?
False
Let w(x) = -3*x + 8. Let f be w(-5). Suppose 5*o + f = -5*i - 7, 2*o - 3*i = 13. Is (o*1)/(10/(-170)) a multiple of 7?
False
Suppose -9*o + 144 = -6*o. Suppose 4*d - 16 = o. Is 13 a factor of d?
False
Let p(k) be the second derivative of k**5/20 - k**4/3 - 3*k**3/2 - 4*k**2 + 14*k. Does 21 divide p(7)?
False
Let b(t) = 52*t**2 + 31*t - 119. Does 39 divide b(4)?
False
Suppose -2*l + 4 = -12. Is (59/(-6))/(l/(-48)) a multiple of 18?
False
Let b(f) = -f. Let s(c) = -c + 1. Let z be s(0). Let o(m) = -6*m + 29. Let d(y) = z*o(y) - 5*b(y). Does 20 divide d(9)?
True
Let v = 771 + -368. Is v a multiple of 31?
True
Let f = 23 - 19. Suppose f*r - 2*r = 440. Is 20 a factor of r?
True
Let x = -370 + 585. Does 5 divide x?
True
Suppose 0 = 3*h + 9, 4*h = 3*a - 60 + 21. Is 26 a factor of (6/a + 50 + 2)*3?
False
Suppose -5 = -5*c + 5. Let q be 5 + 1 + c + -6. Suppose q*w - 333 = -5*m, -2*m + 3 = -3*w - 115. Is 10 a factor of m?
False
Let j(l) = -l**3 - 18*l**2 - 18*l + 9. Suppose -3*n + 27 = n - 3*w, 5*n - 32 = 2*w. Suppose -7*v - 17 = -n*v. Does 8 divide j(v)?
False
Suppose -7*r = 7 - 28. Does 14 divide r/((-9)/(-12)) - -150?
True
Suppose -3*l + 20 = 4*s - 7*l, -2*s + l = -12. Suppose -s*j + 931 = -0*j. Does 19 divide j?
True
Suppose -1437 = -4*f + 5*n - 95, 3*n + 1684 = 5*f. Is f a multiple of 37?
False
Let q(u) = -u**2 + 4*u - 4. Let n be q(3). Let f(c) = -c**3 - 6*c**2 - 7*c - 6. Let g be f(-5). Let w = g - n. Is w a multiple of 5?
True
Let a(y) = -20*y + 134*y**2 + 44*y + 1 + 1 - 27*y. Is a(1) a multiple of 40?
False
Let d be (-584)/(-12) - 1/(-2 - 1). Let t = -14 + d. Does 7 divide t?
True
Let k = 945 + -658. Suppose -m = -3*w + k, -97 = -w - m + 2*m. Is 19 a factor of w?
True
Suppose 2*a = -4*s + 146, 3*a - 4*s - 137 - 42 = 0. Let t be ((0 + 1)/1)/1. Suppose -t = -2*b + a. Is b a multiple of 9?
False
Suppose 12 = -3*g - 3*u, 0 = -4*g - g - 3*u - 26. Let h(r) = 2*r**2 + 10*r + 8. Is 7 a factor of h(g)?
False
Let d be 2/(-1 + 3) - (0 - 1). Does 5 divide 3 - 1 - (-2)/d*6?
False
Let g = 481 - 234. Suppose r = 3*p + 6*r - g, -5*p + 4*r = -461. Does 18 divide p?
False
Let y = 34 - -326. Suppose 0 = 2*f + 8*f - y. Is 18 a factor of f?
True
Let a(x) = 16*x**2 + 12*x + 28. Does 26 divide a(-7)?
True
Let a = -311 - -473. Let w = a + -82. Suppose 2*y = 7*y - w. Is y a multiple of 12?
False
Let b = -659 + 869. Is b a multiple of 53?
False
Suppose 0 = f - 5*u - 153 + 29, 4*f - 4*u = 560. Let k = f - 106. Is k a multiple of 2?
True
Let v(o) = o - 8. Let k be v(-6). Let t be (-100)/(-28) + (-6)/k. Suppose -3*p + 3*f + 109 = t*f, -f = 5*p - 179. Is 22 a factor of p?
False
Let w(n) = 65*n + 449. Is 8 a factor of w(20)?
False
Suppose -5635 = 15*q - 38*q. Is 7 a factor of q?
True
Let k be 3/(-3*(-3)/9). Is 6 a factor of -1 + 13 + (k - 0)?
False
Let r(a) = 26*a - 1 - 6 + 0. Let x be r(5). Suppose 4*f + 3*b = f + x, 2*f + b - 83 = 0. Is f a multiple of 12?
False
Let k(q) = -q**3 - 11*q - 8. Is k(-5) a multiple of 9?
False
Suppose 3*v + c - 333 = 0, -c - 538 = -5*v + 3*c. Does 25 divide v?
False
Suppose -5*h + 7228 = -5862. Does 17 divide h?
True
Let n = -428 + 500. Is n a multiple of 6?
True
Let x(c) = c**3 + 19*c**2 - 14*c - 72. Is 10 a factor of x(-16)?
True
Let y(s) = -s**3 - s**2 + 17. Let r be y(0). Let d = 20 - r. Suppose 0 = d*a - 88 - 62. Is a a multiple of 25?
True
Let k = -23 - -27. Suppose -19 = -3*f - 4*s + 8, 2*s = 2*f - k. Suppose r + f*x + 11 - 50 = 0, 0 = -r + 5*x + 39. Does 13 divide r?
True
Suppose 4*a - 5793 = 215. Does 43 divide a?
False
Let r(w) = -18 - 9*w - 4*w**2 + 4 + 3*w**2. Suppose v + 6 = 5*h, 0 = -v + 8*h - 7*h - 6. Is 2 a factor of r(v)?
True
Suppose 0 = -10*a + 13*a - s - 1326, 4*a - 1768 = -3*s. Is a a multiple of 34?
True
Let x = 42 - 40. Suppose l - 16 = -o, 2*o + x*o - l = 64. Is o a multiple of 10?
False
Let l(a) be the first derivative of -a**4/4 - a**3/3 + 3*a**2/2 + 5*a + 9. Is l(-3) even?
True
Let b = 16 - 15. Suppose 2*g = -2*j + 12, -j + 5*g = 5 + b. Is 3 a factor of j + -5 - (-5 - -1)?
True
Let g(f) = f**3 - 8*f**2 - 27*f + 2. Does 34 divide g(11)?
True
Let w(j) = -8*j**2 - j. Let c be w(-1). Let r(g) = 5*g**2 + 5*g. Let h be r(c). Is h/7 + (-2 - 2) a multiple of 11?
False
Suppose -31598 = -250*a + 213*a. Does 19 divide a?
False
Let a = 1629 - 1123. Does 11 divide a?
True
Let d(i) = -i + 25. Suppose 0*c = 4*c - 40. Does 15 divide d(c)?
True
Let g(n) = 86*n**2 + 14*n + 6. Is g(-3) a multiple of 41?
True
Suppose 0 = 24*i - 114 - 2598. Does 32 divide i?
False
Let d be 3/(-9) - (-66)/9. Suppose 0 = z - 37 + d. Does 30 divide z?
True
Suppose -2 = -2*o - t, -8 = -0*o - o + 3*t. Suppose -36 = o*k - 8*k. Is 6 a factor of k?
True
Let z(x) = 14*x**3 - 6*x + 12. Does 52 divide z(4)?
True
Let q(h) = h**3 - 2*h**2 - 3*h + 1. Let p be q(-5). Let z = p + 279. Is z a multiple of 20?
True
Is (-7)/7*1152/(-2) a multiple of 48?
True
Let c(y) = -10 + 10*y + y**2 + 2*y**3 + y - y**3 - 10*y**2. Is 5 a factor of c(8)?
False
Is 10 a factor of 1*-2 + 4228/(-126)*-9?
True
Let d be ((-1 - -1571)/(-5))/(-1 + -1). Let k = d + -77. Does 10 divide k?
True
Let h(q) = 2*q**2 + 31*q + 20. Let x be h(-15). Suppose f - 47 = 2*c + 6, -15 = x*c. Does 7 divide f?
False
Let p(f) = -f**3 - 15*f**2 + 27*f + 1. Is 26 a factor of p(-18)?
False
Suppose 0 = 5*c + 6 + 4. Let h be (-1 - c - 0) + 4. Suppose 0 = -h*x - 3*p + 246, 3*x + 0*p - 154 = -5*p. Is 24 a factor of x?
True
Let q = 46 - 29. Suppose -w + q*w - 2256 = 0. Is w a multiple of 12?
False
Suppose 2*t - 30 = 42. Suppose 4*o = -4*a + t, -4*o - 5*a + 0*a = -33. Is o even?
True
Let p(m) be the third derivative of m**5/15 + m**4/12 - 2*m**2. Let q = -136 + 133. Is 6 a factor of p(q)?
True
Let u be ((-5)/(-2))/(85/204). Is 12 a factor of 128/u - 16/(-24)?
False
Let x be (-2)/((-2)/(-3)) + 5. Let t(a) = 4*a**2 - 7*a + 11. Is t(x) a multiple of 11?
False
Let z(y) = y + 20. Let q be z(-13). Let k(h) = 2*h**2 - 8*h + 8. Is k(q) a multiple of 39?
F