 31 divide g?
False
Let g(h) be the second derivative of h**3/6 + 2*h**2 - 15*h. Is g(6) a multiple of 10?
True
Let q = -209 - -239. Is q a multiple of 5?
True
Suppose -152 = -w - 2*w - 4*c, 0 = c + 1. Does 4 divide w?
True
Let p(h) = -h**3 + 15*h**2 - 10*h + 20. Is 19 a factor of p(14)?
True
Let c be (-1230)/(-25)*(-80)/(-3). Let n = -926 + c. Is 24 a factor of n?
False
Suppose -b - o - 383 + 1170 = 0, -5*b = 2*o - 3944. Does 12 divide b?
False
Let b(p) = -3*p + 2. Let y be b(-2). Does 13 divide ((-234)/15)/(y/(-20))?
True
Is 42 a factor of ((-30)/50)/((-2)/10) - -2100?
False
Let k(l) = -3*l**2 + 6*l + 6. Let d be k(-4). Is (198/(-54))/(2/d) a multiple of 32?
False
Let c(u) = 9 + 9*u + 8*u + 4 + 0*u. Let m be c(6). Let q = 240 - m. Is 18 a factor of q?
False
Suppose 0 = -3*t - 2*p + 678, -2*t + 239 = -t + 5*p. Is t a multiple of 6?
False
Is 2*3*(-47 - -66) a multiple of 19?
True
Let b(f) = 35*f - 9. Does 7 divide b(9)?
False
Suppose 0 = -28*x + 4498 + 6926. Is x a multiple of 6?
True
Let y(q) be the first derivative of 3*q**4/4 - q**3/3 - 2*q**2 + 2*q - 8. Is 33 a factor of y(3)?
False
Let f = 17 + -14. Let w be (-3)/((f + -2)*-1). Suppose w*r - 5*p - 44 = 0, 0 = 5*r + p - 3*p - 67. Does 3 divide r?
False
Let z(q) = -q**3 + 5*q**2 - 15*q - 15. Let p(u) = -u**3 + 6*u**2 - 14*u - 14. Let s(r) = -6*p(r) + 5*z(r). Let m be s(10). Let v = 25 + m. Is 8 a factor of v?
True
Let l = -32 - -30. Let k(m) = -6*m**3 - 6*m**2 - 2*m. Is 13 a factor of k(l)?
False
Let i = 15 - 14. Suppose -16*p - 235 = -11*p. Let u = i - p. Does 8 divide u?
True
Suppose 0 = -2*n + 4*h + 6, 5*n + 3*h + 20 = 6*h. Let g(z) be the third derivative of z**5/20 + 2*z**4/3 + 5*z**3/3 - 7*z**2 - 6*z. Is 15 a factor of g(n)?
True
Suppose -4*j + 2*u = -2*u - 244, -2*j = -4*u - 120. Let n = j + 10. Does 9 divide n?
True
Let x(c) = 42*c - 18. Let y(m) = 21*m - 9. Let u(q) = 4*x(q) - 7*y(q). Let n be u(3). Is 2/12 + 2691/n a multiple of 16?
False
Suppose j + 4*c = 5*j - 20, 6 = -3*c. Suppose x + 3 = -x - 3*r, 0 = -4*x - j*r + 3. Suppose -60 = -3*u - 3*m, -x*u + 4*m + 44 = -m. Is u a multiple of 15?
False
Let o be 6/9 + 160/(-6). Let c be (5/10)/(1/o). Let n = c + 18. Does 5 divide n?
True
Suppose 0 = -11*k + 7*k - 4*b + 40, 3*k - 28 = -4*b. Does 4 divide k?
True
Suppose 0 = -11*q - 18*q + 50866. Is 30 a factor of q?
False
Let k(b) = -17*b**3 + 2*b**2 + 2*b - 2. Let q be k(-2). Let w = q + 14. Is w a multiple of 49?
False
Suppose b - 346 = g, 3*b - 2*g - 1030 = 3*g. Is 70 a factor of b?
True
Suppose -3*h + 9 = j - 1, 4 = j - 3*h. Let w(i) = 53*i**2 - 2. Let b be w(2). Suppose -12*y + b = -j*y. Is y a multiple of 18?
False
Suppose -5*h - 3*s + 2*s = 63, -4*h + s - 54 = 0. Let c(w) be the third derivative of -w**5/60 - 2*w**4/3 - 8*w**3/3 + 4*w**2. Is c(h) a multiple of 4?
False
Let n be 27/6 + 2/(-4). Suppose 5*k - 39 - 36 = 0. Does 8 divide (n - (-2 + 5)) + k?
True
Let o(s) = 18*s - 2. Let t(m) = -12*m + 1. Let b(x) = 5*o(x) + 8*t(x). Let a be b(-6). Suppose 8*y + a = 9*y. Is 26 a factor of y?
False
Is 20 a factor of (-63775)/(-20) - (-7)/((-168)/18)?
False
Let h(u) = -13*u**3 - 37*u**2 - 3*u - 5. Let w(m) = -3*m**3 - 9*m**2 - m - 1. Let o(c) = -2*h(c) + 9*w(c). Let d be (-22)/3 + (-2)/(-6). Does 6 divide o(d)?
False
Is (6 - 66/12)/((-3)/(-546)) a multiple of 91?
True
Suppose 4*l - 41 = -3*p + 20, 4*p = -l + 12. Suppose -l + 139 = 3*m. Is 14 a factor of m?
False
Let m = 34 - 30. Let d(s) = 2*s**3 + 5*s**2 + 3*s - 4. Does 18 divide d(m)?
True
Suppose -7 = 2*r + 53. Let k be (r/(-9) + -3)*21. Let d = 10 - k. Is 3 a factor of d?
True
Let d(i) = 35*i + 37. Let c be d(-4). Let q = -85 - c. Does 5 divide q?
False
Suppose -2*o - 86 = 20. Let l be (-5)/(15/6)*o. Suppose 2*f + x = l, -3*f + 3*x - 267 = -8*f. Does 17 divide f?
True
Let s = 132 + -87. Suppose s = 7*z - 6*z. Is 25 a factor of z?
False
Let l(p) = -8*p - 29. Let u(v) = 7*v + 28. Let g(a) = 3*l(a) + 4*u(a). Is 11 a factor of g(13)?
True
Suppose 5*d = -0 + 5, 5*m = -d + 2296. Is 17 a factor of m?
True
Let r(a) = a**2 + 16*a + 30. Suppose 4*i - 14 + 74 = 0. Is 4 a factor of r(i)?
False
Let x(c) = 9*c + 0 - 1 - 17*c. Let p be x(3). Let a = 44 + p. Is 16 a factor of a?
False
Let j(p) = 34*p - 4. Let c be j(2). Let d(t) = t**3 - 5*t**2 + 6*t - 3. Let o be d(4). Suppose 5*f - c = -o*x + 251, -2*f + 129 = 5*x. Is 16 a factor of f?
False
Suppose -l + 1678 = 3*v - 3*l, 0 = 3*l - 3. Is 28 a factor of v?
True
Suppose 5*u - 268 = 2*n - 829, -2*u - 570 = -2*n. Is 15 a factor of n?
False
Is (-1)/(-5) - (-81226)/170 a multiple of 18?
False
Let a(b) = 20*b**3 - 14*b**3 - 4*b - b - 4 - 7*b**3 - 3*b**2. Let s be a(-3). Suppose -9*i = -s*i + 120. Is i a multiple of 15?
True
Let n(b) = 2*b**2 + 2*b + 6. Let c = -9 + 3. Let a be n(c). Suppose -q = -2*q + a. Does 33 divide q?
True
Let o be (-2)/((-3)/(-138)*4). Let j(y) = -y**2 + 17*y - 113. Let q be j(15). Let x = o - q. Is 11 a factor of x?
False
Let x = 294 + -2. Suppose -x = 3*u - 7*u. Is (-3)/9 - u/(-3) a multiple of 8?
True
Let f(a) = 5*a + 3. Suppose -66 = -9*u + 3*u. Let k(b) = 2*b - 16. Let m be k(u). Does 28 divide f(m)?
False
Let y(z) = -2*z**2 + 39*z + 16. Does 35 divide y(18)?
True
Suppose 0 = 9*c - 1874 + 191. Is 17 a factor of c?
True
Suppose 0 = -14*s - 6 + 132. Suppose 215 + 775 = s*g. Is 22 a factor of g?
True
Suppose 2*h - h + 5*x = -20, -15 = -4*h - x. Suppose -i - 5*u + 22 = 0, 2*i + 3*u = 26 + 4. Is (h/10)/(2/i) a multiple of 2?
False
Let k be 5/15 - (-29)/3. Let b(q) = -15*q**2 + 18*q + 4. Let d(y) = -7*y**2 + 9*y + 2. Let s(f) = 6*b(f) - 13*d(f). Is 4 a factor of s(k)?
True
Suppose 4*o - 3*f = 572, -3*o + 392 = 4*f - 62. Does 55 divide o?
False
Suppose 7*q = 4*q + 453. Suppose -5*m + q = -239. Is 13 a factor of m?
True
Suppose -3*v + 0 + 3 = 0. Suppose -4*m + 3 = -2*s + v, 5*m + 3*s - 30 = 0. Suppose -m*u = -9 - 9. Is u even?
True
Let v = -31 - -25. Is 5 a factor of 45/25*(-50)/v?
True
Let z = 864 + -870. Let k(t) = 2*t**2 - 4. Let p be k(-4). Is (p/z)/(23/(-69)) a multiple of 14?
True
Let x(i) = -2*i**2 + 13*i - 3. Let q be x(6). Suppose -q*v = -2*v - 71. Is v a multiple of 12?
False
Suppose 0 = 22*g - 52 + 8. Is 2 a factor of g?
True
Suppose -3*j - 15 = 3*b, -6*j = 4*b - 3*j + 17. Is 35 a factor of (b/(4/(-5)))/(7/420)?
False
Let d(n) = n - 7. Let b be d(11). Let z(t) = t**3 - t**2 + 6*t + 5. Is z(b) a multiple of 17?
False
Let r(b) = -46*b + 120. Is r(-7) a multiple of 34?
True
Let a be 123/6*2 - -2. Suppose -a + 178 = 3*r. Is 21 a factor of r?
False
Suppose c - 14 = -0*c. Let g be -3 - 2/((-6)/21). Suppose 48 = 5*x - f, -2*x + c = -g*f + f. Is x a multiple of 10?
True
Suppose -570 - 735 = 9*f. Let d = f + 229. Does 12 divide d?
True
Let d(u) = -u**3 - 5*u**2 - 2*u - 4. Let m be d(-5). Suppose -t = 4*o - 416, 0 = -4*o - m*t + 3*t + 416. Suppose -4*h + o = -2*h. Is h a multiple of 26?
True
Suppose 9*g + 10 = -62. Does 10 divide 414/8 - 2/g?
False
Suppose y = -y + 72. Let p = -12 - 6. Let j = p + y. Is 12 a factor of j?
False
Let s = 917 - -185. Is 29 a factor of s?
True
Suppose -4*n - 2108 = -4*r - 6484, 2160 = 2*n + 5*r. Is 12 a factor of n?
False
Let g be (23/2)/((-3)/6). Let o(f) = 7*f + 6. Let m be o(8). Let t = g + m. Does 15 divide t?
False
Let f(a) = 126*a - 693. Does 60 divide f(29)?
False
Let j(n) be the first derivative of n**3/3 + 13*n**2/2 + 4*n - 33. Does 8 divide j(-17)?
True
Let a(j) = -j**3 + j**2 + 6*j. Let w be a(3). Suppose w = 4*h - o - 1046, -3*o - 5 - 1 = 0. Does 27 divide h?
False
Let z = -253 + 479. Suppose 0 = 6*o - 616 + z. Is 29 a factor of o?
False
Let s be (1 + -1)/3 - 2. Let f(b) be the first derivative of -b**4/4 + b**3/3 - b**2 - b - 2. Is f(s) a multiple of 4?
False
Let v(h) = 2*h**2 - 8*h - 10. Let l = -11 + 21. Let o be v(l). Suppose -3*q + 3*f + 141 = 0, 2*q = -4*f + 8 + o. Does 25 divide q?
False
Let w(m) = -1 - 9*m + 0*m + 3 - 1. Let b be w(-5). Is 7 + -5 - (1 - b) a multiple of 16?
False
Suppose 25 = a + 4*a. Suppose -n - 2*n + 4*c = -146, a*n + 5*c = 220. Suppose -4*o + 198 + n = 0. Is o a multiple of 8?
False
Let n = 454 - 115. Is n a multiple of 8?
False
Suppose 5*t = d + t - 358, 3*d = 3*t + 1074. Does 12 divide d?
False
Let v = 1553 + -1021. Is 4 a factor of v?
True
Let h(q) = -25*q + 20 + 3*q - 29*q + 23. Does 18 divide h(-5)?
False
D