 r = h - -685. Is r a multiple of 21?
False
Let d = 66 - 47. Suppose 2*j - 5*n - d = 0, 0*n + 2*n - 2 = -4*j. Does 7 divide 14 - j/(-4)*0*1?
True
Suppose 15*s + 0*s = 12090. Does 30 divide s?
False
Let p(a) = -24*a**3 - 7*a - 21. Suppose 5*l + 17 = -2*y - 2*y, 4*y + 7 = 5*l. Is 18 a factor of p(y)?
True
Suppose -5*c = -19*c - 4284. Let v = c + 368. Does 3 divide v?
False
Does 9 divide (4/18 + 23 + (-6616)/288)*66796?
False
Suppose 2*h = -j + 31, -57 = -5*j - 5*h + 88. Let f = 31 - j. Suppose -f*a + 332 = -2*a. Does 34 divide a?
False
Suppose o + 2856 = 18*o. Let f = o - 146. Is 2 a factor of f?
True
Suppose 19*a + 358550 = 221*a. Is a a multiple of 130?
False
Let f be 8*(0 + (-3)/(-6)). Suppose t - 17 = -f*m, -3*m - 5*t + 3 = -t. Suppose 0 = r - m*r + 396. Does 10 divide r?
False
Let c = -1500 - -2331. Suppose 601 + c = 3*f + 4*y, 4*f + 5*y = 1911. Is 12 a factor of f?
False
Suppose 0 = -3*u + 33 + 135. Let c = 15 + u. Is 11 a factor of c?
False
Suppose 0 = 50*m + 75*m - 128208 - 392417. Is m a multiple of 17?
True
Let x(b) be the first derivative of -b**4/2 - 25*b**3/3 + 4*b**2 - 15*b - 30. Is x(-15) a multiple of 30?
True
Let t(k) = 2248*k + 1834. Is 5 a factor of t(2)?
True
Let t = -5507 + 9873. Does 65 divide t?
False
Let j(t) = 6*t - 91. Let y be j(16). Suppose 809 = y*b - 3*u, -2*b = -5*b - u + 491. Does 60 divide b?
False
Suppose -7183*y + 7188*y = 168435. Is y a multiple of 19?
True
Let w = 272 + -375. Let d(k) = -2*k**3 - 5*k**2 - 3*k + 4. Let m be d(-5). Let l = w + m. Is 15 a factor of l?
False
Does 59 divide 767/2*(25 - 7)?
True
Is (-159)/(-7 - (-372)/54) a multiple of 27?
True
Let w = 141 + -131. Suppose 6*q + 1360 = w*q. Does 20 divide q?
True
Let u = -498 + 515. Suppose u*y - 1691 = 12674. Does 19 divide y?
False
Let u(s) = 118*s**2 - 6*s + 18. Let y be u(3). Suppose -g - 17*g = -y. Does 25 divide g?
False
Let m(v) = 63*v + 124. Let q be m(-6). Let x = q + 584. Is 5 a factor of x?
True
Let x(b) = 6*b**2 - 41*b + 355. Is 4 a factor of x(-35)?
True
Suppose 482*p - 78300 = 480*p + o, -2*p + 78288 = o. Is p a multiple of 25?
False
Let m = 9647 + -6149. Does 22 divide m?
True
Let b(r) = 2*r**2 - 20*r - 25. Let v be b(11). Is 12 a factor of ((-2)/(-3))/(2261/(-756) - v)?
True
Suppose -2*t - 10 = 0, 0 = -2*p - 5*t + 4*t - 15. Let a(z) = 16*z**2 - 4*z - 7. Is 15 a factor of a(p)?
False
Let o(d) = -7*d**3 - 163*d**2 - 52*d + 2. Does 14 divide o(-24)?
True
Let r(l) = -l**2 + 6*l - 7. Let g be r(5). Let b be ((-22)/(-8) + g)*-16. Is 9 a factor of ((-27)/2)/(6/b)?
True
Suppose -895128 = 32*b - 84*b. Is b a multiple of 29?
False
Suppose -t - 4*w + 2*w = -310, -5*w + 625 = 2*t. Let k = 566 - t. Suppose 12*v - 22 = k. Is v a multiple of 8?
True
Suppose -2*v = 2*v + 20. Let p be (-2422)/v + (-18)/45. Suppose 2*o + 3*b - 195 = -0*o, 0 = -5*o - 4*b + p. Is o a multiple of 7?
False
Suppose 2232537 = 100*m + 696737. Does 135 divide m?
False
Suppose 48*l = 50*l - 4. Let k be (l/6)/((-388)/78 + 5). Is (k/26)/(1/120) a multiple of 20?
True
Let v(a) = -7*a**3 - 32*a**2 - 23*a - 13. Let y(b) = 4*b**3 + 16*b**2 + 12*b + 6. Let h(l) = -3*v(l) - 5*y(l). Is h(-6) a multiple of 43?
False
Let v(c) = -8*c - 48. Let i = 202 + -92. Let d = i - 125. Is v(d) a multiple of 12?
True
Suppose 3*d = -5*i + 130 + 124, -3*d = 4*i - 250. Suppose 13*l = -d + 1937. Is 21 a factor of l?
False
Suppose -5*g - 2*c + 18604 = 0, 4*c = -7*g + 5*g + 7464. Is g a multiple of 11?
True
Suppose -6*k - 6 = 0, -2*c + 5*k = -1240 - 635. Is 5 a factor of c?
True
Let u = -111 - -775. Does 7 divide u/10 + 3/5?
False
Let d = -153 - -223. Let i be 14/d - (-601)/(-5). Does 32 divide 2 - i/(4 + 0)?
True
Let b(s) = s**3 + 17*s**2 + 2*s - 5. Let h be b(-17). Let z be (-119 - 11)/(1*-1). Let r = z + h. Is 13 a factor of r?
True
Let g = 2628 - 2578. Is 25 a factor of g?
True
Suppose -g - 413 = -8*g. Suppose -g = n - 2*n. Suppose 4*d - 467 + n = 0. Is 17 a factor of d?
True
Suppose -h - 30 = 13. Let s = h - -42. Is 8 a factor of (-18)/s*16/(-12)*-1?
True
Let b = -35 + 27. Let y be (78/5)/(b/(-20)). Suppose 0 = -34*i + y*i - 130. Is 7 a factor of i?
False
Let s(x) = x**3 - x**2 + 5*x - 5. Suppose -8 + 29 = 3*z. Suppose -11 = -2*v - z. Is 3 a factor of s(v)?
True
Let p(f) = -f - 11. Let r be p(-10). Let b(w) = 4*w**2 + w + 1. Let j be b(r). Suppose -911 = -j*q - 239. Does 21 divide q?
True
Does 13 divide (-116)/1160 - (-635442)/20?
True
Is 25 a factor of 24/(12/(4896/2))?
False
Let u(z) = -z**3 + 18*z**2 + 42*z - 16. Let t be u(20). Suppose t*c - 11253 = -9*c. Is 12 a factor of c?
False
Let g = 2 + 2. Suppose g*t - 305 - 2815 = 0. Suppose t = 5*m + 100. Does 34 divide m?
True
Suppose 3566 = i + 2*u, 4*i + 384 = -4*u + 14668. Is i a multiple of 24?
True
Let b(r) = 2*r**2 - 113*r + 1956. Does 177 divide b(78)?
True
Suppose -v = -5*v + 192. Let m = v + -39. Does 11 divide (-9)/(m/(-56)) + (3 - -1)?
False
Suppose 0 = -2*v + 6, -2*x - 1203*v + 1206*v = -4699. Does 11 divide x?
True
Suppose -16 = 4*p, 0 = 2*g - 2*p + 2 - 10. Suppose g = 8*z + 23*z - 4216. Is z a multiple of 32?
False
Suppose 0 = -3*x + 8 - 26, 3*r = 3*x + 47826. Does 35 divide r?
False
Suppose -24230780 - 21231525 = -569*f - 8217272. Does 9 divide f?
True
Let r(f) = -85*f + 43. Let q be r(-5). Is 3302/5 - (-10 - q/(-45)) a multiple of 66?
True
Let f = 4172 + -4168. Let p(d) = d - 2. Let c be p(4). Suppose -c*v - 135 = -r - 4*v, 0 = -r + f*v + 153. Is r a multiple of 22?
False
Let j = -19480 - -25668. Does 17 divide j?
True
Let k(f) = f - 46. Let i(y) = 2*y - 92. Let n(r) = 6*i(r) - 13*k(r). Suppose 8 - 46 = -s + 4*b, -2*s + 4*b + 60 = 0. Is 6 a factor of n(s)?
True
Let m(n) = 244*n**2 - 6*n - 44. Does 34 divide m(-5)?
True
Suppose 15 = 3*o, 2*k + 24*o = 19*o + 17997. Does 12 divide k?
False
Suppose -4*w + j = -24, w + 5*j + 9 = -6. Suppose -w*y - 78 - 724 = -3*g, 4*g + 3*y = 1079. Let n = -157 + g. Is n a multiple of 28?
True
Let j = -686 - -689. Suppose x - 134 = -d + 44, d - j*x = 174. Is d a multiple of 3?
True
Suppose 0 = 12*m - 60 - 0. Suppose -m*h + 8*h - 15 = 0. Suppose 3*u = -h*j + 30, 3*u + 3*j - 19 = u. Does 2 divide u?
False
Does 9 divide 0 - (-755 - -1)*(56 - 52)?
False
Suppose -111*s + c + 61518 = -107*s, -4*s + 61524 = -2*c. Is s a multiple of 233?
True
Let m = -13825 - -35410. Is 156 a factor of m?
False
Let f(s) = -s**3 - 11*s**2 + 281*s + 100. Does 25 divide f(-25)?
True
Let d = 2270 + -1059. Suppose 14*z - 7*z = d. Suppose -s + z = 4*r, 2*r + 1 = 3. Is s a multiple of 28?
False
Let a be (-2)/9 + (-1284)/54 + 3. Is 17 a factor of 4*4/8*-2 - a?
True
Suppose 712 = -15*g - 1598. Let d = g + 242. Is d a multiple of 22?
True
Suppose 533 = -9*n - 1339. Let f = n + 277. Is f a multiple of 3?
True
Suppose i = 145 + 392. Suppose -1335 - i = -36*z. Is 4 a factor of z?
True
Let z = 8840 - 4220. Is z a multiple of 70?
True
Let c(t) = 7*t**3 + 18*t**2 + 24*t - 15. Let s(r) = 2*r**3 - r**2 + r + 1. Let b(j) = -c(j) + 3*s(j). Is b(-20) a multiple of 3?
False
Suppose -77*l = -70*l + 63. Is 27 a factor of l*(-16)/72*270?
True
Let g be ((-24)/10)/(9/30). Let w(d) be the first derivative of -5*d**2 - d - 37. Is 21 a factor of w(g)?
False
Suppose -4 = -19*y + 186. Let b(z) = z**2 - 8*z - 5. Let l(w) = 1. Let k(p) = b(p) - 3*l(p). Is 3 a factor of k(y)?
True
Suppose 0 = 2*l - 5*w - 15011, -14*l + 13*l + 3*w = -7507. Suppose -32*f + l = -5334. Is f a multiple of 30?
False
Does 74 divide (-253)/(928/(-116) - ((-5910)/(-148))/(-5))?
True
Let s = -12 + 10. Let r(l) = -3*l**3 - 8*l**2 - 4*l + 4. Let f(w) = -5*w**3 - 12*w**2 - 6*w + 6. Let b(i) = 5*f(i) - 8*r(i). Does 6 divide b(s)?
True
Let x(m) = -m**3 - 7*m**2 + 2*m + 17. Let k be x(-7). Suppose 0 = b + g + 4*g - 43, 2*g = k*b - 44. Is b a multiple of 9?
True
Let n be (-6)/(-9)*(4 - (-23)/(-2)). Is (n/(-10))/1*-2*-84 a multiple of 28?
True
Let k(l) = -48*l + 38. Let d be k(1). Is 42 a factor of (-5)/d + (-1427)/(-2)?
True
Suppose 0 = 4*d - 6*d + d. Suppose -a + d*a = 268. Does 25 divide -1*((-5)/10)/((-2)/a)?
False
Suppose 16 = -4*d, 4*l - 4 = 2*d + 20. Suppose 6*y - 36 = 2*y - l*w, -3*w = 0. Is 51*(9*3/y - -1) a multiple of 17?
True
Let w = 100 + -408. Is 11 a factor of (w/(-6))/(2/12)?
True
Let u = -5338 - -4855. Let s be 713 - (-1 - (1 + 0)). Let d = s + u. Is d a multiple of 24?
False
Let 