u - y. Is 8 a factor of u?
True
Let z be 10/(-1)*(-12)/30. Suppose -3*b = -z*b + 55. Suppose -2*h + 3*m + 77 = 0, -3*m + b = h + m. Does 17 divide h?
False
Let a(k) = -k**3 + 21*k**2 + 26*k - 48. Is 3 a factor of a(22)?
False
Let h(a) = a**2 + a + 22. Let d be h(0). Suppose -5*c + 5*v = -565, -4*c - 5*v + 336 = -161. Suppose -4*u + c = d. Does 13 divide u?
False
Let y(k) = 3*k - 5. Let h = 10 + -5. Let g be y(h). Let q(n) = n**2 - 10*n + 9. Is 6 a factor of q(g)?
False
Let d(a) = -a**2 - 16*a - 16. Let i(r) = 10*r - 2. Let w be i(-1). Is d(w) a multiple of 13?
False
Suppose 0 = -2*p + 180 + 90. Is p a multiple of 15?
True
Suppose 0*y - 67 = -f + y, -5*f + 355 = -y. Let h = f + -42. Is h a multiple of 15?
True
Suppose 5*j + 0*r - 42 = -4*r, 4*j = -2*r + 30. Suppose j*p = 4*p + 76. Does 11 divide p?
False
Let u(h) be the first derivative of -2*h**2 - 12*h - 5. Is u(-8) a multiple of 20?
True
Suppose -3*s - 848 = -7*s - 3*d, -8 = 2*d. Is 43 a factor of s?
True
Let t(y) = -1 - 4*y + 4 + y**2 + 3*y - 1. Is t(-2) a multiple of 5?
False
Suppose 10 = r - 5*y, -3*y = -5*r - 2*y - 46. Let u(t) = -t**2 - t. Let p(q) = 4*q**2 - 8*q - 14. Let b(n) = p(n) + 5*u(n). Does 11 divide b(r)?
False
Let i = 2 + -2. Suppose 0*v - 5*d + 5 = 5*v, i = -3*v - 4*d. Suppose v*r - 54 - 66 = 0. Is 15 a factor of r?
True
Let l be (-1 + 2)*(-6 + 2). Let r = -4 - l. Suppose 3*p = -r + 30. Is 5 a factor of p?
True
Let h be (4/10)/(5/(-675)). Let o = h - -96. Does 21 divide o?
True
Suppose u + 66 = -3*j + 6*j, -5*j - 3*u + 110 = 0. Suppose -2 + j = 5*q. Suppose 0 = 2*z - 18 + q. Does 7 divide z?
True
Let g be 4/6 - (-6)/(-9). Suppose g = 3*b - 4*b - 14. Let w = 37 + b. Does 11 divide w?
False
Let p(q) be the first derivative of 2 + 7*q - 5/2*q**2. Does 16 divide p(-5)?
True
Suppose -2*f - 2*i = -0*f - 458, -f - 2*i = -227. Suppose 0 = 2*m + 43 - f. Suppose 2*h - 2*u + 14 = m, -3*h + 2*u = -122. Is 21 a factor of h?
True
Suppose -2*w = 2*j + j - 7, w - 9 = 4*j. Is 2 a factor of 3 + ((-12)/4)/j?
True
Suppose 8*o - 3*o = 20. Let j(w) = -w**3 + 5*w**2 - 2*w + 5. Let n be j(o). Does 3 divide (n + -1)/3 + 2?
True
Is 61 a factor of (-1)/(3 - 0 - 184/61)?
True
Suppose -2*k = -6 - 0. Let g(v) = -4*v**3 - 5*v. Let u(z) = -z**3 - 2*z. Let j(o) = -2*g(o) + 7*u(o). Is j(k) a multiple of 9?
False
Suppose 0 = -m + 2*m - 5*q + 4, q = 1. Is -2 + 1 + (7 - m) a multiple of 2?
False
Let u be ((-32)/12)/(4/(-6)). Suppose 3*w - 92 - 37 = -4*h, -u*h = -w - 133. Let a = h - 21. Is 12 a factor of a?
True
Does 11 divide ((-4)/(-10))/(-1) - 22748/(-220)?
False
Let a(d) = -7*d**2 + d + 6. Let v(g) = -g**2 + 1. Let k(i) = a(i) - 5*v(i). Let f be k(-1). Does 18 divide 0/f + 21 - 1?
False
Suppose 0 = 2*a - 1 + 13. Let g be (-2)/a - 2922/(-9). Is (-1)/2 - g/(-10) a multiple of 20?
False
Let j(m) = 5*m**2 - m - 4. Does 10 divide j(-3)?
False
Let s(g) = g**2 - 2*g + 9. Does 33 divide s(6)?
True
Let j be (-6)/(-8) + (-25)/(-4). Is 6/2 + (34 - j) a multiple of 20?
False
Let w(v) = v**3 - v**2 - v + 144. Is 18 a factor of w(0)?
True
Let c(k) = k**2 - 3*k - 2. Let b be c(4). Suppose -b*d + 67 = 7. Is 15 a factor of d?
True
Let a = -5 - -8. Suppose 57 + 45 = a*w. Is 15 a factor of w?
False
Let u(p) = -p**3 - 3*p**2 + 5*p + 3. Suppose 5 = -2*v + 1, -v - 14 = 3*y. Let d be u(y). Let x = 18 + d. Is 17 a factor of x?
True
Let t = 76 - 44. Is 8 a factor of t?
True
Let o = -2 + 24. Does 11 divide o?
True
Let p(b) = b**2 + 10*b. Let f be p(-9). Let n(a) = -a**2 - 11*a + 4. Does 11 divide n(f)?
True
Let f(h) = 10 + h - 7 + 3*h - 3*h - h**2. Is 3 a factor of f(0)?
True
Suppose 0 = 3*d + 1 - 7. Suppose i = 2*u + 53, 0 = 4*i + d*u - 4*u - 230. Does 18 divide i?
False
Let y be 2*(-2 - (1 - -3)). Is 23 a factor of (-525)/(-18) + 2/y?
False
Suppose 0 = -4*s + 4*v - 56, 7*s = 3*s - v - 61. Let d = s + 32. Is 5 a factor of d?
False
Let a be -1 + -1 + 4/2. Suppose a = -4*u + u + 15. Suppose 2*i - u*t - 29 = -2, 0 = i - 3*t - 13. Is i a multiple of 8?
True
Suppose -8*r + 20 = -12. Is 4 a factor of r?
True
Suppose 23 + 10 = 3*i. Is i a multiple of 11?
True
Let h(s) be the first derivative of -s**4/4 - 4*s**3/3 + 5*s**2/2 + 13*s + 4. Is 23 a factor of h(-6)?
False
Let n(v) = v**3 + 5*v**2 + 5*v + 7. Is n(-3) a multiple of 8?
False
Suppose 4*u + 4*d - 56 = 0, -24 = -u - u - d. Suppose 4*z + z - 5*v = -u, 4*z + 2*v - 22 = 0. Suppose 0 = 3*s - z - 33. Does 6 divide s?
True
Let a(c) = -c**3 - 8*c**2 + 2*c + 10. Let h be a(-8). Let g(l) = l**3 + 6*l**2 - 4*l - 3. Does 7 divide g(h)?
True
Suppose w - 5*x - 2 = -3, -1 = -x. Suppose -r = -w*r + 3*s + 33, -4*s - 53 = -5*r. Let y = 27 - r. Is 7 a factor of y?
False
Let d(k) = 2*k**2 - 2*k + 5. Let w be d(6). Suppose -i + w = 4*i. Does 6 divide i?
False
Let a = 29 - 47. Let v = a + 43. Suppose -y = -2*o - 6*y + 23, 3*o - v = 2*y. Does 4 divide o?
False
Let i = 4 + -4. Suppose i*v - 2*v = -20. Is v a multiple of 4?
False
Let t be 1*(16 - 3)/1. Suppose -4*q - 4 = 0, 4*z - q - t = 2*z. Is 4/z - 200/(-6) a multiple of 17?
True
Let a = -9 + 9. Suppose p - 4 - 23 = a. Suppose 0*x = 3*x - p. Does 9 divide x?
True
Let r(m) = m**3 + 11*m**2 + 5*m - 2. Is r(-10) a multiple of 12?
True
Let i(w) = -24*w - 34. Is i(-4) a multiple of 35?
False
Let u(r) = -r**2 + 7*r + 11. Is u(6) a multiple of 17?
True
Suppose l + 2*b + 4 = 0, -4*b - 15 = -l - 7. Let o(g) = 2*g**2 - g + 10. Let z(p) = -p**2 + p - 1. Let c(q) = o(q) + z(q). Does 4 divide c(l)?
False
Let f = 209 + -112. Suppose -3*l + f + 62 = 0. Let j = l - 27. Is j a multiple of 13?
True
Let w be ((-8)/10)/(10/(-25)). Let l(m) = -7 - m**3 + 4*m + 7*m**w + 3*m**3 - m**3. Does 5 divide l(-6)?
True
Let w = 105 - 63. Suppose 0*f = 3*f - w. Let n = f + 1. Is 15 a factor of n?
True
Let a be 1*-3 - (-2 - -1). Let w(k) be the second derivative of 3*k**4/4 - k**2 + k. Is 17 a factor of w(a)?
True
Let d(x) = -4*x. Is 18 a factor of d(-9)?
True
Let f(y) = y - 1. Does 2 divide f(5)?
True
Suppose 6*l = 135 + 219. Does 15 divide l?
False
Let r(w) = -w**3 + 6*w**2 - 4*w - 3. Let g be r(4). Suppose -5*h - 3*a + 70 = g, -5*a + 47 = 3*h. Does 4 divide 14 + -5 + h/3?
True
Let j be 3 + (154 - -3)/1. Suppose -5*x = -4*y + 111, j = 4*y + y - 2*x. Let c = y + -19. Is c a multiple of 15?
True
Does 47 divide 1*9/12 + (-2514)/(-8)?
False
Let q = 3 + -1. Suppose -q*v - 68 = -6*v. Let t = -5 + v. Is 12 a factor of t?
True
Suppose 18 = n + c - 0*c, 5*c = 2*n - 1. Is 16 a factor of (-2)/n + (-496)/(-13)?
False
Suppose 61 = 3*f + k, -4*f - 5*k = -0*k - 74. Is 15 a factor of f?
False
Suppose -o - 4*i = -i - 3, 0 = -5*o + 2*i - 19. Let z be -1 - o/3*5. Suppose -3*t - 6 = 0, z*u + 2*t - 7*t - 98 = 0. Is u a multiple of 11?
True
Does 19 divide (-22594)/(-132) + (-2)/12?
True
Let t be (-2 - 33/(-6))*-4. Suppose -602 = -i - 5*z, -2*i - 2*z - 2*z + 1180 = 0. Does 14 divide (-4)/t - i/(-21)?
True
Let l = -2 + 4. Suppose -2*k + 2*c + 168 = 0, -l*k - 2*c = 2*k - 360. Is 24 a factor of k?
False
Suppose 18*i - 22*i = -84. Let g = 27 - i. Is 6 a factor of g?
True
Let c(l) = l + 1. Let w(b) = -14*b - 12. Let y(u) = 12*c(u) + w(u). Let x be y(-5). Suppose -x - 12 = -g. Is g a multiple of 11?
True
Let y(z) = -z**3 + 3*z**2 + 6*z - 5. Let u be y(4). Suppose -u*l + 17 = -1. Does 10 divide (8/3)/(l/27)?
False
Suppose 0 = -19*n + 24*n + 95. Suppose 3*m + m + 8 = 0. Does 12 divide n/3*(-1 + m)?
False
Let p = 20 - -60. Does 10 divide p?
True
Suppose -2*v - w = v - 8, 5*v - 16 = w. Suppose 0*m = 3*s + 3*m - 285, 2*s + v*m - 192 = 0. Let c = -55 + s. Does 13 divide c?
False
Suppose 0 = -t - 0*t + 47. Let s = 67 - t. Is s a multiple of 17?
False
Is (-820)/(-30) - (-3)/(-9) a multiple of 21?
False
Is (12/(-10)*-85)/(2*1) a multiple of 9?
False
Let u be 4*(-2)/((-16)/(-30)). Let x = -2 - 4. Let r = x - u. Is 8 a factor of r?
False
Is 10 a factor of (-1086)/(-18) - (-3)/(-9)?
True
Suppose -t = -2*t + 4. Let g be 318/(-12) - 2/t. Let k = g - -51. Is k a multiple of 8?
True
Suppose 0 = -7*x + 2*x + 105. Does 4 divide x?
False
Let v(j) be the second derivative of -5*j**3/3 - 2*j. Let m be v(-7). Let u = m - 31. Is u a multiple of 20?
False
Suppose 5*k = 2*f + 15, 9 = 2*k - f + 3. Suppose k*s - 32 = 2*s. Does 8 divide s?
True
Suppose 0 = -5*o + 15, -2*i - 3*o = -6*i - 17. Let m(c) = -26*c. Is m(i) a multiple of 19?
Fa