1432*6/(-6 - -3). Is i/14 - 3/(-7) a multiple of 11?
False
Let z(a) = a**2 - 13*a + 25. Let c be z(9). Is 5 a factor of (-117120)/(-165) + 31/c + 3?
True
Let b = -477 + 5769. Is b a multiple of 147?
True
Suppose 2*u - 5*u + 18 = 0. Let a(y) = -y**3 + 7*y**2 - 5*y - 2. Let o be a(u). Let n(c) = 2*c**2 + 20. Is n(o) a multiple of 8?
False
Let m(c) = c**2 + 79*c - 1990. Is 58 a factor of m(81)?
False
Let m be -3*(133/(-21) - -7). Does 22 divide 171/(m - -5) - 3?
False
Let j = -33 - -37. Suppose -5*h + 7*h - t = 95, 5*h - 244 = -j*t. Does 16 divide h?
True
Suppose -3*j = 4*k - 5, -k = 4*k + 4*j - 6. Suppose 30 = k*q + q. Let o = q - -4. Is o even?
True
Let g(u) = -5*u + 19. Let w = 63 - 56. Let z be g(w). Is 6 a factor of (0 + -18)*-1 + z/(-16)?
False
Let f = 1835 - 1285. Suppose 0*v + 10*v = f. Does 11 divide v?
True
Let t = -15 - -17. Let r be 3 + 2/4*t. Suppose k = r*z + 6*k - 185, -235 = -5*z - 5*k. Is 10 a factor of z?
True
Suppose -4*d + 125 = 5*b, 0 = 2*d - 4*b - 27 - 3. Let j be (d/(-10))/(2/(-4)). Suppose -j = 2*r + 1, 0 = -4*x - 3*r + 51. Is x a multiple of 3?
True
Suppose 5*k = 15*l - 12*l + 51, 2*l = -2*k + 14. Suppose k*u - 450 - 1395 = 0. Is u a multiple of 41?
True
Is (9520/(-3) + 0)/((-107)/321) a multiple of 70?
True
Let s(p) = p**2 + 2*p - 4. Let u be s(-5). Suppose u*z = 14*z - 177. Let m = -26 + z. Is m a multiple of 33?
True
Let c = 25 + -22. Suppose 4*b + 3*u - 150 = 0, -3 = -c*u + 3. Is 6 a factor of b?
True
Suppose 0 = -3485*l + 3484*l + 35364. Does 14 divide l?
True
Let m = 26713 - 9252. Suppose -21*q + 2*q = -m. Does 45 divide q?
False
Suppose -4*a - 6*k = -5*k - 13, -4*a + 10 = -2*k. Suppose 5*m + 4*r = 12 + 2, -a = -m - r. Suppose -3*s - 3*d = -360, 2*d = -s - m*d + 105. Does 10 divide s?
False
Suppose -12548 = -3*v + k, -2*v - 4*k + 8113 + 257 = 0. Is v a multiple of 89?
True
Let q(n) = 36*n**2 + 126*n - 2573. Is q(21) a multiple of 41?
True
Suppose y = b + 39, 5*y + 6*b - 2*b - 204 = 0. Let c(j) = 0*j**2 + 2*j**2 + y*j**2 - j + 1. Does 3 divide c(1)?
True
Let o be 1 - 6*(5 - 4) - -326. Suppose 3*b = -b + 772. Let r = o - b. Is 32 a factor of r?
True
Suppose 11*m = 8*m - 3. Let y be m + 23 + (-10)/(-5). Let k = -12 + y. Is 12 a factor of k?
True
Suppose -47 = -13*u + 5. Suppose 1229 + 19 = u*s. Is s a multiple of 39?
True
Let y = 16787 + -13491. Does 2 divide y?
True
Let f(s) = -283*s - 12990. Is f(-81) a multiple of 29?
False
Let v(w) = -w**3 - 15*w**2 - 25*w + 47. Let k(r) = -2*r**3 - 13*r**2 - 26*r + 48. Let f(b) = 2*k(b) - 3*v(b). Is 3 a factor of f(20)?
True
Let p = -184 - -283. Is 23 a factor of p?
False
Suppose 2*d - 9 = -3. Suppose d = 2*f - 1. Let g(q) = 27*q**3 - 2*q**2 - 2*q + 2. Is 14 a factor of g(f)?
False
Suppose 0 = 2*t - 4*t + 40. Let w = t - 23. Let y(v) = 17*v**2 + v + 6. Does 39 divide y(w)?
True
Let d = -5011 - -7051. Is d a multiple of 8?
True
Let g be 2/10*0 - 315. Let j = 376 + g. Is j a multiple of 12?
False
Does 3 divide (-24)/28*-6009 - 18/(-42)?
True
Suppose -10*p - 2 - 6 = -48. Suppose i - 33 = 15. Suppose -p*d + i = -d. Is d a multiple of 16?
True
Let m(r) = -3*r**3 - r**2 - 2*r - 1. Let x = 33 + -34. Let j be m(x). Suppose 8*n - j*n = 4*i + 16, 5 = n + i. Is n a multiple of 4?
True
Let s(b) = -b**2 - 52*b + 571. Is s(-25) a multiple of 33?
False
Let d(x) = 40*x - 94. Let l(b) = 1. Let a(w) = d(w) + l(w). Is a(5) even?
False
Suppose 4*z + 40 - 88 = 0. Let u = -10 + z. Suppose -4*n = u*w - 36, -n + w + 9 = 6*w. Is 3 a factor of n?
True
Suppose 2*w = 3*g + 4*w - 97, -g = -5*w - 38. Suppose -g*n = -28*n - 2490. Is n a multiple of 17?
False
Let k be -4 + (25 - 1) + -6. Let v(m) = 18*m - 28. Does 42 divide v(k)?
False
Let u(w) = -4*w**2 - 9*w - 7. Let t(s) = 21*s**2 + 44*s + 34. Let m(q) = -2*t(q) - 11*u(q). Let f be (6/54)/(8/360). Is m(f) a multiple of 38?
True
Suppose -81983 - 1157219 - 1492758 = -385*o. Is 66 a factor of o?
False
Let m(s) = 7*s**2 - 2*s. Let q be m(-3). Let k = 36 - q. Let l = k + 56. Is 3 a factor of l?
False
Suppose 89*i - 1053800 = 246490. Is i a multiple of 17?
False
Suppose 472*r - 476*r + 13224 = 5*g, -2*r + 12 = 0. Is g a multiple of 8?
True
Let m be (-2)/(-6) - 2/6. Suppose m = -3*q - 5*u + 20, 4*u + 52 = 3*q - 13. Is -4*(2 - q/2) a multiple of 6?
False
Suppose 0 = -4*v - 3*g + 11658 + 5945, -v = -g - 4399. Is 50 a factor of v?
True
Let q(t) = -2*t**2 - 26*t + 8. Let s be q(-13). Suppose -s*u + 78 = -2. Does 10 divide u?
True
Does 8 divide 0 + -2420*(-32)/(-120)*-3?
True
Let r = 4026 - 2430. Does 7 divide r?
True
Suppose -4*v = -3*v + 2, 0 = -4*g - 2*v + 16. Let w be (-2)/4*-542*(108/18)/2. Suppose 2*h = 2*y + y + 310, g*h - w = -2*y. Is 15 a factor of h?
False
Let x(o) = 9*o**3 - 3*o**2 + 4*o - 2. Let p be (-20)/(-70) + (-4)/14. Suppose -2*a + 29 - 25 = p. Is x(a) a multiple of 22?
True
Let k(w) = -2*w + 23. Suppose -3*b = -2*g - 2*g - 20, -4*b + 6 = 5*g. Let z be -13 + 5 + (g/2 - -2). Is 23 a factor of k(z)?
False
Suppose -n = 3*v - 589, -5*n + 3367 = v + 450. Let m = -97 - n. Is 16 a factor of (-46)/299 + m/(-26)?
False
Let v(j) = 19*j**2 + j + 2. Let w = 30 + -34. Let t be -1*2/w*-2. Is v(t) a multiple of 10?
True
Suppose -3*g = -8*g + 2*y + 52, -4*g + 2*y + 40 = 0. Let x be (g/8)/((-1)/(-6)). Suppose -j = x*j - 1530. Is 10 a factor of j?
False
Suppose -5*m + 28 = -3*u, 2*m + 4*u - 7 = u. Let r(i) = 23*i - 69. Let x be r(3). Suppose a = -m, -3*t + 4*a = -x*t - 137. Does 12 divide t?
False
Let j(a) = 4*a**2 - 14*a - 65. Let c be j(-5). Does 4 divide 1255/c*6 - (-4)/14?
True
Let j(i) = 8*i**2 + 29*i - 48. Let t be j(-11). Let d be -1 - (-1127 - -2)/(-3). Let r = t + d. Is 40 a factor of r?
False
Let m = 252 + -163. Suppose 3339 = -82*t + m*t. Is t a multiple of 28?
False
Is -20*(2142/(-255))/((-6)/(-15)) a multiple of 105?
True
Let b = 70592 - 37304. Is b a multiple of 76?
True
Let j(f) = 3*f**2 - 116*f - 3239. Is j(-59) a multiple of 16?
True
Let t(i) = 267*i - 292. Does 8 divide t(12)?
True
Let z(d) be the first derivative of 8*d**3/3 + 19*d**2/2 + 33*d + 28. Is z(-2) a multiple of 5?
False
Let b(i) = -4923*i - 132. Is b(-10) a multiple of 98?
True
Suppose -5*n = -1298 - 547. Suppose 3*r - n = 6. Let d = r + 6. Is 18 a factor of d?
False
Let f be (-33)/(-77) + (-8068)/(-7). Suppose 31*u - 1079 - f = 0. Does 4 divide u?
True
Let x(f) = -f**3 + 6*f**2 + 2*f + 6. Let n be x(6). Suppose n = 4*h - 3*s - 131, -5*h + 225 = 4*s. Let i = 87 - h. Is i a multiple of 15?
False
Let u(n) = n**3 - 2*n**2 + 2*n + 5. Let r be 4 + (-6)/(-9)*12/8. Is 15 a factor of u(r)?
True
Let q(b) = -21*b - 298. Let k be q(-8). Let o(l) = 32*l - 2. Let n be o(-2). Let u = n - k. Is 16 a factor of u?
True
Let i(q) = 30*q**2 - 18*q. Let d(y) = -2*y**3 - 8*y**2 + 10*y + 7. Let p be d(-5). Does 42 divide i(p)?
True
Suppose -11*r + 13322 = 13657 - 83121. Does 25 divide r?
False
Let d = 3326 - 1041. Is d a multiple of 5?
True
Let c(v) = -v**3 + 10*v**2 + 25*v + 43. Is 40 a factor of c(9)?
False
Suppose x - 2*x = 12*x. Let c be x - 0 - (-6)/1. Is (-1 + 4/c)/(3/(-693)) a multiple of 7?
True
Let x(d) be the first derivative of -d**3/3 - 5*d**2 - 10*d - 8. Let f be x(-8). Is 16 a factor of 80*(f/(-9) - 16/(-15))?
True
Does 18 divide (157110/90)/((-6)/(-2) - (-34)/(-12))?
False
Suppose 37*x = -82*x + 30940. Is 26 a factor of x?
True
Let r be (-28)/(-84) - (-574)/6. Suppose 0 = r*t - 83*t - 1729. Does 35 divide t?
False
Let r = 278 - 204. Let s = 127 - r. Is 2 a factor of s?
False
Suppose -4*l + 20 = -2*r, -10*r - 44 = -5*r - 4*l. Is 111/148 + (-3218)/r a multiple of 13?
True
Let o(q) be the first derivative of -q**3/3 + q**2 + 10*q - 37. Let i be o(5). Is 18 a factor of 20/10*i/(5/(-36))?
True
Let k(x) = -4*x - 21. Let l be k(0). Let h be (-28)/l - (-1716)/9. Does 10 divide h/5 + (-48)/(-80)?
False
Let i be (-1)/5 - 7049/(-95). Is (-37)/i + 337/2 a multiple of 7?
True
Let h(v) = -4*v**2 - 3*v - 1. Let r be h(3). Let y = r + 49. Suppose -y*b + 144 + 3 = 0. Is 20 a factor of b?
False
Let z be (-168)/(-63)*(-453)/4. Let r = -472 + 992. Let a = z + r. Does 36 divide a?
False
Suppose q = -3*q + 76. Suppose -q - 1071 = -5*n. Let w = -110 + n. Is w a multiple of 18?
True
Suppose s + 1 = -3, 3*g - 2174 = -4*s. Suppose -3*q = 3*k - 1775 - g, 4*q + 5*k = 3335. Suppose 2*a = 7*a - q. Is a a multiple of 36?
Fal