rue
Let g(f) = -9*f**2 + 10*f - 41. Let p(u) = u**2 - 2*u + 2. Let w(z) = -g(z) - 3*p(z). Is w(5) a multiple of 5?
True
Let q(b) = 78*b**3 - 2 - 2 + 5*b**2 + 2*b - 2*b**2. Let x(o) = 79*o**3 + 2*o**2 + 2*o - 3. Let r(p) = -2*q(p) + 3*x(p). Does 13 divide r(1)?
False
Let j = -127 - -121. Let d(i) = -63*i - 63. Is 15 a factor of d(j)?
True
Let k = 210 + -148. Suppose -3*i + z + 50 = 0, -5*i + k + 48 = 5*z. Does 7 divide i?
False
Let i(c) = 4*c + 5*c - 4*c - 18 + 0. Let s be i(4). Suppose 5*f - 3 = -2*k - 2, s*k - 2 = -4*f. Does 3 divide k?
True
Let w(q) = q**3 + 4*q**2 - 2*q - 9. Let h be w(-4). Is 72 - 1*(6/2)/h a multiple of 15?
True
Let w = 90 + -24. Suppose 282 = 4*n + 2*r, 2*r + w + 60 = 2*n. Does 5 divide n?
False
Is 62 a factor of ((-2449434)/(-208))/((-63)/(-336))?
True
Let f be -7*(-8)/112 + 1050/(-4). Let v = f + 509. Is v a multiple of 13?
True
Let h(c) = 376*c - 120. Is h(9) a multiple of 63?
False
Let w = 3288 - 2842. Is w a multiple of 2?
True
Let g = -41 - -41. Let i(n) = n**2 + 2. Let d be i(g). Suppose q - 248 = -d*r - 0*q, r - 130 = q. Is r a multiple of 18?
True
Let q(y) be the second derivative of y**4/6 + y**3/3 + 16*y**2 + 21*y. Suppose 0 = -14*t + 37 + 47. Does 14 divide q(t)?
False
Suppose -2*r - 4*t + 7416 = -10230, 2*r - t - 17631 = 0. Does 98 divide r?
False
Suppose 0 = -5*r - 4*p + 186, -2*p + 42 = r - 0*r. Suppose r*t - 39*t + 185 = 0. Is 4 a factor of t?
False
Suppose 0 = b + 4*b + 3*y - 147, -5*y = -2*b + 65. Let f be 3 - (-1)/(-3 - b/(-9)). Suppose -11 = f*d - 521. Is 23 a factor of d?
False
Let o(j) = 4 + j + 4*j**2 - 2 + j**3 - 8. Let i be o(-3). Suppose i = 8*c - 2*c - 150. Is 5 a factor of c?
True
Let f(s) = 25*s + 4. Let n be f(1). Suppose -i - 145 = 5*d, n = -2*d + d - i. Let c = d + 62. Is 8 a factor of c?
False
Let w = 290 - 170. Let r = -118 + w. Is 14 a factor of -1 + r + 0 - -57?
False
Suppose 3*x - 42 = x - 3*u, -5*x + u + 71 = 0. Suppose 0*h + 6 = 3*h. Does 17 divide (x + -63)*(-1)/h?
False
Let d(q) = -2*q**2 + 35*q - 73. Let c be d(2). Is (-3660)/(-165)*c/(-2) a multiple of 22?
False
Suppose 5*z - 3 = 2*z. Let b(k) be the second derivative of 16*k**5/5 + k**4/2 - 2*k**3/3 - k**2/2 - 37*k. Is 9 a factor of b(z)?
False
Suppose -171863 - 217801 = 22*g - 66*g. Is 164 a factor of g?
True
Let i(v) = 19*v - 49. Let l(h) = 6*h + 13. Let k be l(-1). Does 12 divide i(k)?
True
Suppose 54 = 13*v - 24. Suppose -v*i = -349 - 77. Is i a multiple of 19?
False
Suppose -2*i + w + 83 = 4*w, 2*i = 2*w + 98. Let u(f) = 4*f**2 - 4*f. Let d be u(2). Suppose d*h - 526 = -i. Is h a multiple of 13?
False
Let d = 317 - 312. Let z(q) = q**3 + 2*q**2 + 9*q - 20. Does 25 divide z(d)?
True
Suppose -12*k + 2015010 = 31*k + 8*k. Does 173 divide k?
False
Let c(x) = -13 + 61 + 28*x + 27*x - 47*x. Is 4 a factor of c(0)?
True
Suppose -12*z - 49755 = -27*z. Suppose 6*n = z + 259. Is n a multiple of 45?
False
Suppose 7*s + 3*s - 7730 = 0. Let v = -557 + s. Is v a multiple of 27?
True
Let u(r) = -r**2 - 16*r + 6. Let y be u(-16). Suppose 4 = 3*d - b - y, -5*b = 5. Suppose -2*q + 41 = d*n - 2*n, 23 = n - 4*q. Is n a multiple of 13?
False
Suppose -27*d + 46868 + 15205 = 0. Does 121 divide d?
True
Does 56 divide (-9 - 9 - -2)/(1/(-602))?
True
Suppose -5*f + 15 = 0, 4*g - 521 = -3*f + 1820. Let j = -427 + g. Is 26 a factor of j?
True
Let w be -4 + 128/80*5/2. Suppose w = 6*b - 3*b - 126. Is b a multiple of 3?
True
Let k(f) = 2*f**2 - 28*f + 30. Is 3 a factor of k(-16)?
True
Let r(k) = -k**3 - 14*k**2 + 20*k - 33. Let z be r(-15). Does 10 divide (-3)/4 + 9/z*-1329?
True
Let a(v) = 2*v**2 + 11*v - 5. Let y(k) = 4*k**2 + 21*k - 11. Let u(g) = 9*a(g) - 4*y(g). Let o be u(-8). Suppose o*d = 3*d + 180. Does 11 divide d?
False
Is (-1)/(2/18) + 10875 + -286 a multiple of 20?
True
Suppose -6008 = -4*a + 4*z, -2*z - 1134 + 8665 = 5*a. Let x = -1063 + a. Is 26 a factor of x?
True
Let j(v) = 7*v**2 + v + 660. Does 12 divide j(0)?
True
Does 13 divide (-189)/6*(-42)/63?
False
Suppose -q + 8 = k, 3*q = -3*k + k + 19. Let g(i) = -116*i**3 + 0*i**2 - 16 + 4*i - 2*i**2 - i**2 + 13 + 117*i**3. Is 9 a factor of g(q)?
True
Let r(d) = 108*d - 638. Is r(29) a multiple of 11?
False
Suppose 30 = 6*a - 36. Suppose 0 = -w + 2*q, -q + 0 - a = 5*w. Is -2 + (3 - (w + -3)*11) a multiple of 14?
True
Is (-1 - -2)/(-4) - 4*344777/(-272) a multiple of 195?
True
Let j = -12237 - -13739. Does 23 divide j?
False
Is ((-4)/((-4)/(-37)))/(8016/2676 - 3) a multiple of 37?
True
Let z be (70 + 6)*(-7)/(-4). Let x be 4/38 - (-784)/z. Suppose x*p - 204 = 168. Does 31 divide p?
True
Does 9 divide 6/(-21) + 15021/21 + 0 + -5?
False
Suppose 0 = -4*x + 8*x - 76. Let k(p) = -p**2 + 22*p - 22. Let m be k(x). Is 3 a factor of (7/(m/10))/((-4)/(-98))?
False
Let v(a) = -4290*a - 1784. Is 15 a factor of v(-8)?
False
Let f(h) = h**3 + 20*h**2 + 9*h + 14. Let j be f(-17). Suppose 10*b - 23*b = -j. Does 7 divide b?
True
Let y(f) = 245*f**2 - 17*f + 3. Let j(c) = -c**2 + 25*c - 98. Let i be j(20). Is 73 a factor of y(i)?
True
Let i(c) be the second derivative of c**6/90 + c**5/8 - 13*c**4/12 - 24*c. Let q(t) be the third derivative of i(t). Is 5 a factor of q(0)?
True
Let v(c) = 2*c**3 - 15*c**2 - 4*c - 9. Let m be v(12). Let j = -373 + m. Does 16 divide j?
False
Let q(v) = -v**3 - 13*v**2 + 74*v + 219. Does 39 divide q(-18)?
True
Let k(m) = 4*m**3 - 19*m**2 + 14*m + 140. Is 28 a factor of k(12)?
False
Let m be -6 + 1 + 0 - -10. Suppose 0*y = 2*b - 3*y - 460, m*b - 5*y - 1160 = 0. Is 35 a factor of b?
False
Suppose 0 = -3*p + 14 - 2. Suppose -p*r = 20, t + 7*r = 2*r + 233. Is 8 a factor of t?
False
Let x(n) = 7*n**2 - 73*n - 18. Does 42 divide x(22)?
True
Is 89 a factor of 67284*(525/30 - 17)?
True
Suppose -5*w = -0*w + 35. Suppose 2*k = -x + 32, 0 = -k - 2*x + 4 + 18. Does 10 divide (k/12)/w - (-602)/12?
True
Suppose 162*l - 160*l - 4*r - 342 = 0, 3*l = 2*r + 501. Does 18 divide -54 + l + -3 + 0?
True
Let b be 1001/52 - (-1)/(-4). Let p(h) = -24 + 5*h - 17 + 42. Is 16 a factor of p(b)?
True
Let l(z) = 2*z - 32. Let a be l(19). Suppose 3762 = a*h - 3894. Suppose h = 5*r + 516. Does 13 divide r?
False
Suppose -m = -0*m + 4*i - 632, 4*m = 4*i + 2508. Suppose -55 = 5*n - 5*y - 1640, -y = 2*n - m. Is (7/5)/(9/n) a multiple of 9?
False
Suppose 0 = i + 3*p - 544 - 577, 5591 = 5*i + p. Is 18 a factor of i?
False
Let x be 220/(-8)*-2*1. Suppose 0 = -11*f + 236 - 104. Suppose -f*g + 89 = -x. Is g a multiple of 12?
True
Let y be ((-51 + -2)*1)/(-4 - -3). Suppose 0 = w - y - 55. Is 12 a factor of w?
True
Suppose -3*v + h = -0*h - 507, 5*v + 3*h = 831. Suppose 0 = -4*p - 2*p + v. Let x = p + 84. Is x a multiple of 31?
False
Suppose 0 = 5*g + 5*l + 30, 0 = -4*g + 2*g - 5*l - 3. Let s(o) = -16*o - 111. Is 11 a factor of s(g)?
True
Suppose k = 4, -292*w - 3*k = -291*w - 15112. Is 151 a factor of w?
True
Suppose 13*h - 20 = 11*h. Let m = -1225 - -465. Does 28 divide (-24)/h*m/12?
False
Suppose -3*i + 3*g - 45 = 0, i + 4*g - 5 = -0. Suppose 9*t = -10*t - 190. Is 25 a factor of 100 + 0 - (i - t)?
False
Suppose -9*m + 18*m - 65556 = 0. Is 13 a factor of m?
False
Is ((-788)/9)/((-53)/((-1118565)/(-70))) a multiple of 268?
False
Is 3 a factor of (-30*265/10)/(-3)?
False
Let o = 497 - 281. Let j = o + -197. Is j even?
False
Is 76 a factor of 7818 - 3 - -2 - 18?
False
Does 5 divide (238/3)/((-868)/84 + 11)?
False
Let n be (-2)/2 - 3*5/(-15). Suppose n = -i + 401 + 167. Does 35 divide i?
False
Let h(a) be the third derivative of -a**6/30 + a**5/60 + 3*a**4/4 + 7*a**3/6 - 55*a**2 + 2. Is 4 a factor of h(-5)?
False
Suppose 24*y - 3195 = -435. Suppose -g = -y + 20. Is g a multiple of 2?
False
Suppose -5*x + 8*x - 30 = 0. Suppose 3*m + 19 = 2*m - 3*g, 5*m - 4*g + 38 = 0. Is (122/x)/(m/(-50)) a multiple of 13?
False
Suppose -3*q + 2*g - 36 = 0, 2*g = q + g + 11. Does 5 divide (-10)/(q/(-18) + (-23 - -22))?
True
Suppose 5*i - 20010 = -5*t, 729 + 19269 = 5*t + i. Is 6 a factor of t?
False
Suppose -3*w = 5*q + 233, -3*w + 1 + 11 = 0. Let l be -5 + (-3)/(-3) - 0. Let t = l - q. Is t a multiple of 15?
True
Let c be 0/4*(-7 + 6). Suppose 10*g - 3*f = 9*g + 74, c = -4*g + 5*f + 268. Does 30 divide g?
False
Let p = 6956 - 13091. Suppose 260 = -4*w - 984*l + 986*l, -118 = 2*w + 5*l. Does 28 divide p/(-27) - (w/36 + 2)?
False
Is 16924 