 12 - 2*q**2 + 9. Does 6 divide w(-20)?
False
Let d(w) = -w**3 + 16*w**2 + 8*w + 23. Let c be d(17). Let a = 316 + c. Is 31 a factor of a?
True
Let h(o) be the first derivative of o**4/4 + 4*o**3 - 2*o**2 + 17*o - 47. Is h(-8) a multiple of 61?
True
Let b(s) = -6*s**3 - 581*s**2 + 53*s - 112. Is b(-97) a multiple of 57?
False
Let y be 96/54 + 4/18. Suppose -5*d - 1185 = -y*h, 4*d - 565 = -h + d. Is 5 a factor of h?
True
Suppose 9*c = 5*c + 16. Suppose -c*j + 16 = 4*p, 3*p - 14 = -p - 2*j. Suppose -8*l + 395 = -p*l. Is l a multiple of 20?
False
Suppose 12 + 148 = 32*w. Suppose 1147 = 2*i + w*b, 5*b = 4*i + b - 2224. Does 51 divide i?
True
Suppose -n + 2 = -3. Suppose v - 23 = -0*t - n*t, -3 = -v. Suppose -6*z - 4*h + t = -4*z, 4*z - 2*h - 58 = 0. Is z a multiple of 3?
True
Suppose 7*x + 44 = 2. Let z(n) = 3*n**2 + n + 15. Let r be z(x). Suppose 0 = -5*k + 3*m + 189, -5*k + m = -r - 76. Does 13 divide k?
True
Let a be (2 - 88) + 2/1. Let u = a + 60. Is 18 a factor of (-1)/((-2)/39)*(-128)/u?
False
Is (7 - (-3980)/100)/((-1)/(-90)) a multiple of 81?
True
Let q(f) = 130*f + 626. Does 38 divide q(23)?
False
Let d = -3006 + 8361. Is 39 a factor of d?
False
Let l(u) = -849*u - 48. Suppose 2*p = -3*b - 2, 20*b = p + 19*b + 1. Is 9 a factor of l(p)?
True
Let w = 15973 + -151409. Does 11 divide w/(-224) + (-6)/(-16)?
True
Suppose 3*i - 2*t = 13770, 2*t + 6936 = -3*i + 20718. Does 8 divide i?
True
Suppose l - 5*o = 9, -4*o + 0*o - 4 = 0. Suppose 4*p = -0*p + l*y + 40, 52 = 5*p - 4*y. Suppose 385 = p*t - 7*t. Is 31 a factor of t?
False
Let h = -2433 + 3964. Is 21 a factor of h?
False
Let r = 493 + -510. Let h(g) = 3*g**2 + 40*g + 53. Does 40 divide h(r)?
True
Let i be (9/2)/(-3)*(-5144)/3. Suppose 3*s = 7*s + 2*b - 2068, 4*b = 5*s - i. Suppose -s = -5*a - 1. Is 21 a factor of a?
False
Suppose 36 = 4*a - 0*a. Suppose -a = -5*n + 16. Suppose -y = 3*p - 956, 3*y = n*p - 0*y - 1612. Does 42 divide p?
False
Suppose -4*a - 54 = -7*a. Suppose 3*q - 2*m = 18, -q - a = -4*q - 4*m. Is 8 a factor of (4/(-6))/(q/(-207))?
False
Suppose 3*g - 11*g = g. Suppose -14*b + t - 1601 = -16*b, -5*b + 5*t + 4040 = g. Does 45 divide b?
False
Let z be (-9)/(-3) + (-11 + 2 - -2). Let f be -1 + 0 - (z + 6) - -183. Suppose -4*w + 4*c + 100 = -44, 4*w - f = -5*c. Is 8 a factor of w?
True
Does 14 divide 1971 + -1 + -2 + -7 + 9?
False
Let q be (-12)/15*-5 - (-348)/(-2). Let b = 1106 + q. Is 19 a factor of b?
False
Let k(f) = f**3 + 17*f**2 + 8*f + 102. Is 2 a factor of k(-16)?
True
Let i be 3 + -3 - (-1 + 2*8). Let v be (-2184)/(-30) - (-1)/5. Let q = v - i. Is 22 a factor of q?
True
Let j = -201 - -201. Suppose -13*o - 23*o + 10836 = j. Does 27 divide o?
False
Let t = 128 + -67. Suppose -t*l + 64*l = 96. Let m = l + -8. Is 2 a factor of m?
True
Let j(b) = -16*b - 17. Let s be j(-5). Suppose 6*p + 95 = 5*y + p, 0 = 3*y + 3*p - s. Let a = 6 + y. Does 13 divide a?
True
Let w = 351 + -347. Suppose -2*m - 15*y + 627 = -16*y, 0 = -3*m + w*y + 933. Does 7 divide m?
True
Suppose 0 = 914*o - 941*o + 485055. Is o a multiple of 25?
False
Let a(h) = -2*h**2 - 22*h - 19. Let u be a(-9). Let v = 353 - u. Is v a multiple of 24?
True
Let x be (-5 - -8)/(12/(-80)*-4). Let h be 0/2 - (-118)/1. Suppose -3*k = -p - h, -4*k = -x*p - 70 - 91. Does 8 divide k?
False
Let s be ((-72)/(-28))/9 - (-4076)/(-7). Let o be s/(-16) + (-15)/40. Let p = 90 - o. Does 18 divide p?
True
Let u = 16840 - 8138. Does 38 divide u?
True
Let u = 43 + -40. Suppose -5*i - 2*y + 8 = 0, y = -2*y - u. Suppose -2*l + 11 = w - 0*w, 4 = 4*w - i*l. Is w a multiple of 3?
True
Let d be (-14)/(-2) + -2 + -3 - -76. Let o = d - 80. Is 6 a factor of o/(-9) + 2695/63?
False
Let y be (796/3)/((-52)/9 - -6). Let x = 3261 - y. Is 53 a factor of x?
True
Suppose -3*u + 608 = 110. Let y = u - -110. Is 6 a factor of y?
True
Let t be (-658)/47 - -1*253. Let y be ((-2)/3)/(6/(-45)). Suppose 0 = y*q + f - 204, -99 = 4*q - 5*f - t. Is q a multiple of 8?
True
Let z be 3/6 + (3 - (-141)/6). Suppose -28*r = -z*r - 4. Suppose -v + 9 = 2*v, -r*v = -2*m + 54. Is m a multiple of 11?
True
Let i be 85/25 - 12/(-20). Suppose -5*f = -4*g + 3, i*g = 2*f - 1 + 7. Is 38 a factor of 256/(1 + (f - 1))?
False
Let l(z) be the first derivative of -3*z**7/35 - z**6/360 - z**5/120 - z**3/3 - 14. Let c(t) be the third derivative of l(t). Is 18 a factor of c(-1)?
True
Let x be (-918 - -2)/((-28)/14). Suppose 5*b + 3*f - 8 = 4, 0 = -4*f + 16. Suppose 3*y - y - 460 = d, 2*y - 2*d - x = b. Is 33 a factor of y?
True
Suppose -30 = 5*t, -26*t = -u - 31*t + 1559. Does 7 divide u?
True
Suppose -5*s + 5*y - 2401 = -66, -934 = 2*s + y. Let j = s - -519. Does 26 divide j?
True
Let i be -51 + 47 + 8 + -1. Is 13 a factor of 3 - (8 - i) - -340?
True
Let g = -809 + 795. Let c(o) = -o**3 - 4*o**2 + 9*o + 81. Is c(g) a multiple of 29?
False
Let o(z) = 5*z**3 - 109*z**2 + 268*z + 396. Let i(x) = 2*x**3 - 55*x**2 + 135*x + 198. Let w(j) = -7*i(j) + 3*o(j). Does 7 divide w(-60)?
False
Suppose 2*n = 3*o - 18, 12 = 2*o - 14*n + 9*n. Let m(k) = 39*k**2 - 2*k - 4. Let h be m(3). Suppose o*r + h = 5*y + 3*r, 3*r - 149 = -2*y. Does 14 divide y?
True
Suppose 61*h = -36*h + 4*h + 522288. Is h a multiple of 27?
True
Suppose -2*d + 4*a - 4 = 0, -a - 3*a - 8 = 0. Let b(z) = 29 + 49*z - 34*z + 0 - 28*z. Does 13 divide b(d)?
False
Let u = 583 + 464. Let b = -612 + u. Suppose -7*c + b = -237. Does 32 divide c?
True
Let t(z) = -2*z**2 - 25 + 4*z + 6*z - 10*z**3 + 7 - 6*z. Is t(-4) a multiple of 14?
True
Suppose -3*p = -100*a + 102*a - 4256, 2*a - 5*p = 4208. Does 20 divide a?
False
Suppose -3*d - d = -7*d. Suppose d = -0*k - 6*k. Suppose k = 2*l - 5*t - 181, -4*l + 5*l - 4*t = 92. Is 15 a factor of l?
False
Suppose 52 = 5*m + 42. Let n be 14/m - 35/(-7). Is (-2 - (-436)/8)*n/15 a multiple of 6?
True
Let h(n) = 48*n + 62. Let p(y) = y**3 - 4*y**2 + y + 1. Let q be p(4). Does 9 divide h(q)?
False
Let j = -150 + 156. Does 5 divide j/(-18) + (-1177)/(-3)?
False
Let j(x) = 2*x**3 - 7*x**2 + 8*x + 1. Let p(k) = -k**2 + 19*k - 14. Suppose l + 18 = 2*l. Let i be p(l). Is 12 a factor of j(i)?
False
Let i(b) = -b**3 + b**2 + 7*b + 4. Let z be i(6). Let y = z - -134. Suppose y*q - 336 = -8*q. Is 6 a factor of q?
True
Is (3175/(-20))/((-12)/336) a multiple of 4?
False
Suppose 3*o = 5*j + 42, -4*j - o - 44 = -6*o. Is 29 a factor of j/(-21) + 31234/98?
True
Let f = -5747 + 5764. Does 10 divide f?
False
Is ((-18090)/(-72))/((-15)/(-80)) a multiple of 12?
False
Let o(g) = g + 9. Suppose 5*q - 6*p + p = -35, 0 = 4*p. Let f be o(q). Suppose 0 = -m + f*i + 191, -5*i = 2*m - 4*m + 383. Is m a multiple of 27?
True
Let j(l) be the second derivative of 17*l**5/20 + l**4/12 + l**3/3 - l**2 - 2*l - 5. Suppose -5*b + 5 = -0*b. Is j(b) a multiple of 6?
True
Suppose 0 = -7*j - 54 + 89. Suppose -2241 + 557 = -4*n - b, -j*n + 2094 = 4*b. Is 22 a factor of n?
False
Let s(n) = -3*n**2 - 48*n - 5. Let h be s(-16). Does 33 divide h + 131 + 9/(-3)?
False
Let p(y) = 122*y**2 + 24*y + 18. Is p(3) a multiple of 4?
True
Let a be (10/6)/5 - (-34)/6. Suppose -a = -s - 7. Is 9 a factor of s/(220/(-72) - -1 - -2)?
True
Let g(s) = -34*s**3 - 8*s**2 + 37*s + 151. Does 22 divide g(-7)?
False
Does 20 divide 3/6 - (-366 + -11)*(-141)/(-6)?
True
Suppose 165830 = 69*p - 299490 + 135638. Is 31 a factor of p?
False
Let o(k) = -3*k + 4*k - 34 + 30. Let c be o(6). Is c - (-66 + (-4)/(-1)) a multiple of 12?
False
Let c be ((88/3)/8)/((-1)/(-498)). Let h = -1241 + c. Is h a multiple of 12?
False
Let n be 3/((-5)/(190/3)). Let f = 58 + n. Let t = f - -36. Is 14 a factor of t?
True
Suppose -176466 = -10*c - c + 202935. Is 56 a factor of c?
False
Suppose 2*j - 2*f - 34620 = 0, -378*j + 5*f = -385*j + 121242. Is 13 a factor of j?
True
Let j be 10*4/(-16) + 1/2. Let c = 57 - j. Suppose 0 = -4*h - 5*k + 30 + 59, -4*h = -k - c. Does 6 divide h?
False
Let x be (174/(-203))/(1/7). Is 1 + (-8 - x)*-214 a multiple of 13?
True
Let h(x) = -x - 1. Let i be h(-6). Let j(u) = -40*u + 5. Let b(t) = 4*t - 1. Let n(s) = -5*b(s) - j(s). Does 20 divide n(i)?
True
Let d = 439 + -328. Let k = -95 + d. Does 14 divide k?
False
Suppose 0*l + l + 2456 = 5*d, -l + 4 = 0. Let c = -2334 + 2334. Suppose -6*x + 240 + d = c. Is 6 a factor of x?
False
Is (-1040050)/(-132) + -16 + (-2)/((-24)/10