e 4*q - 103 + 11 = -b, -3*q = -5*b - 92. Let x = -15 + q. Is x a multiple of 7?
False
Let l = 34 + -6. Let f = l - 11. Is f a multiple of 8?
False
Let c(s) = -s**2 + 4*s + 1. Let p be c(2). Suppose 15 + 5 = p*w. Does 2 divide w?
True
Let w(h) = -112*h + 6. Does 14 divide w(-1)?
False
Suppose n + 3*n = 144. Let o = 12 + n. Is o a multiple of 12?
True
Suppose -2*m + 3*m = 0. Suppose -3*q - 6*d + d + 17 = 0, -q + 4*d + 17 = m. Does 3 divide q?
True
Suppose -16 = -d + 13. Suppose -3*i + 64 + d = 0. Is 11 a factor of i?
False
Let r(a) be the second derivative of 2*a**4/3 + a**3/6 - 4*a. Does 5 divide r(-1)?
False
Suppose -l = -2*l - 3, 748 = 4*k + 4*l. Suppose 0 = 5*c - k - 10. Is 8 a factor of c?
True
Is (-1 + -5)/(12/(-64)) a multiple of 5?
False
Suppose -4*s = 3*g + 28, 3*g - 4*s + 2 = -18. Let t be (-6)/(-4) + 12/g. Does 14 divide (-14)/(t + (-2)/2)?
True
Let r be (-47)/3 + (-2)/(-3). Suppose -149 = 5*f - 24. Let t = r - f. Is 5 a factor of t?
True
Let g(o) = -o**2 + 8*o - 5. Let l be g(4). Suppose 67 = -3*t - n, 4*n + 27 - l = 0. Let s = t + 32. Is s a multiple of 11?
True
Let x be ((-9)/(-6))/(6/(-16)). Is 7 a factor of (-8)/(-32) + (-27)/x?
True
Let u = 41 + 10. Is u a multiple of 5?
False
Suppose 69 + 23 = -4*o. Let r = o - -39. Is 7 a factor of r?
False
Suppose 0*g + 4*g = -4*f + 92, 5*f - 3*g = 107. Is f even?
True
Suppose -2*b - 12 = -112. Suppose -7*s + 2*s = -5*n + b, 3*n - 5 = -2*s. Let f = s - -31. Is f a multiple of 13?
True
Let l be (30/(-4))/(3/(-4)). Suppose 3*k - 10 = -s + 2*k, 2*k - l = 0. Suppose -2*b = -3*j - 40, -2*j - 45 = -s*b + 77. Is 12 a factor of b?
False
Let w(q) = q**3 + 8*q**2 - 11*q + 9. Is w(-6) a multiple of 21?
True
Let u be 2 - (-1)/(1/(-2)). Let y(z) = z**3 - z - 3*z**3 + 36 + 3*z**3. Does 16 divide y(u)?
False
Let u = 1 - 5. Is 4 a factor of (-32)/(-12)*(-6)/u?
True
Suppose -3*c + 7 + 5 = 0. Is 19 a factor of c/(-34) - 7128/(-187)?
True
Suppose 4*f + 3*x - 14 = 10, f + 13 = 4*x. Suppose -f*r + 146 = -40. Suppose -2*n = 3*v - r, 3*n - 5*n = 5*v - 98. Is 9 a factor of v?
True
Let d(t) = -4*t + 2. Let a be d(2). Let r be ((-230)/a)/(1/3). Suppose j = 5, 2*j + r = 5*m - j. Is 13 a factor of m?
True
Suppose 17*k - 2293 = 1464. Is k a multiple of 13?
True
Let x be ((-2)/(-2))/((-1)/(-5)). Suppose -x*g + 45 = -10. Suppose 0 = 3*t - g - 7. Is t a multiple of 4?
False
Let h be ((-3)/4)/(5/20). Does 9 divide (h - (-7 - -3))*33?
False
Is 3 a factor of (-18)/(-10)*(-300)/(-36)?
True
Suppose 3*z + 560 = 4*b + 1774, -4*z = 2*b - 1604. Is z a multiple of 16?
False
Suppose 0 = 2*m - c - 3, 2*m + 6 + 9 = -5*c. Suppose 0 = -m*w - w + 88. Is 26 a factor of w?
False
Let x be 8/(-1*6/15). Let u = x + 30. Suppose -u = 4*n - 42. Is n a multiple of 8?
True
Suppose 0 = 3*s + 27 - 153. Is 7 a factor of s?
True
Let x(b) = -b + 3. Let k be x(3). Suppose 4*v - 5*i - 12 = 12, 2*v - 4*i - 12 = k. Does 6 divide v?
True
Suppose -3*l - 38 = -5*x + 1, 4*x - 32 = 2*l. Is x a multiple of 5?
False
Let y = 100 + 62. Is 18 a factor of y?
True
Let o be 2/(-1 - (-2)/4). Let z be (-6 - -2)/(2/o). Does 7 divide (-4)/z + (-15)/(-2)?
True
Let y(d) = d**3 - 10*d**2 + d - 5. Let s be y(10). Suppose -25 = -s*g + 2*q + 28, 5*g - 5*q = 65. Is 9 a factor of g?
True
Let w = -11 - -16. Suppose -2*a + 81 + 82 = 3*v, -3*a = -5*v - 197. Suppose w*c = -i + 19 + 74, 0 = 4*c + i - a. Is 8 a factor of c?
False
Let f(y) = -4*y - 1. Suppose 4*v + v = -5. Let z be f(v). Suppose -z*s + 48 = -0*s. Is s a multiple of 16?
True
Let l be (4 - 0) + 2/(-1). Suppose 70 = l*n + 5*r, -4*n - n - 5*r + 160 = 0. Does 15 divide n?
True
Let t = -5 + 13. Let g(n) = 3*n - 11. Let z(y) = -6*y + 23. Let x(d) = 9*g(d) + 4*z(d). Is x(t) a multiple of 10?
False
Let b = -65 + 95. Is 15 a factor of b?
True
Suppose -y + 2*x + 16 = 0, y + 2*x + x + 9 = 0. Suppose u = -0*u + y. Is u a multiple of 5?
False
Let q(b) = -b**3 - 16*b**2 - 16*b + 4. Is 13 a factor of q(-15)?
False
Suppose b - 1 = -g - b, -1 = b. Suppose -2*t = 4*r - 306, 2*r = 7*t - g*t - 622. Suppose 5*s + 15 - t = 0. Does 28 divide s?
True
Let g(j) = -j**3 + 5*j**2 + j + 1. Let q be g(5). Is 14/(-21) + 202/q a multiple of 19?
False
Let d be (-9)/36 + (-9)/(-4). Suppose 3 + d = -t, 2*c = -3*t + 3. Does 4 divide c?
False
Suppose 3*t - 4*s - 32 - 38 = 0, 3*t + 2*s = 64. Is t a multiple of 22?
True
Suppose -f + 8 = -4. Let p be 23/((-15)/f + 1). Does 23 divide p/(-3)*3/2?
True
Suppose 4*v - 4 = 0, 59 = 2*h - 5*v - 12. Is h a multiple of 16?
False
Let w = -27 + 32. Does 5 divide w?
True
Suppose -3*p - 22 = -2*n, n - 4*n + 31 = -4*p. Suppose -b + 8 = n*u - 32, -67 = -b + 4*u. Does 13 divide b?
False
Let g = 225 + -133. Is 14 a factor of g?
False
Let z(a) = -4*a - 3. Suppose -2*g + 4*n = -4, -3*g + 5*n = -12 + 3. Suppose 0 = -0*l - 2*l - g. Is 13 a factor of z(l)?
True
Let l = -310 - -504. Is l a multiple of 50?
False
Is 15 a factor of (6 - 1014/(-12))*2?
False
Suppose -g + 5 = 0, -47 = 4*o - 5*g + 50. Let d be (29 - 0) + (-1 - 0). Let h = o + d. Is h a multiple of 5?
True
Let z be 2/(-12) - 70/12. Let h(p) = -p - 1. Let a be h(z). Suppose a*r + 3*q - 332 = 0, -5*r - q = -299 - 25. Is r a multiple of 25?
False
Let i(m) = 0*m**3 - 4 + 3*m**3 - 2*m**3 + 5*m - 4*m**2. Let z be i(3). Suppose 5*n - 65 = -5*r + 10, 2*r - 18 = z*n. Is 6 a factor of r?
True
Let y = -29 - -57. Let h = y + -16. Does 8 divide h?
False
Let r(m) be the second derivative of 1/20*m**5 - 1/6*m**4 + 1/2*m**2 - 1/3*m**3 - m + 0. Is r(3) a multiple of 4?
True
Suppose -5*r + 8 = -3*r. Does 9 divide 212/8 + 2/r?
True
Let g = 39 - 11. Is 14 a factor of g?
True
Let i = -57 + 41. Let y = i + 26. Let d(w) = -w**3 + 10*w**2 + w + 5. Is d(y) a multiple of 7?
False
Let y be 0/(-2) + (3 - 1). Is 2 a factor of (-15 - -22)*y/2?
False
Is 1/2*2*(71 - -7) a multiple of 6?
True
Let p = 12 + -12. Suppose z + 2 = p, 3*z + 67 - 9 = 4*m. Does 13 divide m?
True
Let b(i) = i**3 - 4*i**2 - 3*i + 2. Let d be b(4). Does 15 divide (2 - 4)/(d/215)?
False
Let p(j) be the third derivative of -j**4/24 + j**3/6 + 2*j**2. Let y(r) = -r**2 - 7*r + 3. Let b(s) = 6*p(s) - y(s). Is b(-3) a multiple of 4?
False
Suppose 0*t - 3*a + 3 = -3*t, -2*t - 3 = -3*a. Suppose -3*u - 2*u = t, -5*o + 160 = 3*u. Is 12 a factor of o?
False
Suppose -4*r + 4 = -6*r. Is 4 a factor of ((-5)/r)/((-1)/(-2))?
False
Is 12/36 + (-58)/(-6) a multiple of 10?
True
Let t = -39 - -91. Does 13 divide t?
True
Let k(g) = -g + 4. Let n be k(-5). Suppose -4*d - n = q - 29, 0 = -2*d + 2. Is q a multiple of 8?
True
Let b(f) = -2 + f - 1 + f. Let a be b(4). Let m(o) = -o**2 + 5*o + 3. Is m(a) a multiple of 2?
False
Let h(j) be the first derivative of j**3/3 - 2*j**2 + 3*j - 1. Let q be h(4). Is 3 - q/6*-2 a multiple of 4?
True
Suppose -2*d - 4*m + 20 = 0, 2*d - 2*m - 1 + 5 = 0. Let g(x) = 13*x. Is 13 a factor of g(d)?
True
Suppose 4*b - 3*t - 143 = 0, b - 5*t = 2*b - 53. Let l = b + -16. Does 10 divide 8/44 - (-348)/l?
False
Let y = 4 + -8. Is 13 a factor of (-26)/(1 + (y - -2))?
True
Let w be ((-66)/(-4))/(12/16). Suppose 3*a = u - w, -2*u + 0*a = -a - 34. Is 16 a factor of u?
True
Is 3 a factor of -2 + 1 + 40/(-2 - -7)?
False
Let d(k) = -16*k**3 - k**2. Let r(q) = -q**3 - 2*q**2 + 1. Let b be r(-2). Suppose 0 = z + b. Does 8 divide d(z)?
False
Let k(z) = -z**2 - 3*z + 3. Let u be k(-3). Let o = 0 + u. Let t = 6 - o. Is t even?
False
Suppose -4*d = -12, -2*q + 68 = -6*d + 2*d. Is q a multiple of 12?
False
Suppose -4*z + 10 - 38 = 0. Does 6 divide z/(-14) - (-19)/2?
False
Suppose -n - 5*x + 120 = 0, -n - x + 138 = -2*x. Suppose 0 = -4*r + n + 33. Is 14 a factor of r?
True
Does 24 divide 6/(-18) - (-320)/6 - -3?
False
Let c(a) = 6*a - 15. Suppose -12 = -2*s + 5*o, -3*s + 0 = -2*o - 18. Is 7 a factor of c(s)?
True
Is (0 - -39)*10/6 a multiple of 5?
True
Let a(y) = -y**3 - 15*y**2 - y + 36. Is a(-15) a multiple of 7?
False
Let b(v) = -v**3 - 7*v**2 - 4*v + 2. Let u be 6/(-9) - 38/6. Let t be b(u). Let r = t + -13. Is r a multiple of 12?
False
Suppose 4*k + 175 = 15. Let f = k + 25. Let h = 0 - f. Is 15 a factor of h?
True
Suppose -3*m + 963 = -5*d + d, -3*d - 966 = -3*m. Suppose 4*u + y = -m, -3*u + u = y + 161. Let j = -55 - u. Does 13 divide j?
False
Let x(z) = 2*z**2 - z + 1. Suppose q = -0*g - 2*g + 24, -5*q - 20 = -4*g. Suppose -g = -5*l - 0*l.