. Suppose -71 = -2*h - n, h - 6*h = 2*n - t. Does 7 divide h?
True
Suppose 3*c - 135 = -3*x, 5*c - 255 = -3*x + 8*x. Suppose -c - 2 = -5*w. Suppose -w*n = 3*n - 26. Is n a multiple of 2?
True
Suppose 3*h + y = -3*y + 30, -h - 3*y = -10. Let f = h - 6. Suppose -4*n = f*j - 300, -2*n - 2*n = -2*j - 330. Does 20 divide n?
True
Let q be -5*6/20*-4. Suppose 18*f - 4886 + 2174 = 4650. Suppose -t + 143 = -2*g + q, 3*t - 4*g = f. Is t a multiple of 27?
True
Let u be (243/(-36))/(6/16). Let j be 0 - (u - -3)/3. Suppose -j*h + 951 = -524. Does 15 divide h?
False
Suppose -2*y - 4*n - 20 = y, 3*y = 4*n + 20. Let b = y + 47. Suppose 0 = b*t - 42*t - 70. Is 8 a factor of t?
False
Let k(s) = -591*s + 10 + 299*s + 3*s**2 - s**3 + 300*s. Is 10 a factor of k(-5)?
True
Suppose -h - h = -5*m + 14, -4*m - 5*h + 31 = 0. Suppose 968 = 4*b + m*w, -2*w = 4*b + w - 968. Is b/4 - (-5 + 45/10) a multiple of 17?
False
Let w be -6 + (4/10)/(20/263400). Suppose 4*q = 5*l + 8*q - w, -2*l + 2112 = 4*q. Is 25 a factor of l?
True
Suppose 2*u - 3*x = 498, u + x = -6*u + 1720. Let l = u - 144. Is 17 a factor of l?
True
Let u(v) = 2*v**3 + 9*v**2 + 4*v - 183. Is u(9) a multiple of 20?
True
Let b be -72*(-84)/24*2/3. Suppose b + 1204 = 4*w. Is w a multiple of 12?
False
Suppose 854 = 2*p + 4*r, -2*r = -3*p + r + 1263. Suppose 51*l = 48*l + p. Is l a multiple of 36?
False
Let z(o) = 66*o**2 - o - 27. Is 94 a factor of z(8)?
False
Suppose 0 = 5*h + f - 25828, 0 = 5*f - 149 + 159. Does 41 divide h?
True
Suppose 27*f = 214 - 808. Does 27 divide (216/(-10))/(f/55)?
True
Suppose -14*f - 60 = 10. Is (-2 + (-1640)/f)*(1 - 0) a multiple of 11?
False
Let s be (-2 + (-19)/(-2))*(-4)/(-3). Suppose -886 = -12*b + s*b. Suppose 5*i - 3*l - b = 0, 0*l + 2*l - 438 = -5*i. Is 11 a factor of i?
True
Let b(c) = c**3 - 39*c**2 + 90*c - 949. Does 17 divide b(46)?
True
Let w(v) = -v**2 - 34*v - 165. Let z be w(-6). Suppose -z*i + 41 = -268. Is i a multiple of 13?
False
Let y(j) = 33*j**2 + 3*j + 3. Let f(a) = a + 4. Let h be f(-1). Let s be y(h). Suppose 7*x - 90 - s = 0. Does 16 divide x?
False
Let s = 250 - 69. Let x = 296 - s. Suppose -943 = -4*n - x. Does 23 divide n?
True
Let x(j) = -217*j + 14. Let m be x(10). Let f = m + 3065. Does 20 divide f?
False
Suppose -193 = -8*z - 73. Suppose 0 = 10*i - z*i + 220. Let o = 99 - i. Is o a multiple of 16?
False
Let m(h) = 200*h**2 + 1. Let x(k) = 5*k - 34. Let l be x(7). Is 3 a factor of m(l)?
True
Suppose -129396 = 73*f - 546883. Is f a multiple of 19?
True
Suppose 11812444 = 476*f - 175*f. Is 10 a factor of f?
False
Let r be (60/14)/(15/70). Let y = r - 6. Suppose -y*n - 30 = -15*n. Is 5 a factor of n?
True
Let a(n) = 28*n**3 + 8*n**2 - 101*n - 3. Is a(6) a multiple of 24?
False
Let v(w) = w**3 + 13*w**2 + 12*w - 10. Let s be v(-11). Let z be (-55)/22*112/(-10). Suppose i = s - z. Does 24 divide i?
True
Suppose 5*t = 25*t - 100. Let r(w) = 137*w + 110. Is 53 a factor of r(t)?
True
Let g = 11043 - 6813. Does 18 divide g?
True
Suppose -4*s - 4*l = -l - 5700, 16 = 4*l. Suppose 10*v - v - s = 0. Suppose 2*a + 2*n - v = 0, 4*a = n + 259 + 32. Is 42 a factor of a?
False
Suppose -180396 = 73*b - 319613 - 286811. Is b even?
True
Suppose 4*m + 4256 = 20*m. Suppose -49*u + m = -47*u. Is 7 a factor of u?
True
Let r = -389 - -389. Suppose y + 7*k = 2*k + 408, 5*y - k - 2066 = r. Does 59 divide y?
True
Let d(m) = 53*m**3 - m**2 - 6*m + 375. Is 9 a factor of d(8)?
False
Suppose 399847 = -18*f + 1135489. Is 239 a factor of f?
True
Let n = 2274 + -1761. Is n even?
False
Let u(s) = 78*s**2 - 313*s - 2539. Is 4 a factor of u(-8)?
False
Let h(f) = 16*f - 127. Let r(w) = -3*w. Let d(z) = -h(z) - 4*r(z). Does 3 divide d(-13)?
False
Let m be (-814)/(-110) - (-3)/5 - -1. Is 60 + 780 - (m - 1) a multiple of 52?
True
Let b = 6650 - 3707. Is b a multiple of 109?
True
Let n(m) be the second derivative of m**4/4 + m**3/6 - 10*m**2 + 16*m. Let l be n(4). Let o = l + -18. Does 5 divide o?
False
Let c be ((-2)/7 - 12/7) + 51. Suppose j + c = -13. Let h = -42 - j. Is 4 a factor of h?
True
Suppose 7 = 3*z + 202. Does 6 divide (-468)/z*50/4?
True
Let a = -2 - -2. Let q(z) = 48*z**2 + 182*z + 5. Let y be q(-4). Suppose d = -a*d + y. Is 9 a factor of d?
True
Let h = 301 + -285. Let v(y) = 8*y + 26. Is v(h) a multiple of 40?
False
Suppose -3*t + 324 = 3*p, 4*t - 6 + 14 = 0. Let u be 2/4*(-568)/(-2). Let z = u - p. Does 8 divide z?
True
Let q = -561 - -1033. Let m = -237 + q. Is m a multiple of 37?
False
Suppose -3*y - 13*j + 10*j + 7701 = 0, -6*j + 2562 = y. Does 13 divide y?
False
Suppose 26517 = 14*r - 38499. Is r a multiple of 18?
True
Is 2300/5*(1/4 - -1) even?
False
Let g(j) = 35*j**3 - j**2 - 10*j + 26. Does 70 divide g(6)?
True
Suppose 8*b = 115 + 53. Suppose -b*j = -24*j + 891. Does 21 divide j?
False
Let f = -979 + 1051. Is 9 a factor of f?
True
Let i(n) = 2*n**3 + 2*n**2 + 2*n - 2. Let u be i(-2). Let o be (-50)/u + (-12)/21. Is 26 a factor of (-1248)/(-8) + (o - -1)?
False
Let y(a) = -2325*a - 8923. Is y(-4) a multiple of 4?
False
Let z(k) = 45*k**3 - 12*k + 16. Suppose 5*m - c - 14 = 0, -19 = -5*m + 2*c - 1. Is 4 a factor of z(m)?
True
Let q be ((-9183)/2)/((-216)/144). Suppose 2*y = p + 4*p - q, 0 = -3*p + 2*y + 1839. Is p a multiple of 47?
True
Suppose 18*n - 530 = 20*n. Let z = n - -1485. Is z a multiple of 61?
True
Is 47 a factor of 26840/(-330)*141/(-4)?
True
Suppose -370 = 48*y - 43*y. Let c = y + 94. Suppose 108 = 4*l + 5*r, 2*r = -3*l + c + 61. Does 25 divide l?
False
Let z(c) = -79*c + 89. Is z(-15) a multiple of 28?
False
Let o = -1221 + 61. Let f = 1817 + o. Does 73 divide f?
True
Let f(u) = u**3 + 17*u**2 - 3*u - 11. Let l be f(-7). Suppose 2*v - 2*s - l = 0, -5*s + 57 = -2*v + 551. Is 9 a factor of v?
True
Let c(d) = -134*d + 1272. Is 72 a factor of c(-12)?
True
Let x(d) = -d**3 - 18*d**2 + 43*d + 65. Let z be x(-20). Suppose 5*u + 2330 = z*l, 0 = 4*l - 5*u + 167 - 2031. Is l a multiple of 15?
False
Let l = 8283 - 7032. Is l a multiple of 9?
True
Let o(g) = 125*g**2 - 10*g - 27. Let b be o(-9). Is b/18*(-2)/(-5 - -1) a multiple of 58?
False
Suppose -13*j + 24595 = 5*a - 8*j, -19672 = -4*a - 2*j. Is 149 a factor of a?
True
Let m(z) be the first derivative of 8*z**2 - 158*z - 135. Does 68 divide m(39)?
False
Let r(b) = 32*b**2 + 13*b - 29. Let u(o) = -5*o + 60. Let l be u(11). Is r(l) a multiple of 44?
True
Suppose 0 = 5*d - 4*k - 9348, 0 = -d + 2*k + 1147 + 719. Is 16 a factor of d?
True
Let g(n) be the first derivative of n**4/4 + 8*n**3 + 27*n**2 - 31*n + 159. Does 44 divide g(-20)?
False
Let x(t) = t**2 + 56*t + 1. Is 51 a factor of x(56)?
True
Let y = 205 - 178. Is -285*-3*6/y a multiple of 38?
True
Let n be (24 - 21)*(51/(-9) - -2). Let s(g) = 3*g**2 + 21*g - 36. Does 48 divide s(n)?
True
Let i be (72/(-144))/(-1*(-1)/(-14)). Suppose -2*k = 3*y - i*k - 185, -2*y + 150 = 2*k. Is y a multiple of 15?
False
Is 46 a factor of 1*12/(-42) - (-2 - 47322/7)?
True
Let x(z) = z**2 + 3*z + 6. Let r be x(-2). Suppose -i + 3*i + r*y = 330, -4*i + 653 = y. Suppose 9*v - i = 377. Is v a multiple of 12?
True
Let j(q) be the first derivative of -q**2/2 + 11*q + 3. Let r be j(4). Suppose -r*h = -2*h - 620. Does 14 divide h?
False
Let a be 2*2 + 80/16. Suppose a*m = 11*m - 504. Does 21 divide m?
True
Let n be 7196/(-49) + (-6)/(-7). Does 8 divide 25/((-75)/18) - n?
False
Does 95 divide (4/30)/((-31)/(-310)) - 37888/(-6)?
False
Let g = -5 - -5. Suppose -t + g*s = -s - 46, -4*s = 2*t - 110. Let r = 164 - t. Is r a multiple of 23?
True
Suppose 11696*s - 183000 = 11681*s. Does 13 divide s?
False
Let p = -5228 - -7962. Suppose -2258 = -6*v + p. Does 39 divide v?
False
Let m = -484 + 940. Suppose -123*j - m = -125*j. Is 4 a factor of j?
True
Suppose -24385 = -5*o - k + 13208, 5*k = 5*o - 37635. Is o a multiple of 20?
True
Suppose -35371 - 73283 = -13*i. Is i a multiple of 14?
True
Suppose 116607 + 291969 = 76*x. Is x a multiple of 28?
True
Suppose 0 = 3*z - 2*j - 3296, 10*z - 4392 = 6*z + 4*j. Is z a multiple of 110?
True
Suppose -707 - 342 = -66*r + 799. Suppose -2*n - 48 = -4*n. Suppose -608 = -r*h + n*h. Is 38 a factor of h?
True
Suppose 146*v + 22*v = -126*v + 5228496. Is v a multiple of 152?
True
Let c(o) = 25*o + 49. Let n be c(12). Let z = n - 196. Is z a multiple of 17?
True
Sup