uppose -26818 = -5*g - 2*b, 0 = g + 4*b - 1423 - 3937. Is g/32 - (-36)/96 a multiple of 24?
True
Suppose i + 210 = w - 0*i, 2*w - i - 424 = 0. Let v be 1/(-3 - w/(-71)). Let b = -29 + v. Is b a multiple of 6?
True
Does 58 divide 78/(-26) - (2*61)/(-2)?
True
Let x = 558 - 203. Let p = 576 + x. Is p a multiple of 49?
True
Let l(y) = -y**3 - y**2 + 5*y + 5. Suppose 13*j - 14*j = -5. Suppose v = -5*m - 19, 3 = -j*m + 2*v + v. Does 8 divide l(m)?
True
Suppose -342 = -53*m + 47*m. Suppose 73*w - m*w = 160. Does 7 divide w?
False
Let b(j) = -2*j + 21. Let s(a) = 3*a - 31. Let d(f) = -8*b(f) - 5*s(f). Let y be d(12). Is y*(0 - (49 - 0)) a multiple of 18?
False
Suppose 6*k - 18 = 5*k. Let t be 1*7 - (k - 17). Suppose 0*g = t*g - 516. Is g a multiple of 25?
False
Suppose -m + d = 25, 4*m + 0*m = -4*d - 116. Suppose -7*f + 2*f = -175. Let k = f + m. Is k a multiple of 2?
True
Suppose -5*t + z = 2, -3*t - z + 3 = -3*z. Is ((-2682)/(-6) - -4) + t a multiple of 10?
True
Suppose 4*x - 276 = -4*u, -3*x - 161 = 5*u - 498. Let c = 73 - 73. Suppose c = 3*t + 17 - u. Is 4 a factor of t?
True
Let y(o) = 13*o + 31. Let x be y(-2). Suppose -5*p + 3*a = -236 - 199, x*a + 109 = p. Is 8 a factor of p?
False
Let n(p) = -5*p**2 - 5*p**2 + 18*p + 9*p**2 + 29. Let f be n(19). Is 2 a factor of (11 - f)/((-2)/(-28))?
True
Suppose 0 = s + 2*m - 3623, -3*s - 3*m = -8*s + 17998. Is 22 a factor of s?
False
Suppose 0 = 4*v - 0*v + 4*g + 60, -5*g = -4*v - 69. Is 23 a factor of -1684*1/v*4?
False
Is 5 a factor of (24704/(-1737) + (4/(-9))/(-2))*-26?
False
Let p(j) = j**2 - 14*j + 26. Let y be p(12). Suppose 3*d + 63 = -3*t + y*t, 0 = -4*d + 3*t - 71. Is (d/(-50))/((-1)/(-90)) a multiple of 9?
True
Let n(o) = o**3 + 4*o**2 - o + 8. Let h be n(-3). Let d be 30/h - 1/(-2). Is 17 a factor of (-99 + 6)/((-11)/4 + d)?
False
Let v(q) = -q**3 + 33*q**2 + 33*q + 58. Let u be v(34). Suppose -894 = -u*h + 22*h. Is h a multiple of 10?
False
Does 4 divide (-22 - -38) + 13969 + 7?
True
Let v be (8/(-12)*-6)/((-5)/(-320)). Let a = 452 - v. Does 3 divide a?
False
Let u(w) = w**3 - 6*w**2 - 26*w - 15. Let y be u(9). Is 3 + (-40)/12 - 3344/y a multiple of 46?
False
Suppose -k + 44 + 83 = 5*w, 0 = 2*k - w - 309. Is (-20)/6*-6*k/32 even?
False
Suppose -10*a + 7*a = 0. Let j be 1 + a - (-396)/(-6). Let r = 116 + j. Is r a multiple of 3?
True
Let p be (-1)/(-4 + (-19)/(-5)). Suppose 6*g - 19 - p = 0. Suppose 2*a + 0*u = -4*u + 176, 0 = g*a + 2*u - 328. Is a a multiple of 10?
True
Suppose 2 = n, c - 4*n + 8 = -0. Let d(m) = 2*m**2 - 4*m + 348. Is d(c) a multiple of 37?
False
Suppose -c - c = h - 11, 0 = 4*h - 4*c - 8. Let r be 1 - (8 - h) - 2. Is r*(1 + 0) + (42 - 6) a multiple of 8?
True
Suppose -5*w - 3*k + 171885 = 0, -90*w + 4*k = -85*w - 171920. Is w a multiple of 90?
True
Let i be -34 - (-4)/((-12)/(-3)). Let b = -5 - i. Suppose -25*p - b = -26*p. Is p a multiple of 7?
True
Let b(u) = -2*u**3 + 5*u**2 - 9*u - 18. Let c be b(8). Let o = c + 1139. Does 17 divide o?
False
Let r(i) = 169*i + 614. Does 75 divide r(9)?
False
Suppose 0 = 5*o + 4*t - 15828, 0 = -o - 3*o + t + 12675. Let z = o + -2083. Is 37 a factor of z?
False
Suppose -969 = -4*m + 21*m. Let b = m - -171. Is b a multiple of 5?
False
Let i = -241 - -5333. Does 134 divide i?
True
Let s = -328 + 331. Suppose b - 3604 = -4*v, 0*v + v - s*b - 888 = 0. Does 53 divide v?
False
Let b(f) = 17*f - 182. Let z be b(4). Let y = z + 184. Is y a multiple of 7?
True
Suppose -3*g - 45096 = -4*n, -3*n + g = 3706 - 37533. Does 179 divide n?
True
Let x = 18360 + -4837. Does 177 divide x?
False
Let h(v) = -v**3 - 6*v**2 - 7*v + 2. Let w be h(-5). Let m be (-137*2/(-4))/(3/w). Suppose -m = -d - 36. Is d a multiple of 51?
False
Suppose 5*j + 0*j = w - 12491, 3*w = 5*j + 12483. Does 42 divide (72/(-42))/(6/j)?
True
Let g(u) = 2*u**3 - 19*u**2 - 14*u + 89. Is g(17) a multiple of 26?
True
Suppose 0 = 4*p + 4 - 16, -5*m - 3*p - 1 = 0. Let l be 45 - 2/(-1 - m). Suppose u - 42 = -4*c, 3*u + c = l + 39. Does 13 divide u?
True
Let o = -9 - -9. Suppose o = 4*i, 2*i - 21 = -2*p - 9. Suppose 0 = p*m - 12 - 372. Is 18 a factor of m?
False
Let a = -76095 + 133884. Is 425 a factor of a?
False
Let d(v) = 38*v**2 - 12*v + 7. Let p be d(-7). Suppose -3*j - 912 = -2*g, 4*j + p - 129 = 4*g. Suppose 3*f + h = -2*h + g, 8 = -4*h. Is f a multiple of 14?
True
Let u = -3259 - -4442. Does 12 divide u?
False
Suppose -11*v = -5*v + 162. Let t be 208/36 - 6/v. Suppose -w - 225 = -t*w. Is 15 a factor of w?
True
Suppose 9*w - 6*w = z + 2192, 4*w - 4*z = 2920. Suppose 4*o - 257 = w. Is o a multiple of 3?
False
Suppose 329950 = -4935*l + 4974*l - 47258. Is l a multiple of 52?
True
Suppose -7*a + 0*a = 70. Is (23/2)/(a/(-420)) a multiple of 69?
True
Let i = -52 - -54. Suppose -4*q + 460 = 4*v, -q = i*v + 2*q - 231. Does 17 divide v?
False
Let k = 132648 + -90984. Is 217 a factor of k?
True
Let j be (-1)/2*(-88)/(-12)*-3. Let q be -10 + j + 332/(-1 - -3). Suppose 0 = -4*t - 5*d + q, 21 + 68 = 2*t - 3*d. Does 10 divide t?
False
Let v(k) = 39*k**2 + 5*k. Suppose 2*g - 5 = t, -t = -g + 2*t. Let c be v(g). Let j = c - 157. Is j a multiple of 19?
True
Suppose -8 = 2*w - 5*p + 6, -31 = -5*w - 4*p. Suppose -h + w*t + 1959 = -4*h, -t - 2597 = 4*h. Is 9 a factor of (h/(-48))/(2/24)?
True
Suppose 39*g - 72237 = 130563. Is 50 a factor of g?
True
Let t = 25990 - 11044. Is t a multiple of 3?
True
Let v = 8690 + -3265. Is v a multiple of 65?
False
Let a(t) = -t + 10. Let n be a(-4). Suppose v + 2 = 2*v - 5*j, -j + n = -5*v. Is 11 a factor of (-3 + 58/v)*-9?
False
Let j = 280 + -279. Is (1139/201)/(0 + j/39) a multiple of 9?
False
Let s(g) = 1001*g**2 + 8*g - 2. Let b be s(-3). Suppose -26*j + b + 25051 = 0. Is j a multiple of 84?
False
Let d = -490 + 514. Does 67 divide -1 + 36/32 - (-3261)/d?
False
Let a = 14 - -14. Suppose -4*n + a = -2*h + 6*h, 5*h = -n + 35. Does 19 divide (h/(-42)*-86)/((-2)/(-6))?
False
Let z = -9619 + 18669. Does 5 divide z?
True
Let m(d) = -d**3 + d**2 + 6*d + 2352. Let x be m(0). Suppose x = -57*w + 71*w. Is 42 a factor of w?
True
Let b(k) be the second derivative of k**4/12 - 2*k**3/3 - 186*k**2 - 9*k + 7. Is b(42) a multiple of 17?
True
Let s(h) = -1815*h - 4924. Does 148 divide s(-6)?
False
Let i be (-88)/(-33)*24/2. Let x = -30 + i. Is (x/(-5))/((38/420)/(-19)) a multiple of 42?
True
Let w = -247 + -3. Let j = w - -285. Is j a multiple of 22?
False
Suppose -595 - 825 = 5*f. Let v = -158 - f. Is 18 a factor of v?
True
Let g be (0 + -2)*3/(42/(-2149)). Let a = g + -208. Is a a multiple of 11?
True
Let u = 739 - 459. Let i be ((-3)/(-2))/(84/u). Suppose 4*c + 78 = i*j, 4*c + 19 = 4*j - 41. Is 6 a factor of j?
True
Let w(g) = -68*g + 328. Is w(-58) a multiple of 48?
True
Let b = 72 - 58. Suppose -12*i + b*i - 84 = 0. Is 5 a factor of i?
False
Suppose 14527796 = 183*j + 4142363. Is 117 a factor of j?
False
Let a = 784 - 346. Let d = a - 936. Is 13/(-39)*d/1 a multiple of 21?
False
Let j = 6323 + 1489. Does 31 divide j?
True
Let j be 11/6*-34 - (-30)/90. Let a be (-4)/(-16) + j/(-8) + -3. Suppose 2*u = -n + 42, u - 82 - 119 = -a*n. Is 27 a factor of n?
False
Suppose 1040 = -69*w + 74*w. Let n = 62 - 30. Suppose w + n = 5*i. Does 11 divide i?
False
Let a = -6777 + 20357. Does 14 divide a?
True
Suppose -3*w + q + 7154 = 0, -38*w - 11918 = -43*w - q. Is w a multiple of 32?
False
Let y = -1202 + 1980. Let u = y - 450. Is u a multiple of 9?
False
Let x = 1810 - 1029. Let m = x + -493. Suppose 192 = 6*r - m. Does 28 divide r?
False
Let l = -11501 + 20142. Is l a multiple of 72?
False
Suppose 4*i - 57654 = 2*g, 3*i - 50*g - 43254 = -53*g. Does 166 divide i?
False
Suppose -n - 18814 = -6*f, -f = -4*n - 2516 - 612. Does 28 divide f?
True
Suppose 178*o = 23*o + 785850. Does 130 divide o?
True
Let o = 13241 + -7430. Does 39 divide o?
True
Suppose -35*g + 40 = -905. Is (-4)/(-3) - (-8199)/g a multiple of 47?
False
Let f be (1595/15)/(1/3). Let r = f + -171. Is 5 a factor of r?
False
Suppose 2*g + 2728 - 10749 = 3*z, -g - 5*z = -4030. Does 46 divide g?
False
Let m = -471 - -795. Let h = m - 674. Is 25 a factor of (-4 + 4)/(-2) - h/2?
True
Let d(b) = 1063*b - 2632. Is d(5) a multiple of 27?
False
Suppose 174 = -2*o - 2*n, -3*o - 256 = 3*n + n. Let t be 1 + (5/5 - o). Let c = t + 5. Is 11 a fac