(n) = 2*n**3 - 112*n**2 - 29*n - 713. Is 17 a factor of t(59)?
True
Does 25 divide (-42924)/(-10) + (-2 - 432/(-45) - 7)?
False
Let u be 26/(-39) + (-11964)/9. Does 10 divide (-1 + 90/50)/((-4)/u)?
False
Let w(q) = 108*q - 18. Let n be w(6). Suppose -n = 2*o - 7*o. Does 42 divide o?
True
Let l(v) be the first derivative of -2*v + 29/2*v**2 - 22. Is l(1) a multiple of 9?
True
Let k(p) = 4*p - 5. Let c be k(2). Let v be 6/4*(-4)/(-6). Suppose -2*n + 30 = c*l, 3*l + 7 = v. Is 3 a factor of n?
True
Let o = 765 + -277. Let r = 774 - o. Is 44 a factor of r?
False
Let n be ((-1)/(15/(-50)))/(4/6). Suppose -4*f - 919 - 621 = -n*v, -5*v + f = -1555. Is v a multiple of 7?
False
Let s = -7 - 23. Let z = 178 - s. Suppose -4*b + 116 = 3*u, -3*b + z = -2*u + 7*u. Does 10 divide u?
False
Let g = 27 + 9. Let b = g + -31. Does 5 divide b?
True
Is 23 a factor of 12 + (-1668)/(-1) + -1?
True
Let f be 2 + 2 - (22 - 766). Suppose -10*i - i + f = 0. Is i a multiple of 17?
True
Let m(r) = 3*r**2 + 69*r + 6. Suppose 0 = 2*u + 4*f + 66, 6*u - 3*f = 4*u - 38. Is 13 a factor of m(u)?
True
Let b(h) = 2*h**3 - 5*h**2 + 7*h - 16. Let a(z) = -2*z**3 + 4*z**2 - 6*z + 17. Let q(v) = -6*a(v) - 5*b(v). Is 9 a factor of q(4)?
True
Let o(m) be the third derivative of -47*m**4/12 - 271*m**3/6 + 128*m**2 + m. Is 3 a factor of o(-4)?
True
Suppose -6*i - 7*i = -2*i - 109648. Is 89 a factor of i?
True
Suppose 0*l + 16 = 4*l. Suppose l*s - 4 = 5*u - 6, -5*s = 4*u - 18. Suppose 5*f + 4*w - 218 = u*f, -2*f + 149 = -w. Is 11 a factor of f?
False
Does 23 divide (-18 - -6) + 1950 - 6?
True
Suppose -13*l = -332 - 253. Suppose 0 = l*n - 41*n - 12. Suppose 3*j - 391 = 4*y, -j - 2*j = -n*y - 387. Is j a multiple of 9?
False
Suppose -2*h - h + 2*s - 131 = 0, -h = -2*s + 49. Let a = 204 - h. Is a a multiple of 7?
True
Let r = -23040 - -33689. Is r a multiple of 23?
True
Let f be (-2)/((-4)/5 - 190/(-175)). Let y = 3 - f. Suppose -11*s + y*s = -13. Is s a multiple of 3?
False
Let o = -3109 - -5761. Is o a multiple of 52?
True
Suppose 0 = -7*x - 9967 + 29917. Suppose -5*y + x = -0*y - 3*j, -2*y = 5*j - 1140. Is y a multiple of 12?
False
Let x(j) = -19*j - 49. Suppose -35 = 22*b + 119. Is 21 a factor of x(b)?
True
Let o be 6/(-7) - -1 - (-2445)/35. Suppose 8*d = o + 146. Is d a multiple of 19?
False
Let m(k) = 107*k**2 + 193*k - 1635. Is 164 a factor of m(9)?
False
Let g(k) = -k**3 + 110. Let w = -10 - -10. Let r be g(w). Suppose -20 + r = 3*i. Does 5 divide i?
True
Suppose 3*t + 66185 = 4*h - 0*t, -3*h = -4*t - 49644. Is h a multiple of 22?
True
Suppose 90*s + 21287 = 192*s - 95*s. Is 13 a factor of s?
False
Let c(o) be the first derivative of o**4/4 - 13*o**3/3 - 29*o**2/2 + 45*o - 9. Is c(15) a multiple of 4?
True
Suppose 2*o + 0*x - 670 = -x, -5*o = 5*x - 1675. Let y = o - 127. Is y a multiple of 18?
False
Let h(k) = -4*k**3 - 269*k**2 + 8*k + 240. Is 31 a factor of h(-69)?
True
Let p(z) = 568*z - 547. Does 9 divide p(9)?
False
Suppose 7*j - 35*j = -3668. Suppose -174 = -133*a + j*a. Is a a multiple of 12?
False
Suppose 4*z - 2*f - 317 - 61 = 0, -4*z = 5*f - 385. Suppose z = -2*t + 103. Suppose 4*q - 44 = -h + 111, -149 = -t*q + h. Is q a multiple of 12?
False
Let u = -680 + 680. Does 11 divide 528 - (u + 8) - -9?
False
Suppose -z + 2*z = -2*z. Let u(g) be the third derivative of -5*g**4/24 + 133*g**3/3 - g**2 - 3*g. Is u(z) a multiple of 14?
True
Let h = 33 + 159. Let m(y) = 2*y - 12. Let j be m(7). Suppose -4*n = j*o - 8*n - h, o - 91 = n. Is 8 a factor of o?
False
Suppose 0 = -20*a + 79 + 1. Suppose -5*r = -q + 117, a*r = 4*q + 4 - 408. Is q a multiple of 15?
False
Suppose 0 = -5*c - 5*r + 5, 0 = -2*c - 2*r - 2*r + 4. Suppose 0*n - 6*n + 30 = c. Suppose n*y + 1 = 4*y, 38 = 4*a + 2*y. Does 5 divide a?
True
Is (-1 - 22/(-10))*-5 - (-232 - 84) a multiple of 14?
False
Let b be 2 + -1 + 2/(-2). Let r(u) = u**2 + u. Let c(m) = -5*m**2 - 2*m - 28. Let q(p) = -c(p) - 4*r(p). Is 4 a factor of q(b)?
True
Let b be 1565/7 + 6/(-21)*2. Suppose -225*r = -b*r + 22. Let a = r + 35. Is a a multiple of 24?
True
Let c = -391 - 763. Let t = -504 - c. Is 25 a factor of t?
True
Let p(h) = -43*h - 92. Let s(v) = 127*v + 277. Let x(u) = -8*p(u) - 3*s(u). Does 14 divide x(-9)?
True
Let a(m) be the second derivative of -m**5/20 - 13*m**4/12 - 7*m**3/6 - 11*m**2 - 12*m + 5. Is a(-16) a multiple of 78?
True
Let i(u) = 3*u**3 - 18*u - 1. Let a be 3 - (-3 + -1 + (-3 - -4)). Does 12 divide i(a)?
False
Suppose -103*y + 65*y - 36540 = -59*y. Does 15 divide y?
True
Suppose -14*f + 12006 = -9148. Is f a multiple of 3?
False
Let v = 13144 + 18272. Does 103 divide v?
False
Let j(x) = x - 10. Let y be j(10). Suppose -87 = -3*v - d - y*d, -v + 29 = 4*d. Suppose v = b - 87. Does 28 divide b?
False
Let s(v) = -95*v**3 - 7*v**2 - 9*v - 19. Does 5 divide s(-3)?
True
Suppose -2*v + 260 = 3*w, w - 3*v - 96 = -13. Let p = -30 - w. Let d = 175 + p. Is d a multiple of 21?
False
Let r(y) = -491*y - 13. Is 37 a factor of r(-5)?
True
Let d = 37 - -2368. Suppose 314*y - 325*y = -22. Is d/52 - y/8 a multiple of 21?
False
Suppose 0 = -29*s + 177 - 32. Suppose -15*d + 18*d = -3*m + 903, 0 = -s*m - 2*d + 1499. Does 23 divide m?
True
Suppose -45671 = 6*n - 3*v - 200882, -5*v = -5*n + 129335. Is n a multiple of 12?
False
Suppose h - u = -3, h - 2*u + 0 = -7. Is 38 + -38 - (-121 - h) a multiple of 61?
True
Suppose 0 = 1203*w - 1200*w - 17082. Does 26 divide w?
True
Suppose 304*g - 599*g + 301*g = 126786. Is g a multiple of 187?
True
Suppose x = -2*x + 15, -2*z - x = 431. Let y = -130 - z. Does 14 divide y?
False
Is ((-10)/(-55))/(4/248204) a multiple of 77?
False
Suppose -16 + 7 = -9*w. Let q be -86*(-4)/32 - w/(-4). Suppose 0 = 4*s - 25 - q. Does 2 divide s?
False
Suppose 25 = 2*b - 7*b, -2*c = 5*b - 11. Suppose 1848 = -11*d + c*d. Does 13 divide d?
False
Let w(j) = -10*j - 74. Let z be w(-9). Is 11 a factor of (16*(-5)/(-10))/(4/z)?
False
Suppose 5*j = -2*v - 1, 0*j - 19 = 2*v - j. Let w(c) = -2*c**3 - 7*c**2 - 2*c + 19. Is w(v) a multiple of 13?
True
Let y(n) = -20*n**2 + 29*n - 4. Let o be y(6). Let u = -166 - o. Does 12 divide u?
True
Let i be (-1 - -2) + (-4 - -1 - -6). Let y be (i/(-10))/(2/(-10)). Suppose 75 = -a + y*a. Is a a multiple of 25?
True
Let k(r) = 137*r + 732. Does 31 divide k(82)?
True
Let f(x) = 26*x**2 + 48*x - 25. Does 5 divide f(-15)?
True
Suppose 16*l - 18 = 78. Does 40 divide 30/(l + 1460/(-245))?
False
Let g = -16121 + 16135. Let d(y) = -27*y - 101. Let x(c) = 13*c + 51. Let f(q) = 2*d(q) + 5*x(q). Is 9 a factor of f(g)?
True
Let p = -40 - -53. Let o be 4/(-2) - (p - 5). Does 14 divide (-88)/o*50/4*1?
False
Let x = -19 - -23. Suppose 14 = -2*f + x*f. Suppose -f*t + 9*t = 134. Is 12 a factor of t?
False
Let h(n) = 5*n**3 - 2*n**2 + 26*n - 8. Suppose 0 = -19*j + 16*j - 3. Let k(a) = a**3 - a**2 + a + 1. Let z(i) = j*h(i) + 6*k(i). Is z(8) a multiple of 14?
False
Suppose 2*k + 2*j - 868 = 0, 5*j + 1445 = 3*k + 151. Is k a multiple of 13?
False
Let p = 33498 - 16134. Does 12 divide p?
True
Suppose 4*l + 0*l = -2*z + 1266, z + 4*l = 623. Let f = z + -84. Is 24 a factor of f?
False
Let d be 590/8 - 6/(-24). Let a = 173 - d. Suppose -a = -g + 3*h, -3*g + 0*h = -h - 257. Does 28 divide g?
True
Does 13 divide ((-1040)/(-50))/((-40)/(-21100))?
True
Suppose -73*l = 20*l + 50*l - 13728. Is l a multiple of 2?
True
Let v(c) be the second derivative of 11/12*c**4 - 2/3*c**3 - 7/2*c**2 + 0 - 1/20*c**5 - 38*c. Is v(9) a multiple of 5?
False
Suppose 328*m - 354935 + 58199 = 64*m. Does 104 divide m?
False
Let d(x) = -2*x - 4. Let w be d(-2). Suppose w = 2*a - 8. Suppose -4*t + 224 = a*t. Is t a multiple of 28?
True
Suppose -4*m = 2*t + 22, -2 = 4*m - 0*m - 2*t. Let n be 2/8 - (-37)/(-4)*m. Suppose c - 1 - n = 0. Is c a multiple of 10?
False
Suppose -w + 28 = 2*s, -2*w + w + 25 = 3*s. Suppose 85 = 5*k - 2*b, -k = -3*k + 2*b + w. Let z = k + 49. Is z a multiple of 11?
True
Let k be 0 + 1 + -1 + -13. Suppose -56*x + 276 = -60*x. Let q = k - x. Does 7 divide q?
True
Let y be (3/(-5))/((-2)/10). Suppose z - y*a + 0*a = 37, -2*a = 4. Suppose 2*i = -3*p + 23, -2*i + z = -i - 5*p. Does 2 divide i?
True
Let c = 15 - 10. Let q be (-42 + -3)/c*(1 + -39). Suppose -3*o - 2*s = -q, -220 = -3*o + s + 113. Is 16 a factor of o?
True
Let s be 9/(162/(-12)