 of 17?
True
Let y be 3 + 2*3/(-6). Suppose 0 = 4*l - 3*h - 144, -2*l + 108 = l + y*h. Is l a multiple of 18?
True
Suppose i = 3*k - 0*i - 8, -2*k - 3*i + 20 = 0. Let p be 5 + -15 + k/2. Is 3/(p/10 + 1) a multiple of 6?
False
Suppose 3*t - z - 3*z = -11, t = z - 2. Suppose 18 - 6 = t*g. Does 3 divide g?
False
Let q(d) = -2 - d + 2 + 3. Suppose 7*j - 2*j + 55 = 0. Does 10 divide q(j)?
False
Let o be (-6)/(-8) + 105/(-12). Let v = o - -23. Is v a multiple of 7?
False
Let c = 405 + -280. Is 22 a factor of c?
False
Let w = -1 - -3. Suppose -w*h = -4*h + 6, 3*m - 246 = 4*h. Suppose 5*q - m = -4*o, 3*q = 7*o - 2*o - 126. Is 12 a factor of o?
True
Let d(g) = -g**3 + 2*g**2 + 2*g - 2. Let y be d(2). Let r be 2 - -1 - y - 1. Suppose r = n + 2*n - 99. Does 12 divide n?
False
Suppose 5*n = 4*s + 1, 0*s + 4 = 5*n - s. Suppose n = p - 3. Does 2 divide (-5)/5 + -1 + p?
True
Let h(o) be the second derivative of o**5/20 + 2*o**4/3 + 4*o**3/3 + 4*o**2 + o. Is h(-6) a multiple of 9?
False
Let r = 60 + -29. Does 6 divide r?
False
Suppose 3*p + p - 88 = 0. Is 14/77 + 128/p a multiple of 4?
False
Let t be 2/5 - (-13)/5. Suppose -2*h + 24 = t*i - 0, h + 5*i - 12 = 0. Is ((-13)/4)/((-3)/h) a multiple of 6?
False
Let f(l) be the second derivative of l**5/20 - l**4/4 + l**3/6 + 3*l**2 - l. Let d be f(5). Let w = d - 25. Does 18 divide w?
True
Suppose r - g + 47 - 12 = 0, -5*g = -2*r - 55. Let j = 2 - r. Does 21 divide j?
True
Suppose 2*h - 25 = -2*u + 7*h, 21 = 3*u - 2*h. Let x be 0 + (-1 - -1)/(-3). Suppose u*q - 48 = -2*l, 3*q - 12 = -x. Is 7 a factor of l?
True
Does 20 divide 2/(-12)*2*-69?
False
Let y(n) = -n**3 + n**2 + n - 1. Let j = 6 + -1. Suppose 5*f - 2 = 3*s, 4*s = -f + j*s + 2. Is 6 a factor of y(f)?
False
Let m = -4 + 2. Does 16 divide 31 - 3/((-3)/m)?
False
Let m = 102 - 67. Is 35 a factor of m?
True
Let r(u) = -u**3 + 3*u**2 - u - 2. Let j be ((-30)/20)/((-3)/4). Let s be r(j). Suppose s = -5*m + 5*o + 170, 2*m = -m + o + 102. Is 17 a factor of m?
True
Suppose 5*q = -3*j + 1123, -3*q + 891 = q - 5*j. Does 41 divide q?
False
Let m be (-3)/(-21) - 3/21. Suppose 0*y = -y. Suppose y = 5*w - m*w - 65. Is 8 a factor of w?
False
Let i(x) = -x**2 + 28*x + 1. Is 7 a factor of i(27)?
True
Suppose 0*f + 2*f = 114. Does 19 divide f?
True
Let k(n) = n**3 - n**2 - 6*n + 2. Let y be k(3). Suppose 5*d - y*d = 219. Does 22 divide d?
False
Let t = -40 + 60. Is 10 a factor of t?
True
Suppose -2*p = 4*p - 156. Is p a multiple of 3?
False
Let s be 0 + 0 + 6 + -4. Suppose 0 = 5*b + 8*p - 4*p - 81, 31 = s*b + 3*p. Is b a multiple of 7?
False
Let s(n) = -n**3 - 6*n**2 - 4*n - 20. Does 3 divide s(-6)?
False
Let m = -28 + 12. Let v = 14 - m. Is v a multiple of 9?
False
Let x = 8 - 4. Suppose x = 5*y + 19. Does 12 divide 8*y*(-2 + 1)?
True
Suppose 3*m = -2*d + 1, -2*d = 2*m + 3 - 1. Does 15 divide m/(12/260) + 4?
False
Let s(j) = j + 6. Let o be s(-8). Let w(u) = -u. Let c be w(o). Suppose 0 = 2*n + 2*n + 2*b - 62, c*b + 91 = 5*n. Is n a multiple of 7?
False
Let h be 4 - 3/(9/6). Let b(i) = 15*i + 2. Is b(h) a multiple of 8?
True
Is 21 a factor of 10/4*(10 + 32)?
True
Let z be (-158)/6 - 2/3. Let x = -6 - -63. Let l = x + z. Is l a multiple of 15?
True
Does 16 divide 0 + (-480)/(-3 - 2)?
True
Let t be (1 + 2)/(-1 + 2). Suppose 0 = 3*r + q - 137, 0 = -t*r + 2*q + 2*q + 157. Suppose 0 = -4*l + 41 + r. Is l a multiple of 11?
True
Suppose -1 = -i + 3. Suppose 5*q = i*l + 580, 5*q - q = -2*l + 490. Suppose 3*o - 3*c = q, 4*c = -c + 25. Is o a multiple of 15?
True
Let o(q) = -q**2 + 5*q - 2. Let i be o(5). Does 2 divide 6/(-1)*2/i?
True
Let i = 19 - 13. Let r be (-280)/(-6) + 2/i. Suppose 4*v - 187 = -r. Does 14 divide v?
False
Suppose -88 = f + 3*f. Let a = f - -40. Does 9 divide a?
True
Let g(a) = -2*a**3 - 8*a**2 - 5*a + 5. Suppose b + b = -8, -16 = 4*o - b. Does 19 divide g(o)?
False
Let x(h) = -h**2 + 5*h - 1. Let u be x(4). Suppose 2*k + 0*k - w - 7 = 0, 5*k - 23 = -u*w. Is k even?
True
Let a be (-7)/1 + -2 + -1. Let k = a - -8. Is 9 a factor of 18*(-1 - 5/k)?
True
Is 830/35 + 2/7 a multiple of 8?
True
Is 2*((-1065)/10)/(-3) a multiple of 19?
False
Is 33045/105 - (-2)/7 a multiple of 15?
True
Suppose 4*b - 15 = 1. Suppose -b*r - 3*u = -12, -3*u = -4*r - 5*u + 12. Suppose 28 = r*o - o. Does 7 divide o?
True
Let h be 10 - 9 - (-4 - -2). Does 19 divide h + (33 - (4 - 1))?
False
Let q be (-29)/(-6) - 1/(-6). Suppose a = q*a - 16. Is 2 a factor of a/(-10) - 135/(-25)?
False
Let i be -1 - (0 + -1)*11. Let q = 38 - i. Suppose q = 2*d - d. Is 14 a factor of d?
True
Let b(p) = 2*p - 6. Suppose 0 = v + 8. Let l be 1/(23/v + 3). Is b(l) a multiple of 5?
True
Let t(s) = 36*s**2 + s - 3. Does 13 divide t(2)?
True
Suppose -5*z + 8 = -2. Let i(s) = 8*s**2 - s + 2. Let q be i(z). Suppose -4*y = -0*y - q. Does 8 divide y?
True
Let l(q) = 3*q + 2. Let w be l(3). Suppose -w = -5*a - 6. Suppose -x = a - 13. Is 11 a factor of x?
False
Suppose 6*t = 2*t - 5*r + 11, -4*t + 4*r = -20. Suppose t*z + 3*i = 207, -4*z + 258 = z + 3*i. Does 18 divide z?
False
Suppose -2*q = 5 - 13. Suppose 332 = q*n - b, 3*b = 4*n - 0*b - 340. Is 7 a factor of 3/9 - n/(-6)?
True
Suppose 3*g - g = 12. Let v(n) = n - 1. Let o be v(g). Suppose o*l + 11 - 66 = 0. Is l a multiple of 10?
False
Let r(n) = -n**3 - 5*n**2 + 9*n - 6. Let z be r(-7). Let m = 53 - z. Let l = -14 + m. Is 5 a factor of l?
True
Suppose 0 = -f + 2*f - 4. Suppose 4*o + 116 = f*x, 2*x = x + 5*o + 37. Is x a multiple of 13?
False
Suppose -4*w + 2 = -6. Suppose -46 = -0*f - w*f. Is f a multiple of 23?
True
Let b(z) = z**3 + 5*z**2 - 2*z - 2. Does 7 divide b(-5)?
False
Let x = -21 + 45. Suppose 2*k - 3*k + 57 = 3*r, 0 = r + 2*k - x. Does 9 divide r?
True
Suppose -4*i + 7*i = 30. Let u = i - -18. Is 14 a factor of u?
True
Suppose -394 = -5*j - 4*r + 454, -3*r = -6. Does 12 divide j?
True
Let d be (3 - 0)/(-3) - 4. Let n(i) = -i + 1. Let q be n(d). Suppose u = 2 + q. Does 8 divide u?
True
Let x(s) = -2*s**3 - 3*s**2 + 3*s + 2. Let t be x(-3). Suppose -q - 2*g - t = -4*q, 3*g = -2*q - 4. Is 2 a factor of q?
True
Let q = 16 - 11. Let g = q + -3. Suppose -g*p + 13 = -2*v - 3*v, 4*v - 4 = 0. Is 9 a factor of p?
True
Let q(f) = -2*f. Let r be q(-4). Let h be (-1 - 14/(-8))*r. Is (-3)/(1*(-3)/h) a multiple of 6?
True
Suppose 2*s + 3*s - 4*j - 166 = 0, 29 = s - 5*j. Does 19 divide s?
False
Let n = 2 - -1. Let u(q) = -n + 3 + 5 - 2*q. Does 9 divide u(-6)?
False
Let l = 1 + 6. Let h(s) = 5*s - 6. Let y be h(2). Suppose -126 = -l*n + y*n. Does 12 divide n?
False
Let g = -211 - -646. Does 11 divide (-2)/(-4) + g/10?
True
Let p(n) = 240*n + 111. Let w(i) = -15*i - 7. Let l(t) = -2*p(t) - 33*w(t). Let y(m) = -m - 1. Let a(c) = -4*l(c) - 36*y(c). Is 12 a factor of a(-1)?
True
Suppose -q + 8 = 2. Let r be (-10)/3*q/(-5). Let n = r + 2. Is 6 a factor of n?
True
Let n(m) = 3*m + 13*m**2 + m + 4*m**2 - 6*m. Does 16 divide n(2)?
True
Let w(d) = -d**3 + 4*d**2 - 2*d - 3. Let b be w(3). Suppose 0 = 2*j - b*j - 14. Let k = 12 - j. Is 2 a factor of k?
False
Let m(l) = l**3 + 7*l**2 - 3*l - 8. Suppose -q = 2, 3*n = n - 4*q - 30. Let t = n - -4. Is m(t) a multiple of 7?
False
Let y = -6 + 5. Let m = 2 - y. Let z = m + 0. Is z a multiple of 2?
False
Let f = -157 + 67. Let a = 126 + f. Is a a multiple of 16?
False
Let o(d) = 14*d + 3. Is o(5) a multiple of 20?
False
Suppose 2*j + 10 = 0, c + 2*j + 11 = 2*c. Let b be (c - -1)/((-2)/(-36)). Let z = b + -10. Does 13 divide z?
True
Let c(f) = 8*f - f**3 + 7*f**2 + 9 - 2 - 5. Let t be c(8). Suppose -t*v + 12 = -30. Is 11 a factor of v?
False
Suppose 2 = -2*z - 2*d, 2*z - 5*d + 0*d = 33. Suppose 2*o + 5*a = 13, 4*o + z*a - 9 - 11 = 0. Is 4 a factor of o?
True
Let l(p) = 6*p + 5*p - 3 - 3*p - p**2. Suppose 1 = b - 6. Is 2 a factor of l(b)?
True
Is (-299)/(-4) + (-2 - 36/(-16)) a multiple of 15?
True
Let w(v) = -5*v - 12. Let x be w(-10). Suppose m = -3*m - 5*b + 156, x = m + b. Is 11 a factor of m?
False
Is 26/8*66 + (-51)/34 a multiple of 39?
False
Let d = 364 + -176. Is d a multiple of 15?
False
Let l = -49 - -63. Is l even?
True
Suppose 3*t = p + 19, 0 = 5*p + 3*t + 2 + 3. Let r be (p/(-6))/((-8)/(-36)). Suppose 3*d - r*u - 9 = 0, 3*d - 4*u + 0*u = 5. Does 2 divide d?
False
Let f be 0*3/9 + 4. Suppose -f*a + 2*g + 10 = -9*a, -2*a - 3*g - 1