se 0*t - 4*t + 47 = -f*r, 0 = 3*t + r - 40. Is 13 a factor of t?
True
Let i = -2279 + 3710. Is 27 a factor of i?
True
Let j = 103 - 96. Suppose 41 + 85 = j*d. Is d a multiple of 6?
True
Let i(u) = 2*u + 3. Let d be 2/4*-1*0. Let t be i(d). Let q = t + 12. Is q a multiple of 6?
False
Suppose -155 = -5*q - d - 4*d, 3*d = -q + 35. Let a = 71 - q. Does 10 divide a?
False
Let r be 6/(-21) + (-88)/(-14). Suppose 2*w = w - r. Does 11 divide 3255/55 - w/(-33)?
False
Let o = 0 + 3. Let w be -2 + (6 - o - -3). Is (-3*1)/(w/(-8)) even?
True
Suppose 4*l - 516 = -2*j, 2*l + 3*j = 7*l - 645. Is l a multiple of 13?
False
Suppose 0 = 3*l + 3*w - 786 + 60, 4*w - 1206 = -5*l. Is l even?
True
Let o(g) be the first derivative of -g**2/2 + 11*g - 4. Let c be o(10). Is (12/8)/c*2 a multiple of 2?
False
Suppose 3407 = 9*i - 184. Is i a multiple of 7?
True
Let l(n) = -n**3 + 10*n**2 + 14*n - 10. Let h be l(11). Let w = -23 + h. Let g(s) = s**2 + s + 21. Is g(w) a multiple of 7?
True
Let t be -6*(3 + 93/(-9)). Suppose 3 = -0*u - u, -4*h + 4*u + 36 = 0. Suppose -q = 2*v - 77, v + q - h*q - t = 0. Is v a multiple of 13?
True
Suppose 3*l - 2304 = -5*s, l + 908 = 3*s - 480. Is 14 a factor of s?
True
Let v(h) = -h - 6. Let x be v(-3). Let m be (1 - x - 2) + -28. Is -10*(m/(-10) - 3) a multiple of 2?
True
Let t(x) = x**2 - 3*x - 9. Let y = 45 - 13. Suppose -n = o + 3*n - 10, y = 5*o + 2*n. Does 4 divide t(o)?
False
Let c(r) = r**2 - 8*r + 3. Let d = 19 - 11. Let j be c(d). Let u = j - -2. Does 2 divide u?
False
Suppose -106*a + 75*a = -20212. Is a a multiple of 11?
False
Let w be (-1)/(1*4/(-36)). Let q = -7 + w. Suppose -x + q*x = 66. Does 22 divide x?
True
Suppose 0 = -4*s + 24 - 4. Suppose -12 = -s*g + 88. Is (-47)/(-5) + (-8)/g a multiple of 2?
False
Let y(q) = 4 - 4 + 4*q - q**2. Let j be y(4). Suppose 5*a + 215 = 5*c, j = c + c + 3*a - 81. Does 14 divide c?
True
Let s(v) = 225*v**3 + 3*v**2 - v - 1. Is 11 a factor of s(1)?
False
Is 6 a factor of ((-7622)/(-18) - -2) + 24/(-54)?
False
Suppose -3*n = -1 + 25. Let r(t) = 2 + 4*t - 11*t + 6 + 4*t. Is 16 a factor of r(n)?
True
Let s(m) = -81*m - 153. Does 16 divide s(-9)?
True
Let f(y) = -6 - 211*y - 11*y**2 + 2*y**3 + 224*y - y**3. Let k be f(10). Suppose -2*m + 126 = k. Is 27 a factor of m?
False
Let i(v) = v**2 - 5*v. Let z be i(5). Suppose -2*w - g + 47 = z, 4*g - 21 = -w + g. Is w a multiple of 8?
True
Let u(x) = 19*x + 257. Does 6 divide u(-5)?
True
Let d(h) be the third derivative of -h**5/60 - h**4/4 - h**3/2 - 5*h**2. Let y be d(-2). Suppose -y*s + 75 = 5*w, 4*s - w = -2*w + 69. Is 11 a factor of s?
False
Let c(v) = -v**3 + 9*v + 731. Does 29 divide c(0)?
False
Let g = 1308 + -732. Does 48 divide g?
True
Suppose -8*x - 72 = x. Let d = 31 + -20. Let s = x + d. Is s a multiple of 3?
True
Let s(h) = h**3 + 4*h**2 - 2*h. Let p be s(-4). Let m(z) = -11*z - 5*z + p + 22*z - 12*z + z**2. Is 8 a factor of m(6)?
True
Let p(b) = 16*b - 5. Let s(t) = -8*t + 3. Let j(q) = 2*p(q) + 5*s(q). Is 11 a factor of j(-9)?
True
Suppose -25 = -2*p - 3*p, -70 = -5*l - 2*p. Suppose -247 = i - 229. Does 8 divide (i/15)/(l/(-400))?
True
Let j be ((-72)/120)/((-1)/5*-1). Is 23 a factor of (322/j)/7*(-3)/2?
True
Suppose 110 + 31 = l. Suppose -20 = -5*b, n + 3*b + l = 4*n. Suppose -4*g + n = -g. Is g a multiple of 13?
False
Let l be 2266/9 - 4/(-18). Suppose 5*i + 277 = 4*t, -3*t + 5*i + l - 38 = 0. Is 15 a factor of t?
False
Let g(i) = 158*i**3 - i**2 + 2. Let p be g(1). Let z = p + -155. Is 2 a factor of z?
True
Let z(y) = 88*y**3 - y**2 + 1. Let k be z(-1). Let d = k - -60. Is 6 a factor of (-20)/8*d/5?
False
Let b(s) = -s**3 + 2*s**2 + 11*s - 8. Suppose k = 25 - 21. Let x be b(k). Suppose 0 = x*f - 227 - 173. Is f a multiple of 25?
True
Let z = -291 + 984. Does 21 divide z?
True
Let g = -440 + 766. Suppose -4*w + 354 = 5*h, -5*w + g - 41 = 4*h. Does 12 divide h?
False
Suppose 0 = -2*h - h. Suppose h = 3*x + 2*x. Suppose t + x*t - 11 = 0. Is 9 a factor of t?
False
Suppose 144 + 130 = 2*y. Is y a multiple of 16?
False
Does 31 divide (447/1)/((-72)/(-48))?
False
Let q be (1 - (-12)/4)/1. Is 10 a factor of q + (-10)/(1 - 2)?
False
Let j(r) = r**3 + 14*r**2 + 13*r - 8. Let w be j(-13). Let c be w*(10/(-4) - -2). Does 2 divide (2 - c/1)*-2?
True
Suppose -8 = -2*w + 5*y - 4*y, 3*y = 0. Suppose -g + 206 = -3*o, -g + w*g = 2*o + 632. Let h = g + -136. Is h a multiple of 19?
True
Let w(a) = 4*a + 4. Let z be w(-1). Suppose -4*t + 3*o + 380 - 124 = z, 0 = 3*t - 3*o - 195. Does 15 divide t?
False
Let l be (-5)/2 - (-1)/2. Let n(d) = -5*d**3 - 3*d**2 - 6*d - 4. Does 12 divide n(l)?
True
Does 2 divide (-613)/(-3) + (-83)/249?
True
Let c be (-36)/(-5)*(4168/16 - -2). Suppose j - 10*j = -c. Is j a multiple of 35?
True
Suppose 0*m = -5*u - 5*m + 7335, 3*m = -15. Is u a multiple of 92?
True
Suppose 4*b - s - 4*s + 319 = 0, 0 = -3*b - 4*s - 216. Let a = b - -28. Let r = a + 88. Is 35 a factor of r?
False
Suppose 3*k + k = 4*h + 24, 4*h - 3*k + 25 = 0. Let i be ((-2)/(-2))/(h/(-21)). Suppose 4*r = -2*c + 24, -2*r + i*r - 12 = c. Is 8 a factor of r?
True
Suppose 0 = -2*r + 8, -r = 2*m - 6*r + 14. Suppose 5*x + 3 = -3*f, 0 = f + 4*f - m*x + 39. Let w = 19 - f. Is 25 a factor of w?
True
Let p(x) = 3*x**2 - 24*x - 147. Is 7 a factor of p(-7)?
True
Suppose 228 + 7076 = 44*x. Is x a multiple of 4?
False
Suppose 4*t = -0 + 164. Suppose 29 = 2*z - t. Does 10 divide z?
False
Suppose -6 = -14*z + 16*z, 0 = 2*w + 4*z - 1790. Is 53 a factor of w?
True
Suppose -2*v = 3*o - 11, -4*v + 20 = 5*o + v. Let z be ((-20)/5)/(2 - 0) - -2. Suppose z = -o*k + 2*k + 32. Is k a multiple of 16?
True
Let g = -28 - -48. Is 7 a factor of (5/g)/((-2)/(-104))?
False
Let o(v) = 618*v**2 + 20*v - 18. Is o(1) a multiple of 2?
True
Suppose 372 = 4*q - 5*u, 3*q - 3*u = 7*q - 372. Does 2 divide q?
False
Let i = -1401 - -2506. Is i a multiple of 17?
True
Suppose -22*p + 21*p = -29. Let r = p + -29. Let v = 36 + r. Does 6 divide v?
True
Let u = -1999 - -1294. Is u/(-2 - 3) + 2 a multiple of 46?
False
Let q(g) = -4*g**3 - g**2 - g - 1. Let d be q(-1). Suppose 0 = -5*z + d*z - 36. Let k = 48 + z. Does 13 divide k?
False
Let t(r) = -4*r - 4. Let m = -7 + -18. Let j = m - -22. Is 4 a factor of t(j)?
True
Let o be ((-321)/2 - 2) + 3/6. Let f = o - -261. Is 6 a factor of f?
False
Is 20 a factor of 50*((-18)/(-15) + 0)?
True
Let y(l) = 20 - 6*l + 5*l + 5*l. Let m(x) = -18*x**3 - 3*x**2 - 5*x - 4. Let b be m(-1). Is y(b) a multiple of 21?
True
Suppose f + 2*f - 4*p = 640, 633 = 3*f + 3*p. Suppose v + v - f = 0. Does 20 divide v?
False
Let d = -1012 + 1580. Is d a multiple of 69?
False
Let j(a) = 8*a**2 - 2*a - 3. Let v(o) = o. Let l(h) = j(h) + 3*v(h). Let d(n) = -n**3 + 6*n**2 + 7*n - 3. Let f be d(7). Is 22 a factor of l(f)?
True
Suppose 2*y + 34 = -88. Let f = y + 111. Is f a multiple of 25?
True
Suppose d - 32 = 13. Let w = d + -132. Does 19 divide -2*(w/3 + 3)?
False
Let l(i) = 27*i + 0 + 24*i - 8. Let z be l(3). Suppose -y + 51 = -5*g, 0 = -5*y - 4*g + z + 52. Does 5 divide y?
False
Let x be ((-30)/(-4))/((-8)/(-16)). Let r = x + 9. Is 6 a factor of r?
True
Let z be 1*-1*(11 + -22). Let q(l) = 7*l + 11. Is q(z) a multiple of 22?
True
Suppose -i - 2*t = -5*i + 324, 4*t = 5*i - 402. Let g = i - 4. Is 13 a factor of g?
True
Let t = 987 - -801. Is 12 a factor of t?
True
Let h be 184/18 - 10 - 7/(-9). Let g(b) be the third derivative of 14*b**5/15 + b**4/24 + b**2. Is g(h) a multiple of 19?
True
Let q(h) = -9*h**3 + 19*h**2 + 11*h - 3. Let u(y) = 5*y**3 - 10*y**2 - 5*y + 2. Let t(j) = -4*q(j) - 7*u(j). Is 35 a factor of t(9)?
False
Suppose 5*z - 25 = 0, -i = 12*z - 11*z - 1300. Suppose -i = 21*l - 28*l. Is l a multiple of 37?
True
Suppose 2*b - 745 - 655 = 0. Is 35 a factor of b?
True
Suppose -14 = -5*x + 6. Suppose 5*t = x*t + 27. Is (-4)/(-18) - (-939)/t a multiple of 31?
False
Suppose -6 = -d - 2*t, -15 = 3*d - 8*t + 3*t. Suppose z = d, -4*f - 2*z + 233 = -647. Suppose 3*w + 2*w - f = 0. Is 13 a factor of w?
False
Let b(a) = -2*a - 6. Let p be b(-7). Suppose 0 = 2*o + p. Let q(s) = -12*s + 8. Is q(o) a multiple of 14?
True
Let v = -88 + 650. Is v a multiple of 64?
False
Let n(j) = j**3 - j + 1. Let b be n(0). Suppose l + b = h - 3, -4*l - 7 = -h. Suppose 54 - 3 = h*w. Does 11 divide w?
False
Let w