- 4*n**2 + 4. Let l be k(-2). Does 26 divide ((-455)/l)/(0 + (-2)/48)?
True
Suppose 4*l = -28 - 4. Let f = 11 + l. Suppose -f*r + 44 = r. Is 11 a factor of r?
True
Let o be ((-4)/(-6))/(22/2277). Suppose 0 = 2*v - o - 35. Is 26 a factor of v?
True
Suppose -19*u = 7*u - 8684. Does 28 divide u?
False
Does 76 divide (-6 - -4) + (-13014)/(-9)?
True
Let h = 184 - 59. Suppose 0 = 2*m - 5*c - h, 0*m - 5*m = 2*c - 356. Is 7 a factor of m?
True
Let i = 312 - -26. Is 13 a factor of i?
True
Suppose -3*w = -2 - 10, -4*w = -y + 65. Is y a multiple of 5?
False
Suppose -74 + 89 = 5*n, -5*n = -5*i + 1270. Is 19 a factor of i?
False
Let p(u) = -6*u + 215. Is p(14) a multiple of 2?
False
Let z = 114 - 31. Let n = -59 + z. Let m = n - 19. Is 5 a factor of m?
True
Suppose 0*w + 506 = -2*w + m, 5*m + 1040 = -4*w. Let t = -175 - w. Does 6 divide t?
False
Suppose -d - 2*d - 12 = 0. Let k = d - -46. Is k a multiple of 42?
True
Suppose 4*f - 198 - 342 = 0. Does 9 divide f?
True
Let z = 37 + -35. Suppose -z*j = -5*x + 874, 5 = -3*j + 14. Does 22 divide x?
True
Let q(z) = 7*z**2 - 43*z + 389. Does 2 divide q(12)?
False
Let v be 10310/(-40) + 1/(-8)*2. Let p = v + 364. Is 40 a factor of p?
False
Let c be 2*-1*10/(-20). Suppose 0 = -a - 3*i + 43, -2*a - 5*i - c = -89. Suppose -6*n - a + 223 = 0. Is n a multiple of 19?
False
Let l(s) be the third derivative of -13*s**7/5040 - s**6/240 - 2*s**5/15 + 5*s**2. Let f(t) be the third derivative of l(t). Is f(-3) a multiple of 13?
False
Suppose 0 = 4*t - 7*t + 237. Is 6 a factor of t?
False
Suppose 4*w - 3*v + 141 = -0*v, 4*w + 146 = -2*v. Suppose -2*r - 114 = 3*a, -3*r + 10*a - 133 = 5*a. Let l = w - r. Is l a multiple of 3?
True
Let f = -160 - -312. Suppose -d - f = -5*d. Is 4 a factor of d?
False
Let b = 2236 - -1069. Does 77 divide b?
False
Suppose 0 = -3*x - 2*g + 1957, 0*g + 1943 = 3*x - 5*g. Suppose -4*n + 4267 = -5*c + x, -3*n + 2893 = -4*c. Is c/(-18) - (-16)/(-72) a multiple of 10?
True
Suppose 4*x + 12 = 0, 2031 - 6006 = -3*p - 3*x. Is p a multiple of 41?
False
Let c(a) = -3*a**3 - 8*a**2 - a + 7. Let i be c(-6). Let b = i - 257. Is 16 a factor of b?
False
Let r(b) = b + 28. Suppose 3*a - 2*n = -2 - 6, -5*n = a + 31. Is r(a) a multiple of 16?
False
Let b be -2*4/((-8)/13). Suppose 622 - 76 = b*p. Is 11 a factor of p?
False
Suppose -5 = -c - 3*g, -3*c - 2*g + 14 = -c. Let z = 76 - c. Does 11 divide z?
False
Suppose -3*p + 4*v + 24 = 2*p, -5*p = -2*v - 22. Suppose -j + d + 8 = -3*d, 0 = -4*d + p. Is (-49)/14*j*-1 a multiple of 14?
True
Suppose 0 = x - 16 + 12. Suppose -4*n - 110 = -g, -x*n = 2*g - 0*n - 232. Does 19 divide g?
True
Suppose 0 = -2*c + 188 + 792. Is c a multiple of 10?
True
Suppose -4*j + 13 = -23. Suppose -4*l = -j + 1. Is (133/14)/(l/4) a multiple of 5?
False
Does 53 divide 86/645 - (0 + 46316/(-30))?
False
Let d = 26 + 1. Let j(z) = 11*z + 131. Let t be j(-7). Let i = t + d. Is i a multiple of 27?
True
Let h = -964 + 1486. Does 7 divide h?
False
Is 7 a factor of (-66)/(4/4)*-1?
False
Suppose 3*p - 4*l - 3 - 13 = 0, 5*p + 4*l - 48 = 0. Let f = -5 + p. Is 9 - f*(-2 - -1) a multiple of 6?
True
Let n(k) = -k**3 + 2*k**2 - 2*k - 8. Is 8 a factor of n(-8)?
True
Let u(s) = 2*s - 3 + 4 - 3 + 6. Let b be u(0). Suppose 2*l - 30 = b*c + 30, 0 = 2*l - 2*c - 52. Is l a multiple of 6?
False
Let k = -102 + 107. Suppose 314 + 71 = k*f. Is 24 a factor of f?
False
Let w(g) = g**2 + 2*g - 3. Let f be w(-3). Suppose 3*b - 7*b + 12 = f. Suppose 0 = -2*z + 3*v - 8*v + 2, b*v = 3*z - 24. Is z a multiple of 3?
True
Suppose -34 = -6*q + 26. Suppose q*i - 75 = 105. Does 4 divide i?
False
Is 35 a factor of 5/1 + (-89100)/(-44)?
True
Let y(h) = -h**3 - h**2 + 2*h - 2. Let l be y(2). Let z = l + 62. Is z a multiple of 13?
True
Let r(n) be the third derivative of -n**7/2520 + n**6/45 - n**5/15 - 11*n**4/24 + 6*n**2. Let p(j) be the second derivative of r(j). Is p(10) a multiple of 13?
True
Suppose u = 5*u - 16. Suppose 4*t + 64 = 3*l - 183, 0 = 2*t + 8. Suppose 33 = o - 5*c, 5*c + u = 2*o - l. Is 12 a factor of o?
True
Suppose -3*y + 0 + 6 = 0. Let n be (-5)/35 + (-2)/21*-33. Suppose -n*a + y*a + 40 = 0. Does 21 divide a?
False
Let s = -7 + 6. Let y be (-90)/(-12) + s/2. Is 11 a factor of -24*y/4*-1?
False
Suppose 5*j - 5*g - 3339 = -264, 5*j + 2*g - 3054 = 0. Is j a multiple of 17?
True
Suppose 0*n - 3840 = -5*n. Is n a multiple of 16?
True
Let p(d) = -207*d**3 + 2*d**2 + 13*d + 11. Does 17 divide p(-2)?
True
Let m = -806 - -854. Does 8 divide m?
True
Suppose -223*z = -215*z - 4000. Is z a multiple of 13?
False
Let x(w) = 14*w**2 + 10*w + 3*w + w**3 + 2 + 0*w**3. Let o be x(-13). Suppose -o*r = 2*i - 112, -i = -2*r - 1 + 98. Does 11 divide r?
False
Suppose 0*x + 2 = x. Let d(p) = 4 - 4*p**x - 2*p**2 + 2*p**2 + 5*p**2. Is d(-3) a multiple of 4?
False
Let y(i) = 5*i**2 - 2*i + 30. Is y(4) a multiple of 29?
False
Let v(z) = -26*z + 18. Is 2 a factor of v(0)?
True
Let d(y) be the third derivative of y**5/60 + 11*y**4/24 - 3*y**3/2 - 8*y**2. Let t be d(-11). Is -4*(3 - t)/(-2) a multiple of 17?
False
Is (-3 - -10)/((-1)/(-2)) a multiple of 7?
True
Suppose 4*o - 237 = -n, -n = -3*o + 150 + 33. Does 15 divide o?
True
Let p(q) = -q + 2. Let b be p(3). Let i be ((-78)/(-9))/(b/(-6)). Is 17 a factor of 1/1 + 6 + i?
False
Let y(h) = -h**3 - h**2 - 7*h - 4. Let t be y(6). Let n = -188 - t. Suppose -5*p + 112 = -4*w, 2*p + 3*p - n = 5*w. Does 8 divide p?
True
Let q = 9 - 5. Suppose q*j = -j + 20. Suppose 12 = f + j. Is f a multiple of 6?
False
Let p be 3 + 0 + (-54)/(-1). Let z = -15 + p. Does 42 divide z?
True
Let l be (-2)/17 + 106/34. Let k be ((-350)/5)/((-6)/l). Is (-8)/(-28) - (-515)/k even?
False
Let o = -5 + 0. Is 15 a factor of o/(-10)*-8 - -49?
True
Let o(z) = -z**3 - 2*z**2 - 90*z + 12. Does 24 divide o(-14)?
True
Let v(d) be the first derivative of -d**2 - d + 4. Let p be v(-5). Suppose 2*h = i + 31 + 70, 3*i = -p. Is h a multiple of 20?
False
Let x be -2*(-6)/8*2. Suppose -x*p + 36 = -96. Is 13 a factor of p?
False
Suppose 0 = -62*p + 57*p + 1210. Does 14 divide p?
False
Suppose 5*j = -g + 442, -3*g = 9*j - 10*j + 98. Does 22 divide j?
False
Let i(x) = 2*x**2 + 28. Let p be i(0). Suppose -202 - p = -2*q. Does 23 divide q?
True
Let q be -2 + (2 - (-72 - 4)). Suppose -4*a + 2*k = -a - q, 4*a - k = 103. Is 12 a factor of a?
False
Let t = -4346 - -9306. Does 32 divide t?
True
Let h be (-552)/96*-4*1. Let j be 1542/9*3/2. Suppose 2*u = h + j. Is 36 a factor of u?
False
Let h = -250 + 544. Does 21 divide h?
True
Let v(k) = 10*k**2 + 5*k + 2. Let g be v(-6). Suppose -4*a = -0*a - g. Is 13 a factor of a?
False
Suppose 30 = 5*c - 30. Let d be 2/(1 + c/(-15)). Is (24/20)/(4/d) even?
False
Let u(v) = -180*v + 8. Is 6 a factor of u(-4)?
False
Suppose -2*a + 8 = -2*g, -4*g + a + 4 = 32. Let d be g/6*24/(-16). Is ((-90)/(-12))/(1/d) a multiple of 5?
True
Suppose j - 42 = -41. Is 17 a factor of j - -3 - 1*(-216 + -1)?
True
Let m be (6/5)/((-20)/(-50)). Suppose -b = -m*j - 9, 5*b - 3*j + 8*j = 85. Does 15 divide b?
True
Let u(x) = 5*x**2 + 33*x - 29. Does 15 divide u(8)?
True
Suppose -2*u + 30*j + 74 = 34*j, 0 = -u - 4*j + 27. Is 2 a factor of u?
False
Suppose 10*q + 726 = 2166. Is q a multiple of 53?
False
Let l be 5*(8 - (0 + 4)). Let k(g) be the third derivative of -g**5/60 + g**4 - 5*g**3 + 6*g**2. Does 12 divide k(l)?
False
Let f(v) = v**3 - 18*v**2 + 21*v. Let q be f(17). Let g = q + -38. Is 12 a factor of g?
False
Let h(y) = 3*y**2 - 18*y + 59. Is 10 a factor of h(9)?
True
Let s(q) = q + 15. Let m(z) = 1. Let c(l) = -5*m(l) + s(l). Is 7 a factor of c(-3)?
True
Let r(h) = h**2 + 13*h - 7. Suppose 42 = -14*i + 11*i. Let s be r(i). Suppose 0 = 4*n - s*n + 96. Is 8 a factor of n?
True
Let x(w) = -1467*w - 5. Is x(-1) a multiple of 14?
False
Let a = 26 + -46. Let j be (24/(-7))/(a/210). Suppose 3*c = -c + j. Is c a multiple of 2?
False
Suppose -2*l - 5*s = -2333 - 1493, -5734 = -3*l - 5*s. Is 79 a factor of l?
False
Is 27 a factor of ((-5)/(-4) - 1) + 391918/136?
False
Suppose 7*x + 189 = 3*d + 5*x, -3*x = -5*d + 315. Is 7 a factor of d?
True
Suppose -111*s - 206 = -113*s. Does 6 divide s?
False
Let p = 9 - -11. Let r = 117 + -66. Let l = r - p. Does 31 divide l?
True
Let v = 24 + 816. Does 5 divide v?
True
Let s(j) = -10*j**3 - j**2 + 3*j +