
Let q(h) be the second derivative of -h**4/12 + h**3/2 - 20*h. Let w be q(0). Suppose w = 3*y - 141 - 132. Does 13 divide y?
True
Suppose -2*j = 2*g - 1272, -3196 = 6*j - 11*j + 3*g. Suppose 14*b - 2666 - j = 0. Is 4 a factor of b?
True
Let n(v) = -5*v**2 + 15*v + 32. Let q(j) = -j**2 + 4*j + 8. Let d(c) = -2*n(c) + 9*q(c). Let m be d(-4). Suppose m = -2*g - 8*g + 720. Does 12 divide g?
True
Let k = -21342 - -28941. Is 5 a factor of k?
False
Let n(m) = m**3 - 15*m**2 + 52*m + 6. Suppose 5*o + 87 = 5*c + 7, 2*c + 4*o = 14. Is n(c) a multiple of 43?
True
Let d(b) = -b**2 + 42*b + 58. Let u = 507 + -482. Is d(u) a multiple of 21?
True
Let o = 632 + 564. Let a = o + -586. Does 14 divide 9/(45/a) - -4?
True
Let c = -3777 + 801. Does 28 divide (c/(-144))/((-1)/(-12))?
False
Let r = 180 - 175. Suppose r*u - 620 = 7*g - 10*g, -5*u - 2*g + 625 = 0. Does 7 divide u?
False
Let k = 12723 + -8795. Does 87 divide k?
False
Suppose 4*j - 9340 = 426*b - 430*b, -12 = -2*b. Does 137 divide j?
True
Suppose 357 = 8*s - 683. Suppose -24 = s*g - 134*g. Does 3 divide g?
True
Let z = 87 + -85. Suppose 0 = g - z. Suppose 5*k = -g*f + 13, 2*f - 5*k = 6*f - 41. Is f a multiple of 2?
True
Let z(u) = -u**3 - 51*u**2 - 96*u - 136. Does 68 divide z(-51)?
True
Suppose 0 = h - 2*o + 30, -4*o - 44 = 3*h - h. Let g = h - 9. Let m = g - -132. Does 31 divide m?
False
Let m be (-8)/(-12) - (0 - 29/(-3)). Let c be m/15 + 1343/5. Suppose 0 = -4*n - 3*t + 396, -3*n + c = 3*t - 8*t. Is n a multiple of 16?
True
Let v be (-70)/105*(-1)/(2/30). Suppose 0 = v*n - 66*n + 49616. Is 5 a factor of n?
False
Suppose 5*u - 6*u + 3*y = 0, -3*y = -4*u - 27. Is -1 + 4854/42 - u/21 a multiple of 15?
False
Let u be -80*((-448)/(-10))/8. Let r = u - -1288. Is r a multiple of 42?
True
Let w be 12/9*(-3)/(-2). Suppose 4*p - 2*t = -20, -w*p - 4*t + 8 + 2 = 0. Does 4 divide (p/2)/3*-24?
True
Is 5 a factor of (-102456)/(-12) - (-25 - -17)?
False
Let s be 1 - ((1 - 0) + -4). Let l = s + 1. Suppose -d - 847 = -l*n - 327, -n = 5*d - 104. Is n a multiple of 13?
True
Suppose 2 = -4*u - 2, 0 = h + 3*u + 1. Suppose h*r - 66 + 26 = 0. Does 20 divide r?
True
Let s = 78 + 7. Let n be (-10)/s + 416/68. Suppose 0 = n*x - x - 120. Is x a multiple of 3?
True
Suppose 88*c - 102887 = 245420 - 52011. Does 11 divide c?
False
Let u(m) = 2*m**2 + 17*m + 68. Let b(n) = -2*n**2 - 20*n - 66. Let z(d) = 2*b(d) + 3*u(d). Is 12 a factor of z(-16)?
True
Let h = -18032 - -26546. Suppose 32*u + h = 38*u. Is 19 a factor of u?
False
Let d = -738 - -707. Let w(m) = -32*m + 147. Does 64 divide w(d)?
False
Suppose -4*t - 3*v + 177859 + 49674 = 0, -t + 56884 = v. Is t a multiple of 308?
False
Let j be 2/8 + 340/(-80). Let l be ((-4 - -9) + 43)*(-6)/j. Let w = l - 39. Is 6 a factor of w?
False
Suppose 6 = 5*a - 4, 3*d + 2*a = -128. Suppose 4*l = -t + 164, -4*l + 348 = 3*t - t. Let k = t + d. Is 52 a factor of k?
False
Let o(i) = i**2 + 10*i - 3. Let w be o(-11). Suppose 0*d + w = 4*d. Is 19 a factor of (d - 1)/(-1) - -68?
False
Let w(s) = s**3 - 18*s**2 - 24*s + 93. Let a be w(19). Is 60 a factor of (156/(-9))/(-2*a/(-180))?
True
Let y = -57 + 57. Suppose 2*x - 5*c + 23 = -0, y = -x - 4*c + 21. Does 16 divide (-1234)/(-10) + (x - 7/5)?
False
Let f be 3/10*-5*584/(-6). Suppose -35*s + 34*s = -f. Does 7 divide s?
False
Let f(z) = -15 + 24 + 4*z - 2*z**2 - 5*z**3 + 5*z**2 - 10. Let v be f(-4). Suppose 5*i - v = -56. Is i a multiple of 13?
False
Suppose 2*i + m = 4*m - 408, -3*m + 822 = -4*i. Let n = i - -322. Let f = -65 + n. Is f a multiple of 7?
False
Suppose -6*d + 53145 = -3*v, -3*d - 2*v = -1526 - 25022. Does 19 divide d?
True
Suppose 4*h - 21 = 27. Let i be -2*3/h*-46. Let c = 42 - i. Does 9 divide c?
False
Let l = -1623 + 2228. Is 14 a factor of l?
False
Suppose 0 = -2*h + 5*h - 0*h. Suppose -5*q + 13*q + 528 = h. Let p = -41 - q. Does 5 divide p?
True
Let h be (4/12)/(8/(-6))*-4. Let m(o) = -o + 4. Let r be m(h). Suppose -3*f = 2*q - 224, -2*q + r*q = -5*f + 385. Does 23 divide f?
False
Let w = -653 - -1328. Suppose 19*d + w = 24*d. Is 15 a factor of d?
True
Let l be ((-183)/6)/((-15)/60). Suppose 0 = -d + 270 - l. Does 4 divide d?
True
Suppose 0 = -5*l + h + 9, 2*h + 8 = 2*l + 6. Suppose -l*m - 11 - 3 = -4*a, 0 = 3*a - 5*m - 21. Is (-1)/a - 362/(-4) a multiple of 18?
True
Let s = 110743 - 66941. Is s a multiple of 109?
False
Suppose 0 = 4*a + m - 13, 4*m + 1 = 4*a - 27. Suppose 0 = 5*n + a*i - 451, 0 = n - 0*i - i - 83. Let q = -45 + n. Is q a multiple of 16?
False
Let g = 14 - -84. Suppose -3*c - 50*r + 57 = -51*r, 5*c = r + 93. Let b = g + c. Is b a multiple of 22?
False
Does 47 divide (0 - 4)/(4 + 11820/(-2950))?
False
Let r = 177 + -117. Let b = 18 + -6. Suppose -b*j + r = -7*j. Is j a multiple of 4?
True
Suppose -j - 368 = -4*k - 2*j, 3*k - 276 = 3*j. Let c = k - -9. Is 101 a factor of c?
True
Let w(b) = -1080*b - 2079. Is 31 a factor of w(-12)?
True
Does 6 divide (15960/(-160))/(((-4)/(-80))/(2/(-5)))?
True
Suppose -5148226 - 2096074 = -316*y. Is 35 a factor of y?
True
Suppose 12*b - 369 - 267 = 0. Let h(n) = n**2 + n + 75. Let g be h(0). Let w = g - b. Does 11 divide w?
True
Let w(h) = -h + 9. Let g be w(0). Suppose -8*v + 7 + g = 0. Suppose x = -v*c + 3*c - 21, -5*x - 59 = -3*c. Is 8 a factor of c?
False
Let k(g) = -g**2 - 23*g + 18. Let f be k(-24). Does 10 divide 73 + 8 + -2 + f?
False
Let p be (-3)/(0/1 - 1). Suppose 2*q + 728 = 4*k + 6*q, p*q + 894 = 5*k. Does 12 divide k?
True
Let s = -1121 + 658. Let l = 663 + s. Is l a multiple of 74?
False
Suppose 0 = 2*j - a - 178, 0*j + 5*a + 445 = 5*j. Suppose 2*z = z + j. Suppose 47 = 2*x + 3*w, 20 = 4*x + w - z. Is x a multiple of 28?
True
Let k(g) = -g**3 + 2*g**2 + 3*g + 9. Let h be k(0). Is 388*15/(-45)*h/(-1) a multiple of 85?
False
Let m(n) = 9*n**3 + 17*n**2 - 90*n + 12. Is m(6) a multiple of 16?
False
Suppose -4*k + 19212 = -4*z, 3*k - 23*z + 24*z - 14385 = 0. Does 41 divide k?
True
Let l(q) = -350*q + 12478. Does 39 divide l(8)?
False
Let u(g) = 2*g**3 - 8*g**2 - 5*g - 84. Is 33 a factor of u(10)?
False
Suppose -1098*a - 5*q + 32378 = -1096*a, 0 = 4*a + 2*q - 64820. Does 34 divide a?
False
Suppose 12*f = 5 + 79. Suppose 0 = 3*g - f*g - 8. Is 28 a factor of (54/45)/(g/(-235))?
False
Suppose -1643 - 1496 = 43*h. Let i = 25 - -133. Let y = i + h. Does 17 divide y?
True
Let l = -11540 - -12403. Is l a multiple of 2?
False
Suppose -594*g + 6466 = -586*g + 210. Does 17 divide g?
True
Let i(g) = -7*g**2 + 3*g - 67. Let a be i(-8). Let r = a - -911. Does 31 divide r?
True
Suppose -o + 2*o = x + 7, o + 5 = -3*x. Suppose -o*b - 2*b - 36 = 0. Is (-393)/(-6) + (-3)/b a multiple of 11?
True
Let t = -27 + 30. Suppose -5*p - 4*n = -368, 5*p - n = -t*n + 364. Does 12 divide p?
True
Let l = -80 + 83. Suppose 2*b = -l*m + 636, 2*m - 3*b = 108 + 329. Let q = m + -74. Does 34 divide q?
False
Suppose 0 = 3*r - 12, -53*k = -49*k + 5*r - 86812. Does 230 divide k?
False
Let x = -176 - -801. Is 33 a factor of x?
False
Suppose -5*i - 5*y = -34900, -i + y + y + 6998 = 0. Is 90 a factor of i?
False
Suppose -8*o - 24 = -11*o. Let c be (-51)/((-4)/(o/3)). Let p = -32 + c. Is p even?
True
Let o(q) be the first derivative of -q**4/4 - 2*q**3/3 - q**2/2 + 126*q + 11. Is o(0) a multiple of 21?
True
Let d(r) = -450*r - 206. Is d(-7) a multiple of 184?
True
Suppose 16*c - 22*c = -3900. Suppose -4*j + c = 2*s, 5*s = 4*j + 1784 - 131. Is 10 a factor of s?
False
Suppose -4*f - 1 = -x + 3, 0 = x + 4*f - 44. Let u(q) = -2*q**2 + 80*q - 20. Is u(x) a multiple of 34?
True
Let i be (-376)/10*(-1610)/28 + 2. Suppose f = -b - f + 738, -3*b = -4*f - i. Is 14 a factor of b?
True
Let d = -3409 + 6979. Is d a multiple of 128?
False
Suppose -13*w = 2*w - 90. Suppose 187 = w*o - 311. Does 7 divide o?
False
Suppose -40 - 14 = 6*i. Let h(k) = k**2 + 10*k - 9. Let x be h(i). Is 13 a factor of (-1402)/(-9) + (-4)/x?
True
Suppose 105 = 6*t + 1845. Let q = t - -355. Is q even?
False
Suppose -o + 4*b + 212 = 0, o - 4*b - 200 = -3*b. Let w = o - -90. Let j = w - 202. Is j a multiple of 14?
True
Let t(y) = y**3 + 8*y**2 - y - 1. Let m be t(-8). Suppose 2*i + 3 = m. Suppose -2*l + 148 = i*l - 4*x, -3*l = -5*x - 105. Does 40 divide l?
True
Suppose -1004*m + 1215 = -999*m. Is 92 a factor of m?
False
Let z(o) be the third derivative