e
Suppose 0*f - f + 4 = 0. Let b = f + -2. Suppose -3*y + n = -19, 3*y - b*n = -7*n + 31. Is y a multiple of 7?
True
Let i be ((-3)/(-1))/((-6)/(-8)). Suppose -24 = -i*p + 6*d - 2*d, -3*p + 16 = -4*d. Does 17 divide (-135)/(-4) + 2/p?
True
Let i(g) = 4*g. Let p be i(-3). Let a be p/(-16) - (-13)/4. Suppose 2*n = 3*c + 12, a*c - 6 = -n + 2*c. Does 3 divide n?
True
Suppose -6*g + 533 - 113 = 0. Does 35 divide g?
True
Let k(a) = 3*a - 8. Let p be k(-8). Let w = p + 70. Let v = w + 17. Is 22 a factor of v?
False
Let q(f) be the third derivative of -f**6/120 + 7*f**5/60 - f**4/6 + f**3/6 + f**2. Suppose -s + 4*s = 15. Is q(s) a multiple of 13?
False
Suppose -5*w + g + 47 = 0, 2*w - 3*w + 11 = -g. Let n(q) be the first derivative of q**2 + 11*q + 2. Is n(w) a multiple of 16?
False
Let l = -40 + 129. Suppose 2*x - 35 = l. Is 31 a factor of x?
True
Let l(y) be the third derivative of -y**6/24 - y**5/60 - y**4/12 - y**3/6 - 4*y**2. Is l(-2) a multiple of 13?
True
Let s be 5*8/20 - -2. Suppose w + j - 7 = 0, -4*w - j + 56 = -s*j. Is w a multiple of 8?
False
Let m = 54 - 32. Suppose 26 + m = z. Is 12 a factor of z?
True
Let d = -146 + 308. Is 30 a factor of d?
False
Let t(r) = -25*r**3 + 1. Let h(p) = p**2. Let v(i) = -2*h(i) + t(i). Is v(-1) a multiple of 24?
True
Suppose 6*i + 5*i - 66 = 0. Is i a multiple of 4?
False
Let t be 1*1/(-2)*0. Does 10 divide (21 - 2) + 1 + t?
True
Suppose -2*o + 0*o = -36. Is o a multiple of 6?
True
Does 44 divide (1*(-2)/(-6) - 0)*417?
False
Let k(j) = -5*j - 1. Is 7 a factor of k(-5)?
False
Let o(i) be the first derivative of -17*i**2/2 + 5*i + 4. Let x be o(-5). Let c = x + -42. Does 16 divide c?
True
Let i = -13 - -15. Suppose -w + 24 = i*w + 2*q, 0 = -q. Is w a multiple of 5?
False
Let x(z) = z**2 - 4*z**2 - 5*z + 2*z**3 - z**3 + 5. Let b be x(4). Is (b/2)/((-1)/(-44)) a multiple of 8?
False
Let b = -35 - -61. Does 9 divide b?
False
Suppose 0 = -2*j + 3*i - 4, j - 4 = -0*j + 3*i. Let n = 2 - j. Is 10 a factor of n?
True
Let n(f) = -6*f**3 - 3*f**2 + 2. Is n(-2) a multiple of 19?
True
Suppose -w = -20 - 7. Is w a multiple of 9?
True
Suppose 2*i = 4*l - 198, 2*l - 5*i + 219 = 6*l. Let f = 87 - l. Is 6 a factor of f?
True
Suppose 5*r = 3*x + 603, 0 = -2*x - x + 12. Suppose 2*j + r = -35. Does 6 divide j/(-5) - 2/(-10)?
False
Suppose 5*i - 8*i = -33. Does 10 divide i?
False
Suppose c + 3*j + 6 = 0, 3*c + j + 0 = 6. Suppose -c*q = -5*q. Suppose -t - 3*t + 28 = q. Is t a multiple of 2?
False
Suppose -g - 3*y = -1 - 1, 6 = -2*g - y. Let w be 1/(-4) + (-17)/g. Suppose -136 + w = -4*d. Is d a multiple of 13?
False
Let k be (-12)/(-8) - 627/(-6). Let b = -67 + k. Is 9 a factor of b?
False
Let w = -2 + 2. Let g be (-39 - w/3) + 0. Does 6 divide 2/(-4) + g/(-6)?
True
Let q(k) = -8*k + 5. Does 35 divide q(-6)?
False
Suppose -3*c = 0, -4*h + 20 = -6*c + 2*c. Suppose -6 = -6*l + h*l - 2*y, 5*y = 10. Suppose -l = -t + 8. Does 9 divide t?
False
Let t be (-4)/(-3)*30/4. Let x = 35 - t. Let n = x + -11. Is 7 a factor of n?
True
Let z be (1/2)/(4/24). Suppose j - z = -0. Is (j - (5 - 0)) + 5 a multiple of 2?
False
Suppose 5*k = -2*z + 3*k, -z = -3*k - 20. Suppose 62 = 2*x + 4*h, x + 0*h = -z*h + 46. Does 7 divide x?
True
Let q(m) = 14*m**2 - 3*m + 1. Does 6 divide q(1)?
True
Let c(p) = -p**2 - 9*p. Let a be c(-9). Let y(g) = 28*g**3 - 1 + a*g**2 + 0 + g**2. Is y(1) a multiple of 14?
True
Let j = -9 + 11. Suppose -82 = -5*w + j*w - 4*k, -w - 5*k + 31 = 0. Does 13 divide w?
True
Let h(f) = 84*f + 4. Is 34 a factor of h(1)?
False
Let j(z) = 53*z**2 + 2*z + 1. Is j(-1) a multiple of 13?
True
Let o(a) = -a**3 + 5*a**2 - a + 7. Let y be o(5). Let n(w) = 3*w - 3. Let t(j) = -2*j + 4. Let p(c) = y*t(c) + 3*n(c). Does 3 divide p(1)?
False
Suppose 4*p - 7*y = -2*y + 264, 4*y = -3*p + 229. Is p a multiple of 9?
False
Let t be (-88)/14 - 6/(-21). Is ((-52)/t)/((-2)/(-15)) a multiple of 25?
False
Is 8*3 - -1 - -2 a multiple of 9?
True
Suppose z + 74 = 2*w - z, -3*w + 2*z = -116. Suppose -2*q + 123 = 2*c + 39, c = 3*q + w. Is 21 a factor of c?
True
Let f(m) = -5*m + 3. Let u be f(2). Let g(l) be the second derivative of l**5/20 + 7*l**4/12 - l**3 - 5*l**2 + 15*l. Is g(u) a multiple of 24?
False
Suppose -2*h + 1 = -1. Let t be 0 + (1 - h) + 0. Is 6 a factor of 9 + 2 + (-1 - t)?
False
Suppose 2*y + 3*o - 15 = y, y = 2*o - 5. Suppose y*i + 15 = -3*f - 2*i, -9 = -5*f + 3*i. Let x(a) = a**2 + a + 12. Is 7 a factor of x(f)?
False
Let l = -167 - -271. Suppose -141 = -5*q + l. Let d = q + -15. Is 17 a factor of d?
True
Let o(i) = i**2 - 3*i + 2. Let s be o(3). Does 9 divide s/3 - (-208)/12?
True
Let v = 118 - 46. Does 6 divide v?
True
Let o = -206 - -376. Is 22 a factor of o?
False
Let r = -30 - -109. Let c = r - 43. Suppose 0*j + c = 3*j. Is 5 a factor of j?
False
Let q(w) = 3*w + 73. Is 23 a factor of q(0)?
False
Let f = -3 + 5. Suppose -f*o - 5*x = o - 4, -3*x + 9 = 4*o. Suppose -4*g + o*g + 5 = 0. Is g even?
False
Suppose -4*r + 162 = -2*h, -h - 10 = h. Is 13 a factor of r?
False
Suppose 5*n = -3*m + 432, 4*m - 157 = -3*n + 408. Is 43 a factor of m?
False
Let o(f) be the first derivative of -f**6/360 - 13*f**5/120 - 11*f**4/24 + 2*f**3/3 + 3. Let u(g) be the third derivative of o(g). Is 19 a factor of u(-10)?
True
Let q = -172 + 250. Is q a multiple of 6?
True
Suppose 0 = 2*i + 3*i - 395. Is i a multiple of 17?
False
Let p(f) = f + 17. Is p(-8) a multiple of 9?
True
Let h(w) = 15*w. Let r(n) = 76*n - 1. Let y(u) = 11*h(u) - 2*r(u). Does 14 divide y(2)?
True
Suppose -5*b + 2 = -13. Suppose 4*s + 4*g - 48 = 0, -b*g + 8 = -7*g. Does 10 divide s?
False
Suppose -29 - 1 = 2*d. Let h = d - -41. Is h a multiple of 12?
False
Suppose 141 + 23 = 4*g. Let x = -57 + g. Is ((-50)/(-8))/((-4)/x) a multiple of 11?
False
Suppose -34 = 4*d + 2*k, 7*d + 19 = 3*d + k. Let m be -3*(-2)/((-18)/(-39)). Let n = m + d. Is n a multiple of 3?
False
Let r(w) = -w + 7. Let a be r(3). Suppose u + y = 2 + 12, u = -a*y + 5. Is u a multiple of 5?
False
Suppose -4*g + 494 = l, 2*g - 77 = 4*l + 161. Is 11 a factor of g?
False
Let b = -76 - -54. Let g = b + 37. Let t = g + 3. Does 9 divide t?
True
Let j = -5 + 11. Let m(x) = -x**2 + 2*x - 1. Let t(y) = -2*y**2 + 3*y - 2. Let r(g) = j*m(g) - 4*t(g). Does 12 divide r(4)?
False
Suppose 0 = 5*f - 20 - 5. Suppose -f*w = 5*n - 200, n = -3*w + 32 + 90. Does 15 divide w?
False
Suppose -59 = 4*g - 207. Is 28 a factor of g?
False
Let y be -3 - (-1 + -4) - 33. Let z = y + 47. Is 8 a factor of z?
True
Let c be 92/(-22) - 2/(-11). Does 2 divide 20/6*(-6)/c?
False
Suppose -14*n = -987 + 105. Is n a multiple of 3?
True
Suppose 0 = -0*h - 3*h + 159. Does 17 divide h?
False
Let m = 88 - 55. Suppose 2*f - m = 87. Is 20 a factor of f?
True
Let y(d) = d**2 + d - 2*d + 3 - 2*d + d. Does 21 divide y(6)?
False
Let h(f) = -9*f**2 + f - 1. Let n be h(1). Let w be 0*(n/6 - -1). Suppose w*r = r - 16. Is 8 a factor of r?
True
Let s = -3 - -6. Suppose -s*y - 4 = -34. Does 8 divide y?
False
Suppose 3*x = 3*s + s + 7, -4*s - 5*x + 33 = 0. Does 2 divide s?
True
Let k(j) = -3*j**2 - 9*j + 23. Let o(q) = q**2 + 5*q - 11. Let w(b) = -2*k(b) - 5*o(b). Let s be w(6). Does 4 divide s + (4 - -3 - 3)?
False
Let j = -317 - -493. Is j a multiple of 9?
False
Suppose -3*i + 375 = 4*c, 4*c = -5*i + 399 - 22. Is 31 a factor of c?
True
Is (75 + 4 - 1)*(-10)/(-4) a multiple of 34?
False
Suppose -4*f = -54 + 2. Does 6 divide f?
False
Let x = 13 - 9. Suppose 0*y - x*y + 20 = 0. Suppose -5*v = -u + y*u - 88, 3*v + 39 = 3*u. Is 9 a factor of u?
False
Suppose 12 = 2*g - 4*u, 3*g = -0*g + 5*u + 13. Let n(l) = l**3 + 4*l**2 - 6*l - 1. Is 23 a factor of n(g)?
True
Suppose -4*c = -35 - 17. Is c a multiple of 5?
False
Let k(q) = -4*q**3 + q. Let c be k(-1). Does 11 divide 11/(c*2/12)?
True
Let q = 22 + 52. Suppose n = -1 - 1, 4*w = n + q. Is w a multiple of 5?
False
Let l(h) = -2*h + 11. Let g be l(8). Let j(q) = 3*q**3 - 4*q**2 + 2 - 4*q**3 + 0*q**3 + 4*q. Is j(g) a multiple of 4?
False
Suppose -9*o = -7*o + 24. Is 8/o*(-99)/2 a multiple of 21?
False
Let w = -8 - -4. Let z be 2/(((-7)/w)/7). Suppose -u = -2*u + z. Is u a multiple of 3?
False
Let d be (-4)/(-6) - (-64)/12. Is 5 a factor of (15/(-3))/((-2)/d)?
True
Suppose -4 = q - 0. Let g be q/16 + (-82)/(-8). Suppose -2*i - 3*x - x = -4, 5*x