2 a factor of q(d)?
False
Let q(i) = 3*i + 73. Let l be q(17). Suppose 122*s = l*s - 82. Does 6 divide s?
False
Suppose -5*q - 20 = 0, 2*y + 2*q = -2*y + 1700. Let o = -211 + y. Does 8 divide o?
True
Let g(s) = 19310*s + 100. Is g(2) a multiple of 176?
True
Does 7 divide (1799 - (-270)/(-18))*18/8?
False
Suppose 0*o = -7*o + o. Suppose o = d - 3*d - 2*w - 6, -4*d + w + 13 = 0. Does 13 divide (d + -3)/(-3 - 852/(-285))?
False
Let o(m) = 4*m**2 + 2*m + 170. Is o(21) a multiple of 76?
True
Let i = -26 - -68. Let a = i + -43. Is ((-178)/3)/((-10)/45) + a a multiple of 38?
True
Suppose 0 = -1078*a + 1065*a + 437008. Is a a multiple of 11?
True
Let r(d) = -d**2 + 0*d**2 - d - 7 + 0 - 10*d. Let m be r(-10). Suppose -4*v + 314 = 5*q - 0*v, -m*q = 4*v - 182. Is q a multiple of 33?
True
Let n = -3502 + 5188. Is n a multiple of 51?
False
Suppose 0 = -3*c + 5*a - 11, -9 = 2*c + 4*a + 13. Let v(m) = -m**3 - 5*m**2 - 6*m - 50. Does 18 divide v(c)?
True
Let u(w) = w + 17. Let c be u(-12). Suppose 4*d = 7*d - o - 366, 0 = -3*d - c*o + 366. Suppose -3*q + q = -d. Is 15 a factor of q?
False
Let j be ((-3 - -1) + -1403 + 4)*-1. Suppose -8*f = -1927 - j. Is 32 a factor of f?
True
Suppose -2130 = -3*x - 3*x. Let k = x - 135. Is 18 a factor of k?
False
Let f be ((-120)/100)/(2/(-25)). Let b = 150 + f. Is 11 a factor of b?
True
Let r be -3 + (-15)/((-30)/16). Suppose r*f - 4*c - 219 = -0*f, -2*f + 74 = -5*c. Does 7 divide f?
False
Let m(b) = 8*b + 4. Suppose -6*i = -2*i + 156. Let f = -38 - i. Is m(f) a multiple of 6?
True
Suppose -x = -3*q + 1061, -5*q = -x - x - 1768. Suppose 3*y - q + 39 = 0. Let s = -69 + y. Is s a multiple of 18?
True
Let l(t) = -t**3 + 9*t**2 - 17*t + 22. Let c be l(7). Let q(x) = 420*x + 38. Does 26 divide q(c)?
False
Let q(m) = -12726*m + 42. Does 8 divide q(-1)?
True
Does 30 divide (-2)/3*547914/(-212)?
False
Let u(n) = 2*n**2 - 63*n - 10. Let a(i) = i**2 - 62*i - 8. Let y(k) = 2*a(k) - 3*u(k). Is y(14) a multiple of 10?
True
Suppose 4*g - 3*n = -n + 14, -2*g + 3*n = -13. Is (253/g - 2) + (-17)/(-34) a multiple of 5?
True
Let g = 521 + -714. Let l(s) = -2*s**2 + 6*s - 7. Let z be l(-6). Let o = z - g. Does 19 divide o?
False
Let v = 15470 + -8294. Does 121 divide v?
False
Let r(w) = 6*w**2 - 11*w - 50. Let n be r(-10). Suppose 9*o - 4*o = n. Does 6 divide o?
True
Let x = 29 - -8. Is 10 a factor of 28453/x - (-6 - (-4)/2)?
False
Suppose 6*n = -4*m + 8*n, -2*n = m - 10. Let w(f) = -f**2 + f. Let j be w(1). Suppose j*h - m*h + 30 = 2*o, -5*o + 3*h = -99. Is 18 a factor of o?
True
Suppose -2*i + 44*j - 48*j + 69028 = 0, -5*i + 5*j + 172450 = 0. Is 64 a factor of i?
False
Suppose -11877 = -f - 4*c, -378*f + 23739 = -376*f + 3*c. Does 52 divide f?
False
Let w(j) = -j + 199. Is w(-21) a multiple of 20?
True
Suppose -2*n + 29208 = 4*z - 6430, 14 = 2*n. Is z a multiple of 27?
False
Suppose -92*r + 70444 = -70*r. Does 26 divide r?
False
Let h(w) = -371*w + 996. Is h(-5) a multiple of 18?
False
Let x be 4 - (6 - 0 - 4). Suppose 20 = -5*n, -n - 2146 = -5*b - x*n. Is b a multiple of 53?
False
Suppose -79*j + 15936 = -76*j. Suppose -37*k - 5324 = -41*k - 2*t, 4*k - j = 4*t. Does 19 divide k?
True
Suppose 4*f - 15 - 1 = 0. Let a = 519 + -287. Suppose -y + q = -f*y + a, 4*y - 302 = -5*q. Is 22 a factor of y?
False
Suppose 0 = -c + 3*h + 216, 74*h - 426 = -2*c + 78*h. Suppose -4*r + 26 = 6. Suppose -c = r*x - 702. Does 10 divide x?
False
Suppose 3578 = 11*l - 3206 + 140. Does 4 divide l?
True
Suppose -17*j - n + 586 = -13*j, -j + 153 = -3*n. Does 10 divide j?
False
Let z(m) = -m**3 + 5*m**2 + 13*m - 28. Let a be z(6). Suppose 0 = a*n - 4095 - 903. Does 21 divide n?
True
Suppose -297*w + 6441768 + 9476411 = 3432002. Does 17 divide w?
True
Suppose 30 = -3*k - 2*y, -3*y - 10 = 4*k + 29. Is 7 a factor of 5/(-4) - 27/k - -139?
True
Suppose -9*m + 3708 = -0*m. Let l = m - 284. Is 16 a factor of l?
True
Let h be ((-11668)/10)/((-2)/5). Suppose 285 = -8*y + h. Is 17 a factor of y?
False
Let o = 4910 - 1018. Does 45 divide o?
False
Let d be (0 - 333/(-6))*(-96)/(-18). Suppose 2*v = -d + 798. Is v a multiple of 21?
False
Is (568 + -57)/((-3)/(-15)) a multiple of 73?
True
Suppose -6*k + 1 = -17. Suppose k*q = -4*x + 23, 5*x = -2*q + 7 + 13. Suppose 0*l = x*l - 18. Is l even?
False
Let t = 453 - 940. Let y = t + 762. Does 13 divide y?
False
Suppose 24 = 13*q - 11*q. Let p(s) = 4*s - 24*s + 57 + q*s + 9*s. Is p(21) a multiple of 18?
False
Suppose -r = -3*w + 14, -w - r + 21 = 3*w. Suppose -2*h - w*y + 14 = 0, h - 4 = -4*h + 3*y. Suppose 378 = 8*t - h*t. Does 10 divide t?
False
Suppose 4*z - 4 + 0 = 0. Let c be z*4/(-12)*(-1 - -16). Does 7 divide c/(5 - 0)*-14?
True
Suppose -2*u - 247 = k, -5*u = -0*u. Let m = k - -349. Does 34 divide m?
True
Suppose 6*z - 110*z = -1351272. Is 213 a factor of z?
True
Let i = 12 - 9. Suppose o + 5*x - 8 = 0, -i*o + 17 = x + 7. Suppose -o*b = -40 - 14. Does 3 divide b?
True
Let n = 42291 + -28585. Is 22 a factor of n?
True
Let h(s) = -21*s + 23. Let p = 30 + -36. Let o be (-392)/32 - p/(-8). Does 62 divide h(o)?
False
Let o(n) be the first derivative of n**4/4 - 26*n**3/3 + 31*n**2/2 + 50*n - 139. Does 34 divide o(26)?
False
Let f(s) = 11*s + 1 + 3*s**2 - 6*s**2 + s**3 + 15*s**2. Let b be f(-11). Is 20 a factor of 24/b*(5/2 - 0)?
True
Suppose -53 + 110 = o. Let x = o - -6. Is 7 a factor of x?
True
Does 121 divide (1856/96)/((-1)/(-69))?
False
Let k(d) = 36*d - 30. Let q = 83 + -62. Does 19 divide k(q)?
False
Is (-18)/108 + (60126/36 - 6) a multiple of 16?
True
Suppose n = 2*n + 3*d - 25, 5*d = -4*n + 100. Suppose -n*x + 5407 = 857. Is x a multiple of 7?
True
Suppose -5*k - 4*g + 3056 = 0, 26*k + 2488 = 30*k - 4*g. Is k a multiple of 154?
True
Let p = -319 + 322. Suppose 12*x - 8217 = p*x. Is x a multiple of 83?
True
Let h(o) = -43*o**2 + 1. Let x be h(1). Suppose -3*t - 5*r = t - 2, 1 = 3*t + 4*r. Is (4/(-2))/(t/x) a multiple of 3?
False
Suppose 71*s - 682616 = -63*s + 46*s. Is 5 a factor of s?
False
Suppose -94 - 285 = -o + v, -767 = -2*o + 5*v. Suppose -358*b + o*b - 13554 = 0. Does 12 divide b?
False
Let q be -1*(1 + -1*(0 + 1)). Suppose 1011 = 4*r - 5*h, q = 3*r + h - 3*h - 753. Is r a multiple of 7?
False
Suppose 3*k = -k - 40. Let b(y) = 166*y + 3 - 154*y - 9*y**2 + 7 + 6*y**2 + 5*y**2. Is 18 a factor of b(k)?
True
Suppose -o = -t - 23, -5*o + 99 = 4*t + 29. Does 24 divide (-84)/o*219/(-2)?
False
Suppose 0*m = 3*c - 3*m + 66, c + 2*m = -19. Is (-14)/c*(-474)/(-4) a multiple of 9?
False
Suppose 0 = -6*i - 203 - 445. Let o = i - -113. Suppose 50 + 810 = o*j. Is j a multiple of 43?
True
Let u(x) = 3*x**2 + 13*x - 1. Let d be u(-4). Is 23 a factor of (-19 - d) + 6 + 169?
True
Suppose 110*u + 6*u - 3068131 = -927931. Is 90 a factor of u?
True
Let o(h) = -3*h + 64. Let w be o(20). Suppose 0 = w*y - 24*y + 24620. Is 16 a factor of y?
False
Let u(i) = i**3 - 4*i**2 - 4*i - 9. Suppose -2*m + 5*o + 10 = 0, -2*m = 3*o + 2*o - 10. Let d be u(m). Let b(c) = -22*c. Is 8 a factor of b(d)?
True
Let v(y) be the second derivative of 179*y**3/6 + 52*y**2 - 2*y + 6. Does 24 divide v(8)?
True
Suppose -14*r = -12*r - 56. Suppose 15*y - r = y. Is 3*(y/(-12) - 244/(-24)) a multiple of 14?
False
Suppose -4*u + 998 + 166 = 0. Let y = -183 + u. Does 9 divide y?
True
Let s = 998 - 670. Let q = -139 + s. Is q a multiple of 3?
True
Let t = 38 + -23. Suppose 4*z + t + 2 = v, -4*z - 32 = -4*v. Suppose 3*u = -5*g + 151, -2*g = 2*g - v*u - 106. Does 6 divide g?
False
Let r(u) = -u**2 + u + 16. Suppose 2*i + 2*z = 6, 0*z + 18 = 4*i - 2*z. Let n be r(i). Is 10 a factor of (472/5)/n + 9/(-15)?
False
Let y = -8486 - -9182. Does 58 divide y?
True
Suppose 32*b - 3738 = 1990. Suppose -280 = b*u - 193*u. Does 5 divide u?
True
Let x(i) be the third derivative of 67*i**4/24 + 205*i**3/6 - i**2 + 134*i. Does 39 divide x(8)?
True
Let t be (-1986)/(-4)*(-3)/(9/4). Let c = 1082 + t. Is c a multiple of 12?
True
Let c(p) = 12*p - 26. Let v be c(-12). Let n = v + 113. Let g = 51 - n. Does 36 divide g?
True
Let q(w) = w**2 - 29*w - 10. Let r be q(32). Suppose 0 = -4*o + f + 184, -r = 5*o - 7*o + 2*f. Does 6 divide o?
False
Let d = -8936 + 20694. Is d a multiple of 5?
False
Let f(c) = -13 + 5*c + 16*c + c**2 - 2*c**2 + c. Suppose t - 1 + 24 = 2*r, r - 3*t = 24. Is 8 a factor of f(