et n be q(-12). Let l be n/(4/(-72)) + 1. Let d = l + 11. Is d a multiple of 15?
True
Suppose -v - w + 241 = 0, 4*v = 2*w - 0*w + 976. Suppose 237 = -2*k - 3*s, 3*s = -k + 3*k + v. Does 30 divide -3*(-2)/(-12)*k?
True
Let x(q) be the first derivative of q**3 + 11*q**2/2 + 4*q + 11. Let n be x(-5). Does 9 divide (-8)/(n/(-63)) - 3?
True
Let x(q) = -q**3 - 3*q**2 - q - 12. Suppose -8*k + 14*k = 0. Let m be x(k). Let s = -3 - m. Is 9 a factor of s?
True
Let s(h) = -127*h - 58. Let p be s(-4). Suppose 0 = 26*k - 8*k - p. Is 9 a factor of k?
False
Does 54 divide 20/(-3)*(15 + 18600/(-25))?
True
Let d(j) = 19*j - 587. Let v be d(31). Let g(o) = -9*o**2 - 2*o + 8. Let r(f) = 9*f**2 + 2*f - 9. Let b(h) = -5*g(h) - 4*r(h). Is b(v) a multiple of 12?
True
Let n(z) = -z**3 - 4*z**2 - z + 3. Let d be n(-4). Let q = -3 + d. Suppose q*s - s = 72. Is 8 a factor of s?
True
Let x(p) = 2*p + 24. Let a be x(-6). Suppose -a = 4*k + 3*q, 2*q + 28 = -4*k + 3*q. Is 14 a factor of (-3 + (-18)/(-4))/(k/(-80))?
False
Suppose 0 = -2*k + 7*z - 6*z + 1103, 5 = 5*z. Suppose q + 0*q - k = 0. Does 6 divide q?
True
Suppose q = -3*y + 4 + 21, -3*q + y + 125 = 0. Let h be (0 + 2/(-3))/(q/(-5580)). Let c = 137 - h. Is c a multiple of 21?
False
Suppose 12642 = -21*x + 14*x. Does 43 divide (x + (-5 - -5))/(-2)?
True
Let i(q) be the first derivative of -5*q**2/2 + 80*q - 44. Let j be i(15). Suppose 723 = j*l + 223. Does 29 divide l?
False
Suppose 3175 = 13*r - 2727. Let k = r - 249. Is k a multiple of 22?
False
Let h be 3664/14 + (-6)/(-21). Suppose -264*l + h*l = -376. Does 24 divide l?
False
Suppose 7*k - 154 = -126. Suppose 3*c - 12*y - 892 = -8*y, 0 = k*c - 4*y - 1188. Is c a multiple of 35?
False
Let s(h) = -h**2 - 10*h + 5. Let k be s(-10). Suppose -d - k*r = -285, 7*r = -3*d + 2*r + 835. Is 6 a factor of d?
False
Let m = 5147 - 4175. Does 4 divide m?
True
Let t be (7 - 6)/((-2)/14). Does 29 divide 382 - 14/t*(2 - 1)?
False
Let t(k) = k**3 + 68*k**2 - 131*k + 730. Is t(-70) a multiple of 10?
True
Suppose -36*r + 42*r - 18 = 0. Is 2 - 3 - (r + -132 - -9) a multiple of 17?
True
Let b be 30/(-15)*61/(-1). Let v = -113 + b. Is v a multiple of 3?
True
Let p(a) = -a**3 - 7*a**2 - 9*a + 17. Let o be p(-5). Suppose -o*i + 168 = -0. Suppose 0 = 10*f - i*f + 720. Is 12 a factor of f?
True
Let s be (3 - 10/4)*18. Let z = s + -30. Let v = 68 - z. Does 6 divide v?
False
Let s(n) = -5*n + 12. Let g be s(2). Suppose 2*j + g*j - 827 = -3*v, 2*j = 5*v + 407. Is 48 a factor of j?
False
Let i(h) = 3*h**2 - 10*h + 9. Let k(w) = -w**3 + 11*w**2 - 9*w - 12. Let y be k(10). Let r be ((-3)/y)/(3/12). Is i(r) a multiple of 17?
False
Let b(r) = 2*r**2 - 6*r - 10. Let o be b(6). Let y = 101 - o. Is y a multiple of 5?
True
Let h be 36/10 - 5*(-8)/100. Suppose d - h*m - 28 = 0, -4*m - 203 = -5*d - 47. Is d a multiple of 3?
False
Suppose 7347 - 192241 = -25*s + 62006. Is 7 a factor of s?
False
Suppose 1 + 47 = 16*v. Suppose 3*k = 5*k - 10, -v*c - 4*k + 542 = 0. Is c a multiple of 58?
True
Suppose -10805*w = -10772*w - 100287. Is w a multiple of 25?
False
Suppose 2*i - 12 = -2. Suppose 0*p - 196 = -i*b + 2*p, 15 = -5*p. Let f = b + -2. Does 12 divide f?
True
Suppose 28*m + 12*m - 4*m = 238572. Does 142 divide m?
False
Let o(y) be the first derivative of -y**4/12 + 13*y**3/6 - 17*y**2/2 + 18*y - 3. Let a(b) be the first derivative of o(b). Is 13 a factor of a(8)?
False
Let z(n) = -n**3 - 15*n**2 - 34*n - 30. Let d be z(-10). Let p = d - -295. Is 15 a factor of p?
True
Let c = 259 + -110. Suppose 0 = 156*l - c*l - 2835. Is 14 a factor of l?
False
Suppose 23 = 2*l + h, -5*l + 2*h + 22 + 40 = 0. Suppose 5*x + 5*u - 182 = 88, -5*u - 216 = -4*x. Let a = x + l. Is a a multiple of 11?
True
Suppose 15*i = -26*i - 45953 + 123361. Is 4 a factor of i?
True
Suppose 0*q - 13020 = -12*q. Suppose -2*z - 2*z = 5*g - q, -15 = 5*g. Suppose 5*j - z - 270 = 0. Does 12 divide j?
False
Suppose -p - h = -794, 80*p = 75*p + 4*h + 3925. Is p a multiple of 13?
False
Suppose r + 4*n = -15 + 125, -2*n = -r + 86. Suppose 366 = 5*g - r. Is g a multiple of 23?
True
Suppose 5*m - 4*h - 66 = 0, -3*m + 36 = m + h. Suppose -4*f = 5*i - 205, 12*i = -5*f + m*i + 252. Is f a multiple of 20?
False
Let t = -142 + 92. Let c = -24 - t. Let f = c + -10. Is 6 a factor of f?
False
Let o(a) = -a - 2. Let q be o(-5). Let h(y) = 41*y**2 - 8*y + 20. Let j(f) = 27*f**2 - 5*f + 13. Let l(t) = -5*h(t) + 8*j(t). Is 23 a factor of l(q)?
False
Suppose q = 3*b + 17, -q + 23 = -4*b + 1. Suppose 0 = -d - 2*i - 3, q*d = -5*i - 11 - 0. Suppose d*t = 118 + 218. Is t a multiple of 16?
True
Let u(c) = 7*c - 32. Let r be u(5). Suppose -r*b = -9*b + 2700. Suppose -173 = -2*z + 6*g - g, 5*z + 5*g - b = 0. Is 12 a factor of z?
False
Suppose -4*p = -225919 + 124327. Does 7 divide p?
False
Let q(a) = a**3 + 18*a**2 - 4*a + 38. Suppose -11*l - 36 = -9*l. Is 22 a factor of q(l)?
True
Suppose -5 = 5*l + a, 4*l = 5*l + 4*a + 1. Let x(r) = 68*r**2 + 3*r + 1. Does 2 divide x(l)?
True
Let o(n) = 524*n**3 - 7*n**2 + 5*n. Is 6 a factor of o(1)?
True
Let f(w) = -5*w - 18*w**2 - 2 - 2*w + 10*w. Let r(m) = 17*m**2 - 4*m + 3. Let n(t) = -5*f(t) - 4*r(t). Is n(-2) a multiple of 28?
True
Suppose -4*a = 3*d - 87, 5*d - 39 = -a + 89. Suppose d*h - 31*h + 1902 = 0. Does 6 divide h?
False
Let t = -35 + 43. Let i(v) = 2*v**3 - 17*v**2 + 10*v - 12. Let a be i(t). Suppose s = a*s - 93. Does 11 divide s?
False
Let v(z) be the second derivative of z**5/20 + 13*z**4/6 - 38*z**3/3 - 24*z**2 + 151*z. Is 16 a factor of v(-28)?
True
Let r = 43901 + -2492. Is r a multiple of 107?
True
Let l(y) = -y**3 - 12*y**2 - y - 12. Let a be l(-12). Suppose a = -d - 26 + 90. Is d a multiple of 15?
False
Suppose 13*r + r - 1316 = 0. Let v = 98 - r. Is 8 a factor of (-576)/180*(-10)/v?
True
Suppose -7*r + 0*r - 21 = 0. Let c(l) = -463*l + 99. Does 16 divide c(r)?
True
Let o be ((-14)/6)/((-8)/2448). Let u be (1*-1)/((-21)/o). Does 20 divide (17/u)/((-1)/(-120))?
True
Let c be ((-42)/(-9))/((-2)/(-6)). Suppose -c = 8*v - 10*v. Does 7 divide v?
True
Let k(s) = s**3 + 12*s**2 - 21*s + 204. Is 9 a factor of k(9)?
False
Does 17 divide (-4 + 6312)*(6/(-14))/((-10)/35)?
False
Suppose 28734 - 13058 = 20*f - 17444. Does 69 divide f?
True
Let k be 640 - (7 + (-91)/7). Suppose 0 = -3*a + 986 + k. Does 11 divide a?
False
Let f(p) = 7*p**3 - 3*p**2 - 20*p + 26. Let t be f(7). Suppose 5*m - 700 = t. Is m a multiple of 8?
True
Let p(y) = -20*y + 40. Let q be p(11). Is 36 a factor of (112/(-5))/7*q?
True
Suppose -i + 5*f + 10 = 0, -3*i - 2*f - 2*f = 8. Suppose i = -x - 2 - 2. Let s(d) = -d**3 - d**2 + 8*d - 4. Does 4 divide s(x)?
True
Let s(c) = -c**2 - 127*c - 992. Does 19 divide s(-45)?
True
Let h = 48051 - 2287. Is h a multiple of 9?
False
Suppose 2*w + 5*k = -0*k - 24, -3*k = 0. Is 225 - (w + 4 + 5) a multiple of 12?
True
Let b be (2/2)/((-7)/(-14)). Suppose 24 - 5 = 4*x - n, 6 = x + n. Suppose -2*t - 5*s - b = -46, -3*t = -x*s - 16. Is t a multiple of 6?
True
Suppose -j + 16 = -2*n + 12, 0 = -3*j + 3*n + 12. Suppose -15*c = -j*f - 10*c + 2591, 4*f + 5*c = 2561. Is 30 a factor of f?
False
Let w(i) = -213*i + 1559. Is 246 a factor of w(-32)?
False
Suppose -2*n = -n + q + 761, -2*n - 4*q = 1526. Let h = 1449 + n. Suppose -8*f + 2*f + h = 0. Is 26 a factor of f?
False
Let q = -47 - -80. Let m = -21 + q. Suppose -4*n - 2*n + m = 0. Is n even?
True
Let p be 3*4/12 + -58. Let f = 156 + p. Let m = -49 + f. Does 10 divide m?
True
Let k = -157 - -159. Is 3/(144/14970) - k/(-16) a multiple of 13?
True
Suppose 0 = -4*d - 5*k + 783, 5*d = 2*k + 491 + 529. Is d a multiple of 51?
False
Let y = -731 + 1837. Is 79 a factor of y?
True
Does 13 divide 31626 - 14/(-3*(-2)/3 + -4)?
False
Suppose 5*a - 20 = 2*r, 4*a + 2 = -3*r - 5. Suppose 2*v + 5 = -a*y - 203, -3*y + 15 = 0. Let i = v - -194. Does 19 divide i?
False
Let d(k) = k**2 - 24*k + 17. Let u(m) = 6*m**2 - 97*m + 67. Let p(l) = -9*d(l) + 2*u(l). Is p(-18) a multiple of 31?
False
Is 4 a factor of 299 - (-1 + -2) - (-5 + 2)?
False
Does 40 divide ((-154)/33 + 5)*1161?
False
Is 18/(-2) + (-11)/(187/(-229993)) a multiple of 20?
True
Suppose 3*p = 3*h - 2448, -2*p + 2427 + 813 = 4*h. Is 107 a factor of h?
False
Let f(g) = -7*g + 54. Let b be f(9). Let w = 356 + b. Is w a multiple of 14?
False
L