(-155))?
False
Suppose -2*a + 775*v = 771*v - 5428, 0 = -a + 3*v + 2720. Is a a multiple of 14?
True
Let w(b) = -b**3 - 11*b**2 + 11*b - 3. Let q be w(-12). Suppose 3*l - 2385 = -3*s, -q*s - 4*l + 810 = -8*s. Is 42 a factor of s?
False
Let b = 38 + -16. Let k(c) = -c**2 + 30*c - 19. Is k(b) a multiple of 17?
False
Is 26 - (-8428)/14*11 a multiple of 23?
False
Let n = 951 - 654. Let k = 225 + n. Does 29 divide k?
True
Let r = 42 + -52. Is 6/4*r*(-124)/10 a multiple of 31?
True
Suppose 3*x = -m + 2264, -2*m + 19*x + 4560 = 17*x. Does 7 divide m?
False
Let n(r) = -7*r**3 - r**2 - 4*r + 1. Let p be n(-2). Let v = p - 61. Is 13 a factor of -6 - -2 - (1 - v - 21)?
False
Is 13 a factor of 706414/38 - (-54)/342?
True
Let v(q) = -q**2 + 10*q - 19. Let g be v(6). Suppose -2*w + 7*w = g, 4*w = 3*s - 14. Suppose 0 = -s*c + 702 + 330. Is 13 a factor of c?
False
Let k(p) = 16*p**2 - 10*p + 8. Let x be k(-6). Suppose -x - 2412 = -16*s. Is 31 a factor of s?
False
Let f = 11985 + -7365. Does 24 divide f?
False
Let d(n) = -n**2 + 20*n - 17. Let h be d(19). Let k be (-3 + h + 1)/(-1). Suppose k = -5*s - 0*s + 170. Is 7 a factor of s?
False
Suppose q - 4*r = -8*r + 293, -2*r = -q + 323. Suppose 2*j = -3*k + 661, -q = -3*j + 2*j - 5*k. Is 13 a factor of j?
True
Suppose 198*a = 194*a. Is 9 a factor of 6720/14 - (a - 6)?
True
Suppose -42 = -3*h - 3*t - 15, 0 = -5*h - 4*t + 41. Suppose -173 = -4*x + 143. Suppose -71 - x = -h*c. Is c a multiple of 6?
True
Is 57 a factor of 26946 + 14 - ((-8)/(-28) + (-9)/7)?
True
Suppose 32298 = 5*c - p - 32764, 5*c = 4*p + 65083. Is c a multiple of 21?
False
Let c = -129 - -134. Does 5 divide ((-32)/5)/((-1)/c)?
False
Let p(s) be the second derivative of -s**5/20 + s**4/4 + s**3/2 - 7*s**2/2 + 35*s. Let f be p(2). Does 15 divide (-1)/((-2)/180*f)?
True
Let z(s) = -s**3 + 20*s**2 - s - 50. Is 25 a factor of z(14)?
False
Let f be (0 + -36)*20/(-3). Let o = -8 + 30. Suppose 26*q = o*q + f. Does 15 divide q?
True
Is 27 a factor of 424/6*((-8714)/(-120) - (-8)/60)?
False
Suppose -4*s + 68 = 2*q - 3*q, -q - 2*s = 44. Let k = 47 + q. Is 0 - -243 - (k - 25/(-5)) a multiple of 23?
False
Let z be (9/(-3) + 4)*-1. Does 5 divide (z - (-5)/7) + (-177606)/(-546)?
True
Suppose 5*r + 9460 = -0*r + 10*r. Does 22 divide r?
True
Let v(k) = 2*k**2 + 40*k. Let u be v(-20). Suppose 5*m - 173 - 150 = -g, -m = u. Is g a multiple of 19?
True
Suppose 4038 = 73*c - 79*c. Let i = c + 1018. Is 8 a factor of i?
False
Let z(v) = 10*v**2 + 33*v + 5. Let w be z(-3). Let h(g) be the first derivative of -g**4/4 + g**3 + g**2/2 - 6*g - 1. Does 17 divide h(w)?
True
Let y(r) = 4*r**2 + 2*r - 35. Suppose 0 = -4*s - 3*g + 50, 30 = 2*s + g - 2*g. Does 7 divide y(s)?
True
Suppose -3*y - 3*v - 8 + 2 = 0, 0 = 3*y - 2*v - 19. Suppose y*r - 199 + 70 = 0. Suppose -5*x + r = -477. Does 12 divide x?
False
Let y = -9928 + 17117. Does 113 divide y?
False
Let q be 7/(35/15)*1/3. Is 31 a factor of 624/(-3 - q)*93/(-12)?
True
Suppose -151*z + 29176 = -143*z. Is 7 a factor of z?
True
Is 272/(-170)*(-44205)/6 a multiple of 14?
True
Let f = 211 + 941. Let d = f - 516. Is d a multiple of 21?
False
Let z = 581 - 347. Suppose z = -8*q + 834. Is 15 a factor of q?
True
Suppose 0 = 11*h - 3*h - 24. Suppose -d = g + 2*d + 1, h*d = -5*g + 7. Is g + (161 - 4) - -3 a multiple of 27?
True
Let g = 31 - 220. Let j = g + 53. Let i = j + 238. Is i a multiple of 34?
True
Let s be 6/(-9) - (-140)/12. Suppose 20 = 16*z - s*z. Suppose z*y - 4*x - 400 = 0, -62 - 473 = -5*y - 2*x. Is y a multiple of 23?
False
Let x(n) = n**2 + 4*n + 77. Suppose 0 = -3*l - s + 6*s - 326, -104 = l + 3*s. Let y = l - -107. Does 7 divide x(y)?
True
Let w(k) = -17*k + 55. Suppose -4*v + 21*v = -289. Does 43 divide w(v)?
True
Suppose 0 = 85*v - 101*v + 64. Suppose 2*b - p + v*p = 1899, 3*p = -15. Is 15 a factor of b?
False
Suppose 6*j + 6 = -756. Let t = 146 + j. Is 19 a factor of t?
True
Let c(t) be the third derivative of 5*t**4/12 - 23*t**3/6 + 40*t**2 - 1. Does 19 divide c(11)?
False
Let o(w) = 13*w + 16*w**2 + 7*w**2 + 0*w - 1125*w**3 - 65 + 1126*w**3. Is o(-22) a multiple of 2?
False
Suppose 5*t = -5*s + 110, -3*t + 64 = s - 10. Let b = -16 + 3. Let n = t + b. Is 13 a factor of n?
True
Let z be 4 + 0 - (-1 - 0/(-2)). Suppose 5*b - o = 2070, -4*b = z*o - 1210 - 475. Is 17 a factor of b?
False
Suppose 2*l + 3*r + 343 = 3*l, 5*l - 1769 = -3*r. Let c = l + 152. Does 63 divide c?
True
Let z(j) = -68 - 46 + 37*j + 50. Is 20 a factor of z(12)?
True
Suppose 16 + 32 = 6*t. Suppose 846 = 5*j - 5*w + t*w, -j = 4*w - 159. Is 3 a factor of j?
True
Suppose -15*b - 48527 = -19*b + w, 3*b - 2*w - 36399 = 0. Is 5 a factor of b?
False
Suppose 6*y + 75393 = 24*y - 105165. Is y a multiple of 14?
False
Let x be 1904 - (4/(-14) + (-10)/14). Let d = 3405 - x. Suppose -4*k + d = 2*z + z, -k - 2*z + 370 = 0. Is k a multiple of 21?
True
Let v(x) = -6*x + 1. Let f be 5/5 - 3*(-1)/1. Let p be -15*1*f/12. Is v(p) a multiple of 13?
False
Let r be 0*1/((-2)/2). Suppose 3*i = -2*y, r = -4*i - 1 - 7. Is 3 a factor of y?
True
Let u(n) = -n**3 - 15*n**2 - 43*n + 14. Let o(k) = 3*k**3 + 44*k**2 + 129*k - 41. Let q(g) = 2*o(g) + 7*u(g). Does 3 divide q(-14)?
True
Does 140 divide (2772/420)/((-2)/(-790))?
False
Suppose 150145 = 4*g + u - 4403, -u + 193185 = 5*g. Is 243 a factor of g?
True
Suppose 110*w = -90*w + 2223600. Is 109 a factor of w?
True
Suppose 0 = 9*b - 807 - 5097. Does 19 divide 1 + (-20)/15 - b/(-6)?
False
Let o = 23986 + -15478. Does 6 divide o?
True
Suppose -4*c - 16 = 0, -7*b + 20*c = 17*c - 75696. Does 106 divide b?
True
Let h(k) = -1925*k - 149. Does 16 divide h(-1)?
True
Let b(o) = 1115*o + 1530. Does 28 divide b(4)?
False
Let i(s) = -8*s + 32. Let p = -123 - -115. Is i(p) a multiple of 4?
True
Let u = 28 + -16. Let x(y) = -y**2 + 24*y - 100. Does 44 divide x(u)?
True
Suppose 5*r + 202 - 22 = 0. Let k = r + 36. Suppose 3*d + 26 - 263 = k. Is 13 a factor of d?
False
Let g(a) = 2*a**2 - 5 - 5 + 4 + 5*a + 2*a**2. Let r(q) = 3*q**2 + 5*q - 5. Let y(i) = -4*g(i) + 5*r(i). Is 2 a factor of y(2)?
False
Let m = 7 - 3. Let p = 16 - m. Suppose -o + 13 - 1 = 3*v, -2*o = 2*v - p. Does 2 divide o?
False
Suppose -5*k = -3*l - 2*l + 60, 26 = 2*l - k. Suppose 9*z + 1615 = l*z. Let t = z - 154. Is t a multiple of 26?
False
Let d = 829 + -373. Suppose -14*l - d = -26*l. Does 38 divide l?
True
Is ((-1772)/(-6) + -2)*162/135 a multiple of 4?
True
Let d be ((-6)/(-4) - 1)/((-74)/(-297184)). Suppose d - 307 = 7*t. Does 5 divide t?
False
Let a(i) = -6*i - 21. Let r be a(-4). Suppose r*c = -q + 65, c + 2*q = 3*c - 30. Suppose -4*y + c = -2*y. Is y a multiple of 5?
True
Let r be (198/(-88))/((-6)/16*1). Suppose -5*l - 4*p = 0, 6*l - 40 = l + 4*p. Suppose -2*u + r = -l*x, u + 4 - 9 = x. Is u a multiple of 3?
False
Let x = 12 - -141. Let n = x + 182. Is 67 a factor of n?
True
Suppose 0*v + 18 = -v. Suppose -d + 387 = -4*h, h + d = 2*d - 99. Does 16 divide h*(-3)/(v/(-3))?
True
Suppose -r + 5*j + 1 = 8, 2*r = -j + 30. Let s = r - -53. Is s a multiple of 8?
False
Let k(p) = 2*p - 21. Let m be k(9). Let f be m/(((-27)/(-596))/9). Let i = -425 - f. Is 33 a factor of i?
False
Let b = -39 - -64. Let u = b - 23. Suppose 3*j = 3*l + 48, -2 + 10 = -u*l. Is j a multiple of 3?
True
Is 2 a factor of 524329/78 + 2/(-12)?
True
Suppose -100*y = 11*y + y - 963200. Is 14 a factor of y?
False
Suppose -471528 = -17*k - 19*k. Does 34 divide k?
False
Let a = 2971 + -1816. Does 29 divide a?
False
Let k be 91404/108 + 16/6. Let t = k - 757. Is t a multiple of 11?
False
Let p be (-14)/4 - 20195/(-70). Is 12 a factor of (-57)/p - (-181)/5?
True
Is 4 a factor of (-12)/(-9)*(60/(-100))/((-2)/240)?
True
Let d be 2/(36/(-6))*(-3789)/(-3). Let z = 1056 + d. Is z a multiple of 12?
False
Let a(h) = h**2 + 9*h - 21. Let k be a(-11). Let r be ((-7)/2 + 3)*(-7 - k). Suppose -47 = -l + y + 18, -r*y - 140 = -2*l. Is l a multiple of 15?
True
Let z = -505 - -505. Does 46 divide 690/(-105)*(z + -21)?
True
Let f = 715 + -187. Let s = f + -362. Is s a multiple of 11?
False
Does 130 divide -15 - (12 + 9 - 4736)?
False
Let t(f) = 2*f**3 + 14*f**2 - 16*f + 4. Let l be t(-8). Suppose 5*g - 120 = g. Suppose -l*b + g + 130 = 0. Is 7 a factor of b?
False
Let u = -160 + 1583. Is u a multiple of 4?
False
Let s = 35 