8 - 2)*240/(-600)?
True
Is 4/16 - 67074/(-24) a multiple of 65?
True
Is (1083/(-38))/((-107)/(-54) - 2) even?
False
Let t(z) = 205 - 409 + 207 + 2*z + 7*z**3. Let j be t(-1). Does 43 divide (j/(-15))/((-6)/(-645))?
True
Let w = -6490 - -9278. Does 41 divide w?
True
Let n(o) = -4*o - 3*o**3 + o**2 - 19 + 9*o**3 + 7 - 23*o**3. Is 10 a factor of n(-2)?
False
Let c = -1253 + 1828. Suppose 0 = -4*b + 41 + c. Is b a multiple of 11?
True
Let o be 6/(-14) - (-5446296)/(-469). Does 62 divide o/(-63) - (-15)/9?
True
Suppose 1744 = 7*u - 2498. Suppose -2*a + u = -754. Is a a multiple of 40?
True
Let v(g) = g**3 + g**2 + 3*g + 3. Let p be v(-2). Let w(z) be the third derivative of -7*z**4/12 - 5*z**3/3 + 3*z**2. Does 22 divide w(p)?
True
Suppose 0*v + 2*v + 4 = 0. Let s(b) = 12*b - 56. Let n be s(5). Does 5 divide (81/(-6) - n)*v?
True
Let i(l) = 4*l**2 - 53*l + 3. Let y be i(23). Suppose -y = -7*b + 423. Is 9 a factor of b?
True
Let g = 8 + 11. Suppose -3*u + g = -32. Suppose -8*y + u = -7*y. Is 17 a factor of y?
True
Let h(b) = -b**2 - 122*b - 1121. Is 63 a factor of h(-40)?
False
Let d be -2 + -3 - (5 - 790). Let q = 1676 - d. Is 56 a factor of q?
True
Let u = -12 - -21. Let f be 90/40 - 1*(-1)/(-4). Suppose -h - u = 4*o - 37, -f*h = -o - 29. Does 14 divide h?
False
Let h be (-8)/28 - 276/(-84). Is 8 a factor of 694/h - (7/21 - 1)?
True
Suppose -2*d - 10 = -0*v - v, -3*v + 30 = 3*d. Suppose 0 = 3*c - 5*i + v, -4*c + 33 = 3*i - 2. Suppose -3*q = -c*q - 5*j + 119, 170 = 3*q - j. Does 19 divide q?
True
Let g(f) = -69*f + 5218. Is 7 a factor of g(53)?
True
Suppose -4*i + 79552 = -39*b + 43*b, 19896 = b + 5*i. Is b a multiple of 61?
True
Let h(i) = 49*i + 25. Let s be h(-9). Let v = s + 653. Is v a multiple of 14?
False
Suppose -2*o = -4*t - 7 - 9, -3*o + 15 = -3*t. Let p(a) be the second derivative of 7*a**5/20 + a**4/12 + 2*a**2 + 12*a. Does 8 divide p(o)?
True
Suppose 5*t - 44 = t + m, 0 = -5*t - 3*m + 55. Suppose t - 6 = l. Suppose -l*s + 91 = -179. Does 18 divide s?
True
Let o(h) = -17*h**3 - 25*h + 3*h + 8*h**3 + 8*h**3 + 17*h**2 + 4. Does 4 divide o(15)?
True
Let f(y) = -47*y + 5. Let v be f(-7). Suppose -v = -4*j + 2*g, j - 4*g - 14 = 59. Suppose -7*n + 533 - j = 0. Is n a multiple of 64?
True
Let o = 127 - 131. Is 15 a factor of 7*(270/o)/(133/(-152))?
True
Let t = -11281 + 31714. Does 49 divide t?
True
Let n(g) = 5*g - 37. Let z be n(23). Let u be z/(-8) + 2/(-8). Is 41 a factor of 4/u - (-7398)/45?
True
Let q = 3790 + 950. Is q a multiple of 12?
True
Let w = 282 - 141. Does 15 divide w/1 + -11 + 13?
False
Does 23 divide (272567 - 1)/14 - -2?
False
Let r(w) = 84*w + 8401. Is r(-54) a multiple of 5?
True
Let k be 6/57 - (-235396)/133. Suppose -2218 = -5*o + m, k = 4*o - 5*m + 2*m. Is 12 a factor of o?
True
Is (-13)/130*-10 - -9119 a multiple of 80?
True
Let n be 3681/13*1 + 22/(-143). Let m = 618 - n. Does 10 divide m?
False
Let o be 2825/226*(-8)/10. Is 12 a factor of 255 - (o + -3 + 7)?
False
Let u = -11711 + 20941. Is u a multiple of 31?
False
Suppose -389 = -3*d + 3*u + 2167, 3*u - 4220 = -5*d. Is d a multiple of 15?
False
Let o = 877 + -758. Is o a multiple of 14?
False
Suppose -5*o = 2*i, 5*i - 2*i + 25 = 5*o. Suppose 5*h - h - d - 34 = 0, d = o*h - 18. Suppose -5*q - 5*w + 1059 = -h*w, 2*q = 5*w + 435. Is 10 a factor of q?
True
Suppose 7 - 3 = 2*r. Suppose -3*q - 3*h = -15, -r*q + 6*h = 2*h - 16. Suppose -317 = -4*f - q*u + 3*u, 0 = -f - u + 80. Does 19 divide f?
False
Let s(m) = -m**3 - 8*m**2 + 8*m - 7. Let j be s(-9). Let p = j - -2. Suppose p*n + 4*n = 88. Is n a multiple of 8?
False
Let l = -7844 + 8085. Is l a multiple of 29?
False
Let h(l) = -6*l + 940. Is 72 a factor of h(-16)?
False
Let y(c) = 6*c**2 + 4*c - 5. Let j be y(2). Let i = -19 - j. Let h = -34 - i. Does 4 divide h?
True
Let j(x) = 3*x**3 + 3*x**2 + 14*x - 34. Let y(d) = 8*d**3 + 6*d**2 + 28*d - 67. Let v(o) = -5*j(o) + 2*y(o). Is v(9) a multiple of 12?
True
Is (-16)/(-672) + (-9315295)/(-462) a multiple of 33?
True
Let w = -192 - -199. Suppose -w*y + 441 = 14*y. Is y a multiple of 2?
False
Let a = -17 - -14. Let b(h) be the third derivative of -h**6/120 + h**5/60 + h**4/12 - h**3 + 12*h**2. Does 5 divide b(a)?
False
Suppose -4875 = -4*h - u + 10488, 3*h - 11523 = -u. Is h a multiple of 120?
True
Suppose 10 = -o - 4*g, -g - 4 = -3*o + 5. Suppose 0 = t - 19 + 23, 3*i = o*t + 344. Is i a multiple of 14?
True
Let p = 38 - 572. Let h = -502 - p. Does 11 divide h?
False
Let b be 6/(7/(56/12)). Suppose -2*n = 2*q + 314 - 1010, -b*q = 2*n - 1390. Is q a multiple of 29?
False
Let c(r) = 3*r + 38. Let j be c(-11). Suppose -j*u = 146 - 591. Suppose 4*o - u = 3*o. Is o a multiple of 18?
False
Let k(y) = y**2 - 2*y + 1. Let u be k(1). Let n be u + -1 + (18 - -15). Suppose 0 = -a + n + 2. Is a a multiple of 17?
True
Let v(w) = -3*w**2 + 24*w - 73. Let z(o) = o**2 - 13*o + 37. Let c(n) = 2*v(n) + 5*z(n). Does 5 divide c(-16)?
True
Let i = 449 + 314. Suppose -4*h + 5*h - m = 149, 5*h - i = -m. Does 5 divide h?
False
Let t(i) = 3*i**3 - 18*i**2 + 6*i + 14. Let l be (-3 + 2)/(10/210). Let m be 3 + (l/14)/((-6)/16). Does 29 divide t(m)?
True
Let o(u) = -4*u**3 - 15*u**2 - 33*u + 25. Let r be o(-11). Does 6 divide r/45 - (-2)/5?
False
Let m be (-605)/(-30) + 13/(-78). Is 34 a factor of (1 - (-2 + -611))/(m/30)?
False
Does 12 divide ((10 - 11) + 4/(-3))*-16434?
False
Suppose 4*u - 2*u = -2*g + 32, u + 36 = 3*g. Suppose -g*s = 1860 - 4811. Is s a multiple of 25?
False
Let d(y) = 6118*y**2 + 17*y + 17. Is d(-1) a multiple of 7?
True
Let u(i) = -6*i**2 + 474*i - 290. Is 8 a factor of u(73)?
False
Let d be ((-7)/((-42)/10) + -1)*63. Suppose -d*f = -38*f + j - 4433, -2*j = f - 1117. Is 11 a factor of f?
False
Does 11 divide 588/784*(1 - (-1273)/3)?
True
Suppose 0 = 2*n + n - 15. Let o(j) = 2*j**3 - 11*j**2 + j + 20. Let b be o(n). Is 7 a factor of (7/(-2))/(-1)*(b + 14)?
True
Let y(l) = 515*l**2 + 19*l + 45. Is 278 a factor of y(-6)?
False
Let f = 1 - -2. Suppose -71 - 109 = -3*x - f*z, 2*z - 297 = -5*x. Does 11 divide x*(4 + -3 + 0)?
False
Suppose -3664 = -y - 2*a, -y + 4720 - 1035 = 5*a. Is 36 a factor of y?
False
Let s = -14 - -36. Let l = -19 + s. Suppose 0 = 3*a - l*b - 231, 14 = a - 2*b - 61. Is a a multiple of 23?
False
Suppose 2*q + 2*z = 82, -5*z = q - 4*q + 83. Suppose 0 = -1637*b + 1639*b - q. Is 3 a factor of b?
True
Let y(k) = -51*k**3 - k**2 - 6*k + 5. Let s(w) = -50*w**3 - w**2 - 8*w + 6. Let t(r) = 2*s(r) - 3*y(r). Does 4 divide t(1)?
False
Suppose 0 = -4*k + 5*g + 21180, -2*g + 20080 = 5*k - 6428. Does 21 divide k?
False
Suppose -8*v = -4*v + 124. Let h = v + 27. Is (516/(-18))/(h/3)*2 a multiple of 13?
False
Suppose -2*g + 57 + 1680 = 5*o, -3*o - 2*g = -1039. Suppose -o = -16*j + 131. Does 6 divide j?
True
Let t = -8004 - -11917. Does 57 divide t?
False
Let u(h) = h**2 + 14*h + 26. Let i be u(-12). Let j = 122 + -12. Suppose -4*d - q = -j - 111, i*d = -2*q + 106. Is d a multiple of 21?
False
Suppose 48*h - 120243 - 44457 = 26580. Is 142 a factor of h?
False
Is -3*26/(-3)*(-1 - -528) a multiple of 34?
True
Let l(w) = -44*w**2 + 703*w + 37. Does 22 divide l(15)?
True
Let o(d) = 5*d + 18. Let g be o(-3). Suppose 3*n - 5*i - 380 = 0, -5*i - 510 = -n - g*n. Suppose 10 = 5*w + 5*m - n, -2*w + 53 = -m. Does 9 divide w?
True
Let z be (-630)/(-40) + (0 - 1/(-4)). Suppose 15 = 21*w - z*w. Suppose r + 2*k = -w*k + 39, 4*r = -5*k + 141. Is r a multiple of 13?
False
Suppose 0 = -3*y + 5*r - 2 + 88, y + 3*r = 10. Suppose 23*i - 392 = y*i. Is i a multiple of 49?
True
Let q(x) = -x**2 - 4*x + 52. Let o be q(-10). Let l(y) = -18*y - 54. Does 9 divide l(o)?
True
Let h = 35427 + -23225. Is 49 a factor of h?
False
Suppose -134 = 2*m + 344. Let x = m + 674. Is x a multiple of 24?
False
Let k(p) = -114*p - 26. Let q be k(-5). Suppose -2*u + 32 + q = 5*v, 4*v + 1096 = 4*u. Suppose -6*l = -4*h - l + u, -h = 2*l - 76. Is 18 a factor of h?
True
Suppose 0 = m - 1 - 95. Does 7 divide (5 + 9)/(8/m)?
True
Let z = -1648 + 2224. Is z a multiple of 5?
False
Suppose 16*r + 689 + 79 = 0. Is 15 a factor of (-1982)/(-12) + r/288?
True
Is 16 a factor of (-12)/(-54)*42*7020/35?
True
Suppose 0 = -4*f - l - 307, 2*f - 11*l + 152 = -13*l. Let c = f - -107. Does 15 divide c?
True
Let m(o) = -5222*o - 8860. Does 46 di