?
True
Let q(t) = -t - 14. Let l be q(-11). Does 13 divide (-1)/((-354)/117 - l)?
True
Suppose 5*s = 4*s - 10. Is 21 a factor of 25/s*-34 + (-4 - -3)?
True
Does 16 divide (-2)/(11095/7490 - (-6)/(-4))?
False
Suppose 4*p - 21 = -3*j - 1, 4*j = 2*p + 12. Suppose 3*x = 2*x - 2*t - 3, 0 = j*x - 4*t - 24. Is -24*(-3 + 7/x) a multiple of 11?
False
Suppose 3*i - 817 = 53. Suppose -3*n - k + i = -213, -4*n = -2*k - 664. Suppose 5*m + 3*y = 214, -y = m + 3*m - n. Is m a multiple of 25?
False
Let y be 25 - (-12)/3*-1. Suppose 24*j - y*j = 33. Is j a multiple of 11?
True
Let r(o) = -3*o - 21. Let c be r(-9). Let j be 11 - c/3*2. Suppose 4*h + 192 = j*h. Is 16 a factor of h?
True
Suppose p - 98 = 15. Let y(r) = -r**2 + 2*r + 9. Let w be y(10). Let d = w + p. Is 14 a factor of d?
True
Let m be ((-8)/(-6))/((-10)/15). Let z(a) = 6*a**2 - 4. Does 13 divide z(m)?
False
Let a(i) be the third derivative of i**6/360 + i**5/120 + i**4/3 - 11*i**3/6 - 7*i**2. Let k(x) be the first derivative of a(x). Is 7 a factor of k(-3)?
True
Suppose 4 = 2*v, 0*u + 3*v + 139 = 5*u. Is u*4/(-2 + 4) a multiple of 7?
False
Let w(u) = u + 12. Let x be w(-9). Let v = 46 + x. Is 12 a factor of v?
False
Let a(u) be the third derivative of 0 + 6*u**2 + 0*u + 11/24*u**4 - 1/60*u**5 - 2/3*u**3. Is 7 a factor of a(9)?
True
Let z(n) be the second derivative of n**5/60 - 5*n**4/12 + n**3/2 + n**2/2 + 3*n. Let t(w) be the first derivative of z(w). Is 14 a factor of t(11)?
True
Let m be 8/((-16)/(-4)) - -559. Let u = m - 393. Does 28 divide u?
True
Let c be 70740/75 + -2 + 18/10. Suppose -6*f + 233 = -c. Is f a multiple of 34?
False
Let b = -847 - -1029. Does 8 divide b?
False
Suppose -2*m - 2*r + 28 = 0, -4*m + 33 = 2*r - 33. Let k = -14 + m. Is 6 - k - 9*-1 a multiple of 10?
True
Let j be 4/8 - (-13)/2. Suppose j*h - 20 = 2*h. Is h a multiple of 4?
True
Let f(a) = -a**2 + 2*a - 3. Let l be f(6). Let o = l - -24. Let z(g) = -25*g - 7. Is z(o) a multiple of 17?
True
Let i be 60/(-8)*6/(-5). Suppose -5*r = i + 71. Let h = -12 - r. Is h a multiple of 2?
True
Let n(p) = 16*p**3 - 7*p**2 + 3*p + 10. Is 47 a factor of n(4)?
False
Let w(t) = -t**3 - 13*t**2 - 9*t - 13. Let b be w(-11). Let o = b + 260. Is 26 a factor of o?
True
Let b = -60 + 64. Suppose -b*m + 92 = -20. Is 2 a factor of m?
True
Let g be 2*(-1)/(-6)*21. Let p(h) = -3 - 7 - g*h + 4 - 4. Does 13 divide p(-7)?
True
Suppose 2*r - 6*s - 376 = -2*s, 0 = -4*r + 2*s + 722. Is r a multiple of 5?
False
Suppose 0 = 2*f - f - 3. Suppose -17 - f = -5*l. Suppose -q - 15 = l*w, -q = 2*q + w - 10. Is 3 a factor of q?
False
Let q = 184 + -126. Does 16 divide q?
False
Let h(c) = 6*c + 2. Let s be h(1). Let m(r) = 3*r + s*r - 6*r - 21. Is 10 a factor of m(10)?
False
Let v(f) = f**3 - 11*f**2 - 28*f - 7. Is v(15) a multiple of 11?
True
Does 21 divide -2*(-3)/(-18)*-1077?
False
Let c = 4 - -478. Is 9 a factor of c?
False
Let s = 121 - -103. Is 4 a factor of s?
True
Let d(h) = -4 + 4 + 2*h + 1. Let x be d(-2). Is 20 a factor of 120*(12/(-8))/x?
True
Suppose 3*m - 5493 = -3*w, 4*w + 5490 = 3*m + 8*w. Is 9 a factor of m?
False
Is 59 a factor of ((-4230)/(-75))/(-2*(-1)/35)?
False
Let w be -27 - (3 - 3/(-3)). Let d = w + 145. Is 24 a factor of d?
False
Is 35 a factor of ((-71)/(-3))/((-6)/(-540))?
False
Let d be -3 + 8 - 1 - (0 + 1). Suppose -4*a + 145 = -d*a. Does 17 divide a?
False
Let h(c) = 5*c**3 - c**2 - 2*c - 6. Let x be h(4). Suppose -3*s + x = -19. Let g = s + -70. Does 11 divide g?
True
Let z(t) = 9*t**2 + 20*t - 72. Is z(3) a multiple of 8?
False
Suppose 0 = -a + 4*y - 3*y + 475, 0 = 4*a + 2*y - 1930. Is 80 a factor of a?
True
Let t(l) = -22*l**2 - l - 2. Let z be t(-2). Let v = 60 - z. Is 14 a factor of v?
False
Suppose 12*r = 115 + 12377. Is 83 a factor of r?
False
Let p be -1 + (-4 - -1) + 3. Is (-6)/(3/30*p) a multiple of 30?
True
Let w(d) be the first derivative of 2*d**3/3 - 3*d**2 - d - 16. Is w(8) a multiple of 9?
False
Let h be (-26)/(-7) + 18/63. Does 21 divide (h - -37)*(1 + 0)?
False
Let h = -727 + 1301. Is h a multiple of 13?
False
Suppose -3*c + 70 = 2*b - b, -116 = -2*b + 2*c. Let z = 98 - b. Is z a multiple of 21?
False
Let s(m) = -308*m - 400. Is s(-2) a multiple of 12?
True
Suppose -r + 2554 = 4*v, -3*r + 7594 = -0*v - 5*v. Does 47 divide r?
True
Let i = -79 - -76. Is 15 a factor of -16 + 19 + 194 + 1 + i?
True
Let t(d) = -18 + 11*d**2 - 3*d**2 - 7*d**2. Is 6 a factor of t(6)?
True
Let o(m) = -m**2 + 4*m + 4. Let r be o(0). Suppose 4*k + 312 = r*q, -5*k - 6 = -3*q + 226. Does 6 divide q?
False
Suppose 3*d + a = 43, 3*d - 4*a - 36 = 2. Let y = 56 + d. Does 10 divide y?
True
Suppose 0 = -4*z + 2*z - 5*d + 4945, 2*z + 2*d = 4960. Is z a multiple of 82?
False
Let v(w) = w**3 + 8*w**2 + 8*w - 5. Let r be v(-7). Let b(u) = -10*u**2 - 2*u - 1. Let f be b(-1). Is 44/r*f/3 a multiple of 5?
False
Let g(b) be the second derivative of b**3/3 + 6*b**2 - 10*b. Is 9 a factor of g(3)?
True
Suppose -3*f + 364 = -65. Let z = f - 82. Suppose 102 = 3*v - 2*i, -i + 41 = 3*v - z. Is 12 a factor of v?
False
Let l = 27 + -23. Suppose -268 = -l*a + 68. Does 13 divide a?
False
Suppose -2*p - 220 + 63 = -3*n, 2*n = 4*p + 110. Is 3 a factor of n?
True
Let s be 15/(4 + -2 + -1). Let q be 8/20 + (-6)/s. Suppose q*g = 8*g - 256. Is g a multiple of 11?
False
Let n(k) = 2*k**2 + k - 5. Let o be n(2). Suppose 0 = -3*y - 3*l + 6*l + 63, -o*y = l - 75. Does 4 divide y?
True
Suppose 21 + 15 = 3*d. Suppose 6*w - 2*w + 4*q = d, 3*w - 6 = -4*q. Is w a multiple of 3?
True
Let a = -76 - -75. Let s(z) = -24*z. Is s(a) a multiple of 2?
True
Suppose 121 = -8*s + 5537. Is s a multiple of 29?
False
Suppose 3*q = j + 10, 2*j - 6 = -5*q + j. Suppose 3*p + 3*y = 201, -q*y = -5*p + 179 + 191. Does 12 divide p?
True
Does 12 divide 2/5 + (-8366)/(-10)*1?
False
Suppose 4*g = 3*g + 5. Suppose 10*b - 20 = g*b. Suppose 2*l - 36 = -b*k + 242, -3*k + 203 = -4*l. Is 23 a factor of k?
True
Let x be 7 - ((-1)/3)/(1/(-12)). Suppose -4*p - p - 3*d = -630, -x*p + 5*d = -344. Is 41 a factor of p?
True
Suppose 1 + 47 = 2*i. Suppose d - i = 11. Is 889/d + 3/5 a multiple of 7?
False
Let x = -42 - -67. Is 4 a factor of x?
False
Let h(o) = -o**3 + 15*o**2 - 11*o + 11. Let x = -6 + 5. Let y be (-98)/21*(-2 + x). Does 26 divide h(y)?
False
Suppose 0 = -5*i + 3*i + 10. Suppose 4*b - n = 3*n + 24, 4*b = -i*n + 51. Is 5 a factor of b?
False
Let l be (20/15)/(4/9). Let k(i) = 30*i - 23. Is k(l) a multiple of 5?
False
Let p = -20 + 360. Is 17 a factor of p?
True
Let w(p) = 67*p + 3. Let a be w(2). Let n = a + -60. Does 6 divide n?
False
Suppose -1347 = -11*i + 842. Is 18 a factor of i?
False
Let v = -215 - -367. Let n = v - 21. Is 26 a factor of n?
False
Suppose -5*s + 676 = 8*s. Is s a multiple of 14?
False
Suppose 7 = 2*v + 41. Let z(r) = 21 - 16*r + 6*r - 11*r - r**2. Is 27 a factor of z(v)?
False
Suppose k - 2 - 25 = 0. Let c = k + -9. Does 7 divide c?
False
Let d be (-1)/2*-2*11. Let a(o) = -3*o - d*o - 3*o**2 + 2*o**2 + 5. Is 18 a factor of a(-13)?
True
Suppose 5*p + 2*u = 3*u + 662, 4*p + 3*u - 522 = 0. Is p a multiple of 11?
True
Does 26 divide (-213)/(-284) + 3877/4?
False
Suppose -p + 2180 = 5*a - 2539, a = -2*p + 942. Is a a multiple of 17?
False
Suppose -f + 80 = -6*f. Let a = f + 19. Does 21 divide a/2 - 486/(-12)?
True
Suppose 0 = 2*d - 1111 + 255. Is d a multiple of 4?
True
Let q(i) = -24*i - 1. Let v(u) = u + 1. Let b(k) = -2*q(k) - 14*v(k). Is b(3) a multiple of 45?
True
Suppose 3*g + 2*l = 7*g + 22, 0 = -3*g - 3*l - 39. Is g/(-56) - (-419)/7 a multiple of 20?
True
Let s(o) = o**3 - 7*o**2 + 6*o + 8. Let y be s(8). Let w be (y/(-4))/(4/(-6)). Suppose -3*z + w = 12. Is 11 a factor of z?
True
Let o(a) = 79*a**2 - 9*a - 40. Is 21 a factor of o(-4)?
True
Suppose -5*z - 698 = 3*x + 171, -3*z + 861 = -3*x. Is (x/(-14))/(11/77) a multiple of 48?
True
Let b(u) = 12*u**2 - 3*u - 30. Let t be b(-6). Suppose 0 = 5*r - 4*z - 530, 4*r + 5*z - t = 9*z. Is r a multiple of 10?
True
Suppose n - 20 = -4*n. Let f(s) = n + 13*s - 4 + 2 - 6. Is 24 a factor of f(4)?
True
Let u = 17 - 15. Let z(j) = -13 - 5*j + 3 - u. Is 6 a factor of z(-6)?
True
Let r be (14 - 13)/(2/(-2)). Is 18 a factor of -20*((-2 - -1) + r)?
False
Is 98 a factor of (0/9 + 1)*3234?
True
Let p be (-6)/(-4) - (-24)/(-16). Suppose -m = z 