le of 24?
False
Let p(z) = -42*z + 3. Does 26 divide p(-9)?
False
Let z be (-4)/(-12) + (-214)/(-6). Suppose 3*u - 159 + z = 0. Does 19 divide u?
False
Suppose 0 = -0*d + 2*d + 108. Let n = d - -93. Is 13 a factor of n?
True
Let v be 10/20*(58 + 0). Suppose -4*r = -4*w + 63 + v, 12 = -4*r. Is 10 a factor of w?
True
Let r(q) = q**2 - 5*q - 3. Let p be r(6). Is (-3)/2*(-66)/p a multiple of 11?
True
Let k be (1 - (4 + -2))*-2. Let j(a) = -a. Let g(y) = -11*y - 2. Let o(l) = -g(l) - 4*j(l). Does 16 divide o(k)?
True
Let h(s) = s**2 - 17*s - 33. Does 5 divide h(21)?
False
Let m = -13 + 21. Let s(x) = m + x**2 - 10 + 2 - 8 + 3*x. Is s(-8) a multiple of 16?
True
Suppose 8*n - 241 = 7*n. Does 19 divide n?
False
Let t(y) = 464*y - 1. Let k be t(1). Suppose -5*l - 183 = -k. Suppose 0*b - 4*b + l = 0. Is b a multiple of 14?
True
Suppose 6*v - 2*v + 160 = 0. Let j = -23 - v. Does 5 divide j?
False
Let a be ((-33)/(-2))/(1/(-2)). Let o = 46 + -105. Let s = a - o. Is 13 a factor of s?
True
Suppose 0 = l - 2*g + 1, -5*l + 79 - 14 = 4*g. Suppose -2*x + 110 = 5*i, 0 = x - 2*i - 28 - l. Is 15 a factor of x?
True
Let g = 91 - -45. Suppose -2*f = 4*p - g, 3*f - 3*p - 204 = p. Is 17 a factor of f?
True
Suppose 5*d = 73 + 367. Is d a multiple of 29?
False
Suppose 2*j = 9 - 93. Let h = -28 - j. Is h a multiple of 6?
False
Let z(s) = -4*s - 8. Let r be z(-6). Suppose -r = -f + 8. Is 12 a factor of f?
True
Let t(o) = -3 + 3 + 6*o - 3. Is t(5) a multiple of 9?
True
Let p(q) = -q**3 + 11*q**2 - 8*q + 5. Is 25 a factor of p(10)?
True
Suppose y + 235 = 5*j, 5*j - 2*y = 3*j + 102. Is j a multiple of 17?
False
Let l(f) = -f**3 - 6*f**2 + f + 2. Let d be l(-6). Let m(z) = -2*z - 3. Is m(d) a multiple of 2?
False
Let m = 119 - 53. Is m a multiple of 22?
True
Suppose 15*z - 9*z - 780 = 0. Is z a multiple of 40?
False
Let r(f) = 2*f**2 + 7*f + 4. Let v be r(-5). Suppose -4 = 3*i - v. Is (-1)/(((-3)/3)/i) a multiple of 5?
True
Let x = -43 + 65. Let h = x - 16. Is h a multiple of 2?
True
Suppose 0 = x - 4, -4*l + x = 2 - 6. Let h(p) = 40*p + 4. Is 20 a factor of h(l)?
False
Does 11 divide -2*3/(-2)*112/6?
False
Is (-36)/(-5)*150/9 a multiple of 30?
True
Let m(y) = -y**2 - 9*y + 2. Let b be m(-8). Let c be 36/b - 4/(-10). Let w(r) = r**2 + 5. Is w(c) a multiple of 11?
False
Let z = 168 + -65. Is z a multiple of 33?
False
Let b(t) = 11*t**2 - 3*t - 10. Is b(-2) a multiple of 40?
True
Suppose -1 = 4*x - 13. Suppose 95 = -x*a + 8*a. Does 11 divide a?
False
Suppose -2*v = 3*f - 3*v - 158, -210 = -4*f + v. Is 15 a factor of f?
False
Let o(s) = -s + 38. Let g be o(0). Let y be (1 - 0)*3/1. Suppose -5*w - 3*i + 23 + g = 0, y*w = -2*i + 37. Is 5 a factor of w?
False
Let a = 0 - -35. Is 7 a factor of a?
True
Suppose -a + 4*w + 81 = 29, 0 = -4*a + 2*w + 222. Suppose -2*i + a = 3*l, 3*l - 3*i - 81 = -0*i. Is 21 a factor of l?
False
Suppose -2*r - 16 = -b - 0*r, -3*b - 3*r = -21. Is b a multiple of 3?
False
Let g(z) = -z**2 - 7*z - 5. Let p be g(-7). Let v(s) = -s**3 - 2*s**2 - 4*s - 2. Does 32 divide v(p)?
False
Let k = 3 + 20. Does 3 divide k?
False
Let f be 8/24 + (-286)/(-6). Suppose 0 = -2*p + f + 6. Does 11 divide p?
False
Let o(x) = 5*x**3 + 10*x - 2. Let k(d) = 3 - 5 - 6*d**3 - 11*d - d**2 + 0 + 4. Let h(m) = -6*k(m) - 7*o(m). Is 13 a factor of h(-6)?
True
Suppose -5*y + 492 = d, 3*d = 7*d + 12. Does 26 divide y?
False
Let d be (-10)/(-3)*9/(-6). Does 14 divide 142/10 + d/25?
True
Suppose -58 = -3*k - 1. Suppose k = l + 4. Does 15 divide l?
True
Let q(z) = z**2 + 4*z - 4. Let o be q(-5). Let m be (-9)/(-4) - o/4. Suppose 2*w = -m*w + 44. Is 11 a factor of w?
True
Suppose 16 + 50 = 3*w. Let f = 25 + w. Let t = f - 26. Is t a multiple of 10?
False
Let g(m) = 3*m + 5. Let j be g(15). Suppose 0 = -k - 17 + j. Does 11 divide k?
True
Let y(a) be the second derivative of -a**5/20 - a**4/4 + a**3 - 3*a**2/2 - 3*a. Is y(-5) a multiple of 3?
False
Let y(v) = v**3 - v**2 - v + 137. Is 18 a factor of y(0)?
False
Let v(n) = 12*n - 4. Let c be v(7). Suppose 6*b = b + c. Is b a multiple of 4?
True
Let b(z) = -z**3 + z**2 + z + 1. Let d be b(-1). Suppose x - 98 = d*l - 15, -5 = 5*l. Is 27 a factor of x?
True
Suppose -3*p + 36 = -0*p. Let i = 2 + p. Is i a multiple of 14?
True
Let l = -3 + 1. Let j(n) = 4*n - 1. Let p be j(l). Is 10 a factor of (-6)/(-6) + p/(-1)?
True
Suppose 0 = 5*m, -3*m = -3*y - 5*m + 12. Is 13 a factor of 2/((y/52)/1)?
True
Let f(p) = -1 + 0*p - 3*p - p. Let s be f(-2). Suppose -4*c = -31 + s. Is c a multiple of 4?
False
Let f = 40 - 29. Is 11 a factor of f?
True
Let a(v) = 28*v**2 - v + 2. Is 29 a factor of a(1)?
True
Let p be 2*(1 - 3 - -12). Is 6 a factor of 248/p + 4/(-10)?
True
Suppose -6 - 2 = p - 5*q, 0 = -4*q + 16. Let v(h) = -3*h**2 - h + p*h**2 + 0*h**2 - 1. Does 6 divide v(-1)?
False
Let u(w) = 9*w - 132. Does 10 divide u(18)?
True
Suppose 12 = -x + 4*v, -4*x = 3*v - 0 + 10. Let t be 60/16 - 1/x. Suppose t*l - 136 = -0*l. Is 10 a factor of l?
False
Does 6 divide 29 - ((-3)/9)/(2/6)?
True
Let h = 96 - 68. Does 14 divide h?
True
Suppose 5*y + 3*q + 0*q = 444, 2*q - 354 = -4*y. Does 4 divide y?
False
Let v(a) = a**3 - 7*a**2 + 8*a - 3. Let y be v(6). Suppose -q + y = 1. Is q a multiple of 8?
True
Suppose -g + 4 + 1 = 0. Let c be (-26)/(-6) + 1 + 2/(-6). Suppose -p - g*v = -47, c*p + 7*v - 235 = 5*v. Is 20 a factor of p?
False
Let w = 27 - 6. Does 11 divide w?
False
Let p(h) = -20*h - 3. Let l be p(-8). Let m = 245 - l. Suppose 4*d - 5*z - 29 = 0, -4*d - 5*z - 29 = -m. Is 11 a factor of d?
True
Suppose -6*h + 5*h + 5 = 0. Does 2 divide h?
False
Let s = 35 + -19. Does 16 divide s?
True
Let j = 6 - 3. Let a(i) = 6 + 0 - 4*i + i**2 - j. Is a(6) a multiple of 15?
True
Let q(d) be the third derivative of d**5/60 - d**4/6 - 7*d**3/6 + 5*d**2. Is q(6) a multiple of 2?
False
Suppose -5*q - 11 = t, -t - q = -6*t + 23. Suppose -d + 42 = -t. Is d a multiple of 20?
False
Suppose 5*n - 5*k - 1220 = 0, n - 4*k - 25 - 219 = 0. Is 37 a factor of n?
False
Let d(c) = 5*c + 4. Is 9 a factor of d(8)?
False
Let o(q) = q**3 + 3*q**2 + 1. Let x be o(-2). Let s = 74 - 49. Suppose -w - x*i = -i + 6, 5*i = -s. Is 7 a factor of w?
True
Let q(u) = 2*u + 3. Let t = 6 - 5. Let j be (1 - (t - -3))/(-1). Is 4 a factor of q(j)?
False
Suppose 4*r - 16 = 4*z, r - 6*r = -4*z - 17. Let v be (9/(-2))/((-2)/4). Does 4 divide v*1 - (3 - r)?
False
Let n(a) = 7*a + 7. Is n(2) a multiple of 16?
False
Is ((-9)/6)/(1/(-40)) a multiple of 12?
True
Suppose 20 = 4*o - 52. Does 9 divide o?
True
Is 8 + -5 - -1*59 a multiple of 11?
False
Let k = -28 - -41. Suppose 0*a + 2*a - 8 = 0. Does 6 divide a/2 + k - 3?
True
Let y = 21 - 18. Suppose -t = -y*t + 72. Is t a multiple of 9?
True
Suppose -330 = -7*i + 2*i. Let w(h) = -h**3 + 4*h**2 - 6. Let q be w(5). Let s = q + i. Does 9 divide s?
False
Suppose -3*l + 4*s - 2*s = -397, 0 = 3*l + 4*s - 403. Suppose -3*v + l = -47. Is 22 a factor of v?
False
Let k be (-2 - -1)/(1/(-39)). Suppose -w = -4*w + k. Does 9 divide w?
False
Suppose c - 277 = 3*t - 6*t, -471 = -5*t + 3*c. Does 24 divide t?
False
Let j(m) = -m**2 + 9*m + 1. Let o be j(9). Let q be ((-372)/(-6))/(o*2). Suppose 4*k + 0*p - 3*p - 67 = 0, 2*k - q = p. Is k a multiple of 13?
True
Suppose 2*l = 3*l + 6. Is 24 a factor of 530/11 + l/33?
True
Let z = -2 + -9. Let x(j) be the third derivative of j**6/120 + j**5/6 - 13*j**4/24 - j**3 - 7*j**2. Is 8 a factor of x(z)?
True
Suppose p - 3*p + 4 = 0. Suppose -6 = -r - p*r. Is r*-2*(-13)/4 a multiple of 13?
True
Let x(c) be the second derivative of -3*c**5/20 + c**4/12 + c**3/6 - c**2 + 3*c. Let y be x(-2). Suppose -y = -2*u - 4. Is u a multiple of 5?
True
Let i be (12/10)/((-2)/(-5)). Let z = 1 + i. Suppose -4 = -2*d - 2*b + 8, z*d = 2*b. Is 2 a factor of d?
True
Let c(k) = -k**2 - 8*k - 9. Let x be c(-6). Suppose 6*s - 30 = x*s. Does 5 divide s?
True
Let x = 0 + 0. Let k be -2 + 4 + -3 - -2. Is 6 a factor of 14 - -2*(k + x)?
False
Suppose 0*j - 4*d = -2*j + 2, -4*j = 3*d - 4. Let l be (-2)/(-2)*(-8 - j). Is 2/9 + (-187)/l a multiple of 21?
True
Suppose -812 = -5*s + s. Suppose s = 5*h - 122. Does 18 divide h?
False
Suppose -4*c = c - 150. Let f = 69 - c. Does 13 divide f?
True
Suppose 13*r - 392 = 11*r. Does 39 divide r?
False
Let l(x) = -2*x**3 - 2*x**2 - x - 2. Suppose -1