) be the first derivative of 23*m**3 - m**2 - 2*m - 1. Suppose 3*t - 19*t = 16. Does 14 divide q(t)?
False
Let c be 1*(-4)/8*6. Let p be c/(-6) - (-1045)/10. Does 17 divide p/(-1 + 4) - 1?
True
Let u(g) = 3*g**3 + 4*g**2 - 28*g + 28. Is 11 a factor of u(5)?
True
Suppose 4*l + 3*t = 1798 + 980, -2*l + 5*t + 1402 = 0. Does 29 divide l?
True
Let n be (0 - 2/(-4))/(1/(-6)). Is 9 a factor of (-4 - -2 - n)*90?
True
Let r(t) = 208*t**3 - 12*t**2 + 27*t + 3. Is r(3) a multiple of 26?
False
Let v(k) = 5*k**2 - 16*k + 3. Let w be v(3). Suppose -172 + 7 = -5*p - o, w = -5*o. Is p a multiple of 13?
False
Suppose 0 = -4*o - 4*q + 36, -7 = -0*o - 3*o + q. Suppose -t + o*i + 95 = 0, 3*t - 108 - 107 = -2*i. Does 25 divide t?
True
Suppose 0 = 2*r - 0*r + 2*a + 10, 15 = -r + a. Let n(y) = 2 + 165*y**2 - 9 + 1 - 164*y**2 + 9*y. Is n(r) even?
True
Let u(n) = -n. Let f(k) = -5*k - 5. Let j(l) = -f(l) + 6*u(l). Is j(-5) a multiple of 5?
True
Suppose -18 = -2*k - 8. Let w(d) = -1 + 9*d - 4*d + 8. Does 16 divide w(k)?
True
Is 4 a factor of 7/(-14)*-394 + -5?
True
Suppose 6 = -4*f + 2*m, 3*f - m + 2 = m. Is (-2)/f*(22 - -10) a multiple of 4?
True
Suppose -9837 = -14*c + 5*c. Is c a multiple of 15?
False
Let d = -1 - -10. Let r(n) = -n**2 + 9*n + 11. Let v(a) = 1. Let p(k) = r(k) - 5*v(k). Does 2 divide p(d)?
True
Let h(x) be the second derivative of x**5/10 - x**4/6 - x**3/6 - 5*x**2/2 - 8*x. Is 14 a factor of h(3)?
True
Let c(f) = 16*f**2 + f - 1. Let w be c(2). Suppose 91 + w = 3*z. Let q = z - 22. Does 16 divide q?
False
Let a(n) = n - 29. Let o be a(30). Does 4 divide o/4 - (1265/(-20))/11?
False
Let i = -531 + 544. Is 2 a factor of i?
False
Let w(l) = -5*l**2 + 3*l + 8. Let v(k) = -14*k**2 + 9*k + 23. Let q(x) = -4*v(x) + 11*w(x). Let h be q(4). Suppose 9*m - 7*m - 64 = h. Does 8 divide m?
True
Suppose 3*q = o - 2*q - 427, 866 = 2*o + 2*q. Is 27 a factor of o?
True
Let s(l) = l**2 + 6*l + 7. Let v be s(-5). Let r = 8 - v. Is 6 a factor of r?
True
Let c = 608 - 582. Suppose -4*y + 3*z + 34 = -99, -140 = -4*y - 4*z. Let t = y - c. Is t a multiple of 8?
True
Does 15 divide (-3 + -1)/(-2)*(14 - 1)?
False
Let b = 53 - 11. Suppose p = 5*a - 58, p - b = -3*a - 2*p. Is a a multiple of 6?
True
Suppose 0 = -v - 4*z + 2 - 10, v = 5*z - 53. Does 28 divide 2 - (2 - 0) - v?
True
Suppose -5*k - 62 = 3*m, 0*k - 4*k = -5*m - 128. Let h be (-5)/(-25) - m/5. Let r = h - 0. Is 2 a factor of r?
False
Suppose m + 1 = -5*o - 37, 5*o - m = -42. Let l = o - -12. Is 4 a factor of l?
True
Let u(v) = v - v**3 - v**2 + 3 + 9*v**3 - 9*v**3 + 6*v**2. Is 2 a factor of u(4)?
False
Let g = 95 + -42. Let j = g + -5. Does 8 divide j?
True
Let w(r) = 16*r - 261. Is 4 a factor of w(24)?
False
Suppose 1632 - 1387 = 5*w. Is w a multiple of 4?
False
Let a(z) = z**3 + 7*z**2 + 4*z - 1. Let l be a(-6). Is 13 a factor of 4 + 1 + l + (1 - -1)?
False
Let y be 2*1 + (6 - 3). Suppose -6*x + 25 = -x, 0 = y*v - 3*x - 5. Suppose -6 = 4*c + 6, v*c - 20 = -2*j. Is j a multiple of 16?
True
Let v(a) = a**3 + 16*a**2 + 17*a + 13. Is 30 a factor of v(-8)?
False
Suppose 2*z - 83 = -h, 0 = -11*z + 15*z - 4. Does 3 divide h?
True
Suppose 8*v - 954 = 2*v. Is 3 a factor of v?
True
Is (-134)/((-6)/(-7 + 175)) a multiple of 28?
True
Suppose 0 = 3*g + 9, 13*g = 4*o + 15*g - 710. Does 86 divide o?
False
Let i(m) = -m**3 - 12*m**2 - 12*m - 20. Let q be i(-8). Let x = q + 299. Does 17 divide x?
True
Let j(w) = 368*w**2 - w + 1. Does 36 divide j(1)?
False
Let w = -2 + 6. Let r(q) = 3*q**2 - 17*q - 10. Let k(i) = 3*i**2 - 19*i - 12. Let y(p) = -6*k(p) + 7*r(p). Does 10 divide y(w)?
True
Suppose -33*w = -7656 - 13860. Does 69 divide w?
False
Let a(p) = p + 15. Let k be a(-10). Suppose c = -4*o - k, -c = -4*c + o + 24. Suppose 2*i + n = -2*n + 9, -3*i + c = -2*n. Is 3 a factor of i?
True
Suppose 3*k - k = -3*d + 356, -5*d + 595 = 5*k. Let f = 235 - d. Does 29 divide f?
False
Let h = 116 - 88. Is 0*5/25 + h a multiple of 4?
True
Is 55 a factor of 172360/62*1/4?
False
Let x(z) be the second derivative of z**3/3 + z**2 + 8*z. Is 7 a factor of x(6)?
True
Let c be ((-1)/(-3))/(7/2667). Suppose -c = -2*a + 3*i, 5*a + 3*i - i = 327. Does 13 divide a?
True
Suppose 0*v = -5*v - 5*x + 40, -38 = -4*v + 2*x. Suppose 8*h - 5*h - v = 0. Let b = 19 - h. Is 5 a factor of b?
False
Let c be ((-4)/6)/((60/99)/(-10)). Let u = 7 + c. Is 13 a factor of u?
False
Suppose 5*n - 15 = 30. Let z be 1/((-6)/n - -1). Suppose -92 = -4*i - 4*x, -x + 1 = z. Does 15 divide i?
False
Suppose 2*v + 22 = 5*l + 285, 0 = v + 3*l - 104. Does 5 divide v?
False
Let j be (-3 + 6)/3 - -2. Suppose -2 = j*b - 17. Suppose -b*p + 242 = 67. Is p a multiple of 20?
False
Let h(m) = 7*m**2 - 47*m**2 + 22*m + 7*m**2 + 3 + 32*m**2. Let l be 1/2 + 51/6. Is 14 a factor of h(l)?
False
Is 2206/10 - 105/175 a multiple of 44?
True
Suppose 17 = 3*g + 4*c, 2*c - 2 = c. Does 9 divide ((-27)/12)/(g/(-228))?
True
Let u = -90 - -61. Is (-5 - -2)/(3/u) a multiple of 8?
False
Let s(p) = p + 18. Let h be s(-14). Let m(f) = -f**2 - 9*f - 7. Let z be m(-6). Suppose 23 + z = 2*g - h*x, -x = 2. Is 4 a factor of g?
False
Let h = 502 - 267. Suppose -4 = -u, 37 = 5*t - 2*u + h. Is 2 - t - (5 + -4) a multiple of 10?
False
Suppose 0 = 3*m - 4*u - 1, -m - 3*u = 2*u - 13. Suppose -211 = -q - m*c, 3*q - 623 = -5*c + c. Does 22 divide q?
False
Suppose 10*x - 8 = 6*x, 3*y = 3*x + 3972. Is 34 a factor of y?
True
Let n = -726 + 1017. Does 27 divide n?
False
Suppose 3*f + 68 = 2*z, 4*z + 2*f = 7*z - 107. Suppose -42*w + 840 = -z*w. Is 8 a factor of w?
True
Let l be 2/(0 - 2) + 0. Suppose 5*f - 3*f - 15 = -g, -g + 25 = 4*f. Let n = l + f. Is n a multiple of 2?
True
Let d = 401 - -537. Is 34 a factor of d?
False
Let b(a) = -13*a**3 + 2*a**2 + 2*a + 3. Is 11 a factor of b(-3)?
False
Suppose 0*y - 2*y + 4 = 0. Suppose -y*k + 4 = -d - 0*d, 0 = -4*k + 8. Is (d + 3)/((-11)/(-77)) a multiple of 21?
True
Suppose m + 5*l = 3 + 17, -3*m + 6 = -3*l. Suppose m*g = 138 + 62. Is 5 a factor of g?
True
Suppose 0 = -5*r - 2 + 12. Let w be 5/(r/((-2)/1)). Let x(o) = 2*o**2 + 6*o - 7. Is 10 a factor of x(w)?
False
Let b be (-23)/(-7) - (-34)/(-119). Is 1/(b + (-1436)/480) a multiple of 16?
False
Suppose -1062 = -f + 2*j, f - 2*f + 1053 = j. Is 11 a factor of f?
True
Suppose -56*x + 8387 = -108989. Is 16 a factor of x?
True
Let n(m) = m**3 + 10*m**2 + 3*m + 2. Let s be n(-9). Does 30 divide (-2577)/(-21) + 16/s?
False
Suppose -q = -4*b + 36, -b - 5*q + 9 = -2*q. Let f = b + -8. Suppose 0 = -5*s - f + 41. Is s a multiple of 4?
True
Suppose 0 = -2*z - 6*z + 216. Is z a multiple of 9?
True
Let b(p) = 3*p - 22. Is b(38) even?
True
Let c = 4193 - 2932. Is c a multiple of 13?
True
Suppose -t + 13 = x + x, t + 22 = 5*x. Let i(p) = -p**2 + 5*p - 4. Let o be i(t). Does 10 divide (210/49)/(o/14)?
True
Suppose -3*t - 40 - 89 = 0. Let n = 103 + t. Suppose -6*a + 12 + n = 0. Is a a multiple of 3?
True
Let m(l) = l**3 - 5*l**2 - 23*l - 11. Let y be m(8). Does 8 divide 120*((-9)/12 + y/(-2))?
False
Let o(s) = -s**2 + 18*s + 19. Let k be o(14). Suppose 4 = 4*n, -2*l = -n - 2*n - k. Let d = l + -25. Is 10 a factor of d?
False
Let g(a) = 7*a**2 + 21*a + 2. Let q(r) = r**3 + 19*r**2 + 20*r + 29. Let j be q(-18). Is g(j) a multiple of 11?
True
Suppose -12*u = -15*u - 3*p + 642, u = -4*p + 220. Is 53 a factor of u?
True
Let b be ((-110)/(-25))/(4/10). Let j = b - -13. Is 15 a factor of 0 - -55 - j/(-8)?
False
Let r(a) = a**2. Let y be r(-2). Suppose -2*u = -6*u + y. Is 5 a factor of (u - -9) + 0/3?
True
Suppose -63954 = 24*h - 75*h. Is h a multiple of 5?
False
Suppose 14 = w + 3*f - 136, -420 = -3*w - 3*f. Suppose 0 = 5*m + 195 + w. Let n = m + 126. Is 15 a factor of n?
True
Suppose 0*c - c = 2. Let l = c - -4. Is 7 - 4 - (1 - l) a multiple of 3?
False
Let c = -104 - -704. Suppose c = 20*w - 8*w. Does 18 divide w?
False
Let p(n) = -n**2 + 53*n - 194. Does 51 divide p(19)?
False
Let v(x) be the second derivative of 0 + 1/6*x**3 - 10*x - 6*x**2. Is v(14) even?
True
Let r = 300 - 143. Does 9 divide r?
False
Is 2279 + (8/32)/((-1)/(-12)) a multiple of 33?
False
Suppose -11*k + 128 = -7*k. Let l = k - 24. Does 30 divide (-3)/12 - (-602)/l?
False
Let c(p) = -2*p + 137. Is c(8) a multiple of 8?
False
Let x = 1579 + -1327. Does 18 divide x?
True
Suppose 8 - 6 = 2