v) = -6*a(v) + 11*p(v). Is 37 a factor of h(-4)?
False
Is (-4*(-21)/(-35))/((-6)/3680) a multiple of 23?
True
Let b = 24874 + -16538. Let d be b/72 + (-4)/(-18). Does 12 divide (d/(-8) + 3)*-2?
False
Let g(d) = 71*d + 37. Suppose -150*c + 146*c = -20. Is 22 a factor of g(c)?
False
Suppose 2044 = 6*s - 1232. Is s a multiple of 42?
True
Let w(v) = v**3 - 8*v**2 - 16*v - 25. Let i be w(10). Suppose 0 = -3*m - i, -g + 154 = m - 5*m. Is g a multiple of 23?
False
Suppose -u - 3485 = -26*n + 24*n, -u = -4*n + 6965. Is n a multiple of 58?
True
Suppose y = -5*b + 964 - 202, 5*y = 2*b + 3783. Is 22 a factor of y?
False
Suppose 2640 = 2*v + n, 3*v - 2*n + 3*n - 3960 = 0. Is 83 a factor of v?
False
Suppose -4*u - 2 = -3*u - 3*m, 4*u + 36 = 5*m. Let w = 37 + u. Is 15 a factor of w?
False
Suppose 5*m = 4*b - 2813, -194 = -4*b + 2*m + 2628. Is 4 a factor of b?
False
Suppose -5*m - 4*o + 1364 = -8*o, 5*o = 20. Is m a multiple of 46?
True
Let j = 0 - -5. Let y be 6/39 - 8/52. Suppose 2*p - 242 = -j*o + 3*p, o + 5*p - 38 = y. Does 28 divide o?
False
Suppose 0 = -2*t + 17 + 17. Suppose l - 110 = -4*u, 3*u + 5*l + t = 108. Let k = 42 - u. Does 15 divide k?
True
Let z = -233 + 421. Is 8 a factor of z?
False
Suppose s + 2*s - 5*q + 23 = 0, -2*s + 5*q - 22 = 0. Let h(y) = 15*y**2 + y + 2. Does 5 divide h(s)?
False
Let k be (-1 + 2)/((-1)/(-2)). Suppose -2*j + 10 = 4*r, -52 + 27 = -5*j + r. Suppose 0 = -4*v - k*c + 356 - 130, -j*v = 5*c - 280. Does 19 divide v?
True
Let z(s) = 2*s**3 + 9*s + 7. Let m be z(5). Let a = m + -203. Does 4 divide a?
False
Suppose 0 = 25*y - 22*y - 603. Is y a multiple of 67?
True
Let s = 890 + -782. Is 6 a factor of s?
True
Let q(s) = 2*s + 267. Is q(22) a multiple of 21?
False
Suppose 4*z = -4*z + 176. Is z even?
True
Let g = -290 + 342. Is g a multiple of 3?
False
Suppose -5*j = 5*s - 4865, 5*s - 7*s = -2*j + 1930. Does 38 divide j?
False
Suppose -4*g - 45 = -9*g. Let z = g + -12. Is (-4)/z*6 + -2 a multiple of 4?
False
Let z = -8 - -8. Suppose -4*u - 2*x + 166 = 0, 5*x + z*x - 95 = -2*u. Is u a multiple of 10?
True
Let k = 1281 + -721. Does 40 divide k?
True
Suppose 4*d = 5 - 1. Let y = 3 - d. Suppose -5*l - 4*o = -8*o - 84, y*l + 4*o = 56. Is 10 a factor of l?
True
Suppose 3*b = 2*b + 2. Suppose -4*x - 6 = -2*k, -13 = -0*k - b*k - 3*x. Suppose 7*c + 250 = k*u + 2*c, -2*u + 3*c = -102. Is u a multiple of 12?
True
Let j = 19 + 0. Let p = j + -13. Suppose 8*q - 144 = p*q. Is q a multiple of 36?
True
Suppose -28 - 29 = -x + k, -2*x = 3*k - 99. Let l = -34 + x. Does 5 divide l?
True
Does 37 divide 1998/(-12)*(-2 + 0)?
True
Let a be 4/10 + (-647)/5. Suppose -3*v - 372 = 2*b, 27*v - 740 = 4*b + 31*v. Let m = a - b. Does 20 divide m?
False
Let j(g) = -g**3 + 7*g**2 + 4*g - 3. Let b be j(5). Suppose -5*v + b + 83 = 0. Does 10 divide v?
True
Let z(d) = -57*d - 10. Let n be z(2). Is 22 a factor of 9*n/(-6) + -3?
False
Let n(k) = 2*k - 9. Let b be n(7). Let v(d) = 2*d - 12. Let i be v(b). Is (-124)/(-44) - i/11 even?
False
Let q(v) = v**3 - 13*v**2 - 9*v + 4. Let f be q(14). Let k = f + -38. Is k a multiple of 10?
False
Let n(b) be the third derivative of -b**6/120 + 7*b**5/30 + b**4/8 + b**3/2 + 6*b**2. Let l be n(14). Let w = -30 + l. Does 15 divide w?
True
Let o(b) = -b**2 - 5*b + 6. Let p be o(3). Let n = p - -21. Is 2 a factor of n?
False
Suppose u + 4*s + 8 = -21, 5*s = u + 65. Is ((u/10)/3)/((-6)/272) a multiple of 30?
False
Let p(d) = 41*d**3 + 44*d**3 - 2 + 1160*d**2 - 1162*d**2 + 3*d. Is 21 a factor of p(1)?
True
Let l(f) = -f + 10. Let x(d) = -d**3 - 8*d**2 + 6. Let o be x(-8). Let h be l(o). Suppose -4*u + 3*t = -9*u + 149, -h*u = -2*t - 106. Is u a multiple of 8?
False
Suppose -36*a - 24 = -34*a. Does 12 divide (-3)/((-1 + 2)/a)?
True
Let u(k) = -k**3 - 9*k**2 - 4*k + 5. Let l be u(-9). Let g = 13 + l. Does 6 divide g?
True
Let t = 283 - 43. Is 60 a factor of t?
True
Let g be 3 + (-15)/(3/(-1)). Let w(o) = 22*o - 19. Does 43 divide w(g)?
False
Is 14 a factor of (-21)/(147/14)*-196?
True
Let g = -173 + 189. Is 8 a factor of g?
True
Let q(d) = -d**2 - 2*d + 19*d + 12 - 4*d. Does 6 divide q(10)?
True
Suppose -297 = -6*w + 5511. Does 44 divide w?
True
Suppose -173 = -p + 4*w - 52, p = -5*w + 130. Suppose -2*o + p = -3*j + 2*j, -55 = -o - j. Is o a multiple of 8?
False
Suppose 5*h - 2*l = -992 + 3506, -2010 = -4*h + 2*l. Suppose 2*o = -5*o + h. Is 11 a factor of o?
False
Let g be (274/(-8))/(1/(-4)). Suppose -3*y + g = -43. Is 15 a factor of y?
True
Let m(q) = q**3 + 18*q**2 + 16*q. Let a be m(-17). Let s = a + 27. Is 4 a factor of s?
True
Suppose -3*y + 46 + 128 = 0. Suppose -3*m + y = z, -4*m + 0*m + 159 = 3*z. Does 6 divide z?
False
Let c(b) = 9*b + 35. Let i be c(-12). Let w = i - -221. Does 32 divide w?
False
Let r = 7 + 2. Let x(o) = -o**3 + 14*o**2 - 17*o + 8. Is 18 a factor of x(r)?
False
Suppose 4*m - 201 = -3*a + 38, 81 = a + m. Is a a multiple of 3?
False
Let a = 390 + -67. Is a a multiple of 17?
True
Suppose 7*b = 3822 + 1631. Is 41 a factor of b?
True
Let z(k) = k**2 + 10*k - 11. Let r be z(-11). Suppose -11*d - 24 + 68 = r. Is d a multiple of 4?
True
Let d = -1328 - -2250. Does 41 divide d?
False
Suppose 2*j - 106 = -v, 2*j - v - 94 = 4*v. Is 13 a factor of j?
True
Let o = 1169 - 835. Does 31 divide o?
False
Suppose -4*i - 5*w + 3044 = 0, -2*i - 1516 = -4*i - w. Is i a multiple of 4?
True
Let w be ((-22)/4)/((-2)/76). Let n be (6 + -2)*w/4. Suppose 7*d - 456 - n = 0. Is d a multiple of 26?
False
Let k(t) = -10*t**2 + 6*t - 5. Let z be 80/(-13) + (-8)/(-52). Let f(o) = -o**2 - o + 1. Let p(i) = z*f(i) - k(i). Does 5 divide p(-1)?
True
Suppose 16*w = 6*w + 2460. Is 4 a factor of w?
False
Let r = -3086 + 3708. Does 21 divide r?
False
Let b(h) = 122*h**2 - 30*h + 2. Is b(2) a multiple of 43?
True
Let q = -16 - -20. Suppose -q*b + 828 = -2*j, -2*b - 828 = -6*b - 3*j. Is 20 a factor of ((-8)/12)/((-3)/b)?
False
Let s be 19/76 - 118/(-8). Let z = s + -12. Suppose 0 = -z*t - 10*b + 5*b + 46, 4*t - 5*b = 73. Is 17 a factor of t?
True
Let l(i) = -i**3 + 2*i + 1. Let u be l(2). Let f(q) = 4*q**3 + 3*q**2 - q - 2. Let n be f(-2). Is 15/10*n/u a multiple of 4?
False
Let o = -12 - -25. Let k = -6 + o. Let u = k - -2. Does 4 divide u?
False
Let g = 1273 - 405. Is 7 a factor of g?
True
Let f(u) = 131*u - 364. Is 22 a factor of f(10)?
True
Let p(g) = 16 - 5*g - 15 - 10*g. Let b(v) = -8*v. Let u(r) = 5*b(r) - 2*p(r). Is 19 a factor of u(-4)?
True
Let h(u) = -56*u - 8. Is h(-3) a multiple of 16?
True
Let k(u) = -4*u**3 - u**2 - 2*u - 1. Let r be k(-1). Does 12 divide (-12)/14*(-38 - r)?
True
Let g(v) = -5 - 38 + 3*v + 14*v + 2*v. Is 36 a factor of g(7)?
False
Let n = 855 - 458. Does 39 divide n?
False
Let z(k) be the first derivative of k**3/3 - 3*k**2 + 19*k + 11. Is z(13) a multiple of 23?
False
Suppose -2*i + 52 = i + 5*w, 4*i + w = 75. Suppose 3*t = -181 + i. Let u = 75 + t. Is 13 a factor of u?
False
Is 10 a factor of (5 - 1)/1 - 918/(-3)?
True
Let a = 94 - 145. Let x = -17 - a. Is x a multiple of 9?
False
Let b = 126 + -60. Suppose 3*u = 3*x + 42, 0*x - b = 5*x - 3*u. Let w = x + 17. Is w a multiple of 2?
False
Suppose 0 = -8*h + 12*h - 1172. Suppose 2*d = 853 - h. Is d a multiple of 17?
False
Let a(k) = -3*k + 96. Does 9 divide a(14)?
True
Let y(m) = m - 7. Let u be y(9). Suppose -u*p - 2*p + 432 = 0. Does 9 divide (p/63)/(2/21)?
True
Let r(l) = 148*l + 2. Let b be (8*(-4)/(-8))/2 + 0. Is r(b) a multiple of 53?
False
Let u = 351 - -187. Is u a multiple of 22?
False
Let z = -1153 - -1597. Is 7 a factor of z?
False
Let o be 2/6 + 200/30. Let t(y) = -4*y**2 + 10*y - 15. Let k be t(o). Does 6 divide k/(-12) - (-2)/8?
True
Suppose -3*m = -2 - 1, -l = -5*m - 1614. Is 18 a factor of l?
False
Does 15 divide ((5 - 2)/(-1))/3 + 597?
False
Let i(o) = -2*o - 15. Let r be i(-9). Suppose -r*d + 2*g - g = 491, -3*g + 821 = -5*d. Let t = -83 - d. Is 14 a factor of t?
False
Let w(u) = 7*u**3 + 8*u**2 - 16*u - 2. Let p(v) = -20*v**3 - 23*v**2 + 48*v + 7. Let b(l) = 6*p(l) + 17*w(l). Is 14 a factor of b(-6)?
True
Does 8 divide -478*2/(-24) - (-1)/6?
True
Let z(t) = 3*t**3 + 9*t**2 - 16*t - 2. Let x(p) = 4*p**3 + 8*p**2 - 17*p - 3. Let b be (-3)/(6/8 - 0). Let a(d) = b*x(d) + 5*z(d). Is a(12) a multiple of 2?
True
Suppose -v + 3*z + 65 = 0, 52 = 2*v - 