 Let v = p - -139. Is v a multiple of 15?
False
Suppose -6*m + 151 = -467. Does 20 divide m?
False
Let t = -13 - -16. Suppose t*y - y = 108. Is 18 a factor of y?
True
Suppose -6 = -r + 4*y, 20 = -3*y + 7*y. Suppose 4 = m - r. Is 10 a factor of m?
True
Suppose 4*q + 18 = 2. Let s(n) = n**2. Let m(r) = -5*r**2 + r - 1. Let g(c) = q*s(c) - m(c). Does 11 divide g(6)?
False
Suppose -6 = -4*z + 2*z. Suppose 2*j - z*j = -3. Is j even?
False
Suppose -3*p + 4*h + 300 = 0, 2*p - 2*h = 3*h + 207. Is 24 a factor of p?
True
Suppose 2*o - 5*i - 85 = -10, 4*o - 4*i = 168. Is 15 a factor of o?
True
Let v(b) be the second derivative of b**4/12 - 2*b**3/3 - 13*b**2/2 + 3*b. Is v(9) a multiple of 16?
True
Let h be (1/2)/((-3)/(-72)). Let u = 50 - h. Suppose -3*y - 4*j = -29, -4*y + 2*j + u = -2*y. Is 15 a factor of y?
True
Let r = 7 + -5. Suppose 0 = -w - 5*n + 24, 0*n + 52 = w - r*n. Is w a multiple of 12?
False
Let s = -17 - -17. Let g be (-1 + 2)/((-2)/10). Is 18 a factor of (s + 4)*(1 - g)?
False
Let k = 21 - 11. Suppose -k = -0*c - 2*c. Suppose 22 = -c*o + 3*q + 119, o - 13 = -q. Is o a multiple of 6?
False
Suppose k - 460 = -3*k. Is 14 a factor of k?
False
Let a be (-48)/(-14) - (-6)/(-14). Suppose 4*l = a*k - 0*l - 19, 20 = 4*l. Is 13 a factor of k?
True
Suppose 41 = 4*n + 9. Suppose d - f = 21, -3*d + 56 = -4*f - n. Is 10 a factor of d?
True
Let k(c) = -12*c - 3. Let s be k(-2). Suppose 0 = -3*a + 3, 4*d - 3*a - 82 = -s. Is d a multiple of 8?
True
Let a = -8 + 3. Let n = a - -29. Is n a multiple of 24?
True
Let n(i) be the second derivative of -i**5/20 + 7*i**4/12 - 5*i**3/6 - 4*i**2 + i. Let x be n(6). Let y(m) = 3*m**2 - 2*m - 1. Is 10 a factor of y(x)?
False
Let u = -1 + 33. Does 4 divide u?
True
Let b be 10*36*(-2)/(-5). Let s = b - 93. Is s a multiple of 17?
True
Let h(t) = 19*t**2 + t + 3. Let u be h(-2). Let q = u - 17. Is q a multiple of 10?
True
Suppose 5*f - 19 = 6. Suppose 0 = f*v - v. Suppose v*d + 3*d = 12. Is d even?
True
Let u = 99 - 59. Is u a multiple of 12?
False
Let p(b) = -b**3 - 2*b**2 + 4*b + 1. Let r be p(-3). Let o be r/(-6)*-8*-3. Does 2 divide (-7)/(-2) + (-4)/o?
False
Let c(b) = -2*b - 6. Let k be c(-5). Suppose 3*p - k*z = -8*z + 111, -3*p + 84 = -5*z. Does 14 divide p?
False
Does 13 divide (2/3)/(-6 + 3026/504)?
False
Let a = 1 + -1. Suppose p = -a*p + 10. Is p a multiple of 5?
True
Let j be (-4)/(4/9) - -2. Let r be (-3)/(-12) + j/(-4). Suppose 3*l + r*l = 140. Is l a multiple of 18?
False
Let r(z) = -z**3 + 9*z**2 + 4*z - 15. Is r(8) a multiple of 27?
True
Let o be ((-8)/10)/(1/5). Let j(i) = -i**3 - i**2 + 4*i - 5. Does 7 divide j(o)?
False
Suppose -5*u + 20 = -0*u. Suppose -5*s - 5*i = -20, 3*s = -3*i + u*i. Suppose -3*l - s = 4*v + 6, 0 = -v - 3*l - 13. Does 2 divide v?
True
Suppose -5*g = -3*g - 126. Does 28 divide 1 + g + 0/(-2)?
False
Let f(g) = -g - 6. Let h be f(-6). Suppose -3*o + o + 36 = h. Does 9 divide o?
True
Let o be (-4)/(-2) + -12 + 1. Let f = o + 24. Is 9 a factor of f?
False
Let p(b) = 3*b**2 + 7*b + 4. Does 9 divide p(5)?
False
Does 16 divide 164/(-6)*(2 - 5)?
False
Suppose 5*q - 4*a = -0*a + 354, 3*q + 5*a = 205. Does 27 divide q?
False
Does 20 divide ((-4)/(-4))/(4/248)?
False
Let a be 1/(4/44 - 0). Let g = 15 - a. Is 2 a factor of g?
True
Let y be 4*-1 + 29 + -19. Does 3 divide (-329)/(-28) + y/(-8)?
False
Let b = -23 + 43. Is 12 a factor of b?
False
Suppose g + 38 - 102 = 0. Is 16 a factor of g?
True
Let d = 3 - 6. Let v be (-1 - -30)*(d + 4). Suppose 0 = -5*f - v + 114. Is f a multiple of 17?
True
Suppose -58 = 4*y - 5*y. Does 20 divide y?
False
Let i be (262/(-6))/(2/(-36)). Suppose 0 = -4*a - 39 - 49. Does 12 divide (-4)/a - i/(-33)?
True
Suppose -15 = -w + 15. Is 22 a factor of w?
False
Let c(w) = -w**3 - w**2 - 4*w + 8. Is 25 a factor of c(-4)?
False
Suppose 0 = i - 3*r - 9, -5*i = 5*r - 65. Is 28 a factor of 1016/i - (-8)/(-12)?
True
Let y(s) = -3*s - 1. Let t be y(4). Let p = t - -28. Is p a multiple of 13?
False
Let w(x) = -x**3 + 18*x**2 + 2*x - 18. Is w(18) a multiple of 18?
True
Let d(j) = -j**2 - 9*j - 8. Let h(o) = 2*o**3 - 2*o - 1. Let y be h(-2). Let s = y + 6. Is 6 a factor of d(s)?
True
Let q(s) be the first derivative of s**2/2 + 3*s + 4. Let z be q(0). Does 5 divide -1 + 14 - 9/z?
True
Suppose 3*c + 4*u + 1 = -13, 5*u + 23 = -c. Is 2 a factor of c?
True
Let w(m) = m - 1. Let y be w(0). Suppose 3*d - 1 = 4*v - 18, -3*v + 9 = -d. Is 29/d*-3 - y a multiple of 15?
True
Let d = -5 - -33. Is 9 a factor of d?
False
Let v(x) = -x**3 + 7*x**2 + x + 9. Let a be v(7). Suppose 0*r - 4*r = -a. Suppose 4*z - 40 = -4*n - 4, r*z - 40 = -5*n. Is z a multiple of 2?
False
Let a be (236/12)/((-2)/6). Let v = a + 109. Suppose -2*g - b + 3*b = -v, 3*g - 74 = 2*b. Is 13 a factor of g?
False
Suppose 0 = 4*y - 4, 4*q - 1 = q - 4*y. Is q/2*(-39 + -1) a multiple of 15?
False
Let m be -2 - (0 - 0 - -2). Let y = 4 + m. Suppose y = -2*w + w + 12. Is 6 a factor of w?
True
Suppose 0 = 5*l + 3*a - 95, 0 = -3*l - 4*a + 26 + 42. Does 11 divide l?
False
Let c(x) = -11*x - 1. Does 10 divide c(-1)?
True
Let w be 20/8*2*6. Suppose 45 = 2*h + 3*r - 0*r, -h - 4*r = -w. Is h a multiple of 18?
True
Suppose 12 = -2*t + v, 8*v = -3*t + 5*v. Let h be ((-5)/t)/(6/48). Let z = h + 1. Is z a multiple of 5?
False
Let c = -502 + 738. Suppose v - 34 = 5*a, -v - 5*a = 3*v - c. Does 18 divide v?
True
Suppose 5*g - 5*d = 255, 3*d + 0*d + 253 = 5*g. Is 22 a factor of g?
False
Is (-39)/26*(-976)/6 a multiple of 16?
False
Let h = -112 - -212. Suppose -4*q - a = q - h, 0 = -2*q - 2*a + 40. Is q a multiple of 10?
True
Let l = 13 - 14. Is (-19)/l + (5 - 9) a multiple of 15?
True
Let z = -3 + 5. Suppose -o + 9 = z*o + 3*u, 5*o - 31 = 3*u. Is 2 a factor of o?
False
Let u(c) = -5*c + 10. Let i be u(4). Let z = 19 + -6. Let s = z + i. Is 2 a factor of s?
False
Let p = 11 + -7. Suppose p*q + 0*q = 80. Let h = q - 12. Is 3 a factor of h?
False
Suppose 41 = m - 47. Is m a multiple of 3?
False
Suppose -8*t + 125 = -3*t. Is t a multiple of 4?
False
Let s(b) = -b**3 + 3*b**2 + b + 1. Let q = 3 - 1. Suppose -w = -q*u + 2*w - 5, 4*u - 5*w = -7. Is s(u) a multiple of 7?
True
Let p(l) = -l**2 + l + 35. Let n be p(0). Suppose 15 + n = 5*h. Does 5 divide h?
True
Suppose -25 = -t + 5*y, t = 3*t + y - 6. Let x(n) = 7*n - 5. Does 13 divide x(t)?
False
Suppose 3*n = -3*r, 0*n = -5*n + 2*r - 28. Let o(t) = t + 5. Let d be o(10). Let u = d + n. Is 11 a factor of u?
True
Let s = -2 + 4. Let u(p) = -p**3 - 7*p**2 + 8*p + 2. Let i be u(-8). Suppose b + i = s*b. Is 2 a factor of b?
True
Suppose 7*h - 6*h = -2. Let y = h + 4. Suppose -y*x - 180 = -7*x. Is 17 a factor of x?
False
Is 5 a factor of 5/(-20) + (-138)/(-8)?
False
Let a(v) = v - 11. Let s be a(9). Is 1 + (s - (0 + -37)) a multiple of 18?
True
Suppose -3*u + 0*u + p + 209 = 0, 2*p - 212 = -3*u. Let c = u - 49. Suppose 5*o - 56 = -4*z, 3*z + 3*o - c = 21. Is 12 a factor of z?
False
Let k be 1/(-4) - (-9)/(-12). Does 6 divide 9/(k*9/(-6))?
True
Suppose 165 = -v + 6*v. Is 11 a factor of v?
True
Let a = 8 + -5. Suppose -a*c - 44 = -5*c. Is 7 a factor of c?
False
Suppose 2*x = -5*a + 110, 3*x = 4*x - 3*a - 33. Suppose x + 46 = 4*q - c, 2*c = -5*q + 130. Is q a multiple of 11?
False
Let u(f) = -f**3 + 5*f**2 - 2*f - 4. Let k be u(4). Suppose k*n = -3 + 15. Is n even?
False
Let i(y) = y**2 + 2*y + 3. Let q be i(-2). Let c be (-4 + (5 - q))/(-2). Does 8 divide c*1/1*8?
True
Let v(o) = 3*o - 2. Suppose -12 = -3*g + 3*i, -4*i = 4*g - 18 - 6. Does 13 divide v(g)?
True
Suppose 0 = 4*j + 12, -3*l - 4*j = j - 465. Is 22 a factor of l?
False
Let s be -3 - (0 + 1*-1). Let i(h) = 1. Let t(z) = -9*z - 9. Let g(l) = 6*i(l) + t(l). Does 12 divide g(s)?
False
Let y be (1 + -1)/(6 - 4). Let q(h) = -6 - h**2 + 8*h + 3 + y*h. Is q(6) a multiple of 4?
False
Let v(d) = -d**3 - 5*d**2 - 5*d - 4. Let g be v(-4). Let s = 4 - g. Does 2 divide s?
True
Suppose 5*q = -m + 19, 2*m + 3*m = -4*q + 116. Is 9 a factor of m?
False
Is 74/14 - (-12)/(-42) a multiple of 4?
False
Let h(j) = j**3 + 4*j**2 - 6*j + 3. Let g(p) = p**3 + 4*p**2 - 6*p + 4. Let d(z) = -6*g(z) + 7*h(z). Let s be d(-5). Does 12 divide (123/(-12))/(s/(-8))?
False
Let i be 462/(-18)*-1*15. Suppose 4*b = -61 + i. Does 27 divide b?
True
Let k(b) be the third derivative of -b*