k(d) = 13*d**3 + 6*d**2 - 2*d - 40. Is k(4) a multiple of 20?
True
Does 16 divide (31/2)/(7*(-13)/(-5642))?
False
Let w(n) = 3*n**2 + 3*n - 24. Does 16 divide w(8)?
True
Let l(p) = 12*p**2 - 2*p + 8. Let o(b) = -24*b**2 + 4*b - 16. Let j(t) = 5*l(t) + 2*o(t). Is 33 a factor of j(4)?
False
Let w(r) = 6*r**2 + 8*r - 1054. Does 31 divide w(24)?
False
Let p(x) = -x**3 - 2*x**2 - x. Let g be p(-5). Suppose -l = -5*l + g. Is l a multiple of 9?
False
Let v = -600 - -1467. Does 7 divide v?
False
Let u(l) = 37*l**2 + 26*l - 140. Is u(5) a multiple of 3?
True
Suppose 29*u - 15*u - 1820 = 0. Is u a multiple of 5?
True
Let a(z) be the third derivative of -z**6/120 - z**5/12 + z**4/6 + z**3/6 - 4*z**2. Let d be a(-6). Suppose 0 = -i + 41 - d. Is 10 a factor of i?
False
Is 23 a factor of (-2046)/55*-20*5/6?
False
Suppose -11*j + 1627 = -155. Is 8 a factor of j?
False
Suppose -3*a = 15, -5*r - 3*a - 440 = -5*a. Let d = 139 + r. Suppose -2*x - p = -134 + d, 4 = -4*p. Does 12 divide x?
False
Let y(l) = 2*l**3 - 9*l**2 - 11*l + 30. Is y(7) a multiple of 9?
True
Let w(b) = b**2 - 7*b + 32. Suppose -52 = -2*q - 5*t, q - 2*t = -t + 12. Is w(q) a multiple of 16?
True
Let q = 14 + -25. Let t(l) = -l**2 - 13*l - 4. Let m be t(q). Is 10 a factor of ((-51)/m)/((-1)/6)?
False
Let g be 1/((-2)/184) - -2. Let c = -39 - g. Suppose -w + c = 2*w. Is 7 a factor of w?
False
Let d(s) = -21*s + 11. Let z be d(4). Let f = -145 - -22. Let p = z - f. Does 13 divide p?
False
Let n = 1758 + -1071. Does 43 divide n?
False
Let f = 419 + -411. Does 5 divide f?
False
Let y be 4/(-3*5/120). Let v(q) = -q**2 - 5*q + 6. Let s be v(-7). Let o = s - y. Is o a multiple of 6?
True
Let r(q) = -18*q - 3. Let m be r(6). Let k = 223 + m. Is k a multiple of 16?
True
Suppose 15 = -4*n - 17. Let a be (n + -26)/(1/(-2)). Suppose -x = 5*w - 13, -2*w - a = -2*x + 2*w. Is x a multiple of 14?
True
Let d(u) = 37*u**2 - 46*u - 172. Is d(-6) a multiple of 23?
False
Suppose 5*i = 4*u + 1030, -i - 51 = -u - 257. Suppose 3*a + 2*s = i, 4*a - 286 - 4 = 5*s. Does 10 divide a?
True
Let d = -12 - -13. Is 7/((-21)/(-6)) - (-109 + d) a multiple of 11?
True
Let m be -24*(-5)/60*-9. Is 4 a factor of (-2)/(-2) + m/(-6)?
True
Let o(t) = -10*t - 29. Does 22 divide o(-13)?
False
Let l = 865 - 192. Does 17 divide l?
False
Suppose 4*t + 6*u = 4*u - 878, 4*t - 3*u = -873. Let x = -100 - t. Is 16 a factor of x?
False
Let r = -14 - -16. Suppose -3*p - 7 = -2*x, -4*x + r*p + 14 = 4. Suppose 0 = 2*a + d - 68, 164 = 5*a + 3*d - x*d. Does 16 divide a?
True
Suppose 3*h = k + h - 183, k = -5*h + 155. Suppose c - k = -0*c. Is c a multiple of 35?
True
Suppose 0 = 5*h + 5*m - 230, 0*h + h - 42 = m. Is h a multiple of 22?
True
Let y(z) = z + 2. Let u be y(8). Is 36/u + (-2)/(-5) a multiple of 2?
True
Suppose 5*f - 3*u - 20 = 0, 4*f - 8 = 2*f - 2*u. Suppose -3 = -3*j, v - f*v + 149 = -j. Is v a multiple of 10?
True
Is 36 a factor of 25/5 - (-386 - 1/1)?
False
Let p(b) = -b**3 - b**2 - b - 4. Let c be p(-3). Suppose -c = -3*j + 61. Is 7 a factor of j?
False
Let v(i) = 5*i + 95. Is v(8) a multiple of 5?
True
Suppose 2*l = -3*l + 35. Is 5 a factor of ((-24)/l)/(1/(-7))?
False
Let l(c) = -c**3 + 14*c**2 + 4*c + 13. Is l(13) a multiple of 26?
True
Suppose -5*j + 0*j = -3*k - 3323, -5*j - 2*k = -3343. Is j a multiple of 13?
False
Let x = -8 - 16. Is ((-16)/x)/(1/144) a multiple of 16?
True
Let k(a) = a**2 + 12*a. Let i be k(-12). Suppose 2*j - 6 = i, -2*y - 2*j = -7*y - 126. Let p = -10 - y. Is 10 a factor of p?
False
Let q(z) be the second derivative of 16*z**4/3 + 3*z. Does 16 divide q(1)?
True
Let c be (-4)/26 + (-4)/(-26). Suppose c = -2*j + 11 - 3. Suppose -y + 4*u = 12, 0 - 8 = -j*y + 2*u. Does 4 divide y?
True
Is 23 a factor of -102*(4 + 87/(-9) + 3)?
False
Let g(u) = -u - 8. Let s be g(-13). Suppose 8 = -4*w - q - 51, 0 = -s*q + 25. Let r = w - -25. Is 8 a factor of r?
False
Let q(b) = b**2 - 3*b + 4. Let l be q(3). Suppose 3*s + 2*s = -u, -l*s + 11 = 3*u. Suppose 5*c - 162 = -u*r + 3*c, -2*c + 34 = r. Does 16 divide r?
True
Let o(d) = 6*d**2 - d**2 + 8*d - 3*d**2 - 5 + 19*d. Is o(-19) a multiple of 17?
True
Let o(d) = d**3 - 3*d**2 + 2*d - 6. Let i(s) = s + 14. Let w be i(-9). Is 29 a factor of o(w)?
False
Does 45 divide (-13)/((-182)/588)*300/7?
True
Let x(y) = -3*y + 4. Let i be x(3). Suppose -31*g + 90 = -21*g. Let j = g + i. Does 2 divide j?
True
Let i(a) = 10*a - 52. Let r(w) = 22*w**3 + 2*w**2 - 2*w + 1. Let n be r(1). Is i(n) a multiple of 57?
False
Suppose 5*c + 10 = -5*l, -l - 10 = -c + l. Does 19 divide 158*(1 + (-3)/c)*-1?
False
Suppose 7*a = 476 + 7. Is a a multiple of 3?
True
Suppose -6*i + 7*i = 0. Suppose i = -2*l + 44 - 8. Is l a multiple of 6?
True
Let u = -298 - -166. Let y be 2/(4/6) - 55. Let w = y - u. Is 16 a factor of w?
True
Let a(n) = -2*n**2 + 0*n**2 + 36*n - 16*n + 14*n**3 - 19*n. Does 12 divide a(1)?
False
Suppose 3*x - 581 = 5*j, -x + 5*j + 187 = 10*j. Does 19 divide x?
False
Let p(y) = 15*y**2 - 10*y + 11. Is 83 a factor of p(10)?
True
Suppose 4*k + 37 - 97 = 0. Is (-4)/10 + 126/k a multiple of 8?
True
Suppose 2*z - 6*z + 465 = 5*x, -3*z = 5*x - 345. Suppose 0 = -2*v - 3*h + z, 0 = 4*v - h + 3*h - 232. Does 19 divide v?
True
Suppose 2*b + 4*v = 46, -2*b = 3*b - 4*v - 129. Suppose -b*k + 21*k = -244. Let l = -31 + k. Is l a multiple of 15?
True
Let f(s) = 16 - s**2 + s - 3*s**3 + 8 - 2*s**3 + 9*s**3 - 3*s**3. Let x be 0*((-3)/(-2) - 1). Is 12 a factor of f(x)?
True
Let l(o) = -o**3 + 3*o**2 + 3*o + 3. Let c be l(5). Let g = c + 88. Does 28 divide g?
True
Suppose 4*a = 5*p + 13, 0*p + 2*p + 12 = 5*a. Suppose a*x = 1 - 11. Let i = x - -20. Is 8 a factor of i?
False
Suppose 0 = -b + 3*g + 10, -2*b + 3*g + 28 = g. Let q = 12 - b. Let w(u) = 3*u**2 - 2*u - 5. Does 11 divide w(q)?
False
Let b = 55 + -56. Let g(o) = -116*o**3 - 3*o - 2. Is g(b) a multiple of 23?
False
Suppose 2*n + n = -z + 7, 4*n = -3*z + 11. Let l(b) = n - 7*b - 1 - 6*b. Is l(-2) a multiple of 5?
False
Let t = -40 - -105. Let n = -30 + t. Does 35 divide n?
True
Suppose 0 = 5*y - 5*b + 25, 2*b + 50 = -4*y - 0*b. Let w be y/(-65) + 557/13. Let g = w + 8. Is g a multiple of 6?
False
Let w(b) = -b**3 - 5*b**2 - 2*b - 13. Let p be w(-6). Suppose -p*h + 30*h = -45. Is 2 a factor of 9 - 4/12*h?
True
Let y(g) = 33*g - 84. Is y(8) a multiple of 5?
True
Let q = -228 + 326. Suppose -2*f + 210 = 3*u, 3*u - q - 115 = -3*f. Is 4 a factor of u?
True
Let v(i) = -4*i - 3. Let a be v(-2). Suppose -13 = -a*g + 287. Let f = 94 - g. Is f a multiple of 11?
False
Suppose -23*n + 11720 = -13*n. Is n a multiple of 54?
False
Let p = 121 + 38. Suppose 2*f + 5*r - 71 = 0, -2*f + 5*f - 3*r - p = 0. Does 13 divide f?
False
Let f(i) be the third derivative of i**5/30 - 5*i**4/12 - 2*i**3/3 - 32*i**2. Is 25 a factor of f(11)?
False
Let y = -1645 + 1821. Is 6 a factor of y?
False
Suppose 0 = -3*a - m - 12, m = -m. Let q = a + 24. Is 10 a factor of q?
True
Let y be 0 + -1 + -4 + 8. Suppose 2*z = -y*k - 0*z - 273, 4*z = 12. Let t = 204 + k. Is 13 a factor of t?
False
Suppose -2*n = -3*w + 416, 4*w + 3*n = 258 + 308. Does 7 divide w?
True
Let j be (-9)/(-2)*8/(-6). Let s(c) = c + 8 - 3*c - 4*c. Is s(j) a multiple of 22?
True
Let l = -349 + 1545. Does 36 divide l?
False
Suppose 0 = 17*j - 13*j - 492. Is 16 a factor of j?
False
Let i(o) = o**3 - 14*o**2 + 3*o + 16. Let f be i(14). Is 3/1 + (f - 1) a multiple of 15?
True
Let r(u) = -u**3 + 10*u**2 - 7*u - 16. Is r(8) a multiple of 4?
True
Let q(b) = 496*b - 110. Is 14 a factor of q(2)?
True
Let w = -324 + 229. Suppose -10*d = 437 - 2387. Let s = d + w. Does 18 divide s?
False
Let h be ((-658)/(-35))/((-1)/(-30)). Suppose -r = -4*r + h. Is r a multiple of 21?
False
Is (4/3)/(13/1014) a multiple of 16?
False
Is 4 a factor of ((-191)/12*3)/((-2)/8)?
False
Let m be 46/14 + (-4)/14. Suppose 0*t = m*t - 87. Does 12 divide t?
False
Suppose 0 = -5*d, 0*s + 2*s = -3*d + 104. Let x be (-12)/30 + 7884/10. Is (-4)/26 + x/s a multiple of 15?
True
Let a be (-8)/12 - 10*(-8)/(-6). Is 4 a factor of 6/(-14) + (1 - 384/a)?
True
Let x(c) = -20*c - 2. Let y be x(3). Let u = y - -84. Is 3 a factor of u?
False
Does 18 divide ((-11)/(-7) - -1)*98?
True
Suppose -3534*g + 12024 = -3531*g. Is 12 a factor of g?
True
Let c = 3348 + -1685. Is c a multiple of