le of 2?
False
Suppose -10*q + 11*q = 0. Suppose -4*a = 3*n - 339, n = 5*a - q*a - 419. Does 28 divide a?
True
Let u be 2*((-2)/(-4) + -1). Let r(y) = 35*y**3 - 17*y**2 + y - 4. Let t(k) = 9*k**3 - 4*k**2 - 1. Let n(i) = 2*r(i) - 9*t(i). Is n(u) a multiple of 6?
True
Let a(t) be the second derivative of -t**3/6 + 38*t**2 - t. Does 19 divide a(0)?
True
Suppose 2*g + 3 - 7 = 0. Let d be 5 - ((-3)/((-12)/8))/2. Suppose d*u = g*u + 24. Is u a multiple of 12?
True
Let q = -6 - -2. Let l(c) = c**2 + 6*c + 6. Let f be l(q). Let m = 5 + f. Does 2 divide m?
False
Suppose -4*s + 18 = -s + 3*x, 0 = 3*x - 15. Let p(z) = 64*z**3 - 2*z + 1. Let t be p(s). Suppose -2*b = 7 - t. Is b a multiple of 14?
True
Let x = -48 - -69. Is 4 a factor of x?
False
Let f(s) = -s**3 + 13*s**2 - 20*s + 19. Is f(11) a multiple of 13?
False
Is ((-72)/(-16))/(6/56) a multiple of 14?
True
Let u(k) = -k**2 - k + 6. Let p be u(-2). Let s(v) = -v**3 - 4*v**2 + 6*v + 7. Let m be s(-5). Suppose -m*c + p*c = 24. Is 9 a factor of c?
False
Suppose 2729 = 15*q - 571. Does 10 divide q?
True
Let d(j) = 4*j**2 - 3*j + 2. Let z be 5/(50/(-8))*5. Let r be d(z). Suppose 5*x - 130 = -4*c + r, -2*c - 116 = -3*x. Is 20 a factor of x?
True
Let a = 6 - 4. Suppose s - a = 9. Is 11 a factor of s?
True
Let y(q) be the third derivative of -q**7/840 + q**5/120 + q**4/8 - q**3/2 - 2*q**2. Let a(h) be the first derivative of y(h). Does 22 divide a(-4)?
False
Suppose -4*o + 3*a = -22, -5 = -o + 3*a + 5. Suppose -4*d = -589 + 133. Suppose -z - d = -o*z. Is 19 a factor of z?
True
Let k(y) = 4*y**2 + y - 1. Let n be k(1). Suppose -n*x + 25 - 9 = 0. Suppose -m + x*m = 54. Does 9 divide m?
True
Let n(c) = 4*c**2 - 4*c - 3. Is n(4) a multiple of 6?
False
Let g(u) = 3*u**3 + u**2 - u - 2. Let w be g(2). Suppose 90 = -5*d + 5*n, 2*d + n + w = -n. Let x = -8 - d. Does 4 divide x?
False
Is 10 a factor of ((-6)/7)/((-5)/2100)?
True
Let o(n) be the first derivative of n**3 + n**2/2 - 2*n + 6. Is 13 a factor of o(5)?
True
Let s(k) = 3*k + 7. Let x(d) = d + 1. Let n(g) = -s(g) + 2*x(g). Let v be n(-6). Suppose 61 = 2*r + v. Is 11 a factor of r?
False
Let p = 163 + -27. Does 34 divide p?
True
Let f(d) = d**2 + 3*d + 5. Is 21 a factor of f(7)?
False
Suppose 0*b + b = 2. Suppose 4 = b*v - 26. Is 15 a factor of v?
True
Let c be (-1 + 7)/(0 + 2). Is 36 - (0 - -1 - c) a multiple of 15?
False
Suppose 4*o - 22 = 5*i + 133, -i - 220 = -5*o. Does 15 divide o?
True
Let f(c) = -c**2 + 8*c - 3. Let w be f(8). Let g(x) = x**2 + 3*x. Let d be g(w). Suppose d + 3 = q. Does 3 divide q?
True
Let j = 4 - 10. Is 8*(-2 - 39/j) a multiple of 12?
True
Suppose 2*p + 52 = 6*p. Suppose -127 = -3*b - p. Does 19 divide b?
True
Is 8 a factor of -4*(-2 - (-18)/(-8))?
False
Suppose -2*k - 4*k + 222 = 0. Does 37 divide k?
True
Suppose -4*d + 0*d - w = -44, w = -4. Is d a multiple of 3?
True
Let v(c) be the first derivative of 1/3*c**3 - 2*c - 2 + 3/2*c**2. Is 13 a factor of v(-7)?
True
Let o = 24 + -15. Is 3 a factor of o?
True
Suppose 1 + 7 = 2*c. Let f(v) = -v**2 + 6*v - 3. Let j be f(c). Suppose 3*x - 4*d = 5*x - 20, -j*x - d + 32 = 0. Is x a multiple of 6?
True
Suppose 3*t - 24 + 3 = -3*x, 0 = 4*t - 3*x - 7. Does 2 divide t?
True
Let i = 168 - 116. Does 13 divide i?
True
Let d(x) = x**3 - x**2 + 2*x + 2. Let m(y) = -y - 2. Let g be m(-4). Let o be g/(-10) - (-32)/10. Is 13 a factor of d(o)?
True
Let b(j) = 7*j - 5. Let z be b(7). Suppose 2*o + d + d - z = 0, 0 = 5*o - 3*d - 94. Is 8 a factor of o?
False
Suppose 18 = 7*r - 17. Does 2 divide r?
False
Suppose 659 = 5*w + 4*s, 17 = -3*s + 5. Does 45 divide w?
True
Suppose 4*u - 3*u - 29 = 0. Is 5 a factor of u?
False
Let r be (10/3)/(2/(-6)). Let i(h) = h**3 + 10*h**2 - 3*h + 6. Does 12 divide i(r)?
True
Let q(b) = -b - 16. Let d be q(-10). Let n = 0 - d. Is 3 a factor of n?
True
Suppose -5*o + 185 = -4*o. Does 20 divide o?
False
Suppose 25 - 9 = -4*n. Let f = n + 21. Is 17 a factor of f?
True
Is 8 a factor of -38*((-24)/6 + (-21)/(-6))?
False
Suppose -234 = b - 7*b. Is 19 a factor of b?
False
Is 1*21 - (-6 + 4) a multiple of 11?
False
Let y = -95 - -109. Is y a multiple of 14?
True
Suppose 6 = 2*f, 2*l + 0*l + 2*f - 78 = 0. Is 6 a factor of l?
True
Suppose 3*d + d - 64 = 0. Is d a multiple of 8?
True
Let f(i) be the second derivative of 0 + i + 0*i**4 + 13/10*i**5 + 0*i**2 + 0*i**3. Is 13 a factor of f(1)?
True
Suppose -382 = -5*k + 5*r + 253, -k - 2*r + 142 = 0. Is k a multiple of 12?
True
Suppose 3*z + 14 = 44. Let m = 20 - z. Is 5 a factor of m?
True
Suppose 0 = x + 44 - 0. Suppose 0 = n + 4*n + 3*t + 121, 0 = 4*n + t + 101. Let g = n - x. Is 9 a factor of g?
True
Suppose -2*b - 8 = 2*l - 5*b, -l + 14 = 3*b. Suppose 2*k + 8 = -3*v + 21, -v + l*k = -7. Is 5 a factor of v?
True
Suppose 960 = 4*k + 5*r, 0 = -k + 4*k - 3*r - 720. Is 10 a factor of k?
True
Let a(g) = -g**2 - 12*g - 4. Does 12 divide a(-6)?
False
Suppose -5*l + 162 = -13. Is 35 a factor of l?
True
Let f(b) = 4*b - 24. Let i be f(16). Let j = i + -21. Is 11 a factor of j?
False
Suppose 30 = -p - 5*k, -2*p + 2*k + 3*k - 60 = 0. Is 8 a factor of (p/(-8))/(8/64)?
False
Is 3 a factor of (4/6)/(38/2451)?
False
Let t(z) = -35*z - 63. Does 11 divide t(-7)?
False
Let u(g) = -2*g + 2. Let m be u(5). Does 5 divide (-102)/m - (-4)/16?
False
Let z(n) = -23*n**3 - n**2 - 6*n + 6. Let b(o) = 24*o**3 + o**2 + 5*o - 5. Let k(y) = 6*b(y) + 5*z(y). Does 10 divide k(1)?
True
Suppose 141 = 6*s + 9. Let z = s + 17. Does 9 divide z?
False
Suppose -7*z = -10*z + 54. Is z a multiple of 6?
True
Is 4/((-44)/12 - -3)*-42 a multiple of 23?
False
Suppose 0 = -2*z - 2*z + 5*q + 191, -3*q = -2*z + 93. Is 27 a factor of z?
True
Let a(s) = s**3 - 4*s - 7. Is a(3) a multiple of 3?
False
Let o(k) = k**3 - 6*k**2 + 6*k + 4. Let m be o(5). Let h = m + -1. Is h a multiple of 8?
True
Suppose 0 = 3*o + 17 - 125. Suppose 0*y + o = 3*y. Does 6 divide y?
True
Let b be 5/((-6)/4 + 2). Let o be (-964)/b - 2/(-5). Let m = o - -137. Does 14 divide m?
False
Let d be 2 + 2 + 0 + -1. Suppose d*j + n + 17 = -3*n, 4*n + 16 = -4*j. Does 10 divide (j - 19)/((-12)/18)?
False
Let z = -1 - -3. Let b(l) = -5 - z*l - 3*l + l. Is 4 a factor of b(-4)?
False
Let f(g) = g - 1 - 11*g + g**2 + 5. Is 15 a factor of f(11)?
True
Let b(v) = -v**2 - v - 1. Let i(u) = 44*u**2 + u - 2. Let a(m) = -b(m) + i(m). Is a(1) a multiple of 14?
False
Suppose -3*s - 4*p + 63 = -p, -p + 65 = 3*s. Is 11 a factor of s?
True
Let a(g) = g - 1. Suppose -r = -0 - 5. Let j be a(r). Suppose -j = -3*x + 20. Does 8 divide x?
True
Let f = 3 + -3. Suppose -2*t + f*t = -6. Let q(v) = -v**3 + 5*v**2 - v - 2. Is 13 a factor of q(t)?
True
Let a(b) = 2*b**2 + 1. Let q be a(-4). Let z = -154 - -217. Let c = z - q. Does 15 divide c?
True
Let m be 147/(-4) + (-9)/(-12). Let u be (4/(-8))/(2/m). Let q = u - -11. Is q a multiple of 10?
True
Suppose 11*f = 7*f + 92. Does 23 divide f?
True
Let a(y) = y**2 - 8*y - 6. Let g be a(7). Let l = g + 31. Is 9 a factor of l?
True
Suppose 4*s - 62 = -6. Let m = s - -32. Is m a multiple of 7?
False
Suppose -4*f - 2*t - 32 = 0, 4*f + f + 50 = -5*t. Let m = f - -42. Is 18 a factor of m?
True
Suppose 0 = -3*o + 61 - 10. Suppose 4*l - 105 = -o. Is l a multiple of 8?
False
Suppose -17 = d - 2*d. Does 17 divide d?
True
Let h(u) = -3*u**2 - 25*u - 10. Let v(m) = -m**2 - 12*m - 5. Let l(y) = 2*h(y) - 5*v(y). Is 7 a factor of l(8)?
True
Let p = 2 + 6. Suppose -5*f + 113 = 3*o, -p*o - 4*f = -3*o - 184. Suppose 0 = -x - x + o. Is 9 a factor of x?
True
Is (-4)/38 - 800/(-19) a multiple of 14?
True
Suppose k = -4*o + 1517, -3*o - 5*k + 1505 = o. Is o a multiple of 23?
False
Let q(g) = -g**2 + 10*g - 6. Let h be q(9). Suppose h*f + 3 = -0. Let d(i) = 11*i**2 - 2*i - 1. Is d(f) a multiple of 12?
True
Let u(p) = p**2 - p - 4. Let a be u(3). Suppose -2*n - a*n = -120. Is 14 a factor of n?
False
Let u(i) = 15*i**2 - i + 1. Let x be u(1). Let z(a) = -a**3 - 7*a**2 - 6*a + 2. Let m be z(-6). Suppose m*c + 2*h = 3*c - 1, -5*h - x = -5*c. Is c even?
False
Let j(c) = -c**3 + c + 180. Does 45 divide j(0)?
True
Is (-1704)/(-60) + 6/10 a multiple of 12?
False
Is (-11)/(-12)*3*8 a multiple of 10?
False
Suppose 6*j - 3*j + 6 = 3*o, -8 = 3*j - 5*o. Suppose -x - 40 = -5*x. Let n = j + x. Is n a multiple of 4?
False
Let v(b) = 2*