e m(3). Let o(i) = i + 6. Let k be o(u). Is 29 - (-2)/(2 - k) a multiple of 22?
False
Let z(v) = v + 115 - 26 + 127 + v**2 - v**3. Let f be z(0). Suppose -5*m = -m - f. Is 20 a factor of m?
False
Suppose 2*h + 64 = 4*z, -3*z - h - 4 = -52. Is 4 a factor of z?
True
Let i(f) = 11*f**2 + 4*f + 3. Let t be i(-2). Let w = 55 - t. Is w a multiple of 16?
True
Let w be ((-30)/(-1))/((-1)/1). Does 5 divide (w/(-9) - 0)*3?
True
Is (16/(-6))/((-14)/21) a multiple of 2?
True
Let t(k) = 5*k**2 + 11*k - 8. Let z(w) = 2*w**2 + 4*w - 3. Let x(u) = 3*t(u) - 8*z(u). Let f be x(1). Suppose -2*i = -f*i - 10. Is 5 a factor of i?
True
Let g = 54 + -47. Is g even?
False
Suppose -140 = 6*y - 2*y. Let u = -17 - y. Is u a multiple of 10?
False
Does 9 divide 216*(-8)/(-12)*6/8?
True
Suppose 57 = 8*n - 71. Is 16 a factor of n?
True
Suppose 4*m - 2*m - 76 = 0. Suppose -m = -4*x + 14. Is x a multiple of 10?
False
Let p(i) = i**2 + 3*i - 3. Let u = 5 + -2. Does 15 divide p(u)?
True
Suppose -5*t = 3*i - 513, 0 = t - 2*i - 0*i - 100. Suppose 3*b = -2*c - 3, c - 2*b = -0 + 16. Does 7 divide (3/c)/(3/t)?
False
Let c = 24 + -20. Is c a multiple of 2?
True
Let o = -12 + 12. Suppose -4*d = -k - 154, -4*d + o*k - 4*k = -164. Does 13 divide d?
True
Let u(z) = -2*z**2 - 2*z + 1. Let x be u(-2). Let v(q) = -6*q - 4. Is 14 a factor of v(x)?
True
Suppose -12 = -2*m - 2*m. Suppose -3*z - 5 = w, -z + 2 = m. Is 30*(-3)/(-6) + w a multiple of 12?
False
Suppose 2*z - 9 = t, -z - 30 = -4*z - 4*t. Is z even?
True
Let s(n) = 8*n. Let r be s(1). Let y = r - 0. Is (-25)/(-4) + (-2)/y a multiple of 3?
True
Let v(z) = -z - 2. Let w(s) = -s - 3. Let g(b) = -3*v(b) + 2*w(b). Let m be g(6). Let y = 14 + m. Is y a multiple of 9?
False
Let c = 56 - 31. Is c a multiple of 16?
False
Suppose a - 3 = -1. Suppose 0 = -a*t + 3*c - 20 + 57, 5*c + 58 = 3*t. Let n = 20 - t. Does 5 divide n?
False
Let p = 9 + -4. Let n be p/(30/8)*3. Suppose n*q - 118 = -6. Is 14 a factor of q?
True
Suppose -4*l = 3*y - 47, -l + 0*y = -2*y + 2. Is l a multiple of 4?
True
Suppose -4*j = -3*a + 40, 0*a + 2*j - 46 = -4*a. Let s be (a/(-9))/(6/(-9)). Suppose -3*i = s*i - 205. Is i a multiple of 14?
False
Let j = 0 - 3. Let a be -18 - (-6 + 1 - j). Let c = -10 - a. Does 6 divide c?
True
Let r = -12 - -17. Let m = r - 0. Is m even?
False
Suppose -h = 2*h - 15. Suppose 3 = h*r + 13. Let q = 6 + r. Is q even?
True
Let b = -143 + 213. Does 5 divide b?
True
Let x(h) = -h + 2. Let z be x(1). Is ((-15)/(-4))/(z/8) a multiple of 15?
True
Let k be (-5 - -6)*(-3)/(-1). Suppose -78 - k = -3*g. Is g a multiple of 9?
True
Let t(u) = -7*u**3 - 11*u**2 - 12*u - 2. Let n(i) = -13*i - 8*i**3 - 2 + 3*i**2 + i**2 - 16*i**2. Let d(s) = -6*n(s) + 7*t(s). Does 6 divide d(-4)?
True
Let k = 75 - 6. Does 13 divide k?
False
Suppose 4*h - l + 2*l - 191 = 0, 0 = -l - 1. Suppose n - 48 = -4*y, -2*y + h = -n + 2*n. Suppose 4*f - 76 - n = 0. Is 15 a factor of f?
False
Does 17 divide (14 - 0)/(1/6)?
False
Suppose -2*u - 5*j = 21, -u = -4*u + 2*j + 16. Suppose 2*p + 0 - 4 = 0, p = 2*f + u. Suppose 5*r - n - n - 128 = f, 0 = -2*r + 4*n + 48. Does 11 divide r?
False
Suppose 9*j = 7*j + 76. Is j a multiple of 9?
False
Let g be (-1 - -1 - 2)*-2. Let o be (0 + -1 + -44)*-1. Suppose -g*w = w - o. Does 4 divide w?
False
Let u be (-2 - -4) + 1 + 0. Suppose 1 = -4*t - 4*a - 7, t - u*a = 18. Suppose t*l = -0*l + 87. Is l a multiple of 19?
False
Let k(u) = -u**3 + 7*u**2 - 3*u - 5. Is 14 a factor of k(5)?
False
Let h = 110 - 90. Is 4 a factor of h?
True
Is 17 a factor of (3 - 1) + 588/3 + -6?
False
Let r(s) = s**2 - s - 9. Let j(y) = -3*y**2 + 2*y + 26. Let p(x) = 2*j(x) + 7*r(x). Is 11 a factor of p(11)?
True
Let v(b) = b**2 + 1. Let z be v(-1). Suppose -z*r = -5*d + 6, 2*r + 12 = 2*d - 2*r. Suppose -2*a + 4*m + 16 + 6 = d, -2*m = a + 5. Is a a multiple of 2?
False
Let t(b) = -b + 74. Does 10 divide t(14)?
True
Let y be 1/(2/2)*3. Let u(f) = 4 - 3 - 4*f + f**2 + y*f. Does 16 divide u(6)?
False
Suppose -y = -t + 218, 6*t = 3*t - 4*y + 640. Does 18 divide t?
True
Let i be (0 - -1)*2*1. Is (6/i)/(6/28) a multiple of 14?
True
Suppose -2*o - 1 = 1. Is (-4 - -1)*o*6 a multiple of 11?
False
Let t(m) = -2*m + 1 + 4*m**2 + 0*m - 5*m**2 + 2*m**2. Is 14 a factor of t(-4)?
False
Let c(g) = -g**2 + 3*g - 3. Let s be c(2). Suppose -5*j = -3*a + 10, 4*j - 4*a + 13 = -3. Is 16 a factor of (j - s)/((-1)/(-16))?
True
Suppose -1025 = -5*w - 4*g, 2*g - 55 = 2*w - 447. Is w a multiple of 12?
False
Let l(o) = 16*o + 4. Does 34 divide l(4)?
True
Let a = 1 - -1. Suppose 209 = o + 3*h, -o - a*o + 638 = -2*h. Suppose 0 = l + 3*l - o. Does 18 divide l?
False
Suppose 52 = 2*t + 5*d - 17, -4*d - 28 = -t. Does 14 divide t?
False
Let n(w) = w - 7. Let c be n(10). Is 10 - 3/((-3)/c) a multiple of 4?
False
Let z = -22 - -12. Let n = z + 22. Is 12 a factor of n?
True
Let l(k) = -k**3 - 6*k**2 - 5*k + 2. Let w be l(-5). Let a(q) = -3*q**2 - 2*q**3 - w*q**2 + 3 - q + q**2. Does 9 divide a(-3)?
False
Let w = -18 - -32. Does 3 divide w?
False
Suppose 4*p - 78 = 82. Is p a multiple of 12?
False
Suppose -8 = 4*q - 3*v + v, 3*q + v = -1. Let y = 2 - q. Suppose -5*d + 11 = -y*k, 2*d - k + 0*k = 5. Is 2 a factor of d?
True
Let r(g) = -g**2 + 16*g - 3. Suppose 25 + 19 = 4*z. Is r(z) a multiple of 26?
True
Suppose -4*w + 0*w + 14 = d, -3*w + 24 = 3*d. Suppose -2*q = -d - 0, 2*q = l - 2. Let c(a) = a**3 - 8*a**2 + 4*a - 12. Does 10 divide c(l)?
True
Suppose 4*z = 5*j - 470, 3*j + 3*z = 6*z + 285. Is j a multiple of 9?
True
Let z = 285 + -118. Is z a multiple of 29?
False
Suppose -18 = 4*w - 126. Is 9 a factor of w?
True
Let a(p) = 8*p - 70. Does 2 divide a(9)?
True
Suppose c = 3*f - 141, f + 0*f + 4*c - 34 = 0. Is f a multiple of 6?
False
Let v(q) = q**2 - 10*q + 14. Let i be v(9). Does 17 divide (-1)/i + 1924/20?
False
Suppose 0 = 2*y - c - 25, -3*y + y - c = -19. Is y a multiple of 11?
True
Let y be 52*2/4 + 0. Let g = y + -17. Is g a multiple of 3?
True
Suppose 301 + 221 = 3*p. Is p a multiple of 29?
True
Let b be 0/(-2 - 0/(-3)). Let g(c) = -c**3 - 8*c**2 + b*c**3 + 10 + 10*c + 2*c**2. Is g(-8) a multiple of 20?
False
Suppose -f + 18 = -0*f. Is 12 a factor of f?
False
Suppose p = -4*n + 125, 3*n - 3*p - 2*p = 111. Let o = n - 14. Is 10 a factor of o?
False
Let l(x) = x**2 - 5*x - 2. Let u be l(6). Suppose u*i = 91 + 113. Is 17 a factor of i?
True
Suppose -57*b + 47*b + 820 = 0. Does 33 divide b?
False
Let m = -5 + 0. Let c(r) be the third derivative of r**6/120 + r**5/12 - r**4/24 + 2*r**3/3 - r**2. Is c(m) a multiple of 4?
False
Suppose 0 = -3*m + 12, 18 = 2*k + 5*m - 48. Is 7 a factor of k?
False
Let t(o) = -8*o. Let j be t(-7). Suppose -2*x = -3*k - 0*x + 41, -3*x = -4*k + j. Is k a multiple of 4?
False
Suppose 0 = -o - 2*x + 102, -4*o + x - 185 = -602. Suppose o = 2*q - 20. Is 13 a factor of q?
False
Let v be 0 - 5 - (-2)/(-2). Let x = v + 42. Is 24 a factor of x?
False
Let b be (-30)/4*(2 - 4). Suppose 5*v = 2*r - r - b, -r + 3*v + 11 = 0. Is 2 a factor of r?
False
Let a(i) = 7*i + 49. Is a(-4) a multiple of 3?
True
Let l(y) = 27*y - 2. Let g(i) = 1. Let x(z) = -1. Let p(w) = -g(w) - 2*x(w). Let t(u) = -l(u) - 3*p(u). Does 13 divide t(-1)?
True
Let a(o) be the third derivative of 5*o**5/12 + 3*o**2. Is 9 a factor of a(-1)?
False
Let n(a) = -a**2 - 7*a + 3. Let v be n(-6). Suppose -3*k + v + 15 = 0. Does 5 divide k?
False
Suppose -5*y = -7*y + 6. Suppose -y*l = l - 28. Is l a multiple of 2?
False
Suppose 0 = 2*m - s - 37, 2*m - 3*s = -3*m + 94. Is 17 a factor of m*5/(5/3)?
True
Let a(h) = -h**2 + 2*h - 1. Let l be a(5). Is 5 a factor of 4/l + 41/4?
True
Let f be (2 + -7)*18/(-15). Suppose 0 = 2*y - 6, 0 = -4*k - f*y + 2*y + 68. Is 14 a factor of k?
True
Let g(i) = 4*i + 3. Suppose -14 + 1 = -3*z - 2*f, -2*z - 4*f = -14. Is 4 a factor of g(z)?
False
Let w = 129 + 6. Does 15 divide w?
True
Let s = 4 - 1. Let l = 5 - s. Is l/((-6)/3) - -19 a multiple of 9?
True
Suppose -4*d + 14 = 6. Suppose -d = -5*g + 63. Suppose -q = -3*i - 20, -4*q - i = -15 - g. Does 4 divide q?
True
Suppose 0 = a + 1 - 8. Let m = a - 3. Is 2 a factor of m?
True
Let u(a) = -a + 8. Let x(v) = -3. Let f(o) = -4*u(o) - 11*x(o). Does 6 divide f(5)?
False
Let b = 959 + -572. Is b a multiple of 52?
False
Suppose 459 = 3*b - 0*b. Is 34 a factor of