. Let r = 17 + -4. Let s = r - 1. Is 17 a factor of i(s)?
True
Let d(f) be the second derivative of -f**4/3 - 7*f**3/6 + 11*f**2/2 + 4*f. Let s be d(7). Does 13 divide (s/15)/((-12)/80)?
True
Suppose 0 = -i + 1, -k - i + 3*i = -1087. Suppose 5*r + 2*w + 523 = 1624, -2*w - k = -5*r. Does 15 divide r?
False
Let q(u) be the third derivative of u**5/20 - u**4/4 + u**3 - u**2. Let z be q(3). Suppose -l + 0 = -z. Is 15 a factor of l?
True
Let k = 46 + -20. Let z = 37 - k. Is 4 a factor of z?
False
Let k = 273 - -721. Is 7 a factor of k?
True
Let z be (-1)/3 - 4740/(-45). Is (-7)/(z/6)*-65 a multiple of 4?
False
Let g = 1909 - 664. Is 9 a factor of g?
False
Suppose 0*i + 238 = -2*u + i, 0 = -5*u + i - 595. Let j = u - -205. Is j a multiple of 20?
False
Let h be -19 + 12 - (1 + -1). Let f(s) = -s**3 - 7*s**2 - 11*s + 13. Is f(h) a multiple of 15?
True
Let f(l) be the first derivative of -l**4/4 + 2*l**3 - l**2 + 6*l - 8. Does 8 divide f(4)?
False
Let d = -12 - -15. Let s(l) = 3*l**2 + 2*l - 2. Does 8 divide s(d)?
False
Suppose 15*w - 340 = 10*w. Let u be (-102)/(-14) - 2/7. Suppose -5*c - w = -u*c. Is c a multiple of 10?
False
Suppose -4*h + 42 = -6*h. Let d = h + 32. Is d a multiple of 2?
False
Let b = -290 - -362. Is 5 a factor of b?
False
Let l(j) = -117*j. Let w be l(-1). Let p(a) = -3*a**2 + 21*a + 7. Let f be p(7). Suppose -f*b - w = -10*b. Is 13 a factor of b?
True
Let v(p) = -6*p - p**2 - 3 + 7*p**2 + 6 - 7*p**2. Let b be v(-7). Is 25 - (-1 - b/(-2)) a multiple of 15?
False
Suppose -6*b - 333 = -3*b. Is (-8 - -24)*-3*b/18 a multiple of 42?
False
Suppose p + 14 = -0*p. Does 6 divide 62 - (22/10 + p/70)?
True
Let j be (126/35)/((-4)/(-10)). Suppose 0*s - j = -3*s. Suppose -s*x = 4*v - 239, -v - 4*v = 3*x - 241. Is 11 a factor of x?
True
Let o = 40 + -37. Suppose -r + 36 = o*r. Is 2 a factor of r?
False
Let d = 4361 + 996. Is d a multiple of 86?
False
Let t = -26 - -26. Suppose -5*w + t*w = -375. Does 15 divide w?
True
Let z(t) = 2*t**3 - 2*t**2 + 6*t + 55. Is 88 a factor of z(10)?
False
Let n(x) = x**3 - 3*x**2 + 5. Let v be n(3). Suppose -v*o + 295 = 4*z, -2*o - 90 = -z - 13. Is z a multiple of 15?
True
Let t(m) = 7 - 4*m**2 - 23 + 5*m**2 - 13*m. Let u be t(13). Let g = 44 + u. Is g a multiple of 28?
True
Does 21 divide (-114)/513 - (-6430)/18?
True
Suppose -8360 = -592*q + 581*q. Does 5 divide q?
True
Let h be (-2567)/(-5) + 24/40. Let q be h/10 - (-10)/(-25). Suppose 5*t + 2 - q = -3*m, 0 = 3*t + 3*m - 33. Does 3 divide t?
False
Let g be -1 + 3 - 3/(3/2). Suppose -3*j = 3, -3*x + 3*j + 324 + 408 = g. Does 43 divide x?
False
Suppose -800 + 200 = 8*k. Is 6 a factor of (90/k)/(-1 - 77/(-80))?
False
Does 30 divide (-637)/(-14)*2*2 + -2?
True
Suppose -w + 2 = o, o = 6*o + w - 26. Suppose o*a - 4*a = 152. Is 19 a factor of a?
True
Let c be 0/2 - (-43 - 1). Let t = c + -13. Let l = t - 18. Does 13 divide l?
True
Suppose 2*h = 6 + 2. Is 20 a factor of (-8)/(h - (-22)/(-5))?
True
Let x be (-1)/3 + (-664)/(-12). Does 21 divide x + (3 - 3)*-1?
False
Let i(h) = h**3 + 6*h**2 + h + 1. Suppose -8*f + 4*f = 24. Let b be i(f). Is 2 a factor of (-6)/10 - 33/b?
True
Suppose m - 726 = -q, -5*m - 305 = -4*q - 3908. Is 9 a factor of m?
False
Let h(w) = 49*w - 29. Does 24 divide h(5)?
True
Let d = 11 + -13. Let o be ((-4)/2 - d) + 34. Does 7 divide o - 2*(-1)/(-2)?
False
Let m(w) = -w**2 + 1. Let v be m(-1). Suppose -2*t = -v*t + 6. Does 10 divide ((-77)/(-21))/((-1)/t)?
False
Let r(z) = -7*z + 3. Let a be r(0). Suppose 5*m - 230 = -5*w, 136 - 3 = a*w - 2*m. Is w a multiple of 9?
True
Suppose 0*h + 4*h + 156 = n, 0 = 5*n + 3*h - 780. Is 13 a factor of (-1 - 0)/((-6)/n)?
True
Let u = 82 + -87. Does 4 divide ((-6)/2 + 5)/(u/(-80))?
True
Suppose 5 = -q - r + 405, 0 = -5*q + r + 2030. Is q a multiple of 45?
True
Let r(y) = y**2 - 5*y + 2. Let j be r(5). Suppose -j*v = -7*v + 5. Is v/(-5) - 1210/(-50) a multiple of 24?
True
Suppose 7*o + 1832 = 15*o. Is 11 a factor of o?
False
Suppose -44 + 210 = o + 2*w, w = 4*o - 619. Is o a multiple of 13?
True
Let c(m) = -5*m + 5 - 14*m - 4 + 4. Let y be c(-13). Suppose -9*j = -y - 243. Does 11 divide j?
True
Let l = -29 + 4. Suppose 3*y = t + 8*y - 51, 31 = t - 5*y. Let i = t + l. Is i a multiple of 8?
True
Suppose 13*v = -20*v + 10230. Is 31 a factor of v?
True
Let x(v) = 6*v + 54. Is 12 a factor of x(21)?
True
Suppose -1341 - 3261 = -6*k. Is k a multiple of 59?
True
Let b = 16 + -12. Suppose -b*d + d - 9 = n, n = 5*d - 1. Is ((-360)/(-27))/((-2)/n) a multiple of 20?
True
Let v(k) = 24*k - 14. Let j be v(-4). Let x = 135 - j. Is 34 a factor of x?
False
Is 10 a factor of (-1)/(-5) + (-17)/((-255)/3042)?
False
Let w be -10*((-4)/8 + 3 - 3). Let x(a) = 2*a**3 - 8*a**2 + a + 12. Is x(w) a multiple of 47?
False
Let r(s) = -8*s - 5. Suppose 3*m = 4*i - 50, -29 = 3*m - i + 6. Does 7 divide r(m)?
False
Let q = -21 + 25. Suppose -q - 22 = -2*b. Suppose i - 13 = b. Is i a multiple of 26?
True
Suppose -l - 5*x + 14 = -1, 0 = 3*l + x - 3. Suppose -9*v + 381 + 267 = l. Does 11 divide v?
False
Does 47 divide (853/(-2))/((-57)/114)?
False
Suppose 0*h + h - 138 = -4*d, -6 = 2*d. Is h a multiple of 10?
True
Let h(q) = 16*q - 24. Let c be (-2*21/6)/(2/(-2)). Does 11 divide h(c)?
True
Does 13 divide (-15984)/(-176) - (-10)/55?
True
Is 79 a factor of -5 - (-55)/10 - 3972/(-8)?
False
Let j(s) = 4*s - 5. Let f be j(5). Suppose -3*x = a - 6, -2*x + 21 = -0*x - 5*a. Suppose 0 = -0*y - x*y + f. Is y a multiple of 5?
True
Let m = -817 + 526. Let b = m + 551. Does 52 divide b?
True
Let i(f) = f**2 - 25*f + 96. Is i(27) a multiple of 6?
True
Let v(t) = -t**3 - t**2 - 3*t + 62. Is 2 a factor of v(0)?
True
Let b(q) = 6*q + 0*q**2 + q + 9*q**2 - q**3 - 2*q - 3. Is 9 a factor of b(5)?
False
Let p be (11/(-33))/(1/291). Does 23 divide (p - (8 + -4))*-1?
False
Let n(g) = 5*g**2 + 9*g - 1. Let j be n(-6). Suppose 2*b - j = 3*l - 341, -3*b = 5*l - 360. Suppose 7*z - 5*z - l = 0. Is 18 a factor of z?
True
Suppose -2*s - 5 = 1. Is (139 - 2) + (-4 - s) a multiple of 10?
False
Let p(t) = 28*t. Let v be p(1). Let q be (-12)/(0 + 3)*-2. Let i = v - q. Does 12 divide i?
False
Let w = 111 + 253. Does 20 divide w?
False
Suppose 3*m + 21 = d, 3*d = -2*d + 3*m + 45. Let h = 42 - d. Is h a multiple of 18?
True
Suppose s - 85 = -4*m, 5*s = -m + 61 - 16. Does 2 divide m?
True
Let a be (4/(-6))/((-2)/(-24)). Is (-336)/a + (-1 + 0 - 1) a multiple of 32?
False
Let d(q) = -q**2 - q - 1. Let t be d(0). Is ((-13)/(39/30))/(t/5) a multiple of 10?
True
Let w = 40 + -18. Let u be 4/w - 10/55. Suppose u = -z, 5*z - 32 = -2*x + x. Is x a multiple of 19?
False
Suppose 5*m - 1675 = 320. Suppose m = 4*a + 3*a. Is a a multiple of 19?
True
Let l(x) = 12*x**2 - 4*x + 3. Let p(k) = -k**2. Let r(i) = l(i) + 3*p(i). Suppose -18 = -297*v + 291*v. Is 24 a factor of r(v)?
True
Suppose 328*c - 334*c + 20088 = 0. Is c a multiple of 49?
False
Suppose -18 = -13*i + 4*i. Suppose -4*t + k + 375 = -i*k, 492 = 5*t + 4*k. Is t a multiple of 12?
True
Let p = -172 - -333. Suppose 2*w - 245 - p = 0. Is 9 a factor of w?
False
Let v = -92 + 107. Does 8 divide v?
False
Suppose 6*i + 256 - 982 = 0. Is i a multiple of 4?
False
Suppose d - m + 19 = 6, -4*m - 36 = 4*d. Let b = 20 - d. Is b a multiple of 17?
False
Let t = -417 + 189. Let u = t + 419. Is u/9 + (-8)/36 a multiple of 7?
True
Let x be 322/(-3) - 14/21. Let f = x - -173. Is 13 a factor of f?
True
Let q = 633 + -268. Suppose 0 = -4*x + 99 + q. Does 13 divide x?
False
Is 5 a factor of ((-6)/(-4))/((-36)/(-456))?
False
Let a be (3/(-6))/((-1)/8). Let k be 22 + 1 + a + -3. Suppose p - k = 69. Is p a multiple of 25?
False
Suppose 0*s + 873 = 3*g + 3*s, -5*s + 10 = 0. Is g even?
False
Suppose -2*i - 12 - 36 = 0. Let c = i + 54. Does 15 divide c?
True
Let q(n) = 2*n + 8*n**2 + 2 + 4*n - 6*n**2. Let a be q(7). Is 4/(-14) - a/(-7) a multiple of 15?
False
Let r = -15 + 18. Suppose -r*u - 125 = -5*z, -5*u + 7 = 32. Is z a multiple of 11?
True
Let p(f) = -f**3 - 9*f**2 - 9*f + 4. Let v = -10 - -4. Let z be v + (-4 - (-2 + 0)). Is p(z) a multiple of 6?
True
Let u(i) = -i + 16. Suppose 2*t + 2*t = -8. Let v = 5 - t. Is 9 a factor of u(v)?
True
Suppose 3*y = 2*u + 436, 5*u + 716 = 5*y + 7*u. Is 8 a factor of y?
True
Suppose 3*a - 212 = -32. Is -33*a/(-36)*8/5 a multipl