22. Is v a multiple of 38?
True
Let d(n) = 4*n**2 - 57*n - 42. Let x be d(23). Let p = -493 + x. Is p a multiple of 27?
True
Let d be 2 + (-2 + 6072)*1. Suppose 26*y = 2*y + d. Is y a multiple of 16?
False
Suppose 0 = -3*u + 77 - 11. Suppose 0 = -u*p + 315 + 2677. Is p a multiple of 6?
False
Suppose -4*p = 405 - 5653. Let m = 2018 - p. Let i = m - 356. Is 25 a factor of i?
True
Suppose 5*b - 11*b + 21114 = 0. Suppose 28*i = 14317 + b. Does 12 divide i?
False
Is (-35008)/(6 - -2)*-2 a multiple of 13?
False
Is 5 a factor of (-19)/(-4 + (-2361)/(-591))?
False
Does 107 divide ((-780)/1080 - 4/(-18))/((-7)/942242)?
True
Let m be (1100/(-4) - -2)*(-20)/6. Suppose -2*u + 0*y + y = -m, 5*u - 2275 = -2*y. Suppose u = 5*s - f, -2*s + 159 = 3*f - 8*f. Is 8 a factor of s?
False
Let v(a) = -a**3 - 20*a**2 - 37*a + 20. Let h be v(-24). Let m = h - 1818. Is m a multiple of 26?
False
Let i = -123 - -111. Is (6 + (-8)/i)*(-78)/(-4) a multiple of 5?
True
Let s(f) = 10*f**3 - 1. Let m be s(1). Suppose -10920 = -15*l - m*l. Is l a multiple of 11?
False
Suppose -3*o + 832 = 5*s, -s + 564 = -2*o + 4*o. Suppose -5*c + 3*f = -252, -4*c + 4*f - 84 = -o. Is 2 a factor of c?
False
Let u(o) = -96*o + 3*o - 21*o. Let b be u(-3). Suppose 3*f + 117 = b. Is f a multiple of 25?
True
Let g(x) = 46*x**2 + 13*x + 8. Is g(10) a multiple of 103?
True
Suppose -o - 5*k + 4*k = -525, -4*k + 1060 = 2*o. Let y(r) = 6*r**2 - 101*r - 12. Let d be y(17). Suppose -5*s + 0*w + o = 5*w, s - 128 = d*w. Does 18 divide s?
True
Let t(a) be the second derivative of -a**5/20 + a**4/12 + a**3/3 + 537*a**2/2 - 61*a. Does 16 divide t(0)?
False
Let r = 39 + -57. Let u(w) = -2*w**2 - 42*w + 49. Is u(r) a multiple of 12?
False
Suppose 3*c - 16 = 4*y - 0, -3*c - 12 = 3*y. Suppose -6*o + 8 + 10 = c. Let a = o + 14. Is a a multiple of 2?
False
Suppose -292 - 144 = -4*x. Suppose 0 = 57*v - 63*v + 390. Let m = x - v. Is 4 a factor of m?
True
Suppose 5*q - 15751 = -h + 11791, -5*q - 2*h = -27544. Is q a multiple of 81?
True
Let n = -44 + 1335. Does 91 divide n?
False
Let b be 1002/14 + 123/287. Does 24 divide ((-4)/(-3))/((b/8289)/2)?
False
Let t(u) = 27*u**3 + 3*u**2 - 4. Let m be t(3). Suppose m = 3*s + s. Suppose -4*n - 3*i + 252 = -5*i, 3*n - i - s = 0. Does 5 divide n?
False
Let s = -4 - -174. Let i = s - -14. Is i a multiple of 11?
False
Suppose -1782 - 1858 = -2*n. Suppose 6*z = z + n. Is z a multiple of 26?
True
Let w = 4048 + -266. Is 25 a factor of w?
False
Suppose 111*d - 66*d - 3353414 = -77*d. Does 35 divide d?
False
Let t be (1 + -138)/(-1*1). Let j be (36/(-63)*3)/((-2)/7). Suppose -391 = -j*k + t. Does 5 divide k?
False
Suppose 4*m + 7*b - 1272 = 3*b, 4*b = -5*m + 1589. Suppose -7*o + 2*o + 33 = -4*k, -3*o = 9*k + 3. Suppose o*t - m = -p + 48, 2*p = -t + 64. Does 16 divide t?
False
Suppose j = -3*j - 468. Suppose v = -5*w + 1097, -w + 2*v = -0*v - 215. Let g = j + w. Is 17 a factor of g?
True
Suppose -4*u - 4 = 4*q, -15*u + 11*u = -5*q - 32. Is 13438/12 + q/24*-1 a multiple of 16?
True
Suppose -5*i = 225 + 55. Let b = -53 - i. Suppose -4*g + 5*x = -63, g + x = b*g - 39. Is 14 a factor of g?
False
Let j = 1610 - 1110. Is j a multiple of 10?
True
Suppose -72678 = -4*f - z, 3*f = 4*z + 69859 - 15341. Is 5 a factor of f?
True
Let m(y) = 4*y**2 + y - 12. Let l be m(-6). Suppose l = 2*p - 84. Does 21 divide p?
True
Is 2 a factor of (-25)/(-15)*(22 - (-121074)/30)?
False
Let u = -16495 - -18013. Is u a multiple of 11?
True
Suppose -2 = -6*s + 16. Suppose -5*t + n = -0*n - 401, 2*t - s*n = 163. Is t a multiple of 5?
True
Let w be (-4)/(1 - -3)*1 + 2. Let y be (w - 1) + (-11)/((-33)/6). Suppose 5*g - 112 = -4*m - 4, 0 = y*g - 4*m - 60. Does 8 divide g?
True
Let r(i) be the second derivative of 7*i**6/360 + i**5/120 + i**4/8 - 2*i**3/3 - 8*i. Let p(n) be the second derivative of r(n). Is p(-3) a multiple of 13?
False
Suppose 9*f - 5*f = -3*w + 544, f + 922 = 5*w. Let p(g) = g**2 + g - 76. Let h be p(0). Let u = w + h. Is u a multiple of 9?
True
Suppose 183*g - 181*g + w - 4882 = 0, 5*w - 12190 = -5*g. Does 130 divide g?
False
Let y(k) = k - 4. Let m be y(7). Let g(p) = -7 + 1 + 3*p + 8*p**2 + 2. Is 29 a factor of g(m)?
False
Let r(z) = -42*z**3 - 3*z**2 - 3*z. Let l be r(-2). Suppose 0 = 15*u - 10*u - l. Suppose -4*d + u = 2*v, -4*v - 47 = -3*d - 3*v. Is 4 a factor of d?
True
Does 101 divide -5925*((88/32)/(-11))/((-3)/(-12))?
False
Let i(g) = g**3 - 3*g**2 - 6*g. Let h be (-1)/(68/(-16) + 4). Let j(n) = -n + 10. Let b be j(h). Is 44 a factor of i(b)?
False
Let p be 2/8 - (-469)/(-4). Let j(d) = -82*d + 187. Let n be j(0). Let b = p + n. Is 10 a factor of b?
True
Let c(n) = -n**3 + 3*n**2 + 3. Let b be c(3). Let k(j) be the second derivative of j**4/4 + 4*j**3/3 - 3*j**2 + 2*j - 63. Is k(b) a multiple of 15?
True
Suppose 3*w = 13 - 4. Suppose -w*h + 350 = -244. Does 13 divide h?
False
Let b be (-1808)/36 + (-4)/(-18). Let z be 6/4*(-7)/(105/b). Suppose -z*x + 30 = 2*m - 94, -114 = -5*x + 3*m. Does 7 divide x?
False
Let o(k) = 198 - 96 - 162 + 30*k. Let y be o(20). Suppose -4*w = -y - 300. Does 30 divide w?
True
Let b = 9 + 25. Suppose -2 - b = -6*g. Suppose -5*d = -5*n + 75, -g*n + 37 = -3*n + d. Is 13 a factor of n?
True
Suppose 0 = -6*p - 18, -64*p + 68*p = -2*s + 11726. Is 30 a factor of s?
False
Let d = 1216 + -704. Does 58 divide 5 + d - (-40)/8?
True
Let k be 2/(-19) + (-194)/(-38). Suppose 3*s + 387 = 6*s - 2*w, k*w - 516 = -4*s. Is 12 a factor of s?
False
Suppose -3*w = 32*w - 69230. Let l = w + -1299. Is l a multiple of 47?
False
Let w(a) be the third derivative of a**6/120 - 11*a**5/30 + 29*a**4/24 + 47*a**3/6 + 11*a**2 - a. Is 21 a factor of w(21)?
False
Suppose -3*d + 42 = 2*h - 2*d, d + 21 = h. Let b(f) = 33 + 32*f - h*f - 14*f. Is b(8) a multiple of 9?
True
Let v be 166*(-38)/28 - (-4)/14. Let m = 237 + v. Is m a multiple of 2?
True
Let t = -2575 - -6796. Is t a multiple of 21?
True
Let m(a) = -404*a - 1643. Does 43 divide m(-10)?
False
Let q = -606 - -608. Suppose q*z - 2438 = 4*n, 0*n = 4*z - 5*n - 4879. Does 37 divide z?
True
Suppose 128 - 736 = -4*q. Let p be (140/(-490))/((-2)/(-140)*-2). Suppose -q = -p*x + 358. Is x a multiple of 17?
True
Let h(y) = 39*y + 38. Let g(u) = 1. Let m(v) = -3*g(v) + h(v). Let j be m(13). Suppose j = 5*q + n, -q + 2*n + 0*n = -104. Is 9 a factor of q?
True
Let v be (-2 - 2 - 15)/3*-3. Let s = 13 - 12. Let g = v + s. Is 16 a factor of g?
False
Let b = -16328 + 28256. Is b a multiple of 168?
True
Does 3 divide 5551 - (6/(-150)*5)/(6/(-30))?
True
Let z = 36691 - 19845. Is 48 a factor of z?
False
Suppose -5*c - 5 = 3*g + 2*g, c = 4*g + 4. Suppose 2*n + k = 2 + 9, c = -3*n + 5*k - 16. Suppose 2*x - 4*u = -2*x + 12, n*u - 21 = -2*x. Is 3 a factor of x?
True
Suppose 5*q - 150*g - 33565 = -148*g, -4*g = -4*q + 26840. Does 79 divide q?
True
Let x = -1435 + 1946. Is 5 a factor of x?
False
Let i = -718 - -774. Suppose -i - 472 = -6*x. Is 9 a factor of x?
False
Let c(m) be the first derivative of -m**3/3 - 46*m**2 + 76*m + 211. Is 90 a factor of c(-31)?
False
Suppose -4*p + 956 = -o - 4352, -5*p - o + 6635 = 0. Let y = 2065 - p. Is y a multiple of 18?
True
Let x = 25029 + -24709. Is 2 a factor of x?
True
Suppose 0 = 3*x + 5*f - 2767, 25*x - 22*x - 5*f = 2717. Is 2 a factor of x?
True
Let f(x) = 43 + 7*x - 2*x + 10*x + 3*x. Let v(o) = 22*o + 123. Let a be v(-5). Does 45 divide f(a)?
False
Let v be -1708 + ((-8)/(-4) - -2). Let l be v/(-9) - (-3)/(-9). Suppose -3*c + 2*y = -196, -2*y - 143 = -5*c + l. Does 17 divide c?
True
Let u(b) be the third derivative of b**5/2 + b**4/8 - 3*b**3/2 - 157*b**2. Is 99 a factor of u(6)?
True
Suppose -12*d = -18*d - 366. Let f = d - -114. Does 5 divide f?
False
Let q be ((-30)/(-6) - 2)/(2/142). Let z = -203 + q. Does 10 divide z?
True
Let s(h) = -7*h - 3. Let r be s(-4). Let q = 32 - r. Suppose 2*p - q*p + 330 = 0. Does 22 divide p?
True
Let b(t) = t**3 + 13*t**2 + 14*t + 24. Let g(c) = 4*c**3 + 29*c - 7*c**3 + 25*c**2 + 7*c**3 + 49 - c**3. Let r(x) = -5*b(x) + 2*g(x). Does 21 divide r(16)?
True
Suppose o - 2 = 2. Suppose -2*x + o*x = 4*a - 32, 39 = 5*a - 3*x. Suppose -a*n + 840 = 3*n. Is 6 a factor of n?
False
Suppose -o + 3*r = -3706, -5*o + 17405 = -3*r - 1125. Is o a multiple of 17?
True
Suppose -14*h = h - 23670. Suppose 870