be 117 - (0 - (n + 3)). Let r = h + -78. Does 13 divide r?
False
Let a(o) = 2*o**3 + 3*o**2 + 5*o + 1. Let j be a(-2). Let l(m) = m**2 + 7*m + 42. Let r be l(j). Suppose 0 = -7*q + 582 - r. Is q a multiple of 33?
True
Let n(m) = 9*m**3 - 2*m**2 - 18*m - 9. Let q be n(5). Suppose 2*a - q = -3*o, o - 3*a + a - 320 = 0. Is 22 a factor of o?
False
Suppose a = -2*k + 4152, -55*a + 53*a - 5*k = -8303. Is a a multiple of 25?
False
Let v(p) = -25*p - 13. Let f be v(-9). Let q = 414 - f. Does 16 divide q?
False
Suppose -20485 = -9*m - 4366. Is m a multiple of 7?
False
Let t(f) = 3*f - 11. Let j(r) = -r**2 + 13*r + 35. Let n be j(15). Let i be t(n). Suppose -g + 507 = i*y, -3*y + 5*y - 258 = -2*g. Is 14 a factor of y?
True
Suppose 200 = 8*q + 320. Is 34 a factor of 2*15*(-102)/q?
True
Suppose 5*i + 46 = 3*s - 342, -2*s + 2*i + 252 = 0. Suppose -4*m - 2*j + 208 = 3*j, -3*m = -5*j - s. Let k = -36 + m. Is 5 a factor of k?
False
Let h = -15919 + 46120. Does 39 divide h?
False
Suppose -3*q - 5*g + 8 = 0, -5*q + 2*g - 4 + 69 = 0. Suppose q*s = 15*s. Suppose -500 = -2*a - s*a. Is 25 a factor of a?
True
Let p(x) be the second derivative of x**5/20 - 5*x**4/6 + 3*x**3/2 + 3*x**2/2 + 3*x. Let d be p(9). Let u(r) = -2*r + 13. Is u(d) a multiple of 7?
True
Let v = -7831 + 16357. Does 58 divide v?
True
Is (-43)/((-645)/5310)*31 a multiple of 31?
True
Let z(a) = a**2 - 11*a + 2. Let x = 95 + -84. Let y be z(x). Suppose 0*r - r + 38 = -3*c, y*r - 79 = 3*c. Is 5 a factor of r?
False
Let o = -5392 - -8553. Is 61 a factor of o?
False
Suppose -9*u = -10*u + 3*m + 16274, -5*m + 15 = 0. Does 19 divide u?
True
Suppose 2*m - p + 21 = 592, m - 317 = 5*p. Does 2 divide m?
True
Suppose 13*h = 55925 + 56941. Is 108 a factor of h?
False
Suppose -10220 = 58*z - 92928. Is 46 a factor of z?
True
Let c = 1491 - 1005. Is 4 a factor of c?
False
Suppose -3425*n - 22048 = -3429*n. Is 52 a factor of n?
True
Let j(s) = -3*s**2 - s - 2. Let v(h) = 4*h**2 + 2*h + 3. Let c(b) = -5*j(b) - 4*v(b). Let a be c(-4). Is 24 a factor of (-2*6/9)/(a/117)?
False
Let y(s) = s**2 - 84*s - 893. Is y(-11) a multiple of 38?
True
Let k be -2*(6/4 - 1). Let f be (8/(-12) - k)*3/1. Is 16 a factor of -3 + 1 - (-33 - f)?
True
Let i(m) = 54*m**3 - 11*m**2 + 34*m - 55. Is 10 a factor of i(4)?
False
Let c be -2*(1 + (-2106)/12). Suppose -3*z + 226 = v, -3*v + z + 319 = -c. Is v a multiple of 19?
False
Let u(c) = c**3 - 8*c**2 + c - 7. Let z be u(9). Let x = -63 + z. Does 26 divide (x + -2)/(3*4/104)?
True
Let f = 252 + -253. Does 3 divide 47 + -49 - f*119?
True
Suppose 2*p - 9476 = 5*v + 892, 25920 = 5*p - 2*v. Is p a multiple of 18?
True
Let u(q) = 971*q**2 - 613*q - 4310. Is 8 a factor of u(-7)?
True
Let d(l) = -2*l**3 - 3*l**2 + 54*l + 13. Is 24 a factor of d(-21)?
False
Suppose 2*z = -3*o + 7, 2*z - 10 = -5*o - 3*z. Suppose x + 232 = o*g - 213, 4*g + 3*x = 576. Does 9 divide g?
False
Let h be (3/(-6))/(7/(-21))*2. Does 14 divide -14*((-54 - 12) + h/(-3))?
True
Suppose -3*y + 256 = 5*y. Let g = y + 13. Let r = 85 - g. Does 20 divide r?
True
Suppose -75 = -3*t + 3*x, 5*t + 2*x - 32 = 72. Does 25 divide (t - 8)/7 - -1621?
False
Let k(t) = -981*t**3 + 2*t + 1. Let w = -1016 - -1015. Is 17 a factor of k(w)?
False
Suppose 0 = -2*n + 2*x + 2606, 2*n - 1764 - 857 = -x. Does 3 divide n?
True
Let u = -223 + 245. Suppose d - 10 = u. Does 2 divide d?
True
Let s(g) be the first derivative of 2*g**2 - 4*g - 6. Let o be s(1). Suppose o = 8*y - 287 - 945. Is 41 a factor of y?
False
Let f = 10 - 4. Suppose g = 3*n - 6, -6*n = -3*n + g - f. Does 11 divide ((-12)/18)/(n*1/(-141))?
False
Let w = 204 - -5802. Is 154 a factor of w?
True
Let d(x) = 55*x**2 - 3*x - 9. Let o be d(-3). Let t = 296 - o. Let h = 325 + t. Does 11 divide h?
False
Let n(a) = 307*a**3 - a**2 + 3*a - 7. Let i be n(2). Suppose -5*p = q - i, 5*q = 5*p - 3*p - 1002. Is 42 a factor of p?
False
Let i be 217/(-4 - 2 - -7). Suppose 26*n = 25*n + i. Is n a multiple of 32?
False
Let a = 258 + -247. Suppose -419 = -a*z + 1341. Does 4 divide z?
True
Let y(n) = n**2 + 1. Let j(i) = -i. Let f(l) = -l**2 + 5*l - 26. Let u(z) = -f(z) + 6*j(z). Let t(p) = -u(p) + 4*y(p). Is 31 a factor of t(5)?
False
Let k = 99 - 100. Let r be (-16)/(-56) + 836/14 + k. Let f = -12 + r. Is f a multiple of 23?
False
Let x = -23407 - -37524. Is 102 a factor of x?
False
Let f = 5349 - 4887. Does 11 divide f?
True
Does 13 divide (423 - 0)*(-148 - -161)?
True
Let u(j) = j**2 - 16*j + 34. Let y(c) = c + 2. Let r(o) = u(o) + 4*y(o). Does 72 divide r(-19)?
False
Let r = 100 - 91. Suppose r*s - 3*s = 0. Suppose s*z - 5 = -z, -f + 5*z = -226. Is f a multiple of 13?
False
Suppose 5*p - l = 18119, -4*l = 5*p + 8281 - 26430. Is 13 a factor of p?
False
Suppose 3*z = 5*c + 29, 3*z - 5*c = 6*z - 19. Suppose z = 4*g, -2*g = -t + 2*t - 59. Is 8 a factor of t?
False
Suppose -5*c + 2*c + 4*a - 221 = 0, 0 = -c - a - 62. Let n = -74 - c. Let l(u) = -3*u + 1. Does 13 divide l(n)?
False
Let k be ((-10)/4)/((-3)/6). Suppose 3*g = 3*f - 0*f - 2430, -2465 = -3*f - 4*g. Suppose -k*d = -5*q + f, -2*q + 5*d + 171 = -q. Is 7 a factor of q?
True
Let v(x) = 27*x**2 - 418. Is 17 a factor of v(16)?
True
Let m = 105 + -57. Suppose 309 = 3*g + m. Suppose -4*f + 5*i + g + 65 = 0, 4*i = -3*f + 83. Is f a multiple of 12?
False
Suppose -6*p + 59 = -37. Suppose -i + 0*u + p = -4*u, 5*i + 3*u - 172 = 0. Suppose -4*f = o - 84, 2*f + 2*o + i = 4*f. Is f a multiple of 10?
True
Let u = 2189 + 16165. Is u a multiple of 161?
True
Suppose -10 = -b - b - l, 3*b - 5*l - 2 = 0. Let i be 4 - 2 - b - -65. Suppose -2*m - m = -i. Is m a multiple of 7?
True
Suppose 0 = -5*u + 5*k + 1080, 3*u + 32*k - 33*k = 650. Is u a multiple of 4?
False
Let b = -4655 + 31641. Is 131 a factor of b?
True
Suppose -7*w = -10*w + 4890. Does 15 divide w?
False
Let f(m) = m**3 + 3*m**2 + m - 3. Let n be f(-2). Let s(z) = -11*z**2 + 1. Let q be s(n). Is (34/q - -3) + 47/5 a multiple of 9?
True
Suppose 3*s = -5*d + 190, -5*s + 296 = -5*d + 3*d. Suppose -s*w = -64*w + 368. Is 23 a factor of w?
True
Suppose -50 = 17*j + 1. Let h be (2/3)/((-2)/j) + 33. Suppose 656 = -30*i + h*i. Is i a multiple of 22?
False
Let t(n) = -2*n**3 - 22*n**2 + 37*n + 26. Does 42 divide t(-14)?
False
Let o = 106 + -792. Does 11 divide (1/(-1))/(o/(-231) - 3)?
True
Let k(l) = l**3 - 10*l**2 + 5*l - 6. Let d(w) = -3*w - 24. Let g be d(-8). Suppose -t - 31 + 41 = g. Is k(t) a multiple of 8?
False
Suppose 0 = q + 3*x - 525, x = 492*q - 490*q - 1043. Is 6 a factor of q?
True
Let v be 11/(55/(-20)) - 1*-333. Does 6 divide 294/(-2)*(-282)/v?
True
Suppose 4*s = 28 + 32. Suppose -17*p + 2464 = -s*p. Does 14 divide p?
True
Suppose -694*z - a = -699*z + 13784, a + 4 = 0. Is z a multiple of 11?
False
Let w = -10 - 12. Let a(v) = 3*v + 128. Let o(c) = -c - 43. Let t(z) = 6*a(z) + 17*o(z). Is t(w) a multiple of 15?
True
Suppose q = 5*u - 59496, 2*q - 9320 - 2577 = -u. Does 7 divide u?
False
Let w(v) = 120*v - 12. Let n be w(2). Suppose -3*x + 2*l - 702 = 0, -n = x - 5*l - 7. Let g = 347 + x. Is 37 a factor of g?
True
Suppose -p + 60 = -64. Let y = -72 + p. Suppose -11 - y = -a. Does 7 divide a?
True
Let k = 1040 - -727. Does 31 divide k?
True
Let r(o) = -o**3 + 19*o**2 - 43*o + 13. Let x be r(14). Is 10 a factor of 1 + 7/(-1) + x?
False
Suppose -23821 - 15175 = -4*h + d, 0 = 3*h + 3*d - 29277. Is 141 a factor of h?
False
Suppose -2*n + 4 = 3*b, -4*n = -b + 6 - 0. Suppose 43 + 23 = 5*y + 4*q, b = y - 2*q. Let l(s) = 8*s - 32. Is 24 a factor of l(y)?
True
Let q(a) = -a**3 + 11*a**2 + 13. Let z be (-2 - 27/(-12)) + 22/8. Suppose 44 = 4*h + 2*t, 0 = -5*h - z*t - 7 + 62. Is q(h) a multiple of 13?
True
Let l be ((-50)/(-30))/((-10)/(-12)). Let q be (4 - 25/l)*-12. Suppose 0 = -2*z + 2 - 12, -2*z = 4*f - q. Is 7 a factor of f?
True
Let a = -2328 - -8088. Does 36 divide a?
True
Let d(a) be the third derivative of 29*a**5/60 + a**4/8 + a**3 + 2*a**2 + 38*a. Suppose 3*h = 5*j + 25, -2*j - 3*j + 10 = 4*h. Is d(j) a multiple of 29?
True
Let d = -3673 - -9424. Is d a multiple of 81?
True
Let j(c) = 32*c**3 - 14*c**2 - 6*c + 90. Is 18 a factor of j(6)?
True
Suppose -5*c + 79827 = -5*j + 4702, 0 = 2*j - 12. Is c a multiple of 181?
False
Let x = 37154 - -1066. Is x a multiple of 147?
True
Is 9*173*(58/145 + (-18)/(-30)) a 