7/14 - (-118)/4. Suppose -5*g + 190 = -a. Is 22 a factor of g?
True
Let t be (8/6)/((-10)/(-15)). Suppose 5*q - 3*f - 10 = 0, -7*f + 4 = t*q - 2*f. Suppose -q*x + 42 = x. Does 7 divide x?
True
Let n(v) be the first derivative of 2*v**5/5 - v**4/24 - v**2/2 + 2. Let l(a) be the second derivative of n(a). Does 10 divide l(1)?
False
Let u(h) = -3*h - 13. Let o be u(-9). Suppose 3*t + w = o, w + 4 = -2*t + 3*w. Is t even?
False
Let l be ((-2)/6)/((-5)/60). Suppose -3*n = 4*k + 109, n + l*k + 2 = -29. Let j = -27 - n. Does 6 divide j?
True
Let f(q) = 11*q**2 - 10*q**2 - 2 - 7*q + 0*q. Is f(8) a multiple of 6?
True
Let v(c) = 5*c**2 - 7*c + 2. Let f(l) = 6*l**2 - 8*l + 3. Let r(s) = 4*f(s) - 5*v(s). Let m = 5 + -3. Does 2 divide r(m)?
True
Let o = 24 - 20. Suppose -o*l = l - 310. Does 30 divide l?
False
Let i(n) = -n**3 + 6*n**2 + 2*n + 7. Let x be i(6). Let o = x - 11. Does 8 divide o?
True
Suppose 0 = 3*n - 3*g - 21, 47 = 4*n + n + g. Let t be n/(-63) + 2242/14. Suppose -4*u + t = 4*c, 4*u + 2*c = -u + 212. Does 26 divide u?
False
Let l = 366 + -213. Is l a multiple of 19?
False
Let h(q) = -q**3 - 2*q**2 - 3. Let i be h(-4). Let w be -1*i*(3 - 4). Does 13 divide -1 + w + (-5 - -3)?
True
Suppose 0*a = 2*w - 2*a - 46, w = 5*a + 27. Is 9 a factor of w?
False
Let k be (-44)/(-2) + -1*1. Let p(o) = -o**3 + 6*o**2 - 6*o + 6. Let n be p(5). Suppose -4*f = n - k. Does 3 divide f?
False
Let j = 1 - -1. Let w be 546/8 + j/(-8). Let x = -16 + w. Is 23 a factor of x?
False
Suppose 3*v - u = 2*u + 300, -3*v = 3*u - 324. Does 17 divide v?
False
Suppose 2*t = 4*t - 4*r - 18, 2*r - 16 = -4*t. Let y = 36 - t. Is 8 a factor of y?
False
Suppose 0 = -2*m + 6*m + q - 4, 4*m - q = -4. Let y(l) = -l**2 + l + 10. Let j be y(m). Suppose -4*x + 78 + j = 0. Is 11 a factor of x?
True
Let u(n) = n**3 + 10*n**2 + 8*n - 6. Does 30 divide u(-6)?
True
Let z(o) = -o**3 + 4*o + 3. Let n be z(-2). Suppose 57 + 12 = n*j. Is 8 a factor of j?
False
Suppose 0 = -4*q + 5*d + 3, 5*d - d + 4 = 4*q. Let g be q/2 - (1 + -3). Suppose 0*y + 21 = g*y. Is y a multiple of 3?
False
Let b be 21/(-2)*(-4)/6. Let z = b - 13. Is 88/z*(-6)/4 a multiple of 11?
True
Suppose -8 + 10 = a. Suppose -a*t - 5*v = -115, -3*t = -5*v - 97 - 13. Is t a multiple of 15?
True
Let v be 3 - (-4 - -1)/(-1). Suppose 0 = 4*n + 3*r - 41, v = -5*n - 3*r + 61 - 6. Is 5 a factor of n?
False
Let j = -66 + 94. Is j a multiple of 12?
False
Let p = 37 + -26. Suppose -4*y - p + 79 = 0. Is y a multiple of 8?
False
Let o = 49 + 11. Is o a multiple of 19?
False
Suppose 3*s + 3 + 0 = 0. Let y be 0 + s + 666/(-9). Does 15 divide ((-8)/(-3))/((-10)/y)?
False
Suppose -l + 18 = 4*y, 2*y - 4*y + 4 = 0. Suppose l*f = 5*f + 10. Suppose -g - f*g = -174. Does 18 divide g?
False
Let i(y) = -y**2 + 12*y - 14. Let h = 9 - -1. Is i(h) even?
True
Let r(c) = -2*c**2 - c**3 - 3*c**2 + 0*c**2 + 6 + 4*c. Suppose 0 = 5*p - 25, -28 = 4*m - m - 2*p. Is r(m) a multiple of 9?
True
Is (0 - 2)/(-1) - -42 a multiple of 11?
True
Let s = -11 - -8. Let a(j) = -2*j**2 + 2*j + 3. Let i be a(s). Is 9 a factor of 6/i - 363/(-21)?
False
Let t(w) = -2*w**2 + 2. Let n be t(2). Let s = n - -18. Does 6 divide s?
True
Suppose d = -5*i - 1443, i + 294 = -0*d - 2*d. Does 12 divide (2/4)/((-6)/i)?
True
Let d(x) = -x**3 + 6*x**2 + 4*x - 6. Suppose 4*v = 2*v + 10. Is 13 a factor of d(v)?
True
Let f(q) = -q - 9. Let j be f(-11). Suppose 0 = -3*u - 4*m + 28 + 223, j*u - 3*m - 190 = 0. Does 28 divide u?
False
Suppose -3 = -u + 5*t, -t = -5*t - 12. Let j(p) = -p**3 - 12*p**2 + 10. Is 7 a factor of j(u)?
False
Let o = 21 - 13. Is 8 a factor of (o/(-5))/((-4)/20)?
True
Let w(v) = -6*v + 8. Does 11 divide w(-4)?
False
Let h = -94 + 140. Is 23 a factor of h?
True
Suppose -3*y - 208 = -5*y. Let j = 156 - y. Is 15 a factor of j?
False
Let g(f) be the first derivative of -f**2/2 + f + 3. Is 3 a factor of g(-7)?
False
Is (75/9 + -9)/(2/(-240)) a multiple of 10?
True
Let f = 66 - 36. Does 20 divide f?
False
Let k = 180 + -103. Is k a multiple of 11?
True
Suppose -r + t = -132, 181 + 219 = 3*r - t. Let n = r - 84. Suppose 4*x - z = 75, -2*x + 2*z - 4*z + n = 0. Does 11 divide x?
False
Let r(c) = c**2 - 11*c + 36. Is 29 a factor of r(16)?
True
Suppose 4*h - 10 = 2. Suppose 0 = -h*p - 148 + 439. Let b = 138 - p. Is b a multiple of 16?
False
Suppose 3*i - 7*i = -40. Suppose v = -0*v + i. Let s(j) = -j + 21. Is 3 a factor of s(v)?
False
Let c be 3/(6/28) - (-7 + 6). Let q be (18/2)/((-6)/(-8)). Let y = q + c. Is y a multiple of 10?
False
Suppose 4*m + 5*z + 15 = 0, -3*m - 3 = -2*m + z. Suppose -t + 18 = -m*d - 3*d, t - 8 = d. Suppose 2*l - 3*l = a - 6, -5*l - t*a + 32 = 0. Does 2 divide l?
False
Suppose -7 = -3*h + 2. Let s(z) = 1 + 0 - h - 3*z. Is 7 a factor of s(-6)?
False
Suppose -2*t - 2*v - 22 = 0, 0 = -5*t - 4*v + 8 - 60. Let m = t - -11. Does 3 divide m?
True
Let f(l) be the first derivative of l**4/4 + 2*l**3 + 3*l**2 + 6*l + 8. Let v(o) = o**3 + 4*o**2 + 4*o - 1. Let y be v(-3). Is 14 a factor of f(y)?
True
Suppose -4 = -0*j - 2*j. Suppose 0 = -3*p + 2*g - 38 + 108, j*p = -2*g + 50. Does 18 divide p?
False
Suppose -r - 90 = r - 2*m, 0 = -2*r - 2*m - 78. Is 2 a factor of 116/14 - (-12)/r?
True
Does 11 divide (123/12)/((-4)/(-16))?
False
Let r be (-272)/12 + 2/3. Let v = 14 + r. Does 7 divide (-42)/v*16/6?
True
Let p(v) = -v**2 + 7*v + 4. Let x be p(7). Suppose 2*m = 3*m - x. Let r(g) = 2*g**2 - g + 4. Does 15 divide r(m)?
False
Let j = -6 + 9. Suppose 324 = 5*w + 2*f, j*w = -f - 2*f + 198. Is 14 a factor of w?
False
Let b(s) be the third derivative of -s**6/120 - s**5/15 + s**4/12 - 5*s**3/6 - 15*s**2. Suppose 0*c = -3*c - 15. Does 5 divide b(c)?
True
Suppose -v + 5 = -0. Suppose 5*l - 2*q = 18, v*l + 4*q - 37 = -13. Does 17 divide (-16)/l*98/(-8)?
False
Suppose -8 = -4*s, 4*l + 6 = -3*s + 288. Does 12 divide l?
False
Let w = 20 - 16. Is w a multiple of 3?
False
Does 30 divide 268/3 + 6/9?
True
Let m = 68 + 31. Is m a multiple of 11?
True
Let f(j) = 0*j + 3*j**2 + j + 4*j**2. Suppose 3*o = -2*k - 1, 10 = -2*k + 4*o + 2. Does 12 divide f(k)?
False
Is 90/4*216/45 a multiple of 33?
False
Let i = -30 - -52. Does 22 divide i?
True
Does 12 divide (-184)/(-8) + (2 - 2)?
False
Suppose 3*j = q + 2*q + 3, -5*q + 2*j + 7 = 0. Suppose 0 = q*a - 38 - 31. Does 6 divide a?
False
Let z = 38 + -90. Let a = z + 97. Is a a multiple of 15?
True
Let r(c) = 5*c**2 + 2*c - 1. Suppose -2*w = z + 4, -2*w - z + 3*z = 16. Is 20 a factor of r(w)?
False
Let z(w) = 6*w - 6. Is 18 a factor of z(4)?
True
Is (2 + -1)*(-1)/((-4)/448) a multiple of 28?
True
Is 16 a factor of -1 - -2*17/2?
True
Suppose 5*o - 5*w - 55 = 0, o - 7 - 24 = 5*w. Suppose 2*c + 1 = -1. Is 9 a factor of -2 + (c - o)*-4?
False
Suppose r + 3*g = g - 10, g = -3*r - 5. Suppose r = -0*j - 2*j + 112. Suppose -f = -5*f - 4*b + j, -5*b - 56 = -2*f. Is 18 a factor of f?
True
Suppose 0 = -5*x + 289 + 96. Let p be 1*(-3)/((-6)/(-106)). Let u = x + p. Does 17 divide u?
False
Suppose -3*o + 2*l = 7, o - 5*o = 3*l + 15. Is 1 + 6 + (-1 - o) a multiple of 9?
True
Suppose 2*x - 4*x - 102 = -5*j, j - 3*x - 23 = 0. Let b be (j/12)/((-1)/(-3)). Suppose -b*z + 3 = -7. Is z even?
True
Let o(f) = -57*f**3 + f. Let d be o(1). Let r = d + 111. Is r a multiple of 18?
False
Let v be 2*(-14)/4*-24. Suppose 5*w - v = -w. Is w a multiple of 14?
True
Let m(j) = j**2 - 9*j + 5. Let v be m(9). Suppose 0 = -s + 19 + v. Is 12 a factor of s?
True
Let k(z) = -3*z + 2. Let x be k(4). Suppose 0 = -2*l - f - 6, l - 5*f + 18 = -7. Let v = l - x. Does 5 divide v?
True
Let c(r) = -r + 2. Let y be c(4). Does 14 divide (38/(-4))/(1/y)?
False
Let t(d) be the third derivative of -d**4/6 - 2*d**3 - d**2. Is 7 a factor of t(-9)?
False
Let v(j) = 2*j**2 + 5*j**2 - 4*j - 3*j**2 + j**3 + 0 + 3. Is v(2) a multiple of 17?
False
Let y(g) = -g**3 - 9*g**2 - 9*g - 3. Let s be y(-8). Suppose -2*r = -2*v, 2*r + 3*v - 24 = -v. Let l = s + r. Is l a multiple of 9?
True
Let a = 18 + -16. Suppose -2*m - 2*m - a*p = -54, -5*p = -3*m + 47. Is m a multiple of 5?
False
Let x(p) = p - 5. Let b be x(6). Let l be 0 - (1*3 + (-32)/4). Let w = l - b. Is w a multiple of 2?
True
Let t(s) = s**3 + 8*s**2 + s + 11. Let l be t(-8). Let k(c) = 4*c + 3. Is 4 a factor of k(l)?
False
Let k be 2/(-7) - 960/(-28). Let u = 59