se 2*y = 15 - 43. Let l = -12 - y. Suppose -4*g + 15 = z - 29, 0 = -z - l*g + 50. Is 7 a factor of z?
True
Suppose 4*f = 2170 + 722. Suppose f + 642 = 5*i. Is 16 a factor of i?
False
Let s(q) = q**3 - 13*q**2 + 22*q + 24. Let z be s(18). Suppose -7*b + z = -564. Is b a multiple of 12?
True
Let k(u) = 143*u**2 + 104*u - 134. Does 10 divide k(14)?
True
Let j(l) = 3*l - 19. Let q be j(7). Suppose q*c + 3*u - 3 = -1, -5*c = -u - 22. Suppose 2*o - 12 = -c. Is o a multiple of 2?
True
Suppose -3*h + 48 = 3*k, 1 - 16 = -5*h. Suppose d = -k*r + 14*r + 422, 2 = 2*r. Does 48 divide d?
False
Let y(k) = -2*k**3 + 26*k**2 + 5*k - 23. Let c = -134 - -145. Suppose -b - c*b + 156 = 0. Is y(b) a multiple of 21?
True
Let h(m) = 14*m**3 - 4*m**2 + 4*m - 62. Is h(6) a multiple of 49?
True
Let i(x) = x**3 + x. Let k be i(1). Let a(c) = 2*c**2 - 2*c + 1. Let b be a(k). Suppose 162 = -2*n + b*n. Does 8 divide n?
False
Let o(l) = -7*l - 5. Let m(f) = -f**2 - 7*f - 10. Let y be m(-6). Let q be o(y). Suppose -2*g = -23 - q. Does 9 divide g?
False
Suppose -b = -2 - 0. Suppose -b*a - 39 = -d, -a + 5*a = -5*d + 139. Is d a multiple of 4?
False
Suppose 3*i = 21 + 12. Let d(p) = -5 + 6 - i*p - 31 + 39*p. Is d(6) a multiple of 11?
False
Let d(q) = 204*q - 84. Let l be d(3). Let g = -363 + l. Is 11 a factor of g?
True
Let z(c) = 102*c**2 - c - 2. Let y be z(-1). Let m = 168 - 75. Let t = y - m. Is 4 a factor of t?
True
Let r(y) = 5*y**3 - 3*y**2 + 5*y - 1. Is r(8) a multiple of 29?
True
Let b be ((-3)/2 - -1)/(2/572). Let a = -112 - b. Is a a multiple of 11?
False
Let i(w) = 45*w**2 - 1015*w - 22. Is 10 a factor of i(27)?
False
Is (-282976)/(-925) + (-3)/12*56/(-175) a multiple of 13?
False
Let f be -3*-5*(16/(-20))/(-4). Suppose -w - 4*t = -581, -3*w - f*t + 7*t + 1663 = 0. Is w a multiple of 51?
True
Suppose -5 = -5*p - o, 6*o = 2*p + 4*o + 10. Suppose p = -5*t - 5*n + 4360, -5*t = -4*t + 3*n - 872. Does 11 divide t?
False
Let k = -3307 - -5479. Does 57 divide k?
False
Let r = -88 + 123. Let o = -61 + r. Let n = o - -94. Is n a multiple of 17?
True
Let g be (2 - -1) + 3 + 1 + -4. Let a be 20*g*14/15. Let z = a - -56. Is z a multiple of 14?
True
Let a = -212 + 212. Suppose a = -39*y + 32*y + 469. Is 6 a factor of y?
False
Let q be (12/(-14))/(8/(-56)). Suppose t = -q*t + 1001. Is 13 a factor of t?
True
Suppose 0 = -v, -319 = -4*u + 2*v - 31. Suppose u = -5*n + 1217. Is n a multiple of 29?
False
Let t(s) = 6*s - 7. Let r(y) = -2*y**2 - 8*y - 1. Let l be r(-4). Let q = l + 6. Is 4 a factor of t(q)?
False
Suppose -563*m = -567*m + 12. Suppose -4*i + m*y + 298 = 6*y, i + 3*y = 79. Is i a multiple of 73?
True
Let y(s) = -13*s - 4. Let m be y(7). Suppose 5*n - 4*n = 186. Let f = m + n. Does 29 divide f?
False
Suppose -2*l - 5*r - 519 = -2719, 2*l - 3*r - 2216 = 0. Let x = l + -663. Is 17 a factor of x?
True
Suppose 5*r - 10 = j, -3*r - 2*r - j = 0. Is 28 a factor of 55*r*14 + (-24 - -23)?
False
Let m(d) = -d - 10. Suppose -w + 24 = -3*w + 3*f, 37 = -3*w + 4*f. Let x be m(w). Suppose -12*u + 4522 = x*u. Is 28 a factor of u?
False
Let g(w) = -w + 19. Let u be g(12). Let o be (-22 - (3 + -1))*(-143)/3. Suppose u*v + v = o. Does 11 divide v?
True
Suppose -61*l = -553272 - 300621 - 46772. Is l a multiple of 84?
False
Let a(c) = -c + 41. Let h be a(21). Let w = h - 76. Is 18 a factor of (27/2)/((-7)/w)?
True
Let t = -630 - -441. Let d = 250 - t. Does 20 divide d?
False
Suppose -2*w = -5*r - 198, -3*w = -7*w - 3*r + 448. Let u = w + -44. Is 7 a factor of u?
False
Let l(r) = r**2 + 9*r - 10. Let m be l(1). Is (-1140)/(-20) + 3/(m + 1) a multiple of 6?
True
Suppose -13257 = -c - 5*k, -41*k = -4*c - 43*k + 53028. Is c a multiple of 101?
False
Let d = 505 - 383. Suppose -915 = -5*g - 5*b, 0 = -10*g + 5*g + 4*b + 879. Let l = g - d. Is 17 a factor of l?
False
Suppose -8*r = -10*r + 6. Suppose 10 = 2*v - 4*s, -v + 5 = -r*s + 5*s. Suppose -966 - 138 = -v*w - 4*x, -4*w + 908 = -3*x. Is 25 a factor of w?
False
Let t(y) = -111*y + 154. Let m be t(-30). Suppose 0 = -3*x - 5*p + 2120, -5*x = -0*x - 4*p - m. Is 73 a factor of x?
False
Suppose -30*r = -11*r - 3230. Suppose 176*o - 1008 = r*o. Does 24 divide o?
True
Is 4/10 - 1518498/(-1305) a multiple of 4?
True
Suppose c + 9 = z + 28, 2*z + 84 = 4*c. Let i = c + -23. Suppose 3*f - 6*f + 240 = i. Is f a multiple of 10?
True
Let h be (-26)/(-4) - 5/(-10). Suppose 902 + 1783 = 32*m + 157. Let i = m - h. Is i a multiple of 4?
True
Suppose 16 = 4*f, -k - 4*f + 10212 + 4383 = 0. Does 55 divide k?
False
Suppose 3*u = 2*g + 7392, 4*u - 9628 = -4*g + 228. Does 22 divide u?
True
Suppose 723*g - 468398 = 709*g. Is 36 a factor of g?
False
Suppose 5*r + 75 = 4*u, -3*u - u = r - 105. Suppose 24*x = u*x - 29. Is 5 a factor of x?
False
Let p(l) = 2*l - 9. Let b be p(4). Let j = -1 - b. Suppose 0 = -3*o - 4*t - j*t + 155, 0 = -o + 2*t + 55. Is o a multiple of 6?
False
Let k(t) = -35*t**3 + 3*t + 2. Let n be k(-1). Let q(a) = a**2 - 15*a - 359. Is 41 a factor of q(n)?
True
Let b(h) = 2*h - 14. Let q be b(8). Let l be (-2 + 440 + q)/(1 + 0). Suppose 37*f = 42*f - l. Is 22 a factor of f?
True
Suppose 1897 = -23*s - 1806. Let a = s + 289. Is a a multiple of 4?
True
Suppose 317 + 1083 = -14*d. Suppose 4*x - 2*k + 4 = 0, -3*x + 0*k - 4*k + 19 = 0. Is 5 a factor of 2/(((-5)/d)/x)?
True
Suppose -57398 = -44*d + 56958. Is 37 a factor of d?
False
Let s = 7232 - 7149. Does 7 divide s?
False
Let s be 0*((-6)/4 - -2). Suppose s = 3*z - 42 + 6. Is 9768/144 - (-2)/z a multiple of 17?
True
Suppose -2*c - 3492 = -m, -8*c = 19 + 5. Is m a multiple of 42?
True
Suppose 5*d + 3*f = 4687, -3*f - 361 - 562 = -d. Is d a multiple of 5?
True
Let u be 6/(-1) + (736 - -5). Suppose -452*b + u = -447*b. Is 26 a factor of b?
False
Suppose 5*s + 2*a - 60 = 4*a, -4*s + 48 = -2*a. Let t = 2645 + -2639. Suppose 0 = -t*l - s + 246. Does 14 divide l?
False
Suppose -35 = -2*q + s, -65 = -0*q - 2*q - 5*s. Let o(x) = -x**2 - 11*x - 12. Let c be o(-6). Suppose -c*a - 256 = -q*a. Is a a multiple of 13?
False
Let t(x) = x**2 + 23*x + 80. Let v be t(-4). Suppose -v*j + 7344 = 8*j. Is j a multiple of 34?
True
Let s be ((-1)/(-6))/((-6)/(-108)). Suppose -s*l + 200 = -124. Does 18 divide l?
True
Suppose -637 - 3795 = 2*a. Let b be 4/18 + a/(-72). Suppose 0*c + c = -x + b, -5*x = -3*c + 69. Does 26 divide c?
False
Suppose 0 = -6*f + 24372 - 3660 + 18852. Does 153 divide f?
False
Suppose 1982 = l + 2*q + 2*q, 3*q - 5937 = -3*l. Suppose -l = -5*o + 4597. Is o a multiple of 28?
False
Let h(b) = 2*b. Let u be h(0). Suppose u = 6*j + 5*j + 2343. Let q = -105 - j. Is 18 a factor of q?
True
Suppose -17*x = -10*x - 14. Is 40 a factor of (-18856)/(-24) + x + 20/(-12)?
False
Let r(q) = 193*q**2 + 8*q + 2. Let o = -345 + 344. Is 13 a factor of r(o)?
False
Suppose 4*s - 162 = 362. Suppose -3*o - 5*k = -163, -k + 148 = 5*o - s. Does 10 divide o?
False
Let s be 1*5 + (13 - -9). Let r be ((-75)/27 - -3) + 3450/s. Suppose 2*g + a = -2*g + 260, -2*g = a - r. Is g a multiple of 6?
True
Let z = -1 - -5. Suppose -5 = 5*r - 10*r + z*q, 5*r + 20 = -q. Is 39 a factor of (4 + r)*-3 + 120?
True
Suppose 14*z - 335 - 547 = 0. Does 60 divide 822/1 - 9/(z/(-28))?
False
Let c(m) = 247*m - 40. Does 3 divide c(1)?
True
Suppose 0 = -6*b + 2*b + 20, 2*b + 2917 = u. Is u a multiple of 81?
False
Let z = -419 - -3015. Is 11 a factor of z?
True
Suppose -36 = -4*w + 44. Let m = 18 - w. Does 6 divide (7/3)/(m + (-26)/(-12))?
False
Let s(z) = -z**3 + 11*z**2 - 8*z + 12. Let n be (2 - 2)*1 + (-8)/(-1). Is s(n) a multiple of 14?
True
Let h(a) = 208*a. Let y be h(-1). Let c = 302 + y. Let z = c - 59. Is 6 a factor of z?
False
Let t be (0 - -1)/(6/(-12))*-1. Suppose -5*n = -8*n - 5*i - 22, 5*n = t*i - 47. Is 28/3 + (-6)/n a multiple of 10?
True
Let z(w) = 3421*w**2 - 56*w - 88. Is 30 a factor of z(-2)?
False
Let c(a) be the second derivative of 9*a**5/20 - a**4/6 - 4*a**3/3 + 23*a**2 + 60*a. Is 8 a factor of c(4)?
False
Is ((-10)/20)/((-11)/202400) a multiple of 23?
True
Let v(b) = b**3 + 10*b**2 + 6*b + 58. Let u be v(-10). Is 688/8 - 0/(u/(-2)) a multiple of 32?
False
Let k(w) = w**2 + 18*w + 5. Let c(r) = 4*r + 94. Let p be c(-28). Let z be k(p). Suppose -f = 4*s - 386 + 21, z*f = 5*s - 425. Is s a multiple of 19?
False
Let m(i) = 22*i - 1072. Let l(s