*q, 2*q - 22 = -2*o - 2*q. Suppose o*a + 3*g = 33, -3*a = -2*a - 2*g - 23. Is a a multiple of 7?
False
Let u be 104/18 - (-4)/18. Let q(o) = -o - 8. Let t(x) = -2*x - 15. Let n(h) = 11*q(h) - 6*t(h). Does 4 divide n(u)?
True
Suppose -3*j = 2*j - 70. Let h be (-4)/j - 177/(-7). Suppose -h = g - 2*g. Is g a multiple of 12?
False
Suppose 4*t = 2*t + 58. Suppose 0 = 2*o - 3*l - 9, -3*o - 70 = -8*o - 2*l. Suppose 2*u = -d + t, 5*d = -3 - o. Is 6 a factor of u?
False
Let p = 2 + 1. Suppose -3*k = -k + 4*l - 4, -4*k - p*l - 12 = 0. Is 11 a factor of (-4)/k + 61/3?
False
Suppose -3*l = 2*q - 14 - 2, 2*l = -4*q + 8. Suppose -l*g = 5*k - 7*g - 103, 3*k = g + 61. Is 8 a factor of k?
False
Suppose 68 = 4*b - 0*b. Suppose -3*d - 62 = 2*m, 0*m + b = -m - 5*d. Let s = -12 - m. Is 12 a factor of s?
False
Does 38 divide 2/(-6) - (6860/6)/(-10)?
True
Is 5 a factor of ((-156)/(-65))/(0 + (-3)/(-100))?
True
Let n(q) = -q**2 + 3*q + 4. Let z be n(3). Suppose -5*l - 23 = 3*p, -2*l - 2*l - z*p = 20. Is l/(-6)*(-6 + 66) a multiple of 18?
False
Let l(m) = m**3 - 9*m**2 - 10*m + 9. Does 9 divide l(10)?
True
Let w(u) = -7*u - 24. Let y(v) = 3*v + 12. Let d(k) = 2*w(k) + 5*y(k). Is d(-7) a multiple of 5?
True
Suppose 0 = 5*g - g + 12, -4*w + 4*g = -76. Is 2 a factor of w?
True
Let m(d) = 2*d - 5. Let t be m(0). Let s(l) = -8*l + 5. Is s(t) a multiple of 15?
True
Let v = -10 + 15. Suppose -t + v + 68 = -g, -3*t - 3*g + 237 = 0. Suppose -108 = -4*m - 5*s - 41, -4*m + 4*s = -t. Is 9 a factor of m?
True
Let k be 12/(-9)*3/(-1). Suppose 0 = -k*c - 6 - 6. Is (23/c)/(2/(-6)) a multiple of 8?
False
Let a = 7 - 5. Suppose 5*g + a*l = -l + 45, -5*l + 31 = g. Does 6 divide g?
True
Suppose 0*i + i - 4 = 0. Suppose r = i*r + 4*n + 288, 3*n + 9 = 0. Does 10 divide r/(-9) + (-4)/18?
True
Suppose -3*q + 0*q + 345 = 0. Suppose -7*j + q = -2*j. Let z = j + -13. Is z a multiple of 5?
True
Let c = 12 + -9. Is 2 a factor of c?
False
Suppose -2*o + 3*j + 13 = 0, 8 = -2*o + 2*j - 6*j. Does 7 divide 36/2 - (1 - o)?
False
Suppose 3*p = -0*p + 12. Suppose 74 = p*s - 154. Does 7 divide 1/(-4) + s/4?
True
Let b be -6*((-9)/(-6))/(-3). Suppose 3*p + 13 + 6 = 5*d, p = -b*d + 3. Let h(n) = -2*n**3 - 2*n**2 + 5*n + 3. Does 15 divide h(p)?
False
Let n(f) = -22*f - 64. Is 8 a factor of n(-4)?
True
Suppose 7 - 8 = a. Let x(t) = -26*t. Is 13 a factor of x(a)?
True
Let c be -3 - (-14 - -3 - -3). Suppose -c*f + 84 = 9. Does 6 divide f?
False
Let j = -4 + 209. Is 23 a factor of j?
False
Let l = -8 + 41. Suppose 5*m = l + 67. Does 8 divide m?
False
Let r(i) = 7*i - 1. Let p be r(1). Suppose 5*o + 3 = c - 18, 2*o = p. Does 35 divide c?
False
Suppose -5*u + 82 = -38. Suppose z - 5*z + q + u = 0, -z + 6 = -4*q. Is 3 a factor of z?
True
Suppose 3*l + 3 = 24. Is l a multiple of 2?
False
Let u = -20 + 22. Suppose f - 75 = -0*q - u*q, 0 = -3*q - f + 110. Is 25 a factor of q?
False
Let s be 3*-4*(-7)/2. Does 15 divide s + 5 + -1*2?
True
Let o be 2/(-4)*(6 + -8). Suppose g - o = 45. Is g a multiple of 23?
True
Let j be -1 - (-2 + 5 - 13). Let b = 23 - j. Does 14 divide b?
True
Suppose 0 = y + x + 10, 5*y + x + 50 = -x. Is 6 a factor of (-2)/y + (-238)/(-10)?
True
Is 1*(1 + 1 + 73) a multiple of 15?
True
Suppose 0*n = -2*n - 24. Let j be (-2 + 0)/(-2) - 2. Let i = j - n. Is 11 a factor of i?
True
Let q = -9 + 11. Suppose 0 = -q*i - 3*i + 240. Is 12 a factor of i?
True
Is 1 + 19 + (-20)/10 a multiple of 6?
True
Let m(y) = -2*y**3 - 3*y**2 - y + 2. Suppose 3*n = 2*o - 10, -2*o + 2 = 3*n + 2*o. Is 5 a factor of m(n)?
False
Let a(r) be the second derivative of -r**4/12 + 3*r**3/2 + r. Does 8 divide a(8)?
True
Let s(n) = 10*n**2 - 2*n - 2. Does 6 divide s(2)?
False
Suppose 0 = 3*d - 0*d - 9. Suppose 11 = -2*c + d*g, 0*c - 4*g + 22 = c. Let z = c + 12. Does 6 divide z?
False
Suppose -6*o - 23 = -599. Is 8 a factor of o?
True
Suppose 0 = -3*f + 7*f - 140. Is 5 a factor of f?
True
Let h = 139 + -71. Does 17 divide h?
True
Let t = -24 - 12. Let d = -26 - t. Suppose c - d = -c. Is c a multiple of 5?
True
Let s = -18 - -11. Let y = -5 - s. Suppose y*i - i = 14. Is 5 a factor of i?
False
Let x = 1 + 4. Suppose -2*o - 4*u = 3*o - 26, x*u = -5*o + 30. Suppose -k + 13 = -5*d + 2, -o = -2*d. Does 8 divide k?
True
Let f be -3*(2 + -3) - -3. Is 6 a factor of (1 - 9/f)*-12?
True
Let g(w) = w**2 - 1 - 2*w**2 - 3 + 5*w. Let s be g(3). Is 12/(s*9/12) a multiple of 8?
True
Let r = 3 + -1. Suppose -4*u - r = -5*u. Suppose 2*j + 2*k + 121 = 7*j, -3*j = -u*k - 75. Is j a multiple of 13?
False
Suppose 0*m - 2*m = -8. Let l(x) = 2 + x**3 + 4*x**2 + m*x - 3*x - 4*x - 3*x. Does 4 divide l(-5)?
False
Suppose -d = -6*d + 25. Let x(l) = 3*l + 25. Let q(j) = j + 8. Let p(o) = 7*q(o) - 2*x(o). Does 10 divide p(d)?
False
Suppose 0 = 4*k - 210 - 54. Does 33 divide k?
True
Suppose 0 = -n + 3*n. Suppose -d - 4*d - 180 = n. Let r = -16 - d. Does 10 divide r?
True
Let y(d) = d**3 - 8*d**2 + 10*d + 1. Let v be (-1 - -1) + (6 - 3). Suppose -3*b = 5*j - v + 2, 3*b - 5*j = 41. Does 11 divide y(b)?
True
Suppose 0 = 2*r + 3*u - 8*u + 17, 5*r + 2*u - 30 = 0. Is r even?
True
Suppose 3*q - 27 - 205 = 5*i, i = 4*q - 332. Suppose 4*t = 4*k - q, 5*t - 78 - 7 = -5*k. Does 7 divide k?
False
Suppose -3*q + 5 = -4. Let c(i) = -15*i**3 + i**2 + i. Let b be c(-1). Suppose b = -g + 5*l, -2*g - 3 - q = -4*l. Is g a multiple of 3?
False
Let w be 384/(-8)*(-3)/2. Is ((-6)/4)/((-27)/w) a multiple of 2?
True
Let h = 1 + -7. Let k = h + 8. Suppose 0 = k*q + q - 54. Does 13 divide q?
False
Suppose 2*z = -z. Suppose -c - c + 44 = z. Does 11 divide c?
True
Let c = -6 + 5. Is 15 a factor of 52 + c + (-1)/(-1)?
False
Suppose -4*y = -4*x - 0*y + 1576, -x + 3*y + 384 = 0. Does 19 divide x?
True
Suppose -4*z = 3*p - 44, 2*p - 3 - 3 = -z. Let k(b) = -2*b**2 - 10*b + 1 + 3*b**2 + z. Does 13 divide k(10)?
False
Suppose -y + 3*u + 369 = -0*y, -2*u = 5*y - 1794. Suppose y = -6*m + 11*m. Does 15 divide m?
False
Suppose -5*l + 43 = 2*y, 0 = -0*y + 2*y - 5*l - 13. Suppose -b = b - y. Is b a multiple of 7?
True
Suppose 4*o = 4*q - 340, 4*q - 8*q = 4*o + 380. Let i = -59 - o. Does 15 divide i?
False
Suppose -4*b - 13 = -u, -81 = -5*u + b + 60. Suppose -u = -j - 1. Is 11 a factor of j?
False
Let h(g) = 35*g - 30. Does 52 divide h(4)?
False
Let f = 70 + -60. Is f a multiple of 7?
False
Let n(v) = -v - 7. Let t be n(6). Let y = -22 - t. Does 16 divide (-4)/(-18) + (-142)/y?
True
Let g = 11 + -6. Suppose -g*t = 20 - 0. Is -3 + t/(4/(-11)) a multiple of 4?
True
Let c be (6/4)/((-3)/20). Let t be (6/(-15))/((-2)/c). Is (-2 - t) + 2 + 7 a multiple of 5?
False
Suppose 2*k - k + 1 = 0. Let h(j) = -67*j**3 + 2*j**2 + j. Does 21 divide h(k)?
False
Let x(z) = z**2 + 2*z + 8. Does 11 divide x(8)?
True
Let o(j) = -j**3 - 11*j**2 - 2*j - 4. Does 9 divide o(-11)?
True
Suppose -v - 22 = -2*v. Is v a multiple of 9?
False
Let f(v) = 3*v**2 - 17*v + 20. Is 15 a factor of f(12)?
False
Let p be 1/(0 + (-3)/(-6)). Suppose -a = 2*a - 2*u - 130, p*u + 170 = 4*a. Is a a multiple of 10?
True
Suppose 0 = 6*w - 11*w - 15, -2*l = 2*w - 2. Suppose -5*v = 0, l*m - 5*v = 2*m + 92. Does 12 divide m?
False
Suppose -2*j = 20 - 0. Let z = j + 12. Does 2 divide z?
True
Suppose 3*h + 8 = -4*j, 2*j - 6*j = -h - 24. Suppose 3*y + 2*o - 45 = 3*o, -o = -2*y + 29. Let c = h + y. Does 4 divide c?
True
Let d = 10 - 5. Suppose 0 = -5*g + d, -2*i + 5*g + 37 = -8. Is i a multiple of 25?
True
Let t = 1 + 1. Suppose t*p = -p - 3. Is p*(-1 + -1) - -9 a multiple of 11?
True
Let l(m) = -m + 36. Let g be l(0). Suppose -5*v = -v - g. Does 2 divide v?
False
Suppose -3 = 3*y + 4*q + 4, -4*q - 28 = -4*y. Suppose 0 = 5*v + 2*t + 75 - 15, -36 = y*v + 2*t. Does 13 divide (-29 + 3)/(8/v)?
True
Let h be (-1)/(-6) + 273/(-18). Let a = 32 + h. Does 15 divide a?
False
Let b(p) = p**2 - p + 48. Let h be b(0). Let i = 3 + -3. Suppose i = 3*t - 5*t + h. Does 18 divide t?
False
Suppose -8 + 2 = -v. Let c = 10 - v. Is 2 a factor of c?
True
Let s(l) = -l**3 - 5*l**2 - 6*l + 3. Let n be s(-3). Suppose n*x = 8*x - 195. Does 13 divide x?
True
Suppose 2*b - 6 = -2. Suppose -3*g = -b*v - 3, 2*v - 2*g + 4 = v. Does 5 divide (13 - -5)*2/v?
False
Let k(o) = -2*o + 5*o - 4*o - o. Let u be k(-6). Suppose n + u = 2*n. Does 5 divide n?
False
Let x(t) = -t**2 - t + 6. Suppose 4 + 1