f 26?
False
Let d be (-6)/(-9)*6/2. Suppose 4*k = -0*p - 2*p - 6, -9 = d*p + 5*k. Suppose -25 = -p*c - 2*c. Is 4 a factor of c?
False
Let g = 46 + -16. Let f = g - 11. Does 5 divide f?
False
Let x = -1 + 2. Let u be (-3)/(x/(-1)) - -1. Suppose 158 = 5*d + 3*m + 3, -u*d + 146 = -2*m. Is 17 a factor of d?
True
Let n = 49 - 161. Let k = n + 196. Does 28 divide k?
True
Suppose 484 = -0*b + 4*b. Let x = b + -45. Does 19 divide x?
True
Let s(b) = -6*b**2 - 1. Suppose 6 = 3*y + 3. Let h be s(y). Let v(n) = n + 16. Does 3 divide v(h)?
True
Let j = -21 - -95. Is j a multiple of 20?
False
Let i = 25 - 23. Does 2 divide i?
True
Does 15 divide 16 + 0 + 3 - 0?
False
Let y = 2 - 2. Suppose -3*k = -y*k. Is 15 a factor of k/((-4)/(-2)) - -30?
True
Let f = -1 + 4. Let p be -1 - (-46)/(6/f). Suppose 4*t - p = 34. Does 7 divide t?
True
Let j(w) = w**2 - 3*w + 2. Let k(u) = -u - 1. Let m be k(-3). Let t be (m/(-1))/(1/(-3)). Does 10 divide j(t)?
True
Suppose -2*w + 9 - 3 = 0. Let c(l) = 124*l + 2. Let d be c(-2). Does 17 divide d/(-15) - w/(-5)?
True
Suppose -15 = -4*c + 3*c. Suppose -5*r + 0*r + 2*g + 175 = 0, -c = 3*g. Is r a multiple of 25?
False
Let d(v) be the second derivative of -v**3/6 + 2*v**2 - v. Let j be d(0). Suppose 3*x - p = 2*x + 11, -j*x + 2*p = -54. Is 8 a factor of x?
True
Suppose u + 4*k - 1 = 4*u, 4*k = -8. Let q = -4 - u. Does 8 divide q + -1 - (-1 + -9)?
True
Suppose 2*l = -2*l + 8. Suppose 3*c + i - 25 = 0, -3*i = -4*c + l*c + 35. Is c a multiple of 5?
True
Let y(p) = -p**2 - 8*p - 2. Let m be y(-7). Suppose -240 = v - m*v. Does 20 divide v?
True
Let p(x) = -3*x. Let j be p(-1). Suppose -t + 26 = -j*d, -3*d - 2*d - 28 = -t. Is 8 a factor of t?
False
Suppose 2*v - v = 24. Is v a multiple of 7?
False
Let d(f) = f**3 + 2*f**2 - f + 2. Let v be d(-2). Suppose 3 = 4*m - 5. Suppose -x + m*i + 7 = -1, 5*x - 40 = -v*i. Is 8 a factor of x?
True
Suppose -2*g + 5*j = -0*g + 16, g - 14 = -3*j. Suppose g*t - 17 = t. Does 15 divide t?
False
Let g(o) = 10*o + 9*o**2 + 3*o**3 - 3*o - 2*o**3 - 5. Is g(-8) a multiple of 3?
True
Let c be 4/(-10) - (-34)/10. Suppose -5*w + 75 = -c*n, 4*w = -4*n + 105 - 13. Does 18 divide w?
True
Let t = -23 - -44. Is 7 a factor of t?
True
Let x be 157/4 - (-1)/(-4). Let f = x - -6. Does 17 divide f?
False
Suppose 0 = -0*c + 5*c - 25. Is 5 a factor of c?
True
Suppose 11*n - 4*n + 189 = 0. Is (-219)/(-2) - n/(-18) a multiple of 35?
False
Does 5 divide (-23)/(((-16)/20)/4)?
True
Let o(u) = 7*u - 12. Suppose -58 = -4*l - 2*s - 6, 0 = 5*l + 5*s - 70. Is 24 a factor of o(l)?
True
Suppose 4 = -4*c - 4*f, -c - 6 = -0*f + 2*f. Suppose -c*m + 0*m - 16 = 0. Let b = 8 + m. Is 4 a factor of b?
True
Suppose 3*s = 5*q - 143, -2*q = 3*q + 3*s - 167. Is 7 a factor of q?
False
Suppose -3*s + 2*z - 32 = -4*s, -5*s + 174 = 3*z. Is 12 a factor of s?
True
Suppose 5*k - 165 = i, -5*k - 5*i + 160 - 25 = 0. Is 3 a factor of k?
False
Let c(j) be the second derivative of -59*j**3/6 - j**2/2 + 2*j. Is c(-1) a multiple of 23?
False
Is (-92)/(-5) + 27/45 a multiple of 17?
False
Let y be 6/9 - (-88)/3. Let i = y + 10. Is i a multiple of 20?
True
Is 13 a factor of (-1)/(((-392)/(-130) + -3)/(-1))?
True
Suppose -96 = -3*h + 4*b + 1000, 0 = -2*h - b + 738. Is h a multiple of 51?
False
Let q(s) be the third derivative of s**6/240 + s**5/30 - s**4/12 + 2*s**2. Let a(v) be the second derivative of q(v). Is 14 a factor of a(8)?
True
Suppose 105 = 2*d + 3*d. Suppose 0 = 7*w - 4*w - d. Is w a multiple of 7?
True
Let f(h) = -h**3 + 5*h**2 - 2*h + 2. Let t be f(4). Suppose 6*d = d + t. Suppose -d*x + 10 = -x. Does 7 divide x?
False
Is ((-12)/10)/(2/(-35)) a multiple of 12?
False
Suppose 2*p - a + 3 = 0, 5*p + 5*a = 3*p + 27. Let n(z) = 36*z + 1. Let k be n(p). Suppose q - 4*q + k = 2*x, -q + 19 = 4*x. Is q a multiple of 6?
False
Let b(f) = 1 + f + f + 3 - 3*f. Is 5 a factor of b(-7)?
False
Suppose -t + 15 + 34 = 0. Let r = t - 29. Suppose 2*k - 46 = -3*g, -k - 3*g = -r - 3. Is k a multiple of 19?
False
Let f(c) = -c**2 + 11*c - 8. Is 11 a factor of f(8)?
False
Let w = -70 - -120. Is 19 a factor of w?
False
Is 17 a factor of 2/(-2) + -2 - 2769/(-39)?
True
Let o = 306 + -65. Suppose -5*p = k - 7, -5*k + 5*p + o = 56. Is k a multiple of 32?
True
Let d be 13 - (2 + (-6)/2). Let l be (-4)/d - 10/14. Is -2*(33/(-6) - l) a multiple of 9?
True
Suppose -1 - 9 = 5*b. Let q(z) = -8*z - 2. Let l be q(10). Does 10 divide 1/b + l/(-4)?
True
Let i(f) = -2 - 2*f + 0*f + 4*f + 8. Does 11 divide i(8)?
True
Suppose -55 = -s + 4*f, 3*s - 5*s + 75 = -f. Suppose 0 = -p + 3*r + s, -3*r = -4*p + 119 + 12. Does 12 divide p?
False
Suppose 5*l - 9 = 4*l. Suppose -3*f - 5*x + 100 = 2*f, 0 = 4*f - 2*x - 86. Let k = f - l. Is k a multiple of 6?
True
Let n(y) = -18 + 4 + 2 + 5*y. Is 14 a factor of n(9)?
False
Let j = 3 + -19. Is (j/(-10))/((-2)/(-30)) a multiple of 12?
True
Suppose 2*a = -a + 261. Is 31 a factor of a?
False
Is 13 a factor of 942/10 - 4*4/80?
False
Let o(y) = y**2 - 12*y - 6. Is o(14) a multiple of 8?
False
Let j(x) = x**2 - x - 1. Is j(6) a multiple of 8?
False
Let c be ((-2)/4)/((-1)/62). Let t = c + -22. Suppose 0 = y - 15 - t. Is 12 a factor of y?
True
Let s(u) = 2*u - 7. Let k be s(5). Is (4 - k)*0 - -9 a multiple of 9?
True
Let u(a) be the first derivative of -a**3/3 + 5*a**2 + 8*a - 4. Does 4 divide u(10)?
True
Is 28 a factor of ((-5)/(15/(-144)))/(10/35)?
True
Let d = 14 - -25. Is d a multiple of 16?
False
Suppose -6*h - 290 = 100. Suppose -2*t + 2*s - 3*s = -197, 5*t + s = 488. Let q = h + t. Does 16 divide q?
True
Let a = 471 + -152. Is 11 a factor of a?
True
Does 2 divide 45/7 - (-64)/112?
False
Let u(n) = 6*n + 1. Let g be 1/3 + 8/12. Is 3 a factor of u(g)?
False
Let f(l) be the third derivative of l**5/60 - 7*l**4/24 + l**3 + l**2. Let y be f(6). Suppose -2*u + 22 + 34 = y. Does 22 divide u?
False
Suppose 3*k = -v + 6*v + 479, 0 = -k + 5*v + 143. Does 28 divide k?
True
Let d(y) = -6 + 4*y - 7 + 3. Does 22 divide d(8)?
True
Is 68 - 2/2*-4 a multiple of 12?
True
Let v(m) = -m**2 + m + 1. Let s(c) = -c**3 - c**2 + 5*c - 3. Let i(p) = -s(p) - 2*v(p). Let h be i(-6). Let d = h - -109. Is d a multiple of 22?
True
Suppose 5*t - 410 = 405. Is 28 a factor of t?
False
Is 18 a factor of -3*((-260)/(-3))/(-4)?
False
Suppose 4*m - 12 = -3*q, 5*q - 5*m = 4*q + 4. Let z be (-2)/q*-6 - -1. Does 14 divide 54/z + 2/4?
True
Let l = 265 - 137. Is l a multiple of 17?
False
Let b(v) = -v**2 - 19*v - 16. Does 9 divide b(-14)?
True
Let g(a) = a**2 - a - 7. Let p(h) = -6*h**3 - 2*h**2 + 1. Let u be p(-1). Does 7 divide g(u)?
False
Does 16 divide (27/6 - 2)*24?
False
Let v(x) = -1. Let w(z) = 4. Let f(c) = -3*v(c) - w(c). Let n(h) = 3*h - 7. Let p(b) = -3*f(b) + n(b). Does 4 divide p(4)?
True
Let c be 4 + 0 + -1 + 1. Suppose 0*y + c*y - 28 = 0. Let p = 0 + y. Is p a multiple of 3?
False
Suppose y - 266 = -3*v + 303, -3*y = 3*v - 573. Suppose -5*o = 3*b - v, -b - 102 = -3*o + b. Is o a multiple of 12?
True
Suppose -5*q - 4*p + 308 = -0*q, 3*p = 4*q - 234. Suppose v = 5*v - q. Is 5 a factor of v?
True
Suppose -15 = -6*t + t. Suppose t*d + d = 264. Is 22 a factor of d?
True
Suppose 0 = 5*f - 2*f - 6. Suppose 0 = 2*m - 2, 5*z - 4 - 2 = 4*m. Suppose -4 = -f*t, 0 + 28 = z*o - 2*t. Does 8 divide o?
True
Let s be 1*(-4 + (-4)/(-4)). Is 19 a factor of 3*-1 + (24 - s)?
False
Suppose 1 = 2*l - 1, 3*l + 121 = 2*q. Is q a multiple of 26?
False
Suppose 0 = -2*m - 2*m. Suppose 0 = -h - b - 2, -3*b + 7*b = m. Let n = h - -17. Does 7 divide n?
False
Let x(l) = l**2 + 2*l + 1. Let b(s) = s**3 - s**2. Let k be b(-1). Let p be x(k). Is -12*p/(2/(-2)) a multiple of 12?
True
Suppose 0*y - 3*s - 54 = -y, 0 = 5*y + 3*s - 198. Suppose -36 = -4*r + 3*u + y, 0 = 3*r - 2*u - 58. Is r a multiple of 6?
True
Let m(b) = -b + 6. Suppose 3*r = -5*s - 1, -3*r + 2*s + 20 = -14. Let x be m(r). Is 2*((-19)/x + -1) a multiple of 9?
False
Let c = -3 + 4. Suppose -2*h = -h - c. Let w(j) = 22*j + 1. Is 11 a factor of w(h)?
False
Suppose 2*p + 2*p + 4 = 0. Let k be 1*2 - 53/(-1). Is 15 a factor of (-10 - p)*k/(-15)?
False
Suppose 2*g = -5*z + 1 - 55, -z - 20 = 5*g. Let t(u) = -u**3 - 11*u**2 - 10*u + 5. Is 3 a factor of t(z)?
False
Let m be (-4)/18 - 20/(-9). Suppose -j - 2 = -m*j. Suppose j*w - 87 = -w. Is w a multiple of 21?
Fals