 (1 + -9)*(-1 + 0). Suppose 13 = 3*g + 4*t, -3*t + t = 2*g - a. Suppose -5*x + 251 + 399 = 5*o, -g*o + x = -374. Does 21 divide o?
True
Let v(l) = 1385*l**3 - 2*l**2 + 1. Let o be v(1). Suppose -8*d + 4*q - o = -12*d, -5*q + 20 = 0. Does 9 divide d?
True
Does 34 divide (-794529)/(-72) + (-7)/56?
False
Let o(l) = 1560*l**2 - 71*l - 162. Is 10 a factor of o(-2)?
True
Suppose 187584 - 13748 - 18604 = 33*k. Is 28 a factor of k?
True
Let a = 1 - -2. Let m be -3 - (0 + -12 - a). Let d = 10 + m. Is 11 a factor of d?
True
Let a be (558/27)/(4/(-78)). Let j = -360 - a. Does 5 divide j?
False
Suppose g = -2*b + 815, -b + 2*g - 1224 = -4*b. Suppose -b = 4*s - 5*v - 1121, 3*s - 538 = 2*v. Does 6 divide s?
True
Suppose -8 = 5*s + 2. Let q(a) = 33*a**3 + 21*a + 11. Let u(x) = 49*x**3 + 30*x + 16. Let r(j) = 7*q(j) - 5*u(j). Is r(s) a multiple of 23?
True
Let p(f) = 169*f - 46. Is 15 a factor of p(4)?
True
Let t = 1318 - -2827. Is 35 a factor of t?
False
Does 26 divide (4355/15)/((-4667)/390 + 12)?
True
Suppose -36*m = -33*m. Suppose m = a - 15*a + 6916. Does 19 divide a?
True
Let b(s) = -s**2 - 4*s + 8. Let y be b(-5). Suppose 4*j - 656 = y*w, -j + 57 = w - 114. Suppose j + 7 = 6*a. Is a a multiple of 7?
False
Let k be (115/(-69))/((-1)/321). Let w = k + -381. Does 6 divide w?
False
Let g(h) be the first derivative of h**5/20 - 5*h**4/3 - 10*h**3/3 + 7*h**2 - h - 29. Let z(i) be the first derivative of g(i). Does 7 divide z(21)?
True
Suppose 11 = -3*h + 23. Let l be h*((-24)/(-84) - (-138)/56). Is 18 + -1 + l + -15 a multiple of 7?
False
Let y be ((-2)/(-9))/(5/45). Suppose 154 = -5*c + 4*q, 2*c + 63 = 5*q - y. Is 9 a factor of c/(-285) - (-3150)/38?
False
Let i(d) = 15*d + 211. Let l(y) = -29*y - 423. Let a(u) = 9*i(u) + 4*l(u). Does 17 divide a(23)?
False
Let i = -1455 + 1457. Suppose -4*w = -2*w - 4. Suppose w*r - 3 = 3*r, i*o = -5*r + 105. Is 15 a factor of o?
True
Suppose 7*x - 1758 - 363 = 0. Suppose 14*u = x + 1601. Does 3 divide u?
False
Suppose -2*w + 259941 = 3*x, 146661 = 2*x - 2*w - 26653. Does 17 divide x?
False
Let l(h) = -h**3 + 7*h**2 - 9*h + 5. Let s be l(5). Let f be s*-2*1/(-4). Suppose o = -f*c + 158, 2*c + 507 = 5*o - 337. Is o a multiple of 28?
True
Let v(n) = n**3 + 2*n**2 + 345. Suppose -14*j = -11*j - 7*j. Is v(j) a multiple of 21?
False
Suppose -3*t = -39 + 9. Let w be (1 + (-11)/5)*t + -1. Let q(k) = 2*k**2 + 19*k + 13. Is 22 a factor of q(w)?
False
Let d be (-8)/((-16)/6) + -1. Let h be (-1)/((-4)/106)*d. Let l = h + 55. Is 12 a factor of l?
True
Let x(a) = -a**3 - 19*a**2 - 2*a + 1. Let v be x(-19). Let o = v - 35. Is 549/6 + (-2)/o a multiple of 7?
True
Let x = -274 - -276. Suppose -x*o = 5*y - 32, 29*o + 112 = 33*o - 2*y. Does 7 divide o?
False
Let v = 50 - 45. Let b be v + -5 + 2 + -3. Let f(o) = -33*o**3 + 2*o**2 - 2*o - 3. Is 34 a factor of f(b)?
True
Is 15 a factor of ((-48532)/198)/((-2)/18)?
False
Is 14 a factor of (-504)/(((-1068)/4887 + (-18)/(-81))*-3)?
True
Let c = 48082 + -27442. Is c a multiple of 56?
False
Let t(m) = -m**2 - 7*m - 6. Let j be t(-5). Suppose -15 = -o + j*o. Let z(a) = -19*a - 23. Is 18 a factor of z(o)?
True
Let r be 1 + (6 - 35/5). Suppose r = -84*v + 75*v + 837. Is 5 a factor of v?
False
Suppose -9*g = -4*g + 4*w - 6, 5*g - 3*w = -22. Does 12 divide 27 + 9 - (g - 15/(-3))?
False
Let t(p) = p**3 + 25*p**2 - 44*p - 201. Is t(-24) a multiple of 53?
True
Let z = -883 + 888. Suppose z*n + 2*s = 2*n + 182, -4*s = -4. Is n a multiple of 10?
True
Let p(q) = q**2 - 31*q + 21. Let o be p(28). Let r(m) = 7*m**2 + 2*m. Let b be r(2). Let x = b - o. Does 14 divide x?
False
Suppose -37*b + 12*b = -0*b - 522050. Does 119 divide b?
False
Let y(s) = s**3 - 3*s**2 + s - 21. Let q be y(4). Let d(z) = 39*z**2 + 6*z + 7. Is d(q) a multiple of 5?
True
Let t(q) = -q + 5. Let x be t(0). Suppose -996*v - 32 = -1004*v. Suppose 3*m = -4*p + 387, v*p + 616 = x*m + p. Is m a multiple of 30?
False
Let r(q) be the second derivative of -761*q**3/6 - q**2/2 - 6*q - 31. Is 40 a factor of r(-1)?
True
Let m(g) = g - 1. Let l(u) = -10*u - 4 - 2 + 19*u. Let h(d) = l(d) + m(d). Does 26 divide h(15)?
False
Let d = 25019 + -22307. Is 12 a factor of d?
True
Suppose -5*t + 14218 = 3*t + 1242. Is 4 a factor of t?
False
Suppose 0 = 5*c - 130 - 150. Suppose 0 = 53*j - c*j - 3. Does 9 divide (25 - -165) + (j - 0)?
True
Suppose o = 5*l + 288, 2*l = 1 + 5. Suppose 0 = 5*c - o - 522. Does 5 divide c?
True
Suppose 196*h + 3*n = 198*h - 5, -26 = -5*h + 3*n. Let u = 500 - 345. Suppose u = -h*i + 603. Is 9 a factor of i?
False
Let l = -204 - -209. Does 18 divide (4*-2)/(l/((-1230)/12))?
False
Suppose -u - 98097 = -2*o, -7*o + 5*o = -3*u - 98091. Is o a multiple of 18?
True
Let q(w) = 376*w + 183. Does 5 divide q(3)?
False
Let k(o) be the third derivative of o**7/2520 - o**6/120 - o**5/120 - 5*o**4/24 + 16*o**2. Let d(f) be the second derivative of k(f). Is d(-5) a multiple of 6?
True
Suppose 1051 + 3160 = w + 1141. Is w a multiple of 8?
False
Let b(p) = -p**2 + 15*p - 40. Let r be b(11). Suppose r*w + 6*w - 9250 = 0. Is w a multiple of 8?
False
Does 12 divide (7 + -1747)*(-42)/10?
True
Suppose -67*s + 53935 = -44*s. Is s a multiple of 67?
True
Suppose -o = o - 2*d + 364, 0 = 5*d. Let h = o - -430. Is 14 a factor of h?
False
Let q = -673 + 1726. Suppose 0 = -6*l + q + 45. Does 13 divide l?
False
Suppose 4*u - 5*t - 128 = 0, -4*u + 2*t + 86 = -54. Let s = 85 + u. Is 14 a factor of s?
False
Let n = 52 - 25. Suppose 8*c - n - 5 = 0. Suppose 2*b = -c*h + 218, h - 3*b + 168 = 4*h. Is h a multiple of 10?
False
Does 3 divide (8*10/(-160))/((-1)/878)?
False
Let p = 735 - 744. Does 57 divide (498/p)/((-32)/336)?
False
Is 1 + -2 + (-2932)/(-6)*(-408)/(-272) a multiple of 61?
True
Does 12 divide (4 - -1 - (-3)/9)*288?
True
Let t(o) be the first derivative of -21*o**2/2 + 5*o - 22. Let l be t(4). Let b = 31 - l. Is 8 a factor of b?
False
Let i(j) = 211*j**2 - j + 4. Let x(l) = -12*l - 145. Let n be x(-12). Does 27 divide i(n)?
True
Let t be 189/6 + (-2)/(-4). Suppose i + 21 = 37*j - 33*j, -2*j - 5*i - 17 = 0. Suppose j*d = -4*d + t. Does 2 divide d?
True
Let t = 26 + -22. Suppose -d = 26 - 77. Suppose d = -h + t*h. Is h a multiple of 17?
True
Let w = -1720 + 16984. Is 96 a factor of w?
True
Suppose 0 = a + 5*t - 2555, 4*a - 8*a - 2*t = -10220. Is a a multiple of 16?
False
Let u(v) be the first derivative of v**4/2 - v**3 + 2*v**2 - 5*v - 1. Let z be 12/(-18)*1 + 14/3. Does 13 divide u(z)?
True
Let b(c) = -c**2 + 9*c + 2. Let a be b(7). Suppose 0 = 4*j + 4, 2*k = -4*j. Let t = k + a. Is t a multiple of 17?
False
Let i = 439 + -469. Let k = i - -613. Does 11 divide k?
True
Suppose 6*l + 28 = -188. Is 17 a factor of 1*821 + 38 + l?
False
Let w = -8009 - -19279. Does 46 divide w?
True
Suppose 17*s + 9 = 18*s. Suppose h + 3 = -d - 0, s = -4*d - 3*h. Suppose -r + 9 = -d*r. Is r a multiple of 3?
True
Let t be (-506)/(-66) - 2/(-6). Let i(o) = 21*o - 13. Does 31 divide i(t)?
True
Suppose -2*w + 4 = t, 9*t - 3*w - 33 = 4*t. Is 18 a factor of 21*(16 - 4)*3/t?
True
Let n = -2943 - -6000. Suppose -20*r = -2043 - n. Is r a multiple of 10?
False
Suppose 3*w = -3*f - w + 3, 5*w = -3*f. Let l be (-3*(-2)/(-3))/(f/(-145)). Let y = l + 10. Is 17 a factor of y?
True
Let i(n) = -n**3 - 5*n**2 - 5*n + 7. Let y be i(-3). Suppose y*h = -4*f + 380, -5*h + 8*f + 445 = 3*f. Does 46 divide h?
True
Let w(t) = -t + 75. Let d be w(33). Let h(f) = 23*f + 30. Does 40 divide h(d)?
False
Let y(a) = 73*a**2 - 163*a - 40 - 30*a**2 - a**3 + 160*a. Is 75 a factor of y(42)?
False
Let k(t) be the second derivative of -7*t**3/6 - 23*t**2/2 + 43*t. Let w be k(0). Let f = w - -28. Is f even?
False
Let s(n) = 5*n**3 - 22*n**2 - 8*n + 34. Let l(d) = -d**3 + d - 1. Let t(p) = 6*l(p) + s(p). Is t(-22) a multiple of 12?
True
Let h be 1 + 8 + (7 - 6)/(-1). Is (-7)/((-42)/6396) + h/(-4) a multiple of 12?
False
Let z(v) = 2*v**2 - 10*v - 9. Let y be z(-1). Suppose 3*b = -b + 4*p + 1068, y*p - 1375 = -5*b. Is 12 a factor of b?
False
Let c(d) = 3157*d**2 + 252*d - 8. Does 39 divide c(-3)?
False
Suppose 5*y - 42 = -2. Let o be (y/(-10))/(-1*(-10)/(-6925)). Suppose -5*a + 2*a + o = 2*q, -3*q = a - 173. Is a a multiple of 17?
False
Let m = 25505 - 13472. Does 9 divide m?
True
Let l(g) = 9*g + 9. Let q(s) = 5*s +