m*o - 20 - 5 = 0. Suppose 42 = -o*y + 222. Is 10 a factor of y?
False
Let p = 263 - 105. Does 32 divide p?
False
Is 11 a factor of 264/(-18)*(-27)/6?
True
Let x(i) = 2*i + 15. Is 3 a factor of x(6)?
True
Is 7 a factor of ((-21)/2)/((-6)/4)?
True
Suppose -p + 4 - 2 = h, 0 = -h + 1. Does 10 divide (-51)/(-12)*8*p?
False
Does 9 divide (-42)/5*(-60)/8?
True
Suppose -r - 5*b = 3*r + 82, 0 = -5*r - 4*b - 107. Let t = r - -38. Does 5 divide t?
True
Suppose 4*v + 5*s + 27 = 0, 3*v + 5*s + 9 = -10. Let f = v + 11. Suppose f*i = 6 - 0. Is 2 a factor of i?
True
Suppose -2*y + 34 = 3*m, 11 + 5 = m + 3*y. Does 21 divide (126/(-30))/((-2)/m)?
True
Suppose -29*f + 25*f = -180. Does 4 divide f?
False
Suppose -5*l - 532 = -4*s, 4*s + 2*l = -254 + 758. Does 16 divide s?
True
Let x be -2 - (1 + -4 + 0). Suppose 5*a - 21 = -x. Suppose 5*k - 92 = 4*n - 3*n, a*n + 83 = 5*k. Is 19 a factor of k?
True
Let a be (-2)/(-10)*-2*-10. Suppose 0 = -2*d + a + 48. Is 13 a factor of d?
True
Let t(d) = d - 3. Let b be t(6). Suppose 0 = -b*h + 61 + 17. Is 9 a factor of h?
False
Let d(c) = c**3 + 3*c**2 + c - 1. Let w be d(-2). Does 8 divide (-3 - w)*84/(-16)?
False
Let u = 15 + -9. Let l = u - 2. Suppose 0 = g + 5*w - 39, 0*g - l*g + 4*w + 60 = 0. Does 19 divide g?
True
Suppose 0 = -2*z - 6, -z - 1464 = -5*g - 3*z. Is g a multiple of 15?
False
Let f(u) = u**3 - 6*u**2 + 6*u + 7. Let i be f(5). Suppose -p - i = -3*p. Is 6 a factor of p?
True
Is (21/2 + 3)/(2/4) a multiple of 13?
False
Suppose 5*y - 189 = -2*y. Is y a multiple of 5?
False
Suppose -2*a + o = -1, 2*a + 0*o + 4 = -4*o. Suppose a = 4*t - 0*t. Let p = 8 - t. Does 4 divide p?
True
Let d(x) be the first derivative of 21*x**2/2 - 4*x - 3. Let p be d(3). Suppose 3*r + p - 15 = 2*h, -3*r = -3*h + 63. Is 7 a factor of h?
False
Let k = -1 + 13. Is k a multiple of 4?
True
Let w(m) = 2*m. Let t be w(7). Let v = t + -5. Does 9 divide v?
True
Let q(b) = -3*b - 11. Let o be q(-10). Let f = o - 10. Is 9 a factor of f?
True
Is 8 a factor of 1*(4 + 0) + 4?
True
Suppose 2*s - 5*k = -11, -4*s + 5 = -k - 0. Suppose -x + 3*g = -38, -6*x + s*g = -3*x - 114. Does 19 divide x?
True
Let k = 161 - 142. Is k a multiple of 10?
False
Let z(r) = 3*r**2 - 4*r - 3. Let b be z(-4). Suppose -3*o + 59 = -b. Does 20 divide o?
True
Let f be -5*(42/(-15) + 2). Suppose x + f - 26 = 0. Is 12 a factor of x?
False
Suppose -5*y - 7 = -3*y + 3*k, y - 19 = 3*k. Let w = 9 + y. Suppose -4*x - 26 = -3*j, -65 = -5*j - 2*x - w. Is j a multiple of 5?
True
Suppose 0 = -7*u + 2*u + 135. Suppose 4*l = 45 + u. Is l a multiple of 9?
True
Suppose h + 33 = 3*h + 5*a, h + 4*a = 24. Suppose -20 = -h*p + 2*v, -3*v = -2*p + 6 - 0. Is p a multiple of 4?
False
Let n(h) = -2*h**2 + 34*h + 9. Does 21 divide n(15)?
False
Suppose -3*o = -o - 8. Let p(k) = 2*k**3 - 13*k**2 - 15*k + 7. Let n(y) = -3*y**3 + 14*y**2 + 16*y - 6. Let d(j) = o*p(j) + 3*n(j). Is 13 a factor of d(-9)?
False
Is 9/12*364/7 a multiple of 12?
False
Suppose -2*s - 10 = -3*w - 0, -5*w = -3*s - 15. Let c be 4*(-1 - 3/6). Is (s - c)/((-2)/(-62)) a multiple of 9?
False
Let x = -176 - -308. Suppose -4*z = -4*p - 104, 2*z + 4*p + x = 7*z. Does 7 divide z?
True
Let q be 2 - (-1 + 155 - -1). Let v = -43 - q. Let w = -70 + v. Does 20 divide w?
True
Let k(i) = i**3 - 9*i**2 + 8*i + 4. Let d be k(8). Let s(r) = r**2 - 4. Does 12 divide s(d)?
True
Let m(c) = 4*c**3 - 6*c + 27. Let w(s) = 3*s**3 - 5*s + 26. Let a(i) = -4*m(i) + 5*w(i). Is 11 a factor of a(0)?
True
Let h = -50 + 108. Is h a multiple of 17?
False
Suppose 7*z = 8*z - 99. Is z a multiple of 8?
False
Let n = 8 - 4. Let r = 7 - n. Suppose r*f = -24 + 69. Is 15 a factor of f?
True
Let s be (-3)/(-2)*(-78)/(-9). Let a(i) = -i**3 + i**2 + 5*i - 4. Let c be a(3). Let b = c + s. Is b even?
True
Let o(q) = 25*q**3 + 2*q**2 + 2*q + 1. Let z be o(-1). Is 4 a factor of (z/10)/(24/(-80))?
True
Let z be -3 + 0 + 6 - -1. Suppose -3*i = -z*q - q + 368, -4*i = -4*q + 288. Suppose 4*w - q = 32. Is w a multiple of 9?
True
Suppose 2*w + 6 = 3*j - 3, -4*j = w - 23. Suppose -j*o + k = 4*k - 120, 4*o - 93 = -3*k. Is o a multiple of 13?
False
Let y = -4 + 5. Let k(g) = 9*g**2 + 1. Is k(y) a multiple of 5?
True
Let c be 59*(-2)/(-4)*2. Suppose -73 - c = -3*u. Is u a multiple of 16?
False
Suppose -4*f - 3*h + 4*h = 21, f = 3*h - 19. Let s = 23 + f. Is s a multiple of 7?
False
Let w(t) be the third derivative of t**4/8 - 2*t**3 + 2*t**2. Does 7 divide w(11)?
True
Let g(j) = -j**3 - 3*j**2 + 4*j + 12. Is 15 a factor of g(-6)?
False
Suppose 4 = -3*n + 19. Let u(k) = -k**3 + 5*k**2 + 7. Let g be u(n). Let x(t) = -t**3 + 8*t**2 - 2*t - 5. Is x(g) a multiple of 15?
True
Suppose 3*b = -3 + 18. Let y be (-3)/1*1 + 1. Does 11 divide (b + y)*11/3?
True
Let s be ((-15)/25)/(2/(-10)). Suppose 95 = 5*g - s*h, -2*g - 3*g = 2*h - 120. Is g a multiple of 11?
True
Let n = -61 + 123. Suppose 2*t + 26 = n. Does 9 divide t?
True
Let k be (-2579)/2 - 4/8. Is (-2)/(-12) - k/36 a multiple of 9?
True
Let n(j) = -j**2 - 14*j - 14. Let v be n(-13). Let q = 31 + v. Is q a multiple of 10?
True
Suppose 4*p + 2*b - 70 = 0, 21 = 4*p - 4*b - 55. Is p a multiple of 9?
True
Suppose -92 = -3*i + 2*g, 158 = 3*i + 2*i - g. Let x = 49 - i. Is 17 a factor of x?
True
Let b(s) = -19*s + 1. Is 13 a factor of b(-2)?
True
Suppose 2*x + 5*d = 5*x - 24, 2*x - 4*d = 16. Is 4 a factor of (x - 0)*40/16?
True
Is 23 a factor of ((-9)/6)/(30/(-1420))?
False
Let g(r) = r**2. Let b be g(2). Suppose -b*q + 218 = -i, -4*i + 0*i - 116 = -2*q. Is q a multiple of 19?
False
Let y be 15/(-5) - (-85)/(-1). Let z = -58 - y. Is z a multiple of 10?
True
Suppose -6*q + 141 = -3*q. Is 3 a factor of q?
False
Suppose 0 = 11*v - 1237 + 324. Is 16 a factor of v?
False
Suppose 0 = 2*t + 4, -l + 6*t = t - 14. Is l a multiple of 4?
True
Let x(n) = 2*n - 2. Let r be x(2). Suppose -6*b + 203 = 5*c - r*b, 2*b = 3*c - 113. Is c a multiple of 17?
False
Let u = -10 + 14. Suppose 4*n + u*g - 120 = 0, -2*n = -g - 71 + 23. Is 18 a factor of n?
False
Let l be 81/15 + (-4)/10. Suppose -3*b + 17 = m + 7, b - l*m = -2. Suppose 60 = b*a + a. Does 10 divide a?
False
Does 9 divide 2880/(-27)*12*(-3)/15?
False
Let f(w) = -5*w - 5. Suppose -45 = x + 4*x. Let b(v) = v**3 + 8*v**2 - 8*v + 5. Let m be b(x). Is 15 a factor of f(m)?
True
Suppose w = 5*w. Suppose 4*b + w*b - 8 = 0. Suppose -b*o - 27 = -z, 0 = 3*z + z - o - 73. Is z a multiple of 7?
False
Does 5 divide (-24)/96 + (-82)/(-8)?
True
Does 13 divide (-2)/(-6) + (-232)/(-6)?
True
Suppose -6*h = -4*h + 2*q - 6, 3*h - 5*q = -31. Let s(n) = 11*n**2 + n. Let j be s(h). Is 1/(j/39 - 1) a multiple of 13?
True
Let g(u) be the third derivative of 5*u**4/4 - 3*u**2. Is g(2) a multiple of 20?
True
Does 7 divide (1 - 9/6)*4 + 73?
False
Suppose 0 = 17*r - 465 - 963. Does 14 divide r?
True
Let l = 138 - 98. Does 8 divide l?
True
Let p be 11/3 + (-3)/(-9). Is ((-5)/2)/((-2)/p) a multiple of 2?
False
Suppose 15 = b - 3*l, -b - 3*l = -3*b + 15. Suppose -4*r + 3*d + 1 = b, -5*r - d + 6 = -0. Suppose 0 = -3*i + 5*n + 8, r = -n + 3. Is i a multiple of 6?
True
Let h be (104/(-10))/((-2)/10). Let r = h + -18. Does 17 divide r?
True
Suppose 2*o + 4 = 3*o. Suppose -5*z = -o*z - 12. Does 6 divide z?
True
Let y(t) be the third derivative of -t**4/6 - 4*t**3/3 - 4*t**2. Does 10 divide y(-7)?
True
Let r = 0 + 2. Suppose 2*c = -2*c - 2*i + 164, 124 = 3*c + r*i. Does 14 divide c?
False
Let d = 72 - 50. Is 3 a factor of d?
False
Suppose -4*p + 7 = 2*u - 21, 0 = -5*u + p + 70. Suppose -2*i = -4, 0 = 2*a + 3*i - 110 - u. Does 15 divide a?
False
Let u = -93 - -130. Let c = u - 21. Let s = 75 - c. Is s a multiple of 23?
False
Suppose 0 = 7*b + 4*b + 11. Suppose -4*m + 0*r = 4*r - 192, -4*m + r = -197. Let l = b + m. Is l a multiple of 16?
True
Let r be 2*(626/4 + 0). Suppose 3*s = 2*s - o + 59, 5*s - 4*o - r = 0. Is s a multiple of 30?
False
Suppose 3*g = 4*g - 2. Let f be g/(-4) + 217/2. Let n = f - 75. Does 11 divide n?
True
Let h be 6284/28 - (-3)/(-7). Suppose -h = -7*m + 3*m. Is m a multiple of 23?
False
Let h(y) = 3*y - 5. Does 8 divide h(7)?
True
Let b = 333 - 193. Is b a multiple of 25?
False
Suppose 0*x - 8 = -x. Let c(v) be the third derivative of v**5/30 - 11*v**4/24 - v**3/2 - v**2. Does 12 divide c(x)?
False
Let d = 12 - -11. Does 15 divide