Suppose 4*z + 5*c + x = 668, 467 = 4*z - 3*c. Is z a multiple of 32?
False
Let b be (3/(-1) + 3)/4. Suppose -7*v - 426 + 3002 = b. Is 16 a factor of v?
True
Let z(h) = -752*h**3 - 36*h**2 - 50*h + 38. Is z(-2) a multiple of 72?
False
Suppose 0 = -q + 26 - 28. Let g be 48/(7/(-5) - -1). Is 15 a factor of (1/1)/((-244)/g + q)?
True
Suppose -4 - 8 = -5*s - 3*f, -2*f + 8 = 3*s. Suppose s = -4*u - 2*v + 905 + 1059, 491 = u + 2*v. Is u a multiple of 23?
False
Suppose 0*i - 2 = -i + 3*k, -3*i - 2 = -5*k. Let c be (-3)/(((-21)/i)/(-7)). Suppose 3*b = c*m - 237, -5*m = -3*m - b - 117. Does 11 divide m?
False
Let x(f) = 41*f**3 - 5*f**2 + 9*f + 2. Let g be x(4). Suppose -382 = -26*z + g. Is z a multiple of 2?
True
Is 14 a factor of (-9075)/(-4) - (425/(-100) + 5)?
True
Suppose 8*q - 5*h - 210904 = 0, -5*q + 3*h - 5*h = -131815. Is 115 a factor of q?
False
Let r(p) = p**2 + 14*p + 27. Let q be r(-2). Suppose -6*y = -5*i - 1281, q*i + 704 = 2*y + 281. Is y a multiple of 12?
True
Let i(c) = -c**2 + 8*c + 107. Let h be i(-7). Suppose h*j - 160 = 3*y + 85, -2*j + 250 = 2*y. Is j a multiple of 31?
True
Let p be (-1 + 6)/(11 + -10). Let w(h) = 4*h + 20. Let u be w(p). Let q = u + 16. Is q a multiple of 13?
False
Let h = 610 + 1873. Is 6 a factor of h?
False
Suppose 3*o + 11 + 10 = 0. Let h(q) = q**3 - 12*q**2 + 5*q - 4. Let v(l) = 2*l**3 - 35*l**2 + 15*l - 11. Let k(y) = -8*h(y) + 3*v(y). Does 30 divide k(o)?
False
Suppose 0 = -4*u - r + 3388, -18*r + 23*r = 5*u - 4210. Is u a multiple of 6?
True
Suppose 0 = 3*x - 5*o - 16094, -x - 18*o + 5378 = -17*o. Is 27 a factor of x?
True
Let h(q) = 11*q**2 - 313*q - 126. Does 12 divide h(50)?
True
Let k(b) = 3*b**2 - 20*b + 4. Let z be k(5). Is 28 a factor of z/(((-5)/(-30))/((-34)/9))?
True
Suppose 3*g + i = -985, -4*g - 378 - 942 = 3*i. Let d = -150 - g. Does 30 divide d?
False
Let n(u) = 16*u + 28. Let z be n(-2). Does 70 divide -1 + (-6)/z - 31344/(-32)?
True
Let a(h) = -h**3 - 21*h**2 - 58*h + 69. Is a(-20) a multiple of 27?
False
Suppose 0 = -3*h + 539 + 19381. Does 99 divide h?
False
Let p(a) = 2*a**2 + 84*a + 151. Is p(58) a multiple of 28?
False
Let g = 636 + -288. Let q = -331 + g. Is q a multiple of 2?
False
Let l = 367 - 176. Is l a multiple of 4?
False
Suppose 18*s + 112 - 2938 = 0. Let k = s - 105. Is 19 a factor of 3 + k/(-16) + 2740/16?
True
Let o(v) = -v**2 + 2*v + 838 + 801 - 1592. Let h(q) = q**2 - 2*q + 1. Let k be h(1). Is o(k) a multiple of 17?
False
Let j(f) = 3*f. Let t be j(0). Let q(h) be the third derivative of h**6/120 + h**5/60 - h**4/24 + 9*h**3/2 + 14*h**2. Is 5 a factor of q(t)?
False
Let z(l) = 5*l - 11. Let r be z(10). Let v = -41 + r. Does 6 divide 1/v*(-1020)/5?
True
Suppose w - u - 6558 = 0, -w - 70*u = -68*u - 6540. Is w a multiple of 14?
True
Let g = -23060 + 26540. Is g a multiple of 8?
True
Let n = -88 - -94. Let u(o) = -30*o**3 - 3*o**2 - 4*o - 4. Let y be u(-3). Suppose 131 = -n*a + y. Is a a multiple of 17?
False
Let b be 451/3 - (4 + 70/(-15)). Let i = 207 - b. Is i even?
True
Let j be (84/112)/(6/2008). Let h = j - 107. Is h a multiple of 15?
False
Let x(j) = -4*j - 1. Let n be x(8). Let m be 10/(-55) + (-2481)/n. Suppose -7*v = -6*v - m. Is v a multiple of 15?
True
Let l(q) = -11*q + 70. Let v be l(7). Let a be 21/v + 1/((-2)/(-4)). Is 35 a factor of 314 + ((-3)/(-18))/(a/(-6))?
True
Let u(w) = w**2 + 12*w + 15. Let l be u(-11). Suppose l*i - 380 = 3*y, 4*y = -4*i + 175 + 233. Does 4 divide i?
False
Let n be 610/1 + (-1 - -4). Let g = 1153 - n. Is 10 a factor of g?
True
Let l(y) = 215*y + 3593. Is 16 a factor of l(17)?
True
Suppose -4*x + 192 = -0*x - 2*l, -l + 198 = 4*x. Let s be (x/(-4))/((-10)/40). Suppose s = 4*u + 3*u. Is 5 a factor of u?
False
Suppose -2553 = -2*u - m, 5*u - 2*m - 3812 = 2*u. Suppose 0 = -24*c + 1510 + u. Is 26 a factor of c?
False
Let g(j) = -j**3 - 2*j - 1 - 8*j**2 - 15*j**2 - 4*j**3. Is g(-5) a multiple of 2?
False
Suppose 31*y - 150817 - 78629 = -23*y. Does 4 divide y?
False
Let c(f) = 2*f**2 + 6*f + 59. Suppose -2*o + 4*o + 16 = 4*s, -45 = 5*o - 5*s. Is 8 a factor of c(o)?
False
Does 73 divide (6490/11)/(-2)*-5?
False
Let b = -111 + 134. Suppose 0 = -2*s + 2*x + 10, -3*s - 2*s + 3*x + b = 0. Is 2*116/8 - (-4 + s) a multiple of 29?
True
Let z be (4/12 - -3)/(1/(-21)). Let a = 5 - z. Is a a multiple of 12?
False
Suppose -4*n + 35 = 23. Let y(w) = -w**2 - 6*w + 17 - 19 - 22*w**3 - n*w**3 + 4*w. Does 12 divide y(-1)?
True
Suppose 12*m - 719 = 409. Suppose -3*x = -314 - m. Is 17 a factor of x?
True
Suppose -17 - 15 = 4*t. Let h(o) = o**2 + 21*o + 23. Let p be h(t). Let f = -57 - p. Is f a multiple of 5?
False
Let m(n) = 2*n**3 - 57*n**2 - 29*n - 30. Let g be m(29). Let k(y) = 5*y**3 + 11*y**2 - 6*y - 4. Let t be k(-9). Is 15 a factor of t/g + 9/(270/(-4))?
True
Suppose 62782 = -37*m + 10982. Is 0 + 0 + (-1)/(7/m) a multiple of 11?
False
Let x(u) = 17*u**2 - 139*u + 2086. Is 20 a factor of x(16)?
False
Let f = 220 - -85. Is f a multiple of 22?
False
Suppose 4*p - 5*f = -10, -f + 7 = 4*p + 5. Suppose -475 = 5*d - p*a + 5*a, -279 = 3*d + 5*a. Let b = -29 - d. Is b a multiple of 10?
False
Suppose -12*j - 295 = -13*j. Suppose 0 = 4*k + 3*r - j, 102 = -3*k + 3*r + 318. Suppose 5*x + 4*p = k, x - 5 = 2*p - 6*p. Does 12 divide x?
False
Let b = 176 - 152. Does 23 divide (-2911)/(-6) - 2 - 4/b?
True
Let b(g) = g**2 - 13*g**2 + 6*g**2 + 5*g**2 - 27*g + 0*g**2 + 101. Is 25 a factor of b(-29)?
False
Suppose -28*n - 32*n = 36*n - 253824. Is n a multiple of 4?
True
Let d be ((-170)/(-70))/(-17) - (-20)/(-7). Is -4 - d/((-27)/(-16191)) a multiple of 89?
False
Let b be (0 - (-3)/15) + (-1269)/(-5). Suppose -5*q - b = -6*q. Suppose -2*x - q = -4*n, 4*n - 269 = -2*x - x. Is 13 a factor of n?
True
Is 10/(-5) - -3 - -1 - (10 - 849) a multiple of 10?
False
Is ((-2)/(-1)*-1)/((-102)/77010) a multiple of 10?
True
Let p = -3 - -6. Let r be (-1862)/(-5) - 213/(-355). Suppose 9 - p = 2*o, 4*j = o + r. Is 12 a factor of j?
False
Suppose 2*x - 2*q = 6, -4*x - 4*q + 8 = 20. Suppose x = 2*f + 132 + 24. Is ((-1)/2)/(3/f) a multiple of 10?
False
Let h(m) = 63*m**3 + 13*m**2 + 17*m. Is 230 a factor of h(8)?
False
Let r be (-28*5)/(-7 + 55/11). Does 30 divide r/(-7*(-5)/385)?
False
Suppose 81*x + 0*x - 507000 = -19*x. Does 26 divide x?
True
Suppose 24419 + 9513 = 4*i. Does 17 divide i?
True
Let u = -4959 - -8875. Is u a multiple of 22?
True
Let a = -19832 - -24905. Does 89 divide a?
True
Let w(x) = -x**2 - 39*x + 48. Let z be w(-27). Let c = 95 + z. Does 21 divide c?
False
Suppose -8*u - 100 = -3*u. Let i be (12/u)/((3/1)/(-15)). Suppose 5*l + i*c = 414, 1 = -4*c - 7. Is l a multiple of 21?
True
Let b = 43 - 43. Suppose b = -7*z + 11*z - 1552. Is z a multiple of 25?
False
Suppose 4*m + 92 = -4*i, -2*m = -2*i - 29 - 5. Is 42 a factor of (30824/i)/(-2) + (-6)/(-15)?
False
Let f = 7018 - -13526. Is f a multiple of 192?
True
Suppose -105*l = -104*l + 18. Let a = 172 + l. Is a a multiple of 11?
True
Let p(n) = 33*n. Let x be p(-2). Let w = x + 321. Is 11 a factor of w?
False
Let i = -253 + 298. Let o be (13 + -1)/(1/(-2)). Let q = i + o. Is q a multiple of 7?
True
Let x be (4/32 - 69/(-24)) + -59. Let w = -2 - x. Suppose w = -j + 4*j. Is 6 a factor of j?
True
Suppose 5*k - 2*b - 82955 = 0, 3*k - 13937 - 35836 = b. Suppose 59*u - 21169 = k. Is u a multiple of 40?
True
Suppose -55*t = 26*t - 1145988. Is 4 a factor of t?
True
Suppose -33*f - 48 = -114. Is 10 a factor of (f - (-3)/6)*72*2?
True
Suppose 12*y - 803 = 637. Let w = y + -66. Suppose -3*d + 3*f + 147 = 0, -d + w = -0*f + 4*f. Is 8 a factor of d?
False
Let v(f) = f**2 - 3*f - 8. Let w be v(6). Suppose 0 = w*b - b - 54. Suppose b*u - 180 = 36. Is 36 a factor of u?
True
Suppose -s + 10158 = -2*d, -12343 = -3*s - d + 18152. Does 28 divide s?
True
Suppose 4*k + 4*f - 4576 = 0, 0*k + 3*f + 1120 = k. Is 5 a factor of k?
False
Let i be (-2 - -1)*-5 + 373. Let t = i - 195. Is t/(((-21)/2)/(-7)) a multiple of 12?
False
Let s(o) = 33*o**2 - 5*o + 2. Let c(p) be the third derivative of -p**6/120 + p**5/15 + p**4/6 - 7*p**3/3 + 10*p**2. Let v be c(4). Is s(v) a multiple of 32?
False
Let p be (8/(-6))/(4/3774). Let y = p - -1780. Is y a multiple of 26?
False
Suppose -3*q - 55 = -5*v + 7, 0 = -5*q - 20. Let x(z) = 17*z - 42. Let f be x(2). Is 