*u + 7. Let o = 3 + u. Is o even?
True
Let i = 81 + -34. Suppose -11 = 2*a - i. Does 18 divide a?
True
Suppose -5*l - 2 = -7. Let a = l + 3. Suppose -2*p - q - q = -10, -8 = -a*q. Is p a multiple of 3?
True
Suppose -w = 5*d - 43, -4*w - 4*d + 210 = -3*d. Suppose 2*x = 13 + w. Is 11 a factor of x?
True
Let x = -37 + 20. Let f = 30 + x. Is 13 a factor of f?
True
Let b be ((-1)/3)/(9/135). Is 9/2*(-10)/b a multiple of 5?
False
Let q = 5 + -2. Suppose -q*f - 5*w + 84 = -0*w, 5*f + w - 162 = 0. Is 11 a factor of f?
True
Suppose 2*y - 106 = -3*c, -5*y + 2*c + 244 = -c. Suppose 5*t - 5*d = y, 0*t + 2*t - 38 = -4*d. Is t a multiple of 13?
True
Let o(a) = a**3 - 6*a**2 + 7*a - 5. Let v be o(5). Suppose -6*n + n + 470 = -v*b, -2*n = 2*b - 172. Is n a multiple of 30?
True
Suppose -30 = -i - t + 48, i = -4*t + 81. Does 7 divide i?
True
Let d = -5 - -5. Suppose -2*l = -3*q - l + 27, 5*q - l - 45 = d. Suppose a - 10 = q. Is 9 a factor of a?
False
Suppose 1722 = 2*u + 4*u. Is u a multiple of 41?
True
Suppose 0 = -2*n + 4*x + 48, -3*x = -0*n + 4*n - 63. Let o be (-2)/(-6) - (-2334)/n. Suppose 0*c - 5*c + o = 0. Is c a multiple of 11?
False
Suppose -4*f = 8, 3*r + 66 = 5*r - 4*f. Let c = -18 + r. Let o = 17 - c. Is 3 a factor of o?
True
Suppose -2*w = -q - 36, -4*w + 64 = -q - 3*q. Suppose d = -5*j + 21, 2*d + 3 = -j + 18. Suppose -w + d = -r. Does 9 divide r?
False
Suppose -r = -5*b + 198, r + r - 84 = -2*b. Is b a multiple of 9?
False
Suppose 12 = 2*l - 4*c, 6*c = 3*c. Is l a multiple of 2?
True
Let o(d) = d**3 - 7*d**2 + 8*d - 8. Let l be o(7). Suppose -2*q + l - 2 = 5*g, 4*q - 22 = -3*g. Is 5 a factor of g?
True
Let u(t) = 29*t**3 + t**2 + t - 1. Is 12 a factor of u(1)?
False
Suppose -5*y - 5*q = -0*q - 795, -611 = -4*y + q. Does 22 divide y?
True
Let k(i) = i**2 - 9*i + 15. Let a be k(7). Let p be 1/((-2)/26*-1). Let l = p + a. Is 14 a factor of l?
True
Suppose 5*l + 2*n = 689, -2*l = l + 5*n - 402. Suppose -5*k + l + 11 = 0. Does 22 divide k?
False
Suppose 20 = -8*z + 6*z. Let h = -15 - z. Let n(o) = -2*o - 7. Is 2 a factor of n(h)?
False
Let m(s) = s + 38. Is 8 a factor of m(-6)?
True
Suppose 43 = -5*g - 2. Let l be -2 + 3*(-3)/g. Is 12 a factor of 22 + 0 + l/(-1)?
False
Let d(u) = -9*u + 8. Let f be d(-7). Let z = f - -17. Suppose -2*x + z = 2*x. Is 11 a factor of x?
True
Let f = 5 - 3. Let o be (-1)/((f/1)/(-2)). Is 14 a factor of -1 + 3 + 42 + o?
False
Let k = -6 + 14. Let m be (94/k)/(1/4). Let i = -19 + m. Is i a multiple of 14?
True
Suppose -l + p - 5 = -p, -3*p = -3*l - 6. Suppose -l + 7 = b. Is 4 a factor of b?
False
Let v = -174 + 246. Let z be ((1 - 1)/(-2))/1. Suppose z*b - v = -2*b. Does 15 divide b?
False
Let s be 3/(-18) - (-25)/6. Suppose 0*h - s = -2*h. Is 2 a factor of h?
True
Suppose -15*q - 147 = -18*q. Is 49 a factor of q?
True
Is ((-232)/32 - -6)/(2/(-32)) a multiple of 4?
True
Let f be (21/6)/(2/8). Let k = f - -1. Is k a multiple of 6?
False
Is (9/(-6))/(217/(-72) - -3) a multiple of 9?
True
Let u be ((-6)/4)/((-2)/4). Suppose -u*n + 5*b = -159, n - b = b + 54. Is n a multiple of 10?
False
Let q(g) = -g + 32. Is 12 a factor of q(0)?
False
Let h(j) be the first derivative of j**4/4 - 7*j**3/3 + 5*j**2/2 + 10*j + 8. Is 9 a factor of h(7)?
True
Suppose 0*u - 168 = -4*u. Does 14 divide u?
True
Suppose 5*u = -3*m + 13, 13 - 1 = -3*m. Suppose -u - 11 = -x. Is 13 a factor of x?
False
Is 23 a factor of 46 - 0*(2 + (-15)/6)?
True
Let s(j) be the third derivative of 2*j**5/15 + j**4/12 + j**3/3 + 2*j**2. Does 24 divide s(-3)?
False
Let c = -22 - -34. Suppose -3*s + 42 = -c. Is s a multiple of 18?
True
Suppose 0 = -4*r + r + 6. Suppose -63 = -r*m - m + 4*v, 0 = -3*m + 2*v + 57. Does 9 divide m?
False
Suppose -q = 3*u + 4*q - 43, 0 = 4*u - q - 65. Does 4 divide u?
True
Suppose -88 = -7*q + 3*q. Is 11 a factor of q?
True
Let p = -87 + 171. Suppose -p = -q - q. Does 14 divide q?
True
Let b(o) = o - 2. Let m be b(6). Suppose 0 = -11*n + 4*n + 28. Suppose -31 = -u + m*c, 187 = 3*u + 2*u - n*c. Does 12 divide u?
False
Suppose -16 = -2*k + 4*k. Is (-93)/(-4) + 2/k a multiple of 10?
False
Suppose -4*z + 3*v + 26 = 0, v = -5*z + 6 + 17. Let q be (8 - 3)*2/z. Suppose -q*i + 70 = 14. Is 8 a factor of i?
False
Suppose -5*s = -3*s - 6. Let i = 5 + -15. Is 5 a factor of (36/(-10))/(s/i)?
False
Let l be -5 - 0 - (-3 - 0). Is 3 a factor of (-1)/((-2)/(-36)*l)?
True
Suppose -3*x = -4*m + 12 + 16, -2*m = -x - 16. Suppose -2*t - 4 = -m. Suppose 8 + 16 = t*p. Is p a multiple of 4?
True
Suppose -4*t + 15 = t. Suppose -n = -t*n. Let s(a) = a**3 + a**2 + a + 22. Is s(n) a multiple of 11?
True
Suppose 27 = -2*a + 157. Does 9 divide a?
False
Is 19/19*(81 + 0) a multiple of 34?
False
Let f(q) = q**3 + 4*q**2 + 2*q - 3. Let u be f(-3). Suppose b + 2*b - 42 = u. Is 7 a factor of b?
True
Let g(t) = t**2 + 12*t - 3. Let w be g(-11). Let l(a) = a**2 + 13*a + 18. Does 12 divide l(w)?
False
Suppose 0 = -5*c + 113 + 12. Is c a multiple of 6?
False
Let w = -7 + 6. Let q be (w - -1*13) + -1. Suppose -3*l = 0, 4*p + 5*l - q - 5 = 0. Does 4 divide p?
True
Let d(s) = -s**2 + 2. Let g be d(-2). Does 10 divide (g/3)/((-4)/84)?
False
Suppose 0 = -3*k + 4*k - 1. Suppose -3*h + k = -q, h + 3 = q - 0*h. Is q a multiple of 4?
False
Does 11 divide 1/2 - 273/(-6)?
False
Let z = 7 + -5. Is z even?
True
Suppose -2*c + 3 + 1 = 0. Suppose 3*n - c*u - 62 = -n, 0 = -3*n + 2*u + 47. Is n a multiple of 4?
False
Suppose -289 = -3*p - 5*x - 0*x, -p = 5*x - 103. Is p a multiple of 27?
False
Suppose -33 = -4*a + 3*c, -a = -0*a - 3*c + 3. Let l = -2 - -4. Suppose l*t = 3*p - 64, 2*p - 52 = -4*t + a. Is 12 a factor of p?
True
Let o = 102 - -58. Is 16 a factor of o?
True
Is 3 a factor of 44/(-2)*1/(-2)?
False
Let d = -77 + 45. Let o = 14 - 8. Let g = o - d. Is 13 a factor of g?
False
Suppose 3*d = 2*u + 2*u + 84, -d + 18 = 2*u. Suppose 3*y = 2*s - y + d, 4*s + 28 = 3*y. Does 18 divide (-166)/s + (-2)/4?
False
Let z be (-3 + 8/2)*4. Suppose -26 = -2*r + z*k - 9*k, 2*r - 26 = 4*k. Is 4 a factor of r?
False
Let x(z) = z**3 - 13*z**2 - 31*z + 20. Is x(15) a multiple of 2?
False
Suppose -3*h + 2 = 4*g, 3*g - 6*h - 14 = -2*h. Let o be (-5 - 1)*g/(-6). Suppose j - 174 = -o*j. Does 16 divide j?
False
Let z be ((-182)/(-7))/(-1 - -3). Suppose 3*t + 4*p = -0*p + 54, 2*t = 5*p + z. Is t a multiple of 5?
False
Let k = 11 + 0. Suppose 5*g = -f + 89, -103 = -5*g + 2*f - k. Does 18 divide g?
True
Let z be -157*(-2 + 1 + 0). Suppose 2*s = 7*s - 2*f - z, s - 37 = -f. Is 11 a factor of s?
True
Suppose 3*d - d = 2. Let v(r) = d + 0*r + 2*r - 3. Is 4 a factor of v(5)?
True
Suppose -8 = -3*s + 1. Suppose 0 = s*g - 98 + 29. Is g a multiple of 9?
False
Let c(v) = v**3 + 6*v**2 + 5*v + 6. Let g be c(-5). Suppose w - 13 = 3*l - g*l, -5*l + 19 = w. Suppose 30 = u - 5*o - 1, -3*u = -w*o - 93. Is 14 a factor of u?
False
Let c(v) = -v**3 - 7*v**2 - 7*v + 2. Let d be c(-6). Suppose -d = a - 47. Is 15 a factor of a?
False
Suppose -c + i = -i + 12, -4*i + 26 = -3*c. Let q = 20 + c. Is q a multiple of 6?
True
Is 13 a factor of (-1 - (-86)/6)*3?
False
Let d = 268 - 158. Let z = d - 56. Does 27 divide z?
True
Let f(v) = 5 - 10*v**3 - 6 + 8*v**2 - 2*v + 9*v**3 - 9. Suppose 0 = -2*n - 0 + 14. Does 19 divide f(n)?
False
Let o be 34/6 - 12/(-36). Suppose -m - 210 = -o*m. Is m a multiple of 14?
True
Let j = -3 - -8. Suppose j*x - 4*f = 20, 3*f + f = 4*x - 20. Suppose -2*w + 72 + 20 = x. Is 19 a factor of w?
False
Let u(j) = j**3 + j**2 - 1. Let c be u(1). Suppose q = -d + c, -3*q = -3*d - 0 - 21. Suppose -q*s = -8*s + 72. Is s a multiple of 8?
False
Let t = 30 - 17. Suppose 5*w - 2*c + t + 22 = 0, -3*w - 5*c = 21. Is 7 a factor of (-2)/w - (-141)/21?
True
Suppose -9*z = -6*z - 57. Is 17 a factor of z?
False
Suppose -4*u + 52 = -3*c, -5*u + 21 + 45 = -4*c. Is u a multiple of 7?
False
Suppose -3*j + 4*j = -3*i + 8, 2*i - 20 = 3*j. Suppose -5*d - 5*v + 10 = 0, 5*d + 8*v = i*v + 11. Does 2 divide d?
False
Suppose -5*n = -2*n. Suppose -4*h + 2*h + 4 = n. Suppose 3*l = h*l + 16. Is 6 a factor of l?
False
Let m be -34 + (-1 + 0)/(-1). Let z(f) = f**3 + 4*f**2 - 2*f - 4. Let o be z(-5). Let w = o - m. Is 7 a factor of w?
True
Suppose 9 = 2*j - j - 2*w, 2*j - 36 = -2*w. Let p = 2 - 0. Suppose 0 = p*h - j + 1. Is h a multiple of 5?
False
Let k = 2