18*m**2 + 125*m - 373. Is g(3) a multiple of 88?
True
Does 15 divide (3 + 80/(-30))/(-2 + 398299/199149)?
False
Let h = 18 - 45. Let c be ((-24)/(-1))/(-2) + -4. Let b = c - h. Does 9 divide b?
False
Let q(v) = -v**3 + v**2 - 13*v + 7. Let p be q(4). Let c = p + 237. Is 22 a factor of c?
False
Suppose 0 = -2*s + s - 77. Let o = s - -85. Is 69 + (2 - 3) - o/2 a multiple of 10?
False
Let q be 1/(3976/567 + -7). Suppose -5*s - q = -4*u, 3*s = -3*u + 4*u - 15. Is u a multiple of 9?
False
Let c = -312 - -233. Let v = 467 - c. Is 42 a factor of v?
True
Let p(w) = 26*w**2 + 13*w + 41. Let i be p(8). Let q = -897 + i. Does 16 divide q?
True
Let z(f) = 2 + 1 + f - 15*f + 2. Is 65 a factor of z(-5)?
False
Is (-192)/(-84) + (-4)/14 - -2199 a multiple of 11?
False
Suppose 4*y - 146 = 3*a, -4*y - 40*a = -45*a - 158. Is 28 a factor of y?
False
Let c = -55 - -55. Let b = c - 30. Let x = 89 + b. Does 5 divide x?
False
Let g be -1*4/4*-9*1. Let c be 33/9 + (-6)/g. Suppose 126 + 132 = c*a. Does 27 divide a?
False
Let d = 116 + -105. Suppose 5132 = d*j - 489. Is 11 a factor of j?
False
Suppose -218*n = -189*n - 341214. Is 114 a factor of n?
False
Let l = 78 + -22. Let m = 89 - l. Is -1 + 1380/m - (-2)/11 a multiple of 8?
False
Suppose 130*r = 138*r - 3072. Is 15 a factor of r?
False
Let v(f) = -379*f - 2269. Does 69 divide v(-16)?
True
Let p(t) = -1720*t + 116. Does 11 divide p(-4)?
True
Let t(m) = 16*m**2 - 62*m + 65. Is t(41) a multiple of 177?
False
Does 41 divide (4/2 + 2)/(266/56924)?
False
Let i(c) = c**2 - 91*c + 363. Is i(-47) a multiple of 8?
False
Let h = 44 - -16. Suppose -17*o + 11*o - h = 0. Does 26 divide (-65)/o*-1*-12?
True
Let r(w) = 5*w**2 - 138*w + 1752. Does 3 divide r(18)?
True
Let w be (-4)/(-2) + 42 - 0. Let b = 4 - -45. Let d = b - w. Does 5 divide d?
True
Let u be -1 + ((-90)/(-3))/5. Suppose u*s = -4*l + 173, -3*s = -2*l - 12 - 105. Does 7 divide s?
False
Does 15 divide (-4 + 12)*(-5830)/(-40)?
False
Suppose -20 = 4*d, -10*d = o - 9*d - 4049. Is 12 a factor of o?
False
Let t be ((-10)/6)/(20/(-24))*6. Suppose -h + 1012 = -t*h. Is 10 a factor of -1 - h - (-3 + -2)?
False
Suppose 1 = -a, c - 2*a + 568 = -4*c. Let g = c + 172. Is 8 a factor of g?
False
Let h(d) = 52*d - 1194. Let a be h(23). Let w(x) = -x. Let y be w(-3). Suppose 2*i = 0, -a*r - y*i = r - 78. Is 3 a factor of r?
False
Let t be 2/6 + (-56)/(-3). Is 13 a factor of 4*78*(t + -18)?
True
Let w(u) = 695*u + 110. Let o be w(5). Suppose o = 25*h - 10*h. Is 12 a factor of h?
False
Suppose -2*w + 10 = 3*u, -3*w - w + 20 = 2*u. Let q(f) = f**3 - 12*f + 688. Is q(u) a multiple of 43?
True
Suppose -15*s = -12*s + c - 126, -2*c + 42 = s. Suppose 65*t - s*t = 9016. Does 28 divide t?
True
Suppose 4*m + 1887 = -2*m + 10503. Is m a multiple of 8?
False
Is 52 a factor of -1 + 4 + -2 + 2089*14/7?
False
Suppose -5*f - 15 = 0, 4*b - 3*f + 624 = 16033. Does 25 divide b?
True
Let v be (-3)/(6/(-8))*(-120 + 122). Suppose 5*j - v*j = -4*f + 6132, -2*f = 2*j - 3080. Does 12 divide f?
True
Let k(z) = -4*z - 17. Let j(q) = -q - 1. Let i(r) = -5*j(r) + k(r). Let p be i(15). Let d(x) = 5*x**3 - 4*x**2 + x - 6. Is d(p) a multiple of 15?
False
Let a(m) = 13*m**2 + 95*m - 468. Does 9 divide a(26)?
False
Let k be -2 + 0 - -1*12/3. Does 3 divide (k/(-4))/(12/(-1368))?
True
Suppose 127*z + 80318 = 4*n + 118*z, 40158 = 2*n - 4*z. Is n a multiple of 55?
True
Suppose 1488 + 540 = 6*y. Suppose -y = 14*m + 656. Let c = -14 - m. Does 3 divide c?
True
Suppose 4*l + 5*m = -4395, 0*l - 3*m - 5510 = 5*l. Let a = -450 - l. Is 13 a factor of a?
False
Let a(d) = -d**2 - 12*d + 25. Suppose -n - 3*x + 30 = -2*n, 55 = -4*n - x. Let s be a(n). Let k = 62 - s. Is 28 a factor of k?
False
Suppose k - 13519 = 5*z, 9*z + 26954 = 2*k + 11*z. Is k a multiple of 10?
False
Is 8741 + 3*-3 + -21 + -2 + 24 a multiple of 60?
False
Let n = 38241 + -36837. Does 78 divide n?
True
Suppose 0 = -m + 68 + 29. Let y = m - 12. Let l = 110 - y. Is l a multiple of 10?
False
Suppose 2561 = 6*c - 2*c + 5*f, 1912 = 3*c + 2*f. Suppose 5*q = 3*n - 991, 6*q - 4*q = -2*n + c. Is n a multiple of 23?
True
Let s = -333 + 523. Suppose s + 152 = 2*v. Is 15 a factor of v?
False
Suppose 17*h - 19*h = -62988. Is 10 a factor of 4/(-18) + h/54 + -9?
False
Let x(a) = 2*a**2 - 24*a + 40. Let g be x(10). Suppose 7*j = -3*u + 5*j + 662, -u - 3*j + 209 = g. Is 16 a factor of u?
True
Suppose 1412 - 7342 = -w - 5*b, 3*b = 4*w - 23766. Is 45 a factor of w?
True
Suppose 8*j - 23 = 1. Suppose -12 + 0 = -j*r. Suppose 0 = 5*b - 2*c - 333, r*b - 5*c - 162 = 101. Does 24 divide b?
False
Let w(x) = 467*x - 113. Does 4 divide w(6)?
False
Suppose -2*k = 2*k - 60. Let z be (14/k + (-2)/(-5))*-3. Is 19 a factor of (154/z)/((-15)/(-6) + -3)?
False
Suppose -115 = 4*y - 15991. Suppose y = -5*j + 14*j. Is 11 a factor of j?
False
Suppose 4 = -7*r + 25. Suppose 0 = -5*p - 2*h + 70, -r*p - p + 4*h = -56. Does 7 divide 26/(-13)*p/(-4)?
True
Let g be 4/((-24)/(-22)) - 24/(-18). Suppose -112 = -u + g*k, -4*u - k + 4*k + 465 = 0. Let t = 135 - u. Is t a multiple of 4?
False
Suppose n + 57*r = 54*r + 7, 0 = 2*n + 3*r - 26. Let a(h) = -12*h**3 + 2*h - 1. Let o be a(1). Let p = n - o. Does 22 divide p?
False
Let v be (-12)/(((-36)/(-96))/(1/(-4))). Is 13 a factor of (-78)/v*(-8)/6?
True
Let o = 193 - 178. Suppose 10*m + 215 = o*m. Is m a multiple of 10?
False
Let u be (-56868)/(-60) - 1/(-5). Let r = -622 + u. Is 11 a factor of r?
False
Suppose -4*m + 8 = -3*m + 3*d, 5*m = -4*d + 73. Suppose -4*j - 5 = -m. Suppose k = 4*z + 64, -k + 92 = j*z + 21. Is k a multiple of 4?
True
Let t(u) be the third derivative of u**5/60 - u**4/24 - u**3/6 + 6*u**2. Let k be t(2). Let m(w) = 15*w + 5. Is 8 a factor of m(k)?
False
Suppose 5*r = 4*w + 9884, 5*r - 9881 = -0*r + w. Suppose -14*b + 1354 = -12*b + 4*m, -3*b + 5*m = -r. Does 20 divide b?
False
Suppose 4*z - g - 952 = 3*g, -5*g - 485 = -2*z. Is 6 a factor of z?
False
Let u(l) = 69*l**2 + 23*l + 138. Is 30 a factor of u(-9)?
True
Let z be -6 + 2 + -2 + 2. Let j be 346*(45/(-10) - z). Let r = j - -347. Is r a multiple of 35?
False
Let d(q) = 15*q - 5. Let a = -26 + 33. Let c be d(a). Suppose -6*g = -5*z - 3*g + c, 3*z = -g + 60. Does 20 divide z?
True
Suppose 3*k + 713 = -4*u, -5*k - 5*u - 1166 = 29. Let v = 514 + k. Is 2 a factor of v?
False
Let j(u) = -2*u**2 + 37*u - 92. Let r(h) = h**2 - 18*h + 46. Let w(o) = 3*j(o) + 7*r(o). Does 8 divide w(21)?
False
Let c = 663 - 388. Let b = -123 + c. Let i = -21 + b. Does 36 divide i?
False
Let p be (8/(16/(-6)))/(-1). Suppose 2*c + j - 176 - 98 = 0, 4*c - 548 = -p*j. Does 19 divide c?
False
Let u(f) be the second derivative of 1/2*f**4 - 5/6*f**3 - 6*f - 8*f**2 + 0. Is u(-6) a multiple of 40?
False
Let j be (1 + (0 - 3))*-1. Suppose j*t = -3*s - 72, 2*t - 7 = -1. Let k(h) = -2*h - 15. Is k(s) a multiple of 33?
False
Suppose 76*n + 44*n - 863373 - 49347 = 0. Is 19 a factor of n?
False
Let z = -22061 - -29957. Does 28 divide z?
True
Suppose 20*b + 49*b = 435942. Is 54 a factor of b?
True
Suppose -17*q = w - 20*q - 1368, 4*w + 4*q = 5424. Suppose 39 - w = -15*f. Is f a multiple of 22?
True
Let w(l) = l + 1. Let t be w(10). Let m(q) = 17*q - 5*q - 2 + 10 + 2*q. Is 27 a factor of m(t)?
True
Let n = -146 - -148. Let o(m) = -m**3 - 4*m**2 - 4*m - 3. Let q be o(-3). Suppose -n*r + 2*k + 64 = q, k = r - 3*r + 52. Does 25 divide r?
False
Suppose -3*p = f - 1308, -2*f + 2*p + 1633 = -1015. Is (30/(-40))/((-2)/f) a multiple of 11?
True
Suppose 27*j + 95679 = 113*j + 29459. Does 77 divide j?
True
Let p(h) = 1. Let n be 9 + -1 - (3 + 1). Let t(u) = -4*u + 23. Let v(f) = n*p(f) + t(f). Is v(0) a multiple of 6?
False
Suppose -8623 = 3*a + 18599. Suppose g - 5*k = 2*g - 145, -3*k = 2*g - 269. Does 14 divide 1/5 - a/g?
True
Let q(y) = -733*y - 3530. Is 59 a factor of q(-35)?
True
Suppose r - 20 - 27 = 0. Let y = -49 + r. Is 732/21 + y/(-14) a multiple of 3?
False
Suppose -42 = -4*t + 90. Suppose 0*h - 14 = 2*h. Let u = t + h. Is 5 a factor of u?
False
Does 42 divide (-12480)/560*-147*1?
True
Is (5 - 66/14)/(3/27741) a multiple of 3?
False
Let b = 4559 - -12. Is 8 a factor of b?
False
Suppose 2*t + 0*t = -38. Suppose -8*h + 48 = -240. Let q = h - t. Is 6 a factor of q?
False
Is 4 a factor of (-11 - 12831/42)*-2?
False
Let v(m) = -m*