6)*(-4)/a a multiple of 12?
True
Suppose -8*s + 768 + 32 = 0. Is 4 a factor of s?
True
Let o be 14/8 - 12/16. Suppose 3 = -3*k - 5*p + 12, -5*k + 3*p - 19 = 0. Is 22/((o/k)/(-1)) a multiple of 14?
False
Let b = 57 - 26. Let p be ((-60)/(-50))/(2/5). Suppose -b = -i + p*k + k, 4*i = k + 199. Is 17 a factor of i?
True
Let h(q) = -q**2 - 9*q - 3. Let s be h(-8). Suppose 4*c - 2*c - z = 144, -s*z = -20. Is c a multiple of 11?
False
Suppose 5636 = 10*b + 1186. Is b a multiple of 49?
False
Suppose 3*o = 6 - 24. Let t(z) = 833 - 1663 + 826 - 13*z - 2*z**2. Is t(o) a multiple of 2?
True
Suppose -3*v = -j + 146, 4*v - j + 55 = -138. Let f(y) = -2*y**2 - 3*y + 4. Let u be f(-4). Let a = u - v. Is a a multiple of 12?
False
Let o be (1 - -41)*(-10)/20. Let l(r) = 2*r**2 + 41*r + 31. Is 6 a factor of l(o)?
False
Let g be 1/(-1 - (-60)/56). Suppose 0 = -2*o + 2 - g. Is 351/36*(-16)/o a multiple of 26?
True
Let j(i) = 103*i**2 + 2*i - 2. Is 29 a factor of j(-2)?
True
Let t be (-51)/(-21) - (-2)/((-14)/3). Suppose 0 = -4*u - 2*c + 6*c + 84, -3*u = t*c - 68. Is u a multiple of 3?
False
Is 49 a factor of (383 - -1) + (-6 - 0)?
False
Suppose o + 4*y - 1940 = -o, -5*o - 3*y = -4815. Is 60 a factor of o?
True
Let s = 513 - -240. Suppose g - 7 = -3, -3*a + 3*g = -s. Is 41 a factor of a?
False
Let t = 429 + -109. Suppose -t = o - 9*o. Is o a multiple of 10?
True
Suppose -10*u + 98 = 4*u. Suppose 3*p = u*p - 48. Does 4 divide p?
True
Suppose -5*q = -2*a + 36, -2*q + 12 = 5*a + 38. Does 10 divide (0 + (-150)/21)/(q/56)?
True
Let t = 143 - 127. Suppose -231 = -19*x + t*x. Is x a multiple of 6?
False
Let u = -9 + 14. Suppose 0 = -s + u - 3. Suppose -d - s*d + 168 = 0. Is 17 a factor of d?
False
Let y(i) be the second derivative of -11*i**3/6 - 3*i**2 - 7*i. Is 10 a factor of y(-9)?
False
Suppose 115 = 3*h - 4*k, -h = 3*k - 54 - 6. Let w = 102 - h. Is 19 a factor of w?
True
Let m = 65 - 43. Let u = m + 23. Is u a multiple of 15?
True
Is (117*1)/((-75)/(-10) - 6) a multiple of 2?
True
Suppose 0 = -3*s + 39 - 411. Let y = 228 + s. Suppose 14 = -2*o + y. Is 15 a factor of o?
True
Let l(q) be the first derivative of q**4/4 - 4*q**3/3 - q**2/2 + 4*q + 4. Let c be l(5). Let a = c + -16. Is 8 a factor of a?
True
Let v(a) be the third derivative of 19*a**4/6 - a**3/2 + 25*a**2. Is 45 a factor of v(3)?
True
Let d = 98 - -23. Suppose 0 = -2*p + d - 11. Is p a multiple of 8?
False
Suppose 2*t - v - 17 = 0, -t - 4*v + 3 = v. Suppose -3*p + 5*p = t. Suppose 0 = p*l - l - 63. Does 7 divide l?
True
Suppose -3*v = 2*y - 204, 5*v + 3*y - 240 - 101 = 0. Is 7 a factor of v?
True
Suppose 4*y + 3*f - 2206 = 0, -4*y - 4*f + 544 = -1660. Does 3 divide y?
False
Let u(x) = 17*x - 8 + 15*x + 2. Is 36 a factor of u(5)?
False
Let m = 15 + -10. Suppose 2*o = m*u + 4, u + 0*u - 4 = -2*o. Suppose -2*r + 108 = o*r. Is 15 a factor of r?
False
Suppose -c + 15 = -4*n, 2*n = 3*c - 2*n - 29. Let p be 12/42 + 495/c. Suppose -3*s - 6*u = -11*u - p, 0 = -2*s + 4*u + 50. Is 5 a factor of s?
False
Let w(p) = p**3 - 7*p**2 - 4*p + 1. Let u(z) = -z**2 + 7*z + 2. Let d be u(7). Suppose -d*s - 8 = -3*s. Is w(s) a multiple of 13?
False
Let d = 236 + -164. Does 6 divide d?
True
Let n be ((-905)/(-30) - -2) + 2/(-12). Suppose -n = -3*y + 4. Is 2 a factor of y?
True
Suppose -5*p - 2*s + 3397 = 0, 3*s = -18 + 6. Does 26 divide p?
False
Let n(q) = 5*q**3 + 2*q**2 - 18*q + 3. Is 18 a factor of n(5)?
False
Let f be (-1)/(2*1/(-6)). Let a be -5*(-1 + -3 + f). Suppose 0 = -a*i + 37 + 3. Is 7 a factor of i?
False
Let l(h) = 8*h**2 + 3*h - 2. Let y(u) = -7*u**2 - 3*u + 2. Let a(r) = -5*l(r) - 6*y(r). Is 4 a factor of a(-3)?
False
Let m be (-27)/(-45)*(3 + 2). Suppose -4*w - 2*v = -w - 2, 5*v = -m*w + 5. Suppose w*r = 2*r - 64. Is r a multiple of 16?
True
Suppose 0 = 2*o - 4*o - 58. Let m = o - -56. Is m a multiple of 9?
True
Let y(l) = -7*l**3 + l**2. Let u(d) = -d**3 + 1. Let h(q) = -6*u(q) + y(q). Let a be h(0). Let c = a - -50. Is 22 a factor of c?
True
Let t = 84 - 85. Let g = -1 + -8. Is (-429)/g + t/(-3) a multiple of 16?
True
Let p(n) = 101*n - 60. Is p(4) a multiple of 22?
False
Let t(y) = 8*y**3 - 2*y**2 + y + 2. Let w be t(-1). Let z = w + 13. Does 3 divide z?
False
Let x be 4/(-6)*(-958 - -4). Suppose -5*d = 2*k - x, -2*k + 5*d + 288 = -k. Is k a multiple of 31?
False
Let k = -10 + 18. Suppose -2*r + k = -0, 4*r - 22 = -2*i. Suppose d - 2*o = 102, 2*d + i*o = -o + 180. Is 32 a factor of d?
True
Let l(y) = -5*y**3 - 2*y**2 - y. Let z be l(-1). Let h(n) = 2*n**2 + 1 + n - 1 - z - 2*n. Does 12 divide h(4)?
True
Suppose 4*y - 20 = 3*m, 2*m + 2*y - 10 = -m. Suppose m = -h - 0*h. Suppose -3*x + 43 = 2*q, -x - q - 1 + 16 = h. Does 10 divide x?
False
Let x be (0 - 1) + -4 + -315. Suppose 6*n - 1090 = 11*n. Let q = n - x. Is 26 a factor of q?
False
Let a be -3 + (-6 - -4 - 1). Let z(o) = -3*o**2 - 4*o - 5. Let d(r) = 4*r**2 + 5*r + 4. Let v(k) = a*z(k) - 5*d(k). Does 10 divide v(0)?
True
Suppose -15*u = -0*u - 3045. Does 32 divide u?
False
Suppose -2*u + 9366 = 4*o - 0*u, 0 = -3*o + 3*u + 7047. Is 9 a factor of o?
False
Let p be ((-5)/15)/(2/(-102)). Suppose -52 = 4*f + 5*v, -5*f + 3*v - p = 11. Is f/28 + (-478)/(-7) a multiple of 17?
True
Let w(f) = -17*f**2 - 8*f - 8. Let v be w(-2). Let k = v - -64. Is k even?
True
Suppose 3*i = 2*t - 0*t + 14, -4*t = -4*i + 20. Suppose q - i*q = 0. Is 13 a factor of q + (-8)/(-4) + 59?
False
Suppose -50 = -5*d + 3*i + 51, 5*d = -4*i + 122. Let v be d/6*(-10 - -4). Let o = 45 + v. Is 18 a factor of o?
False
Let a(s) = s**2 + 3*s - 4. Does 8 divide a(6)?
False
Let q(u) be the third derivative of u**6/60 - 11*u**5/60 + 3*u**4/8 + u**3/2 + 3*u**2. Let g be q(7). Suppose 0 = -10*m + 13*m - g. Does 31 divide m?
False
Let q(z) = -7*z**3 - 3*z**2 - 3*z - 5 + 4 + 0. Is q(-1) a multiple of 3?
True
Let c = 82 + -39. Let p(w) = -w**3 - 5*w**2 + 4*w + 3. Let j be p(-4). Let y = j + c. Is y a multiple of 14?
True
Let v(x) = 4*x**3 - x**2 - 2*x - 1. Let d be v(2). Suppose 7*y - 10*y = -15. Suppose -d = -y*i + 137. Is i a multiple of 18?
False
Let j(u) = -4*u. Let i be j(-5). Let r = i - 32. Is 238/6 + 8/r a multiple of 10?
False
Let w(g) = 3*g**2 + 5*g + 19. Let u be w(-8). Suppose j + 22 - u = 0. Is 14 a factor of j?
False
Suppose 2*m - m - 20 = 0. Suppose -5*f - 2*n = 2*n - 50, -5*f + m = -2*n. Does 14 divide (-14)/21 + 400/f?
False
Let l = -1 + 1. Let a be -1*1 - 17/(221/(-52)). Suppose 0 = -l*b + 4*b + 8, 4*b - 28 = -a*h. Is h a multiple of 12?
True
Suppose 0 = -4*v - 3*r + 3473, 3*v - 44*r - 2606 = -45*r. Is v a multiple of 79?
True
Suppose 114 = 2*h - 146. Does 13 divide h?
True
Let w(r) = r**3 - 17*r**2 - 18*r + 19. Suppose 3*t = -f + 58, 2*t - 52 = 3*f - 7*f. Does 19 divide w(t)?
True
Suppose 1962 + 2644 = 47*h. Is 3 a factor of h?
False
Let r = -813 - -837. Is 6 a factor of r?
True
Let n = 14 + -19. Let l(y) be the second derivative of -y**5/20 - y**4/6 + 2*y**3/3 - 5*y**2 + 2*y. Is l(n) a multiple of 14?
False
Let f be (-6)/8 + 9279/(-12). Let o = f + 423. Is 6/(-15) + o/(-15) a multiple of 6?
False
Let i(d) = 7*d**3 + 18*d - 2 - 11*d**3 - 3*d**2 - 14*d + 26*d**3. Does 34 divide i(2)?
True
Let b = 297 + 76. Does 29 divide b?
False
Suppose 0 = -4*a + 31 + 9. Let g = 25 - a. Is g a multiple of 4?
False
Suppose 0 = 5*z - 4*f - 2189, -3*z + 119 = -f - 1200. Is 2*1 + z/7 a multiple of 13?
True
Let v(r) = r - 11. Let c be v(6). Let o = 0 - c. Suppose 0*f + 2*f - 27 = o*g, -18 = -4*f - 2*g. Is 3 a factor of f?
True
Suppose -12*b = -6*b - 18. Suppose 3*a - 2*u - 82 = 22, b*u + 12 = 0. Is a a multiple of 8?
True
Suppose -35*w = -31*w + 1024. Let k = w + 441. Is k a multiple of 59?
False
Let v(o) = -o**3 - 28*o**2 + 23*o + 38. Is v(-29) a multiple of 76?
False
Let w be 31/11 - (-8)/44. Suppose -18 = -0*v + w*v. Let s = v - -16. Does 10 divide s?
True
Suppose -5*x = 0, 0 = -2*h - 4*x + 3 - 1. Is 215*6/8 - h/4 a multiple of 23?
True
Suppose -12*a + 21*a - 5796 = 0. Does 28 divide a?
True
Let c(n) = 4*n - 19. Let i(k) = 7*k - 38. Let u(f) = 5*c(f) - 3*i(f). Let l be u(14). Suppose l*t = -t + 258. Does 9 divide t?
False
Let b(g) = g**3 + 22*g**2 - 116*g + 8. Is b(5) a multiple of 5?
False
Let o(a) = 15*a**3 - 4*a**2 - 15*a + 168. Does 138 divide o(6)?
True
Suppose 0 = 5*j - 2*j - 69. Let t(u) = -26*u**