g + 5*k + 80, 2*g + 1 = 5*k + 51. Is 15 a factor of g?
True
Let l(k) = k**2 + k - 2. Let a = 0 + -3. Let v be l(a). Suppose -5*c + 3*j = -16, -2*j - v = c - 5*j. Is c a multiple of 2?
False
Let q(k) = -k**3 + 8*k**2 + k + 1. Does 5 divide q(8)?
False
Let h = 3 + -3. Let r(v) = v + 56. Is r(h) a multiple of 14?
True
Suppose -5*d = -5*w - 100, -2*w = d + w - 36. Is 24 a factor of d?
True
Let r(w) = w - 23. Let z(s) be the third derivative of -s**4/24 + 11*s**3/6 + 3*s**2. Let u(q) = 6*r(q) + 13*z(q). Does 21 divide u(-8)?
False
Let g(j) = j + 1. Let v(t) = -t - 7. Let s(u) = -2*g(u) + v(u). Let d be s(-7). Is 13 a factor of (174/d)/((-1)/(-2))?
False
Suppose -350 = 4*v - 9*v. Does 11 divide v?
False
Suppose a = 2*v + 29, -4*v + 14 = a - v. Let l = a + -10. Does 13 divide l?
True
Let c(g) = -g**3 + 7*g**2 - 2*g + 5. Let r(y) = 4*y**2 - y - 1. Let p be r(-1). Let k be c(p). Suppose 2*x = 3*t + 11 - 77, 3*t + 5*x = k. Is t a multiple of 7?
False
Suppose -18 = -c + 5*b - 3*b, -5*b = -4*c + 87. Is 17 a factor of c?
False
Let i = -97 - -127. Is i a multiple of 10?
True
Let y(h) = h**3 - 13*h**2 - h + 1. Let b(s) = -2*s**3 + 26*s**2 + s - 1. Let c(x) = -4*b(x) - 7*y(x). Is 9 a factor of c(13)?
True
Let v(w) be the second derivative of w**4/12 + 2*w**3/3 - 4*w**2 + 3*w. Is 12 a factor of v(-8)?
True
Is 16 a factor of -3 + -51*(-1)/1?
True
Suppose -4*n = j + 12, 3*j = n - 0*n - 10. Let f = 10 + n. Does 5 divide f?
False
Let o = -2 - 0. Is 6 a factor of (-9 + -1)/(1/o)?
False
Let z(r) = -r**3 - 8*r**2 - 2*r - 2. Is 4 a factor of z(-8)?
False
Let i(p) be the first derivative of -p**4/4 - 4*p**3/3 - 5*p**2/2 + 1. Suppose 4*z - 5*c + 41 = 0, -z = -2*c + 5*c - 11. Does 10 divide i(z)?
True
Let k = 24 - 5. Does 19 divide k?
True
Let x = 135 - 55. Does 33 divide x?
False
Let h = 5 - -7. Does 11 divide 50 - h/(-1 + 5)?
False
Let v be 1/2*(-7 + -79). Let m = -25 - v. Does 18 divide m?
True
Let z(y) = 4*y + 1. Let q be z(-1). Let l(s) = 2*s**2 + 2*s + 3. Let b be l(q). Suppose -p = -4*u + p + 70, -3*p = 2*u - b. Is u a multiple of 6?
False
Let f = 12 + -9. Suppose 5*p - d - 2 - 84 = 0, -f*d + 65 = 4*p. Does 5 divide p?
False
Suppose -9*q = -4*q. Suppose 0 = -0*p - 3*p + 390. Suppose -w - 4*w + p = q. Does 9 divide w?
False
Let q be 1355/20 + (-6)/8. Suppose 6*p - 2*p - q = x, 2*p + 5*x - 39 = 0. Is p a multiple of 8?
False
Let f = -57 + 112. Is 11 a factor of f?
True
Let m = -15 + 31. Is 14 a factor of m?
False
Suppose -5*k - 4*u + 225 = 0, -5*u = -2*k + 48 + 9. Let y = k + -13. Suppose y = 4*g - 4*f, 3*g - g - f - 13 = 0. Is 6 a factor of g?
True
Let h be 0 + (-2 - 1) + 7. Suppose -3*k - h*a + 148 = 0, -20 = 3*k + a - 183. Is 19 a factor of k?
False
Suppose -4*l = -5*n + 236, 0*n - l = -n + 47. Is 12 a factor of n?
True
Suppose 4*x + 4*o = 3*x + 28, 0 = -3*o. Is 7 a factor of x?
True
Suppose -7*u = -2*u + 30. Is (-19)/(-2) - (-3)/u a multiple of 3?
True
Let q(c) = -c**2 - 11*c + 4. Is 22 a factor of q(-6)?
False
Is 9 a factor of 1*9*6/(5 - -1)?
True
Let z = 13 + 57. Does 10 divide z?
True
Let z(d) = -d**3 + 5*d**2 + 5*d + 6. Let l be z(6). Suppose -a + 35 = -l*a. Is a a multiple of 8?
False
Let b(g) = 12*g + 8. Let o be b(-6). Let z = 46 + o. Let r = z + 66. Does 24 divide r?
True
Suppose u - 2*u + 1 = -d, -2*u + d + 1 = 0. Let q be (-1 - u)*3 - 1. Does 5 divide 2/(1*q)*-10?
True
Suppose 3*x = -x + 240. Suppose i + 4*i = x. Is i a multiple of 6?
True
Let l(v) = v**2 + 6*v - 7. Does 2 divide l(-8)?
False
Let b(n) = 8*n**3 - 2*n**2 + 5*n. Is b(2) a multiple of 8?
False
Suppose -p = 3*p. Suppose -d + 6 = -4*c, p = -4*d - 4*c + 89 - 25. Is 5 a factor of d?
False
Suppose d - 3 = j - 0*d, -d + 9 = 5*j. Suppose 32 = 3*m + p, -4*p - j = -4*m + 15. Is 3 a factor of m?
True
Suppose -5*o - 3*z + 162 = 0, -5*o + 6*z - 2*z + 134 = 0. Does 11 divide o?
False
Suppose -p - 3*p = -96. Suppose 3*z - 2*h = 5*z - 10, -4*z - 3*h + p = 0. Is 9 a factor of z?
True
Let f(q) be the first derivative of -q**4/4 + 2*q**3/3 + 2*q**2 + 2*q + 3. Let j be f(4). Does 2 divide (-1)/(44/j + 3)?
False
Suppose -3*y - 2*y = -50. Does 19 divide ((-19)/1)/(y - 11)?
True
Let t = -50 - -78. Does 16 divide t?
False
Let l = 25 - 15. Let d = -1 + l. Does 2 divide d?
False
Let k(m) = -3 - 1 + 4*m**2 - 4*m + 7*m**2 - m**3 - 4*m**2. Is k(6) a multiple of 6?
False
Suppose d = -0*d + 4. Suppose d + 16 = b. Does 8 divide b?
False
Suppose 3*t - 258 + 41 = -2*p, -t + 439 = 4*p. Does 11 divide p?
True
Let y = 12 - 9. Suppose 16 = -4*j, -y*u - 2*u - 3*j + 193 = 0. Suppose u - 1 = v. Is 10 a factor of v?
True
Let z(g) = g**3 - 6*g**2 + 6*g - 2. Let h be z(5). Suppose -h*w + 71 = -3*b - 40, -46 = -w + 4*b. Is 17 a factor of w?
True
Does 31 divide 123 - -2 - (-4)/(-4)?
True
Let g be (4/4)/(2/4). Suppose v - g - 3 = 0. Suppose -4*k = -v*k + 7. Is k a multiple of 3?
False
Suppose 0 = 2*f - 0*f + 3*d - 69, 0 = -3*f + 2*d + 84. Is 6 a factor of f?
True
Let d = 0 + 9. Suppose -4*i + 10 = -5*g - d, -3*i = -5*g - 13. Does 3 divide i?
True
Let g(d) = d**3 + 6*d**2 - 4*d - 1. Is 17 a factor of g(-5)?
False
Let h(z) = -z**3 + 6*z**2 + 7*z + 1. Let c be h(7). Let j be 9 - (-2 + 1 + c). Let o = j - -9. Does 18 divide o?
True
Let a = -15 - -111. Let t = a + -45. Is 17 a factor of t?
True
Suppose 72 = m + 5*m. Does 26 divide 30 + m/(1 + -4)?
True
Let k(u) = 2*u - 6. Suppose 0*i + 5*i - 20 = 0. Let p be k(i). Suppose 3*g + p*m + 31 = 4*g, -m - 78 = -3*g. Is 8 a factor of g?
False
Let b = 2 - -14. Is b a multiple of 16?
True
Suppose 0 = i - 6 - 2. Suppose 2*j - i - 10 = 0. Is 9 a factor of j?
True
Let f = -73 - -106. Suppose 4*r - 35 = f. Is 9 a factor of r?
False
Let d(b) = -1 - 2*b + 5*b**2 - 2 + 0. Is d(3) a multiple of 12?
True
Let s be (6/(-9))/((-4)/246). Suppose 0*i - s = -m + i, 3*i + 12 = 0. Is 32 a factor of m?
False
Let d(v) = v + 9. Let j be d(-9). Suppose 2*g - 6 = j, -2*g = 3*b + 3*g - 33. Does 2 divide b?
True
Let s(d) = -12*d. Let g be s(2). Let x be g/(-10) + (-6)/15. Is 9 a factor of 21/x - 1/2?
False
Is 4 a factor of (-2)/(-9) + (-980)/(-126)?
True
Suppose 10*i = 7*i + 36. Is i a multiple of 12?
True
Let i = 15 - 9. Suppose 2*y - i*y = 0. Suppose -p = -y*p - 22. Is p a multiple of 13?
False
Let v(p) = p + 6. Let h be v(-6). Suppose 5 = 4*u - 3*j, -3*u - j + h = 6. Does 17 divide 37 - u*6/(-2)?
True
Suppose -5*j = -0*j + 155. Let u = 83 - j. Is 38 a factor of u?
True
Suppose u = 3*s + 46, 2*u + 98 = 4*u - 3*s. Is u a multiple of 13?
True
Let b be 20/6 + 6/9. Let v(f) = -f. Let o(s) = 5*s - 1. Let q(n) = -o(n) - 6*v(n). Does 3 divide q(b)?
False
Suppose 0 = -3*d + 5*d - 128. Is d a multiple of 16?
True
Suppose -n = 2*n. Suppose n*c - c + 36 = 0. Suppose -c = -i - i. Does 9 divide i?
True
Let d be (-4)/10*(-10)/(-2). Is 5 a factor of d/(-6) + 328/24?
False
Suppose -5*w + 13 = n, 5*w + 107 = 3*n - 12. Is n a multiple of 33?
True
Suppose -6*j = -10*j + 608. Is j a multiple of 8?
True
Suppose -4*o = -2*o - 6. Suppose o*f - 141 = -33. Does 9 divide f?
True
Does 5 divide 103 - -12 - 0*3/(-9)?
True
Let u(j) = -j. Let t(c) = 3*c + 9. Let w(a) = t(a) + 5*u(a). Let s be w(8). Let q = -1 - s. Is 6 a factor of q?
True
Let a = -15 - 5. Is (-1)/5 + (-164)/a a multiple of 4?
True
Suppose 2*h + 12 = -2. Let a = -4 - h. Is (3/2)/(a/52) a multiple of 13?
True
Let w be (9 + -4)*(-56)/(-5). Suppose -5*c + 16 = w. Is 10 a factor of (-8)/(-2)*(-50)/c?
False
Let z = -39 - -48. Is z a multiple of 6?
False
Suppose -4*d - 16 = -56. Let k = d + -7. Suppose 7*r - 167 = k*r - 5*a, r = -4*a + 50. Is r a multiple of 20?
False
Let y = 8 - 4. Let k = 4 + y. Does 4 divide k?
True
Let u be 193 + (-3 - (-2 - 3)). Suppose z + u = 6*z. Does 13 divide z?
True
Let v(y) = 2*y - 21. Is 3 a factor of v(13)?
False
Does 67 divide 216 - (6/(-2) + 0)?
False
Let n(t) = 8*t + 4. Let f be n(6). Suppose 2*c = f + 2. Is 9 a factor of c?
True
Let x be (-2)/(-3) + 42/18. Is 4 a factor of (4 - -2)/x*2?
True
Let y be 4/(-12) + (-32)/(-6). Suppose 2*s = y*s. Suppose s = -x + 2. Does 2 divide x?
True
Let h(z) = 9*z - 3. Is h(7) a multiple of 12?
True
Let b(o) = 5*o - 3. Does 2 divide b(5)?
True
Let v(m) = 9*m**2 - m. Let z be v(1). Let q = z + -3. Suppose 0*p + p - q*a = 38, -4*a - 85 = -5*p. Does 10 divide p?
False
Let c be 12/(-9)*3*-1. Let o = -1 + c. Suppose -2*w = 4