 h be i(-14). Suppose 17 = h*m + 7. Suppose 3*w - 8*w + m*n = -410, w + 2*n = 94. Is w a multiple of 14?
True
Let q(y) = -47 + 6*y - 46*y**2 + 8*y + 47*y**2. Let o be q(-17). Suppose -2*l - 3*v + 301 = 0, 6*l - 5*v = o*l + 261. Is l a multiple of 13?
True
Let i be (79/2)/(2/(-4)). Let u = 1821 - 1830. Let v = u - i. Is 14 a factor of v?
True
Let l(p) be the second derivative of 29*p**4/12 + 2*p**3/3 + 3*p**2/2 + 116*p. Does 6 divide l(-2)?
False
Let s = 599 + -599. Suppose 2*l + 3*l = 5*v + 7695, s = 2*l - 3*v - 3079. Is l a multiple of 13?
False
Let p(j) = -8*j + 5. Let f be p(10). Let s = f + 32. Let t = s - -71. Does 28 divide t?
True
Let i(s) = s**3 + 36*s**2 - 38*s - 38. Let t be i(-37). Let m(x) = 6*x - x + 5 + 21*x**2 - 3*x**2 + 3*x**2. Is 7 a factor of m(t)?
True
Suppose 12 = -5*i - 18, -2*n + 3*i = -468. Is 25 a factor of n?
True
Suppose -98 + 98 = 2*a. Suppose -5*o + 5*z + 27 + 8 = a, -2*o - 3*z = 1. Is 12 a factor of 9/((-36)/(-208)) - o?
True
Suppose 0 = 18782*w - 18768*w - 113316. Does 70 divide w?
False
Let p be (7 - 68/(-16))/((-2)/8). Is (2*303)/(p + 46) a multiple of 14?
False
Does 132 divide (-6)/(-15)*((-295)/(-15))/(-1)*-990?
True
Let n(c) = -c**3 - 6*c**2 - 13*c + 1. Let q be n(-2). Does 19 divide (q/(-66))/(4/(-5592))?
False
Let s(a) be the second derivative of 5*a**4/12 + 11*a**3/6 - 45*a**2/2 + 583*a. Suppose 2*h - 5*f + 9 = -1, -3*h + f + 11 = 0. Is 5 a factor of s(h)?
True
Let o be (-27)/3*852/(-36). Suppose -3*a = o + 78. Let v = -55 - a. Does 6 divide v?
True
Suppose -893*j = -824*j - 102258. Is 6 a factor of j?
True
Suppose -221*l + 9018905 = 899144. Is l a multiple of 22?
False
Let u = 90556 + -63628. Is u a multiple of 57?
False
Let u(d) = d**3 - d - 23. Let m be u(-9). Let z = m + 778. Is 5 a factor of z?
True
Let o = -41 - -68. Suppose o*z - 23*z = 816. Suppose -5*y + z + 156 = 0. Does 18 divide y?
True
Let v(k) = 503*k - 2043. Does 16 divide v(47)?
False
Suppose -13*j + 14*j = -2. Is 25 a factor of (j/(-5) - (-4890)/25) + 4?
True
Let q(h) = 15*h**2 - 7*h - 6. Let m be q(-1). Suppose 3*n - 3*i + 54 = -6*i, 0 = 4*i + m. Let j(k) = -k**2 - 19*k - 6. Does 15 divide j(n)?
False
Let h = 839 - -542. Let g = 2709 - h. Is 71 a factor of g?
False
Let a = 70807 - 31769. Is a a multiple of 262?
True
Let s = -3781 + 7836. Is 15 a factor of s?
False
Let j(q) = q**2 + 15*q + 8. Let r = -11 + -2. Let v be j(r). Is v/(3 + (-33)/9) a multiple of 9?
True
Suppose -c = 3*c - 12. Let r(g) = 2*g**3 + 7*g - c*g - 2*g**2 - g**3 + 10*g**2. Is 14 a factor of r(-6)?
False
Let a(d) = -d - 4. Let p be a(-4). Is 32 a factor of (1 - p)*(-38 - -178)?
False
Let z be (322/(-21))/(4/(-546)). Let a = -1312 + z. Is a a multiple of 14?
False
Suppose -3*f = -3*m + 5*m - 1547, 3*f = 5*m + 1540. Suppose y = 4*a + 253, 0 = 2*y - 4*a - a - f. Is y a multiple of 6?
False
Let p = 6812 - 6554. Does 14 divide p?
False
Suppose 0 = -z - 5 + 8. Suppose -6*h + 324 = z*h. Is 18 a factor of h?
True
Suppose -4*x - 4*c - 930 = -4578, 3*x = 5*c + 2720. Suppose -4*y = -f + x, 3*y + 166 - 3844 = -4*f. Is 13 a factor of f?
False
Let g be 7/(-3) - 3/(-9) - -2. Suppose -4*m - 3*w + 284 = g, 3*m + 5*w + 116 = 5*m. Suppose 4*b - 3*u + 8*u = 130, 2*b - m = -4*u. Is b a multiple of 9?
False
Let z be (2616/(-30))/(1 + 14/(-10)). Let s = z - 96. Is 15 a factor of s?
False
Let u(a) = -11*a - 59*a + 6*a - 52*a - 81. Does 43 divide u(-7)?
True
Let r(i) = 3*i**2 + 25*i + 12. Suppose -7*x + 5*x - 20 = 2*w, -x = -w + 6. Let o be r(x). Suppose 4*a = o*c + 58 + 150, -3*a + 148 = c. Does 16 divide a?
False
Suppose -5*p + p + 2*q + 8 = 0, 0 = p - q - 3. Does 34 divide (28/35)/(p/85)?
True
Let l = -183 + 185. Suppose -l*m - 7*m = -171. Does 3 divide m?
False
Let v be (-6 - 16/(-4))*25. Does 15 divide (-480)/v*(-10)/8*-10?
True
Let m = 11537 + -4629. Is m a multiple of 11?
True
Let u(v) = v**2 - 13*v + 41. Let w be (-195)/(-9) - 6/9. Let f = -3 + w. Is 14 a factor of u(f)?
False
Suppose -138*r = -1111112 - 357208. Does 35 divide r?
True
Suppose 0 = s + 3*x + 7, -3*s - 5*x + 8*x + 15 = 0. Suppose 10 = -s*q, -2*q + 4*q = 5*c - 60. Is c even?
True
Suppose -4*t = 16, -2*j - t = 79 - 185. Let z = j - 43. Is 4 a factor of (-1 + 7)*z/9?
True
Is 4 + (-3 + 6 - (-7 - 7254)) a multiple of 92?
True
Let k(r) = r**3 + 10*r**2 + r - 1. Suppose 2*b - b = 0, 540 = 4*v + 4*b. Suppose h = 16*h + v. Is k(h) a multiple of 13?
False
Let l(c) = -c**3 - 37*c**2 - 108*c - 504. Is 50 a factor of l(-44)?
True
Suppose -435*l = -427*l - 40. Suppose 2*g = -4*b + 56, 60*b = l*g + 56*b - 196. Does 6 divide g?
True
Let c(x) = -x + 3. Let s be c(-4). Suppose -11*u + s*u = -104. Let y = 103 - u. Does 20 divide y?
False
Let o = 9263 - -7592. Is 6 a factor of o?
False
Let c = 983 + -1920. Let v = -409 - c. Is 6 a factor of v?
True
Is (2372 + -2)*(132/(-11) + 13) a multiple of 10?
True
Suppose 4*k = -3*p - 14 - 1, 4 = 5*p - 3*k. Is 9 a factor of 205 - -3 - (-1 + p - -1)?
False
Suppose -b + 44 = 3*v - 2*b, -2*b = 3*v - 29. Let c = -120 - -129. Let d = c + v. Is 2 a factor of d?
True
Suppose 0 = 30*q + 29*q - 64*q + 72470. Does 41 divide q?
False
Let p = 22135 + -20303. Does 8 divide p?
True
Let x(f) = -240*f + 16 + 125*f + 123*f - 2. Does 3 divide x(5)?
True
Suppose -8*c + 465 = 113. Suppose -c*p - 1004 = -46*p. Suppose 3*r - 17 = p. Is 38 a factor of r?
False
Let x(d) = -22*d**2 + 40*d. Let h(l) = 7*l**2 - 13*l. Let t(q) = -16*h(q) - 5*x(q). Let a be t(7). Is ((-4)/(-12) - -1)*a/(-4) a multiple of 11?
False
Suppose -4*p + 322 = 306. Suppose -p*s + 3*h + 72 = 0, 2*s - 3*h - 38 = -2*h. Does 21 divide s?
True
Suppose 3*l = 5*w - 2115, 2*l - 1956 = -4*w - 286. Is 84 a factor of w?
True
Suppose 135*a - 125609 - 262028 = -134917. Does 48 divide a?
True
Let b be ((-1443)/(-15) - -3)/((-336)/35 - -10). Let s be -2 - -2*(1 - 0). Suppose -2*g + b = -s*f + 2*f, -5*f = -g + 136. Is 27 a factor of g?
False
Suppose 0*c = -c + 51. Let v(o) = -o**3 + 19*o**2 - 18*o - 18. Let b be v(18). Let z = c + b. Is z a multiple of 18?
False
Let v be 2 - (2/(-4))/(18/(-360)). Is 7 a factor of 48/(-36)*996/v?
False
Suppose -25562 = -81*p - 5231. Let w = 244 + -359. Let r = p + w. Is 17 a factor of r?
True
Let j = 446 + 526. Is j a multiple of 9?
True
Suppose 8*l = 51 - 11. Suppose -186 = -4*p - 2*s, -l*s - 165 = -13*p + 9*p. Is 5 a factor of p?
True
Let l = 67 - 58. Let v(c) = -c**2 - 5 - 12*c - l*c - 5 + 2. Is v(-15) a multiple of 41?
True
Suppose f - 2*h = 31522, -245*f + 243*f + 63116 = 4*h. Is f a multiple of 19?
True
Let w = 878 + 629. Is 55 a factor of w?
False
Let h(w) = 3*w + 5. Let u be h(-4). Let m(t) = -3*t**2 + 1514784 + 0*t - t**3 + 8*t - 1514790. Does 20 divide m(u)?
False
Let g = 20692 + 24756. Is g a multiple of 104?
True
Suppose 4*t = -0*t - p - 216, -6*t = -4*p + 302. Let k = -82 - -2. Let g = t - k. Does 3 divide g?
True
Let t(g) = 2168*g + 4335. Does 43 divide t(10)?
True
Suppose -5 = 4*p - 25, -3*q + 2*p = -14498. Is q a multiple of 62?
True
Suppose -9*s - r + 7430 = -5*s, -2*s + 5*r = -3682. Does 45 divide s?
False
Suppose -3671 = -5*d + 3*s + 6867, 4*s = 4*d - 8424. Is 10 a factor of d?
True
Let o(k) = 45*k**3 + 6*k**2 - 10*k + 4. Let i be o(2). Suppose y + 285 = i. Is 5 a factor of y?
False
Suppose 3*h - 7*r = -2*r, h + 4*r = 17. Suppose t - 2660 = -2*t - h*b, 0 = -4*t - 5*b + 3540. Suppose -4*l = 4*j - t, -j + 3*l + 163 = -41. Does 8 divide j?
True
Suppose 2*f + 7 = 21. Let j be (f - 11) + 4*2. Suppose 0 = -q - 3*r + 16 + 29, -j*q + 180 = 5*r. Does 16 divide q?
False
Suppose 157731 - 84405 = 71*p - 248446. Is p a multiple of 11?
True
Let d = 601 - 54. Let m = d - 282. Is 16 a factor of m?
False
Suppose 0 = 16*k + 2994 - 12322. Suppose -11*m = -0*m - k. Let t = m - 28. Does 3 divide t?
False
Let w(d) = -70*d**2 - 2*d - 55. Let y(q) = 24*q**2 + q + 19. Let s(a) = -3*w(a) - 8*y(a). Is 20 a factor of s(3)?
False
Suppose 0 = 18*b - 1859 - 4297. Is 42 a factor of b?
False
Let x = -132 + 153. Suppose -x*j = -168 - 1344. Does 23 divide j?
False
Let s = 1613 - -3010. Does 40 divide s?
False
Let m(v) = 1867*v - 14651. Is 23 a factor of m(23)?
True
Let o = -1375 + 1020. Let u = 176 - 321. Let y = u - o. Does 42 divide y?
True
Suppose -4*b + 1601 = 3*m, m = -b + 2*m + 409. Let z = b + -695. Let g = 451 + z. Is 20 a factor of g?
True
Sup