ivide s?
True
Let w be 3 - ((0 - 0) + 2). Let v be (2 - 1)/(w/15). Let q = 23 - v. Does 6 divide q?
False
Suppose -18*x + 8 = -16*x. Does 2 divide x?
True
Let c(t) = -t - 8. Let j be c(-11). Suppose j*n - 27 - 33 = 0. Does 20 divide n?
True
Let o(k) = k**2 + 8*k - 6. Does 4 divide o(-10)?
False
Let b(n) = -n + 11. Let q = -5 + 10. Let t be b(q). Is (t/(-9))/((-1)/39) a multiple of 13?
True
Does 10 divide 1/((3 + 1)/412)?
False
Let g = -14 - -8. Let q(i) = -6*i - 1 - 2 - 2 + i. Is 18 a factor of q(g)?
False
Let b(d) = d**2 - 2*d + 2*d. Suppose -2*q - 2 = -10. Is 11 a factor of b(q)?
False
Suppose -4*c = -5*z - 147 + 31, 2*z = 5*c - 128. Suppose -c = -v - 2*v. Does 4 divide v?
True
Suppose -2*z + 42 = 2*j - j, 0 = 2*z + 2*j - 44. Is z a multiple of 10?
True
Suppose 3*o = 7*o - 8, 3*i + 5*o = 22. Suppose i*l - v = 82, 6*v - v + 11 = l. Is 7 a factor of l?
True
Suppose 3*i + 12 = i. Let z(f) = f**3 + 6*f**2 - f - 2. Is 4 a factor of z(i)?
True
Suppose 37 + 45 = 2*d. Is 28 a factor of d?
False
Let z(l) = 2 - 3 - l + 2. Let b be z(-1). Suppose -b*n + 36 = -n. Does 18 divide n?
True
Let t = -52 + 96. Is 11 a factor of t?
True
Let p(d) = d**3 - 7*d**2 - 8*d. Let u be p(8). Suppose -3*t + 2 + 13 = u. Does 5 divide t?
True
Suppose 3*p - 37 = f - 2*f, 5*p + 20 = 0. Is f - (-1 + 6/3) a multiple of 12?
True
Let n(s) = s + 11. Let d(r) = -r - 6. Let v(c) = -7*d(c) - 4*n(c). Is v(5) a multiple of 11?
False
Let z = -1 + 4. Suppose z*s - 3 = 3. Suppose -5*c - s*h + 67 + 79 = 0, -4*c - 2*h + 118 = 0. Does 14 divide c?
True
Suppose 5*f - 4 = -14, 3*w - f = 389. Is w a multiple of 15?
False
Let a(o) = 2*o + 22. Is a(5) even?
True
Let y(f) = 5*f - 16. Is y(11) a multiple of 13?
True
Suppose 0*c = -4*l + 2*c - 66, 4*c + 3 = -l. Let g = 27 + l. Is g a multiple of 7?
False
Let y = 5 - 1. Suppose -j + 12 = 4*x - 3*j, x - y*j = 3. Suppose -3*i - 5 + 23 = x*g, 4*i + 11 = g. Is g a multiple of 4?
False
Suppose m = -m + 4*y - 20, 4*y = -m - 4. Is m/6*21/(-2) a multiple of 14?
True
Is 18 a factor of (3/(-9))/(1/(-84))?
False
Let v = 261 - -31. Suppose z = -4*z + 100. Is 15 a factor of v/z + (-4)/(-10)?
True
Let u(q) = 10*q + 19. Let j(p) = -5*p - 9. Let m(r) = -5*j(r) - 3*u(r). Is 9 a factor of m(-6)?
True
Let z = 11 + -15. Is 10 a factor of 0 - (-1*33 + z)?
False
Let o(a) = -a**3 + 7*a**2 + a - 1. Does 9 divide o(5)?
True
Suppose 4*m - 668 = c - 96, 2*c + 280 = 2*m. Is 9 a factor of m?
True
Let y = 142 - 9. Is y a multiple of 19?
True
Let m = -1 - -2. Suppose 8 - 25 = 3*p - 5*d, -3*p - m = -d. Is (p - (-3)/9)*6 a multiple of 4?
True
Let i(k) be the first derivative of 11*k**2 - 3*k + 6. Suppose -a - 3*b - 10 = b, b + 9 = 3*a. Is 13 a factor of i(a)?
False
Let i(m) = 46*m**2 - 2*m + 2. Does 10 divide i(1)?
False
Suppose 2*l - 21 = -2*p + p, 0 = -3*l - 3*p + 39. Suppose -7*t + l = -3*t. Suppose t*f + 2*h + 3 = 39, -4*f = 5*h - 74. Is 8 a factor of f?
True
Suppose 4*s - 1076 = -2*g, 0 = -4*s - 4*g - 0*g + 1072. Suppose -y - 4*y = -s. Is 21 a factor of y?
False
Let f(b) = -2*b**2 + b + 8. Let h be f(-5). Let o = -27 - h. Is o a multiple of 11?
False
Let o = 44 + -75. Let x = -17 - o. Is x a multiple of 7?
True
Let u(w) = -w - 2. Let d be u(-3). Let c be d/(2/10) - -1. Let o(h) = 4*h - 6. Is 5 a factor of o(c)?
False
Let j be -1 + (-18)/3*-1. Suppose -j*x - 4*i + 70 = 0, -2*x - 2*i = -3*i - 28. Suppose -2*f = -f - x. Is 14 a factor of f?
True
Let j(x) = -x**2 + 15*x - 9. Let s be j(10). Suppose 5*h + 4*k = 122, 3*h - 5*k - 10 = s. Is h a multiple of 22?
True
Let h = -68 + 123. Is 6 a factor of h?
False
Suppose 3*q - 40 = 32. Let y = q - -9. Is 11 a factor of y?
True
Let b(j) = 2*j**2 - 27*j. Is 15 a factor of b(16)?
False
Let v(g) = 16*g - 2. Is v(2) a multiple of 15?
True
Let w(c) = -11*c + 10*c - 2*c**2 + 4*c**2 - 3. Does 26 divide w(-5)?
True
Let q(z) = 17*z**3 - 21*z**3 - 24*z**3. Let c be q(-1). Is 300/c - (-4)/14 a multiple of 7?
False
Let m(f) = 3*f**2 + f. Is 16 a factor of m(5)?
True
Let y = -14 - -20. Let r(s) = s**3 + 3*s**2 - 2*s - 5. Let d be r(-5). Is 18 a factor of (-12)/5*d/y?
True
Is -7 + 1 + 56 + 4 a multiple of 5?
False
Suppose 585 = 5*t - 5*y, 2*t - 4*t + y = -233. Is t a multiple of 29?
True
Let m(u) = 16 + 5*u**3 + 14*u + 2*u**2 - 6*u**3 + 6*u**2 + u**2. Let h be m(11). Is (h/15)/(1/(-5)) a multiple of 8?
True
Suppose 9 = -6*j - 3. Does 19 divide (285/(-6) - 0)*j?
True
Suppose -5*a - 79 = -24. Let d(m) = -m + 9. Let q be d(4). Is (-1)/(a/q - -2) a multiple of 4?
False
Let w(f) = -12*f + 1. Let z(s) = 24*s - 2. Let q(d) = -5*w(d) - 2*z(d). Is 7 a factor of q(1)?
False
Let b(d) = -d**2 - 19*d + 22. Does 28 divide b(-10)?
True
Let f = -1 - 1. Let k be (4/(-5))/(f/5). Suppose -2*v + 12 = k*l, -6*l + 4*l = -8. Is 2 a factor of v?
True
Let t(i) = 12*i**2 + i + 10. Is t(6) a multiple of 16?
True
Suppose -3*v = -2*v - 5. Suppose 0 = -g + v + 18. Does 12 divide g?
False
Let j be (-6)/(-3)*1 + -15. Let b = j - -77. Does 17 divide b?
False
Let s be (-45 - 1)/(-2 + 0). Suppose 4*p - s = -3*z, 4*z + z = -p + 10. Is p a multiple of 4?
False
Let i = -44 - -68. Let g = 6 + i. Is g a multiple of 10?
True
Suppose 0 = -5*t + 2*t. Let c be t - 1 - 1*2. Does 4 divide ((-22)/(-3))/((-2)/c)?
False
Suppose 9 + 6 = 3*t. Let d(b) = b**2 - 3*b + 5. Let z be d(t). Let l = 26 - z. Does 4 divide l?
False
Suppose 0 = 2*y - 188 - 100. Let j = 225 - y. Does 22 divide j?
False
Let l = 9 - 6. Is 13 a factor of (-42)/(-9)*l + -1?
True
Suppose 497 + 68 = 5*q + 2*p, -3*p - 318 = -3*q. Does 17 divide q?
False
Let t(j) = -52*j. Let p = 10 + -11. Does 13 divide t(p)?
True
Suppose 5*m - 2*k = 4 + 8, 36 = 4*m + 5*k. Is m a multiple of 2?
True
Let o = -24 + 71. Suppose 13 + o = 3*a. Is 10 a factor of 392/a - (-4)/10?
True
Let f(x) = -2*x**3 + 9*x**2 - x + 3. Is 5 a factor of f(4)?
True
Suppose u - 17 = 47. Does 13 divide u?
False
Suppose -3*t + 4 = -4*t. Let d be 1/((t/(-50))/2). Let z = -11 + d. Does 7 divide z?
True
Let f = 110 + -77. Is 6 a factor of f?
False
Let w(q) = -2*q**3 + 2*q**2 - q - 2. Let t be w(3). Let g = t + 101. Suppose -3*c + c = -g. Is 15 a factor of c?
True
Does 11 divide 1 + 3 - 6 - -35?
True
Let a(d) = d**2 + 17. Let r be a(0). Suppose -3 = q + 2*n, -r = -q + 3*n - 0*n. Let p(s) = -s**3 + 7*s**2 - 7*s + 5. Is p(q) a multiple of 10?
True
Suppose 4*c - 13 = f - 60, -c = 4. Let b = 15 - f. Let w = 36 + b. Does 14 divide w?
False
Suppose 78 = 3*d - 0*d. Let g = 44 - d. Is 11 a factor of g?
False
Let o be (1/(-3))/(1/3). Is 12 a factor of (o - -1) + 136/4?
False
Let a(f) = -f**3 - f**2. Let q be a(-1). Suppose q*u + 38 = u. Does 21 divide u?
False
Let h(k) = 2*k**3 - 12*k**2 - 17*k + 17. Let d(q) = -q**3 + 6*q**2 + 8*q - 8. Let g(x) = 5*d(x) + 3*h(x). Let b be g(8). Let w = b + -31. Does 6 divide w?
False
Let t be 4/(-14) - 264/(-42). Suppose -4*k - 50 = 2*w - 162, -t = -2*k. Is w a multiple of 25?
True
Let z = 38 + -23. Let q = z + -10. Is q a multiple of 5?
True
Suppose -x = 3 - 39. Is x a multiple of 7?
False
Let p(o) = 12*o + 4. Let z be (3/(-2))/((-5)/10). Is p(z) a multiple of 10?
True
Suppose 13*n = -3 + 107. Is n a multiple of 3?
False
Let s(q) = -q**2 - 8*q - 5. Let l be s(-7). Suppose -2*m - l*z + 5 + 65 = 0, 2*m - 2*z = 50. Is 10 a factor of m?
True
Let a(z) = z**3 - 8*z**2 + 9*z + 6. Is a(7) a multiple of 5?
True
Suppose 5*t = 2*a + a + 341, 0 = 4*t - 5*a - 265. Suppose -4*j + t + 234 = 0. Suppose d = 5*x - j, -16 = -5*d + 4. Does 8 divide x?
True
Suppose 76 = 2*k - 4*v, 0 = 5*v - 18 + 3. Suppose 3*o - k = 1. Is 5 a factor of o?
True
Let j(l) = l**3 + 11*l**2 - l - 1. Is 6 a factor of j(-11)?
False
Let t be (-3 + 4)/(2/(-180)). Let z be (-1 - 13)*t/21. Suppose b - z = -2*b. Does 10 divide b?
True
Suppose -2*m + 3*u = -51, 2*u - 56 = 2*m - 4*m. Let t = m - 8. Is t a multiple of 13?
False
Let g = 124 + 16. Does 35 divide g?
True
Let t(l) = 6*l + 0*l**3 + 0*l**3 + 2 + l**3 + 7*l**2. Let s(r) = r. Let d be s(-5). Is t(d) a multiple of 11?
True
Let i be (-3)/2*(14 + -16). Suppose 5*b = -3*u + 170, b - 153 = -i*b + u. Does 20 divide b?
False
Let y(t) = -t**2 - 14*t - 8. Let f be y(-8). Let j = 26 + f. Does 11 divide j?
True
Let k = 4 - 0. Let d be 15*(-1)/(-6)*2. Suppose -k*n - d = -5*n. Is n a multiple of 3?
False
Let b(i) = 16*i + 8. Does 22 divide b(4)?
False
Suppose