ose -4*n = 2*b - 3*b - 20, -b - 16 = -3*n. Suppose j*v - 33 = n*h + 69, 2*v = h + 99. Does 7 divide v?
True
Suppose 111*j + 580 = 106*j. Let p be -2 + (-7)/(-4) - 841/j. Suppose 0 = u - 4*m - 24, 4*u = -p*m + 3*m + 76. Is 8 a factor of u?
False
Let m(j) be the second derivative of 0 - 15*j - 1/3*j**3 + 8/3*j**4 - j**2. Is m(2) a multiple of 14?
False
Let f(p) be the second derivative of 11*p + 0 + 1/20*p**5 - 3/4*p**4 - 11/2*p**2 + 4/3*p**3. Is 10 a factor of f(9)?
False
Suppose 69*k = 67*k + j + 8, 0 = -k - 5*j - 7. Suppose -5*p + k*c + 518 = -0*c, 0 = -4*p - c + 428. Does 70 divide p?
False
Let h = -92 - -147. Let c = 119 - h. Is 32 a factor of c?
True
Let a = 14401 + -5292. Does 15 divide a?
False
Let p = 359 - 384. Let u(o) = -8*o - 59. Is 4 a factor of u(p)?
False
Let g(p) = -p**3 - 11*p**2 + 35*p + 12. Suppose 0 = 4*n - n + 2*a + 2, -2*n = a + 1. Suppose n*s = 3*s + 42. Is 31 a factor of g(s)?
False
Let a be (3 + (-4)/4 + -3)*-17. Let r = a + -12. Let x = r + 5. Does 6 divide x?
False
Let n(o) be the first derivative of -o**2 + 3*o - 4. Let i be n(0). Suppose x = -s - 3*x + 43, -i*x - 53 = -2*s. Does 20 divide s?
False
Let s(r) = 114*r - 6. Let p be s(1). Is (4 - -2)*2/6 + p a multiple of 8?
False
Let g(l) = 10*l + 101. Let z be g(-30). Let m = -47 - z. Is m a multiple of 4?
True
Let y = -1497 + 1053. Let n = 1494 + y. Is 42 a factor of n?
True
Let a(u) = u**3 - 10*u**2 - 11*u + 5. Let j be a(11). Suppose -4*w = -3*w - 130. Suppose j*i = -4*l + w, 0*l = -4*i - 2*l + 104. Is 10 a factor of i?
False
Let b(p) = -1988*p + 552. Does 12 divide b(-12)?
True
Suppose z + 2*c - 26 = 0, -2*c + 5 = -1. Suppose 5*j - 3*y - y = -z, 5 = -2*j + y. Suppose j = -3*u + 5*p + 128, u - 23 = -2*p + 16. Is u a multiple of 15?
False
Let c be (2 - 0 - (-24)/(-15))*-275. Let r = c + 61. Does 19 divide 4/(-14) - 945/r?
True
Let p = -65 - -17. Let d = p + 42. Does 8 divide (-12)/1*8/d?
True
Suppose -1105 = 43*d - 48*d. Let k be 782/6 - 4/(-6). Let c = d - k. Does 18 divide c?
True
Suppose -5*j + 2*d = -45193, -5*j + 45165 = -0*d + 5*d. Is 46 a factor of j?
False
Suppose 4*o - f - 715 = 0, -o = -3*f + 8*f - 205. Let l be (-53)/((-5)/(-30)*3). Let r = l + o. Is 12 a factor of r?
False
Suppose 0 = 6*d + 23 - 11. Let k be d/6 - 64/(-3). Suppose -3*f + 57 = -k. Is 11 a factor of f?
False
Suppose 7*q - 5*q + 12664 = 3*s, -2*q = -4*s + 16888. Is 10 a factor of 4/6 + s/9?
True
Let h = 117 - 111. Suppose h*p + 0*p - 1896 = 0. Is 15 a factor of p?
False
Let z(b) = 6*b**3 + 9*b**2 + 10*b + 4. Let k(c) = 4*c**3 + 4*c**2 + 5*c + 2. Let p(g) = -5*k(g) + 3*z(g). Is p(4) even?
True
Suppose -18*j = 32*j - 83*j + 136257. Does 17 divide j?
False
Suppose 182*z = 174*z + 16. Suppose -p = z*i - 903, p + 3*p = -i + 3605. Does 17 divide p?
True
Let h(f) = 11*f + 1990. Is h(40) a multiple of 10?
True
Let t(s) = s**3 + 89*s**2 + 233*s + 2550. Does 10 divide t(-86)?
True
Let s = -581 + 2943. Does 19 divide s?
False
Let i(j) = -j**3 - 6*j**2 - 5*j - 18. Let h be i(-7). Does 16 divide h/(-176) - 6/32*-3330?
True
Suppose -3*j - 15183 + 156 = -5*o, 2*o - 3*j - 6000 = 0. Is 47 a factor of o?
False
Let j = 95 - 83. Suppose -l - j = 5*l. Is 7 a factor of (-2)/(-4)*279/(-3)*l?
False
Let p be (-5)/(20/(-24)) + 26696. Suppose -36*w + 2026 = -p. Is 14 a factor of w?
True
Let h(b) = 33*b + 39*b - 44*b - 7 + 11*b. Let d be h(3). Suppose 8*z = 7*z + d. Does 51 divide z?
False
Suppose -7*z = 20 - 62. Suppose -z*k = -10*k + 1280. Does 20 divide k?
True
Suppose -16*w + 29*w = 26. Suppose -r - 1669 = -w*k, -4*r - 492 - 332 = -k. Is 19 a factor of k?
True
Suppose -4967 + 921 = -7*q. Suppose 10*z + 2*r = 6*z + q, r = -5. Is 7 a factor of z?
True
Let p be 2/(-4)*(-8 - -164)*-1. Suppose -p = 5*o - 268. Does 3 divide o?
False
Let q(x) = 397*x + 983. Is 88 a factor of q(6)?
False
Let c = -8606 + 9446. Is c a multiple of 15?
True
Let q(f) = -13*f - 67. Let w(z) be the first derivative of z**4/4 + 2*z**3 - 7*z**2/2 - 9*z + 10. Let o be w(-7). Does 46 divide q(o)?
False
Let h(w) = 2*w + 11. Let b(y) = y + 10. Let m(v) = -6*b(v) + 5*h(v). Let k be m(0). Does 7 divide 1/(k/(-15)) + 4?
True
Let a = 95 - 85. Suppose a*x + 341 = -x. Is (-6)/3*x + 3 a multiple of 8?
False
Let q(o) = -2*o**3 + 7*o**2 + 2*o - 7. Let k(l) = 2*l**3 - 7*l**2 - 2*l + 5. Let u(m) = 6*k(m) + 5*q(m). Is u(5) a multiple of 13?
False
Let g(d) = -4*d**3 - 2*d - 2. Let s(m) = -m**3 + m**2 - 1. Let i(f) = 3*f**3 - 5*f**2 - 6*f + 8. Let w(p) = i(p) + 2*s(p). Let q be w(4). Does 18 divide g(q)?
False
Let k(c) = 16*c**2 + 10*c - 13. Let v = -460 - -464. Is 4 a factor of k(v)?
False
Let m be (0 - -8) + -1 + -1 + -1. Suppose 5*h + 1296 = 3*k, -k - 4*h - 1728 = -m*k. Is k a multiple of 20?
False
Let k(d) = 2107*d - 29. Let u be k(-1). Is 3 a factor of u/(-14) + ((-96)/(-28) - 3)?
True
Suppose 0 = 4*t - 21*s + 23*s - 12, 4*t = s + 6. Suppose -3*u + t*m = -692, m - 698 = u - 4*u. Does 14 divide u?
False
Suppose 27*p - 28*p + 15 = 4*a, -24 = -3*a - 5*p. Suppose -g = 5*o - 785, a*g - 6 = o - 147. Is 39 a factor of o?
True
Let f(o) = -o**3 + 2*o**2 + o. Let w be f(2). Let d = 1 + w. Does 7 divide 2 + -11*((d - 6) + 2)?
False
Suppose 1827 + 1108 = 5*q. Let f = -347 + q. Is f a multiple of 24?
True
Suppose -34 = -5*b - 5*a + 16, 0 = 4*b + a - 37. Suppose -2*f - f + b = 0. Suppose -21 = -j + f. Is 9 a factor of j?
False
Let p = 20483 - 15477. Is p a multiple of 18?
False
Let v(c) = 3*c**3 + c**2 + c + 2. Let y be v(-2). Let j = -4 - y. Is j a multiple of 8?
True
Suppose 3*c + 12 = 9*c. Let p = 1 + c. Suppose -2*j + p*r - 30 = -168, 0 = -4*r - 8. Does 11 divide j?
True
Let c be (40/(-24))/((-1)/3). Let g(n) = -n**3 + 13*n**2 - 6 - 9 - n - c*n - n. Is g(12) a multiple of 9?
True
Let o(z) = z**3 + 15*z**2 + 7*z - 15. Let y = 375 + -383. Is o(y) a multiple of 18?
False
Suppose -3*u + 6*u = -4*r + 928, -3*r = -3*u + 942. Suppose -5*w = -688 - u. Is 25 a factor of w?
True
Let z be -1 - (-162)/(-15)*1*5. Let x = z - -61. Let q(h) = 2*h**3 - 6*h**2 + h - 18. Is 34 a factor of q(x)?
True
Suppose 5*m - 2*n - 5656 = 5357, -2*m + n + 4406 = 0. Is m a multiple of 10?
False
Suppose 1240 = 8*l - 2344. Let v = l - 241. Does 9 divide v?
True
Suppose a - 126 = -2*a. Let x be (-109 - -114)*138/15. Suppose -x*s + a*s = -220. Is 11 a factor of s?
True
Let d(x) = 8*x**3 + 5*x**2 + 6*x - 3. Let w be d(5). Suppose -12*q = -240 - w. Is q a multiple of 22?
False
Suppose 2*w - 10492 = -4*g, 0 = 732*w - 737*w - 5*g + 26230. Is w a multiple of 86?
True
Let u(m) = -15*m - 5. Let f(g) = -7*g - 3. Let l(w) = 13*f(w) - 6*u(w). Let s be l(-7). Let i = 14 - s. Does 8 divide i?
True
Suppose -h - 45 = -53. Let c be (3/24*-6)/((-2)/h). Suppose -c*t + 9*t = 894. Is 27 a factor of t?
False
Suppose -56204 = -4*d + 5*r, 0 = 3*d + r - 11312 - 30860. Does 14 divide d?
True
Let k(o) = 3*o**2 + 111*o + 810. Is 12 a factor of k(-47)?
True
Suppose -3*d - 5 = -4*d. Suppose 0*t + d*t = n + 35, -t + 4*n + 7 = 0. Does 6 divide 9/(-14)*-12*t?
True
Suppose 174 = -8*x - 634. Does 2 divide (-3)/((-9)/(-15)) - x?
True
Let n(c) = c**2 - 9*c. Let a be n(8). Let h(f) = -f**2 - 6*f + 27. Let d be h(a). Suppose -17*z = -d*z - 78. Is 8 a factor of z?
False
Suppose -892 = -4*o + 188. Suppose 33*d = 34*d - o. Is 28 a factor of d?
False
Let x = 292 + -23. Suppose 4*p = -5*v + x, -p - 335 = -6*p - 5*v. Suppose p = -2*l + 432. Does 17 divide l?
False
Let r be (2460/40)/((2/2)/(-2)). Let w = r - 199. Let p = w - -532. Is p a multiple of 35?
True
Suppose -x - 9 = -13. Suppose v = x*m + 26, -4*m + 4 = 12. Let k = v + -2. Is 14 a factor of k?
False
Let y = 51 + -41. Let j be (y/25)/(2/180). Let m = 78 - j. Is 26 a factor of m?
False
Let w(z) = 3*z**2 + 132 + 8*z**3 + 2*z**2 - 120 - 2*z. Is 35 a factor of w(3)?
False
Let y be (2 + 174/(-5))*-5. Suppose -4*v - 96 = -3*v + 5*r, 0 = v + 4*r + 99. Let z = v + y. Is z a multiple of 9?
False
Let l be 3/21 + (-41)/(-7). Is 9 a factor of ((-51)/l - -6)*74/(-1)?
False
Suppose h + 3*w + 1 + 5 = 0, 5*h = 5*w + 10. Suppose h*f - 291 = -3*f. Suppose 7*b - 309 - f = 0. Is 9 a factor of b?
False
Let h = 103400 + -63785. Is 19 a factor of h?
True
Let u(t) = t**3 - 13*t**2 + 12*t + 16. Let o be u(12). Suppose -5*v + v = -o. Suppose -v*f = -2*q + 40, 4*q + f + 3*f = 56. Is 6 a factor of q?
False
Suppos