?
True
Let u(s) = 3*s + 5*s - 2*s - 5*s + 26. Let h be (0 - 1)*-1 + -1. Is u(h) a multiple of 15?
False
Let b be 2/10 + 819/5. Suppose 0*t + 3*t - b = 2*y, 4*y = -3*t + 140. Does 19 divide t?
False
Let v be 5/(-1)*(-8)/(-5). Let r = -9 - v. Is 8/(-2)*r + 1 even?
False
Let j = 37 - 29. Does 2 divide j?
True
Suppose 8*m = 454 + 242. Is 33 a factor of m?
False
Let g(z) = z**2 - 6. Let y(f) = -f**3 - 5*f**2 - 3. Let u be y(-5). Let n be 8/u*(-54)/24. Does 15 divide g(n)?
True
Let q = 19 + -10. Is q a multiple of 2?
False
Suppose 4*k + 5*h = 221, -4*h = -k + 2*k - 58. Does 19 divide 0 + (-7)/((-7)/k)?
False
Let y(a) = -4*a - 1. Let r be (1 - 2)*-2 - 4. Let q be y(r). Let m = 40 - q. Is 14 a factor of m?
False
Let j be ((-5)/(-3))/((-10)/(-12)). Let b = 16 + -4. Suppose j*l - b = -0. Is l a multiple of 6?
True
Let w(y) = -52*y + 4. Is 20 a factor of w(-1)?
False
Suppose 5*l + 20 = 5*a - 4*a, 2*l - 5 = 3*a. Let q = 8 + l. Is q a multiple of 3?
True
Suppose -3 = -2*g + 3*o + 4, -g = -3*o + 4. Is g + 2*(-1)/(-2) a multiple of 12?
True
Let w be (0 + (-12)/15)*-10. Let l = 14 - w. Does 3 divide l?
True
Suppose -6*f = -2*f - 76. Is 15 a factor of f?
False
Let m(u) = -u**2 + 9*u - 1. Suppose 0 = -v - v + 16. Is m(v) a multiple of 7?
True
Let s be 818/14 + 9/(-21). Suppose -2*b + s = 2*x, 3*x - b - 87 = -5*b. Is x a multiple of 29?
True
Let y(j) = -j + 7. Let t be y(-5). Suppose -3*a - 2*a + 3*q + 71 = 0, -4*q = -t. Suppose -w + a = 3*w. Does 4 divide w?
True
Suppose 1 = -y, c - 13*y = -9*y + 318. Is c a multiple of 48?
False
Suppose 0 = -3*c - 2*c + 60. Does 6 divide c?
True
Suppose p - 280 = -3*p. Does 12 divide p?
False
Suppose 0 = 2*u + 2*a - 10, -3*u + 16 = -3*a - 5. Does 3 divide u?
True
Suppose 100 = 2*x - 3*p + 2*p, 2*p = 3*x - 152. Is x a multiple of 24?
True
Let s(o) = 2*o**3 - 6*o**2 - 7*o + 7. Let r be s(5). Is 5 a factor of 1/(-3*(-3)/r)?
False
Suppose 0*z - 38 = -z + 3*c, 4*z - 3*c = 188. Is z a multiple of 25?
True
Let v(u) = u**2 - 3*u - 15. Is 10 a factor of v(7)?
False
Suppose 0 = -2*y - 3 - 3, 0 = -4*u + 4*y. Let g = 27 + u. Is g a multiple of 12?
True
Let d be (1 - 2) + 1 + 0. Suppose -3*v + 3 + 24 = d. Is v a multiple of 9?
True
Suppose -13*q = -302 - 101. Is 8 a factor of q?
False
Let o = 0 + 1. Does 20 divide o/4 + (-158)/(-8)?
True
Suppose 4*j - 5*g - 24 = -g, -5*g - 3 = 4*j. Let t = 4 - j. Is 11 a factor of (t + 2/(-1))*-11?
True
Let x(k) = k + 2. Is 10 a factor of x(8)?
True
Let u = -7 - 10. Let j be (u - -2)/((-1)/1). Suppose -j = -v + 7. Is 11 a factor of v?
True
Let r = 0 - 4. Let o(k) = -10*k - 8. Is 10 a factor of o(r)?
False
Suppose -x = -292 + 82. Does 21 divide x?
True
Is 19 a factor of 279/3 + 1*4?
False
Let n(o) = -4. Let p(f) = 5. Let d(a) = -6*n(a) - 5*p(a). Let b(v) = -v**2 - v + 9. Let i(u) = b(u) - 2*d(u). Does 11 divide i(0)?
True
Let d = -1 - 0. Let r be (-22)/55 - (-122)/5. Is (5 - r)*1/d a multiple of 12?
False
Is 9 a factor of ((-2)/(-4)*-1)/(2/(-308))?
False
Let q = 25 - 10. Suppose 0 = k + 2*k - q. Suppose 3*y + 90 = k*x - 2*y, -2 = -x + 5*y. Does 9 divide x?
False
Suppose 3*k = 13 + 56. Is 23 a factor of k?
True
Let m(i) = 6*i**2 + 6*i + 1. Let r(t) = 21*t**2 + 21*t + 3. Let x(g) = 18*m(g) - 5*r(g). Does 8 divide x(-2)?
False
Let g(y) = -y + 13. Let u be g(11). Let t be 9/u*4/6. Suppose -t*b = -z + 2 - 0, 7 = z - 2*b. Is 9 a factor of z?
False
Suppose -2*s = -5*z + 4, 2*z = 2*s - z. Is 2 a factor of (-6 + s)/(6/(-4))?
True
Let a(y) = y**2 - 4*y - 2. Let c be a(6). Let b = c + -5. Suppose d + 22 = b*w, -2*d + 13 - 2 = w. Is 5 a factor of w?
True
Let h(q) = q**3 - 6*q**2 - 9*q + 10. Let o be h(7). Let m = 0 - o. Does 3 divide m?
False
Suppose 11*j + 194 = 2229. Is j a multiple of 37?
True
Suppose -j - j + 10 = 0. Suppose -54 = -j*u + 11. Does 13 divide u?
True
Let o = 6 + -6. Suppose -4*q + 8 = -3*q + 5*a, o = -q - a + 16. Is 9 a factor of q?
True
Let n(w) = w**3 - 10*w**2 - 9*w + 7. Suppose -4*r - r + 67 = -4*b, 40 = 5*r + 5*b. Is n(r) a multiple of 9?
False
Let w = -4 + 53. Let x be w - (0 + 0/1). Suppose -x = -5*z + 4*p, 3*p + 2*p = z - 14. Is 9 a factor of z?
True
Let z = 79 + -53. Is z a multiple of 8?
False
Suppose v - 2*v + 10115 = 5*x, -2*x - 40482 = -4*v. Is 29 a factor of v/130 - 4/(-26)?
False
Let k(d) = d**3 - d**2 + 3*d + 8. Does 21 divide k(4)?
False
Does 12 divide (6/12)/(6/4)*117?
False
Let w = 50 + -30. Suppose -8*a + w = -3*a. Suppose -4 = -a*f, -3*p + 122 = 3*f - 7*f. Does 18 divide p?
False
Let x(o) = o**2 - 5*o - 3. Does 8 divide x(10)?
False
Suppose 53 = 3*q + 170. Let o = 70 + q. Let r = o - 9. Does 11 divide r?
True
Let a = -46 + 211. Is 14 a factor of a?
False
Let g(u) = u**2 - 9*u - 12. Let s be g(12). Let c = s + -21. Does 2 divide c?
False
Suppose -4*l = -22 + 10. Let y be 3/9 - (-14)/l. Suppose -y = 5*g + 5*v, -3*v = -5*g - 3 + 38. Is g a multiple of 4?
True
Let i(f) = -2*f**3 - 4*f**2 - f + 1. Suppose 0 = 2*n + 3 + 9. Let b = n + 3. Does 11 divide i(b)?
True
Let t be 0/((2 + -6)/(-2)). Suppose t*z = -2*z + 64. Does 16 divide z?
True
Let q be 6/(-27) + (-482)/18. Is (-279)/q + 2/(-6) a multiple of 5?
True
Let u(l) = -2*l + 70. Is 8 a factor of u(-9)?
True
Is 16 a factor of 0 - (-12)/21 - (-1100)/35?
True
Let r(y) = 2*y**3 - 3*y**2 - y - 4. Let p be r(4). Suppose 3*v = -2*v + c + p, -4*v + 4*c = -48. Is 5 a factor of v?
True
Let q = -27 - -42. Does 7 divide q?
False
Let w = 16 - -2. Suppose 5*h - 7 = w. Is 2 a factor of h?
False
Suppose -3*k + 198 = 4*t, -5*k + 359 = 4*t - 7*t. Let p = -41 + k. Is p a multiple of 14?
False
Let s = -34 - -61. Does 6 divide s?
False
Let q = 1 + 4. Suppose -q*f - 36 + 6 = 0. Let w = f - -50. Does 23 divide w?
False
Let b = 19 - 4. Does 4 divide b?
False
Let q be 2*(3 - 2)*2. Let b be 3/(((-18)/q)/3). Is (b + (-9)/6)*-2 a multiple of 7?
True
Let f(k) = 2*k**2 + k - 6. Is 7 a factor of f(5)?
True
Let b = -1 + 7. Suppose 0 = -2*y + 3*m - b*m - 33, -5*m = 25. Let l = 14 + y. Is 2 a factor of l?
False
Suppose 20 = -4*x, -b - 5*x - 17 + 1 = 0. Is b a multiple of 6?
False
Let n(q) = -5*q + 2. Let z be n(-2). Let o(f) = -f**2 + 14*f - 4. Is 10 a factor of o(z)?
True
Let u(p) be the first derivative of p**3/3 - 7*p**2/2 + 8*p + 1. Let y be u(6). Suppose 2*f - 3*s + y*s = 48, -3*f + 5*s = -86. Does 22 divide f?
True
Let n(h) = -5*h - 1 - h - 3 - 2*h. Let j be n(-4). Let p = j + -14. Is 11 a factor of p?
False
Let f = -227 + 345. Is 28 a factor of f?
False
Suppose 0 = -3*r - j + 23, -3*r - 2*j - j + 21 = 0. Suppose -26 = -w - r. Is 7 a factor of w?
False
Let h(r) = -r**3 - 8*r**2 + 8*r + 42. Is h(-9) a multiple of 3?
True
Let g(q) = 9*q**2 - 1. Let m(o) = -o + 2. Let y = 5 - 1. Let v be m(y). Is 12 a factor of g(v)?
False
Let h(o) = 36*o + 2. Does 37 divide h(2)?
True
Is ((-8)/(-24))/((-1)/(-48)) a multiple of 11?
False
Suppose -5*j - 5*b + 35 = -10*j, 0 = 2*j - 4*b + 20. Is (5/j)/(4/(-32)) a multiple of 10?
True
Let z = 53 - -89. Is z a multiple of 25?
False
Is ((-392)/12)/(-1 + (-1)/(-3)) a multiple of 6?
False
Suppose 20 = x + 13. Is 7 a factor of x?
True
Let k = 15 + 55. Is k a multiple of 10?
True
Let y(x) = x**2 - 3*x. Let a be y(4). Suppose 0 = i - 5*h, a*i + h - 4 - 17 = 0. Suppose i*u = 5*w - 100, 2*u - 2 = 3*u. Is w a multiple of 18?
True
Suppose -2*h - 3*c = -4*h + 81, 4*h - 2*c = 174. Is 37 a factor of h?
False
Let d(l) = l**3 + 13*l**2 - 3. Is d(-6) a multiple of 47?
False
Let j be 16/6 + (-2)/(-6). Let g = j - -27. Is 21 a factor of g?
False
Let o(j) = 25*j**2 - 1. Does 5 divide o(1)?
False
Let k = 11 + -7. Suppose -k*s + 7*s - 84 = 0. Is 14 a factor of s?
True
Suppose 4*o + 4*w = 2*w - 18, 4*w + 10 = 5*o. Let i = o + 5. Let z = i + 3. Is 6 a factor of z?
True
Suppose m - 17 + 7 = 0. Suppose 4*o = -m + 46. Does 8 divide o?
False
Let y be -2 + 0 + -1 + 258. Is y/9 - 2/6 a multiple of 10?
False
Let z(y) = -2*y**3 + 15*y**2 + 9*y + 6. Does 14 divide z(8)?
True
Suppose -5*v - 5 = 0, -4*v + 0*v = -d + 6. Suppose 5*x + y - 84 = d*y, 0 = 3*x + y - 44. Is 8 a factor of x?
True
Suppose 4*v = -31 - 17. Does 19 divide (-1)/3 + (-352)/v?
False
Let w(v) = -79*v - 2. Suppose -3 = -y - 4. Is 13 a factor of w(y)?
False
Is 37 a factor of 4/3*(-13875)/(-50)?
True
Suppose 41 + 9 = 2*w. Let m = w - 7. Is ((-2)/(-3))/(4/m) a multiple of 2?
False
Suppose 0 = -6*f + 2