e -2*x = -4*a - 2, 11 + 3 = 4*x - 3*a. Let q be (-334)/(-1) - (-6)/3. Suppose -q = -x*m + m. Is 28 a factor of m?
True
Let t be 3 + ((-4)/(-2) - -37). Let a = 63 - t. Is a a multiple of 8?
False
Let i(b) = -b**3 + 23*b**2 - 24*b + 8. Let s be i(22). Let t = s + 100. Is t a multiple of 32?
True
Suppose -3*q = -9, 7*h + 4*q = 2*h + 32. Suppose 0 = 2*v - h*i - 8, 0*v - 4*i = -v. Suppose 1 - v = -l. Does 7 divide l?
True
Is 14 a factor of 283360/1150 - 3*(-2)/10?
False
Let h(f) = 5*f**2 + f + 2. Suppose -p - 3 = -2*p. Let d be h(p). Let k = d - 20. Does 6 divide k?
True
Let d be (10/8)/(1/68). Let p = d + -39. Is p a multiple of 23?
True
Suppose -3*n = -5*t + 1359, 4*n + 1362 = 11*t - 6*t. Is t a multiple of 14?
False
Suppose 5*y + 51 = 61. Suppose 3*p - 965 = -y*g, -7*p = -10*p + 4*g + 959. Does 15 divide p?
False
Suppose 0 = -530*d + 527*d + 438. Is 11 a factor of d?
False
Let d(g) = -g**3 + 4*g**2 - 4*g + 5. Let j be d(4). Let s = j - -18. Let h = 17 + s. Does 24 divide h?
True
Let p = -156 - -175. Is p a multiple of 7?
False
Suppose -397 = -7*n + 541. Is n a multiple of 16?
False
Is 12 - 25*(2 + -11) a multiple of 20?
False
Let l be (-3)/(-1) - 11/11. Let h = 8 + l. Is 10 a factor of h?
True
Let f = -772 - -1011. Is 107 a factor of f?
False
Let m(c) = 19*c + 3. Suppose -3*p + 2*k + 2*k = -49, 0 = 4*p - 2*k - 62. Suppose -16*s + 11*s = -p. Is m(s) a multiple of 15?
True
Let j = 174 - 63. Let c = j + -49. Does 31 divide c?
True
Let l = 114 + -113. Let o(p) = 158*p**2 - 5*p + 1. Does 17 divide o(l)?
False
Let u(m) = -4*m + 14. Let o be u(-6). Suppose 2*l - 47 = -k, -2*l = -3*k + k - o. Does 15 divide l?
False
Suppose 77 - 31 = 2*a. Does 3 divide a?
False
Let f(w) = w**3 - 22*w**2 + 24*w - 42. Is f(21) a multiple of 8?
False
Let n(i) = i**2 - 16*i + 9. Let b be n(15). Let a be (b + 4)/(2/6). Is 14 a factor of 52 - a*4/6?
True
Suppose -5*m - 4*d + 6*d + 1377 = 0, -5*m + 1371 = 4*d. Does 25 divide m?
True
Suppose -3*f + 15 = 0, 2*o + 2*f - 94 = 4*f. Suppose 2*c - 102 = -5*v + 5*c, 5*c - o = -4*v. Let k = 30 - v. Is k a multiple of 8?
False
Suppose 24 = 4*p + 4*g - 228, p + 4*g - 60 = 0. Does 4 divide p?
True
Suppose 0*v + 4*v = 4*q + 2884, q + 1 = 0. Is 30 a factor of v?
True
Suppose -4 = 2*n + 4*c, 0 = 5*n - 4*n + 3*c - 3. Let m = n - -67. Is 11 a factor of m?
True
Suppose 0*j = -14*j + 6174. Is j a multiple of 25?
False
Suppose -w + 9 = -2. Suppose -5*l - 1 + 26 = 5*a, -2*a - 10 = -2*l. Let j = l + w. Does 9 divide j?
False
Suppose 8*z + 5016 = 14*z. Is 76 a factor of z?
True
Let d(s) = 0*s + 133 + 5*s - 4*s + 97. Let f be d(0). Suppose 10 + f = 4*k. Does 20 divide k?
True
Let i = -64 - -71. Suppose -5*v + 1 = -14. Does 17 divide (2 - -45) + (i - v)?
True
Suppose -3*o - 78 = -3*a - 7*o, -2*o + 94 = 4*a. Let z = a + -6. Does 8 divide z?
True
Suppose 0 = 19*k - 58 + 1. Suppose 2*w = -3*i + 66, 5*i + 3*w = -24 + 133. Suppose -x + i = k*v - 0, 2*x + 5*v - 44 = 0. Is 16 a factor of x?
True
Let h = 31 - 29. Is 8 a factor of 10 + h - (-2 - -6)?
True
Let s(n) = n**3 + 2*n**2 - 20*n + 39. Is s(5) a multiple of 8?
False
Let z(u) = -12*u + 127. Is 7 a factor of z(-9)?
False
Suppose 7*y = 4*u - 7947 - 913, 11024 = 5*u + 4*y. Is u a multiple of 69?
True
Let z be 18/42 + 75/21. Suppose -p = 3*i + 157, -z*i = 3*p + 14 + 187. Let x = i - -93. Does 5 divide x?
False
Let v = 3 - -1. Let f(n) = n - 2. Let x be f(6). Suppose 4*s = -x*j + 12, -5 + 41 = 2*j - v*s. Is 8 a factor of j?
True
Let n(u) = -u**3 + u**2 + 4*u - 1. Let a be n(-2). Does 3 divide 0 - (-3)/(a/8)?
False
Suppose -6 = 3*o - 3*w, -3*o + o + 5*w = 19. Suppose -115 = -o*z - 22. Is 7 a factor of z?
False
Let z be 6/(-27) + (-40)/(-18). Suppose -z*l + 141 = -5*q, 0*q + 3*q = 5*l - 343. Does 17 divide l?
True
Let j(h) = -h**3 + 9*h**2 + 4*h - 8. Let v(d) = -d - 9. Let u be v(-8). Let n be 3/6*u*-18. Is 14 a factor of j(n)?
True
Let j(q) = 62*q**3 - 4*q**2 + 3*q - 2. Let v(f) = 185*f**3 - 11*f**2 + 9*f - 5. Let n(m) = 11*j(m) - 4*v(m). Is 9 a factor of n(-1)?
False
Let b(j) = 4*j**3 - 5*j**2 + 3*j + 2. Suppose 13*y + 6 = 16*y. Does 5 divide b(y)?
True
Let l = -241 + 411. Suppose q + l = 6*q. Suppose -i + q = -2*o - 21, 5*i - 200 = -5*o. Is i a multiple of 15?
True
Suppose 3*z + 4*c + 673 = 4807, -5*c = 0. Is 106 a factor of z?
True
Let n be 1 + (2 + 2 - 3). Suppose h + 2*h - 3*k = 0, -14 = 5*h + n*k. Let v(a) = -5*a**3 - 2. Is v(h) a multiple of 16?
False
Let v = -1023 - -1373. Is 10 a factor of v?
True
Let z = -724 + 1368. Is 92 a factor of z?
True
Let t(c) be the third derivative of 6*c**2 + 1/30*c**5 - 5/24*c**4 + 0 + 0*c + 7/6*c**3. Is t(5) a multiple of 8?
True
Let g = 39 + -187. Let y be (4/6)/((-4)/6). Is 12 a factor of (g/(-8))/(y/(-2))?
False
Suppose 119*m - 2*l + 350 = 120*m, -4*m = -l - 1364. Does 3 divide m?
True
Is 4/18 - (-3)/((-621)/(-14030)) a multiple of 17?
True
Let m be 1*(1 + 0 - -2). Suppose 2*o - 222 + 238 = 0. Is m/((-12)/o) + 3 a multiple of 3?
False
Let q be (24/(-16))/((-1922)/(-964) + -2). Suppose 275 = 4*x - q. Does 14 divide x?
False
Let g(h) be the second derivative of -1/6*h**3 - h**2 + 6*h + 0. Is g(-7) even?
False
Suppose j + j = -8, -4*j - 81 = 5*o. Let r(h) = h**3 + 15*h**2 + 12*h - 8. Does 33 divide r(o)?
False
Suppose -234*l = -232*l - 800. Does 16 divide l?
True
Let j(z) = 7*z. Let d be j(6). Suppose 0 = -2*x + 2*m + d, -3*m + 4*m = 0. Is 5 a factor of x?
False
Let b(l) = l**2 - 3*l + 2. Let a be b(2). Let g(o) = 1 + a*o + 1 + 2*o - o**3 - 1. Does 3 divide g(-2)?
False
Suppose -2*a - 5012 = -6*a. Does 91 divide a?
False
Let w(n) = n**3 + 17*n**2 + 30*n + 1. Let k be w(-15). Let d(i) = i + 8. Let z be d(-5). Is 82*k - (z - 3) a multiple of 19?
False
Let z(v) be the second derivative of -v**5/20 + v**4/4 + v**3 - 3*v**2/2 + 6*v. Let n(x) = -x**2 - x. Let l(j) = 5*n(j) + z(j). Is l(-3) even?
False
Suppose 18*f - 18200 = 5*f. Is f a multiple of 56?
True
Let s(i) = 2*i**2 - 4*i - 1. Let c be s(3). Suppose 4*q = 4*y + 33 - c, 4*y = 5*q - 30. Suppose -76 = q*a - 6*a. Is 19 a factor of a?
True
Suppose -5*w = 3 - 13, 7014 = 4*a + 5*w. Does 103 divide a?
True
Suppose 2*c = 3*w + 9 + 8, -4*c + 1 = 5*w. Suppose 3*v = c*v - 64. Is 32 a factor of v?
True
Let i = 95 - -409. Does 56 divide i?
True
Let c = -11 - -12. Let w(a) = 3*a + 1. Let s be w(c). Suppose -3*t = -q + 13, s*t + 63 = -5*q + 223. Is q a multiple of 7?
True
Suppose -3*p + 816 = k, 9*k - 10*k + 1088 = 4*p. Is p a multiple of 28?
False
Suppose 0 = -19*r + 1313 + 1119. Does 3 divide r?
False
Is 14 a factor of 2 + ((-25890)/(-35) - (-4)/14)?
True
Let w(h) be the first derivative of h**5/20 + 11*h**4/12 - 5*h**3/2 - h**2 + h - 2. Let c(f) be the first derivative of w(f). Does 11 divide c(-12)?
False
Let s be (-1649)/(-4) - ((-75)/20 + 4). Suppose 3*b - s = -37. Does 14 divide b?
False
Suppose v - 56 = 26. Let z = 37 - v. Is 15 a factor of 6/z*3*-145?
False
Let m(y) = y**2 - y - 6. Let g be m(-2). Suppose -5*v = -g*v - 5, 0 = 3*n + v - 25. Is n a multiple of 3?
False
Let j(p) = 22*p - 16. Let v be j(7). Suppose -v = x + 5*t, 22 + 102 = -x + 2*t. Let l = x - -179. Is l a multiple of 13?
False
Suppose -2*u - l + 2 + 4 = 0, 2*l = -u - 3. Suppose -4*b - u*j = 23, j + 13 = -4*b - b. Let y = b + 53. Is y a multiple of 21?
False
Suppose 60*x = 57*x + 66. Is 11 a factor of x?
True
Suppose -108 = -2*j - 0*j. Let b = j - 34. Is b a multiple of 5?
True
Suppose 3*g - 750 = -2*j, 3*j - 1272 = 3*g - 117. Does 40 divide j?
False
Let o = -124 + 153. Is 11 a factor of o?
False
Suppose 2*h - 2072 = -12*h. Is h a multiple of 4?
True
Suppose 4*l + 10072 = 5*k, -5*l + 8074 = 4*k - 0*l. Suppose -2*m - 10*m = -k. Does 14 divide m?
True
Let x(l) = l + 39. Let k = -6 - -11. Suppose 0*n = k*n. Is 13 a factor of x(n)?
True
Let z = 61 + 172. Let j = z + -66. Does 28 divide j?
False
Suppose 15*q + 90 = 10*q. Let c = 56 + q. Let i = 61 + c. Is 18 a factor of i?
False
Let o(g) = 2*g**3 - 13*g**2 - 10*g + 72. Does 18 divide o(10)?
False
Suppose 0 = 3*d + d. Suppose 3*x - 4*m - 6 = d, 0*m = -2*x + 4*m + 4. Does 7 divide -4 + x - (-25 - -2)?
True
Let v = 28 + -33. Let o(t) = t**3 + 7*t**2 - 2*t - 3. Is o(v) a multiple of 35?
False
Let i be ((-2)/5)/(5/50). Let k = 8 - 5. Is -11*k/(-3) + i a multiple of 7?
True
Let i(m) be the first derivative of -m**6/12