q - 34. Let o(w) = 10*w + 67. Let m(j) = 7*b(j) + 3*o(j). Let g be m(-7). Is 17 a factor of g/(-9) - 745/(-9)?
False
Let m = 45747 - 24942. Does 15 divide m?
True
Let g = 4 + -4. Suppose 0 = 2*x - g*x - 226. Suppose -4*p - 4*m + 340 = 0, -2*p = -5*m - x - 50. Is p a multiple of 21?
True
Suppose -u - 2302 = 5*k, 0*u = 5*u + k + 11462. Is 10 a factor of (-2)/3*u/8?
False
Let o(r) = r**3 + 5*r**2 + r + 6. Let f be o(-5). Let z be 0 - (2 + f + 79) - 0. Let k = z - -161. Does 46 divide k?
False
Let q = -2190 + 3156. Does 6 divide q?
True
Let r = -37 + 41. Suppose 0 = -0*d + d + r. Is 81 + 3 + -1 + d a multiple of 8?
False
Suppose -4*o = 5*i - 61011, 4*i + 13635 = o - 1581. Is 15 a factor of o?
False
Is 7 a factor of 1 + -796*(3 + 1)*1470/(-840)?
False
Let c = -11908 + 23548. Suppose c = -24*g + 39*g. Is g a multiple of 25?
False
Suppose -g = h - 6669, -2*h + 3*g + 5766 = -7542. Does 46 divide h?
False
Suppose -40*q - 9*q = -112798. Is q a multiple of 5?
False
Let q be ((-3)/(-9))/(2/12)*34. Suppose -3*t + 217 + 55 = 4*z, -z + q = -t. Does 5 divide z?
False
Let c = 4319 + -2390. Does 5 divide c?
False
Let u = -426 + 1092. Suppose -u = -6*p - 90. Is 11 a factor of p?
False
Is 10 a factor of (-74174)/(-4) + 217/(-434)?
False
Let w = -223 + 409. Let s be w/(-31)*(1 - (-22)/(-4)). Suppose -s - 1 = -k. Does 3 divide k?
False
Let p = -51 - -55. Suppose 4*l + p*r - 12 = 0, 2*l + 4*r + 3 = 11. Suppose 15 = s + 3*h, 5*s - 82 = -l*h + 32. Is s a multiple of 3?
True
Let s(m) = -7*m**3 - 2*m**2 - 4*m + 28. Let f(p) = 3*p**3 + p**2 + 2*p - 14. Let w(a) = -5*f(a) - 2*s(a). Is w(0) a multiple of 14?
True
Let z(x) = x**2 - 5*x - 1. Let f be z(6). Suppose -102 = 6*g - 120. Suppose f*u = -2*c + 60, -5*u + 104 = 4*c - g*u. Is 5 a factor of c?
True
Does 39 divide 16 - 29/((-464)/728576)?
True
Let a = -4 - 12. Let r = a + 23. Let q = r - -28. Does 7 divide q?
True
Suppose -8*s = s - 36. Suppose 5*f = 3*m - 1009, s*f - 680 = 7*m - 9*m. Does 26 divide m?
True
Let t be (490 + 2)*(1 - (-7)/21). Suppose -4*w = -1360 - t. Is w a multiple of 56?
True
Let q(t) = -52*t**3 + 3*t**2 - 17*t + 9. Let d be q(-5). Suppose 0 = 18*g + 9*g - d. Is g a multiple of 13?
True
Suppose -2*i + 1067 + 103 = 0. Suppose 0 = -4202*o + 4207*o. Suppose o = -6*p - 45 + i. Is p a multiple of 30?
True
Let b = -345 + 350. Suppose 13*u = -3*o + 12*u + 620, -b*u = -10. Is 4 a factor of o?
False
Let b(j) = 25*j + 77. Suppose 2*f + 69 - 25 = 2*i, 4*f + 12 = 0. Is b(i) a multiple of 24?
True
Suppose -26743 = -3*k + 2*c + 69038, k - 31916 = -3*c. Does 223 divide k?
False
Let a(w) = 2*w**3 + 3*w**2 + 12*w - 72. Let p be a(12). Suppose -59*i + p = -51*i. Is i a multiple of 22?
False
Suppose 2*z - 15*v + 16*v - 25363 = 0, 0 = 4*z - 2*v - 50714. Is z a multiple of 66?
False
Suppose 0 = -3*a - 0*a + 18. Let l(r) = -4*r**2 - 4*r**3 + 6*r**3 + 5*r + 3 - 19*r + 2*r**2. Does 53 divide l(a)?
False
Let f = -23578 + 74044. Is 123 a factor of f?
False
Suppose -3*n - 7*n + 100 = 0. Suppose 0 = -5*s - n, 2*f + 26 = 6*f - s. Suppose 0 = 11*k - f*k - 75. Does 12 divide k?
False
Let s = -24917 - -35879. Does 126 divide s?
True
Suppose o = 56 + 70. Let q(f) = 26*f - 602. Let d be q(21). Let n = d + o. Is n a multiple of 35?
True
Let d(t) = 9*t + 19. Let x be d(-3). Let j(m) = 9*m**2 - m + 11. Does 17 divide j(x)?
True
Suppose -13*s - 6*c = -2*c - 232712, 3*s - 53715 = -5*c. Does 13 divide s?
False
Suppose 24*f + 19*f = -30*f + 475376. Is f a multiple of 11?
True
Let b = 19835 + -12545. Does 135 divide b?
True
Let d = -2513 - -5785. Is d a multiple of 94?
False
Suppose 14495 + 83850 = 17*x. Suppose -5*u - 8*u = -x. Does 31 divide u?
False
Suppose -5*o = 15, -6*y + 3*y - 5*o + 2346 = 0. Is y even?
False
Let g(b) = -4*b - 18. Let n be g(-5). Suppose n*y = s - 0*s - 44, -4*y = -s + 38. Suppose t + s = u + 4*t, 2*u = -5*t + 98. Is u a multiple of 18?
False
Suppose -3*l = 3*p - 21, p + 3*l = -0*l + 17. Let y(j) = -9*j**3 + 4*j**2 - 2*j + 1. Let n be y(p). Let w = -16 - n. Is 11 a factor of w?
False
Suppose -4086 = -2*p - 5*c, -15*p = -14*p + 2*c - 2040. Does 52 divide p?
True
Is (-1569141)/315*5/(-1) + -11 a multiple of 12?
False
Does 12 divide -4 + (-23 - -24)/(3/2484)?
False
Let c(r) = r**3 + 6*r**2 - 9*r - 11. Let h be c(-7). Let d(p) = -19 + p**3 - 9*p**2 + h + p + 2*p + p. Is d(9) a multiple of 5?
True
Suppose -5*n - 435 = 7*f - 3*f, -4*f + 4*n = 480. Let v be (-1)/(1864/622 - 3). Let o = v + f. Is o a multiple of 34?
False
Let z = 16953 + -7080. Does 9 divide z?
True
Let f = 16934 - 9407. Is 13 a factor of f?
True
Is 27 a factor of (6 + 3708/24)*(78 - 4)?
False
Suppose -19*v + 28 = -15*v. Suppose 4*u + 1 = x, -4*u - v + 0 = x. Does 15 divide (x + -6)/(3/(-45))?
True
Let j = 37 + 40. Let c = 73 - j. Is 9 a factor of (21 + -1)/c + 104?
True
Suppose -4*i - 345 = -9*i. Let a(h) = -2*h**3 - 6*h**2 + 10*h + 14. Let x be a(-5). Suppose -i = -s + x. Is s a multiple of 19?
True
Let s = -107 + 134. Let j(l) = l**2 - 15*l + 26. Is 50 a factor of j(s)?
True
Let y = -93 - -115. Let n(g) = y*g - 6*g - 5*g + 63. Is 21 a factor of n(7)?
False
Let j = 2154 + -1174. Is j a multiple of 14?
True
Suppose f + t - 45784 = -8165, 3*t = 3*f - 112839. Is 16 a factor of f?
True
Let x be 193 + (-16)/4 + -1. Suppose 5*q - 1440 = h, 5*h - 361 - x = -2*q. Is q a multiple of 8?
False
Suppose 0 = -6*d - 0*d + 468. Suppose 70*w - d*w + 472 = 0. Is 59 a factor of w?
True
Let d = -6700 - -18696. Is 107 a factor of d?
False
Let w(s) = 125*s - 1014. Is 15 a factor of w(35)?
False
Let s(u) = 5*u**2 - 7*u - 5. Let t(r) = -r - 1. Let a(f) = -f + 6. Let v(p) = 2*a(p) - 4*t(p). Let z be v(-6). Is s(z) a multiple of 6?
False
Suppose 21*q = 18*q + 6. Suppose q*a - 4*j = 308, -5*a + 11*j = 8*j - 791. Is a a multiple of 10?
True
Let o(f) = 26*f**2 - 102*f - 706. Is o(-8) a multiple of 6?
False
Suppose -6*g = -11*g + 400. Suppose -g + 38 = -3*a. Does 3 divide a?
False
Let p = 61508 - 42428. Is p a multiple of 180?
True
Let t(w) = -w**2 - w. Let c(g) = -12*g**2 + 17*g + 43. Let a(p) = -c(p) - 6*t(p). Does 17 divide a(-4)?
True
Let n be (-1 - 21/(-14))*10/1. Suppose 0 = -2*y + 4*u - 12, 0*u = 5*y - u - 15. Suppose -n*m + 3*s = -816, -y*m = -4*s + 5*s - 646. Does 43 divide m?
False
Let b(t) = 2*t**2 - 2*t + 2. Let n be b(1). Suppose -n*p = -8 - 0. Is 950/15 + p/6 a multiple of 22?
False
Let c = -56695 + 95180. Is 215 a factor of c?
True
Suppose 3*w + 4*z + 1 = -4, 4 = -2*z. Does 49 divide ((-104)/6 + w)/(104/(-1560))?
True
Let o(k) = k**3 - 2*k**2 - 6*k - 8. Let d be 2/((-70)/(-21)) - (-32)/5. Is 18 a factor of o(d)?
False
Let y = 27319 - 21753. Is 72 a factor of y?
False
Suppose -5*g + 7362 = -2853. Suppose -3*b + 2*r = -80, -8*r + 3*r = 20. Is 20 a factor of (-4)/32 + g/b?
False
Let u be 100/25 - (-508)/(-2). Let r = 354 + u. Is 14 a factor of r?
False
Let o = 2015 + -1872. Does 5 divide o?
False
Let k = -21 - 32. Let y = k - -54. Let i = 4 - y. Is i a multiple of 3?
True
Let q be ((-12)/10 + 2)*95/(-38). Is 4 - 20958/(-77) - q/(-11) a multiple of 12?
True
Let d(u) = -2*u**3 + 7*u**2 + 4*u - 3. Let h be d(4). Let n(a) = -4*a**3 + 4*a**2 - a. Let t be n(h). Suppose -t = -5*o + 148. Is 24 a factor of o?
False
Suppose 0 = -1289*c + 1277*c + 26424. Is 6 a factor of c?
True
Suppose 150*k - 164*k + 784 = 0. Suppose -k*v = -57*v + 882. Does 27 divide v?
False
Let h(z) = z + 38. Let q be h(-23). Suppose 5*p - 3515 = q*s - 19*s, -2*s + 1765 = -5*p. Does 15 divide s?
False
Suppose -53 = -2*h + 3*a, -a - 2*a = -4*h + 115. Suppose 0 = 5*r + 36 - h. Does 9 divide (89/(-2))/((-6)/12) - r?
True
Let j = 30960 - 26032. Does 2 divide j?
True
Suppose 157*a - 3499488 = -141*a + 37*a. Does 32 divide a?
True
Let g = 1085 + -2432. Let b = g - -2071. Does 13 divide b?
False
Let r = 743 - 760. Let l(t) = t. Let o be l(-2). Is 15 a factor of 4 + (r + 3)*o?
False
Let z be (13 - -2)*7/35. Suppose -19*i + 15*i + 132 = -4*f, 4*f = -z*i + 127. Is 9 a factor of i?
False
Let j(n) = -4*n + 12*n**2 + n**3 - 5*n**2 + 8 - 2*n**3 + 2*n**3. Let f be (4/6*-2)/((-1)/(-3)). Is 18 a factor of j(f)?
True
Suppose 8 - 8 = -r. Suppose r = 3*v + 3*w - 84, 3*w - 28 = -v - 2*w. Is 14 a factor of v?
True
Suppose 3*h - 6 = 0, -109*h + 152188 = 5*c - 110*h. Does 49 divide c?
False
Let o(q) = -q**3 + 13*q**2 - 12*q + 5. Let 