/(-144)*-30 even?
True
Let j(s) = -6*s + 313. Let d be j(0). Let v = d - 139. Is v a multiple of 29?
True
Suppose 4*r - 58 = -5*b + 112, -3*r + 5*b + 110 = 0. Is 4 a factor of (-70)/r - -2 - (-235)/4?
False
Let j be -4 - 8/(-2)*(-4 + 5). Suppose 5*g - 6*g + 5*c + 405 = j, 1578 = 4*g + c. Is 79 a factor of g?
True
Is (-75)/25 - -3*(-13096)/(-12) a multiple of 216?
False
Let c be 8/10*120/24. Suppose 11 = 5*k - 4*v - 14, -c*k = -2*v - 20. Suppose -3*u = j - 195, 4*u + 134 - 1054 = -k*j. Is j a multiple of 12?
True
Let y = 79 - 55. Suppose 4*k - k = y. Suppose -k = 8*n - 912. Is 32 a factor of n?
False
Let n(h) = 77*h**2 - 28*h + 52. Let f be (45/(-6))/5*16/(-12). Is n(f) a multiple of 5?
False
Let t = -5257 + 16637. Is t a multiple of 51?
False
Suppose 125 = 2*h - 7*h. Is 11 a factor of 2*28/(-21)*(h - -1)?
False
Let a be (-3 - -1)*(1 - 4)*16. Let i be a/16*(-2)/(-6). Suppose 0 = -i*z - 4*z + 360. Is z a multiple of 28?
False
Suppose -s + 131 + 6 = 0. Let l = s + -85. Let a = -32 + l. Is 5 a factor of a?
True
Suppose 4*d = b + 93033, b - 33269 = -3*d + 36518. Is 13 a factor of d?
False
Suppose -17542 = -6*r - 8638. Does 53 divide r?
True
Suppose -4*b - 2 = -3*s + 8, 0 = 2*b + 2. Let d(z) = -3*z**2 - 15 + 8*z**s + 27*z - 53*z + 28*z. Is 12 a factor of d(-3)?
True
Suppose 4*m + 46 = 2*l, -25 = -l + m - 7. Let z be (-2)/14 + l/((-91)/160). Let p = z - -47. Does 12 divide p?
True
Is (-33 + -1)/(33913/(-11297) - (-54)/18) a multiple of 138?
False
Suppose -4*a + 38 + 5 = l, 0 = l + 2*a - 45. Suppose 2*b = -s + 218, -b - 3*s + 80 = -39. Let u = b - l. Is u a multiple of 5?
True
Let v(b) = -b**3 - 16*b**2 - 2*b - 30. Let t be v(-16). Suppose -t*y = 3*y + 20, -y - 346 = -3*x. Is x a multiple of 91?
False
Does 157 divide (193224/(-36))/((-4)/18)?
False
Let a = 8124 - 5588. Is 21 a factor of a?
False
Let t(n) = n**3 + 4*n**2 + n + 4. Let h be t(-4). Let m be 7*(h/5 - -1). Suppose 480 = m*i + i. Is i a multiple of 30?
True
Let m(s) = 394*s + 19. Let f be m(4). Suppose r - n - 216 = 105, 0 = -5*r - 5*n + f. Is r a multiple of 11?
False
Let z = -225 - -417. Is 4 a factor of (-2)/(-6) - (-10496)/z?
False
Let y(m) = -m**2 - 12*m + 3. Let z be y(-12). Suppose -z*b + 4*b = 5*u - 143, 5*b + 15 = 0. Suppose -2*w - 6 = 0, 4*h + w = 241 - u. Is 9 a factor of h?
True
Suppose -5*k = 4*m - 22548, 5*m + 5*k - 33631 + 5441 = 0. Does 31 divide m?
True
Let d = 10136 + -5876. Does 71 divide d?
True
Suppose 35*b - 261233 = 31542. Is 20 a factor of b?
False
Let m(z) = -3*z**3 - 7*z**2 + 2*z - 11. Let d be m(-7). Let b = d + -621. Does 3 divide b?
False
Suppose 408 + 565 = 7*j. Suppose -6*y - 257 = j. Let x = y - -78. Does 3 divide x?
True
Suppose 5 = 3*a - 4, 3*g - 6 = a. Suppose g*m + 0*f - 13 = -4*f, -13 = -5*m + 2*f. Is 31 a factor of (23/m)/(238/(-48) + 5)?
False
Suppose -2*z = -7*q + 3*q + 12, 2*z + 6 = 2*q. Let h be -5 + q + 8/2. Is 7 a factor of (h + (-120)/18)*39/(-2)?
True
Let n = 316 + -318. Is 21 a factor of n/((1 + 3)/1)*-290?
False
Suppose -63*o - 23*o = -3406976. Does 42 divide o?
False
Let p = 3814 - 2173. Let u = p + -952. Suppose 20 = 3*d + d, -3*w + u = d. Is w a multiple of 22?
False
Let q(p) = 10*p**2 + 232*p + 283. Is q(-49) a multiple of 14?
False
Suppose 4*o - 5*m = 115751, 8*o - 2*m + 7*m = 231517. Is 194 a factor of o?
False
Suppose 5*b - 4*b - 36678 = -5*b. Does 30 divide b?
False
Let n = -302 - -313. Is n/22*(19 + 1) a multiple of 10?
True
Suppose 52*v + 68*v = 293760. Does 18 divide v?
True
Let n(y) = y**2 - 14*y + 13. Let f be n(13). Suppose -3*s - g + 13 = -f*g, 4*s = -3*g + 14. Let p = s - -78. Is p a multiple of 30?
False
Let n = -13729 + 23857. Is 13 a factor of n?
False
Let r(i) = -i**3 - 82*i**2 - 1166*i - 545. Is 20 a factor of r(-65)?
True
Let l = -11692 - -13770. Is l a multiple of 86?
False
Let z = 34613 - 13625. Is z a multiple of 159?
True
Let k = -769 + 1487. Does 2 divide k?
True
Suppose -600 - 504 = -r. Does 24 divide r?
True
Suppose 53770 = 463*k - 273*k. Does 3 divide k?
False
Let o(m) be the third derivative of m**5/30 - m**4/6 + m**3/2 + 7*m**2. Let b be o(2). Is (-1565)/30*-1 + b/(-18) a multiple of 4?
True
Let x(l) = 429*l**2 + 52*l + 94. Is 131 a factor of x(-3)?
True
Suppose -18 = -2*d + d. Let a = -1210 + 1256. Let x = a - d. Is x a multiple of 7?
True
Let j = -111 + 154. Suppose j*z - 2254 = 36*z. Is z a multiple of 10?
False
Suppose 18*t - 23392 = 17630. Does 58 divide t?
False
Is (-6)/15 + (1040904/144 - (-2)/(-20)) a multiple of 68?
False
Let n(z) = 10*z - 3. Let b be n(4). Suppose -4*i + b + 19 = -4*m, -5*i - 2*m + 49 = 0. Let g(j) = -j**3 + 10*j**2 + 12*j + 10. Is g(i) a multiple of 3?
True
Let y(c) be the first derivative of -3*c**2 + 17*c - 10. Let q be y(6). Let u(k) = k**3 + 19*k**2 - k + 12. Is 6 a factor of u(q)?
False
Suppose -371*c = 3*f - 366*c - 88506, 117985 = 4*f - c. Does 131 divide f?
False
Suppose -8*m + 1456 = -16*m. Let i = -69 - m. Is i a multiple of 6?
False
Suppose -6*c + c = -6*r - 3709, -5*c - 2*r = -3677. Does 22 divide c?
False
Suppose -960*i = -1065*i + 340200. Does 60 divide i?
True
Let y(v) be the second derivative of 47*v**3/6 - 101*v**2/2 - 6*v. Is y(9) a multiple of 23?
True
Let j(l) = l**3 + 2*l**2 - l + 3. Let p be j(3). Let m = p + -39. Is 11 a factor of 37/(-2)*-1*(8 - m)?
False
Let d = -209 - -212. Suppose 2*y = 10, 4*p - 901 = -d*y + 362. Does 52 divide p?
True
Let x be 1 - 2 - 19/(3 - 4). Let z be 10/3 + (-2 - (-48)/x). Suppose n + z*n - 295 = 0. Does 18 divide n?
False
Let o be 4 + 4/(-12) + (-64408)/24. Is 9 - o/12 - 4/(-6) a multiple of 13?
False
Suppose -4*b + 4785 = 5*k, 14*k = 4*b + 11*k - 4809. Suppose 0 = -16*s + 11*s + b. Is s a multiple of 16?
True
Suppose 8*n + 5*n - 2753 = 107. Is n a multiple of 24?
False
Suppose 34 = -j + 40. Let i(o) = 0 + j*o + 8*o - 2 - o. Is i(1) a multiple of 2?
False
Let v = -21 - -23. Suppose 4*d = -v*y - y + 7, 3*d - 21 = 3*y. Does 8 divide (y/2)/3*-70?
False
Suppose -1753 = 9*a - 583. Let x = 140 + a. Is 10 a factor of x?
True
Suppose 0 = -3*b + w + 1 + 3, -5*b = 3*w - 16. Suppose -b*i = -2*d + 698 - 28, -4*i + 1684 = 5*d. Is 42 a factor of d?
True
Suppose w + 4*z = 13, w = 2*w - 5*z + 5. Suppose -w*j - 298 = -848. Is 11 a factor of j?
True
Suppose 7 = -4*w + 27. Suppose -w*m + m = 4, 2*m + 4 = -r. Is 5 a factor of (-1)/r + ((-4095)/14)/(-15)?
True
Suppose 3*u + 77 = -49. Let f = u + 57. Suppose -6*d - 2*n + 390 = -3*d, f = -5*n. Does 18 divide d?
False
Suppose r + 717 = -m + 2718, 3*r = 5*m - 9997. Is m a multiple of 25?
True
Let v(m) = 1391*m - 4069. Does 111 divide v(5)?
True
Let y(j) = -j**3 - 2*j**2 + 7*j + 2. Let c be y(-4). Suppose 8 = 7*a - c*a. Is (a/(-3))/((-3)/144) a multiple of 28?
False
Suppose -5*a + 4*i = -0*i - 235, -a + 5*i = -68. Suppose 828 = 47*s - a*s. Does 13 divide s?
False
Let i be 6*((-70)/(-21))/(-10). Does 12 divide 126/(-28)*(-12 - i)?
False
Let f = -4870 - -9633. Does 32 divide f?
False
Let w = -7677 + 16335. Is w a multiple of 18?
True
Let h = -10395 - -12143. Does 76 divide h?
True
Suppose -2*w = -g - 363, -906 = -5*w + 3*g + g. Suppose x - 139 = -3*d, -x - x + w = 4*d. Does 12 divide d?
True
Let n(b) = 2*b - 18. Let q be n(9). Let g be q/(1 + 0) + 8989/89. Suppose 5*s = -x + 113, s + 4*s - 3*x = g. Is s a multiple of 13?
False
Suppose -22*a + 6043 + 13405 = 0. Let q = a - -38. Is q a multiple of 19?
False
Let g(j) = j**2 + 8*j + 9. Suppose 10 = 2*z - c, 2 = 3*z - z + c. Let h be (z - (-24)/2)/((-21)/14). Is g(h) a multiple of 3?
False
Let z(s) be the third derivative of -s**5/60 - 9*s**4/8 + 10*s**3 - 8*s**2. Is 4 a factor of z(-27)?
True
Suppose -6*d - 256 = 338. Let i = d + 103. Suppose 2*p = i*v - 6 - 54, -2*v + 18 = 2*p. Is 7 a factor of v?
False
Suppose -3*i = 2*n - 30020, 1020*n = 1025*n - 3*i - 75029. Is n a multiple of 92?
False
Suppose -3*p = -2*j + 19, p = 6*p + 5. Let y = -112 - j. Let r = y + 308. Does 12 divide r?
False
Suppose 5*k = -4*m - 1 - 15, 4*m - 12 = 2*k. Suppose -h = 3*b + m, -8*b - 5 = -4*b + 5*h. Suppose -j + 458 = 2*y - 5*j, 2*j - 10 = b. Is y a multiple of 30?
False
Suppose -4*w - 2*k + 1936 = k, -3*k + 12 = 0. Let x = w + -250. Is 12 a factor of x?
False
Suppose o + 0*o = -22*o + 72450. Is 12 a factor of o?
False
Let o(m) = -17*m - 75. Does 10 divide o(-95)?
True
Let b be (1/(-2)