. Let f = 73 + 46. Let k = x + f. Does 4 divide k?
True
Let m(c) = 17*c - 15. Let n(y) = 2*y**3 - 15*y**2 + 9*y - 6. Let j(r) = r + 16. Let l be j(-9). Let t be n(l). Does 21 divide m(t)?
False
Let u(r) = -r**3 - 9*r**2 + 12. Let c be u(-9). Is 6 a factor of (-7376)/(-30) + (-712)/60 + c?
True
Suppose 0*a - 3220 = -2*x - a, 2*x - 3220 = -2*a. Is (x/(-25) + 8)/((-2)/5) a multiple of 47?
True
Let d be 1*-3 + (-178)/(-2). Suppose d*u = 82*u. Suppose u*k = 3*k - 102. Is 14 a factor of k?
False
Let f = 3013 + -841. Suppose 572 - f = -5*c. Does 32 divide c?
True
Let c(a) = 3*a + 80. Suppose 8*w = -w - 234. Let r be c(w). Suppose -61 = -g - 2*q + 75, -2*g - r*q = -278. Does 18 divide g?
False
Let w(k) = k**2 + 2*k - 18. Let b be w(0). Let v be 65/3 - 2/b*-6. Suppose -18*q + v*q - 90 = 0. Does 10 divide q?
True
Let q be (-6 + 6)/(1*-1) + 3. Suppose 4*d - 1630 = -5*o, -2*o - q*d + 645 = -0*o. Is 27 a factor of o?
False
Let w = -14341 - -19261. Is w a multiple of 113?
False
Let y(u) = -u**3 - 8*u**2 - 4*u. Let d = 82 + -89. Let k be y(d). Is 14 a factor of k/((9/(-15))/(8/10))?
True
Is (6/8 - 9790/40)*(17 - 24) a multiple of 16?
False
Suppose 0 = 8*j + 69 + 3. Let m = j - -13. Suppose s + 185 = 5*y, s + 1 = -m. Is 18 a factor of y?
True
Suppose 7*i + 96 = 33681 + 18075. Is 30 a factor of i?
True
Let c = 79 - 77. Let z(x) = 17*x**c - x + 2*x + 17*x**2 - 2 + 0*x. Is z(2) a multiple of 34?
True
Is 2859/12*5/3*4452/35 a multiple of 18?
False
Let l(n) = 3921*n + 8. Is 10 a factor of l(2)?
True
Let t be 0/6 - (-247 + -2)/3. Let j = 223 - t. Does 43 divide j?
False
Suppose 0 = j - 3*l - 15, -2*l = 2*l + 20. Suppose 3*g = -5*h - 6, -h + j*g - 8 = 4*g. Suppose 2*z - 4*z + 2*t + 62 = 0, -t - 5 = h. Is 13 a factor of z?
True
Let n = -13074 + 14194. Is n a multiple of 14?
True
Let g(h) = -271*h - 35. Let a be g(-3). Suppose -p - 160 = -a. Is 8 a factor of p?
False
Suppose 5*s + 2*r = 21, -2*r = -s - s. Suppose 5*a + 83 = j, s*j + 0*j - 309 = 3*a. Does 20 divide j?
False
Let f(l) = 34*l**3 + 17*l - 4*l**2 + 21*l**3 + 16*l + 184 - 56*l**3. Does 10 divide f(-12)?
True
Let j(y) = 7*y**2 - 5*y - 12. Let k(q) = -14*q - 76. Let b be k(-5). Does 15 divide j(b)?
True
Is 7 a factor of 11354 - (396/165)/(4/10)?
False
Is 13 a factor of ((-3848)/10)/((-2096)/80 - -26)?
True
Suppose -8*c = -10*c. Suppose s + c - 7 = 0. Suppose -11 = -s*k + 6*k. Is 11 a factor of k?
True
Suppose -1460 = -d + b, b = -7*d + 5*d + 2926. Is 13 a factor of d?
False
Let q(m) = -4*m**2 - m + 4. Let n be q(3). Suppose 1065*u - 1068*u = -285. Let t = u + n. Is t a multiple of 5?
True
Suppose 28*a = 30*a - 14. Let z be (6 - 4/1)*-1. Is 18 a factor of z + (-342)/(-4)*(a + -5)?
False
Let y = -27 - -36. Does 5 divide ((-17)/(-4))/(-8*y/(-4608))?
False
Let c(l) be the first derivative of -l**7/105 - l**6/360 + l**5/40 - 6*l**3 - 6. Let m(u) be the third derivative of c(u). Is 18 a factor of m(-2)?
True
Let g(v) = 7397*v**2 + 9*v - 11. Let z be g(1). Suppose -5*s - 180 = 4*i - 7567, -4*i + z = -3*s. Does 17 divide i?
False
Let h = -304 - -580. Let t = h - -214. Is t a multiple of 24?
False
Suppose 0 = -2*i + 4*j + 18636 - 1726, -5*j = 3*i - 25409. Does 79 divide i?
False
Suppose 17*o - 13*o - 4 = 0, 4*y - 3*o + 231179 = 0. Is 2/(-14) + y/(-259) a multiple of 9?
False
Let o(c) = 626*c - 1098. Does 10 divide o(4)?
False
Suppose -2223 = 8*t + 585. Let n = t - -399. Is 4 a factor of n?
True
Let t(l) = 11*l - 75. Let a be t(7). Suppose -4*d - a*d = -1806. Does 44 divide d?
False
Suppose 0 = 3*k + 6, -f + 37*k + 49925 = 33*k. Is f a multiple of 36?
False
Let n = 1064 + -8500. Is 11 a factor of ((-3)/(-4))/(((-39)/n)/3)?
True
Let y(w) = -3376*w - 1342. Does 8 divide y(-1)?
False
Suppose 19*f + 10*f - 13*f - 135888 = 0. Does 28 divide f?
False
Let r = 418 - 171. Let b = r + -47. Suppose -4*x - 5*m + b = 0, 4*m - 163 - 37 = -4*x. Is x a multiple of 25?
True
Suppose -17*m + 2618 = -10*m. Let t = m - 193. Is t a multiple of 7?
False
Let z = -35 + 58. Suppose -2*l - 10 = -f - 0*l, z = 2*f - 5*l. Is 9 a factor of (-1432)/(-32) + 1/f?
True
Suppose -4*f - 1180 = -k, -2*f + 6*k - 590 = 2*k. Let v = f - -308. Is 3 a factor of v?
False
Suppose -46 = 5*m - 496. Does 8 divide m/(-315) + (-2)/(28/(-186))?
False
Let i = 94 - 90. Is -1 - i/((-12)/5043) a multiple of 14?
True
Is 40 a factor of ((-504)/(-40))/(3/3035)?
False
Suppose 0 = 20*m - 226757 + 39077. Is 51 a factor of m?
True
Let n(d) = 15*d - 11. Let u be n(35). Suppose 5*c - 1241 = -l, -2*c + 5*l = l - u. Does 10 divide c?
False
Suppose 0 = 7*i - 2*i. Suppose 3*g + i*g - 9 = 0. Suppose -288 = -3*t + 3*q, -g*t + 7*t = q + 375. Is 29 a factor of t?
False
Suppose 4*j - 7*j = -138. Does 32 divide 4255/j + (-3)/(-2) + -2?
False
Suppose -8*c - 72 = -40. Does 3 divide (-39*c/(-6))/(0 - 2)?
False
Let d be 1*-2*-6*(-74)/8. Let f = 64 + d. Let n = 79 + f. Does 5 divide n?
False
Let q(j) = -j**3 - 7*j**2 + 7*j - 6. Let o be q(-8). Let r(m) = -89 + m - 5*m + 86 + m**o. Is r(-2) even?
False
Let z(a) = -a**3 + 25*a**2 - 2*a + 11. Let r be z(25). Does 18 divide ((-18)/(-10))/(r/10 + 4)?
True
Let c(o) = -9*o**3 + 17*o**2 - 7*o + 19. Let g(v) = -5*v**3 + 8*v**2 - 4*v + 10. Let m(l) = 6*c(l) - 11*g(l). Let n be m(-16). Does 15 divide (20/6)/(-3*8/n)?
True
Is 51 a factor of (544/48 - 28)*(1 - 1330)?
False
Suppose -5*k - 4*n = 737 - 3151, 16 = -4*n. Is 162 a factor of k?
True
Let d(t) = -303*t**3 + 3*t**2 - 6*t + 1. Let h(l) = 101*l**3 - l**2 + 2*l. Let f be 9/(-6) + (-9)/6 + 1. Let w(v) = f*d(v) - 7*h(v). Is w(-1) a multiple of 13?
False
Let w(z) = -25*z + 22. Let p be w(-4). Let n = p + -113. Is 2 a factor of n?
False
Let n(o) = -91*o - 44. Let w be n(-3). Let m = -187 + w. Is m a multiple of 21?
True
Let n = 325 + -323. Suppose 3*l = 5*v + 3559, -n*v + 4*v = 3*l - 3553. Does 13 divide l?
True
Suppose -147*q = -148*q + 283. Suppose 4*f + 71 = q. Is f a multiple of 5?
False
Suppose 10*o + 7*o + 4*o = 254163. Is o a multiple of 49?
True
Let i = -134 + 104. Let a = i + 28. Is 35 a factor of (-7036)/(-28) + a/7?
False
Let l be 13/(52/16) - 1. Suppose 0*y - 260 = -3*y - 2*z, 0 = -l*z - 15. Is 12 a factor of y?
False
Let t(y) = -y**3 - 9*y**2 - 7*y + 8. Let z be t(-7). Let q = z - -212. Is 14 a factor of q?
False
Let s = 934 + -935. Let i(g) = 0 - 3 - 142*g + 0. Is i(s) a multiple of 19?
False
Suppose -23 = 7*t + 19. Is 22 a factor of t + (-4 - -4) + 136?
False
Let v(x) = -8*x + 3 - 23*x**2 - 19*x**2 - 2*x**3 + 39*x**2. Is v(-3) a multiple of 6?
True
Suppose -380 = -6*r + 4. Suppose -v = -0*v - 56. Let p = r + v. Does 24 divide p?
True
Let r(x) = 417*x + 251. Let u(j) = -208*j - 125. Let q(o) = -3*r(o) - 5*u(o). Is q(-5) a multiple of 51?
False
Suppose 2*g - 29 = 19. Let a = g + -10. Suppose -2*t + 112 - a = 0. Is 20 a factor of t?
False
Let w = 130 - -328. Suppose 0 = -24*m + w + 4534. Is 16 a factor of m?
True
Suppose 0 = 29*s - 6234 - 3191. Let z = s + -123. Does 3 divide z?
False
Let d = 10868 - 9516. Is d a multiple of 19?
False
Suppose -9*s = -s - 24. Suppose -w + 812 = s*w. Suppose w = 5*a + 2*a. Does 7 divide a?
False
Let s(f) = 4*f**2 + 5*f + 6. Let q be s(5). Suppose 0 = -o - 2*k - 56, 5*o - 2*k = -117 - 175. Let l = o + q. Is 18 a factor of l?
False
Suppose -f = -2*f. Let l(a) = 9*a + 83. Let w(m) = 16*m + 168. Let o(y) = -7*l(y) + 4*w(y). Is 13 a factor of o(f)?
True
Let q = 67 + 8. Let c = 383 - q. Is 28 a factor of c?
True
Suppose 25 = -5*r, -59 = -5*a - 3*r - 289. Let i = 43 + a. Suppose i = -d + 23 + 6. Does 14 divide d?
False
Suppose 0 = a + a - 38. Suppose -6 = -22*r + a*r. Suppose 5*f - r*p + 0*p - 431 = 0, 346 = 4*f - 2*p. Is 14 a factor of f?
False
Suppose -3*o - 4*b = -24552, 0 = -2*o + 4*b + 5320 + 11008. Is 112 a factor of o?
True
Suppose -r = -4 - 34. Suppose v + r = 3*u - 2, u - 2*v - 15 = 0. Suppose 4*j - 161 + u = 0. Does 37 divide j?
True
Suppose -5*f + 1460 = 5*p - 475, -p + 5*f + 375 = 0. Suppose 19*m - p = 8*m. Is m a multiple of 10?
False
Suppose -5*p = g - 1, -8*p = 5*g - 3*p - 25. Is 27 a factor of -6 - (g - -25)*105/(-5)?
False
Let k(z) = z**3 - z**2 + z + 78. Let u be k(0). Let c be (-2)/4*u/(-13). Suppose 4*f - 175 = -5*r - f, -2*r = -c*f - 60. Does 3 divide r?
True
Let w be ((-16)/(-14))/4 + (-776)/(-28). Suppose v + 6*v + w = 0. Is 44 a factor of (-2)/v*