16143, -d = -4. Does 19 divide q?
True
Let v(c) be the second derivative of c**4/3 + 43*c**3/6 - 35*c**2/2 - 42*c. Is 26 a factor of v(-17)?
True
Let p = -92 + 84. Let n be 2/p + (-42)/56. Does 37 divide (-220)/n - (-6 + 4)?
True
Suppose 32*a - 2154 = 2006. Is 10 a factor of a?
True
Suppose 4*r - 2199 + 8755 = 4*a, -a + 1639 = r. Is a a multiple of 8?
False
Let s be (42/12)/(1/(-2)). Let x(n) = 2*n**2 - 2*n - 1. Is 8 a factor of x(s)?
False
Let o(u) be the first derivative of -u**3/3 + 39*u**2/2 - 12*u + 47. Is o(17) a multiple of 6?
False
Let k = 147 - 130. Is 22 a factor of k/119 - (-153)/7?
True
Let n(y) = 4*y + 192 + 16*y**2 + y - 169. Is n(5) a multiple of 8?
True
Suppose 0 = 11*r - 129 - 47. Let t(x) = x**3 - 14*x**2 - 17*x + 23. Does 42 divide t(r)?
False
Suppose 3396 = 2*f + 5*x, -2*f + 3*x + 4684 = 1256. Is 11 a factor of f?
False
Suppose 993 = 5*w - 1422. Let t = w - 200. Does 39 divide t?
False
Suppose 140 = 4*s + 2*u, -u = s + 2*s - 103. Suppose 0 = s*c - 66*c + 62205. Is 25 a factor of c?
False
Let s be ((-15)/10 + 0)*(-1346)/3. Let h = -503 + s. Does 17 divide h?
True
Let j(q) = -14*q - 42. Let u be j(-4). Suppose 56 + u = 14*z. Suppose 2*n = 31 + z. Is 18 a factor of n?
True
Suppose -23 - 73 = -4*h. Suppose -v = -h*v + 3772. Is 24 a factor of v?
False
Let f be (-81)/5*1*-15. Suppose 0 = -11*r - 274 - f. Let h = r + 82. Is 11 a factor of h?
False
Suppose j + 3*j + 4*r = 0, -3*r = 9. Does 17 divide -4 - 119/((-3)/j)?
False
Let p = 158 + -135. Let z(y) = 2*y**3 - 46*y**2 - y + 26. Let a be z(p). Is -212*((-20)/(-8) - a) - -1 a multiple of 10?
False
Let q = -2052 + 2709. Does 21 divide q?
False
Let u = 45982 - 30142. Is u a multiple of 80?
True
Let g be -57 + 1 - 3*(-5)/(-15). Let o = -31 - g. Let m = 151 - o. Is m a multiple of 8?
False
Let r(p) = p**2 - 8*p - 31. Suppose -136 = -14*t + 6*t. Is r(t) a multiple of 13?
False
Let s = 15179 + -11093. Does 40 divide s?
False
Suppose 4*y = 6*y - 644. Suppose 3 = 3*i, 0 = 3*n + 2*i - y - 709. Does 14 divide n?
False
Let c(m) = -2*m**3 + 29*m**2 - 15*m + 85. Let q be c(15). Let d = -285 - q. Is d a multiple of 4?
True
Let x = -19768 + 21928. Is 216 a factor of x?
True
Let p(b) = 1115*b**3 + 5*b - 2. Is 18 a factor of p(2)?
True
Let o be (-2)/4*(134 - 2). Let u be (-32)/(1 - -7) + 105. Let r = u + o. Does 10 divide r?
False
Let g = -111 + 116. Is 15 a factor of 7/3 + g/(-15) - -268?
True
Suppose n + n - 117 = -5*m, -123 = -3*n + 3*m. Let c = n + -126. Let k = c + 135. Does 11 divide k?
True
Suppose -d + 5 = 0, -5*k + 872 = -5*d + 87. Suppose -4*g - k = 14. Let b = g - -69. Is 5 a factor of b?
True
Let a(z) = -9*z - 58. Let r be a(-6). Let q(t) = -3*t - 8. Let c be q(r). Does 47 divide (-1088)/24*(-6)/c?
False
Suppose v - 4046 = -3*z + 5392, 4*z + 37880 = 4*v. Is 85 a factor of v?
False
Let w(d) = 2*d**2 + 20*d - 35. Suppose 0 = 22*l - 8*l - 196. Is 49 a factor of w(l)?
True
Suppose -2*u + 2*z + 129 = 465, u - 2*z + 167 = 0. Let a = u - -87. Let q = -66 - a. Is 5 a factor of q?
False
Is 17 a factor of 414/(-69) + (-13170)/(-2)?
True
Let h(f) be the third derivative of 137*f**5/60 - f**4/4 + f**3/6 + 37*f**2 - 2. Does 7 divide h(1)?
False
Suppose 30*j - 1190 = -230. Let t = j - -35. Does 17 divide t?
False
Suppose 0 + 59 = c. Suppose -3*q - 41 = -179. Let t = q + c. Does 15 divide t?
True
Let u(j) = -j**3 - j + 54. Let b be u(0). Is 28140/b - (-6)/(-54) a multiple of 26?
False
Let t be 73/15 - (-6)/45. Suppose t*p + 5*a = -450, 4*p - a + 360 = 2*a. Let f = p + 125. Does 35 divide f?
True
Suppose l + 0 = 5. Suppose -l*h = -2010 - 315. Suppose -2*v - 3*v + h = 0. Is v a multiple of 21?
False
Suppose 3*i - 2*l = 43 + 9, 4*l = 5*i - 90. Is i/44*188 + 4/22 a multiple of 15?
True
Let l = 82 - 68. Suppose o + a + 3*a - l = 0, -4*o = 5*a - 34. Suppose 587 = o*k - 535. Is 24 a factor of k?
False
Suppose 167 = 7*o + 195. Is 2143*4/60 - o/30 a multiple of 52?
False
Suppose -27*c = -7*c - 13*c - 58121. Does 74 divide c?
False
Suppose 2*r + 31 = 3*g, 4*r - 4*g + 27 = -5*g. Let x be (4/r)/((-3)/24) + 1. Suppose 0 = x*f - 85 - 115. Is f a multiple of 3?
False
Let c = -439 - -466. Let f(u) = 20*u - 227. Does 16 divide f(c)?
False
Suppose -97*n + 93*n + 16 = 0. Does 25 divide (-2 - -2)/n - -367?
False
Suppose 0 = k - 2*p + 126, 6*p - 2*p - 378 = 3*k. Let n be (-148)/(-18) - (-28)/k. Suppose -n*v - 180 = -11*v. Is 12 a factor of v?
True
Let u = 51062 + 19093. Is 51 a factor of u?
False
Let n(q) = 5*q - 5*q + 0*q - q**2 - 6 + 11*q. Let x be n(10). Suppose -3*g - 415 = -3*b - 2*b, -2*g + 310 = x*b. Is 7 a factor of b?
False
Suppose -20*m + 22*m - p + 172 = 0, -2*p - 251 = 3*m. Let b = 184 - m. Is 18 a factor of b?
False
Let c = 49 - 30. Suppose -c*n = 2361 - 10341. Is 30 a factor of n?
True
Suppose 5*i - 4*n = 5000, -247 = i + 2*n - 1247. Suppose i - 55 = 3*a. Is a a multiple of 9?
True
Let s(n) = n**3 + 19*n**2 - 41*n + 24. Let y be s(-21). Let r be 54/4*(-4)/(-6). Suppose y*u + 336 = r*u. Is 15 a factor of u?
False
Suppose 4*r = 4*v - 106696, -26638 = 20*v - 21*v - 5*r. Is 226 a factor of v?
True
Suppose 8*z - 7*z - 2*u = 20672, 3*u = -3*z + 62070. Is z a multiple of 118?
False
Let o(b) = -b**2 + 13*b - 36. Let p(v) = 7*v**3 + v**2 + 1. Let r be p(1). Let h be o(r). Suppose 2*q - 86 = -h*q. Does 4 divide q?
False
Let w = -45 + 41. Let v(b) = b**3 + 4*b**2 + 9. Let u be v(w). Let r = 16 - u. Is r a multiple of 2?
False
Suppose 5 = v - k - 46, -5*v + 243 = k. Suppose -o - 7*f + v = -4*f, 3*o + 5*f - 147 = 0. Is 20 a factor of o?
False
Suppose 0 = 28*x - 27*x + 128. Does 10 divide 12/(12/(-18)*18/x)?
False
Suppose -9509 = -4*q - 3*l, -36*l = 3*q - 31*l - 7118. Is 42 a factor of q?
False
Let p = -161 - -287. Suppose 16*o + p = 19*o. Is o a multiple of 7?
True
Suppose 0 = -2*h - 4*x + 345 + 3303, 4*x = h - 1806. Is 41 a factor of h?
False
Suppose 0 = k - 5*r - 1309, 6*k - 2618 = 4*k + 2*r. Does 119 divide k?
True
Suppose 35*u - 36*u + 6704 = y, 5*y = 3*u - 20064. Does 9 divide u?
False
Let i be (-164 - -2)/((-2)/5). Let k = -275 + i. Is k + (1 - 6) - 5 a multiple of 24?
True
Suppose -29*a = -32*a - 207. Let d = 137 + a. Does 14 divide d?
False
Let y(i) = -524*i**3 - 2*i**2 + 61*i + 210. Is 33 a factor of y(-3)?
True
Does 20 divide (-4)/(-7) + (-108)/21*-941?
True
Let r(b) = 5*b - 8. Let p be r(6). Let g = 61 - p. Suppose -2*s + 14 = -0*s + 4*a, -2*s = -a - g. Is s a multiple of 7?
False
Let k be ((-1)/2)/(1/(-22)). Let y(c) = -k + 1 + 2*c - 9*c + 1. Is y(-6) a multiple of 33?
True
Let l = 20 - -176. Suppose -5*o = 2*o - l. Does 4 divide (4 - 1) + o/(8/2)?
False
Does 15 divide (745 - 748) + (-1 - 0 - -18376)/1?
False
Let m(f) = -f - 1. Let z(y) = 4*y - 10. Let c(o) = 8*m(o) - z(o). Let n be c(-8). Is -2 + n + 3 + 0/(-2) a multiple of 11?
True
Let v be 8/(-20) + (-835)/(-25). Suppose v = -4*l - 27. Is -38*((1 - 0) + l/6) a multiple of 7?
False
Let w(y) = y**3 - 2*y**2 - y + 1. Let j be w(2). Is 44 a factor of j + 303/(-1 - -2)?
False
Let k(b) = 7*b + 10. Let h be k(-3). Let d be (h - 20)*(-1 - 0). Let o = d - 14. Is o a multiple of 12?
False
Let m = 101 + -46. Let g = 21 + m. Is 4 a factor of g?
True
Suppose -4*t - 1765 = -9*t + h, 0 = -5*t + 3*h + 1765. Let d be t/7 + 1/((-21)/(-12)). Let i = d - 22. Is i a multiple of 3?
False
Let l = -16012 + 27474. Is l a multiple of 11?
True
Let x(h) = h**2 + 51*h + 18. Let v be x(13). Let p = v + -50. Is p a multiple of 40?
True
Let i(y) = -5*y**2 + 31*y - 3. Let q be i(6). Suppose -q*h + 168 = -321. Is 55 a factor of h?
False
Let y(w) = 12*w**2 - 4*w - 9. Let i be y(-3). Suppose 8*b + 23 = i. Is 5 a factor of (-2)/b - 6650/(-154)?
False
Let m be 5*2 - (-5 - -6)*-2. Suppose -v + p + 16 = 2*v, 0 = 2*v - 2*p - m. Suppose -v*k = -6*k + 56. Is k a multiple of 4?
True
Is (-5229)/14*(-22 + 20) a multiple of 9?
True
Suppose -21*d + 6 = -19*d. Suppose d*g - 1760 = -4*a, a - 272 = -4*g + 181. Suppose -3*c - w + a = c, 5*c - 4*w = 520. Does 36 divide c?
True
Let q = 1914 + -693. Does 37 divide q?
True
Let m(k) = -k**3 - 14*k**2 - 4*k - 43. Let l be m(-14). Let t(r) = -l*r - 14*r + 2*r**2 + 12 - 15*r + 52*r. Is t(-10) a multiple of 7?
True
Suppose 2*x - 477 + 4179 = 4*i, 0 = 5*i + 4*x - 4660. Is 16 a factor of i?
True
Let q(l) be the second derivative of l**4/12 + 5*l**3/6 - l**2/2 -