vative of -d**4/4 - 13*d**3/3 + 7*d**2 - 23*d + 30. Let r be y(-14). Is 134 + 1 - (r + 18) a multiple of 7?
True
Suppose 2*a + 89 - 47 = 0. Does 2 divide (-1 + (-51)/a)*(-168)/(-8)?
True
Suppose n = -3*m + 7002, 0 = -5*n - 5*m + 404 + 34606. Is n a multiple of 77?
False
Suppose -2*j + 4*u - 7*u + 16 = 0, -3*u = -3*j + 9. Suppose -4*h = h - 440. Suppose -j*x - 12 = 3*i - 115, 2*x = -3*i + h. Is 10 a factor of i?
False
Let p(t) = -t**2 - 13*t - 21. Let n be p(-3). Let j be (-20)/(-6) + -8 + 78/n. Is (-1345)/(-15) - -1*j/12 a multiple of 32?
False
Let o(m) = -4*m**3 + 13*m**2 + 3*m + 12. Let f be o(9). Let g = f + 3000. Is g a multiple of 56?
True
Suppose 27*k = 3*z + 31*k - 23160, z + 4*k - 7712 = 0. Is z a multiple of 16?
False
Suppose -5*m - 17 = u, 4*m - 11 = 5*m + 4*u. Let k = m - 1. Is 12 a factor of 49 + (2/k)/(6/12)?
True
Let h(d) = -4*d - 1. Let x be h(-1). Suppose -687 = -5*w + 15*t - 18*t, -683 = -5*w - 2*t. Suppose -x*f + 0*f = -w. Does 11 divide f?
False
Suppose 3*q - 11*q = -232. Let r = 55 - q. Is 5 a factor of r - 10 - (1 - 0)?
True
Let h = 704 + -390. Let n = 482 - h. Does 4 divide n?
True
Let m be (-2484)/(-78) + 2*1/13. Let b = 34 - m. Suppose 3*n - 106 = b*x - 6*x, -x + n = -30. Does 9 divide x?
False
Is 7 a factor of (-1242171)/(-90) + (-9)/(-90)?
False
Let t = 763 - -549. Suppose -9*v + 10*v - 5*o = 350, t = 4*v + 2*o. Does 30 divide v?
True
Let y(c) = -2*c**3 - 7*c**2 - 4*c - 11. Let u(q) = q**3 + 7*q**2 + 5*q + 10. Let r(w) = 3*u(w) + 2*y(w). Let k be r(8). Is 9 a factor of k + 2 - (-26 + -8)?
True
Let a be (15510/(-12))/11*-2. Suppose 6*s - 107 = a. Is 19 a factor of s?
True
Suppose -95240 = -4*n - 2*d, -23824 = -n + 255*d - 259*d. Is n a multiple of 31?
True
Suppose 0 = w - 3*w. Let v(j) = -10*j - 360. Let q(o) = -3*o - 120. Let g(c) = -7*q(c) + 2*v(c). Is g(w) a multiple of 20?
True
Let l(k) = -2639*k - 10868. Is l(-23) a multiple of 40?
False
Let i(o) = -166*o + 1928. Does 54 divide i(-4)?
True
Let v = -1 + 63. Let o = v + -38. Does 15 divide 2524/o + (-4)/24?
True
Let j = 28 + -35. Let m(s) = 2*s**3 + 16*s**2 + 14*s + 2. Let t be m(j). Suppose t*q + 3*c - 99 = 0, c + 52 = q + 5*c. Does 12 divide q?
True
Let n(t) be the first derivative of 7*t**3/3 + 21*t**2 - 10*t - 9. Does 12 divide n(-10)?
False
Let a = 3315 + -1463. Is 46 a factor of a?
False
Let r(d) = 2*d**3 - 115*d**2 + 527*d - 2. Let o be r(5). Let n(i) be the second derivative of i**4/3 + 7*i**2 + i. Is n(o) a multiple of 27?
True
Suppose -212 = 4*k - 6*k. Suppose 142 = -2*n + 4*j, k = -5*n - 5*j - 174. Let u = n + 121. Does 6 divide u?
True
Suppose -8*t + 123 = 27. Suppose 3*i = 5*i - t. Does 6 divide (81/i)/(-9)*-44?
True
Let r(h) = 1449*h + 5222. Is 74 a factor of r(44)?
False
Let f(k) = 6*k**3 + 3*k**2 + 8*k + 7. Let j be f(-5). Is 10 a factor of (-2)/4 - (0 - j/(-8))?
False
Suppose 0 = 43*s - 52*s + 12177. Is s a multiple of 24?
False
Is 55 a factor of ((-154)/28 + (-3172)/8)*(-330)/4?
True
Suppose 0 = x + 5*w - 631, 0*x + x = -2*w + 640. Let j = x - -119. Is 57 a factor of j?
False
Let a(o) = -o**3 - 2*o**2 - 173*o + 26. Is a(-21) a multiple of 22?
False
Suppose -2084349 = 230*a - 3055073 - 2709276. Does 40 divide a?
True
Let g = -44 + 47. Suppose -g*f = -16 + 58. Does 11 divide ((-1)/(f/(-21)))/(3/(-64))?
False
Suppose -5*d - 25504 = -2*c - 7425, 5*c + d - 45211 = 0. Is 13 a factor of c?
False
Let o(n) be the third derivative of -n**6/120 + n**5/20 - n**4/24 - n**3/6 - 30*n**2. Let t be o(3). Let q(c) = 3*c**2 + 4*c + 8. Is 4 a factor of q(t)?
True
Does 111 divide 27/(12*20/5520)?
False
Let b be (-3)/(-2)*-3*(-6)/9. Suppose 2*p + 5*a = 32, -2*p = -4*a + b*a - 8. Is p a multiple of 3?
True
Suppose 102*f = 103*f - 12339 - 5777. Is f a multiple of 14?
True
Suppose -9*v + 2 = -52. Let n be (-8)/(-20) - (-96)/10. Suppose -t + 3*r + 63 = 0, -v*r + r - n = 0. Is 19 a factor of t?
True
Let z = -64 + 67. Suppose -n + 4*t - 20 = -7, -3*t + 3 = -z*n. Suppose -103 = n*f - 490. Is 8 a factor of f?
False
Let d be 2 - (-14 - -8) - 3. Let u(p) = 8*p**2 + p + 4. Let o be u(-3). Suppose -d*m - o + 223 = 0. Is m a multiple of 15?
True
Let w(y) = -2*y**2 + 3*y - 2. Let o(j) = -2*j + 12. Let p be o(5). Let k be w(p). Let g(x) = x**2 - x. Is 5 a factor of g(k)?
True
Let c = -2100 + 2105. Let i = -5 + 7. Suppose -i*r + 840 = c*r. Is 40 a factor of r?
True
Suppose 0 = 5*w - 2*q - 395, 0 = 10*w - 11*w - q + 72. Let c = w + 67. Is c a multiple of 48?
True
Let o = -310 + 284. Let f(z) = 2*z**3 + 50*z**2 - 64*z. Is 4 a factor of f(o)?
True
Let b be -1 + 4/2 + 21. Let p be (1075/(-172))/((3 - 1)/(-8)). Suppose 0 = -p*k + b*k + 177. Does 6 divide k?
False
Let l(u) = -7*u - 46. Let h be l(-14). Suppose 23*z - h = 22*z. Does 8 divide z?
False
Let l(r) = -224*r**2 - 8*r + 4. Let v(d) = 226*d**2 + 8*d - 3. Let s(c) = 2*l(c) + 3*v(c). Does 10 divide s(1)?
False
Let z = 748 - 564. Let f be (2/(-4))/(6/(-1236)). Let h = z - f. Does 9 divide h?
True
Let b be (-6)/(-12) - 2/4. Let p be b - (23*-5 + 3). Let n = p + -4. Is n a multiple of 17?
False
Suppose 0 = -5*t + 569 + 781. Suppose 4*c - 2*z - 2306 = t, -c + 3*z = -649. Is c a multiple of 54?
False
Suppose -32*z + 202372 + 216072 = 20*z. Does 16 divide z?
False
Suppose -14*n + 39*n = -30*n + 969485. Does 26 divide n?
False
Let h = -325 + 514. Suppose 3*r = -2*q - 130, 5*q - 3*r + 6*r = -316. Let t = h + q. Is t a multiple of 14?
False
Let l(c) = -11*c**3 + c**2 - 5*c + 3. Let o be l(2). Let v = 108 + o. Suppose 8*g + 432 = v*g. Is 16 a factor of g?
True
Suppose -11*p + 15*p + h + 1754 = 0, -2186 = 5*p - 2*h. Let d = p - -704. Is d a multiple of 15?
False
Let j(q) = 23*q - 88. Let f be j(4). Is (-1 - 19)/(f/(-40)) a multiple of 8?
True
Suppose 0 = 2*l - 5*y - 242, 5*l - 4*y = 327 + 295. Let f(w) = 3*w**2 - w. Let d be f(1). Suppose -d*g = -g - l. Is g a multiple of 25?
False
Let w = 38 - 17. Let j = -17 + w. Suppose b + 220 = 4*t - b, j*t - 220 = 3*b. Does 13 divide t?
False
Suppose 502012 - 6377644 = -63*l - 111*l. Is 24 a factor of l?
True
Is (-93)/48 - (-4 - -2) - 33894906/(-1632) a multiple of 43?
True
Suppose 9*l - p - 1465 = 4*l, 5*p + 269 = l. Suppose 7*v + l = 707. Is 20 a factor of v?
False
Let a(d) = d**3 + 8*d**2 + 5*d - 5. Let j be a(-7). Let n(k) = 2*k**3 - 11*k**2 - 4*k + 29. Let m be n(j). Suppose -65*i = -70*i + m. Is 16 a factor of i?
True
Let o(i) = -4*i + 28. Let m be o(7). Suppose -2*r + 3*w + 2 + 0 = m, -3*r + 2*w + 8 = 0. Suppose -r*a = -260 + 12. Is 44 a factor of a?
False
Let j(y) = -2*y**2 + 5. Let k be j(0). Let w = -19 + k. Let h(m) = -9*m - 21. Does 21 divide h(w)?
True
Suppose -2737403 = -184*r + 124165. Does 9 divide r?
True
Suppose 1583 = -3*v - t - 533, 0 = 2*v + t + 1410. Let k = -39 - v. Is 8 a factor of k?
False
Let k(d) = -169*d + 2533. Is 18 a factor of k(-11)?
True
Suppose -6 = 4*n - 46. Suppose -3*z - 44 = -z - 3*c, 5*c = -n. Let t = 2 - z. Is 9 a factor of t?
True
Suppose 4*r + 1998 = -5*z, 2*r - 2 = -6. Let v = -209 - z. Is v a multiple of 27?
True
Let k(r) = 6*r**2 + 9*r - 26. Let i be k(3). Let w = 316 - i. Is 9 a factor of w?
True
Let i = 186 + -166. Let m = i - 8. Is m a multiple of 12?
True
Let t(p) be the first derivative of 2*p**2 - 71*p + 136. Does 9 divide t(43)?
False
Let r(z) = 2*z**2 + z - 7. Let y(a) = 2*a + 1. Let o be y(-4). Let t be r(o). Suppose 42 = 5*m + p - t, 104 = 4*m + 4*p. Is m a multiple of 4?
False
Suppose -r + 3*r = 8. Let k be 156/8*r/18*159. Suppose 441 + k = 5*q. Is 38 a factor of q?
False
Let d(x) be the first derivative of -5*x**2 + 5*x - 5. Let z(b) = 2*b - 8. Let l be z(3). Is 5 a factor of d(l)?
True
Suppose 12 = 2*h + 5*l - 6*l, h + 4 = 3*l. Let p be (h/(-12))/(2 - (-12)/(-9)). Is -27*(4 - 5) + 0/p a multiple of 9?
True
Let b be (-540)/(2 + 3)*-2. Suppose 194 + b = y. Does 39 divide y?
False
Let g = 35935 - 19084. Is g a multiple of 16?
False
Suppose 0 = 2*t - 4*l - 76130, -33*l = 5*t - 30*l - 190260. Is 15 a factor of t?
True
Let o(b) = -9*b - 12. Let d(x) = x**2 + 11*x - 10. Let y be d(-12). Suppose 0 = i - y*i - 5. Is o(i) a multiple of 11?
True
Let y = -147 + 149. Let d be -2 + y/(-1) - 43/(-1). Suppose 36*w = d*w - 180. Is 5 a factor of w?
True
Let u = 59 + -87. Let k = 12 + u. Let w(q) = q**2 + 15*q + 29. Is w(k) a multiple of 4?
False
Suppose 10 = -53*p