the first derivative of -23*s**2 + 2*s - 1. Suppose 5*x - 6 = -4*w + 10*x, 0 = -5*x - 10. Is k(w) a multiple of 24?
True
Suppose -5*j + 3567 = 962. Suppose 3*o + 3*z - 375 = 0, 0*z - j = -4*o + 3*z. Does 16 divide o?
True
Suppose 0 = -5*n + 7 + 3. Suppose -r - 3*b + 65 = -n*b, -b + 254 = 4*r. Is 7 a factor of r?
True
Suppose -5 = 7*c + 9. Is 0 + 65 + (-2)/c a multiple of 11?
True
Suppose 0 = 157*b - 144*b - 2938. Is b a multiple of 10?
False
Suppose -2*m - 3*m = -10. Suppose -3*a - m = 4. Does 20 divide (a/3)/(2/(-195))?
False
Suppose 5*x = -0*f - 5*f + 30, 2*x + 9 = 5*f. Let u be x + -3 + -3 + -1. Does 21 divide 25*(-4)/(1*u)?
False
Suppose -2*t - 3*g + 24 = 0, 4*t - 5*g - 17 = t. Suppose t = 10*z - 7*z. Suppose -2*q = z*q - 60. Is q a multiple of 5?
False
Let u(p) = 150*p - 57. Is u(4) a multiple of 19?
False
Let y(v) = -v**3 + 5*v**2 + v - 4. Let g be y(5). Let n(f) = 1 - g - 4 - 9*f. Is n(-5) a multiple of 20?
False
Let g = 10 - 10. Suppose 0*i + i - 39 = g. Let n = 55 - i. Is n a multiple of 16?
True
Let k(w) = -w**2 + 9*w - 2. Let f be k(9). Is (5/(-15))/(f/102) a multiple of 3?
False
Suppose 2*j + 2*x - 14 = 0, -j + 3*x + 27 = 2*j. Let o(y) = y**2 - 7*y - 8. Let b be o(j). Let l = 31 + b. Does 11 divide l?
False
Let a(x) = 5*x**2 - 37*x - 9. Is a(11) a multiple of 21?
True
Suppose 0 = -3*j - 3*v + 2982, 0*v = -5*j + 4*v + 4979. Does 18 divide j?
False
Let l(w) = -w**2 + 10*w. Suppose -3*c + 5*z = 10, 4*c - 5*z + 6 = -2*z. Suppose c = -p - 0 + 8. Is l(p) a multiple of 6?
False
Let r be 66/15 - (-8)/(-20). Suppose -5*d + r*d = -11. Suppose f = 13 + d. Is 12 a factor of f?
True
Is 3012/28 + 9/21 a multiple of 12?
True
Let h be ((-20)/(-5))/4*-75. Let q = h - -185. Does 10 divide q?
True
Let a(j) = 68 - j**3 + 21*j - j**3 + j**3 - 20 - 20*j**2. Is 6 a factor of a(-21)?
True
Let p(k) = 8*k + 3*k**2 - 4*k**2 - 4*k**2 - k**3 + 0*k**3. Let u be p(-7). Suppose 2*v = u - 10. Is 4 a factor of v?
True
Suppose 0 = 6*w - 62 + 26. Suppose -w*u + 50 = -u. Does 4 divide u?
False
Suppose 368 = -4*b + 6*b. Suppose 32 = -r + b. Let v = r - 92. Is v a multiple of 28?
False
Let y(t) = -28*t + 1. Let n be y(2). Is (1008/10)/2 - (-22)/n a multiple of 17?
False
Does 48 divide (4 - 9)*3/((-30)/1912)?
False
Let f(p) = 18*p - 2*p**2 - p**3 + 29 - 11 - 11 - 2*p**2. Does 2 divide f(-7)?
True
Let q(p) = 330*p**2 + 24*p + 96. Is q(-4) a multiple of 16?
True
Suppose -2*z = 2*j + z - 11, 0 = -j + 4*z + 22. Suppose 9*p + 298 = j*p. Does 12 divide p?
False
Let w = 1 - 1. Suppose w = -4*m + 2*m + 210. Is 21 a factor of m?
True
Let t(w) = 0*w + 11*w**2 - 2*w**2 + w + 8*w**2. Let y be t(1). Is y + 4 - (0 + 4) a multiple of 14?
False
Let r(d) = 4*d**3 - 6*d**2 + 10*d. Is r(3) a multiple of 19?
False
Suppose -1987 - 873 = -22*s. Is s a multiple of 13?
True
Let z(f) = -f**3 - 12*f**2 + 14*f + 13. Let r be z(-13). Suppose -x - 7 - 36 = r. Is (-21)/7 - (x - -1) a multiple of 14?
False
Let f = 56 + -51. Suppose -v - 5*i + 370 = v, -925 = -f*v + 2*i. Does 22 divide v?
False
Let k(t) = -t**2 + 9*t - 10. Let d be k(8). Let u = -8 + d. Let c(g) = -g**2 - 12*g + 10. Does 10 divide c(u)?
True
Suppose 0*f + 8736 = 13*f. Does 31 divide f?
False
Suppose -4476 = -5*z - 2*n, 5*z - 2*n - 1815 - 2649 = 0. Is z a multiple of 6?
True
Let r(f) = 16*f + 2. Let n be r(1). Let k(b) = -b**2 + 21*b - 42. Is 2 a factor of k(n)?
True
Let i be (-7 - (-28 - 0)) + 1 + 2. Does 22 divide (-8)/i*(0 - -6)*-26?
False
Suppose 18*h + 15 = 21*h. Is (h - (-11)/(-3))/(4/234) a multiple of 6?
True
Let m(x) = -x**2 + 6*x - 6. Let p be m(3). Suppose -304 = -p*d - d. Is 20 a factor of d?
False
Suppose -2*v + 312 = v. Suppose q - 4*r - 77 = -15, 2*r - v = -2*q. Suppose -q = 5*w - 159. Does 14 divide w?
False
Let s = -476 - -699. Suppose -o + 6*o = 2*g - 394, 4*o - s = -g. Does 23 divide g?
True
Let h(l) = l**2 - 46*l - 303. Does 37 divide h(-24)?
False
Suppose 0 = -0*q - q + 35. Suppose -3*x + d = -5*x + 4, 3*x = -3*d + 12. Suppose x*k = 5*k - q. Does 5 divide k?
False
Let j(g) = 22*g**2 - 4*g + 10. Let v(r) = 66*r**2 - 12*r + 29. Let x(d) = -17*j(d) + 6*v(d). Is x(2) a multiple of 13?
False
Suppose -5*d + 2559 = 3*a, -8*a - 3438 = -12*a + 2*d. Does 26 divide a?
True
Is (-13 - 1435/(-21))*27 a multiple of 43?
False
Suppose -4*b = -3*w - 166, 4*b - w = -6*w + 182. Let g = b + 190. Is 61 a factor of g?
False
Suppose -l + 1515 = 4*l. Let k = l + -212. Is 13 a factor of k?
True
Let t = 90 + 103. Let i = t + -163. Is i a multiple of 15?
True
Suppose 12*u = 17*u - 20. Let g be 1 + (-1)/(-2)*136. Suppose -g = -f - f + 3*b, -4*f + u*b + 148 = 0. Is f a multiple of 37?
False
Let z(f) = -132*f - 410. Is 8 a factor of z(-5)?
False
Let c = 10 + -7. Let v(a) = -a**3 + 6*a**2 - 3*a + 3. Does 3 divide v(c)?
True
Is (-2 - -23)/(33/308) a multiple of 14?
True
Let n(a) = -185*a + 5. Let r = 92 + -93. Does 7 divide n(r)?
False
Suppose 0 = 2*q - 5*o - 9966, 4*q - o - 24895 = -4945. Is 13 a factor of q?
False
Let r = -35 + 35. Suppose -3*b = -2*d - 137, r*d - d - 45 = -b. Is b a multiple of 23?
False
Let w be 2*2/10*10. Suppose 0 = 4*b - 3*v + 5*v - 160, 0 = v + w. Does 4 divide 1/((-123)/b - -3)?
False
Let k be ((-2)/4 - (-91)/14)/(-1). Does 32 divide 6068/24 + 3 + (-1)/k?
True
Let i(m) = m + 5. Let l be i(-5). Does 12 divide l - -97 - (3 + -7)?
False
Suppose 0 = -29*n + 3914 + 16473. Is n a multiple of 63?
False
Let n be (-32)/80 - (-24)/10. Suppose -5*c + 908 = n*z, 4*c = -c - 5*z + 920. Is 12 a factor of c?
True
Suppose -30*d + 9*d = -30366. Is d a multiple of 114?
False
Let x(k) = k**2 - 6*k - 2. Let i be x(6). Let a be -65 + (1 - (i - 0)). Let u = -17 - a. Does 16 divide u?
False
Suppose -14*d + 897 = -55. Is d a multiple of 4?
True
Let t be 2/4*(0 + -12). Let o(p) = 2*p**2 + 5*p - 18. Let i(d) = -d**2 - 3*d + 9. Let v(u) = 5*i(u) + 2*o(u). Is 2 a factor of v(t)?
False
Suppose 6*j - 3080 = -4*j. Suppose t + j = 3*t. Does 22 divide t?
True
Suppose -93*q + 74*q + 50160 = 0. Is 120 a factor of q?
True
Suppose -2*a + 38*a - 23940 = 0. Is 19 a factor of a?
True
Let j be ((-5)/2)/((-5)/10). Suppose -9 + 134 = j*c. Is -2 + c + (-1)/(-1) a multiple of 12?
True
Suppose -b + 2004 = 5*n + 2*b, 3*n - 1212 = -5*b. Is n a multiple of 21?
True
Let c(j) = -61*j**3 - 4*j**2 - 9*j + 9. Let h(k) = -15*k**3 - k**2 - 2*k + 2. Let x(i) = 2*c(i) - 9*h(i). Let w be x(-1). Is (119/(-28))/(1/w) a multiple of 31?
False
Let c(r) = 3*r**2 + 15*r + 102. Is c(-17) a multiple of 51?
True
Is (-4)/(-7) + -16*5262/(-56) a multiple of 22?
False
Let i = 105 + 66. Is i a multiple of 4?
False
Suppose 0 = -2*z + 3*v - 2, 2*v = -z - 3*v + 25. Suppose 0*b + b - 43 = -z*k, 25 = 3*k + b. Suppose -k = -2*h + 9. Does 9 divide h?
True
Suppose -j - 2*j = -12. Suppose 2*u = m - 2*m, 0 = 3*m + 4*u - 4. Suppose 3*h + 0*h = g + 8, -5*h + j = -m*g. Is g a multiple of 3?
False
Let o(h) = 60*h + 84. Is o(4) a multiple of 27?
True
Suppose i + 3*t = -0*t + 33, -58 = -2*i - 4*t. Suppose g = -0*v + 2*v - i, g = -5*v + 56. Does 11 divide v?
True
Let w(f) = 84*f + 242. Is 46 a factor of w(13)?
True
Let i(k) = -2*k**3 + 2*k + 7. Is i(-2) a multiple of 19?
True
Suppose 2*a - 2*b = b - 109, -5*a + b = 292. Suppose 58*z = 42*z + 1712. Let p = a + z. Is p a multiple of 8?
True
Suppose 4*z - 22 = -s, 3*s = z - 18 + 6. Let k be (-4)/z + (-8)/(-3). Suppose k*j - 4*j = -22. Is j a multiple of 11?
True
Suppose 19 = j + 3*z, 5*j - 2*z + 18 = 79. Is j a multiple of 9?
False
Is 41 a factor of ((-895)/(-25) + -3)*105/6?
True
Let h be 170/30 + 4/(-6). Let p = -6 + h. Is 3 a factor of (-1 - -4 - 10)*p?
False
Suppose 5*r - f - 35 = -0*f, -5*r - f = -45. Let o be (r/20)/((-1)/35). Let s = o + 37. Does 11 divide s?
False
Let u(w) = 5*w**2 - w + 3. Suppose 3*f + 2*v - 2 = 0, 2*v + 16 - 6 = 0. Let q be (-3)/(f/(-8)*3). Does 7 divide u(q)?
True
Let c = 97 + -127. Suppose q = -1 - 19. Let r = q - c. Is 5 a factor of r?
True
Suppose 3*v - 2*q = 2*v + 384, 5*v = 2*q + 1904. Is 10 a factor of v?
True
Let r(n) = n**3 - 11*n**2 - 13*n - 1. Does 8 divide r(13)?
True
Suppose -1978 - 1718 = -11*m. Is m a multiple of 14?
True
Let u = 155 + 13. Is 8 a factor of u?
True
Suppose -361*c = -367*c + 3936. Is c a multiple of 16?
True
Let k(u) = 216*u - 31. Is k(4) a multiple of 35?
False
Let d = -171 + 361. Suppose 4*q - d = -3*