 3*q, -4*q = -c + q + 26. Is 16 a factor of c?
False
Let q be 2*(0 + 0 - -1). Suppose -q*y - 4 = -12. Let d = y + 4. Is 4 a factor of d?
True
Let d be 3*((-2)/(-3))/2. Let x(r) = 3*r - 6. Let y be x(-2). Is (d/(-2))/(2/y) a multiple of 2?
False
Suppose 4*y - 4 = -2*z, -5*y + z + 0 - 2 = 0. Let f(a) = 7*a + 18. Let o(s) = 8*s + 19. Let k(l) = 7*f(l) - 6*o(l). Is k(y) a multiple of 4?
True
Suppose -2*s = 3*b - 1 - 15, s + 5*b - 15 = 0. Suppose -p - w + 8 = -4*p, p - s*w + 26 = 0. Is 2 a factor of (p + -1 + 1)*-3?
False
Let p = -9 - -15. Suppose p*z = 10*z - 72. Does 9 divide z?
True
Suppose -4*v = -51 - 129. Suppose 0*y + v = 3*y. Is 4 a factor of (12/10)/(y/100)?
True
Let w be (-25)/10*6/(-5). Suppose 528 - 141 = w*m. Is (-2)/(-3)*m/2 a multiple of 16?
False
Let u(i) = -i**3 + 14*i**2 + 18*i. Is u(15) a multiple of 9?
True
Let u = 8 - 2. Suppose 0*h + u = 2*h, 19 = 4*m - 3*h. Let t = m + 1. Does 4 divide t?
True
Let u be (6/(-18))/(1/3). Is 2 a factor of u/2*(-54)/3?
False
Suppose -3*x = -3*i - 24, 3*x + 2*i - 24 = i. Is x a multiple of 4?
True
Let c = 130 + -124. Is 2 a factor of c?
True
Suppose -5*o + 32 - 12 = 0. Suppose o*r + r - 25 = 0. Does 5 divide r?
True
Let c = -15 - -16. Let l(n) = 80*n**3 + 2*n**2 - n. Is 27 a factor of l(c)?
True
Suppose 4*y + 560 - 1756 = 0. Is 13 a factor of y?
True
Suppose -y + 31 = -3*j - 44, 5*y - 307 = -2*j. Does 21 divide y?
True
Suppose 0 = -5*p - 792 + 3292. Does 54 divide p?
False
Let k be (-54)/(-5) + (-1)/(-5). Suppose -55 = -4*d - k. Is 9 a factor of d?
False
Suppose -2 - 1 = -i. Suppose 3*g - 5 = -2*s, 2*s - g - i*g - 12 = 0. Suppose -2*r - 3*h + 5 = 0, -3*r - 9 = -6*r - s*h. Is r a multiple of 7?
True
Let q(y) = -y + 15. Let x be q(16). Let k be 2/(-5) + (-54)/(-10). Is 4 a factor of k*(22/10 + x)?
False
Let v(u) = -u**3 - 2*u**2 - u + 2. Let n be v(-2). Let r be (6/n)/((-3)/4). Does 5 divide r/(-8) - (-78)/8?
True
Let c(n) = 2*n**2 - 19*n - 15. Is 9 a factor of c(-7)?
True
Let i(r) = -r - 10. Let f(j) = -j. Let y(s) = 2*f(s) - i(s). Let m be y(7). Suppose -o + 43 = 2*z, -72 = -m*z - 5*o + 2*o. Is 19 a factor of z?
True
Suppose -79 = -3*l + z - 0*z, 4*z = -l + 22. Does 13 divide l?
True
Suppose -4*d = 3*z - 5*d - 173, -2*z + 104 = 5*d. Is z a multiple of 9?
False
Suppose -6*u + u = -355. Does 24 divide u?
False
Suppose d = 4*d. Suppose -q + 4*j - 2*j = d, 0 = -4*q + 4*j + 4. Does 13 divide 34 - q/2 - -1?
False
Suppose -3*o + 17 = -19. Suppose 0 = z - 5*z + o. Suppose -z*u + 99 = -81. Does 16 divide u?
False
Let i = 2 - 2. Suppose -2*c + 0*c - 4*f + 20 = i, -3*f + 30 = 4*c. Let y(h) = -h**3 + 7*h**2 - 5*h + 9. Is 15 a factor of y(c)?
True
Suppose -5*y + 3*c = -2*c - 25, 5*y - 2*c - 34 = 0. Let i = -3 + y. Suppose -k = -20 + i. Does 6 divide k?
False
Suppose 0*x - 4*x + 672 = 4*k, -k = 5*x - 848. Does 7 divide x?
False
Let b = -5 - -18. Let m(y) = -2*y - 13*y - b*y. Is 14 a factor of m(-1)?
True
Suppose -3*u = -2*u - 2. Let p(b) = -11 + 4*b - 3*b**2 + 6*b**u - 2*b**2. Is 9 a factor of p(-8)?
False
Let c = -2 + 6. Let a = -2 + c. Does 2 divide ((-4)/14)/(a/(-14))?
True
Let b be -1 - (1/(-1) - 18). Suppose 3*n - 2 = -2*m, 0*n - 4*n + 5*m = -b. Is 2 a factor of n?
True
Suppose -4*l + 6*l = -2. Is 15 a factor of 4 + -6 - 17/l?
True
Suppose 0 = y - 6 + 2. Suppose -12 - 64 = -y*r. Does 15 divide r?
False
Let l = 83 - 83. Suppose -58 = -5*v + 337. Suppose l = 4*t + 3*j - v, 3*j + 119 = 5*t - 0*t. Is 11 a factor of t?
True
Let u(w) = w - 1. Let a(v) be the second derivative of v**3/2 + v**2 + v. Let f(d) = a(d) + 4*u(d). Does 6 divide f(2)?
True
Let o(x) = 3 - 15*x - 1 + 0. Suppose 5*r - 2*p = -2 - 8, -2*r - 4 = 3*p. Is o(r) a multiple of 16?
True
Is 3 a factor of (-267)/(-15) - 4/5?
False
Let w = 297 + -181. Suppose -2*c + 4*c - 84 = 4*i, 0 = -2*c - 4*i + w. Is 13 a factor of c?
False
Suppose -5*c + 93 = -y, 3*y = -5*c - 0*c - 179. Let w = y - -107. Suppose -5*r = x - w, -4*x = 3*r + r - 76. Does 7 divide x?
True
Let w = -4 + 12. Suppose -4*j + w + 0 = 0. Let q(k) = 7*k**3 - 2*k**2 + k - 1. Does 17 divide q(j)?
False
Suppose 4*g = 33 + 39. Is 6 a factor of g?
True
Let a(r) = 10*r + 3. Is 12 a factor of a(6)?
False
Suppose f - 2*n - 16 = 95, 465 = 4*f - n. Suppose 5*b - 5*a = 285, 2*b - a = -0*b + f. Is 15 a factor of b?
True
Suppose 3*z = 4*z - 14. Is z a multiple of 4?
False
Suppose 0 = -t + 5*t - 148. Is t a multiple of 11?
False
Suppose -7*a + 2*a = 35. Let x(h) = h**3 + 9*h**2 + 8*h - 10. Does 9 divide x(a)?
False
Let c(x) = 2*x**2 + x - 3. Let u(z) = -4*z**2 - 3*z + 6. Let j(s) = -7*c(s) - 4*u(s). Let v be j(-4). Let q = v - 0. Does 3 divide q?
True
Let y(s) = 25*s - 3. Does 16 divide y(1)?
False
Let l = -6 - -11. Suppose -2*i + l = 3*i. Is (1 + -2)/(i/(-10)) a multiple of 6?
False
Suppose 15*f + 340 = 17*f. Is f a multiple of 18?
False
Suppose -4*n + 452 = 4*c, 3*n + n = -3*c + 344. Does 12 divide c?
True
Is 6 a factor of (-16)/((-21)/(-9) + -3)?
True
Suppose -3*m = -i - 5, 3*m - 4*i = 5 - 3. Suppose 0 = m*b - b - 24. Let u = -15 + b. Is 9 a factor of u?
True
Let x(q) = 8*q**2 - 13*q + 3. Does 15 divide x(5)?
False
Let q be (2/3)/((-2)/(-3)). Suppose -1 - q = 2*n. Is 2 a factor of (-1 - 3)/(-1) - n?
False
Let i = 76 + -49. Does 9 divide i?
True
Is 2 a factor of (5 + -11)*(-4)/6?
True
Let o(c) = -c**2 + c + 3. Let w be o(3). Let d be -4*(-10 - w)*1. Does 2 divide (-5)/(-10)*d/2?
False
Let k = 9 + -7. Suppose -l - 2*l + 83 = k*h, -3*l = -2*h - 79. Is 9 a factor of l?
True
Let x(y) = -y + 7. Let r be x(3). Let z = r + 20. Is z a multiple of 6?
True
Let n(o) = 57*o**2 + 2*o + 6. Let p be n(-3). Does 18 divide p/6 - 2/(-4)?
False
Suppose 5*t - 3*t = 0. Let a be 3 - t - (-2 - -2). Suppose -29 = -a*s + 28. Is s a multiple of 14?
False
Suppose 2*z = 5*z + 240. Let t = 3 + z. Let l = t - -115. Does 19 divide l?
True
Let d = -6 - 0. Is 16 a factor of d/(-9) - (-142)/3?
True
Suppose 2 = 2*n - 2. Suppose -n*u = -u. Suppose -2*l - 2*z + 97 - 23 = u, -90 = -3*l + 4*z. Does 15 divide l?
False
Let j = -5 + 10. Let u(s) = s**3 - 4*s**2 - 2*s + 5. Is u(j) a multiple of 16?
False
Suppose -4*i - 1 + 341 = 0. Does 34 divide i?
False
Let l = -13 - -15. Let a(m) = m + 9. Let k be a(-6). Suppose -p + l*t + 22 = 3*p, 3*t + 9 = k*p. Is 4 a factor of p?
True
Suppose -4*b + 3 = -13. Suppose -h = -3*a + 119, -58 = -4*a + 3*a + b*h. Is 14 a factor of a?
False
Let n be (0 - -49) + (3 - 2). Let p = n - 17. Does 20 divide p?
False
Let c(t) be the second derivative of t**4/12 - 3*t**3/2 + 13*t**2/2 + 3*t. Does 7 divide c(9)?
False
Let w(y) = -2*y + 4. Let x be w(3). Let p = x - -36. Suppose -4*j + 30 = -p. Is 11 a factor of j?
False
Let f(q) = -q**3 - 5*q**2 + 7*q + 8. Let o be f(-6). Let w(b) = 2 + 1 + b**2 + 0*b**o. Does 10 divide w(-3)?
False
Let f be (-275)/22*(1 - 3). Let q = 53 - f. Does 22 divide q?
False
Suppose 0*t - 6 = 2*t, -2*q - 5*t + 77 = 0. Is 23 a factor of q?
True
Suppose -2*w + 24 = -2*j, -j + 5*j + 40 = 2*w. Suppose 4*t - 18 = -50. Is 16 a factor of t/(-1 + (-6)/j)?
True
Suppose 134 + 144 = 2*o - 5*r, 4*o - 5*r - 536 = 0. Is o a multiple of 16?
False
Let t = -136 - -202. Suppose -t = -4*q + q. Is 10 a factor of q?
False
Let i be (-6)/(1 + 5/(-2)). Suppose -r + 2 = 3*g, 0 - 4 = i*r. Is 4 a factor of (-1 - 0)*(g + -8)?
False
Suppose 0 = -2*x + 3*x - 3. Suppose b - 2*t = x*t + 10, 0 = 3*b + 4*t - 11. Suppose f - b*j + 10 = 4*f, 5 = -5*j. Does 3 divide f?
False
Let u(r) = -6*r - 4. Does 14 divide u(-3)?
True
Suppose 2 = -3*z + 11. Suppose 4 = -2*w, -5*a + z*a = -5*w + 90. Is 9 a factor of 5*5/(a/(-36))?
True
Let f(j) = 19*j**2 + j. Let u be f(1). Let t = -35 + u. Let g = t + 35. Is g a multiple of 9?
False
Suppose -26 = -2*g - 2. Let r be (-2)/3 + (-16)/g. Let m = 13 - r. Does 13 divide m?
False
Suppose 3*n + 4*d = -0*n + 64, -78 = -3*n + 3*d. Is 8 a factor of n?
True
Let w(p) = -76*p - 3. Does 32 divide w(-1)?
False
Let p(y) = -y**3 + 6*y**2 + 4*y - 2. Let r be -2 + (-6)/((-6)/3). Let k be -2*9/(-4 + r). Does 8 divide p(k)?
False
Suppose 2*n + d = 100 + 39, 5*n - 340 = -4*d. Is 12 a factor of n?
True
Let r be (2/(-3))/((-12)/18). Let k be (-1 + 3)*4*r. Suppose 0 = -4*j, -5*w = -3*j + k - 53. Is w a multiple of 9?
True
Let j = 14 + -4. Is 5 a factor of j?
True
Suppose -4*v + f + 81 = 6*f, 0 = -2*v + 2*f + 36. Let h =