i?
False
Let y(z) = 10 - 4*z - 4*z**2 + 4 - 7*z**2 + 135*z**3 - 136*z**3. Let a be y(-11). Let i = -6 + a. Is 4 a factor of i?
True
Let x(u) = 12*u - 35. Let b be x(6). Let w = -36 + b. Is w*(-13)/((-26)/12) a multiple of 3?
True
Let s(x) = x**3 - 14*x**2 - 32*x + 798. Is s(19) a multiple of 7?
True
Let a(l) = 39*l**2 - 80*l + 113. Does 42 divide a(17)?
False
Does 9 divide 6/(-7) - 815565/(-35)?
True
Let u(z) = -17*z**3 + 11*z + 8. Let y be u(-5). Let q = y + -1429. Is 11 a factor of q?
True
Suppose -12*w + 3985 = -11*w + 5*t, -3*w + 3*t + 11973 = 0. Does 70 divide w?
True
Suppose 5*w = 3*w, -4*w - 545 = -5*u. Suppose -u*k + 114*k = 145. Is 10 a factor of k?
False
Let d = -44351 - -66571. Is d a multiple of 202?
True
Suppose 0 = 3*c - 12, 5*z - 22 + 2 = -5*c. Suppose z = -5*f - g + 146 - 8, 3*g + 146 = 5*f. Suppose 22*k = f*k - 1452. Does 16 divide k?
False
Suppose g + 4*y = 228, -4*g - 5*y = -0*y - 956. Let m(j) = 3*j**2 - g*j + 241*j - j**2 - 2. Is m(-1) a multiple of 2?
False
Suppose -8 = -4*s + 8*s. Let d be -2*(-3 - s/2). Suppose d*c = -4*g + 260 + 20, g = -2*c + 73. Does 8 divide g?
False
Is 19 a factor of (19/(-4))/(((-8)/4)/616)?
True
Let s(g) = -5*g**3 + 5*g + 5. Let x be s(-2). Suppose -6*r - x = -13*r. Suppose r*y - 67 = -c, -4*c + 6*y + 292 = 2*y. Is c a multiple of 9?
True
Suppose -5*l - 920 = -h - 9202, 0 = -3*l - h + 4974. Let j = -1162 + l. Is j a multiple of 15?
True
Let z be ((-2)/10)/(18/(-405)) + (-24)/16. Let h = -90 + 171. Suppose -2*d - 2*d = g - 368, 0 = -d - z*g + h. Is d a multiple of 5?
False
Let c = -1417 + 1689. Is 8 a factor of c?
True
Let c(x) = 37*x + 41*x + 90 - 108*x + 48*x. Is c(11) a multiple of 18?
True
Suppose -4*d - 23*m + 16264 = -27*m, -3*d = 2*m - 12218. Is 37 a factor of d?
True
Suppose -4514 = -8*t + 30. Does 7 divide t?
False
Suppose -410*w = -407*w - 84. Is 34 a factor of (w + -14)/(2/58*1)?
False
Let y(j) = -j + 22. Suppose -7*g + 8 = -3*g. Suppose 3*a + g*a + 30 = 0. Does 9 divide y(a)?
False
Suppose 0 = -4*l + 20 + 8. Suppose 0*k - l*k = 21. Is 23 a factor of (-2 - 492/k) + -1?
True
Suppose -15*b + 10*b = -95. Suppose 6*d - 5*v - 29 = 3*d, -v - b = -5*d. Suppose 43 = d*m - 11. Does 18 divide m?
True
Is 2 a factor of 1882/1 - 180/45?
True
Let u = -3384 - -3618. Is u even?
True
Let c(i) = -10077*i**3 + 2*i**2 - 47*i - 50. Is 229 a factor of c(-1)?
True
Let q(h) = 95*h + 1085. Is 2 a factor of q(13)?
True
Suppose 0 = -2*i - 4, 2*x + 1 = 3*x + 2*i. Suppose 0 = x*q + 2*g - 568 + 168, -3*q + 3*g + 219 = 0. Is 26 a factor of q?
True
Let p(c) = c**3 - 12*c**2 + 13*c - 2. Let m be p(11). Suppose y = m + 19. Let x = y + -11. Is 14 a factor of x?
True
Let s(n) be the second derivative of -n**7/2520 - 17*n**6/720 - 13*n**5/120 + n**4 - 29*n. Let b(o) be the third derivative of s(o). Does 4 divide b(-6)?
False
Let b = -1027 + 4189. Is b a multiple of 51?
True
Suppose u - p = -2*p - 53, -5*p = 3*u + 169. Let k be (-9 + 1)*84/u. Suppose 9*z = 86 - k. Is 2 a factor of z?
True
Is 22 a factor of 30/(-9)*-77*30?
True
Suppose 0 = -2*q - 4*z + 320, q - 2*z - 64 = 76. Does 2 divide q?
True
Suppose 3252 = 4*g + 4*j, -3*g + 5*j + 2431 = -0*g. Is 22 a factor of g?
False
Let s be 136/(-102)*(-1455)/2. Let m = s + -571. Does 19 divide m?
True
Is 49 a factor of ((-70)/(-4))/((-585)/(-78624))?
True
Suppose -4*g - 4*h + 23 = -25, 4*g + h - 60 = 0. Suppose -g = -4*i - 4. Suppose -3*t + r = 3*r - 31, i*t - 28 = -5*r. Is t even?
False
Does 11 divide (2 - 2/1) + 1309/(-21)*-3?
True
Let z be (0 - 2)*-11 + -4. Let x be 2 - ((-11)/(-3))/((-1)/z). Is 34 a factor of 12/((8/x)/2)?
True
Suppose 14*z = 4*z + 50. Suppose -63 = k - 5*f, 332 = -z*k + k + 4*f. Let a = k + 178. Is a a multiple of 30?
True
Let b be 2/(-5) - 608/80. Let o be 3/12 + (-158)/b. Suppose -6*g + 2*g - 5*c + 25 = 0, 0 = 5*g - 5*c - o. Does 5 divide g?
True
Let c(a) = -43*a - 311. Let q be c(-23). Suppose q - 12246 = -48*n. Does 42 divide n?
False
Let x be (-1 - (-2)/3) + (-3349)/51. Let g = x + 139. Does 23 divide g?
False
Suppose 11*j + 379 = 1193. Suppose -77 = -t - j. Suppose -4*z = t*p - 225, -z - 2*z + 171 = 3*p. Is 13 a factor of z?
False
Let m be -3*206/(-6) - 4. Suppose -8*f + 834 = -2*f. Let s = f - m. Does 10 divide s?
True
Let k = 67 - -130. Is 15 a factor of k*(3 + (-35)/10)*-6?
False
Suppose 5*b + g - 93101 = 0, 0 = -87*b + 83*b - 4*g + 74484. Does 98 divide b?
True
Let r be ((-60)/18 - -3)*-1956. Suppose r + 447 = 7*p. Does 4 divide p?
False
Suppose 15*k = 6*k + 225. Let i(t) = -t**3 + 27*t**2 - 36*t - 12. Is i(k) a multiple of 13?
True
Let d = -140 - -145. Let z(k) = k**3 + 5*k**2 + 15*k + 9. Does 11 divide z(d)?
False
Let o = 0 + 2. Let n(i) = 2*i**2 - 133*i - 1589. Let a be n(-11). Suppose 68 + a = o*l. Does 17 divide l?
False
Let j = 365 - 357. Suppose 0*b + m = -5*b + 242, -2*m = 2*b - 100. Suppose 0 = j*z - 608 + b. Does 6 divide z?
False
Let y(b) = 11*b + 71. Let r be y(-6). Suppose r*z = -5*h + 1250, z + 4*h + 518 = 3*z. Is z a multiple of 23?
True
Suppose -31*x + 81 = -74. Suppose -9*o + 4*o - 2725 = -5*d, 3*d = -x*o + 1643. Is d a multiple of 26?
True
Let p be (971 + -7 + 0)/((-6)/(-15)). Let h = p + -934. Does 9 divide h?
True
Does 20 divide (-4)/(19/(50616/90))*-2*15?
False
Let s(y) = -29*y**2 + y + 9. Let x be s(-3). Is 8 a factor of (-11)/(-88) + x/(-8)?
True
Let i(x) = 309*x + 16. Let j(t) = -308*t - 16. Let l(q) = -2*i(q) - 3*j(q). Does 14 divide l(1)?
True
Does 25 divide (16 - -4)/((-1802)/(-450) + -4)?
True
Let n(q) = -3730*q - 3283. Does 10 divide n(-10)?
False
Let t = 4905 + 775. Is 54 a factor of t?
False
Let f = 12960 + 1541. Is 19 a factor of f?
False
Let r(l) = -18*l - 142. Let c be r(-8). Does 8 divide ((3 - -6) + -11)*c*-73?
False
Suppose 0 = -2*u - 4*y - 6, 10*u - 7*u + 2*y = -1. Is 13 a factor of -4*41*(-1)/u*2?
False
Let p(i) be the first derivative of -i**4/4 + 14*i**3/3 - 6*i**2 - 17*i + 13. Let b be p(13). Let j(o) = -14*o - 26. Is 6 a factor of j(b)?
True
Suppose 5*d - 3 - 92 = 0. Suppose -5*q + 2 = 5*r - 3, q - d = 5*r. Is r/(0 - 3) - -314 a multiple of 21?
True
Let m(u) = -2*u + 38. Let b be m(18). Suppose 2 = -l, n - 260 = b*l - 29. Let p = 11 + n. Is p a multiple of 19?
False
Suppose 189621 - 154093 = 125*g - 1079472. Is 40 a factor of g?
True
Suppose 32683 = 3*d + 45*g - 46*g, -5*d - 2*g = -54479. Does 53 divide d?
False
Let n = 247 - 246. Is n/9 + (-131193)/(-243) a multiple of 15?
True
Suppose -4*v = 2*m - 34564, 4*v - 12358 = -4*m + 22210. Suppose 3*p - 39*p = -v. Is p a multiple of 60?
True
Suppose -6 = y - 2, -3*a - 3*y = 36. Let d be ((-9)/6)/(6/(-256)). Let g = d + a. Does 8 divide g?
True
Let t = 30920 - 26370. Is t a multiple of 26?
True
Let i(h) = h + 6. Let b be i(0). Let s(p) = -p**2 + 6*p + 6. Let j be s(b). Suppose -5*l - 72 = -j*l. Is 28 a factor of l?
False
Let p(s) = 97*s + 3. Suppose 2*i + 5*w - 22 = 0, -i - 3*w = -3 - 10. Let t be p(i). Let m = t - 16. Is m a multiple of 7?
True
Let k = 104 - 101. Let z(r) = 2*r**2 - 3. Is 5 a factor of z(k)?
True
Let p = 6643 + 3101. Is p a multiple of 14?
True
Let n = 4488 - 3435. Is n a multiple of 9?
True
Suppose v + 4*v = -w + 734, -2*w - 3*v = -1433. Let x = w - -94. Is x a multiple of 82?
False
Suppose -3*k + i + 10 = 0, -6 + 18 = k + 4*i. Suppose -2*u + 4 = 3*y - 0, 4*u = -5*y + 10. Suppose 176 = 5*p - 4*h, u*p + k*h = 119 + 65. Does 12 divide p?
True
Let d(q) = 305*q**2 + 3*q. Let k be d(-1). Suppose 0 = -2*h + 2*c + 344, 4*h + k = -3*c + 1011. Does 8 divide h?
False
Suppose 3*c - 2*p - 14970 = -5713, -6182 = -2*c - 4*p. Is 7 a factor of c?
True
Does 17 divide 3/1 - (15 + 13 + -7123)?
False
Suppose -455 = -k - 48. Let r = -203 + k. Let g = r + -39. Does 38 divide g?
False
Suppose 11*t - 4*t = -14. Is (t + -1*1541)/(12 - 13) a multiple of 103?
False
Let r(c) = 117*c - 127. Let j(n) = 231*n - 255. Let x(m) = 3*j(m) - 7*r(m). Is x(-5) a multiple of 26?
True
Let a(z) = 673*z + 707. Is a(66) a multiple of 95?
True
Does 22 divide (-14)/8 + (-175833)/(-28)?
False
Suppose 7*l + 43*l = 63650. Is l a multiple of 178?
False
Let w = -7732 + 9269. Does 13 divide w?
False
Let h be (-14 - -2)*(-2 - 22/(-8)). Let u(l) = -53*l + 13. Let n(a) = 13*a - 3. Let g(o) = h*n(o) - 2*u(o). Does 22 divide g(-11)?
False
Let y = 3486 - 123. Does 19 divide y?
True
Suppose 11*p - 