ltiple of 12?
False
Let v be (-932)/(-6) - (-16)/24. Let q = -56 + v. Does 27 divide q?
False
Is 59 a factor of (-16500)/(-76) + (-16)/152?
False
Suppose -5*h + 5 + 5 = 0, -5*h = -2*y + 180. Does 21 divide y?
False
Suppose 1175 + 253 = 6*y. Is 16 a factor of y?
False
Is 33 a factor of 34*15*(4 - (-24)/(-15))?
False
Let b(p) = -2*p + 36. Let g be b(17). Suppose g*q = -0*q + 80. Is q a multiple of 6?
False
Suppose -3*k - 5 = -17. Let d be (-164)/2*(2 - k). Suppose -4*x - n = -d, x + 4*n - 110 = -2*x. Is 13 a factor of x?
False
Let u be 302/2 + (-3)/(-1). Let j = 233 - u. Let o = j - 52. Is 27 a factor of o?
True
Suppose 3*i = -3*t + 37 + 11, -2*i = 5*t - 68. Let q = t - 14. Is (12/(-15))/(q/15) a multiple of 6?
True
Suppose -g + 3*b = -20, -2*g - 2*g + 28 = b. Suppose 0 = -12*m + g*m + 132. Does 15 divide m?
False
Suppose -v = 2*v - 3. Let h be (-4 - -2) + 5 + 3. Suppose r - h = v. Is r a multiple of 7?
True
Let q = -1996 + 711. Does 23 divide (3 - q/15)*(0 + 3)?
False
Let x be (2 - (-3 - -3)) + 3. Suppose 0*w = x*w. Suppose w*n + 3*s + 33 = 3*n, -2*n = -3*s - 19. Is 7 a factor of n?
True
Suppose -2*s - u = -1141, 5*s - 101 = -3*u + 2753. Is s a multiple of 3?
False
Suppose 19*i - 17*i = -4. Does 4 divide (i/(-3))/((-9)/(-1134))?
True
Suppose -884*i + 7480 = -873*i. Does 34 divide i?
True
Suppose 4*t - 3*t + 13 = 0. Let y(u) = -5*u + 9. Is y(t) a multiple of 23?
False
Suppose -4*k - 3*n = 8 + 8, -4*n + 16 = 0. Let h = 124 - 59. Let w = h + k. Is w a multiple of 8?
False
Suppose 2*q = -2, 5*u + 18 = -5*q - 52. Let b = -13 - u. Suppose 4*l + 4*n = 23 + 33, b = 3*l - 3*n - 48. Is l a multiple of 3?
True
Let h(b) = 2*b**3 + 60*b**2 + 58*b + 8. Is 80 a factor of h(-27)?
False
Let u = -374 - -543. Let o be 94*-1 - 0/1. Let z = o + u. Does 25 divide z?
True
Let k(o) = -o**2 - 11*o - 3. Let s(w) be the second derivative of w**3/6 + w**2/2 - 6*w. Let g(n) = k(n) - 6*s(n). Is g(-12) a multiple of 15?
False
Let n(l) = -20*l + 261. Is 39 a factor of n(0)?
False
Let v(n) = n + 23. Let p(w) = w - 3. Let d be p(3). Let s be (0 - d)*(-2)/(-4). Does 8 divide v(s)?
False
Let d = -65 + 76. Let a = 47 - d. Is a a multiple of 12?
True
Suppose 4*u = -3*a + 3*u + 69, 76 = 4*a - 4*u. Suppose -a*r + 25*r - 114 = 0. Does 19 divide r?
True
Let v be (-240)/(-18)*(-297)/(-6). Suppose -2*d + v = 4*w, 4*w + w = -4*d + 1335. Is d a multiple of 10?
True
Suppose 0 = -2*c + 5*c - 27. Does 4 divide -5*4/(-10)*1*c?
False
Suppose -7604*n + 7602*n + 4292 = 0. Is n a multiple of 17?
False
Let n be (2/(-2))/(-1) + 139. Suppose 3*p + p + n = 0. Is (24/(-7))/(10/p) a multiple of 4?
True
Suppose -7*r + 174 = -36. Is r a multiple of 3?
True
Suppose 0 = -6*c + 7*c - 5. Let k be c/(2 - (2 - 1)). Suppose 6*i = k*i + 6. Does 2 divide i?
True
Let r(p) = -p**2 - 8*p - 2. Let m be r(-7). Let x(z) = -z**3 + 5*z**2 + 2*z + 6. Is 15 a factor of x(m)?
False
Is 9 a factor of (1 - (-51)/(-6))*204/(-10)?
True
Is 26 a factor of 6/8 - (-4370)/40?
False
Let x(n) be the first derivative of n**6/12 + n**5/60 - n**4/12 + n**3 - 2. Let a(b) be the third derivative of x(b). Is a(1) a multiple of 8?
False
Suppose -h - 4*v = -917, -5*h - 2*v + 1816 = -3*h. Is h a multiple of 42?
False
Let r = -8 + 8. Let z(i) = -2*i + 31. Is 31 a factor of z(r)?
True
Let w be (-2 + 2 - -11)/(-1). Let r be 10 + w + (-3)/(-1). Is 9 a factor of ((-405)/(-18))/(1/r)?
True
Let x = 36 + -32. Let v(s) = -s**3 + 6*s**2 - s - 2. Does 24 divide v(x)?
False
Let d(s) = 24*s - 3. Let r = -19 + 29. Does 14 divide d(r)?
False
Suppose -4*p = -p + 21. Is 9 a factor of p/(84/(-8)) - 344/(-6)?
False
Let b(l) = -l**3 - 11*l**2 - 10*l - 8. Let z be b(-10). Let t be z*2/(-8)*2. Is 8 a factor of (2/(-1))/((-1)/t)?
True
Suppose 0 = -8*m + 1151 + 385. Does 13 divide m?
False
Let o(w) = -w**2 - w - 1. Let t(p) = 60 - p + 2*p - 61. Let a(m) = -o(m) + t(m). Is 8 a factor of a(-4)?
True
Let p = -265 - -651. Is 40 a factor of p?
False
Let z = 85 - 89. Is ((-917)/5)/(-1) + z/10 a multiple of 9?
False
Suppose 0 = -5*i - 2*y + 94, 3*y = -i + 6*i - 109. Suppose 0 = 4*c + i, -n = -6*n + 5*c + 30. Let q(p) = 14*p - 2. Is q(n) a multiple of 8?
False
Suppose -9*p = 5*y - 12*p - 9240, 0 = 2*p. Does 14 divide y?
True
Let t(i) = -2*i**3 - 13*i**2 - 25*i - 12. Does 21 divide t(-8)?
False
Suppose 2*u + 2*q - 32 + 152 = 0, 0 = 4*u - 2*q + 228. Let w = u - -71. Is 13 a factor of w?
True
Is (1 - -5)*387/6 + 2 a multiple of 24?
False
Does 2 divide ((-715)/(-18) - (-12)/(-54))*4?
True
Does 28 divide 214*4/8 - -5?
True
Let s be (2 + 13)*(-18)/(-15). Let u = s + -9. Is 9 a factor of u?
True
Suppose -11*i + 6708 = 15*i. Does 23 divide i?
False
Let l(m) = -m**3 + 2*m**2 + 4*m - 5. Let o be l(2). Suppose 2*w - 168 = -t, -o*w + 251 = 3*t - t. Is 17 a factor of w?
True
Let h be 0 + (-6736)/(-22) - (-28)/(-154). Suppose -7*m + h = -9. Is 8 a factor of m?
False
Suppose -b + 104 = 4. Suppose -7*i + b = -3*i. Let r = i - -23. Is r a multiple of 24?
True
Suppose 0 = 32*m - 33*m - 1. Let c = m - -103. Is c a multiple of 17?
True
Let x = 19 - 13. Suppose -68 = -s - x. Does 18 divide s?
False
Let f(w) = 90*w + 3. Let l be f(2). Let b = 90 - 210. Let p = l + b. Is p a multiple of 13?
False
Let i(x) = x**3 + x**2 + 1. Let s be i(-2). Let f(o) = 4*o + 1. Let z be f(s). Let j(h) = -h**2 - 14*h - 12. Is j(z) a multiple of 9?
False
Let p(z) be the second derivative of -z**5/20 - 7*z**3/6 - 4*z**2 + 21*z. Is p(-3) a multiple of 10?
True
Suppose -4*r + 390 = -2*c, -55 = -4*r + 3*c + 336. Is 10 a factor of r?
False
Let x(c) = 12*c + 9. Let n be x(5). Let w be n/(1 + (-2)/(-4)). Let h = 97 - w. Is h a multiple of 15?
False
Let u(i) = i**3 - 7 - 6*i**2 + 4*i**2 - 2 - 3*i**2. Is u(6) a multiple of 9?
True
Let d(l) = l**2 - 12*l + 9. Is 15 a factor of d(32)?
False
Let q(v) = v**3 + 9*v**2 - 12*v - 8. Let x be q(-10). Let s = x - 15. Is (0 - s)/((-3)/(-5)) a multiple of 3?
False
Suppose 4*s - 2*c + 0*c = 4, -5*c - 10 = 2*s. Suppose -3*x - 2*o + 185 = -3*o, s = 5*x - o - 305. Does 9 divide x*((-5)/2 + 3)?
False
Let a = 58 - 55. Let o be 1/(0 + (-3)/(-12)). Suppose a*k = o*j - 42, -4*j + 3*j = 3*k - 18. Is 7 a factor of j?
False
Let a be ((-4)/(-10))/((-2)/(-20)). Let w(u) = -30 - a*u + 21 + 15. Does 17 divide w(-10)?
False
Suppose -2*s + 485 = h + 2*h, -1005 = -4*s + h. Suppose -3*v + 302 = -w - 53, 0 = -2*v + 4*w + s. Does 13 divide v?
True
Let o = 25 + -23. Let w(c) = 9*c - 5. Let l be w(o). Suppose 2*a - l - 7 = 0. Is a a multiple of 4?
False
Let p(t) be the second derivative of t**4/6 - 2*t**3/3 + 3*t**2 - 16*t. Is 21 a factor of p(11)?
False
Suppose -3*j = -2*p - 0*p - 181, 5*p - 209 = -3*j. Is 21 a factor of j?
True
Let d(p) = -3*p**2 - 4*p**2 - 3*p**2 + 6*p**2 + 2*p. Let n be d(2). Is (-324)/n*(0 + 1) a multiple of 15?
False
Suppose 0 = 2*s - 3*r - 547, -2*r = -s - 6*r + 301. Does 3 divide s?
False
Let q be (-1)/3 + (-436)/(-12). Let r = -57 - -110. Let y = r - q. Does 14 divide y?
False
Suppose -3*o + 5*o = -2*r + 14, -15 = -r - 3*o. Suppose r*w = -2*w + 2*j + 404, 407 = 5*w - j. Does 9 divide w?
False
Let f(m) = m**3 - 22*m**2 - 60*m + 48. Does 8 divide f(26)?
True
Suppose 3 + 3 = 2*h. Suppose 3*d - h*q = 6, -q = -d + 3*q - 7. Suppose -3*n = d*f - 27, n + 3*f + f = 9. Is n a multiple of 8?
False
Let j(n) = 2*n**2 + 5*n + 3. Is 21 a factor of j(-12)?
True
Let r(k) = -118*k - 106. Does 18 divide r(-7)?
True
Let m(r) be the second derivative of -9*r**3 + r**2 + 2*r. Let z be m(7). Is 3 a factor of z/(-72) + (-4)/18?
False
Let o = -204 + -87. Let b = 182 + o. Let k = 167 + b. Does 16 divide k?
False
Let s be (-9 + 12)*(13 + -2). Let a = s - 14. Does 16 divide a?
False
Let y be (6/(-4))/(2/((-1536)/9)). Suppose 22*w - y = 18*w. Is 12 a factor of w?
False
Let t(d) = d**3 + 6*d**2 - 2*d - 9. Let o be t(-6). Let m = 45 + -16. Suppose 0 = o*s - 4*p - m, p - 40 - 16 = -5*s. Is 3 a factor of s?
False
Let s be ((-1)/(-2))/(15/20010). Suppose 68 + s = 5*w. Is w a multiple of 7?
True
Let g(j) = -189*j + 3. Is g(-3) a multiple of 57?
True
Let y(t) = -t**3 - 7*t**2 + 7*t - 6. Let c be y(-8). Suppose -g - 2*g - 142 = -c*m, -2*m + 126 = g. Suppose 0 = 4*k + k - m. Is k a multiple of 13?
True
Suppose 513 = 3*i + 99. Suppose -142 = -10*d + i. Is 28 a factor of d?
True
Suppose 557*f + 1400 = 564*f. Does 20 divide