 -30. Let p = s + k. Is p a multiple of 8?
True
Let l be (24/10 - 3)/((-18)/60). Is 3 a factor of 2612/8 - (-1)/l?
True
Suppose -115*c + 105*c + 910 = 0. Suppose 36*q + 32890 = c*q. Is q a multiple of 13?
True
Let u = 104 - 169. Let w = 112 + u. Suppose -33 = -5*o + w. Is 3 a factor of o?
False
Let f = 65 - 29. Suppose 15*p + f = 12*p. Let s(r) = -r**3 - 10*r**2 + 18*r + 16. Does 22 divide s(p)?
True
Let k = 100 + -71. Let y = 190 - k. Is (-7 - -7) + y/1 a multiple of 23?
True
Let u be (-104)/(-26)*((0 - 0) + 1). Suppose u*y = 2*o + 3726, -13*o = -3*y - 14*o + 2787. Does 11 divide y?
False
Let p(u) = 3*u**3 - 8*u**2 + 10*u - 14. Suppose 103 = 20*s + 3. Let b be p(s). Let l = -127 + b. Is l a multiple of 7?
True
Let v be 4 + -1 + (3 - 8*-8). Let n = -68 + v. Is 4 - (15 + n)*-15 a multiple of 24?
False
Suppose -212758 = 224*q - 237*q. Does 49 divide q?
True
Suppose -18*v + 10332 + 32040 = 0. Let m = v + -1393. Is 31 a factor of m?
True
Let d(r) = -r + 6. Let p be d(3). Suppose 0 = y - 5*y - 3*z + 16, 0 = -5*z. Suppose -t + 10 = -p*j, -t - y*j + 9 = -1. Is 8 a factor of t?
False
Let c be (-406)/105 - (-8)/(-60). Does 7 divide 88/20 + c - (-3906)/35?
True
Let r = 257 - 257. Suppose 16*z + 185 = 2*u + 21*z, r = 3*u + 3*z - 282. Does 21 divide u?
False
Suppose -2*j + 37 + 179 = 4*t, 3*t = 3*j - 288. Is (2/6)/(j/(-480))*-475 a multiple of 38?
True
Let q(d) = 5*d - 11*d**2 + 5*d**2 - 3 - 2*d**2. Let y be q(3). Is 18 a factor of y/(-8)*168/10?
True
Suppose -40*r + 42*r - 5*l = 14379, -5*l = -3*r + 21561. Does 6 divide r?
True
Suppose 20*x = -40 - 20. Does 7 divide x/(3*((-4398)/2196 + 2))?
False
Suppose -4*c - 10 = -9*c. Suppose -39 + 3 = c*i. Is 7 a factor of 136/3 + 24/i?
False
Let h = -2366 - -5251. Is 61 a factor of h?
False
Suppose -578 = 27*h + 7*h. Is 8 - (-2 + (h - 5)) a multiple of 8?
True
Let u(c) = 12*c - 21. Let o = 29 + -26. Is 12 a factor of u(o)?
False
Let s = -1156 - -1790. Suppose -b - 2*z = 82 - 288, 0 = -3*b + 2*z + s. Is b a multiple of 3?
True
Suppose -5*z + 13600 = 5*w, -18*z + 20*z + 4 = 0. Is w a multiple of 38?
False
Is (-21 + 14)/(((-35)/1450)/7) a multiple of 35?
True
Let v = 108 - -99. Let q = -123 + v. Is q a multiple of 42?
True
Let g(z) = 5*z**3 + 2*z**2 + z - 4. Let m be g(3). Let f = m + -70. Does 3 divide f?
False
Suppose -59*v + 46*v + 4576 = 0. Suppose -4*j = -2*d + 88 + v, -5 = -j. Is d a multiple of 10?
True
Let h(w) = 1132*w - 3795. Is h(6) a multiple of 6?
False
Let v(r) = r**3 + r**2 - 12*r - 7. Let j be v(-4). Does 8 divide 6/(j + (-71)/(-10))?
False
Does 14 divide (1 + 0)/(105656/528080 - 2/10)?
True
Suppose 2*w + 3*w + 66 = 3*y, -4*y - 4 = w. Let j be ((-3)/1)/(w/184). Let v = -29 + j. Is v a multiple of 17?
True
Is 6 a factor of (-45)/(-15)*2694/9 + 6?
False
Suppose 16*n + 295 = -57. Let b = -79 + n. Let j = b + 143. Is 4 a factor of j?
False
Let m be 18 + (39/13)/(6/(-4)). Let s(h) = -2*h**3 + 30*h**2 + 52*h + 6. Is s(m) a multiple of 57?
False
Suppose -16*z = 26622 - 69949 - 59777. Is z a multiple of 36?
True
Is (-2)/(-45) + (-27373566)/(-2565) a multiple of 16?
True
Let j = -18 + 18. Suppose z + 2038 - 374 = 3*v, j = -5*v + 4*z + 2785. Suppose -t + 5*u + 107 = 0, -4*t + v = 5*u - 0*u. Is 12 a factor of t?
True
Suppose -u - 5*h = 8, h = 23 - 25. Suppose -2551 = -3*y - 2*o, -u*y - 3*y - 3*o + 4252 = 0. Is 48 a factor of y?
False
Suppose 0 = -4*p - 5*j + 45, -j - 5 = -p + 4*j. Suppose -2*a = 2*w - 4*a + p, -4*w - 4*a = 4. Is 3 a factor of (-17)/w - 15/(-45)?
True
Let b(c) = 139*c + 8. Suppose 2*m - 8*m + 660 = 0. Let p = 111 - m. Is 49 a factor of b(p)?
True
Let i(m) = 21*m + 8. Let t be i(-12). Let b = 28 - t. Is b a multiple of 34?
True
Suppose 21*v + 10560 = 25*v + 6*v. Does 66 divide v?
True
Suppose 6944 = 6*y + 6296. Is 3 a factor of y?
True
Let a = 2578 - 1310. Is a a multiple of 4?
True
Suppose 5*d = 9*d - 8. Suppose -5*u - d*u = -35. Suppose -j + u = 5*i - 24, 0 = -3*i + 9. Is 2 a factor of j?
True
Let k(r) = -71*r + 39. Let u be (5/(-15))/((-2)/(-18)). Is k(u) a multiple of 22?
False
Let d(c) = 986*c - 2196. Does 64 divide d(18)?
True
Suppose 917*k - 3120 = 916*k. Is k a multiple of 130?
True
Let z(r) be the second derivative of -r**5/20 - 3*r**4/4 + 8*r**2 + 3*r. Let b be z(-8). Let k = b + 104. Is 13 a factor of k?
False
Let a(r) = -132*r - 4069. Is 40 a factor of a(-57)?
False
Let s(g) = -9*g**3 + 401*g**2 - 54*g - 2. Is s(43) a multiple of 21?
True
Suppose -42674 = -2*a - 4*j, 960*a + j = 959*a + 21328. Does 15 divide a?
False
Suppose 2*q - 8*u = -9*u + 704, q = 3*u + 366. Suppose -69 = -3*d + 5*b + 462, -2*d + b = -q. Does 29 divide d?
False
Let v be -22 + 27 + 4/(2 + -1). Suppose 13*f + v*f = 1210. Does 11 divide f?
True
Let y be (4/5)/(2*4/40). Suppose 5*i - 8*i = -9, -y*i + 252 = 2*h. Does 8 divide h?
True
Suppose -128*h = -125*h - 264. Suppose -s - s = -3*q + h, 3*q = -3*s + 78. Is 7 a factor of q?
True
Let s be 1 + 18/15*5. Suppose s = -11*b + 95. Is (-2)/b + (-297)/(-36) a multiple of 4?
True
Let m(r) = -13*r + 117. Let k be m(16). Let z = -29 - k. Does 6 divide z?
False
Let s(l) = -6*l + 24. Let k be s(4). Suppose k = 2*f + q - 1589, -2*f + 934 = 3*q - 649. Is 23 a factor of f?
False
Let a = 258 - 153. Suppose -4*c = d - a, -41 = -3*d - 3*c + 274. Does 3 divide d?
True
Let r be ((-2)/(-6))/(4/(-1044)). Let k = -119 - -12. Let n = r - k. Is 20 a factor of n?
True
Suppose 153 = 4*p - 35. Let c be 0/(10 + (10 - 31)). Suppose -3*v - p + 179 = c. Does 44 divide v?
True
Suppose x - 4*x = 3*c, 3*c + 2*x = 3. Let o be ((-222)/(-12) - 5)*2/c. Does 14 divide 5 - 28/(-3) - 3/o?
True
Let o(g) = -g**3 + g - 9. Let c be 0/4 + 22 - 1*-2. Suppose 6 = -6*t - c. Does 15 divide o(t)?
False
Suppose -12*c + 2*c + 60 = 0. Suppose c*u - 388 = -130. Suppose 5*y - u = 157. Is 10 a factor of y?
True
Let i be 6/(-2) + 0/5. Let v(k) = -k**2 + 4*k - 3. Let u be v(2). Is (i/u)/(0 + (-2)/46) a multiple of 14?
False
Suppose 0 = 2*y - 3*d - 3, 0*y - d + 27 = 4*y. Let x(p) = 3*p - 14. Let s be x(y). Let t(h) = 6*h - 12. Does 3 divide t(s)?
True
Suppose -15 = -6*i - 141. Let v(z) = -7*z - 114. Is v(i) a multiple of 33?
True
Suppose -66*q + 65*q = -21. Does 13 divide (q - (-5)/(-5))*(1 + 12)?
True
Let u be (-32)/(4 - (-78)/(-21)). Is u/12*(-1*10 - 2) a multiple of 39?
False
Suppose -2741 = -4*j + 5283. Is 47 a factor of j?
False
Let g(u) = u**3 + 56*u**2 - 163*u + 118. Is 6 a factor of g(-55)?
True
Suppose 3*q = -5*c + 22, -4*c = 5*q - 2*q - 17. Suppose c*z = -4*x + 1200, 0 = -2*x + 16*z - 20*z + 606. Is 64 a factor of x?
False
Is 29 a factor of 5*(-1 - 5348/(-70))?
True
Let z(o) = 17*o**2 - 2*o + 69. Is 6 a factor of z(-10)?
False
Let b(z) = 11*z**3 + 25*z**2 + 12*z - 79. Is 6 a factor of b(10)?
False
Is 70 a factor of (-2)/16 - 3082368/(-1024)?
True
Let r(b) = 77*b - 231. Is 167 a factor of r(45)?
False
Suppose 2*o + 4*m + 121 = 317, 5*o - 3*m - 464 = 0. Let g = 364 - o. Does 15 divide g?
True
Let k = 350 + -216. Let b be 6/2 + k + 5. Suppose b = -a + 3*a - 5*z, 0 = 2*a + 3*z - 174. Does 12 divide a?
False
Let u(c) = 93*c**2 + 5*c + 4. Let w(g) = -39*g + 77. Let b be w(2). Is u(b) a multiple of 4?
True
Let y = -27937 - -61162. Is 218 a factor of y?
False
Let f = 408 - 303. Is (12/(-9)*-16)/(5/f) a multiple of 16?
True
Let t(i) = 91*i**3 - 3*i**2 + 5*i - 1. Suppose 249*d = 247*d + 4. Does 29 divide t(d)?
True
Let z be 5 - ((-5 - -11) + -5). Suppose -276 - 616 = -z*a - i, -5*i = 20. Is 5 a factor of a?
False
Let q(c) be the second derivative of c**4 + 5*c**3/3 - 19*c**2 - 31*c + 2. Is 13 a factor of q(8)?
False
Suppose 0 = -3*u + 4*h - 6 - 8, 0 = 3*u + 3*h + 21. Let q(s) = s**3 + 5*s**2 - 4*s + 14. Let p be q(u). Suppose -1494 - p = -17*d. Is d a multiple of 8?
True
Let q = 8159 - 374. Does 20 divide q?
False
Is 5 a factor of (-812)/6*((-277120)/2688 + 14/(-6))?
False
Let u = -532 - -536. Suppose 0 = -u*l + 3*l + 70. Is l a multiple of 12?
False
Is 101/(21/12 + -2 + 1742/6901) a multiple of 13?
False
Suppose -48*y - 21 = -55*y. Suppose -290 = -4*l + y*k - k, -3*l + 5*k = -214. Is l a multiple of 11?
False
Let n(i) = i**3 + 17*i**2 + 15*i + 15. Suppose 2*w = 4*p - 20, 2*w - 3*w - 13 = -3*p. Let u = -19 + p. Is 31 a factor of n(u)?
True
Let k = 894 + 208. Suppose -1118 = -15*x + k. Is x a multiple of 74?
True
Suppose 42