
Let a be 3/2*(28/3)/2. Suppose -40 = -a*z + 86. Suppose 3*y = z - 6. Is 4 a factor of y?
True
Suppose -3*j + 16797 = -3*d, 0 = -4*j - 0*d - 4*d + 22468. Is 8 a factor of j?
True
Let t(v) = -1892*v + 1360. Is t(-1) a multiple of 6?
True
Let s = 16 - 40. Let p be 117/12*s/(-9). Suppose p = 5*h + 2*x - 132, 5*x + 130 = 5*h. Is 5 a factor of h?
True
Let g be (-60)/18*(-18)/15. Suppose 0*p - g*p + 140 = 0. Is p a multiple of 20?
False
Suppose 17*q - 7*q = -60. Let i(p) = -p**3 - 5*p**2 + 7*p + 8. Let d be i(q). Suppose -f - 38 = -3*v, -v - d*f + 6 = -f. Is v a multiple of 9?
False
Let g(x) = 39 + x**2 - 27*x + 37 - 80 + x**2. Does 7 divide g(23)?
False
Let l be (-1710)/(4 + (-30)/5). Suppose 42*c - 37*c = -5*s + l, 4*s = 2*c - 318. Is c a multiple of 14?
False
Is 132 a factor of (22976/(-8))/((-3)/(2 - (-245)/14))?
False
Let g = 67 - 62. Suppose -8*k + g*f + 20 = -13*k, -5*k = 2*f + 8. Suppose k*n = 5*v + n - 353, -3*n + 219 = 3*v. Is 35 a factor of v?
True
Suppose -9*a + 144 = 7*a. Is 791/3 - ((-48)/a + 5) a multiple of 18?
False
Let o(h) = -h**2 - 3*h. Let u be o(-2). Let q(x) = x**3 - x**2 - x + 2. Let k(y) = 6*y**3 + y**2 - 2*y + 8. Let w(g) = k(g) - 2*q(g). Does 16 divide w(u)?
True
Let b(f) = -188*f - 51. Let x be b(-12). Suppose 0 = 4*r + 7*w - 6*w - x, -540 = -r + 2*w. Is 10 a factor of r?
True
Is 5 a factor of 2/(-1)*14/4 + -270 + 3827?
True
Let z = 18 - 4. Let i = z + -11. Suppose 0*p - u = 2*p - 49, -61 = -i*p - 4*u. Is 27 a factor of p?
True
Let m = -5860 - -8152. Is m a multiple of 4?
True
Is 8368 - (19 + 6 - 15) a multiple of 41?
False
Let w = 882 - 830. Suppose z = 6*z + 5*n - 485, z - 117 = -5*n. Let l = z - w. Is l a multiple of 13?
False
Let k be (533/13)/(3/144). Suppose 15*w - 9*w - k = 0. Is 24 a factor of w?
False
Let l(u) = -2*u**2 - 9*u - 4. Let n be l(-8). Let k = n + 65. Is 12 a factor of -72*(k - (-51)/(-9))?
True
Let p be -2*44*(0 + 1)*2. Let g be ((-489)/4)/(33/p). Suppose 0 = -2*s - 176 + g. Is 14 a factor of s?
True
Suppose -87 = -3*d - 5*m, -3*d = -m - 2*m - 63. Suppose g + 2*n - d = 0, 0 = 4*g - 2*n + 6*n - 88. Does 4 divide g?
True
Suppose 14 - 1 = -3*h - 5*d, -4*h - 56 = -3*d. Let s(g) = 4*g**2 + 4*g - 10. Does 43 divide s(h)?
True
Is (-416)/(-936) - (-7)/(252/2226152) a multiple of 14?
True
Is 60 a factor of -328*3*(-65)/(-26)*-3?
True
Suppose a = -4*k + 21986 + 20130, -2*a + 4*k = -84304. Is 49 a factor of a?
True
Does 37 divide 2 + ((-7)/(-28) - (-27807)/4)?
False
Let b(f) = 698*f**2 + 8*f - 10. Let u be b(1). Suppose -3*m = -4*d + 6*d - u, -1173 = -5*m + d. Is m a multiple of 6?
True
Suppose 4548 = 2*l + 2*g, 21*l = 16*l + 4*g + 11424. Does 41 divide l?
False
Suppose 25*s - 17957 - 26568 = 0. Does 13 divide s?
True
Suppose -44*b + 36*b = 21232. Let r = b + 4195. Is 54 a factor of r?
False
Suppose 5*t - 25600 = -2*x + 11641, 4*t = -5*x + 29786. Does 62 divide t?
False
Suppose -4*x + x + 2*t = -46, 4*x - 5*t - 66 = 0. Let o = x - 35. Let f(r) = -4*r - 51. Is f(o) a multiple of 11?
True
Let p = -1263 - -6159. Does 102 divide p?
True
Is 52 a factor of 567/(-315)*20/(-6) - -2549?
False
Is 48 a factor of 110299/6 - 42/(-8064)*-32?
False
Let d(p) = p**3 - 4*p**2 - 9*p + 16. Let h be d(7). Suppose 4*q - 68 = h. Suppose -2*r + 236 = -2*c, -q = 5*r - c - 640. Does 30 divide r?
True
Suppose -4*p = -0*p + 456. Let j be p/4*34/51. Let k = 70 + j. Does 7 divide k?
False
Suppose 3*r - z = 4 + 6, -z = 3*r - 8. Suppose r*v + 4*v - 1274 = 0. Is 13 a factor of v?
True
Let g = 386 - 170. Let s = g + -78. Is 23 a factor of s?
True
Let s(n) = -8*n**2 - 3 + 16*n + 11*n - 2*n**2 + n**3 - 5. Is s(8) a multiple of 2?
True
Let m(f) = -3*f**3 + 4*f**2 + 4*f + 14. Let z be m(-4). Let o = z - -76. Is 10 a factor of o?
True
Suppose z = 5*h - 30, -5*z - h - 130 = -6*h. Let t = 14 - z. Suppose -t*f + 112 = -37*f. Does 14 divide f?
True
Suppose 8 = -4*t, -2*q + 5*t + 10 = -0*q. Suppose -x - 3*x + 6312 = q. Is x/8 + 36/48 a multiple of 18?
True
Suppose -y = -0*j - 4*j - 53, 0 = -3*j - y - 31. Does 4 divide j*(732/(-18) - 3)?
True
Let k(m) = 3*m**2 - 21*m + 4. Let a be k(8). Is 5 a factor of (((-5226)/(-8))/13)/(3/a)?
False
Suppose -33810 - 10453 - 60857 = -10*n. Is 8 a factor of n?
True
Suppose -4*r - 15 = -f + 35, -4*f = 4*r - 120. Let g = 35 - f. Does 24 divide (g/(-1) - -2)/((-5)/(-310))?
False
Let m be (24/(-16))/((-6)/692). Let o = 712 - m. Is 20 a factor of o?
False
Let i(q) = -q**3 + q**2 + 2*q - 3. Suppose -y = -u + 3, -u - 4*u = -25. Suppose l + 19 = -3*s, -y*l - l + 5*s = -13. Is 23 a factor of i(l)?
True
Let r = 20656 - 10936. Is 162 a factor of r?
True
Let q = -182 - -158. Let g be (2/(-5))/((-13)/(-4160)). Is 3 a factor of (q/2)/(24/g)?
False
Let n(r) = r**3 + 15*r**2 - 4*r - 56. Suppose -3*y + 34 = -2*u, -u - 5*y + y - 6 = 0. Does 14 divide n(u)?
True
Let x(w) = -2*w**2 + 18*w + 107. Let n be x(-6). Let g = n + 192. Is g a multiple of 17?
True
Suppose 2*d - 5 + 14 = c, -12 = 4*d. Suppose -2*x + x + 3*u + 177 = 0, c*x - 520 = -2*u. Does 6 divide x?
True
Suppose 2*i = -4*n + 179162, 18*i = 4*n + 23*i - 179183. Is n a multiple of 13?
False
Suppose 42 = 4*z + 102. Let f(j) = 2*j**2 + 31*j + 14. Let u be f(z). Is 38 a factor of 304/(-24)*9*u?
True
Suppose -50*r = -25*r - 350. Let p(s) = -s**3 + 15*s**2 - 2*s - 33. Is 27 a factor of p(r)?
True
Suppose l + 9493 = -5*x + 32791, -3*l + 69960 = 4*x. Does 8 divide l?
True
Let l(j) = 3*j**2 + 12*j - 8. Let y be l(8). Suppose 25*n = 27*n - y. Is n a multiple of 11?
False
Is 147 a factor of (0 + 5)*(-192)/320 + 51306?
True
Let m = 422 - 434. Is 22 a factor of (-837)/(-2) - (-6)/m?
True
Let n(b) = 289*b**2 + b - 20. Is n(4) a multiple of 32?
True
Let c(o) = o**3 - 4*o**2 - 6*o + 6. Let k be c(5). Let w(a) = 236*a + 16. Does 21 divide w(k)?
True
Let q = 28996 + -15400. Does 84 divide q?
False
Let d = -74 - -68. Does 2 divide (-3 - 48/d) + -2?
False
Let b(t) = 22293*t**2 + 131*t - 129. Is b(1) a multiple of 13?
True
Suppose 2*t = 5*r - 415 - 1257, 4*t + 992 = 3*r. Let l be r/33 - 14/77. Is 0 + 6/l - (-220)/50 a multiple of 3?
False
Let i(t) = -t**3 + t**2 + 69. Let p(k) = -k**2 + 12*k. Let m be p(12). Let g be i(m). Suppose -35*b + 32*b = -g. Is 4 a factor of b?
False
Suppose 2*v + 60390 = 32*v. Is v a multiple of 33?
True
Suppose -118*l + 103*l - 29650 = -206185. Does 32 divide l?
False
Is 1899 + -17 - ((-12)/(-9) - (-8)/12) a multiple of 40?
True
Let f(t) = t**3 - 3*t**2 - 4*t + 5. Let x be f(4). Suppose -353 = -5*u - x*g + g, -2*u + 158 = -4*g. Is u a multiple of 5?
False
Suppose -13*b + 798980 = b - 29848. Does 23 divide b?
True
Suppose 3*d = -l - 159, 4*l - 8*l - 668 = 4*d. Let z = 261 + l. Is 18 a factor of z?
True
Suppose 0 = 4*d - g - 15413, 74*d - 77*d = 4*g - 11574. Is d a multiple of 41?
True
Let x be (-4 - 2)/3 - (-7 + -404). Suppose -5*u + 5*i + 1385 = 0, 5*i + 841 = 3*u - 0*i. Let r = x - u. Is 51 a factor of r?
False
Let f(k) = 167*k - 14. Let d(z) = 84*z - 7. Let t(u) = -7*d(u) + 4*f(u). Let b be t(5). Suppose 4*x - b = 5*c, 0 = -2*x + 5*c + 135 + 64. Is x a multiple of 19?
False
Suppose -608 = 204*t - 206*t. Suppose -z + 3*j + 151 = 0, -2*z + 4*j = -0*j - t. Is 22 a factor of z?
True
Let o = -46 + 94. Let z be (1 - (-6003)/27)/((-2)/(-3)). Suppose -3*s - z = -5*j + s, o = j + 3*s. Is 18 a factor of j?
False
Does 40 divide 812 + -1 + (-48 - -37)?
True
Suppose 0 = k - 0*k - 3*l - 506, 522 = k + 5*l. Is -3 + 1 + k - (9 + -9) a multiple of 17?
True
Let c(n) = 2*n - 6. Let y be c(5). Suppose 3*o - y*o - 236 = 0. Is o/(-8) + (-2)/(-4) a multiple of 10?
True
Let m = 99 - 94. Suppose m*x - 3*z - 23 = 0, 3*z + z = 4*x - 20. Suppose -x*p - i - 3*i = -80, -i = -p + 12. Is p a multiple of 8?
True
Let b(y) = -5*y**3 + 330*y**2 - 14*y - 295. Is b(65) a multiple of 15?
True
Let y(d) be the third derivative of 137*d**4/12 - 101*d**3/6 - 41*d**2. Does 51 divide y(3)?
False
Suppose -5*j + 27 = -q, -3*q + 4*q - 4*j = -22. Let x be q/(-6)*3 - (-1 + 0). Suppose 2*n = x*m + 248, -2*m - 387 = -3*n - 4*m. Is n a multiple of 30?
False
Suppose 85 = 5*t - 605. Suppose 5*d - 218 = -t. Suppose 18*c - 72 = d*c. Does 5 divide c?
False
Let y be (-1 + 26)/5 + 1134. Suppose -5*c + y - 139 = 5*z, 0 = -4*c - z + 812. Is 7 a factor of c?
False
Suppose 80*k - 110067 - 134013 = 0. Is 27 a factor of k?
True
Let b(