0?
True
Let d(p) = -p**2 - 17*p + 10. Let k be d(-14). Suppose 43*l - 5*l = 1938. Suppose k*z - 56 = l*z. Does 14 divide z?
True
Does 9 divide ((-3510)/468)/((2/(-588))/1)?
True
Let y be 13*-5*88/(-40). Let m = 5 + y. Is m a multiple of 7?
False
Suppose -12 = -5*k - 2*a, 5*k + 3*a - 10 = 3. Suppose 5*z = -5*f - 130, k*f - 2*z = -2*f - 98. Is -1*14*(f/10 - 3) a multiple of 12?
False
Let u = -419 - -377. Let s = u + 224. Does 14 divide s?
True
Does 13 divide (-8484)/(-2) + (54 - 43)?
False
Let m(w) = 8*w + 91. Let d be m(6). Let f be (3 - 0)*(-89)/3. Let k = f + d. Does 25 divide k?
True
Suppose -4*b + 145 = -3*z, 4*z = b + 3*z - 37. Suppose -36*o = -b*o - 406. Is 43 a factor of o?
False
Let p(h) = h**2 - h - 12. Let k be p(6). Suppose -3*j + k + 618 = 0. Suppose -8*m + j = -108. Is m a multiple of 18?
False
Let c(n) = -10*n**3 - 3*n**2 + n + 2. Let d be c(3). Let o = d + 95. Let r = -65 - o. Is 11 a factor of r?
True
Suppose -37*c + 36*c + 1 = 0, -5*f + 11 = -4*c. Does 20 divide -1*9 - (f - 310)?
False
Suppose 34*m = 291*m - 563715 - 2604838. Is m a multiple of 45?
False
Let m = -77 + 76. Let x(y) = 38*y**2 + y. Let a be x(m). Let z = a + -11. Is 13 a factor of z?
True
Let z = 250 - 246. Suppose u + 2*u + 3*q - 804 = 0, -1104 = -4*u + z*q. Is u a multiple of 16?
True
Let w(v) = 26*v**3 - 7*v**2 + 4*v + 2. Let x be w(1). Suppose x*c - 43*c = -198. Is c a multiple of 8?
False
Let h = 82 - 66. Suppose -h*i = -19*i - 126. Let x = 137 + i. Does 14 divide x?
False
Let v be -10 - 0/(3 + -4). Let d(u) be the third derivative of -u**6/120 - 3*u**5/20 + u**4/8 - 10*u**3/3 - 2*u**2. Is 10 a factor of d(v)?
True
Let c(l) = 2*l**3 + 25*l**2 + 9*l - 24. Let m be c(-12). Let n(j) = j**3 - 13*j**2 + 14*j + 9. Does 10 divide n(m)?
False
Let p(x) = -125*x + 1. Let c be p(10). Let b = -819 - c. Suppose -4*q + b = 78. Is q a multiple of 44?
True
Suppose 0 = -4*y - 5*u + 134136, -448*y + u - 134104 = -452*y. Is y a multiple of 109?
False
Let k(u) = 4*u**2 + 2*u + 2. Let h be k(2). Suppose 9*f = 8*f + h. Suppose -f - 60 = -2*l. Does 7 divide l?
False
Let o be 1*(-5 - -8707 - -6). Suppose -2*l + o = 12*l. Does 32 divide l?
False
Suppose -65*b - 18*b + 25319 + 13442 = 0. Is b a multiple of 30?
False
Is (-189836)/(-36) - 44/(-88)*8/(-18) a multiple of 81?
False
Let r = 23939 + -11866. Is 79 a factor of r?
False
Is (4 - 0)*2 + 12052 a multiple of 18?
True
Suppose -2*v - 1352 = -2*p, 311 + 363 = p - 2*v. Is 3 a factor of p?
True
Suppose -k = -q + 14, -5*k + 2*q - 83 + 22 = 0. Let j(x) = 2*x - 16. Let y be j(k). Let m = y - -66. Does 7 divide m?
True
Is 3/(-33)*0 + (-26816)/(-4) a multiple of 31?
False
Let t(f) = -8*f + 32. Let g be t(4). Let b be (0/2 - g) + -39. Does 48 divide 4067/13 - (-6 + (-228)/b)?
False
Let p = 7 + -4. Suppose 2*l - 150 = 10. Suppose 0 = -i - p*u + 12, 2*i - 4*u + 16 - l = 0. Is 6 a factor of i?
True
Let r be 4831 + 8/10*(2 - 7). Suppose 12*m - 513 - r = 0. Is 32 a factor of m?
False
Let y(z) = -15*z**2 - 5*z + 1. Let p(d) = -d**2. Let r(j) = 6*p(j) - y(j). Suppose 3 = -4*c - 0*a - a, -c - 5*a + 23 = 0. Does 12 divide r(c)?
False
Suppose 2*s - 25 = 9. Suppose s*a = 4*x + 12*a - 1575, 0 = -5*a + 5. Does 13 divide x?
False
Let k = -1032 - -2028. Suppose -k = -8*m + 1764. Does 23 divide m?
True
Suppose -3*t = 5*x - 9352, -3*t = 4*x - 0*x - 7478. Does 21 divide x?
False
Let t(z) = 12*z + 832. Is 40 a factor of t(-16)?
True
Let x(y) be the third derivative of y**5/30 - y**4/2 - 11*y**3/6 - 6*y**2. Is x(9) a multiple of 11?
False
Suppose -21*t + 20*t + 38 = 0. Suppose 42*q - 5*f - 225 = t*q, 0 = 2*q + 5*f - 135. Does 30 divide q?
True
Suppose 43*f - 8177 - 63328 - 108493 = 0. Is f a multiple of 43?
False
Does 64 divide (78432/(-860))/((-9)/1320)?
True
Suppose 710*w - 693*w - 47152 = 62345. Is w a multiple of 19?
True
Let z = 20948 - 10420. Does 14 divide z?
True
Let v(l) = -4*l**3 + 11*l**2 + l + 34. Let b be v(-10). Suppose -b = -19*u + 13*u. Is 14 a factor of u?
True
Let c(m) = 2067*m - 6738. Is c(10) a multiple of 9?
True
Suppose 75*h + 38*h - 4392762 = 0. Does 33 divide h?
True
Let i(l) be the first derivative of 23*l**2/2 - 4*l + 16. Let p be i(3). Suppose 5*r - 4*r = p. Is r a multiple of 5?
True
Let h be ((-91)/78 - (-1)/6)*-7. Suppose -h*t + 996 = -12. Is t a multiple of 9?
True
Let b be ((-80)/24)/(-5) + (-32)/(-6). Is 8 a factor of (-6 + 28/b)/((-4)/1662)?
False
Let d(k) = -13*k**3 - 15*k - 91. Is 8 a factor of d(-5)?
False
Suppose 0 = -b + 2*b - 2*d + 2, 3*b + 1 = d. Suppose -k + 5*y + 26 = b, -k - 4*y - 15 = 4. Is 6 a factor of 146/k*(-11)/(-22)?
False
Is -1 + 5/5 - -654 a multiple of 46?
False
Suppose -5*z = n - 5, -4*n - 2*z + 15 + 5 = 0. Does 14 divide (n/(-30) - 0) + (-12981)/(-18)?
False
Let s = 645 - -122. Suppose -5*i = 557 - s. Is 5 a factor of i?
False
Let n(h) = -2279*h + 3636. Does 36 divide n(0)?
True
Suppose 168 = 14*y - 168. Suppose 5*m - y = 3*h + 565, -9 = 3*h. Is 58 a factor of m?
True
Let o = 209 + -205. Suppose -7177 = -5*u + 4*q, 3*u - 6*u + 4319 = o*q. Does 17 divide u?
False
Suppose 12*v - 1443464 = -31*v - 51*v. Is 15 a factor of v?
False
Suppose -7*g = -4*g + 12. Let i(k) = -14*k**2 + 4. Let h(d) = 69*d**2 - 21. Let j(u) = g*h(u) - 21*i(u). Is j(1) a multiple of 7?
False
Let k = 8 - -4. Suppose -3*i - 864 = -k*i. Is i a multiple of 7?
False
Suppose 0 = -5*t + 4*d + 18 + 11, -4*d - 2 = -2*t. Suppose 1728 = 7*u + t*u. Is 27 a factor of u?
True
Suppose 1282*s - 1367*s + 51170 = 0. Is 2 a factor of s?
True
Let a(t) = t**3 - 25*t**2 - t - 43. Let v be a(31). Suppose 9*w = -940 + v. Suppose -67*f + 63*f + w = 0. Is 10 a factor of f?
False
Suppose 0*f + 5*f + 2*k = 104, -k = -2. Suppose 18*w - f*w = -440. Is w a multiple of 22?
True
Suppose 261*g - 215*g - 194672 = 0. Is 92 a factor of g?
True
Let i = 12574 - 10666. Is i a multiple of 71?
False
Let i(k) be the first derivative of -k**4/12 - 5*k**3/3 + 5*k**2/2 + 21*k + 26. Let x(d) be the first derivative of i(d). Does 15 divide x(-5)?
True
Suppose -45*l - 164*l - 89*l + 14413962 = 0. Does 32 divide l?
False
Let n(c) = c**3 + c**2 + c + 2. Let u be n(2). Suppose 4*x - u = 2*r, 4*r + 3*x - 18 = x. Suppose -z + 21 = w + 4*w, 35 = z - r*w. Does 9 divide z?
False
Let a(i) be the third derivative of -i**6/120 + 7*i**5/30 + i**4/4 - i**3/3 - 34*i**2. Is a(14) a multiple of 4?
False
Let r(h) = h**3 + 19*h**2 - 18*h - 2. Let z be r(-19). Suppose -140 + z = 5*i. Suppose -i*l = -41*l + 75. Is l a multiple of 10?
False
Let o(k) be the second derivative of 9*k**3/2 - 3*k**2 - 5*k. Let f be o(6). Suppose 4*w + 28 = f. Is w a multiple of 32?
True
Let b(d) = 3*d - 72. Let r be b(25). Suppose 3*a + 398 = t, 3*t = -r*a + 233 + 1021. Is t a multiple of 59?
True
Is (-16163385)/(-420)*(-12)/(-21) a multiple of 32?
False
Suppose -a + 2*p + 13 = 0, 0*a - 2*a = p - 11. Let h be a + -5 - (-173 + 3). Is (-1 + 3)/(1/(h/8)) a multiple of 26?
False
Suppose 5*b + 29 = 2*m, -5 = -m + b + 2. Suppose 12 = -6*j + m*j + 4*r, -4*r + 26 = 3*j. Suppose -j*u = -132 - 188. Is u a multiple of 10?
True
Suppose 9*m + 6 = -3. Let q be (-60)/8*(-3 - m). Suppose q*c = 19*c - 140. Does 5 divide c?
True
Suppose -488*a = -598*a + 484220. Is a a multiple of 120?
False
Let v = -824 + 846. Let k = 61 - 43. Suppose v + k = s. Is 4 a factor of s?
True
Let u(s) = s**3 + 40*s**2 - 135*s - 302. Is u(27) a multiple of 16?
True
Let g(h) = -h**3 - 2*h**2 + 8*h + 13. Let q(k) = k**3 + k**2 - 7*k - 13. Let s(v) = 5*g(v) + 6*q(v). Does 18 divide s(7)?
False
Let z(k) = -61*k - 1172. Is z(-32) a multiple of 15?
True
Let j be 12/(-42) + 102/14. Suppose -3*a - 4*w = 40, 3*w = 5*a + 38 - 10. Is a/(-112)*-4 - (-870)/j a multiple of 19?
False
Let g = 8 + 11. Let k = 4 - g. Let d = k + 53. Does 19 divide d?
True
Suppose 5*n = -117*k + 114*k + 42534, 25528 = 3*n - 2*k. Does 13 divide n?
False
Is 47 a factor of (-22)/(-8) - (-17043924)/1488?
False
Suppose -24*m + 32227 + 177860 = -5049. Is m a multiple of 83?
True
Let b = 5830 - 688. Does 134 divide b?
False
Let w = -38 - -50. Let u(i) = 12 - 23*i - 3 - w*i. Is 31 a factor of u(-4)?
False
Let r be (59/177)/((-1)/9). Does 16 divide (6 - (-2 + 3)) + (-1728)/r?
False
Suppose -5*v + 646 = -4*z, -2*v + 525 = 2*v + 5*z. Suppose 5*t + v = -3*h + 485, 5*t - 5*h - 355 = 0. Does 2 divide t?
False
Let