 be c(14). Suppose 0*w - 2*w + 460 = -4*y, -2*y = 3*w - s. Suppose -2*u + 2*m + w = -m, -5*m + 492 = 4*u. Does 12 divide u?
False
Let h(n) = -n**3 + 9*n**2 + n - 8. Suppose 2*k - o + 1 = 12, 3*k + 3*o + 6 = 0. Let w be 8/k*33/22. Is h(w) a multiple of 19?
True
Let w(g) = g**2 - 2*g - 3. Let j(b) = b**2 - 2*b - 3. Let m(r) = 3*j(r) - 2*w(r). Let x be m(-1). Suppose x = -13*t + 9*t + 272. Is 24 a factor of t?
False
Let a(l) = 762*l**2 + 740*l - 4476. Is 12 a factor of a(6)?
True
Suppose x + x - k - 143 = 0, -3*k = 4*x - 271. Suppose 3*z + l = -2*l + 120, -2*z - 4*l = -x. Let u = -2 + z. Is 11 a factor of u?
False
Let l(t) = -t**3 + t**2 + 4*t. Let z be l(-3). Is 8/z + 1004/12 a multiple of 21?
True
Let j(b) = -177*b - 804. Does 20 divide j(-32)?
True
Let n be (2/(-3))/(5/(-45)). Let v(g) = -g**3 + 7*g**2 - 9*g + 25. Let m be v(4). Let b = m - n. Is b a multiple of 9?
False
Let n(u) = 8 - 7 - 5 + 2*u. Let a be n(21). Suppose 0 = a*h - 40*h + 84. Is 5 a factor of h?
False
Suppose -10*s + 7*s + 27 = g, 4*g = -4*s + 92. Let x(j) = 24*j + 12. Is 43 a factor of x(g)?
True
Let b = 217 - 213. Suppose b*q - 20 = 0, 2*z - 5*q = -162 + 737. Does 15 divide z?
True
Let g = 3661 + -1335. Suppose -14*p + 4366 = -g. Does 19 divide p?
False
Let m = 22780 + -14561. Is m a multiple of 33?
False
Let i = 344 + -339. Suppose -o = -4*a - 109, o = 3*a - i*a + 139. Is 10 a factor of o?
False
Suppose -232*i = -258*i + 765930 + 534824. Does 7 divide i?
True
Suppose -g - b = -32616, g - 11402 - 21235 = -4*b. Does 53 divide g?
False
Let f = -60 + 39. Let y = f + 30. Suppose -10*t = -y*t - 13. Does 7 divide t?
False
Let y(o) = o**3 + 9*o**2 + 96*o - 880. Is 44 a factor of y(14)?
True
Let b(k) = -3*k - 23. Let d be b(-9). Suppose -124 = -l - 4*t, d*l + 3*t = 8*t + 475. Does 5 divide l?
True
Let u(y) = -15*y**2 - y + 17. Let b(j) = 14*j**2 + j - 16. Let x(v) = 5*b(v) + 4*u(v). Let a be x(6). Let c = a + -234. Is 34 a factor of c?
False
Let u be 4*-16*117/(-18). Let f = u - 17. Does 9 divide f?
False
Let t(o) = 2*o**2 + 50*o + 51. Let s be 3/((-5)/(3 - -37)). Let l be t(s). Suppose -4*g + l*g + 112 = 0. Does 14 divide g?
True
Let a(m) = 12*m**3 - 2*m**2 - m + 63. Does 120 divide a(9)?
True
Suppose -5*d + 2*o = -40644, 4*d - 3017*o - 32517 = -3016*o. Is 30 a factor of d?
True
Let u = 258 - 252. Let i(m) = 47*m + 19. Is 48 a factor of i(u)?
False
Suppose 2*y = -8*y - 2*y. Does 36 divide (-5)/(-30) + y - 3885/(-18)?
True
Suppose -164808 - 645840 = -27*m. Does 72 divide m?
True
Let f(i) = -39*i**2 + 2*i - 4. Let v be f(2). Let n = 80 - v. Does 6 divide n?
False
Let i(h) = 238*h - 3. Let p(k) = -475*k + 7. Let g(d) = 13*i(d) + 6*p(d). Suppose -n = 3*q + 1, -16*q + 14*q + 6 = -n. Does 35 divide g(q)?
False
Let b(f) = -f**3 + 8*f**2 - 75*f - 18. Does 4 divide b(-12)?
False
Suppose -4*x + 4*i + 4 = 0, 0 = 9*i - 7*i - 10. Does 37 divide ((-12)/30*3)/(x/(-740))?
True
Let q be (-3)/(12/(-44) + 0). Suppose 5*x + 83 = k, -6*k - 444 = -q*k - 4*x. Suppose -g + 146 - k = 0. Is 29 a factor of g?
True
Let r = 16617 - 14445. Is r a multiple of 12?
True
Let l(s) = -5*s + 16 + s**3 - 2*s**2 + 5*s. Suppose -5*j - h + 5 = 0, 0*h = -5*h + 25. Does 16 divide l(j)?
True
Suppose 662*j + 31200 = 682*j. Is j a multiple of 65?
True
Let g(v) be the first derivative of 125*v**4/4 - 4*v**3/3 + 2*v**2 - v + 3. Let b be g(1). Let n = b + -40. Does 11 divide n?
False
Suppose d + 167*y - 165*y = 8972, -4*d + 4*y + 35912 = 0. Is d a multiple of 284?
False
Let b(g) = g**3 + 9*g**2 - 10*g + 13. Let c be b(-10). Suppose 0 = c*w - 4*w - 864. Is w a multiple of 6?
True
Suppose -9*n = 4*n - 3299 - 34141. Does 45 divide n?
True
Let f = -22 + 18. Let p = 0 - f. Suppose p + 60 = t - 5*n, 3*t = n + 122. Does 8 divide t?
False
Let s(z) = 2*z + 40. Let j be s(-18). Let c(t) = t - 1. Let w be c(j). Is (w - 15/6)*44 a multiple of 3?
False
Let b = 14916 - 10513. Is 23 a factor of b?
False
Let r be (-36)/(-12) + (-2 - 0/1). Is r + -1 + 161 - 6 a multiple of 8?
False
Is 11 a factor of 9/(945/24245) - 6/(-63)?
True
Let r be (18/3)/((-6)/(-8)). Let h be ((-82)/r)/((-3)/12). Let m = 89 + h. Is 13 a factor of m?
True
Let r(c) = -c - 6. Let v be r(-8). Suppose -v*a + 124 = 2. Let i = 141 - a. Is i a multiple of 16?
True
Suppose -7*a - 2 = -4*a + 4*b, -a + 3*b = -8. Is 20 a factor of (a/4)/(1/480)?
True
Let j(l) = -l**3 - 7*l**2 - l + 2. Let u be j(-6). Let h = u - -194. Does 8 divide h?
False
Let p(o) = -2625*o + 3346. Is 88 a factor of p(-6)?
True
Let w = 22 - 12. Suppose 3*o + 2*b - w = 0, b + 2 = 4*o - 2*o. Suppose -3*x - 12 = 0, 3*c - x = -o*x + 248. Is c a multiple of 14?
True
Is 9 a factor of -9 + (-372)/(-48) + (-23914)/(-8)?
True
Let g be 36/(-42) - (-87)/(-21). Is 1534/14 - g/((-105)/12) a multiple of 9?
False
Is 200 a factor of -1 - 1 - 417406/55*-5?
False
Let b be 1/(-2) - ((-380)/(-8))/(-19). Suppose 4 = -b*x, 301 = f - 0*x - 2*x. Does 27 divide f?
True
Suppose -1074100 = -1422*v + 1372*v. Is v a multiple of 23?
True
Let k(f) = -f**2 - 10*f - 10. Let v be k(-8). Let n = v + 38. Suppose 7*w + n = 184. Does 10 divide w?
True
Let k(z) = 5*z + 47. Let v be k(-7). Suppose -4*f - 5*p = -140, 5*p = v + 8. Does 8 divide f?
False
Let b = -225 - -159. Is 25 a factor of (-5769)/(-33) + (-12)/b?
True
Let m = 1034 - 726. Let c = 448 - m. Is c a multiple of 10?
True
Let x(f) = 15*f**2 - 6*f + 6124. Is x(0) a multiple of 19?
False
Let s(p) = 9*p + 31. Suppose -11 = 42*a - 41*a. Let d(m) = -25*m - 92. Let h(y) = a*s(y) - 4*d(y). Does 9 divide h(-8)?
False
Let q(w) = -5*w + 4838. Is 38 a factor of q(-104)?
True
Suppose 185*u - 938320 = -111*u. Does 18 divide u?
False
Suppose -7426 - 1774 = -5*i. Does 92 divide i?
True
Suppose -42532 = -2*q - 2*t + t, 5*t = -3*q + 63798. Is q a multiple of 31?
True
Let i be ((-219)/9)/((-1)/(-3)). Let w = i - -187. Let a = w - 69. Is a a multiple of 28?
False
Suppose 2*d = -f - 0*f - 127, 5*d + 5*f + 325 = 0. Let l = -94 - d. Is 8 a factor of l*3*2/(-4)?
True
Let g = -148 + 254. Suppose 3*x + n - 169 = 0, -x = -3*x - n + 112. Let s = g - x. Does 7 divide s?
True
Let m(d) = -21*d**2 - 12*d + 11. Let j be m(6). Let x = -732 - j. Does 40 divide x?
False
Suppose -42*m + 2*z = -44*m + 44480, -3*m + 14*z + 66720 = 0. Is 94 a factor of m?
False
Let t(r) = r**3 + 73*r**2 - 98*r - 118. Is 5 a factor of t(-74)?
False
Suppose -2*n + 31 = 57. Let a = 16 + n. Suppose -a*h = -h - 86. Is 18 a factor of h?
False
Let d = -2 - -4. Let p be 6/4*(5 - d - 19). Is 31 a factor of (-8)/p - (-556)/6?
True
Suppose 9*r - 90668 + 11306 = 0. Is r a multiple of 10?
False
Suppose 0 = 16*r - 2*u + 254443 - 962347, 4*r = 5*u + 176976. Is 18 a factor of r?
True
Is 8 a factor of ((-396)/180)/(1/(-1090)*2)?
False
Let a(m) = -15907*m - 987. Is 40 a factor of a(-1)?
True
Let r = -173 - -623. Suppose -6*k + r = 12*k. Is k a multiple of 5?
True
Suppose -15*d + 10*d = -20. Suppose 0*c + d = c. Suppose c*u - j - 74 = 3*u, -3*j - 299 = -4*u. Is 7 a factor of u?
True
Let q(y) = -y**2 + 29. Let l be q(7). Let j be l/(-6)*(105/10)/7. Let g(t) = t**3 + 3*t**2 + 10*t - 4. Does 16 divide g(j)?
False
Let f(m) = 3*m + m**2 - 6 + 6*m + m - 1. Let o(y) = -2*y**2 - 15*y + 10. Let i(n) = -8*f(n) - 5*o(n). Is i(3) a multiple of 9?
True
Let q be (-1432410)/(-40) + (-1)/4. Suppose -7*j - 590 = q. Does 10 divide (-4)/18 + (j/(-72) - -8)?
True
Let p be (312/12)/(2 + (-2 - 2)). Does 17 divide (-15376)/(-104) + (-2)/p?
False
Let z(g) = g**3 - 14*g**2 + 32*g - 10. Let l be z(10). Is (-1 - (-1 + l)) + 0 a multiple of 18?
True
Let o(b) = b**3 + 157*b - 1868. Is o(11) a multiple of 7?
True
Suppose -127 + 24 = 3*j - d, -4*j + 4*d - 132 = 0. Let h = 22 - j. Does 16 divide ((-2)/(-2) - 3) + h?
False
Let f(q) = -4*q**2 - 4*q + 3. Let j(g) = -13*g**2 - 12*g + 9. Let i(s) = 17*f(s) - 6*j(s). Let p be i(2). Let d = 287 - p. Is d a multiple of 13?
False
Does 9 divide (30408/(-27))/(146/(-1314))?
False
Suppose 282*x + 24360 = 287*x. Suppose -58*r + 65*r - x = 0. Does 27 divide r?
False
Suppose 0 = -3*x - 2*p + 60070, -18*p - 60010 = -3*x - 8*p. Is 4 a factor of x?
True
Let k be ((-16)/12 + 0)*(-159)/2. Suppose -k = s - 173. Does 45 divide s?
False
Let k(x) = -2*x + 130. Let j be k(12). Let h = j - -14. Is 10 a factor of h?
True
Let m = -2546 + 4394. Suppose -9*s + 1779 = -m. Is