1/(-2))/(8/480). Let n be (-48)/y + (-4)/(-10). Is 24 a factor of (-1)/n + 2321/22?
False
Let q be 16*4 - (3 + -3). Let d(m) = -6*m**2 - 3*m + 19. Let t be d(3). Let a = q + t. Does 6 divide a?
False
Suppose -3*c - 5*n = 1 - 19, -2*c + n = 1. Suppose 4*p - 14 = -2*g, 7*p + c = 3*p + 3*g. Suppose -p*l - 21 - 89 = -2*h, -4*h - l = -195. Does 10 divide h?
True
Suppose 25*b - 9027 = 2873. Is b a multiple of 28?
True
Suppose -11*v = -12*v + 204. Let b = -12 + v. Does 23 divide b?
False
Let z(t) = 12*t + 3 - t - 3*t. Let h be 2 + 4 + -5 + 3. Is z(h) a multiple of 18?
False
Suppose -4 = -5*k - 19. Suppose -3*u = -l - 55 + 167, -5*l = -u - 56. Is ((-8)/(-6))/(k/u) a multiple of 8?
True
Let n = -467 - -1767. Is n a multiple of 52?
True
Suppose -2*p - 95 = 3*p. Let d = p - -32. Does 8 divide d?
False
Let o(f) = -f**2 - 22*f + 2. Let l be 50/(-3) + 20/30. Is 22 a factor of o(l)?
False
Let a = 75 - 68. Suppose -2*d - 180 = -a*d. Does 12 divide d?
True
Let m(n) = -6 - 13*n**2 + 2*n**3 + 0 + 13*n - n**3. Suppose 2*l + 0*l + 3*i = 9, l + i - 7 = 0. Does 3 divide m(l)?
True
Let k(s) be the first derivative of 5*s**2/2 + 11*s - 1. Let b be k(-7). Is 14 a factor of (b/16)/(1/(-28))?
True
Let s(v) = -20*v + v**3 + 0*v**3 + v - 8 + 7*v**2. Is 5 a factor of s(-8)?
True
Suppose 2*u + u - 27 = 0. Suppose 3*g - u = 3. Suppose -1 = -g*s + 55. Is 14 a factor of s?
True
Let p(k) = k + 31. Suppose -4*j + 30 = -j. Is 7 a factor of p(j)?
False
Suppose 16 = 3*t + 5*t. Suppose -4*x - 4*l + 372 = 0, 7*l - 4*l = -t*x + 188. Is x a multiple of 10?
False
Let a(n) be the first derivative of 7*n**2/2 - 9*n - 8. Does 4 divide a(4)?
False
Let f(s) = -52*s - 26. Is 24 a factor of f(-4)?
False
Suppose 0*j + j = 1. Let a be (-2)/(-6) + 3/((-18)/(-94)). Is j*(-4)/a*-20 even?
False
Let d be (2*16)/((-14)/(-28)). Let l = -38 + d. Is 10 a factor of l?
False
Let o be ((-12)/20 - 0)*-5. Suppose 12 - 257 = -o*k - 5*x, -385 = -4*k + 5*x. Does 10 divide k?
True
Let z = -30 - -38. Suppose 2268 = z*m + 6*m. Is m a multiple of 18?
True
Is 20/(-6)*318/(-265) a multiple of 4?
True
Suppose 0 = -17*a + 72*a - 148500. Does 30 divide a?
True
Let i = -515 + 800. Is 15 a factor of i?
True
Suppose 0 = -o - 4*k + 392, k - 1158 = -5*o + 840. Does 10 divide o?
True
Let o(k) = k**2 + 3. Let l be o(-2). Suppose -l*x + 3*x + 20 = 0. Suppose 2*v + 3*i = -v + 48, -x*v - 4*i + 78 = 0. Is v a multiple of 14?
True
Suppose 11*x - 14*x - i + 4310 = 0, x + 2*i - 1430 = 0. Is x a multiple of 36?
False
Let n be 18/(-42) - (-1952)/14. Let y = n + -68. Does 16 divide y?
False
Let y(b) = -b**3 - 3*b**2 + 2. Suppose -4*p = p + t - 15, 0 = 4*p + 2*t - 6. Suppose 0 = -0*a - p*a - 20. Does 13 divide y(a)?
True
Suppose -5*y + 35 = -0*y - g, 0 = 4*y - 5*g - 7. Suppose 3*k - 6*k = -306. Suppose 2*q = k + y. Does 25 divide q?
False
Suppose -2*w - 18 - 80 = 0. Let q = 39 - w. Is q a multiple of 8?
True
Suppose -79*r = -69*r - 7600. Is 8 a factor of r?
True
Let h(w) = w**3 - 4*w**2 + 4*w - 3. Let u be h(3). Let q(t) = t**2 - t - 59. Let x(z) = -2*z**2 + 2*z + 117. Let j(i) = 7*q(i) + 4*x(i). Is 11 a factor of j(u)?
True
Suppose -3*o + p = 19, -5*o - 2*p - 16 = -2*o. Let q be 4*(o/4 + 2). Suppose -3*j + 40 = q*j + u, -50 = -5*j - 3*u. Is j a multiple of 5?
False
Suppose -2*b + 18 - 6 = 0. Suppose -v + b*v = 100. Let s = v - -68. Is 22 a factor of s?
True
Suppose 2*t = 4*d - 36, -4*d - 2*t - 9 = -37. Let w(q) = -q - 3*q - 3 + 4*q + 7*q. Does 14 divide w(d)?
False
Suppose -3*s - 18*r + 16*r + 547 = 0, 4*s + 4*r - 732 = 0. Is s a multiple of 50?
False
Let z(f) = f**3 - 9*f**2 + 5*f - 113. Does 12 divide z(12)?
False
Is (-19761)/(-33) + (-1)/33*-6 a multiple of 48?
False
Suppose 18 = 2*c - 58. Suppose c = -5*m + 6*m. Is 25 a factor of m?
False
Let w = -314 + 794. Is w a multiple of 20?
True
Let o be (-534)/(-21) + 6/(-14). Let p = o - -11. Is p a multiple of 12?
True
Suppose 8*m = -8*m. Let t = 22 - 12. Suppose m = j - t - 4. Does 4 divide j?
False
Suppose 0 = -121*h + 10438 + 59742. Does 38 divide h?
False
Let g = 12 - -31. Is g a multiple of 16?
False
Let v(s) = -s - 2. Let d be v(-3). Let n(t) = 6*t + 19. Let r(o) = o - 1. Let g(i) = d*n(i) + 2*r(i). Does 13 divide g(6)?
True
Is 52 a factor of 2 - (6450/(-5))/5?
True
Suppose 16 = 3*a - g, 3*a - g = g + 14. Suppose a*q - 9 = 3*q. Is (55/(-10))/(q/(-6)) a multiple of 11?
True
Suppose -t + 6*t = 925. Does 5 divide t?
True
Suppose 2739 = -4*o + 15*o. Does 83 divide o?
True
Let x = 14 - 10. Let c be x*(-2 - 14/(-4)). Suppose c*f - 29 = 5*f. Is f a multiple of 29?
True
Let c = 30 - -122. Does 24 divide c?
False
Suppose 61*p = 70*p - 14247. Is 39 a factor of p?
False
Let u be (1/(-2))/(-2 - (-45)/24). Suppose x - 125 = 2*l, u*l + 442 = 4*x - 66. Is x a multiple of 18?
False
Let o(b) = b + 16. Suppose -12 = 11*n - 15*n. Is o(n) a multiple of 13?
False
Suppose -2*n + 0*n - 3*v = 47, -5*n - 5*v - 125 = 0. Suppose -37 = 5*q + 28. Let y = q - n. Is y a multiple of 15?
True
Let l = -7 + -2. Is (-1 - 80)*6/l a multiple of 6?
True
Does 54 divide (-1618)/(-3) + 56/84?
True
Suppose 5*c = 2*c + 2*z - 66, -2*z = -2*c - 46. Let p = c - -20. Suppose -t = -2 - p. Is t a multiple of 2?
True
Let y(l) = -3*l**2 - 3*l - 21. Let f(d) = 8*d**2 + 8*d + 62. Let q(r) = -4*f(r) - 11*y(r). Is q(-10) a multiple of 25?
False
Suppose 9*p - 3105 = -6*p. Is 2 a factor of p?
False
Let u = 558 - 195. Suppose -83*y + u = -80*y. Is y a multiple of 15?
False
Suppose -6 - 15 = -g - 5*t, -5*g = 5*t - 45. Let k(a) = 7*a + 6. Let f be k(g). Let n = 90 - f. Is 14 a factor of n?
True
Let u = 162 - -121. Is u a multiple of 25?
False
Let s be 2 - (-5)/(20/456). Let c = 218 - s. Suppose 0 = -7*d - c + 431. Does 5 divide d?
False
Let s(o) = -o**2 + 0*o**2 + 11*o - 5 + 22. Let h be s(12). Suppose h*z + k - 205 = -4*k, -5*z - 4*k = -209. Does 13 divide z?
False
Let c(z) = -z**3 + 2*z**2 - 6*z + 70. Is c(0) even?
True
Let v = -53 - 4. Let m = 80 + v. Is m a multiple of 13?
False
Suppose -4*o + o = -4*z - 26, 0 = -4*o - 4*z - 12. Suppose -o*x - 6 = x. Is (x + 0 + 7)*2 a multiple of 5?
True
Suppose 24 = -5*r + 4*v, v = -2*r + 3*v - 10. Let i be r/(-16)*4 - -3. Let s = 22 - i. Is 9 a factor of s?
True
Suppose -70*c + 6*c = -126720. Is 45 a factor of c?
True
Let b be -2 - -6 - 4 - 0. Suppose q - 3*u = -u + 15, -2*q - 2*u = b. Is ((-21)/(-3))/(q/10) a multiple of 7?
True
Suppose -h - 2*q + 874 = 0, 0 = 2*h - 3*h + q + 859. Is 48 a factor of h?
True
Let m = -1489 + -3355. Does 23 divide (-6)/9 + m/(-21)?
True
Let s(p) = -p**3 + 19*p**2 + 21*p - 19. Let d be s(20). Let c = d + 71. Does 10 divide c?
False
Suppose -7*c + 4*c + 3091 = 2*t, -c = -1. Is 8 a factor of t?
True
Suppose -49*p + 8750 = -14*p. Is p a multiple of 11?
False
Suppose 33 + 67 = 4*w. Let o = w + -30. Is 12 a factor of (-14 + -6)*(o + 2)?
True
Suppose z - 3 = -0. Suppose -z*y - y = -96. Is y a multiple of 5?
False
Suppose 168 = -3*r + 3*b, 4*r = -5*b - 141 - 47. Let f = r - -112. Does 10 divide f?
True
Let w(c) = c**2 - 2*c + 485. Let p be w(0). Suppose -o - 4*o = -p. Does 19 divide o?
False
Does 13 divide (2/12)/(5/7170)?
False
Suppose 7*j + 25 = 2*j, -4*k - 2*j = -570. Let z = -61 + k. Is 21 a factor of z?
True
Let r(f) = 54*f**3 - 6*f**2 + 2*f + 13. Is r(3) a multiple of 17?
False
Let m = 383 - 313. Does 13 divide m?
False
Let a = 15 - 12. Suppose -8*v = -a*v - 35. Let s = v - -59. Is 22 a factor of s?
True
Suppose 7*u - 4*u - 1055 = 2*t, 5*t = -5. Suppose 0 = 7*f + 2*f - u. Is f a multiple of 3?
True
Let u = 1738 + -69. Does 101 divide u?
False
Let m(n) = 98*n + 93. Is 26 a factor of m(3)?
False
Let a be (-2)/((-30)/(-9) - 4). Suppose 0 = -3*w - 15, -a*w = c + 8 + 2. Suppose -c*l = -9*l + 20. Is 5 a factor of l?
True
Suppose -4*d + 9 = -7. Does 14 divide (-1)/d + 562/8?
True
Suppose -2*f - 7 + 17 = 0. Suppose -3*u - u + 328 = -4*l, -5*u + 390 = f*l. Is 16 a factor of u?
True
Let f(c) = -10*c - 4. Let r(d) = d**2 - 8*d - 2. Let y be r(8). Is f(y) a multiple of 2?
True
Let c(n) = 2*n - 11. Let o be c(8). Suppose r - o*r - 16 = -3*u, 0 = -2*r + 3*u - 14. Let s = 29 + r. Is 14 a factor of s?
True
Suppose 0*w = -5*w + 195. Let l = -127 - -143. Is (-12)/l*-4 + w a multiple of 15?
False
Let k(l) = l**3 - 2*l**2 + l + 4. Let s(n) = -n**2 + 7*n - 10. Let z be s(4). Let y be k(z). Is