Is 11 a factor of j?
True
Suppose -7*k - k + 16 = 0. Is 29 a factor of (6/k)/(-1) - (-4 - 235)?
False
Let b(v) = -4*v**3 - v**2 - v - 2. Suppose -3*c + 0 = 12. Let r = c + 2. Is 28 a factor of b(r)?
True
Suppose 0 = 2*t - 2*z + 5*z - 927, -4*t + 1845 = -3*z. Does 4 divide t?
False
Let l(x) = -9*x + 18 - x**2 + x**3 + 4*x + 5*x. Let m(b) = b**2 - 4*b + 3. Let y be m(3). Is l(y) a multiple of 18?
True
Suppose -12 = -2*o - 4. Suppose -5*s + 4*k + 133 = 0, 4*s = o*k + 44 + 64. Does 18 divide s?
False
Let o(h) = 4*h - 5*h + 2*h**2 + 6 - 5*h. Let k(v) = 3*v**2 + 14*v - 1. Let b be k(-5). Is 7 a factor of o(b)?
True
Suppose -307*d = -311*d + 696. Is 8 a factor of d?
False
Suppose 4*g - 40 = w - 5*w, g = 2*w - 26. Suppose 0 = -d + 3*d + w. Let f(z) = -3*z + 3. Does 8 divide f(d)?
False
Let u be 117/17 - (-14)/119. Suppose -u*s + 3*s = -104. Is s a multiple of 15?
False
Let o(b) be the second derivative of -3*b - 3/4*b**4 + 0 - 4/3*b**3 + 4*b**2 - 1/20*b**5. Does 8 divide o(-8)?
True
Suppose -12*r + 8*r = 4. Is 3 a factor of 2 - 9*r/(2/2)?
False
Suppose 5 + 1 = 3*y. Suppose z = -y*z - 21. Let x = 23 + z. Does 7 divide x?
False
Suppose -3*r - 12 = j - 4*j, j = -5*r + 4. Let q(b) = -3*b + 37. Does 7 divide q(r)?
False
Let a(h) = -5*h - 19. Let d be a(-11). Is 6 a factor of (d/15)/(10/25)?
True
Let k(m) = 10*m**2 - 35*m + 20. Let v be k(7). Suppose 1 = 5*p - 9. Suppose 4*b + 20 = 0, p*c + v = 7*c + 2*b. Is c a multiple of 26?
False
Suppose 0 = -2*m - 2*m + 2*z - 76, 4*m + 82 = 5*z. Let h be (-20)/(-6)*m/15. Does 24 divide (2/h)/((-12)/576)?
True
Suppose -2*b - 3*f - 178 = 0, 0 = 2*f - 0*f - 8. Does 4 divide 3/(-6)*b + (-1)/2?
False
Suppose 2*y = -3*f + 114, 0 = f - 6*f. Does 19 divide y?
True
Let j be (-2595)/(-55) + -1 + (-4)/22. Suppose -r = -j + 10. Is 12 a factor of r?
True
Let i = 99 + -102. Does 5 divide (-232 - (i - -3))/(-2)?
False
Suppose 3*t + 5*m + 25 = 0, -2*t - 5*m = -3*t + 5. Let k = t - -18. Suppose -11 - k = -q. Is q a multiple of 12?
True
Let d = -766 - -429. Let w = -148 - d. Does 41 divide w?
False
Suppose 5*x = 34 + 11. Let c = 3 - x. Is 10 a factor of 2/6 - 298/c?
True
Suppose 0 = 6*d - 7 + 1. Let u(k) = 45*k - 1. Let l be u(d). Let s = 112 - l. Is 11 a factor of s?
False
Let k = -11 - -11. Suppose -2 = 5*z - 3*h, 4*h + k*h - 16 = 0. Does 2 divide (6/(-9))/(z/(-12))?
True
Let t = -37 + 38. Is (90 - -3)/3 - t a multiple of 6?
True
Suppose -19*l + 4*l = -780. Suppose -c = -4*m + 508, -2*m + l = -2*c - 202. Is m a multiple of 15?
False
Suppose -2*d + n + 10 = 2*d, 5*n + 4 = -3*d. Is 14 a factor of -1*(-30*d + -1)?
False
Let a(u) = u**3 + 11*u**2 + 12*u + 3. Let b be a(-9). Let t(x) = -2*x - 7. Let v be t(-6). Suppose -y + v*y - b = -3*l, 0 = -4*l - 5*y + 76. Does 8 divide l?
False
Is 2 a factor of 222/78 + 6/39 - -404?
False
Does 11 divide 6034/14 + -2 + 1 + -1?
True
Suppose -3*o = -4*f - 880, -2*o - o - f = -905. Is 5 a factor of o?
True
Suppose -3*n - 4*w = -4, -6*n - 2 = -3*n - 2*w. Suppose -3*y + 61 = 6*p - p, n = 2*p + 8. Is 5 a factor of y?
False
Let t = 5 - 1. Let m = t + 2. Suppose 2*z = -2*z + 5*v + 4, -z - m = -3*v. Is z a multiple of 2?
True
Let z(b) = 124*b**2 + 11*b + 44. Is 13 a factor of z(-3)?
False
Let n = 57 + -57. Suppose n = 21*w - 15*w - 798. Does 26 divide w?
False
Let z be (-8)/44 + 270/33. Let y = -6 + z. Suppose 22 - 144 = -y*w. Does 9 divide w?
False
Let o(m) = 43*m + 18. Does 74 divide o(18)?
False
Let b(c) = 48*c - 93. Is b(7) a multiple of 27?
True
Let y(l) = l - 1. Let h(o) = 5*o - 12. Let u(i) = h(i) - 6*y(i). Let t(n) = 7*n + 35. Let z(x) = 6*t(x) + 35*u(x). Is 14 a factor of z(4)?
True
Suppose -o = -6*o. Suppose o = m - 3*m + 30. Suppose -m = -2*j + 1. Is 3 a factor of j?
False
Does 23 divide 16515/45 + -3*4/(-6)?
False
Let i(o) be the first derivative of o**3 + 17*o**2/2 - 10*o + 3. Is 11 a factor of i(-8)?
False
Suppose -3*x - 2*v = 2*v + 176, v + 188 = -3*x. Let i = 244 + x. Does 15 divide i?
True
Let y = -16 - -8. Let n(j) = -j**3 - j**2 + 12*j + 4. Let i be n(y). Suppose 0*f - 4*u = -2*f + 216, -3*f - 2*u = -i. Is f a multiple of 25?
False
Let w(a) = 3*a**2 + 5*a + 4. Let j be w(5). Let b = j - 52. Does 26 divide b?
True
Let c = 19 - -5. Suppose -2*f - c = -3*z, -2*f = -3*z - 5*f + 24. Suppose 2*h - z = 92. Is 17 a factor of h?
False
Let o(k) = -2*k + 18. Let r be o(8). Suppose 3*n + y = 166, -r*n = -6*n - 5*y + 214. Is 4/(-6) + n/3 a multiple of 3?
True
Let z be ((-2)/(-4))/((-17)/(-5304)). Let k = z - 93. Is 12 a factor of k?
False
Let j = -36 - -127. Is j a multiple of 30?
False
Suppose 2*q - 430 = -15*j + 13*j, 5*j + 2*q = 1060. Is j a multiple of 30?
True
Let r = 89 + -16. Is r a multiple of 5?
False
Let n = 345 - 591. Is 11 a factor of (6/(-18))/(2/n)?
False
Let m(x) = -59*x + 38. Does 25 divide m(-6)?
False
Let s(i) = 4*i + 26. Let b be s(-6). Suppose 3*h + 357 = 3*t, 3*h - b*h = 2*t - 239. Is t a multiple of 24?
True
Let s(u) = 673*u**2 - 32*u - 68. Is 14 a factor of s(-2)?
True
Suppose -584 - 142 = -3*x. Suppose -3*t = -3, -2*j - 5*t = -t - 14. Suppose 5*c = -k + x, -c + j*c = -5*k + 202. Is c a multiple of 20?
False
Suppose 4*b - 48 = 420. Is b a multiple of 39?
True
Let v(t) = -t**2 - 12*t - 20. Let r be v(-8). Let w = r + 2. Is w a multiple of 14?
True
Let n = -117 - -151. Suppose 36*m = n*m + 408. Is 17 a factor of m?
True
Let r = -351 - -403. Is r a multiple of 2?
True
Let w(c) = 62*c**2 - 64*c + 4. Is 10 a factor of w(-3)?
False
Suppose 5*r + 2*f = 44, -8*r = -6*r + 5*f - 26. Let y be 1 - 0/(3 + -2). Let x = r - y. Does 2 divide x?
False
Suppose 14 = -l + 15. Does 16 divide (l - (-3 + 4)) + 112?
True
Suppose -5*z - 22 = 3*v + 9, v = -5*z - 7. Let y(b) = b**2 + 10*b + 5. Is 21 a factor of y(v)?
False
Let r be 16 + -19 + (61 - -1)/2. Does 9 divide (396/(-8))/(r/8 + -4)?
True
Let d(o) be the third derivative of o**6/120 - 11*o**5/60 + 2*o**4/3 - 8*o**3/3 - 11*o**2. Does 13 divide d(11)?
False
Let p(s) = -s**3 - 5*s**2 - 2*s - 6. Let r be p(-6). Suppose 2*h + 4*h - r = 0. Is h a multiple of 7?
True
Let h(l) = -9*l - 10. Suppose 6*s - 3*s - 12 = 0. Suppose -s*x + 4*b = 48, -b = 3*b - 16. Is 13 a factor of h(x)?
False
Suppose 3*m - r - 28 = 1875, -m + r + 631 = 0. Does 12 divide m?
True
Let l(s) = 11*s**2 + s - 2. Let c be -4*1/10*5. Is 8 a factor of l(c)?
True
Let g = 75 + -70. Suppose -59 + 304 = g*b. Is 7 a factor of b?
True
Let x = 40 - 35. Let i(t) = t**3 + t**2 - 5*t + 6. Does 13 divide i(x)?
False
Suppose 0 = 3*w + 133 - 160. Let c = 14 + 65. Let y = c - w. Does 14 divide y?
True
Suppose k = 5*o + 259, -458 = k - 3*k - 2*o. Is k a multiple of 9?
True
Suppose 5*g - 10 = n, 2*g + 2*n = 4*g - 4. Suppose -a + 2*f - 8 = 4*a, 0 = g*f - 8. Suppose a*u - 9 = -u. Is u a multiple of 3?
True
Does 11 divide -3*743/(-9)*3?
False
Let t(r) = -r**3 - 5*r**2 - r - 5. Let c be t(-5). Let u(n) be the third derivative of -n**4/12 + 7*n**3/3 + 3*n**2. Is u(c) a multiple of 14?
True
Let u = -16 - -23. Suppose -2*j - 144 = u*j. Is ((-22)/(-8))/((-4)/j) a multiple of 5?
False
Let f be -1*(-8 + 0)/2. Let o be 12/(-6)*(-2)/f. Let q(g) = 25*g + 1. Is q(o) a multiple of 17?
False
Let z(j) = 2*j**3 - j**2 - 3. Let u(k) = -6*k**3 + 2*k**2 + k + 9. Let x(h) = 3*u(h) + 8*z(h). Let d be x(-2). Suppose -d*c = -79 - 181. Is 17 a factor of c?
False
Suppose 156*m = 154*m + 998. Is 4 a factor of m?
False
Let j be 2/(-7) - (-1098)/21. Suppose -y + 61 + 102 = 0. Suppose v - j = -3*w + 73, 5*v = -4*w + y. Does 25 divide w?
False
Let o = 26 - 34. Let v = -403 + 593. Is 12 a factor of v/8 + (-2)/o?
True
Suppose -8*p + 5*p + 9 = 0. Suppose 0 = 5*z + 4*l - 159, 58 = p*z - 3*l - 32. Is z a multiple of 6?
False
Suppose -501 = 15*h - 2316. Is 6 a factor of h?
False
Let s = 39 - 162. Let d = -94 - s. Does 4 divide d?
False
Let o(p) = -13*p + 144. Let c = 179 + -179. Does 19 divide o(c)?
False
Let r be 162/4*(-40)/(-15). Let h(z) = -2*z - 1. Let o be h(-2). Suppose -o*u = u - r. Does 9 divide u?
True
Suppose -12 = 2*q + q. Let i be (-42)/q*16/(-8). Is 7 a factor of (7 - 6)/((-1)/i)?
True
Let z(b) = 2*b**2 + 13*b + 78. Is 6 a factor of z(-8)?
True
Suppose 5*h - 1224 = -2*z - 298, 5*z + 2*h - 2315 = 0. Is z a multiple of 26?
False
Let c = 26 + -19. Is 43 a factor of 1*4 - -14*(7 + c)?
False
Is (512/(-5))/(380/50 + -8) even?
True
L