vide f?
True
Let h(r) = -74517*r**3 - 2*r**2 + 10*r + 2. Is h(-1) a multiple of 14?
False
Let f(k) be the third derivative of k**7/840 + k**6/60 + k**5/10 + 7*k**4/12 + 14*k**2. Let h(r) be the second derivative of f(r). Is 24 a factor of h(-6)?
True
Let m(b) = -5*b**3 + 11*b**2 - b - 3. Let y be (22/4 - 3) + (-2)/(-4). Let w be m(y). Let v = w - -102. Is 8 a factor of v?
False
Let v = -18 + 20. Suppose -5*b + 10 = -2*r + 3, 4*b = -v*r + 20. Suppose b*t + 3*g - 285 = 0, 2*t + 5*g + 29 = 210. Does 14 divide t?
True
Let s(c) = 5*c**2 + 43*c - 13. Let o be s(-9). Suppose -o*u + 5*f = -1460, 0 = 6*f - f - 10. Is 7 a factor of u?
True
Let w be 15/10*12/9. Let a(m) = -4*m + 0*m**2 + 5 - m**3 - 4 + 0*m**3 - 2*m**w. Does 7 divide a(-2)?
False
Suppose 0 = 2*n + 3*h - 10871, -5*h = 4*n - 11720 - 10023. Does 12 divide n?
False
Suppose 25 = 9*m + 115. Let o(w) = 9*w**2 + 25*w + 10. Does 22 divide o(m)?
True
Let n = -89 - -83. Is (n/4)/(2/(-4164)*9) a multiple of 16?
False
Let l(k) = 22*k - 829. Is l(42) a multiple of 91?
False
Let u be -18*6/9*1/(-4). Suppose -11 - 1 = u*k, 4*k = -z + 197. Is z a multiple of 71?
True
Let p(m) = -51*m + 17. Let h(n) = -n**2 - 26*n - 56. Let s be h(-24). Is 32 a factor of p(s)?
False
Suppose 0 = 4*n + 2*i - 3674, 5*i = 7*i + 10. Suppose -n*u + 913*u = -1120. Is u a multiple of 14?
True
Suppose 3*p = l - 603, 2*l - 1186 = 2*p - 0*p. Suppose 8*u = -4*u + l. Does 8 divide u?
False
Suppose 9*m = 3*m + 2431 + 27869. Does 14 divide m?
False
Let y = 10702 + -6377. Is y a multiple of 4?
False
Suppose -2*y = 2*v - 10, -3*v = -5*y + v + 61. Suppose 14*r = y*r + 1150. Let w = -126 + r. Is w a multiple of 26?
True
Suppose 0 = 11*j - 322 - 2087. Let m = j - -419. Is 24 a factor of m?
False
Let b = 62189 - 39885. Does 31 divide b/72 + 4/18?
True
Let n(c) = 58 - 109 + 3*c**3 - 18*c + 53. Is 24 a factor of n(6)?
False
Let j(c) = 31*c - 27. Let w(f) = -f**2 + 7*f. Let b be w(4). Is j(b) a multiple of 15?
True
Let b(s) = -40*s**3 + 2*s**2 + s + 1. Suppose -2*z = 2*h + h - 30, 0 = 2*h. Let a = 14 - z. Is 21 a factor of b(a)?
True
Let v(z) = 2*z**2 - 11*z + 1. Let u(k) = -k**2 + 10*k - 2. Let t(a) = 6*u(a) + 5*v(a). Suppose -r = -3*i - 12, 32*i - 31*i + 11 = -2*r. Is 22 a factor of t(i)?
False
Suppose 0 = 5*q + 5*r + 24 + 1, q = -2*r - 6. Let l(n) be the third derivative of n**5/12 + n**4/12 + n**3/2 - 359*n**2. Is 11 a factor of l(q)?
False
Suppose 0 = 3*v + t - 14, 0 = -2*v + 11*t - 7*t - 14. Let m(z) = 223*z + 7 + 3*z**2 - 227*z - 2*z**2. Is m(v) a multiple of 2?
True
Suppose -3*y + 7*y - 8 = 0. Let d be 0/(y + (0 - 4)). Suppose 2*o + 5*c - 23 = d, -3*c - 63 = -0*o - 2*o. Does 12 divide o?
True
Let h = 10906 + -7281. Is 16 a factor of h?
False
Let h be -3*(2 + 17*4/6). Suppose -g = 4*g + 180. Does 27 divide 2/(-9) + 155*h/g?
False
Suppose -2*s + v = 2*s - 175, -s + 2*v + 35 = 0. Let z(n) = -3*n - 9. Let w be z(-4). Let j = w + s. Is j a multiple of 8?
True
Suppose -72*y = 68*y - 139*y - 4120. Is y a multiple of 8?
True
Suppose 531*y - 13572 = 1058*y - 531*y. Does 117 divide y?
True
Let i(o) = 5*o**3 + 9*o**2 - 8*o - 3. Let q(a) = 11*a**3 + 18*a**2 - 17*a - 7. Let h(m) = 13*i(m) - 6*q(m). Let p = -3 + 9. Is 9 a factor of h(p)?
True
Let p(f) = -126*f - 55. Let r be p(0). Let h = 58 - -43. Let o = r + h. Does 25 divide o?
False
Let b be -5*6/(-285) + (-3644)/(-38). Suppose -b*s = -80*s - 5056. Is s a multiple of 10?
False
Let t = -21319 - -42911. Is t a multiple of 9?
False
Suppose -181389 + 48009 = 40*g - 50*g. Is g a multiple of 13?
True
Let l(t) = -36*t - 61. Let f be l(20). Let a = f - -1645. Suppose 0 = -2*r - 2*r + a. Is 18 a factor of r?
True
Let q = -124 - -114. Is 5 a factor of (8 + -10)*5*q/4?
True
Suppose -2*u - 24 = -2*k, -k - 35 = 5*u + 1. Let l(n) = -n**3 - 7*n**2 + 6*n + 4. Let t be l(u). Suppose -3*v = 3, -t = -4*o + v + 161. Does 8 divide o?
False
Let w = -17877 - -25604. Is w a multiple of 142?
False
Let t(u) = 7*u**2 + u - 1. Let v(f) = 36*f**2 + 6*f - 4. Suppose 0 = -a - 14 + 11. Let z(n) = a*v(n) + 16*t(n). Does 7 divide z(-3)?
False
Let u(i) = -i**3 - 62*i**2 + 186*i - 479. Is 8 a factor of u(-65)?
False
Suppose 13*y + 20*y - 43*y = 0. Suppose -s + 633 + 459 = y. Does 28 divide s?
True
Let p(w) = 14*w**2 + 307*w - 21. Is 5 a factor of p(-27)?
False
Let l(q) = q**2 - 2*q + 2. Let u be l(2). Suppose -3*x + x - 2*v = -42, 2*v = -u. Does 21 divide x?
False
Suppose -y + 16 = 5*n - 0, 2*y + 5*n = 22. Suppose 2*l + y*h - 4 = 10*h, l + 4 = 4*h. Is 2 a factor of l?
True
Let k(h) = 3221*h + 686. Is 28 a factor of k(14)?
True
Suppose -2*p + 974 + 118 = -5*v, 4*p - 2*v - 2200 = 0. Does 3 divide p?
False
Suppose 2*h - 51*h + 11270 = 0. Is h a multiple of 2?
True
Let t = 119 + -180. Let m = -56 - t. Suppose 800 = m*q - 0*q. Is 17 a factor of q?
False
Let y(i) = 190*i**2 - 42*i - 40. Is y(12) a multiple of 8?
True
Let m be 27/4 - (-2)/8. Let a(f) = -27*f - 44. Let p(o) = -36*o - 68. Let q(n) = -7*a(n) + 5*p(n). Is q(m) a multiple of 6?
False
Let i(c) = 24*c**2 + 4*c + 12. Is i(6) a multiple of 15?
True
Is (-8398)/741*((-398)/4 - -2) a multiple of 85?
True
Suppose -31*l + 6*l = -75. Suppose -4*s + f = -1379, 5*f = -l*s + 7*s - 1391. Does 38 divide s?
False
Suppose -155*z = -160*z + 2*f + 48273, -20 = 5*f. Does 197 divide z?
True
Let x be 1 + -3 + 0 + 87. Let a be (-2)/(4/130)*((-1218)/70 - -18). Let v = x + a. Is v a multiple of 23?
True
Suppose 9*f - 894 - 24 = 0. Suppose 412*u = 418*u - f. Does 2 divide u?
False
Does 48 divide 2/14 - 62382/(-14) - -8?
True
Suppose 1 = -3*a - 12*p + 7*p, 0 = 3*a + 2*p - 5. Let z be (-2)/(-8) - 7/(-4). Suppose y - 5*h - 53 = 0, a*y + z*h - 193 = -0*y. Is y a multiple of 9?
True
Let m be (26/12 - 9/18)*3. Suppose -4*j = m*q + j + 665, -5*j - 263 = 2*q. Let o = -16 - q. Is o a multiple of 6?
False
Suppose -13*l + 8*l + 4830 = 0. Is 23 a factor of l?
True
Let p(x) = 3*x**2 - 8*x - 11. Let b(q) = -7*q**2 + 15*q + 23. Let c(d) = 2*b(d) + 5*p(d). Let l be c(12). Let j = l + 132. Is 15 a factor of j?
False
Suppose -1637 + 517 = -5*h + 5*s, 5*h + s - 1108 = 0. Suppose 5*i = 11*i - h. Is 8 a factor of i?
False
Let s = -19151 - -26675. Is 99 a factor of s?
True
Let p be 1081/69 - (-4)/(-6). Suppose 1170 - 30 = p*o. Is o a multiple of 4?
True
Let t be 0 + 825/6 + (-11)/(-22). Let w = 325 - t. Is 17 a factor of w?
True
Suppose 5*d = 2982 + 3828. Suppose 0 = -4*s - d + 4222. Does 65 divide s?
True
Let p(y) = -2*y**2 - 122*y - 390. Is p(-56) a multiple of 34?
True
Let l = 111 - 125. Is 6 a factor of ((-40)/(-2))/(l/(-35))?
False
Let n = 51 + -55. Let x(q) = 18*q**2 + 3*q. Let t be x(n). Suppose t - 34 = 2*p. Is p a multiple of 13?
False
Suppose -3*j = j + j. Suppose j*q + 3*q = 90. Is 3 a factor of (-2)/3 - (-230)/q?
False
Let q = -482 - -539. Suppose -527 = -4*w - l, -3*w = q*l - 61*l - 400. Is w a multiple of 44?
True
Let h(q) = -4*q + 24. Let m be h(8). Let j = -5 - m. Does 14 divide (-8)/(-4) + (67 - 2) + j?
True
Let v(g) = g**2 - 5*g - 12. Let o be v(-3). Let r = -9 + o. Suppose 0 = 3*q - 5*i - 185, -r = -i + 2. Is q a multiple of 10?
True
Suppose 2*b + b = -9. Let m be (-6 - -8)/((-2)/b). Suppose 2*v - 5*l - 166 = -4*l, -m*v + 2*l + 249 = 0. Does 18 divide v?
False
Suppose -4*m = -o - 3*m + 2, 5*o + 2 = 2*m. Let s be -3*(2/(-6) + o/6). Suppose s*j + 39 - 63 = 0. Is 12 a factor of j?
True
Suppose -7728 = -7*q - 41*q. Does 19 divide q?
False
Let k = 154 - 154. Let q be 5/(1/(-1)*-1). Suppose 0 = q*g - k*g - 765. Is 11 a factor of g?
False
Let i(z) = -z**3 + 20*z**2 + 39*z + 108. Is 22 a factor of i(19)?
True
Suppose 1554*v + 4*i = 1552*v + 926, -4*v + 4*i = -1768. Is v even?
False
Suppose 319*y - 3*s = 314*y + 15262, -y = 2*s - 3055. Is 43 a factor of y?
True
Let x(l) be the first derivative of 37*l**3 + 2*l**2 - 3*l + 52. Is 9 a factor of x(1)?
False
Let i(o) = 1493*o**2 + 56*o - 26. Is i(-3) a multiple of 41?
True
Suppose 0 = 41*u - 23*u - 2808. Is (7 - u/18)*-72 a multiple of 8?
True
Let u(q) = 8*q + 1. Let r be u(-2). Let t(l) = -l**3 - 49*l**2 - 51*l - 85. Let k be t(-48). Let x = r + k. Is x a multiple of 22?
True
Let l(h) = 9*h**2 + 23*h + 23. Let w(x) = x - 16. Let r be w(10). Is l(r) a multiple of 27?
False
Suppose -l = 3, -w - 26 = -0*w + 2*l. Suppose 0*v = v - 33. Let s = v - w. Does 4 divide s?
Fa