= -5*h**3 + 11*h**2 + 10*h - 20. Let k(j) = -6*j**3 + 11*j**2 + 10*j - 21. Let o(y) = -6*k(y) + 7*x(y). Is o(-9) a multiple of 17?
False
Is 0/(-1) + -12 + 18 a multiple of 3?
True
Suppose 56*s + 27810 = 117186. Does 28 divide s?
True
Let y = 173 + 139. Does 26 divide y?
True
Let s be (-4 - (792 + 0))*-1. Is 16 a factor of (-28)/(-84) - s/(-6)?
False
Suppose -j - 24*q = -13*q - 465, 3 = -3*q. Is 4 a factor of j?
True
Suppose 0*m + 63 = 9*m. Let y = m - -49. Is 9 a factor of y?
False
Suppose z + 23 = 5*p, -3*p + 12 = -3. Suppose -l - 44 = -z. Is 4 a factor of l/(-10) - 4/20?
True
Let c(l) = l**3 + 15*l**2 + 11*l + 15. Is c(-7) a multiple of 11?
True
Let d = 25 - 24. Let x = d - -7. Suppose 3*j - x = 13. Does 5 divide j?
False
Let m(a) be the first derivative of 2*a**3 - 5*a**2/2 - 4*a + 2. Is m(-3) a multiple of 15?
False
Let r(v) = -44*v + 13. Let q(b) = 15*b - 4. Let h(x) = 11*q(x) + 4*r(x). Is 25 a factor of h(-7)?
False
Let m(k) = -10*k + 9 + 5 - 2 + k**2 - 1. Let t be m(9). Suppose -t*v + 5*v - 216 = 0. Is v a multiple of 25?
False
Suppose -2*s = 3*h - 28, 2*h = s + 4*h - 15. Let m = s + 3. Does 2 divide m?
True
Let q(u) = u**2 + 12*u + 16. Let x be q(-11). Let d(g) = g**2 - 5*g. Let h be d(x). Suppose 5*f - 300 = -h*f. Is 21 a factor of f?
False
Suppose 9*y - 1404 = 7632. Is y a multiple of 15?
False
Suppose -3*z + 2*u + 186 = 0, -3*z - u + 261 - 84 = 0. Does 8 divide z?
False
Let s be (0 - (-6)/(-3)) + -8. Let z be 46/s + (-8)/20. Is 23 a factor of 27 + z/(15/6)?
False
Suppose -4*y + 9*y = 0. Suppose 5*p - g - 144 = y, 3*p = 2*g + 37 + 48. Suppose -13 = -3*r + p. Is 14 a factor of r?
True
Let t(l) = -l + 15. Let y be t(10). Suppose 2*x = y*x - 96. Let h = 56 - x. Is 12 a factor of h?
True
Let j = 16 - 12. Let g be (j/6)/((-8)/(-36)). Suppose -f = -g*n + 26, -3*n + 2*f + 42 = 5*f. Does 4 divide n?
False
Let f(r) = 4*r**3 + 11*r**2 + 4*r + 5. Let d(x) = -3*x**3 - 10*x**2 - 4*x - 4. Let i(g) = 5*d(g) + 4*f(g). Is 14 a factor of i(8)?
False
Let d = 600 - -293. Is d a multiple of 27?
False
Suppose 0 = 5*g - 6*g + 2. Suppose -2*o = -2*m - 58, 2*o - g*m + 4*m - 74 = 0. Is 33 a factor of o?
True
Let q(w) = 14*w**2 + 8*w + 20. Does 5 divide q(-2)?
True
Let a(n) = -49*n + 2. Let q be 4/(12/3)*(-1 + 0). Does 51 divide a(q)?
True
Let h be 3 - (3 + 5 + 3). Does 7 divide 28/(-5)*20/h?
True
Suppose -104 = -2*v + 18. Let c(x) = 3*x**2 + 1. Let l be c(1). Suppose 5*t = -l*f + v, f - 14 = 5*t - 6*t. Is 3 a factor of f?
True
Let u(s) = -4 + 4*s + 3*s + 6 - s. Does 2 divide u(2)?
True
Let c be 570/35 - 2/14*2. Suppose 70 = -c*q + 17*q. Does 5 divide q?
True
Let j be 1/1*81/9. Suppose 3*c - c + 2*w = 2, -4*c = -w - j. Does 12 divide 0 + 16 + (0 - c)?
False
Let w = 1169 + -693. Does 68 divide w?
True
Suppose 0 = 5*a + 4*b - 12, -10 = -3*a - 0*b - b. Suppose -a*n = 4*r - 9 - 39, 2*r + 26 = 3*n. Is 5 a factor of n?
True
Let b(l) = -l - 2. Let m be b(-7). Suppose m*d - 98 = 362. Suppose 2*g = 6*g - d. Is g a multiple of 23?
True
Suppose 0*y - 100 = y. Let m be (-9)/(-3)*y/(-3). Suppose -4*v + m = v. Is 9 a factor of v?
False
Let v(d) be the second derivative of -d**3/3 + d**2/2 - 4*d. Let j be v(-3). Let q = j - -11. Is 6 a factor of q?
True
Let x = 20 - 5. Suppose -10*v - 30 = -x*v. Suppose -142 = -v*s + 62. Does 5 divide s?
False
Suppose -5*i - 350 = -6*i + f, -3*i + 2*f + 1048 = 0. Is i a multiple of 29?
True
Let f(n) = 49*n**2. Let t be f(1). Suppose -2*c - 7 + t = 0. Let g = 15 + c. Does 18 divide g?
True
Suppose 116 = -22*z + 26*z. Suppose 4*w - z = -v, w + 2*v + 2*v + 4 = 0. Does 4 divide w?
True
Suppose -4*a + 2*j + 2960 = 0, 0 = -5*j - 6 - 14. Is a a multiple of 66?
False
Suppose -x - 3*f = -1201, 1 = -f - 0. Does 38 divide x?
False
Is (-1216)/(-20) + (-12)/15 a multiple of 36?
False
Let m be (-6)/12 - (-18)/4. Suppose -s + 2 = -m. Suppose -u + s*u = 160. Does 10 divide u?
False
Let r(c) = c**2 + 6*c - 11. Let q be r(2). Suppose f - 110 = q*k, -2*f - k + 86 = -f. Is f a multiple of 18?
True
Let r(b) = b**2 - 13*b - 11. Let p be r(14). Suppose -2*j + p + 3 = 0. Suppose j*d - 87 = -3*g, 0*g - 5*d = 2*g - 55. Does 10 divide g?
True
Does 71 divide 11*(-1)/(-33) + 6346/6?
False
Let l be 2/(8/(-12)) + -13. Let f = l + 33. Does 3 divide f?
False
Let x(s) = -11*s + 0 + 1 - 2 - 1. Is 10 a factor of x(-2)?
True
Suppose b = s - 433 + 52, -2*s = b - 753. Does 9 divide s?
True
Let z = 468 + 7. Does 16 divide z?
False
Let z = 288 - -64. Is z a multiple of 6?
False
Suppose 0*n = 3*n - 15. Suppose -y + 29 = y - 5*h, -3*y + 3*h + 21 = 0. Suppose 0 = 4*s + 4, -y*d + 12 = n*s - 3*s. Is 2 a factor of d?
False
Suppose -3*b + b = -12. Is 9 a factor of 3/b + (-107)/(-2)?
True
Suppose -3*w + 1930 = -1322. Is w a multiple of 49?
False
Let b(a) = a + 3. Let h be b(-4). Let p be -337 + (0/h - 3). Is (-1)/(-2) - p/8 a multiple of 24?
False
Suppose -326 = -4*q - 94. Suppose -7*y - q + 205 = 0. Does 6 divide y?
False
Suppose 4*c + 0 + 8 = 0. Is 14 a factor of ((-2)/1)/c*43?
False
Suppose -b + 7*b - 12 = 0. Suppose d + 2*d = -3*g + 105, b*g = -3*d + 104. Does 6 divide d?
False
Let b = -15 - -45. Let c be 6/b + (-19)/(-5). Suppose -5*i + 160 = -0*w + 3*w, 4*w - 136 = -c*i. Is 12 a factor of i?
False
Suppose -664 = -17*z + 6136. Is 8 a factor of z?
True
Suppose -v + 510 = -4*l, 0 = 6*l - 4*l + v + 258. Let r(n) = n**3 + 7*n**2 + 2*n. Let q be r(-8). Let m = q - l. Does 14 divide m?
False
Suppose 0*v + 4*v - 1640 = 0. Let r(n) = -n**3 + 4*n**2 - 4*n + 9. Let q be r(4). Is 2/q - v/(-14) a multiple of 8?
False
Let x(l) = 66*l - 12. Let u(w) be the second derivative of -11*w**3/3 + 2*w**2 + 11*w. Let g(v) = -14*u(v) - 5*x(v). Does 8 divide g(-2)?
True
Does 77 divide (-6)/(-10) + (-90552)/(-105)?
False
Let h = -23 + 26. Suppose -4 - 11 = -k + 3*l, -2*k + h = 3*l. Is k a multiple of 6?
True
Suppose 0 = 4*q + q - v - 1369, 4*v + 835 = 3*q. Is q a multiple of 21?
True
Suppose 69*q = 3*q + 240768. Does 76 divide q?
True
Suppose 26 = -4*v + 5*h, 5*h + 5 = -5*v - 5. Does 10 divide 81 + 1 - (-8)/v?
True
Suppose -4*n + o - 5*o = -48, 4*n + 2*o - 56 = 0. Let q(i) = 5*i - 39. Is 19 a factor of q(n)?
False
Let s = -12 - -12. Suppose 3*o = -s*w + 2*w - 185, 5*o = -2*w + 225. Does 13 divide w?
False
Let u = 493 + -340. Does 5 divide u?
False
Let i(f) = -f**2 + 12*f - 3. Let l be i(12). Is (l - 72/(-30)) + (-213)/(-5) a multiple of 30?
False
Suppose 3*h - m - 121 = 0, -h - 5*m + 32 = -35. Does 6 divide h?
True
Suppose 4*x - z - 4*z = 2954, 2962 = 4*x - z. Is x a multiple of 54?
False
Suppose 862 - 8512 = -30*u. Does 15 divide u?
True
Let i(t) = -4*t**2 + 18*t - 17. Let g(k) = -7*k**2 + 35*k - 34. Let l(d) = 3*g(d) - 5*i(d). Let a be 14 + 4/(-6)*3. Does 5 divide l(a)?
False
Let t(s) = 4 + 12*s - 10 + 6. Is 6 a factor of t(2)?
True
Suppose -12*s = -3*s - 4788. Does 13 divide s?
False
Let l be (-46)/(-10) - (-36)/90. Suppose l*t - 963 = -278. Is 42 a factor of t?
False
Let l = 19 - 17. Suppose 2*p + 5*d = 162, -3*d - 142 = -2*p + l*d. Is 19 a factor of p?
True
Let r = -12 + 13. Suppose -u - 9 = -5*d + r, -11 = -d + 2*u. Let q = d + 10. Is 7 a factor of q?
False
Suppose 33*j + 133 - 1321 = 0. Does 6 divide j?
True
Let r = -107 + 110. Suppose 5*b - 2*s = 236, -b = -r*s - 24 - 31. Does 8 divide b?
False
Suppose 5*i = 4*n + 10484, 4*i - 8388 = n + 2*n. Is 42 a factor of i?
True
Let c = 125 + -72. Let j = -515 - -658. Let p = j - c. Is 15 a factor of p?
True
Does 64 divide (-49600)/(-25) + 2 + -10?
False
Let z = -304 + 1461. Is 66 a factor of z?
False
Suppose -37*f = -40*f + 3*g + 4440, -2*g + 7386 = 5*f. Is f a multiple of 11?
False
Let y(k) be the second derivative of -k**5/20 - 7*k**4/12 + 25*k**3/6 + 3*k**2/2 - 15*k. Does 11 divide y(-10)?
False
Let z = -623 + 913. Is z a multiple of 26?
False
Let x(p) = 4*p**2 - 13*p. Suppose -2*g + 2*k - 6 = 0, -g + 2*k = 2*g + 12. Is 37 a factor of x(g)?
True
Let y = -92 - -94. Suppose y*z - z = 5*m - 475, -4*m + 399 = 3*z. Is 16 a factor of m?
True
Let d be (-9)/(-6)*2 + 39. Let g = -122 + d. Is 28 a factor of ((-210)/25)/(12/g)?
True
Suppose -5*h - 2*z - 3270 = -8476, -5*h + 4*z + 5188 = 0. Is 13 a factor of h?
True
Let i = 46 - -155. Is 6 a factor of i?
False
Let u(h) = 6*h**2 - 2*h + 60. Let b(t) = -t**2. Let f(j) = 5*b(j) + u(j). Does 20 divide f(0)?
True
Let m =