of 5?
True
Let r = -46 - -79. Does 10 divide (-4 - 1)*r/55 + 69?
False
Let g = 46 + -42. Suppose x - 45 = 4*c, 3*x = g*x - 3*c - 44. Is 4 a factor of x?
False
Let j(f) be the second derivative of -3*f**5/20 - f**4/6 - f**3 - 2*f**2 - 9*f. Let l be j(-3). Suppose -92 = -2*o + 4*p, 5*p - l + 282 = 5*o. Does 24 divide o?
False
Let g(z) = -2*z + 20. Let o be g(-14). Suppose -n - x = -25, -4*x - 28 - o = -4*n. Is n a multiple of 20?
False
Suppose 0 = 5*m + 4*m - 3708. Suppose -4*q - 83 - 1541 = -4*f, f - m = 3*q. Is 15 a factor of f?
False
Let p(z) = -z - 8. Let m be p(-11). Does 12 divide -43*(1 - (m - 1))?
False
Let d(z) = -6*z + 884. Is d(0) a multiple of 34?
True
Suppose -k = -p - 1516, -k - 3*p + 1519 = -5*p. Is 35 a factor of k?
False
Let t(n) = -58*n + 1566. Does 54 divide t(0)?
True
Suppose -17*q + 35918 = 1544. Does 72 divide q?
False
Suppose 0 = d - 5*m - 1875, -7*d + 3*m = -10*d + 5643. Is d a multiple of 10?
True
Is ((-294)/(-3))/(8/44) a multiple of 50?
False
Let j(o) = -4*o. Let c be j(5). Let d = 35 + c. Does 6 divide d?
False
Suppose 3*b - r + 75 = -3*r, 4*r - 125 = 5*b. Let c = 130 + b. Is 15 a factor of c?
True
Let j = -505 - -943. Does 14 divide j?
False
Let j(w) = 3*w**2 - 14*w - 47. Does 18 divide j(-13)?
False
Suppose 3*z - 2*z - 204 = -5*c, -5*c + 3*z + 188 = 0. Let o = c + -22. Does 6 divide o?
True
Let c = -26 - -69. Suppose -6*h + c = -5*h. Is h a multiple of 15?
False
Let w(k) = -8*k - 6 - k - 8*k**2 + 9*k**2. Let b be w(10). Suppose b*a + 57 = 3*g + a, 20 = -5*a. Is g a multiple of 8?
False
Suppose 3*c = 7*c - m - 300, -3*m = c - 62. Suppose 2*y - c - 24 = 0. Is 12 a factor of y?
False
Let m be 5 - 1/(0 + 1). Suppose -m*n = -0*n. Suppose 3*a + 26 - 140 = n. Is a a multiple of 19?
True
Let j = -9 + 12. Is 4 a factor of 27 - 3*j/(-9)?
True
Let j = 717 - 459. Suppose -b + 3*d = 2*b - j, 4*b - 326 = -2*d. Is b a multiple of 20?
False
Is 12*(-15)/((-90)/84) a multiple of 17?
False
Let c(z) be the third derivative of -2*z**5/15 + z**4/3 - z**3/2 + 6*z**2. Let i be c(5). Let u = i - -241. Is u a multiple of 26?
True
Let r(x) be the third derivative of x**5/30 - 5*x**4/12 + 4*x**3/3 + 4*x**2. Is 18 a factor of r(7)?
True
Suppose -2 = -k, 0 = -2*p + 3*k - 1370 + 4584. Is p a multiple of 46?
True
Suppose 5*b = 3*k + 2451, 2*b - 2*k - 736 = 242. Suppose -4*x - 2*j = -4*j - b, 4*x + j - 504 = 0. Does 25 divide x?
True
Let x(j) be the first derivative of j**4/2 - j**2 + 97*j + 18. Does 23 divide x(0)?
False
Let s = 44 + -44. Suppose -12 = -s*r - 3*r. Is r a multiple of 4?
True
Let p(a) = 6*a**2 - 10*a**3 + 9*a**3 + 7 + 2*a**3 - 4*a. Let n be p(-7). Let u = 19 + n. Is u a multiple of 2?
False
Suppose -1929 = -3*g - 10*r + 13*r, -2*g + 1285 = -r. Is 16 a factor of g?
False
Let z(p) = p**3 + 9*p**2 + 8*p - 2. Let t be z(-7). Let k = 12 - 12. Suppose -3*b - 4*x + t = k, 4*b + 0*x = 3*x + 95. Is b a multiple of 5?
True
Let b = 4126 - 1443. Is 18 a factor of b?
False
Is 7 a factor of (144/28)/(501/(-252) + 2)?
False
Let p = 8 + -8. Let a = p + 0. Suppose a = -27*i + 30*i - 84. Is i a multiple of 6?
False
Suppose 53821 - 469 = 18*b. Is b a multiple of 85?
False
Suppose 16*l = 17*l + 3*f - 329, -2*l = -5*f - 713. Is 8 a factor of l?
True
Let z(w) = w**3 - 13*w - 6. Suppose 4*v = 2*o + 1 + 9, 0 = o - 5. Does 9 divide z(v)?
True
Let i(t) be the second derivative of t**4/12 + 4*t**3/3 + 6*t**2 + 10*t. Is 9 a factor of i(-11)?
True
Let o(t) = 181*t**2 - 4*t - 1. Is o(1) a multiple of 11?
True
Is (6/(-4))/(36/(-19032)) a multiple of 61?
True
Let q = 17 - 26. Let s(o) = o + 9. Let n be s(q). Is -1 + n + (-69)/(-3) a multiple of 11?
True
Let o(k) = 6*k**2 + 4*k - 1. Let i be o(-2). Does 3 divide (-30)/(i/(-3) + 4)?
True
Let v = 27 - 19. Is 12 a factor of (v/14)/((-4)/(-238))?
False
Let z be 262/(-8) - 78/(-104). Let u = z - -82. Does 10 divide u?
True
Let d = -9 - -7. Does 11 divide (-1 + 0)*(d + -37)?
False
Let i(k) = -k**3 + 5*k**2 - 4*k - 1. Let b be i(3). Suppose 0 = -b*c - 2 + 7. Is (0 - c)*(0 + -42) a multiple of 14?
True
Let b(x) = -2*x + 17. Let q(n) = 5*n**2 + 3 + 19*n - 40*n - n**3 + 18*n. Let y be q(4). Is b(y) a multiple of 3?
True
Let m(u) = 84 + 40 - 5*u**3 + 105 + 4*u**3 + u**2 - 2*u. Is m(0) a multiple of 31?
False
Suppose b - 4*b + 774 = 0. Suppose -4*y + 4*d + 200 = 0, -d = -7*y + 2*y + b. Does 26 divide y?
True
Let r(h) be the first derivative of -h**3/3 + 9*h**2/2 + 10*h - 1. Let k(v) = -v**2 - 5*v + 3. Let y be k(-4). Is 12 a factor of r(y)?
True
Let c(k) = 85*k**3 + k**2 + k - 1. Let u = -17 + 18. Let o be c(u). Suppose -4*f = -154 - o. Is 20 a factor of f?
True
Let h(m) = -m**3 + 41*m**2 - 137*m + 2. Does 13 divide h(32)?
False
Suppose 42*k - 3515 = 5*k. Does 6 divide k?
False
Suppose -m = 3*g - 488, g - m - 62 = 102. Is g a multiple of 22?
False
Suppose -5 = -4*g - 5*a, 3*g + 0*a = a + 18. Suppose -g*z = 5*m - 35, -2*z + 4*z - 16 = -m. Is (z/(-3) - 1) + 48 a multiple of 11?
True
Let l(f) = 224*f**2 + 26*f + 24. Is l(-1) a multiple of 6?
True
Let g be (-2)/5 - (-6)/15. Suppose g = r - 5*y - 35, 0 = -3*r - y - 2*y + 159. Is r a multiple of 24?
False
Suppose 12 + 8 = 5*o. Let a = -10 + 28. Is (56/12)/(o/a) a multiple of 6?
False
Let t(d) = 138*d**2 - 4. Let s be t(-2). Let l = s - 218. Is 55 a factor of l?
True
Suppose -5*z = -3*j + 751, 4*j = 9*j + z - 1233. Does 13 divide j?
True
Suppose 14*d - 22 - 20 = 0. Suppose -d*w = 0, 3*j = 5*w - 0*w + 105. Does 35 divide j?
True
Suppose -2006 - 9577 = -9*b. Does 13 divide b?
True
Let r(h) be the second derivative of h**3/3 + 25*h**2/2 - 6*h. Is 35 a factor of r(6)?
False
Suppose -3*b + 3549 = 9*s - 663, -2*b = 4*s - 1872. Does 52 divide s?
True
Let r(m) = -6*m + 45. Is 28 a factor of r(-22)?
False
Suppose 5*g - 321 - 139 = 0. Suppose g = 7*d - 69. Is 12 a factor of d?
False
Let f(z) = z**2 + 9*z - 13. Suppose -41*n = -44*n - 36. Does 11 divide f(n)?
False
Suppose 4*x = 5*u - 154, 169 = 3*u + 5*x + 47. Suppose 0 = -4*v + u + 14. Does 4 divide v?
True
Suppose -7*v + 416 = -144. Let k be 2*-2*(-3 + 1). Suppose -k*y = -3*y - v. Does 8 divide y?
True
Suppose -17*o + 18*o = 5. Suppose 103 = -o*n + 308. Is n a multiple of 5?
False
Suppose -3*j + j - 372 = 0. Let b = 276 + j. Is 11 a factor of b?
False
Suppose -l = 2*i - 6 - 10, -14 = i - 5*l. Suppose 4*a + i = 2*a. Is 10 a factor of a/12 - (-484)/16?
True
Suppose -104*o + 98*o = -2538. Is 30 a factor of o?
False
Suppose x - 3*w = 2078, 12*w = 11*w. Is 36 a factor of x?
False
Is 92360/280 + (-1)/(-7) a multiple of 48?
False
Is 264 - ((-2)/19 - (-234)/57) a multiple of 5?
True
Let i(y) = -y**2 - 15*y - 18. Let c be i(-13). Suppose -5*t - 3*u + 0*u = -22, 2*t + 2*u = c. Suppose 9 = 3*q, -5*q + 24 = -t*r + 6*r. Is 3 a factor of r?
True
Let i(t) = -t**3 + 2*t - 15. Let s be i(0). Let n = -17 - s. Let r = n - -54. Does 13 divide r?
True
Suppose -13*g = -16*g + 9. Suppose -4*a = -g*a - 41. Does 18 divide a?
False
Let x(z) = -2*z**3 + 2*z**2 - 2*z + 2. Let t be x(2). Let a(p) = p**2 + 10*p + 2. Let s be a(t). Suppose 12 = s*j + 2*h, -3*j + 2*h + 12 = j. Does 4 divide j?
True
Let v(q) = 6*q - 3*q - 10*q + 5. Does 24 divide v(-13)?
True
Let l be 1 - (-13 + 3 - -1). Suppose 5*q + 145 = l*q. Is 18 a factor of q?
False
Let r = 1470 + -1022. Does 16 divide r?
True
Let q = -60 + 44. Let k = q + 67. Does 18 divide k?
False
Let y(t) = t**2 - 5*t + 1821. Is y(0) a multiple of 55?
False
Let r(u) = 3*u**2 - 48*u - 15. Is 39 a factor of r(-7)?
True
Let a = -104 + 101. Is 20 a factor of 5 - (-2 - a - 41)?
False
Suppose 5*k + 5*f = 312 - 57, k - 4*f = 31. Let u = 11 - k. Let j = 1 - u. Is 13 a factor of j?
False
Let d(o) = -6*o - 16. Let b(z) = -z**2 - 2*z - 1. Let x be b(-4). Let k be d(x). Suppose -11*l = -9*l - k. Does 6 divide l?
False
Let h(n) = -74*n + 230. Is h(0) a multiple of 4?
False
Suppose 0 = 5*s - 2*n - 1982 - 108, 0 = -n + 5. Suppose -525 = -5*x - i, -x + i + s = 3*x. Let r = x - 73. Does 8 divide r?
True
Let h(p) = 6*p**2 - 3*p + 2. Let q be h(-6). Let b = -108 + q. Suppose j = -2*w - 3 + b, w - j = 58. Is w a multiple of 11?
False
Does 51 divide (9 + -3 - 20)*(-51)/2?
True
Suppose 0 = -0*o - 4*o + 20. Suppose 44 = n - i - o, 5*i + 92 = 2*n. Does 34 divide n?
False
Suppose 1151 + 1349 = 5*l. Is 50 a factor of l?
True
Let s(i) = 5*i + 4. Is s(0