12 a factor of f?
True
Is 60 a factor of -8*(6/10 - 2271/60)?
False
Let w be (5 + (-28)/5)*-10. Let j(c) = 4*c + 16. Does 4 divide j(w)?
True
Let x(v) = -54*v - 1. Let c be x(-2). Let l = 9 - c. Let a = l + 179. Is a a multiple of 27?
True
Let n(k) = 58*k - 6 - 48*k + 5. Does 2 divide n(1)?
False
Let b = -5 + -44. Let h = 21 + b. Is 4 a factor of (-2)/(-14) + (-136)/h?
False
Suppose 3*q = -2*k - 38, k - q = -9 - 15. Let p = 38 + -9. Let h = p + k. Is 3 a factor of h?
False
Let q be (-16 - -4 - -7) + 4. Let r(p) be the third derivative of -11*p**4/8 - p**3/6 - p**2. Is r(q) a multiple of 16?
True
Let i be (0 + 1)*(-11 - -16). Suppose -u - 3*u + i*h = -136, 5*u + 3*h = 133. Is u a multiple of 26?
False
Does 29 divide (5/3 - 71/(-213)) + 607?
True
Let w(v) = -2*v + 26. Let a be w(13). Suppose -4*r + a*r + 320 = 0. Is r a multiple of 29?
False
Suppose 2*f - g = 10, -f - g + 9 = 1. Suppose 294 + f = -5*t. Is 20 a factor of (t/9)/(3/(-27))?
True
Let t(k) be the first derivative of -k**4/4 - 7*k**3/3 - 8*k**2 - 10*k - 4. Is t(-7) a multiple of 32?
False
Let o(q) be the second derivative of q**5/60 + q**4/24 - q**3/2 + 2*q**2 + 4*q. Let g(b) be the first derivative of o(b). Does 6 divide g(-5)?
False
Let w be (-30)/(-9) + 2*1/(-6). Is (-2 - -6)*((-9)/w + 6) a multiple of 6?
True
Let d(k) = 38*k**2 + 20*k + 55. Does 13 divide d(-3)?
False
Suppose -12*w + 7*w = 5. Is 1*143*(0 - w) a multiple of 42?
False
Suppose 0*f - f + 986 = 0. Does 34 divide f?
True
Let q(v) = 494*v - 192. Is 24 a factor of q(6)?
False
Let k be 8/10 - ((-78)/15 - -5). Is (-24)/6 - (k + -96) a multiple of 13?
True
Suppose 0 = -3*u + 5*u + 264. Let g be (-1 + 8)*(-12)/(-42). Is 33 a factor of ((-9)/6)/(g/u)?
True
Let k(g) = -g - 1. Let d(b) = -33*b**2 + 2*b + 3. Let z(o) = -d(o) - 5*k(o). Does 10 divide z(2)?
True
Let f(j) = -3*j**3 - 2*j**2 - j. Let t(s) = -s**3 - s**2 - s - 1. Let d(z) = 2*f(z) - 2*t(z). Let g be d(-3). Suppose 0 = w + w - g. Is 9 a factor of w?
False
Let a be (-172)/8*(1 + 1). Let d = -17 - a. Is d a multiple of 26?
True
Let f(q) be the second derivative of q**4/12 + 7*q**3/6 + 11*q**2/2 - 9*q. Does 30 divide f(-18)?
False
Suppose 7*m - m = 4*m. Let v = 33 - 4. Is 1 + m + v - 3 a multiple of 9?
True
Suppose 32 = 5*f + 12. Suppose -2*k + 5*k + f*b = 549, 5*k - 915 = -4*b. Does 31 divide k?
False
Let q = -491 - -945. Is q a multiple of 2?
True
Let k = -20 - -25. Let p(m) = 2*m**2 - 4*m - 10. Is p(k) a multiple of 20?
True
Let k = 20 + -36. Let f = k - -11. Does 8 divide f + 4 + (25 - -1)?
False
Let p(m) be the first derivative of 15*m + m**3 + 9/2*m**2 + 10. Is 13 a factor of p(-6)?
False
Let s = -266 + 570. Is s a multiple of 6?
False
Suppose 8*a - 1449 = 2903. Is a a multiple of 32?
True
Let g = -243 + 91. Let p = 228 + g. Is p a multiple of 43?
False
Suppose o = 6 - 0. Suppose 2 = -2*k + 2*a, -k + a = -o*k + 19. Suppose -3*s - 6 + 38 = 2*l, k*l - s - 37 = 0. Is 7 a factor of l?
False
Let f = -19 + 23. Suppose -f*z = -3*z. Suppose z = 3*c + 55 - 154. Is c a multiple of 9?
False
Suppose -5*h + 1325 = -5*s, 135*h = 139*h - 2*s - 1060. Is 36 a factor of h?
False
Suppose 48*m = 51*m - 1011. Let w = -181 + m. Does 26 divide w?
True
Let f(y) = 25*y**3 - 4*y**2 + 2*y - 4. Is 8 a factor of f(2)?
True
Let k be 4/8*10*1. Suppose 2*n + 3*y - 109 = 0, 2*y + 250 = 5*n + k*y. Is n a multiple of 12?
False
Let t(r) = -1 - 2*r + 2*r - r**2. Let d be t(-1). Let z = 7 + d. Is z a multiple of 3?
False
Suppose 4*v = -2*t + 1088, 3*v + t - 816 = -4*t. Suppose 5*h = 2*m + v, m = 2*h + 2*m - 116. Does 28 divide (2 - 1)/(1/h)?
True
Suppose 3 = j - 0*j. Suppose 5*b - 3 = 3*y - 21, 0 = 2*y + j*b - 12. Suppose 225 = -p + y*p. Is p a multiple of 15?
True
Let j(m) = 14*m + 668. Does 43 divide j(26)?
True
Suppose -3186 = -3*v + i, v + 5*i - 439 = 623. Is 9 a factor of v?
True
Let h(y) = 0*y - 6*y**2 + 4*y + 0*y - 3 + y**2 + y**3. Suppose -3*r = -26 + 11. Is 3 a factor of h(r)?
False
Let g(w) = -w**2 + 14*w + 17. Let z be g(16). Let t(b) = -4*b - 3. Does 12 divide t(z)?
False
Let w be 14/(-7) - (-5 + 1). Suppose -27 = -w*v + 39. Does 5 divide v?
False
Suppose -5*k + 4*b = 7, -k - 2 = 2*b - 9. Is (-1)/(k/2)*-8 a multiple of 4?
True
Suppose 0 = -t - 0*a - 5*a + 24, 3*t - 105 = -4*a. Let f(p) = 8*p + 12. Let v be f(-5). Let c = t + v. Is c a multiple of 3?
False
Suppose -2*z = -s - 7*z + 10, 3*s - 4*z = 30. Suppose s*d - 14*d = -192. Is d a multiple of 16?
True
Let n(b) = 49*b + 133. Is n(3) a multiple of 28?
True
Let p(u) = 0 + 2 - u**2 + 4*u + 2*u**2 + 2*u. Let m be p(-4). Is 66 - m/8*-4 a multiple of 16?
False
Let l = 457 - 321. Is l a multiple of 4?
True
Let s be 0 + 45 + -3 + 1. Let b = s - 38. Is 2 a factor of b?
False
Suppose 3*f - 2*f = 195. Is 24 a factor of f?
False
Suppose -699 = -5*l - 4*f, -l + f + 163 = 25. Does 17 divide l?
False
Suppose 2*i = -i - 15, 4*i - 367 = -3*z. Does 16 divide z?
False
Let i be -13*(-1)/1 - 1. Is 5 a factor of i/(-20) + 106/10?
True
Suppose -4*b + 4*i - 92 = 0, -74 = 4*b - 5*i + 20. Is 15 a factor of 4/14 + (-666)/b?
False
Let g(t) = 4 + 5 - 14 - 9*t + 3*t. Is g(-10) a multiple of 11?
True
Let c(l) = 14 - 34 + 0*l - l**2 + 14*l. Is c(11) even?
False
Let g = -29 - -29. Suppose 7*w - 6*w - 30 = g. Does 10 divide w?
True
Let n(l) = -l**3 - l**2 + 2. Let z(o) = o**3 + 1. Let u(v) = 2*n(v) - 2*z(v). Does 8 divide u(-2)?
False
Let n = 19 + -7. Suppose -2*c = b - 3, n - 1 = 2*b - c. Suppose b*y = -0*y + 315. Is 11 a factor of y?
False
Suppose -6509 = -28*g + 7855. Is 4 a factor of g?
False
Let x = -298 - -323. Is x even?
False
Let f be 12 - (1/(-1) - -1). Let q = f + -7. Let t(c) = c**2 - 1. Is 11 a factor of t(q)?
False
Suppose 0 = -174*p + 168*p + 1212. Is 11 a factor of p?
False
Suppose 0 = 92*b - 87*b - 330. Is 6 a factor of b?
True
Suppose 314 = 4*i - 4*n - 178, 5*i + 4*n - 588 = 0. Suppose -6*g + i = -2*g. Does 17 divide g?
False
Let y = 137 + -134. Suppose -y*u = h - 81, -2*h - 3*u + 44 + 103 = 0. Is h a multiple of 11?
True
Let z = 54 + -52. Suppose 0 = -4*x + w + z*w + 329, 2*x - 172 = 4*w. Does 13 divide x?
False
Let v = 11 + -7. Suppose v*h + 63 = -69. Let b = h - -73. Is 5 a factor of b?
True
Let u(y) = -18*y + 6. Let a be 25/15*(10 + -1). Suppose 5*z + a = j - 8, -3*z + 5*j = 27. Does 13 divide u(z)?
True
Let o(x) = 12*x + 48. Let u be o(-3). Let n(c) = c**2 - 12*c + 13. Is n(u) a multiple of 13?
True
Suppose 9*p = 12*p - 432. Suppose q + 1113 = 5*a, 4*a - 1020 + p = -4*q. Is a a multiple of 32?
False
Is 3 a factor of (385/140)/(1/4)?
False
Let c be ((-20)/(-60))/(2/(-6)). Does 5 divide -3 + ((-18)/c)/1?
True
Does 4 divide (3 + 12)/5 + 164?
False
Suppose -2*s + 117 = -5*s. Let d = s + 59. Let c = 40 - d. Is 20 a factor of c?
True
Let b = -729 + 845. Does 4 divide b?
True
Let s(w) = 31*w**3 + 2*w - 2. Let d be s(2). Suppose -d = 2*j - 682. Suppose 54 = r - 2*p, -4*p + j = r + 3*r. Is r a multiple of 23?
False
Let y(z) = z + 1. Suppose -2*f = -6 + 2. Let b be y(f). Is 3 - (-1 - (1 + b)) a multiple of 3?
False
Let f = 905 + -902. Is 2 a factor of f?
False
Let c(t) = 5*t**3 + 3*t**2 + 5*t + 2. Let y(k) = -4*k**3 - 2*k**2 - 6*k - 1. Let j(f) = -5*c(f) - 6*y(f). Is j(-6) a multiple of 15?
False
Let t(w) = w**2 - 18*w - 1. Let p be t(18). Let a(f) = -296*f - 3. Is a(p) a multiple of 31?
False
Let w(y) = -y**3 + 25*y**2 - 24*y - 39. Let q be w(24). Let t = q - -85. Does 5 divide t?
False
Is (-203 - -1)/(-2) + 84/21 a multiple of 21?
True
Suppose -3*b = -4*b - 6. Let w be (-14 - (-3 - b)) + -1. Let h = w - -32. Is h a multiple of 7?
True
Suppose -5*s = 15, -4*b - b - 3*s + 36 = 0. Let x(v) = -5*v**2 - 5*v - 15. Let o(k) = 4*k**2 + 6*k + 14. Let h(i) = 6*o(i) + 5*x(i). Does 27 divide h(b)?
True
Suppose 0 = -4*b - 5*s + 75, 23 + 43 = 5*b - 3*s. Let p(r) = 20*r + 2. Let u be p(2). Suppose t = u - b. Is 9 a factor of t?
True
Suppose 2*y = 4*v + 45 + 209, 5*y - 4*v = 611. Is y a multiple of 17?
True
Is 22 a factor of (662/4)/(28/112)?
False
Suppose a + 6*a - 56 = 0. Suppose -5*d = -a*d - 4*i + 95, -i + 147 = 5*d. Suppose j + d = 2*j. Is j a multiple of 11?
False
Suppose -3*o - 26 = -2*c, -o + 28 = 4*c - 10. Let y be (-66)/(-10) + c/25. Let x = 42 + y. Does 21 divide x?
False
Let p(v) = -2*v - 2. Suppose -5*l + 20 = 0, -3*l + 8*l = -5*r + 75. Suppose -4*u = 27 - r