t t(w) = -w**3 + 4*w**2 - 4*w + 2. Let b be t(2). Is 2/(b/45*5) a multiple of 5?
False
Let f(g) = 7*g + 41*g**2 + 10*g + 6 - 42*g**2. Is 11 a factor of f(14)?
False
Suppose 0 = -5*s - 198 - 87. Let u = s + 61. Does 2 divide u?
True
Let j(o) = o - 3. Let m be j(7). Let f be (-4 - -3)*(-1 - m). Is 14 a factor of f/20 - 669/(-12)?
True
Let x(w) = 123*w**2 + 22*w + 38. Is x(-2) a multiple of 27?
True
Let g(b) = 70*b**2 + 17*b - 15. Let t(m) = 35*m**2 + 8*m - 7. Let d(p) = -4*g(p) + 9*t(p). Is 6 a factor of d(1)?
True
Suppose -2*w + 17*b = 22*b - 73, 3*w = b + 135. Is w a multiple of 12?
False
Suppose -11*v + 16*v - 1337 = -2*m, 2*m - 1328 = 4*v. Is m a multiple of 20?
False
Let u(z) = 10*z**2 + z + 8. Is u(-3) a multiple of 33?
False
Suppose 4 = -3*j - 3*z + 7*z, -j + 4 = 4*z. Suppose 2*h - 9 + 1 = j. Does 2 divide h?
True
Let x = 346 + -199. Suppose -q = 5*s - x, 0*s + 135 = 5*s - 5*q. Is 16 a factor of s?
False
Let k(g) = g**3 + 6*g**2 + 4*g - 17. Let x be k(-6). Let u = x + 73. Is u a multiple of 4?
True
Suppose -13*c + 10*c = 0. Suppose c = 4*n - 35 + 11. Let k(g) = 11*g - 3. Does 11 divide k(n)?
False
Let k be 433/4 - (-2 + 63/28). Suppose -z - 5*z + k = 0. Is 9 a factor of z?
True
Suppose -10*a + 916 = -2514. Suppose 3*x + x + 5*k = a, 0 = 5*x - 4*k - 480. Does 23 divide x?
True
Suppose 0 = -4*w + 4, -2*f + 119 = -0*f - 3*w. Does 13 divide f?
False
Suppose 0 = -4*n + 3*v + 874, 2*n - 51 - 393 = 5*v. Is n a multiple of 8?
False
Let a(n) = -7*n - 47. Let j be a(-20). Does 11 divide 3503/j + (-8)/(-6)?
False
Let b(p) = 4*p**2 + 4*p + 8. Let o be b(14). Suppose 5*q - o = -4*u, 0*q = -2*q + 8. Is 9 a factor of u?
True
Let r(l) = 20*l**2 + 8*l + 49. Is r(-11) a multiple of 11?
False
Let x(o) = -27*o**3 - 3*o**2 - 19*o - 30. Does 18 divide x(-2)?
False
Suppose -4*x - 155 = -f, f + 57 = 3*x + 212. Let b = 204 - 103. Let l = f - b. Does 18 divide l?
True
Suppose -12 = -5*k - 2. Suppose 0 = k*s - 3*s. Suppose s*l = l - 26. Is 13 a factor of l?
True
Suppose -10*r = -12*r - 122. Let x be 2/((24/363)/(-4)). Let b = r - x. Does 15 divide b?
True
Let z(s) = 91*s**2 - 17*s. Is z(2) a multiple of 66?
True
Let i be 3*(24/9 - 2). Let s(c) = c**3 + 3*c**2 + 3*c + 1. Let d be s(3). Suppose k + d = i*k. Is k a multiple of 32?
True
Suppose -4*o = 3*p - 1448 + 320, 0 = 4*p + 4*o - 1508. Is 19 a factor of p?
True
Suppose 2*b = a - b + 8, 0 = 4*a - 4*b. Suppose -5*w + 369 - 4 = 5*f, 4*f - 365 = -5*w. Suppose -a*c - w = -5*c. Does 27 divide c?
False
Suppose x - 15 = -5*i, x - 28 = -4*i - 3*x. Suppose 0 = 3*n + 2*g - 68, -3 = -i*n + g + 33. Is n a multiple of 10?
True
Suppose -5*u = -11 + 71. Let k = u + 75. Suppose -5*l - d = -88, -3*l = -3*d - k + 3. Is l a multiple of 14?
False
Let u(v) = -12 + 2 - 5*v - 4 + 2 + v**2. Is 27 a factor of u(-6)?
True
Let x = 11 - 11. Suppose 0 = i + s - 18 - 45, i - 3*s - 51 = x. Is i a multiple of 15?
True
Suppose 5*v + 32*w = 30*w + 2531, 4*w + 998 = 2*v. Is v a multiple of 11?
False
Let p(o) = -2*o + 41. Let h = -2 - -7. Suppose b - 12 = 3*s, -4*b + h*s + 9 + 11 = 0. Is 13 a factor of p(b)?
False
Let x = 24 - -3. Let z be (-6)/x - (-140)/(-18). Let i(y) = y**3 + 9*y**2 + 6*y - 1. Is 15 a factor of i(z)?
True
Does 9 divide (-40 + 13)*11/(11/(-12))?
True
Let b = -397 + 269. Let s = b + 224. Is 12 a factor of s?
True
Suppose -2634 = -5*c + 1006. Is c a multiple of 25?
False
Let r(c) = -3*c + 1 + 6*c + c - 5*c. Let d be r(3). Is (-12)/21*(d - 5) a multiple of 4?
True
Suppose 316*b - 321*b = -4*z + 5197, -b = 5. Is z a multiple of 3?
True
Let w = -24 + 8. Let q = -686 + w. Is (q/45)/((-6)/40) a multiple of 15?
False
Is 1757/15 + 22/(-165) a multiple of 3?
True
Let x = 276 + -164. Suppose -5*s = -h - x, -2*s = 2*h + h - 55. Is s a multiple of 2?
False
Let z(g) = -3*g + 12. Let q be z(3). Suppose j - q*j + 270 = 0. Does 15 divide j?
True
Suppose 15307 = 42*d - 164033. Does 35 divide d?
True
Let y(k) = -9*k - 4. Let m be y(-4). Let s = m + -21. Does 6 divide s?
False
Let g be ((-12)/30)/((-4)/20). Let p(r) = 7*r**2 + 4 + 0*r**g - 3 + r**3 + r - 4. Does 7 divide p(-6)?
False
Let n(q) = -68*q - 33. Is 19 a factor of n(-3)?
True
Does 53 divide 9/45 + 4769/5?
True
Let x be (1/(-3))/((-2)/(-12)). Does 22 divide (1/3)/(x/(-264))?
True
Suppose -6 = 2*a + 5*s, -s - 6 = -2*a + 4*a. Let z be a*(7/(-3) + 1). Does 10 divide (-2)/z + (-63)/(-6)?
True
Let w be (1/(-2))/(1/2). Suppose 9*t - 205 = -565. Is (-312)/t - w/5 a multiple of 3?
False
Suppose -5*c = 3*c - 1480. Let o = c + -105. Is o a multiple of 8?
True
Let h(p) = -161*p**2 - p - 4. Let w be h(4). Is 9 a factor of w/(-32) + (-1)/(-4)?
True
Suppose -b - 3*l = -6*l + 657, 0 = 3*b - 5*l + 1987. Is b/(-15) - ((-28)/(-5) - 5) a multiple of 12?
False
Suppose -2*t - t + 2*r = -387, 4*r - 242 = -2*t. Suppose -t - 164 = -5*c - 2*g, 2*g = c - 51. Does 19 divide c?
True
Let c(l) = -l - 8. Let r(x) = 3*x + 16. Let i(h) = 5*c(h) + 2*r(h). Let g be i(13). Suppose g*f = 3*m + 372, f - 3*m - 36 = 36. Is f a multiple of 19?
False
Is 5 a factor of (16/10)/((-41)/(-615))?
False
Let r be (2 - 1)*((-3 - -2) + 4). Suppose r*l + 2*l = 355. Is l a multiple of 12?
False
Suppose 3*q - 3*t - 1137 = 0, -3*q = -4*t - 1359 + 217. Is 34 a factor of q?
True
Let n be (90/63)/((-1)/(-7)). Suppose n*q - 13*q + 240 = 0. Is q a multiple of 10?
True
Is 13 a factor of (-24 - (-2780)/(-30))/((-2)/39)?
True
Let z(f) = -f**2 - 9*f - 2. Let m be z(-8). Suppose 14 = -4*o + 10. Let t = o + m. Does 5 divide t?
True
Suppose 2*a = 4*m - 6, -m + 6 = a - 0*m. Suppose k = 4*z + 47, -a*k - z + 91 = 2. Suppose -4*g = -k - 13. Does 5 divide g?
False
Suppose 0 = -6*x + 1044 + 8280. Is x a multiple of 7?
True
Suppose 11 = 3*y + 5*v, v + 3*v = -2*y + 8. Suppose -124 = -3*g + 2*z, z - 34 + 117 = y*g. Is 7 a factor of g?
True
Suppose -f = a - 33, -4*a + 3*f = 2*f - 112. Suppose a*r = 24*r + 15. Suppose 4*s + 0*s + 2*z - 62 = 0, -3*s + 45 = r*z. Is s a multiple of 16?
True
Let q(f) = -185*f - 98. Is q(-1) a multiple of 2?
False
Let n be ((2 - 1) + -2)/((-2)/(-4)). Let l(x) = -27*x. Is 18 a factor of l(n)?
True
Suppose 5*b - 2112 = -376*c + 380*c, 0 = -3*b + 2*c + 1266. Is b a multiple of 12?
True
Suppose -3*n - 25 = -8*n. Does 40 divide -1 + (n - 3) + 163?
False
Let g(k) = 2 + 2*k**2 - k**2 - 11*k + 0*k**2 - 6. Let d be g(12). Is d*1/(-2) - -32 a multiple of 7?
True
Let n(v) = 2*v**3 + 0 - 2*v - 2*v**2 + 3*v + 3*v - 3. Let z be n(3). Suppose y - 114 = -z. Is 15 a factor of y?
False
Let j = -271 + 351. Is j a multiple of 10?
True
Let v(d) = 5*d**3 - 2*d**2 + d. Let x be v(1). Let z(s) = 0*s - x + 2*s - 3 + 3. Is 2 a factor of z(4)?
True
Suppose -2*l = 2*m - 104, 8*l - 245 = 3*l - 2*m. Suppose -2*h = -h. Suppose -r + l = -h. Is 21 a factor of r?
False
Suppose -z = 4*m - 996, -55*z = 5*m - 58*z - 1262. Does 38 divide m?
False
Let b(a) = -2*a**2 + 10*a + 6. Let q be b(6). Is 3*q/27 - (-1114)/6 a multiple of 22?
False
Is 44 a factor of (-5)/(35/(-1234)) + 26/(-91)?
True
Is 72 a factor of (-8701)/(66/(-6)) - -1?
True
Let q(i) = i**3 + 5*i**2 - 16*i - 9. Let r be q(-7). Suppose 3*z - 91 = -5*k, 0*z - 5*z + 135 = r*k. Does 2 divide z?
True
Suppose l + 110 = -10. Let j be (-3)/2*l/(-18). Let x = j + 49. Is x a multiple of 9?
False
Suppose -9*x - 552 + 2865 = 0. Is x a multiple of 13?
False
Suppose 4*s - 3*m = 398, -s = -2*s + 3*m + 104. Suppose 4*l + s = 5*k, 3*k + 2*l = 4*k - 16. Is 11 a factor of k?
True
Let p(k) = 1 + 0 + 13*k**3 + 2*k**2 - k**3. Let v be p(2). Suppose -v = -5*j + 235. Does 14 divide j?
False
Suppose 14*v - 21 = 7*v. Suppose 3*b = 4*l + 86, -v*b - l = l - 92. Does 10 divide b?
True
Suppose 16*n = 13*n. Suppose -3*x - 6 = -n*x, 80 = i - 4*x. Is 20 a factor of i?
False
Let o = 0 - -5. Suppose 0 = o*j - 4*j - 114. Suppose 0 = 5*q + q - j. Is 13 a factor of q?
False
Suppose -15 + 3 = 3*v, 0 = 2*m + v - 62. Let y = m - -138. Is y a multiple of 19?
True
Let d be (-2475)/(-12) - (-1)/(-4). Suppose -3*c + d = 4*o - 0*o, -c = -5*o - 75. Is 10 a factor of c?
True
Let n be ((-132)/9)/2*-24. Let f = 78 - n. Does 26 divide 1448/14 + (-56)/f?
True
Suppose -15714 = -9*a - 5256. Is 22 a factor of a?
False
Suppose 0 = -2*v - 0*v - m + 342, 2*v - 342 = 5*m. Is 17 a factor of v?
False
Let d(h) = 213*h**3 + h**2 - 1. Let m be d(1). Suppose 7*u - m = 39. Is 3