tiple of 11?
False
Let i(l) = 77*l**2 - 30*l + 93. Is 2 a factor of i(3)?
True
Let d be ((-90)/(-4))/5*16/12. Does 11 divide 3/(2/d - (-224)/(-714))?
False
Let n = 16 - -29. Let q = -46 + n. Is (65/(-20))/(q/(14 + -2)) a multiple of 12?
False
Suppose 4*x - 2*o - 1664 - 390 = 0, 0 = 4*x + 4*o - 2036. Does 18 divide -1 + x - -5 - -3?
False
Let s(z) = -11*z - 80. Let r be 2*6/(-4) - 6. Let j be (r/2)/(2 - 21/14). Is s(j) a multiple of 3?
False
Let z = -8236 - -9749. Is 16 a factor of z?
False
Suppose 4*o = -2*d - 0*d + 12, -5*o + 21 = d. Suppose -4*j + 312 = 4*m, 2*j - 42 = o*m + 114. Does 20 divide j?
False
Suppose 793*n - 256100 = 780*n. Does 85 divide n?
False
Let z(q) be the second derivative of -q**4/6 + 31*q**3/6 + 27*q**2/2 + 3*q - 2. Does 9 divide z(10)?
False
Let s = -60 - -62. Suppose 4*n + 3*p = -4, 3*n - s*p + 2 = -4*p. Is 14 a factor of 6/12*n*32?
False
Does 126 divide (-172932)/(-14) + 30/(-105)?
False
Let r(o) = -26*o + 86*o + 14 + 34*o + 16*o. Let p be r(4). Suppose 6*c - 3*c = 5*j - p, j + c - 94 = 0. Is j a multiple of 12?
False
Is 1/(-8) + 4637672/832 a multiple of 3?
True
Let q = 476 - 286. Suppose 6*r + 14 = -q. Let a = 84 + r. Is a a multiple of 10?
True
Suppose -4*m + 103 = 3*w, 0*m - 2*m = -3*w - 29. Suppose 4*s = 2*r + 1498, -3*r - 340 = -s + m. Does 13 divide s?
True
Suppose 37147 = 5*s + 4*y, -3*s + s = -y - 14877. Is 244 a factor of s?
False
Let w = 353 + -253. Let f = w + 119. Is f a multiple of 9?
False
Does 8 divide (-10364)/(-7)*(-5040)/(-1440)?
False
Suppose -3*p + 28 = 4*p. Suppose -b + p*b = -5*z + 1990, 0 = 4*b + z - 2659. Let s = -440 + b. Is s a multiple of 39?
False
Let r be 0/(-1) + -12*(-18)/24. Suppose 2*c - r = b + 7*c, 4*b = 4*c + 60. Is b a multiple of 9?
False
Let u(j) = 662*j - 667*j + 15 + 38. Let p be u(16). Is 23 a factor of (-3730)/(-18) - (75/p + 3)?
True
Let g = -1886 + 1176. Let i = 1522 + g. Does 28 divide i?
True
Suppose -g + 2*f = 2*g - 11, -2*f = -5*g + 17. Let c be (-3)/(-21) + ((-1338)/(-14))/g. Suppose -c*n + 51 = -31*n. Does 11 divide n?
False
Suppose 211640 = 15*z + 21*z + 4*z. Does 55 divide z?
False
Suppose 7*t - 40 = 2. Let v(p) = 5*p**2 - t*p**2 + 9*p - 19*p - 13*p - 32. Is 5 a factor of v(-21)?
True
Does 22 divide 1*2584488/120 - (-3)/5?
True
Is (7 + (-490)/4)/((-6)/88) a multiple of 11?
True
Let j(m) = -11*m - 138. Let p be j(-21). Suppose 0 = -o - p + 339. Is o a multiple of 41?
True
Suppose 70*z - 423203 = 359441 - 125134. Does 101 divide z?
True
Does 33 divide (46 - 49)*(-1 - 1440)?
True
Let x = 46930 + -24277. Does 14 divide x?
False
Let o be (7 + (-3 - 1))*(-2)/(-3). Suppose 0 = -3*p - 2*r + 364, -149 = -3*p + o*r + 231. Does 3 divide p?
False
Let c = -9 - 15. Let z be (6 + -2)/((-3)/c). Suppose 8*u - z = 6*u. Does 16 divide u?
True
Let l = 894 - 638. Let m = l - 216. Is 4 a factor of m?
True
Suppose r + 34816 = 2*l - 0*r, -3*r + 87062 = 5*l. Does 52 divide l?
False
Let t be (3 - 8 - 1) + 0. Let u(o) = o**3 + 5*o**2 - 15*o - 7. Let c be u(-5). Is 1 - c/t - (-59)/(-177) a multiple of 6?
True
Let j(l) = -l**2 - 34*l - 278. Let z be j(-20). Is 10 a factor of (-6 + -559)/((-1)/z)?
True
Let o be (-1 - -1)/((-6)/(-6)). Suppose -2*w - 3*w = 20, 3*f - 4*w - 7 = o. Does 20 divide (-3)/(-12)*2*200 + f?
False
Let k be (-195)/(-4)*(-6 - 204/(-18)). Suppose -4*y = -4*c + 1208, -4*y + k = -5*c + 1772. Is c a multiple of 19?
True
Suppose -a + 3*g - 213 = 2*a, 3*a + 195 = -3*g. Let q = 146 - a. Does 27 divide q?
False
Does 3 divide (0 - (-13 - -1))*(-33501)/1872*-16?
False
Let n(j) = -18*j - 43. Let g be n(-4). Suppose 2052 = 38*c - g*c. Is c a multiple of 6?
True
Let o(h) = 48*h**2 + 6*h + 5. Let g be o(-3). Let z = g - 163. Suppose -10*c + z = -6*c. Is 22 a factor of c?
False
Let f(r) = -562*r**3 - 2*r**2 + 26*r + 66. Does 6 divide f(-3)?
True
Is 2 a factor of (11501/53)/(3 - 2)?
False
Is (3 - (2 - 7)) + 958 a multiple of 15?
False
Is 47 a factor of (5940/(-81) - 2)*(-198)/2?
False
Let r = -49 + 163. Let g = 52 + r. Is g a multiple of 24?
False
Let u be (1 - 2/2)/(1/(-1)). Suppose 5*f - 4*t - 1248 = -u*t, -2*f + 5*t = -506. Suppose 5*j - j - f = 0. Does 13 divide j?
False
Let k be 153/45 + (-6)/(-10). Let n(u) be the first derivative of u**4/2 - 4*u**3/3 - 5*u**2/2 + u + 60. Does 15 divide n(k)?
True
Let b = 18757 + 10979. Does 236 divide b?
True
Let s = -24772 - -34791. Is s a multiple of 25?
False
Suppose -3*t - 4*f + 111 = -20, 2*t = 3*f + 59. Suppose 39 = -2*g + 5*d, 3*g - d = 4*d - 71. Let q = g + t. Does 5 divide q?
True
Let o(s) = -10*s - 9. Let n be o(-2). Suppose 0 = -z - 1, 9*i + 4*z = n*i - 196. Is 13 a factor of i?
False
Let p be ((-390)/(-351))/(1/9). Suppose 0 = c - 3*z - 486, 5*c = -p*z + 7*z + 2448. Is 32 a factor of c?
False
Suppose -22*t = -3*t + 399. Let q = 233 - t. Does 39 divide q?
False
Is 27 a factor of (-62115)/(-20) - 33/44?
True
Suppose 24 = -h + 5*h. Let d be h/(-4) + (-138)/(-4) - 0. Let m = d - 19. Does 7 divide m?
True
Let h(c) = c**3 - 14*c**2 + 33*c + 4. Let w be h(11). Suppose -4*l + 122 = n, -6*l = w*n - 11*l - 404. Is n a multiple of 13?
False
Suppose k - 21 = 3*h - 7, 25 = 5*k. Let j(c) = -41*c + 69. Does 48 divide j(h)?
True
Suppose 0 = 2*f - 6, 4*f + 7 - 35 = -4*l. Is (-4)/(l + (-135)/33) a multiple of 11?
True
Suppose 23*g - 22*g - 4*q - 1420 = 0, 0 = -g + q + 1405. Is g a multiple of 8?
True
Let n(q) = -q**3 - 19*q**2 + 57*q - 38. Is 42 a factor of n(-23)?
False
Suppose 5*f + 35 + 112 = -y, 0 = -3*f - y - 89. Let o = -65 - f. Is 37 a factor of 74 - (27/o + 3/4)?
True
Suppose 0 = -3*d - 2*l + 6*l + 32, 5*d = -l + 15. Suppose -d*c - q = -1147, c + q - 860 = -2*c. Is 7 a factor of c?
True
Is (-14)/(-77) + 5/((-220)/(-689692)) a multiple of 15?
True
Let u = 557 + 217. Is 12 a factor of 12 + u + -3*2?
True
Let j = -9 + 20. Suppose -4*w + j = 3. Is 3 a factor of 31 + -8 + 2*w?
True
Let l be (-1738980)/(-1080) - 1/(-12)*-2. Does 25 divide (14 + 1)*l/69?
True
Let y be 1/7 - 34/(-7). Suppose k = -y*k + 198. Let b = k + 93. Does 15 divide b?
False
Let k = 154 + -113. Let w be 21*1 - (-1 + 0). Suppose 23*v = w*v + k. Is v a multiple of 3?
False
Let h(f) = 3*f**3 + 19*f - 39. Is 6 a factor of h(3)?
False
Does 17 divide ((-5462)/4 + 2)*(-2020)/606?
False
Suppose x = -4*d + 32, -x = -3*d - 2*d + 13. Is (-6)/x*-8 + 1*300 a multiple of 30?
False
Let j = -1218 - -769. Let m = j - -810. Is 10 a factor of m?
False
Suppose 3*v = 10 + 8. Let i(n) = n**2 - 13*n + 3*n - v + 8*n. Does 3 divide i(6)?
True
Let w(m) = 2*m**3 + 20*m**2 + 7*m - 9. Let i = 344 - 353. Is w(i) a multiple of 9?
True
Let i(q) = 687*q**2 + 178*q + 1371. Is i(-9) a multiple of 24?
True
Let j = 56907 + -4323. Is 13 a factor of j?
False
Let r = 1217 - 1222. Let t(o) = -25*o + 7. Let s(i) = 24*i - 6. Let d(y) = 5*s(y) + 6*t(y). Is d(r) a multiple of 27?
True
Let h be 4/(-1) - (36 + -42). Suppose 115 = 5*u - 5*z, u - h*z = -3*z + 33. Does 14 divide u?
True
Let k(c) = 2*c - 14. Let w be k(10). Let l be (7 - w)/((-2)/22). Let m(x) = -x**2 - 18*x - 21. Does 8 divide m(l)?
True
Let f(l) = -l**2 - 9*l - 5. Let a be f(-7). Let h(t) = -t**3 + 7*t**2 + 3*t - 17. Let x be h(7). Suppose a*j = x*j + 1360. Is 29 a factor of j?
False
Let m be (-1 + 3)*22/4. Suppose -2*v = 8, 2*u = -14*v + m*v + 426. Does 19 divide u?
False
Let b(j) = -j**3 - 56*j**2 - 8*j + 151. Is 78 a factor of b(-56)?
False
Let r = 128 - -49. Let k = r + 131. Does 11 divide k?
True
Suppose 2*p = -y + 7546, 3*p - 22*y + 21*y - 11324 = 0. Is p a multiple of 56?
False
Let j be 3708/(-15) - 144/(-120). Let t = j + 408. Is 3 a factor of t?
True
Let i = 151761 - 104978. Is i a multiple of 14?
False
Let d(p) = -32*p + 6. Let b(g) = -g**3 + 14*g**2 - 13*g + 2. Let n be b(13). Let h be (12/9)/(n/(-3)). Is 10 a factor of d(h)?
True
Suppose 5*y + 8*y = 4446. Suppose -2768 = 10*a + y. Let d = a - -567. Is d a multiple of 16?
True
Suppose 2*f - 21 = 5*j, 5*f - 12 = 6*f + 5*j. Is (1 + (3 - f))*75 a multiple of 34?
False
Suppose 18630 = 2*r + 105*a - 100*a, 2*r = a + 18642. Is r a multiple of 119?
False
Is (-6)/(-12)*(13665 - -1) a multiple of 127?
False
Let a = -7506 + 11684. Is 41 a factor of a?
False
Let u(s) = 6*s**2 - 66*s + 115. Is u(-29) a multiple of 8?
False
Let t(b) = 15*b**2 + 85. Is t(-10) a multiple of 7?
False
Let b = -1535 - -2685. Suppose -