t + c. Does 20 divide t?
False
Suppose -2*t + 13 = -p, 5*t = 5*p - 5 + 40. Let a = -4 + 6. Does 2 divide ((-3)/a)/((-1)/t)?
False
Suppose -3*d = 9, 0*d = o - d - 1547. Let j = o - 985. Is j a multiple of 13?
True
Suppose 0 = 14*k - 11*k - 318. Suppose 2*b = -2*h + 6*b + k, 5*b - 104 = -3*h. Does 21 divide h?
False
Let p(d) = 4*d**2 - 59*d - 10. Let y be p(15). Suppose 0 = -y*h + 1028 + 12. Let b = 26 + h. Is 15 a factor of b?
False
Is 13*5*1962/105 + 6/14 a multiple of 27?
True
Let j = 0 - 116. Let q = 287 - j. Suppose i + 1 = 0, -q = -2*l - i + 4*i. Is 20 a factor of l?
True
Suppose 0 = -129*m + 132*m + 5*j - 4285, 0 = -5*m + j + 7151. Does 22 divide m?
True
Is 12 a factor of (14 - 5964/105)*-180?
True
Let o = 451 + -440. Suppose -o*f + 1061 = -3636. Is f a multiple of 7?
True
Suppose 3*t = 4*c + 65221, 0 = t + 3*c + 10537 - 32286. Is t a multiple of 42?
False
Suppose -5*p + 10*p = 10. Let f be (-12)/6 - (p + -4 + -2). Is (83 - 4) + (f - 3) a multiple of 31?
False
Suppose -7 = -i - 4. Let x be (-10 + 16)/(i/98). Is x + 2 + -2 + -3 a multiple of 34?
False
Suppose -5*w + 3*w - 10 = -2*k, 1 = w. Is 2 - ((-1788)/k - 0) a multiple of 15?
True
Suppose 57*d + 154556 + 607284 = 271*d. Does 8 divide d?
True
Let r(j) = -j**2 - 26*j - 42. Let a be r(-24). Is 9*-4*((-110)/a)/5 a multiple of 20?
False
Suppose 68*d + 15723 - 3194 = 119629. Is 25 a factor of d?
True
Let u = 22 + -15. Let i(z) = -z + 21. Let r be i(u). Suppose 13*n + 54 = r*n. Is n a multiple of 13?
False
Suppose 180*z = 1051662 - 798584 + 1876682. Does 51 divide z?
True
Suppose -4*c - 180 = -28. Let n = c - -41. Suppose 0 = n*g - 4*w - 97, -2*g + 40 = -w - 23. Is 7 a factor of g?
False
Let f(o) = -o**2 - 19*o - 72. Let m be f(-10). Let w = 84 - m. Is 6 a factor of w?
True
Let h = 544 + -102. Let k = h + -227. Is k a multiple of 42?
False
Suppose -105*j - 5*u - 29905 = -107*j, 0 = -3*u - 21. Is j a multiple of 106?
False
Let t(g) = -g**2 + 23*g + 40. Let k be t(18). Let v = 135 - k. Is 2 a factor of v?
False
Let v(k) = -k**2 - k + 5. Let r be v(-3). Let l be r/(-7) - (-216)/56. Suppose -l*g - 22 = -334. Is 26 a factor of g?
True
Let x be 0/(((2 - 4) + 1)/((-2)/4)). Suppose 3*t - 226 = -7. Suppose 39*o - 38*o - t = x. Does 7 divide o?
False
Let k be (-12)/(6 - 3) + (3 - -1). Suppose k = v - 90 - 70. Is v a multiple of 6?
False
Let g = 9723 + -6718. Is 5 a factor of g?
True
Suppose 3*v - 6*v = 5*n - 3645, 6097 = 5*v + n. Suppose 2*h = -2*u - 2*u + v, -5*u = -4*h - 1538. Suppose 0 = 6*z - 9*z + u. Is z a multiple of 17?
True
Suppose -27961 - 9630 = -33*y + 39167. Is y a multiple of 10?
False
Let r(p) be the first derivative of -9*p**2 - 33*p - 116. Does 8 divide r(-6)?
False
Let r(c) = 170*c + 71. Let p be r(10). Let t = p - 665. Is t a multiple of 22?
False
Let w(c) = 33*c - 39. Let q be w(19). Suppose -3*i - d = -0*d + q, -i - 180 = -5*d. Let s = 340 + i. Is s a multiple of 15?
False
Let v be (-16)/(-6) - ((-20)/(-12) - 2). Suppose -3*n - 573 = -4*w, -v = -n - 2. Is w a multiple of 21?
False
Is 2*3/(-39) + -2 + (-172161)/(-13) a multiple of 10?
False
Let d be (-2)/((-20)/(-5) - 2). Let i(c) = c**2 + 3*c + 1. Let y be i(d). Is (y - (-24 + 0)) + -3 a multiple of 20?
True
Let c(v) = -2*v**3 - 17*v**2 + 14*v + 18. Let f be c(-12). Suppose -20*g + f = -17*g. Does 50 divide g?
False
Is 66 a factor of ((-1626240)/(-392))/((-46)/(-28) + 12/(-8))?
True
Let n = -384 - -792. Let r = -231 + n. Suppose -25*g - r = -28*g. Is 26 a factor of g?
False
Let g(k) be the third derivative of 0 + 1/60*k**5 + 0*k + 3*k**3 + 11*k**2 + 3/4*k**4. Is 6 a factor of g(-18)?
True
Let y be (4 + (-10 - -5))/((-3)/42). Suppose 10*m - y*m = -1288. Is m a multiple of 46?
True
Suppose 2*p + 4*t + 86 = 8*t, -200 = 5*p - 5*t. Does 13 divide (-3 - p)/(2/14)?
False
Suppose 9*l - 82797 + 25845 = 0. Is l a multiple of 28?
True
Suppose 104731 = 3*b + 11*b - 131519. Is 25 a factor of b?
True
Let u = 94072 - 61827. Is u a multiple of 78?
False
Let l(i) = -i**3 + 14*i**2 + 26*i + 4. Suppose -2*m + 28 = x, -3*x = -4*m - 0*x + 66. Is l(m) a multiple of 38?
False
Let w(s) = -5*s - 155. Let q be w(-32). Does 2 divide q/(25/(-20)) + 82?
True
Let j be ((-35)/14)/(4/8). Is 15 a factor of ((j - -9)/8)/((-2)/(-912))?
False
Suppose 4*d = -2*m + 95772, -d + 24126 = -5*m + 216. Does 197 divide d?
False
Let d(o) = -9*o + 76. Let c be d(8). Suppose -4*h + 20 = -c*j, 4*j - h = h - 20. Is (-1)/j - 32/10 - -262 a multiple of 18?
False
Let l = 10056 - 5435. Does 94 divide l?
False
Suppose -o + 12776 = -0*p - p, 2*o + 2*p = 25568. Is o a multiple of 45?
True
Let r(y) = 2*y - 17. Let n be r(11). Is (n/1)/(-50) - 3963/(-30) a multiple of 12?
True
Let z(u) = 7*u**2 + 115*u - 20. Is z(10) a multiple of 61?
True
Suppose 2287 = p - 4*n, -36*p = -31*p - 2*n - 11489. Is 12 a factor of p?
False
Let z(u) = 11*u**2 + 29*u**3 - 30*u**3 - 9*u - 10 - 6*u**2. Let l(n) = n**2 + n + 1. Let b(o) = 4*l(o) + z(o). Is b(8) a multiple of 6?
True
Let o(f) = 1176*f + 445. Is o(9) a multiple of 41?
True
Suppose -83293 + 208669 = 306*m - 294*m. Does 8 divide m?
True
Suppose 0 = -5*q - 2*x + 925, -162 = -q + 3*x - 8*x. Let h = 686 + q. Is h a multiple of 9?
True
Is 4 a factor of (-2 - -14) + 10 + -14 - 5 - -8601?
True
Let w(n) = -17*n + 6. Let m be w(-6). Suppose 11*p - 9*p = m. Does 18 divide p?
True
Let t be (-1170)/(-6) - (-4)/(4/2). Suppose -79 = i - 4*w, -2*i + 0*w - 5*w = t. Let g = -5 - i. Is 24 a factor of g?
False
Let q(c) = 18*c**2 - 37*c + 835. Is q(22) a multiple of 22?
False
Let n be (-238)/26 + 80/520. Let i(b) = -33*b**3 + b - 1. Let g be i(1). Let k = n - g. Is 11 a factor of k?
False
Let s(b) be the second derivative of -b**5/10 + b**4/12 + b**3/6 + b**2/2 - 13*b. Let m be s(-1). Suppose 2*j = -m*g + 79 - 29, 4 = j. Is g a multiple of 14?
True
Let t(c) = 3*c**3 + 4*c**2 - 2*c - 5. Let g be t(4). Let z = g + -166. Suppose l - 6*s - z = -3*s, s - 65 = -l. Is 34 a factor of l?
True
Let o(w) = -w**2 - 4*w + 3. Let x be o(-4). Suppose 313 = 2*a + x*u - 1580, 2845 = 3*a - u. Is 12 a factor of a?
True
Let z(v) = 14*v + 13. Let k(p) = -p**2 - p + 1. Let w(d) = k(d) - z(d). Is 2 a factor of w(-13)?
True
Suppose 101*z = 76*z + 137500. Does 100 divide z?
True
Suppose 6*y - 4*f = 4*y - 2, -f - 12 = 2*y. Let o(c) = 2*c**2 - 2*c - 21. Does 13 divide o(y)?
True
Let r = -44 - -87. Suppose -5*g - 5*l = r + 102, -5*l = -5*g - 155. Is 263/6 - 5/g a multiple of 21?
False
Let z = -27623 + 29535. Is z a multiple of 12?
False
Let n(i) = i**2 - 2*i**2 - 18 + 22*i + 12*i**2 - 4*i**2. Let l(u) = -u**2 - u - 1. Let a(k) = 6*l(k) + n(k). Does 8 divide a(-20)?
True
Let i(x) be the second derivative of x**4/12 - 14*x. Let p be i(1). Is 0 + 83 + 4 + -1*p a multiple of 43?
True
Let l(a) = 810*a**2 + 16*a - 2. Does 11 divide l(-1)?
True
Let n = 28792 + -20327. Does 11 divide n?
False
Let r = 99 - 100. Let u(k) = -8*k**3 + k**2 + 5*k**3 + 2*k - 38*k**3 + 1 - 21*k**3. Is 4 a factor of u(r)?
False
Let n(g) = g**2 + 14*g - 6. Let j be n(-16). Let z(i) = -i**2 + 40*i + 36. Is z(j) a multiple of 20?
True
Let m be (4/6)/((-3)/(-9)). Suppose -m*f + 3 = f, -4*s + f = -15. Suppose s*d = 4*y + 76, 0*d - d + 20 = -2*y. Is 3 a factor of d?
True
Let c = -5535 + 12614. Suppose -6*z - 19535 = -c. Is z/(-60) + (6/(-10) - 0) a multiple of 17?
True
Let n(o) = -9 - 5*o + 0*o - 3*o + 2*o. Let f be n(-4). Let s(m) = 8*m - 16. Is 26 a factor of s(f)?
True
Suppose y - 719 = -5*r, 1662*r = 1656*r - 18. Does 7 divide y?
False
Let p(r) = -94*r - 160. Let f be p(-10). Let a = f + -409. Is a a multiple of 10?
False
Suppose 0 = -z + 4*t + 7536 - 818, 4*z + t = 26787. Is 40 a factor of z?
False
Let t be 4/16 + (1155/(-12) - 7). Let b be (-3)/(-6) + (-301)/(-2). Let c = t + b. Is c a multiple of 24?
True
Let t(h) = -13890*h**3 - 6*h**2 + 12*h + 17. Is t(-1) a multiple of 43?
True
Suppose 155*h - 313174 = -81501 + 85302. Does 2 divide h?
False
Suppose -32 = -12*c + 28. Suppose -5*z = -6*o + 2*o - 236, c*z - 216 = -o. Suppose 12 = z*a - 43*a. Is a a multiple of 2?
True
Let o(t) = t**3 - 7*t**2 + 43*t + 307. Is 8 a factor of o(31)?
True
Suppose -5*f + 30*f = 19525. Is f even?
False
Let g(s) = 2497*s + 10085. Does 5 divide g(4)?
False
Suppose -9*w = -9*w + 9*w - 5796. Is 27 a factor of w?
False
Let r = -12806 - -17972. Is r a mul