-268)/(-6) - (-8)/v a multiple of 22?
True
Suppose -7*i = -2*i - 15. Suppose 0 = -y + i*y + 6. Let x(q) = 3*q**2 + 3*q. Is x(y) a multiple of 9?
True
Suppose -4*j = -q - 334, -2*j = -0*j + 5*q - 178. Is 28 a factor of j?
True
Let u = 3 + -3. Suppose -r + 6*r - 5*z + 5 = u, 21 = -3*r - 3*z. Does 15 divide 2/r*4*-12?
False
Let i = 0 - -3. Suppose 2 = b - i*b. Let c(v) = -10*v + 1. Is c(b) a multiple of 11?
True
Let w(y) = -5*y**3 - 2*y**2 - y. Suppose -3 - 5 = 4*p. Does 17 divide w(p)?
True
Suppose -4*o + 164 = -28. Is o a multiple of 12?
True
Let w(b) = -b**3 - 6*b**2 - 6*b + 2. Let s be w(-6). Suppose 3*v - s = -2*o + 7*v, -3*o = -4*v - 67. Is o a multiple of 9?
False
Let m(z) be the third derivative of 1/120*z**6 + 0*z - 1/12*z**5 - 2*z**2 - 4/3*z**3 - 1/6*z**4 + 0. Does 3 divide m(6)?
False
Let j(m) = 34*m**2. Is 17 a factor of j(-1)?
True
Let j = 281 - 197. Is j a multiple of 42?
True
Let a(h) = h**3 + 49. Is a(0) a multiple of 12?
False
Let h be (14 + 4)*(-2)/(-3). Let j = -2 + h. Suppose o = 16 + j. Is 13 a factor of o?
True
Let w(s) = 5*s**3 - 20*s**2 + 7*s + 9. Let m(k) = -2*k**3 + 7*k**2 - 2*k - 3. Let c(y) = 8*m(y) + 3*w(y). Does 3 divide c(-5)?
True
Let k be ((-4)/(-3))/((-1)/(-6)). Let w = -3 + k. Does 5 divide w?
True
Suppose -o + 0*o + 6 = 0. Suppose -2*u + 24 = -2*f - o, u - 27 = 5*f. Is 12 a factor of u?
True
Let b be -4*2/((-8)/6). Let d = b - -5. Is d a multiple of 11?
True
Suppose v = 2*l + 296 + 99, -775 = 4*l + v. Let t = -139 - l. Does 28 divide t?
True
Let g be (-2)/2*(3 + -6). Does 3 divide 22/8 - g/(-12)?
True
Let b = -12 - -16. Is 19 a factor of (-3)/b - (-395)/20?
True
Let x be 1/9 + 146/(-18). Is 21 a factor of ((-378)/24)/(3/x)?
True
Is (-8)/(2*3/(-87)) a multiple of 29?
True
Let m(u) be the first derivative of u**2/2 + 50*u + 8. Does 10 divide m(0)?
True
Let y(p) = -7*p - 4. Let q be y(-5). Suppose 3*d - 42 = -2*c + q, -5*c - d + 163 = 0. Is c a multiple of 7?
False
Is (-32)/(-7) + 6/14 a multiple of 4?
False
Suppose 467 - 71 = 4*q. Let w = -161 + q. Does 3 divide 1/(-5) + w/(-10)?
True
Suppose 13*p - 106 = 1168. Is 14 a factor of p?
True
Does 5 divide ((-32)/(-12) - 1)*3?
True
Let m(t) = t**3 + 5*t**2 + t + 3. Is m(-3) a multiple of 6?
True
Let n = -106 + 110. Is n a multiple of 4?
True
Suppose -5*j = 3 - 8. Let b be -12 - 0/(-2 + j). Does 6 divide (27/b)/((-6)/16)?
True
Let q(i) = 22*i - 20. Is q(8) a multiple of 26?
True
Let f be (-5 + 0)*(5 + -3). Is 11 a factor of (-55)/f*(-12)/(-2)?
True
Let y = 15 + -11. Suppose -2*k + y*b = -58, 3*k + 4*b = b + 105. Is k a multiple of 11?
True
Does 17 divide (-444)/(-13) - 4/26?
True
Let w(v) = v**3 + v**2 - v + 2. Let l be w(-2). Suppose l = 4*x - 1 - 7. Suppose x*h = 45 - 13. Does 8 divide h?
True
Let s = 53 - 35. Suppose 2*n + s = 4*n. Is n a multiple of 9?
True
Suppose -3*v + 2*l - 2 = 4, -2*v - 4 = 3*l. Let k = v + 2. Suppose 2*u - 38 = -k*j - 2*j, 5*u + 3*j = 93. Is u a multiple of 9?
True
Let q(u) = 4*u**2 - u - 1. Let y be q(-1). Suppose 0 = -b + 5*w + 38, -y*w = b - 2*w - 52. Is b a multiple of 15?
False
Let y(l) = 2*l**2 + 7*l. Is y(-6) a multiple of 17?
False
Let a(g) be the third derivative of g**6/15 + g**5/60 + g**4/24 - g**3/6 - g**2. Does 24 divide a(2)?
False
Suppose -2*r + r = 0. Suppose 4*m = 2*k + 60, -m - k - k + 5 = r. Is m a multiple of 13?
True
Suppose -8 = 2*t - 32. Let w = t - -7. Let r = w + -12. Does 3 divide r?
False
Suppose 14 = -6*u + 4*u. Let z = -5 - u. Suppose z*f = 1 + 7. Is f a multiple of 2?
True
Let i = -2 + 5. Suppose i = -z + 7. Suppose 2*x - 12 = z. Does 3 divide x?
False
Let t = -25 - -71. Let i = t + -33. Is 6 a factor of i?
False
Let j(k) = -k**3 - k**2 - k + 5. Let l be j(0). Suppose x + 14 = 4*x + l*s, 5*x - 50 = -3*s. Is x a multiple of 8?
False
Is 12 a factor of 3 + 288 + 0/(-3)?
False
Suppose -1260 = 6*k - 13*k. Is k a multiple of 18?
True
Let f = 7 + -6. Let d be 3 - 0/(0 - f). Suppose 6*y - 5*y = -d*x + 15, y - 10 = -2*x. Does 2 divide x?
False
Let i = 9 - -51. Is i a multiple of 12?
True
Let c be 132/21 - 6/21. Let v(j) be the third derivative of 5*j**4/24 - j**3/6 - j**2. Does 16 divide v(c)?
False
Let r(y) = y**3 - y**2 + 3*y + 6. Let s be r(4). Let v = -20 + s. Is 12 a factor of v?
False
Let p(t) be the first derivative of t**5/20 + 7*t**4/12 + 5*t**3/6 + 5*t**2/2 - t - 2. Let u(m) be the first derivative of p(m). Is 15 a factor of u(-5)?
True
Suppose 2*l = -3*s + 43, -s = 4*l - l - 61. Is l a multiple of 6?
False
Let t = -105 + 21. Let k = t - -142. Is 29 a factor of k?
True
Let o(g) = -g**3 + g**2 + g + 4. Let v be o(0). Suppose 37 = -v*i + 101. Suppose 4*t - 2*t - i = 0. Does 4 divide t?
True
Suppose -5*j - k + 12 = 0, j - 5*k + 8 = -0*j. Does 12 divide (-4)/j*(-32 - -2)?
True
Let w(x) = -3*x + 3. Let j be w(-3). Let o = j + -8. Suppose 3*m - 7 = -v + o, 79 = 5*v + 3*m. Does 17 divide v?
True
Let x = 150 - 71. Suppose 5*o - 5 = 0, 2*n + 2*o = 5*n + 140. Let t = x + n. Is 10 a factor of t?
False
Let v(t) = 11*t + t**2 - 9*t**2 - 2*t + 6 - t**3. Let a be v(-9). Let p(c) = -c**3 + 5*c**2 + 7*c - 1. Does 3 divide p(a)?
False
Let z = 47 - 24. Is z a multiple of 23?
True
Let x be (-1)/(-3) - 6/18. Does 9 divide x*(-2)/8 + 19?
False
Let h be (1 + -2)*-1*103. Let y = 95 + -95. Suppose 29 = q + 2*m, -3*q = -y*m + 2*m - h. Does 14 divide q?
False
Suppose -2*d + d - 3*x = 6, -d + x + 14 = 0. Let a = 38 - d. Suppose 0 = h - 9 - a. Does 17 divide h?
False
Let n be (-3)/(-21) - 16/14. Does 26 divide n - (7 - 4 - 56)?
True
Let g = 3 - 3. Suppose g = -2*n + w + 6, 0*n - 3*n + 19 = -4*w. Is 9 a factor of n/1 - (-1 + -15)?
False
Let h = 38 + 22. Is h a multiple of 5?
True
Suppose -5*i + 432 = i. Is 24 a factor of i?
True
Suppose -687 = -2*b - 3*b + 2*u, -2*b + 2*u + 270 = 0. Does 25 divide b?
False
Let f = -33 - -61. Suppose 0 = -3*x + 62 + f. Is 15 a factor of x?
True
Suppose 3*x - 7*x = 0. Suppose 2*l + x = 6. Suppose 3*a = l*i - 23 - 13, 5*a = -4*i + 48. Does 4 divide i?
True
Let x = -235 - -393. Is 18 a factor of x?
False
Let c = 0 + 2. Suppose 2*w + 0*w = 2*l - c, -5 = 5*w. Suppose l*p - p = -23. Does 9 divide p?
False
Let m be 192/(-9) + 4/(-6). Let k(o) = -16*o + 4. Let l be k(-3). Let x = l + m. Does 15 divide x?
True
Suppose 3*c = 4*i - 6, 4*i - 11 + 1 = c. Suppose 3*j + 29 = 5*s + 6*j, -15 = -3*s - i*j. Does 4 divide s?
False
Let b be -4 + 5/(15/9). Let d = -4 - b. Is 7 a factor of ((-28)/12)/(1/d)?
True
Let d be (-16)/(-40) + (-1096)/(-10). Let w = -68 + d. Is w a multiple of 13?
False
Let q(o) = -o**3 + 9*o**2 + 10*o - 1. Suppose y = 5 + 5. Let j be q(y). Is ((-3)/(-6))/(j/(-20)) a multiple of 4?
False
Let l be 3 + 3 + (3 - 4). Suppose 0 = 4*h + 5*j - 44, -h + l*j = j + 10. Does 2 divide h?
True
Suppose -2*j + 3*j = -5*r + 193, 0 = -3*r - 2*j + 120. Does 11 divide r?
False
Suppose 19 = 4*g - 1. Let b = g + 0. Suppose 0 = -0*l + b*l - 140. Does 14 divide l?
True
Suppose 9*y - 13 = 311. Is y a multiple of 12?
True
Suppose 0 = -4*s - 0*s + 100. Let w be (-6)/10 + 165/s. Suppose -2*c + w = -c. Does 6 divide c?
True
Suppose z = 4*r + 48, 2*r + 54 = -z + 2*z. Suppose 4*q - z = -0*q. Is 15 a factor of q?
True
Suppose -3*t + 10 = 1. Let y = -1 + t. Is 7 a factor of -12*(y/(-6) - 1)?
False
Suppose 5*g - 4 = 11, b = g + 78. Is b a multiple of 22?
False
Let d(p) = 2*p**2 - 3*p - 3. Let r be d(3). Suppose -r = -2*j - 2. Does 22 divide 49 + (0/j - -1)?
False
Let l = -138 + 216. Does 6 divide l?
True
Let s be (-1 - (-3 - -2))/(-2). Suppose s = w - 4*w + 132. Suppose 2*r - 17 - w = 3*x, 0 = 2*r - 5*x - 67. Is 13 a factor of r?
True
Let x = 19 - 15. Does 3 divide x?
False
Let n(u) = u**2 + 7*u - 4. Let r be n(-8). Let i(l) = l**3 - 3*l**2 + 2*l - 3. Does 7 divide i(r)?
True
Let o(s) = 2*s**2 - 6*s - 3. Let j be 6/(-2) - (-7 + -3). Is o(j) a multiple of 23?
False
Suppose -1 = 2*g - 15. Does 24 divide 2/g + (-2510)/(-35)?
True
Suppose 7*t - 85 = 2*t. Suppose 5*q - 168 = t. Does 10 divide q?
False
Let p = 3 + -4. Let i(n) = 5*n + 1. Let t be i(p). Let x = 10 + t. Does 3 divide x?
True
Let b(c) = 18*c - 2. Does 8 divide b(1)?
True
Let s(m) = 0*m**3 + 15*m + 3*m + 6 + m**3 + 18*m**2 - 4*m**2. Does 27 divide s(-12)?
False
Let u(v) = 0*v**2 + v**2 + v**2. Let g be u(1). Let k = g - -3. Is k a multiple of 5?
True
Let y be (-6)/30 + (-72)/(-1