 (6/(-3))/(-3 - (-196328)/65448)?
True
Let g(z) = -z**3 + 36*z**2 - 50*z + 63. Is g(25) a multiple of 8?
True
Suppose -5*n - 3*z + 13861 = 0, -4*n - 2020 + 13107 = 3*z. Does 15 divide n?
False
Let m = -457 - -1124. Is m a multiple of 3?
False
Let s = 88 - 71. Suppose s = 7*o - 389. Is 2 a factor of o?
True
Let s = 18277 + -12325. Does 16 divide s?
True
Let b be 23530/18 - (-3 + 232/72). Let a = b + -763. Does 8 divide a?
True
Suppose -11888 = -26*g + 10*g. Let o = g + -167. Is o a multiple of 16?
True
Suppose 172 = -15*s + 232. Let r(o) = -15*o**3 - o**2 + 1. Let z be r(3). Is 7 a factor of 6/s + z/(-14)?
False
Suppose -n = 5*w - 0*w - 20, 4*n + 3*w = 97. Suppose 8*x - 12*x + 3*y + 29 = 0, -48 = -3*x - 3*y. Suppose b - n = x. Is b a multiple of 13?
False
Does 28 divide 11640/4 - (-16)/(-120)*-5*3?
True
Suppose 0 = m - 3, 3*v = -5*m + 6237 - 723. Is 102 a factor of v?
False
Let h be (-5 + (-120)/(-4))*10. Let d = h + 344. Is d a multiple of 66?
True
Suppose 9*i = 11*i - 232. Suppose -8*a = -i - 420. Does 9 divide a?
False
Let m = -98 + 96. Is 1/(615/(-308) - m) a multiple of 9?
False
Let y(w) = w**3 - 10*w**2 + 7*w + 1. Let d be y(5). Let i = d + 113. Is 8 a factor of i?
True
Is 11 a factor of (-2386680)/(-140) + 112/49?
True
Let t(w) = 6*w**2 + 110*w + 75. Does 29 divide t(-27)?
True
Let w = -4 + 1899. Does 5 divide w?
True
Let r = -338 + -47. Let o = -261 - r. Is o a multiple of 10?
False
Let m(f) = -f**2 + 7*f + 174. Let g be m(17). Suppose 0 = -t, 2*s - g*t = 3*s - 441. Is 10 a factor of s?
False
Suppose -4*t = -3*q - 3*t - 5, 5*q + 15 = 5*t. Let r be q/(-3 - 122/(-41)). Does 20 divide r + ((-25)/5)/5?
True
Suppose 18*u = 76*u - 178988. Let o = u - 1784. Is 11 a factor of o?
False
Suppose 74*u + 8024 = 78*u. Suppose 0 = 9*l - 2098 - u. Does 51 divide l?
False
Suppose 2*b + 5*m = 920, 325 + 1483 = 4*b + 2*m. Is b a multiple of 5?
True
Suppose -356*u + 2730600 = -134*u. Does 75 divide u?
True
Let y = 10 - 6. Suppose 0 = -3*g - 0*g, -153 = -i + y*g. Does 17 divide i?
True
Suppose -4*w + 2*y + 6774 = 0, 4*w - 6771 = -0*w + 5*y. Is 14 a factor of w?
True
Let l = 65 - 69. Let o be 155*((-4)/(-40))/(l/(-16)). Suppose 2*x + 0*d = -3*d + 103, o = x - 2*d. Is x a multiple of 7?
True
Let s = 396 + -502. Let g = s + 304. Is g a multiple of 6?
True
Let d(c) be the first derivative of -c**4/4 - 3*c**3 - 7*c**2 + 7*c + 5. Let z be d(-7). Suppose z*u - 54 = u. Is 2 a factor of u?
False
Let i be (-20)/(-4) + -1 + -1. Let j(k) = k**2 + 4*k - 7. Let u be j(i). Is 35 a factor of ((-9)/(-2) - 2)*u?
True
Suppose -2*m - 302 = -2*r, 0 = m - 0*m - 2. Let f = -63 + r. Is 9 a factor of f?
True
Let u be (-5)/(-10) - 181/(-2). Let j = -142 + u. Is 8 a factor of (156/5)/(2 + j/30)?
True
Suppose 3*u + 13 = 7. Suppose -5*w - 8 = 2*j, -2*j + 0*w - 4*w - 6 = 0. Does 8 divide (1/u + j)/(2/156)?
False
Let k be (-35)/(-14) - ((-15)/10)/3. Suppose -g - 4*u = -25, -3*g - 5*u + 15 = -25. Does 23 divide 46/g*(k - -2)?
True
Let g(b) = -582*b - 1320. Does 3 divide g(-14)?
True
Let l be 56/252 - (-508)/(-18). Let j = 3 - 21. Let u = j - l. Is 2 a factor of u?
True
Let q be (-220 + -11)*(193 + 0). Does 6 divide ((-2)/(-8))/(-8 - q/5572)?
False
Suppose -10*x + y - 21677 = -13*x, -2*y + 14458 = 2*x. Is x a multiple of 43?
True
Let b be 30/9*(-3 - (-42)/4). Let x(i) = 27 - 40 + b + 27*i - 2*i. Is x(4) a multiple of 17?
False
Suppose 10*h - 4*h + 132 = 0. Let s = h + 22. Suppose 5*f = -x + 1200, 3*x + 240 = f - s*f. Does 48 divide f?
True
Let v(m) = -11*m - 7. Let h be v(-2). Suppose 2*k = 5*k - h. Suppose 0 = k*y + 3*r - 2*r - 104, y - 18 = -3*r. Is y a multiple of 4?
False
Let k(y) = 206*y - 1353. Let t be k(7). Suppose -3*r - 66 - 51 = 0. Let p = r + t. Is p a multiple of 25?
True
Suppose -89*v + 73*v - 16 = 0. Let i(m) = 646*m**2 + 9*m + 4. Does 34 divide i(v)?
False
Let b = -38 - -43. Suppose 5*x + 10*v = 5*v, b*v = -3*x - 8. Suppose -5*z - 110 = -2*w + 25, 4*z = -x. Is w a multiple of 5?
True
Suppose -35520 = -4*y - 3*b, -29*b = -5*y - 25*b + 44369. Is y a multiple of 11?
True
Suppose 0 = 2*h - 3*x + 8 - 4, 2*h = -x - 4. Let o(m) = -34*m - 3. Let z(u) = -u - 1. Let f(y) = o(y) - 5*z(y). Does 12 divide f(h)?
True
Let l(p) = 2*p**2 + 47*p + 79. Let z be l(-26). Suppose 8*b = -3*s + 4*b + 629, s - z = -b. Does 20 divide s?
False
Let p(w) = w**2 - 3*w - 24. Let h be p(0). Let v be (h/18)/(2/(-123)). Suppose 13*n = 12*n + v. Does 15 divide n?
False
Let w = -67307 + 95555. Is 107 a factor of w?
True
Let n(y) = 9*y**2 - 4*y - 51. Is n(-9) a multiple of 102?
True
Suppose -5*w + 3*t - 2808 = -7*w, w - 1404 = 5*t. Suppose 2*g + w = 5*d, -d + 0*d + 5*g + 290 = 0. Is d a multiple of 28?
True
Suppose -2711 = -9*u + 4597. Is u a multiple of 29?
True
Is 18*(2686560/(-54))/(-29) a multiple of 56?
False
Suppose -1205 = -88*i + 1259. Suppose -5*j - 5*u = 0, 2*j + 3*u = -1 - 4. Suppose -j*h + i = -92. Is 5 a factor of h?
False
Is 20 a factor of 17154 - (-246)/205*(-5)/(-1)?
True
Let c(l) = 8*l + 21. Let f be c(-3). Is (f/(-6))/((-6)/(-7092)) a multiple of 20?
False
Suppose r - 2 + 6 = -4*c, -5*c - 55 = -5*r. Suppose -r*w - 450 = 2*w. Let h = w - -64. Does 19 divide h?
True
Suppose 43*a = 44*a - 61. Suppose -11*r + 478 + a = 0. Is 7 a factor of r?
True
Let j be (-2*(-1)/2)/((-22)/(-660)). Suppose 2*z - 2*h - j = 0, -4*z + h + 61 = -2. Is 17 a factor of (2/5)/(z/680)?
True
Suppose 26344 - 5500 = 6*n. Suppose x - 19*x = -n. Is 7 a factor of (-3)/5 - x/(-5)?
False
Let b be (-1)/4 - 252/(-48). Is 22 a factor of (-19 - 212)/(((-45)/6)/b)?
True
Let p(k) = -436*k + 90. Let c be p(-8). Suppose 12*y - c = -98. Is y a multiple of 28?
False
Let b be 382*6/(24/4). Suppose 0 = -3*x - 9, 0 = -c - 2*x - 226 - 16. Let y = b + c. Is 11 a factor of y?
False
Let b(j) = j**3 + 27*j**2 - 7*j - 94. Is 12 a factor of b(-23)?
False
Let y(i) = -i**2 + 25*i - 26. Let b be y(25). Let h = b - -62. Is h even?
True
Suppose 0 = -16*l + 1916 + 292. Suppose 0 = 5*j - 4*o - 620, j + 3 = 3*o + l. Does 24 divide j?
True
Suppose 72 = -9*u + u. Let g(r) = r**3 + 10*r**2 + 2*r - 23. Is 20 a factor of g(u)?
True
Let b(v) be the first derivative of -v**2 + 2/3*v**3 + 13 - 9*v. Is b(6) a multiple of 10?
False
Let v(j) = 964*j + 566. Is 5 a factor of v(6)?
True
Suppose -5*q = 315*z - 317*z + 7058, -4*z - q + 14138 = 0. Is 34 a factor of z?
False
Suppose -4*l = 2*o - 36, -3*o + 54 = o - l. Is 10 a factor of (-8 + (-357)/o)/(2/(-44))?
False
Let f(p) = 303*p**3 + 15*p**2 - 6*p - 20. Is 50 a factor of f(5)?
True
Let m = 6439 - 4897. Is m a multiple of 6?
True
Let r = 7949 - 7124. Is 54 a factor of r?
False
Let s(v) = -v**2 + 10*v - 18. Let m be s(7). Suppose -12*b = -m*b - 27. Is 17 a factor of (1 - 4/b) + (-187)/(-3)?
False
Let v(u) = 6179*u - 493. Does 19 divide v(8)?
False
Suppose -79*y + 99 = -76*y. Suppose -5*l + 4*l = -y. Suppose 2*a = 4*b + 181 + l, -434 = -4*a + 2*b. Is 7 a factor of a?
False
Let m be ((-225)/12)/(15/80*-2). Suppose 40 - m = 2*w. Is 336*(78/(-18) - w) a multiple of 13?
False
Is (292077/(-36))/((3/12)/(-11 - -10)) a multiple of 109?
False
Let l(p) = -18*p + 4. Let z be l(1). Let k be 10/(-35) - 3000/z. Suppose k = 5*y + 2*n, -3*y = 2*y + n - 212. Is 14 a factor of y?
True
Let u(a) = -41*a**3 - 11*a - 3*a**2 + 25*a + 3 - 12 - 17*a. Is u(-3) a multiple of 45?
True
Suppose 5*n = 2*l - 860, 1527*n + 4 = 1526*n. Is 60 a factor of l?
True
Let z = -20 - 1. Let y = z - -26. Suppose -3*s - 5*l = -22 - y, 0 = s - l - 1. Is s even?
True
Let o(i) be the third derivative of i**5/60 - 3*i**4/8 + 11*i**3/6 + 4*i**2. Let f be o(9). Suppose -f = -p + 6. Does 2 divide p?
False
Let v(c) = -9*c + 63. Let z be v(5). Suppose 11*a = z*a - 3003. Is 13 a factor of a?
True
Suppose -8*b - 4*b + 1224 = 0. Suppose b = -z + 17. Let y = z + 94. Is y a multiple of 4?
False
Does 64 divide -112*(309/(-7) - -11)?
True
Let j(t) = t**3 + 35*t**2 - 3*t + 45. Suppose -2*n + 2*g - 64 - 14 = 0, -4*n - 128 = 3*g. Is j(n) a multiple of 24?
False
Let l be ((-6)/(-2) + -1)*(-4762)/(-4). Suppose 4*w + 1 = l. Is 17 a factor of w?
True
Does 8 divide 25/1 + 19266 + -22?
False
Suppose 0 = 3*y + 5*r - 0 - 32, 2*r = 3*y - 25. Suppose 5*g = 25, 2*s - 6*g + y*g - 2203 = 0. Is s a multiple of 39?
False
Let u(f) = 2*f**3 - 2*f - 17 - 5*f**2 + 2*f**2 + 3*f**3 + 12. Let h be u