 = -5*y, v = -3*v - 2*y - a. Does 12 divide (v - -3) + (-24)/(-2)?
True
Let k(r) = 4*r**2 - 7. Is k(5) a multiple of 31?
True
Let w(z) = 24*z**3 - z + 1. Let y be ((-6)/(-3))/2 - -11. Let i be (3 - 0)*4/y. Does 12 divide w(i)?
True
Let d(w) = w**3 - 4*w**2 + 2*w + 7. Is d(4) a multiple of 15?
True
Let p(l) = l**2 + 21. Let g = 0 - 0. Is p(g) a multiple of 7?
True
Let o = -65 + 114. Does 7 divide o?
True
Let w(i) = -8*i - 8. Let s be w(-8). Suppose -2*r = -6*r + s. Is 8 a factor of r?
False
Let b = -52 + 75. Is 9 a factor of b?
False
Suppose -2*s - s = -g + 13, -s + 2*g - 11 = 0. Suppose 3*h - 6*h = -i + 32, 3*i - 36 = -3*h. Let c = s + i. Does 7 divide c?
True
Let u(n) = 13*n - 74. Does 27 divide u(14)?
True
Let g(f) = f**2 + 14*f - 6. Let i be g(-12). Let u = i - -75. Suppose -2*p + 5*p - u = 0. Does 5 divide p?
True
Let w(h) = -h**2 - 3*h + 241. Is w(0) a multiple of 13?
False
Let h(f) = -f**3 - 7*f**2 + 12*f + 4. Does 23 divide h(-9)?
False
Let n = 11 - 9. Let c(g) = 2*g**2 + 2. Let y be c(4). Is 3 + n*y/2 a multiple of 27?
False
Suppose -y - 3*y + 2*k = -90, 5*y - 105 = -5*k. Is 15 a factor of y?
False
Suppose 14 = 4*m - 2. Let l(y) = 2*y**2 - 6*y. Does 7 divide l(m)?
False
Let m(k) = k**2 + k - 1. Let u be m(-3). Let z(l) = -u + 0 + 1 + 3*l + 5. Does 9 divide z(5)?
False
Let p(c) = c**3 + c**2 - 7*c - 6. Let z(t) = t**3 + 2*t**2 - 6*t - 6. Let k(q) = -5*p(q) + 6*z(q). Let s be k(-7). Is 37 - (1 - 1)/s a multiple of 14?
False
Suppose -4*f = p + 5, -3*f + 0*f = 6. Suppose -22 = -k - 3*u, 4*k - 74 = -u + p*u. Does 10 divide k?
False
Suppose -4*a + 83 = -3*l + 351, -2*l + 2*a + 176 = 0. Does 12 divide l?
True
Let n(y) = y**3 + 9*y**2 + 13*y + 7. Is n(-6) a multiple of 18?
False
Suppose 2*n = 8, 4*n - n = -2*m + 16. Let i(r) = -2*r**2 - 1 + r**2 - 6*r + m*r**2. Is i(7) a multiple of 6?
True
Let x(v) = -2*v - 10. Let a be x(-7). Suppose -6 - 51 = -3*h + 3*i, -i = 5*h - 119. Suppose -a*g + 1 = -h. Does 3 divide g?
True
Is 12 a factor of (-27*1*1)/((-9)/12)?
True
Suppose 0 = -5*t - 135 + 965. Does 14 divide t?
False
Suppose 3*y - 49 = 131. Is y a multiple of 15?
True
Let v = 11 - 4. Suppose 3*k - 2*k = v. Is k a multiple of 4?
False
Let q = 79 - 18. Is 14 a factor of q?
False
Suppose -5*z + 130 = 5*d, 3*z + 108 - 12 = 3*d. Is 9 a factor of d?
False
Let n = -18 + 11. Let r be -26*(1/2)/1. Let c = n - r. Is 3 a factor of c?
True
Let l = -126 + 185. Is 11 a factor of l?
False
Is 28 a factor of ((-9)/4)/((-12)/1760)?
False
Let a(c) = -4 + 0*c + c**2 - 13*c + 8*c. Does 11 divide a(10)?
False
Suppose -2*w = -w. Suppose w*m = 4*m - 40. Is m a multiple of 3?
False
Suppose 30 = 2*q + 5*z, -5*z - 7 + 22 = -q. Suppose -77 = -q*m + 23. Suppose j - m = -0*j. Does 13 divide j?
False
Suppose 4*s = -4 + 96. Is s a multiple of 7?
False
Let d = -7 + 10. Let n = 45 + d. Does 14 divide n?
False
Suppose -o + 27 = -2*j, -4*o - 200 = -9*o - 3*j. Suppose 0 = 3*a + o - 151. Does 27 divide a?
False
Suppose -4*j - 12 - 64 = 0. Let o = j - -61. Is 9 a factor of o?
False
Suppose -5*r = -3*t - 576, -483 = -4*r - 4*t - t. Is r a multiple of 13?
True
Let u = 4 + 1. Suppose u = -5*v + 25. Let y = v + 21. Is 9 a factor of y?
False
Let k = -2 - -2. Let j(n) = -n**2 - 2. Let q be j(k). Let x(i) = 7*i**2 + 4*i + 3. Does 16 divide x(q)?
False
Suppose -2*a + 18 = 3*v - a, 5*v - 31 = -2*a. Let r(l) = -l**2 + 5*l + 3. Is r(v) a multiple of 2?
False
Let h(i) = -4*i - 84. Does 4 divide h(-27)?
True
Suppose 0*x + 2*x - 4*t = 48, -x + t = -29. Is x a multiple of 24?
False
Suppose s = -l + 10, 2*l + 0 = s + 5. Suppose 5 = -s*i + 40. Is i a multiple of 2?
False
Suppose -382 = -5*c - 2*s, 4 = 4*s - 0. Does 19 divide c?
True
Suppose 0 = r + 1 + 1. Does 19 divide (r/6)/(1/(-57))?
True
Suppose -5*d = -4*p - 103, -2*p = d + p - 13. Let s = d + -10. Does 9 divide s?
True
Let s(v) = -v**3 - 6*v**2 - 5*v + 6. Let h(m) = m**2 - 14*m + 18. Suppose a = -3*f + 36, 3*a + 24 = -3*f + 5*f. Let c be h(f). Does 12 divide s(c)?
True
Let m = -267 - -453. Does 31 divide m?
True
Suppose -4*c + 21 - 76 = x, 2*x = 3*c + 55. Let z be 16/3 + (-10)/c. Let j(n) = n + 8. Is 14 a factor of j(z)?
True
Suppose -b = 4*a - 978, 226 = -3*a - b + 960. Let w = a - 100. Suppose -w = -2*c - 2*c. Is 16 a factor of c?
False
Suppose -3*d - 2*d = -545. Suppose 0 + 1 = -j, 3*v - 4*j - d = 0. Is 12 a factor of v?
False
Is 9 a factor of (0 - 1)/(((-1)/36)/1)?
True
Suppose 3*b - 2*b = -1. Let y(s) = -32*s**2 - 2*s - 1. Let o be y(b). Let u = -19 - o. Is u a multiple of 12?
True
Suppose -4*y = -3*s + 154, -5*y - s + 0*s = 202. Does 5 divide (120/32)/((-6)/y)?
True
Let c(r) = -r + 5. Let q be c(4). Let m be -3*(-87)/3*q. Suppose 4*k = k + m. Does 15 divide k?
False
Suppose -4*g - a = 3*a + 12, 0 = 4*g - 3*a - 23. Is 17 a factor of ((-51)/g)/3*-2?
True
Let x = 28 + -20. Suppose 0*s = 4*s + x. Is (-46)/(-2) + s + 1 a multiple of 11?
True
Suppose -2*m = -4*m - 20. Is 3*11 - (m - -7) a multiple of 23?
False
Let i be 1*(-2)/(-2) + 1. Suppose -i*y - 32 = -6*y. Is (10/y + 0)*4 a multiple of 5?
True
Let m be -1 + 1 - 20/(-4). Suppose 0*c + 195 = m*c. Is c a multiple of 13?
True
Let r = -8 + 10. Let w(z) = -2 - 2*z + 3 + 18*z**2 - 12*z**r. Does 7 divide w(2)?
True
Suppose -d + 68 = 4*i, 5*d + 303 = i + 727. Does 42 divide d?
True
Let y(f) = f**3 - 10*f**2 - 12*f + 9. Let l be y(11). Is 9 a factor of (-40)/l - 0/(-1)?
False
Let t = 20 + 8. Does 14 divide t?
True
Suppose 4*u = -z + 16, -2*u - 2*z = 3*z - 8. Let r be (-58)/(3/((-6)/u)). Suppose 4*y - 3*y = r. Is y a multiple of 10?
False
Suppose n - 1 - 2 = 0. Suppose 2*u - 13 = -n. Is 2 a factor of u?
False
Suppose -11*s + 64 = -7*s. Is 14 a factor of s?
False
Suppose 4*m - 34 = -2*p + m, -p - 5*m = -17. Let g = p + -2. Does 14 divide g?
False
Let m(d) = 8*d**2 - 8*d - 9. Is 37 a factor of m(-3)?
False
Let z = 52 + -29. Is z a multiple of 23?
True
Let k = -1 - -3. Suppose 0*r = r - k*j - 6, 5*r = -j - 25. Is 5 a factor of -5*3*(3 + r)?
True
Let m = -28 - -68. Does 40 divide m?
True
Let m(g) = 11*g + 6. Is m(7) a multiple of 12?
False
Let l(f) = 4*f - 8. Let h = 8 - 2. Let s be l(h). Let k = s + -7. Is 4 a factor of k?
False
Let v be (-1)/(-4) - 90/(-24). Let c be v*(-2)/6*-3. Suppose -z + 50 = c*z. Is z a multiple of 5?
True
Is 4 - ((-9 - -5) + -209) a multiple of 14?
False
Suppose 0 = -3*n + 624 + 198. Is n a multiple of 14?
False
Let x(w) = w**2 - w + 5. Let y be x(0). Let a(l) = l**3 - 6*l**2 + 6*l - 2. Let b be a(y). Suppose s + 36 = b*s. Does 9 divide s?
True
Let c = -6 - -10. Suppose 5*l = c*l + 4. Suppose -151 = -l*y - 19. Is y a multiple of 10?
False
Let k = -58 + 28. Let h = k + 2. Let q = 40 + h. Is q a multiple of 4?
True
Let n(o) = o**3 - 7*o**2 - 5*o - 4. Suppose 3*i + 5*t = 39, -t + 6*t - 15 = 0. Does 10 divide n(i)?
True
Let c be 34/(-6) + (-2)/6. Let s be ((-6)/(-9))/((-4)/(-6)). Does 7 divide (-50)/c - s/3?
False
Suppose 0 = 3*n + 5*w - 115, -n + 26 = 3*w - 11. Does 20 divide n?
True
Let f = -31 - -57. Is 15 a factor of f?
False
Let r(i) = -3*i - 2. Is r(-3) even?
False
Let s(w) = -w + 11. Let m be s(8). Suppose -m*o - 140 = -7*o. Does 13 divide o?
False
Suppose 3*l - 232 = 95. Is 22 a factor of l?
False
Let j = 1 + 6. Does 7 divide j?
True
Suppose -3*l + 153 = -3*a + 2*a, -4*l - 2*a = -214. Is l a multiple of 4?
True
Is (-16)/72 - 3246/(-27) a multiple of 15?
True
Let b be (2/(-8))/((-3)/12). Is 2/((-135)/141 + b) a multiple of 7?
False
Let l(g) = -g**2 + 8*g + 5. Let f be l(7). Let w be ((-3)/2)/((-9)/f). Suppose 3 - 4 = s - 4*a, -s + a + w = 0. Is s a multiple of 2?
False
Let a(g) = g**2 + 2*g - 3. Let b be a(-3). Let m = 6 + b. Is 4 a factor of m?
False
Let o = -8 + 45. Let h = o - 26. Is 8 a factor of h?
False
Let i = -59 - -164. Is i a multiple of 35?
True
Let x = -8 - -6. Let z(a) = -7*a. Let n be z(x). Let f = n - 5. Does 3 divide f?
True
Let c(a) = a + 2. Let v be c(4). Suppose 4*l - v = 2. Suppose 10 = -x - 5*n, 3*x - 5*x + l*n + 28 = 0. Is 10 a factor of x?
True
Let f be (-1)/(-4) + (-1857)/(-12). Suppose 0 = -y + 5*b + 43, -5*b + f = y + 4*y. Is (y/6 - 2)*6 a multiple of 8?
False
Suppose 4*h + 19 = r, -5*h - 26 - 6 = -2*r. Let p be (r/2)/((-1)/(-8)). Suppose -m - 2*m + p = 2*v, 123 = 5*v + m. Is 10 a factor of v?
False
Let u be (4 - -5)/(2/4). Is 17 a factor of u - (