2 - q. Suppose -78 = -3*m + y + 99, 2*m - d*y - 118 = 0. Does 15 divide m?
False
Suppose p + 5*f - 560 = 4*f, 3*p + 2*f = 1678. Does 62 divide p?
True
Let d = -22 - -26. Suppose 0 = 3*a + g + 31, d*a = -a + g - 49. Let p = -4 - a. Is p a multiple of 5?
False
Suppose 39*a = -32*a + 220810. Does 66 divide a?
False
Let b = 78 + 54. Suppose 22*m - 20*m - b = 0. Is m a multiple of 5?
False
Let r be 4/10 - (-108)/30. Suppose -3*t + 5*t - 82 = 5*n, r*t - 148 = 2*n. Does 12 divide t?
True
Let l(q) be the second derivative of 0 - 1/2*q**3 + 3/4*q**4 - 2*q + q**2. Does 8 divide l(2)?
True
Let y(o) = 32*o - 47. Is 44 a factor of y(5)?
False
Is -6 - ((-232 - -8) + 8) a multiple of 14?
True
Let f = -20532 + 10588. Is (f/(-20))/2 - (-8)/20 a multiple of 34?
False
Let w(b) = 11*b**2 + 9*b - 9. Let r(y) = 6*y**2 + 4*y - 4. Let v(a) = 7*r(a) - 4*w(a). Let i be v(-7). Let h = i + 78. Does 9 divide h?
False
Suppose -5*o + 900 = 335. Suppose 343 - o = 5*q. Does 23 divide q?
True
Let f(q) = -q + 2*q**2 + q**3 + 0*q**2 - 5*q**2 + 8 + 2*q. Is 21 a factor of f(5)?
True
Let v = 94 + 135. Let f = v + -47. Is f a multiple of 13?
True
Suppose -4*t + 5 = x - 8, -17 = 4*t - 5*x. Suppose -4*b - 2*y + 121 - 23 = 0, t*b + 4*y = 58. Does 8 divide b?
False
Let j = -10 - 5. Let x = -20 - j. Let w(u) = u**2 + 2*u. Is w(x) a multiple of 15?
True
Suppose z = 0, -3*z - 625 = -3*r - 2*r. Does 4 divide r?
False
Let z(k) = -k + 11. Suppose 0 = 4*d + 3*a + 37, 4 = -2*d - 3*a - 19. Is z(d) a multiple of 14?
False
Is 11 a factor of 20/(-20)*1548/(-4)?
False
Is 19 a factor of 17 + 49374/54 + (-2)/6?
True
Let m(d) = -d + 10. Let n be m(9). Suppose v + n = 3. Is (-40 + 4)*v/(-4) a multiple of 5?
False
Suppose u + 1 + 4 = 4*s, 5*s + 15 = -3*u. Let b(q) = -4 + s - 5*q + 1. Does 21 divide b(-9)?
True
Suppose -85*q + 87*q = 204. Does 17 divide q?
True
Let g be 2 - (-2 - -4) - -4. Suppose g*h + 14 = 5*h. Let q = 2 + h. Is 16 a factor of q?
True
Let b(z) = -z**3 - 10*z**2 - 9*z + 4. Let j = 58 + -39. Let q = j + -28. Does 4 divide b(q)?
True
Suppose 2*i - 2*w = 16, 30 = 3*i - w + 8. Is 5 a factor of 2/(-8) - ((-1582)/8)/i?
False
Let p(j) = 2*j + 56. Let x be p(-25). Let i(a) be the second derivative of -a**5/20 + 2*a**4/3 - 4*a**3/3 + 3*a**2 - a. Is 13 a factor of i(x)?
False
Suppose -5*x - 7368 = -71*q + 69*q, -3*x - 7360 = -2*q. Is 22 a factor of q?
True
Let n(d) = d**3 - 12*d**2 + d - 5. Let s be n(12). Let h(v) = 0*v**2 - 2*v**2 - v + s + 15. Does 11 divide h(0)?
True
Suppose -q - 4*q - 31 = 4*d, -5 = -5*q + 5*d. Let j be (5 - 6)*q*1. Suppose k - 27 = j*h - 0*h, 88 = 3*k - 2*h. Is k a multiple of 15?
True
Let n(l) = l**3 - 7*l**2 + 6*l + 6. Let w be n(6). Let j = w + 1. Suppose j*s - 5 = 6*s. Does 2 divide s?
False
Let q(d) = d**2 - d. Let y be q(4). Is 939/y + -3 - (-2)/(-8) a multiple of 15?
True
Suppose 0 = 5*u - 4*j + 1, 4*u = j - 5*j - 8. Suppose 21 = 3*n - h, 0*n + 3*n = -h + 15. Let c = n - u. Is c a multiple of 7?
True
Let k(d) = -2*d**3 - 6*d**2 - 9*d - 53. Is 62 a factor of k(-11)?
False
Suppose 5*s = -2*w + 369, -4*s = -5*w + s + 940. Is 45 a factor of w?
False
Is ((-2)/(-6) + -2)/((-2)/42) a multiple of 5?
True
Suppose 4*o = -123 + 839. Is o a multiple of 25?
False
Let x = -171 + 366. Suppose 2*l = 7*l - x. Suppose -l = -k + 13. Does 15 divide k?
False
Suppose z - a = -12, -3*z = 4*a - 0 + 1. Let n = z + 39. Is 16 a factor of n?
True
Let t(y) = y**2 - 2*y + 2. Let v be t(2). Let l be v/(3/(-2 + 8)). Suppose -36 = -3*w - 3*a, -l*w - 4*a + 55 = w. Does 2 divide w?
False
Suppose 4*x + 5*d - 6 - 9 = 0, -4*x = -4*d + 12. Suppose 3*n = -x + 9. Suppose -z + i = -7, -z + 2*i + 5 - n = 0. Is z a multiple of 3?
True
Let t be 2 + 2 - 3/3. Suppose -h = t + 3. Is 6 a factor of (-55)/(-15)*h/(-2)?
False
Suppose -148 = -3*m - m. Let g(u) = 53*u**2 + 3*u + 4. Let i be g(-1). Let t = m + i. Does 24 divide t?
False
Suppose -2*y = w - 2*w - 218, 4*y = 4*w + 440. Does 18 divide y?
True
Let b be 140/5 - (-3 + 4 + 2). Suppose 9*r + b = 1096. Does 17 divide r?
True
Suppose -17*m = -4*m - 2002. Let s = 269 - m. Is s a multiple of 12?
False
Let z(l) = 336*l. Is 84 a factor of z(1)?
True
Let t(r) = -4*r + 31. Is t(5) a multiple of 6?
False
Let o(r) = r**2 + 4*r + 4. Let u be o(-4). Let d(h) = h**2 - h + 7. Let v be d(0). Suppose 108 = -u*p + v*p. Does 18 divide p?
True
Suppose y + 2*c - c = 0, -3*y + 4*c = -14. Suppose -y*r + 6 = -2*n + 4*n, 4*n + 5*r = 8. Is 2 a factor of n?
False
Let q be 441 + (4 - 5) + 5. Suppose -5*f - q = -5*b, -b - 4*f + 19 = -60. Is b a multiple of 10?
False
Let y(f) = 9*f**2 + 5*f - 21. Is 19 a factor of y(-12)?
False
Let w = -61 + 86. Let b = 92 - 52. Let v = b - w. Does 15 divide v?
True
Suppose -4*p = -5*r + 983, 14*p - 13*p + 594 = 3*r. Is r even?
False
Is (-12)/3 + 9 + 4224 + -18 a multiple of 67?
False
Let v be (0 - (-193)/(-6)) + 30/180. Is 4/v*-6*12 a multiple of 3?
True
Let q(u) = -u**2 - u - 16. Suppose k = -k. Let r be q(k). Let x = r - -83. Is x a multiple of 18?
False
Does 63 divide 26/(-117) + 213064/72?
False
Let d(h) = 57*h + 803. Does 60 divide d(26)?
False
Is -280*3/(-4)*(-14)/(-7) a multiple of 35?
True
Let b(p) = p**3 - p**2 + p + 2. Is b(2) a multiple of 8?
True
Let d = 256 + -166. Does 3 divide d?
True
Suppose 6 = 3*w - 3. Let r(g) = 14*g - 5. Is 12 a factor of r(w)?
False
Suppose -3*t + 2*t = -3*n + 1, 0 = 2*n - 2*t - 2. Suppose -5*w - 15 = n, -3*w - 3 = -v + 4*v. Suppose -2*o = -5*u + 45, -o + 3 + v = 0. Is 4 a factor of u?
False
Suppose k + 10 = 72. Is k a multiple of 6?
False
Suppose 8*d = 7*d - 21. Let q(k) = k**2 + 17*k + 29. Is 11 a factor of q(d)?
False
Suppose 8 = 3*d - 0*d - r, -5*d + 3*r = -8. Let v(i) = -3 + 2*i**2 - 5 + 5 + d*i. Is v(3) a multiple of 9?
True
Suppose 0*d + 368 = 4*d. Suppose 0 = 2*z + 2*z - 312. Suppose 5*c = d + z. Does 17 divide c?
True
Suppose w + 2 = 3*w - s, 0 = 2*w + 3*s + 6. Let o = w - -10. Is o a multiple of 3?
False
Let y be ((-8)/6)/(1/(-57)). Let v(g) = 36*g - 321. Let s be v(9). Suppose 0 = -s*d + d + y. Is 10 a factor of d?
False
Suppose 2*o - 26 - 2 = g, 52 = 4*o - 3*g. Let v = 52 - o. Is 6 a factor of v?
True
Suppose -2*i + r + 222 = -3*r, -5*i + 2*r + 531 = 0. Does 15 divide i?
True
Does 12 divide (48 - -54) + 5/1?
False
Let f(z) = 124*z**2 + z - 1. Suppose 3*q + 5*j + 18 = 0, -2*j - 8 = 5*q - j. Does 61 divide f(q)?
True
Let t(y) = 3*y**2 + 36*y + 15. Is 9 a factor of t(-23)?
True
Let d be (-195)/45 + (-4)/(-3). Is 60 a factor of (d*1032/18)/(-2)?
False
Suppose 3*h + 4 = 2*h - a, 5*a + 20 = 0. Suppose h = -3*q + 3*w + 90, -4*q - 3*w + 124 = -6*w. Does 17 divide q?
True
Let c(k) = -103*k - 6. Does 9 divide c(-6)?
True
Suppose -2*r = r + 42. Let b(g) be the third derivative of -g**4/6 + g**3 + 12*g**2. Is b(r) a multiple of 11?
False
Suppose s - 947 = -3*q, 5*q + 3*s = -2*s + 1575. Let l be (-303)/(-2)*8/6. Let g = q - l. Is g a multiple of 20?
False
Suppose 5*y - 5*w = -0*y + 4385, 4*y + w = 3523. Is y a multiple of 11?
True
Let r(v) = 3*v**2 - 3*v + 1. Let q be r(3). Let i be 4 + (3 - -1) + -6. Suppose -c + 51 = 3*g, -5*g + q + 78 = i*c. Does 9 divide c?
True
Does 24 divide (177 + 3)*(-72)/(-18)?
True
Is 9 + -2 - (1 - 764) a multiple of 21?
False
Let m(x) = x**2 - 4*x + 1. Let a = -11 - -17. Suppose -4*z - 10 = a. Does 11 divide m(z)?
True
Let w = 105 + -103. Suppose 0 = -4*g - f + 29 + 72, 2*g - 58 = -w*f. Is g a multiple of 3?
True
Suppose r - 4*u - 49 = -0*u, -3*r + u = -158. Is 2 a factor of r?
False
Let w = -1572 + 2194. Is w a multiple of 4?
False
Let n(i) = i**3 - 5*i**2 - 7*i - 7. Let w be n(6). Let t = w + 32. Suppose y - 2*y + t = 0. Is y a multiple of 5?
False
Let g(i) be the third derivative of -i**5/60 + 17*i**4/24 + 8*i**3/3 - 14*i**2. Let a be 160/(-12)*(-6)/5. Is g(a) a multiple of 9?
False
Let a(s) be the third derivative of -s**6/60 - s**5/6 - 3*s**4/8 - s**3/6 + 25*s**2. Is a(-6) a multiple of 19?
False
Let k(v) = -2*v**2 + v + 2. Let h be k(-1). Let n(r) = 12*r**2 - r - 1. Is 12 a factor of n(h)?
True
Let d be (7 - 5) + 38 + 1. Let h = -17 + d. Is 6 a factor of h?
True
Let b(z) = -z**3 + 15*z**2 - 27*z + 17. Let u be b(13). Suppose -270 - 66 = -u*w. Is w a multiple of 14?
True
Suppose -10*n + 11*n = 28. Let i = 118 - n. Is i a multiple of 26?
False
Suppose -b - 2*z + 3*z = -2, -z - 12 = -3