 40. Is 7 a factor of k?
False
Let u(s) = -s**2 - 7*s + 4. Let f be u(-6). Let q be (3/(-2))/3*(11 + 109). Does 29 divide 1 - -3 - (f + q)?
False
Let m = 10 + -8. Suppose -5*d - 4*y + 46 = -175, -m*y = 2*d - 88. Does 15 divide d?
True
Suppose -11119 = -28*n + 1985. Is 18 a factor of n?
True
Let w(d) = -d**3 - 7*d**2 - 7*d - 1. Let s(r) = r**2 - 7*r - 2. Let b be s(8). Suppose 5*j + 28 = -v, -2*v + 4 = -j - b. Is w(j) a multiple of 5?
True
Let s be (3 + (-18)/(-14))*42. Suppose -2*y = -6*y + s. Suppose -y = -t + 2*r, -4*t + 8*t + 5*r = 128. Is 16 a factor of t?
False
Suppose -5*y = -5*s + 20, 5*s + y - 7 - 13 = 0. Is s a multiple of 2?
True
Let h be 1*-3 + (-3 - -10). Suppose 2*g + 42 = 4*q, 46 = h*q + 3*g - 1. Let r = 55 - q. Does 22 divide r?
True
Let o = -17 + 19. Let c(b) = o - 40*b + 2 - 1. Is 17 a factor of c(-2)?
False
Let i(l) = 1367*l**2 + 1. Is 36 a factor of i(-1)?
True
Let b(w) = w**3 + 8*w**2 + 6*w - 5. Let z be b(-7). Suppose -z*v = -6 - 0. Suppose 59 = v*u - 67. Is u a multiple of 7?
True
Does 47 divide (67 - 20)/(4 - (2 + 1))?
True
Suppose -89 = 8*z - 17. Does 4 divide 3*6/z + 23?
False
Let c(m) = -m**3 - 7*m**2 - 4*m + 14. Let p be c(-6). Is 2 a factor of 3 + 2/(p/(-3 - -2))?
True
Let k = -20 + 24. Suppose -w + 1 = 0, -2*n - k*w - 43 = w. Let s = 31 + n. Is s a multiple of 7?
True
Suppose n + 5 = 0, -5*p = -0*n - n + 40. Let z(m) = -3*m**2 - 6*m - 25. Let q(v) = -2*v**2 - 4*v - 17. Let c(f) = 7*q(f) - 5*z(f). Is c(p) a multiple of 12?
False
Let g be 0 + (-4)/(-2) + -1. Suppose 15*o - 13*o = -14. Is (2 + o)*g/(-1) a multiple of 2?
False
Let w(h) = -2*h**3 - 7*h**2 + 10*h + 9. Let f = -76 + 70. Is 14 a factor of w(f)?
False
Is 42/(-98) - 410*20/(-56) a multiple of 26?
False
Let p(w) = w**3 - 9*w**2 + 15*w. Let k = 9 - 1. Is 14 a factor of p(k)?
True
Let m(x) = x + 27. Let a be m(-19). Suppose -2*w + a*w - 120 = 0. Is w a multiple of 10?
True
Suppose -19 + 7 = -4*p. Suppose 4*d = 2*s + 22, -3*s + 3 = p*d - 0. Suppose -4*n = 3*y - 229, -2*y - 4*n - 146 = -d*y. Does 19 divide y?
False
Suppose -2*t + 5 + 5 = 0. Suppose 5*p - t*h + h - 222 = 0, -5*p + 238 = 4*h. Is 13 a factor of p?
False
Let o be 0*4/(-12) - -64. Suppose -6*x + 4*x + o = 0. Does 16 divide x?
True
Let n be (6 - -15) + (-2 - 1). Let z be 22 - 1 - (-36)/n. Let c = -5 + z. Is 18 a factor of c?
True
Let z = 20 - 15. Suppose 0 = 2*j - 3*j, 4*y - 64 = z*j. Is 5 a factor of y?
False
Let f = -701 - -916. Is 155 a factor of f?
False
Let b(v) = -v**3 - 6*v**2 + 2*v - 5. Let t be b(-8). Let k = -9 + t. Let m = -70 + k. Does 14 divide m?
True
Does 8 divide 4/74 - 655308/(-666)?
True
Let l be ((-28)/63*-3)/(2/9). Suppose -125 = l*k - 11*k. Does 7 divide k?
False
Let q(l) = -l**3 + 24*l**2 - 27*l + 196. Is 5 a factor of q(17)?
True
Let n = 1242 - 339. Does 32 divide n?
False
Suppose 0 = -5*z + 5*x, x - 12 = -4*z + z. Let n = -4 - -7. Suppose q = z*w - 2*w + 33, -n*q + 105 = -5*w. Is q a multiple of 10?
True
Let i(b) = 10*b - 14. Let g(h) = -21*h + 28. Let r(f) = 3*g(f) + 5*i(f). Does 23 divide r(-8)?
False
Let a be 3 + 0 + 6/(-2). Let i be ((-12 - a)/(-2))/2. Suppose -50 = -2*l + u, -i*l + 90 = l + 3*u. Is l a multiple of 10?
False
Suppose 5*m + 182*j - 16934 = 179*j, m = -5*j + 3378. Does 37 divide m?
False
Suppose -6*f = -4*f - 4*y - 436, -2*y + 418 = 2*f. Is f a multiple of 3?
False
Suppose -4*l + 2*l = -w - 6, -5*w - 18 = 2*l. Let c(a) = 8*a**2 + 4*a - 2. Is c(w) a multiple of 25?
False
Is ((2376/(-10))/12)/((-6)/20) a multiple of 6?
True
Let o = 8 + -5. Suppose 2*a + 0*p = 3*p + 171, o*a - 249 = -3*p. Is 21 a factor of a?
True
Suppose -3*c = -8*c + 540. Let o = 231 + -279. Let l = c + o. Is 30 a factor of l?
True
Suppose t = w + 1, -3*t + 3 = -5*w - 2. Suppose t*m = -3*m + 129. Is 7 a factor of m?
False
Let c(k) = -3*k**2 - k + 6. Let m be c(2). Let n(f) = -f**3 - 8*f**2 - 5*f - 12. Does 14 divide n(m)?
True
Suppose -3*u + 0*u = -9. Suppose -d + 44 = u*d. Is d a multiple of 11?
True
Suppose 0 = -3*n - 15, -3*s + n = -2577 - 1658. Is s a multiple of 57?
False
Let c(a) = 7*a**3 - a**2 - 4*a - 8. Is 16 a factor of c(3)?
True
Let r(x) = 130*x**3 - x**2 - 6*x + 12. Does 37 divide r(2)?
True
Let k(w) = 3*w + 10. Let u be k(-5). Let i(r) = 29*r - 16. Let g(y) = -28*y + 16. Let z(v) = u*g(v) - 4*i(v). Is 26 a factor of z(5)?
True
Suppose -113 = -6*d + 121. Does 9 divide d?
False
Let l = 415 + -256. Does 4 divide l?
False
Suppose -2*w + 4236 = 2*w - 4*s, -3*s + 3 = 0. Suppose -w + 76 = -12*y. Is y a multiple of 20?
False
Let t = 15 + -13. Let g(i) = 15*i + 2. Is 11 a factor of g(t)?
False
Suppose -5*u + u = -48. Suppose -8*b + u = -5*b. Suppose b*c - 29 = h, -3*c = -c + h - 13. Is 2 a factor of c?
False
Let k(g) = 121*g**2 + 105*g - 10. Does 30 divide k(-5)?
True
Let j(n) = 19*n**2 - 12*n + 5. Is j(6) a multiple of 49?
False
Let m be -3 - 1*-4 - -3. Suppose -l - m*p - 9 = 0, 0 = 5*l - 0*p + 3*p - 6. Is (-39)/(5/((-20)/l)) a multiple of 15?
False
Let y(r) = 7*r**2 - 8*r + 99. Is 22 a factor of y(9)?
True
Suppose 0 = -53*m + 14*m + 17784. Does 3 divide m?
True
Let z(h) be the first derivative of -7*h**3/3 - 13*h**2/2 + 21*h + 3. Let b(l) = 3*l**2 + 7*l - 10. Let o(u) = 9*b(u) + 4*z(u). Does 6 divide o(7)?
False
Let i(x) = x - 5. Let s be i(2). Is 20 a factor of s/(-18) - (0 + 359/(-6))?
True
Let c(r) = -3*r**3 + 4*r**3 + 12 + 4*r - 6*r**2 - 4*r**2. Suppose -5*u = -3*k - 1 + 21, 3*k + 5*u = 40. Does 21 divide c(k)?
False
Suppose -2*u - 2980 = -2*g - 0*u, 3*u - 4446 = -3*g. Does 28 divide g?
False
Let o be (348/(-20))/(3/(-15)). Is (6 - o/12)/((-2)/104) a multiple of 6?
False
Suppose -q + 411 + 13 = 0. Suppose -3*s - s = -q. Is 28 a factor of s?
False
Suppose 0 = 2*o + 2*o + 2*f - 126, -3 = -3*f. Let a be (0*(-1)/4 - -17)*1. Let y = o - a. Is y even?
True
Let w(c) = c**2 - 6*c + 5. Let h be w(5). Suppose 0 = -v - 39*v. Suppose h = 3*b - 5*u - 5, -15 = -v*b - b - u. Is b even?
True
Let s = -114 + 695. Is 103 a factor of s?
False
Is 11/((-11)/(-76)) - -4 a multiple of 40?
True
Is 19 a factor of 86*(-4)/(-8)*(0 + 1)?
False
Let a(o) = -49*o + 91. Is 16 a factor of a(-33)?
False
Let m(t) = t**3 + 9*t**2 + 8*t + 3. Suppose 5*z = -5*l - 30, -5*l - 38 = -5*z + 2*z. Let v be m(l). Suppose v = 4*r + r. Does 3 divide r?
True
Let p be 20/30*(-18)/(-4). Let b be (p/3)/(1/(-1)). Is (b + -7)*6/(-4) a multiple of 3?
True
Let q(n) = 2*n**3 + 63*n**2 + 70*n + 97. Is 23 a factor of q(-29)?
False
Let u(q) be the third derivative of -q**6/60 + q**5/30 + q**4/4 + q**3/2 + q**2. Let p be u(-4). Suppose -5*v + p = c, 5*v + c - 143 = -c. Is 9 a factor of v?
True
Suppose 2130 = -0*b + 6*b. Suppose -b = 4*g - 0*i + 5*i, -3*g - 271 = -i. Is 27 a factor of (-18)/5*g/4?
True
Suppose 3*b - 3*l = -0*b + 27, -2*b = 5*l + 17. Suppose -t + 53 = 5*g, b*g = -5 - 3. Does 7 divide t?
True
Suppose 0 = 13*k - 2912 + 338. Is k a multiple of 9?
True
Suppose 2*l - 2464 = -5*h, 0 = -2*h + 4*h - l - 982. Is h a multiple of 6?
True
Suppose q + 57 = -5*a, -5*a + 11*q - 45 = 6*q. Let p(f) = -f**2 - 10*f + 15. Let l be p(a). Is 31 a factor of (l/2)/((-4)/(-62))?
True
Suppose -d + 204 = y, -363 - 450 = -4*y - 5*d. Does 23 divide y?
True
Suppose 4*h = 1953 + 3387. Is 85 a factor of h?
False
Suppose 4*d - 6*y + 3*y + 220 = 0, -d + 2*y - 60 = 0. Let b = -37 - d. Is 15 a factor of b?
True
Suppose -4*f = -9*f + 2860. Does 13 divide f?
True
Suppose 2 = 3*x - 10. Suppose x*k = 60 + 12. Is 6 a factor of k?
True
Suppose 11*y - 8 = 7*y. Suppose 2*m = -3*w - 0 - 11, 2*m = -y*w - 6. Is 6 a factor of 985/25 - m/5?
False
Is 11 a factor of (-37)/(((-5)/15*3)/1)?
False
Let l be (5 + -4 - -2)*(1 - 0). Suppose i + 169 = 4*z, -4*i = -z - l + 49. Does 21 divide z?
True
Let v be -11 + 16 + 1 + -5. Suppose 5*o - 176 = 3*a, 4 = a + v. Does 18 divide o?
False
Is 21 a factor of -6 - -71*(4 - (2 - 4))?
True
Let i = 428 + 253. Does 6 divide i?
False
Suppose 4*z = i + 3253, -6*z - i = -z - 4073. Does 39 divide z?
False
Suppose d = 3*a + 237, 2*d - 207 = 2*a + 271. Does 15 divide d?
True
Suppose 4*f = -2*i + 46, -i - 4*i + 3*f + 76 = 0. Suppose -i*x = -14*x - 48. Does 3 divide x?
False
Let x be 2/(-1) - (62 + -4). Let v = -46 - x. Is v a multiple of 7?
True
Suppose -3*p - 58 = -l, 4*l - 2*p = -6*p + 168. Suppose 0 = -2*u + 5*i + 46, 0 = -2*u - 3*i - 2*i + l. Is u