= -p - 10. Let u be b(o). Is 0 + -1 + (-2 - u) a multiple of 2?
False
Let v(j) = -j + 35. Does 4 divide v(11)?
True
Let p(x) = -x**2 + 24*x - 48. Is p(21) a multiple of 5?
True
Let h be ((-38)/(-8))/((-2)/(-24)). Suppose y - 4*y = -h. Suppose -3*f + 2*f = -y. Is f a multiple of 13?
False
Suppose 20*o - 12 = 24*o. Let k(d) = -26*d**3 + d**2 - d - 1. Let g be k(-1). Is ((-4)/6)/(o/g) a multiple of 3?
True
Let b be 2/(-7) - 220/(-35). Suppose -4*l = -l - b, -4*l = -4*j + 112. Is j a multiple of 15?
True
Let i = 1 - -9. Suppose -f - 5*t = -i, 4*f = f + 4*t - 8. Is 5 a factor of (f - 4/(-6))*15?
True
Let s be 13 + 3/(-9)*0. Suppose 0 = i - 3*r + 4 - s, 2*i - 3*r - 27 = 0. Is i a multiple of 7?
False
Does 50 divide (-24)/(-1)*400/64?
True
Suppose 5*a - 4*j - 105 = j, 4*a + 4*j = 108. Let d be 98/8 - 6/a. Does 12 divide 95/4 + 3/d?
True
Suppose 5*i + 20 = -4*q, 4*i + 10 = -5*q - 15. Suppose 3*k = -i*k - 27. Let a(r) = r**2 + 10*r + 12. Is a(k) even?
False
Suppose u + 112 = 5*u. Is 10 a factor of u?
False
Let x be (-1)/(1/(-20)*-2). Let g be 8/10*x/(-4). Let y(s) = 5*s**3 - s**2 - 3*s + 2. Is y(g) a multiple of 16?
True
Let h = 19 + -3. Does 16 divide h?
True
Let k be (8 + -4)*4/2. Suppose -19*m + 18*m = -k. Does 5 divide m?
False
Let b(f) = 0*f + 5*f**2 - f**3 - 24 + 3*f + 0*f + 21. Is 17 a factor of b(3)?
False
Let s = 21 - 36. Let f be (-3)/s - 2/10. Suppose 2*x + f*d - 42 = -2*d, 2*x - 30 = 2*d. Is 9 a factor of x?
True
Suppose -z - 70 = -5*k - 252, -728 = -4*z - 3*k. Does 15 divide z?
False
Suppose -2*y = -k + 287, 16 + 805 = 3*k + 4*y. Suppose -4*a - k - 97 = 0. Is -3*a/6 - 3 a multiple of 17?
False
Let w = 55 - 31. Does 19 divide w?
False
Suppose -4*a - 228 = -6*a. Does 19 divide a?
True
Suppose -f + 22 = -0*f - 3*z, 3*f + 5*z = 10. Is 10 a factor of f?
True
Let v be 1*5 - (-3 + -1). Suppose -4*w + v*m + 75 = 4*m, 0 = -w - m + 12. Does 5 divide w?
True
Let i = -89 - -187. Is 6 a factor of i?
False
Does 3 divide ((-10)/(-8))/(3/12)?
False
Let u(n) = 2*n**3 - 5*n**2 + 7*n + 29. Let s(z) = -z**3 + 2*z**2 - 3*z - 15. Let a(t) = 11*s(t) + 6*u(t). Is a(7) a multiple of 8?
False
Suppose 2*r - c + 4 = -3*r, 0 = -2*c + 8. Suppose -4*q + 26 = -2*d, -d = -q - r*d + 6. Let w = 2 + q. Is 6 a factor of w?
False
Let z(i) = i**2 + i. Let a(y) = -5*y**2 - 16*y - 7. Let c(x) = a(x) + 6*z(x). Does 2 divide c(11)?
True
Let a be (-26)/(-8) - (-1)/(-4). Let m be (-2)/((-1 - 1)/2). Suppose -5*b + 42 = m*n - 9, 3*b - 18 = a*n. Does 9 divide b?
True
Let i = -12 - -15. Suppose -166 = -4*y - q, -2*y - i*q - 2*q = -74. Is 19 a factor of y?
False
Let l(s) = s**3 + 2*s**2 - 3*s + 4. Let t be l(-3). Let r be 66/10 - t/(-10). Let h(p) = p**3 - 8*p**2 + 11*p - 4. Is 12 a factor of h(r)?
True
Let g(q) = 26*q**2 + 8*q + 11. Is g(-2) a multiple of 10?
False
Let j(w) = 54*w. Let u be j(2). Suppose 2*a - 105 = -p, -2*a + u = -p - p. Does 27 divide a?
False
Let r(j) = 1. Let v(w) = -w + 5. Let h(l) = -4*r(l) - v(l). Let m be h(10). Let q = 39 + m. Is 11 a factor of q?
False
Suppose -2*a + 86 = 5*y + 13, 72 = 4*y + 5*a. Suppose 0*v = 4*v - 128. Suppose 3*p - y = v. Is p a multiple of 9?
False
Let o(c) = c**3 - 5*c**2 - 5*c - 2. Let r(b) = 4*b - 10. Let y be r(4). Does 3 divide o(y)?
False
Let h = -6 + 76. Is 14 a factor of h?
True
Suppose -4*b = b + 15. Let i(s) = s**3 + 3*s**2 - 3*s + 3. Let x be i(b). Is 18 a factor of (9/6)/(1/x)?
True
Suppose 0 = 7*h - 3*h - 8. Is h even?
True
Let p(m) = m**2 + 2*m + 10. Let u be p(-7). Suppose 2*j + 208 + 33 = 5*z, z - u = 2*j. Is z a multiple of 9?
False
Suppose 4*j - j = -18. Does 3 divide (j/4)/((-3)/18)?
True
Let x = -6 + 8. Suppose 2*a + 2 = -4*q, -x*q - 5*a + 5 = 18. Is 7 a factor of (q + 1)*(-14)/(-4)?
True
Suppose -140 = -2*x - 5*a, 256 = 3*x - 2*a + 27. Suppose i - 6*i = -x. Is i a multiple of 5?
True
Suppose -29 + 4 = -5*h. Suppose 21 = h*d + 1. Suppose -5*u = -3*y - 82, 0 = -d*u - 3*y - 2*y + 73. Is 15 a factor of u?
False
Suppose -2*h + 10 = -4. Is h a multiple of 7?
True
Let t be 64*(-4)/(-8)*-1. Let l = t + 50. Is l a multiple of 11?
False
Suppose 9 = -o - 2*o. Let n = -4 + o. Let s(a) = -a**2 - 10*a + 2. Is 23 a factor of s(n)?
True
Let l(r) = 7*r**3 + 5*r**2 - r - 14. Let d(q) = 10*q**3 + 8*q**2 - 2*q - 21. Let c(v) = 5*d(v) - 7*l(v). Suppose -17 = 3*n - 2. Does 8 divide c(n)?
True
Let d = 1 + 0. Does 4 divide ((-4)/(-3))/(d/6)?
True
Suppose j = -2*a + 116, 114 = 3*j - 4*a - 204. Suppose -j = -7*r + 2*r. Is 11 a factor of r?
True
Is 48 + 4 + -3 - 2 a multiple of 8?
False
Suppose 3*x = -3*v - 36 - 21, 4*x = 2*v - 58. Let n = 24 - x. Suppose -3*o = -q + n, 3*q + 5*o = -2*q + 160. Is 17 a factor of q?
True
Let k(b) = b - 6. Suppose -5*a + a = -20. Suppose -4*v + a + 35 = 0. Does 2 divide k(v)?
True
Let q(h) = -h**3 - 4*h**2 - h - 1. Let g be q(-4). Suppose 0 = 3*r - 9, -2*x - 109 = g*x - 3*r. Let m = 33 + x. Does 8 divide m?
False
Let b(s) = -4*s - 4. Let l be b(-3). Let m(i) = -i**2 + 5*i + 5. Let f be m(5). Is 10 a factor of 52/f - l/20?
True
Suppose -2*w - 3 - 3 = 5*p, -5*w - 15 = 4*p. Let m = p + 3. Suppose 3*q + 2*o - 94 = 0, -m*q - 5*o = 2*q - 150. Does 17 divide q?
True
Is 23 a factor of 4 - (-3 + 91 + 0)/(-1)?
True
Suppose 0 = 5*s + 2*f - 155 + 48, s = 2*f + 31. Suppose 0 = 7*t - 6*t - s. Does 12 divide t?
False
Suppose 0 = 5*m + 3*a - 2*a - 14, 4*m + a = 12. Suppose m*y = -2*y - 8. Does 7 divide y + 1 - (-9 - 6)?
True
Let y be 1706/30 + 6/45. Let u = y + -39. Is 10 a factor of u?
False
Suppose 5*s + 120 = 3*i - i, 4*s = 0. Does 15 divide i?
True
Let m = 68 + -12. Let k = 14 + m. Is k a multiple of 14?
True
Suppose -k + 164 = 2*k + 4*x, 3 = -3*x. Is 5 a factor of k?
False
Let q(x) = 11*x**3 - 6*x**2 + x - 7. Suppose 3 = -n + 4. Let i(b) = -b**2 - 1. Let v(s) = n*q(s) - 6*i(s). Is v(1) a multiple of 6?
False
Let q be (0/3)/(-1 - -2). Suppose -5*z + 36 = 11. Suppose z*n - 5 = q, -4*m + 235 = -0*n - n. Does 20 divide m?
False
Let x(s) = -2*s - 14. Let u be x(-7). Is 5 a factor of u - -15 - (4 + -5)?
False
Suppose 42 = 2*u + 4. Suppose 2*m = -5*q + 3, -m = -2*q + q - u. Is 7 a factor of m?
True
Let t = 0 + 5. Suppose -66 = -4*h - k, t*k - 13 = -3. Is h a multiple of 15?
False
Let x be (-1 - 1/(-2))*-4. Suppose 0 = 2*h + p + x*p - 114, -p - 160 = -3*h. Is h a multiple of 18?
True
Suppose -6 + 14 = 4*w. Suppose -22 = w*j + 36. Let g = -16 - j. Is g a multiple of 10?
False
Let m = -4 - -15. Let o = m + -4. Suppose y = o + 17. Is 12 a factor of y?
True
Suppose -26 = -5*h - 11. Is 16 a factor of (-6)/(-5)*40/h?
True
Suppose -5*m - 2*u + 15 = -146, 5*m = -5*u + 155. Let l = 34 - 16. Let d = m - l. Does 5 divide d?
True
Suppose -3*w - 2*x = w - 304, 5*x = 0. Let m = -37 + w. Does 14 divide m?
False
Let i be (6/(-5))/((-9)/75). Let k = 14 - i. Is k a multiple of 4?
True
Let i(h) be the second derivative of 5*h**3/6 - 3*h**2 + 3*h. Is i(4) a multiple of 7?
True
Let u = 119 - 29. Is 13 a factor of u?
False
Let i(y) = 4 + 4*y - 10 - 3*y + 60. Is i(0) a multiple of 18?
True
Suppose 5 = 3*s - 4*s. Let d be (-3)/(-12) - (-258)/(-8). Let v = s - d. Is 13 a factor of v?
False
Let n be -3 - -2 - 3*-1. Suppose -492 = n*h - 5*h. Suppose -5*y + 2*y = -5*r - 128, -4*y + 5*r + h = 0. Is 16 a factor of y?
False
Suppose k + f - 2 = 0, -f = 3*k - 2*f - 22. Suppose -3 = p, 3*m + 5*p + k = -0*m. Suppose -2*z + 14 = 5*c - 151, -m*c - z + 98 = 0. Is 16 a factor of c?
False
Let o = 27 - 20. Suppose 0 = f + n - 50, -5*n - o = -2. Does 17 divide f?
True
Let r(a) = -3*a**2 - 4*a - 6. Let t(m) = 6*m**2 + 9*m + 12. Let z(i) = -7*r(i) - 3*t(i). Is z(3) a multiple of 9?
True
Suppose d = -2*m + 80 + 86, 0 = 4*m + 16. Is 29 a factor of d?
True
Suppose 0 = -2*o + 48. Suppose 2*g + q = 23, q = 3*g - o - 23. Is 5 a factor of g?
False
Let p be 912/60*(6 + -1). Suppose 0 = 4*v - p - 0. Does 8 divide v?
False
Let w = 344 - 81. Suppose 0 = 5*b + 2*c - w, 3*b = 7*b - 5*c - 184. Does 17 divide b?
True
Suppose -4*y - g - 28 = 4*g, -2*g = 3*y + 28. Is 14 a factor of -3*1 - (-5 + y)?
True
Suppose 2*q + 12 = -2*q. Does 36 divide (q/(-4))/(2/152)?
False
Suppose 4*f - 143 - 125 = k, -3*k = -5*f + 328. Does 10 divide f?
False
Let s be (0/1 + -1)*-1. Suppose -5*w - s = -4*w - 3*m, 3*w = m + 29. Is 11 a factor of w?
True
Let b(v) = v**2 - 4*v + 3. Let k be b(3). Suppose -h + 0*h 