True
Is (-4 + -3)/((-2)/442) + 1099/(-157) a multiple of 22?
True
Let a = 387 + 160. Let s = 651 - a. Is s a multiple of 3?
False
Let a = -2 + 4. Let b be (a + -1)/((-11)/(-154)). Is 17 a factor of 1 - (4/(-14) - 1018/b)?
False
Is -1 + 4 + 11 + -8 - -4824 a multiple of 23?
True
Is 21 a factor of 3/6 - 302126/(-124)?
False
Let n(g) be the third derivative of -g**6/120 - 7*g**5/30 - g**4/3 - 5*g**3/6 - 10*g**2. Let k be n(-15). Suppose -k = 12*x - 16*x. Is 17 a factor of x?
True
Let z = 8457 - 1737. Does 10 divide z?
True
Suppose 0 = 183*g - 3154285 + 114472. Is g a multiple of 8?
False
Suppose 30 = -0*h + 6*h. Suppose c + 4 = h*g, -5*c - g = 6 + 14. Is c + -50*(0 + -2) a multiple of 16?
True
Let z = 393 + -656. Let h = -125 - z. Is 3 a factor of h?
True
Let a(h) = 35*h**2 + 84*h + 76. Is 95 a factor of a(-19)?
True
Let k be ((-55)/66*1)/((-2)/12). Suppose 0 = -5*x + k*l + 2460, -10*l = -5*l + 20. Is x a multiple of 61?
True
Suppose 13556 = 4*j - 3*r, 4*j - 18*r = -7*r + 13524. Is j a multiple of 15?
False
Suppose -2*w - 38952 = -g, 35394 + 42504 = 2*g - w. Is g a multiple of 26?
True
Let s = 16438 - 13224. Does 23 divide s?
False
Let x(p) be the third derivative of p**4/8 + 111*p**3/2 - 185*p**2. Does 6 divide x(-51)?
True
Suppose 3*x = h - 479, -x + 4*x - 9 = 0. Suppose 0 = -9*z + 5*z + h. Is 2 a factor of z?
True
Let o = -15536 + 26091. Does 32 divide o?
False
Suppose -3*d + 3696 = 13*d. Let p = d + -135. Is 6 a factor of p?
True
Let i(o) = -43*o**3 + 45 + 44*o**3 - o + 4*o - 4*o**2 - 3*o. Is 9 a factor of i(0)?
True
Let l(m) = -m**2 + 5*m**2 - 4 - 7 + 2*m. Suppose 57*x + 164 = -235. Is l(x) a multiple of 19?
True
Let h be (2 + -3)*(1 + -703). Let j(s) = -h*s + 4 - 33 + 706*s. Does 15 divide j(11)?
True
Suppose -i = 5*s - 1366, s + 3*i = 4*s - 816. Suppose -6703 = -10*x - s. Is 32 a factor of x?
False
Let g = 6 + 17. Let w(r) = r + 11. Let n be w(g). Let h = 51 - n. Is h a multiple of 6?
False
Suppose 9*l = -179 - 10. Let q be (70/l)/((-4)/6). Suppose 3*i - 2*i - 203 = -5*u, 0 = -u + q*i + 51. Is u a multiple of 11?
False
Let g(b) = -12*b**3 - 8*b**3 - 31*b**2 + 34*b**3 + 8 - b - 11*b**3. Is 28 a factor of g(11)?
False
Let h(x) = x - 14. Let z be h(14). Suppose z = -4*a + 9*a - 3020. Suppose a = y + 2*y + o, 5*o = y - 180. Is y a multiple of 40?
True
Suppose -13*q = -7*q - 12. Suppose 2*x - x = q*g - 130, 5*x - 325 = -5*g. Suppose -63 - g = -2*r + 2*i, 3*r - i = 198. Is 21 a factor of r?
False
Suppose 3*k - 9 = 0, -12*z = -7*z - 5*k - 32745. Is z a multiple of 42?
True
Is 9 a factor of (-6)/75 - (-73308)/100?
False
Let g(f) be the first derivative of f**4/4 + 11*f**3/3 - 15*f**2/2 + 21*f + 103. Is 4 a factor of g(-11)?
False
Let x = 53 + -50. Let u be (x/3)/(-2 - 9/(-5)). Is u*((-196)/20 - -3) a multiple of 17?
True
Let o = 10102 - 2762. Is 20 a factor of o?
True
Let s(u) = -u**3 + 7*u**2 - 7*u + 4. Let p be s(5). Suppose 3*r + 4 = p. Suppose -r*j + 3*f = -f - 337, -5*f = 4*j - 245. Does 15 divide j?
False
Is 19 a factor of (8 + (-980)/(-30))/(-6*(-1)/711)?
False
Let z be ((15/20)/1)/(9/48). Suppose 33 = n + u, z*n - 5 = u + 107. Is 7 a factor of n?
False
Suppose 0*m = 6*m - 48. Let r(l) be the third derivative of l**5/60 - 5*l**4/24 + 4*l**3/3 - 10*l**2. Does 7 divide r(m)?
False
Let q(h) = h**2 + 3*h + 9. Suppose 11*m + 28 + 27 = 0. Let y(d) = -d**3 - 6*d**2 - 5*d + 9. Let n be y(m). Is q(n) a multiple of 39?
True
Let u(w) be the second derivative of 59*w**4/12 - w**3/3 - 2*w**2 - 41*w. Is u(-3) a multiple of 60?
False
Let l(h) = -30*h + 10. Let u be l(-10). Suppose -2*p + 7*p + u = 0. Let j = 131 + p. Is j a multiple of 33?
False
Suppose r + 17 = 4*r + f, -3*r = -4*f + 8. Suppose -y + 2*n = n - 51, 0 = -4*y - r*n + 244. Is y a multiple of 14?
True
Is 153 a factor of 135/(-675) - 29526/(-5)?
False
Let r be (-9)/6 + 1 - (-286)/52. Suppose 101 = 2*b - 8*g + 3*g, -187 = -4*b - r*g. Is b a multiple of 6?
True
Let s(l) = -20*l - 45. Let i be s(-10). Suppose 41 = 2*r + 5*t, -2*t = -2*r + 7*r - i. Is r a multiple of 11?
True
Let f(p) = -p**3 - p**2 - 2*p - 3. Let d be f(0). Let x(c) = 3*c + 9. Let y be x(d). Suppose -n - 96 + 318 = y. Is 12 a factor of n?
False
Suppose -3*h = 5*y - 108, -y - h + 3*h + 19 = 0. Suppose 4*s - 140 = -4*c, 0 = 16*s - y*s + 5*c + 145. Is 9 a factor of s?
False
Suppose -112606 = -3*f - 29*y + 30*y, 5*f - 3*y - 187674 = 0. Does 48 divide f?
True
Let q(c) = -c**2 + 6*c - 2. Let m be q(5). Suppose -2*b - m*z = -343, -5*z + 685 = b + 3*b. Does 10 divide b?
True
Let p = -7946 + 14789. Is 7 a factor of p?
False
Let r(m) = -40*m**3 + 4*m**2 - m - 6. Let t(k) = -79*k**3 + 8*k**2 - 3*k - 13. Let q(o) = 9*r(o) - 4*t(o). Is q(-2) a multiple of 21?
False
Let b = -282 - -273. Does 14 divide (26 - 5)*(-1 + (-339)/b)?
True
Suppose 4*y - 1291 = -5*w, -4*w + 331 = 5*y - 709. Is w even?
False
Let l be 6/10 - (-285)/25. Let y be 660/88*(-4)/18*54. Is (l/20)/((-2)/y) a multiple of 27?
True
Is 11 a factor of 191892/15 + (-138)/2139 + 41/155?
True
Suppose f - 2*b - 5 = 0, 4*f - 6*f - 5*b = -1. Suppose -w = f*w - 2692. Is w a multiple of 50?
False
Let t = 22573 - 6213. Is t a multiple of 20?
True
Suppose -180 = -117*z + 114*z. Suppose z*p - 15 = 57*p. Is 20 a factor of (-32 - -2)*(p + 38/(-4))?
False
Let k = -92 + 97. Let z(o) = 13*o + 25. Does 8 divide z(k)?
False
Let w(i) = 5*i + 2. Let q be w(0). Suppose 5*x - 3 = -4*u + 8*u, -u + 9 = q*x. Is 2*u/(18/87) a multiple of 5?
False
Let m(z) = 5*z**3 - 6*z**2 - 3*z + 12. Suppose 16 = 2*o + 10*w - 15*w, 0 = -5*o + 5*w + 25. Does 19 divide m(o)?
False
Suppose -2*b = 8*b + b - 759. Does 7 divide b?
False
Does 79 divide (-546)/26 + 15 - (-1903 + 1)?
True
Let h be 1 - (5 - 2) - -314. Let o(x) = 4*x**2 + 126*x + 189. Let w be o(-30). Suppose w*q = 3*q + h. Is 11 a factor of q?
False
Suppose 24*i - 8639 = 145. Let d = i - 267. Does 40 divide d?
False
Suppose 5*j - 590 = -5*v, -3*v + j = 5*j - 349. Suppose 0 = -3*r + 5*y - 35, -6*y = -2*r - 5*y - 21. Let t = r + v. Is t a multiple of 20?
False
Suppose -25*v - 5*v + 10110 = 0. Is v a multiple of 13?
False
Suppose 41*s - 46*s = 2*q - 1703, -5*q - 4*s + 4300 = 0. Is q a multiple of 16?
True
Let s(q) = -8*q + 15*q**2 + q**3 + 1004 - 1004. Does 34 divide s(-13)?
True
Let h(l) = 142*l + 362. Is h(7) a multiple of 18?
False
Suppose 0 = 8*m + 4*m - 2244. Let v(r) = 91*r - m*r + 12 + 111*r. Is 26 a factor of v(5)?
False
Let h(u) = -u**3 - 32*u**2 + 141*u - 216. Is 4 a factor of h(-37)?
True
Let t = -78 + 78. Suppose 36*c - 8*c - 11648 = t. Is 26 a factor of c?
True
Suppose 0 = 5*g + 5*l + 45, 7*g + 93 = -20*l + 23*l. Let m(q) = 11 - 9*q + 7 + 0*q. Is m(g) a multiple of 12?
False
Let a(l) be the second derivative of -l**6/180 + 3*l**5/20 + 7*l**4/12 - 2*l**3 + 5*l + 4. Let z(p) be the second derivative of a(p). Is z(9) a multiple of 6?
False
Let k = 195 - 45. Let r = k - 146. Suppose -g + 0*g - r*b + 211 = 0, 3*b = 2*g - 400. Does 18 divide g?
False
Suppose 0 = 2*a + 1 + 1. Let v(d) = 15*d**2 - 2*d - 1. Let s be v(a). Let u = s + 0. Is 4 a factor of u?
True
Let b(n) = -n + 13. Let g be b(8). Suppose -15 = g*r, -a = 3*r + 2*r + 12. Suppose a*o - 45 = 21. Does 22 divide o?
True
Suppose -19 = 3*g + 3*k + 2*k, 2*g - k = 9. Suppose -327 - 557 = -3*d + g*s, 3*s = -2*d + 598. Is 8 a factor of d?
True
Suppose 2*s + p = 1, 3*p - 15 + 42 = 4*s. Suppose 5*x = s*y - 2015 + 713, -4*y = 2*x - 1710. Is y a multiple of 47?
False
Let o = 13114 - 9396. Does 6 divide o?
False
Suppose 196*y - 199*y = 0. Is 18 a factor of (y - -170)*147/42?
False
Suppose 2*y - 10 = -2*w - 36, -55 = 3*y - 5*w. Does 4 divide (9/y)/(5/(-674 + -1))?
False
Suppose 0 = 2*j - 129 - 85. Suppose -10 = -5*c, j = b - 4*c - 561. Suppose -10*l + b = -1464. Is l a multiple of 34?
False
Let r(v) = -v**3 - 7*v**2 + 7*v + 6. Let n be r(-8). Is 28*-15*n/(-35) a multiple of 8?
True
Suppose -17*z + 202 + 121 = 0. Suppose -22344 = -z*r - 19*r. Is r a multiple of 28?
True
Let n(h) = 207*h - 2339. Is n(27) a multiple of 10?
True
Let y be 108/63 - 2/(-7). Suppose 2*m + 4*b - 317 = 183, 3*b - 496 = -y*m. Is 28 a factor of m?
False
Suppose 0 = -5*t - 0*t. Suppose 0*z - 3*z + 5*b - 907 = t, -4*z + 3*b - 1191 = 0. Let x = -201 - z. Does 31 divide x?
True
Let k be 20/(-12) - 23300/60. Let p = k + 406. Is 2 a factor of p?
Tru