 48. Is 4 a factor of n?
False
Let j = 23517 + -7371. Does 78 divide j?
True
Suppose -v - 3*q - 24 + 99 = 0, 193 = 3*v + q. Is 7 a factor of v?
True
Let x(f) = 335*f + 1006. Let y be x(-3). Let v(p) = -2*p + 3*p + 4*p**2 + 1 + 33*p**2. Is 18 a factor of v(y)?
False
Let b(k) = -k**3 - 93*k**2 - 203*k - 376. Is 5 a factor of b(-92)?
False
Suppose r - 760 - 380 = -2*a, -3*r = 3*a - 1713. Does 3 divide a?
False
Suppose -6*d + 1573 = 223. Let u = d + 71. Suppose 5*m - 2*m + l - u = 0, -4*l + 8 = 0. Does 21 divide m?
False
Let w(o) = 14*o - 44. Let q be w(16). Let z = q - 510. Is (-108180)/z + (-4)/(-22) a multiple of 30?
False
Suppose -4*b + 8 = 5*l - 4, -2*b = -3*l + 16. Let m(p) be the first derivative of -31*p**2/2 + 3*p - 107. Does 16 divide m(b)?
False
Suppose -5*t + 8336 = 3*y, -3*y - 4275 = -2*t - 949. Is 7 a factor of t?
True
Suppose -l - 6 = -4, 4*l - 34912 = -5*i. Suppose 87*w - 96*w = -i. Does 13 divide w?
False
Let g = -4520 + 10527. Does 39 divide g?
False
Suppose -5*b - 5005 = 6*b. Let x = -359 - b. Is x a multiple of 2?
True
Let h(u) = -u**2 + 5*u - 4. Let k be h(2). Let w be (2/(-5))/((-29)/15 + k). Is 25 a factor of (-96)/((-1)/((-15)/w))?
False
Does 2 divide (-6)/16 - (-13937)/88?
True
Suppose 597 = 5*t + 3*a - 2227, 4*t + 4*a = 2256. Let c = -390 + t. Suppose 0 = -k + c + 54. Does 10 divide k?
True
Suppose 0 = -31*q + 8*q - 11684. Let g = q - -705. Is g a multiple of 2?
False
Suppose -3*h = -18*h - 21975. Let i = h + 2250. Is i a multiple of 13?
False
Let g(a) = -805*a - 10380. Is g(-60) a multiple of 79?
True
Suppose -18 = -3*c - 6. Suppose 4*y - 474 = 3*y - 3*t, 4*y = 3*t + 1956. Suppose 6*l = 5*z + 7*l - y, 5*z = c*l + 506. Is z a multiple of 14?
True
Suppose 4*a + 4224 = 6*a + z, 3*z = -4*a + 8444. Is 16 a factor of a?
False
Let b(g) = 77*g + 3545. Is 13 a factor of b(-27)?
False
Let j(y) = 8*y**2 - 25*y - 30. Is j(30) a multiple of 10?
True
Let k be -3 - (18 - (4 + -7)). Is 0/(k/(-6)) - -409 a multiple of 33?
False
Let h = 6448 + -6452. Let l(b) be the third derivative of -7*b**4/12 + b**3 - b**2. Does 17 divide l(h)?
False
Suppose 673 = 5*p + 3*g, -162 = -5*p + 5*g + 543. Let q = p - -234. Is 63 a factor of q?
False
Let y(p) = -p**3 + 11*p**2 - 25*p - 4. Let z be y(6). Suppose 21*j + 590 = z*j. Does 6 divide j?
False
Let p = -48 + 61. Let j = -3 + p. Does 17 divide (j/4)/(12/144)?
False
Let v = -40 - -40. Is (0 - -102) + (0 - v) even?
True
Suppose -4 = -4*m + 3 + 9. Let i = 29 - 17. Suppose -i*b - m*b = -1808. Is 16 a factor of b?
False
Let t = -194 - -782. Does 43 divide (t/18 + -4)*21?
True
Suppose -4*m - 6*b - 16 = -2*b, 0 = 3*b + 12. Suppose m = 5*t - 5*a - 130, 2*t + t = 5*a + 88. Is 3 a factor of t?
True
Let t be -1 + 6 + (-2)/(18/171). Is 15 a factor of 1141/(-28)*t + (-2)/4?
True
Let h(x) = -x**3 + 13*x**2 + x - 10. Let w be h(13). Suppose 5041 = 8*z - w*z - 4*l, -l - 4024 = -4*z. Does 14 divide z?
False
Suppose 0 = 16*p + 5*g - 2*g - 564714, -141174 = -4*p - 3*g. Is p a multiple of 39?
True
Let r = 20 - 22. Let w(i) = 5*i**3 + i**2 + 3*i + 4. Let y be w(r). Let v = y + 43. Is v a multiple of 4?
False
Suppose 105361 = 15*v - 60749. Is 49 a factor of v?
True
Suppose 0 = -f - 5*y + 3613, 6*y - 22330 + 4132 = -5*f. Is 152 a factor of f?
True
Suppose 2*d + 1080 = q - d, 3*d = -2*q + 2160. Is q a multiple of 8?
True
Let d = 57460 - 39863. Does 27 divide d?
False
Let w(k) = 1184*k - 2672. Is w(8) a multiple of 34?
True
Let d(h) = 3*h - 7. Let r be d(4). Suppose -4*b - 2*o = -478, 4*b + b = r*o + 590. Is b a multiple of 6?
False
Let z = 23 + -19. Suppose -6 - z = 2*g. Does 5 divide ((-21)/15*-8)/((-1)/g)?
False
Let p(d) = -18*d + 1109. Is p(48) even?
False
Let o = -1415 + 7768. Is 7 a factor of o?
False
Is (-2 - -1)/(((-4675688)/275040 - -5) + 12) a multiple of 18?
True
Suppose -70*i + 66*i - 5*f + 11676 = 0, -2*i - 4*f = -5826. Is 2 a factor of i?
False
Let r = -159 + 164. Suppose -287 = -4*d - 3*x, r*x + 89 - 222 = -2*d. Does 43 divide d?
False
Let a be (-90292)/(-18) - -5*8/(-180). Suppose -5*d - 13005 = 5*t, -2*d + 4*t - 156 = a. Is 14 a factor of d/(-28) - 2/(-7)?
False
Suppose 11*p - 6*p = -5, -102178 = -3*v - 2*p. Does 7 divide v?
False
Suppose 3*d + 3*a = 2463, 7*d - 3*a - 4161 = 2*d. Is 36 a factor of d?
True
Let m = -693 + 815. Suppose 0 = 6*y - 2*y - 2*f - 246, 4*y - f = 241. Let p = m - y. Does 7 divide p?
True
Suppose -22876 = -4*z + g + 28460, 0 = 25*z + 3*g - 320776. Does 17 divide z?
False
Let w = -26 + 46. Suppose 2*b + j + 13 = 0, 4*b + j + w = b. Let d(m) = 2*m**2 + 8*m - 17. Is d(b) a multiple of 8?
False
Is 9 a factor of 722*(-8)/(-24) + (-14)/(-6)?
True
Let u(g) = 5*g - 86. Let h = 2 + -5. Let y be 14/4*(0 - (-3 + h)). Does 8 divide u(y)?
False
Let w be ((-24144)/(-360) + (-4)/10)*39. Suppose -w = -11*v + 3483. Is 24 a factor of v?
False
Let o(u) = -2*u - 46. Let w be o(-28). Let x(d) = 0*d - 23 + 11*d + 2*d**2 - d**3 + 9*d**2. Does 49 divide x(w)?
False
Suppose -2*h + 3*h = -3*q + 94, 2*h = 2*q + 164. Suppose 0 = -w + 5*u + h, 170 = 43*w - 41*w - 4*u. Is 5 a factor of w?
True
Suppose -4*r - 7 = c + 17, 0 = 4*c + 2*r + 124. Let g = -47 - c. Let f = g - -19. Is f a multiple of 4?
True
Let d be -1*(-2)/(-13) + (-108)/(-26). Let q be (1*d)/((-8)/(-32)). Suppose 8*k - 80 = q. Does 12 divide k?
True
Let t(s) = -s**2 - s + 6. Let x be t(2). Suppose -9 = 3*w, 2*p + x*w = -w + 537. Is 73 a factor of p?
False
Let k = 89 + -164. Suppose p + 140 = -3*f, -f + 0*f - 60 = 3*p. Let c = f - k. Is c a multiple of 4?
False
Let s(b) = -b**3 + b - 1. Let p(y) = 17*y**2 - 3*y - 1. Let j(i) = p(i) + s(i). Let l be j(17). Is 16 a factor of (-3038)/(-63) + 8/l?
True
Let l be 186/30 + 1/(-5). Suppose -3*i + 21 = -l*i. Let r = 44 - i. Does 37 divide r?
False
Let v(o) = 273*o + 1649. Is 123 a factor of v(19)?
False
Suppose -5*t - 14 = 6. Let r be ((-3)/(-12) + (-318)/8)*t. Suppose -4*d + r - 2 = 0. Is 13 a factor of d?
True
Is 99 a factor of 34562/6 + 1218/(-522)?
False
Is (9 - -22)*(-1 - -115) a multiple of 14?
False
Suppose 5*w + 5 = 0, -2*t - 5*w + 2*w + 11 = 0. Suppose t*q - 2370 = 2159. Is 27 a factor of q?
False
Suppose -6*d = 4*d - 8510. Let f = -519 + d. Suppose 2*y - f = -5*z - 6, 4*z = 3*y + 270. Is z a multiple of 11?
True
Let b(h) = -h**2 + 23*h + 11. Let i be b(18). Suppose -l + 91 = 2*d, -5*l - 6 = 2*d - i. Does 9 divide d?
True
Let g(y) = -y**3 - 4*y**2 - 10*y - 13. Let q = -15 + 22. Suppose q*n = 11 - 46. Is g(n) a multiple of 20?
False
Suppose 202*d - 50*d + 90588 = 713180. Does 211 divide d?
False
Suppose 11*z - 33074 - 66014 = 0. Does 16 divide z?
True
Let n be (-872)/(-5) - 5/50*4. Suppose o - n = 1. Suppose 3*b = v - 3*v + o, v = -4*b + 90. Is v a multiple of 7?
False
Let n(g) be the first derivative of 3*g**2/2 + 2*g + 26. Let z be n(-13). Let l = z + 89. Is 13 a factor of l?
True
Let w(c) be the third derivative of -187*c**5/60 - c**3/3 + 22*c**2. Let z be w(1). Let d = z + 476. Is d a multiple of 41?
True
Let z(l) = 3*l - 74. Let d be z(25). Does 2 divide d*(0 - 14)/(-7)?
True
Is 435883/63 - 52/(-234) a multiple of 93?
False
Does 2 divide -1 + 2744 - (827 - 814)?
True
Let s(i) = -4*i + 27. Let w be s(-9). Let l = 63 - w. Suppose l = 4*m - 68 - 464. Is 13 a factor of m?
False
Suppose -8*l = -31*l - l + 114624. Is 94 a factor of l?
False
Suppose 0 = -3*r + s + 4614, -2*r + 2931 + 143 = -s. Is r a multiple of 35?
True
Let i(s) = s + 3. Let g be i(3). Let d(t) = -113*t**2 - 9*t - 1. Let m(x) = -113*x**2 - 10*x - 1. Let f(p) = g*m(p) - 7*d(p). Is f(-1) a multiple of 35?
False
Let f be (-48)/40*2/6*-10. Suppose -2*o + 29 = -99. Suppose -8*d + o = -f*d. Does 2 divide d?
True
Let a = 6411 - 4808. Is a a multiple of 7?
True
Let y be (2 + -8)/2*23/3. Let g(a) = 2*a**3 + 49*a**2 + 53*a + 32. Is 32 a factor of g(y)?
False
Let x(w) = -w**3 + 12*w**2 - 9*w + 5. Let j be x(11). Suppose -5633 = -j*d + 7408. Does 23 divide d?
True
Suppose 11*k - 19 - 14 = 0. Let i(n) = n**2 - 6*n + 11. Let p be i(k). Suppose l - p*m = 14, 0 = -3*l + 3*m + 44 + 4. Is l a multiple of 3?
True
Let v(p) = -p**3 + 120*p**2 - 26*p + 758. Is v(18) a multiple of 117?
False
Let p(s) = 1724*s - 1054. Is 5 a factor of p(3)?
False
Suppose -46*j + 18*j - 12012 = 0. Let i = j - -990. Is i a multiple of 51?
True
Let m(r) = -1882*r**3 + 2*r**2 + 2*r