x - l. Let j = x - 7. Is 2 a factor of j?
True
Is (-10 - -27) + 1652 + 0/1 a multiple of 11?
False
Suppose -5*a - 3814 = 8*r - 11*r, r + 4*a = 1260. Is r a multiple of 18?
False
Is (-9 - 609/(-14))*(0 - -42) a multiple of 21?
True
Suppose 0 = 7*s - 5*s + 6, 4*h = 4*s + 12. Suppose -2*w + 3*w - 3*l - 20 = 0, 2*l = 0. Let p = w - h. Does 9 divide p?
False
Let g be (1/2)/(18/(-396)). Is 4/(16/(-4))*-1 - g a multiple of 11?
False
Let f(g) = 4*g**2 + 26*g - 2. Is 18 a factor of f(8)?
False
Let s(j) = -15*j + 20. Let o be s(8). Let q = o - -152. Does 11 divide q?
False
Let s = 1947 + -957. Does 33 divide s?
True
Let a be 0 + 0 + -3 - -5. Suppose -3*v = -2*m + a*v, -3*m = v. Suppose m = -2*j - 5*q + 31, j - 11 = -j - q. Is 2 a factor of j?
False
Suppose 2*r = -2, -x = 2*r - 0*r + 7. Let n(a) = a**3 + 6*a**2 + 2*a - 10. Let c be n(x). Suppose -c*y + 6 = -69. Does 15 divide y?
True
Suppose -5*j + 19 + 6 = 3*n, n - 25 = -5*j. Let f = -26 + 31. Suppose f*m - 25 = -n*m. Is m a multiple of 5?
True
Let k = -282 - -823. Is 23 a factor of k?
False
Let j(t) = t**3 - 2*t**2 - 3*t + 836. Is 72 a factor of j(0)?
False
Let r = 1091 - 439. Does 72 divide r?
False
Suppose -1140 = -20*v + v. Is 10 a factor of v?
True
Let m = -65 - -62. Let t(k) = -2*k**3 - 2*k**2 + k - 2. Is t(m) a multiple of 31?
True
Let b(q) = 19*q - 1. Let l(x) = x**3 - 6*x**2 - 6*x - 8. Let t be l(7). Let s be b(t). Does 8 divide 149/5 - 4/s?
False
Let u = -173 - -239. Does 22 divide u?
True
Suppose 7*x - 6*x = 299. Is 23 a factor of x?
True
Suppose -37 = -3*o + 2*k + 1, -o - 3*k + 31 = 0. Let w(b) = b**3 + 4*b**2 - 6*b + 2. Let u be w(-5). Suppose 8*x - o = u*x. Is 8 a factor of x?
True
Suppose -2*b + 7787 - 1657 = 0. Is 32 a factor of b?
False
Let s = 1075 + -859. Is s a multiple of 36?
True
Suppose 0 = -3*k + 2*w + 1622, 6*k - 7*k + 5*w + 558 = 0. Is 10 a factor of k?
False
Suppose -4*v + 0*v = -1296. Suppose -2*i = -u + 102, -3*u + 0*u - 3*i + v = 0. Is 17 a factor of (-4 + u)/((-6)/(-4))?
True
Suppose -2*y + 72 + 46 = 0. Suppose -5*d + y = -1. Does 4 divide d?
True
Let i = 1231 - 879. Is i a multiple of 5?
False
Let o(y) = -y**3 - 4*y**2 + y - 4. Let f be o(-6). Is 16 a factor of 1 + f/(6/3)?
True
Suppose 4*d - 2*v = 38 + 54, v = -2*d + 46. Let h = d + -14. Let u = 9 + h. Does 6 divide u?
True
Suppose -2*m + 10 = 4*h - 0*m, 0 = 3*h + m - 10. Let s(z) = -8*z**2 - 2*z + 4*z + h*z + 10 + z**3. Does 10 divide s(7)?
True
Let l = 11 - 11. Suppose 12 = -3*n + 2*c - 0, -3*c = l. Is (0 + 2/n)*-8 even?
True
Suppose -2*t = -3*o - 40 - 67, 2*t + 5*o - 147 = 0. Let z = -33 + t. Suppose 3*x = z + 23. Is 6 a factor of x?
False
Suppose -4*a - 5*c + 2990 = 0, -10 = c + 4*c. Is a a multiple of 15?
True
Let f be (24/(-9))/(3/(9/(-1))). Is 13 a factor of 4/18 - f/9*-29?
True
Let h(p) = 1 - 2 + 21*p**2 + 16*p**2. Let v be h(1). Let g = 65 - v. Does 13 divide g?
False
Suppose z - 13*z + 9636 = 0. Does 33 divide z?
False
Does 35 divide 2*105/3*336/21?
True
Let i(l) = -l + 15. Let x be (1/(-3))/((-5)/180). Let j be i(x). Suppose 0 = -j*q - 2*q + 335. Is 20 a factor of q?
False
Suppose -21*l + 8*l - 884 = 0. Let v = l - -112. Is 11 a factor of v?
True
Suppose 5*s - 3896 = -o, -608 + 2148 = 2*s + 5*o. Is s a multiple of 3?
True
Suppose 2*u - 117 = 57. Let s = u - 45. Is 12 a factor of s?
False
Let k(r) = -r**2 + 9*r - 4. Suppose 2*m + m - 24 = 0. Let q be k(m). Suppose q*t + 14 = 6*t. Is t even?
False
Suppose 0 = -3*m + r + 1399, 3*r + 17 = 5. Does 46 divide m?
False
Suppose 2*v - 2 = a + 10, -5 = -v. Let b(n) = -2*n - 1. Is b(a) even?
False
Is (7788/16)/(((-30)/16)/(-5)) a multiple of 59?
True
Suppose 7*m = 11*m - 1024. Suppose -m = -15*c + 1004. Is 28 a factor of c?
True
Does 13 divide (4/(-7))/((-54)/567)*92?
False
Suppose -6*u = -656 - 568. Suppose 26*j = 30*j - u. Is j a multiple of 13?
False
Suppose 3*q - p - 1548 = 0, 6*p + 516 = q + 5*p. Does 86 divide q?
True
Suppose 2*z = -4 + 12. Suppose -z*s - 1 = j - 6*s, 2*s - 8 = 2*j. Let q = 27 + j. Is 4 a factor of q?
True
Let u(c) = 3*c**2 + 3*c + 3. Let b(y) = -4*y. Let i = 20 - 19. Let k be b(i). Is 13 a factor of u(k)?
True
Let v(n) = 5*n - 8. Let p be v(2). Suppose 10 = 4*m + p*q, 0*m = 4*m - q - 1. Is ((-2)/(-4))/(m/48) a multiple of 5?
False
Let i = 6 + 6. Let t(j) = j**2 - 6*j - 19. Is 22 a factor of t(i)?
False
Let o = -15 + 15. Suppose 3*t - 22 + 13 = o. Let l(s) = 18*s. Is 18 a factor of l(t)?
True
Let q(g) = 12*g + 2. Does 9 divide q(1)?
False
Let v(o) = 22 - o**2 - 386*o + 7 + 400*o. Does 3 divide v(15)?
False
Let s(v) = -32*v + 337. Is 4 a factor of s(8)?
False
Let o(v) = v**2 + 2*v - 26. Let a(b) = b**3 - 15*b**2 - 16*b - 11. Let n be a(16). Is 16 a factor of o(n)?
False
Let n(t) = -t + 11. Let o be n(9). Suppose 0*x + 32 = 3*x - o*i, 2*x - 23 = 3*i. Suppose 34 = 2*w + x. Is 6 a factor of w?
True
Suppose -t + 3*h + 2*h - 1 = 0, 5*t - h = -5. Suppose -n + 17 = 2*w, -5*n + w = -n - 77. Let c = t + n. Is 12 a factor of c?
False
Let u be 3 + (-4 - 4/(-1)). Suppose -54 = -3*i - 4*s + 3, s + 42 = u*i. Is i a multiple of 7?
False
Let g be (-1)/5 - (-1)/5. Suppose g = -5*b, -4*w + 2*b = -60 - 48. Suppose -3*d + 42 = -w. Is 16 a factor of d?
False
Suppose -1855 = -5*o - 4*g - g, 5*o - 5*g = 1875. Is o a multiple of 15?
False
Let t(q) = q**3 - 10*q**2 - 4*q. Let n be t(10). Let c = n - -71. Is 3 a factor of c?
False
Suppose -5*s - 5*f = -f - 57, 2*s + 4*f = 18. Suppose -8*t - 350 = -s*t. Is 12 a factor of t?
False
Suppose -4*h = 4*i - 8, 0 = -2*h - 0*h + 2*i + 12. Suppose -o = -h*f - 86, 0*f + 4*f = 5*o - 446. Does 19 divide o?
False
Let i(x) = -8*x**2 - 13*x - 9. Let n be i(-8). Let p = n + 586. Is p a multiple of 27?
False
Suppose -339 = 20*d + 161. Let z = 165 + d. Does 20 divide z?
True
Suppose 0 = 7*x - 9*x - 4. Let h(k) = -17*k - 19. Is h(x) a multiple of 3?
True
Suppose -28 = -5*o + r, 2*r + 10 = 2*o + r. Suppose -2*w + y = 3*w - o, 0 = -4*w + 2*y. Is 2 a factor of w?
True
Is 1 - -15 - ((0 - -1) + -2) a multiple of 7?
False
Does 20 divide 41045/30 - (-12)/(-72)?
False
Let p(r) = -r**2 + 6*r - 2. Let v be p(6). Let f = v - -24. Does 11 divide f?
True
Let i be (79/(-4) + (0 - -2))*-4. Suppose 0 = -i*w + 73*w - 188. Is w a multiple of 17?
False
Does 21 divide (-18340)/(-24) + (-20)/(-24)?
False
Suppose -k - 36 = k. Let g = 23 + -5. Let z = g - k. Is 12 a factor of z?
True
Let s = -366 + 754. Suppose -s = 7*f - 962. Is 14 a factor of f?
False
Suppose -4398 - 10547 = -7*d. Does 35 divide d?
True
Suppose -8 = 2*w, 54*w + 952 = 2*x + 58*w. Is x a multiple of 11?
True
Let v(l) = -l**2 - 17*l - 24. Let o be v(-16). Is 3/(6/(-4)) - (-29 + o) a multiple of 4?
False
Let k(a) = 3*a**2 - 3*a + 4. Let x(z) = -2*z + 5. Let b be x(4). Let f be k(b). Suppose i - 3*i = -f. Is 9 a factor of i?
False
Let f(h) = 3*h - 21. Let w = -78 + 87. Is 3 a factor of f(w)?
True
Let j = 1418 + -210. Is j a multiple of 30?
False
Let u be 1 + -75 - (-4)/(-1). Let m = u + 158. Does 16 divide m?
True
Suppose -2*v + 4*p + 14 = 0, -8*v + 3*p = -9*v - 3. Is 42 a factor of 1/v - 15108/(-36)?
True
Let t(x) = 13*x**2 + 47*x - 7. Is t(6) a multiple of 74?
False
Suppose -q - c = -6 - 15, -55 = -3*q - 5*c. Is q a multiple of 5?
True
Let m(x) = -15*x**2 - x - 1. Let o be m(-3). Let c = o - -321. Is c a multiple of 45?
False
Is 8 a factor of ((-475)/(-15) - 1)*18?
True
Suppose 0 = i + 3*k - 5*k - 129, -3*k - 402 = -3*i. Is 65 a factor of i?
False
Let n be ((-1)/(-4))/(11/44). Suppose -2*h + 7 = -n. Suppose h*q - 81 = 3*y, 3*q - 23 = 4*y + 29. Is 6 a factor of q?
True
Suppose 250*u - 70560 = 201*u. Does 48 divide u?
True
Let m = 1 + 62. Suppose -5*n + 287 + m = 0. Does 14 divide n?
True
Let v(c) be the third derivative of -89*c**4/24 + 2*c**3/3 + 24*c**2. Is v(-1) a multiple of 25?
False
Let w be 154/49 + 2/(-14). Let r be (36/10)/((-2)/(-15)). Suppose 2*y + r = w*y. Does 9 divide y?
True
Let a be 9 + -11 - -3*3*6. Let m = a + -36. Is m a multiple of 8?
True
Let b be 4/(8/554) - 0. Suppose 4*v + f - 267 = 0, -4*v = -2*f + f - b. Is v a multiple of 17?
True
Let m(l) = l**2 + 2*l + 20. Let b be (-129)/(-15) + 1 + (-9)/15. Does 33 divide m(b)?
False
Let d be (-4 + 7)/(1/(-1)). Let i(c) = -c**3 - 4*c**2 - 4*c + 1. Does 4 divide i(d)?
True
Does 62 divide 56924/(-14)*(-5)/10?
False
Let n(x) = -41*x**2 + 