et d = -15 - -14. Let s = d + 6. Suppose s*u + 65 = 5*k, 0 = -6*k + k + 3*u + 63. Is 4 a factor of k?
True
Let n(d) = 9*d**2 - 15*d + 1. Let w be n(5). Suppose -37 = 3*k - w. Is k a multiple of 12?
False
Let m(o) = -o - 2*o + 3*o**2 + o - 2. Let k be m(-1). Does 14 divide 39/k + 3 - 2?
True
Does 7 divide (-112)/6*63/(-12)?
True
Suppose 4*o - 343 = u, 10*u = -2*o + 14*u + 154. Is o even?
False
Suppose -7*f + 6*f = -515. Does 19 divide f?
False
Let x be -424*(-2)/6*3. Suppose 5*v = x + 101. Is 21 a factor of v?
True
Suppose -7 = -4*y - 23. Let r(m) = m**2 - 7*m - 5. Is 13 a factor of r(y)?
True
Suppose -t + 99 = -3*o, 0 = -15*t + 10*t - 3*o + 423. Is 9 a factor of t?
False
Let m(s) = -s**2 + 4*s + 3. Suppose 2*p - 15 - 3 = 5*g, -5*p + 28 = -4*g. Let b be m(p). Suppose 3*a + b*a - 558 = 0. Is a a multiple of 31?
True
Let v(g) = g**2 + 4*g. Let r be v(-3). Let k(o) be the third derivative of -o**6/60 + o**5/20 + o**4/8 + o**3/6 + 62*o**2. Is 24 a factor of k(r)?
False
Suppose f = 4*f. Suppose f = -3*g + 8*g - 190. Is 8 a factor of g?
False
Let f(g) = g**2 - 4*g + 6. Let u be f(4). Suppose -u = -5*x - 1. Does 12 divide 3/(20/17 - x)?
False
Let u = -19 + 26. Suppose u*a - 269 = 151. Is 10 a factor of a?
True
Suppose 9*s = 10*s - 16. Let w = 4 - 7. Does 8 divide s + (w - (3 - 6))?
True
Let s(m) be the third derivative of 25*m**4/12 + m**3/3 + 16*m**2. Is 13 a factor of s(1)?
True
Let y(p) = -7*p - 25. Let t be y(-11). Suppose 0 = -o + 5*i - 0*i + t, -5*o + 3*i + 216 = 0. Is o a multiple of 14?
True
Suppose t - 4*w = -12, t - 3 + 11 = 3*w. Suppose -a = 5*f - 16, -a - t*f = -5*a + 160. Is a a multiple of 18?
True
Let s(x) = x**3 + 4*x**2 - 7*x - 4. Let l be s(6). Suppose -4*i + 286 = -l. Is 15 a factor of i?
True
Let j be -1*7 - (-14)/14. Let q = 4 - j. Is 4 a factor of q?
False
Suppose -3*z - k = -1417, -2*k - 2847 = -5*z - 478. Does 43 divide z?
True
Let h(y) = 2*y + 8. Let w be h(8). Let l be 2/4 - (-228)/w. Suppose -8*z - 42 = -l*z. Is 18 a factor of z?
False
Suppose 5*m + 3*o = -0*o + 822, 2*m - o = 320. Suppose m = 3*a - a. Is a a multiple of 15?
False
Let k(c) = 2*c - 16. Let d be k(13). Suppose 2*n = n - d. Let w(u) = -u + 2. Is w(n) a multiple of 12?
True
Suppose -4 = o - 54. Suppose -o = -s - 0*s. Suppose -5*u + s = -4*u. Is 13 a factor of u?
False
Suppose -5*u + 17 - 7 = 0. Let y(s) = -4*s**2 + 11*s**2 + 2*s + u - 5 - s**3 + 0*s**3. Is y(6) a multiple of 15?
True
Let y(u) = u**2 + u**2 + 169*u**3 - 29*u**3. Is y(1) a multiple of 13?
False
Suppose -y = -2*k - 258, -y + 0*y - 4*k = -252. Is y a multiple of 64?
True
Let y(b) = 7*b**3 + 11*b**2 - 6*b - 19. Let p(n) = 6*n**3 + 10*n**2 - 5*n - 19. Let w(c) = -6*p(c) + 5*y(c). Does 11 divide w(-6)?
True
Suppose 3*u - 3332 = 5*i + 435, -u - 3*i = -1251. Is u a multiple of 22?
True
Is -11 + (-7 - 3 - -1847) a multiple of 10?
False
Suppose -3*x = -12, -x = 5*g + x - 18. Suppose 3*i = 2*i + 4*l + 2, 0 = 5*i + g*l + 12. Is 15 a factor of (-86)/i + 1/1?
False
Is (60/(-18))/(1/(-18)) a multiple of 5?
True
Let j(o) = -2*o + 31. Is 6 a factor of j(-9)?
False
Let w(l) be the first derivative of -5*l**2/2 + 6*l + 4. Let m be w(-5). Suppose m = 3*f - 2*f. Is 18 a factor of f?
False
Let c(v) = -412*v - 2. Is c(-2) a multiple of 12?
False
Let m(s) = -2*s + 17. Let b be -18 - (-3)/(-2 + -1). Does 8 divide m(b)?
False
Suppose -i = -1, 0*i - 4*i + 6 = -2*w. Let d be (80/(-50))/(1/(-10) - 0). Let l = w + d. Is l a multiple of 5?
True
Let q = -14 + 24. Let k = 100 + -60. Suppose q - k = -3*v. Is v a multiple of 7?
False
Let o(g) = 2*g - 13. Let i be o(8). Suppose -3*w = -4*d + 116, 58 = d + d - i*w. Does 6 divide d?
False
Suppose 3*m + 2*l - 5*l = 774, 0 = l - 1. Let f(x) = -x**2 - 3*x + 4. Let n be f(-3). Is 16 a factor of m/n + (-4)/(-16)?
False
Let l = 8 + 3. Let b = -16 + 33. Let w = b - l. Is 3 a factor of w?
True
Does 16 divide (-596)/(-2) - 36/(-6)?
True
Suppose -4*r = -a + 2*a + 15, 2*a + 5 = -3*r. Suppose a*i - 3*i = 4. Suppose 3*m = i*z - 12, 24 = -z + 5*z + 4*m. Is 3 a factor of z?
True
Let g(b) = -b**3 - 21*b**2 - 32*b - 114. Does 5 divide g(-20)?
False
Let o(p) = 2*p**2 + 12*p + 2. Let v(u) = -u**3 + u**2 - 3*u + 1. Let q be v(2). Let f be o(q). Let d = f + -14. Is 8 a factor of d?
False
Let j(o) = 41*o - 2. Let d be (-1 - -1)/((-4)/2). Suppose -2 = -2*z - d*z. Is j(z) a multiple of 13?
True
Let q be (-2)/3*(-18)/(-12). Is q/((-35)/10) - (-635)/7 a multiple of 15?
False
Suppose 0 = -5*v - 22 + 7. Is 3 a factor of 24/(-2)*(v + 2)?
True
Suppose 0 = o - 8 + 1. Suppose -16 + o = -3*k, -3*s + k = -36. Does 13 divide s?
True
Suppose -6*t + 7 = -5. Suppose o + 4*z + z = 31, 2*z - 86 = -t*o. Is 20 a factor of o?
False
Suppose 5*w = -2*g - 8, -w - g - 12 = 2*g. Suppose -12 = 4*h, -5*p + 5*h - 4 = -44. Suppose -p*s - 5*v + 50 = w, v + 20 = -3*v. Does 4 divide s?
False
Suppose 5*o + g - 8140 = 0, -6*o + 3*o = g - 4884. Is 74 a factor of o?
True
Let h(f) = 3*f + 22. Let a be h(-7). Let g(x) = 139*x + 2. Is g(a) a multiple of 47?
True
Suppose 0 = 2*u - 0*u. Suppose u*f = f - 5. Suppose -3*c + 4*i = -43, f*i - 27 - 61 = -3*c. Is 7 a factor of c?
True
Let y(x) = 2*x**2 + 27*x + 6. Is 4 a factor of y(6)?
True
Is (-9 + 4 + 2 - 128)/(-1) a multiple of 5?
False
Let a = 218 - 210. Let o = 5 + 23. Does 8 divide a/o + 332/14?
True
Let l = -907 + 2275. Is 36 a factor of l?
True
Let b(d) = 5*d**2 - 8*d + 13. Let r be b(10). Suppose -5*j - r = -3*f, 2*j = 3*f - 218 - 200. Does 17 divide f?
True
Let a be -5*(48/(-10) - 4). Let h be (-4)/(0 + (-2)/a). Suppose -2*z - 18 = -h. Is 30 a factor of z?
False
Suppose 3157 = 5*n + 2*k, 4*n - 4*k - k - 2519 = 0. Does 62 divide n?
False
Suppose 1169 = 5*l - 231. Does 56 divide l?
True
Let r(h) = h**3 - 20*h**2 - 15*h - 66. Is r(25) a multiple of 11?
True
Let n = 1971 + -1545. Is 6 a factor of n?
True
Suppose 5 = -4*h + 5*h. Let s = 37 - h. Is s a multiple of 8?
True
Suppose g = 5*g - 3552. Is g a multiple of 67?
False
Let c = -59 - -53. Is 22 a factor of c*(-3)/24 - 173/(-4)?
True
Suppose 9*d = 4*d. Suppose 0*o - 4*s = -2*o - 54, d = 2*o + s + 44. Let r = o - -42. Is r a multiple of 13?
False
Let s(j) be the third derivative of j**5 + j**4/12 - j**3/6 + 4*j**2. Let y be s(1). Suppose -109 = -2*a + y. Is a a multiple of 17?
True
Let o(j) = 3*j**2 - 2*j - 4. Let t(d) = d**3 - 4*d**2 - 5*d + 7. Let i be t(5). Let x be o(i). Suppose -4*f + 369 = x. Does 15 divide f?
True
Let w(r) = -r - 9. Let t be w(0). Let s be (-3)/9 + 456/t. Let y = s - -98. Does 13 divide y?
False
Suppose c + 3*c = 16. Let a = 1 + c. Suppose -a*d + 28 = -d. Does 7 divide d?
True
Suppose -r + 3*r = -g - 8, -4*g - 2*r - 2 = 0. Suppose -2*t - 2 = 0, -a = -4*a + g*t + 107. Does 6 divide a?
False
Suppose 1575 = 5*c - 5*s, c - 4*s = -c + 628. Is c a multiple of 6?
False
Suppose 540 = 2*z - 4*p, -3*z = -3*p - 551 - 253. Does 14 divide z?
True
Suppose 4*b = 2*f + 302, 8*f = 3*b + 4*f - 224. Let l = 128 - b. Does 20 divide l?
False
Suppose -3*w - 9 = -6*w. Suppose h + v = 0, v + 12 = 2*h - w*v. Suppose -s = 3*k - 177, 5*k - s - h*s - 281 = 0. Is 12 a factor of k?
False
Let r be -3 - -2 - -2 - -10. Let s(p) = 1 + 12*p**2 - 8 - p**3 - 2 - 8*p. Is s(r) a multiple of 24?
True
Is 72 + (-5 - -8) + 5 a multiple of 4?
True
Let g(a) = 9*a**2 + 56*a - 2. Is g(-19) a multiple of 6?
False
Suppose 0 = 5*a - 2*v - 1420, 672 = 5*a - 3*v - 748. Is 36 a factor of a?
False
Is 6 a factor of (6/(-18) - -1) + (-63734)/(-33)?
True
Suppose 19*n = -8305 + 42885. Does 82 divide n?
False
Let w(m) = -m**2 + 8*m + 31. Let o be (-25 - 2)*3/(-9). Let f be w(o). Suppose -3*u = -4*u + f. Is 4 a factor of u?
False
Let a = -1528 + 2421. Is a a multiple of 47?
True
Let p be 90/(-25)*130/(-4). Let k = 260 - p. Is k a multiple of 13?
True
Let w be 3*5/(-15)*-3. Suppose w*o - 202 + 37 = 0. Does 11 divide o?
True
Suppose -3*x - 2*x = k - 84, -2*x + 2*k = -24. Let n = -10 + x. Is ((-9)/n)/(2/(-16)) a multiple of 6?
True
Is (-4770)/(-99) + 4/(-22) + 1 a multiple of 22?
False
Suppose 4*o + 3*r + 20 = 0, -o + 3*o - r = 0. Let k = o - -6. Does 2 divide k?
True
Let r be (-1 - 0) + 1 + 0. Let x(s) = -7*s + 180. Is 15 a factor of x(r)?
True
Let p(z) be the third derivative of z**5/30 - 9*z**4/8 + 8*z**3/3 - 2*z**2. Is 3 a factor of p(14)?
True
Suppose 2 = 2*o - 2. Suppose o