 of 101?
False
Suppose 0 = -5*t - 5*z + 20, 4*t + 2*z + z - 15 = 0. Suppose -p + 0*o + 64 = t*o, -3*p - 2*o = -185. Let q = 73 - p. Is q a multiple of 2?
True
Suppose 0 = -3*y - 34 + 4. Let x be ((-5)/5 + -8)/((-2)/y). Let i = x + 48. Is i a multiple of 2?
False
Let g = -9948 - -18976. Is g a multiple of 250?
False
Suppose m = -4*o + 89, -18*m + 22*m + 4*o - 440 = 0. Is m a multiple of 13?
True
Let y = 50 + -69. Let h = 39 + y. Does 5 divide h?
True
Suppose 0 = -4*p + 8. Suppose 7*g - p*g = 25, 4*h = 4*g - 12. Does 19 divide -5 - 628/(-6 + h)?
True
Let y be -1 + (1600/30)/(4/(-66)). Let s = y - -1651. Is s a multiple of 5?
True
Let c(d) = 53*d - 1187. Does 6 divide c(37)?
True
Suppose -5917*f + 5937*f = 394560. Does 9 divide f?
True
Let b = 59 + -49. Suppose 20 = 4*g - 9*g - 5*k, -5*k + b = 0. Let o(m) = m + 14. Is 3 a factor of o(g)?
False
Is 10446 - 17 - 14 - -15 a multiple of 10?
True
Let l(j) = -258*j - 36. Let i be l(-5). Suppose -285*a + 288*a = i. Is a a multiple of 14?
False
Suppose 53*w - 34*w = 61522. Is 16 a factor of w?
False
Suppose 7*o - 3*o + 3*u = 4040, 0 = -u + 4. Is o a multiple of 5?
False
Let f(o) be the third derivative of o**6/120 + 7*o**5/60 + 5*o**4/24 - 7*o**3/6 + 14*o**2. Let y be f(-5). Is -14 + y + (0 - -195) a multiple of 18?
False
Suppose 2 = 2*d, -x + d = -8 + 4. Suppose 3*y - 293 - 21 = -2*g, x*y - 545 = g. Is y a multiple of 3?
True
Let x(b) be the first derivative of 54*b - 2*b**2 + 6 - 57*b + 7. Does 9 divide x(-3)?
True
Let c(l) = -2*l**3 - 6*l**2 + 2*l - 2. Let z(t) = -t**2 + 10*t + 3. Let h be z(9). Suppose 4*m + 12 = s - 2*s, h = -4*s + 2*m. Does 11 divide c(s)?
True
Suppose 20997 = 14*c - 82881 + 25800. Is 143 a factor of c?
True
Let h(f) = 8*f**2 + 16*f - 18. Let w be h(-9). Suppose 18*l - 15*l = w. Is 18 a factor of l?
True
Let l(y) = y**3 - 10*y**2 + 3. Let q be l(10). Suppose 4*w = -4*v + 4, -2*w - q*w = -4*v + 22. Suppose 3*s = 5*b - 12, -4*b + v = -s - 8. Does 2 divide b?
False
Let n = 19117 - 10945. Is 49 a factor of n?
False
Suppose -2*v = -3*s - 477, 4*v - 20 = -4*s + 924. Suppose v = 2*d + d. Let z = d + -47. Is z a multiple of 8?
True
Let c be 839 + 0 - ((1 - 11) + 7). Suppose -4*w + c = -2*w + 4*j, 843 = 2*w + 3*j. Is w a multiple of 47?
True
Suppose -21 = -0*h - 7*h. Suppose o - 7*y + 5*y - 266 = 0, -h*o + y + 793 = 0. Is o a multiple of 22?
True
Is -2 - (248193/(-198) - 1/2) a multiple of 12?
False
Suppose -3*a + 12 = 6. Suppose -o + 52 = 2*u, -a*o = 4*u - 5*u - 89. Is 6 a factor of o?
False
Suppose -2*t + 4*t - 32 = 0. Suppose -20 = -d - t. Suppose -182 = -d*i + 538. Does 30 divide i?
True
Let k be 2/(-8)*-4 - -8. Does 18 divide (-11 + k)*152/(-1)?
False
Let a be (-6)/36*-4 + (-14)/(-6). Suppose -5*q + 1842 = 2*s, a*q - 8*q + 1862 = -3*s. Does 37 divide q?
True
Suppose -3*y = 3*l - 3399, 11*y = l + 16*y - 1129. Is 54 a factor of l?
True
Suppose -2*x - 3013 = -3*g, 130*g = 132*g + 2*x - 2022. Is 84 a factor of g?
False
Suppose 27*m - 43264 = 9008. Does 88 divide m?
True
Let i = 197 - 236. Let f(z) = -5*z - 94. Is f(i) a multiple of 16?
False
Suppose 184 = -4*x - 4. Let m = x + 137. Is 18 a factor of m?
True
Let j = 68 - 64. Suppose -2205 = -11*m + j*m. Does 21 divide m?
True
Let k be (-44)/(-33)*9/4. Suppose -2*o = -65 + k. Suppose -o*x = -28*x - 33. Is x even?
False
Let s = -35 - -34. Let j = s - -9. Suppose -2*b - j = -u, 2*u - 8 = -b + 3. Is 2 a factor of u?
True
Does 62 divide 2*6155/20*(29 - 7)?
False
Let b be (-210)/(-5) - (-3 + -1). Let o(x) = -4*x + 3. Let c be o(-3). Suppose -n + c + b = 0. Does 13 divide n?
False
Let p(s) = 48*s - 1533. Is p(38) a multiple of 4?
False
Let m(o) = 327*o - 12566. Is m(87) a multiple of 13?
False
Suppose -5*k + 6 = 3*s + 21, -4*k = 5*s + 12. Suppose -3*m = -2*w + 10, s = -5*m + 2*w + 7 - 17. Let u(v) = -v + 56. Is u(m) a multiple of 7?
True
Let v = 386 - 379. Does 29 divide (-1)/((v/406)/(31/(-2)))?
True
Let t(s) = -s**2 + 21*s - 17. Let y(g) = 3*g + 2. Let i be y(13). Suppose -i*v + 85 = -36*v. Is t(v) a multiple of 17?
True
Suppose -2*j - 416 = 3*i, 473 = -3*i - 5*j + 63. Let h be (-3)/7 + (-9440)/i. Suppose -4*z + 2*o = -70, -z - o + h = 3*z. Does 11 divide z?
False
Suppose 36646 = 2*q + 33688. Is 28 a factor of q?
False
Suppose 0 = -17*u + 28*u + 7062. Let v be (4/(-3))/(8/u). Let t = -75 + v. Is t a multiple of 6?
False
Let v(a) be the second derivative of a**4/6 + a**3/3 - 2*a**2 + 22*a. Let z be v(-3). Let b(o) = 14*o + 14. Does 18 divide b(z)?
True
Suppose 309 - 2193 = 6*f. Suppose -239 = d - 4*g, 3*g + 211 = -3*d + 2*d. Let y = d - f. Is 10 a factor of y?
False
Let b = -3101 - -6079. Does 44 divide b?
False
Let w(k) = -5*k + 102. Let g be w(18). Let r(h) = h**3 - 13*h**2 + 20*h - 30. Does 5 divide r(g)?
False
Is 12 a factor of 14/91 - (-231)/(-910) - (-39842)/20?
True
Let p = 782 + -1164. Let u = p + 778. Does 18 divide u?
True
Suppose -19*x = -24*x - 1520. Let l(w) = -w**3 + 18*w**2 - 12*w + 11. Let p be l(18). Let c = p - x. Is c a multiple of 51?
False
Let c(j) be the first derivative of -9 + 3/2*j**2 + 25*j. Is 13 a factor of c(0)?
False
Let i be 302/7 - (-3 + (-22)/(-7)). Let l = -40 + i. Suppose 217 + 131 = l*m. Does 12 divide m?
False
Let x(i) = -1441*i + 85. Let g be x(9). Does 13 divide 7/(-224)*g - (-6)/16?
True
Let l be (-2)/(-7) + 3 + 37/(-7). Let p be (9/(-6) - l)*48. Suppose 0 = 2*m - 3*m + p. Is m a multiple of 4?
True
Let z = -13 + 4. Let n be ((-1)/2)/(35/140). Does 19 divide (z/(-3) - -151) + n?
True
Let x(g) = 2*g**2 + 15 + 507*g - 204*g - 252*g. Let s = -45 - -19. Is 8 a factor of x(s)?
False
Let s = -1882 - -2178. Is s a multiple of 74?
True
Let n(k) = 7*k + 142 + 0*k + 4*k**2 - 214. Is n(-12) a multiple of 21?
True
Suppose -44 = t - 5*y, 2*t - 14*y + 109 = -11*y. Let v(x) = 22*x + 8. Let m be v(6). Let z = t + m. Does 16 divide z?
False
Let i = -109 - -111. Suppose -i*w = -w - 714. Does 40 divide w?
False
Let c(v) = -20005*v - 2610. Is 187 a factor of c(-2)?
True
Let f(u) = 22 + 54*u**2 - 16*u**2 - 11*u - 20*u**2 + 50*u**2. Does 10 divide f(2)?
False
Let j be (-212)/26 + -5 + (-335)/(-65). Let o(v) = v**3 + 12*v**2 + 9*v - 2. Is o(j) a multiple of 13?
True
Suppose -663 = -0*b - 3*b + 2*i, 5*b - 1105 = -5*i. Suppose 0*y + 5*y - b = -2*u, -3*u + 2*y + 322 = 0. Is 9 a factor of u?
True
Let j be 4/(5/(270/24)). Suppose j*g + 16 - 6739 = 0. Does 9 divide g?
True
Suppose -12349 = 352*h - 341*h - 273181. Does 16 divide h?
True
Let z(a) = 8*a + 7. Let r be z(5). Let y = -42 + r. Suppose 2*i = -2*f + 40, -65 = -y*f - i + 3*i. Is 8 a factor of f?
False
Suppose -230 = 4*o + c, -7*o = -2*o + 5*c + 280. Let z = 62 + o. Suppose -z*r + 2*r = -152. Is 7 a factor of r?
False
Let p(f) = -6*f - 41. Let c be p(-10). Suppose -c*z + 43 = -356. Is z even?
False
Suppose 4*k = 5*k + 2*z - 15625, 0 = -4*z + 16. Does 92 divide k?
False
Suppose z = 4*m - 0*m - 3, 21 = 3*z + 3*m. Suppose -2*c = -2*s - 146, z*c + s - 124 = 253. Is c a multiple of 5?
True
Let d = -4174 + 4639. Does 15 divide d?
True
Let n = 288 - -918. Let q = -832 + n. Is 22 a factor of q?
True
Let o = -6437 - -8764. Is o a multiple of 13?
True
Let y(c) = 2*c**3 + 52*c**2 + 17*c - 95. Is 70 a factor of y(-12)?
False
Let x(l) be the third derivative of -l**6/120 + 5*l**5/12 + 61*l**4/24 + 23*l**3/6 - 145*l**2 - 2*l. Is x(27) a multiple of 19?
False
Let h = 575 + -575. Suppose 3*d = 2*i - 2198, h = -4*i - 64*d + 63*d + 4424. Does 34 divide i?
False
Is 14 + -9 + (-464)/12*(-25569)/36 a multiple of 95?
False
Suppose -2*u + 3309 = 4*w - 1225, -4528 = -2*u - w. Let n = u + -427. Is n a multiple of 51?
True
Suppose 169133 - 659453 = -36*c. Is 60 a factor of c?
True
Does 76 divide (1 - -23548) + -13 + 54 + -30?
True
Suppose -3*d + 914150 = 25*d - 3*d. Is d a multiple of 94?
True
Let t(k) = -3*k - 27. Let h be t(-7). Let l be (h + 4 + -7)*2/(-6). Suppose 5*s - 400 = -l*s. Is 10 a factor of s?
True
Is ((-4779)/(-45))/3*(350 + -5) a multiple of 40?
False
Let z(q) = 146*q**2 + 17*q - 3. Suppose 72 = 11*j + 94. Does 20 divide z(j)?
False
Suppose 50*h - 18*h + 512 = 0. Is 1749*h/(-18)*(-36)/(-48) a multiple of 13?
False
Suppose -19*f + 18*f = -4. Suppose -g - 8 = f*p - 30, 3*g = 4*p - 30. Is 13 a factor of (p/9)/(4 + (-4092)/1026)?
False
Let c(m) = m**2 - 12*m + 30. Let i be c(10). Suppose 2*