 of d?
True
Suppose 41*s = 44*s - 168. Suppose 3*w + 35 = 2*w. Let i = w + s. Is i a multiple of 13?
False
Let r be ((-8)/5)/4*-130. Suppose -r = -u - 3*i, -208 = -4*u - 2*i - i. Does 14 divide u?
False
Suppose 2*p + 2*p - k - 56 = 0, -5*k + 50 = 2*p. Is 15 a factor of p?
True
Let c be 27*(1 + (-6)/9). Suppose 2*u - c = u. Does 8 divide u?
False
Let k = 41 - 19. Let c = k - -11. Does 7 divide c?
False
Let a(d) = d + 11. Let g be a(-8). Suppose 0 = -r - 5*o + 30, -3*o - 23 = g*r - 89. Does 10 divide r?
True
Let c(b) = b**2 - b - 7. Let q be c(0). Let f = q - -32. Is 21 a factor of f?
False
Let d = 26 - -51. Is 11 a factor of d?
True
Suppose 0 = -5*s + 4*w + 456, 32 = 2*s - 3*w - 156. Is 11 a factor of s?
True
Let r(o) = -2*o - 6. Let u be r(-5). Suppose u*p = 3*j - 101, 0 = 4*p + 2*j + 3*j + 141. Is 5 a factor of 3/9 + p/(-3)?
True
Suppose 3*t = -2*t - 20. Let c be (-30)/t*16/12. Let b = 7 + c. Is b a multiple of 17?
True
Let h(s) = 5*s**2 + 4*s. Is 16 a factor of h(-4)?
True
Let y be (-10)/6*(-12)/10. Suppose 0 = 3*g + 2*q - 185, 96 = y*g - 3*q - 36. Is g a multiple of 16?
False
Suppose 5*l + 5*o = 4*l + 8, -l = -3*o - 24. Does 7 divide l?
False
Let m be -5*1/(5/(-4)). Suppose -m*c - 7 - 13 = 0. Is 18 a factor of (-2)/c + 158/5?
False
Let m(d) = d + 76. Let s be m(0). Does 20 divide ((-3)/(-2))/(2/s)?
False
Suppose -o - 11 = -c, -10 = -c - 4*c - 4*o. Suppose m - c*m + 100 = 0. Suppose -k = y - 14, 35 + m = 5*y + 2*k. Is 9 a factor of y?
True
Suppose 5*i - 15 = 2*i. Let m be (-36)/(-3)*i/(-3). Is -1*(2 + -1) - m a multiple of 19?
True
Let r(x) = 2*x**3 - 6*x**2 - 10*x - 14. Does 17 divide r(6)?
False
Does 30 divide (-4)/10 + 1124/10?
False
Let m(b) = b. Let w(k) = 8*k + 4. Let s(a) = 3*m(a) - w(a). Let p be s(-5). Suppose 1 = -c + p. Is c a multiple of 10?
True
Let h(x) = 9*x**2 - 3*x - 2. Does 10 divide h(3)?
True
Let d be (2/3)/(2/9). Suppose -6*f = -d*f - 33. Does 3 divide f?
False
Let n be (-3)/(2 + (-263)/130). Let h = n - 90. Is 15 a factor of h?
False
Suppose -5*n + 5*y = 0, 2*y - 10 = -4*n + y. Suppose -6 = -n*w + 4*w, 0 = -3*d + 5*w + 66. Is 17 a factor of d?
True
Let i = 7 - -73. Does 31 divide i?
False
Suppose -3*i + 73 = 4*v - 9, 2*v - i - 36 = 0. Is v a multiple of 19?
True
Let z = -70 + 134. Is z a multiple of 16?
True
Let i = -164 + 214. Does 10 divide i?
True
Does 38 divide -2*5828/(-120) + 4/(-30)?
False
Let a be 5/(10/(-176)) + 0. Does 11 divide 361/11 + (-16)/a?
True
Let m(x) = x**2 + 5*x + 9. Is 5 a factor of m(-4)?
True
Let u(j) = -j**3 - 6*j**2 - 3*j - 4. Is u(-6) a multiple of 10?
False
Suppose 0 = -b + 23 + 39. Is 16 a factor of b?
False
Does 24 divide (-2)/(-2)*49 - 1?
True
Let y = -139 - -164. Is 5 a factor of y?
True
Let v(s) = s**3 - 5*s**2 + 5*s - 6. Let i be v(4). Does 5 divide (-448)/(-48) - i/3?
True
Let t be 4/(-10) - 42/(-5). Suppose -z = -2*z + t. Is z a multiple of 3?
False
Let h be (-104)/(-18) - (-10)/45. Suppose -27 = h*f - 129. Is 17 a factor of f?
True
Suppose 2*o - 21 = -o. Does 17 divide (-12)/42 + 359/o?
True
Suppose 2*v - 68 = 5*l, -2*l - 72 = 3*v - 174. Does 7 divide v?
False
Let z = 11 + -5. Suppose -3 = -z*c + 4*c + 3*t, 0 = c - 4*t - 4. Is 0 + c - 0 - -33 a multiple of 13?
False
Let n(o) = o**2 + 8*o + 2. Let d be n(-9). Suppose -3*s + 2*v + 56 = 0, -25 = -2*s + v + d. Is 15 a factor of s?
False
Suppose 3*d - 11 = -5. Does 3 divide d/(-16)*-4*14?
False
Let t(y) = y**3 - 6*y**2 - y + 8. Let b be t(6). Suppose 0 = 2*s, -4*h + 2 = -4*s - b. Does 6 divide 6*(h*6)/3?
True
Let a be ((-4)/(-10))/(3/15). Let w = -2 + a. Suppose w*j - 5*j + 14 = -3*c, 0 = 2*j - 8. Does 2 divide c?
True
Suppose -5*t + 150 = z, t + 5*z - 1 - 29 = 0. Suppose 0*q = -5*q + t. Does 3 divide q?
True
Let w(z) be the second derivative of z**4/12 + z**3 + 6*z**2 + 4*z. Is 14 a factor of w(-8)?
True
Let w(y) = -5*y + 2. Suppose -2 = 2*j + 3*t, -5*j + 0 = 4*t + 5. Is 4 a factor of w(j)?
False
Let s(u) = u**3 - 8*u**2 - 6. Let m be s(8). Let v be -3 + 1 - 54/m. Is 3 a factor of (4/3)/(v/21)?
False
Let w(v) = v**2 - v - 14. Is w(6) a multiple of 2?
True
Is 46 + 15/(6 + -3) a multiple of 17?
True
Suppose 2*l - 24 - 1 = 5*w, w + 5 = -l. Let t = l + 0. Is 2 a factor of 5/(1 - t/(-2))?
False
Let z = 8 + -6. Suppose -45 = z*q + 3*m - 138, -5*m - 295 = -5*q. Is 27 a factor of q?
True
Suppose -17 = -5*b + 8, -4*y + 5*b + 139 = 0. Suppose 0*o + 29 = -3*d + o, 2*o + y = -5*d. Let g(j) = -j**3 - 9*j**2 - j + 6. Is 15 a factor of g(d)?
True
Let i = 154 + -92. Let g = i + 21. Is 22 a factor of g?
False
Let q = -28 - -58. Is 9 a factor of q?
False
Let c be (3/(-3))/((-2)/4). Suppose 3*s = -c*x + 15 + 61, -5*x + 190 = 2*s. Is x a multiple of 19?
True
Let g = 163 + -117. Does 23 divide g?
True
Suppose -4*w = -97 - 19. Suppose j + 1 = 2. Is 15 a factor of j + w + 0/(-1)?
True
Let h(y) = 9*y - 11. Does 10 divide h(9)?
True
Suppose b = 7 - 2. Does 5 divide b?
True
Let z(f) = -f + 5. Let y be z(5). Suppose y = -2*u - h, 12 = -h - 2*h. Suppose u*i - 13 - 33 = 0. Is i a multiple of 13?
False
Let x be (-6)/(-4)*138/3. Suppose -3*a - 120 = a. Let d = a + x. Is 12 a factor of d?
False
Let j(y) = y**3 - 10*y**2 - 7*y - 2. Is 6 a factor of j(11)?
True
Let x(z) be the second derivative of 11*z**4/6 - z**3/3 - z**2 + 3*z. Does 23 divide x(-2)?
False
Let x be -2 - -4 - (-32 + -5). Let n = -23 + x. Is 8 a factor of n?
True
Does 5 divide (((-90)/(-12))/3)/(1/4)?
True
Let v(d) = 2*d**2 - 5*d + 2. Suppose -8 = -2*l - 4*b, 2*l - 32 = -l - b. Let y = -9 + l. Is 2 a factor of v(y)?
False
Let p(n) be the first derivative of -n**7/840 - n**6/60 - n**5/20 - 3*n**4/8 + n**3/3 + 4. Let w(m) be the third derivative of p(m). Is w(-6) a multiple of 12?
False
Let d = -154 + 259. Does 32 divide d?
False
Let v be ((-18)/(-4))/(3/(-8)). Let d = 9 - v. Suppose -d = -0*o - o. Is o a multiple of 10?
False
Suppose 32 = -z + v + 139, -111 = -z + 5*v. Does 8 divide z?
False
Suppose 3*z - 23 = -3*m - 8, -4*m = -4*z - 4. Suppose -32 = -u + q, -u + z*u - 30 = -q. Does 16 divide u?
False
Let y(f) = 120*f. Let q be y(1). Suppose -5*k = -0*k - q. Let r = -1 + k. Is r a multiple of 18?
False
Let c = 254 + -134. Is c a multiple of 23?
False
Let o be -2*3/6*-4. Let d = 0 + o. Let w = 6 - d. Is 2 a factor of w?
True
Let p = -25 - -64. Does 39 divide p?
True
Suppose -3*t - t - 140 = 0. Let n = t + 78. Is n a multiple of 29?
False
Suppose b + 3*a + 13 = 0, -5*b = -0*b - a - 15. Suppose b*q = q + 9. Let z = 19 - q. Is 4 a factor of z?
False
Let l = -7 - -23. Suppose -l - 20 = 3*j. Does 10 divide 1 - -21 - j/(-6)?
True
Suppose 2*b - 11 - 1 = -5*g, 3*b = -5*g + 13. Let z be -2 + b - 10/(-2). Suppose -w = 4*q - 27, -z*w - 2 = q - 35. Is w a multiple of 7?
True
Suppose -3*j = -3*v + j, 27 = -3*v - 5*j. Suppose 30 = -5*d + m + m, -2*d - 5*m = -17. Does 14 divide (-133)/d + 1/v?
False
Let o = -101 + 1. Suppose -3*b - b = -n + 231, -4*n = 2*b + 102. Let k = b - o. Is k a multiple of 25?
False
Is 18 a factor of ((-2)/(-10))/((-3)/(-1245))?
False
Let y = 15 + -7. Let f = y - 13. Is 7 a factor of (-68)/f + (-6)/(-15)?
True
Let b be (3/2)/((-6)/(-32)). Let y(v) = v**3 - 8*v**2 + 5*v - 12. Is y(b) a multiple of 14?
True
Let i(q) = -48*q**3 - 2*q - 1. Let s be i(-1). Let o = -28 + s. Does 14 divide o?
False
Let l(w) be the third derivative of w**4/6 + w**3/6 - w**2. Let r be l(5). Suppose r = -2*o + 5*o. Is o a multiple of 7?
True
Suppose 25 = 4*c - l, -4*c - 13 = -7*c - 5*l. Let y(o) = 0 + 3 - c + o. Is y(6) even?
False
Let p(y) = -y**3 + 7*y**2 + y + 7. Is p(7) a multiple of 7?
True
Suppose 5*b = 2*b + 9. Suppose 0 = -s - 5*f + 10 - 1, -67 = -5*s - b*f. Suppose -2*w = -2, a - 5*w - s = -w. Does 9 divide a?
True
Suppose 3*d - 8*d - 15 = 0. Let z be (d/6)/(1/8). Is ((-12)/9)/(z/18) a multiple of 4?
False
Let r(z) = 4*z + 3. Let k be r(12). Suppose -4*g - 12 = 0, -3*m + 2*g = -2*m - k. Is 18 a factor of m?
False
Let c = 1 + 3. Suppose -c*r - m - 4*m - 119 = 0, -r + 5*m - 61 = 0. Let d = r - -60. Does 12 divide d?
True
Suppose 2*f + 28 = -i + 3*f, -5*i + 2*f = 134. Let t be 2*(-1 - i/4). Suppose -k + 6 = -t. Is k a multiple of 6?
False
Suppose 7*a + 12 = 3*a. Does 10 divide (-11 - -2)/(1/a)?
False
Let f(g) = 2*g**2 + 2*g + 2. Is f(3) a multiple of 26?
True
Let v(j) = 3*j + 9. Let r be v(-5). Let x = -2 - -3. Is