22. Does 7 divide d(20)?
False
Suppose 3*p + 9 = 0, -108*p - 1233 = -j - 109*p. Does 103 divide j?
True
Let d = 5094 + -2278. Suppose 0 = -4*v - 7*v + d. Is v a multiple of 6?
False
Let g(f) = 5*f**2 + 8*f + 10. Let t be g(-6). Let a = t - 78. Suppose 0 = 14*q - 10*q - a. Does 16 divide q?
True
Let p be (-1 + 153)*(6 - -93)/9. Suppose 0 = -x - p + 2414. Does 15 divide x?
False
Does 139 divide 4 + (12840/(-2))/(((-126)/(-28))/(-9))?
False
Suppose 0 = -2*r - r + 2*r. Suppose 2*s + s = -r*s. Suppose -i + 210 = -s*i. Is i a multiple of 18?
False
Let p(c) = 21*c**3 - 5*c**2 + 26*c - 3. Let a be p(4). Suppose 6*i - a = 435. Is i a multiple of 25?
True
Let b(o) = -9*o**3 - 4*o**2 - 25*o + 9. Let t be b(-7). Let v = 4641 - t. Does 45 divide v?
False
Let c(v) = v**3 + 16*v**2 - 22*v + 17. Suppose -15 - 36 = 3*j. Let w be c(j). Suppose -362 = -5*g - w. Is g a multiple of 12?
False
Suppose 0 = -3*u - 4*b + 3610 + 2644, -2083 = -u - 3*b. Is u a multiple of 59?
False
Let t be -5 + -1 - (-11 + 2). Suppose -t*y + 182 = -x, -2*y - 10*x + 128 = -12*x. Is 3 a factor of y?
False
Let f(q) = 39*q - 4. Let l = -25 - -26. Let y be f(l). Does 11 divide ((-3)/(-15)*22)/(1/y)?
True
Suppose 9*z = 3770 + 451. Let m = -277 + z. Is 32 a factor of m?
True
Is (-2)/2 + -91 + 42199 a multiple of 103?
False
Let r = 318 + -178. Let h(d) = -d**2 - 23*d - 54. Let b be h(-17). Let o = r + b. Is 24 a factor of o?
False
Suppose -2*f = 3*u + f - 18, -4*f = 5*u - 29. Suppose 2*z = u*z + 5*j + 562, 0 = -z + 3*j - 192. Let g = z + 296. Is g a multiple of 21?
False
Let q be 357/(-12) + 1/(-4). Does 21 divide 4/6 - (-8 + 14890/q)?
False
Suppose 4*m = 2*o - 20766, -328*m + 324*m = 3*o - 31209. Does 63 divide o?
True
Let w(p) = 42*p - 26. Let v be w(-7). Let z = -210 - v. Is z even?
True
Suppose -4*x + 5*x + 3*r = -r + 5764, 0 = -5*r. Does 18 divide x?
False
Let l be (3/3)/((1 + -2)/(-2)). Is -168*(132/32)/((-3)/l) a multiple of 16?
False
Let s = 6735 + -5979. Does 42 divide s?
True
Let n(f) = -f**3 - 21*f**2 + 31*f - 69. Let g(h) = h**3 + 4*h**2 - 21*h - 23. Let t be g(-7). Is 56 a factor of n(t)?
False
Let b = -1 + -45. Let c = 25 - b. Suppose -2*q = -c - 139. Is q a multiple of 35?
True
Suppose -14 = 2*j - 156. Suppose -j = 8*a + 273. Let q = 108 + a. Does 5 divide q?
True
Let p = -26 + 24. Let y be 3/((-2)/p)*-40. Let k = y - -178. Is k a multiple of 26?
False
Let a be (-3 - (-3 - 1))*57. Suppose 0 = 48*w - a*w + 540. Is 15 a factor of w?
True
Let u(v) = 6*v**2 + v - 1. Let t(a) = -a**2 - 1. Let w(k) = 3*t(k) + u(k). Let i be 18/15*20/3. Is w(i) a multiple of 28?
True
Is 113 a factor of 12654/4 - (45/(-2) + 22)?
True
Suppose 3 = d, 0 = -2*p + 64*d - 63*d + 15111. Is 11 a factor of p?
True
Let f(l) = -4*l**2 - 9*l - 8. Let v(u) be the first derivative of u**3 + 4*u**2 + 7*u - 9. Let m(i) = 2*f(i) + 3*v(i). Does 10 divide m(-12)?
False
Let h(r) = 2*r**2 - 2*r + 4. Let i(z) = 2*z**2 - z + 4. Let v(q) = 5*h(q) - 6*i(q). Let s be v(-2). Is 14 a factor of s/(-2) - (8 + -123)?
False
Let q = 1628 - -564. Does 8 divide q?
True
Suppose -280*y + 1517989 = -241239 - 1201772. Is 47 a factor of y?
True
Let s(h) = -2*h**3 - 9*h**2 - 11*h - 4. Suppose 3*n - 2*g + 13 = 2*g, -g + 26 = -4*n. Let d be s(n). Suppose d = 4*j + 66. Does 21 divide j?
True
Let w(c) = c**2 + 13*c + 13. Let r be w(-11). Is -132*r/(162/12) a multiple of 4?
True
Suppose -11 = 3*v - 2*v. Let x(w) = w**3 + 11*w**2 - 3*w - 4. Let p be x(v). Does 31 divide (-27)/(-9) + -1 + p?
True
Let m = -460 - -456. Is 2 + 116/87*(-1506)/m a multiple of 21?
True
Let o(d) = -6*d**3 + 22*d**2 - 16*d - 93. Let k(s) = -10*s**3 + 33*s**2 - 24*s - 139. Let n(z) = 5*k(z) - 8*o(z). Is n(-8) a multiple of 9?
False
Suppose -18*g + 12*g + 24 = 0. Suppose -g*i - 634 = -3*s, -4*s + i = -786 - 81. Is 13 a factor of s?
False
Let k(b) = b**3 + 22*b**2 + 39*b + 44. Let j(s) = -18*s**3 - 3*s**2 + s. Let x be j(1). Is k(x) a multiple of 8?
True
Let l = 11 + -7. Let z(r) be the third derivative of 5*r**4/12 + 2*r**3 + 11*r**2. Is z(l) a multiple of 16?
False
Let m(l) = l**3 - 31*l**2 - 6*l - 169. Is 5 a factor of m(32)?
False
Let o(h) = 36*h**2 + h - 1. Let w be o(2). Does 7 divide (-3)/(-5) + 9048/w?
True
Let c = -547 + 2011. Is c a multiple of 187?
False
Let i(a) = a - 4*a + 49*a**2 - 18*a**2 + 7*a - 7 - 22*a**2. Does 9 divide i(4)?
True
Let h = 8690 - 8679. Let k(s) = -7*s + 7. Let q be k(-6). Let y = q + h. Is y a multiple of 6?
True
Suppose 29*l = -49*l + 312468. Is l a multiple of 8?
False
Let x be (-3)/(9/(-12)) - 4. Suppose -7*p + 609 + 1967 = x. Does 20 divide p?
False
Let c(j) = -j**3 + j**2 + 4*j + 19. Let b be c(-6). Let v = -175 + b. Is 18 a factor of v?
True
Suppose -k + 4*x + 1179 = 0, 89*k - 91*k + 2403 = x. Is 34 a factor of k?
False
Suppose -3*k - 4*t + 11778 = 0, 0 = k + 2*t + 740 - 4666. Suppose 5*n - k = -741. Is 13 a factor of n?
True
Suppose -i - 6 - 31 = 0. Let k = i - -39. Suppose k*j = -51 + 101. Does 10 divide j?
False
Suppose 77*j + 422 = 10278. Is 16 a factor of j?
True
Let j = -112 - -168. Let f be (-12 - 3 - -3)/((-9)/(-6)). Does 12 divide (-1 - 4)/(f/j)?
False
Is 73 a factor of (-2)/(-16) - 120984990/(-1680)?
False
Let s(b) be the second derivative of -7*b**5/20 - 3*b**4/4 + 13*b**2/2 - 271*b. Is s(-5) a multiple of 74?
False
Let z = -4323 + 13457. Is 8 a factor of z?
False
Suppose 12*x - 208 = -x. Suppose -x*j - 1432 = -24*j. Is 30 a factor of j?
False
Let d(v) = 14 - v**2 - 67*v - 52 - 6*v. Is d(-18) a multiple of 44?
False
Let k(o) = -3*o - 12. Let d be k(-6). Suppose d*j - 10 = j. Suppose 156 = 4*q + 2*g, -j*g - 111 - 13 = -3*q. Is 8 a factor of q?
True
Suppose 22*h + 40 = 27*h. Suppose -h*d + 3*d + 4*b = -12, -15 = 4*d + 5*b. Suppose 4*j - 20 = d, 0 = -5*v - 2*j + 41 + 69. Does 2 divide v?
True
Let n(c) = 12 - 175*c - 2*c**2 + 7*c**2 + 182*c + 14*c**2. Is 18 a factor of n(-4)?
True
Suppose 262 = 8*t + 1006. Let i = t - -363. Does 9 divide i?
True
Suppose -72 = -3*a + 165. Let v = 113 - a. Is v a multiple of 17?
True
Suppose -5*j = -147 + 1187. Let d = j + 724. Is 23 a factor of d?
False
Suppose -3*m - 2*p + 37942 = 0, 63234 = 5*m - 53*p + 56*p. Does 27 divide m?
False
Let w(d) = 15*d**2 + 10*d - 10. Let n be w(1). Suppose -327 = -3*z - n. Suppose -3*c = 2*p + z - 950, -3*p - 271 = -c. Is c a multiple of 40?
True
Suppose 10*b - 9*b - 39549 = -m, -3*m = -b - 118675. Is 44 a factor of m?
True
Let a = -652 + 1276. Is 13 a factor of a?
True
Suppose 0 = 2*y - f - 208, 4*y + f + 109 - 537 = 0. Suppose -138*l + 2944 = -y*l. Is l a multiple of 16?
False
Let c = -2876 + 3131. Is c a multiple of 154?
False
Suppose 23*n - 22*n - 5 = 0. Suppose -154 = n*m - 16*m. Is m a multiple of 10?
False
Let v(f) = 3*f**2 - 78*f - 255. Let p(k) = k**2 - 26*k - 85. Let a(o) = -8*p(o) + 3*v(o). Does 35 divide a(30)?
True
Let j(x) = 2. Let y(k) = k - 11. Let i(t) = 36*j(t) + 4*y(t). Is i(11) a multiple of 12?
True
Let o be ((-21)/(-4))/(10/(-360)). Let c = -52 - o. Let d = -98 + c. Does 10 divide d?
False
Let f(o) = -o**3 - o**2 + o + 2. Let k be f(-2). Let m be 6/20*(-660)/(-99). Suppose -w - 290 = -k*w - m*a, a - 4 = 0. Does 17 divide w?
False
Suppose -3*o + 173*x + 52472 = 169*x, 2*o - 2*x - 34978 = 0. Does 188 divide o?
True
Let j = 209 - 197. Suppose 8*z - 3*g = 3*z + 1022, 0 = 3*g + j. Is z a multiple of 43?
False
Suppose 4*y + 5 = -y, q = -4*y - 1. Suppose 0 = 2*c - 8*f + 4*f - 750, -c - q*f + 365 = 0. Does 53 divide c?
True
Let z(w) = 5*w - 12. Let h be z(8). Suppose -2*c + 58 = h. Let d = 37 - c. Is d a multiple of 11?
True
Suppose -59*s + 18*s + s + 996640 = 0. Does 23 divide s?
False
Let p(m) = 18*m + 32. Let f = 87 - 87. Suppose -x - 8 = -2*c, -3*c - x - x + 26 = f. Is 16 a factor of p(c)?
False
Let d be 8 - (2 - -1 - 28/4). Does 65 divide (12/27)/(1/183)*d?
False
Let h(a) = 2572*a**2 - 32*a + 34. Does 43 divide h(1)?
False
Let z(d) = -278*d - 1266. Is 6 a factor of z(-18)?
True
Let u(b) = 28*b - 251. Let p be 41 + 1*(8 - 16). Does 77 divide u(p)?
False
Suppose 2*m - 2*d - 3 = d, 3*d = -m - 3. Suppose -4*s - 3*o + 297 = m, s + 5*o + 15 = 85. Suppose 7*t = 51 + s. Is t a multiple of 12?
False
Let w = -20136 + 13770. Is (-18)/(-63) + w/(-14) a multiple of 8?
False
Suppose -26 = 3*p - 5*v + 1, 4*p + 1 = -5*v. Let y(g) = -6*g**2 - 6*g + 2. Let f be 