/36 + 4 + (-206636)/(-18) + 4?
True
Let t = -606 + 598. Is (t + 267/(-9))*18/(-3) a multiple of 50?
False
Suppose 162*y = -79105 + 485453 + 288632. Does 33 divide y?
True
Suppose -4*c = 2*k + 2, 3*c - 13 + 2 = k. Let r(i) be the third derivative of 7*i**5/60 + i**4/4 + 17*i**3/6 - 34*i**2. Is r(k) a multiple of 18?
True
Let w be 4/(-10)*(-4 + (3 - 4)). Suppose w*f = 222 + 134. Let g = f - 53. Is g a multiple of 25?
True
Is 14 a factor of (2/4)/((-6)/(-3140)*(-655)/(-5502))?
True
Let x(m) = -m**2 + 2*m + 39. Let r be x(-5). Suppose -3*s = -2*w + 4, r*s - w + 1 = -1. Is 10 a factor of (0 + -4)*(s - 90/12)?
True
Suppose 1294 = 3*h - 28142. Is 11 a factor of h?
True
Let l(p) = -p**3 - 23*p**2 - 44*p - 40. Let k be l(-21). Suppose -1619 - 1925 = -4*o - 4*n, -4402 = -5*o + k*n. Does 61 divide o?
False
Let d(p) = 11*p**2 - 47*p - 336. Is d(-20) a multiple of 36?
True
Suppose -385 = 3*o + 122. Let h = o + 177. Does 4 divide h?
True
Let n be -7*(36/21 - 2) - -4. Suppose -n*l + 10*l - r - 615 = 0, 5*l - 795 = -4*r. Is l a multiple of 14?
False
Let b = 20 + 46. Let l be (-8)/(-10)*b - 6/(-30). Suppose 4*t + l = -c + 411, -188 = -2*t + 4*c. Is 21 a factor of t?
False
Is 24 a factor of ((-6)/8)/(1671948/(-119424) + 14)?
True
Let b(y) be the third derivative of 9*y**2 - 1/6*y**3 + 0 - 71/24*y**4 + 0*y. Is 10 a factor of b(-1)?
True
Suppose -56*z = 98*z + 134597 - 1037807. Is 23 a factor of z?
True
Is 9 a factor of 168/(-10)*(317148/(-399) + 5/(-35))?
True
Suppose -11403 = -9*w + 10314. Suppose 639 + w = 14*y. Is y a multiple of 11?
False
Let y(i) = 17*i**2 - 5*i - 23. Let l(q) = -3*q**2 + q + 4. Let m(s) = -23*l(s) - 4*y(s). Let p be (-2 - -1)*1*-5. Is 10 a factor of m(p)?
True
Let h be -2 + (-1 + -22)*1. Let n(b) = -2*b + 56. Is n(h) a multiple of 3?
False
Suppose m - 13860 = 3*x, -7*m + 41610 = -4*m - 3*x. Is 125 a factor of m?
True
Suppose -2*v + 3*g - 16 = -6*v, 4*g = 5*v - 51. Suppose b = v*b - 1614. Suppose -158 = -7*w + b. Does 16 divide w?
False
Let u(t) = t**3 + 1. Let c be u(-1). Suppose -6*g - 27 + 39 = 0. Suppose b - g*p - 118 = c, -5*b - p = 7 - 641. Is 30 a factor of b?
False
Let y(a) = 123*a**2 + 34*a - 59. Is 59 a factor of y(5)?
True
Let c(a) = -3 - 1 + 1 - 4 - 13*a. Let k(v) = 2*v. Let z(s) = c(s) + 2*k(s). Is z(-4) a multiple of 9?
False
Let c = 29220 - 7744. Is c a multiple of 14?
True
Let n be 4*(70/(-8))/(-7). Let z = 275 - 123. Suppose 0 = -q + 4*q - 6, -z = -2*v - n*q. Does 50 divide v?
False
Let s(d) = 938*d**2 - 291*d + 1419. Is 19 a factor of s(5)?
False
Let r(h) = -13*h**2 - 9*h + 16. Let o be r(5). Let s = o + 1394. Does 52 divide s?
True
Let v(f) = f**2 - 3*f. Let i = -56 + 59. Let o be v(i). Is 33 a factor of o + 638/10 + 8/40?
False
Let r(n) = -n**2 - 6*n - 2. Let z be r(-4). Let j = 1307 + 826. Does 10 divide j/36 - z/(-8)?
True
Suppose 7*a = 9*a - 424. Suppose 916 - a = 8*p. Suppose 0*v = -2*v + p. Is v a multiple of 4?
True
Suppose -6*h = -6459 - 33045. Suppose 5*m - h = 56*f - 52*f, -5*f = 5*m - 6575. Does 14 divide m?
True
Suppose -25520 = 172*y - 182*y. Suppose 6*m - 2284 - y = 0. Is m a multiple of 31?
True
Let d be 9/(-3) + (2 - -1) + 18. Let j be (-6)/10 + d/30 - 0. Suppose j = -2*z + 7 + 343. Does 25 divide z?
True
Let y(b) = b**3 - 12*b**2 + 27*b - 14. Suppose i = 5*l + 16, 6*i - 5*l + 17 = 8*i. Is 6 a factor of y(i)?
True
Let a(f) = 11*f**2 + 2*f - 30. Let m(z) = z**2 - 21*z + 94. Let o be m(15). Is a(o) a multiple of 11?
True
Suppose 163*l - 11205 = 17157. Does 58 divide l?
True
Let r(m) = -9*m + 16. Let g be r(0). Let h(n) = 2*n**2 + 10*n + 9. Is 27 a factor of h(g)?
False
Suppose s + 112 = -2*i, 0*i + 2*i = 2*s + 218. Let n = s - -110. Suppose n = b + y - 55, -4 = -2*y + y. Is 6 a factor of b?
False
Let t(y) = -47*y + 1069. Does 10 divide t(-3)?
True
Let i(w) = -4*w**3 - 21*w**2 + 70*w + 59. Does 14 divide i(-19)?
False
Let k = 162202 - 84254. Is 42 a factor of k?
False
Let x = 1453 - 686. Let o(h) = -755*h**2 - 6 + 31*h + 2*h**3 + x*h**2 - 3*h**3. Is 25 a factor of o(14)?
False
Let f = 160 + 0. Let l = 263 + f. Is 56 a factor of l?
False
Let b(p) = p**3 - 18*p**2 + 9*p + 36. Let z(g) = g**3 - 17*g**2 + 9*g + 37. Let h(v) = -4*b(v) + 5*z(v). Suppose 0 = -6*n + 3 + 69. Does 2 divide h(n)?
False
Let r(k) = 132*k**2 + 43*k + 202. Is r(-16) a multiple of 26?
True
Suppose 67242 = 38*n - 24*n. Does 33 divide n?
False
Let g be (3/2 - 2)*312/(-13). Is (9 - g/2)*31/1 a multiple of 12?
False
Is 1106/(-21)*-129 - 6/(1 + 2) a multiple of 126?
False
Suppose -6*m = 994 - 4750. Let o = m - 186. Is 55 a factor of o?
True
Let u be 463/(3 - (-6)/(-3)). Let k = -148 + u. Does 35 divide k?
True
Let b = -74 + 123. Let n = b + 72. Let i = n + -57. Is 14 a factor of i?
False
Let m be 54/63 - 3/(-21). Suppose 512 = 3*a + a - 4*b, -b = -m. Does 16 divide a?
False
Let l be 686/35 - (-2)/5. Is (12/l)/((-6)/(-390)) a multiple of 5?
False
Suppose 2*h - 3*h = 17*h - 184068. Does 120 divide h?
False
Suppose -3*h - 12 = -0*h, 8 = -2*p - h. Let o be 5/(-10) - 29/p. Let z(g) = -g**2 + 16*g. Does 9 divide z(o)?
False
Let c = 304 - 560. Is 32 a factor of 7638/16 - 8/(c/(-12))?
False
Let w(j) = j**2 - 21*j - 17. Let d be w(25). Let s = d - -161. Does 61 divide s?
True
Let s(h) = -h**3 - 11*h**2 + 42*h + 3. Let f be s(-14). Suppose 0 = 3*a + 5*x - 42, 0 = f*a - 8*a - 5*x + 80. Is 2 a factor of a?
False
Let y be (4/(-1) + (-70)/(-20))*-40. Is 13 a factor of (-2)/(-4) + 410/y?
False
Let s = -654 + 568. Let a = s + 740. Is 109 a factor of a?
True
Suppose -2*r = 3*b - 1547 - 1115, -2*b = r - 1331. Is 11 a factor of r?
True
Suppose 0 = 26*z - 92464 - 12379 - 13535. Is z a multiple of 8?
False
Suppose a = 3*s + 14961, 4*a + 101*s - 97*s = 59972. Is 81 a factor of a?
True
Suppose -2*d - 1488 = -6*d + 3400. Is 94 a factor of d?
True
Let s be 5 - 5/((-10)/(-4)). Suppose -s*u + 2900 = 5*g - 4036, -2778 = -2*g - 3*u. Is 63 a factor of g?
True
Suppose 4*q + 1424 = 4*a, 3*q + 883 + 903 = 5*a. Suppose -3153 = -11*o - a. Suppose -c + o = c. Is 19 a factor of c?
False
Let o = 6 - 34. Let z be (-48)/(-1)*2/2. Is 3/((o/z)/(-7)) a multiple of 7?
False
Let x(s) = 4*s**2 - 365*s + 127. Does 43 divide x(94)?
True
Suppose -4*y - 5*s = 0, 6*s - 6 = -2*y + 5*s. Suppose 3*h - 251 = 2*x + 68, 0 = -4*h - y*x + 410. Does 22 divide h?
False
Let k = -11381 + 23272. Does 4 divide k?
False
Suppose 7*h - 49 - 49 = 0. Suppose 0 = 15*p - 8*p - h. Suppose 34 - 44 = -p*w. Does 3 divide w?
False
Let a(j) = -27*j + 5*j - 8 - 6 - 10*j**2 + 11*j**2 - 2. Is 59 a factor of a(25)?
True
Let w be 15*((-4)/5 + 7/15). Let x(j) = -76*j + 351. Does 43 divide x(w)?
True
Let p(c) = c - 14. Let i be p(18). Is 9 a factor of (i + 648/(-15))*(-50)/4?
False
Let g(u) = -u + 18. Let o be g(11). Let m be 16/o - 5/(105/6). Suppose 2*k = m*p - 4 + 14, -p + 3 = k. Does 4 divide k?
True
Suppose -3*t - 322 = -5*w - 0*t, 3*w - 190 = 5*t. Suppose -4*z - o = -3*o - 68, 3*z = -2*o + w. Is 13 a factor of z?
False
Suppose 46*r - 4*l = 49*r - 46, -59 = -4*r - 3*l. Does 16 divide 73 + 3/6*r?
True
Let r = 32390 - 22510. Is 19 a factor of r?
True
Let q(w) = -13*w + 6. Let j(s) = -s**2 + 10*s + 69. Let x be j(-5). Does 6 divide q(x)?
True
Let w = -102 - -42. Let c = 50 + w. Is 9 a factor of (c/6)/((-15)/405)?
True
Let o(z) = 3*z - 13. Let k be o(5). Suppose -3*a - 2*i + 16 = 0, -i = k*a + i - 10. Suppose 2*r - 288 = -a*r. Is r a multiple of 9?
True
Suppose -2*t - x = -6*t + 14, x + 2 = 0. Let p = -75 + 94. Suppose -68 = -t*b + p. Is b a multiple of 5?
False
Let c(k) = 2*k**3 + 37*k**2 - 9*k + 22. Let g(o) = -2*o**3 - 13*o**2 - 10*o + 7. Let u be g(-5). Is c(u) a multiple of 6?
False
Suppose -2813 = -19*z + 5642. Let a = -10 + z. Does 20 divide a?
False
Suppose -11577*n + 11551*n = -656370. Is n a multiple of 27?
True
Is 16 a factor of 1536/(-13 + (-55)/(-4))?
True
Is (980/294)/((-4)/(-3348)) a multiple of 93?
True
Let v(m) be the third derivative of -m**7/420 - m**6/360 + 20*m**4/3 - 7*m**3/3 + 20*m**2. Let t(z) be the first derivative of v(z). Does 40 divide t(0)?
True
Let p(h) = -5*h**3 + h**2 + 2*h + 1. Let k(y) = -3*y**3 + y**2. Let z be k(1). Let d be p(z). Let s = 86 - d. Is s a multiple of 15?
True
Let v be (172/12)/((28/21)/4). Suppose 39*r + 368 = v*r. Is r a multiple of 3?
False
Let d(p) = -589*p - 2756. Is d