= -g**3 - 2*g**2 + 7*g + 2. Let b be x(2). Suppose 3*r - 158 = 2*i + 10, -5*r - i + 293 = b. Is 16 a factor of r?
False
Let i(g) = g + 1. Let w be i(4). Let s be (68/(-12) - -4)*(-15)/5. Suppose j - 127 = w*m, -m - 603 = -s*j + j. Is 11 a factor of j?
False
Suppose 7*q + 3*p + 40746 = 11*q, 2*q - p - 20372 = 0. Does 56 divide (-10)/((-550)/q) - 4/22?
False
Let a be 54/12 + 5/20*-2. Suppose 0 = -a*b - n + 564, 5*b = -2*n + 838 - 133. Is 3 a factor of b?
True
Let d be 0*(-5)/25 - -12160. Suppose -d = -32*z - 2048. Does 21 divide z?
False
Let v = 5221 - -3524. Does 33 divide v?
True
Let w(l) = 6*l**2 + 23*l - 199. Is 92 a factor of w(31)?
False
Let o be 1*(3522/11 - (-16)/(-88)). Let l = -227 + o. Is l a multiple of 23?
False
Suppose -4*i - u + 48 = 0, -3*i + 2*u = -23 - 13. Is 11 a factor of (-1 - (-1506)/(-3))*(-12)/i?
False
Let f = -229 + 233. Let r(l) = 10*l**3 - 9*l**2 - 3*l + 12. Is r(f) a multiple of 31?
True
Let f(d) = 62*d - 374. Let b be f(16). Suppose 11*y - 12*y - 2*g + b = 0, y + 4*g - 618 = 0. Is y a multiple of 6?
True
Suppose 25*v + 42 = 28*v. Let t be (2 - (-2 - -3)) + 434/v. Is 17 a factor of 2724/t - (-2)/32*-2?
True
Is 20 a factor of (2590 + (-4)/2 - 3) + 6?
False
Suppose 21*g + 134 = 19*g + 4*q, 4*q = 4*g + 288. Let k = g - -86. Is k a multiple of 3?
True
Let f = 5316 + -2673. Is 9 a factor of f?
False
Let j be 1/8 - (-693)/(-168). Let m be -1*(3 + -8 - j). Is (m*(-1 - -35))/1 a multiple of 17?
True
Let a = -12027 + 21314. Is a a multiple of 138?
False
Suppose -2*q + 2*x = -14, -2*x + 13 - 2 = 3*q. Suppose 1082 = j - q*a, -3*j + 1977 = a - 1253. Is j a multiple of 29?
False
Let x(m) = m**3 + 7*m**2 + 6*m + 19. Let t be x(-7). Let j = -21 - t. Suppose j*l - l = 21. Is 5 a factor of l?
False
Suppose -4*t - 911*h + 52518 = -910*h, 4*h - 52512 = -4*t. Is t a multiple of 101?
True
Suppose -318 = -15*y + 6462. Is y a multiple of 66?
False
Let u(c) = -245*c + 2406. Does 18 divide u(-12)?
True
Let u(a) = 44*a**2 - 44*a + 112. Is 16 a factor of u(4)?
True
Let b be (-32)/8 - 1/((-1)/(-2)). Let d(z) = 18*z**2 - 36*z - 204. Does 44 divide d(b)?
True
Let r(m) = 2*m**2 - 12*m + 1. Let p be 2 + (-3)/(-7) + 506/77. Is 11 a factor of r(p)?
True
Let d(o) = -3*o**2 + 135*o. Does 14 divide d(10)?
True
Suppose 0 = -783*g + 777*g + 2502. Suppose 3*j + 4*f = g + 497, -3*j = -2*f - 902. Is 19 a factor of j?
False
Suppose -5*v + 20 = 120. Let z(w) = 2*w**2 + 42*w + 62. Is 11 a factor of z(v)?
True
Suppose 829*c - 31764791 + 9287413 = 110*c. Is c a multiple of 154?
True
Suppose -4*j = -2*m + 14, 0 = 3*j - 0*j + 9. Let p be (-9)/(-6)*m*(-102)/(-9). Suppose -21*x = -p*x - 144. Is x a multiple of 9?
True
Suppose -64*z - 22 = -66*z. Suppose 9*m = z*m - 172. Does 5 divide m?
False
Let i = 9944 - 6512. Does 52 divide i?
True
Suppose -3*x + 15552 = 2*a, -39*x = -35*x + 2*a - 20736. Is x a multiple of 44?
False
Suppose 0 = -35*t + 1398 + 5392. Let b = t + 243. Is 19 a factor of b?
True
Let b(w) = -52*w**2 + 4*w - 1. Let a be b(1). Let p = -64 - -27. Let n = p - a. Is n a multiple of 3?
True
Let u(z) = 19*z**2 - 10*z. Let n(c) = 7*c - 9*c**2 + 4*c - 11*c**2 + c. Let p(t) = 4*n(t) + 5*u(t). Is p(2) a multiple of 8?
True
Let z(k) = -k**2 + 7*k + 10. Let u be z(8). Suppose c - 5*x - 156 = -7*x, 5*x = u*c - 294. Does 8 divide c?
True
Suppose -2*z = -4*b - 2894, 390 + 1042 = -2*b + 4*z. Let t = b + 1065. Is 13 a factor of t?
False
Let v = 5116 + -5198. Let d be 643/(-2) - (-1)/(-2). Let b = v - d. Is 20 a factor of b?
True
Suppose 4*k - 5*a = -1, a = -k + 17 - 6. Suppose -2*h - 3*h = -k*h. Let z = 80 + h. Is 16 a factor of z?
True
Suppose 144 = 2*z + 3*f - 153, 4*z = 5*f + 539. Is 53 a factor of (8 - z)*3/(-3) + -5?
False
Let i be 1 - (22/(-88) - (-14)/(-8)). Is (139 - i)*(-9)/(-6) a multiple of 11?
False
Suppose -13*z - 11018 + 13696 = 0. Does 2 divide z?
True
Let o(w) = w**2 - 28*w + 155. Let t be o(8). Let n(s) = -242*s + 118. Is n(t) a multiple of 31?
False
Let i(s) = 3*s - 18*s**2 - 6 + 7*s - 12*s. Let c be i(-4). Let u = c + 440. Is 13 a factor of u?
False
Suppose -95*w + 3454217 = 114*w - 434855. Is w a multiple of 3?
False
Suppose 49 = s - 14. Suppose 4*i + 4*p + 114 = 2*i, i = -4*p - s. Let l = i - -75. Is l a multiple of 7?
False
Suppose 0 = -5*m, -4*q - m = 50 - 10. Let h(t) be the first derivative of t**2/2 + 64*t - 7. Does 6 divide h(q)?
True
Let v(q) = -q**2 - 4*q + 3. Let f(x) = -x**2 + 4*x + 3. Let a be f(4). Let z be v(a). Let u = 54 - z. Is u a multiple of 24?
True
Let h be 334/(-3) + 5*(-4)/(-60). Let l = h - -206. Suppose 0 = -3*m + 6, -37 = -j - 4*m + l. Does 31 divide j?
True
Let c = 8592 + -5836. Is 47 a factor of c?
False
Let y(m) = 3*m**2 + 25*m + 10. Let l be y(-8). Let h(u) = 8*u**3 + 2*u**2 + 2*u - 4. Does 8 divide h(l)?
True
Suppose 6*u = 4*u - 96. Let y be (2*-5)/((-42)/(-84)). Let w = y - u. Is 14 a factor of w?
True
Let l be -46 + (-1 - (2 - 4)). Let k(u) = -2*u**2 - 48*u + 53. Let z be k(-27). Let h = l - z. Is h a multiple of 16?
True
Let t = 27268 + -2868. Is t a multiple of 48?
False
Suppose 654*j + 19476 = 5*a + 656*j, 3*a - j - 11668 = 0. Is a a multiple of 3?
False
Let x = 3674 + -3669. Let p(r) = -22*r - 4. Let g be p(-6). Suppose 7*b - x*b = g. Is 13 a factor of b?
False
Suppose 26*x = 17928 - 1470. Let m = 794 - x. Is m a multiple of 11?
False
Suppose 2*r - 32906 = -2*i, 2*i + 5*r = 25118 + 7791. Does 29 divide i?
False
Let i be (10/25*-2)/(4/(-50)). Suppose 4*z + 30 = v - z, -3*v + i = z. Suppose v*p = 8*p - 405. Is p a multiple of 15?
True
Let u be (6/(-6) + -2)*(-14)/6. Suppose 7*r + u*r = 1092. Does 26 divide r?
True
Let d = 0 - 2. Let n = -340 - -337. Does 34 divide 206 - 1*n*d/3?
True
Let a(q) be the first derivative of -7*q - 1/3*q**3 + 17/2*q**2 - 12. Is a(14) a multiple of 5?
True
Suppose 4*y + 198 + 286 = 0. Let v = 219 + y. Is v a multiple of 16?
False
Let h(p) be the second derivative of -p**4/12 + 5*p**3/6 + 13*p**2/2 + 6*p - 2. Let o be h(-2). Is 3 a factor of (o/(-1))/(1/49)?
False
Suppose 0 = -5*a + 1 + 9. Let n(l) = 106*l + 11. Is n(a) a multiple of 64?
False
Suppose -h - p - 3 = 0, -p - p + 24 = -3*h. Suppose 4*b = 3*j + 52, -28 = 3*j - 13*b + 15*b. Is (h/j)/(3/72) a multiple of 2?
True
Let z(a) = -2*a**3 + 20*a**2 - 5*a - 15. Let j be z(5). Let y(g) = g**3 - 4*g**2 - 5*g + 2. Let n be y(5). Suppose -j = n*x - 9*x. Is x a multiple of 15?
True
Let c = 380 + -200. Suppose c*t + 378 = 186*t. Is t a multiple of 7?
True
Let p be 0 + (84/(-10))/((-15)/50). Let g = p + -31. Let a = 132 + g. Is 13 a factor of a?
False
Suppose -2*z - 47 = -7*z + 3*j, 5*z - j - 49 = 0. Suppose -2*u + z = -u. Is 14 a factor of (-2 - (-1098)/u) + (-80)/100?
False
Is 14/(-245) + (-1282128)/(-140) a multiple of 38?
True
Let o be 210/(-245)*1*-14. Suppose o*m - 6572 + 20 = 0. Does 78 divide m?
True
Let f(n) = 9*n**2 + 7*n - 71. Let v be f(-12). Suppose -4*g + m = -v, 38*m = 4*g + 34*m - 1132. Is 22 a factor of g?
True
Suppose -952236 = -85*b + 273124. Is 34 a factor of b?
True
Let c(l) = -117*l + 17. Let b be c(4). Let m = 649 + b. Suppose -18 = 4*g - m. Is g a multiple of 9?
True
Suppose -d - 4*d = 4*y - 14, 4*d = -3*y + 11. Suppose -4*z = -3*z - 5*w - 12, 3*z = -4*w - d. Suppose -z*u - 30 = -290. Does 13 divide u?
True
Suppose -2*d - 194178 = -5*l, -37*d + 116538 = 3*l - 33*d. Does 88 divide l?
False
Let u(q) = q**2 + 22*q - 71. Let i be u(-25). Suppose 0 = w + 4*w - i*c - 699, -4*c = 3*w - 413. Does 6 divide w?
False
Suppose 3*i - 5*z - 21292 = 0, 4*i = 34*z + 31900 - 3620. Is 111 a factor of i?
True
Let q(m) = 20 + 7*m + 16 - 34 + 16*m**2 - 2*m**2. Is 36 a factor of q(4)?
False
Let z(o) = 212*o**2 - 538*o + 28. Is 67 a factor of z(-10)?
False
Suppose 81*t - 87*t = 1386. Let y = t - -421. Does 20 divide y?
False
Suppose 0*f = -3*f + 6. Suppose -365 = -f*b - 5*n, -55 = 3*b - n - 577. Suppose b + 41 = 3*s. Does 34 divide s?
False
Suppose 22*g - 16*g - 12 = 0. Let t(v) = v**2 + 4*v - 5. Let a be t(g). Suppose -a*h + 10*h = 453. Is h a multiple of 14?
False
Let i(x) = 12*x + 61 + 19*x**2 + 7*x**2 + 48*x + 19*x**3 - 18*x**3. Is 9 a factor of i(-23)?
False
Let s(d) = -136*d**3 - 5*d**2 + 4*d - 18. Let l be s(-9). Does 51 divide (-1)/(-2) + (l/(-18))/(-17)?
False
Let t(j) = j**3 + 8*j**2 + 15*j + 4. Let s be t(-5). Suppose -4*w - 4*m + 