a multiple of 16?
True
Let d(p) = -2*p**3 + p + 2. Let j be d(-2). Suppose -o + 56 - j = 0. Does 40 divide o?
True
Let l(o) = o**2 - 4*o - 14. Suppose 66*c = 70*c + 24. Does 17 divide l(c)?
False
Let v = -20 + 25. Suppose 0 = -4*u - v*u + 558. Is 7 a factor of u?
False
Let i(c) = -6*c + 73. Does 8 divide i(-5)?
False
Let g(o) = o**2 - 9*o + 20. Let l be g(4). Suppose 5*j - 10*j + 210 = l. Does 6 divide j?
True
Let n(d) = d**2 + 14*d + 23. Let m be n(-13). Suppose 2*j - 108 = -m*j. Does 6 divide j?
False
Let t be 3 + (-2 - 3) - -117. Suppose 2*s - 135 = 5*q, -q = -2*s - 0*s + t. Suppose 9 = g + f - 8, 5*g - f - s = 0. Does 12 divide g?
True
Suppose 20*o = 16*o, -4*u + 5*o = -664. Is 6 a factor of u?
False
Let p = -30 + 34. Let k = 21 - p. Is 8 a factor of k?
False
Let u(i) = -34*i + 4. Let h be u(-6). Suppose j - 4 = 2*s, -2*j + s + 14 = 6. Suppose j*y = 8*y - h. Does 26 divide y?
True
Let d be (-83)/2 - (-2)/4. Let n be 58 - 1 - (-7 + 1). Let u = d + n. Is u a multiple of 8?
False
Suppose 4*f = -1 + 5. Let p be (2 + -1 + 4)*f. Is 28 a factor of (-2090)/(-25) + 2/p?
True
Suppose -3*l + 401 + 253 = 0. Is l a multiple of 13?
False
Let n(v) be the second derivative of 2*v**3/3 - 3*v**2/2 + v. Let w be n(4). Let c = 79 + w. Does 23 divide c?
True
Let s(x) = x. Let w be s(3). Suppose w*y + 0*y - 4*u = 2, 4*y - 6 = 2*u. Suppose 0*j - y*j + 32 = -4*z, -2*j + 37 = -5*z. Is 3 a factor of j?
True
Let m(z) be the third derivative of 29*z**5/60 - z**4/6 - 11*z**2. Is m(-2) a multiple of 28?
False
Suppose -3*q = 39*q - 20160. Is q a multiple of 32?
True
Let k(m) = -m - 5. Let v be k(-8). Suppose v*l - s - 240 = 0, l + 3*l - s - 320 = 0. Is 20 a factor of l?
True
Let h = 401 - 91. Let x = h - 80. Does 11 divide x/8 + 10/40?
False
Let r = -91 + 99. Suppose r*p = 4*p + 268. Is p a multiple of 13?
False
Suppose -3*l - 50 = -a + 26, a - 51 = -2*l. Let o = -43 + a. Does 18 divide o?
True
Suppose -4*n = -3*l - 8, 5*n - 3*n - 5*l = 4. Let x(g) = 8*g + 3*g - g**n + 1 - g. Does 9 divide x(9)?
False
Suppose -x + 5 = -5*p - 6*x, -4*p - x = -8. Suppose 5*z + 29 = 2*y - 111, -p*z + 3*y - 75 = 0. Is 4 a factor of ((-96)/z)/(2/5)?
True
Let w(x) = -14*x**2 - 2 - x + 12*x**2 + 15*x**2 + 10*x**2. Let k be w(-2). Suppose -k = -0*m - 2*m. Is m a multiple of 14?
False
Suppose -19 = -4*f + 53. Suppose 7*q = 10*q - f. Does 3 divide (-48)/(-3)*q/8?
True
Let a(c) = 4*c**2 - 25*c + 11. Does 89 divide a(16)?
False
Is 3 a factor of (36/21)/(1*8/1316)?
True
Let b be (((-3)/(-2))/3)/(1/(-60)). Let x = b + 46. Is x even?
True
Let s = -38 + 59. Is 3 a factor of s?
True
Let i = 15 - 11. Let r = 172 - 140. Suppose -r + 84 = i*q. Does 13 divide q?
True
Suppose 6*y - 8*y = -6. Suppose -j = y*n - 13 + 1, 2*n + 4 = 0. Is j a multiple of 8?
False
Suppose -3*w + w + 1590 = 0. Suppose w = t + 2*t. Suppose -j - 4*q = -0*j - 32, -5*j + q = -t. Is 10 a factor of j?
False
Let s be -6 + 3 + 2 + 9*3. Suppose 23*p = s*p - 333. Is p a multiple of 25?
False
Let x(o) = -o - 24. Let h be x(-15). Suppose 0 = -v + 5*v - 68. Let y = v + h. Is 8 a factor of y?
True
Is 26 a factor of 1250 + (6/2)/(9/(-6))?
True
Let t be (40/(-50))/(2/(-5)). Does 5 divide (-17)/(((-8)/t)/20)?
True
Let a(r) = -7*r - 6. Let l be 30/(-8) + 1/12*9. Is 14 a factor of a(l)?
False
Suppose n = 1 - 3. Let y(c) be the first derivative of 3*c**3 + c**2 - 171. Is y(n) a multiple of 16?
True
Suppose 8*a - 7*a = 4*l + 175, 4*l - 851 = -5*a. Is a a multiple of 20?
False
Suppose 141*b - 169*b = -14532. Is b a multiple of 7?
False
Let y be (9 - 0) + 9/(-3). Is (-23)/(-5) + y/15 a multiple of 5?
True
Suppose k = -2*h + 50, 2*k - 6*k + 4*h + 200 = 0. Is 3175/k - (-6)/4 a multiple of 13?
True
Does 21 divide (-2*3)/(-1*(-7)/(-49))?
True
Suppose -11375 = -14*t + 5341. Does 52 divide t?
False
Let c be 1/((-3)/15)*-7. Suppose -2*m + 37 = 4*z - c, 8 = 4*m. Is 2 a factor of z?
False
Let d(r) = 2*r**2 - 3*r + 2. Let c(h) = h**3 - 6*h**2 + h - 4. Let j be c(6). Suppose j*t + z - 28 = -4*z, -8 = -t - z. Does 11 divide d(t)?
True
Let l be ((-1)/(6/(-9)))/(2/4). Suppose -l*f + 76 = 4. Is 4 a factor of f?
True
Let h = 547 - -808. Is 9 a factor of h?
False
Let m = 270 + 497. Is 24 a factor of m?
False
Suppose -214*m + 219*m - 600 = 0. Is 5 a factor of m?
True
Suppose 5*q = 9*q. Let w(v) = -2*v**2 + 7*v + 105. Let g(m) = m**2 - 3*m - 52. Let k(b) = -5*g(b) - 2*w(b). Does 10 divide k(q)?
True
Let d = -68 - -143. Let g = d - 49. Suppose 30 = f - g. Is f a multiple of 28?
True
Let w = 23 + 5. Let m = w + -20. Suppose b + m*b - 135 = 0. Is b a multiple of 15?
True
Let x(i) = -i**2 - i + 25. Let s be x(-5). Suppose 3*q - 317 = -3*k + 85, -672 = -s*k - 3*q. Does 27 divide k?
True
Suppose 6*d = d + 10. Suppose 7*z + 4*y = d*z - 393, -3*z - y = 240. Does 17 divide (-2)/9 - 3339/z?
False
Suppose 3*s + 89 = f, 3 + 7 = 2*s. Is 26 a factor of f?
True
Is 25 a factor of 653 + ((-4)/12)/(5/60)?
False
Let b(a) = 169*a - 1. Let y be b(-1). Let p = y - -243. Suppose -5*m = -p - 207. Is 15 a factor of m?
False
Suppose z - 2*z + 11 = 0. Let v(t) = -t + 8. Let a be v(z). Is 6 a factor of a/2*132/(-6)?
False
Let s be -6 + -1 + (4 - 3). Let f = 14 + s. Is 3 a factor of f?
False
Let q = -25 - -27. Let p(v) = -6*v + 5 - q - 3 - 1. Is p(-3) a multiple of 4?
False
Is 3/(-1)*3530/(-15) a multiple of 36?
False
Is (12/10)/((-30)/(-7050)) a multiple of 3?
True
Suppose -4 = -2*g + 8. Suppose 3*h - 6 = g. Suppose -2*y - 2*k = -180, -2*y = -h*y - 3*k + 182. Does 23 divide y?
False
Let f = -4 + -2. Does 11 divide 788/12 + (-2)/f?
True
Let o = 35 + -35. Suppose 88*r - 85*r - 144 = o. Is 6 a factor of r?
True
Suppose 4*v + 5 = 17. Suppose -4*y + 5*g = -608, -5*g = -v*y + 2*y + 137. Let s = 227 - y. Does 35 divide s?
True
Suppose 19*b - 390 = 6*b. Is b a multiple of 10?
True
Let i(c) = c + 22. Let l(o) = -o + 1. Let r be l(1). Let d = r - 9. Is i(d) a multiple of 5?
False
Let n = 41 + 13. Does 11 divide 152/56 + (-2)/(-7) + n?
False
Let l(k) = -24*k**3 + 6*k**3 - k**2 + 2*k - 1 + 40*k**3. Is l(1) a multiple of 13?
False
Suppose 6*f + 41 = 161. Let j be 105/20 - 5/f. Suppose -11*c + 120 = -j*c. Does 4 divide c?
True
Let l be (-86)/(-4)*(6 + 0)/3. Let h = l + 20. Does 5 divide h?
False
Does 42 divide -2 + 79 + (280/5)/8?
True
Is 36 a factor of 6870/14 + ((-20)/(-35))/2?
False
Suppose 3*r = -6, -5*r = -3*k + 2*k + 40. Is 8 a factor of k?
False
Let o be (12 + -11)/((-2)/74). Let y = 85 + o. Is 8 a factor of y?
True
Suppose -1902 = -34*f + 19314. Does 104 divide f?
True
Let u(l) = -40*l. Let o be u(2). Let f = o + 152. Is 15 a factor of f?
False
Let t(l) = 3*l**2 + 34*l - 136. Is t(-23) a multiple of 5?
False
Let k be ((-300)/4)/((-23)/24 - -1). Is 13 a factor of k/(-22) + 5/(-110)*-4?
False
Suppose -9*c + 8*c = 4*k - 1630, -820 = -2*k - 3*c. Is k a multiple of 37?
True
Suppose -2*j + 196 = l, j - 596 = -3*l + 3*j. Is 17 a factor of l?
False
Let f be 1 + 4/4 - (-3 + 2). Suppose -f*r - 78 = -4*y + 54, -50 = -y + 5*r. Is 6 a factor of y?
True
Suppose 119 - 614 = -3*z. Does 15 divide z?
True
Is 6 a factor of 124 + (-9 - (2 + -5))?
False
Let v = 273 - 174. Suppose c - 3*f = v, -6*c - 5*f + 413 = -2*c. Is 21 a factor of c?
False
Suppose -44*q - 299 + 4171 = 0. Does 11 divide q?
True
Suppose -m + 23 = -0*m. Let c = m + -17. Let b(g) = 16*g - 8. Is b(c) a multiple of 20?
False
Let h be (-40)/(-220) - (-48)/(-22). Let o(n) = 36*n**2 + 5*n + 5. Is o(h) a multiple of 16?
False
Let a(q) = q**3 + 11*q**2 + 28*q + 45. Is a(-7) a multiple of 9?
True
Suppose -12344 = -3*v - 4*z, -6*z + 2*z + 8228 = 2*v. Is 6/(-39) + v/52 a multiple of 13?
False
Suppose 393 - 1744 = -7*r. Does 22 divide r?
False
Is 36 a factor of 2 - 96/42 - 3336/(-14)?
False
Let r(w) = w**3 + 26*w**2 - 41*w + 59. Is 8 a factor of r(-27)?
False
Suppose -72111 = -2*q - 37*q. Is q a multiple of 122?
False
Let y(d) = d**3 - 3*d + 2. Let k be y(2). Let z(l) = -8 - 7*l + 2 - k*l - l**2. Is z(-7) a multiple of 22?
True
Suppose 5*l + 50 = 7*t - 2*t, 0 = -5*l + 20. Does 7 divide t?
True
Suppose 0 = -4*g, -7*l + 4*l + 2*g = -4719. Is l a multiple of 121?
True
Let p be (-3 + (-26)/(-10))*35. Let r = -21 - p. Let f = 33 + r. Is 11 a factor of f?
False
Let c = 183 - 259. Let t = c + 203. Does 15 divide t?
False
Does 11 divide ((-660)/14)/(8/(784/(-21)))?
True
Let