 = 68 + -47. Let y(g) = 1 - 4*g + l*g + 16*g. Is y(3) a multiple of 26?
False
Let w(t) = -342*t + 135. Is w(-2) a multiple of 21?
True
Let c(t) = 6*t**2 - 9*t - 3. Let x be c(9). Let m be x/4*(-4)/(-6). Let q = m + -43. Is 8 a factor of q?
True
Let g = 222 - 58. Is g a multiple of 47?
False
Is 35 a factor of (-8)/(-6) - 58736/(-48)?
True
Suppose 2*x - 1704 = 4*y, -27*x + 32*x + 2*y = 4296. Does 26 divide x?
True
Suppose 0 = -4*a - 3*y + 7897, 3*y - 7*y = -6*a + 11854. Is 25 a factor of a?
True
Is 8 a factor of 2 + -2 + -598*(-10)/5?
False
Suppose 14*o - 817 - 1773 = 0. Does 30 divide o?
False
Let f(m) = -7*m + 0*m + 3*m + 4. Let r be 2/5 - (-189)/(-35). Does 16 divide f(r)?
False
Let x be 6 - 6 - (1 - (-129 + 0)). Let o = -64 - x. Is 11 a factor of o?
True
Let a(h) be the second derivative of h**4/12 + 11*h**3/6 + 7*h**2 - 5*h. Is 4 a factor of a(-11)?
False
Let g be 1/(-3)*(-166 - 5). Let u = 69 - g. Does 3 divide u?
True
Suppose -2*j - 4*v = 3*j - 1945, 3*v - 1170 = -3*j. Does 35 divide j?
True
Let h = 365 - 80. Does 15 divide h?
True
Let y(f) = 7*f - 10. Let a be y(11). Suppose 0*z = z + r - a, 207 = 3*z + 5*r. Does 30 divide z?
False
Let r be (312/(-10))/(15/(-50)). Suppose -r = 29*c - 25*c. Let t = -18 - c. Does 6 divide t?
False
Is 31233/18 - (0 - (-3)/18) a multiple of 26?
False
Let a(p) = -p**3 - 4*p**2 + 3*p - 6. Let i be a(-5). Suppose 2 = -o, 0 = -2*r - 3*r - i*o + 17. Suppose 0 = -r*s + 47 + 103. Is 9 a factor of s?
False
Suppose 4*z + 13*z = 8092. Does 14 divide z?
True
Let x = 1098 + -599. Suppose -4*w - x = -5*c - 99, -c + 51 = 5*w. Is 5 a factor of c?
False
Let r = 9272 - 5510. Is 19 a factor of r?
True
Let w be 4/8 - (-134)/4. Suppose v - 97 = -w. Is 7 a factor of v?
True
Let a = -53 + 56. Let h(p) = -p**3 + 5*p**2 + 3*p - 2. Is 4 a factor of h(a)?
False
Let o = 15 - 21. Let p be ((-987)/6)/7*o. Suppose b + 3*j = 13, -5*b + 0*j = -4*j - p. Is b a multiple of 25?
True
Suppose -11*c + 9153 = -4311. Is c a multiple of 102?
True
Suppose -4*s + 2*s + 2689 = -5*l, 2*l = -3*s + 4043. Suppose 5*k + 0*k + s = 3*r, 2*k + 544 = -4*r. Is 14 a factor of ((-10)/(-25))/((-2)/k)?
False
Let o = 575 - 425. Is 57 a factor of o?
False
Let a = 347 + -247. Does 16 divide a + 5/(5/7) + -3?
False
Suppose -2*p = -4*p - 2. Let w be (p + 8/20)*5. Let g(a) = -14*a - 10. Does 20 divide g(w)?
False
Let w = -45 - -212. Suppose -3 = -b + 5*x + w, 5*b - 5*x = 910. Is 50 a factor of b?
False
Suppose 3*i - 37 = 5*k, i - 14 = -4*k + 4. Let u = i + -12. Suppose -10 = -u*d - z, -d - 4*d - z + 31 = 0. Is 7 a factor of d?
True
Let o(h) = -h**2 + 1. Let r(k) = -k**2 - 3*k + 10. Let s(z) = -3*o(z) + r(z). Let m(t) = -2*t**2 + 67*t - 90. Let v be m(32). Is s(v) a multiple of 29?
False
Let x = -793 + 1222. Is 6 a factor of x?
False
Suppose -3*c - 840 = -4*g, -6*g + 2*g - c = -840. Suppose -l = 5*m - g, -2*l - 4 = -2*m + 80. Is 14 a factor of m?
True
Suppose -6*o + 2*o + 5*m + 392 = 0, 2*o = m + 190. Let u(l) = 3*l + 1. Let a be u(1). Suppose -a*h = -o - 63. Is h a multiple of 5?
False
Suppose 5*x = j + j + 432, j + 431 = 5*x. Let f = -15 + x. Is 16 a factor of f?
False
Let h(z) = -z**2 - 4*z**2 - 4*z**2 + 11 - 7*z + z**3. Let g be (-16)/(-6)*(-12)/(-16) + 8. Is 14 a factor of h(g)?
False
Let z(v) = v**2 + v - 1. Let p(i) = -2*i**2 + 3*i - 20. Let f(l) = -p(l) + 2*z(l). Is 6 a factor of f(4)?
True
Let s(i) = -i**3 - 24*i**2 - 2*i - 6. Is s(-24) a multiple of 7?
True
Let i(s) = 4*s + 32. Let l be i(-8). Suppose 3*p = -u + 349, l*p = p + u - 119. Does 23 divide p?
True
Let h(j) = -2*j + 10. Let t be h(8). Let r be 2 + -4*(-3)/t. Is 8 a factor of -29*(r + -1) - -3?
True
Let m = 13 - -78. Is 4 a factor of m?
False
Let w(d) = -d**2 - 7*d - 4. Let n be w(-6). Suppose -m + 4*v + 51 = 0, -3*m + 5*v + 55 = -n*m. Is m a multiple of 9?
False
Let c(s) = s**3 + 4*s**2 + 420. Is 28 a factor of c(0)?
True
Suppose 10*k = 5*k + 2000. Is 25 a factor of (((-15)/(-6))/(-5))/((-2)/k)?
True
Let k = 1027 + 511. Is 50 a factor of k?
False
Suppose 4*a - 351 - 801 = 0. Suppose -4*v - 60 = -a. Does 14 divide v?
False
Let d = -2 - -9. Let r = -7 + d. Suppose r = 2*k + k - 114. Is k a multiple of 10?
False
Let p = 2016 - 1136. Does 16 divide p?
True
Let k(p) = -4*p + 6. Does 35 divide k(-16)?
True
Let m(q) = -q**2 - q. Let b be m(0). Suppose g + 0*g = 4*d - 45, -d - 5*g = -6. Suppose 2*l - 3*l + d = b. Is l a multiple of 8?
False
Suppose 0 = -7*b - 771 - 1084. Let d = -145 - b. Is d a multiple of 20?
True
Let n be 16/(-12)*(-63)/12. Suppose -n*a + 4*a + 93 = 0. Is 10 a factor of a?
False
Let n be (-80)/(-6)*((2 - 3) + 4). Suppose -5*y = -3*y - n. Is y a multiple of 3?
False
Suppose -5*x - 2*p + 1960 = 0, -2*x - 3*p + 0*p = -795. Suppose 4*t + x = 17*t. Does 6 divide t?
True
Let w(i) = -7*i**3 - 7*i**2 + 34. Let p(s) = -8*s**3 - 8*s**2 + 33. Let y(f) = -6*p(f) + 7*w(f). Does 10 divide y(0)?
True
Suppose 0 = 17*i - 13*i - 112. Let u = -9 + i. Does 14 divide u?
False
Suppose -4*n + 0*n = -8. Suppose 2*h + 13*h - 30 = 0. Suppose -170 = -4*b + 3*z, n*b = h*z - 15 + 101. Does 21 divide b?
False
Let t = 31 - 29. Suppose -t*z - 320 = -6*z. Is z a multiple of 20?
True
Let v(j) = j**2 + 11*j - 17. Let n = -17 + 3. Let z be v(n). Suppose b = 2*b - z. Does 5 divide b?
True
Suppose -3 = -7*f + 4. Let d be f/(3/6)*10. Suppose -s = s - d. Does 6 divide s?
False
Is 6 a factor of (-2)/7 + (-1251666)/(-819)?
False
Suppose 0 = a - 5 - 8. Suppose -2*y - i - 7 - a = 0, -3*i = -6. Let t(g) = -8*g + 13. Is t(y) a multiple of 19?
False
Let k(l) be the second derivative of 0*l**2 + 1/20*l**5 + 0 + l**4 - 5/6*l**3 + 3*l. Is k(-12) a multiple of 9?
False
Let b = -126 - -2. Let h = 461 + b. Suppose 4*k = -5*i + 4*i + h, 141 = 2*k - 5*i. Is k a multiple of 29?
False
Let h(y) = -y - 2. Let q be h(-4). Suppose 3*i + q*i - 17 = -l, -5 = -5*i - 5*l. Is i a multiple of 4?
True
Let b(m) be the third derivative of -m**5/60 + 5*m**4/12 + m**3/6 - 6*m**2. Is b(9) a multiple of 6?
False
Let q = 1 + -1. Suppose q = -4*y + 41 + 175. Is 14 a factor of y?
False
Let u be ((-2)/3)/((-2)/171). Let i = -20 + u. Suppose -44 = -3*v + i. Does 8 divide v?
False
Suppose -908 = -8*l + 1332. Let o = l - 126. Is 15 a factor of o?
False
Suppose -5*x - 245 = -10*x. Suppose 336 = x*l - 43*l. Is 14 a factor of l?
True
Suppose -2*k - 2*k = -96. Suppose -k = -5*c + 21. Is c a multiple of 3?
True
Let q = 22 - 29. Let c be 231/q + 5 + -2. Let b = -14 - c. Does 5 divide b?
False
Suppose -5*a + 0*a - 100 = 0. Let p = a + 21. Is 8 a factor of -9*(p + (-4)/2)?
False
Let w(i) be the second derivative of -1/3*i**4 - 1/20*i**5 - i**3 + 1/2*i**2 - 3*i + 0. Does 12 divide w(-4)?
False
Let g(h) = -257*h + 14. Let c(l) = -86*l + 5. Let q(m) = 8*c(m) - 3*g(m). Let a be q(1). Let p = -55 + a. Is 13 a factor of p?
True
Suppose 820 = 5*q - a, -5*q + 496 = 3*a - 324. Suppose -4*b = 4*y - q, 2*b + 5*y + 200 = 6*b. Does 15 divide b?
True
Let b be (1*(-3 - -2))/(-3)*243. Suppose -b = -3*w - 6. Is 9 a factor of w?
False
Let k(t) be the first derivative of t**3/3 + 11*t**2/2 - 2*t - 7. Is 12 a factor of k(-13)?
True
Suppose 17*a - 2598 - 1567 = 0. Is a a multiple of 49?
True
Let z(p) = p**3. Let y(q) = 4*q**3 - 12*q**2 + q + 16. Let n(b) = -y(b) + 3*z(b). Is 19 a factor of n(11)?
False
Suppose 10*u - 15*u + 10 = 0. Suppose -3*r = u*r - 115. Is 3 a factor of r?
False
Let m(w) = 4*w + 52. Is m(3) a multiple of 16?
True
Let p(c) = -c + 16. Suppose -2*g - g = -12, n - 5*g = -10. Let h be p(n). Suppose 0 = -h*w + 2*w + 208. Does 7 divide w?
False
Suppose -4*u = -2*v, -3*u - 3*v - 9 = -0. Let x be -3 + 65/1 - u. Let k = -36 + x. Is 9 a factor of k?
True
Let x(g) = 6*g - 45. Let f be x(6). Let l(z) = 3*z**2 + 9*z + 17. Is l(f) a multiple of 26?
False
Let h(l) = 20*l**3 - 4*l**2 + 3*l + 5. Is h(2) a multiple of 24?
False
Suppose -4*z + 3*m - 2*m + 970 = 0, 4*z - 3*m - 974 = 0. Is z a multiple of 7?
False
Let q = 11 - 6. Suppose -q*n = -2*n + 3. Does 11 divide 1008/35 + n/(-5)?
False
Let f = -76 - -107. Is f a multiple of 16?
False
Let d(v) = -2*v + 14. Let y be d(6). Suppose y = n + 7, 0 = 4*a + n - 211. Is 9 a factor of a?
True
Let w(a) = -a**2 + 12*a + 52. Is 2 a factor of w(14)?
True
Suppose 0 = -3*o - 0*v + 4*v + 31, -5*o = -2*v - 33. Suppose -o*f + 17 = 2, -n = -4*f - 52. Is 8 a 