of 43?
False
Let q be 522*((-26)/(-24) + 21/(-28)). Let g = q - -96. Does 18 divide g?
True
Let s(l) = l**2 + 2*l + 6. Let r be s(-5). Let c(d) = -d**2 + 33*d - 3. Is c(r) a multiple of 16?
False
Let a be ((-5)/(-2))/(-5*1/(-10)). Suppose -12 = -g - a. Suppose 378 = 10*j - g*j. Is j a multiple of 20?
False
Let f(p) = 366*p + 708. Is f(3) even?
True
Let t(x) = -5*x**3 - 289*x**2 + 182*x - 93. Is 40 a factor of t(-59)?
False
Let g(w) be the third derivative of -1/12*w**4 + 0 - 17/3*w**3 + 1/30*w**5 + 0*w - 10*w**2. Is g(-7) a multiple of 19?
False
Let a(f) be the first derivative of -3*f**2/2 + 21*f - 7. Is a(-2) even?
False
Let z(w) = 60*w - 84. Suppose 14*s = -4*r + 11*s + 44, -24 = -r - 4*s. Does 12 divide z(r)?
True
Let i = -9967 + 14674. Is 24 a factor of i?
False
Let x = -214 - -219. Suppose -x*l + 853 = 2*k, 26*l + 1262 = 3*k + 30*l. Is 24 a factor of k?
False
Let o(q) = -20*q - 123. Let s be o(-6). Let c(f) = 6*f**2 - 4*f - 8. Is c(s) a multiple of 3?
False
Suppose 0 = i - 0*i + 11. Suppose 4*d + z + 0*z - 154 = 0, 184 = 5*d - 3*z. Let c = i + d. Is 4 a factor of c?
False
Let r(d) = -12*d**3 + 4*d**2 + d - 16. Let g be r(-3). Let c = g - 185. Does 6 divide c?
True
Let f = 596 - 592. Suppose 2*v - 310 = n + 260, 5*n - 1168 = -f*v. Is 41 a factor of v?
True
Suppose 2*b = -10*b - 24*b. Is 327 + (6 + b)/(-6)*-4 a multiple of 39?
False
Let o = -510 - -299. Let r = o + 253. Does 8 divide r?
False
Suppose -27*n - 2 = -26*n. Is 4 a factor of -3 + n - (-126 - -9)?
True
Let s(h) = 150*h - 46. Let f be s(3). Let u = 836 - f. Is u a multiple of 24?
True
Suppose -4*y + 50 = 42. Suppose q + 2*q - 26 = 5*d, -y*d = -q + 8. Does 8 divide q?
False
Let j(x) = -x**3 + 13*x**2 + 20*x - 42. Suppose 0 = -0*k + 40*k - 560. Is 9 a factor of j(k)?
False
Let f = -15628 - -17923. Does 45 divide f?
True
Let f(z) = -z**2 + z - 4. Let a be f(2). Let i(o) = -3 - 332*o + 21 + 331*o. Is 3 a factor of i(a)?
True
Let i(v) = -310*v + 121. Let w be i(-3). Suppose 25*g + w - 6526 = 0. Is g a multiple of 73?
True
Let z = 25600 + -17856. Does 11 divide z?
True
Let k(o) = o + 9. Let w be k(-7). Suppose w*z + x = 551, -4*x - x = -5. Does 25 divide z?
True
Let t = -306 - -301. Does 21 divide 68 + (0 - (35 + t)/6)?
True
Let c = -139 - -124. Is 28 a factor of 0 + ((-224)/10)/(3/c)?
True
Let q(v) = 128*v + 95*v - 187*v + 32 + 20. Is q(4) a multiple of 18?
False
Let u = -105 + 225. Let j = u + -40. Suppose -3*n = c - 6, 4*c - j = -0*c + 2*n. Is 9 a factor of c?
True
Let a = -22 + 27. Suppose 3*z + c - 5*c = 8, 17 = 2*z - a*c. Is 5 a factor of (1/(z/12) - -21) + 0?
False
Let h(x) = -19*x**2 + 2*x**2 - 3*x**3 + 18*x + 6*x**3 - 4*x**3 - 4. Let q be h(-19). Let s = -268 + q. Is s a multiple of 18?
True
Suppose r + 1344 = 3*r. Suppose r = 7*m - 6*m. Suppose 2*y + m = 5*y. Does 16 divide y?
True
Let q(f) be the third derivative of f**5/15 + f**4/12 + 10*f**3/3 - 545*f**2. Let u = 4 - 10. Is 8 a factor of q(u)?
True
Let i(w) = 170*w + 2. Let o be i(3). Suppose 3*x - 5*y - 410 = -430, 2*x + 32 = 6*y. Suppose -5*v = -4*r - 72 - o, x*r + 220 = 2*v. Does 30 divide v?
True
Suppose 0 = -2*c + 4 - 16. Let q(r) = -r**2 - r - 1. Let t(z) = -4*z**2 - 11*z - 6. Let a(k) = c*q(k) + t(k). Does 4 divide a(4)?
True
Let s(n) = n**3 - 40*n**2 + 51*n - 162. Is 10 a factor of s(39)?
False
Suppose -2*j - 24*j - 312 = 0. Is 12 a factor of -21*(1 + j + (1 - -2))?
True
Let q(c) = -3*c - 14. Let j be q(-2). Does 45 divide 2/8 - 718/j?
True
Suppose z = -1957*m + 1956*m + 7062, -4*z + 3*m + 28199 = 0. Is z a multiple of 83?
True
Suppose -15 = -6*q + 3. Does 5 divide 4 + (-21)/9 - (-10)/q?
True
Suppose 94*a - 66884 = 78346. Is 15 a factor of a?
True
Let g(b) = -b**2 - 5*b + 24. Let o be g(3). Is 322 + 1 - o/(5 + 6) a multiple of 9?
False
Let x be ((-290)/174)/(1/(-3)). Let n(c) = 149*c - 39. Does 13 divide n(x)?
False
Let h be ((-8)/3)/(28/(-42)). Suppose -202 = -4*t - 2*l, 5*t = t - h*l + 200. Does 17 divide t?
True
Let b be -15*(3 - -2)/(-15). Suppose -5*d = 3*t - d - 223, -2*t - b*d = -144. Is t even?
False
Let j be (-4*3)/(4/(2 + -6)). Suppose 5*k = -4*w - 12, 0*w + 4*k + j = -2*w. Suppose -2*v = 2*o - 212, -4*v + w*o + 431 = -o. Does 20 divide v?
False
Let o = 38563 - 16659. Does 220 divide o?
False
Suppose -5*h + 32*h = 7533. Suppose -4*u = -k + h, -5*u + 1370 = -3*k + 8*k. Does 55 divide k?
True
Does 19 divide (56/24*(-54)/(-84))/((-3)/(-14604))?
False
Let x = 9096 - 8116. Does 7 divide x?
True
Suppose -w = j - 7056 + 1136, -2*w - 3*j = -11844. Is w a multiple of 116?
True
Suppose 5*i - 23 = -o + 34, o + 53 = 5*i. Let d(c) = -344*c + 1136. Let a be d(3). Suppose a = -3*x + i*x. Is 2 a factor of x?
False
Suppose 3*o - 1888 = -13*o. Suppose 14*m - 1966 = -o. Does 23 divide m?
False
Suppose -50 = -5*o - 20*o. Suppose -664 = -4*l - 4*y, o*y = 4*l - 960 + 278. Is 8 a factor of l?
False
Suppose -12*h + 218*h = 928854. Is 33 a factor of h?
False
Let u be 2 + (-91)/(-35) - 6/10. Suppose -b + u - 7 = 0. Is 0 + 33 - (-2)/((-2)/b) a multiple of 4?
True
Let a(i) be the third derivative of i**6/120 - i**5/12 - i**4/6 + i**3/2 - 18*i**2. Let y be a(5). Let v = 55 - y. Is v a multiple of 9?
True
Let k(n) = -n**3 - 13*n**2 + 46*n - 8. Suppose 3*o - 5*o - 29 = -3*r, -4*o - 85 = 3*r. Does 17 divide k(o)?
False
Suppose 5*q - 10*h = -14*h + 224940, -2*q = 5*h - 89976. Does 13 divide q/72 - 5/6?
True
Let h(a) be the third derivative of -5/24*a**4 - 5/3*a**3 - 17*a**2 + 0 + 0*a. Does 10 divide h(-7)?
False
Suppose 0 = -3*j - k + 823, 2*j - 3*k - 233 = 334. Is 3 a factor of j?
True
Let b be (56/12)/(2/21) + -1. Suppose -3*n = -9*n + b. Suppose -14*k + 306 = -n*k. Is k a multiple of 17?
True
Is 6971 - ((-21)/9 - 32/3) a multiple of 24?
True
Let w be (1 - -7)/1 - 4. Let f be w + (0 + 1)/((-1)/2). Suppose v - 2*l + 16 = 104, -174 = -f*v + 5*l. Is 23 a factor of v?
True
Suppose s - 465 - 455 = 0. Suppose 3*l - 1186 = s. Does 78 divide l?
True
Let p be (-32 + -6)*((-298)/4)/1. Suppose -4*v + 3489 = -p. Does 20 divide v?
True
Suppose u - f = -66, 4*u + 57 = -4*f - 231. Let w = 125 - u. Is w a multiple of 39?
False
Is 7 a factor of -13 - ((-2190)/6 - 12)?
True
Let x(t) = -t**2 + 33*t - 110. Let d be x(22). Let i = 164 - d. Is i a multiple of 16?
True
Suppose 0 = -5*h + b - 1408, 5*b + 1138 = -4*h - 0*b. Let l = h - -831. Does 10 divide l?
False
Let q = 260 - 263. Is (q - 33/(-9))*(-1245)/(-2) a multiple of 23?
False
Let k be ((-2)/3)/((-24)/18)*-58. Let d = k - -34. Suppose 4*n - 263 = 2*r + r, 2*n - 99 = -d*r. Is n a multiple of 31?
True
Let w(f) = -4*f + 35. Let b be w(8). Let p be 2*b/15 + (-40)/(-25). Is 9 a factor of p - 364/(-3) - (-60)/(-45)?
False
Is 27 a factor of -13*36/(-702)*32772?
False
Suppose -3*p + 28 = 4*i, -3*p - 4*i = -7*p. Suppose 4*w + w = -2*j + 540, 0 = p*w. Does 9 divide j?
True
Suppose 0 = 73*o - 56*o + 51459. Let x = 4614 + o. Is x a multiple of 80?
False
Suppose 4*r = f - 23, -5*f + 4*r + 42 + 57 = 0. Let m(j) = j**2 - 12*j - 41. Let x be m(f). Does 16 divide x/6 + (-14)/(-21)?
True
Suppose -62*m - 3*f - 1342 = -63*m, -5*m - 2*f + 6676 = 0. Does 65 divide m?
False
Let r = 939 - 621. Let y = r - 136. Is y a multiple of 13?
True
Let s = -495 - -515. Suppose -s*r + 2527 = -13*r. Is 19 a factor of r?
True
Let z = 626 + -692. Is (z/4)/((-84)/4144) a multiple of 17?
False
Let i = -70 - -73. Let v(z) = 2*z**3 - 5*z**2 + 2*z + 7. Is 10 a factor of v(i)?
False
Let m be (9/((-81)/6))/(4/66). Let n(f) = 2*f**2 - 5*f + 57. Is n(m) a multiple of 10?
False
Let h(a) = -457*a**3 + 5*a**2 + 11*a + 10. Does 24 divide h(-2)?
False
Let d(x) = x**3 - x**2 - 2*x - 75. Let o be d(0). Let b be (-1)/(-5) - (-4290)/o. Let k = b - -185. Does 16 divide k?
True
Suppose -2*o + 45 = 5*y - 7*o, 0 = 2*y + 3*o - 13. Suppose 13*b = y*b + 950. Is b a multiple of 38?
True
Suppose -167*u = -15231 - 82297. Is 73 a factor of u?
True
Suppose 2*i + 4*p = 8, p + 5 = i + 4*p. Suppose 7*u = i*u - 20. Is 20 + u + (2 - 6) a multiple of 4?
True
Let v be 568 + 2/((-4)/6). Let m be 8/8*(v - 0/(-2)). Suppose m = 5*l - 3*x + 7*x, -347 = -3*l - 4*x. Does 11 divide l?
False
Let k be 6/(-45) - (-4)/30. Is 19 a factor of 2/(k + (-6)/771)*-2?
False
Suppose -3462 = -3*d - 4*m, 2*m + 618 = 2*d - 1676. Is d a multiple of 23?
True
Let o(x) = x - 10. Let m be o(12). Sup