?
True
Let f = 5 + -2. Suppose -5*b + f*w = -110, -4*w + 12 = -8. Does 18 divide b?
False
Is (1*10)/(2 - (-112)/(-60)) a multiple of 21?
False
Let w = -1 - -1. Let i be (3/1 - 2) + 42. Suppose w = -4*u + 9 + i. Is 13 a factor of u?
True
Is 16 a factor of (-3)/((-122)/(-64) - 2)?
True
Suppose -4*v - 2*f - 124 = 0, f + 0*f = -3*v - 95. Let l = -18 - v. Is l a multiple of 5?
True
Let r(z) = -2*z**3 - 5*z**2 - 2*z - 1. Let o be r(-3). Suppose -148 = -3*n + o. Does 17 divide n?
False
Let m = 6 - 4. Suppose -12 = -m*l + l. Is 6 a factor of l?
True
Let g(v) = 7*v**2 + 16*v**3 + 2*v - 5*v**2 + 1 - 64*v**3. Is g(-1) a multiple of 10?
False
Suppose 5*u - 32 + 7 = 0. Suppose 19 = -4*z - u. Is z/(-4)*28/3 a multiple of 14?
True
Suppose 3*i - 132 = -3*c, -c = 3*i - 26 - 10. Does 24 divide c?
True
Does 15 divide (6/(-8))/(8/(-320))?
True
Let o = 228 - 116. Is o a multiple of 7?
True
Let i be 865/2 - (-1)/2. Suppose 4*r + 97 = i. Suppose 3*l + l + 4*j - r = 0, -5*j - 5 = 0. Is l a multiple of 14?
False
Let b = 112 - -79. Let a = b + -116. Suppose -6*p = -p - a. Is 15 a factor of p?
True
Let w(u) = u**2 + 5*u - 8. Let q(h) = 2*h**2 + 16*h - 25. Let t(r) = -3*q(r) + 8*w(r). Does 20 divide t(5)?
False
Let f be 0*(1 + 0/(-1)). Let u(y) = -y**2 - 6. Let k be u(f). Let l = k + 10. Is l even?
True
Let k(z) = -z**3 - 9*z**2 - 4*z - 9. Does 51 divide k(-11)?
False
Let g(k) = -k**2 - 5*k - 2. Let z be g(-2). Let i be 121/4 + (-1)/z. Suppose -l - 4*l = -i. Is l a multiple of 6?
True
Let c = -2 + 28. Let y = c + -14. Does 4 divide y?
True
Let p(f) = -31*f + 1. Let z(i) = -32*i. Let h(a) = 5*p(a) - 6*z(a). Is h(3) a multiple of 29?
True
Let w be (35/20)/((-1)/(-4)). Let o(a) = -a**3 + 8*a**2 - 6*a - 5. Let q be o(w). Suppose 0 = q*p - 7*p + 65. Does 6 divide p?
False
Let y be 94/18 - 4/18. Suppose 0*v + 15 = y*v. Does 2 divide v?
False
Let b = -34 + 111. Does 13 divide b?
False
Does 11 divide (-1*(-2 - -6))/(4/(-22))?
True
Suppose 3*u - 89 - 58 = 0. Is u a multiple of 7?
True
Suppose 4*w = 2*p - 5*p + 116, 5*p + 32 = 2*w. Let m = w - 18. Is m a multiple of 8?
True
Let j(x) = x. Let m be j(5). Suppose -m*r - 54 = -224. Is 18 a factor of r?
False
Let u = 9 - -14. Suppose 0 = 2*p - u - 1. Does 4 divide p?
True
Let y(a) = 7*a - 8*a**2 + 0 - a**3 - 3 - a. Let p be -2 - (-1 + 9 - (-4 + 5)). Is 12 a factor of y(p)?
True
Suppose 3*h = m - 6 - 4, 30 = 5*m - 5*h. Let n = 21 + -1. Is (-112)/n*(-1 - m) a multiple of 14?
True
Does 18 divide (102/(-5) - -5)*-5?
False
Is 15 a factor of 173 + ((-2)/(-4))/(2/4)?
False
Let x be (-9)/36 - 34/(-8). Suppose -3 + 39 = x*r. Is r a multiple of 2?
False
Let g = -6 - -4. Let n = -12 - g. Does 12 divide ((-72)/n)/((-6)/(-20))?
True
Let k = -5 + 6. Let o be -50 - (k - (-9)/(-3)). Is 2/12 - 328/o a multiple of 7?
True
Let w(m) = -m**2 + 18*m + 28. Is w(19) a multiple of 2?
False
Let q(p) = 2*p**2 - p + 1. Let a(k) = -k**2 - 8*k + 1. Let c be a(-8). Let n be q(c). Suppose -2*d = 3*o - 35, 3*d = -5*o + n*o + 45. Does 10 divide d?
True
Let n = 96 + -52. Suppose -5*s = -3*g + n, 5*s - 5 - 23 = -g. Is g a multiple of 9?
True
Let q(x) = 3*x**3 + 3 + 9*x**2 - 4*x**3 + 0 - 8*x. Let w be q(8). Is 15 a factor of 128/6*w/2?
False
Let x = 11 - 6. Suppose 3*w - 1 = x. Suppose 3*d + w = 53. Does 6 divide d?
False
Suppose 3*o - 15 = -0. Let m(u) be the third derivative of u**4/24 + 7*u**3/6 + u**2. Is m(o) a multiple of 12?
True
Does 12 divide 3/(9/3) + 23?
True
Let l = 0 - -2. Let a = l + 7. Does 3 divide a?
True
Suppose 2*w + 0 = 8. Suppose w*z = -0*z + 16. Does 2 divide z?
True
Let q be (-5)/(-15) - 38/6. Let u = 11 + q. Is u even?
False
Let d(g) = -14*g**3 - 38*g**2 - 7*g + 47. Let w(f) = 5*f**3 + 13*f**2 + 2*f - 16. Let b(p) = 6*d(p) + 17*w(p). Is 9 a factor of b(8)?
False
Let m = 8 + -6. Let q(r) = -9*r**2 + 8*r**m + 0*r**2 + 7 - 6*r. Does 6 divide q(-5)?
True
Let j = -25 - -78. Let o = 75 - j. Is 11 a factor of o?
True
Let w = -6 - -8. Suppose w = v - 0*v. Suppose -75 = -5*g + v*g. Is g a multiple of 12?
False
Let n(w) = -3*w + 37. Does 8 divide n(-5)?
False
Suppose 0 = 3*n + 2*g - 76, n - 2*n + 32 = 2*g. Is n a multiple of 22?
True
Suppose -6*l = -13*l + 175. Is 12 a factor of l?
False
Suppose h + 1 = -6. Let g(l) = l**3 + 9*l**2 + 10*l + 6. Is 13 a factor of g(h)?
False
Let x = 14 - 2. Suppose -v = -2*v + x. Is v a multiple of 6?
True
Does 13 divide ((69 - 0) + -5)*(-39)/(-6)?
True
Let c(k) be the first derivative of 5*k**3/3 + k**2/2 - 4*k - 7. Is 23 a factor of c(4)?
False
Suppose 0 = -g - 1, -5*p - 3*g = -4*g - 201. Is p a multiple of 9?
False
Suppose -2*f - 6 + 0 = 2*d, 0 = -d - 2*f - 5. Is 31 + -4 + (3 - d) a multiple of 8?
False
Let p = 14 + -2. Does 4 divide p?
True
Let a(u) = -u**3 + 4*u**2 + 7*u - 4. Let p be (-1)/(-2)*(1 - -41). Suppose 3*b - p = -3*c, b + 7 = 3*c - 3*b. Is 4 a factor of a(c)?
False
Let a be (-55)/(-3) + 4/6. Let y(t) = -t**3 + 8*t**2 - 6*t + 9. Let h be y(6). Let f = h - a. Is 13 a factor of f?
True
Suppose 3*q - 57 = 15. Suppose s = -0*s + q. Let a = -8 + s. Does 11 divide a?
False
Let k(p) = 0 + 0*p**3 - 1 + p**3 + 4*p + 5*p**2. Let u be k(-4). Is 9 a factor of (3 + -2)*(u + 10)?
True
Let x(g) = 10*g**2 - 2*g - 2. Is 9 a factor of x(-2)?
False
Let t(y) = -11*y**2 - 3. Let s be t(3). Let m = s + 148. Is 12 a factor of m?
False
Suppose -4*r + 3*r = 0. Let b(u) = -1 + 9*u**3 + 0 + 2*u - 2*u**2 + r*u**2. Is 4 a factor of b(1)?
True
Let z(m) = 64*m**3 - 2*m + 2. Is z(1) a multiple of 16?
True
Suppose -5 + 2 = 3*c. Let r = c + 11. Is 6 a factor of r?
False
Let j = 488 - 250. Is j a multiple of 7?
True
Suppose -4 = -5*y - 2*a, -y + 0*y - 2*a + 4 = 0. Suppose 4*o = -y*x + x + 44, -3*o + 14 = 4*x. Does 5 divide (3/(-1))/((-3)/o)?
True
Let a(v) = 4*v - 6 + 1 + 8. Is a(3) a multiple of 7?
False
Let x be (2 + -1 - -78)/1. Let h = -2 + x. Let p = 113 - h. Is p a multiple of 12?
True
Suppose j - 3*j = -3*v - 29, -3*v + 5*j = 32. Suppose 97 = 5*s + 4*i, 20 = -5*s + 2*i + 99. Let n = s + v. Does 4 divide n?
True
Let p be (1 + -1)/(-1) + 0. Suppose g - 4*y = 14 - 2, p = y + 2. Is 13 a factor of (26/(-4))/((-2)/g)?
True
Suppose -1 = -0*n + n, 4*s = 4*n + 4. Suppose -2*j + 4*j + 2 = o, s = -j + 5*o - 10. Suppose -3*z + 27 = -j*z. Is 5 a factor of z?
False
Suppose 0 = -4*j - j + 130. Let m = j + -2. Does 12 divide m?
True
Suppose -3*r + 106 + 53 = 0. Is 13 a factor of r + -2*(-3)/(-6)?
True
Let w = 3 + -1. Is w/8 - (-412)/16 a multiple of 9?
False
Let x be (-69)/(-12) - (-1)/4. Let l(j) = j**2 + j + 6. Is 24 a factor of l(x)?
True
Let g(v) = -v**2 + 15*v - 40. Is g(9) a multiple of 2?
True
Let y = -34 + 63. Suppose -5*i + 2*i + 103 = z, -i = -z - y. Let d = i + -21. Is d a multiple of 6?
True
Let x(b) be the third derivative of b**6/60 - b**4/24 - 2*b**2. Let r(p) be the second derivative of x(p). Does 6 divide r(1)?
True
Suppose -4*m - 5*i = -102, -5*m + 4*i - 15 + 122 = 0. Let t = 5 + m. Is t a multiple of 10?
False
Is 16 a factor of (-63)/(15/20*-2)?
False
Suppose -122 = -4*z + 6*z. Let u = 90 + z. Suppose -3*b - 5*l = -u, 2*l - 17 = -b - 7. Is 3 a factor of b?
False
Suppose 10*l - 12 = 8*l. Does 16 divide ((-4)/6)/(l/(-576))?
True
Let h(s) = 4*s + 9. Let r(f) = f**2 + 16*f - 5. Let m be r(-17). Is 12 a factor of h(m)?
False
Suppose -3*z - 2*z + 185 = 0. Let v = z + -25. Is 6 a factor of v?
True
Let c = 131 + -75. Is 7 a factor of c?
True
Let x(m) = -25*m + 13. Let s(k) = -12*k + 6. Let a(n) = -9*s(n) + 4*x(n). Does 18 divide a(8)?
False
Let a(h) = h**2 + 7*h - 8. Let i be a(-8). Suppose r = -i*r + 27. Is 3 a factor of (-2)/4 - r/(-6)?
False
Suppose 3*j = 5*j + 6, -4*j - 42 = -3*q. Is q a multiple of 5?
True
Let s(m) = -16*m - 2. Does 5 divide s(-2)?
True
Suppose 2*a = 4*w, -2*a + a - 2*w + 4 = 0. Suppose -a*d = -0*d. Suppose d*z - 21 = -z. Is z a multiple of 7?
True
Suppose -n = -r - 5, 3*r + 13 + 12 = 5*n. Suppose 5*y = -0*y - d + 82, -3*y - 3*d + 54 = r. Is 13 a factor of y?
False
Let r(w) = -14*w**3 + w**2 + 2*w. Let b be r(-2). Suppose 3*p = -p + b. Is p a multiple of 14?
True
Let v(b) = b**3 + 6*b**2 - 2*b - 9. Let a be v(-6). Suppose -2*w - a = -k, 4*k - 6 - 6 = 0. Suppose 2*h - 23 - 3 = w. Is 5 a factor of h?
False
Let r(j) = -2*j + 4. Let v be r(-6). Suppose -s + 2*s = 4*n + v, -2*s = 5*n - 97. Does 12 divide s?
True
Let o(d) = 