 = 17*w - a*w + n, n = -4*w + 1104. Does 6 divide w?
True
Suppose 82*y - 598537 - 111173 = -0*y. Is y a multiple of 60?
False
Suppose w - 3*a + 6675 = -4*w, -5*a - 5340 = 4*w. Does 19 divide ((-14)/4)/(7 - w/(-190))?
True
Let h(j) = j**3 + 5*j**2 - 6*j + 4. Let f(i) = -i + 7. Let v be f(13). Let p be h(v). Suppose -p*k = -878 + 230. Does 18 divide k?
True
Let y(f) = 2*f**2 - 8*f - 18. Let z(h) = h**3 + 3*h**2 - 4*h - 4. Suppose -4*i - 4*i - 24 = 0. Let b be z(i). Is 10 a factor of y(b)?
False
Is (-173)/((-62280)/15984)*(67*10 + 0) a multiple of 67?
True
Suppose 0 = -h - 2*p + 41024, -p + 164054 = -191*h + 195*h. Does 54 divide h?
False
Does 145 divide (51 - 29 - 21)*(43038 - -3)?
False
Suppose -12*j + 4*j + 3344 = 0. Let u be -3 + 6/(-9) + j/6. Suppose 0 = -2*z + 8*z - u. Is z a multiple of 9?
False
Suppose 0 = -11*i + 80045 - 15277. Does 164 divide i?
False
Let y = -25615 + 28057. Is y a multiple of 111?
True
Suppose 4*b + 27308 = 4*o, -o - 3*b = -7269 + 446. Does 51 divide o?
False
Suppose -17135 - 258517 = -6*z - 108*z. Does 43 divide z?
False
Suppose -3*n - 184 + 880 = 0. Suppose 0 = -4*l - 4*h + n, 2*l - 150 + 13 = 5*h. Suppose 0*j + l = 3*i - 2*j, -30 = -2*i + 4*j. Is 15 a factor of i?
False
Let r(o) = 5*o - 39. Suppose 8*s - 4*s = 5*f + 218, 4 = -2*f. Suppose s - 8 = 4*a. Is r(a) a multiple of 8?
True
Let t be (18/(-5))/((-32)/80). Is 29 a factor of 1828/7 - t/63?
True
Let f(l) = -3*l**3 - 27*l**2 - 50*l - 51. Is 91 a factor of f(-17)?
True
Suppose -q + 2 - 1 = -g, 0 = 5*q + 5*g - 45. Suppose 2*s + 12 + 22 = 4*p, q*s + 74 = -p. Does 14 divide (s/6 + 2)*1106/(-7)?
False
Let o = 34241 - 24419. Is o a multiple of 3?
True
Let s = 35 + -32. Let o(k) = -140 + 2*k + 123 + s*k. Is 3 a factor of o(5)?
False
Let g(s) = -85*s**3 + 21*s**2 + 77*s + 70. Is g(-3) a multiple of 4?
False
Suppose 51*o - 47*o - 2610 = -5*d, 0 = -4*d + 3*o + 2057. Is d a multiple of 8?
False
Let o(p) = -p**3 + 23*p**2 + 3*p - 62. Let v be o(23). Suppose v*a + 324 = 1276. Is 17 a factor of a?
True
Let n(i) = 671*i**2 - 66*i - 199. Does 20 divide n(-3)?
False
Suppose 53*u = 24*u + 377. Suppose u*q - 616 = 6*q. Does 22 divide q?
True
Let z(o) = 4*o**2 - o + 9. Let k = -432 + 438. Does 5 divide z(k)?
False
Suppose -2683368 = 80*a - 282*a. Is a a multiple of 6?
True
Let i be 42 - (-1 - (6 + 3 + -7)). Suppose -3*l + 60 - i = 0. Suppose 2*r + 2*f - 132 = 0, r - 2*f + 262 = l*r. Does 7 divide r?
False
Let d be (-20)/8*58/(-5). Suppose 2*a - a - d = 0. Let f = a - -28. Is 14 a factor of f?
False
Let x(n) = n**2 - 13*n + 16. Let v be x(19). Suppose -3*d + v = 2*d. Suppose 87 = -d*m + 27*m. Is m a multiple of 31?
False
Suppose -375 + 1187 = 7*n. Suppose -n = -6*l + 4306. Does 6 divide l?
False
Let w be (-1)/(1 + 1385/(-1390)). Let y = w + 759. Is y a multiple of 14?
False
Let g = 4623 + -1838. Is g a multiple of 8?
False
Suppose 4*a = -i + 728, 1411 = 2*i + 14*a - 15*a. Let t = i - 422. Does 42 divide t?
False
Let i = -1700 - -952. Let s be i/(-16) + (-3)/4. Suppose 65 = 3*a - 2*l, -3*l + l = -2*a + s. Does 19 divide a?
True
Suppose -56*g + 251551 = 85984 - 353553. Is g a multiple of 6?
True
Suppose 0 = -3*u - 2*s - 120, -4*u - 32 = 3*s + 127. Let t = u + -48. Does 33 divide t/(-12)*48/10?
False
Let b = 63 - 55. Suppose 24 = -4*h + b*h. Does 17 divide 5/(-15) + 812/h?
False
Let t be (90/60)/(62/(-60) + 1). Let r = 85 + t. Is 10 a factor of r?
True
Let m(d) = d**3 - 5*d**2 - 6*d. Let c be m(6). Suppose c*w = -7*w + 105. Is 6/(-4)*(-250)/w a multiple of 4?
False
Let q(c) = -11 + 0*c**3 + 5*c**3 + 16*c**2 - c**3 - 3*c**3 - 9*c + 8*c**2. Does 33 divide q(-6)?
False
Let f be (-190)/4 - (-4)/8. Let l = 63 + f. Suppose -5*s = -164 - l. Does 12 divide s?
True
Suppose -x + 852 = 4*l, x + 173*l = 178*l + 825. Is 120 a factor of x?
True
Let b(c) = 44*c - 16. Let j(m) = -m**3 + 7*m**2 - 5*m - 8. Let d be j(4). Suppose -11*r = -15*r + d. Is b(r) a multiple of 34?
True
Let j = 567 - 565. Is j/4 + (-2035)/(-10) a multiple of 39?
False
Suppose 10*k + 2*k + 780 = 0. Let m = 109 + k. Let p = m + 40. Is 39 a factor of p?
False
Suppose -6*r + 4446 = 13*r. Is 27 a factor of 2/8*r*10/3?
False
Let r = 125 - 116. Let z be ((-56)/21)/((-6)/r). Suppose 0 = z*v - 44 - 12. Is 2 a factor of v?
True
Let i(j) = -19*j**3 + 17*j**2 - 6*j + 10. Is i(-6) a multiple of 191?
False
Suppose 433 = 6*q + 91. Suppose -179 = -w - 2*w + 2*l, w = -2*l + q. Let s = -37 + w. Is 3 a factor of s?
False
Let j = 198 + -74. Let t = 242 - j. Is t a multiple of 19?
False
Let r be 5/((2/164)/((-13)/(-26))). Let n = 668 - r. Is 38 a factor of n?
False
Suppose 4*v - 1168 = -4*p, -4*p + 8*p - 1156 = -v. Let y = -93 + p. Does 5 divide y?
True
Suppose b - 675 = 189. Suppose 33*s + b = 39*s. Does 12 divide s?
True
Let n = 9 + -15. Let v = 1943 - 1941. Does 21 divide v/(-2)*n*21/3?
True
Suppose 114*q - 111*q = x - 7565, 0 = -x - 3*q + 7559. Does 163 divide x?
False
Does 72 divide 30/50 + (-239037)/(-5)?
True
Suppose 6*x - 4*x - 10 = 0. Let l be (6 - 2)/(x*2/5). Let d(o) = 2*o**3 - 5*o + 1. Does 7 divide d(l)?
True
Let f be (((-780)/9)/5)/((-4)/24). Is -1*(-1 - 2)*f a multiple of 6?
True
Does 5 divide (-2965)/(-10)*290/29?
True
Let d be (-272)/(-476)*91/2. Suppose -76734 = -23*y - d*y. Is 18 a factor of y?
True
Suppose 5*w = 5*q + 3714 + 11826, 3*w - 9309 = -2*q. Is 27 a factor of w?
True
Let d = 80 - 14. Suppose 1500 = 71*t - d*t. Is t a multiple of 30?
True
Suppose -120*j + 2107 = 667. Is j a multiple of 2?
True
Suppose -54755 = -5*x - j, 3*x + 303*j - 32831 = 298*j. Is 74 a factor of x?
True
Suppose -486 = -5*j + 3*d, -4*j + 11*d + 393 = 10*d. Is 3/9 + j/27 even?
True
Let k(h) = -43*h + 34. Suppose -10*s = -16*s - 42. Does 40 divide k(s)?
False
Let q(x) = 137*x + 3. Let h be q(1). Suppose -5*i - h = -2*z, -z - z + i = -140. Suppose z = 4*n + 6. Is n a multiple of 13?
False
Let g(u) = 19 - 31 - 36*u - 27*u. Let t be g(-5). Suppose 0 = -6*r + t + 57. Is r a multiple of 18?
False
Let x be 56/(-8) + 4 - -422. Suppose -3*p + 2*s + 756 = 0, 2*p - 93 = 4*s + x. Does 4 divide p?
False
Suppose q + 7 = m, 4*m + 6*q - 16 = 4*q. Suppose -m*w = 5*g - 4305, g = -3*w + 2257 + 320. Does 66 divide w?
True
Let p = 6712 - 1510. Is p a multiple of 20?
False
Suppose -290 = 6*o + 106. Let r = o - 19. Let a = -28 - r. Is 19 a factor of a?
True
Suppose -2*j = j + 2*d - 534, -903 = -5*j + d. Let y = -253 + j. Let b = y - -145. Is 13 a factor of b?
False
Suppose -u = -259 - 494. Is 7 a factor of u?
False
Suppose q - 108 = 3*i, -3*q + 40 = -5*i - 300. Does 5 divide q?
True
Let g(i) = 88*i**2 + 6*i + 180. Is 50 a factor of g(-5)?
True
Suppose 0 = -p - 2*z - 773, -2*p = z + 2*z + 1545. Let d = p + 518. Let a = 437 + d. Is a a multiple of 30?
False
Let l = 30587 - 19718. Does 6 divide l?
False
Let c be (-1312)/(-10) + 8/10. Suppose -l - c = -594. Does 14 divide l?
True
Let j(d) = 31 + 28*d - 53*d - 109 + 10*d. Is j(-16) a multiple of 6?
True
Let u be 4 + (-21)/14*1*10. Let o(z) = -120*z - 17. Is 80 a factor of o(u)?
False
Suppose 25*y + 72 = 29*y. Let q(t) = 10*t - 39. Is q(y) a multiple of 28?
False
Let x(z) = 2*z**2 - 136*z - 3066. Is 24 a factor of x(-54)?
False
Is 41 a factor of 204/9*((-6 - 1) + 253)?
True
Let r = 6883 - 5301. Does 19 divide r?
False
Suppose -8*l = -2*l + 3*z - 16311, -5*l + 13599 = -4*z. Is 28 a factor of l?
False
Let k(h) = -9 + 14*h + 14 - 14*h - 25*h. Let r(u) = 26*u - 4. Let t(g) = -5*k(g) - 6*r(g). Is t(-4) a multiple of 12?
False
Let a = -2956 - -3569. Is 29 a factor of a?
False
Let b = -169 - -253. Let p = 90 - b. Is p even?
True
Suppose 1120 = 4*l - 2*o, -3*o = 26*l - 29*l + 837. Let x = l - 237. Is 4 a factor of x?
True
Suppose -3*d + 14 = 8. Suppose -3*t + 0*t = -4*f + 105, -54 = -2*f + d*t. Suppose -2*o = -5*i + 446, -3*o = -i + 60 + f. Is i a multiple of 18?
True
Let a = -15344 - -18372. Is 22 a factor of a?
False
Let k(i) = -20*i + 2*i + 45 - 26 - 5*i + 60. Is 27 a factor of k(-13)?
True
Let c be (-208 - (4 + -5)) + -1. Let i = c + 304. Is i a multiple of 6?
True
Let b(d) = -1 - 3*d + 3*d**2 - 6 + 9 - 2*d**2. Let w be b(2). Suppose 4*y = 8, 5*k - 2*y - 366 = -w*y. Does 15 divide k?
False
Let q = 44055 - 19079. Is 56 a factor of q?
True
Let w(r) = -r**3 + 10*r**2 + 14*r - 176. Does 2 divide w(9)?
False
Let a(h) = -3*h**2 + 124*h - 