ltiple of 5?
True
Let f = 0 - -2. Suppose -8*a + 11*a = -d + 2, d - 2*a - 2 = 0. Suppose f = -d*g, 3*g + 523 = 6*u - 2*u. Does 43 divide u?
False
Suppose 0 = h - 7 + 2. Let w be (6/h)/(54/1215). Suppose 2*s - 3 = 3, -3*v + w = -4*s. Is 13 a factor of v?
True
Let x(l) = l**2 - 7*l + 3. Let q be x(7). Suppose -2*y = -q*u - 280, -4*u - 5*y - 253 = 82. Let w = u + 150. Is w a multiple of 10?
True
Let a(v) = 2*v**2 + 20*v + 18. Let r = 260 - 141. Let k = r - 132. Is 24 a factor of a(k)?
True
Let b(u) = -22*u**3 + 10*u**2 + 120*u + 4. Is 30 a factor of b(-7)?
True
Let r be (-1468)/(-36) + 6/27. Let l = r + -37. Suppose 28 = 2*g + 3*o, l*o - 8 = -g + o. Is 3 a factor of g?
False
Let w(y) = 31*y + 162. Let n be 12/3 + 24/12. Is 12 a factor of w(n)?
True
Let w be 6/(-4)*13/((-117)/2322). Let o = w - 204. Suppose 0 = -r + 64 + o. Is r a multiple of 13?
True
Suppose -12*r + 15 = -45. Let o(k) = 25*k**2 - 28*k - 14. Let s(z) = 8*z**2 - 9*z - 5. Let n(j) = -2*o(j) + 7*s(j). Is n(r) a multiple of 18?
True
Suppose -f = j + 100, 0 = 5*j + 6 + 4. Let c = f + 116. Is 10 a factor of c?
False
Let j = 321 + 64. Suppose 5*r + 25 - j = 0. Is r a multiple of 12?
True
Let g = 130 + -148. Does 55 divide ((-24)/g - 2)*330/(-4)?
True
Let w be 7/14 - 3797/2. Let u be 2/(-9) - w/117. Suppose 92 + u = q. Is q a multiple of 14?
False
Let c = 7 + -2. Suppose -2*a = 4*q - 92, -2*a + 86 + 6 = c*q. Does 6 divide a?
False
Suppose 5*o = o + 16. Suppose o*s - 6 - 2 = 0. Suppose 155 = 5*g - 5*t, -3*g - 3*t + 27 = -s*g. Is g a multiple of 5?
True
Let d = 6592 + -1675. Does 55 divide d?
False
Suppose 5*c - 42 + 12 = 0. Let o = -2 + c. Suppose -62 = -o*i + v, 3*v = i + 4*i - 81. Does 15 divide i?
True
Let d(v) = -v**3 - 2*v**2 - 10. Let p be d(-3). Let y be (p/(2/3))/((-9)/786). Let x = -33 + y. Does 17 divide x?
False
Let f(r) = -r**2 + 40*r - 74. Let p be f(38). Is 69 a factor of (-2*(-11)/(-44))/(p/(-556))?
False
Suppose 13*o = 15*o - 4. Suppose -5*l - o*j = -591, 3*j - 58 + 421 = 3*l. Is l a multiple of 5?
False
Suppose 0 = -5*p + f + 7678, -7*f - 1526 = -p - 2*f. Suppose -5*v + p = 7*v. Does 16 divide v?
True
Let z(o) = -o**3 + 22*o**2 - 55*o + 497. Is z(15) a multiple of 28?
False
Let f = 1301 - 628. Does 2 divide f?
False
Is 8593640/770 + (-4)/7 a multiple of 90?
True
Suppose -147 = -y + 7*k - 2*k, 3*k = -y + 115. Suppose -25 = -5*n, -5*p + 9 = -n - 131. Suppose -p = m - y. Is 14 a factor of m?
True
Let a(q) be the third derivative of q**5/3 - 21*q**2. Let p be a(-2). Suppose p = 7*k - 3*k. Is k a multiple of 11?
False
Let k be (-36)/(-10)*60/9. Suppose k*n - 2387 = -179. Is 2 a factor of n?
True
Let j(u) = -8*u**2 - u + 1. Let b be j(1). Let z(x) = -x**3 - 8*x**2 - x + 9. Let w be z(b). Let o(v) = 10*v - 20. Is 18 a factor of o(w)?
False
Let o be (1*7)/(808/136 - 6). Let u = -115 - o. Suppose 0 = 6*p - 8 - u. Is p a multiple of 2?
True
Suppose -5*p = -5*v - 55, -7*v + 2*v = 3*p + 7. Let c(z) = -13*z**2 - 8 - 9*z + 4*z**3 - 22 + 2*z**2 - p*z**3. Does 6 divide c(-6)?
True
Suppose -2*b = -5*z + 293, 0 = -2*b + 2*z - 3*z - 311. Let k be -31*2/(-4)*18. Let f = b + k. Is f a multiple of 23?
False
Let r(j) = -2918*j - 410. Is 14 a factor of r(-3)?
True
Suppose 0 = -2*m - 101 + 111. Suppose 638 = 3*q + m*l - 2, -8 = -4*l. Is 22 a factor of q?
False
Let n(h) = 5*h + 20. Suppose 8*k - 20 = -52. Let b be n(k). Suppose b = -18*v + 21*v - 177. Is v a multiple of 12?
False
Suppose -4*u + 227 = 3*b, 255 = 3*u + 3*b + 84. Is 18 a factor of ((-18)/2)/(u/(-1680))?
True
Suppose -15*d = -26*d + 7513. Suppose 0*z = -5*u + 2*z + d, 0 = 3*u + 2*z - 413. Suppose 7*v - 45 = u. Is 13 a factor of v?
True
Let i(z) = 6*z**2 + 31*z + 21. Let s = 53 - 49. Let m(x) = -x**2 - 6*x - 4. Let t(c) = s*i(c) + 22*m(c). Is 4 a factor of t(5)?
False
Let p(b) = 4*b + 2720. Is 17 a factor of p(51)?
True
Let o be (-1208)/40 - (-27)/(-15). Let f = 72 + -22. Let k = f + o. Does 6 divide k?
True
Suppose 7*k + 2*k = 333. Let j = k - -132. Is j a multiple of 13?
True
Does 27 divide 4/((-8)/(-10)) - (26 + -5086)?
False
Let h = 60 - 104. Let k = h + 33. Does 19 divide (3 + 5)/((-1)/k)?
False
Let x = -677 - -4511. Is 10 a factor of x?
False
Let j(m) = 2*m + 15. Let l be j(-9). Let w be (14/42 - (-7)/l)/1. Is ((-3)/9)/(2065/1035 + w) a multiple of 16?
False
Let q(m) = m**3 + 16*m**2 - 32*m + 26. Let c be q(-17). Suppose 0 = 21*i - c - 244. Is 15 a factor of i?
False
Let b(v) = -2097 + 3*v**2 + 45*v - 4*v**2 + 2182. Does 27 divide b(28)?
False
Let i(s) = 2*s**3 + 43*s**2 - 33*s + 108. Is 12 a factor of i(-20)?
True
Suppose -r - 1 + 0 = 2*j, 10 = -5*j. Suppose r*h - 80 = z + 930, 3*h = -z + 1006. Is h a multiple of 14?
True
Suppose 71*i - 1010936 = -36*i. Is i a multiple of 308?
False
Let x(a) = 127*a + 5423. Does 42 divide x(60)?
False
Suppose -3*g = 4*f - 20994, -g - 1 = 1. Is 175 a factor of f?
True
Let x(g) = g**3 + 9*g**2 - 3*g + 13. Let z be x(-9). Suppose 4*t = s - 20, -5*s + 3*s = 3*t - z. Let m = 42 - s. Is m a multiple of 2?
True
Let r(t) = 17*t**2 - 4. Let b be r(2). Let s = b + -69. Is 16 a factor of (-486)/s - 1/5 - -1?
False
Let b = -67 + 77. Let h(a) = -9*a + 20. Let g be h(b). Is 44 a factor of (3234/g)/(1/(-5))?
False
Let h be 4/(-6) + 1/3*14. Let s be -289*(h/8 - 3/2). Let o = 454 - s. Is o a multiple of 33?
True
Let b(o) = -1 + 8*o**3 - 4*o**3 + o**3 - o**2 + 3*o**2. Let a be b(1). Let k(d) = 8*d - 15. Is 11 a factor of k(a)?
True
Let t = -84 - -82. Let d be (8/16)/(t/168*-1). Does 20 divide 1 + d - (10 - 7)?
True
Let l(x) = -60*x**3 - 2*x**2 - 13*x + 24. Is l(-3) a multiple of 11?
False
Let u be (-1 + 0)/((-4)/4) - -2. Suppose 29 = u*v - 28. Suppose 16*x + 21 = v*x. Is 3 a factor of x?
False
Let s(z) = -227*z + 3745. Is 30 a factor of s(5)?
True
Suppose 3*x - 4*x = -5. Let d be 8/40 - (-4 - (-36)/30). Suppose -5*g + 1 - 6 = 0, x*k - 192 = -d*g. Is 11 a factor of k?
False
Does 60 divide ((-205758)/(-1127))/((-6)/(-140))?
True
Suppose -3*t + 5*x - 7 = 0, -4*x - 2 = 4*t - 7*x. Does 17 divide -181*(-5)/(t - -4)?
False
Let j(m) = -m**2 - 4*m - 22. Let u be j(-7). Suppose 4*l - 100 = 40. Let y = l - u. Is 13 a factor of y?
True
Suppose -66*p + 47*p + 11932 = 0. Let i = p + -608. Is i a multiple of 20?
True
Let t(g) = g**2 + 8*g + 15. Let w be t(-5). Suppose -3*a - 3 = -3*o - 21, w = a - 3*o - 14. Let k(f) = 51*f - 10. Is 22 a factor of k(a)?
False
Let i = 1449 - 428. Is 44 a factor of i?
False
Let s(j) = -91*j + 121. Let g be s(6). Is 17 a factor of g*(15/25)/3*-2?
True
Let c(u) be the second derivative of u**5/20 - 17*u**4/6 - 4*u**3 - 25*u**2 - 13*u + 7. Does 34 divide c(35)?
False
Suppose -z = 2*l - 30002, -36*z = -34*z + 12. Is l a multiple of 61?
False
Suppose g - 5*q = -10, 8*g + 23 = 3*g - 2*q. Let y be -3*(g - 52/(-12)). Suppose -y*o = -4*w + 596, 2*w - 4*o + 0*o - 298 = 0. Does 6 divide w?
False
Suppose 5*z - 18193 = -4*r, -6*r + r = -z + 3627. Suppose -z = -6*n + 737. Is 14 a factor of n?
False
Let k = 69272 - 37968. Does 24 divide k?
False
Suppose -9*x = 132 - 528. Suppose 5*z = 5*y + 75, 3*z - 4*y + 2*y = x. Is 276/z + 8/28 a multiple of 11?
False
Let u(i) = -12*i - 47. Let s be u(-4). Suppose -5*o - 4*d + 229 = 0, -2*d + 91 = 2*o - s. Is 9 a factor of o?
True
Let v = -1747 + 27740. Does 9 divide v?
False
Is (-20609)/740*-48 + ((-6)/10)/(-3) a multiple of 14?
False
Suppose a - 5*l = 1673, -a - l + 0*l = -1655. Does 62 divide a?
False
Let h(w) = -371*w + 5105. Is h(-112) a multiple of 37?
True
Does 87 divide (-1 + -1)*(34803/(-18) - -13)?
False
Let w be 9/((-35)/(-14) - 4). Is 13 a factor of 40/12*w*(-156)/16?
True
Does 15 divide 40/((-26)/(-156195)*15)?
True
Suppose 3*x = -4*k + 1547, 0 = 13*x - 9*x - k - 2088. Suppose -5*y = -5*d + x - 11, 2*d - 189 = -y. Is d a multiple of 2?
False
Suppose 5*f = -3*k + 996, -33*k + 3*f = -36*k + 1002. Suppose 5*j = 2*a + 2*a - k, 0 = 2*j - 6. Is a a multiple of 22?
True
Suppose 3*a - a + 12 = w, -15 = -3*a. Suppose 2*n + 30*n = 10 + 54. Suppose -n*g = -196 - w. Does 17 divide g?
False
Let g be 1*(1 - 2)*(19 - 1836). Suppose -199 = -7*z + g. Does 25 divide z?
False
Let c(o) = -o**3 + 21*o**2 - 19*o - 3. Suppose 0*b - 3*s - 45 = -3*b, -3*s = 5*b - 115. Is c(b) a multiple of 17?
True
Let a be (15 + 0)/3 - 3/1. Let r(v) = 5*v**a + v**3 - 8*v + 4 - 2*v**3 + 2*v**3 + v. I