24?
False
Let o(v) = -2*v - 8. Let f be o(-5). Suppose 2*p + 2*q = 3*p - 135, -f*q = 4. Does 5 divide p?
False
Suppose -2 = 8*l - 26. Suppose -l*r = 2*q - 58 - 157, 0 = -5*q + 4*r + 572. Is q a multiple of 16?
True
Let r be -2*3/6*(1 + 10). Let x = -1 + r. Let g = 31 + x. Does 6 divide g?
False
Suppose 3*x + u - 33350 = 0, -15*x - 3*u = -17*x + 22248. Does 6 divide x?
True
Let i = 274 + -754. Let t = i + 706. Is t a multiple of 3?
False
Suppose -25 = 20*j - 15*j - 5*w, 4*w = 2*j + 16. Does 5 divide 10/j - (-5720)/44?
True
Suppose 30*o - 4*o - 1427541 = -43*o. Is 50 a factor of o?
False
Is 20 a factor of (-5560)/16*((-324)/(-30))/(-3)?
False
Let p = -18828 + 20606. Is p a multiple of 61?
False
Let j = -18232 + 18372. Is j a multiple of 2?
True
Let c be (0 - 88)/(-13 + 11). Suppose -37*o + c*o - 385 = 0. Is 8 a factor of o?
False
Let v be 2*(-20)/16*-2. Suppose -20 = 5*r, -v*m + 50 = -3*m - 2*r. Is 14 a factor of 5 + -2 + 6*m?
False
Suppose 14546943 = 659*g + 6749528 - 16561861. Is 8 a factor of g?
False
Let v be 11 + -11 + 6/9*3. Let h be 14 + 4/(8/(-6)). Suppose q - h - 2 = -s, v*q + 64 = 4*s. Does 3 divide s?
True
Let r be 1 + 1332/(-39) + 4/26. Let a(p) = 2*p**2 + 60*p - 68. Is 5 a factor of a(r)?
True
Let w be (-10)/(-35) - 58*(-2)/(-14). Let a be 1*4/w*5*-8. Suppose 94 + a = 2*y. Is y a multiple of 11?
False
Let n(w) = 20*w - 58. Let j be n(3). Suppose g - j*b - 510 = 0, -3*g - 4*b + 91 = -1449. Is g a multiple of 17?
False
Let v = -36 + 22. Let b = v + 16. Let j = 26 - b. Is j a multiple of 24?
True
Let a be (8 + -3)*18/(-3 - -5). Does 23 divide a/(-10)*544/(-12)?
False
Suppose 0 = -35*u + 64*u - 261. Let n be 9*(0/(-2) - -449). Suppose -u*c - 1494 = -n. Is 12 a factor of c?
False
Is 49 a factor of ((-119)/(-4))/(-11*(-6)/1848)?
True
Is 11 a factor of 3/(18/18616) - 2/3?
True
Suppose -206*l + 71277 = -188*l - 29901. Is 16 a factor of l?
False
Let r be 7/(14/212) + 0. Let z be 0 + (r - 2) + -2. Let a = z + -42. Is 20 a factor of a?
True
Suppose 0 = -9*x + 17*x - 10000. Let d = -827 + x. Does 58 divide d?
False
Is 22/10 - (-171380)/100 a multiple of 13?
True
Suppose 0 = 7*y - 363 - 596. Let g be (6/(-8))/(((-1)/52)/1). Let b = y - g. Does 24 divide b?
False
Let w(a) be the first derivative of -a**3/3 + 33*a**2/2 + 10*a - 89. Is w(29) a multiple of 7?
True
Let p = 369 + -309. Let m = 402 - p. Is m a multiple of 9?
True
Let k(s) = -3*s + 59. Let q be k(19). Suppose -q*x - 5 = -0*x + b, -x - b - 4 = 0. Does 21 divide 4273*x/(-15) - (-4)/30?
False
Suppose 0 = -40*w + 147*w - 1879776. Is 48 a factor of w?
True
Let u(f) = -f**3 + f**2 - 29. Let a be u(0). Let q = a + 30. Suppose 0 = 2*h + q - 15. Is h even?
False
Let f = -212 - -124. Is 5434/16 + (-33)/f a multiple of 17?
True
Suppose 233864 = 5*y + 45*y - 4*y. Is 62 a factor of y?
True
Let u = 0 + 4. Let b be 0*((-54)/168 + u/7). Suppose -2*h + 3*h - 147 = b. Does 18 divide h?
False
Let i(k) = 1493*k + 784. Does 97 divide i(10)?
True
Let n(j) = -11*j**3 - 114*j**2 - 355*j - 131. Let c(r) = 4*r**3 + 38*r**2 + 119*r + 44. Let g(y) = 8*c(y) + 3*n(y). Is g(-35) a multiple of 2?
False
Let u = -1789 - -3885. Suppose -u = -18*g + 64. Does 4 divide g?
True
Let d = 90 - 94. Let p be (-128)/28 - d - 1810/(-7). Suppose -72 = -3*a + p. Is a a multiple of 11?
True
Let i(b) = -7*b**3 - 2*b**2 - 1. Suppose 12*t - 267 = -75. Let r be (t/(-32))/((-1)/(-4)). Does 6 divide i(r)?
False
Let z(w) = 2*w**2 - 9*w - 1. Let s(q) = -q**2 - 1. Let k(r) = -s(r) - z(r). Let b = -26 + 33. Does 4 divide k(b)?
True
Let s(r) = 4751*r**2 + 370*r + 1108. Does 299 divide s(-3)?
True
Let a = 19982 - 1070. Is 36 a factor of 8/44 + (a/44 - 2)?
False
Suppose -3*o - 15 + 36 = 0. Suppose 8*c - 5 = o*c. Suppose c*h - 165 = 5*q, 3*h - 5*q = -10*q + 83. Is h a multiple of 7?
False
Suppose -n = -3*z + 1915, 5*n - 44 - 573 = -z. Suppose 3*g - s - z = -3*s, 4*g + s = 841. Is 12 a factor of g?
False
Suppose 0 = 4*v + r + 2783, -2*v - 1395 = 3*r - 6*r. Let i = 786 + v. Is i a multiple of 10?
True
Suppose -226*p + 228*p + 6 = 0, 74349 = 4*s - 3*p. Does 23 divide s?
False
Let c(f) = -f**2 + 16*f - 14. Let j be c(13). Let y = j - 16. Suppose t + 1 - y = 3*k, -5*t - 5*k = -140. Is 2 a factor of t?
False
Let j(q) = -77*q + 29. Let k be j(7). Let b be (-13)/(((-15)/k)/(1/(-2))). Suppose 0 = r - 5*w - 117, -2*r - w + b = 2*w. Is 10 a factor of r?
False
Let h = 296 - 183. Suppose v - r - 85 = 0, 3*r - 262 = -4*v + h. Does 6 divide v?
True
Let f(a) = 6*a + 249. Let x be f(-43). Is 90 a factor of ((-90)/x)/((-9)/(-81))?
True
Suppose -74 = 2*m + r - 24, 3*m = -r - 75. Let y = 21 + m. Is y/18 - 3320/(-36) a multiple of 46?
True
Suppose 4*s = 5*v - 45 - 1215, -318 = s - 2*v. Let b = -163 - s. Does 21 divide b?
True
Let m(a) = 0*a**2 - a**2 - 2*a**2 - 9 - 10*a + 2*a**2. Let v be m(-9). Suppose -61 = 2*n - 5*c - 239, v = 5*c + 20. Does 31 divide n?
False
Let q(j) = 237*j - 48. Let h be q(8). Suppose -3*x + 431 = 5*o - 941, 4*x + 2*o = h. Is x a multiple of 10?
False
Suppose -t - 7054 = 6*t - 28257. Does 9 divide t?
False
Suppose -41*z + 4*g + 36 = -37*z, -41 = -5*z + 4*g. Suppose z*d - 3*n = 260, 0 = 6*n - n + 25. Is 7 a factor of d?
True
Let j(s) = 0 - s + 15 + 0*s**3 - 7 + 5*s**2 - s**3. Let m be j(5). Suppose -6*h = -m*h - 132. Is h a multiple of 6?
False
Suppose 20*m = 50277 + 11685 - 9602. Does 18 divide m?
False
Suppose 2739249 = -87*p + 142*p + 217499. Is 7 a factor of p?
True
Let u = -94 - -87. Does 38 divide 2 + 4 + (u - -134)?
False
Suppose -5 + 1 = -x. Suppose -4*d - 9 = -x*u + 11, -d - 2*u = -10. Suppose 10*i - 2*i - 1240 = d. Is 16 a factor of i?
False
Let o(r) = r - 12. Let z(c) = -c**3 - 3*c - 3. Let m be z(-2). Let g be o(m). Does 8 divide (418/(-66))/(7/(-6) - g)?
False
Suppose 0 = 4*b - 34 - 26. Let z = b - 13. Suppose -4 = z*l - 60. Is l a multiple of 14?
True
Is 7 a factor of 3*66/(-1089) - (-48897)/11?
True
Let q = 277 + -42. Suppose -2*p + 63 = f, 5*f + 5*p = q + 95. Let h = f - -24. Is 21 a factor of h?
False
Suppose -445*m + 220*m = 394*m - 21780753. Is m a multiple of 111?
True
Let s(j) = 10*j**2 + 301*j + 19. Does 110 divide s(-57)?
False
Let j = -8683 - -11010. Is j a multiple of 8?
False
Let s be (-3 - -3) + 0 - (0 + -39). Let y = 39 - s. Does 14 divide (y + 7 - 1)*1*11?
False
Let x be (3/5)/(38/(-2850)). Suppose -5*z - i = -4*i - 1, 4*i = 3*z - 5. Let j = z - x. Does 3 divide j?
False
Suppose 5*l + 14 = 4*g, 1 = -5*g - 4*l - 2. Let b be g - (-5420)/15*(-3)/(-2). Does 9 divide b/12 + (-2)/8?
True
Suppose 19*g = -33*g + 76960. Does 30 divide g?
False
Suppose j + 4 - 9 = 0, -j = a - 9. Suppose -a*v = -d - 196, -v = 5*d - 7*d - 56. Is v a multiple of 5?
False
Let v be (52/16 + 0 + -3)*44. Let a(j) = 4*j**2 - 5*j + 2 + v*j**3 + j - 2*j + 2*j. Is 40 a factor of a(2)?
False
Let r(l) = l**3 - 11*l**2 + 6*l + 35. Let a be r(10). Let p be (a + 19)*12/14. Does 6 divide ((-84)/(-10))/(p/60)?
True
Let q = 221 + -91. Let p = q + 364. Is 19 a factor of p?
True
Let g(m) = 24*m - 209. Let z be 6/15*215/2. Is g(z) a multiple of 22?
False
Let y(q) = q + 4. Suppose 4*i - 16 = 0, -5*h + 4*h = -4*i + 15. Let n be y(h). Suppose -3*c - 119 = 4*p - 298, 0 = c - n*p - 47. Is c a multiple of 14?
False
Does 13 divide (596 + 28)*(3 + -2)?
True
Let w = -8930 + 22951. Is w a multiple of 15?
False
Suppose 2*o - 18378 = -4*r, 2*o - 5*r - 5996 = 12436. Is 14 a factor of o?
False
Suppose -k + 0 = 5*a - 28, 5*a - 5*k = 10. Suppose 279 = 3*t + a*r, 0 = t + 3*t + r - 355. Does 88 divide t?
True
Let z be (-1)/(1*5/280). Suppose -46 - 58 = -m. Let x = m + z. Is 6 a factor of x?
True
Let o = -1489 - -2176. Is 115 a factor of o?
False
Suppose -2*t + 4 = -4*a + 14, -3*t - 15 = -3*a. Suppose 3*o - 642 = -4*b, 3*b - b - 2*o - 328 = a. Does 18 divide b?
True
Suppose 5*n = 2*v - 6687, 13*n = 19*n - 18. Is 5 a factor of v?
False
Suppose 2*w - 8 - 4 = 0. Is 13 a factor of (-1716)/8*w/(-9)?
True
Does 3 divide -5 - (-57268)/14 - (-7)/(245/(-20))?
False
Suppose 0 = -3*f + 4*t + 5980, 38*t = 3*f + 39*t - 5960. Does 14 divide f?
True
Suppose -95*l + 94*l + 217 = 0. Suppose -1117 + l = -10*g. Is 45 a factor of g?
True
Is 65 a factor of 977778/133 + 23 - 2/(-7)?
False
Let g(q) = -q**3 + 2*q**2 - 85*q - 468. Does 14 divide g(-17)?
True
Let i(d) = 31*d - 26. Let k be i(1). Suppose k*