 of 5?
False
Suppose 12 = -p + 5*k, -2*p = -7*p + 5*k - 20. Let j(z) = 14*z + 97. Is j(p) a multiple of 23?
True
Suppose 537*c + 3627622 = 815*c. Does 70 divide c?
False
Let m(i) = 51*i - 63. Let t(v) = -19*v - 222. Let h be t(-12). Is 9 a factor of m(h)?
True
Suppose i = 2*r - i - 8, 3*i = 6. Let p = 65 - r. Is p a multiple of 6?
False
Let o be 170/(-18) + (-76)/(-171). Is 70 a factor of (-126)/((-11)/(-44) + o/20)?
True
Suppose -5*f + 22 = -4*f. Suppose d + 4*z = -4*d + 93, 0 = 3*d + 5*z - 61. Suppose -l = -2*t - 2*t + d, -2*l = -5*t + f. Does 2 divide t?
True
Suppose 0 = 9*z - 5*j - 52306, 3*z - 17442 = -7*j + 10*j. Is 169 a factor of z?
False
Suppose -2451*o + 4919*o - 640320 = 2445*o. Is o a multiple of 232?
True
Suppose 2*j = -7*l + 80560 + 37805, l - 2*j = 16891. Is 4 a factor of l?
False
Let h(a) = 35*a**2 + 10*a - 24. Is h(11) a multiple of 11?
False
Let p(i) = -14*i**3 + 29*i**2 - 4*i - 11. Let u(w) = 26*w**3 - 58*w**2 + 7*w + 23. Let r(k) = 11*p(k) + 6*u(k). Is r(15) a multiple of 39?
False
Suppose b = -l + 7303, -191*b - 5*l - 14564 = -193*b. Is b a multiple of 135?
False
Let o be (3 + 57/(-9))*(-1412 + -4). Let a = -3275 + o. Suppose -a = 14*t - 19*t. Does 37 divide t?
False
Let q(b) = 3*b**2 - b + 1. Let z(c) = -11*c**2 - 2*c - 65. Let w(t) = -4*q(t) - z(t). Does 4 divide w(8)?
False
Let f = -50 - -50. Suppose -5*j = f, -2*j = -5*m - 0*m + 2475. Suppose v - 6*v = -m. Does 9 divide v?
True
Suppose 3 + 0 = i. Suppose 2*x + 5 + 23 = 4*w, 5*w - 35 = 3*x. Suppose -i*d = -w*d + 72. Is 9 a factor of d?
True
Let q = -3780 - -10400. Suppose -16*d + q = 412. Is d a multiple of 12?
False
Let j be (-2)/24*-117*48/3. Let g = j - -100. Does 4 divide g?
True
Let a be 3*(7/3 - 0/(-2)). Suppose 1120 = 9*j + a*j. Does 9 divide j?
False
Let q(t) = t**3 - 27*t + 28 - 3*t**2 + 20 + 8*t - 18. Does 11 divide q(8)?
True
Let f be 1/(-6) - ((-93250)/12)/5. Is f/28 - 3/(-2) a multiple of 39?
False
Let c(p) = 36*p**2 - 19*p + 123. Let o be c(7). Is 15 a factor of (3 - (-18)/(-12))/(3/o)?
False
Let d be 18/(-153) - 12591/51. Let l = 5 - d. Is 16 a factor of l?
False
Suppose 0 = 2*y - 4 - 20. Suppose 3*x - 21 = y. Suppose -d + 192 = x*d. Is d a multiple of 8?
True
Let w be (-160)/(-24)*(-84)/(-10). Let m(k) = 64 - k - 3*k - w. Does 11 divide m(-8)?
False
Let p = 206 - 201. Suppose -p*c + 260 = 20. Is c a multiple of 8?
True
Let t(s) = -2*s - 24. Let k be -6 + -7 + (-3 - -1). Let n be t(k). Suppose 0*p - 630 = -n*p. Does 15 divide p?
True
Let b = -573 - -6462. Does 35 divide b?
False
Let f(h) = -h**3 + 34*h**2 - 36*h + 317. Is 19 a factor of f(28)?
False
Let c(w) = w - 3. Let v be c(2). Let a be v - (-4 - -3) - -16. Suppose 14 = k - a. Is 6 a factor of k?
True
Let i be 34587/(-84) - 2/8. Does 26 divide (4*(-3)/6)/(2/i)?
False
Suppose b + 8 = m, -3*m = 4*b - 0 - 3. Suppose -38*a + 43*a - 925 = 0. Suppose 3*g - 123 = o, m*o + a = 4*g + 10. Does 21 divide g?
False
Let p(i) = i**3 + 4*i**2 + 3*i - 8. Let t be p(-4). Let k = 403 - t. Does 29 divide k?
False
Let w(f) = f**3 + 33*f**2 + 4*f + 24. Let q(m) = -m**3 - 32*m**2 - 3*m - 25. Let u(v) = -4*q(v) - 3*w(v). Is u(-29) a multiple of 7?
True
Suppose 22*m = 3555 + 8677. Does 123 divide m?
False
Let y = -49 - -42. Let c = 11 + y. Suppose 64 = 2*u - 2*i - 18, u + c*i = 61. Is 9 a factor of u?
True
Suppose -3*v + 14*l - 26*l = -37038, -2*v = 2*l - 24710. Is 51 a factor of v?
False
Suppose 0 = -2*d - 1 - 1, -4*a + 850 = -2*d. Suppose 4*u = -2*m - 288, -m - 2*u - 128 = -4*u. Let l = a + m. Does 19 divide l?
True
Suppose 52*f + 9527 = 79779. Is f a multiple of 3?
False
Suppose -6 = 26*y - 27*y. Is 7 a factor of 419 + -2 + (5 - y)?
False
Suppose 4*g + 149 = -315. Let d = g + 136. Is (75/2)/(5/d*2) a multiple of 5?
True
Suppose -15*x + 18*x = 5214. Suppose -2*q + x = -62. Is q a multiple of 50?
True
Suppose 8 = 2*c, 5*q = -2*c - c + 32. Suppose -8*n = m - q*n - 14, -2*m = -5*n + 11. Suppose -33 = -r + 5*z, 51 = r + m*z - z. Does 8 divide r?
True
Let m be 8/18 + (10736960/144)/13. Suppose 0 = -5*y + o + m, 5*o + 4572 = -2*y + 6*y. Does 49 divide y?
False
Let o(a) = 3*a - 5. Let k be o(-7). Let q be (-21)/49*-7 + -1. Let p = q - k. Is p a multiple of 6?
False
Let o = 12 - 10. Suppose o*a + 3 - 5 = -v, -4*a = 0. Suppose -v*f = -t + 40, -5*f = 8 + 12. Is t a multiple of 17?
False
Let t = 65646 - 45586. Does 5 divide t?
True
Is ((-270)/162)/(5/(-564)) a multiple of 4?
True
Let u(y) = -39*y**3 + 11*y**2 + 12*y - 1. Is 3 a factor of u(-3)?
False
Let s(v) = 14*v + 29. Let a(d) = -3*d + 1. Let q(u) = 3*a(u) + s(u). Is 3 a factor of q(8)?
True
Let i(a) = 36*a**3 + 6*a**2 - 15*a + 53. Is 60 a factor of i(4)?
False
Let q = 78 - 75. Let a(g) = 43*g**3 + 4*g**3 - 3*g - 2*g + 7*g - q*g**2. Is a(1) a multiple of 8?
False
Let r(n) = -16*n + 7*n + 6*n + 6*n + 47. Does 4 divide r(-6)?
False
Is 32/(-40) - 1/10*-10958 a multiple of 22?
False
Let j(m) = -8375*m**3 + 5*m**2 - 3*m - 8. Is j(-1) a multiple of 67?
True
Let g be ((-57)/(-12) + -4)*8. Suppose 0 = -5*q - 2*p + 5460, -q - g*p = -7*p - 1092. Is q a multiple of 12?
True
Suppose -4*h - 5*b + 49818 = 0, -5*h - 25038 = -2*b - 87360. Is 67 a factor of h?
True
Let n(l) = 191*l - 31. Let r(i) = -38*i + 6. Let j(d) = -4*n(d) - 22*r(d). Let f be j(2). Let t = f + -68. Is t a multiple of 9?
False
Let o = -16847 - -36167. Is 15 a factor of o?
True
Let q = -4 - -38. Let x = -40 + q. Let w(s) = -25*s - 20. Is 12 a factor of w(x)?
False
Suppose 0 = 18*w - 16*w - 2090. Let t = -437 + w. Is t a multiple of 76?
True
Suppose 3*q + 5*y = 26, 4*q - 6*y + y = -12. Suppose -6 - 2 = -q*c, -2*v = -4*c - 96. Suppose 3*g - 5*g = -v. Is 25 a factor of g?
False
Let g be 0 - (43 - 3)/8. Is 290/6*(-3 + g + 11) a multiple of 91?
False
Suppose -2*c + 530 = -f, -f + 30*c = 29*c + 529. Is 19 a factor of (58/4 + 3)*f/(-28)?
False
Let q(l) = -l**2 + 20. Let t be q(-4). Suppose -b - 3 = 0, t*z + 2*b - 5805 = b. Suppose -4*h + z = 8*h. Does 11 divide h?
True
Let b = 532 - 293. Let y = -203 + b. Does 6 divide y?
True
Let p(w) = -w**2 + 7*w + 5. Let u(j) = -4*j**2 + 24*j + 15. Let k(z) = 14*p(z) - 4*u(z). Is k(13) a multiple of 10?
False
Let t(g) = -g + 7. Let p be t(3). Let o(f) = -175 + 496 + 39*f - 161 - 204. Is 21 a factor of o(p)?
False
Suppose -773 = -2*p - 2*c - 647, 0 = 2*p + c - 123. Is p a multiple of 12?
True
Let l be (((-105)/(-10))/(-7))/(9/12). Let t be l*17*4/8*-5. Suppose 0 = 29*m - 24*m - t. Does 17 divide m?
True
Suppose -3*z - 2*z = -2*d + 444, -5*z = -4*d + 448. Let k = -77 - z. Suppose 0 = 11*h - 10*h - k. Does 11 divide h?
True
Suppose -5*f = -3*q - 52, -16 = -3*f - 3*q + q. Does 12 divide 3*((-5312)/(-24))/f?
False
Let k(r) = 11 + r - 8 + 5 - 4. Does 6 divide k(26)?
True
Suppose -f = -2*c - 627, -2*f + 3*c - 760 = -2018. Let j = f + -630. Does 2 divide j?
False
Suppose 6*s = s - 1165. Let v = 402 + s. Suppose v = 7*m - 839. Does 9 divide m?
True
Let u(w) = -3*w - 3. Let t be u(-2). Let y(q) be the first derivative of 43*q**2/2 + 11*q - 2627. Is y(t) a multiple of 35?
True
Let x(v) = 3*v**3 + 3*v**2 - 2. Let i be x(-1). Let g(p) = 148*p**2 + 14*p + 20. Does 8 divide g(i)?
True
Let r(k) = k**3 - 10*k**2 - 82*k + 15. Let g be r(15). Is 30 a factor of g/(-7)*(21/3 + 0)?
True
Let r be 52/(-1)*3/(-4). Suppose -5*s = -r - 121. Does 28 divide s*(3 - (-3)/6)?
True
Let q(u) = 25*u**3 - 2*u**2 + 4. Let g be q(3). Let z = g + -291. Is 37 a factor of z?
True
Let v be (-1)/((-52)/(-192) - 1/3). Let i be (v/(-4) - -3) + 332. Suppose 4*c = 2*o - 376, -2*o + 3*c + i = 8*c. Does 30 divide o?
False
Let u be -6 + 6/(-5)*(-205)/82. Is 4 a factor of (u + 29 + -2)*(-176)/(-66)?
True
Suppose 9901 + 34643 = 6*z. Suppose 26*r - z = 2378. Is r a multiple of 26?
False
Suppose 59*s + 62280 = 83*s. Is 19 a factor of s?
False
Is 14 a factor of (143 + 1688)/(((-2)/8)/((-93)/12))?
False
Let s be (-9)/(3/(-1)) - -44. Let i = s - 46. Suppose i - 205 = -4*d. Is 25 a factor of d?
False
Suppose 0 = 21*v - 32*v - 16*v + 24867. Is v a multiple of 29?
False
Let p(q) = q**2 + 19*q - 66. Let r be p(-30). Let s = r - -183. Does 31 divide s?
False
Let g(b) = 5 + 3*b**2 - 2 - 4*b**2 - 5*b + 14*b. Let a be g(9). Suppose a*j + 294 = 3*p, -2*p - 110 = -3*p - 3*j. Does 27 divide p?
False
Does 36 divide (127 - -5)/22 + (3018 - 0)?
True
Let d(j) = -