 be -26 + 21 + -17*5. Let p = v + 124. Is p a multiple of 4?
False
Does 176 divide 126/(-54) + (-305732)/(-42)?
False
Is (-612 + 1777)*((-3)/(-1) - 2) a multiple of 3?
False
Let p = 102 + -61. Let u = p - 15. Suppose 96 - u = 2*f. Is f a multiple of 5?
True
Let r be 3*(3/(-2))/(6/(-8)). Let n be 9/6*16/r. Suppose n*l = 339 - 43. Is 37 a factor of l?
True
Suppose 0 = -4*b - 13 + 33. Let j(m) = 9 + 7*m - b + 2 + 3*m. Does 6 divide j(3)?
True
Let c(f) = -4*f**2 + 3*f - 5. Let h be c(-4). Let z = -87 - h. Is 9 a factor of z/(-27) + 1695/27?
True
Suppose 0 = -3*i + 1404 - 3. Let d = i - 172. Let h = d - 206. Is 30 a factor of h?
False
Let k = -12 + 16. Suppose 0 = -a + 6 - k. Suppose -a*w + 84 = -w. Does 6 divide w?
True
Let g be 2/9 + ((-16400)/(-72) - 0). Let d = 433 - g. Is d a multiple of 41?
True
Let d(o) = -2264*o - 585. Is d(-11) a multiple of 47?
False
Suppose -2*u + 4*y + y = -31, -2*y - 22 = -2*u. Suppose -6*o = -u*o - p + 633, 0 = 2*o - p - 635. Suppose 2 - o = -3*r. Does 21 divide r?
True
Suppose 5*p + 50995 = 5*x, -p + 21722 + 29255 = 5*x. Is 104 a factor of x?
False
Let l(y) = y**3 + 16*y**2 + 3*y + 32. Let v be l(-16). Let a be 2 - 1 - (-6 + -13). Let b = a + v. Is 3 a factor of b?
False
Let l(c) = -c**2 + 2*c - 257. Suppose 2*m = -13*m. Let v be l(m). Does 19 divide 8/(-12) + v/(-3)?
False
Suppose -18*b = -12*b - 252. Suppose b*g + 780 = 45*g. Is g a multiple of 65?
True
Let x = 20250 - -14596. Is x a multiple of 19?
True
Let b = -9192 - -9188. Let f(d) = 14 + 12*d + 4*d**2 - 7 + 7. Does 7 divide f(b)?
False
Let a = 16116 - 10902. Is 33 a factor of a?
True
Let w = 41 + 11. Let u(m) = -m**3 - 8*m**2 - 5*m + 10. Let k be u(-7). Is 5 a factor of ((-30)/(-45))/(k/(-3))*w?
False
Suppose 0*q = -q + 7. Suppose 3 + 18 = -q*c. Is (-440)/10*(c + 1) a multiple of 15?
False
Is 36 a factor of (-18)/2 - -18 - -616?
False
Suppose 0 = 4*r - 2*b - 6582, 0 = -3*r - 534*b + 536*b + 4936. Does 7 divide r?
False
Let l(p) = -9*p**2 + 5*p + 6000. Is l(0) a multiple of 25?
True
Let r(o) = -2*o - 15. Let s be r(-9). Suppose 0 = 7*b - s*b + 208. Let q = b - -109. Is q a multiple of 19?
True
Let m(c) = c**3 + c + 2. Let j be m(0). Suppose -21*r + 5*w = -16*r, -42 = -4*r - 2*w. Suppose -y + r*k + 209 = 8*k, 210 = y + j*k. Does 13 divide y?
True
Is (-76528)/(-38) + 66/627 a multiple of 53?
True
Suppose -r - z = -48 - 20, 3*z = r - 52. Suppose 5*l - 39 = -r, -p + 413 = -4*l. Is 4 a factor of p?
False
Let n(u) = u**2 + 16*u - 15. Suppose -2*s - 12 = 22. Let b be n(s). Suppose -2*d = -b*i + 276, -i - d + 191 - 49 = 0. Does 28 divide i?
True
Let y be (-230)/23*(27/6 - 2). Let k be (-137)/3 + 3/(-9). Let j = y - k. Is 5 a factor of j?
False
Let z = 53695 + -45203. Is 11 a factor of z?
True
Suppose -239532 = 2486*s - 2489*s + l, -79844 = -s + l. Does 34 divide s?
False
Does 194 divide (-81468)/(-21) + (-25)/((-2100)/48)?
True
Let b = 93 - 90. Suppose -3 = -b*m - 3. Let g(a) = -a**3 + 2*a**2 + 72. Is 36 a factor of g(m)?
True
Let z be (-2 - 1)/(9*4/1608). Let o = z + 351. Does 30 divide o?
False
Suppose -3*s + 14*s = 23375. Suppose 6*t - 1931 = s. Does 52 divide t?
True
Suppose -6*k + 9352 = 4*w - 3*k, k = -4*w + 9352. Let b = w - 1204. Is 53 a factor of b?
False
Let a be 254588/6 + (11 - 465/45). Does 87 divide (a/85)/(3/10)?
False
Suppose -369946 - 696734 = -77*c + 788943. Does 29 divide c?
True
Let v = 19090 - 11865. Is v a multiple of 22?
False
Let y(o) = 27*o - 2145. Is y(81) a multiple of 3?
True
Suppose 13*y - 15 = 18*y, 0 = c + 4*y + 5. Suppose -c*z - 362 = -1923. Does 25 divide z?
False
Let v = -2426 - -3826. Is 50 a factor of v?
True
Let s be -1*(-94 - (-2 - 1)) - 1. Let c be (s/2)/(5/15). Suppose -5*n - 45 = -c. Does 9 divide n?
True
Suppose -233*d + 305305 = -1160731. Is 44 a factor of d?
True
Suppose 69 = -3*x + 2*x. Let q = -64 - x. Does 9 divide 198*((-22)/(-4) - q)?
True
Let k(p) = -39*p**3 + 399*p**2 + 6*p - 25. Is k(10) a multiple of 85?
True
Suppose -2*h = -4*o - 364, 11*h - 4*o + 566 = 14*h. Does 186 divide h?
True
Suppose -2952 = -20*c + 42801 + 47367. Is 24 a factor of c?
True
Let w be (10/6)/(62/93)*2. Suppose 0 = -3*q + w*m + 1479, 4*m + 585 = -3*q + 2091. Is 65 a factor of q?
False
Let m(y) be the first derivative of -2*y**2 + 149*y + 87. Does 11 divide m(16)?
False
Let p(m) = -m**3 - 3*m**2 + 7*m. Let y be p(-5). Suppose -53*r - 20 = -49*r. Is 3 a factor of ((-110)/25 - r)/(1/y)?
True
Suppose -10*q + 5*q - 4*z = -3915, q - 2*z - 783 = 0. Does 29 divide q?
True
Let i(l) = 10*l - 148. Let a be i(20). Suppose 0 = 3*d + 2*u - 151, -5*d + 6*d = u + a. Does 2 divide d?
False
Let f be -8 - -2 - -8 - 0. Suppose -12 = 3*p, -f*p + 316 = g + 3*p. Is g a multiple of 12?
True
Suppose -25 = -3*z - 4*j, j + 5 = 4*z - 3. Suppose 7*n - z*n - 2*o - 834 = 0, -3*n - 5*o = -632. Does 19 divide n?
True
Let i = 951 - 531. Is i a multiple of 35?
True
Let f(g) = -19 - 14*g - 30*g + 9*g. Let h be f(11). Does 4 divide h/(-10) + 12/(-30)?
True
Suppose 13*y = 19*y - 186. Suppose -13*q + y*q - 4680 = 0. Is 5 a factor of q?
True
Suppose 3*x - 6 = -0. Suppose -2*c = -4*l - 864, -5*c + 5*l + 2333 = 173. Suppose x*v = -4*v + c. Is v a multiple of 8?
True
Suppose 4*f - 6*f + 10 = 3*c, -3*c + 15 = 3*f. Suppose -f*y - 3*z + 8 = -202, -3*z = 0. Let t = 62 - y. Is t a multiple of 10?
True
Suppose -275884 = -34*u + 280628. Is u a multiple of 6?
True
Let j = -30 - -72. Is 4 a factor of j/18*(-9)/(-3)?
False
Let y(b) = -8*b**2 + 63*b - 2. Let l be y(5). Suppose -4*g + 3*r = -7*g + 162, 0 = -5*g - 2*r + 279. Let k = g + l. Is 7 a factor of k?
False
Let f(t) = -2*t**2 + 36*t + 131. Let b be f(21). Suppose -5*q - 4105 = -b*s, -s - 3*q = 3*s - 3249. Is s a multiple of 22?
False
Let d = -9900 - -13837. Does 2 divide d?
False
Let f = 3947 + -1895. Suppose 6*m = -12*m + f. Is 19 a factor of m?
True
Let o = 468 + -1480. Let h = o + 636. Is h/(-6) - (-10)/(-15) a multiple of 25?
False
Let i(s) = s**2 - 7*s - 6. Let y be i(7). Let d(p) = 9*p - 13. Let h(c) = -5*c + 7. Let k(q) = -6*d(q) - 10*h(q). Is 27 a factor of k(y)?
False
Let p = 7718 + -5139. Is 33 a factor of p?
False
Let r = 185 - 184. Let b(l) = 53*l + 2 + 2 + 1. Does 20 divide b(r)?
False
Suppose t + 2*t = -5*u + 54, 4*u - 34 = -2*t. Let h = t + -19. Is 38 a factor of (-2)/h + (-2907)/(-38)?
True
Let m(c) = -c**3 - 13*c**2 - 4*c - 18. Let k be m(-13). Suppose 36*o - 144 = k*o. Is 8 a factor of o?
True
Let a(u) = -2*u**3 - 4*u**2 + 69*u - 5. Does 19 divide a(-20)?
True
Let u = 19 - 24. Is u/(-6) - (-27854)/228 a multiple of 41?
True
Let o(h) = 4*h**2 - 2*h + 12. Let q = 272 - 264. Is o(q) a multiple of 14?
True
Let y(k) = 0*k**2 + 0*k**2 + 0*k**2 + 2*k**2 - 6*k - 13. Let u(f) = -3*f**2 - 4*f + 24. Let v be u(-4). Does 30 divide y(v)?
False
Let p = -40074 + 67852. Does 12 divide p?
False
Suppose 5*y - 223 = -l, 0 = 2*y - 0*y + l - 91. Suppose -h + 3 = -y. Suppose -h = -2*s - 5. Does 7 divide s?
True
Suppose 0 = 13*b - 15*b + 40. Let y(s) = -5*s + 117. Is 3 a factor of y(b)?
False
Let p = 14786 - 5378. Is 26 a factor of p/(-70)*(-1 + -4)?
False
Let a(c) = 10*c - 17. Let q be a(2). Suppose -w + q = -17. Is 5 a factor of w?
True
Let c = 56 + -45. Suppose 0 = x + 3*t - c, -2*t - 4 = 3*x - 2. Is (-2)/(0 - x)*(1 + -77) a multiple of 4?
False
Let x be ((3 - 2) + -25)*1. Let t be (-56)/32 + (1 - 5/4). Does 8 divide x*(t + 2/2)?
True
Let s = -1 - -18. Suppose 0 = 7*t - s*t + 1210. Let v = t + -52. Does 23 divide v?
True
Is 38 a factor of -6 - (-2640 + (-132)/(-11))?
True
Let o(w) = -2*w**3 + 2*w**2 - w - 10. Let y be o(-3). Suppose 4*l - 104 = 4*x, 5*l = x + 57 + y. Is l a multiple of 5?
False
Does 5 divide 8379/21 + 11 + 2?
False
Let x(j) = 6*j + 15. Let u(z) = -3*z - 8. Let s(c) = -5*u(c) - 3*x(c). Let r be s(-3). Does 3 divide r/16 + 105/12?
True
Let w = 22 - 28. Let g(z) = 2*z + 8. Let v be g(-6). Does 15 divide (v/w)/(8/276)?
False
Let q(c) = 228*c**2 + c. Suppose 0 = 31*z + 35 - 66. Is 13 a factor of q(z)?
False
Suppose 54*j + 64*j - 672012 = 106*j. Does 18 divide j?
False
Suppose -2*l - 104 = -3*c + 5*c, -4*l + 2*c = 190. Is 2/14 - (44016/l)/12 a multiple of 15?
True
Let o = 2056 - 2060. Let m(i) = 12*i**2 - 5. Let y(c) = c**2 + 1. Let t(a) = m(a) - 5*y(a). Is 34 a factor of t(o)?
True
Let l(w) = -w**3 - 11*w**2 - 25*w + 24. Let n b