 x + 2*p. Is 14 a factor of x?
True
Is (-972)/(-30) + (-9)/(-15) a multiple of 15?
False
Let q(i) = -46*i**3 + 2*i**2 - 1. Let b be q(1). Is -2*(-4)/((-12)/b) a multiple of 10?
True
Suppose -3*p = -3 - 9. Suppose 30 = 3*h - 2*y - 11, p*h = 2*y + 58. Is h a multiple of 10?
False
Let w be 2*2*(-2)/(-4). Is (-105)/(-5 + w) - -1 a multiple of 14?
False
Let u(s) = -7*s**2 - s + 3. Let x be u(-4). Let b = -55 - x. Is 13 a factor of b?
False
Let p = -6 - 24. Let y = -21 - p. Is y a multiple of 8?
False
Is (-12)/(-2*(-3)/(-16)) a multiple of 18?
False
Suppose v + 0*o + o - 113 = 0, 2*v + 3*o - 221 = 0. Is 10 a factor of v?
False
Let k be (-4)/(-18) + (-129)/(-27). Suppose -2*q = -v - 15, 0*q - 13 = -2*q - v. Suppose -q = -k*a + 48. Is a a multiple of 4?
False
Is 73 + 0 + -3 - 4 a multiple of 22?
True
Suppose 2*v = 8, v + 4 = -3*c + 5*c. Let o(i) = -9*i**2 + 7 + 6 + i**3 - 2*i + c*i. Does 18 divide o(9)?
False
Let c(b) = b - 8. Let g be c(12). Suppose -18 = -k + 3*q - q, 0 = -g*k + 2*q + 90. Is 8 a factor of k?
True
Suppose -63 = -3*v + 36. Suppose 0 = 2*t + t - v. Suppose -37 = -3*n - y + t, -5*y = 3*n - 36. Does 8 divide n?
False
Is 6 a factor of (-2 + 3)/((-1)/(-71))?
False
Let i(d) be the first derivative of d**4/4 - 5*d**3/3 + 3*d**2 - 2*d - 5. Is i(4) a multiple of 3?
True
Suppose v = 5*l - 3*l + 12, 0 = 5*v + 2*l. Suppose -4*g - 2*r = -14 - 138, 5*g + v*r = 191. Let f = g + -27. Is f a multiple of 6?
True
Let t(g) = 6*g - 1. Let w(i) = 18*i - 3. Let u(j) = 7*t(j) - 2*w(j). Let l be u(5). Let a = -5 + l. Is a a multiple of 12?
True
Let j(v) = 5*v**3 + 2*v**2 - 2*v + 1. Let o(w) = w**2 + 3*w - 9. Let l be o(-5). Is 6 a factor of j(l)?
True
Suppose -3*m - 530 = -4*k, -5*k = -2*k - m - 400. Is 18 a factor of k?
False
Let i = 224 - 122. Does 17 divide i?
True
Let z be 5/(-2)*(-4)/5. Suppose -3*b + b - z = 0. Is 11 a factor of (-1)/1 + (-12)/b?
True
Let b(r) = r**2 + 4*r - 4. Let p be b(-6). Let q(k) = 3*k - 56. Let h(i) = i - 19. Let n(x) = 8*h(x) - 3*q(x). Does 4 divide n(p)?
True
Let c be (-1)/(-4) - (-684)/16. Suppose -4*z - 5*i + 2*i + c = 0, -55 = -5*z - 4*i. Is 4 a factor of z?
False
Suppose 45 = -0*p + p. Does 15 divide p?
True
Suppose -2*l = -5*h - 134, 84 = 5*l - 2*h - 230. Is l even?
True
Let w(a) = -a**3 + 3*a**2 - a + 1. Let u be w(3). Let v = 8 + u. Is v a multiple of 6?
True
Is 25/((-5)/(-40*1)) a multiple of 20?
True
Let h(d) = 3 + d - 5*d**2 - 2 + 1 + d**3. Let u be h(5). Suppose -28 - u = -5*a. Is 3 a factor of a?
False
Let t = 11 + -7. Suppose t*v - 13 = 27. Is 6 a factor of v?
False
Let i(z) = 3*z**3 - 18*z**2 - 9*z + 3. Let v(p) = p**3 - 6*p**2 - 3*p + 1. Let k(h) = -4*i(h) + 11*v(h). Let y(r) = -3*r. Let g be y(-2). Does 10 divide k(g)?
False
Suppose 0 = -5*z + 2*x + 78, 4*z - 3*x - 54 = z. Let q = 47 - z. Is 11 a factor of q?
True
Let a be (-29)/(0 - (-1 - -2)). Suppose -3*p = 12, -6*m = -3*m + 5*p + a. Is 11 a factor of (-71)/(-3) - 1/m?
False
Let l be (5/(15/(-1542)))/(-2). Suppose -a - 3*d + 108 = 0, -l = -3*a + 4*d + 93. Suppose 2*h - 10 = -4*k + 18, -a = -5*h + k. Does 11 divide h?
True
Suppose 0*y - 2 = -y. Suppose -3*d - y*f = f - 21, -3*d + 4*f + 49 = 0. Does 5 divide d?
False
Let l(m) = 64*m**2 - 9*m - 4. Let s(f) = 16*f**2 - 2*f - 1. Let a(c) = -2*l(c) + 9*s(c). Is a(-1) a multiple of 15?
True
Let j be 4/(-4 - -2) - -67. Is 3 a factor of (-2)/4 + j/10?
True
Suppose 2*b + 3 = 23. Suppose 2 + 4 = -3*o. Let h = o + b. Is 4 a factor of h?
True
Suppose -a + 6*a - 4*b - 74 = 0, -34 = -3*a + 5*b. Is a a multiple of 6?
True
Suppose 7 = -q - 12. Is -6 + 7 - (-1 + q) a multiple of 7?
True
Suppose 2*q = -0*q. Let s = q + 2. Suppose -105 = -0*j - 3*j + s*m, -5*j - 2*m + 175 = 0. Is 14 a factor of j?
False
Suppose -2*k + 9 = k, -2*l = 3*k + 11. Let h(r) = -r**2 - 8*r + 5. Let y be h(-5). Is 7 a factor of 136/y + (-2)/l?
True
Let x = -28 - -52. Is 24 a factor of x?
True
Suppose 9*o - 8*o = 14. Is 14 a factor of o?
True
Suppose 75 = 2*m + 5*b, m + 84 = 3*m + 2*b. Let l = m + -20. Let g = -11 + l. Is 7 a factor of g?
True
Suppose -22*z + 197 = -21*z. Suppose 2*a = -2*c + 96, -3*c + z = c - a. Is 9 a factor of c?
False
Does 23 divide (27/(-5) - -5) + (-1284)/(-10)?
False
Let y(b) be the first derivative of b**2 - 5*b + 3. Let q be y(4). Is 20 + (5 - q) + -2 a multiple of 9?
False
Suppose 5*w + 1 = -a - 8, 7 = 3*a - 2*w. Does 7 divide ((-2)/(-6))/(a/21)?
True
Let u(m) = 4*m - 34. Is u(12) a multiple of 4?
False
Is 14 a factor of -4 + (-7)/((-42)/780)?
True
Let g = 8 + -3. Let o(r) = r**2 - 3*r. Let y be o(g). Suppose 0*z - 4*u = -2*z + y, -5*z = -5*u - 35. Does 9 divide z?
True
Let l = 182 + -99. Is 8 a factor of l?
False
Let j = 260 - 185. Is j a multiple of 15?
True
Let x = -336 - -470. Does 10 divide x?
False
Suppose -f + 3 = 1. Suppose -f*r + 9 + 19 = 0. Is 10 a factor of r?
False
Let m(z) = -z**3 - 7*z**2 - 10*z - 6. Is 10 a factor of m(-6)?
False
Suppose -4*i = -c, 2 = -0*i - 2*i. Let y = 7 + c. Is 4/6 + 64/y a multiple of 10?
False
Suppose 0 = -5*r - 5*w + 7 - 27, -r + 16 = 5*w. Is 12 a factor of (-3 - r)*(-7)/(-3)?
False
Let l(q) be the first derivative of -q**4/4 + 5*q**3/3 - 9*q**2/2 - 5*q - 1. Let v(y) = y**3 - 1. Let s(k) = l(k) + 2*v(k). Is 11 a factor of s(-6)?
True
Let p be 0 + 4 + (0 - -1). Suppose 2*o - 1077 = -5*u, -4*u = -0*u - p*o - 855. Suppose -u = -2*j - 3*j. Does 15 divide j?
False
Let c(t) = 8*t + 1 + 1 - 3. Does 3 divide c(1)?
False
Let t(g) = 5*g**2 + 14*g + 24. Is t(-10) a multiple of 54?
False
Let d(h) = -5*h**3 - 2*h**2 - 2*h - 1. Let x be d(-1). Suppose -5*b + 7 = -x*t + t, -4*b + 8 = -3*t. Does 10 divide t*(-10)/4 + 3?
False
Let d = -3 - -4. Is (3 - d)/(6/27) a multiple of 3?
True
Suppose -2*i - 5*c = -361, 2*i - 4*c = i + 148. Does 12 divide i?
True
Let h = -12 - -15. Suppose 8*b - 3*b + 46 = 2*m, 0 = h*m - 4*b - 83. Does 15 divide m?
False
Let u(f) = f**2 - 4*f - 1. Let w be u(5). Suppose -w*q = q - 850. Suppose q = -p + 6*p. Is 12 a factor of p?
False
Let l = -172 - -286. Is 38 a factor of l?
True
Let j be (-180)/(-126) + 6/(-14). Let t(c) = 77*c**2 - 3*c + 1. Is t(j) a multiple of 15?
True
Let w(a) = -2*a**2 - 3*a**2 + 5*a - a**2 + 5*a**2. Let r be w(4). Suppose -k + 7 + 25 = 3*h, 5*h = r*k + 42. Does 5 divide h?
True
Suppose 0 = -2*k - 5*k + 518. Is k a multiple of 20?
False
Let u(a) = a + 2*a - a - 3 + 5. Does 10 divide u(4)?
True
Suppose 2*l + 5 = 3*l. Let k(d) = 7*d - 3. Let t(c) = 4*c - 1. Let u(j) = l*t(j) - 3*k(j). Does 3 divide u(0)?
False
Let f = 10 - -20. Is 10 a factor of f?
True
Suppose 2*s + 2*k = 3*k + 8, 3*k = -2*s. Suppose l - s*p + 12 = 3*l, -3*l + 17 = 4*p. Suppose l*c = c + 26. Does 13 divide c?
True
Let k(f) = f - 4*f + 4*f - 2 - 2*f. Let y be k(6). Does 10 divide 235/20 - 2/y?
False
Let w(y) = -y**2. Let c be w(0). Suppose -4*j - 12 + 44 = c. Does 8 divide j?
True
Let k = -2 + 4. Let q be k - -5 - (1 + 0). Let s(i) = i**3 - 7*i**2 + 7*i + 2. Is s(q) a multiple of 8?
True
Suppose 0 = w - 3 - 16. Suppose 3*a - 233 = g, -2*a - g + 152 = -0*a. Suppose 5*c = 2*c + s + a, w = c + s. Does 12 divide c?
True
Suppose 7*s + 3*w = 3*s + 721, -4*s + 729 = -5*w. Is s a multiple of 45?
False
Is 6 a factor of (1 + 0)*16 - -3?
False
Let x = -110 + 143. Does 26 divide x?
False
Let o(d) = d**3 + d**2 - d + 45. Does 35 divide o(0)?
False
Let b be 16/6 + 2/6. Suppose -4*f + b*w = w + 14, 15 = 3*w. Is 17 a factor of (56/10)/(f/(-5))?
False
Is (-2)/((10/(-65))/2) a multiple of 17?
False
Suppose -2*x = -6 + 2. Let y = x - 3. Does 3 divide y/(2/(-8) + 0)?
False
Suppose -3*r - t + 112 = -5*t, 2*r - 3*t = 73. Does 12 divide r?
False
Is -3*(-2)/(4/78) a multiple of 24?
False
Suppose 0 = 4*g - 6*g + 290. Does 29 divide g?
True
Suppose -7*h + 5*h + 4 = 0. Suppose w - 4*b = 108, 0 = -w + h*w + 5*b - 81. Is w a multiple of 33?
False
Let m(p) = -p + 13. Let q be m(7). Does 11 divide q/9 + 97/3?
True
Let a be (-3 + 1 - -2) + 55. Suppose 4*m - 7 + 1 = 2*y, 26 = 2*y + 4*m. Suppose 2*v - a = y. Is 15 a factor of v?
True
Let t = -13 - -15. Let w(u) = 6*u**2 - u - 2*u**2 - 1 + 0*u**2. Does 13 divide w(t)?
True
Suppose -3*z + 20 = z. Let m be -13*(-2 - -1)*1. Suppose z*i + 2*u = 37 + m, 4*u = 4*i - 40. Is i a multiple of 4?
False
Is -1*10/(-4)*4 a multiple of 5?
True
Is (41 - 12/(-3)) + 2 a multiple of 17?
False
Le