-2341. Is 41 a factor of t?
True
Let j(z) = 3*z**3 - 4*z**2 + 19*z - 13. Let d be j(8). Does 35 divide (-55)/(-11)*(d/15 - 1)?
False
Let q = -46 - -79. Let g = -640 - -762. Suppose -31*z = -q*z + g. Is z a multiple of 10?
False
Let a(q) = 2*q**3 - 12*q**2 - 11*q - 12. Let k be a(9). Let p = k - 218. Does 24 divide p?
False
Suppose -36*x + 47213 = -107155. Does 14 divide x?
False
Let b = 26774 + -11114. Is b a multiple of 126?
False
Let v(u) = 2*u**2 + 42*u + 92. Let x(d) = d**2 + 21*d + 46. Let k(p) = 3*v(p) - 7*x(p). Is 4 a factor of k(-18)?
True
Let z(o) be the first derivative of -5*o**4/4 - o**3/3 - o**2 - 1. Let a(m) = -2*m**2 + 25*m - 52. Let i be a(10). Does 10 divide z(i)?
True
Suppose 3*n = -3*p + 5550, n + 0*n = -5*p + 1850. Is n a multiple of 14?
False
Let g be 8/18*-39*(-9)/6. Let u = 31 - g. Suppose 103 = c - 2*k, -3*c + 95 = -u*k - 209. Is c a multiple of 11?
False
Let d be -508*((-1)/((-12)/33) - 2). Let k = d + 633. Suppose 9*r = 2*r + k. Is 4 a factor of r?
True
Suppose -30*k + 410 = -20*k. Suppose k*p - 2796 = 2821. Is 32 a factor of p?
False
Let f(i) = 561*i**2 - 10*i - 14. Is 75 a factor of f(-2)?
True
Suppose -3855*f + 3828*f = -259200. Is 51 a factor of f?
False
Let d(f) = f**3 - 5*f**2 - 24*f + 3. Let h be d(8). Let j(c) = -c**3 + 3*c**2 + c - 1. Let q be j(h). Suppose -q*w + 12 = -118. Does 14 divide w?
False
Suppose 17*j - 14*j + 12 = 0. Does 9 divide j/16 + 109/4?
True
Suppose -9 = -3*b, -173*l - 2*b = -169*l - 46406. Does 80 divide l?
True
Let a = 24322 + -8738. Does 32 divide a?
True
Let k be (-2)/4 - 3/((-6)/23). Suppose -k*r + 3*r = 0. Suppose r*i - 420 = -2*i. Is 12 a factor of i?
False
Suppose 2*s - 1728 = 90. Suppose 571 = 8*i - s. Is 9 a factor of i?
False
Is (-19665)/(-19) - (-3 - (-2 - -9)) a multiple of 65?
False
Let f = 14438 + -9290. Is 117 a factor of f?
True
Let h = -79 + 80. Let n(k) = 4*k**3 + 2*k**2 - k. Let x be n(h). Suppose 489 = -2*o + x*o. Does 12 divide o?
False
Let b(f) = 4*f - 124. Let c be b(32). Suppose a + 340 = 2*s - 3*a, 4*s - c*a - 668 = 0. Does 4 divide s?
True
Is (-95584)/(-174)*18/4 a multiple of 31?
False
Let t be 0/8 + -36 + (2 - 1). Let y = 120 + -64. Let q = t + y. Is 13 a factor of q?
False
Let g(b) = -b**3 - 22*b**2 + 23*b - 280. Does 17 divide g(-25)?
True
Is ((-1620)/(-945))/((-657)/1645 + (-6)/(-15)) a multiple of 34?
False
Does 10 divide (1 - 1940491/(-203)) + (-4)/58?
True
Suppose 0 = 2*r - 33 + 39. Suppose -3*b = -5*l - 515, -2*b + 4*l - 336 = -4*b. Does 19 divide 13/39 - b/r?
True
Let o be (4/10)/(7/35). Let y be o/6 - 25/(-15)*1. Is 3 a factor of ((-12)/(-14))/(1/84*y)?
True
Let g = -54 - -229. Does 12 divide g?
False
Let n(o) = -o**2 - 3*o + 2. Let l be n(2). Let z(d) = 10*d**2 + 40*d - 5. Let m(y) = 3*y**2 + 13*y - 2. Let j(g) = -7*m(g) + 2*z(g). Is j(l) a multiple of 7?
True
Suppose -2*c - 6358 = -p - 115, 5*p = c + 31251. Does 19 divide p?
True
Suppose -30*d + 17*d - 5369 = 0. Let j = -117 - d. Is j a multiple of 37?
True
Let l = 6487 - -5873. Is l a multiple of 139?
False
Suppose 9196 = -5*w - 2*o, 3*o + 3434 = -2*w - 251. Let r = -560 - w. Is 78 a factor of r?
False
Suppose -9*l + 534 = -1041. Let h = -96 + l. Is h a multiple of 18?
False
Suppose 4*n = 5*a + 1891, -2*n - 3*n = -a - 2390. Suppose -6*v - n + 95 = 0. Let f = v + 268. Is f a multiple of 47?
False
Let s be ((-21)/9)/(1237/(-309) + 4). Let r = 1255 - s. Is 35 a factor of r?
False
Suppose -3*m = -5 - 4. Suppose 0 = -2*a + 5*q + 38, 0*a - m*a - q = -91. Suppose -a = -f + 1. Is 10 a factor of f?
True
Suppose 4*c - 22751 = 157*a - 160*a, -5*a = -5. Is c a multiple of 16?
False
Suppose -2*t = -16*t + 188734. Suppose -21*k = -4*k - t. Is k a multiple of 29?
False
Let p(k) = -392*k + 9903. Is 45 a factor of p(-66)?
True
Let r = -201 + 280. Let d = r + -18. Does 6 divide d?
False
Suppose -39*k - 399973 - 79880 = -72*k. Does 22 divide k?
False
Suppose 2 = 4*r - 3*r, 2*r = 3*v + 916. Let j = v - -631. Is 21 a factor of j?
False
Suppose 0 = -8*h + 14*h - 192. Suppose 135 = 37*y - h*y. Does 16 divide y?
False
Let g = 425 - 363. Suppose -54*r + g*r = 7616. Does 28 divide r?
True
Suppose -6*a + 6 = -3*a. Let f(l) be the first derivative of 13*l**3 - 5*l**2/2 - 2*l + 10. Is f(a) a multiple of 16?
True
Let p = -2213 - -2699. Is 6 a factor of p?
True
Let v(f) = f - 1. Let u be v(-1). Let q(s) = -2*s**2 + s + 2. Let y be q(u). Let d(l) = l**3 + 11*l**2 + 10*l - 3. Does 18 divide d(y)?
False
Suppose 0 = -28*s + 3*s + 3*s + 25762. Is 6 a factor of s?
False
Let y be (8/6)/((-3)/414). Let g = y + 220. Is 6 a factor of g?
True
Let t(y) = 2*y**3 + 14*y**2 + 13 - 6 + 10 - 3*y**3 + 13*y. Let u be t(11). Let h = u + -309. Does 36 divide h?
False
Suppose -k = -4*k + 18. Suppose -k*i + 77 = i. Suppose -4*l + 29 + i = 0. Is l a multiple of 10?
True
Let l(m) = -3*m**3 - 3*m**2 - 5*m - 3. Let w = -41 - -38. Let v(y) = -2*y**2 - 7*y - 5. Let d be v(w). Is l(d) a multiple of 19?
True
Suppose 4*r - 5*u = -50, 3*u - 46 = 8*r - 4*r. Is 8/r - ((-13320)/(-25))/(-6) a multiple of 2?
True
Suppose 0 = 5*o - 4*r - 1079, -512*o = -507*o - r - 1076. Is o even?
False
Let v = 7571 - 5137. Is v a multiple of 5?
False
Suppose -337 = 2*x + 107. Let n = -409 + -55. Let i = x - n. Is 22 a factor of i?
True
Let o = 16 - 16. Let p(k) = 5*k - 78 + 14*k + o*k**2 + 73 - k**2. Is 11 a factor of p(14)?
False
Suppose -8*z + 12*z - 72 = 0. Suppose g - z = 42. Is g a multiple of 14?
False
Let j be -6 - (5/3 - 5/3). Let f = j - -34. Is 7 a factor of f?
True
Let a(i) = -679*i + 1. Let k be a(-2). Let u be 8/(-14) - k/(-63). Suppose -u = 6*t - 7*t. Is t a multiple of 7?
True
Let u = -3724 + 15764. Is u a multiple of 140?
True
Let a = 6950 - 4892. Does 21 divide a?
True
Suppose -6600 = 9*w - 17*w. Suppose 0 = -18*t + 7*t + w. Is 3 a factor of t?
True
Let j(k) = 2*k**3 + 2*k**2 + 6*k + 1641. Is j(0) a multiple of 32?
False
Suppose 1660*q - 140700 = 1635*q. Does 14 divide q?
True
Let d be (-1)/2 - (15018/(-12) - -8). Suppose 389 = 12*p - d. Does 17 divide p?
True
Let q = -278 + 281. Suppose 467 = 5*c - d + 108, q*c - 211 = 5*d. Is c a multiple of 6?
True
Let s(o) = o**3 - 17*o**2 + 18*o + 42. Let j be s(17). Suppose -275*r + 273*r + j = 0. Is 5 a factor of r?
False
Let j(p) = 2*p**3 + 16*p**2 + 23*p + 86. Does 38 divide j(8)?
True
Is 130 a factor of (-2)/(4/(-110532)*6)?
False
Suppose -4*x = -28*s + 24*s + 2288, 2*x - 569 = -s. Does 13 divide s?
False
Suppose 24 = 12*h - 0*h. Suppose 178 = h*k + 54. Is k a multiple of 27?
False
Does 46 divide (432/(-20))/((-21)/10)*10444/8?
False
Let i = 178 - 182. Let f be (4 - 1)/((-4)/(-8)). Is i/f - 4/((-36)/1203) a multiple of 34?
False
Let n(y) be the first derivative of -y**4/4 + 3*y**2 - 2*y - 18. Let h be n(0). Is 17 a factor of 18 + 149 - 6/h?
True
Suppose -1109 = -7*h + 15859 - 2184. Is h a multiple of 44?
True
Let i = 9953 - -429. Is 4 a factor of i?
False
Let f be 4 - ((-10)/25 + (-16)/10). Suppose -543 = f*s - 1803. Is s a multiple of 14?
True
Suppose -2*m + 3*p + 1032 = -5*m, 2*p - 8 = 0. Let x = 697 + m. Is x a multiple of 14?
False
Let m(l) = 85*l**2 - 11*l - 65. Let d be m(-5). Let y = -1207 + d. Is y a multiple of 86?
False
Suppose -21*c = -12*c + 72*c - 2246130. Is c a multiple of 235?
True
Suppose 10*a = 18*a - 18432. Suppose 7074 = 5*p + a. Is 6 a factor of p?
True
Let j(h) = 448*h + 4336. Does 16 divide j(11)?
True
Let q(r) = -72*r + 936. Does 72 divide q(-27)?
True
Suppose 0 = 136*r - 134*r - 678. Does 52 divide 3*(-3 + r/9)?
True
Let g(i) = 29*i + 158. Let t be g(-6). Does 9 divide -205*(14/8)/(10/t)?
False
Suppose -53*c + 99*c = 36*c + 7920. Is 11 a factor of c?
True
Let z(g) = 3*g**2 + 10*g - 57. Is z(12) a multiple of 4?
False
Let i be (1261/(-52))/((-2)/(-8)). Let g = i + 117. Is g a multiple of 3?
False
Let o(j) = j - 2. Let k be o(5). Suppose -10*w + 12*w - 80 = 0. Suppose k*r + r = w. Is r even?
True
Suppose 22*z - 45*z = 32*z - 122375. Is z a multiple of 89?
True
Suppose t - 10 = -7. Suppose -t = -2*y + 5. Is (-939)/(-15) - y/(-10) a multiple of 9?
True
Suppose 0 = -2*i + 4*l - 7 - 7, -4*l + 29 = 3*i. Suppose 3*c = 6*c + 3*b - 1092, 0 = -2*c - i*b + 733. Suppose -7*j - 142 = -c. Does 14 divide j?
False
Let g be 303/(-2)*(-16)/12. Suppose -9*o = -410 - g. Is 3 a factor of o?
False
Suppose 0 = 132*n -