-4*i + 124 = 2*u, -2*i + z*i = 4*u + 168. Does 27 divide i?
False
Suppose y + 3 = 2*y. Let d be y/27*3*147. Suppose 4*f + 9 - d = 0. Does 10 divide f?
True
Let a = 1 - -4. Let p be 10/(a/((-5)/(-2))). Suppose 0 = -2*l - 3*c + 26, p*c - 7 - 6 = l. Is 7 a factor of l?
True
Let h = -32 - -46. Is 7 a factor of h?
True
Suppose -k + 93 = -3*y, -8 = -5*k - 5*y + 477. Does 22 divide k?
False
Suppose 8 = 4*k - 5*x - 9, 0 = -3*k - 4*x + 5. Suppose t - 14 = -h, -8*t + 50 = -k*t - 5*h. Does 7 divide (14/6 + -1)*t?
False
Let o(h) = h**3 - 8*h**2 + 6*h - 8. Let f = -7 - -15. Is o(f) a multiple of 20?
True
Suppose 0 = 3*h - 4*h + 13. Does 11 divide h?
False
Let l(y) = 4*y**2 + 4*y + 2. Let z be l(-2). Is 11 a factor of 2/z + (-462)/(-15)?
False
Suppose -4*r + 2 = -2. Is 2 a factor of 3 - (-3 + 2/r)?
True
Let j = 28 + -65. Let c = 71 + j. Does 17 divide c?
True
Suppose 2*q - 9 = 41. Is 8 a factor of q?
False
Suppose -5*j = -2*j + 5*d - 105, j + 2*d = 35. Is j a multiple of 6?
False
Let f = 1 + 4. Suppose f*a + 9 = -11. Is 17 a factor of 242/14 - a/(-14)?
True
Let v be (-16)/(-32) + (-95)/(-2). Suppose 2*m + c - 96 = 0, m - 3*c - v = -7*c. Is m a multiple of 12?
True
Suppose 0 = 4*z - 5*a + 310, -2*z + z + 3*a - 81 = 0. Let f = -49 - z. Is f a multiple of 13?
True
Let j be 11/5 - 3/15. Suppose -v + 2*v = 4. Suppose 0 = -v*t + j + 6. Is t even?
True
Let y = 27 - 42. Let t = 22 + y. Is t a multiple of 7?
True
Suppose -2*q - 20 + 52 = 0. Is q a multiple of 6?
False
Suppose l = 4*t + 75, 0*l = 5*l + 5*t - 425. Suppose -4*s + l + 66 = 3*b, 3*s = 2*b + 99. Is 12 a factor of s?
False
Let l(d) = 22*d**2 + d + 1. Does 11 divide l(-1)?
True
Suppose 0 = 5*c - 0*c - 5*q, -q = -3*c + 6. Suppose -15 = -3*x - c*z, -x + 1 = -3*z - 0. Suppose x*u + 5 = 61. Is 6 a factor of u?
False
Let r be (-1 + 6)*12/(-15). Is 9 a factor of 2 + 18 - (6 + r)?
True
Does 34 divide 136/24*(-1 + -1 + 26)?
True
Suppose -28*x + 156 = -24*x. Is x a multiple of 16?
False
Let o = 91 + -27. Suppose 4*f = 96 + o. Suppose d = -4*d + f. Is d a multiple of 8?
True
Suppose 0 = l - 4*j - 91, 410 = 3*l + 2*l - 5*j. Suppose 4*r + 24 = 3*z, 2*r - 4 - 2 = -3*z. Suppose 4*q - l = -z*k - q, 2*k - 62 = 2*q. Is 13 a factor of k?
True
Suppose 335 = -5*r + j + 4*j, 5*r + 2*j + 314 = 0. Let m(o) = -2*o + 18. Let t be m(12). Is 3/t*(r - 2) a multiple of 13?
False
Let h(j) = -3*j**3 - j**2 - j - 1. Let f be h(-1). Suppose f*v - 6 = -0*v + 2*n, 3*n = 5*v - 17. Suppose 0 = 2*b - 12 - v. Is b a multiple of 4?
True
Let i(p) be the second derivative of p**4/12 + p**3/6 - 2*p**2 + p. Let l be i(-3). Suppose -l*r + r = -3. Is r a multiple of 3?
True
Let y(x) = 3*x - 12. Does 7 divide y(13)?
False
Let s(p) = -14*p - 7. Let g(j) = j + 1. Let w(b) = 4*g(b) + s(b). Let a be w(-3). Suppose -3 = 3*i - a. Is 8 a factor of i?
True
Suppose -f + 2*w = -23, -64 = -2*f - 2*w - 3*w. Is 9 a factor of f?
True
Suppose -k - 38 = 2*o - 3*o, 190 = 5*o - 3*k. Is o a multiple of 19?
True
Let s be 22/6 - 4/6. Suppose s*d - 45 = -2*c, -d - c = -3*d + 23. Is d a multiple of 13?
True
Let q(w) = 5*w**3 + w**2 - 1. Let z be q(1). Suppose 0 = -3*d, -4*t - 6 = z*d + 6. Let n = 11 - t. Does 7 divide n?
True
Let c = 291 + -174. Does 58 divide c?
False
Suppose 43 = 2*y - 37. Is y a multiple of 8?
True
Suppose -4*m = m - 10, 4*u = 2*m + 76. Is u a multiple of 13?
False
Let m(l) = -8*l**3 + 8*l + 8. Let a(b) = -b**3 + b + 1. Let z(q) = -14*a(q) + 2*m(q). Is z(-1) a multiple of 2?
True
Let l = 2 - 4. Is -1 + 11 + 0/l a multiple of 10?
True
Let c(g) = g**3 + 4*g**2 - 3*g - 2. Let d(v) = -v**2 + 9*v + 6. Let n be d(10). Let y be c(n). Suppose 1 + y = s. Is 11 a factor of s?
True
Let w = -423 - -723. Is 25 a factor of w?
True
Does 7 divide (0 - -1)*49 + -3?
False
Suppose 4*v + 4*c + 112 = 20, -4*v = 2*c + 84. Suppose -3*t = -176 + 53. Let s = v + t. Is s a multiple of 8?
False
Suppose -2*r = -6*r + 8, -2*b - 4*r + 14 = 0. Suppose 0 = -b*h + 6*h - 111. Is 11 a factor of h?
False
Suppose -15 = 2*h + d, -2*h - 3*d + 10 = -7*h. Let w be (-7)/h + 2/(-5). Does 7 divide (1/(-3))/(w/(-42))?
True
Let s(y) = -6*y - y**2 + 2*y**2 - 7 + 0*y**2. Is s(-5) a multiple of 18?
False
Let x = 8 + -7. Suppose 4*f - 37 = -x. Is f a multiple of 3?
True
Let o = -6 - -17. Let r = -9 + o. Is r even?
True
Suppose -b - b = 3*d + 19, -45 = 5*b + 5*d. Let t = b - -14. Is 6 a factor of t?
True
Suppose -4*d + 8 = -4. Suppose 4*t + m - 56 = -7, 4 = t + d*m. Is 5 a factor of t?
False
Does 12 divide 36/4*32/6?
True
Let p(i) = 4*i**2 + 2*i - 2. Suppose 4*g + u = -7, 3*g + 15 = u + 1. Is 14 a factor of p(g)?
True
Let w = 136 - -144. Is w a multiple of 28?
True
Suppose 5*q + 44 = x + q, 4*x - 163 = 3*q. Is x a multiple of 8?
True
Suppose -6*b = -7*b + 3. Let x = b + 21. Does 6 divide x?
True
Let f = 365 - 236. Is 9 a factor of f?
False
Suppose -525 = -3*l + 852. Does 51 divide l?
True
Suppose 4*y + 23 = 5*y. Does 5 divide y?
False
Let j(f) = -f**2 + 10*f. Suppose 3*p + 14 = 2*v, 2*v + 7 = 3*v + 2*p. Is 9 a factor of j(v)?
False
Let m(a) = -a**3 + a**2 + 3*a - 5. Is m(-4) a multiple of 20?
False
Let l(y) = 3*y**3 - 6*y**2 + y + 4. Let a(g) = -2*g**3 + 5*g**2 - g - 3. Let s(h) = -4*a(h) - 3*l(h). Does 10 divide s(-4)?
False
Suppose 2*z - 7*z + 110 = 0. Suppose -24*d = -z*d - 120. Does 20 divide d?
True
Let s(k) = -k**2 - 7*k - 2. Let u be s(-6). Suppose n + 4*h - 40 = -u*n, 5*n + 5*h - 35 = 0. Is n a multiple of 9?
False
Suppose -112 = -b + h, -324 = -3*b - 2*h - h. Does 10 divide b?
True
Let u = 149 - 106. Is u a multiple of 16?
False
Is (292/5)/((-2)/(-5)) a multiple of 20?
False
Let l be 11 - (2 - 1)/(-1). Suppose 0*h = -4*h + l. Suppose -5*x - 4*p + 142 = -5*p, -h*x + p + 84 = 0. Does 12 divide x?
False
Suppose 3*f - 2 = 4. Suppose 3 = 3*r, -3*u - f*u + 3*r + 97 = 0. Does 10 divide u?
True
Let x = 1 - -1. Let z = 3 - x. Is 36 + 1 + (2 - z) a multiple of 19?
True
Let l = -172 + 241. Is l a multiple of 21?
False
Let c(o) = -o**3 - 7*o**2 - 7*o - 1. Let n be c(-6). Suppose n*t - 18 = 3*g - 0*g, -2*g + 14 = t. Let x = t - 0. Is 3 a factor of x?
True
Let a(k) = 3*k**2. Let w be a(-1). Suppose -i + 2*m + w = 0, -2*i + 4 = -3*m - 3. Does 5 divide i?
True
Suppose 4*n = -2*z + 66, -2*z - n = -5*n - 26. Let v = z + -9. Is v a multiple of 13?
False
Suppose -2*h - 2*y - 38 = 0, -y = h - 2*y + 13. Let g be 10*4 - (0 - -2). Let c = h + g. Is c a multiple of 18?
False
Suppose 3*u - 1 = 5. Let p be u/(5/((-30)/(-4))). Let g(c) = 2*c**3 - 5*c**2 + 3*c + 1. Is 7 a factor of g(p)?
False
Let g(v) = -4*v**3 + 4*v + 3. Is 33 a factor of g(-3)?
True
Suppose -3*m - 11 = -38. Is m a multiple of 9?
True
Let d be (8 + 1)/(-3) + -85. Does 9 divide (d/(-10))/((-18)/(-45))?
False
Suppose -5*z + z + 12 = 0. Does 2 divide z?
False
Let z = 25 - -264. Is z a multiple of 25?
False
Let t(i) = i**3 - 11*i**2 - 11*i. Let c be t(12). Suppose -c = -0*k + 4*k. Is (1/k)/(2/(-12)) a multiple of 2?
True
Let d(t) = 2*t**2 - 5*t. Is d(5) a multiple of 5?
True
Let r(a) = -a**3 - 6*a**2 + 7*a + 8. Let x be r(-7). Suppose 4*g + 116 = x*g. Is 26 a factor of g?
False
Suppose -4 = -2*p + p. Is p + 1 + -1 + -1 a multiple of 3?
True
Let d(h) be the second derivative of h**5/20 - 7*h**4/12 + h**3 + 4*h**2 + 2*h. Does 8 divide d(6)?
True
Let l(u) = 4*u**2 - 4. Let f be ((-6)/8)/((-1)/4). Is 17 a factor of l(f)?
False
Suppose 54 = -0*t + t. Is t a multiple of 16?
False
Suppose 5*l = 3*l - 18. Is 6 a factor of (-30)/l*(-18)/(-5)?
True
Suppose 2*q = 5*v + 464, v - 6*v = 2*q + 456. Let c = 155 + v. Is 21 a factor of c?
True
Let z = -67 + 129. Is 18 a factor of z?
False
Is -4 - (0 + (-4 - 15)) a multiple of 12?
False
Let t(u) = u**3 - 4*u**2 - 4*u - 4. Let o be t(4). Is 9/(-3) - (-1 + o) a multiple of 16?
False
Let h be (-3)/(2/6*1). Let n be (-4)/(-3) - 6/h. Suppose v + 5*k = 2*v - 7, 0 = -5*v + n*k + 104. Is v a multiple of 22?
True
Let t be (-3)/4 - (-470)/40. Suppose 2*b - 15 - t = 5*p, -49 = -3*b + 5*p. Is b a multiple of 11?
False
Suppose -2 = a - 2*a. Let v be (-3)/a*8/(-6). Suppose -3*y = 4*r - 43, 0*y + v*r + 24 = 2*y. Does 8 divide y?
False
Suppose -3*z + 3 = -2*z, 5*z = 2*c - 11. Suppose t - 15 = c. Does 15 divide t?
False
Suppose 15 = 2*h - 53. Does 13 divide h?
False
Suppose 0 = 6*z - 4*z - 8. Suppose 4 - 16 = -z*r. Is 3 a factor of r?
True
I