p be y(8). Is b(p) a multiple of 8?
True
Let h(l) = l**3 + 2*l**2 - 4*l - 1. Is h(3) a multiple of 8?
True
Let t = -7 + 23. Let i = t + -6. Suppose i + 20 = k. Does 15 divide k?
True
Let l = 0 - -7. Is 3/((-12)/l)*-4 a multiple of 3?
False
Is 11 a factor of (1 + 0 + 2)*15?
False
Does 11 divide ((-3)/4)/((-3)/108)?
False
Let h be 0*(-1)/(-2) - 0. Suppose 5*z - f - 67 = z, 2*z - f - 33 = h. Is 12 a factor of z?
False
Suppose 22 - 182 = -5*j. Is 6 a factor of j?
False
Let l(f) = 8*f - 1. Let z = 7 + -13. Let t = z - -11. Is l(t) a multiple of 17?
False
Suppose 3*w = -4*g - 63, 7*w + 73 = -4*g + 2*w. Suppose -r + k = -5*r + 11, -5*r + 45 = -5*k. Does 16 divide (-194)/g - r/24?
True
Suppose 0*r + 10*r = 930. Does 11 divide r?
False
Suppose 3*x = -4*q + 188, 4*q + 51 = -x + 231. Does 15 divide q?
False
Suppose -6*p + 65 = -p. Suppose q - p = -0*q. Is 8 a factor of q?
False
Suppose 0 = f - 9 - 28. Is f a multiple of 13?
False
Suppose 4*a - 9 - 3 = 0, 3*a - 39 = 5*c. Let r be (c/(-12))/((-2)/(-8)). Suppose -239 = -5*v - r*z - 89, 0 = -3*v + 5*z + 59. Is v a multiple of 11?
False
Suppose -10*x + 5*x = -860. Is 43 a factor of x?
True
Let c = 40 - -10. Is 25 a factor of c?
True
Let t(q) = 10*q**2 - 2*q + 13. Is 38 a factor of t(4)?
False
Let z = 148 - 106. Is 21 a factor of z?
True
Let x(k) = -k**3 - 3*k**2 - 3*k - 4. Let f be x(-2). Does 12 divide ((-165)/(-2))/(-5)*f?
False
Suppose 2*z + 20 = -2*z. Let u(i) = -i**3 - 5*i**2 + 3. Let j be u(z). Suppose j*k = 2*k + 21. Is k a multiple of 14?
False
Let r(u) = u**3 - 3*u**2. Is 10 a factor of r(5)?
True
Let z be 1 - (7 + 3 + -1). Let v = z - -8. Suppose v = -2*l + 3 + 3. Is l even?
False
Let g be 20/(2 - (-24)/(-10)). Let h = -30 - g. Is 10 a factor of h?
True
Let u(n) = 24*n**3 - n**2 + n - 1. Let z be u(1). Suppose 2*b - 3 = -4*p + z, -5*b - 3*p = -30. Suppose 5*g + 100 = 5*r, -b*r + r = g - 31. Does 17 divide r?
True
Let x(o) = 6*o - 8. Let d be x(5). Suppose -2*w + 3*w - d = 0. Is 6 a factor of w?
False
Let g = -8 - 0. Let k = 17 - g. Is 13 a factor of k?
False
Let s be 2*(-4)/8*1. Is 9 a factor of ((-5)/((-20)/(-144)))/s?
True
Let f = -25 - -50. Is f a multiple of 25?
True
Suppose -2*v + 5*v - 2*b - 74 = 0, -5*v = b - 145. Is 14 a factor of v?
True
Let f(x) = 9*x - 9. Is f(6) a multiple of 15?
True
Suppose 3*w - 148 = 14. Suppose 0 = -7*o + 4*o, 5*o - w = -3*m. Does 18 divide m?
True
Suppose -2*x + 18 = -x. Is x a multiple of 7?
False
Let f = -3 - -6. Suppose 0*q = -f*q + 6. Is q/(-4)*(-77 - -1) a multiple of 14?
False
Suppose -2*g + 4*g - 370 = 0. Let y = 117 - g. Let c = y - -98. Is c a multiple of 11?
False
Suppose 48 = -q + 3*q. Suppose -2*h = -6, 6*j - 3*j = -4*h + q. Is j a multiple of 3?
False
Let f = 25 + 2. Let y = f + -17. Is y a multiple of 5?
True
Is (-5)/(-4) + (-3933)/(-12) a multiple of 47?
True
Let u(w) = 313*w**3 - 2*w**2 + 2*w - 1. Does 12 divide u(1)?
True
Let v(o) = -o**2 - 3*o - 4. Let n be v(-3). Let t = n - -7. Suppose -4*d - 12 = 0, -t*d + 168 = 5*p - 4*d. Is 11 a factor of p?
True
Let p be 3*1 - (8 + -6). Let i(c) = -131*c**3 - 2*c**2 + 2*c - 1. Let a be i(p). Is (a/(-18))/((-2)/(-6)) a multiple of 22?
True
Let q(p) = 2*p + 1 + 0*p + 0*p + 0*p. Is q(3) a multiple of 7?
True
Suppose 0*i - 5*b - 37 = -2*i, -2*i + 4*b = -40. Let g = i - 0. Does 21 divide g?
False
Suppose k - 6*j = -3*j - 6, 5*j - 12 = 2*k. Let z be (-4)/k - 130/(-3). Suppose 0 = -r + 4*r + 4*v - 8, 0 = -3*r + 5*v + z. Does 8 divide r?
True
Suppose -1 + 31 = -5*q. Does 5 divide 13 + (2 + q - -1)?
True
Let i be (-4)/(-14) - 552/(-28). Let s be (6/(-10))/((-4)/i). Suppose 53 = 5*d + 2*m - 36, s*m = -4*d + 74. Is 7 a factor of d?
False
Let b be (-7)/(1 + -3 - -1). Let i(g) = -g - 1. Let c be i(-3). Let x = b - c. Is 2 a factor of x?
False
Let v(x) = x**3 + 5*x**2 + 2*x - 5. Let q be v(-4). Does 3 divide (-3 - 15)*(-2)/q?
True
Does 73 divide ((-20)/(-6))/(6*(-7)/(-2394))?
False
Suppose -p + 12 = -3. Suppose 3*k - p = -5*z - 2*k, 5*z + 4*k = 17. Is (-2)/2 - (-65)/z a multiple of 11?
False
Let t(y) = y**2 + 6*y + 5. Is 17 a factor of t(5)?
False
Does 8 divide (-4)/(-16)*46*2?
False
Let b = -35 - -106. Does 7 divide b?
False
Is (-6)/4 + (-90)/(-12) a multiple of 2?
True
Suppose -2*m + 0 = 4, -5*j + 57 = 4*m. Is 3 a factor of j?
False
Let o(h) = -h**2 - 4*h - 1. Let z(f) = f**2 + 3*f. Let r(a) = 5*o(a) + 6*z(a). Let t be r(4). Let d = t + -1. Is d even?
True
Suppose -d - 37 = -2*d - 5*j, 0 = -3*d - 5*j + 161. Is d a multiple of 22?
False
Let i(z) = 2*z**2 + 6*z + 6. Let a be i(-6). Suppose a = -g + 2*g. Is g a multiple of 11?
False
Let o be (-5 + 8)*(-1 - -2). Let f(i) = -i**3 + 2*i**2 + 4*i. Does 2 divide f(o)?
False
Suppose 5 - 1 = b. Is 3 a factor of b?
False
Suppose -7*h + 4*h = -102. Does 6 divide h?
False
Is 16 a factor of (1/((-10)/(-72)))/((-2)/(-40))?
True
Let f(c) = -c - 9. Let j be f(-4). Is (j/(-2) + -3)*-22 a multiple of 4?
False
Let u be (3/9)/((-3)/261). Let x = u + 40. Is 3 a factor of -1*x/5*-5?
False
Let n = 38 - 26. Let u = n - -10. Does 9 divide u?
False
Suppose 49*p = 48*p + 55. Is p a multiple of 11?
True
Let w(b) = -b**3 - b**2 + 5*b. Let h be w(-5). Is (1/(-3))/((-1)/h) a multiple of 11?
False
Let d = -13 - -13. Let h(o) = 4*o**3 - 3*o**2 + o. Let c be h(3). Suppose 3*f - 2*t - c = d, -3*f + 131 - 47 = 5*t. Is f a multiple of 13?
False
Suppose 0*l = 2*l + u - 64, -l - 5*u = -50. Does 15 divide l?
True
Suppose -h - 18 + 3 = 0. Let l be (-6)/h - 198/(-5). Let i = l + -2. Does 19 divide i?
True
Suppose -3*j = -2*a + 301, 5*j = 5*a - 226 - 519. Is a a multiple of 14?
False
Let g = -59 + 133. Is 37 a factor of g?
True
Let i = 17 - 8. Let u = -7 + i. Does 12 divide (70/(-4))/(u/(-4))?
False
Is 14 a factor of (-48)/(-9)*(-42)/(-8)?
True
Let l(f) = -8*f - 4. Let a(h) = -8*h - 4. Let g(u) = 4*a(u) - 3*l(u). Does 9 divide g(-5)?
True
Suppose q = 2*p + 3, -p + 9 = 3*p + q. Suppose -5 + p = 4*m, 74 = 3*s + 4*m. Let c = s + -4. Is c a multiple of 11?
True
Suppose 0*f - 2 = -f, 3*w = -2*f + 4. Suppose w = -3*l + 34 + 17. Is l a multiple of 17?
True
Let j(i) = 9*i + 11. Is 4 a factor of j(4)?
False
Suppose 2*n - 2*o = -24, 5*o + 24 + 4 = -3*n. Let m(r) = 30*r + 1. Let b be m(1). Let j = n + b. Does 13 divide j?
False
Suppose -4 = 3*i - 4*i. Suppose 0 = -i*w - w. Suppose 2*z + w*z - 30 = 0. Is 11 a factor of z?
False
Let g = 63 + -115. Let r = -32 - g. Is 4 a factor of r?
True
Suppose 0 = 5*f + k - 726, -3*f - 4*k = -k - 426. Is 29 a factor of f?
False
Let y(v) = 2*v**2 + 2*v + 8. Is y(4) a multiple of 16?
True
Suppose -18 = 2*b - 68. Suppose p = b - 8. Is p a multiple of 17?
True
Suppose -5*u = -0*u. Is 12 a factor of (-182)/(-7) + u + 0?
False
Suppose -x + 878 = 5*r, -3*r - 5*x + 0*x + 540 = 0. Does 35 divide r?
True
Let j(w) = -w**2 - 11*w + 5. Let u be j(-11). Suppose -2*z + 0*z = o - 63, u*z - 175 = o. Does 17 divide z?
True
Let z(u) = u**3 - 6*u**2 + u + 13. Does 3 divide z(6)?
False
Suppose 3*j - 2*c = 18, -5 = -j - 4*c + 1. Let d(z) = z**3 - 4*z**2 - 4*z + 8. Does 16 divide d(j)?
False
Let b = 83 + 147. Is 10 a factor of b?
True
Let d(n) = -4*n**2 + 3*n - 7. Let z(b) = -6*b**2 + 4*b - 10. Let k(o) = 7*d(o) - 5*z(o). Is 6 a factor of k(-2)?
False
Suppose -264 = -2*k - 80. Is 23 a factor of k?
True
Suppose 2*f - 3*y - 23 = 42, 2*y - 78 = -3*f. Let g be (-685)/45 - 4/(-18). Let p = g + f. Is 6 a factor of p?
False
Let q = 158 - 92. Suppose 2*n = -n + q. Is n a multiple of 11?
True
Let o(k) = -39*k + 3. Let j be o(-3). Suppose 0 = -2*p - 0*p - 3*d + 48, -5*p + 4*d + j = 0. Is 12 a factor of p?
True
Let r = 14 + 11. Let i = r + -15. Is i a multiple of 10?
True
Suppose -2*y + 3*y = 44. Is y a multiple of 22?
True
Let y be -1 - 0/1 - -1. Suppose -3*g + y*s - 2*s + 42 = 0, 56 = 4*g - 5*s. Is 7 a factor of g?
True
Let b = 8 - 3. Suppose 4*u + 12 = 0, -j + b*u + 21 + 14 = 0. Is 20 a factor of j?
True
Is 6 a factor of (-2 - -1) + 20 - 1?
True
Suppose 3*u - 208 = 2*x, 4*x - 310 = -5*u - 0*x. Is 11 a factor of u?
True
Let z = 184 + -8. Suppose 5*u - m = 234 - 50, 5*u = -m + z. Is 18 a factor of u?
True
Is 275 - (24/6)/4 a multiple of 13?
False
Suppose 4*z + 96 = r - z, 0 = 4*z + 12. Let j = r + -57. Is 6 a factor of j?
True
Let o be (1 - 2)*(3 + -7). Suppose 0 = -o*a + 928 + 20. Let v = a + -156. Does 21 divide v?