. Suppose 5*u + 2*g = -c*g + 1494, 0 = u - 4*g - 312. Is u a multiple of 20?
True
Suppose -15616 = -s - c + 29373, 0 = c + 6. Is 104 a factor of s?
False
Suppose 25*i = 35*i - 40. Suppose 4*m + 2*w - 920 = i*w, w = 4*m - 920. Is 5 a factor of m?
True
Let x = 33466 + -21703. Does 66 divide x?
False
Let b(d) = 76*d + 2. Let p be (-124)/(-2) + ((-6)/3 - 0). Let y = 61 - p. Does 26 divide b(y)?
True
Let o = 13 - 4. Let u be 126/315 + 13/5. Suppose 5*q - 284 = -0*q + 2*l, o = u*l. Does 19 divide q?
False
Is 13 a factor of (-182526)/(-15) + 30/(-75)?
True
Let v(o) = 44*o**3 + o**2 + 7*o + 5. Let z(k) = 88*k**3 + 2*k**2 + 13*k + 8. Let s(q) = -5*v(q) + 2*z(q). Is s(-1) even?
False
Suppose 6*k + 2*h - 1212 = 3*k, -k + 414 = 4*h. Suppose -20*d + k = -14*d. Is d a multiple of 3?
False
Let p(m) = -9*m + 122. Let n be p(13). Suppose -4*u - 178 - 46 = -y, 5*y - n*u - 1120 = 0. Is 14 a factor of y?
True
Suppose 0 = -20*q + 16 + 64. Suppose -2 = -f + 1. Suppose -2*x - f*d = -87, -x - q*d + 84 = x. Is x a multiple of 3?
True
Does 16 divide (12450/(-200))/((-3)/640)?
True
Let z(w) = -8*w + 90. Let n be z(11). Suppose m = 158 + n. Is m a multiple of 8?
True
Let h be 5*2/10 + -149. Let p = -132 - h. Suppose p*u - 3*u = 2249. Is u a multiple of 15?
False
Suppose -4*a = 4 - 16, 2*w - 3*a = 193. Let m = -101 - -45. Let l = m + w. Is 3 a factor of l?
True
Let d be 25/(175/42) + -5. Does 30 divide (2140/321)/((-2)/((-72)/d))?
True
Suppose -9*p + 12*p = 132. Let o = p + 130. Does 58 divide o?
True
Suppose -4*a + 700 = -9*a. Let y = -92 - a. Suppose 0 = 3*q + y - 180. Is q a multiple of 6?
False
Let m(l) = 567*l**2 + 23*l - 21. Is m(2) a multiple of 3?
False
Let v(c) = 2*c**3 + 29*c**2 - 141*c - 33. Let p(d) = d**3 + 15*d**2 - 70*d - 16. Let w(z) = -5*p(z) + 2*v(z). Does 19 divide w(-21)?
False
Let c = 19603 - 17475. Is 5 a factor of c?
False
Let n(a) = a**2 - 14*a + 0 + 0 - 2 - 2*a**2. Is n(-10) a multiple of 4?
False
Suppose 0 = -36*k + 44*k + 12424. Let f = -840 - k. Is 12 a factor of f?
False
Suppose -41*z + 53616 = -756708. Is 134 a factor of z?
False
Let q = -70 - -138. Let s = q - 70. Is -3 + 9/(3*s/(-6)) a multiple of 3?
True
Let b be 9/((-1)/(0 - 3)). Let z = b + -29. Let r(q) = -q**3 - 5*q - 3. Does 13 divide r(z)?
False
Let v(k) = -1231*k + 2. Does 22 divide v(-2)?
True
Let v(m) = 1055*m**3 + m**2 + 3*m + 3. Let b be v(-1). Let i = b - -1754. Suppose 0 = 5*h + 5*d - i, 1035 = 5*h - 2*d + 300. Is h a multiple of 18?
False
Suppose -2*m = -3*b - 1, 0*b + 3*b + 3 = 3*m. Suppose -m*t - 4*t + 204 = 0. Let y = -21 + t. Is y a multiple of 3?
False
Let t = 19647 + -18653. Does 7 divide t?
True
Let l(y) = -3*y + 8. Let z be l(-4). Let n be -1 - -4 - z/(-10). Suppose 67 = n*m - 53. Is 6 a factor of m?
True
Let h(c) = 62*c**2 - 4*c - 4. Let g be h(-1). Let d = 1022 - g. Does 12 divide d?
True
Let w(a) = -a**3 - 2*a. Let f be w(5). Let i = f - -333. Does 25 divide i?
False
Let u(g) = 197*g - 4782. Is 51 a factor of u(25)?
False
Let q = -120 - -242. Let j = 466 - q. Does 10 divide j/(-12)*(1/(-2) + -1)?
False
Let s(h) = 2*h**2 - 5*h - 1. Let c be 19*(2 - (-1)/(-1)). Suppose -c*g = -16*g - 15. Does 8 divide s(g)?
True
Suppose 12*u - 65 - 115 = 0. Suppose u = -10*h + 15*h. Is 5/(-15)*-309 + h a multiple of 29?
False
Let m be ((-32)/(-5) - 5 - 2)*-50. Suppose -5*y = 2*d - 6403, 0 = 4*y + d + 3*d - 5120. Is 25 a factor of 2/(m/y) - (-2)/(-5)?
False
Suppose -31 = 5*x - 331. Suppose 0 = -m + 3, 6*m - 3*m = g + x. Let y = g - -79. Is y a multiple of 21?
False
Let l be -4*1/10 + 906/15. Suppose -q = -142 + l. Is 3 a factor of q?
False
Let w be ((-4)/6)/(2/(-1191)). Suppose -23676 = 8*q - 27220. Suppose 5*t - w - q = 0. Is 12 a factor of t?
True
Let m = -10833 - -13170. Is m a multiple of 34?
False
Let t(w) = -w**3 + 3*w**2 + 7*w - 12. Let z = 44 + -40. Let n be t(z). Let b(x) = x**3 + x**2 + 28. Is 6 a factor of b(n)?
False
Let p(o) = -70*o. Is p(-11) a multiple of 55?
True
Suppose 25*w - 956016 + 229470 - 94704 = 0. Is w a multiple of 73?
True
Suppose 0 = j + 3*j - 12. Suppose -15 + j = -3*x. Suppose -x*i + 36 - 12 = 0. Is 6 a factor of i?
True
Let z(f) = 6*f**2 - 3*f + 3. Let i be z(1). Is 38 a factor of 0 + i + -2 - -387?
False
Suppose -3*k = 5*n - 20785, 3130 = -k - 2*n + 10058. Is 35 a factor of k?
True
Let z be -5 - 7/(21/(-24)). Is 25 a factor of (-399)/(-2) + ((-6)/(-4))/z?
True
Let g(l) = -9*l**2 - 5 - l**3 - 6*l**2 + 18*l + 51 - 3*l. Is 7 a factor of g(-16)?
False
Suppose 3*b = -2*k - 2, 6*k = 5*k - 1. Suppose 38*s - 17709 - 6003 = b. Is s a multiple of 26?
True
Let s(y) = y**3 - 3*y**2 - 4*y + 3. Suppose 0 = -12*n - 24 + 72. Let v be s(n). Suppose -5*j + 230 + 170 = 3*i, -v*j - 138 = -i. Is i a multiple of 27?
True
Let m = 1330 + -370. Is m a multiple of 16?
True
Let p be (4/(-1))/(-2)*(15 + -16). Let w be ((-1)/(-3) + p)/(1/24). Is (-10)/w - 243/(-4) a multiple of 6?
False
Suppose 3*r = -3*r + 8*r - 10528. Is r a multiple of 56?
True
Suppose -2*i = -2*w - w - 25, i = 2*w + 15. Suppose 0 = 3*v + 2*t - t + 155, -i*t = -4*v - 232. Let r = v + 117. Is r a multiple of 8?
True
Suppose n + 4 = 8. Suppose -o = -c - 7, -n*o + 11 = o + 3*c. Is 39 a factor of (-7 - -4)*(-140)/o?
False
Let s = 49531 + -31291. Is s a multiple of 80?
True
Suppose 25*a = 21*a. Suppose -4*s + 3*h = -804, 0 = s - a*h - h - 202. Is s a multiple of 66?
True
Suppose -5*g - 3*t - 248 = -711, 0 = 4*g + 2*t - 370. Is 2 a factor of g?
True
Let r = 38 - 35. Suppose o - 19 + 1 = -r*x, -o + 5*x = 22. Suppose -2*b = o*i - 114, 40 = b + 5*i - 10. Does 10 divide b?
True
Let t = 2310 - 1847. Is t a multiple of 46?
False
Let n(b) = -2*b**3 + 7*b**2 - 109*b - 385. Does 23 divide n(-23)?
False
Suppose 2*b + 373 = -193. Let q = b - -558. Suppose -f - 35 = -q. Is 30 a factor of f?
True
Let n(h) = 6*h**2 - 4*h - 88. Let m(z) = -z**2 + 1. Let x(l) = 3*m(l) + n(l). Is 26 a factor of x(11)?
True
Let h(y) = -83*y**3 + 15*y**2 - 5*y + 1. Is 92 a factor of h(-3)?
True
Suppose -5*d + 10265 = 2*y, -5*y + 4*d + 0*d = -25646. Does 7 divide y?
False
Let f(n) = 299*n**2 - 11*n - 1. Let h be f(-4). Suppose 0 = -5*v + 4*w + h, 0 = -2*w + 4*w + 6. Does 9 divide v?
True
Let p be ((-56)/(-6))/((-78)/(-28197)). Suppose 10*v = 24*v - p. Is v a multiple of 13?
False
Let u = 196 - 157. Suppose -7*t = -u*t + 28448. Is t a multiple of 13?
False
Let x = 27 - 27. Is (x - -1) + (37 - -3) a multiple of 4?
False
Let f = -4804 - -8170. Suppose 0 = -3*x - 14*x + f. Is x a multiple of 2?
True
Suppose -116 = 55*q - 336. Let o(w) be the first derivative of 7*w**2 - 13*w + 1. Is 8 a factor of o(q)?
False
Let n(o) = -3 + 11 + 8 - 1 + o. Let i be n(-10). Suppose -i*k + y + 208 = -y, 0 = y - 1. Is k a multiple of 14?
True
Suppose 3*g = 6 + 3. Let m = -625 - -630. Suppose 729 = m*c - 0*c - 4*v, 583 = 4*c - g*v. Is c a multiple of 30?
False
Let h(j) = -69*j**3 + 14*j**2 + 66*j - 2. Is h(-4) a multiple of 9?
True
Suppose 6*i - 8*i - 3*f + 38583 = 0, 11*i + 2*f - 212192 = 0. Does 66 divide i?
False
Suppose 0 = 44*u - 44 - 132. Suppose -5*h + 4860 = 5*k, -3*h + u*k = 8*k - 2913. Is h a multiple of 13?
True
Is (-4 - -3 - 7366)/(-3 - 128/(-48)) a multiple of 53?
True
Suppose 60*k - 82*k - 220 = 0. Let j(d) = -11 - 13*d - 1 - 11*d**2 - 2*d**3 + d**3. Does 10 divide j(k)?
False
Let t = 117 - 194. Let k = -78 - t. Let i = 22 - k. Is 2 a factor of i?
False
Suppose -38*q - 3*q = -17343. Suppose -408*h = -q*h + 1830. Does 6 divide h?
False
Suppose -6 = -q + 3*w - 3, -w = q - 3. Suppose 4*s + 1 + 1 = 2*n, 4*s = n + q. Suppose u - s*u = -2*t - 13, -t = 5*u - 98. Is u a multiple of 3?
False
Suppose 21453 + 16997 = 25*k. Suppose -11*h + 12*h + 3*a = 301, 5*h = -4*a + k. Is h a multiple of 62?
True
Suppose 0 = 5*t + 433 - 28. Let s = t - -153. Is s a multiple of 12?
True
Let t(g) = 140*g - 10. Let r be t(-1). Is 5 a factor of ((r/12)/(-5))/(2/76)?
True
Let z = -11491 - -46123. Does 72 divide z?
True
Let m(x) = -11*x**3 + 9*x**2 + 3. Let l(h) = -2*h**3 + 3*h**2 - 3*h - 1. Let v(z) = -5*l(z) + m(z). Let q = -9 + 1. Is v(q) a multiple of 8?
True
Let k = -12 - 30. Let t be (-12)/21 - 402/k. Suppose -80 = t*i - 11*i. Is i a multiple of 20?
True
Let g = -22820 - -60816. Does 326 divide g?
False
Let c(h) = 8*h**3 - h**2 - 9*h + 20. Let u be c(4). Suppose -u*b - 1736 = -487*b. 