ple of 19?
False
Let m(z) = 4*z**2 + 16*z - 21. Let d be m(-6). Suppose 0 = -5*n - 2 + 102. Let c = d - n. Is 7 a factor of c?
True
Let r(y) = -2*y + 114. Suppose 2*u + 29 = 5*l, -u = -4*l - 4*u + 37. Does 19 divide r(l)?
False
Suppose 14*m + 6144 + 11076 = 0. Let f = -222 - m. Is 24 a factor of f?
True
Suppose 0 = -2*u + 4*a - 234, -3*u + a - 181 = 150. Let w be (-6)/(-21) + (-5246)/(-14). Let j = w + u. Is j a multiple of 19?
True
Let g(v) = v**3 + 10*v**2 - 8*v + 33. Let a be g(-11). Suppose 2*m - d - 1068 - 312 = a, -5*d - 3455 = -5*m. Does 42 divide m?
False
Suppose 7*g = 3*g - 48. Let s = 14 + g. Is 6 a factor of (15/(-25))/(s/(-20))?
True
Suppose -2*c - g + 26229 = 0, 2*g - 1 = g. Is c a multiple of 83?
True
Let z(a) = -a**3 - 23*a**2 - 22*a. Let k be z(-22). Let f(g) = 23*g**3 + k*g**3 + 15 - 6 - 22*g**3 - g**2 - 6*g. Is f(6) a multiple of 51?
True
Suppose 8 = -4*m + 5*j, -4*m + 2*j - 8 = 3*j. Let z be 1/(-2)*(m + 34). Let f(s) = -s**3 - 15*s**2 + 14*s - 8. Is f(z) a multiple of 24?
True
Let a = -21603 + 28346. Is 17 a factor of a?
False
Let d(f) = -184*f + 197. Let l be d(-6). Suppose 0 = -2*m + 5*y + l, 1 = -y + 6. Is 37 a factor of m?
False
Suppose -5*y = 0, 5*r - 22387 = -5*y + 2243. Does 10 divide r?
False
Let s be (1 - 5)*18376/(-32) + 4. Let a = s - 1641. Is a a multiple of 33?
True
Let r(k) = 860*k**2 + 3*k - 2. Does 3 divide r(1)?
True
Suppose 4*p = 5*l + 152716, 106*p - 101*p - l = 190916. Does 43 divide p?
True
Suppose -f - 54 = 2*f. Suppose 5*k + 51 = s, -3*s + 4*k = s - 188. Let y = s + f. Is 7 a factor of y?
True
Let m = -4275 + 4472. Is m a multiple of 4?
False
Let f = 1265 + -663. Is f a multiple of 3?
False
Let s(y) = -1433*y**3 - 2*y**2 - 2*y - 3. Let l be s(-1). Does 15 divide (-3 - -2)*(-1 - l)?
False
Let t = -55 + 57. Let h be t/(10/205)*-3. Let r = h + 280. Is r a multiple of 8?
False
Let r(d) = 9*d**2 + 183*d + 1112. Is r(-45) a multiple of 19?
False
Let x(z) = 14*z + 11 - 8*z + 17*z - 21*z. Is x(4) a multiple of 19?
True
Let r be 3 + 15/(-3) - (-34 + 1). Is 2 a factor of (26 - r) + (50 - -1)?
True
Let z(b) = 133*b**2 + 709*b + 4. Does 54 divide z(4)?
True
Suppose 12*a + a - 403 = 0. Suppose a*j - 38*j + 560 = 0. Let h = j - 43. Is h a multiple of 37?
True
Suppose 0 = 23*u + 97*u - 1143720. Is 55 a factor of u?
False
Suppose -24411 = -5*j + 4*z + 51, -9771 = -2*j - 3*z. Does 6 divide j?
True
Let t = 8451 - 7979. Is t a multiple of 102?
False
Let u(x) = 7*x**3 - 33*x**2 + 72*x - 18. Is 90 a factor of u(12)?
True
Suppose 3*h = -5*x + 119, 4*h - 5*x - 38 = 74. Suppose -h*a + 2836 = -101. Is 6 a factor of a?
False
Is (8 - ((-191570)/(-35) - 8))*35/(-5) a multiple of 19?
False
Suppose -3*h - 8 = -3*r - 5, -5*h - 4*r = 5. Is 13 a factor of (-5 + 1 - -1) + h + 133?
False
Let l(n) = -n**2 - 8*n - 12. Let g be l(-4). Suppose k = -s + 117, -342 - 111 = -g*k - s. Is k a multiple of 14?
True
Suppose -5*x + 1436 = 4*w - 308, 0 = -3*x - 3*w + 1044. Suppose 7*d + x = 16. Let b = d - -86. Is b a multiple of 19?
True
Let y be -1 + ((-8)/(-24) - 2445/(-9)). Let f = y - 125. Does 3 divide f?
False
Let v be (9/(-6))/(18/120). Let u = 37 + v. Let n = -21 + u. Is n a multiple of 6?
True
Let w be (4 - 2) + 1/(-1)*-28. Suppose n = 27 + w. Suppose 0 = 18*a - 19*a + n. Is 7 a factor of a?
False
Suppose 0 = -5*c - 5*h + 60, -c - 4*c + 3*h + 60 = 0. Suppose -2*q - 3*q = 5*m - 15, 4*m - 2*q + c = 0. Is 24 a factor of 2*(-306)/(-12) - (-3 - m)?
False
Let c = 206 - -150. Suppose -c = -0*w - 3*w + k, 254 = 2*w - 4*k. Is 39 a factor of w?
True
Suppose -4*t = 2*p - 18, -t + 5*p + 3 - 4 = 0. Suppose 0 = t*o + 2*o + 84. Is 28 a factor of o/4*(2 - 26)?
True
Let m(i) = 4*i**3 - 36*i**2 - 194*i + 33. Does 18 divide m(19)?
False
Let y(g) be the third derivative of g**6/120 + g**5/10 - g**4/12 + 2*g**3 - 2*g**2. Let i be 0 + 67/(-11) + 21/231. Is y(i) a multiple of 3?
True
Let l(v) = 15*v**2 - 17*v + 229. Does 39 divide l(20)?
True
Is (1035930/(-560))/(6/(-4))*12 a multiple of 19?
False
Let d = -66 - -69. Suppose 2*h = -2*h + 3*r + 15, -3*h = -d*r - 12. Suppose 0 = h*z - 2*z - 36. Does 18 divide z?
True
Let u = 15765 + -4202. Is 42 a factor of u?
False
Let z = 145 + -154. Does 12 divide 544/(-6)*z/2?
True
Let t(o) = -o**3 + 14*o**2 + 3*o - 13. Let n be t(14). Let a = n - 31. Is 9 a factor of (-2 - 1) + a + 18?
False
Suppose -k + 26 = 4*k - 3*t, 2*t + 16 = 3*k. Let m(l) = 7*l + 7. Let c be m(5). Suppose 59 - 15 = k*n + 2*b, -4*n - b + c = 0. Is 3 a factor of n?
False
Let d(h) = -5*h**2 - 21*h - 82. Let k be d(-6). Let l = k - -286. Is l a multiple of 30?
True
Suppose -5*w + 5*v + 1730 = -1345, 4*v + 600 = w. Suppose 8*l - w - 3756 = 0. Is l a multiple of 30?
False
Let z = 72 - 68. Suppose -4*r + 16 = z. Suppose 3*x + 3*g - 156 + 15 = 0, -145 = -r*x - 5*g. Is 9 a factor of x?
True
Let v = -16648 + 21259. Does 29 divide v?
True
Suppose -7391 = -23*g + 4*g. Suppose -4*x + 1537 - g = -5*z, -1116 = -4*x - 3*z. Is 12 a factor of x?
False
Does 44 divide 26 + -15 - (-10195 - 5)?
False
Let n = 79 - 51. Let a = 31 - n. Suppose o + 5 + 63 = 5*b, o = -a. Is 10 a factor of b?
False
Suppose 0 = -35*v + 32*v + 40524. Does 9 divide v?
False
Let g(b) = -b**2 + 8*b + 17. Suppose 0 = 2*f - u + 2*u + 2, 3*u + 6 = 2*f. Suppose 7 = -5*x + 4*t + 36, f = -5*x - 4*t + 61. Is 3 a factor of g(x)?
False
Does 34 divide 1/(-2)*-2*(834 + 15419)?
False
Let p = 774 - 766. Let o(y) = 2*y**3 - 11*y**2 + 38*y - 42. Does 10 divide o(p)?
False
Is 16*(624701/76)/11 a multiple of 113?
False
Let h = 11248 + -5561. Is 35 a factor of h?
False
Let w(y) = 747*y**2 + 8*y + 8. Suppose -47 = -10*h - 57. Does 9 divide w(h)?
True
Let m(k) = -18 + 2*k - 2*k + 6*k. Suppose 2*t = 13*t - 143. Is m(t) a multiple of 16?
False
Suppose -29*v + 67 - 9 = 0. Suppose -2*k - v*q = -1056, -2*k + 210 = 3*q - 846. Is k a multiple of 12?
True
Let p be 21/28 - (-51)/12. Suppose p*y = u + 172, 0*y + 20 = y - 5*u. Suppose -4*w - b = -130, -w + y = b - 2*b. Is 33 a factor of w?
True
Let y = 5758 + -252. Does 67 divide y?
False
Let x = -40018 + 56717. Is 67 a factor of x?
False
Is 252*((-76)/(-380) + 606/20) a multiple of 42?
True
Let i(u) = -u + 1. Let t(p) = -16*p. Let n(a) = -6*i(a) - t(a). Let s = -4350 - -4353. Does 12 divide n(s)?
True
Let s be ((-158)/(-4) + 5)/((-4)/(-104)). Suppose -a = 4*n - 286, -2*a + 3*n = -6*a + s. Does 46 divide a?
False
Let s(t) = 42*t**3 - 4*t**2 + 2*t + 1. Suppose 133*j = 143*j - 20. Does 25 divide s(j)?
True
Suppose 56*f - 48*f - 96 = 0. Is 22 a factor of f/(-2)*((-4)/(-2) - 13)?
True
Suppose 468 + 112 = 10*b. Let i = 247 - b. Is i a multiple of 41?
False
Let d be (1 - (-18 - (-4)/1)) + 3. Suppose 2*x = -22*n + d*n + 1066, 2 = -n. Does 26 divide x?
False
Suppose 3*b - 20 = -5. Let q(l) = -7*l**2 + l + 10. Let h(y) = 3*y**2. Let a(d) = -2*h(d) - q(d). Is a(b) a multiple of 10?
True
Suppose -3*t = -4*d - 43975, -7*t - 8193 = 4*d - 110748. Is t a multiple of 37?
False
Suppose -5*u = 2*u - 665. Let w = 292 - u. Is 18 a factor of w?
False
Let i be ((-4)/3)/4 + 39/117. Suppose 5*q + 2*n - 76 - 87 = i, -70 = -2*q + 4*n. Does 16 divide q?
False
Is 39 a factor of (-1)/((-10)/17672*7/(1050/12))?
False
Is (19068/(-9))/(112/21 - 6) even?
True
Let w be -3 + 5/10*-18. Let f be ((-42)/w)/(1/14). Suppose -n = -139 + f. Is 10 a factor of n?
True
Suppose 0 = 2*v + s - 4, 5 = -2*v + s + 9. Suppose -5*r + v*a = -259 + 50, -3*a - 6 = 0. Is 41 a factor of r?
True
Let w be 75 + 4/(-6)*-3. Suppose 17*b - 2865 = -w. Is 41 a factor of b?
True
Suppose 63687 = 29*h + 4933. Does 5 divide h?
False
Let v = 77 - 44. Let m = 33 - v. Suppose -4*b + 16 + 32 = m. Is b a multiple of 12?
True
Let g = -7828 - -10987. Is g a multiple of 18?
False
Suppose -15*g + g = -1470. Suppose 72 = 10*a - 2*a. Suppose 0 = -a*n + 4*n + g. Is 7 a factor of n?
True
Suppose -11*p - 2172 = -14*p. Let g = -670 + p. Is g a multiple of 13?
False
Let p(o) = -7*o**2 + 5*o + 3. Let d(v) = -v**2 + v. Let z(x) = -5*d(x) + p(x). Let r be z(0). Suppose -180 = -r*t - 6*t. Is 4 a factor of t?
True
Let s = 6142 - 4597. Does 12 divide s?
False
Let i = 52 - 58. Let n(g) = -3*g**2 - 20*g - 8. Let m be n(i). Let z = m + 8. Does 2 divide z?
True
Let r(u) = u**3 + 3*u**2 - 3*u + 4. Let s be r(-4). Let y(f) = 100*f + 402. Let v be y(-4). Suppose v*d + 7*d - 360