*l + 92*l + 279 = 0. Is 9 a factor of l?
True
Let g(w) = -537*w + 682 + 541*w - 325 - w**2 + 565. Does 26 divide g(0)?
False
Is 4 a factor of (-2215220)/(-735) + 4/42?
False
Suppose 21*g - 34464 = -5*p + 17*g, -2*p + g + 13796 = 0. Is 8 a factor of p?
True
Let z = 592 - -1184. Is z a multiple of 37?
True
Suppose 17*f - 40*f = -19*f. Suppose g + f*g - 4 = 0. Suppose 5*m = s + 587, 2*s = -g*m + 6*s + 476. Is 9 a factor of m?
True
Let b = -82 - -84. Let h be -2*b*(-272)/17. Let c = -27 + h. Is c a multiple of 23?
False
Suppose -25 + 265 = 3*a. Suppose -s + a = s. Does 2 divide s?
True
Suppose 2*d + 4 = 0, 4*h + d = -3*d + 6356. Does 15 divide h?
False
Suppose 18*v = -3*p + 17*v + 5403, -9006 = -5*p - 2*v. Is 15 a factor of p?
True
Let k(t) = -t**3 - 16*t**2 + 21*t - 15. Let g be k(-17). Let y = g - -84. Does 35 divide 9/((-18)/(-212)) - y?
True
Suppose -11*p = -6*p - t - 20, -2*t = -4*p + 22. Suppose 0 = p*f + 28*f - 12772. Is f a multiple of 34?
False
Suppose 8*a = 3*a - 70. Let l be 0/5 + (a - (-1 + 0)). Let z = l - -32. Is z a multiple of 7?
False
Does 12 divide (290 + -3)*((-32)/64 + (-113)/(-2))?
False
Let i be (2/(-12))/((-6)/108). Does 24 divide (i*-3)/((84/(-32))/7)?
True
Does 7 divide ((-30)/8)/((-885)/2114088)?
False
Suppose -4*f = -126*z + 127*z - 232097, -f + 3*z + 58021 = 0. Is f a multiple of 335?
False
Suppose -283 = 5*p + 3*z - 956, -2*p + 264 = -4*z. Suppose 2*t + 3*j = p, -6*j + 7*j - 278 = -4*t. Is 5 a factor of t?
True
Suppose 2*o + 13 - 173 = 0. Let g = o - 75. Suppose -3*d + 3*a = 8*a - 375, -2*a = g*d - 625. Is 38 a factor of d?
False
Is 47 a factor of (-26)/8 - (-154252)/112?
False
Let t(n) = 198*n + 6. Let x(p) = 4*p**2 - p - 1. Let o be x(1). Let u be t(o). Suppose 4*j - 2*f - u = 0, 0*f = -2*j + 3*f + 211. Does 15 divide j?
False
Let j(p) = -9*p**3 - 61*p**2 + 5*p + 137. Is j(-9) a multiple of 9?
False
Suppose -x = 3*y + 10 + 7, 4*y + 4*x = -36. Is 2772/27 - (y/3 + 2) a multiple of 17?
True
Let o be 15/9*(-2 - -5). Suppose 4 = z, 9 = i + o*z - 16. Suppose -3*u - 690 = -4*c, i*u + 90 + 91 = c. Does 19 divide c?
True
Let z(j) = 37*j**2 + 7*j - 35. Let h be z(8). Let c = -1629 + h. Is c a multiple of 26?
False
Suppose 2*a = -b + 19413, 2*b - 34607 - 13924 = -5*a. Is a a multiple of 25?
False
Suppose 15*p + 69564 + 211340 = 89*p. Is 43 a factor of p?
False
Suppose 0 = 3*k - 3*c - 30483, 4*c + 44680 = 5*k - 6122. Is 63 a factor of k?
False
Let r(n) = 32*n**2 - 4*n + 2. Let q be r(1). Suppose -q = -4*y + 142. Suppose 0 = -8*z + 139 - y. Is z even?
True
Suppose -31*j = -475 - 2656. Suppose -2*k + 1 = -j. Is 4 a factor of k?
False
Suppose 0 = 5*p - 2*p - 1464. Suppose -2*d - 57*x + 58*x = -8, 5*x = -2*d - 4. Suppose -5*n = 2*s - p, 6*n - 5*s - 299 = d*n. Does 11 divide n?
False
Suppose 4*h - 1848 = -4*h. Let t be (-2)/4*0 - 0/(-29). Suppose t = -4*v - 3*v + h. Is v a multiple of 32?
False
Suppose -5*c + c + 3*y + 43 = 0, -4*y = 5*c - 46. Suppose 0*z = -z - c. Let k(v) = -17*v - 44. Does 14 divide k(z)?
True
Let r(q) = -q**2 + q + 86. Let y(d) = -d - 8. Let s be y(-8). Let o be r(s). Suppose -a = -5*t + 198, 3*t - 2*a - o = 37. Does 13 divide t?
True
Let u = -490 + 475. Does 23 divide 276/u*110/(-44)?
True
Let v = -21 - 18. Let q(f) = 2*f**2 + 2*f - 6. Let y be q(0). Let a = y - v. Does 8 divide a?
False
Let j(g) = 5*g**3 + 7*g**2 + g + 2. Let f(n) = -n**3 + n - 3. Let m(o) = -4*f(o) - j(o). Is m(-7) a multiple of 4?
False
Let s(a) = 16*a + 3. Let v be s(3). Let b(z) = -24*z + 145. Let o be b(6). Let d = v + o. Is 5 a factor of d?
False
Suppose 62*i - 19803 = 57*i - s, 0 = -3*i - 2*s + 11893. Does 26 divide i?
False
Let y be (-135)/35 + 4 - 250/(-14). Let r = 29 + y. Does 4 divide r?
False
Suppose -20*k - 44*k = 107*k - 145008. Is k a multiple of 16?
True
Suppose -43 = f + 5*y - 2*y, -3*f - y = 89. Is 35/10*-3*f a multiple of 42?
True
Let t be -4*3/24*-106. Suppose -6*i + 2267 - t = 0. Is i a multiple of 3?
True
Suppose -5*t - 68 = -88. Suppose -496 = -t*x - 4*w, -4*x + 271 = -4*w - 217. Is 8 a factor of x?
False
Let y(h) = h**3 - 3*h**2 - h + 14. Let l(m) = m**3 + 7*m**2 + 6*m + 2. Let t be l(-5). Suppose 5*b - 2*d - 32 = 0, -4*b + d = 3*d - t. Is 16 a factor of y(b)?
False
Let z(t) = 4090*t - 227. Is z(14) a multiple of 90?
False
Let u(b) = -b**2 + 10*b - 7. Let c be u(9). Suppose 0 = -g - c*g + 15. Suppose 0 = 4*d - g*i - 0*i - 243, 2*i - 2 = 0. Is d a multiple of 7?
False
Suppose 2913 = 9*k + 816. Is k a multiple of 3?
False
Suppose -4*l + h = -1004, 32 = -4*h + 16. Suppose l*w - 119 = 249*w. Does 17 divide w?
True
Let i(a) = a**2 - 9*a + 2. Let o be i(9). Suppose 0 = -m - o*l + 151, 0 = m - l - 64 - 93. Is m a multiple of 31?
True
Suppose 0 = -3*m + 15, -3*t + 28*m - 26*m + 1304 = 0. Does 3 divide t?
True
Suppose 31 = l - 227. Let h = -230 + l. Does 28 divide h?
True
Is (153 - 21)/((-6)/(-968)) a multiple of 16?
True
Let h be (-2)/(-6) + 82/(-3) + -1. Let q be (h/21)/(4/6) + 31. Let i = 61 - q. Is i a multiple of 8?
True
Let s(z) = z**2 - 35*z - 105. Let m be s(38). Suppose -3*d = m, -917 = -y - d - 181. Does 71 divide y?
False
Let p = 4618 - -933. Is 91 a factor of p?
True
Let z = 52 - 125. Let m = 76 + z. Suppose 5*o = m*v - v - 96, -48 = -v - 5*o. Does 12 divide v?
True
Let q(z) be the third derivative of z**8/5040 + z**7/1680 - 17*z**5/30 - 31*z**2. Let j(a) be the third derivative of q(a). Does 30 divide j(6)?
False
Let b be 64/6*(-11 - (-125)/10). Suppose 0 = 5*r + z - 487, -14*z - 198 = -2*r - b*z. Is r a multiple of 15?
False
Let a = 20877 + -18210. Is 3 a factor of a?
True
Does 38 divide 4/(18 + 3535180/(-196400))?
False
Let a(m) = 47 - 82 - m + 46. Let x be a(7). Does 2 divide (1 + 0)/(x/152)?
True
Suppose 3*u + 4*r = 134, -3 - 9 = 3*r. Let t be u - -2*(-3)/(-6). Suppose -3*b + t + 9 = 0. Is 12 a factor of b?
False
Suppose 2*f - 2*u = 114, -5*u = 2*f + 3*f - 285. Suppose -174 = 5*g + k, -f + 215 = -5*g + 3*k. Let a = g - -43. Does 8 divide a?
False
Suppose 17 = 3*p + 8. Suppose -4*z = 4*u - 32, p*z + 0*u - 19 = -2*u. Does 8 divide 4/(357/(-120) + z)?
True
Suppose -2*r = -u + 4145, 0 = 3*u - 3*r - 68 - 12364. Is u a multiple of 9?
False
Let r be 1*(12 - 4) + 0. Suppose -5*w = -7*w + r. Suppose 2*j + 3*f = 76, j = -2*j - w*f + 113. Is 8 a factor of j?
False
Is 13 a factor of -52*(10/(-25) - (-146)/40)*-257?
True
Let v(c) = 21*c**3 - 8*c**2 + 38*c - 174. Is v(4) a multiple of 11?
False
Let w(z) = -z**3 - 10*z**2 + 30*z - 3. Let y be w(-12). Does 3 divide (-170)/(-4)*10/y*-9?
True
Let g(s) = -6*s + 21. Let m be g(6). Let o(j) = -j**3 - 14*j**2 + 7*j + 33. Does 13 divide o(m)?
False
Is 13 a factor of (-16*4/8)/((-2)/91)?
True
Let f(m) = m**3 - 4*m**2 - 11*m - 10. Let u be f(6). Let y be 2 - (u - -1) - 15. Is (-22)/(-3)*(-4 + (-55)/y) a multiple of 11?
True
Let j = -18 - -20. Let l be j/13 + (-12558)/338. Does 8 divide (-9)/(-3) - (l - 0)?
True
Suppose -5*f = -49*f + 14*f + 138510. Does 81 divide f?
True
Let c be -9*196/(-48) - 2/(-8). Let i = c - -19. Is i a multiple of 10?
False
Let y(b) = -b**3 + 35*b**2 + 54*b - 72. Let z be y(36). Is 9/(9/z*1) a multiple of 36?
True
Does 21 divide 216317/7 + -8 + 6/(-14) - -3?
False
Let y be 14/(-5)*6/(60/25). Does 9 divide ((-12)/(10 + y))/(6/(-231))?
False
Let r(m) = 21*m**3 - 12*m - 1. Let x be r(3). Suppose x = z + 2*a - 490, 0 = -z + a + 1020. Does 60 divide z?
True
Let f(r) = 212*r**2 - 463*r + 3697. Is 47 a factor of f(8)?
False
Suppose 439 = 7*j - 296. Suppose -h + 5*b = -j, -10*h + b - 315 = -14*h. Is h a multiple of 42?
False
Suppose 2*z = d - 38, 5*z - 200 = -4*d - 48. Let v = 45 - d. Is v a multiple of 3?
False
Suppose -v - 9 = 2*o, 4*v - o + 12 = 3*o. Let p(n) = -50*n - 19. Let c be p(v). Let d = c - 3. Is d a multiple of 19?
True
Suppose 0 = 2*m + l - 2380, -2*m - 115*l + 118*l = -2372. Does 41 divide m?
True
Suppose -4*o - o - 111 = -w, -4*o = -5*w + 72. Let q(n) = -n + 117. Is q(o) a multiple of 28?
True
Suppose 4*w + 3*x = 8*x - 51, 2*w - 3*x = -27. Let q be -3*8/w*120. Suppose 12*p - 10*p - q = 0. Is p a multiple of 15?
False
Let p(a) = 71*a**2 + a + 4. Let g be p(-2). Let x = g - 124. Is 12 a factor of x?
False
Suppose -4*l + r + 836 = -3*r, -5*r = 2*l - 411. Suppose -3*f + 4*y = -l, -7*f = -8*f - 3*y + 65. Suppose 4*c + 2*w = f, 0 = c + 5*w - w - 31. Does 1