ultiple of 17?
True
Let m = 13 + -11. Let s be (m - (-10)/(-4))*-4. Suppose n = -2*d - 11 + 30, 34 = s*n + 5*d. Is 3 a factor of n?
True
Is 285 a factor of 10586928/352*(64/(-6))/(-4)?
False
Let d(m) = -14*m - 185. Let z be d(-14). Suppose -z*p + 2277 = -4312. Is p a multiple of 17?
False
Suppose -4*b + 2*f + 1137 + 623 = 0, 2*f - 2209 = -5*b. Suppose 15*i - b - 204 = 0. Does 43 divide i?
True
Suppose 15*f + 89821 = 38*f + 8148. Does 6 divide f?
False
Suppose 0*w + w + 67 = 0. Let x = 69 + w. Does 13 divide 5/(45/312) + x/6?
False
Let p(d) = -d**2 - 4*d + 26. Let s be p(-7). Suppose 0 = -6*u + s*u - 232. Is 59 a factor of u/(-1) - (-7 + 3)?
True
Suppose j - 109 + 40 = 0. Let l(g) = 2*g**2 + 5*g**2 + j - 64 - 4*g**2. Is l(7) a multiple of 19?
True
Suppose -2*s + 351 = 5*w, 4*w - 2*w - 134 = -4*s. Let p = w + -62. Suppose -z = -2*n - 6, 4*n = -2*z + 35 + p. Does 7 divide z?
True
Suppose -4558 = -2*u - 5*n, -68*u + 71*u - 6864 = -3*n. Is 16 a factor of u?
False
Suppose 4 = 2*y - 3*a, -4*y - 4*a + 4 = 16. Let g(j) = j**3 + 2*j**2 + 3*j + 2. Let k be g(y). Suppose k = -5*m + 451 + 214. Does 19 divide m?
True
Suppose 444*m - 4693 = -3*n + 440*m, -n + 1568 = 5*m. Does 11 divide n?
False
Suppose 5*o + 2 = -19*q + 22*q, -3*q + 2*o + 8 = 0. Is 63 a factor of ((-6)/4)/(q + (-13450)/3360)?
True
Let n = 211 + -209. Let w(x) = 320*x + 18. Does 9 divide w(n)?
False
Let t(q) = q**3 + 5*q**2 - 2*q + 26. Let r be t(-6). Suppose 0 = r*p + 442 - 1586. Does 44 divide p?
True
Suppose 0 = -4*t - 11*t - 45. Is 5 a factor of 1276/33 + (-4)/t?
True
Let h(a) = 40*a**2 - 2*a. Let b(x) = -x**3 + 8*x**2 - 2*x + 14. Let m be b(8). Is h(m) a multiple of 41?
True
Let v(i) be the second derivative of 2*i**3/3 + 4*i**2 + 8*i. Let a be v(3). Is 37 a factor of (-222)/4*a/(-15)?
True
Let i be (1 - (-16)/(-20))*5 - -132. Suppose 6*z - 2485 = -i. Does 49 divide z?
True
Let s(w) = -5*w**2 + 3*w. Let f(k) = 2*k**2 - 5. Let r be f(3). Let n(a) = -11*a**2 + 7*a. Let m(g) = r*s(g) - 6*n(g). Is 18 a factor of m(-3)?
True
Let j(h) = -5*h + 200. Let y be j(35). Suppose -17520 = 5*g - y*g. Is g a multiple of 54?
False
Let u be (53 - -5)/(2/15). Let f = u - 154. Does 43 divide f?
False
Suppose 10287 = -46*j + 51*j + 2*c, -j - 5*c = -2062. Is 121 a factor of j?
True
Suppose 0 = -t - z - 8, t - 3*z - 9 = -t. Let w be ((-8)/2)/(-2*t/(-15)). Suppose -w = -2*r + 118. Does 19 divide r?
False
Suppose -5*y = -14*y + 45. Suppose 6*n + 1513 = 8*n - h, 3*n - 2237 = -y*h. Does 17 divide n?
False
Does 4 divide 119608/20 - ((-221)/260 - (-10)/8)?
True
Let r be (44/6)/((-3)/(-135)). Suppose r = 5*v - 3*v. Let p = v - 80. Is p a multiple of 56?
False
Suppose -19*h + 30 = -8. Suppose -11*g = h*g - 754. Is g a multiple of 8?
False
Suppose 105 = -t - 2*t. Is (0 - 1)/((175/2210)/t) a multiple of 34?
True
Suppose -3*g + 6*g = -15. Let b be 0/(1 + g) + 360. Suppose -13*w + b = -4*w. Is w a multiple of 10?
True
Let l = 293 + -266. Suppose l*d + 132 = 834. Is 6 a factor of d?
False
Let f be 6/33 - (1 + 2/11). Let z(u) = 1233*u**2 - 2*u - 3. Let w be z(f). Suppose -12*i - 2*i = -w. Does 11 divide i?
True
Let d be ((-76)/(-19))/(2/(-28)*-1). Suppose 5712 = -49*h + d*h. Is h a multiple of 68?
True
Suppose 10*s = 8*s + 5*n + 2, 0 = 4*s + 5*n + 56. Let j(b) = b**2 + 9*b - 20. Let z be j(s). Let t = 78 + z. Is 18 a factor of t?
False
Let y = 25061 + -5901. Is 8 a factor of y?
True
Suppose 0 = 4*x - 14*x. Suppose -3*c + 99 + 183 = x. Suppose -6*h + 26 + c = 0. Is h a multiple of 10?
True
Is 13 a factor of ((-45)/6)/5 + (1301729/(-22))/(-13)?
True
Let x(h) = -917*h + 500. Is x(-8) a multiple of 13?
False
Let r = -253 + 802. Is r a multiple of 3?
True
Let b(v) = -3*v - 28. Let t be -9 - 1 - (4 + -3). Let p be b(t). Suppose n - 233 = -p*y, -n - 4*n + 1252 = -4*y. Is n a multiple of 42?
False
Let t(b) = 104*b**2 - 44*b + 73. Is 4 a factor of t(7)?
False
Let m(x) = -x**3 + 5*x**2 - 12*x - 12. Let n be m(-7). Suppose -20*f = -22*f + n. Let t = -90 + f. Is 12 a factor of t?
True
Suppose 48*m + 16 = 52*m. Let a(c) = -45*c - 1. Let x be a(-1). Suppose p - x = -5*t + 50, p = m*t + 130. Is p a multiple of 14?
False
Suppose 2*p + 126*q - 9954 = 121*q, -p - 2*q + 4976 = 0. Is p a multiple of 66?
False
Suppose 4*i = -6 - 10. Is (-3 - -2)/(i - (-1036)/260) a multiple of 13?
True
Let c be 2 + -5 - (-342 + (-6 - -4)). Let n = 426 - c. Is n a multiple of 5?
True
Let o(y) = 220*y**2 + 208*y - 2302. Is 31 a factor of o(12)?
False
Let i(o) = 5*o**2 - 61*o - 223. Does 37 divide i(-20)?
True
Suppose 0 = -10*a - 48 - 22. Does 16 divide 359733/847 + (-2)/a*1?
False
Suppose 0 = 3*i - 4*u + 11, 5*i - 28 = -2*u - 3. Suppose 0 = -i*h - 6 + 18. Suppose -108 = -h*l + 2*c, l + 62 = 3*l + c. Is l a multiple of 29?
True
Suppose -23*d + 38*d = 23055. Is d even?
False
Let w(q) be the second derivative of q**5/20 - 7*q**4/6 + 10*q**3/3 + 10*q**2 - 15*q - 2. Let g be w(14). Let y = g + -47. Does 19 divide y?
False
Let m = -9353 - -32438. Does 73 divide m?
False
Does 2 divide (-6)/(270/(-2601))*(-2 - -7)?
False
Let u(g) = 37*g - 14. Let v be 0 - (2 + (-16)/4). Is 10 a factor of u(v)?
True
Suppose 63 = -0*s + s. Let n be s/1*(28 + -25). Suppose 9 = 3*d, a + n = 3*a + 5*d. Is a a multiple of 15?
False
Suppose -10*j - 88167 = -2*a - 9*j, 0 = a - 2*j - 44088. Does 158 divide a?
True
Let q(n) = 4257*n**2 + 22*n - 40. Is 47 a factor of q(2)?
False
Suppose -3*j = j. Let v be j/1 - (2 + 19). Is ((-1)/4)/(v/1092) even?
False
Suppose -2*n - 5 = -1. Let u be 20/(-8)*24/(-60). Does 9 divide n - -13 - u - 1?
True
Let l(i) = -5*i + 20. Let j(q) = 2*q - 10. Let z(a) = -5*j(a) - 3*l(a). Let u(h) = -h**2 - 52*h - 220. Let k be u(-47). Does 16 divide z(k)?
False
Suppose -7 = -2*y + 1901 + 14434. Is 16 a factor of y?
False
Suppose 0*h = -3*h + 9. Suppose 36 = h*p + o, -3*p + 3*o = 2*p - 74. Let f(y) = y**3 - 15*y**2 + 28*y - 8. Is f(p) a multiple of 6?
True
Let w = 5324 + -680. Is w a multiple of 18?
True
Let m = -86 + 106. Let w = 52 + m. Does 18 divide w?
True
Suppose -3*g - 371 = -4*b + 2*g, 4*g + 12 = 0. Suppose -4*h = 4*w - 28, -5*h + 33 = 4*w - 0*w. Suppose 3*c - 70 = s, -3*c - h*s - 7 = -b. Does 6 divide c?
True
Is 2/16 - (39/78)/(8/(-308366)) a multiple of 156?
False
Suppose -82824 = -4*z + 5*o, 0*z + 5*z - o = 103530. Is z a multiple of 87?
True
Let g be (0 - -2)*(3 + -2). Let i(a) = a**2 - 15*a + 58. Let y be i(9). Suppose 0 = -g*t + 4*t + 2*z - 158, -y*t + 334 = -2*z. Is t a multiple of 18?
False
Let k(c) = c**3 - 49*c**2 + 141*c + 534. Does 49 divide k(48)?
True
Let f(z) = 5*z**2 + 14*z - 3. Let h be f(-4). Let r(c) = c**3 - 22*c**2 + 30*c - 52. Is 4 a factor of r(h)?
False
Let k(f) = 9*f**2 - f - 16. Let l be -4*(2 - 9/6). Let u be -2 - ((-26)/(-22) - l/(-11)). Is 25 a factor of k(u)?
False
Let b(n) be the second derivative of 0 + 1/6*n**4 + 0*n**2 - 1/3*n**3 - 12*n + 19/20*n**5. Is 5 a factor of b(1)?
False
Let h(c) = -28*c**2 + 2*c - 37. Let z(s) = 28*s**2 - 3*s + 36. Let t(m) = -7*h(m) - 6*z(m). Does 13 divide t(7)?
True
Suppose 0 = g - 59 + 57. Let z be g/(-2)*((-24)/4 - 1). Let f(s) = -s**3 + 9*s**2 - 8*s + 11. Is 18 a factor of f(z)?
False
Suppose 0 = -5*v - 2*a + 1190, 2*a - 714 = 4*v - 7*v. Suppose -2*q + 96 = 2*o, 5*o = 3*q + v + 2. Is 3 a factor of o?
True
Does 17 divide 4/(-18) - (-17)/102*(-5254240)/(-30)?
False
Let r = 18 + -16. Suppose -r*u = f - 6*f - 72, 4*u - 114 = -5*f. Let p = -11 + u. Is p a multiple of 5?
True
Suppose 0 = 5*g + 2*n - 866, 2*n = 1 + 5. Is 43 a factor of (g*(0 - (-36)/16))/1?
True
Let i = 138 - -4049. Does 53 divide i?
True
Let r(d) = 10339*d**2 - 27*d - 28. Does 9 divide r(-1)?
False
Let m = 51 + -69. Let u(x) = x**3 + 17*x**2 - 19*x + 17. Is u(m) a multiple of 7?
True
Suppose 5*r = -3*m + 15140, -17*m + r = -9*m - 40316. Does 60 divide m?
True
Let l(m) = -296*m + 1405. Is l(-7) a multiple of 30?
False
Suppose -8*q - 396 = 3*q. Let f = q + 31. Does 20 divide (f - (2 - 220))/1?
False
Let z be (-7)/((-84)/8)*3. Suppose -4*p + z*m + 34 = m, -4*p + 40 = -4*m. Suppose p*g = 12*g - 436. Is g a multiple of 22?
False
Let z(p) = -5*p**2 + 15*p - 46. Let o be z(3). Does 59 divide (23/o)/((-2)/2832)?
True
Does 124 divide 7302*3/(-2)*92/(-138)?
False
Let x be (-6)/16 - 450/80 - -8. Let p(h) = 36*h**2 + 13*h - 28. Is p(x) a multiple of 8?