9?
True
Let t(y) = -12*y - 79. Let i be t(-7). Let j(g) = 40*g + 21. Does 13 divide j(i)?
True
Let r be 3*(-6)/24 + (-19)/(-4). Does 24 divide r/(16/6)*(-656)/(-24)?
False
Let b(j) = j**3 + 9*j**2 - 38*j + 10. Let z be b(3). Let n(h) = -30*h - 29. Let r(l) = 15*l + 14. Let o(f) = -3*n(f) - 5*r(f). Does 6 divide o(z)?
False
Let z(o) = -24*o**2 - 25*o + 3. Let c(i) = 8*i**2 + 9*i - 1. Let p(a) = -17*c(a) - 6*z(a). Is p(-3) a multiple of 5?
True
Let n be 10/(-5) - (5 - 16). Let q be 7 + -10 + n/3. Suppose q = 14*y - 9*y - 1330. Is 12 a factor of y?
False
Let t(u) = u**3 - 7*u**2 - 10*u - 5. Let l be t(8). Let n be 8/(-28) - (-498)/l. Is 8 a factor of 40/n + 1 - (-484)/6?
True
Let w be (-3)/((-9)/150) + 0. Is 27 a factor of (-5 - -2678)*(-3 - w/(-15))?
True
Let s be (18/(-8) + 2)*0. Suppose 7 = 4*n - 1, s = -5*m + n + 1163. Does 12 divide m?
False
Let f = 2309 - -2653. Is 14 a factor of f?
False
Suppose 4*p + 1869 = -5*x + 23879, 4*x = -4*p + 17608. Does 80 divide x?
False
Let c(u) = 6*u**2 + u + 12. Let l be c(-5). Let s = l - -259. Is s a multiple of 26?
True
Suppose 36 = 2*x - 4*p, p - 52 = -3*x + 6*p. Suppose 12*y + 350 = x*y. Is 14*5/(y/120) a multiple of 8?
True
Suppose 144*z = 82*z + 217806. Is 9 a factor of z?
False
Suppose -9*h = 109 + 215. Let s = 103 + h. Let a = s + -49. Does 9 divide a?
True
Let h(o) = -3*o + 8. Let b be h(-2). Suppose 0 = -b*s + 21*s - 385. Does 8 divide s?
False
Suppose -3*c = -w - c - 31, c - 89 = 4*w. Is 7 a factor of (-6)/(-21) - (-6)/w - -51?
False
Let b be (10/3)/((-16)/(-72)). Suppose -6*p + 21 = p. Suppose 0 = -p*d - b, -t - 4*t + 190 = d. Does 39 divide t?
True
Let g = -55 + 495. Let a = g + -380. Does 10 divide a?
True
Let g = 138 + -136. Suppose 2*n + 4*a - 96 = 0, 162 = 5*n + g*a - 86. Is n a multiple of 9?
False
Let t = 417 + -424. Is 12 a factor of 8/(t*1/(-462))?
True
Let w(c) = -129*c - 9. Let m be w(-1). Suppose 14*k - m = 13*k. Is 10 a factor of k?
True
Let m be (6 + (-490)/21)*-3. Let r = 3 - 1. Suppose -m + 10 = -r*g. Does 7 divide g?
True
Let k(o) = 70*o**2 + 6*o - 9. Is 45 a factor of k(-6)?
True
Let o(g) = 8*g**2 + 25 + 29 + 5*g - 1 + 11 - 8. Is o(-10) a multiple of 6?
False
Does 98 divide (((-120)/16)/(-5))/((-57)/(-1129892))?
False
Let j be 2 + (-3 - -4)*-1 + 110. Let z = j - 52. Suppose 19 = t - z. Is t a multiple of 8?
False
Suppose -10 = -2*w + 2. Suppose 0 = -w*f + 3 + 9. Is 59 + (-18 + f)/4 a multiple of 55?
True
Is 28544/(-8)*(3 + -4) a multiple of 17?
False
Is 11 a factor of ((-165)/(-10))/(((-9)/1406)/(-3))?
True
Let i(x) = 379*x + 1788. Is i(8) a multiple of 32?
False
Suppose -12 = -3*i + x, -3*i + 27 = -25*x + 29*x. Suppose m + 3 = 0, -i*m = 2*w + 3*w - 150. Is 4 a factor of w?
False
Does 132 divide 2898/(8 - 7) + 6?
True
Let a(y) = -y**2 - 12*y - 6. Let v be a(-11). Suppose 4*x = -4*h + 280, 0 = -0*x - x + v*h + 58. Is x a multiple of 3?
False
Suppose 70 = -h + 11*h. Suppose 11*v = h*v + 4. Is 19 a factor of ((-13)/(-26))/(v/266)?
True
Let q be 2/9 - ((-2189)/(-9) + 2). Let v = 464 + q. Does 12 divide v?
False
Let a be 340 + (2 - 0)/2 + 1. Is 25 a factor of -5*a/27*(-24)/10?
False
Suppose 3*b + 0*b = 33. Suppose -6 = b*f - 13*f. Suppose 8*y - 90 = f*y. Is 9 a factor of y?
True
Let x(r) = 811*r - 167. Does 43 divide x(8)?
True
Let q = 1648 + -1121. Let n = q + -353. Does 29 divide n?
True
Suppose 122*v + 5*l = 121*v + 4273, 12830 = 3*v + 4*l. Does 93 divide v?
True
Let q(s) = -68*s + 1. Let f be q(2). Let t = 67 + -52. Let l = t - f. Does 27 divide l?
False
Let c(l) = -9*l + 1824. Is 30 a factor of c(26)?
True
Suppose -120304 - 246296 = -235*z. Does 11 divide z?
False
Let m = 7594 + -4114. Is 120 a factor of m?
True
Suppose 12*w = 5*l + 13*w + 190, l - 2*w + 49 = 0. Let t = 84 - l. Is 28 a factor of t?
False
Suppose 318 + 7 = -5*o. Let a = -62 - o. Suppose -4*k + a*x = -0*x - 260, 4*x = 2*k - 130. Does 7 divide k?
False
Suppose h - 2*j - 36435 + 4263 = 0, 2*h - 2*j - 64330 = 0. Does 14 divide h?
True
Let b(a) be the first derivative of -a**4/2 + 35*a**3/3 - 4*a**2 - 15*a + 82. Is 6 a factor of b(17)?
True
Let c(h) = -14*h - 39. Let o(d) = -d**3 + 4*d**2 - 8*d + 17. Let q be o(4). Let m be c(q). Suppose -m = -r - 24. Is r a multiple of 18?
False
Let h(z) = z**2 + 3*z + 2. Let y be h(0). Suppose 0 = -y*x + 1210 - 126. Does 43 divide x?
False
Let y(i) = 160 + 410*i - 4*i**2 + i**3 - 2*i**2 + 5*i**2 - 412*i. Is y(0) a multiple of 16?
True
Suppose 13*g - 56 = 5*g. Let p = g - 23. Is (-42)/14 - (p + -1 + 2) a multiple of 6?
True
Let o = -27619 - -37530. Does 80 divide o?
False
Let t = -45588 - -47072. Does 9 divide t?
False
Let l be 12/(-8) + 157/(-2). Let i be l/24*(-6)/4. Suppose 4*o - i*f = 531 + 878, 5*o - 1753 = -2*f. Is 39 a factor of o?
True
Let b = -931 - -935. Suppose -b*u + 2670 = -3*s, 0*u + u - 5*s = 659. Is u a multiple of 15?
False
Let w(h) = -1. Let g(p) = p**2 + 16*p - 49. Let o(s) = -g(s) + 4*w(s). Is 14 a factor of o(-13)?
True
Let y(t) = 97*t**2 - 284*t - 33. Is y(6) a multiple of 46?
False
Suppose -5*k + 176 = w, -4*k + 2*w + 145 = 7*w. Let t = k - -16. Let c = -19 + t. Is c a multiple of 9?
False
Let a(u) = 7*u**3 - 3*u**2 + 34*u - 20. Let o be a(-8). Does 31 divide (5/15)/((-6)/o)?
False
Suppose 11*v - 342 = 395. Let t = v + 280. Is 12 a factor of t?
False
Suppose 0 = 7*d - 8*d + 501. Let k = d + 63. Does 47 divide k/(-9)*(-2 + 2/4)?
True
Let z = -58 - -45. Is 26 a factor of (-47)/(((-52)/(-24))/z)?
False
Let j(t) be the second derivative of -t**3/3 - 6*t**2 - 7*t. Let h be j(-7). Suppose -10 = -g + h. Is g a multiple of 3?
True
Let k be (92/8)/(6/216). Let c = k - 180. Is 9 a factor of c?
True
Suppose -3*j + j = x, -j = 1. Suppose x*s + t - 2 = 4*s, 21 = 5*s + 4*t. Is 10 a factor of (198/(-45))/(s/(-25))?
True
Suppose b = 3*v + 2*v - 42, 5*v - 64 = 2*b. Let a be ((-312)/10)/((-10)/25). Let f = a - b. Is f a multiple of 22?
False
Let a(o) = -2*o**2 + 6*o + 14. Let g be a(6). Is 24 a factor of 1/(-2) + (-6875)/g?
True
Is ((((-182871)/18)/13)/(-6))/((-2)/(-40)) a multiple of 17?
False
Let x(l) be the second derivative of -l**5/20 - 13*l**4/12 + 5*l**3/3 - 10*l**2 + 80*l. Is x(-14) a multiple of 4?
True
Is 2978 + 1/3*(-12)/20*-35 a multiple of 15?
True
Let v(c) = 3*c**3 - 3*c**2 + 10*c - 19. Let j be v(7). Suppose q = 5*n + 221, -3*n - 194 = -5*q + j. Is q a multiple of 17?
False
Suppose 0*t = -3*t + 4*d - 118, d = 2*t + 77. Let f(y) = -y**2 + 8*y - 4. Let q be f(7). Is (t/q)/((-32)/48) a multiple of 2?
False
Let s(x) = 2*x + 15. Let f be 5/3 - (-649)/(-33). Let r be (-8)/(-72) - 196/f. Does 5 divide s(r)?
False
Let x(k) = 71*k**2 - 2270*k - 21. Is 28 a factor of x(37)?
True
Suppose -20*k + 2*k = -108. Suppose k*z = 1382 - 374. Is 12 a factor of z?
True
Let c(z) = -5*z**3 - 5*z + 8. Let j(o) = -2*o**3 - 2*o + 3. Let s(d) = -3*c(d) + 8*j(d). Let v be s(-3). Let n = v - 22. Is 8 a factor of n?
True
Suppose 0 = 107*x - 61665 + 3992. Is x a multiple of 49?
True
Let d be (0 + (-747)/(-18))*(-76)/2. Let z = 2259 + d. Is 22 a factor of z?
True
Suppose -226 = -2*h + 4*f, 9*f - 2 = 11*f. Does 34 divide h/2*5*(-10)/(-25)?
False
Let b = 2332 + 6858. Is b a multiple of 119?
False
Let b(f) = 2*f**2 - 9*f - 17. Let r be b(6). Let x be ((-88)/(-24))/(r/(-3)). Let k = x + 47. Does 3 divide k?
True
Let w = -104 - -187. Let l = w + -49. Let n = l + 86. Is n a multiple of 24?
True
Suppose 277*m - 24738 = 184*m. Is m a multiple of 16?
False
Let w be (36/(-10))/(44/(-2530)). Suppose 3*u = -5*z + 625 + 376, z + 4*u = w. Is 9 a factor of z?
False
Let n be (722/(-57))/(2/6). Does 37 divide (95/n)/(-1*(-3)/(-222))?
True
Let q(v) = -v**2 - 26*v + 229. Let f be q(-31). Suppose f*o = 63*o + 484. Does 22 divide o?
True
Let s = -75 + -6. Let a(t) = 24*t + 2. Let i be a(-2). Let f = i - s. Is 6 a factor of f?
False
Let p = -17156 - -30836. Is 180 a factor of p?
True
Suppose 6*f = -s + 11*f + 5892, -5*f = 3*s - 17596. Is s a multiple of 16?
True
Suppose 0 = -41*h + 19*h + 9*h + 85137. Does 177 divide h?
True
Let q be (0 + -4 + 6)/1. Suppose 0*x + 3 = -x - 3*s, q*s = -5*x + 11. Suppose 8*v - x*v = -3*b + 59, -b = -v - 25. Does 16 divide b?
False
Let d(l) = 304*l**2 - 1659*l + 8267. Is d(5) a multiple of 34?
False
Suppose -2*r - 4*d = -9588, -18*r - 3*d + 4790 = -17*r. Is r a multiple of 40?
False
