 -67*a = -162697 + 40129 - 25904. Is 17 a factor of a?
False
Let a = 764 + -758. Let v(d) = d - 1. Let y(m) = -4*m - 17. Let w(f) = 6*v(f) - y(f). Is 37 a factor of w(a)?
False
Let w(c) = -3*c**3 - 4*c - 2. Suppose 5 + 1 = -2*o + 3*h, -3*h + 6 = 5*o. Suppose g - 4*u = 3*g + 2, o = -5*g + 4*u - 19. Is 13 a factor of w(g)?
True
Suppose 19 = -6*v + 211. Suppose v*y - 7048 = 24*y. Does 14 divide y?
False
Let j(h) = -24*h**2 - 23*h - 3. Let r(d) = -23*d**2 - 23*d - 3. Let s(l) = 6*j(l) - 7*r(l). Is s(-3) a multiple of 8?
False
Let z = 297 - 294. Suppose z*n + 48 = x - 12, 5*n = 2*x - 122. Is x a multiple of 11?
True
Suppose 41 = 11*m + 261. Is 12/m + 23388/30 a multiple of 7?
False
Let f = 41 - 39. Is 17 a factor of (f - 0 - 4)/((-4)/64)?
False
Let s(c) = 51*c**2 - 3*c - 3. Let m be s(-2). Suppose 449*l - 590*l + 37365 = 0. Suppose -5*z - 56 = 3*w - l, m = 5*z + 4*w. Is z a multiple of 4?
False
Suppose -21*f = -17*f + 12. Let w be (-1)/f - (8/(-3))/(-8). Suppose -3*l - u + 16 = w, -4*l - 2*u - 2*u + 16 = 0. Is 2 a factor of l?
True
Let i(z) = -271*z - 110. Is 93 a factor of i(-4)?
False
Let v(j) = -323*j - 10. Is 19 a factor of v(-3)?
False
Suppose -1075 = 3*x - 10. Let m = 439 + x. Is 6 a factor of m?
True
Let d(h) = -59*h + 505. Let c be d(8). Suppose -y - 4*y - 15 = 0. Let m = c + y. Is m a multiple of 30?
True
Let h = -6962 + 11603. Is h a multiple of 91?
True
Let p(a) = a**3 - 21*a**2 + 3*a - 23. Suppose -b = -5*b + 64. Suppose b*d - 63 = 13*d. Is 6 a factor of p(d)?
False
Let g = 3 + -23. Is 42 a factor of (495/g)/((-27)/504)?
True
Let t(m) = 29*m**2 + 68*m - 149. Let z(q) = -10*q**2 - 23*q + 52. Let v(h) = 4*t(h) + 11*z(h). Is 34 a factor of v(6)?
True
Suppose 5*x = 5*u - 0*u + 15, 0 = x + 5*u - 3. Suppose 1006 = x*f + 121. Suppose f + 62 = 7*q. Is q a multiple of 4?
False
Let w(c) = 132*c**2 + 4*c + 28. Is 114 a factor of w(8)?
False
Suppose 0 = -5*b + 47 - 82. Let k(p) = -13*p - 14. Let m be k(b). Suppose 4*d - m = 355. Is d a multiple of 18?
True
Suppose -57*y + 15720 = -38*y - 45232. Does 20 divide y?
False
Let b(r) = 7*r**3 - 2*r**2 + 19*r. Let h be b(5). Suppose 0 = 9*f - h + 29. Is 11 a factor of f?
True
Suppose -3*f - 4*f = f. Suppose f = 90*o - 92*o + 2016. Suppose -6*r + 432 = -o. Is r a multiple of 30?
True
Suppose -161*g - 24 = -159*g. Let w(s) = -4*s - 5*s + 0*s - 3 + 0*s. Is w(g) a multiple of 15?
True
Suppose -246*z + 39*z - 143*z + 2400300 = 0. Is 27 a factor of z?
True
Suppose 3*l - 112 = t - 25, -348 = 4*t + 5*l. Let f = 151 + t. Is 4 a factor of f?
True
Let z be 576/(-108)*-5*(-3)/2. Let j = z + 338. Is j a multiple of 8?
False
Let s be 0 - -25 - (4/(-2) + 1). Let w be (s + -23)/(6/4). Suppose 57 = w*o - 123. Does 5 divide o?
True
Let r = -7356 + 11125. Is 30 a factor of r?
False
Let o = 146 - -811. Suppose -12*t + 478 = s - 13*t, -2*s = -3*t - o. Does 9 divide s?
True
Suppose 46134 + 180531 = 30*y - 12915. Does 33 divide y?
True
Let s(u) = u**3 + 20*u**2 - 89*u + 31. Suppose 9*r - 149 + 356 = 0. Is s(r) a multiple of 17?
False
Let x(l) = -2*l**3 - 20*l**2 + 5*l - 16. Let a be (-9)/(-27)*(-2)/(-2)*-33. Is 6 a factor of x(a)?
False
Is (-1360)/170*((-20823)/6 - 2) a multiple of 30?
True
Let k be (-8)/36 + 20/9 + -7. Let m be (-75)/10*(-4)/k. Is 9 a factor of (-1)/m - (-322)/12?
True
Let c(d) = 100*d + 3. Let u be c(4). Suppose -u = 2*t - t. Let w = -273 - t. Does 22 divide w?
False
Let q be (-1)/((-1)/10)*2. Suppose 23*h - q = 18*h. Suppose -m + h*d + 62 = -21, -2*m + 4*d = -174. Is m a multiple of 7?
True
Let f be (-29064)/(-51) - ((-105)/(-119) - 1). Suppose 0 = p - 5*p + 2*j + f, 5*j = -p + 115. Is 10 a factor of p?
True
Does 21 divide (-187 - -9)*-61 + (-6 - (4 - 2))?
False
Let j(l) = 2*l - 11. Let f be j(11). Let n be (1 - -2) + (f - (0 - -5)). Suppose n*b - 20 = 8*b. Is b a multiple of 7?
False
Let s = -515 + 686. Suppose -s = -4*p - 15. Is p a multiple of 2?
False
Let r be ((-4)/(-18) - 40/180) + 5. Let v(f) = 3*f**3 + f**2 + 12*f - 12. Is v(r) a multiple of 11?
False
Suppose 0 = d - 4*t - 91, 3*t + 10 + 2 = 0. Let u be 1/((-1)/4*-2). Suppose -k - 99 = -u*k + 2*c, -d = -k - 4*c. Does 13 divide k?
True
Suppose 790*o - 928*o + 2298942 = 0. Is o a multiple of 35?
False
Is 9 a factor of ((-18094)/249)/(2*3/(-729))?
True
Let u(g) = -g**2 + 220*g - 3404. Is 4 a factor of u(54)?
True
Suppose -231*d + 2316536 = -42*d - 1576108. Does 6 divide d?
False
Let w = -38 - -46. Suppose -w*s - 147 = -3. Let u = 98 + s. Is u a multiple of 10?
True
Let r = -374 + 377. Suppose -r*b + 245 = 8*k - 3*k, -5*k - 5*b = -255. Does 46 divide k?
True
Let l = -333 - -332. Let k(z) be the second derivative of 12*z**4 - z**3/2 - 3*z**2/2 + 13*z. Does 16 divide k(l)?
True
Let y(v) be the first derivative of 3*v**4/4 - 26*v**3/3 - 6*v**2 - 19*v - 66. Does 29 divide y(10)?
True
Let r(m) = -27*m + 410. Is r(-19) even?
False
Let c = -2642 + 27639. Is 99 a factor of c?
False
Suppose 2*w + 3*j - 4766 = 0, -3*w + 6144 = 5*j - 1003. Is w a multiple of 20?
False
Let m = 91 + 172. Let x = -140 + m. Is x even?
False
Suppose -2*r + 2734 = -3*w, -w + 1369 = r - 3*w. Does 2 divide r?
False
Let y(d) = -d**2 - 22*d - 14. Let p be y(-10). Suppose -4*h - 119 = -2*r + 69, -r = -5*h - 241. Let u = p + h. Is 10 a factor of u?
False
Let f(g) = -16*g**2 + 212*g - 32. Does 8 divide f(12)?
True
Let i(b) be the first derivative of 507*b**2/2 - 70*b - 121. Does 39 divide i(2)?
False
Let w(f) = -2115*f - 3858. Does 70 divide w(-11)?
False
Suppose 22 = -11*y, -z + y = -1189 - 46069. Is z a multiple of 66?
True
Let l(r) = -81*r + 4 - 68*r - 3 + 142*r + 8. Let v be -2*1/((-1)/(-2)). Is 23 a factor of l(v)?
False
Is 4 a factor of -426*(-2941)/510 + 2/5?
False
Let j(q) = 2*q**2 - 8*q + 23. Let f(k) = k**2 - 2*k + 2. Let z(i) = 4*f(i) - j(i). Let n be (4/(-6))/(3/18). Is z(n) even?
False
Does 2 divide 20/16 + 16414/8?
False
Suppose 2*g = 4*z - 18, 5*g - z + 21 = 3*z. Let q(r) = -227*r + 2. Let h(m) = -113*m + 1. Let a(y) = 7*h(y) - 3*q(y). Does 37 divide a(g)?
True
Let s(g) = 6530*g**2 - g - 2. Does 41 divide s(-1)?
False
Let z = -11853 + 35791. Is 12 a factor of z?
False
Let k(v) = -51 + 51 + 4*v**3 + 0*v**3 - v. Let c be 20/4 + (-2)/1. Is k(c) a multiple of 15?
True
Let o = -370 + 374. Suppose 2*g - 4*g + o*r = -202, -3*g + 259 = 5*r. Does 28 divide g?
False
Let b(f) be the second derivative of 7*f**4/2 + f**2 - 22*f. Let u be b(2). Let n = -91 + u. Is 29 a factor of n?
False
Is 92 a factor of (-1)/(63/(-608566)) - (4/(-18))/1?
True
Let h(x) = -x**3 + 6*x**2 - 99*x - 1673. Does 22 divide h(-22)?
False
Let n be 540/126*14/4. Suppose 4*v = n*v - 66. Is 6 a factor of v?
True
Suppose 21*t - 41*t = 3300. Let f = t + 232. Is f a multiple of 8?
False
Suppose 10 = 2*i - 4*z - 28, 3*z = i - 17. Let g = i - -59. Suppose -5*t - 5*n = -430, 4*n - g = -t - 2. Is 22 a factor of t?
True
Suppose -74*k = -80*k + 348. Suppose -k*u + 57*u + 478 = 5*j, u = 3*j + 454. Is u a multiple of 20?
False
Let j(k) = -k**3 - 5*k**2 + 37*k - 16. Does 13 divide j(-22)?
False
Let c(f) = 57*f**3 + 15*f**2 + 56*f + 36. Does 12 divide c(12)?
True
Suppose 5*h - 43115 = -550. Does 7 divide h?
False
Is ((-368)/230)/(4/(-10870)) a multiple of 39?
False
Let i(h) = -22*h + 24. Let s be i(-11). Let b = s - 14. Suppose -b = -9*p + 3*p. Is 5 a factor of p?
False
Let u = 136 + -137. Is 10 a factor of (135/(-81))/(u/18)?
True
Suppose 5*v + 44 = 134. Suppose -12*f = -14*f - v. Let g(b) = 2*b**2 + 17*b + 9. Is 6 a factor of g(f)?
True
Suppose -180 = 7*o - 12*o. Suppose -37*a = -o*a - 220. Is a a multiple of 55?
True
Let g(c) = 13*c + 83. Let l be g(21). Suppose -5*z = -2*v - 1798, v = -5*z - l + 2157. Is 36 a factor of z?
True
Let y be -3 - (4/(-2) + -40). Suppose 0*c = -2*x + 2*c + 14, x - 15 = 3*c. Suppose u = y + x. Is u a multiple of 14?
True
Let w(z) = 3*z - 28. Let n be w(9). Is 49 a factor of ((2 + 2)/(-8))/(n/158)?
False
Let v be (-6)/4 + (-15)/(-10). Suppose -2*s + m - 5 = 0, v*m = -4*s - m + 5. Suppose s = 2*o + 2*a - 8, -4*o - a = o - 40. Does 2 divide o?
False
Let l be (((-4884)/8)/(-11))/((-3)/4). Let j = l - -76. Is ((-4)/(-4)*29)/(1/j) a multiple of 10?
False
Suppose h + 52586 = 4*h - 52126. Is h a multiple of 152?
False
Let u(a) = a**2 - 4. Let j be u(-7). Suppose -345*q + 346*q = 0. Suppose -30 = -g - 2*p, -g 