 = 2*x + 2*o - 4. Let q = x - -37. Is q a multiple of 11?
True
Let v(u) = u**2 + 10*u + 1. Let r = 7 + -19. Is 5 a factor of v(r)?
True
Suppose -3*z - 35 = -4*y, 2*y - 10 = -0. Is 9 a factor of (6/z)/((-12)/90)?
True
Let y be (4/(-5))/((-4)/10). Suppose a - y - 11 = 0. Let l = -4 + a. Does 9 divide l?
True
Suppose 2*d - 3*o + 5 = 0, 0 = d - 3*o + 7. Suppose -r = d - 21. Suppose -n = -7 - r. Is n a multiple of 9?
False
Suppose 2*d + 197 = -361. Let l = -175 - d. Suppose -3*q = q - l. Does 14 divide q?
False
Suppose z - 1 - 3 = 0. Suppose -k + 1 = y, k = -4*y + z*k + 11. Suppose 0*p + 4 = y*p, -3*g + 38 = -2*p. Is g a multiple of 10?
False
Let z be (0 + -1)/((-7)/(-56)). Let w(p) = -p - 6. Is w(z) a multiple of 2?
True
Suppose -2*r = -r - 2, 0 = -4*i + 4*r - 16. Let f be i/(-2) + 5 + -3. Suppose -61 = f*b - 163. Is 17 a factor of b?
True
Does 11 divide (82/(-6))/(-1)*3?
False
Let o(r) = 12*r**2. Let p be o(-1). Let i = 20 - p. Is i a multiple of 8?
True
Suppose -5*t = -3*t - 116. Suppose t = -f - 73. Is f/(-6) + (-2)/(-12) a multiple of 7?
False
Suppose -5*m - 223 + 593 = 0. Does 16 divide m?
False
Suppose 171 - 551 = -3*n + 2*r, n + 5*r - 155 = 0. Does 31 divide n?
False
Suppose 3*z + 5*k = 2*k + 21, 2 = 2*z - 4*k. Suppose 11 = 5*t + 4*n, -n + 10 = 2*t - z*n. Is 11 a factor of ((-11)/(-4))/(t/12)?
True
Suppose 16 = -r + 61. Suppose 3*k + 3*b - r - 33 = 0, 5*k = b + 160. Is k a multiple of 15?
False
Let y = 7 + -10. Let g be (-18)/4*2/y. Suppose g*z + z = 88. Does 11 divide z?
True
Let r = -19 - -51. Is 10 a factor of r?
False
Let g be 2/(-1) + 2 + -1. Let d = g + 3. Suppose -4*j = -8, 4*i - d*i - 6 = 4*j. Does 7 divide i?
True
Suppose -4*s = -16 - 0. Is 12 a factor of (-36)/15*(-30)/s?
False
Let j = 5 + -11. Let r be -1 - 3*j/(-9). Let x(p) = -p**3 - 3*p**2 - p + 3. Does 3 divide x(r)?
True
Let z = 25 - 25. Is 16 a factor of (92/(-8) + z)*-2?
False
Let g(a) = a**2 + 11*a + 3. Let k be g(-5). Let z = 30 + k. Is z a multiple of 2?
False
Let t(f) = f**2 - 5*f - 4. Let r be ((-12)/10)/((-1)/5). Let l be t(r). Suppose -l*h = 3*h - 35. Is h a multiple of 7?
True
Let y(x) = -x - 3. Let l = 1 + -8. Let i be y(l). Let o(t) = 4*t + 1. Is o(i) a multiple of 13?
False
Suppose 1500 = -0*p + 5*p + 5*u, -p + 288 = -2*u. Does 15 divide p?
False
Suppose 75 = b + 3*w, -4*b - 2*w - 225 = -7*b. Does 15 divide b?
True
Let o(p) = -p**2 - 4*p + 4. Suppose -c + 8 = -3*c. Is o(c) a multiple of 2?
True
Let j = -3 + 13. Is 5 a factor of j?
True
Suppose -f + 73 = 7. Is f a multiple of 6?
True
Let c = 36 + -21. Suppose 9*j = 4*j + c. Suppose 2*q - 13 = -j. Is q a multiple of 3?
False
Is 30 a factor of ((-51)/7 - -3)/((-4)/28)?
True
Suppose -y = -11 - 4. Let w = -10 + y. Let u = 11 - w. Does 5 divide u?
False
Suppose v + 2*v = 0. Suppose 5*s - 4*t - 224 = v, 2*s - 4*s - t + 100 = 0. Is 24 a factor of s?
True
Let b be (-26)/(-13) + (-1 - -46). Let v = b - 21. Is 10 a factor of v?
False
Let g be (-26)/(-1) + 3 - 3. Suppose z + 2*p = 14, 0*p + 2*p = 2*z - 40. Let i = g - z. Is 8 a factor of i?
True
Let c be (-3)/(-6)*0 + 1. Let n be 1/(-1 - (-1 + c)). Does 13 divide n/(2 + (-94)/46)?
False
Let t = 5 + -2. Suppose 8*z = t*z + u + 56, 3*z = -5*u + 56. Is z a multiple of 12?
True
Let n(p) = 12*p - 14 + 4 + 7. Let i be n(-5). Let b = 93 + i. Does 10 divide b?
True
Let i(s) = -s**3 - 6*s**2 - 4*s + 3. Let z be i(-5). Let g be z/(-6) + 3/(-9). Suppose -5*w + 39 + 41 = g. Is w a multiple of 12?
False
Suppose -2*h + 95 = -h. Does 19 divide h?
True
Suppose 5*l = h + 3 + 2, -4*l = 3*h - 4. Is (5 + l)/((-14)/(-21)) a multiple of 7?
False
Suppose -f + 230 = 4*f. Suppose -4*g = -122 + f. Does 9 divide g?
False
Let p be 3/(-9) - 26/(-6). Let b = -13 - -63. Suppose -k + b = p*k. Does 5 divide k?
True
Let m be 7/1 + 0/(-1). Does 3 divide m + (-3 - -3 - -2)?
True
Suppose 6*z - 12 = 2*z. Suppose 0 = -z*s - s + 116. Let i = -12 + s. Is i a multiple of 12?
False
Let i = -2 - -4. Suppose -a - 63 = -4*p, -7 = -i*a + 3. Does 8 divide p - 1/(2/4)?
False
Let t = 39 - 21. Suppose -2*o = -3*h - 33, t = o - 2*h + 4. Suppose -5*q + 5*g + 12 = -4*q, 2*q - o = 5*g. Is 8 a factor of q?
False
Let p be (3/6)/((-3)/30). Does 9 divide p/(-15) - (-38)/3?
False
Let w = 207 - 378. Let f = -81 - w. Suppose -4*g = g - f. Is g a multiple of 9?
True
Let k = 64 - 23. Let d = 65 - k. Does 12 divide d?
True
Suppose j - 175 = -3*m, 5*m + 405 = -4*j + 6*j. Does 38 divide j?
True
Let s(d) = -2*d + 8. Let p be s(-12). Suppose -5*m - k = -80, -4*k - p = -3*m + 39. Does 6 divide m?
False
Let k be 2/6 - 284/6. Let g = k - -26. Let l = g + 36. Is l a multiple of 5?
True
Suppose 3*y = 4*y - 8. Is 2 a factor of y?
True
Suppose 3 = 3*u - 6. Suppose 12 = 4*i, 3*h - 4*h = -u*i - 7. Does 8 divide h?
True
Let r(t) = -3*t - 3. Let y be r(-3). Let z(f) = -f**3 + 6*f**2 + 9*f - 6. Is z(y) a multiple of 11?
False
Let v(a) be the first derivative of -a**3/3 + 17*a**2/2 - 11*a + 4. Does 10 divide v(14)?
False
Let f = -96 - -174. Let h be (-4)/2 + (-464)/(-4). Suppose 5*o = 2*q + q + h, -f = -3*o - 3*q. Does 12 divide o?
True
Suppose -2*q = 3*q - 170. Is q a multiple of 17?
True
Let s(r) be the first derivative of -r**3/3 - 4*r**2 + 2*r + 2. Let n(b) be the first derivative of s(b). Is n(-9) a multiple of 10?
True
Let f(r) = 9*r - 11. Is f(12) a multiple of 23?
False
Suppose -3*w + 10 = 2*w. Suppose -w*r = 3*r - 115. Is r a multiple of 7?
False
Suppose 5*t - 4*l = -l + 325, 4*l + 195 = 3*t. Is 22 a factor of t?
False
Let q be (2 - 1) + (-2 - 0). Let x(r) = -15*r + 1. Does 16 divide x(q)?
True
Suppose -15*c + 6*c = -2736. Is c a multiple of 16?
True
Let d = 59 + 19. Suppose 3*i + 3*q = -0*i + d, 0 = 4*i - q - 124. Is 15 a factor of i?
True
Suppose -2*k + 550 = 3*k. Suppose 182 = -5*w + 3*o, 3*w - 2*o + k = -0*o. Let z = 56 + w. Is 11 a factor of z?
True
Let q(o) = o**2 - 8*o - 26. Is q(13) a multiple of 29?
False
Suppose 0 = 7*v - 2*v, -198 = -2*t - 3*v. Is t a multiple of 9?
True
Let n = -1 - -3. Suppose -70 = -5*s - 4*o, n*s - 5 = 3*o - 0. Does 3 divide s?
False
Let k = -41 - -75. Let u(o) = o**2 - 6*o + 8. Let s be u(10). Let w = s - k. Is w a multiple of 7?
True
Let l = 15 + -6. Is l a multiple of 2?
False
Let a = -26 + 166. Is a a multiple of 10?
True
Let y be 6/14 - (-32)/56. Suppose t - 17 = y. Does 9 divide t?
True
Suppose -5*f - 15 = 0, -4*f = -j - 0*f + 15. Is j a multiple of 2?
False
Let q(i) = -4*i - 3. Let h be q(-2). Suppose -2 = -4*b + h*b. Let r(l) = 3*l**2 + l - 1. Is r(b) a multiple of 4?
False
Suppose -104 - 175 = 3*s. Let v = s - -137. Is 12 a factor of v?
False
Does 6 divide -1 - (-16 - (-3)/(-1))?
True
Let f = 24 - 14. Let d(y) = f - 3 + y + 28. Is 10 a factor of d(0)?
False
Suppose 0 - 2 = 2*j. Suppose -1 = k - 2*k. Is (-18 - 2)*k*j a multiple of 11?
False
Let n(p) = -11*p + 3. Let g be n(-3). Suppose -s + g = -5. Is s a multiple of 18?
False
Is 4 - 4 - (-2 + -89) a multiple of 13?
True
Let m = -5 + 8. Suppose -147 = -3*p + s, s + 153 = m*p - 2*s. Let g = p - 31. Is g a multiple of 8?
False
Suppose 57 = -4*n + 373. Does 22 divide n?
False
Let j = -4 - -6. Is 33*1/(6/j) a multiple of 11?
True
Let i(t) = 4 - 2 - 3 - 45*t. Let h be i(1). Let g = 88 + h. Does 21 divide g?
True
Suppose 200 = 4*s - 236. Does 22 divide s?
False
Let t = 104 - 90. Is t a multiple of 7?
True
Let m(k) = 13*k**2 + 2*k + 2. Let w be m(-2). Let v be (-6)/(-9) + (-20)/(-6). Suppose -v*c + 78 = -w. Is 18 a factor of c?
False
Let q(j) be the first derivative of -j**6/360 - 3*j**5/40 - j**4/12 - 2*j**3/3 - 1. Let l(n) be the third derivative of q(n). Does 6 divide l(-8)?
True
Suppose f = -2*f + 378. Is 15 a factor of f?
False
Suppose -18*p = -16*p - 26. Does 13 divide p?
True
Let u(v) be the third derivative of v**5/60 + v**4/8 - v**3/6 - 3*v**2. Is 6 a factor of u(-5)?
False
Is 23 a factor of 4 + 2 + 91 + 1?
False
Let n(v) = v**3 - 3*v**2 - 2. Let p be n(4). Let x be p/(-2)*12/(-14). Does 4 divide (2/x)/(5/60)?
True
Let r = 266 - 162. Is 26 a factor of r?
True
Suppose 4*q - 28 = -2*c, -4*c + c + 4*q + 92 = 0. Does 2 divide c?
True
Let g(h) = -h**2 + h + 6. Let y be g(0). Let w be (-92)/3 + (-2)/y. Is 9 a factor of w/(-3) - (-4)/6?
False
Let i(d) = -d**3 + d**2 - d - 1. Let m be i(-1). Suppose -5*k + 222 - 2 = 0. Suppose m*h - k = -2*h. Is h a multipl