Suppose -27 = -r*o + 3. Suppose -o*q - 109 = -i, -i - 4*q = -6*i + 545. Does 19 divide i?
False
Let q = 345 + -241. Let c = 205 + -135. Let v = q - c. Does 21 divide v?
False
Let y(z) = 21*z. Let d be y(3). Let k be 25/7 + 27/d. Does 6 divide (-23)/(1*(3 - k))?
False
Suppose -x + 2 = h + h, -x + 5 = 5*h. Let t(w) = w + 144. Does 36 divide t(x)?
True
Let d be (-90 + 0)/(-3) + -2. Suppose -3*k - 4*r = d, -3 = -2*r - 11. Let a(s) = 4*s**2 + 6*s + 2. Is 12 a factor of a(k)?
False
Suppose 5*f + 0*o - 824 = -4*o, -5*f = -2*o - 848. Is 8 a factor of f?
True
Does 31 divide ((-4)/(-12))/(10312/10308 + -1)?
False
Suppose -8*o + 9*o - 63 = 0. Let v = o + -42. Does 2 divide v?
False
Let f(s) = -21*s**3 - s**2 + s**3 + 12*s**3. Let m be f(-1). Let h(j) = 8*j + 2. Does 29 divide h(m)?
True
Suppose -5*c + 3 = 18. Is 23 a factor of 3 + (-5 - c) + 204?
False
Let g(n) = 2*n + 13. Let h be g(-6). Let r(u) = -u - 1. Let y be r(h). Is -15*(y - 4/12) a multiple of 11?
False
Let f(g) be the first derivative of -5*g**4/24 + g**3/3 - g**2/2 - 3. Let j(h) be the second derivative of f(h). Is j(-2) a multiple of 3?
True
Suppose -3*a - 6176 = -5*i + 5629, -2*i + 4*a + 4708 = 0. Does 27 divide i?
False
Let j(t) = 15*t - 5 - 17*t + 1 + 4*t**2. Suppose -4*v + v + 9 = 0. Is j(v) a multiple of 13?
True
Let s = 223 + -121. Let q = 43 - 46. Is 34 a factor of q/6*-2*s?
True
Let q = -9 + 10. Does 15 divide -3 + 23 + q*3?
False
Let v(w) = -w**3 - 7*w**2 - 3*w. Let k be v(-6). Let j = 49 + k. Is j a multiple of 31?
True
Let y be (16/(-12))/(-2 - (-40)/18). Is ((-63)/y - 2)/(5/30) a multiple of 10?
False
Let w(r) = r**3 + 4*r**2 + r - 1. Let y be w(-2). Suppose 0*p + 15 = y*p. Suppose 2*z - 25 = -z - i, i + 29 = p*z. Is z a multiple of 2?
False
Let y = 74 + -46. Let m be (-8)/y + 46/14. Suppose 0 = -3*j - 2*v + 83, -j + m*v = 2*v - 36. Does 13 divide j?
False
Let i(w) = w**3 - 10*w**2 + 2*w + 1. Let d = 35 + -25. Is 21 a factor of i(d)?
True
Let i = -428 - -1148. Is i a multiple of 10?
True
Let w(p) = -4*p - 49. Let h be w(-12). Does 9 divide (-486)/(-6) + (-5)/h?
False
Let a(m) = 11*m - 11. Let r(s) = 4*s - 4. Let p(w) = 3*a(w) - 8*r(w). Suppose 2*v - 7 - 19 = 0. Is 3 a factor of p(v)?
True
Let n(k) = 24*k**2 - 4*k - 2. Let j be n(-2). Suppose -41*i + 47*i = j. Does 17 divide i?
True
Let p(m) = -m**2 - 19*m + 28. Is 6 a factor of p(-10)?
False
Suppose -5*m - 4 = 5*f - m, 0 = 3*f + 4*m - 4. Does 20 divide -4*(-6)/f*-20?
True
Let r(i) = -2*i + i + 8*i + 2 + 4*i. Let a be r(10). Suppose -2*q = -3*h - 56, 4*q + 0*q + 4*h = a. Does 16 divide q?
False
Suppose -268*u - 1152 = -272*u. Is u a multiple of 48?
True
Let f(k) = k - 4. Let c be f(7). Suppose -195 = -6*t + 3*t + 2*d, 0 = -3*t - c*d + 180. Is 7 a factor of t?
True
Suppose 0 = 25*l - 58*l + 1023. Is 11 a factor of l?
False
Let s(u) = 57*u + 758. Is s(-9) a multiple of 5?
True
Suppose 0 = -4*h + 141 + 3. Let q = 31 + h. Is 10 a factor of q?
False
Suppose 0*x = -x + 4*o - 61, x + 73 = -2*o. Let z = x + 84. Is 2 a factor of z?
False
Suppose -8*p - 13376 + 42832 = 0. Does 14 divide p?
True
Let z(f) = 17*f - 6. Suppose 0 = -10*r + 28 + 32. Does 23 divide z(r)?
False
Let p(o) = -o**3 - o. Let x be p(0). Suppose x = 3*w - 8*w + 300. Suppose -10*m = -12*m + w. Is m a multiple of 10?
True
Let c(w) = -2*w + 4. Let t be c(-3). Let v be 5/(t/6) + 2. Suppose v*m + 27 - 117 = 0. Is 6 a factor of m?
True
Suppose -66 - 41 = -2*b + 5*q, 0 = 4*b + q - 225. Suppose f + 39 + b = g, 4*f = -3*g + 278. Is 42 a factor of g?
False
Suppose -2*n + 9*n - 42 = 0. Let k(h) = 7*h**2 - 4*h + 3. Let f(l) = -8*l**2 + 4*l - 4. Let o(p) = 6*f(p) + 7*k(p). Is 4 a factor of o(n)?
False
Let f(o) be the second derivative of -o - 1/3*o**3 + 1/12*o**4 + 0 - 3*o**2. Is 3 a factor of f(5)?
True
Let h(m) = -m**2 + 9*m - 16. Let g be h(7). Let x(u) = -55*u - 6. Is 26 a factor of x(g)?
True
Let z be (18 + -26)/((-4)/322). Suppose 0 = 4*k - 8*k + z. Does 36 divide k?
False
Suppose -4*v = -32*h + 37*h - 2124, -5*v - 2115 = -5*h. Is h a multiple of 37?
False
Let d(y) = 48*y + 2. Let k be d(-3). Let m = 202 + k. Does 12 divide m?
True
Let f(t) = -21*t**3 - 2*t**2 - 4*t - 7. Let w(j) = -21*j**3 - 2*j**2 - 5*j - 8. Let k(i) = -7*f(i) + 6*w(i). Let d be 4 + 1*(-12)/4. Is k(d) a multiple of 22?
True
Suppose 0 = -2*v + 4*i + 196, 3*v - 2*v - 3*i - 95 = 0. Is 26 a factor of v?
True
Let y(d) be the first derivative of -11*d**4/4 - d**3/3 - d**2 - d - 13. Is y(-1) even?
False
Suppose -3*i + i = -8. Let n(u) be the third derivative of u**6/120 - u**5/30 - 2*u**3/3 - 2*u**2 + 17*u. Does 14 divide n(i)?
True
Suppose 3*k - 24 + 90 = 0. Does 8 divide (-18)/99 - 356/k?
True
Let i be (-26)/(-65) + (-906)/(-10). Let m = i + -65. Is m a multiple of 13?
True
Let h(c) = -c**2 - 1. Let l(k) = -6*k**2 + 4*k + 8. Let s(v) = 5*h(v) - l(v). Is s(-5) a multiple of 17?
False
Suppose -12 = 6*r - 8*r. Suppose -2*q = -5*s - 31, -16 = -2*q + 2*s + r. Suppose -17*g + 15*g = -q. Does 3 divide g?
False
Let d(p) = p**2 - 18*p + 19. Let y be d(17). Suppose 17 = -s + y*s. Is s a multiple of 5?
False
Let h(a) = -a**2 - 10*a + 23. Is 8 a factor of h(-5)?
True
Does 34 divide ((-4)/22*11)/(2/(-2390))?
False
Let l(v) = 8*v. Let n(m) = -2*m. Let i be n(-2). Is l(i) a multiple of 16?
True
Let z(c) = 9. Let m(l) = l + 9. Let f(x) = 2*m(x) - 3*z(x). Is 4 a factor of f(7)?
False
Suppose 33 = 2*x - 427. Is x a multiple of 15?
False
Let h(t) = 6 - 16 + 8*t + 7*t - 12*t. Let k = 7 - -1. Is 7 a factor of h(k)?
True
Let h be (-2 - (1 - 3))/(-1). Let y be (-2 - h)/((-1)/(-2)). Let o = y + 15. Is o a multiple of 5?
False
Let k be (8 - 4/(-4))/(-1). Is 23 a factor of 10/(-15) + (-789)/k?
False
Suppose -59 = -4*t - 491. Is (-4)/(-18) - 4836/t a multiple of 7?
False
Suppose 4*h - h + 15 = 0, 3*c = -h + 310. Suppose -c = -j + 66. Suppose 2*y = -45 + j. Is 26 a factor of y?
False
Let t be 12/(-10)*(165/(-9) - -5). Suppose -21*f + 20*f + t = 0. Does 8 divide f?
True
Let j(m) = 11*m**3 - m**2 + 10*m - 8. Does 62 divide j(3)?
True
Suppose -75 = 18*j - 15*j. Let x = j - -191. Does 13 divide x?
False
Suppose -5*u - 2*f + 56 = 0, -24 = 4*u + 4*f - 64. Does 3 divide u?
True
Let m(n) = n**3 + 5*n**2 - 3*n - 11. Let u be m(-5). Is 35 a factor of 268/u + 1 + 3?
False
Suppose -46*t - 2*x = -43*t - 177, 3*t = 5*x + 156. Is t a multiple of 50?
False
Let h be (13/(2 - 3) - 2)/(-1). Let i(s) = -s**3 + 14*s**2 + 16*s + 11. Is 13 a factor of i(h)?
True
Let x = 136 + -68. Let p = 99 - x. Does 2 divide p?
False
Let d(v) = 5*v - 62. Suppose -84*n = -85*n + 14. Is d(n) a multiple of 8?
True
Does 26 divide (((-66787)/(-14))/7)/((-4)/(-8))?
False
Suppose 15*w = 32*w - 3349. Does 9 divide w?
False
Let c be 2/(-6) - 128/(-6). Let d = -11 + c. Suppose 59 + 182 = 5*q + 3*y, 0 = -5*y + d. Is 9 a factor of q?
False
Suppose -3*o = -6*k + 9*k - 282, -5*o = 3*k - 286. Let q(t) = -5*t**3 - 2*t**2 - t. Let z be q(-1). Suppose 180 = z*v - k. Does 17 divide v?
True
Suppose 5*s + 1 = 6. Suppose 0 = h - 4*q - 8, -h = -0*h + 3*q - s. Suppose -3*y - 16 = -d, 4 = -4*y - h. Is 10 a factor of d?
True
Let a = 7 - -7. Let b = a - 18. Is 16 a factor of 34 - b/(4 - 6)?
True
Suppose 27900 = 72*r - 36*r. Is r a multiple of 5?
True
Let w = 74 - 77. Is 1 + (w - 0) + (-13 - -19) a multiple of 4?
True
Suppose -2264 = -2*i + x, -1125 = -i + 26*x - 29*x. Does 5 divide i?
False
Is (15/(-15))/((-1)/527) + -2 a multiple of 21?
True
Let u = 5 - -3. Suppose -u*n = -3*n - 120. Is 12 a factor of n?
True
Suppose -t - 884 = -5*c + 3783, 5*t - 1883 = -2*c. Does 32 divide c?
False
Let u be 10870/35 + (-3)/(-7). Let d = -150 + u. Is 12 a factor of d?
False
Let h(k) be the third derivative of k**8/20160 + k**6/144 + k**5/60 - k**2. Let b(n) be the third derivative of h(n). Is 15 a factor of b(-5)?
True
Let i be (-15)/(-1)*1/3. Suppose 0 = n - i*n. Is n + 21 - (6 + -3) a multiple of 6?
True
Let j(m) = m**2 + 7*m - 3. Let t be j(5). Let w = -14 + t. Is w a multiple of 34?
False
Suppose 5*h - u = 13553, 0 = -h + 5*u + 2448 + 277. Is 40 a factor of h?
False
Suppose -5*b - 11 = g, -3*g + 5*b + 27 = -0. Suppose -s + 0*s + 47 = -4*x, 5*s + g*x - 163 = 0. Is 6 a factor of s?
False
Let c(z) = -46*z - 42. Is c(-2) a multiple of 5?
True
Suppose 6*o + 433 + 41 = 0. Let t = 111 + o. Suppose -4*c = -0*c - t. Is c 