-r. Let p(v) = 21*v**2 + 2*v - 2. Let b be p(-2). Let l = b + r. Is l a multiple of 19?
False
Let x = 92 - -156. Does 23 divide x?
False
Let j(u) = -u**2 - u + 9. Let q be j(7). Suppose -4*z - 5*n = -2*n + 123, 2*n = -4*z - 122. Let m = z - q. Is m a multiple of 17?
True
Let c(u) = 3*u**2 - u - 1. Let b be c(3). Suppose -2*m = m - 5*s + b, -3*m = -s + 19. Is 7 a factor of (3/m)/(1/(-16))?
False
Suppose 3*r + 26 = 131. Suppose y = -4*y - r. Let l = -4 - y. Is l a multiple of 2?
False
Suppose -320 = 20*c - 24*c. Is c a multiple of 8?
True
Suppose 5*g + 3*a - 391 = 98, -a + 99 = g. Is 16 a factor of g?
True
Let g be (-2)/6*(-52 - -10). Is 1 + -2 - g*-1 a multiple of 8?
False
Let y(g) = 16*g - 9. Let m be y(6). Let d = 123 - m. Is 18 a factor of d?
True
Let f = 23 + -14. Does 3 divide f?
True
Let u be (6/(-9) + 1)*12. Let x be ((-2)/(-3))/(u/(-6)). Is 14 a factor of (x + 2 - -1) + 26?
True
Let d = 4 - -13. Let y = d - 3. Suppose 3*o - 25 - y = 0. Does 7 divide o?
False
Let a(n) = -6*n**3 + 8*n**2 + 5*n - 8. Let y(w) = 4*w**3 - 5*w**2 - 3*w + 5. Let v(x) = 5*a(x) + 8*y(x). Let h be v(2). Let l = h + 6. Does 12 divide l?
True
Let f be (-5)/((-2 - 0)/2). Suppose 3*v + 2*v - d = 67, -f*d + 3 = v. Is 13 a factor of v?
True
Suppose -6*g + 11*g - 30 = 0. Is 3 a factor of g?
True
Suppose -5*f - 2 = -3*f - 3*z, z - 4 = 0. Suppose f*r - 42 - 53 = 0. Is r a multiple of 12?
False
Let j be 1/((6/4)/3). Suppose 3*d = 15, -16 = 5*q - j*q - 5*d. Is q even?
False
Let o be 9/4 - (-3)/(-12). Suppose -4*x + 2*p - 6 = 0, o*x = -2*p + 6*p - 12. Suppose -3*q - 61 = -y - 165, 3*q - 5*y - 112 = x. Is 17 a factor of q?
True
Suppose -5*i + 3*x - 60 = -2*x, -21 = i - 4*x. Let g = 21 + i. Suppose 5*r = -3*z + 72, 2*r - g - 20 = -2*z. Is 12 a factor of r?
True
Let c(o) = o**3 + o**2 - o - 1. Let q be c(0). Let n = -3 + q. Does 7 divide n/(-10) + (-206)/(-10)?
True
Let i be 12/9*(-2 - -5). Let n = i + -1. Suppose 4*b - n*f = 23, 0 = 5*b - 3*f + 4 - 29. Is b a multiple of 2?
True
Let z(m) = -23*m - 1. Let o = 8 + -9. Is z(o) a multiple of 6?
False
Suppose 0 = 3*r - 3*z + 93, 0 = r - 0*r - 3*z + 37. Let w = r - -59. Suppose 3*b + 2*s = w, -4*s - 2 = -2*s. Does 4 divide b?
False
Suppose -15*s - 168 = -22*s. Does 2 divide s?
True
Let v(z) = -3*z + 1. Suppose -4*x - x + 15 = 0. Let l be -1 - (5 + -2)/x. Does 7 divide v(l)?
True
Let y = -188 + 314. Does 18 divide y?
True
Let m = 325 - 183. Is m a multiple of 7?
False
Let m(y) = -3*y + 20. Is 16 a factor of m(-11)?
False
Suppose -2*x = -4 - 0. Suppose -66 = -4*s + x*s. Is 11 a factor of s?
True
Suppose -4*l + 14 + 2 = 0. Let v = l + 30. Is 14 a factor of v?
False
Let n(i) = -i**3 - 3*i**2 + 3*i - 1. Let w be n(-4). Is 14 a factor of -3 + w + 36 + 0?
False
Let g = -141 - -177. Is g a multiple of 36?
True
Let p(c) = c**3 - 11*c**2 + 13*c + 2. Suppose 0*l = -5*l + 50. Is 9 a factor of p(l)?
False
Let h(r) = 16*r**3 - 3*r**2 + 2. Let q be h(-2). Is (-1)/(-2)*q/(-1) a multiple of 15?
False
Suppose -7*m + 312 = m. Does 39 divide m?
True
Let p = 11 - 18. Let b be (p + 5)*10/(-4). Suppose -5*h + b*m + 40 = 0, -2 = -2*h - m + 2. Is h a multiple of 4?
True
Let w(v) = 2*v**2 - 7*v - 3. Is w(-5) a multiple of 16?
False
Let u(x) = x**2 + 3*x. Let y be u(-6). Let q = 37 - y. Is 7 a factor of q?
False
Suppose 5 = -s, -496 = w - 5*w - 4*s. Suppose 5*a - w = 31. Does 15 divide a?
False
Let o(l) = l**2 - 4*l - 2. Let d be o(5). Suppose d*p - 2*m = 58, 0*m + 4*m + 50 = 3*p. Is p a multiple of 11?
True
Suppose 0*h + 7 = 5*f + 3*h, -3*f = -2*h - 8. Suppose -f*r - 6 = 0, 0 = -s - r + 3*r + 19. Is s a multiple of 13?
True
Let h(d) = -d - 1. Let o(w) = -6*w + 9. Let u(a) = -3*h(a) - o(a). Is u(4) a multiple of 12?
False
Let l(v) be the first derivative of 2*v**2 - 4*v - 3. Does 12 divide l(4)?
True
Suppose -2*w = 5*u + 32, -2*w - 9 = -2*u - 33. Let y = u - -22. Is 7 a factor of y?
True
Let d = -11 - -10. Is 15 - 2/(-3 - d) a multiple of 8?
True
Suppose r - 9 = 5*v - 27, -3*r - 4*v = -3. Is 10 a factor of r + 58/2 + 4?
True
Suppose -40 = -3*m + 5*t, -2*m = -4*t + t - 27. Let p(b) = -b + 2. Let r be p(-2). Suppose r*w - 29 = m. Does 11 divide w?
True
Let b(w) be the third derivative of w**6/240 + w**5/40 + w**4/6 + 3*w**2. Let m(v) be the second derivative of b(v). Does 16 divide m(9)?
False
Let h(s) = -s**2 - 6*s - 1. Let a be h(-5). Suppose 0*r + a*r = 80. Is r a multiple of 9?
False
Let l(b) = -b**2 + 10*b + 8. Is l(5) a multiple of 8?
False
Suppose 0 = 16*v + 246 - 1206. Is 10 a factor of v?
True
Let p(c) = c - 5. Let l(f) = -2. Let d(q) = 8*l(q) - 3*p(q). Is d(-5) a multiple of 14?
True
Let n(o) = o + 73. Is n(-19) a multiple of 9?
True
Let j(q) = q**2 - 8*q + 1. Let v be j(7). Let w(m) = 3*m + 0*m - 5*m - 7. Is w(v) even?
False
Let a be -1*160/(-2)*1. Suppose a = 4*f + 3*r, 3*f = 3*r - r + 43. Is f a multiple of 6?
False
Let v(l) = 2*l - 15. Let f be v(14). Is (-8)/(-52) - (-180)/f a multiple of 14?
True
Let r = -1 + 10. Suppose 4*j = j + r. Is j a multiple of 2?
False
Let t(o) = 2*o**2 - 48. Is t(7) a multiple of 10?
True
Suppose -u = 3*v - 424, 3*u - 11*v = -8*v + 1248. Is u a multiple of 34?
False
Let x = -22 + 36. Is 9 a factor of x?
False
Let u(r) = 14*r**2 + 2*r + 3. Does 11 divide u(-2)?
True
Let w be -3 + (-2)/(-6)*3. Let m be 70/25 - w/10. Suppose -3*p - 2*v = -m*v - 15, -20 = -4*p - 4*v. Is 5 a factor of p?
True
Suppose -4*g + 3*g = -4. Is 17 a factor of (g/6)/(1/51)?
True
Suppose 2*z = -h + z, 2 = -2*z. Let i(y) be the first derivative of 49*y**3/3 - y**2/2 - 18. Is i(h) a multiple of 16?
True
Suppose -2*m + 153 = 21. Let s be 1/((-3)/132)*1. Let k = m + s. Does 17 divide k?
False
Let b(m) = m**3 - 8*m**2 - 12*m + 7. Let f be b(10). Suppose -3*k + 39 = 5*n, 3*n - f = -5*k + 2*n. Is k a multiple of 18?
True
Suppose 14*j - 13*j = 231. Is j a multiple of 33?
True
Suppose 0 = 5*s - 4*s - 30. Is 14 a factor of s?
False
Suppose 4*y = -14 + 62. Is y a multiple of 3?
True
Let g(s) be the second derivative of s**3/6 + s**2/2 + s. Is 5 a factor of g(12)?
False
Suppose 369 = -6*f + 1053. Does 20 divide f?
False
Suppose 2*g = -60 + 150. Does 4 divide g?
False
Suppose 78 = -6*r + 7*r. Is r a multiple of 14?
False
Suppose -4*p - 307 = -4*s + 1, 3*s - p - 237 = 0. Is s a multiple of 20?
True
Let r(x) = 9*x**2 + 2*x + 3. Let t = 6 - 4. Suppose -t*u = -4*k - k - 6, -u - 4 = k. Is 19 a factor of r(u)?
False
Let t be (9 - 1)/(6/24). Suppose -d = d - t. Is 7 a factor of d?
False
Let k(o) = o**2 - 1. Let s(u) = -4*u**2 + 5*u. Let b(f) = 5*k(f) + s(f). Let h be b(-5). Let q(d) = -2*d. Does 4 divide q(h)?
False
Suppose -4*z = -4*u + 87 - 331, -2*u = 4*z - 274. Suppose q = -0*q + 5*d + z, 2*q - 2*d = 108. Is q a multiple of 23?
False
Let d(v) be the second derivative of v**3/6 + 5*v**2 + 2*v. Does 10 divide d(0)?
True
Suppose 2*l + 19 = 3*l - 5*c, 0 = -2*l - 2*c - 22. Let r = 26 + -6. Is 7 a factor of (-3)/(l/r) + 1?
False
Suppose -4*g = -2*d + 44, 0*g - 2*g = 2*d - 74. Let u = d + 20. Is 17 a factor of u?
False
Let z = 67 - 46. Does 21 divide z?
True
Let r be (-21)/(-5) + 1/(-5). Let w = 163 + -37. Suppose -g + r*g - w = 0. Is 21 a factor of g?
True
Suppose -2*d = -0*v + 2*v, -4*v = 5*d - 4. Let g(t) = -t**3 + 4*t**2 + 6*t - 4. Does 5 divide g(d)?
True
Let v(g) = -g**3 - 6*g**2 - 8*g - 7. Is 2 a factor of v(-5)?
True
Suppose 2*s + 14 = 4*k, -5*k - 3*s = -7*s - 10. Let t(m) = 2*m + 3*m - 3*m + k. Does 18 divide t(6)?
True
Suppose 5*i - 2*j - 121 = 2*j, 2*i + 3*j = 30. Is i a multiple of 21?
True
Let d be 4/12 - 70/(-6). Suppose 4*y - 5*y + 2*x + 15 = 0, 4*x = -d. Is 7 a factor of -2 + 60/y*3?
False
Let h(m) = -m**3 - 5*m**2 + 3. Let t = -9 + 4. Let c be h(t). Suppose 0 = -4*j + 4*x + 148, c*j - 4*x + 5*x - 123 = 0. Is j a multiple of 20?
True
Let p(n) = n**3 + 2*n**2 - 4*n + 2. Let y be (2/4 - 0)*4. Let k be p(y). Suppose z - 5*v = -v - k, -v = -4*z + 35. Is z a multiple of 8?
False
Suppose -7*j = -2*j - 20. Suppose 2*a = 2, f - j*a = 4 + 79. Is 13 a factor of f?
False
Suppose -282 = -5*w - q, 2*q + 240 = 4*w - 2*q. Does 3 divide w?
True
Suppose 3 + 7 = 5*f. Suppose -5*q = 3*t - 24, q - f*q = 2*t - 2. Does 6 divide q?
True
Let f = 2 - 19. Does 13 divide (-4)/(4 - 2)*f?
False
Let q(p) be the first derivative of -p**3/3 + p**2 + 2*p - 1. Let d be q(2). Suppose 2*f