17?
False
Is 5 a factor of 6/(-18) + (-106)/(-3)?
True
Let n = -57 - -37. Is (32/n)/(1/(-10)) a multiple of 16?
True
Let k = -4 + 7. Let q(o) = 2*o. Does 3 divide q(k)?
True
Let m(k) be the second derivative of k**5/20 + k**4/2 - 2*k**3/3 - 3*k**2/2 + k. Suppose -8 = -4*r + 4*l, 2*l + 3*l + 25 = 0. Is m(r) a multiple of 18?
True
Let c be 5148/14 + 6/21. Suppose -5*p + 4*k + c = 0, 2*p + 3*k = -0*k + 138. Does 18 divide p?
True
Let n = 7 + 16. Is 23 a factor of n?
True
Suppose -f + 84 = -33. Does 4 divide f?
False
Suppose 3*u = -4*s - 24, 3*u + 5*s = u - 16. Is ((-76)/(-6))/(u/(-12)) a multiple of 13?
False
Let p = -52 - -259. Does 29 divide p?
False
Let c be (6/9)/(4/(-6)). Is 13 a factor of (14 + c)*6/3?
True
Let w(v) = 2*v**2 + 3*v. Let k be w(-2). Suppose k*u + 0 = 2*d + 6, 4*u - 9 = d. Suppose 0 = u*s - 3*r - 43, -4*s + 2*r - r + 91 = 0. Does 9 divide s?
False
Let y(u) = -u**3 + 3*u**2 + u + 4. Let g be y(4). Let n = g - -13. Suppose -2*l + n*l = 114. Is 19 a factor of l?
True
Let x(o) = -o**2 + 7*o - 6. Does 3 divide x(5)?
False
Let o = -26 + 11. Suppose -i = i - 54. Let u = i + o. Does 8 divide u?
False
Suppose -3*t - 4*d = 0, -4*d = -t - t. Is 2 a factor of 2/5*(t - -10)?
True
Let j(y) = -2*y - 7. Let k(l) = -2*l - 8. Let x(m) = 5*j(m) - 4*k(m). Does 10 divide x(-7)?
False
Let l be (-3 + 3 - -1)/1. Suppose -u - l - 1 = 0. Let p(z) = -16*z - 1. Is 13 a factor of p(u)?
False
Let a(i) = -i**3 + i**2 + 4*i - 3. Let q be a(2). Let d(c) = 24*c**3 - c**2 + 1. Does 12 divide d(q)?
True
Let f(j) = j + 10. Let r be f(-8). Let s be -3 + 1 + r/(-2). Is 2 a factor of ((-14)/4 - s)*-14?
False
Suppose -4*s = -s - 135. Is s a multiple of 15?
True
Let i = -1 + 9. Does 8 divide i?
True
Let s(r) = -r + 4. Let p be s(3). Let d be 0/(p + 0/(-3)). Is 4 a factor of (-3 - d/(-1)) + 10?
False
Let a = 26 + 10. Is a a multiple of 9?
True
Suppose 4*h + 8 = 68. Is h a multiple of 3?
True
Suppose 0 = 5*o + 15, -o + 2*o + 11 = 4*a. Suppose 3*j = b + a*j - 15, -5*b - 4*j + 111 = 0. Does 19 divide b?
True
Suppose 2*u - 300 = -2*o, 3*o + 178 = -5*u + 926. Is u a multiple of 15?
False
Let t(f) = 3*f**2 - 12*f + 14. Is t(6) a multiple of 10?
True
Suppose -2 = -2*p - 146. Let b = -41 - p. Suppose 4*i - 57 = b. Is i a multiple of 22?
True
Let h be 2/(-8) - (-33)/4. Let v = h + -4. Let s(k) = -k**2 + 7*k - 5. Is 4 a factor of s(v)?
False
Let n = 6 - 21. Let h = 2 - n. Suppose -4*k = -3*q + 54, -3 = -q + 2*k + h. Is q a multiple of 5?
False
Let q be 1/5 + (-6840)/(-50). Let m = -62 + q. Does 25 divide m?
True
Suppose -27 = 5*n + 8. Let u(c) be the third derivative of c**4/24 + 3*c**3/2 + c**2. Is u(n) a multiple of 2?
True
Suppose w - 81 = -14. Is 14 a factor of w?
False
Suppose -8*h + 4*h = -320. Is 16 a factor of h?
True
Suppose 4 - 9 = 5*w, -4*w = -4*x + 24. Suppose -2*z + 2*t - 134 = -7*z, -71 = -2*z + x*t. Is z a multiple of 8?
False
Let r(d) = d**2 - d + 5. Is r(-8) a multiple of 11?
True
Let b be (-4 + 19)*(-32)/(-6). Suppose b = -p + 2*p. Is p a multiple of 17?
False
Suppose 6 = b - 0. Suppose -b*z = -2*z + 16. Is 9 a factor of 136/10 + z/(-10)?
False
Suppose -u = -5*u + 192. Does 12 divide u?
True
Let n be -3 - 1 - (-2)/2. Let a = n + 3. Let x(g) = -g + 14. Does 14 divide x(a)?
True
Let y(u) = -u**3 + 13*u**2 + 18*u + 4. Is 12 a factor of y(8)?
True
Let p(j) = 6*j + 5. Let y(m) = m**3 - 6*m**2 + 5*m + 5. Let r be y(5). Suppose r*d - 3*d - 8 = 0. Is p(d) a multiple of 13?
False
Let k = -11 - -13. Suppose q + w - 235 = -3*q, 0 = -q - k*w + 64. Does 21 divide q?
False
Is 7 a factor of ((-140)/(-50))/(3/30)?
True
Let o be (-2)/(-2) - (21 + 2). Let x = o - -10. Is (-114)/(-4)*x/(-9) a multiple of 19?
True
Let f(d) = 68*d - 1. Suppose 8 = 4*l - 2*t, 5*t = -5 - 5. Is 21 a factor of f(l)?
False
Let w(i) = -6*i**3 - 5*i**2 - 3*i - 3. Let b(n) = 7*n**3 + 5*n**2 + 4*n + 3. Let t(k) = 5*b(k) + 6*w(k). Let l be t(-6). Let h = l - 4. Is h a multiple of 11?
False
Suppose -3*f = -6 - 6. Is (-3 + 70/8)*f a multiple of 8?
False
Let r = 53 - 21. Suppose -3*w - w = -r. Is 8 a factor of w?
True
Suppose 26 = -2*p - 2*b, -4*p - 20 - 77 = -5*b. Suppose 57 = 2*w + 3*s - 0*s, 3*s + 15 = 0. Let f = p + w. Does 9 divide f?
True
Let q(f) = f**2 + 5*f - 10. Let n be q(-7). Suppose -a + 31 = n*p + 3, 4*a = 3*p - 40. Does 8 divide p?
True
Suppose -3*m - 2*m - 4*l = -35, -21 = -2*m - 3*l. Suppose v + 5 = -m. Is (-6)/v - (-82)/8 a multiple of 5?
False
Let j(x) = 0 + 7*x + 4 - 2*x - 2. Let c be j(5). Suppose 0 = 2*k - 3*b - c, -2*b - 13 = -3*k + 20. Does 6 divide k?
False
Let j = -18 + 26. Does 8 divide j?
True
Suppose -6*g - 15 = -11*g. Suppose -y + 1 = -g. Is 3 a factor of y?
False
Let l be 3 - (194 + 0)*-1. Suppose -2*v + 3*r + l = 0, 0 = 4*v - 3*r + 2*r - 419. Suppose -v + 16 = -3*a. Is 9 a factor of a?
False
Let h be 0/((-6)/9*3). Let p = h + 9. Is p a multiple of 5?
False
Suppose 6*s - 102 = 3*s. Suppose 0 = y + y - s. Is y a multiple of 3?
False
Let l = -35 - -46. Is l a multiple of 11?
True
Let x(z) = 3*z**2 + 4*z - 3. Let n be x(3). Suppose 6*c - n = c - 3*y, 3*c + 4*y = 15. Is 2 a factor of c?
False
Let m(g) = 16 + g - 3*g + 3*g. Let o = -5 + -5. Is 5 a factor of m(o)?
False
Suppose -4*h + 5*h = 0. Suppose h = -5*w + 39 + 16. Is w a multiple of 11?
True
Suppose 2*n + 8 = -5*y + 21, 0 = 4*y - 4. Suppose 3*r - 4*a - 10 = 0, -2*a + 1 = 5*r - 7. Suppose -r*g - n - 2 = 0, 5*g + 3 = -z. Is 8 a factor of z?
False
Let t = 5 - 2. Suppose -4*y = 3*n - 94, 2*n - t*n - 2*y = -32. Is 15 a factor of n?
True
Suppose f - 7*f + 504 = 0. Does 21 divide f?
True
Let y = -6 - -5. Let g(k) = k + 1. Let q be g(y). Suppose -t + 6 + 12 = q. Is t a multiple of 9?
True
Let a = -271 - -441. Does 18 divide a?
False
Let x be (-8)/(-36) + (-16)/(-9). Let w be (x - 0)/((-4)/(-10)). Let q(g) = g**3 - 5*g**2 + g + 3. Does 4 divide q(w)?
True
Let f(t) = 4*t**2 + 5*t + 9. Does 5 divide f(-2)?
True
Let r(o) = -o**2 + o + 210. Let c be r(0). Suppose -c - 595 = -5*t. Does 15 divide t/5 + 3/(-15)?
False
Suppose 3*t = 4*c - 24, 23 = -5*t + 5*c - 12. Let g = t - -8. Suppose f - h + 4 = 4*h, g*f - 50 = -2*h. Is f a multiple of 4?
False
Let m = 0 + 2. Suppose 5*f = m*f + 96. Does 21 divide f?
False
Suppose -21 - 4 = -a. Let g = 29 - a. Does 3 divide g?
False
Suppose -3*l = -237 + 57. Suppose -2*x - l = -4*x. Let y = x - 13. Does 17 divide y?
True
Suppose -2*u = u. Suppose 2*r = u, -p - 5*r - 3 = -2. Let l = p + 4. Is l even?
False
Let c be 1/(-3) - (-4)/(-6). Let d = 4 - c. Suppose -2*i - 21 = -d*i. Is 7 a factor of i?
True
Let c(t) = 3*t - 9. Let g be c(7). Let n(z) = -3*z - g*z**2 - 3 - 2*z + 3*z + 8 - z**3. Does 27 divide n(-12)?
False
Suppose 0 = -k - 0*k + 2. Let b be (-1 + -3)*k/(-8). Is 8 a factor of (1 + 20 + -2)*b?
False
Let y(k) be the first derivative of 2*k**2 - k + 2. Does 3 divide y(3)?
False
Suppose 0*w = -9*w + 234. Is 13 a factor of w?
True
Let b(y) = 2*y**2 - 3*y - 8. Is 23 a factor of b(6)?
True
Let a = 5 - -20. Suppose x - 5*s = 31, -s + a = x - 0*s. Is 12 a factor of x?
False
Suppose 12*d + 898 = 3670. Is 9 a factor of d?
False
Let o be (31/(-2))/(5/50). Let s = 236 + o. Is 21 a factor of s?
False
Suppose 0 = 2*v - 4*w + 38, 4*v + 56 = w + 3*w. Let d = v + 15. Is d a multiple of 3?
True
Let y = 334 - 214. Is y a multiple of 23?
False
Let z be (0 - 1)/(-1) - -4. Suppose 4*l - 2*s + 5 = 5*l, 0 = -4*l - 3*s + 5. Is z - (l + 0 + 2) even?
True
Suppose 2*h + 4 = 30. Is 12 a factor of h?
False
Suppose -3 = -f - 0. Let d(n) = n**2 - 2*n + 4. Does 2 divide d(f)?
False
Is 44 a factor of 138 + 0/(1 - (8 - 4))?
False
Suppose 47*n = 48*n - 77. Is 11 a factor of n?
True
Let m = 2 - 2. Let f(u) = 2*u**2 + 8*u - 6. Let g be f(-5). Is 11 a factor of (m + (-62)/g)*-2?
False
Suppose 0 = -2*z - 0*z - 12. Let o be 4/z + 32/12. Is o + (-1)/(3/(-36)) a multiple of 8?
False
Suppose m = -5*o - 2*m + 166, -3*o = -3*m - 90. Suppose 4*g + o = 2*y + 102, 5*y = g - 22. Is g a multiple of 17?
True
Let y(a) = a**2 - 2. Let g be y(-3). Let s(k) = -3*k. Let v be s(-1). Suppose 8 = v*u - g. Is 5 a factor of u?
True
Let l = -13 - -17. Suppose -l*w + 165 = 5*s, w = -5*s + 2*w + 165. Is s a multiple of 11?
True
Suppose 0*n + n - 23 = 0. Is n a multiple of 9?
False
Let m(h) = 16*h**2 - 2*h - 1. Let c(a) = a**3 + 9*a**2 + a + 11. Let x be c(-9). Le