?
False
Let x be (2 + -1)/((-2)/10). Let a be (6/x)/(1/(-5)). Let u(k) = 5*k - 4. Is 13 a factor of u(a)?
True
Let p be (7 + -11)*(1 + 4 + 1). Suppose 204 = 5*d + 19. Let a = d + p. Does 13 divide a?
True
Let d(x) = x**3 + x**2 + 85. Does 33 divide d(0)?
False
Suppose 4*s - 112 - 140 = 0. Let z = -27 + s. Does 12 divide z?
True
Let w = -96 - -189. Does 31 divide w?
True
Let f(o) = 3*o**2 - 5*o - 6. Does 8 divide f(5)?
False
Is 165 - (-5 - 9/((-36)/16)) a multiple of 13?
False
Let u(a) = a**3 - 9*a**2 + 2*a - 13. Let r be u(9). Is 9 a factor of 1*36/r*5?
True
Suppose -4*s + 4*t = -16, 9 = -s + 5*s + 3*t. Is s a multiple of 3?
True
Let q(s) = -2*s**3 - 4*s**2 + 7*s + 5. Is q(-6) a multiple of 30?
False
Let x(g) = g**3 + g**2 - 7*g + 6. Let n(q) = 4*q - 3. Let z(l) = -5*n(l) - 3*x(l). Is 24 a factor of z(-3)?
True
Suppose -364 = -5*g + 4*s, s + 0*s + 224 = 3*g. Is 27 a factor of g?
False
Let k = -2 - -6. Suppose -5*u - 2*c = -8*u + 107, -k*u - 2*c = -138. Does 10 divide u?
False
Suppose 5*y = -3*p + 507, 2*y - 2*p - 208 = 2*p. Is 13 a factor of y?
False
Suppose 0*h = -h + 152. Suppose 0 = 4*d - 52 - h. Is 17 a factor of d?
True
Let g(f) = 2*f**2 - 4*f + 3. Let y be g(2). Suppose z - y*z + 8 = 0, -42 = -2*w - 4*z. Is 13 a factor of w?
True
Let r = 146 - -109. Does 31 divide r?
False
Let j = -8 - -21. Suppose -4 = -a - j. Let w = 18 + a. Is w a multiple of 4?
False
Let w(p) be the second derivative of p**4/6 + p**3/3 + p**2/2 - 5*p. Is 13 a factor of w(2)?
True
Suppose -3*n - 6 = 0, -n = j + n - 80. Is ((-6)/(-4))/(9/j) a multiple of 13?
False
Let t = 44 - 38. Does 6 divide t?
True
Does 15 divide (34 - 0)/(-3 - -4)?
False
Let y = -45 - -21. Let p = -14 - y. Suppose -5*h = -p*h + 60. Does 4 divide h?
True
Is 54 a factor of (1 - 786/(-24))*8?
True
Let o(t) = -4*t**3 + t**2 - t + 2. Let g(u) = u**3 + 6*u**2 + 6*u - 5. Let j be g(-5). Let h be 3*(1 + j/6). Does 11 divide o(h)?
False
Does 9 divide -2 - (4 - (49 - 3))?
False
Let o = -35 - -79. Suppose -5*v - o = 4*n, v - n = -12 - 4. Let b = 27 + v. Is b a multiple of 14?
False
Let f(s) = -2*s + 26. Let q(h) = h - 9. Let u(n) = 4*f(n) + 11*q(n). Suppose 20 = b + 3*b. Is 12 a factor of u(b)?
False
Let d = 23 + 15. Is d a multiple of 19?
True
Let b be 1/((-2)/(-6)) + 24. Suppose v - b = -5. Is v a multiple of 22?
True
Let o = -14 - -46. Is 4 a factor of o?
True
Let w = -2 - 4. Let v = 27 - w. Is 13 a factor of v?
False
Let r(d) = -10*d**3 - 2*d**2 + 2. Is 2 a factor of r(-1)?
True
Let h be -2*1*(-5 + 4). Suppose 2*m = -h*m. Suppose -198 = -5*g + 4*p - m*p, g - 4*p = 46. Is 13 a factor of g?
False
Suppose 5*r - 15 + 0 = 0. Let d = 6 - r. Suppose 0*g - 5*g = o - 88, -43 = -2*g - d*o. Is g a multiple of 6?
False
Suppose 4*d - 2*d - 4 = 0. Let f = d - 2. Suppose z - 14 = -f*z. Is 9 a factor of z?
False
Let o(y) = y**2 - 5*y - 9. Let d be o(7). Suppose h = d*h - 52. Is h a multiple of 6?
False
Let w(g) = g**3 - 10*g**2 - g + 14. Let l be w(10). Suppose 0 = -5*x, l*x = 2*k + k - 63. Suppose -k = -3*b - d, -4*b = -5*b - 4*d - 4. Does 8 divide b?
True
Let x(m) = 12*m**2 + 12*m - 33. Is 17 a factor of x(3)?
False
Let r(q) = q**3 + 6*q**2 - 1. Let j be r(-4). Suppose -j = -2*u - 0*b + 5*b, -5*b - 7 = u. Suppose -4*h + 16 = -u. Is 6 a factor of h?
True
Suppose 5*p + 2 - 19 = 2*r, -3*p + 3*r = -3. Suppose -p*n + 213 + 82 = c, 4*n - 236 = 4*c. Is n a multiple of 13?
False
Let u be ((-8)/10)/((-8)/(-20)). Is 13 a factor of (39/(-4))/(u/8)?
True
Suppose 0 = x - 3*x + 14. Let j = x + -4. Suppose u = 4 + j. Does 4 divide u?
False
Let j = 2 + -2. Suppose k + 2*g - 39 = j, -5*k + 5*g + 161 = -94. Does 15 divide k?
False
Let k(h) = h + 1. Let w be k(-5). Let c = 30 + w. Suppose -4*q + c + 18 = 0. Is q a multiple of 7?
False
Let i(w) be the first derivative of w**4/4 - 4*w**3/3 - 7*w + 2. Is i(5) a multiple of 15?
False
Let j be (-9 - -3)*(-1)/2. Let s(q) = 2*q**2 + 3*q + 3. Let i be s(-3). Let u = i + j. Does 6 divide u?
False
Suppose -h - c - 35 = -3*h, 3*h - 4*c - 60 = 0. Let k be h/3 + 1/(-3). Suppose 68 = k*t - t. Does 9 divide t?
False
Let v be (3/2)/((-9)/24). Let z(r) = 2*r**2 + 3*r + 2. Is 18 a factor of z(v)?
False
Let l = -4 + 7. Suppose -5*f + 192 = z, -4*f - l*z + z + 156 = 0. Suppose -8 = 2*u - f. Is 15 a factor of u?
True
Suppose 224 = 2*z + z + 5*r, 2*r = 4*z - 290. Is 5 a factor of z?
False
Let t = 36 + 19. Suppose 5*h - t = -0*h. Suppose 0 = -w + h + 5. Is 13 a factor of w?
False
Let m(l) = l**2 + 2*l - 8. Is 36 a factor of m(8)?
True
Suppose -2*t + 20 = 4*l, -8*t - 10 = -3*t - 2*l. Suppose t = 4*v - 39 - 29. Is 17 a factor of v?
True
Is 5 a factor of ((-5)/(-15))/((-1)/(-15))?
True
Let k be 1 - (-2 + 1)*11. Suppose -8*z + k = -4*z. Let n = 14 + z. Is n a multiple of 6?
False
Let w(n) = n**2 + n + 26. Suppose 4*d = -0 + 8. Suppose -2*l - 2*l + d = h, -l = -4*h + 8. Does 11 divide w(l)?
False
Suppose 4*o + 2*z - 6 = -0*o, z + 11 = 5*o. Suppose -o*s - 2*s + 16 = 0. Suppose j - 6 = -h - h, -s*j = 4*h - 40. Is j a multiple of 8?
False
Let i = -91 - -128. Is i a multiple of 7?
False
Suppose 0 = -p - 3*p. Suppose p = -b + 2*b + 7. Let g = b + 31. Does 16 divide g?
False
Let l = 0 - 8. Is 15 a factor of 5/1*(-3 - l)?
False
Let a = -6 - -24. Does 9 divide a?
True
Let a(o) = -o**3 + o**2 + 3*o + 5. Is a(-2) a multiple of 11?
True
Suppose 4*s = 4*y - 36, -4*s - 39 = s - 3*y. Let x be -6*(-2 + (-9)/s). Is 6 a factor of (4 - 2) + x*2?
False
Suppose 7 = 5*m - 13. Suppose -q = 5*j - 156, 20 = -4*q + m. Is j a multiple of 16?
True
Suppose -2*k - 6 = 0, 0*c - 5*k = c + 13. Suppose c*h + h = 33. Is h a multiple of 3?
False
Let w = 13 + -11. Suppose -x - w*i + 44 = 0, -24 = -x + 6*i - 3*i. Does 18 divide x?
True
Let u(f) = -4*f - 4. Suppose -q - l + 5 = 0, -l = q - 6*l - 11. Suppose d - 39 = 5*i, 4*d + 28 = 3*i - q*i. Does 14 divide u(i)?
True
Suppose 3*n - 252 = 4*n. Is 15 a factor of (4/8)/((-3)/n)?
False
Let o(f) = f**2 - 3*f - 2. Let j be o(3). Let r(l) = 3*l**2 + 3*l + 3. Is 5 a factor of r(j)?
False
Let h = -46 - -86. Let q = h - 19. Is q a multiple of 8?
False
Suppose k + 5*u + 7 + 16 = 0, 0 = 4*k - 3*u - 23. Let n be 0 + 1 - 2*(-7)/14. Is 11 a factor of (40/n)/1 + k?
True
Let a(p) = -8*p**3 + p**2 + 2*p. Is a(-2) a multiple of 31?
False
Is (-6 - -2)*(-29)/2 a multiple of 12?
False
Let x = 0 + 0. Suppose 0 = 6*l - l + 2*y - 69, -4*y - 12 = x. Is 5 a factor of l?
True
Let y be -27*(1/3 - 3). Does 10 divide 16/y + 205/9?
False
Let p(w) = -3*w + 12. Does 6 divide p(-13)?
False
Let r(l) = -l + 5. Let z be r(3). Suppose 4*g + c - 60 = 6, -z*g + 3*c = -26. Is 6 a factor of g?
False
Does 10 divide 25*1*(-4)/(-5)?
True
Suppose 0 = -5*g + 2*n + 6, -n + 14 = 3*g + 3*n. Suppose -g*v = -83 + 15. Is 8 a factor of v?
False
Let t = 96 + -63. Suppose t - 9 = 3*h. Is 3 a factor of h?
False
Is 18 a factor of 86*(-3)/(-2 - 1)?
False
Let s(t) = -7*t - 11. Let d be s(-8). Let y(n) = -n**3 - 4*n**2 - 5*n - 2. Let a be y(-3). Suppose -a*m + d = -m. Is 11 a factor of m?
False
Let r(w) = 2*w**2 - 6*w - 8. Does 12 divide r(-4)?
True
Let o be (-68)/(-12)*(-9)/(-3). Suppose 31 + o = 3*g. Is g a multiple of 8?
True
Let p(o) = -o**3 + 5*o**2 - 3*o - 4. Let x be p(4). Suppose 2*i - 16 = -5*r - x, 3*i - 47 = 4*r. Is 13 a factor of i?
True
Let b = -176 - -251. Suppose 7*j - b = 2*j. Is 5 a factor of j?
True
Suppose -8 = 2*c - 6*c. Suppose n - c*n + 3 = 0. Is n a multiple of 3?
True
Let u = 5 + -3. Suppose u*o - 5*o - 15 = 0. Does 12 divide (o - 0)*(-72)/15?
True
Suppose 8 = -3*c + 65. Is c a multiple of 4?
False
Let o(r) be the second derivative of -r**5/20 + 2*r**4/3 + r**3/3 - 2*r**2 - r. Let s be o(6). Suppose s = 3*m - 5*l, m + 2*l = -l + 50. Does 14 divide m?
False
Suppose -3*p + 2 = -p. Let c be (-29)/p*(2 + -1). Let w = c - -66. Is 19 a factor of w?
False
Suppose r - 17 - 7 = -2*f, -2*f + 36 = 4*r. Let l(a) = -a - 7. Let c be l(-7). Suppose -4*i + 4*z + 44 = c, 5*z - f = 3*z. Is 16 a factor of i?
True
Suppose -2*g = g + 2*f - 50, g + 3*f = 19. Is g a multiple of 8?
True
Let t = 1 - 1. Suppose x - 2*x = t. Suppose -w + x*w + 14 = 0. Is 14 a factor of w?
True
Suppose 122*f - 118*f = 480. Does 10 divide f?
True
Let x = 38 + -8. Is 7 a factor of x?
False
Let r(j) = j**3 - 14*j**2 + 13*j + 7. Let w(q) = -5*q**3 + 57*q**2 - 51*q - 28. Let s(n) = 