 -g - 10. Let n(j) = 4*d(j) + 3*s(j). Does 19 divide n(y)?
False
Is 45 a factor of (-38336)/(-80) - (33/15 - 3)?
False
Let r be -1 + 45/39 - 252/(-52). Suppose -3*j - w + 214 = r, -w = -2. Is j a multiple of 30?
False
Suppose 0 = -5*k - 5*m + 2245, -4*m - m = -2*k + 933. Suppose 2*w = 4*c + k, -2*w + 935 = 2*w + c. Is 11 a factor of w?
False
Suppose -12*o + 119 = -349. Does 31 divide o*4 + 2 + -3?
True
Let w = -3 - -157. Suppose 5*n = 54 - w. Let c = 2 - n. Is 12 a factor of c?
False
Let o(l) = -16*l**3 - l**2 + 5*l + 5. Does 7 divide o(-2)?
True
Let g = 154 + -60. Let i = -87 + g. Is i a multiple of 4?
False
Suppose 4*f - 5*c - 104 = 3*f, c = 2*f - 181. Let t be (2/4)/(-5*1/240). Let z = t + f. Does 25 divide z?
False
Let y(j) = -3*j + 3*j**2 - 6*j**2 + 4*j**2 - 4. Let n be y(4). Suppose f + n*f = 66. Is f a multiple of 22?
True
Let z(w) = -w - 6. Let b be z(0). Let m = 75 - 73. Is b*(m - 33/6) a multiple of 10?
False
Suppose 0*l = 2*l + 4, -5*r - 3*l + 394 = 0. Let p = r - 32. Is p a multiple of 12?
True
Let k be (-4)/(-8) - (-765)/(-10). Let l = 81 + k. Is 5 a factor of l?
True
Suppose x - 3 = -2*x, 4*d = 4*x + 1796. Is d a multiple of 3?
True
Suppose -q = -2*q + z + 97, -4*z + 194 = 2*q. Suppose 3*o - o = -10, -q = -4*w + 5*o. Does 18 divide w?
True
Is (-9048)/(-34) - (-20)/(-170) a multiple of 16?
False
Let f be ((-4)/(-6))/((-4)/(-150)). Suppose -4*h - 20 = 4*j, 9*h = 4*h - f. Suppose j*t - 38 = -2*t. Does 7 divide t?
False
Let d be (32/(-40))/((-2)/5). Does 3 divide (d + -24)*(-2)/4*3?
True
Suppose 2*c = h + 5*c - 555, 0 = h + 4*c - 556. Is h a multiple of 12?
True
Let o be ((-132)/36)/((-2)/(-54)). Let b = o - -346. Is b a multiple of 11?
False
Suppose 3*s - u = -2*u + 12, -2*u = -2*s. Let t be 4 - (438/2 - s). Is 15 a factor of (4/8)/((-2)/t)?
False
Let z = 349 + -128. Does 13 divide z?
True
Suppose 23 + 9 = j. Let q = j + -48. Let f = q - -23. Does 2 divide f?
False
Let j(y) = -y**3 + 13*y**2 - 15*y + 18. Let l be j(11). Suppose -2*o = -f - o + 2, 3*f - o = 6. Suppose -7*k + f*k = -l. Is 2 a factor of k?
False
Suppose -4*x - 715 = -2*z + 21, -2*z + 704 = 4*x. Is 40 a factor of z?
True
Suppose 0*g + 3*g = 2*q + 3, 0 = 5*q + 2*g + 17. Is (q/2)/((-3)/352) a multiple of 16?
True
Let k = -637 + 1531. Is k a multiple of 11?
False
Let q = 5 - -81. Suppose 0 = -7*c + q + 12. Is c a multiple of 7?
True
Suppose -w + 162 + 1177 = 5*u, 3*w - 546 = -2*u. Suppose -62*j + u = -59*j. Is j a multiple of 13?
False
Let q(c) = 4*c**2 - 6*c - 9. Let f be q(-6). Suppose -i + f = -4*i. Let r = i + 90. Does 11 divide r?
True
Let o be (-148)/(-8)*2 - 1. Let v be (-8)/o + 43/(-9). Let z = 22 - v. Does 6 divide z?
False
Suppose 0*s + 12 = -4*s. Let v = 4 + s. Suppose -2*t = v - 15. Is 4 a factor of t?
False
Let u be ((-10)/1)/((-3)/(1 + 47)). Suppose 53 = 3*r - u. Does 19 divide r?
False
Suppose t + 288 = 2*k - 675, -3*k = -2*t - 1444. Is k a multiple of 48?
False
Let x(u) = u**3 - u**2 - 4*u + 4. Let v be x(2). Suppose v = -2*i + 12 + 16. Does 12 divide i?
False
Let a(n) = n**3 - 5*n**2 + 4*n. Let w be a(4). Suppose 0*z + z - 74 = w. Is 12 a factor of z/3 + (-4)/6?
True
Let a(r) = -r**2 - 44*r + 106. Does 24 divide a(-22)?
False
Let j = -40 + 88. Suppose -7*g = -3*g - j. Does 8 divide g?
False
Suppose c + 80 = 4*k - 7*k, 0 = 5*c - 5. Let b = k + 47. Is b a multiple of 10?
True
Suppose -11 = 4*p - 23. Suppose 3*i + 44 = 4*h, -p*h - 8*i + 4 = -3*i. Is h a multiple of 2?
True
Suppose -3*h - 2*z = -28 + 6, 2*h + 5*z = 33. Suppose 2*j + 22 = -5*v, h*j + 2*v - 1 = -13. Is 85/10*(-2)/j a multiple of 12?
False
Suppose 2*y - p - 15 = -5, p - 6 = -2*y. Let c be 1/(2/(8 - y)). Is -23*c*(-8)/16 a multiple of 23?
True
Let n = 3423 + -230. Is n a multiple of 11?
False
Let g(n) be the third derivative of -n**7/840 + 4*n**4/3 + 5*n**3/6 + 6*n**2. Let x(s) be the first derivative of g(s). Is 8 a factor of x(0)?
True
Let x(h) = -187*h - 174. Is 6 a factor of x(-6)?
True
Suppose 5*g + 2*i - 16 = 17, 3*g = i + 11. Suppose -g*b + 2*b = -144. Is b a multiple of 8?
True
Suppose -8 = 3*p - 62. Is (-14)/(52/p - 3) a multiple of 26?
False
Suppose -3*g + 734 + 11 = -5*i, 0 = -5*i + 20. Does 2 divide g?
False
Let l = -200 - -246. Does 13 divide l?
False
Suppose 2*f = f + 27. Let x = 95 + -91. Suppose f = l + x*b, -b = -l + 3*b - 5. Does 10 divide l?
False
Let o = 1584 - 994. Does 5 divide o?
True
Let z = -23 - 1. Let d = z - -52. Suppose 0 = v + 5, -3*f - 4*v + 0*v = -d. Is 16 a factor of f?
True
Suppose -8 = -2*j - 2*j. Let m be 1840/12 - j/6. Suppose -4*v + 465 = m. Is 26 a factor of v?
True
Suppose 0 = -8*h + 5*c + 19962, -5*c + 7012 + 460 = 3*h. Is h a multiple of 51?
False
Let m(x) = -x**2 - 14*x - 5. Let q(o) = -o + 4. Let z be q(10). Is 16 a factor of m(z)?
False
Let j(a) = a**3 - 28*a**2 + 3*a + 54. Is j(28) a multiple of 3?
True
Suppose g - 5 = -d + 4, -g + 3 = -2*d. Suppose -4*c - 2*x - 5 = -g*c, -2*x - 10 = -4*c. Suppose c*o - 105 = -3*j, 2*o - 2*j - 42 = 3*j. Does 21 divide o?
True
Let q(c) be the second derivative of -6*c**3 - 41*c**2/2 + 17*c. Does 35 divide q(-6)?
True
Let b be ((-16)/(-12) + -1)*6. Suppose 108 = -3*f + b*n, -4 = 2*n + 2. Is (f/8)/(1/(-28)) a multiple of 31?
False
Let l = 9 + -9. Suppose 6 = x - f, -3*x - 2*f + 8 + 20 = l. Suppose 2*m + 0 = x. Is 2 a factor of m?
True
Suppose -13*p = -10*p - 3. Let q(g) = 23*g**2 - 4*g + 4. Is 14 a factor of q(p)?
False
Let k = -927 - -3519. Is k a multiple of 28?
False
Let t = -6 - -8. Let u be 1/t*(5 - -1). Is -5*((-36)/15 - u) a multiple of 11?
False
Let g be (-88)/(-28) - (-2)/(-14). Suppose 5*d + 3*v - v - 381 = 0, -g*v - 237 = -3*d. Is d a multiple of 19?
False
Let v = -10 - -70. Let j(c) = 4*c**2 - 59*c + 23. Let u be j(15). Let f = v - u. Is f a multiple of 14?
False
Let u(t) = t**2 - 5*t - 10. Let g(d) = d**3 + 3*d**2 - 4*d - 6. Let b be g(-4). Let n be u(b). Suppose 2*f = -4*y + 28, f = -2*f + y + n. Does 13 divide f?
False
Let c(k) = 70*k**2 - k. Let t = 141 - 204. Let l be 45/t + (-2)/7. Is c(l) a multiple of 18?
False
Let k be ((-770)/21)/(19/9 + -2). Does 23 divide (k/(-2))/((-2)/1 + 3)?
False
Let g(i) be the first derivative of -7*i**4/6 + 2*i**3/3 - 7*i**2 + 10. Let j(c) be the second derivative of g(c). Is j(-2) a multiple of 20?
True
Let c(y) = 18*y + 55. Is c(-2) a multiple of 19?
True
Suppose -6*t = -r - t + 672, -4*r = -t - 2726. Is 62 a factor of r?
True
Suppose 15*t - 7*t - 40 = 0. Suppose 0 = -t*d + 2*d + 90. Does 5 divide d?
True
Let m be (5 + -6)*(-4)/1. Suppose -m*w + 55 = -57. Is 14 a factor of w?
True
Let h = 23 - 20. Suppose 5*l + u - 432 = 0, l - 34 - 44 = -h*u. Suppose -2*q - 31 = -o, -4*o - 8 + l = q. Is 7 a factor of o?
True
Let g = 1205 - 517. Is 66 a factor of g?
False
Let r(z) = 2*z + 2. Let q(b) = -b**3 - b**2 - 1. Let h(u) = 2*q(u) + r(u). Let j(s) be the second derivative of h(s). Is 14 a factor of j(-5)?
True
Let l be (-892)/(-6)*(-9)/(-6). Let m = l - 133. Is 10 a factor of m?
True
Let y = -90 + 50. Let g be (y/(-6))/(6/72). Suppose 2*u = -5*h + 3*h + g, h + 180 = 4*u. Does 22 divide u?
True
Let m(t) = t**3 - 19*t**2 - 21*t + 25. Let b be m(20). Suppose -4*a + b*i + 212 = 0, 2*i - 159 = -3*a + i. Is 9 a factor of a?
False
Let y = -45 + 57. Let m be 72/(-4)*(2 - 3). Let x = m - y. Is x a multiple of 2?
True
Let l(c) = -4*c. Let n be l(-2). Let a(u) = -2*u - 14. Let q(m) = 3*m + 15. Let k(f) = 5*a(f) + 4*q(f). Does 4 divide k(n)?
False
Let w be -1*((-24 - 4) + -4). Suppose w = -2*q + 3*q. Suppose -q = -2*i + 2. Does 17 divide i?
True
Let k(b) be the first derivative of -b**3/3 + 19*b**2/2 + 4*b + 7. Let u be k(19). Suppose 47 = x - u. Does 18 divide x?
False
Let g = 136 + -131. Suppose -2*j + 4*l = -6*j + 916, -g*l = -3*j + 671. Does 35 divide j?
False
Let p(v) = -v**3 + 7*v**2 - 7*v + 5. Let z be p(5). Let u(t) = t**3 + 6*t**2 + 5*t + 8. Let h be u(-4). Suppose 5*f = -h, 3*f + f - z = -b. Does 9 divide b?
True
Let r(c) = -2*c**2 - c - 17. Let z be r(-13). Let y = z + 485. Is y a multiple of 32?
False
Suppose -1754 = -12*y + 1054. Is y a multiple of 26?
True
Let x = 50 - 45. Suppose x*a - 48 = a. Is a a multiple of 6?
True
Let r(g) = 118*g**2 + 42*g + 12. Is r(5) a multiple of 26?
True
Let p = 75 + -20. Suppose -p = -2*k + 15. Is k a multiple of 10?
False
Let n(h) = -103*h**3 +