 17?
True
Let x(p) = 8*p**2 + 22*p + 5. Let o be x(-5). Let w = o + -92. Does 33 divide 1/(w/20*(-30)/(-756))?
False
Suppose -263*r - 12 = -251*r. Is r/(((-27)/(-8406))/(-3)) a multiple of 14?
False
Suppose -a - 780 = -3*s - 2*s, 0 = s - 3*a - 156. Suppose 0 = -6*d - 20*d + s. Is d a multiple of 6?
True
Let g = -1290 + 1534. Suppose w - 448 = 5*w. Let s = w + g. Does 12 divide s?
True
Suppose -6*s + 9*s = -84. Let p be (14/6)/7 - s/6. Suppose -5*t = -2*r - 410, 11 = p*r - 14. Is t a multiple of 21?
True
Let o = -5543 - -6107. Does 3 divide o?
True
Let y(u) = 784*u**2 + 4*u - 3. Let d be y(1). Suppose 4*b + d = 3*n - b, 5*n - 5*b = 1305. Is 21 a factor of n?
False
Let r(m) = -5633*m - 1293. Is 20 a factor of r(-5)?
False
Let h be (6/(-9))/((-2)/12). Let t(y) = 10*y - 34. Let s be t(h). Suppose 5*k = -5*l + 1360, -2*k - 1088 = -s*k - 5*l. Is k a multiple of 17?
True
Let z = 45 + -42. Suppose 2*g - 119 = 5*t, 5*g - z*g - 3*t - 117 = 0. Is g a multiple of 14?
False
Let u = -8106 - -16165. Is u a multiple of 10?
False
Suppose 6 = 4*h - 2. Let f(l) = 4*l**2 + 1 + 62*l**3 + 84*l**3 + 2*l - 3*l - 2*l - 127*l**3. Is f(h) a multiple of 33?
False
Let z be 2850/4 - (-1)/2. Let p = 3608 + -3607. Suppose 2*j + p = -5, -4*h + z = 5*j. Does 8 divide h?
False
Suppose 2*d + 69*d - 1651636 = 10*d. Is d a multiple of 28?
True
Suppose -k + 5*k - 72 = 0. Let v = k + 13. Let s = v - 8. Is s even?
False
Let d be -3 - -3 - -8 - -2. Suppose -4*z = -d*z + 30. Suppose 2*m - 227 = -z*x + 43, -2*x = 2*m - 108. Is 11 a factor of x?
False
Suppose 2*r + 5*t - 4 - 17 = 0, -t = 3*r + 1. Does 21 divide (-11)/(462/(-16074)) - r/7?
False
Suppose -20*b + 4*r = -16*b - 1416, -1410 = -4*b + 3*r. Does 2 divide b?
True
Suppose -5*f - 2290 = 2*u, -6*u + 2*u = -2*f - 892. Let p = f - -704. Is p a multiple of 36?
False
Let m(g) = g**3 - 19*g**2 + 19*g - 14. Let f be m(18). Suppose y - f*z - 347 = -5*z, -5*y = -z - 1717. Is y a multiple of 17?
False
Let i be ((-20)/(-6) - 3) + (-22)/(-6). Suppose -i + 9 = g. Suppose -q + 164 = -4*f, -5*q + g*f = -56 - 749. Does 40 divide q?
True
Suppose -318 = -2*r + 4*n, -2*n = r + 2*r - 453. Suppose -2*o + 25 = -r. Does 15 divide o?
False
Is ((-114)/3 - 2)/(45/(-3780)) a multiple of 6?
True
Suppose 0 = 4*u - y - 39, -y - 24 = -u + 4*y. Suppose -u*r - 20 = -14*r. Suppose 5*j + 8*x = r*x + 230, 40 = j + 2*x. Is 10 a factor of j?
True
Let t = -27677 - -42822. Does 35 divide t?
False
Let p be -86*1/(-8)*(-4)/(-1). Let h = p + -46. Is (-3)/((4/(544/12))/h) a multiple of 51?
True
Let r be 224 + 8/(-24)*-3. Let b = 489 - r. Is b a multiple of 21?
False
Suppose 20*y - 17*y + 2*q - 64 = 0, 2*q - 86 = -4*y. Let i(b) = 3*b - 6*b + 48 + 2*b. Is 26 a factor of i(y)?
True
Suppose -2*v = 2*f - 1138, -20*f - 569 = -21*f + 5*v. Let n = f + 3. Does 26 divide n?
True
Let t(q) be the second derivative of -q**5/20 + q**4/12 - 2*q**3/3 + 7*q**2/2 - 23*q. Let o be t(2). Is (-3)/o - (-2481)/15 a multiple of 20?
False
Does 24 divide (459/4)/(5/(85280/123))?
True
Let i = -16450 + 35541. Does 28 divide i?
False
Let b(k) = -38*k**3 + 3*k**2 + 3*k. Let h be b(-1). Suppose -5*f + 2*g = -876, -f + h = -3*g - 145. Is 29 a factor of f?
True
Suppose 12*v - 5705 = -c + 9*v, -4*c - v = -22765. Suppose 5*s - 3*s - 2854 = 2*n, -4*s = 5*n - c. Is s a multiple of 15?
True
Let c(o) = -13*o**3 - 16*o**2 - 4*o - 10. Let l(f) = 16*f**3 + 17*f**2 + 4*f + 11. Let b(n) = -5*c(n) - 4*l(n). Is 47 a factor of b(-8)?
False
Let s = 6002 + 73. Is 81 a factor of s?
True
Let f(l) = -665*l - 2053. Does 155 divide f(-13)?
False
Let b be (-53050)/(-75)*(-3)/(-2). Suppose -2*c = 0, 4*p - c - b = 931. Suppose -p + 144 = -6*v. Is 24 a factor of v?
False
Suppose -3*a + 28877 = 2*w, -5*a + 19584 = 4*w - 28541. Is a a multiple of 13?
False
Suppose b = 7*b - 12. Suppose 3*h - 6*h = -12, 0 = -b*k + 4*h + 656. Suppose -26*l = -18*l - k. Is 7 a factor of l?
True
Let k = -7111 - -32591. Does 28 divide k?
True
Let c(g) = -g**2 - 18*g - 60. Let a be c(-6). Is 50 a factor of 579 - -5*6/a*2?
False
Let u(y) = -y - 1. Let o(k) = 29*k + 27. Let h(s) = o(s) + 5*u(s). Let m be h(6). Suppose 257 = 3*c - m. Is 15 a factor of c?
False
Suppose -143*l = -175*l + 408836 + 578300. Does 32 divide l?
True
Let g be (13/(-4))/((-2)/48*-3). Let n be g/(-91) - (-640)/14. Suppose 0 = -51*k + n*k + 230. Does 13 divide k?
False
Let k = 2153 - 1813. Is k a multiple of 85?
True
Let i(r) = -222*r**2 + r. Let j be i(-1). Let h be -159 + (-5 - (-8)/2) + 5. Let k = h - j. Is 16 a factor of k?
False
Suppose -14457 = -3*x - 3*b, -40*b = -x - 45*b + 4815. Does 26 divide x?
False
Suppose h - 126 = 8*h. Let b be 6/h - 448/6. Let l = -51 - b. Is 6 a factor of l?
True
Does 86 divide 79/(-237) + (9805/3)/1?
True
Let y(n) = 43*n - 13. Let j(w) = -29*w + 9. Let m(c) = -7*j(c) - 5*y(c). Let a(l) = l**3 - 4*l**2 + 7*l - 12. Let g be a(2). Is 15 a factor of m(g)?
False
Let l(i) = 2*i**2 + 8*i - 3. Let r be l(0). Is 7 a factor of 2/(2/r) + 0 + 199?
True
Let b(c) = -5*c**3 - 31*c**2 - 20*c - 68. Does 50 divide b(-13)?
False
Suppose 0 = -4*q - i + 8, 0*q = -4*q + 3*i + 24. Suppose -46 = -o - 25*g + 27*g, 5*o = -2*g + 206. Suppose -q*m - o + 126 = 0. Is 4 a factor of m?
True
Let v(n) = -7*n - 65. Let b(k) = 6*k + 66. Let q = -32 + 38. Let s(d) = q*b(d) + 5*v(d). Is s(-22) a multiple of 6?
False
Let u = 25983 + -6317. Does 135 divide u?
False
Let m = -479 - -3581. Is 70 a factor of m?
False
Let w be (-2 - -1) + (-4)/(-8)*6. Suppose 0 = j + 6*h - h - 209, w*j + 2*h = 394. Does 38 divide j?
False
Let z = 97 + -92. Suppose -t = 4*b - 22, 2*b + b = z*t + 5. Is 39 a factor of (-10 - t)/(4/(-78))?
True
Suppose -4*c + 966 + 497 = 5*x, x - 310 = 5*c. Let j = x - 165. Is j a multiple of 65?
True
Let m(i) = -i**3 + 13*i**2 - 27*i + 8. Let r be m(13). Let l = 460 + r. Is 9 a factor of l?
True
Let w = 87 + -92. Let a(m) = -9*m - 9. Does 2 divide a(w)?
True
Suppose 8*q = 30 - 6. Suppose -9*d + q = -4*d - 4*o, o - 6 = -d. Is -1 + d - (-50 - 4) a multiple of 7?
True
Let r be (9/(-2))/((-20)/40). Is 12 a factor of (-15)/25*(-10)/r*384?
False
Suppose 112*r = 606*r - 16939749 + 1273033. Is 157 a factor of r?
True
Let u = 21336 + -18162. Does 69 divide u?
True
Let l be -8 - (-370)/45 - (-13318)/9. Let d = l - 997. Is d a multiple of 25?
False
Let w(h) = 8*h + 8. Let k(p) = 9*p**2 + p - 1. Let u be k(1). Let a be u + 3 + -7 + 2. Does 16 divide w(a)?
True
Suppose 224 = 24*j - 23*j. Let t = 278 - j. Is t a multiple of 9?
True
Let h = 1090 - 3446. Is (-1)/6 - (-1 - h/(-24)) a multiple of 48?
False
Suppose 0 = 5*w - 4*h - 6174, -3*h = 34*w - 33*w - 1250. Does 185 divide w?
False
Suppose -26*h + 27*h = -642. Is 6 a factor of 39/(-156) - h/8?
False
Suppose 2*d - 54 = -4*w, -d = -2*d + 2*w + 35. Let z = 66 - d. Suppose -12 = -4*i, -h - 3*i = -z - 209. Is h a multiple of 25?
False
Let r(s) = 202*s**2 - 58*s - 65. Is 33 a factor of r(-4)?
True
Let q be (-16)/((-3492)/(-870) + -4). Let n = q + 1633. Is n a multiple of 8?
False
Let x(z) = 11*z - 11. Let y(c) = -c**2 + c - 1. Let d(h) = -x(h) + 6*y(h). Let u be d(1). Let l(w) = w**2 - 6*w - 22. Is l(u) a multiple of 6?
False
Let b(g) = -g**3 + g**2 + g - 1. Let z(s) = s**3 + 3*s**2 - 5*s - 2. Let d(o) = -3*b(o) + z(o). Is 18 a factor of d(4)?
False
Suppose 2*i = 2*h + 28, 3*i + 0*h = -4*h + 77. Suppose -6*m + i - 7 = 0. Let r(d) = 15*d**2 - 5*d + 7. Is 8 a factor of r(m)?
False
Suppose -8*q + 3*q + 8988 = 3*k, k + 2*q - 2998 = 0. Does 4 divide k?
False
Let o be 1120/15 + (-4)/(-12). Suppose 3*m + 2*m - o = 0. Let h(f) = 3*f - 10. Does 8 divide h(m)?
False
Suppose -3*r + 7*r - 768 = 0. Let w = r + -132. Is w a multiple of 12?
True
Let t(a) = -10*a + 35. Let y be t(5). Let s be -12*((-20)/50 + 64/y). Does 17 divide 0 + s + (1 - 6)?
True
Let u(g) = -g**3 + 49*g**2 - 99*g + 102. Is u(41) a multiple of 8?
False
Let t(a) = 300*a - 76. Does 7 divide t(8)?
True
Suppose -417 = -2*z - m, -22*m + 837 = 4*z - 21*m. Is 2 a factor of z?
True
Let y be ((-8)/9)/4 + (-194)/18. Let j(r) = -r**3 - 5*r**2 + 10*r + 20. Does 12 divide j(y)?
True
Suppose 3*g - 5*y = -258, -4*g - g - 4*y = 467. Let r = 113 + g. Does 8 divide ((r + 0)*-2)/(-2)?
False
Suppose 281287 = 16*l + 25390 - 19719. Is l a multiple of 18?
True
Is (-32)/20*42000/(-35) a multiple of 30?
True
Let j = 