 0*k. Is c a multiple of 19?
False
Let v(t) = -4*t + 6. Let u be v(4). Let p = -5 + u. Is 3 a factor of (-3)/p + (-48)/(-10)?
False
Let q(w) = w**3 - 5*w**2 - 4*w - 8. Let h be q(6). Suppose -h*v - 20 = 0, -4*a + v = a - 15. Suppose -a*c = 2*x - 12, -51 = c - 6*c + 2*x. Is c a multiple of 9?
True
Let f = 6 + -10. Let d be ((-6)/f)/((-6)/(-32)). Suppose 28 - d = r. Is r a multiple of 20?
True
Let d = 149 + -95. Is d a multiple of 8?
False
Let v(k) = k**3 - 6*k**2 + 4*k + 3. Does 40 divide v(7)?
True
Suppose 5*s + 42 = 6*s. Suppose -3*o + o = -s. Is o a multiple of 6?
False
Let p = 53 + -23. Is p a multiple of 6?
True
Let x(j) = j**2 - 8*j - 1. Let p be x(5). Let v be 1/(-3) + p/(-3). Suppose 0 = -0*t - v*t + 110. Does 18 divide t?
False
Suppose -5*u + 3*u = 36. Let w = u - -32. Let p = -8 + w. Is 5 a factor of p?
False
Suppose -x = b - 4*b + 48, -2*b + 44 = -x. Suppose -2*k = -z + 82, z + 3*k - 70 - 12 = 0. Let h = z + x. Is h a multiple of 13?
False
Let n = 183 - 164. Does 3 divide n?
False
Suppose 2*o + 100 = 7*o. Is o a multiple of 7?
False
Let r = -270 + 382. Is 7 a factor of r?
True
Suppose -h + 4 = -c, -h + 4 = 5*c - 3*c. Suppose c = -2*g - 64 + 172. Is 13 a factor of g?
False
Let r = 4 - -3. Is 7 a factor of r?
True
Let h(r) = -r + 14. Let k be h(8). Let j = 8 + k. Is j a multiple of 6?
False
Suppose 3*r = 4*h + 15, 5*r - 3 = -3*h + 22. Suppose -n + 11 + 26 = -4*d, h = 3*n + d - 98. Is (3 + n)/3 - -2 a multiple of 14?
True
Let y(k) = 2*k. Let q = -3 + 1. Let l be (-1 + (1 - q))/1. Is 4 a factor of y(l)?
True
Suppose x - 3*d - 80 = 20, -5*d = -x + 102. Let z be (4/1 - 3)*x. Suppose -4*o = -277 + z. Does 12 divide o?
False
Suppose 2*y - 25 = 23. Suppose y = 6*l - 4*l. Is 12 a factor of l?
True
Let n(i) = i**3 + i + 1. Is 4 a factor of n(2)?
False
Let i(w) = -2*w + 8. Suppose 0 = -k - k - 132. Let d be ((-6)/9)/((-4)/k). Is i(d) a multiple of 18?
False
Suppose 3*n + b + 37 - 306 = 0, 0 = 3*n + 3*b - 261. Does 18 divide n?
False
Suppose 0 = 5*r + 27 + 58. Let t = r + 36. Does 10 divide t?
False
Suppose -7*t = -6*t - 16. Is 4 a factor of t?
True
Let g(z) = -z**3 - z**2 - z - 5. Let v be g(0). Let w = 19 + v. Suppose k + w = 2*k. Is k a multiple of 7?
True
Let v = 195 - 97. Does 5 divide v?
False
Let a = 8 - 8. Suppose 5*c - 96 - 24 = a. Is c a multiple of 8?
True
Is 3 + (6 - -55) - 2/2 a multiple of 21?
True
Is 14/((-4)/2 + 3) a multiple of 7?
True
Let c(d) = -2*d**3 - 2*d**2 + 2*d. Let n be c(-2). Let i(f) = 12*f + 4. Does 15 divide i(n)?
False
Suppose -4*h + 50 = p, -5*p + 98 = -2*h - 196. Is 6 a factor of p?
False
Suppose 2*n + 87 - 223 = 0. Does 9 divide n?
False
Suppose 7*b - 999 = -75. Is 22 a factor of b?
True
Let i be (-116)/(-10)*(-10)/(-4). Suppose i = 4*c - 55. Is 7 a factor of c?
True
Let x(j) = j**3 - 6*j**2 - 8*j + 9. Let r be x(7). Suppose 43 = g - r*p + 8, 140 = 4*g + p. Is g a multiple of 9?
False
Let f = 26 - -39. Is f a multiple of 5?
True
Suppose -3*a - 3*a = -168. Does 4 divide a?
True
Let z = 36 + 4. Suppose -2*i + 28 = 5*x, 0 = -x + 6*x - 20. Suppose -i*d + 16 = -z. Is d a multiple of 7?
True
Is 8 a factor of (-1)/(21/(-1182)) - (-8)/(-28)?
True
Let z(s) = s + 3. Let b be z(-4). Let t(w) = 8*w**2 + w + 1. Is 8 a factor of t(b)?
True
Let r(x) = -x**3 - 12*x**2 - x - 3. Is r(-12) a multiple of 7?
False
Suppose 2*n = v + 11, -4*n + 18 = 2*v - 0. Let z(j) = j + j - n*j + 9. Is 14 a factor of z(-7)?
False
Is 6 a factor of (-3 - -6 - 22/6)*-99?
True
Let i(y) = -y**2 + 5*y - 3. Let s be i(4). Suppose -2*f - 3 = -h, 2*h - 5 - s = -f. Is 2 a factor of h?
False
Let r be ((-12)/10)/(2/(-10)). Suppose v - 15 = r. Suppose -q = -4*q - 4*g + v, -70 = -5*q + 5*g. Does 11 divide q?
True
Let u(w) = 2*w**3 - 2*w**2 + 3. Let o(a) = -3*a**3 + 4*a**2 - a - 5. Let f(t) = 3*o(t) + 5*u(t). Let g be f(-3). Suppose g*p = -5*p + 85. Does 14 divide p?
False
Let v be -2 + -1 + (-2)/(-1). Let m = 19 + v. Does 9 divide m?
True
Let q(a) be the third derivative of a**5/60 - 2*a**2. Let j be q(0). Is (14/(-1))/(j + -1) a multiple of 11?
False
Let r(c) = 7*c + 1. Is 3 a factor of r(1)?
False
Let h be (2 + -1)/(2/8). Suppose -114 = -7*o + h*o. Suppose -o = -3*b + 52. Is 8 a factor of b?
False
Let p(j) be the first derivative of -2*j**3/3 - 4*j**2 - 4*j + 1. Let f be p(-6). Let c = 40 + f. Does 6 divide c?
True
Suppose -5*v + 21 = z, 5*z + 3*v = 6 + 55. Does 11 divide z?
True
Suppose 0 = -5*q - q + 24. Suppose q*s - 219 = 9. Is 10 a factor of s?
False
Let m be 1 + (-5 - 2) + -2. Is 9 a factor of ((-54)/(-4))/((-4)/m)?
True
Suppose 6*m - 2*r = m + 287, m + 2*r = 55. Is m a multiple of 15?
False
Let y(o) = -10*o**3 + 1. Let r be y(1). Let v = r + 13. Suppose v*g + 0*g = 28. Is g even?
False
Suppose -174 - 291 = -5*v. Does 31 divide v?
True
Let x(w) = -w**2 - 20*w + 15. Does 36 divide x(-14)?
False
Let c = -10 - -22. Let j = 14 + c. Does 8 divide j?
False
Suppose -n + 4 = 1. Let w be (-1)/n - 7/(-3). Is 12 a factor of (-6)/w + 36 + 2?
False
Is 11 a factor of (60/(-15))/((-4)/22)?
True
Suppose -4*b - 11 = -3*n, -2*b + 3*n - 2 + 1 = 0. Let o(d) = -d**3 - 3*d**2 + 4*d - 6. Is o(b) a multiple of 12?
True
Suppose 4*p - 4 - 13 = -g, 0 = 5*g - 5. Suppose -4*d = 4*m, -2*d = -p*d - 5*m - 12. Does 4 divide d?
True
Suppose 0 = 4*j + 5*p - 89, 3*j + p - 66 = -3*p. Does 17 divide j?
False
Is -24*3/(-2)*(-30)/(-18) a multiple of 15?
True
Does 11 divide (-22 - 7)*((-4)/2)/2?
False
Let o(g) = 2*g - 15. Let s be o(10). Let j(p) = p - 4. Let f be j(s). Does 7 divide 14*f + 6/(-2)?
False
Suppose -5*g + 2*g = -132. Is 11 a factor of g?
True
Does 29 divide -3 + 64 + -2 + -1?
True
Suppose -u - u = -5*i - 29, -2*i = 4*u + 2. Does 16 divide 48*(0 - u)/(-2)?
True
Let y(o) = -4*o**2 - 3*o + 4. Let a be y(4). Let j = a + 121. Is 14 a factor of j?
False
Suppose -3*i = -2*m - 286, 0*i + 5*m - 412 = -4*i. Suppose -3*l = -5*a - i, a = -3*l + 2*l + 22. Is 13 a factor of l?
True
Suppose 5*c + 108 = -157. Let b = 38 + c. Let k = -6 - b. Is 9 a factor of k?
True
Is 9 + -5 - (-55 - 1) a multiple of 30?
True
Let c(o) = -5*o**3 - 2*o**2 - 2*o - 2. Let v be c(-2). Let l = v + -20. Is l a multiple of 7?
True
Suppose 0*r - 483 = -3*r. Suppose -5*c - 99 - r = -3*j, 5*j - 4*c = 416. Suppose 3*t = 278 - j. Is 23 a factor of t?
False
Suppose 3*o + 100 = 8*o. Does 4 divide o?
True
Suppose 3*h - 56 = h. Suppose 0 = 2*w + 2*w - h. Is w a multiple of 7?
True
Suppose 3*q = -q + 2*f + 222, -4*q - 5*f + 187 = 0. Is 9 a factor of 2/6 - q/(-3)?
True
Let j be (1/2)/((-2)/36). Is 10 a factor of (2 + -1)*(1 - j)?
True
Let j = -80 - -115. Does 35 divide j?
True
Suppose 2*s - 60 = -5*w - 11, 3*s + 4*w = 56. Suppose 0 = 3*m - 3*i + s, -4*i + 8 = -5*m - 11. Is -1*(-11)/1 - m a multiple of 14?
True
Suppose m = -0*m + 58. Is 27 a factor of m?
False
Let j(s) = 3*s - 3. Let q = -8 - -14. Suppose -3*k = 3*v - 33, k + k - 2*v = q. Does 11 divide j(k)?
False
Suppose 8 = -4*z, 0 = -3*b - 5*z + 2*z - 180. Is ((-3)/(-1))/((-3)/b) a multiple of 29?
True
Let n(w) = 13*w + 3*w - 5*w - 6 - w**2. Is n(9) a multiple of 6?
True
Suppose -2*y = 3*l - 50, 2*y - 86 = -5*l - 0*y. Is l a multiple of 6?
True
Let d = -356 - 73. Let m = d - -831. Does 15 divide m/9 + 1/3?
True
Let f(v) = 7 + 3 + 3*v - 4*v + 4*v. Does 11 divide f(8)?
False
Suppose 8*h + 58 = w + 3*h, -107 = -4*w - 5*h. Suppose -2*r + 0*r = 3*t - w, 5*t = 5*r - 95. Is 8 a factor of r?
False
Is 12 a factor of (-4)/20 + 712/10?
False
Suppose 3*j - 4*h = 156, 0*h - 6 = 2*h. Is j a multiple of 12?
True
Suppose -32 = -5*c - 7, -m - 3*c = -18. Suppose d + 0 = -m*g + 24, 44 = 3*d - 5*g. Is d a multiple of 14?
False
Is ((-7)/2)/((-3)/36) a multiple of 7?
True
Let x = -346 - -499. Is 17 a factor of x?
True
Let b(j) = j**2 + j + 1. Let v be b(-2). Let m(a) = 3*a + 2. Let o be m(4). Suppose i - v = o. Does 9 divide i?
False
Let s = -56 + 74. Is 9 a factor of s?
True
Let o(a) = a**2 + 3*a + 2. Let q be o(-3). Let z be 2 - 0 - (-2)/q. Suppose z*u - 190 = -4*p, -2*p + 94 = -0*u + 2*u. Is 22 a factor of p?
False
Suppose 0 = -0*x - x - i + 80, 0 = 5*x + 2*i - 397. Does 13 divide x?
False
Let u(g) = g**2 + g + 1. Let n(c) = -5*c**2 + 3*c. Let a(b) = -n(b) - 2*u(b). Is a(5) a multiple of 24?
True
Let a(o) = 30*o - 1. Let s be a(2). Suppose -s = -4*q + 25. Is 7 a factor of q?
True
Is 23 a facto