vide n(-18)?
False
Let l(s) = -14 - 11 - s + 6*s - 4*s. Let j be l(0). Let h = j + 44. Is 19 a factor of h?
True
Let x be 4/(-6) - 354/9. Does 16 divide ((-2)/(-5))/((-1)/x)?
True
Let s be (-84)/(-9)*-3*21. Is (-1 + s/4)/(-2) a multiple of 16?
False
Let d = -66 + 13. Let l = d + 85. Is 16 a factor of l?
True
Let u = 279 + -164. Is u a multiple of 23?
True
Let n = 616 - 327. Is 20 a factor of n?
False
Suppose -4*x = 5*o - x + 9, 0 = 3*o + 4*x + 1. Let y = o - -5. Suppose -d + 5*f + 47 = d, 0 = 5*d + y*f - 190. Is 13 a factor of d?
False
Let f be ((-2)/(-4))/(3/(-66)). Let d = 23 + f. Is (-4)/d + 16/3 a multiple of 3?
False
Suppose 94 = -3*l - 3*c + 268, -198 = -3*l + 3*c. Does 2 divide l?
True
Let g be (-2)/(-4)*5*76. Suppose 0 = 5*q - 3*x - g, 2*q - x + 28 = 104. Suppose 2*l - q + 2 = 0. Is 11 a factor of l?
False
Let w be (3/(-2))/3*-2. Let u = 6 - 8. Is 4 a factor of (u + (7 - 1))/w?
True
Suppose -3*q + 332 = o - 0*o, -3*o + 4*q = -944. Is o a multiple of 23?
False
Let f = -8 + 18. Let u = f - -9. Does 11 divide u?
False
Let i(o) = -o**2 - 7*o. Let c be i(-7). Suppose c = -5*n - 25, 57 = 3*b + 3*n - 6*n. Is b a multiple of 7?
True
Suppose 3*w = 3*j + 10 + 149, w - 5*j = 57. Is 21 a factor of w?
False
Suppose -4*b = -4*s - 32, 4*b + 2*s - 20 = -0*s. Suppose b*p - 42 = 3*p. Is 5 a factor of p?
False
Let w(a) = -4*a**2 - 4*a - 4. Let m be w(4). Let p = m + 199. Suppose -14 = 5*c - 3*x - p, -3*c + 5*x = -51. Is c a multiple of 11?
True
Let a(z) = -3*z - 4. Does 8 divide a(-10)?
False
Let q(g) = -5*g + 3. Let y be q(-7). Suppose -4*j + y - 14 = 0. Is j a multiple of 6?
True
Let o be (-1)/4 - (-47)/(-4). Is o*((-10)/(-4) - 3) a multiple of 6?
True
Suppose -4*f = -6*f + 130. Let c(k) = -2*k**3 - 4*k**2 - 3*k - 2. Let o be c(-2). Suppose -o*t + f = t. Does 13 divide t?
True
Let v(f) = f**3 - 7*f**2 + 5*f + 6. Let c be v(6). Suppose -j + c*j + 52 = 0. Is j a multiple of 18?
False
Let a = 7 - -7. Let n be (-4)/a + 52/(-14). Does 7 divide 301/21 + n/(-6)?
False
Suppose -b + 2*y = 4*b - 144, b + 5*y - 45 = 0. Does 7 divide b?
False
Let n = -150 - -65. Let c = n + 178. Suppose -4*m - 2*v + 172 = 0, -119 - c = -5*m - 4*v. Is m a multiple of 15?
False
Suppose -5*w + 8 + 7 = 0. Suppose -w*u + 9 = -15. Is u a multiple of 8?
True
Suppose -58 = -3*c + 26. Is 10 a factor of c*(0 + 9/12)?
False
Let h = 38 - -14. Does 26 divide h?
True
Suppose 75 = -l + 4*l. Does 5 divide (-65)/l*(0 + -5)?
False
Let n be 3*3*2/6. Let d = 6 - n. Suppose -m = -d*m + 34. Does 6 divide m?
False
Let o = -91 + 145. Is o a multiple of 9?
True
Let x = 91 - 47. Is 11 a factor of x?
True
Suppose -3*q - 84 = -4*q. Let x = 43 - q. Let b = x + 60. Does 19 divide b?
True
Let c be -6*1/2 - 72. Let f = 127 + c. Is 26 a factor of f?
True
Let a be 6/(-33) - 1854/(-33). Suppose 3*y - 18 = -2*d, a = 3*d + d - 4*y. Is 6 a factor of d?
True
Suppose -2*f + 0*l - 8 = l, 0 = -5*f + 5*l - 50. Is 11 a factor of 930/21 + f/21?
True
Let z be -2*(26/4 + -2). Let q(d) = -d**3 - 8*d**2 + 7*d - 11. Let w be q(z). Let l = 17 - w. Is l a multiple of 10?
True
Let n(k) = -k**3 - 5*k**2 - k - 2. Let o be n(-5). Let f(x) = x**3 - 2*x**2 - 3*x. Let m be f(o). Suppose -4*v + 3 + 13 = m. Does 2 divide v?
True
Suppose 5*u - 4*x = -36 - 1, -12 = -4*x. Let y = 5 + u. Does 15 divide 4 - 7 - (-33 - y)?
True
Let r(c) = c**2 - 6*c - 2. Let o be r(6). Is 11 a factor of ((-12)/9)/(o/33)?
True
Let b = -2 + 10. Let q = 11 - b. Suppose -128 = -q*z + o, 0 = 4*z - 2*o + 6*o - 144. Is z a multiple of 16?
False
Let k = -24 + 54. Is 15 a factor of k?
True
Is 62 - ((-4)/10)/((-2)/(-10)) a multiple of 8?
True
Does 10 divide 5/(1/(9 - -2))?
False
Suppose 10*v - 1 = 11*v. Does 11 divide (50/(-15))/(v/9)?
False
Is -98*((-9)/6 - -1) a multiple of 5?
False
Suppose 2*i + 2*i = 0. Suppose 2*b - 8 = -i. Suppose 4*p = 4*k - 76, 78 = b*k - 2*p - p. Is 7 a factor of k?
True
Suppose -2*d - 2*h = -4, -7*d + 2*d + 4*h = 17. Is (d/(3/(-21)))/1 a multiple of 6?
False
Let t(w) = w**3 + 3*w**2. Let h be t(-2). Suppose 5*o + 5*v - h*v = 66, 76 = 4*o - 5*v. Does 10 divide (-2 + o/(-3))*-3?
True
Let g(z) = 3*z**2 + 13*z + 15. Does 9 divide g(-7)?
False
Let x be (-3 - -4)*(-2 + 2). Suppose 4*q + 1 - 21 = x. Suppose -3*n + q*y + 21 = -35, 3*y + 104 = 5*n. Does 11 divide n?
True
Let m(l) = -l**3 + 10*l**2 + 9*l + 10. Let d be m(10). Let x = d - 53. Is 13 a factor of x?
False
Let b(t) = -9*t + 1. Is b(-1) a multiple of 7?
False
Let a(s) = 2*s - 3. Let n be a(3). Does 4 divide 28/(n + 4/(-4))?
False
Let y(t) = -t**2 - 10*t - 5. Let i be y(-9). Suppose -i*m = -0*m - 36. Let a(u) = u**3 - 9*u**2 + 3*u - 5. Is 12 a factor of a(m)?
False
Let n = 26 + 49. Is n a multiple of 25?
True
Suppose -4*a + 5*i = -303, -i + 2*i + 77 = a. Let d = a + -52. Is 15 a factor of d?
True
Let s(j) = -1. Let a(o) = -3*o + 1. Let b(q) = a(q) + 4*s(q). Does 4 divide b(-3)?
False
Let d(a) = -a**2 + 7*a + 2. Let p be d(7). Suppose p*j - j - 33 = 0. Does 12 divide j?
False
Let f(i) = 27*i - 6. Let b(q) = -q. Let y(s) = 4*b(s) + f(s). Let d be y(5). Suppose 5*j - 45 = 4*r + d, 148 = 5*j + 2*r. Is j a multiple of 12?
False
Let w be 2 + (163 + -2 - -1). Suppose -136 = -7*s + 4*s - 4*n, -4*s - n + w = 0. Is s a multiple of 20?
True
Suppose 2*m = 4*y + 12, 4*y + 6 = 5*m - 12. Let w be (-1)/m*(2 - 2). Is 34 - (-2 - w) - 2 a multiple of 17?
True
Let y(l) = 3*l + 0 - 6 + 4 - 5. Does 11 divide y(13)?
False
Let l be (-26)/(-6) - 1/3. Suppose -22 = -2*a - l*m, 4*a - 27 = -3*m + 7. Does 2 divide a?
False
Let l(n) = -n**2 - n - 2. Let i be l(0). Let m = 37 + i. Suppose -5*b + m = -35. Does 14 divide b?
True
Suppose -5*l = -6 - 4. Suppose 3 + 6 = 3*f. Suppose -l*z = 5*n - n - 144, n + f*z = 41. Is n a multiple of 22?
False
Let m(s) = 2*s + 54. Does 22 divide m(17)?
True
Let w = -1 - -4. Suppose -4 = c - w*c. Let d(t) = 3*t**3 - 2*t**2 - 1. Is 15 a factor of d(c)?
True
Let r(l) be the second derivative of l**3 + 3*l**2/2 - 4*l. Is 13 a factor of r(6)?
True
Let x(i) = i - 6. Let z be x(9). Suppose -z*b - b = -8. Let n = b + 7. Is 5 a factor of n?
False
Let d(q) be the third derivative of 5*q**4/12 - q**3/6 + 3*q**2. Does 4 divide d(1)?
False
Let x(l) = 4*l + 16. Is 16 a factor of x(8)?
True
Is (-796)/(-22) - 4/22 a multiple of 13?
False
Let y(d) = d**2 + 13*d + 16. Let g = 9 + -21. Let b be y(g). Suppose -r + 2*v = -10 - 9, v - 85 = -b*r. Does 6 divide r?
False
Suppose 0 = 5*b - 10, 0 = 4*q - 5*b + 2*b - 98. Is 13 a factor of q?
True
Let b = 1 - 11. Let h(c) = c**2 + 7. Is 31 a factor of h(b)?
False
Let b(i) = i**3 - 4. Suppose f - 5*s + 2 + 1 = 0, 4*f + 3*s - 11 = 0. Suppose 7*d - 15 = f*d. Is b(d) a multiple of 23?
True
Suppose -21 - 3 = 4*f. Let w be 414/21 - f/21. Let h = -6 + w. Does 14 divide h?
True
Let o(d) be the first derivative of -d**5/60 + 31*d**3/6 - d**2 - 4. Let u(n) be the second derivative of o(n). Does 10 divide u(0)?
False
Suppose 4*k + 2*t - 438 - 46 = 0, 4*t = -3*k + 353. Does 7 divide k?
False
Let g(b) = -3*b**3 - 7*b**3 - 2*b**3. Suppose t + 4*t + 5*a = -10, -a = 1. Is 8 a factor of g(t)?
False
Suppose 6 - 3 = x. Suppose n - 7 = -g, -x*n - 7 = -7*n + 3*g. Is 15 a factor of (7 - 2)/(n/12)?
True
Let o(m) be the third derivative of m**7/180 - m**6/360 - m**5/120 - m**4/24 - 3*m**2. Let w(d) be the second derivative of o(d). Does 5 divide w(-1)?
True
Let b(s) = s**3 - 7*s**2 - 5*s - 6. Let j(w) = w**2 + 8. Let g be j(0). Is 11 a factor of b(g)?
False
Let p = 42 - 7. Does 7 divide p?
True
Let j be 10/(-5) + 4 + 0. Suppose -3 = -r - 4*t, -j*r + 2*t - 3 = -3*r. Is r even?
False
Suppose -2*y = -a + 40, 5 = a + 5*y - 14. Is 11 a factor of (-8)/24 - a/(-3)?
True
Let w(l) = 11*l - 5. Let h be w(4). Suppose 5*z + 0*q - h = q, -2*z - 2*q = -6. Is 2 a factor of z?
False
Let r = 105 - 27. Is r a multiple of 8?
False
Suppose -5*c - 1 = -121. Is 6 a factor of c*((0 - -1) + 0)?
True
Suppose 5*g = -0*g + 20. Suppose -g*r + 66 = -50. Does 15 divide r?
False
Is 20 a factor of (5 + (-35)/10)*160/6?
True
Let z = 3 + -2. Let s be (11 - z)*2/4. Suppose -s*o - 2*f = -o - 28, -16 = -4*f. Does 2 divide o?
False
Let m(h) = 7*h + 6. Let f be m(-3). Let t = f + 35. Does 4 divide t?
True
Is -10*(-10)/(-6)*-3 a multiple of 28?
False
Let r = -4 - -6. Suppose -87 = -5*x - 3*d, r*x - 26 = -0*x + d. Is (-6)/x - 137/(-