uppose -1364 = -9*j - s*j. Is j a multiple of 18?
False
Let h(o) = -o**3 - 11*o**2 + 37*o + 20. Suppose -26*w - 241 = 149. Does 45 divide h(w)?
False
Let t(p) = -p**2 + 7*p + 2. Let v be t(7). Suppose -202 = -3*o - o + v*x, 254 = 5*o - 4*x. Suppose -3*u - o = -4*b, 5*b - u - 57 = -0*b. Does 2 divide b?
False
Let p(o) = 82*o - 22. Suppose 3*v - 10 = -9*m + 10*m, 0 = -3*v - 5*m + 22. Is 51 a factor of p(v)?
True
Let u be 59 + -1 - (9 - 10). Suppose 4*x + 10 = -3*v + u, 0 = 2*x - v - 27. Suppose -11*g = -x*g + 66. Is 4 a factor of g?
False
Let s(c) = -c**2 - 9*c - 2. Let d(g) = -3*g**2 - 17*g - 5. Let a(l) = 2*d(l) - 5*s(l). Suppose 4*w - b = 23, 2*w - 7*b + 6*b = 11. Is a(w) a multiple of 7?
False
Let s(h) = 11*h**2 + 3*h. Let o(i) = -4*i + 47. Let n(f) = f**3 + 14*f**2 - 32*f + 11. Let p be n(-16). Let j be o(p). Does 9 divide s(j)?
True
Let t(o) = -6 + 21 + 17*o + o**3 + 31*o**2 - 2*o**3 - 69*o. Is t(29) a multiple of 21?
True
Does 3 divide 440/550 - 901/(-5)?
False
Let u(c) = 171*c + 10731. Does 180 divide u(0)?
False
Suppose -4 = -l - 2*h, -5*l + 2*l + 15 = 3*h. Is 3/((-27)/l)*1980/(-6) a multiple of 44?
True
Let x = 783950 - 333142. Does 15 divide x/1036 + (6/7 - 1)?
True
Suppose -18*l + 55632 = 15*l + 24*l. Does 8 divide l?
True
Let n be 21/19 + -1 + (-14198)/589. Let f(i) = -i**2 - 22*i + 93. Does 3 divide f(n)?
True
Let s(h) = 11 + 0*h + 5 - 4*h + 6. Let u be s(7). Let f(b) = -2*b + 11. Is f(u) a multiple of 23?
True
Let g = -4224 + 20982. Is 14 a factor of g?
True
Let d(x) = -x**2 + 2*x**3 + 1 - x - x**2 - 4. Suppose 133 - 117 = 4*q. Is d(q) a multiple of 32?
False
Suppose 7*b - 113 - 559 = 0. Suppose u + 2*o - b = -u, -o = 0. Suppose -u*z + 58 = -46*z. Is 13 a factor of z?
False
Let t(b) = b**3 + 35*b**2 - 79*b - 180. Does 24 divide t(-36)?
True
Suppose 142485 - 42596 = 18*c + 5*c. Is c a multiple of 6?
False
Is 477/81 - (-2)/18 - (-19323 - 0) a multiple of 8?
False
Suppose -54*j + 55*j + 1 = 0, 2628 = 4*n - 4*j. Is 12 a factor of n?
False
Let i = -9629 + 17134. Is i a multiple of 19?
True
Let l(i) = -17*i + 13. Let k be l(-3). Suppose 6*r - 1226 - k = 0. Suppose -r = -2*b + 3*f, 0*b - 557 = -5*b + f. Is 14 a factor of b?
True
Let z = -1089 + 1537. Let r be (1 - (-140)/6)/(7/(-84)). Let t = r + z. Is 37 a factor of t?
False
Suppose -5*d - 2623 - 1547 = -5*i, 0 = -5*d - 30. Does 46 divide i?
True
Let v(t) = 1641*t - 4065. Does 70 divide v(5)?
False
Let q be (-32)/(-12)*(-2 + (-346)/(-8)). Let i = q + -220. Let j = 294 + i. Is 46 a factor of j?
True
Let c(t) = -t**3 - 3*t**2 + 2*t + 8. Let d be c(-2). Is 8 a factor of -1 - (1 + (-2 - d))*89?
True
Let s = 348 + -337. Suppose 7*b - s*b = -1008. Is b a multiple of 9?
True
Let l(a) = 7*a**2 - 9*a - 22. Let c be l(-6). Let x = 52 - -117. Let n = c - x. Is n a multiple of 9?
False
Suppose -5*r - 5*i = 5, -44*r + 2*i - 1 = -47*r. Suppose r*k + 321 = w - 136, -k = 4*w - 1802. Is 11 a factor of w?
True
Suppose 5*n - 3*y = 19285, 1675*n - 15460 = 1671*n - 4*y. Is n a multiple of 11?
False
Suppose -2*k = 4*j - 78, 3*j + 4 = k - 10. Suppose -2700 = -47*y + k*y. Does 6 divide y?
True
Suppose -4*d - 3*l + 8767 = 0, 3*d + 7*l - 6581 = -l. Is d a multiple of 7?
True
Suppose 0 = 5*i - 2*r - 2595, -2*r + 4*r = 2*i - 1038. Let h = i + -264. Is 51 a factor of h?
True
Let t = 4399 - 1460. Is t a multiple of 5?
False
Is 28 a factor of (36/7)/(689200/(-40544) + 17)?
False
Let x = 39 + -14. Suppose -20*q = -x*q + 10. Suppose 15 - 53 = -q*o. Does 19 divide o?
True
Suppose 0 = -y - q + 27560, 62*q - 59*q - 27542 = -y. Is y a multiple of 19?
True
Suppose -14711 - 45585 = -4*f + 34240. Is f a multiple of 26?
True
Let o(b) = 42*b - 18. Let m(t) = 21*t - 9. Let i(a) = -5*m(a) + 3*o(a). Let l = -4061 + 4071. Does 9 divide i(l)?
False
Let m(c) = c**3 + c**2 - 12*c + 11. Suppose 112 = 10*q + 2. Suppose 0 = 2*w + 1 - q. Does 15 divide m(w)?
False
Is 14097/4 + -3 - ((-825)/(-44))/15 a multiple of 88?
True
Suppose -5*y + 46 - 146 = 0. Let j = y + 12. Is j/5*(-6 + -14) a multiple of 8?
True
Suppose -20*i - 828 = -29*i. Let x = -87 + i. Suppose 2*l + 630 = 4*b, x*b - 53 = -l + 724. Does 26 divide b?
True
Let u(f) = -22*f**3 - 4*f - 7. Is u(-6) a multiple of 49?
False
Suppose -13*u = -26*u + 18538. Let k = -738 + u. Does 15 divide k?
False
Let b = -57 - -190. Let d = b - 43. Does 10 divide d?
True
Let y(i) = 23 + 229*i + 1 + 165*i - 6. Let o be y(3). Suppose 9*b + 3*b = o. Is 6 a factor of b?
False
Let p be 0/(-12) - 0/2. Let d(n) = 2*n + 303. Let o be d(p). Suppose 5*c = -0*f + 3*f - 311, -3*c = -3*f + o. Is 24 a factor of f?
False
Let b = 33 + -31. Let m be 2/((-4)/b*4/(-8)). Suppose 3*s + m*s = 175. Is 11 a factor of s?
False
Suppose -5*v + 3*x = -657, -3*v - x + 392 = -5*x. Let i = 1403 + v. Is i a multiple of 62?
False
Suppose 0 = -3*c + 32*c + 37*c - 623304. Is 6 a factor of c?
True
Let s be -1 - 3 - 3105/(-15). Suppose -3*l = -15, -3*b - s = -4*l - 858. Suppose 0 = -m + 2*g + 49, b = 5*m - 8*g + 3*g. Is m a multiple of 41?
True
Let m = -227 + 227. Suppose 2*z + 10 = m, 3*g - 4*z - 331 = -5*z. Does 16 divide g?
True
Is 9 a factor of (-67 + 1)*(((-91520)/33)/13 + 3)?
False
Let g be ((-18)/4)/((-4)/40). Let w = g + -40. Does 5 divide (-90)/4*(-2 - -3 - w)?
True
Does 18 divide ((-5)/(50/(-9528)))/(27*52/31590)?
True
Let u = 4962 - 4944. Let q be 407/3 + 4/(-6). Let n = q + u. Is n a multiple of 20?
False
Suppose 1741*b = 1719*b + 802604. Is 34 a factor of b?
True
Let d(b) = 2740*b + 8285. Is 40 a factor of d(6)?
False
Let j(g) = -g**2 - 24*g + 3. Let y be j(-24). Suppose -1859 = -8*t - y*t. Is t a multiple of 12?
False
Does 7 divide 1/(-2) - ((-1332)/8 - 19)?
False
Let p(q) = 2*q + 3004. Is p(84) a multiple of 26?
True
Let i be 165/30 - 2/((-8)/6). Suppose i*x - 10*x - 12 = 0, 0 = 5*u + 2*x - 437. Is 16 a factor of u?
False
Let o(x) = -2*x - 11. Let a be o(-7). Suppose -17*b = -16*b - a. Is 5 a factor of 10 - (-1 - (b + -4))?
True
Let s(o) = 9*o**3 - 2*o**2 - 3*o + 2. Let x be s(2). Suppose k - 111 - x = 0. Suppose 5*g - 3*j - 234 = 0, 4*g + 3*j + 0*j = k. Is 9 a factor of g?
True
Suppose 4*r + a - 13 = 3, 2*r - a = 14. Let j(n) = 92*n - 88. Is 35 a factor of j(r)?
False
Suppose -2*v + 4*l = -3966, 0 = -2*v - 5*l - 223 + 4180. Let q = 3281 - v. Does 55 divide q?
False
Suppose -6133 = -5*k + 4*s, 3*s = 6 + 3. Let v = -340 + k. Let b = v + -616. Does 21 divide b?
True
Let u = 15 + -5. Let f be (9/2)/(5/u). Suppose 0 = 7*k - f*k + 38. Does 2 divide k?
False
Let p(b) = b - 17. Let y be p(14). Let d be 129 + (y - (-2 + 2)). Let l = 18 + d. Is 12 a factor of l?
True
Suppose -4*u - 8 = 4*o, 0*u = 2*o + 4*u + 12. Suppose 28 = h - 5*l - 49, -o*l - 500 = -5*h. Let b = 210 - h. Does 36 divide b?
True
Let n be (-22)/33*(-11 + -1). Let g(t) = 13*t - 18. Let y(a) = 20*a - 27. Let i(z) = n*g(z) - 5*y(z). Does 4 divide i(8)?
False
Let k(s) = s**3 - 62*s**2 - 112*s - 464. Is k(64) a multiple of 8?
True
Suppose -4*w + 57 = -31. Let q(u) = 0*u + 599 + u - 552. Is q(w) a multiple of 23?
True
Does 19 divide ((-805)/(-20))/((-2)/(-1216))?
True
Suppose 5 = -p + 1, 4*m - 5*p - 28 = 0. Suppose w = -m*w - 5*t + 15, -2*w = -t - 10. Suppose 59 - 364 = -w*c. Is 4 a factor of c?
False
Let l = 8626 + -8605. Is l even?
False
Let d(m) = m + 11. Let a be d(-9). Suppose a*j + h - 162 = 0, -2*j - 78 = 2*h - 242. Does 10 divide j?
True
Suppose -4*u + 1780 = 2*n, 3*u + 5717 = 5*n + 1306. Is 34 a factor of n?
True
Suppose -2*o + 2*g + 1107 = 7*g, -g = -4*o + 2247. Does 63 divide -49 + o - 2*4?
True
Does 12 divide 10/8 + (7/2 - (-31239)/12)?
False
Let g(k) = -59*k + 6. Let p(n) = -n**3 + 5*n**2 + 14*n - 1. Let s be p(7). Does 9 divide g(s)?
False
Let s = -2507 - -3428. Is 8 a factor of s?
False
Let i(l) = l**2 + 10*l - 15. Let a be i(-11). Let m(r) = -2*r**2 - 15 - 11*r**2 + 19*r**2 - 3 - 4*r. Does 21 divide m(a)?
False
Suppose 0 = m - 2*h - 15988, -3*h + 75066 = 7*m - 36782. Does 54 divide m?
False
Let x be (-13)/(-78) + (-3)/36*-11398. Let g = x + 216. Does 22 divide g?
True
Does 24 divide (-1124)/((-183 + 185)*1/2*-1)?
False
Let h = 102 + -57. Suppose c + h = -4*c. Is ((-39)/c)/(2/(-3))*-2 a multiple of 3?
False
Let g(s) = -3*s**3 - 153*s**2 - 303*s + 35. Does 4 divide g(-49)?
True
Let c be (1 - (1 - -2)) + 1007. Suppose n - c = -0*n. Suppose -7*i + n = 