False
Let a = 9 + -8. Suppose 11 = -h - a. Does 5 divide (-4)/h - 445/(-15)?
True
Suppose 8*j - 4*j = -544. Let x = 206 + j. Does 19 divide x?
False
Let f be (-4 + 7)*(-6 - 2 - -3). Does 12 divide (-40)/(1*10/f)?
True
Suppose -i = -3*i + 62. Suppose -73 - i = -4*w. Let m = w + -18. Is m a multiple of 2?
True
Is 8 a factor of (-12)/(-8)*((-998)/(-6) - 1)?
True
Is 37 a factor of 5/(-35) + 36780/14?
True
Suppose -25*g + 6768 = -17*g. Is 21 a factor of g?
False
Suppose 0 = 3*j - 7*j + 4. Let g be 195/3*j*5. Suppose 0 = 3*v + 2*v + 5*i - g, -3*v + 181 = -4*i. Is 12 a factor of v?
False
Let u(r) = 3*r + 53*r**2 - 4 - 8*r**2 + 7 - 5. Is u(1) a multiple of 23?
True
Let g(s) = s**2 + 9*s + 7. Let a be g(-8). Let w be 15/(-6)*4/(-5). Is 27 a factor of 135 - (w - (a - 1))?
False
Suppose 3*s - 4*z + 15 = 4*s, -2*z = -4. Suppose s*u = 5*u + 46. Is u a multiple of 16?
False
Let w(z) = -2*z**3 + 3*z**2 - 3*z - 2. Does 8 divide w(-2)?
True
Let u(m) = 9*m**2 - 13*m - 12. Is 2 a factor of u(5)?
True
Let s be (-185)/(-20) - 6/(-8). Let n be ((-16)/s)/(5/(-250)). Suppose 2*q - n - 118 = 0. Is q a multiple of 26?
False
Let k(o) = 27*o + 644. Is 26 a factor of k(-15)?
False
Is 85 a factor of 199 + 6/3 - 3?
False
Let x = -77 - -77. Suppose -2*y = -2*b + 22, x*y - 44 = -4*b - 2*y. Does 11 divide b?
True
Let u(c) = 34*c**2 + 4*c. Is 16 a factor of u(1)?
False
Suppose -96 = 8*t - 5*t. Let f be -1*2*(-1904)/t. Let n = f - -203. Is 12 a factor of n?
True
Suppose -5112 = -5*d - 13*d. Does 4 divide d?
True
Let i(c) = c**2 + 27*c - 16. Is i(-28) a multiple of 12?
True
Let u = -135 - -129. Does 25 divide 72 - u*(-5)/(-10)?
True
Let t be (-1 - 3)/(-8)*16. Suppose 0*b - t*b + 1304 = 0. Does 33 divide b?
False
Suppose 0 = -4*r + 2*h + 37 + 47, -2*r + 46 = h. Suppose -r = -4*j + 2. Let t(y) = 6*y + 4. Is t(j) a multiple of 20?
True
Let s = -182 - -390. Does 15 divide s?
False
Let q = 141 - 138. Suppose -3*v + 3*l = -312, 3*v - 4*l = -q*l + 308. Is v a multiple of 24?
False
Let c(s) = s**2 + 7*s + 17. Let m be c(-7). Let u = 85 + m. Is 34 a factor of u?
True
Let u be (1 + 0 + -1)/(-3). Suppose 0*h + 3*h = u. Suppose h = k + 8 - 20. Is 6 a factor of k?
True
Is -1 - -1515 - (-22 - -17) - -1 a multiple of 16?
True
Let s be (-1 - -3)*155/10. Suppose 3*b = 5*f - s, -4*b = -b + 2*f + 38. Is (2 - 1)/((-4)/b) a multiple of 3?
True
Let o = 0 + 2. Let m(v) = 4*v**o - v**2 - v + 7*v. Does 15 divide m(-5)?
True
Let s(l) = 61*l**3 - l**2 - 7*l + 3. Is 13 a factor of s(2)?
False
Let n(u) = -u**3 - 24*u**2 + 12*u + 23. Is n(-25) a multiple of 4?
True
Let t(c) = c**3 + 6*c**2 + 2*c + 4. Let q be t(-4). Let i = q - 16. Is 7 a factor of i?
False
Does 40 divide ((-17292)/16)/(-3) + (-9)/36?
True
Let i = -9 + 79. Suppose 0 = 4*o - i - 58. Does 4 divide o?
True
Let t(j) = -j**2 - 44*j + 61. Is t(-42) a multiple of 5?
True
Suppose -2*z - 5*f + f = -1390, 3*z + f - 2105 = 0. Does 84 divide z?
False
Let c be 1 - ((-2)/(-1) + -1). Let i(h) be the third derivative of h**5/60 - h**4/24 + 15*h**3/2 - h**2 - 2*h. Does 11 divide i(c)?
False
Let j be -3 - 18/(-3) - -2. Let o be ((-8)/16)/(1/(-6)). Suppose 2*r = o*n + 2*n + 43, j*n - 13 = -2*r. Does 14 divide r?
True
Let m = 235 - 329. Let q = 209 + m. Does 17 divide q?
False
Let k(b) = 3*b**2 - 20*b - 47. Is k(-13) a multiple of 15?
True
Suppose 11*i - 14*i = -6. Suppose -12 + i = -5*y. Suppose p - 301 = -2*u - 2*u, 4*p + 164 = y*u. Is u a multiple of 20?
False
Let w(h) = -h + 16. Let z be w(13). Does 18 divide z/(-2)*4232/(-69)?
False
Let k(t) = 2*t**2 - 3. Let d = 85 + -61. Let s = -27 + d. Does 5 divide k(s)?
True
Let x = 1 + -30. Is -4 + ((-4)/(4 - 8) - x) a multiple of 3?
False
Let i = 2 - -4. Let g(n) = 18*n + 9. Does 39 divide g(i)?
True
Let i(g) = g**2 + 2*g + 2. Let d(t) = -t**3 + 11*t**2 + t - 16. Let y be (-11)/(1 + 0 + -2). Let s be d(y). Is 6 a factor of i(s)?
False
Let k(j) = -j + 1. Let n be k(-4). Suppose 3*i - n*s + 2 - 261 = 0, -s = 2*i - 177. Is 11 a factor of i?
True
Is 8 a factor of 2 + (-23)/(-92) + (-878)/(-8)?
True
Let i be (30/(-25))/(12/(-40) - 0). Does 2 divide i + 4*(-5)/10?
True
Let a be -3 + -2*(4 + -8). Suppose d = -2*d + t + 424, -a*t + 10 = 0. Is 30 a factor of d?
False
Suppose -2*q + 6*q = 12. Suppose -3*u - 6*x + 147 = -q*x, 5*x + 223 = 4*u. Does 13 divide u?
True
Let a = 13 - 9. Suppose 0 = -a*k - i + 144 + 24, -42 = -k - i. Is 624/21 + 12/k a multiple of 15?
True
Let z(d) = 2*d - 6. Let r be z(6). Let o(m) be the third derivative of m**4/4 - 4*m**3/3 + 10*m**2. Is o(r) a multiple of 9?
False
Let l = 14 - 11. Suppose -6 - 15 = -l*x. Is 2 a factor of (-5)/(4 - (x + -2))?
False
Suppose -4*d - 3*g = -7*g - 356, 4*d = 3*g + 359. Let l = 136 - d. Does 12 divide l?
False
Suppose 43*n = 41*n + 4*o + 1320, -1981 = -3*n + 5*o. Is n even?
True
Let m = -192 + 187. Let p(n) be the third derivative of n**6/120 + n**5/10 + n**4/24 - 4*n**3/3 + n**2. Is p(m) a multiple of 6?
True
Is (-392)/(-8) - (-2 + (2 - 4)) a multiple of 3?
False
Let x be ((-4)/10)/((-2)/390). Let k(q) = -q**2 - 10*q - 12. Let v be k(-8). Suppose 115 = 5*w + v*h, 3*w + 12 - x = -3*h. Is 9 a factor of w?
True
Suppose s - 11*h - 1188 = -7*h, -2*h + 2376 = 2*s. Is s a multiple of 16?
False
Let r(p) be the third derivative of -3*p**4/8 - p**3/3 + 3*p**2. Let q(h) = h - 1. Let o(b) = 3*q(b) - r(b). Is 11 a factor of o(1)?
True
Let y(l) = -9*l**3 + 9*l**2 + 45*l + 15. Is 33 a factor of y(-6)?
True
Suppose -3*z = 3*l + 1 + 35, 4*z + 5*l = -52. Let v = 12 + z. Suppose 28 = v*p - 0*p. Does 3 divide p?
False
Let r be (114/8)/((-3)/(-8)). Does 2 divide 1/(0 + 2/r)?
False
Let c be (-296)/(-6) - 12/(-18). Let p = c + -28. Does 6 divide p?
False
Let v = 861 + 3310. Does 97 divide v?
True
Let m(z) = z**3 - 9*z**2 + 13*z - 8. Suppose -3*v + 8*v + 5 = -5*l, -5*l = 5. Suppose 2*i + v*i = 4*n + 28, 2*n = -i + 2. Is 16 a factor of m(i)?
True
Is 14 a factor of (-895)/(-1) + (-57)/(-57)?
True
Let q = -75 - -125. Suppose -j + 27 = -0*j + 3*y, -4*j - 3*y + 99 = 0. Let b = q - j. Is b a multiple of 9?
False
Let x = 621 - -1964. Let j = x - 1205. Does 9 divide ((-8)/10)/((-24)/j)?
False
Suppose 5*p - 4*p + 4 = 0. Let r be (1 + -5)/(8/p). Is r + -4 - (-2 - 20) a multiple of 15?
False
Let l(v) = v**3 - 17*v**2 + 7*v - 64. Is 10 a factor of l(18)?
False
Suppose 3*n + 5*d - 14 = 0, -4*n + 0*n = -d - 11. Suppose -5*u + n*j + 1140 = 0, 3*u - j - 570 - 110 = 0. Suppose -35 = -5*v + u. Is v a multiple of 13?
True
Suppose 5*y - 1257 = -4*b, 311 = 41*b - 40*b - 2*y. Is b a multiple of 18?
False
Suppose 0 = -o - 3, 4*l - o + 53 = -4*o. Let n = -8 - l. Suppose -141 = -n*z + 39. Is z a multiple of 21?
False
Does 10 divide (-13 - -4 - -5)*(-4 - 1)?
True
Let d be (-1)/2*71*-4. Suppose -d = -x + 83. Does 15 divide x?
True
Suppose -3*d = -3*t + 4*t + 4, -12 = 3*d + 3*t. Suppose d*o - 5 = -o. Suppose 272 = 3*s + 3*n - 8*n, -o*n = -25. Is s a multiple of 34?
False
Let g(m) = -14*m**3 + m**2 - 2*m - 1. Let r(n) = n**2 + 1. Let d(k) = g(k) - 2*r(k). Is d(-2) a multiple of 12?
False
Let z = 114 + -114. Does 55 divide 14 + 148 - (-2 - (1 - z))?
True
Let f = 520 + -334. Does 5 divide f?
False
Let z = 156 + -237. Let f = z + 129. Does 8 divide f?
True
Let i = 16 - 11. Let d be -2*21/(-6)*i. Suppose -4*g + 209 = -d. Does 13 divide g?
False
Suppose 3040 = -6*i + 2*i. Let g be 8/(-36) + i/(-18). Suppose p - g - 10 = 0. Does 13 divide p?
True
Suppose -6*i = -i - 2*f - 720, 0 = i + 2*f - 156. Let s = -251 + i. Is 3 a factor of (s/(-14))/((-9)/(-12))?
False
Is (32/36)/4 + 613380/270 a multiple of 71?
True
Let y be ((-112)/20)/((-4)/30). Suppose -5*s + y = l, 5*s - 5*l = s + 51. Does 3 divide s?
True
Let t(f) be the first derivative of -5*f**2/2 - 6*f - 7. Suppose 0 = -4*v + 13 - 37. Is 12 a factor of t(v)?
True
Suppose 0 = -10*r + 7*r. Is 4 a factor of 26 + (-4 - r - -5)?
False
Let l(z) = 2*z**2 - 16*z - 14. Let t(h) = -5*h**2 + 47*h + 42. Let c(n) = 8*l(n) + 3*t(n). Let d be c(-12). Suppose 0 = 2*g - 54 + d. Is 13 a factor of g?
True
Suppose 4*c - 954 = -c + 2*v, 5*v + 960 = 5*c. Is 38 a factor of c?
True
Let v(j) = -17*j**2 + 3*j. Let x be v(2). Let o = -43 - x. Suppose o = z - 15. Is z a multiple of 16?
False
Let a(u) = -u**3 - 2*u**2 - 2*u + 19. Let v be a(0). Let d = v + 9. Is d a multiple of 14?
True
Suppose 4*z =