 Let l be d(-4). Suppose 2*m - l = 0, 3*q - 2*q + 2*m = 20. Is 9 a factor of q?
True
Let b = 8 - 6. Suppose 27 - 3 = b*j. Is j a multiple of 6?
True
Let r(k) = k**2 - 7*k + 1. Let j be r(5). Let i = j + 9. Is (2 - i/3) + 36 a multiple of 19?
True
Let l = 190 + -92. Is 34 a factor of l?
False
Let x(q) = q + 4. Let u be x(-4). Suppose 4*g = -u*g + 8. Does 7 divide (2/(-3))/(g/(-24))?
False
Let i be (-42)/(-8) - 5/20. Suppose -2*p + 11 = -i*b - 28, -2*b + 18 = 2*p. Is 11 a factor of p?
False
Let m(k) = k**3 + 14*k**2 - 2*k - 3. Is 11 a factor of m(-14)?
False
Suppose -2*r + 0*r = -30. Is 19 a factor of ((-40)/r)/(4/(-42))?
False
Let z be 42/9 - (-2)/6. Suppose 25 = z*r, r = -s - r. Does 12 divide (s/(-25))/((-1)/(-70))?
False
Let x = 21 - -7. Does 13 divide x?
False
Let z(c) = -c**3 + 5*c**2 - c + 7. Suppose 5*a + 8 = 33. Let v be z(a). Suppose 0*i = -3*f - 3*i + 45, -v*f + 4*i = 0. Is 10 a factor of f?
True
Suppose 0*s = 4*s - 8. Does 4 divide ((-12)/14)/(s/(-14))?
False
Let z(r) = r**3 + 5*r**2 - 7*r + 1. Let q be z(-6). Suppose 5*h - 58 - q = 0. Does 9 divide h?
False
Suppose 0*j + 3*i - 57 = 3*j, 4*j = i - 73. Let y be 2 + 0 + j + -1. Does 16 divide 8/(-5)*(y + -3)?
True
Suppose -4*z - 3*x + 107 = 0, -3*x + 4*x = -2*z + 55. Suppose -p + z = 3*k, p - 2*p - k = -19. Does 7 divide p?
True
Suppose 4*o + 14 + 10 = 0. Let i be (-250)/o - (-3)/9. Suppose -m - 5*n + i = 0, 3*m + 3*n = -m + 134. Is m a multiple of 12?
False
Suppose 3 = 4*g - 3*y, 2 = -6*g + 3*g - 2*y. Does 16 divide ((-1)/(-2) + g)*128?
True
Let t(j) = 6*j**2 + 3*j. Suppose 5*h - 4 = 11. Let a = 1 - h. Is t(a) a multiple of 9?
True
Suppose -3*f + 33 = -156. Is 21 a factor of f?
True
Let r = 11 + -19. Let s(y) = -2*y**2 - 2*y - 1. Let b be s(-1). Let h = b - r. Does 7 divide h?
True
Let y(k) = k**3 - 7*k**2 + 5*k + 6. Let g(u) = u**2 - 6*u + 6. Let s be g(6). Let a be y(s). Suppose a = -2*v - v + 69. Does 14 divide v?
False
Suppose -5*r + 4*p = 24, -r - 5*p - 3 = -4. Suppose 0 = 5*y - 20, 5*y - 10 = 5*m + 10. Let l = m - r. Is l a multiple of 2?
True
Suppose 3*d = -2*d. Suppose 3*v + 5*h - 177 = d, -v - 4*h + 8 = -51. Let p = -13 + v. Is 13 a factor of p?
False
Suppose -5*y = -2*y. Suppose m + y*m - 30 = 0. Is m a multiple of 8?
False
Let s(d) = d**2 + 8*d + 4. Let w(z) = z. Let l(t) = -s(t) + w(t). Let r be l(-6). Is r/5 - (-96)/10 a multiple of 9?
False
Suppose -11*u = -3*u - 968. Is 28 a factor of u?
False
Suppose -13 = 5*u + 3*i - 55, 0 = 3*u - i - 14. Is u a multiple of 2?
True
Let r = 22 + -17. Is 2 a factor of r?
False
Suppose 7*c - 12 = 3*c. Suppose b = 4 + c. Is b a multiple of 3?
False
Let a = -76 + 136. Does 11 divide a?
False
Let a = -62 + 132. Suppose -4*k + 18 = -a. Is 11 a factor of k?
True
Suppose v + 3*v - 12 = 0. Let p = -2 + v. Is (-90)/(-5) - (-2)/p a multiple of 7?
False
Suppose -3*a - 1 = -2*d + 5, -3*d = -5*a - 8. Is 3/(-6) + 75/d a multiple of 11?
False
Let z(h) = h**3 - h**2 + 3*h. Let t be z(4). Let k = 6 - 6. Suppose 4*w - 3*s = 71, 5*w + s + s - t = k. Is w a multiple of 10?
False
Let s(y) = y + 175. Let n be s(0). Let v = n + -488. Is 23 a factor of v/(-7) + 10/35?
False
Suppose 25 = 5*p + 10. Let u = 1 - p. Is (-29 - u)*(-4)/6 a multiple of 9?
True
Let d = 11 + -7. Suppose 167 + 85 = d*b. Is 21 a factor of b?
True
Suppose -3 = 4*v + 1. Let g = 1 - v. Suppose -q - 8 = -g*q. Is 8 a factor of q?
True
Suppose 0 = 5*c - 38 + 3. Suppose -3*b - 2*v + 86 = -v, b - 4*v = c. Is b a multiple of 19?
False
Let z(o) = o + 2. Let j be z(-8). Let x be ((-117)/j)/((-1)/(-2)). Suppose -6*n + 3*n + x = 0. Does 13 divide n?
True
Let f(i) = i**2 + 10*i - 9. Is f(-12) a multiple of 5?
True
Suppose 3*w = 5*w - 616. Is 12 a factor of w?
False
Suppose 5*d - 280 = -3*i, 2*d = 2*i - 152 - 56. Does 10 divide i?
True
Let q(y) = 2*y**2 + 5*y + 2. Let t be q(-3). Suppose -2*m + 46 = l, -3*m = t*l - 118 - 112. Is 23 a factor of l?
True
Let z be (4 - 3) + (0 - 5). Let u be 1796/18 - z/18. Let q = u + -67. Does 14 divide q?
False
Let f(z) = z + 2. Let v be f(4). Let o = -29 + v. Let q = o - -35. Does 12 divide q?
True
Let i be 5/(2 + 244/(-124)). Let o = i + -92. Is 21 a factor of o?
True
Let m be 6/33 + 4/(-22). Suppose 2*h - 2*q - 58 = h, 3*h - 4*q - 172 = m. Is 14 a factor of h?
True
Suppose 72 = -3*o + 6*o. Let s = o + -12. Is 6 a factor of s?
True
Let w(u) = 6*u**2 + u - 1. Suppose 2*p + 4 = -g, -7 = -2*g + 2*p + 3. Is 9 a factor of w(g)?
False
Suppose 4*i + 2*h = 3*h - 37, -2*i + 5*h = 5. Let o = i - -16. Is o even?
True
Let b be (4/(-12))/((-1)/12). Suppose -3*n = 6, -4*n + b = 2*j - 3*n. Is (-1)/(j/(-6)) - -36 a multiple of 12?
False
Let w = -23 + 86. Is w a multiple of 21?
True
Suppose 8 + 0 = 2*v, -5*v + 544 = 4*p. Does 37 divide p?
False
Let b be 1*22 - (18 + -22). Let p = b - 13. Does 8 divide p?
False
Suppose 0 = -3*r + 4*f + 5 + 12, 0 = -2*r - 4*f - 22. Let j = r - -4. Suppose -2 = y + 5*c + 1, -j*y = -c - 23. Is 7 a factor of y?
True
Is (154 + -3)/1 + -2 a multiple of 6?
False
Suppose -25 = -5*b - 5. Let t = -9 + 7. Does 4 divide (10/(-5))/(t/b)?
True
Let p be (1/2)/((-2)/4). Let x be -1 - 2*p*1. Let k(o) = 5*o - 1. Does 4 divide k(x)?
True
Let u = 12 + -18. Let v be u/(-33) - 42/(-11). Suppose c - 2*k = -v*c + 90, -c = 4*k - 40. Is c a multiple of 20?
True
Let h be (-3 - -3 - -1) + 16. Suppose j - 7 = -0*j. Let m = h - j. Is 10 a factor of m?
True
Let z = 3 - 5. Let x be z/11 - (-976)/44. Suppose 0 = 4*l - 5*g - 88, 2*g + 2*g = -l + x. Is 18 a factor of l?
False
Let x = 2 + -5. Let y = x - -3. Suppose -4*i + 5*p + 69 = 10, p - 1 = y. Is 16 a factor of i?
True
Suppose 3*t + 3*v = 5*t - 32, -3*t - v = -48. Suppose -d - t = -68. Is d a multiple of 13?
True
Let j be (-1)/(3/(-12)*2). Suppose -38 = 2*c + 3*r, r - j*r = -4*c - 76. Let l = -10 - c. Does 9 divide l?
True
Suppose -4*s + 189 = -s. Suppose -o = 2*o - s. Is o a multiple of 12?
False
Suppose -2*j + 8 + 2 = 0. Let p be j/(-4)*4/1. Let l = -3 - p. Is l even?
True
Let i = 1 - -1. Suppose 5*o - 40 = -3*g + g, 2*g - 40 = 2*o. Suppose 3*n - g = -i. Is n a multiple of 3?
True
Suppose 0*c + r - 237 = -2*c, -4*r = 5*c - 594. Suppose -22 = -5*a + c. Does 14 divide a?
True
Let y(h) = 5*h**3 - 3*h**2 - 3*h - 3. Is y(3) a multiple of 16?
True
Suppose 2*s - 10 = -3*s. Let z = s + 3. Let a = z - 0. Does 5 divide a?
True
Let b(l) = -l**3 - 3*l**2 - 4. Let p be b(-3). Let r = -1 - p. Suppose -4*h - 24 = -r*o - 4, 5*h = 5. Is o a multiple of 3?
False
Suppose m + 6 = -2*m, -3*p - 25 = -m. Let c(b) = b**3 + 8*b**2 - 9*b + 1. Let u be c(p). Does 8 divide 17 + (u + 0)*-1?
True
Let o = -10 - -6. Let n be -2 + o/(-1) + 2. Suppose -n*f - 18 = -5*f - 4*r, 4*r = 4*f - 112. Does 13 divide f?
True
Suppose 2*z = 0, -j + 161 = -0*z + 3*z. Does 23 divide j?
True
Let d = -34 - -47. Is 6 a factor of (-368)/(-26) + (-2)/d?
False
Let o(x) = x**3 - 5*x**2 + 4*x + 4. Let d be o(4). Let l(n) = 15*n - 11. Let r(t) = -7*t + 5. Let c(s) = -4*l(s) - 9*r(s). Is c(d) a multiple of 11?
True
Is (148/(-6))/(-2 - 64/(-36)) a multiple of 12?
False
Let a(h) = -41*h - 2. Is 5 a factor of a(-1)?
False
Let y(t) = -t**3 + 5*t**2 - t. Let u be y(4). Let w = u + 27. Is 13 a factor of w?
True
Suppose -o + 262 = -2*x, 5*x - x = -o + 280. Does 15 divide o?
False
Suppose -2*m = 2*m - 20. Let v(z) = -5 - 18*z**2 + 6*z + 7*z**2 + 12*z**2. Is v(m) a multiple of 19?
False
Let g be ((-10)/(-6))/(2/(-6)). Let k(o) = 11*o - 5. Let q(n) = -16*n + 8. Let x(v) = g*q(v) - 7*k(v). Does 10 divide x(5)?
True
Let t(b) = 7*b + 3. Suppose 2*h + 2*h - 12 = 0. Does 24 divide t(h)?
True
Let c = 69 - 49. Is c a multiple of 4?
True
Suppose 0 = -2*o + 5 + 7. Let y = 9 - o. Suppose -3*l - y*m = -19 - 11, 4*l = 4*m + 16. Does 2 divide l?
False
Is 42 - 4/((-4)/1) a multiple of 13?
False
Let c = -3 + 0. Let h be (-3)/9 - 13/c. Is 7 a factor of (28/(-6))/(h/(-12))?
True
Suppose -3*d + 3*y + 12 = 0, 5*d = 2*y - 7*y. Let j(a) = a**2 + 7*a + 6. Let v be j(-6). Suppose u - 2 - d = v. Does 3 divide u?
False
Let f(u) = 2*u + 4*u**2 + 5*u - 3*u**2 + 0*u - 7. Let p be f(-7). Is p/(-2) - 1/2 a multiple of 2?
False
Suppose 20 = 5*m - 3*q, -7 + 27 = 5*m - q. Let g = m - 5. Is 1 - (-30 - (-4 - g)) a multiple of 12?
False
Let s(p) = 21*p - 7. Let z be s(6). Suppose 0 = -5*r + z + 41. Is 16 a factor of r?
True
Let h