2)). Let m = -36 - n. Let y = 40 + m. Does 10 divide y?
True
Let m = 33 + -29. Suppose m = -19*r + 15*r. Is 24 a factor of (-980)/(-7) + (-3)/r + 1?
True
Is 4/2 - 11/((-33)/19335) a multiple of 81?
False
Let j(a) be the second derivative of 487*a**4/12 - 2*a**3/3 + 3*a**2/2 - 33*a. Is 54 a factor of j(1)?
True
Let j(w) = -w**2 + 4*w + 7. Let c be ((-45)/18)/(1/(-2)). Let u be j(c). Suppose 0 = 3*x - 5*n - 96, -2*x - 5*n + 45 = -u*n. Is 5 a factor of x?
False
Let j = 1945 - 1308. Suppose -5*f + 268 + j = 0. Is f a multiple of 37?
False
Suppose 4*s = 0, b - 3456 = 3*s - 2*s. Suppose 17*r = 41*r - b. Is 40 a factor of r?
False
Suppose 17*j - 53728 = -75*j. Is 49 a factor of j?
False
Does 40 divide 1/((-3)/(-720))*(3616/64 - 17)?
True
Suppose -24*p + 21*p = -600. Suppose d + p = 3*d. Suppose 0 = -l - 92 + d. Does 4 divide l?
True
Let w(s) = s**3 + 3*s**2 - 12*s - 8. Let q be w(-5). Suppose 0 = q*r + 4*r + 24. Is 4 a factor of ((-32)/18 - r/(-18))*-15?
False
Suppose 0 = -15*w - 101*w + 189312. Does 131 divide w?
False
Let n = -16638 - -18680. Does 24 divide n?
False
Suppose -7*q - 310 = -9*q. Let f = q + -38. Does 13 divide f?
True
Suppose -o + 2*c + 15108 = -13408, -142476 = -5*o - 3*c. Does 75 divide o?
True
Is 16 a factor of -14 - (-15 + 7) - 745*-8?
False
Let q be 0 - (-3 + (-4 - -5)). Does 3 divide 250/(0 + 5) + q?
False
Let y(r) be the first derivative of -r**3/2 - 3*r**2/2 - 11*r + 15. Let a(j) be the first derivative of y(j). Does 15 divide a(-6)?
True
Let w = 59 + -59. Suppose -d - 90 = -3*o + 120, w = -5*o - 4*d + 350. Let h = -13 + o. Does 19 divide h?
True
Let q = 90 + -85. Is 12 a factor of 364 + (4 - 2) - (q + -3)?
False
Suppose 3*n + 3*h = 7*n + 7, 4*n - 18 = -2*h. Suppose 6*t - 7*t = -3, -n*t = 5*x - 2706. Is 20 a factor of x?
True
Let p(k) = -k**3 - 2*k**2 + 11*k + 5. Let i be p(-4). Let d be (-138)/2*(-14 - i). Suppose 2*j = -3*n + j + d, 0 = -n + j + 157. Is n a multiple of 32?
True
Let v(i) = -39*i - 131. Is 38 a factor of v(-46)?
False
Let p be 45/10 - 3/(-6). Let q be 1*(-2 + p - 118). Let w = q - -207. Does 21 divide w?
False
Let k(r) = -451*r - 95. Let m be k(-21). Suppose m + 7732 = 26*q. Does 86 divide q?
False
Suppose 419*x - 4202000 = 319*x. Is x a multiple of 55?
True
Is 9046 + (3/(-5) - ((-196)/35 - -7)) a multiple of 99?
False
Suppose -192 = 3*l + 40*d - 43*d, -2*l - 4*d - 122 = 0. Is 20/14 + -1 - 11439/l a multiple of 26?
True
Is 3 a factor of 3 + (-4)/2 + 1534 + 17?
False
Let d = 10289 - 4465. Is 8 a factor of d?
True
Let a(f) = 4*f - 29. Let y be a(10). Suppose y - 61 = -5*c. Suppose 0 = -c*w + 72 + 128. Is w a multiple of 4?
True
Let g = 88 - 88. Is 5 a factor of 3 - -38 - (g - (6 + -2))?
True
Let x = 182349 + -103853. Does 16 divide x?
True
Let u(r) = r**2 + 80*r + 29705. Does 56 divide u(0)?
False
Suppose 8 = 4*q, 4*r - 5*q - 5132 = 5626. Does 49 divide r?
False
Let k be (-6)/(-8) - (-70)/(-8). Let a be 15 + 1/(4/k). Suppose -18*j + a = -17*j. Does 2 divide j?
False
Suppose 16*o + 3*s - 2995 = 12*o, -5*o + 3735 = -5*s. Let d = o - 211. Is 15 a factor of d?
False
Suppose 10*s + 164680 = 5*b + 14*s, -s - 98808 = -3*b. Does 358 divide b?
True
Let q be (8/(-20))/(4 + (-76)/20). Does 28 divide 381*((-12)/9 - q)?
False
Suppose 20*t - 19*t + 368 = 0. Let u = 460 + t. Does 3 divide u?
False
Let c be (-1 + 0/(-1))/(9/2745). Suppose -2*w - 440 = -3*w - 4*s, 5*s - 5 = 0. Let h = c + w. Does 15 divide h?
False
Suppose 19 + 8765 = 61*c. Does 10 divide c?
False
Let s = -16 - -46. Let x = s - 28. Suppose 3*v - 38 = x*v. Is v a multiple of 16?
False
Does 92 divide (24 - 17 - -5)*(-2085)/(-4)?
False
Suppose z - 3203 = 5*q, -3203 = 39*z - 40*z - 5*q. Does 31 divide z?
False
Let m(i) = -3*i**3 + 74*i**2 - 19*i + 28. Does 56 divide m(12)?
False
Suppose -22*z = -z + 14517 - 50826. Is 133 a factor of z?
True
Let q = 24 + 40. Let s = q + -50. Is 7/(s/138) - 1 a multiple of 10?
False
Let u(k) = 11*k**3 + 4*k**2 + 3*k - 6. Let v be u(3). Let c = v + 114. Does 75 divide c?
True
Suppose 2*t - 39303 = 5*i, -549*t = -550*t + 5*i + 19634. Is t a multiple of 221?
True
Let p be 1 + 18 - (10 - 15). Suppose -67 - 1037 = -p*s. Is s a multiple of 12?
False
Suppose -32 - 5 = 4*b + u, 2*u - 36 = 3*b. Let h be (90/(-75))/(4/b). Let g(k) = 9*k**2 + 8*k - 6. Is g(h) a multiple of 33?
True
Suppose 3*w = 2*j - 2*w - 97124, 4*w = -3*j + 145640. Does 51 divide j?
True
Let a = -25 - -29. Suppose a*w + 2*k = 3496, -4*w - 4*k + 3059 = -437. Is 38 a factor of w?
True
Let k(t) be the second derivative of 0 + 27*t - 1/4*t**4 - 5/2*t**2 + 1/20*t**5 + 5/6*t**3. Is 7 a factor of k(5)?
True
Let c(u) = -u**2 + 101*u + 1244. Is 214 a factor of c(63)?
True
Let l = 26 - 8. Let p(o) = 6 - 5*o**2 + l + 6*o**2 + 3. Does 6 divide p(0)?
False
Suppose 2500 = 2*t + 5*w + 280, 3*t + 5*w - 3330 = 0. Suppose -5*j - t - 494 = -4*h, j - 788 = -2*h. Is h a multiple of 13?
False
Is (516057/21 - (-42)/49)*6/10 a multiple of 15?
True
Let g(u) = -29*u**3 + 4 + 6*u + 9*u**2 + 7*u + 65*u**3 - 35*u**3. Let b be g(-7). Let z(r) = r**3 - 10*r**2 - 5*r - 3. Is z(b) a multiple of 22?
False
Is 66 a factor of ((-1468136)/395)/((-5)/25)?
False
Suppose -18*f - 93259 + 371833 = -176088. Is 30 a factor of f?
False
Let u(h) = h**3 + 9*h**2 - 25*h + 20. Let r be u(-11). Let c = 53 - r. Suppose 4*t + 2*t - 684 = c. Does 38 divide t?
True
Let w(x) = x**3 + 5*x**2 - 6*x - 1. Let n = 11 - 16. Let s(q) = -q**3 - 2*q**2 + 3*q. Let m(d) = n*s(d) - 2*w(d). Is m(3) a multiple of 9?
False
Suppose 1773 = 2*o + 519. Does 12 divide o?
False
Let h(q) be the second derivative of q**5/10 - 53*q**4/24 - q**3/6 + 22*q. Let z(r) be the second derivative of h(r). Does 13 divide z(21)?
False
Let q(h) = 8*h - 1. Suppose 4*g + 3*b - 21 = 0, 4*g + 0*b - 18 = -2*b. Let z be (-1 - -2)/((-185)/(-60) - g). Is q(z) a multiple of 7?
False
Let a = 5599 + -3999. Is a a multiple of 50?
True
Let l = -257 + 259. Suppose 2*v = l*f + 5*v - 1177, 9 = -3*v. Does 13 divide f?
False
Let a = -47 + 50. Suppose d - 341 = -5*g, a*d - 4*g - 941 = 44. Is 28 a factor of d?
False
Let x(m) = m**3 - 7*m**2 + m + 5. Suppose 15*q + 35 = 20*q. Let b be x(q). Let n(r) = -r + 28. Does 8 divide n(b)?
True
Let h(t) = 4*t**2 - 68*t - 10. Let c be h(16). Does 58 divide (c + 73)*(-1 - 800)?
False
Let p(d) = d**2 + 14*d - 11. Let h be p(13). Suppose 35*s - 30*s = -h. Let c = s + 100. Is c a multiple of 32?
True
Let n be 6 - (-5)/(25/(-5)). Suppose -5*l - 5*k = -30, 21 = n*l - 5*k - 59. Is 5 a factor of 14/4*44/l?
False
Suppose -3*o + 11 - 5 = 0. Let s(h) = 7*h**3 + h - 6. Let r be s(o). Let t = -42 + r. Is 3 a factor of t?
False
Let l(n) = 23*n**2 - 8*n - 91. Let s be l(12). Let o = -2218 + s. Is 13 a factor of o?
False
Let d(c) = -42*c + 4. Let s be d(-2). Let r = s + -76. Is (34/r*-4)/(2/(-3)) even?
False
Let i be 607 + -1 - (0 - -3). Suppose 2*c + 63 - i = 0. Suppose 0*g = 5*g - c. Is 6 a factor of g?
True
Let p = 712 - 739. Does 9 divide 581 - (p/(-9) + 2)?
True
Let y be ((-4)/6 - 8/24) + 3. Suppose y*t + 9 = c - 0*t, -3*t = 5*c - 32. Suppose -10*q = -c*q - 249. Is q a multiple of 10?
False
Let b(q) = 2*q**2 - 11*q - 10. Let k be b(8). Let p = -25 + k. Suppose -3*i = -3*r - 507, -p*i - 4*r = -0*r - 827. Does 23 divide i?
False
Suppose -14*m + 37*m - 92 = 0. Suppose -8 = 4*f + m, 2*q + 5*f = 381. Is 11 a factor of q?
True
Let d = -6031 + 8586. Is 38 a factor of d?
False
Suppose -800*d + 759*d + 43911 = 0. Is 7 a factor of d?
True
Suppose -2*v = -10, 8 = -3*x + 4*v - 399. Let a = 243 + x. Suppose -201 - a = -5*l. Does 8 divide l?
False
Suppose 0 = -9*a - 643 + 10003. Suppose -a - 1760 = -14*n. Suppose 3*k = 2*q + n, -2*k + 126 = -0*k - 5*q. Is 34 a factor of k?
True
Let i(y) = y**2 + 7*y + 17. Suppose 5*m + 8 + 12 = 0. Let l be i(m). Does 29 divide (1 - l/3)/((-37)/6438)?
True
Suppose -2*q + 3*k = k - 3216, -2*k = -5*q + 8034. Suppose 986 = 6*l - q. Is l a multiple of 11?
False
Let p be (-2 - -17) + (8 - 2). Suppose -p*a = 12*a - 27984. Does 16 divide a?
True
Suppose -2*k + 3*c - 69 = -6*k, 74 = 4*k + 2*c. Suppose -4*l + 4*b = 7*b - 56, 3*l - 3*b - k = 0. Is l a multiple of 2?
False
Let s be (-12)/(-14)*7/2. Is 10/15 - (-1270)/s a multiple of 8?
True
Is 4 a factor of 15 - 29 - -29 - -1245?
True
Let o(q) be the first derivative of q**4/4 - 8*q**3/3 + 3*q**