 -15. Suppose -q*t + 5*t = -4. Suppose 30 = -d + t*d. Does 2 divide d?
True
Let q(l) = 7*l**2 + 4*l + 11. Let w(h) = 6*h**2 + 3*h + 11. Let r(m) = -m**3 - 5*m**2 + 6. Let v be r(-5). Let d(u) = v*w(u) - 5*q(u). Is 2 a factor of d(0)?
False
Suppose 2*b + 33 + 23 = t, -2*b = -4*t + 200. Is t a multiple of 48?
True
Suppose 3*t - 10284 = 5*g + 1184, 0 = -3*g + 6. Let r = -2440 + t. Is 31 a factor of (r/(-35))/(4/(-10))?
False
Suppose -26*x + 0*x = -1872. Is x a multiple of 8?
True
Suppose 3*p = -2*s + 626, 265 = 4*p - s - 555. Does 31 divide p?
False
Let p(d) = -d + 8. Let n be p(12). Let y be (-180)/(n/(-4) + -2). Suppose 6*f - y = f. Is 9 a factor of f?
True
Suppose 5 - 1 = 2*m. Suppose -6*n - m*l = -3*n - 602, 2*n - 5*l - 395 = 0. Suppose -4*y = -9*y + n. Does 20 divide y?
True
Is 17994/8 - (-378)/504 a multiple of 9?
True
Let k(u) = -u + 4. Let p be k(-6). Suppose -5*c + p = 0, -2*c = 2*w + 3*c. Let m(l) = l**2 - 2. Is 12 a factor of m(w)?
False
Suppose -2*s = 4*k + 195 + 15, -5*s = k + 480. Suppose 5 = -5*a - 2*l - 0, -3*a - 3*l = 3. Does 25 divide s/a - (-6 - -8)?
False
Let m = 5279 + -3738. Does 29 divide m?
False
Let d = -218 - -303. Is 17 a factor of d?
True
Let j(b) = b + 6. Let a be j(3). Is 330/a - (-2)/(-3) a multiple of 12?
True
Let q(c) = 16*c**3 - 4*c**2 + 9*c - 51. Is 54 a factor of q(4)?
False
Let q(s) = -s**2 - s - 1. Let u(d) = -8*d**2 + d + 4. Let p(o) = -4*q(o) - 2*u(o). Let v be (-3)/6 + (-5)/(-2). Is 19 a factor of p(v)?
False
Suppose -13*l = -193 - 301. Is 8 a factor of l?
False
Let f(y) be the second derivative of -y**6/360 + 11*y**5/120 + 3*y**4/8 + 4*y**3/3 - 10*y. Let g(v) be the second derivative of f(v). Is g(11) a multiple of 8?
False
Let q be 15/2*(-48)/(-18). Let n = q - 8. Is n a multiple of 6?
True
Let w be 11/((-3)/(-3)) + 4. Is 30 a factor of -25*36*(-2 - 1)/w?
True
Let l be (-3)/(2*(-5)/130). Let n = 63 - l. Does 17 divide n?
False
Let v = 110 + 198. Is v a multiple of 32?
False
Let l be (3/9)/(2/90). Let b = -13 + l. Suppose 5*p = 3*t + b*t - 290, -5*p = -4*t + 227. Is 21 a factor of t?
True
Let n = 112 - -18. Is n a multiple of 10?
True
Suppose -26 = 2*y + 2*n, 3*y - n + 31 + 20 = 0. Let z be ((-8)/6)/((-2)/(-12)). Is y/(-6) + z/(-24) a multiple of 3?
True
Let i(k) = 5*k**3 + 5*k**2 - 13. Let w(b) = -b**3 - b**2 - 1. Let x(t) = -i(t) - 6*w(t). Is x(0) a multiple of 11?
False
Let y(v) = -9*v**2 - 3*v - 2. Let f be y(-1). Does 2 divide (1080/(-96))/(3/f + 0)?
True
Suppose 40 = -5*b - 5*t, -3*b + t + 2*t = 0. Is 4 a factor of (7 - 61)/(b - -2)?
False
Suppose 2604*u - 2600*u = 9652. Does 23 divide u?
False
Let m be 2 + (4 - (1 - -3)). Suppose -5*d + 5*w + 317 = -d, 4*d - 310 = -m*w. Is d a multiple of 26?
True
Suppose -20 - 76 = -o. Suppose 4*a = 4*w + o, 0 = -4*a - 5*w + 55 - 4. Is 19 a factor of a?
True
Let q = 32 + -36. Is 14 a factor of 1 + 1 + (-9 - q) + 31?
True
Suppose -2*c + 4*c - 2*i = 410, i + 1045 = 5*c. Is 14 a factor of c?
True
Let d(i) = -91*i + 67. Is 37 a factor of d(-10)?
False
Let l(y) = -11*y - 158. Is 53 a factor of l(-24)?
True
Let w(z) = -2*z**3 - 3*z**2 - 9*z - 5. Let h(p) = 2*p + 11. Let o be h(-7). Is w(o) a multiple of 3?
False
Does 37 divide 84/(-8)*(-6)/9*37?
True
Let m = -53 - -55. Is 16 a factor of -3 + 1 + 2 + 192/m?
True
Let v = -4 + 6. Suppose -3*f + 20 = 5*y - 60, -3*y - 66 = -v*f. Suppose -3*n + n = -f. Is n a multiple of 15?
True
Suppose 0 = -3*w + 9, -v - 3 = -3*w + 6. Suppose -4*k + 4 + 4 = v. Suppose -t - k*h + 60 = t, -5*t + 145 = 4*h. Does 6 divide t?
False
Let l(o) be the third derivative of o**5/60 - o**4/8 - 2*o**3 - 7*o**2. Let b be l(6). Does 12 divide (b + -2)/((-10)/(-95))?
False
Suppose -5*b + 4*w = 69 + 7, -2*b + 4*w = 28. Let u(r) = -r**2 - 18*r + 22. Is u(b) a multiple of 7?
False
Let j be (-2)/18*-3 - (-374)/(-33). Suppose 68 = 2*a - 2*p, a - 4*a = 5*p - 110. Let z = a + j. Does 12 divide z?
True
Let y(m) be the second derivative of 3*m + 1/2*m**4 + 0 + 5/3*m**3 + 2*m**2. Does 12 divide y(-4)?
True
Suppose 7*p = 2*p + 95. Let j be 119/11 - (-6)/33. Let u = p - j. Is 5 a factor of u?
False
Suppose 0*u - 3*g - 260 = 2*u, -5*u + g = 684. Let x = 179 - u. Does 35 divide x?
True
Suppose -5*t = 5*m - 215, 0 = -2*t - t + m + 145. Let l = t - 20. Suppose -l - 7 = -h. Is 34 a factor of h?
True
Let f = -103 + 56. Let b = f - -20. Let y = 44 + b. Does 4 divide y?
False
Let h = 6 - 3. Suppose -4 = q - 5*s + s, -4*q = h*s - 22. Suppose 0*k + 200 = q*k. Does 11 divide k?
False
Suppose 0*r = 3*r + 114. Let z = r + 110. Suppose z = 4*g + o + 3*o, 5*o + 42 = g. Does 5 divide g?
False
Let f = 86 + -133. Let c = -22 - f. Is c a multiple of 12?
False
Suppose l = 0, 0 = -4*k + l + l + 8. Suppose k*n = 38 - 22. Is 2 a factor of n?
True
Let s(a) = a. Let y(f) = -5*f - 2. Let w(i) = 4*s(i) + y(i). Let j be w(-3). Let q(t) = 15*t**3 + t - 1. Does 5 divide q(j)?
True
Suppose 2*m = 0, 10*u - 90 = 9*u + 4*m. Is u a multiple of 9?
True
Let l = 2166 + -1387. Does 19 divide l?
True
Let a be 208 + ((-6)/(-9))/(6/(-27)). Suppose 0 = -5*b + w + a, -3*b + 135 = b + 5*w. Is b a multiple of 4?
True
Suppose -4*v = 5*j - 854, 2*j = 4*j - 5*v - 335. Suppose 2*n + 3*q - j = 235, -3*q = n - 207. Is n a multiple of 22?
True
Let y = 1909 - 915. Does 14 divide y?
True
Suppose 3*o + 4*h - 3*h = 17, 4*h - 8 = -2*o. Let s(x) = x. Let g be s(o). Does 3 divide 12 - 4*(-3)/g?
False
Suppose -75 = -4*r + 2*d + 3*d, -4*r - 2*d = -82. Let f be (-3 - -6) + (r - 3). Let w = 2 + f. Does 11 divide w?
True
Let h(z) be the second derivative of 3*z**3 - 14*z**2 - 12*z. Is h(7) a multiple of 10?
False
Let z(g) = -g**3 + 6*g**2 + g - 1. Let t be z(6). Is 33 a factor of (6*145)/t - (0 - -2)?
False
Let i be 1/((1/(-3))/(102/9)). Is (-7858)/i - 30/255 a multiple of 23?
False
Let m(f) = 7*f**3 + 14*f**2 + 3*f - 11. Let n(b) = b**3 + b**2 - 1. Let p(g) = m(g) - 6*n(g). Let l be (1 + 4)/(-3 - -2). Does 18 divide p(l)?
False
Let t(h) be the third derivative of h**4/24 + 5*h**3/6 - h**2. Let z be t(-7). Let j = 35 - z. Does 16 divide j?
False
Let u = 13 + -15. Let k = 5 + u. Let i(a) = 3*a - 4. Does 2 divide i(k)?
False
Let u = 950 + -173. Does 45 divide u?
False
Let k = 10 + -10. Let c be (k + 6)/((-9)/102). Let i = c - -124. Is i a multiple of 19?
False
Let d(s) = -s**2 - 9*s - 13. Let n be d(-6). Suppose -n*w + 4*i + 200 = -i, 2*i + 44 = w. Is 12 a factor of w?
True
Suppose -37 = -29*z + 2109. Is 13 a factor of z?
False
Suppose -4*o = 7 - 19. Suppose 2*i = 5*u, u + 0*u - o*i + 13 = 0. Is 8 a factor of u/(-12) + (-290)/(-12)?
True
Let x(o) = 231*o - 55. Let b be x(5). Suppose -4*k + z + 1076 = k, -5*k - 5*z + b = 0. Is 9 a factor of k?
True
Let h = 6 - 1. Suppose h*z + 2*j = 10, 5*j = -5*z + j + 10. Suppose -5*v = -z*k + 132, -2*k - v = -2*v - 132. Does 22 divide k?
True
Suppose 8731 = 40*z - 7949. Is 4 a factor of z?
False
Let t = 4 - 2. Is (2/3)/(t/12) a multiple of 3?
False
Let m(l) = 12*l**3 + 2*l**2 + 4*l - 13. Does 34 divide m(3)?
False
Let c = 194 + 206. Is 5 a factor of c?
True
Let n be 2/(-4 - (-18)/5). Let d(y) = -25*y**2 - 33*y - 44. Let k(u) = 6*u**2 + 8*u + 11. Let z(x) = 2*d(x) + 9*k(x). Is z(n) a multiple of 32?
False
Suppose -2 = 3*o - 14. Let q(s) = -5 + 9*s + o + 0. Is 13 a factor of q(3)?
True
Suppose 3*q + 4*r = 5*q - 1438, 0 = -5*q + r + 3577. Is 8 a factor of q?
False
Suppose 2*x + 3 = o - 2*x, -4*o = 4*x - 12. Let c be 171 - (-16)/12*o. Let r = -123 + c. Does 11 divide r?
False
Suppose 0*m + m - 6 = 0. Suppose m + 3 = 3*t. Suppose -2*d = t*d + 3*v - 186, 0 = -d - 2*v + 33. Is 13 a factor of d?
True
Let l be 2/(-5) - (-36)/90. Suppose -4*i + i = -y - 341, -i - y + 119 = l. Does 23 divide i?
True
Suppose 0 = 32*i - 50*i + 27378. Is i a multiple of 39?
True
Suppose -i - r - 4 = -11, -4 = 3*i - 2*r. Let t be i/10 + 418/10. Suppose 5*d - t = 18. Is 7 a factor of d?
False
Suppose -2 = -7*o + 9*o. Let w = o + -1. Is (-1)/(132/(-64) - w) a multiple of 8?
True
Let m(c) = 4*c**2 + 3*c + 6. Suppose -5*i + 7 = -18. Does 26 divide m(i)?
False
Let q be -5 + (8 - 4) - -3. Suppose q*b - 321 = -0*t - 5*t, 5*t = 4*b + 333. Is t a multiple of 20?
False
Suppose -2*a + 30 = -5*a. Let q = a - -6. Does 13 divide 6/24 + (-103)/q?
True
Let f(l) = -l + 2. Let v be f(-3). Suppose -v*j + 14 = -46. Is j a multiple of 6?
True
Let