*w + 15*w = 23296. Does 13 divide w?
False
Let m = -4993 + 8307. Is 9 a factor of m?
False
Let f(s) = s**2 - s - 189. Let l be f(0). Let m = 244 + l. Does 5 divide m?
True
Let w(q) = 11*q - 344. Let f be w(31). Is f/7 + (-23162)/(-259) a multiple of 9?
False
Suppose 3072 + 1206 = -3*u. Let g = u + 2295. Is g a multiple of 79?
True
Let j(c) = -16*c**2 + 12*c - 6. Let b be j(6). Is 88 a factor of ((-319)/5)/(102/b)?
False
Suppose -68*l - 40*l = 297982 - 1145134. Is l a multiple of 8?
False
Let n be 6986/10 - (-15)/(-25). Suppose -1582 - n = -3*y. Does 16 divide y?
False
Let g = 10181 + -7465. Is g a multiple of 31?
False
Let v(t) = 1643 - 4*t - 1637 + t**2 - 3*t. Does 14 divide v(15)?
True
Let c = 37 + -17. Let n = 15590 + -15576. Suppose 150 = -n*a + c*a. Is 9 a factor of a?
False
Let v be 1 + 85/(-95) + (-1305)/(-57). Let i(k) = 4*k**2 - 43*k - 35. Is 21 a factor of i(v)?
True
Is 25 a factor of (-462)/(-63)*(-20*450)/(-5)?
True
Let g = 536 + -588. Let l = -4 + 5. Is (33/24*-2)/(l/g) a multiple of 11?
True
Suppose -d + 9548 = r, 5*d - 108*r + 91*r = 47828. Does 48 divide d?
True
Let u(h) = 2198*h - 406. Is 68 a factor of u(3)?
True
Let r(d) = d**3 + 30*d**2 - 554*d - 83. Is r(-41) a multiple of 9?
True
Let u(q) = 658*q**3 + 50*q**2 - 96*q - 2. Does 170 divide u(2)?
True
Let z(c) be the second derivative of -c**3/6 + 3*c**2 + 3*c. Let x be z(5). Suppose -19 = -p - x. Is p a multiple of 5?
False
Let a(m) = -m**3 - 5*m**2 - 16*m + 3. Suppose k + 12 - 7 = 0. Let l be a(k). Suppose 3*u - 25 = l. Does 12 divide u?
True
Suppose 0 = -75*t - 54*t + 221364. Is 143 a factor of t?
True
Let y = -3802 + 10479. Is 10 a factor of y?
False
Suppose 4*r + 0*r = 204. Let h = r + -40. Suppose 223 = 2*m + h. Is m a multiple of 11?
False
Let v(l) = -l**3 - 5*l**2 - 9*l + 12. Let p be 2*(-3)/12*10. Let c be v(p). Let k = 67 - c. Does 7 divide k?
False
Suppose 1094 = 5*q - s, -3 = 5*s + 17. Suppose -3*i - 5*l = -7*l - 118, q = 5*i + 2*l. Is 4 a factor of i?
False
Let t = -495 + 527. Suppose -18*x + t*x = 7084. Does 18 divide x?
False
Suppose -o + 21 = 3*v - 219, -5*v = o - 254. Is o a multiple of 18?
False
Let y be 2/5 + 51870/75. Let n = 1088 - y. Is n a multiple of 33?
True
Suppose 6*v = 26 - 8. Suppose v*q - 5*l = 1741, -1186 = -2*q - 8*l + 5*l. Suppose 0 = 4*s + 4*h - 736, s + 4*h = 4*s - q. Does 28 divide s?
False
Let u = -80 - -115. Is -105*((-203)/u + 4) a multiple of 21?
True
Let h = -13342 + 26318. Is (-5)/((-360)/h) - (-6)/(-27) a multiple of 36?
True
Let l be 6 - (384*-1)/6. Suppose -4*u + 4*o + 2 + 6 = 0, 27 = 3*u + 4*o. Suppose 3*i = 3*m - 87, 3*m + u*i = -15 + l. Is 3 a factor of m?
False
Let j(s) = -17*s + 4. Let b(w) = -69*w + 17. Let l(t) = -2*b(t) + 9*j(t). Let h be l(-4). Suppose h = f - 22. Is f a multiple of 33?
False
Let q(f) = 85*f**3 - 2*f**2 - f + 2. Let z be q(1). Let u = z - 79. Suppose u*x - 78 = -x. Is x a multiple of 13?
True
Let d = -44 - -46. Suppose -26 = -3*r + 4*l, d*r = -l - 0 + 10. Is r even?
True
Let v = 42214 - 34036. Is v a multiple of 29?
True
Suppose 36 = 11*y - 8. Let i be -1 - (1 - 20/y). Suppose l = 2*v - 15, -3*l - 37 = -i*v - 10. Is 3 a factor of v?
True
Let t = -285 + 51. Let o = 1104 + t. Is o a multiple of 13?
False
Let z(c) = 97*c**2 + 40*c - 23. Let w be z(13). Suppose 2971 = -31*m + w. Does 13 divide m?
False
Suppose 4*q = -12, -2*h + 15 + 18 = -3*q. Suppose -h*r + 18*r - 504 = 0. Is 14 a factor of r?
True
Suppose -27*y = -19*y - 11520. Suppose y = 96*p - 76*p. Does 4 divide p?
True
Let i(u) = u**3 - 14*u**2 + 4*u + 8. Let m be i(9). Let w = 553 + m. Is w a multiple of 24?
True
Let p(i) = -25*i**3 - 5*i**2 - 4*i + 11. Let u(b) = 25*b**3 + 4*b**2 + 3*b - 10. Let m(a) = 4*p(a) + 5*u(a). Does 24 divide m(2)?
True
Suppose -1159127 = -165*g + 1405352 - 887089. Does 69 divide g?
False
Let b(m) = -4*m**3 - 10*m**2 - 7*m + 13. Let o(p) = -p**3 + p**2 + p + 1. Let c(g) = -b(g) + 3*o(g). Let x be c(-12). Let z = x - -1. Is 2 a factor of z?
False
Suppose z - 481 = 2*c + 411, z - 884 = c. Is z a multiple of 4?
True
Let r = 14 + -27. Let l(v) = -v**2 - 14*v + 9. Let b be l(r). Suppose b = z - 38. Is z a multiple of 20?
True
Suppose 0 = -4*m + 12148 - 2468. Suppose 35 = -3*w + m. Suppose -5*r = -2*z + 204 - 984, -z = 5*r - w. Is 42 a factor of r?
False
Let o(c) = -c**3 + 5*c**2 + 3*c - 1. Let q be o(6). Let b = q + 60. Let t = b + -8. Does 3 divide t?
True
Let s = -4768 + 13832. Is 22 a factor of s?
True
Let s = 9 + -7. Let q(r) = 3*r**3 + 4*r**2 - s*r + 0*r**2 - 4*r**3 + 13 + r. Is q(4) a multiple of 3?
True
Suppose 404376 = -2416*f + 2430*f. Does 83 divide f?
True
Suppose 5*n = -3*w - 13, 4*w + 21 - 17 = -4*n. Suppose 6*i - 4*i = 3*q - 1144, -752 = -2*q + w*i. Does 48 divide q?
True
Let k(z) = -5*z - 202. Let i be k(-41). Suppose 0 = i*l + l - 520. Is 65 a factor of l?
True
Let l = 1049 + -1048. Is 32 a factor of 202 - l*(-12 - -3)?
False
Suppose -4*z + 22 = 2. Suppose z*m + 18 = 13. Is (2 + m)/(-2)*-36 a multiple of 9?
True
Let x(b) = -b**3 - 13*b**2 + 5*b + 1. Let p be x(-15). Suppose 4*d + 4*q = -p, 5*d = 2*q - 4*q - 458. Let n = -56 - d. Does 19 divide n?
False
Suppose 187*y = -179*y + 5216232. Is y a multiple of 14?
True
Suppose 0 = 37*m - 30*m - 5*a - 13715, -3*m - a = -5881. Is 11 a factor of m?
False
Let l be -2*6*4/(-16). Suppose t = 4*t + 5*x - 112, -l*t + 3*x = -96. Is t a multiple of 5?
False
Let w(f) = 5*f + 17. Let p be w(-3). Suppose -4*a + 8*a = -p*v + 1168, -16 = -4*v. Is 46 a factor of a?
False
Let l(q) be the first derivative of q**4/4 + q**3 - q**2 - 8*q - 55. Does 13 divide l(5)?
True
Let c be ((-24)/18)/((-1)/36). Let n = -73 - -307. Suppose -3*j + c + n = 0. Is j a multiple of 5?
False
Suppose -1 = 2*n + 5. Let d be 1503/12 - (n/(-12) + 0). Does 17 divide d/2 - (3/(-6) - -1)?
False
Let k = 548 + -284. Suppose t - 1218 = 3*x, t + x - 1466 = -k. Is t a multiple of 67?
True
Let h = -3214 - -3842. Does 6 divide h?
False
Let p(y) = y**3 + 9*y**2 + 15*y + 9. Let l(n) = -n**3 + 4*n**2 + 5*n - 5. Let d be l(5). Does 3 divide p(d)?
False
Suppose 6*o = 41*o + 50*o. Let s(p) = 6*p - 4. Let a be s(3). Suppose o = 2*k - 3*t - 95 + a, -2*k + t = -71. Is 6 a factor of k?
False
Let d = 984 - -1234. Is d a multiple of 21?
False
Let q be (-2 + 4)*5/1. Suppose 2*o = -d - q, 2*d - 5 = -2*d + o. Suppose d = 2*y + t - 87, 0 = -4*t - 12. Is y a multiple of 9?
True
Is 12 a factor of 20/12*-2*6033/(-10)?
False
Suppose 0 = -216*y + 158*y + 253924. Is 91 a factor of y?
False
Suppose -10162 = -10*x - 2922. Suppose 3*n - 44 = -u + 137, x = 4*u - 5*n. Does 10 divide u?
False
Let s(a) = -53 - 43 + 28*a + 21 + 17 - 38. Does 78 divide s(9)?
True
Suppose -5*w + 4*x + 4 = 0, -2*x - 2 = -3*w + 2. Suppose -5135 = -13*v + 689. Suppose v = w*z - 0*z. Does 8 divide z?
True
Suppose -145*w + 2424 = -288*w + 149*w. Is w a multiple of 139?
False
Suppose 16307 = 3*y - 5*a + 4*a, -6*a = -6. Is y a multiple of 24?
False
Suppose 36*r - 9763 = 34369 + 11200. Is 53 a factor of r?
True
Is 8 a factor of (13/(585/(-46320)))/((-4)/18)?
True
Suppose -2*a - 47 = -13. Let h(z) be the first derivative of z**3/3 + 6*z**2 - 5*z + 4. Does 40 divide h(a)?
True
Suppose 2*w + 4*y = 11036, 4338 = 4*w + 4*y - 17738. Is 10 a factor of w?
True
Let i be 3 + (-2 - (-1 - 0)). Suppose -5*u = -5*r + r + 8, -4*u + 4 = i*r. Suppose -5*v + u*v = -430. Is v a multiple of 7?
False
Let i(l) = -l**3 + 110*l**2 + 257*l - 1095. Is i(112) a multiple of 112?
False
Let h(i) = 26*i**2 - 8*i - 12. Suppose 2*j - 3*z = 19, 0 = 3*j + 2*j - z - 28. Suppose 1 = -w + p, 0 = -5*w - 2*p - 7 - j. Is 45 a factor of h(w)?
False
Suppose -37*r + 36 = -46*r. Does 3 divide (-24 - 2)*-1 + r?
False
Let t(z) = -44*z**3 - 10*z**2 - 11*z + 4. Let a(u) = 22*u**3 + 4*u**2 + 5*u - 2. Let i(h) = 5*a(h) + 2*t(h). Is i(1) a multiple of 2?
False
Is 1647 + (6/(-4))/(150/100) + 4 a multiple of 150?
True
Let p be 536 + 2 + (0 - 3). Suppose 0 = p*k - 541*k + 1362. Does 23 divide k?
False
Let w be ((-45)/(-10))/9*-1562. Let r = -545 - w. Suppose -4*z - 3*a = -0*a - 500, 0 = -2*z - 5*a + r. Is 16 a factor of z?
True
Let x(p) = -p**3 - 51*p**2 - 97*p + 202. Let d be x(-49). Let s = 51 + d. Is s a multiple of 12?
True
Is 55/(-33)*-2*8118/10 a multiple of 33?
True
Let m(l) = -21*l**3 + 8*l**2 - 9*l - 18. Does 73 divide m(