i(l) + 7*y(l). Is g(1) a multiple of 13?
True
Let p be 4*(1/2 + 2). Suppose p + 18 = k. Is 14 a factor of k?
True
Let q = -9 - -11. Suppose 0 = q*c - 5*c - 3*a + 117, -2*c + 4*a + 78 = 0. Does 13 divide c?
True
Let b = 76 - 54. Is 3 a factor of b?
False
Let x be ((0 - 0) + -1)*0. Suppose x = -2*n + 25 + 43. Suppose -2*m + 4*m + n = 3*j, 0 = 2*j + 2*m - 26. Does 6 divide j?
True
Let b(d) = d**2 + 7*d - 10. Let v be ((-42)/(-3))/(2/(-2)). Does 28 divide b(v)?
False
Is 4/(-6) - (685/(-15) + 0) a multiple of 9?
True
Suppose -3*k - 58 = -f, 0*k = 2*f + 5*k - 138. Let l = f - 37. Is l a multiple of 9?
True
Let w be 2/4 - (-4)/(-8). Suppose 2*s = -w*s + 34. Does 14 divide s?
False
Let a(t) = 10*t**3 + 3*t**2 + 4*t - 3. Let n(j) = 19*j**3 + 5*j**2 + 7*j - 5. Let o(u) = 5*a(u) - 3*n(u). Is o(-1) a multiple of 4?
True
Suppose 4*z + 24 = 2*s, -z + 26 = -5*z + s. Let j(u) be the third derivative of -u**5/60 - 3*u**4/8 - u**3/3 - 2*u**2. Does 9 divide j(z)?
False
Let g(w) = -w**3 + 18*w**2 + 22*w - 10. Is g(19) a multiple of 5?
False
Suppose -4*p + 40 = 4*m, 5*p - 23 - 30 = -2*m. Is 11 a factor of p?
True
Suppose -4*r = -16 - 0. Suppose -r*g + 4 = -12. Is 37/g - (-1)/(-4) a multiple of 7?
False
Is (-3 - -6)/3*(2 + 57) a multiple of 17?
False
Suppose 5*z + 9 + 6 = 0. Let w be -1 - (z - 6*-1). Is (-48)/10*30/w a multiple of 12?
True
Let x(c) = -46*c**2. Let l be x(1). Let p = -27 - l. Is 5 a factor of p?
False
Suppose -v = 5*z - 22, -5*z + z + 3*v + 10 = 0. Suppose z*j - 2*j - i = -3, 5*i + 9 = -2*j. Does 7 divide j + 1 - (0 + -15)?
True
Let s(d) = -2*d + 1. Let z be s(-8). Suppose -z = -2*c + 85. Is c a multiple of 14?
False
Suppose 0 = -3*n - 2*n + 1085. Does 12 divide n?
False
Suppose -462 = -2*s - s. Is s a multiple of 9?
False
Let n = -48 - -103. Does 11 divide n?
True
Suppose -3*x = 2*x - 555. Suppose -9*v = -6*v - x. Does 25 divide v?
False
Let m be (0 + (-2 - -1))*-27. Suppose 3*c - m = 84. Does 14 divide c?
False
Suppose -4*a + 2*a = 40. Let f = 19 - a. Is f a multiple of 13?
True
Is 29 a factor of 18/(-7)*112/(-6)?
False
Let y(l) = 2*l**3 - 1. Is y(2) a multiple of 15?
True
Let n(s) = s**2 - 12*s + 5. Is n(-14) a multiple of 19?
False
Let s = -16 - -24. Suppose s*i - 3*i - 190 = 0. Is i a multiple of 19?
True
Suppose 2*v - a - 70 = 0, 2*v + 78 = 4*v - 5*a. Does 20 divide v?
False
Let g be (-2)/2 + 1 + 4. Let p(j) = 2*j**3 - 3*j**2 - 1. Is p(g) a multiple of 28?
False
Let i = -24 + 48. Suppose 4*p + 2*u = i, -5*p + 0*u + 30 = -2*u. Is p a multiple of 3?
True
Suppose 2*h - 3 = h. Suppose 5*b - 2*r = 25, 5*b - h*r - 12 = 18. Is b a multiple of 3?
True
Suppose 0 = 4*h + 24 - 4. Let r be 2/(-5) - (-48)/h. Does 14 divide 4/(-10) - 334/r?
False
Let f(b) = -b**3 - 4*b**2 - b. Let r be f(-3). Is ((-18)/15)/(r/45) a multiple of 3?
True
Let t(d) = d**2 + 8*d + 5. Let q be t(-7). Let f = q - -6. Suppose -n + 25 = -4*r, n + 4*n - 101 = -f*r. Is 16 a factor of n?
False
Let h(w) = 2*w**2 - 8*w - 10. Is 27 a factor of h(-4)?
True
Let v = -19 - -42. Does 3 divide v?
False
Let x(k) = 2*k**3 + 2*k**2 - k + 5. Let v be x(-4). Let a = v - -181. Does 17 divide a?
False
Does 3 divide 33/(-9)*(-5 - 4)?
True
Let y = 8 + 9. Suppose -y = m - 3. Let i = 4 - m. Does 8 divide i?
False
Let o(s) = -5*s + 24. Is o(-18) a multiple of 19?
True
Let b(f) = -f**3 - 6*f**2 - 5*f - 6. Let v be b(-6). Let j = v + -4. Let p = -11 + j. Is 5 a factor of p?
False
Let b(r) = r**3 + 8*r**2 - r - 19. Is 4 a factor of b(-6)?
False
Suppose 2*w + 3*p - 20 - 139 = 0, 390 = 5*w + 5*p. Is 15 a factor of w?
True
Suppose 2*g + 19 = 3*q, 3*g + q + q = 4. Let v(a) = -3*a**3 - 2*a**2 - 2*a + 2. Is v(g) a multiple of 8?
False
Suppose 0 = -3*r - v - 63, r + 2*v = -0*r - 16. Let o be (18/1)/((-1)/2). Let p = r - o. Does 7 divide p?
True
Let j = 4 + -10. Does 7 divide j/(5/(30/(-4)))?
False
Let k = 26 - -32. Let q = k + -26. Is q a multiple of 14?
False
Is 4 a factor of 39 + (2 + -1 - -2)?
False
Let z = -127 - -274. Let b = -87 + z. Is 22 a factor of b?
False
Let r be ((-3)/5)/((-12)/180). Let d = 22 + r. Suppose -d = -5*q + 24. Is q a multiple of 6?
False
Let n(v) = -2*v + 14. Let u(m) = m + 1. Let a(k) = n(k) - u(k). Does 9 divide a(-6)?
False
Suppose 0 = -10*g + 885 + 935. Is 26 a factor of g?
True
Let y = -122 - -130. Is 8 a factor of y?
True
Suppose 16*t - 1584 = -2*t. Is 37 a factor of t?
False
Suppose -15 + 68 = q. Let g = -33 + q. Let d = g - 0. Does 10 divide d?
True
Is 3 a factor of 0 - (3/2)/(1/(-14))?
True
Let h = 0 + 60. Is 10 a factor of h?
True
Suppose -2*z - 3*l = -171, 318 = 5*z - 3*l - 99. Suppose -5*s = -6*s + z. Suppose -2*c + s = c. Does 13 divide c?
False
Suppose 8*p - 3*p - 145 = 0. Let u = p + -19. Is u a multiple of 5?
True
Let f be 1 - 1 - 161/(-7). Suppose 0 = -5*r - f + 3. Does 6 divide ((-36)/10)/(r/10)?
False
Suppose 60 = -3*v + 6. Let n(f) = -f**3 + 2*f**2 - 2*f - 2. Let k be n(2). Is 15 a factor of (40/k)/(4/v)?
True
Suppose 20*r + 36 = 24*r. Is 3 a factor of r?
True
Suppose -3*m = 2*s - 10, -2*m + 38 = m - 5*s. Let r = m + -10. Let d(o) = -o**3 - 4*o**2 - 4*o - 1. Is 13 a factor of d(r)?
False
Let m(q) = q**2 - 5*q + 3. Let x be m(5). Suppose 2*r + o = 58, -4*r + o = -x*o - 104. Is 11 a factor of r?
False
Let k = 147 - -11. Does 15 divide k?
False
Suppose 3*m = -m - 2*z + 18, 3*m = 4*z - 14. Let s(x) = -x**m + 2*x**2 - 1 + x + 1. Is s(3) a multiple of 12?
True
Let u(f) = -f**2 - f + 2. Let x be u(3). Let l be (-3 + 0 - x) + -3. Let h(q) = 3*q - 4. Is 8 a factor of h(l)?
True
Let z = 42 + -6. Is z a multiple of 12?
True
Let c(f) = -2*f + 4. Suppose 0 = -r - 3*y - 11 - 4, 0 = 5*r + y + 33. Does 16 divide c(r)?
True
Let n = 8 - 4. Suppose 147 = 4*p - 5*a, 0 = a + 3*a - n. Does 19 divide p?
True
Suppose -c = 3*w + 4, -6*c + 17 = -2*c + w. Suppose -3 = k + 5*v, 2*v - 5*v - 12 = 4*k. Let q = k + c. Is q even?
True
Let u = 15 + -10. Suppose -4*o + 4*f = -8, -4 = u*f - 14. Does 3 divide o?
False
Let g be 2 + (0 - -33) + 3. Suppose 0 = -s + g - 0. Is s a multiple of 18?
False
Let j = 29 - 17. Is 5 a factor of j?
False
Does 9 divide 0 + -2*(-63)/2?
True
Suppose -5*z = -z - 100. Let c = z - 11. Does 9 divide c/(-2)*-4 + -1?
True
Let t = 7 + -1. Is (6 + -1)/(2/t) a multiple of 5?
True
Suppose -m = -5*y - 17, 3*m + 3*y = 6 + 9. Suppose 5*x - 5 = 0, 5*i = 4*x - m*x + 193. Does 9 divide i?
False
Suppose -4*k + 117 = -131. Does 29 divide k?
False
Suppose -l + 5 - 4 = 0. Let k(z) = 10*z**3 - z**2 + 2*z - 1. Does 10 divide k(l)?
True
Let z(w) = -8*w + 2. Let n be z(-2). Let k = n - 11. Suppose -3*l + 110 = -k. Is l a multiple of 14?
False
Let d = 8 + -18. Let o = 15 + d. Is 2 a factor of o?
False
Suppose 295 = 2*h + 5*b - 0*b, h + b = 149. Suppose -h = -q - 2*q. Is 6 a factor of q/4 + 2/(-4)?
True
Let k = 4 - 2. Let t be (-2)/k - (-4)/2. Is 13 a factor of (13/4)/(t/8)?
True
Suppose -2*t + 25 + 355 = 0. Suppose -3*g = 2*g - t. Does 19 divide g?
True
Let h = 6 + -6. Let x(i) = i - i + i + h. Is x(6) a multiple of 4?
False
Let u(t) = -2*t - 4. Let s be u(-4). Suppose q - 3*q + 34 = 3*i, 4*q - 72 = -4*i. Let f = s + q. Is f a multiple of 8?
True
Let i = 2 + 35. Let s = -21 + i. Is 6 a factor of s?
False
Let q(w) = -w**2 + 5*w - 2. Let v be q(4). Suppose -4*z + v*z - 1 = c, -5*c + 22 = z. Is 12 a factor of 3*((-17)/z + -1)?
False
Let q(d) = d**2 - 6*d + 10. Let z be q(11). Suppose -x = -2*o - z, -2*x - 2*o = -0*o - 148. Let a = x + -51. Does 10 divide a?
True
Let t(i) = -5*i + 8. Let w be t(7). Let h = w + 54. Does 8 divide h?
False
Suppose 4*b + 5*l - 2 = 5, 0 = 4*l + 4. Suppose -63 = -b*f - 0*f. Suppose z = -p + f, -p - 4 = -2*p. Does 13 divide z?
False
Let h(w) = w**2 + 7*w + 6. Let r = 6 + -12. Let y be h(r). Suppose v + 7 - 20 = y. Is v a multiple of 13?
True
Let y(b) = -b**2 + 9*b - 7. Let h be y(8). Let p be (2 - h)/((-6)/72). Let n(m) = m**3 + 11*m**2 - 13*m + 13. Is n(p) a multiple of 8?
False
Let u be (-1)/(-2)*8*1. Suppose -u*l - l = -20. Is 114/10 - l/10 a multiple of 4?
False
Suppose -5*t - 32 + 2 = -5*u, 3*u - 18 = -2*t. Let a(y) = -7*y - 3*y - 1 - u*y. Is 8 a factor of a(-2)?
False
Let c be (-1)/8*-4*4. Suppose -c*b - b + 102 = 0. Does 17 divide b?
True
Let k(y) = 4*y**3 - 2*y**2 + 2*y - 1. Let o be k(1). Suppose -o*g - 2 = -8. Is 16 a factor of 4 + 11 - (1 - g)?
True
Suppose -5*k