e
Does 53 divide (-8)/16*-24*(-23373)/(-28)?
True
Suppose -32 = 68*m - 70*m. Suppose m*l - 8397 - 3331 = 0. Is l a multiple of 12?
False
Let b be 3*(2 + 1)/(-3). Let o be -3 - (21 - b)/(-4). Suppose 4*n - 27 = -y + 108, o*y + 155 = 4*n. Is n a multiple of 3?
False
Let j = -3383 - -3523. Is 2 a factor of j?
True
Suppose -9*f + 16*f = 17*f - 281610. Does 20 divide f?
False
Let n be 172 + -2 + 36/(-9). Let h be (-1)/((-5)/n)*10/4. Suppose -h = -3*j + u, 3*u + 145 = 5*j - 2*u. Is 21 a factor of j?
False
Let p = 758 - -1058. Does 4 divide p?
True
Suppose -7*m + 10 = -2*m. Suppose -z = -m*z + 108. Let f = 233 - z. Is 25 a factor of f?
True
Suppose 0 = 4*k - 4*r - 56316, 5 + 1 = 3*r. Is 17 a factor of k?
False
Let p be (2 + 38)*(-28)/5. Let v = 308 + p. Is v a multiple of 6?
True
Let l(x) = x**3 + 29*x**2 + 7*x + 11. Let h(o) = o**3 + 27*o**2 + 7*o + 13. Let z(m) = 4*h(m) - 5*l(m). Is z(-37) a multiple of 32?
True
Let z(m) = -18*m**3 - m**2 + 4*m + 21. Let x(q) = -7*q**2 + 9*q + 7. Let u be x(2). Is z(u) a multiple of 18?
True
Let m be ((-12)/(-16)*2)/((-3)/20). Let s = m + 8. Is 94 + 1 + 4 + 0 + s a multiple of 23?
False
Suppose 5*b - 32 = 3*m, 3*m + 2*b - 24 = 7*m. Let r be m/96*-3 - (-31)/8. Suppose c - 32 = -r. Is c a multiple of 14?
True
Let f(o) = 26*o - 2183. Does 12 divide f(149)?
False
Let y(k) = -76*k + 2. Suppose -5*w - 14 = 4*r + 15, -3*r + w + 2 = 0. Let d be y(r). Let f = d - 32. Is f a multiple of 3?
False
Suppose -42*i - 213*i + 5985365 + 10213255 = 0. Does 65 divide i?
False
Let b = -463 - -463. Does 29 divide 7*(-1392)/(-8) - b?
True
Suppose -36*k + 31*k + 52701 = 2*m, -4*k + 52702 = 2*m. Does 19 divide m?
True
Let n = 208 - 74. Suppose 0 = -k - 4*j + 56, -2*k + 2*j - 42 + n = 0. Is 4 a factor of k?
True
Suppose -3*i = 4*v - 89 - 111, -253 = -5*v - 3*i. Let y = 57 - v. Suppose -5*w + 485 = -5*r, 3*w + 2*w + y*r - 476 = 0. Is w a multiple of 32?
True
Suppose -g - 753 = y + y, -3765 = 5*g - 5*y. Let x = -532 - g. Does 22 divide x?
False
Let s be (-6)/6 - (-1 - -1 - 21). Let h(g) = -4*g**2 + 24 - s + 0*g**2 + 11*g**2 + 3*g. Is 26 a factor of h(-4)?
True
Let m be ((-8)/16)/(2/12). Let h be (3 - 1) + -1*(5 + m). Suppose 3*p = -5*s - 0*s + 26, h = s + 5. Does 17 divide p?
True
Let u = 23771 + -15755. Is u a multiple of 48?
True
Suppose 0 = 10*u - 7*u - 6. Suppose 0 = 3*h + 5*g - 29, -3 + 2 = -3*h + u*g. Suppose 6*z - h*m = z + 239, -86 = -2*z - 2*m. Is 23 a factor of z?
True
Let o = 340 - 629. Let u = o + 196. Let b = u + 213. Is b a multiple of 28?
False
Let b(o) be the first derivative of o**3/3 - 3*o**2/2 - 13*o + 10. Let a be b(-3). Suppose a*p = 268 - 78. Is 7 a factor of p?
False
Suppose -12*q = -17*q + 25, -4*u - q = -24005. Does 20 divide u?
True
Suppose 3*z = -t - 4*t + 11, -5*z = -4*t + 31. Suppose 0 = -2*q - 4*m - 2*m + 2836, t*q + m = 5727. Is 14 a factor of q?
False
Suppose -114*p - 31*p + 7344540 = 0. Is p a multiple of 54?
True
Suppose 0 = -27*u + 24*u. Suppose u*n + 495 = 15*n. Is n a multiple of 11?
True
Let d = -498 + 759. Let b = 47 + d. Does 44 divide b?
True
Suppose -r - 93 = -5*i - 400, i = -5*r + 1483. Let d = r - 229. Is d a multiple of 4?
True
Suppose -g - 5*y + 21315 = 0, -g + y + 11557 + 9722 = 0. Does 215 divide g?
True
Let r = 382 - 927. Does 20 divide 1/(544/r - -1)?
False
Is (18/(-28)*8)/(125478/13944 - 9) a multiple of 16?
True
Suppose 0 = 26*i - 22*i - 16. Suppose 4*s = x + 106, -3*x + 3 - 113 = -i*s. Is s a multiple of 13?
True
Let m be ((-8874)/(-14))/3 - (-8)/(-28). Suppose 0 = -4*g + 65 + m. Let n = 118 - g. Is n a multiple of 7?
True
Let a(p) be the third derivative of 11*p**5/15 - p**4/12 - p**3/3 + 32*p**2. Suppose -4*g + 6 = -7*g. Does 33 divide a(g)?
False
Let k(y) = 974*y + 1343. Is 13 a factor of k(9)?
False
Suppose -2*s + t + 59505 = 0, -s - t + 44199 = 14442. Is s a multiple of 261?
True
Suppose 546*o - 16 = 530*o. Let u = 28 + -10. Is 14 a factor of ((-24)/u)/((o/18)/(-1))?
False
Let h = 981 - 671. Suppose 3*p - 419 - h = 0. Suppose -3*q + 0*q - m = -p, 2*q = 5*m + 179. Is q a multiple of 14?
False
Suppose -2*q = -16*q + 4284. Suppose q*x = 307*x - 302. Is x a multiple of 18?
False
Let n(h) = 1330*h - 121. Is n(3) a multiple of 165?
False
Suppose 4*n - 4 = 3*v - 0*n, -4*v + n = 1. Suppose v = -4*d + 199 - 7. Is 12 a factor of d?
True
Let u(n) = -2*n**3 + 7*n**2 + 4*n - 8. Let k be u(-10). Is 17 a factor of (-14)/4*k/(-13)?
True
Let a(n) = 2*n**3 + 15*n**2 + 7*n + 2. Let w be (1/2*-14)/1. Let q be a(w). Does 14 divide (2 - -1) + -3 - (q - 114)?
True
Suppose -4*o + 2*x + 160 = 0, -o - x = 3*o - 154. Let j be 1 - 4/12*o. Let z = j - -94. Does 9 divide z?
False
Suppose -68*o + 23*o + 10710 = 0. Does 2 divide o?
True
Let b(u) = -8 - 22 + u - 45. Let a(w) = 2*w - 112. Let f(o) = -5*a(o) + 7*b(o). Does 9 divide f(7)?
False
Let x(p) = -1543*p - 4995. Is x(-5) a multiple of 17?
True
Let x(n) = -n**3 + 10*n**2 + 25*n - 15. Let y be x(12). Let s(o) = 16*o - 7. Let d be s(y). Is 4/(-2 + -2)*d a multiple of 29?
False
Suppose 11*l - 6*l + 50 = 0. Let z be (-10)/25 - 3174/l. Suppose 8*w - z = 3*w - 4*g, w + 2*g = 61. Is 9 a factor of w?
False
Suppose 121425 = 205*r - 383*r + 203*r. Is 54 a factor of r?
False
Suppose 0 = 3*l + 12 - 15. Does 2 divide (11/((-33)/(-4)))/(l/3)?
True
Let b(i) = 12*i**2 + 74*i + 12. Let c be b(-6). Suppose c = -9*z + 54 - 0. Does 2 divide z?
True
Let j(q) = q**2 - 21*q + 109. Let i be j(8). Suppose 5*f + 357 = 3*s - 112, -s - i*f = -123. Does 5 divide s?
False
Suppose 2 = -2*o, -11*y - 2*o - 8006 = -14*y. Does 18 divide y?
False
Suppose 6*h - 153 = -3. Suppose -6409 = -h*b + 941. Is b a multiple of 21?
True
Let h = 445 - 227. Suppose 5*a - 3*a = h. Is 17 a factor of a?
False
Let r(p) = -227*p - 19. Let z be r(-3). Let n = z - 627. Is 17 a factor of n?
False
Let s be (-4)/6 - (-40)/(-12). Let z(t) = 2100*t + 6 - 4224*t + 2099*t + 14. Does 30 divide z(s)?
True
Is 176 a factor of ((-11362)/104 - -27)*(-5 - -1)?
False
Suppose 3*j = 4*j. Let v(l) be the third derivative of l**6/120 - l**5/60 - l**4/24 + 38*l**3/3 + 11*l**2. Does 13 divide v(j)?
False
Suppose 21*o + 5192133 = 266*o + 1988268. Is o a multiple of 151?
False
Let v(q) = 4*q + 14. Let i be v(14). Suppose 3*y - 377 = -2*y + 2*g, y + 5*g - i = 0. Is y a multiple of 25?
True
Let z(u) = -3*u - 38. Let a(g) = -8*g - 113. Let h = -28 + 30. Let f(y) = h*a(y) - 7*z(y). Is 18 a factor of f(9)?
False
Let x(a) = 3*a - 375. Let w(m) = -m + 125. Let l(f) = 7*w(f) + 2*x(f). Suppose -2*t = 5*k - 20, 33*t - 29*t + 12 = 3*k. Is 22 a factor of l(t)?
False
Suppose 0 = 2*m - 3 - 1519. Suppose m = n + 356. Is 54 a factor of n?
False
Let r = 41269 - 28230. Does 59 divide r?
True
Does 84 divide (12*(-6)/27)/(18147/(-4536) - -4)?
True
Suppose 137*x = 126*x + 85008. Does 28 divide x?
True
Let w = 31 + -20. Suppose 5*l + 48 = w*l. Is 5 a factor of 10/l*(14 + 10)?
True
Suppose -2*r = 3*v + 28, 4*v - 4*r + 2*r + 14 = 0. Does 46 divide (v + -2)*-69*(-4)/(-4)?
True
Let o(m) = -71*m**3 + 4*m**2 + 59*m - 142. Is o(-9) a multiple of 53?
True
Let b = -12670 + 23248. Is b a multiple of 43?
True
Let o(a) = a**2 - 16*a + 68. Let q(p) = -2*p**2 + 15*p - 70. Let m(k) = 3*o(k) + 2*q(k). Does 27 divide m(-17)?
True
Suppose 203*w = 75*w + 86784. Is w a multiple of 37?
False
Suppose -4*s - 644 = 2*k + 3*k, -5*k - 3*s = 648. Is 2 a factor of (-22)/k - (-29)/6 - -11?
True
Is 54 a factor of ((-14094)/(-4))/((-39 - -17)/(-88))?
True
Suppose 2952 + 9592 = 8*n. Let s = n + -1117. Is 5 a factor of s?
False
Let x = 542 - -11. Does 58 divide x?
False
Does 19 divide (208/364 - (-4280)/(-42))/(2/(-6))?
True
Suppose 0 = 2345*p - 2344*p - 9158. Is p a multiple of 55?
False
Let j = 14734 - 3304. Does 45 divide j?
True
Suppose 3*h + a - 17 = 0, -2*a + 2 = -2. Let g(m) = 10*m**2 + m + 8. Let u(p) = -11*p**2 - p - 7. Let f(x) = 7*g(x) + 6*u(x). Does 17 divide f(h)?
True
Let o be (-3)/((-2)/8*(-5 + 8)). Is (-7 - -382) + -1*o a multiple of 52?
False
Suppose 5*g - 7*g = -0*g - 4980. Is 9 a factor of g?
False
Let m = 160 - -268. Let k = 824 - m. Does 33 divide k?
True
Is 213 a factor of (-4 + (-326)/4)/((-5)/1420)?
True
Suppose -8*h + 6*h - 14 = -9*h. Let m(x) be the second derivative of 2*x**5/5 + x**4/4 - 3*x**2/2 - x. Does 8 divide m(h)?
False
Suppose -s - 2*i = 148, -2*i = 4*s +