5*o + 740. Suppose -a*t = -13*t + o. Does 13 divide t?
False
Does 9 divide (-2 - -6)*-1 + 76?
True
Suppose -11*n = -5*n - 942. Does 11 divide n?
False
Suppose -87*l + 1820 = -67*l. Is 10 a factor of l?
False
Does 25 divide -2*54/48*-200?
True
Let i(t) = t**3 + 6*t**2 + 4. Let k be i(-6). Let x be (15/(-10))/(2/k). Let r(z) = -3*z**3 - 3*z**2 - 4*z - 3. Does 21 divide r(x)?
True
Suppose -54 = -186*f + 180*f. Is 2 a factor of f?
False
Suppose -27 = 5*m + b + 18, 0 = -m - 3*b - 23. Let a = 26 + m. Is 9 a factor of a?
True
Suppose 0 = -2*f + 4*b + 8, -4*f = -2*b + 17 - 51. Suppose f*d + 180 = 13*d. Does 20 divide d?
True
Let j(d) = d**3 - 17*d**2 - 17*d - 10. Let f be j(18). Let p(y) be the second derivative of y**3/6 + 9*y**2/2 - y. Is p(f) a multiple of 14?
False
Let w(a) = a**2 + 5*a - 3. Let s be w(-8). Let k be -20*(0 - s/5). Suppose 4*r - k = -0*r. Is 4 a factor of r?
False
Is 19 a factor of (-4)/(-44) - (-2919)/77?
True
Let l(t) be the second derivative of t**4/12 - t**3 + 11*t**2/2 - 5*t. Is l(8) a multiple of 18?
False
Suppose 10 = -2*b - 0*b. Let j = b - -8. Is 28 a factor of -2 - ((-9)/j - 60)?
False
Let w = -35 + 154. Is w a multiple of 3?
False
Let h(o) = -1 - 2*o + 3*o + o**2 - o. Does 5 divide h(6)?
True
Suppose 2859 = 19*w - 865. Is w a multiple of 28?
True
Let x(p) be the second derivative of -p**5/10 - p**4/3 - 3*p**2/2 + 4*p. Is 13 a factor of x(-3)?
False
Suppose -74*w = -30614 - 6238. Is 10 a factor of w?
False
Let l = -12 + 36. Suppose h = -5*r + l, -3*r + 2*h = 2*r - 12. Suppose -s - r*s - 185 = -4*z, 4*z - 2*s - 170 = 0. Is 21 a factor of z?
False
Let y(q) = -10*q - 10. Let t = 4 - -15. Let j = -26 + t. Is 12 a factor of y(j)?
True
Let g = 779 + -299. Is 30 a factor of g?
True
Let p = 74 - 76. Let c = 17 + p. Does 5 divide c?
True
Is 14 a factor of 4470/(8 + 2) - (-1 + 0)?
True
Does 10 divide (-800)/(2*(3 - 175/56))?
True
Let b(z) = 89*z**2 + z + 10. Is b(-3) a multiple of 30?
False
Suppose -5*a - 3*p = -6*a + 1611, p = -5*a + 8087. Is a a multiple of 21?
True
Suppose -34*g + 2011 = -2171. Is 4 a factor of g?
False
Let o(t) be the second derivative of 12*t**2 - 12*t**2 - t - 7*t**3. Is o(-2) a multiple of 28?
True
Suppose 5*h + 62 = 4*y - 283, 4*y - 342 = 2*h. Is 5 a factor of y?
True
Let t = -774 - -1278. Does 42 divide t?
True
Let w = -25 + 43. Let r be 1/(33/w - 2). Let h(s) = s + 16. Does 4 divide h(r)?
False
Suppose -4*v = -3*w - 27, -19 = 2*v - 0*v + 5*w. Suppose 0*s + 74 = 4*f - s, 0 = -v*f + 2*s + 53. Is 2 a factor of f?
False
Suppose 3841 - 16360 = -107*y. Is y a multiple of 3?
True
Suppose 4*r + 4*r - 816 = 0. Does 51 divide r?
True
Let i = -81 - -328. Does 19 divide i?
True
Let i(j) = 6*j + 0*j + 34 - 4*j + 0*j. Is i(-8) a multiple of 16?
False
Suppose -440 - 180 = -5*j. Suppose 2*k = 13*k - 737. Let h = j - k. Is 9 a factor of h?
False
Suppose n + 2*v = 21, -3*n - v + 68 = -0*v. Let p(l) = -l**2 - 4*l + 1. Let b be p(-6). Let c = b + n. Does 12 divide c?
True
Let r(t) = t**3 + 6*t**2 - 5*t + 15. Let p be r(-7). Let y(w) = 134*w. Let a be y(p). Let d = a + -50. Is d a multiple of 11?
False
Let q = -8 + 11. Suppose -3*r + 4*z = q + 21, r + 8 = z. Is 8 a factor of (-348)/(-22) + r/(-44)?
True
Let y be -2 - (-3 - 1) - 0. Suppose 2*x - 6 = -y*f, 15 = -x - x + 5*f. Suppose -30*b + 31*b - 40 = x. Is b a multiple of 20?
True
Let n(j) = j**2 - 10*j + 4. Let u be n(9). Let m = 7 + u. Suppose m*g + g = 114. Does 19 divide g?
True
Is (12 - 7020/(-12)) + -12 a multiple of 39?
True
Let r(y) = 21*y**2 + 6*y - 54. Is r(4) a multiple of 20?
False
Suppose 5*p - 25 = -5*h, 17 = 4*h + 3*p - 0. Suppose -3*o - h*o = -20, -j + o = -37. Does 10 divide j?
False
Let j = -4 + 4. Suppose 5*l - 6*l + 2 = j. Suppose 7*u - 120 = l*u. Is u a multiple of 12?
True
Suppose x - 5*t = 39, 0*x - 5*t + 45 = 5*x. Suppose x = -109*q + 110*q. Does 7 divide q?
True
Suppose 0 = h + 4*z - 16, 6*z + 32 = 2*h + z. Suppose 0 = 3*f + h - 214. Let o = -32 + f. Is o a multiple of 12?
False
Let b = -1052 - -1491. Is b a multiple of 13?
False
Let x = 143 - 60. Suppose -4*h + x = p, -4*h - 26 = -5*h - 2*p. Is 2 a factor of h?
True
Let b(u) = -3*u**3 + 5*u**2 - 7*u + 5. Let d(t) = -13*t**3 + 19*t**2 - 29*t + 19. Let i(s) = 9*b(s) - 2*d(s). Does 13 divide i(6)?
True
Suppose -5*r = 3*n + 30, -2*r = 2*n + 9 + 7. Is 4 a factor of 3 - (-1)/((-1)/n)?
True
Let g(b) = -1. Let d(a) = 3*a**2 - a - 4. Let y(u) = d(u) - g(u). Let z be 330/90 + 0 + (-2)/3. Does 8 divide y(z)?
False
Let l(i) be the first derivative of 31*i**2/2 - 2*i - 1. Suppose -55*c + 51*c + 8 = 0. Is l(c) a multiple of 15?
True
Suppose 110 = -3*b + 38. Let k be 193/(-4) - 6/b. Is (-2220)/k + (-2)/8 a multiple of 23?
True
Let x(v) = 3*v**2 - 7*v - 3. Let i be x(3). Let d(m) = m**2 + 13*m - 7*m + 9*m + i*m. Does 19 divide d(-19)?
True
Suppose 117*g - 18*g = 1485. Is 2 a factor of g?
False
Let u(c) = -c**3 - 10*c**2 - 13*c - 16. Suppose -3*g - 2*t - 16 = 7, -5*g - 35 = 5*t. Does 4 divide u(g)?
True
Let g = 25 - 25. Let b be 0 - (0 - (3 + g)). Suppose -b*f + 70 = 2*a, -2*f + 62 = 2*a - 3*f. Does 32 divide a?
True
Let a(n) = n + 17. Let h be a(-15). Suppose d = l + 24, -d - 8 + h = 5*l. Does 5 divide d?
False
Let g(u) = u**3 + 8*u**2 + 10*u + 8. Let m(v) = -v**3 + 4*v**2 - v - 2. Let y be (4 - -3) + (-6)/2. Let k be m(y). Does 10 divide g(k)?
True
Let x = 1308 + -610. Does 51 divide x?
False
Suppose -6159 + 1697 = -46*q. Does 50 divide q?
False
Suppose -10 = s - 163. Suppose -4*w - 5*x = -s, 3*w + 0*x - 116 = -4*x. Is w a multiple of 32?
True
Let l(j) = j**2 + 2*j - 13. Let d = -33 - -36. Let c be (14/2)/(3/d). Does 22 divide l(c)?
False
Let z = 251 + -88. Does 10 divide z?
False
Is 9 a factor of ((-612)/(-10))/(13/(67 + -2))?
True
Let k(c) = c**3 - 2*c**2 - 3*c + 610. Is 19 a factor of k(0)?
False
Let z(m) be the first derivative of m**7/840 + m**6/72 - m**5/40 - m**4/24 - m**3/3 - 2. Let o(l) be the third derivative of z(l). Is 6 a factor of o(-5)?
False
Let m be (-12)/36 - (-326)/6. Let l(o) = -6*o - 5. Let h be l(5). Let k = m + h. Is 13 a factor of k?
False
Let f(c) be the first derivative of 2*c**3/3 + 12*c + 29. Is f(-5) a multiple of 31?
True
Let h = 15 + -11. Let r(j) = 2*j**2 + 5*j + 6 + 0 - 7*j. Does 10 divide r(h)?
True
Does 48 divide (42 + -2601)/(1 + -4)?
False
Let q(j) = -j**3 + 2*j + 5. Let i be q(0). Suppose -i*v + v = -116. Is v a multiple of 20?
False
Suppose -3*x + 4116 - 768 = 0. Is 9 a factor of x?
True
Let m(f) = 2*f + 21. Let v be m(-9). Is 15 a factor of 3*((3 - v) + 35)?
True
Suppose 44*v + 1836 = 50*v. Is v a multiple of 51?
True
Let l = 57 + -52. Suppose l*q + 7*d - 3*d - 341 = 0, 4*d = -2*q + 146. Does 7 divide q?
False
Suppose -3*a - 8 = -5*a. Suppose 5*p - a*u = 819, u + 164 = -0*p + p. Let s = -84 + p. Is 24 a factor of s?
False
Suppose 3*i - 3 - 5 = -g, 0 = -2*i + 5*g + 11. Suppose 2*d + d + 5*j = 44, -4*d - 2*j + 40 = 0. Let r = d - i. Is r a multiple of 5?
True
Let y = -135 + 293. Suppose -y = -l - 43. Let i = l + -66. Does 12 divide i?
False
Suppose -3*h - 99 = -0*h. Let y = h + -100. Is 10 a factor of y/(-2) - (-24)/16?
False
Suppose -3*v - 5*l = 9, -7 = 3*v + 4*l - 1. Is 11 a factor of (v/5)/((-7)/(-455))?
False
Let p(a) = -a**3 + 7*a**2 - 7*a. Let x(y) = -y + 5. Let k be x(0). Let v be p(k). Suppose -h - 4*c + v = 0, -2*h + 2*c + 114 = 2*h. Is 9 a factor of h?
True
Let g(d) = -3*d. Let j(r) = -23*r + 2. Let n(s) = -24*g(s) + 3*j(s). Is 3 a factor of n(2)?
True
Let m(w) = w + 1. Let z(b) = -b**3 - 6*b**2 + 3*b + 8. Let t(k) = 5*m(k) - z(k). Does 6 divide t(-5)?
True
Let x = 35 - 33. Suppose 5*a - d - 124 = 20, -a + 20 = x*d. Let c = 44 + a. Is c a multiple of 25?
False
Suppose -4*y - 5*m = -14, -2*m = y - 3*y + 16. Suppose -4*z + 5 + 3 = 0. Is (4 - y) + (z - -16) a multiple of 4?
True
Suppose -3*q - p = -11, 0*q - 10 = -2*q + 2*p. Suppose -j = 5*o + q*j - 1950, 3*o + j = 1168. Is o a multiple of 17?
False
Let r be (2301/(-51) + 8/68)*-1. Suppose 72 = m - r. Is 9 a factor of m?
True
Suppose -2*a + 2*m = 66, 4*a + 143 = 5*m + 11. Let g = -25 - a. Is 2 a factor of g?
True
Let y = -5 + 13. Suppose -3*b + 0*b + 3*h = 24, 3*b + h + y = 0. Is 4 a factor of b/14 - (-279)/21?
False
Let s(n) = -n - 6. Suppose -17 = 2*i - 1. Let u be s(i). Is 30 a factor of 4/u - (-210)/3?
False
Sup