divide x?
True
Let c = 0 + 2. Suppose 2*v - 4 = -d, 0*d = 5*d - c*v - 44. Is d a multiple of 4?
True
Let k(h) be the second derivative of -h**5/20 - h**4/3 - 2*h**3/3 - h. Suppose -3*u + d - 13 = 0, 2 + 7 = u + 3*d. Is k(u) a multiple of 3?
True
Let w(d) = -9*d + 3. Let t be w(3). Let y be 20/(-6)*t/20. Suppose -y*k + 3*k + 16 = 0. Does 16 divide k?
True
Suppose 5*a - 30 = -5*l, 2*l + 2*a - 16 = -a. Suppose -k = -2*h + 70, -6 = 2*h + l*k - 64. Does 11 divide h?
True
Suppose -19*l = -16*l - 183. Does 12 divide l?
False
Let y be (-54)/3*(-4)/6. Let l = y + 14. Does 16 divide l?
False
Let x(n) = 5*n**2 + n - 1. Let i be (6/18)/(2/6). Let g be x(i). Suppose 0 = -g*q + 14 + 101. Does 19 divide q?
False
Let y = -35 + 104. Is 12 a factor of -3 + (-6)/(-9)*y?
False
Is -111*(-1)/(-3)*-1 a multiple of 24?
False
Let b(l) = 2*l + 4. Let s(p) = -5*p - 9. Let i(a) = -5*b(a) - 3*s(a). Is 24 a factor of i(13)?
True
Let n = 103 + 237. Suppose 4*s = -r + 266, -5*r + n = 2*s + 3*s. Is s a multiple of 22?
True
Suppose -d + 2*d + 4*k - 48 = 0, 171 = 3*d + 3*k. Suppose 4*w + d = 4*j - 32, -2*w + 23 = j. Is 6 a factor of j?
False
Suppose 186 = 33*u - 31*u. Is u a multiple of 6?
False
Let n = 38 - 25. Suppose 15*h - n*h = 6. Is 3 a factor of h?
True
Suppose -3*n = -5*y + 304, 4*y - y - 190 = -2*n. Is y a multiple of 14?
False
Suppose 862 = 4*t - 2*y, -8*t + 645 = -5*t - 3*y. Is 27 a factor of t?
True
Let k(s) = s**3 + 10*s**2 + s + 12. Let o be k(-10). Suppose 4*g - 22 = o*y, 5*y = 3*y + 3*g - 21. Does 25 divide 25*(-3)/y*3?
True
Let n(q) = 0 - 1 + 1 + 8*q - 1. Let h be n(2). Suppose -h + 3 = -y. Is y a multiple of 6?
True
Suppose 3*g - 206 = -74. Let f be (-34)/(-8) + 2/(-8). Suppose b = -b - 4*h + g, -f*b = -4*h - 136. Is b a multiple of 15?
True
Suppose -6*x = -13*x + 56. Is x a multiple of 4?
True
Let x be (-2 + (-9)/(-2))*2. Let f be (-15)/2*36/(-27). Suppose f*k = x*k + 75. Is 5 a factor of k?
True
Suppose 22*a - 26*a + 528 = 0. Does 22 divide a?
True
Let l = 5 - 0. Suppose n + y = -3*n + 53, n = -l*y + 18. Is n a multiple of 13?
True
Suppose 2*r - 3*u = -2*u + 25, u = -r + 8. Let f = r + -5. Let s(o) = 2*o - 7. Is s(f) even?
False
Let f(o) be the second derivative of o**4/12 + o**3 - 13*o**2/2 + 3*o. Is 14 a factor of f(-9)?
True
Let y(o) be the third derivative of o**6/120 + o**5/15 - o**4/6 - 2*o**3/3 + 3*o**2. Does 12 divide y(-4)?
True
Let w = 7 - 4. Let f(m) = 3*m + 0 + 3 + 2*m**2 - 4*m + 0. Is f(w) a multiple of 6?
True
Let y be 5*(-3 - 18/(-10)). Let x = 8 + y. Suppose g - 42 = 3*k, 0 = -5*g - x*k + 187 + 57. Is g a multiple of 24?
True
Let n = -88 + 190. Does 17 divide n?
True
Let w(i) = 3*i**3 - 2*i**2 + 2*i. Let m = -4 + 6. Is 13 a factor of w(m)?
False
Let h(x) = -x**3 - 15*x**2 - 17*x + 7. Let b(l) = 2*l**3 + 29*l**2 + 33*l - 13. Let a(w) = -6*b(w) - 11*h(w). Let r be a(-8). Suppose 10*f - r = 5*f. Is f even?
False
Let t(i) = 308*i - 1. Let x be t(1). Let k = x - 138. Let s = k + -107. Is 18 a factor of s?
False
Let z be (0/(2 - 3))/1. Let g be (-3 - (0 - 2))*9. Does 4 divide (0 - g) + (z - 0)?
False
Suppose -4*p - 23 = -3*u + 7, 2*p + 18 = 2*u. Suppose -4*i + 7 = -a, 3*a - u = 2*i + i. Is a a multiple of 4?
False
Let q = 14 - 11. Is 49/q - 2/6 a multiple of 8?
True
Let k = -226 - -321. Is k a multiple of 19?
True
Suppose -5*s - 2 = -22. Suppose -s*l + l = 2*h - 236, -4*l + 348 = -4*h. Is 29 a factor of l?
False
Suppose -3*r + 9 = -0*r, 3*r - 60 = -k. Is k a multiple of 17?
True
Does 6 divide (5 - -7)*9/12?
False
Let j(u) = u**3 - 8*u**2 + u - 10. Let s be j(9). Suppose 2*h = -0*h - 3*g + s, h - 5*g = 14. Is 13 a factor of h?
False
Let c = 28 - -6. Is c a multiple of 6?
False
Let w = -20 - -10. Let t = -2 - w. Is t a multiple of 8?
True
Let j = -4 + -5. Let y(h) = 2*h - 4 + 0*h - 4*h. Is 8 a factor of y(j)?
False
Suppose 2*p + 2 = -t - t, 0 = 2*t + p - 2. Suppose 3*h - 2*j = -7*j + 26, -t*h + 2*j = -61. Is h a multiple of 6?
False
Suppose -276 = 39*s - 41*s. Is s a multiple of 9?
False
Suppose -3*c - 8 = -26. Does 16 divide 129/c*(-4)/(-2)?
False
Let q be ((-1)/(-2))/((-2)/(-8)). Suppose -3*v + 157 = -o + q*o, -3*v = 2*o - 158. Let d = v - 6. Does 23 divide d?
True
Let t(m) = -11*m**3 - 2*m**2 + m. Let a be t(-2). Let j = a + -27. Is 13 a factor of j?
False
Suppose 3*g - 35 = -x + 14, -g = -5. Does 18 divide x?
False
Suppose 3*r - 4*d = -67, 0 = 2*r + 5*d - 23 + 83. Let z be (-2)/4 + r/(-2). Is 0 + 4/(z/9) even?
False
Let a = -9 - -2. Suppose -3*l = -5*l + 24. Let k = a + l. Is 5 a factor of k?
True
Suppose 2*t - 1152 = -7*t. Is 11 a factor of t?
False
Let a be (12/3)/(4/42). Let x = a - 24. Is 9 a factor of x?
True
Let o be 2/(-3) + 3/(-9). Let k(w) = 8*w**2. Is k(o) a multiple of 4?
True
Let r = -8 + 5. Let s be -4 + (-1 - -6) - -9. Is ((-3)/r + 0)*s a multiple of 4?
False
Let s(r) = r - 1. Let u(p) = p. Let x(c) = -2*c**2 - 3*c. Let i(y) = -2*u(y) + x(y). Let f(g) = -i(g) - 4*s(g). Is 19 a factor of f(-3)?
True
Let z(g) = g**3 + 8*g**2 - g - 4. Let d be z(-8). Suppose 0 = 3*x + s + 2*s - 90, 0 = d*s. Is x a multiple of 8?
False
Suppose 2*v + 144 = 6*v. Does 22 divide v?
False
Let s(h) = h**3 + 4*h**2 - 8*h - 2. Does 13 divide s(-4)?
False
Let u(r) = -3*r - 1. Let x be u(-5). Is 172/x - 4/14 a multiple of 12?
True
Let t(h) = -2*h - 6. Let u(q) = 3*q + 12. Let j(c) = -9*t(c) - 5*u(c). Let p be 6/(-9) - (-14)/(-6)*-2. Does 3 divide j(p)?
True
Suppose -q - 37 = -3*o, 2*q + 2*o + 72 = 6*o. Let i = -8 - q. Is i a multiple of 13?
True
Suppose 3*k = -4*p + 22, -p = k + p - 10. Suppose 3*l + 19 = 4. Is 0 - (2 + k)*l a multiple of 7?
False
Let a be 2/(-5)*(2 - 7). Does 5 divide (0 + 1)/(a/36)?
False
Let a(i) = 1 - 3*i - 3*i + i. Is 4 a factor of a(-2)?
False
Let f be (2 - 0)*(-16)/(-2). Suppose n = 2*n - 5, -f = -a + n. Does 6 divide ((-14)/a)/((-2)/81)?
False
Does 28 divide 4 + (-21)/6 + 446/4?
True
Let m be (28/5)/(3/15). Let v = m - 3. Does 25 divide v?
True
Let u(r) = -6*r + 10*r**2 - 4*r**3 + 4*r**3 - 12 + 3*r**3 - 2*r**3. Is 16 a factor of u(-10)?
True
Let i(u) = -u**2 - 6*u + 1. Let q(y) = y**2 - y + 1. Let n(p) = i(p) + 3*q(p). Is 18 a factor of n(9)?
False
Suppose 4*g - 627 = g + 5*h, -5*g - 4*h = -1045. Is 11 a factor of g?
True
Let i(j) be the second derivative of j**4/12 + 2*j**3/3 - 3*j**2 + 3*j. Let a be i(-6). Is 0*3/(-9) + a a multiple of 5?
False
Let y(l) = 2*l**2 - l**2 - 3 - 7*l + 5. Is 2 a factor of y(7)?
True
Let u(p) = p**3 - 2*p**2 + p + 1. Let w be u(2). Suppose -w*x + 128 = -q, x - 3*q - 52 = 2*q. Does 21 divide x?
True
Let z(m) = -m**2 + 5*m + 9. Is 2 a factor of z(5)?
False
Suppose 6*s = 2*s. Suppose -120 = -s*w - 4*w. Does 8 divide w?
False
Suppose -2*w + 2*n - 4 = 0, -4*n - n = -20. Does 19 divide (w/4)/((-1)/(-38))?
True
Suppose 5*h = -u - 32, 2*h - 41 = 3*u + 6*h. Let w(v) = v**3 + 6*v**2 - 11*v - 8. Is w(u) a multiple of 10?
True
Let g(r) = r**3 + 3*r**2 + r. Let l be g(-2). Suppose -20 = l*i + 2*i. Let n = 14 - i. Does 19 divide n?
True
Suppose u - 5*o = 7, 9*o - 4*o = -2*u - 1. Suppose -27 = -5*x - u. Is 10 a factor of (x/2)/(2/8)?
True
Suppose 0 = 5*w + 16 + 94. Let r be 2 - 34/4*4. Let p = w - r. Is p a multiple of 5?
True
Let h = 934 - 559. Does 22 divide h?
False
Suppose -4*m + 13 + 6 = -3*a, 2*m + 2*a = -8. Suppose -5*r + 5 + 5 = 0. Is 5 a factor of (-5)/r*(-2)/m?
True
Let x(s) be the third derivative of s**5/60 - s**4/12 - s**3/2 - 3*s**2. Is 12 a factor of x(-3)?
True
Let u = 20 - 11. Is u a multiple of 9?
True
Let h(x) = x**2 - 18*x + 4. Let b be h(18). Suppose 17 = b*c - 5*j, 0*c + 4*c + j - 35 = 0. Is c a multiple of 8?
True
Does 7 divide ((-194)/(-8) + 3)/((-2)/(-8))?
False
Suppose 3*l = 16 - 7. Suppose 0*b + 108 = l*b. Does 12 divide b?
True
Let i(p) = -p**2 + 14*p - 6. Let c be i(13). Is 9 a factor of 10/35 + 187/c?
True
Let f = 8 + 8. Is f a multiple of 6?
False
Suppose -159 - 29 = 4*x. Let o = -27 - x. Is 16 a factor of (48/(-10))/((-3)/o)?
True
Suppose -2*z + 3*z - 87 = 0. Does 29 divide z?
True
Let r be 1 + -1 + -1 + -1. Let c = r - -6. Is c a multiple of 4?
True
Let n = 38 + -53. Let b = n + 5. Let h = b + 27. Is h a multiple of 17?
True
Suppose -5*r + 2*r + 3 = 2*w, 5*w + 4*r = 11. Let s be w - (-1 - (3 + -4)). Suppose -152 = -s*t - 5*g - 38, 0 = -g. Does 13 divide t?
False
Let z(n) = -32*n - 3. Le