-16. Suppose -3*h - h + 1 = -3*d, 0 = -n*d + h + 3. Is 7 a factor of ((-2)/2*d)/((-6)/126)?
True
Let b be 735/42*4/7 + 4. Is 8/b - ((-3979)/7 + 3) a multiple of 13?
False
Suppose 257*c + 4*u - 88360 = 245*c, 4*u - 29440 = -4*c. Is c a multiple of 4?
False
Let m be (-1242)/8 + 2 - (-34)/136. Let b = m - -297. Is 6 a factor of b?
True
Let z be (-2)/(-12) - 33745/(-102). Suppose 2*n + 1224 = 4*q, -n + 24 = -q + z. Does 61 divide q?
True
Suppose -2*j - 6*g + 11148 = -2*g, -3*j + 16770 = -10*g. Is 93 a factor of j?
True
Suppose -12*z = -9*z. Let x = -214 + 217. Suppose -k + 5*n = -15, z = -x*k - 5*n + 59 - 14. Does 5 divide k?
True
Let z = -4599 - -13946. Is 126 a factor of z?
False
Suppose -7983 = -26*b + 23*b. Suppose 7*m - 12034 = -b. Is m a multiple of 13?
True
Let a = -149 - -1614. Is 5 a factor of a?
True
Suppose 0 = 1477*d - 1518*d + 599994. Is 8 a factor of d?
False
Does 5 divide (21/9)/(19/11856)?
False
Let h(z) = z**2 - 8*z + 12. Let o(s) = 6*s. Let k be o(1). Let q be h(k). Suppose q = -f - 7*f + 520. Is f a multiple of 13?
True
Suppose 126*p - 105422 = 717155 + 194621. Does 69 divide p?
True
Let a be 0 + 6 + -7 - 554. Let c = a - -608. Does 23 divide c?
False
Let y be (2 + -1)*5*1. Let f be (-1 + 34/10)/(1/y). Suppose 4*o = -f, -184 = -2*x + 5*o - 1. Does 28 divide x?
True
Let s(j) be the first derivative of 8*j**3/3 - 3*j**2/2 + 2*j - 16. Let d be s(1). Is 27 a factor of 74 - d/((-35)/10)?
False
Let c be 386/5*(38/(-4) + 12). Suppose -5*o - 1 = -26. Suppose -5*j = 4*z - j - 140, o*z = j + c. Does 5 divide z?
False
Let m(l) = -31*l + 12. Let w = 38 + -53. Does 9 divide m(w)?
True
Suppose 4*g - 3*n = -7*n - 3284, 3*n - 4089 = 5*g. Let f = 1305 + g. Suppose -5*b + f = 2*d, 4*b - 601 = 2*d - 223. Is b a multiple of 24?
True
Suppose j + 0 = 1, 0 = -4*n + 3*j + 5. Suppose -n*y + 1003 = 15. Suppose s - 20 = 5*s, -3*q - 5*s + y = 0. Does 37 divide q?
False
Suppose -8*u = -12 - 44. Let q(o) = o**3 - 3*o**2 + 3*o - 6. Let x be q(u). Let w = -115 + x. Does 8 divide w?
True
Let p = 771 + 3533. Does 16 divide p?
True
Let k(t) = -t**2 - 16*t - 2. Let p be k(-7). Suppose -g + 111 = -202. Suppose -p = 2*u - g. Is 24 a factor of u?
False
Let h(x) = 345*x**2 - 7*x - 6. Is h(4) a multiple of 13?
True
Let v(l) = 6*l**3 - 486*l**2 + 102*l + 95. Does 14 divide v(81)?
False
Let b be (-697)/3 + -7*(-4)/(-42). Let w = 408 + b. Is 14 a factor of w?
False
Let m = 2842 + -2822. Let o = 110 - -66. Suppose 0*l = 4*l - 5*u - o, 5*u - m = 0. Is l a multiple of 7?
True
Let s(l) = 9*l**2 + 15*l - 74. Suppose -2*r = -22 + 4. Is 23 a factor of s(r)?
False
Let g be (-3)/(-12) - (-12467)/52. Is 6/(-2)*g/(-72) even?
True
Suppose 4*x + a + 87170 = 7*x, 87162 = 3*x + 3*a. Does 9 divide x?
False
Suppose 26*m = 25*m + 776. Let g = m + -425. Is g a multiple of 41?
False
Let u be (16 - 17)/((1/576)/(-1)). Suppose 0 = -4*b + u + 48. Is 23 a factor of b?
False
Let o be -5*(3/(-6))/(3/354). Suppose 3*l + o = 5*n, -4*l = 4*n - l - 236. Does 15 divide n?
False
Let l = 136 - 57. Suppose -1217 = 48*z + 511. Let i = z + l. Does 6 divide i?
False
Let h(k) = -18 - 14*k - 3*k**2 - 2*k**2 + 66*k + 17*k**2 - k**3. Does 21 divide h(15)?
False
Let u be 3/(-1) + 50/10. Suppose -u*x - 163 = -1219. Is 48 a factor of x?
True
Suppose 0 = 4*x + 9*x - 39858. Suppose 2*c = x - 1026. Does 20 divide c?
True
Suppose -4*q - 3*z + 129612 = 0, 5*q + 68*z - 61*z - 161989 = 0. Does 32 divide q?
False
Let g = 48 + -47. Let l be g/4*(1 - 5)*-2. Suppose l*x = -5*f - 2*x + 276, 281 = 5*f - x. Does 5 divide f?
False
Let j = -58 + 61. Suppose -j*p + 467 = -22. Suppose 12*n = 1423 - p. Is n a multiple of 21?
True
Let n = 186 - 176. Suppose 0 = 20*x + n*x - 26910. Is 23 a factor of x?
True
Suppose 21*w + 37*w + 155554 = 72*w. Does 143 divide w?
False
Let y(x) = 44*x**2 - 2*x - 8. Let b(k) = -55*k + 104. Let i be b(2). Is 13 a factor of y(i)?
False
Suppose 30*w - 37*w + 7 = 0. Suppose 0 = 2*o + 5*p - 23, 0 = o - 2*p + 1 + w. Suppose 0 = -5*s + 2*u + 51, -o*u + 21 = s - 8*u. Does 3 divide s?
True
Let k be (-30)/((-64)/(-450) + (-44)/198). Suppose 2*s + 156 = 4*q - 150, 5*s + k = 5*q. Is q a multiple of 14?
False
Is 12/8*77742/27 a multiple of 12?
False
Suppose -2491398 = -31*i - 818049. Is 181 a factor of i?
False
Let p = -14238 + 14243. Let l be 5*(-7)/(-1) - 0. Does 5 divide l/((-42)/9 + p)?
True
Let n = -955 + 496. Let l = -270 - n. Is l a multiple of 36?
False
Let k = 21992 - 21930. Is 4 a factor of k?
False
Let v(l) = 49*l - 46. Let k be v(-4). Let a = k - -324. Is 3 a factor of a?
False
Suppose 2*k = 2*f + 16616, 75*k + 2*f = 72*k + 24919. Is 156 a factor of k?
False
Let k = 53 + -59. Is 24/k*-18*2 a multiple of 24?
True
Let j(l) = l**3 + 14*l**2 - 2*l - 25. Let o be j(-14). Suppose -340 = -14*d + 13*d - o*h, -2*h + 684 = 2*d. Is 7 a factor of d?
True
Suppose 5*p = 0, 11*p = 2*s + 10*p - 24396. Does 214 divide s?
True
Let h(b) = 7*b - 16. Let a be h(3). Suppose 172 + 243 = -a*c. Let r = c - -163. Is 29 a factor of r?
False
Let n = 177 - 169. Does 32 divide -4*((-1070)/n + 18/(-24))?
False
Let b be ((-6)/4)/(6/(-72)). Let r be ((-20)/(-18))/(-5) - 32/b. Is 8 a factor of -2*(r/(-5) + (-1314)/60)?
False
Let z be 56/105*18 - (-2)/5. Suppose 4 = -2*k + z. Suppose -216 + 16 = -k*w + h, 3*w = -5*h + 188. Is w a multiple of 11?
True
Let x(b) = 1726*b - 636. Is x(7) a multiple of 194?
True
Let n be 31276/196 + 3/7. Let u = n - 12. Does 5 divide u?
False
Suppose 10*z = 53*z + 13379 - 196688. Does 87 divide z?
True
Suppose 4*h + 22 = 2. Let m = h - -149. Suppose -6 = -c + m. Is c a multiple of 23?
False
Is (-18)/(-77 - 13) + 2/((-30)/(-743847)) a multiple of 174?
True
Suppose 9*s - 2976 + 2175 = 0. Is 13 a factor of s?
False
Let t be ((-11427)/156)/((-4)/(-16)). Suppose 299 = -4*v - 401. Let m = v - t. Does 20 divide m?
False
Let g(z) = -4*z**2 - 3*z + 3. Let m(h) = h**3 - h - 1. Let o(r) = -g(r) - 3*m(r). Is 15 a factor of o(-5)?
False
Suppose 0 = 25*w + 13 - 238. Suppose -14*x = 3*a - w*x - 3343, 0 = -4*a + 4*x + 4468. Is 12 a factor of a?
True
Does 10 divide (1788/48*6)/(1/6)?
False
Let i(t) = -t**3 - 2*t**2 + 2*t + 48. Let l = -63 - -66. Suppose s = l*u + 3*s + 10, -5*u - 4*s - 20 = 0. Does 48 divide i(u)?
True
Suppose 8*r + 2*u = u + 362039, -u = -4*r + 181009. Is r a multiple of 17?
True
Is ((-108)/(-135))/((-1)/(-435)) a multiple of 87?
True
Let o = 113 + -221. Let i = o + 114. Does 4 divide i?
False
Suppose 4*k = 2*t - 7 - 11, -2*k - 6 = 0. Suppose t*n = 0, 0*l + 18 = 2*l + 2*n. Is (1 + l + -1)*6/2 a multiple of 27?
True
Let i be (4/2)/(-2 + (-276)/(-141)). Let f = -14 - i. Is f even?
False
Suppose 8079 = 22*y - 43863. Does 7 divide y?
False
Suppose 4*r + 5*m - 306 = 0, 3*r - 2*m - 251 + 33 = 0. Suppose 0 = -r*p + 88*p - 8848. Does 21 divide p?
False
Let z(t) = 38*t**2 + 68*t + 590. Is z(-11) a multiple of 40?
True
Suppose 0 = -3*l + 34 + 68. Suppose 11*n - l = 10. Suppose -5*b + 239 = d + 2, -3*b = -n*d - 133. Is 3 a factor of b?
False
Let w(x) = 2*x**2 + 2*x + 8. Let p(s) = -s + 11. Let n be p(14). Does 20 divide w(n)?
True
Is ((-3728)/(-699))/(1/378) a multiple of 12?
True
Let n(l) = 3*l**2 + 7*l + 39. Let v be n(8). Suppose 3*z - 238 = 4*o + v, 5*z - 846 = -3*o. Is z a multiple of 9?
True
Let b(f) = -3*f + 2. Let q be b(0). Suppose 0 = 3*u + n + 464, 0 = -5*u - q*n - 2*n - 778. Let h = u + 217. Does 30 divide h?
False
Suppose -5 = -3*b + 5*u, -2*b + 0*b - u + 12 = 0. Let a be 1815/(-22)*(-8)/b. Let j = -110 + a. Is j a multiple of 3?
False
Let j(h) = 586*h**2 + 36*h - 125. Is j(5) a multiple of 22?
False
Let s = 18454 + -8941. Does 9 divide s?
True
Let m(g) = -g + 40. Suppose y = -6*y - 84. Let p be y*((-8)/4 - 0). Is 8 a factor of m(p)?
True
Let d = 14 + 4. Let h(k) = 7*k - 63. Does 9 divide h(d)?
True
Let r = -135 - -195. Suppose k + 2 = 5*g, -2*k + 23*g - 18*g = 19. Let p = r + k. Does 10 divide p?
False
Is 4 a factor of 16 - -1177 - (-9 + -2)?
True
Let b = -65 - -39. Let d = -22 - b. Suppose -3 - 30 = -5*u + y, -u - 1 = -d*y. Does 7 divide u?
True
Let v(h) = 2*h**2 - 10*h + 3. Let b be v(4). Let s(o) = -119*o + 29. Let p be s(b). Suppose 6*g = 10*g - p. Is g a multiple of 16?
False
Let w be (192 - 335) + (1 - (-1 + -1)). Let c(b) = -61*b + 1. Let z be c(-6). Let g = w + z. Is 15 a factor of g?
False
Let 