 + 2562 = -z - 3*f, 0 = 4*z + 2*f - l. Is 27 a factor of z?
True
Let w(x) = -x**3 - x**2 - 9*x - 18. Let r be w(-6). Let o = 1075 - r. Is 13 a factor of o?
False
Let s be -1 - (-4 - (-968 + 3)). Let x = -414 - s. Is 57 a factor of x?
False
Let m(t) be the second derivative of -t**4/12 + t**3/6 - 3*t**2/2 + 34*t. Let c be m(0). Is 10 a factor of (9 - 7) + ((-3)/c - -47)?
True
Suppose -3*u + 143307 = 3*s, -s = 2*u - 693 - 47074. Is 11 a factor of s?
False
Let i = 273 + 5439. Does 16 divide i?
True
Let a(h) = h + 16. Let q(s) = -13*s**3 - s**2 + 2*s. Let i be q(1). Let o be a(i). Suppose -o*t + 6*t - 36 = 0. Is 6 a factor of t?
True
Suppose q + 2*l = 4*l + 215, 3*l - 3 = 0. Suppose -9*z + q = -2*z. Suppose k = 5 + z. Is 9 a factor of k?
True
Suppose -r = -5*h - 100, -r + 0 - 52 = 3*h. Let p = h + 25. Is 18 a factor of -3*3/p*-24?
True
Suppose -30 = -5*t - 6*o + 2*o, 5*t - 4*o - 30 = 0. Let d(p) = 6*p**2 - p - 40. Does 34 divide d(t)?
True
Is 33 a factor of 1473412/209 + 23 + ((-39)/(-33) - 1)?
False
Let u be 6 - (-3516 - (1 + 2)). Suppose -16*x + 11*x - 25 = 0, -5*b = -3*x - u. Does 11 divide b?
False
Suppose 4*t - y = 29, -2*y + 2 = -4*y. Suppose 2*k - 3*b = 2765, k - 1378 = -t*b + 4*b. Does 19 divide k?
False
Does 53 divide ((-42)/315)/((-4)/556680)?
False
Suppose -12*u + 18 = -3*u. Let z be ((-14)/u - -3)/(-2). Suppose 2*q - 396 = -z*v, q + 4*q + 634 = 3*v. Is v a multiple of 34?
False
Let j(f) = -61*f**3 + 21*f**2 + 33*f - 39. Let y(l) = -15*l**3 + 2*l**2 + l - 1. Let z(x) = -j(x) + 4*y(x). Let a = -35 - -50. Does 3 divide z(a)?
False
Let b = 165 + -250. Suppose 0 = -26*x + 8*x - 612. Let h = x - b. Is h a multiple of 6?
False
Let z be (1 + 10)/((-4)/(-12)). Let r = -27 + z. Let n(g) = g**3 - 4*g**2 - 7*g - 9. Is n(r) a multiple of 2?
False
Suppose -4*w = -3*p - 19593, 4*p + 7904 = 5*w - 16587. Is w a multiple of 23?
True
Let w = 44176 + -27258. Is 12 a factor of w?
False
Let a(i) = -22 + i**3 + 0*i**3 + 9*i**2 - 22 - 2*i**3 + 8*i. Is a(8) a multiple of 42?
True
Let x(k) = 2*k - 4. Let i be x(5). Does 6 divide (23/7 + -3)/(i/2814)?
False
Let c = -16125 + 31765. Is c a multiple of 55?
False
Let h(y) = 2*y**2 + 8*y - 10. Let a be h(4). Suppose 15 = s - 4*z - a, 0 = -4*s + 2*z + 206. Does 7 divide s?
True
Let m be -7*((-2)/(-14) + -1). Let g(c) = -14*c**3 + 5*c**2 + 9*c + 7. Let i(o) = -4*o**3 - o - 1. Let f(j) = -g(j) + 3*i(j). Is 17 a factor of f(m)?
True
Let y be 5726/21*1/(6/(-9)). Let o = y - -470. Is 15 a factor of o?
False
Does 58 divide (-696)/(32/(-600)*(-45)/(-18))?
True
Let l(u) = -20*u - 13. Suppose -2*v + 2 = -n + 12, -5*v - 3 = 3*n. Let x = -8 - v. Is 15 a factor of l(x)?
False
Let l(q) = 191*q + 882. Does 34 divide l(26)?
True
Let a = -80 - -115. Suppose -a*p + 89 = -34*p. Suppose 363 = x + p. Is x a multiple of 47?
False
Let d(w) = w**2 - 7*w - 18. Let p be d(9). Suppose p = 4*h + 8, -3*v = -4*v + 5*h + 10. Suppose 4*x - 255 - 21 = v. Does 20 divide x?
False
Is 146 a factor of 28*(-14 + 26370/70)?
False
Let v(y) = y**3 + 14*y**2 - 23*y - 22. Let g be v(-15). Suppose -3*k - 2*s + 62 = k, -46 = -2*k - 4*s. Suppose -14*n + g = -k*n. Is n a multiple of 16?
False
Suppose -5*i - 4*c + 27 = 0, 5*i + 5*c + 8 = 38. Suppose 6*v + i*v = -9. Does 12 divide 30 - v/(2/(-4))?
False
Let r = 19 - -20. Let n(j) = -61*j - r*j + 63*j + 17. Does 15 divide n(-5)?
False
Suppose 5*y = -4*q + 7*q + 55, 4*q = -5*y - 50. Is (4 - 1 - q)/(6/4) a multiple of 7?
False
Does 19 divide 17/((-1275)/60) + (-152934)/(-5)?
False
Suppose -2*z + 5*z - 54 = 0. Let b(g) = z*g - 2 - 4*g**2 + g**3 + 13*g**2 + 4 - 1. Is 11 a factor of b(-5)?
True
Let q be 2 - 2774 - 10/40*-12. Let l = q - -4221. Is 14 a factor of l?
False
Suppose 0 = -y - 5*m + 203, 4*y - 228 - 728 = 4*m. Is 7 a factor of y?
False
Is (-41834*8/(-32))/(6/12) a multiple of 13?
True
Let s(w) = w**3 + 19*w**2 - 64*w - 4. Let l be s(-22). Let d = 588 + -386. Let m = l + d. Does 11 divide m?
True
Let t = -3779 - -4778. Is 26 a factor of t?
False
Suppose 5*k = -2*y + 2, -4*k + 3*y + 0*y + 20 = 0. Suppose -5*s - 5*o = -2255, -k*o + 380 = s - 75. Does 14 divide s?
False
Let c = -845 - -865. Is (-80968)/(-80) - (18/c)/9 a multiple of 44?
True
Suppose 2 = -h - 1. Let p be -3*(0 + -100 - h). Suppose -11*o + 391 = -p. Is o a multiple of 19?
False
Suppose 2*q + 3342 = 4*q - 3*p, 0 = -5*q + 2*p + 8344. Suppose 15*c + q - 11538 = 0. Does 14 divide c?
True
Let f = 16444 - 11545. Is f a multiple of 23?
True
Let y(a) = a**3 - 27*a**2 - 27*a - 44. Let o be y(28). Let d(t) = -8*t - 58. Does 14 divide d(o)?
True
Let j = 103 + -101. Let p = 51 + -30. Suppose j*f = p + 47. Is 17 a factor of f?
True
Let p = -188 + 287. Suppose -p + 1086 = 3*w. Does 21 divide w?
False
Let h = 369 + -108. Let q = h + -207. Is 27 a factor of q?
True
Suppose -944 = -0*x - 4*x + 3804. Is x a multiple of 68?
False
Let q = 10435 + -6763. Does 24 divide q?
True
Let m be (3 - 4)/(-1) - 230. Let v = m - -333. Does 4 divide v?
True
Let s(h) = -30*h - 1015. Is 15 a factor of s(-79)?
False
Let q be 12/(-8)*(-5 - 0 - -1). Let m be ((-3)/(-2))/(-5*q/(-80)). Suppose m*p - 45 = 2*a + 165, a = p - 55. Is p a multiple of 11?
False
Let v = -15541 - -26248. Does 129 divide v?
True
Let l = 32879 - 10364. Is 22 a factor of l?
False
Does 27 divide -41 + 44 - (-8104 + 1/1)?
False
Suppose f - 2 + 0 = -2*l, 0 = l - f - 1. Let s(i) = 61*i**3 - 3 + 4 + 21*i**2 - 20*i**2. Does 31 divide s(l)?
False
Let u be (-2)/(-20) + 50853/(-330). Let m = 344 + u. Is m a multiple of 3?
False
Let s = 273 - 214. Suppose -3*n - g + s = 0, 3*n - 5*g = -2*n + 65. Is n a multiple of 4?
False
Suppose 4*o - 5*z = -4 - 6, 5*o - 2*z = -4. Let v(y) = y**2 + 9*y + 391. Does 13 divide v(o)?
False
Does 38 divide -6 + 15/((-30)/(-9338)) - -11?
True
Suppose -13 = -3*n + 11. Let s be 20/(n/(-4))*(-217)/2. Suppose -245 = 6*z - s. Is 20 a factor of z?
True
Let r = 3352 + 2200. Is r a multiple of 8?
True
Suppose 432 = 4*w - 5*m, -w + 3*m + 321 = 2*w. Suppose -2*t - w = -3*t. Does 5 divide t?
False
Let m(g) = g**2 - 13*g + 25. Let u be m(11). Let l(r) = 5*r**2 + 2 + 6*r + u*r**2 - r**3 + r**2. Is 8 a factor of l(9)?
True
Let k = -5141 + 6113. Does 158 divide k?
False
Suppose -a - 4*a - 194 = -2*r, 3*a = -5*r - 104. Let l be (-2)/7 - a*(-6)/(-14). Suppose -h = -3*n + 221 + l, 0 = 4*n + h - 323. Is n a multiple of 16?
True
Let o(q) = 3*q - 63. Let w be o(22). Let l be 105/28*376/w. Let h = -313 + l. Is h a multiple of 15?
False
Let r = -3056 + 16890. Is 13 a factor of r?
False
Let l(q) be the first derivative of -q**4/4 - 5*q**3/3 + 3*q**2 - 3*q - 19. Let g be l(-5). Let h = g - -93. Does 30 divide h?
True
Let r be 36/54 + 289/3. Suppose -4*p + 3 = 4*m - r, 5*m = -4*p + 105. Does 12 divide p?
False
Let p(a) = -126*a. Let v = 505 - 513. Is 21 a factor of p(v)?
True
Let w(t) = 12*t + 3. Let n = 136 + -125. Is 9 a factor of w(n)?
True
Let u be -4*15/(-6)*(-3)/(-6). Let i(y) = -8*y**3 + 11*y**2 + 3*y - 22. Let w(g) = -g**3 + g**2 - g - 1. Let v(m) = -i(m) + 6*w(m). Is v(u) a multiple of 14?
False
Let g(w) = 318*w**2 - 56*w + 232. Does 6 divide g(5)?
True
Let r = 38 - 56. Let x be r/(-2) + -1 + -4. Suppose -x*s = -7*s + 75. Does 25 divide s?
True
Let f(y) = 18*y + 14. Let z be f(-12). Let i be (-1494)/(-12)*24/(-9). Let n = z - i. Is n a multiple of 16?
False
Let v(w) be the third derivative of -w**6/120 - w**5/15 + w**4/4 - 2*w**3/3 + 11*w**2 - 2*w. Is v(-6) a multiple of 11?
False
Suppose 28 = n + 15. Suppose -n = 4*a - 869. Does 40 divide a?
False
Let k(b) = 1986*b + 419. Does 60 divide k(4)?
False
Suppose -292 = g - 5*g - 4*t, 158 = 2*g + 5*t. Let l = 309 - g. Is 24 a factor of l?
True
Let n(l) = 77*l. Let g(p) = 51*p. Suppose -4*c = 5*v + 21, -v - 4 = 4*c - 3. Let r(t) = v*n(t) + 7*g(t). Is r(-4) a multiple of 41?
False
Suppose 16*u + 4*u = 120. Suppose 0 = 13*n + u*n - 5681. Does 13 divide n?
True
Suppose 0 = -2*w + 5*a - 18, -5*w - 2*a - 1 + 14 = 0. Let i be 40/5*1/w. Is 5 a factor of (-12)/(-16) - 1 - (-162)/i?
True
Let a(h) = 11*h**2 + 12*h - 15. Let w(c) = c**2 + c - 1. Let q(j) = a(j) - 4*w(j). Let f be q(-8). Let u = -266 + f. Is 25 a factor of u?
False
Let m = -63 + 103. Suppose m = a - 7. Is 13 a factor of (a - 0) + 20 + -16?
False
Suppose 20 = -3*z + 2*z - 3*g, -3*g = -z + 10. Is 61 a factor of (-3 