7, -16*z + 4*n - 8789 = -19*z. Is z a multiple of 42?
False
Suppose 0 = 1313*x - 1369*x + 331856. Is 20 a factor of x?
False
Let g(u) = -u**3 + 13*u**2 + 4*u - 10. Let m be -3 + (-9)/6*(0 + -10). Is g(m) a multiple of 14?
True
Let i be -6 + (16092/4)/3. Suppose -4*b - 12 = 0, 3*f + 6*b - 11*b = i. Does 22 divide f?
True
Suppose 25*h - 13*h = 9612. Suppose 20*n = h + 2279. Is n a multiple of 22?
True
Let z(m) be the third derivative of 5*m**4/12 + 46*m**3/3 - 3*m**2 + 35. Does 15 divide z(11)?
False
Suppose 2*j - 70 = -5*o, 4*o - j + 0*j = 43. Is 9 a factor of (27/6)/(o/1032)?
True
Let g(w) = -w**2 - 19*w + 12. Let s be (276/161)/((-6)/(-28)). Suppose 77 = -s*x + x. Does 25 divide g(x)?
True
Let n(t) = 7*t**2 - t. Suppose m - 3*m + 8 = -4*u, 5*m + 4*u = 20. Let q be n(m). Suppose -4*x + q = o - 0*x, 4*o = 4*x + 472. Does 43 divide o?
False
Is 73 a factor of 4/7 - 41829906/(-2954)?
False
Suppose -5*y + 15340 = 3*q, -18*q + 4*y - 25571 = -23*q. Is q a multiple of 14?
False
Let f(i) = 13*i**2 + 316*i + 6. Is f(-28) a multiple of 30?
True
Is 16 a factor of 6/(-15) + (115968/45 - (-2)/(-3))?
True
Let o(x) = 61*x**3 - x. Let q(p) = 5*p**3 - 5*p. Let j(y) = 4*y**3 - 4*y. Let w(v) = -6*j(v) + 5*q(v). Let c(d) = -o(d) + 2*w(d). Does 15 divide c(-1)?
True
Suppose -101880 = -59*q + 39*q + 31520. Does 58 divide q?
True
Is 36 a factor of 120*((-64)/(-6) - 5)?
False
Let u = 129 + -11. Suppose -u*k = -112*k - 1812. Does 55 divide k?
False
Suppose 2*h - 3*y - 13 = -0*y, y + 3 = 0. Suppose -8*o = -26 + h. Let c(m) = 50*m - 13. Is c(o) a multiple of 25?
False
Suppose -3*d + 2*i + 111585 = 0, 633*d - 5*i = 630*d + 111603. Is d a multiple of 33?
True
Let w = -674 - -686. Does 26 divide w*(-104)/(-24)*(-27)/(-6)?
True
Let h(p) = -p**3 - p**2 - p + 8. Let m be h(0). Is 43 a factor of -53 - -49 - m*-1*22?
True
Let q(b) = -6*b - 9. Let u be q(-8). Let w be (-28)/13 + 2 + (-33)/u. Does 4 divide w/2 + -1 + (-43)/(-2)?
True
Let b = 715 - 21. Suppose 2*x - b = 2. Is 12 a factor of x?
True
Let z = 62 + -62. Suppose 2*b - 12 = -z*b. Suppose -j = -b*j + 255. Is j a multiple of 9?
False
Let v(x) = -x**3 + 6*x**2 - 3*x + 15. Suppose 4 = -m - 5*p, -3*m + 10 = -p + 5*p. Let j be v(m). Is 4 a factor of (-1)/j + (-322)/(-42)?
True
Let s = -278 - -270. Does 20 divide 120/((-6)/s*1)?
True
Suppose -23*j = -18*j + 5*l - 43595, -3*l + 17445 = 2*j. Is 72 a factor of j?
True
Suppose -4*v - 45 = h - 0*v, 0 = 3*h + 5*v + 149. Let o = h + 56. Does 5 divide (o - (-213)/(-6))*4/(-5)?
False
Let k(a) = 83*a**2 - a - 14. Does 67 divide k(6)?
False
Let z(p) = -3*p + 26. Let m be z(8). Suppose -436 = -3*g - b, m*g + g - b - 434 = 0. Is g a multiple of 11?
False
Does 9 divide 8288/154 - (-18)/99?
True
Let o(i) = 21*i**2 - 22*i + 542. Is 14 a factor of o(-18)?
True
Suppose 44125 = 124*k - 59484 - 377015. Is k a multiple of 68?
True
Let w(f) = 37*f**2 + 139*f + 2286. Is 11 a factor of w(-15)?
False
Does 24 divide -2 - 63/(-14) - (-11410)/4?
False
Suppose 4*p = -3*j + 23, 2*j + 5*p - 8 = 5. Suppose 5*l - g + 0 = j, 4*l - 4 = 4*g. Suppose -y - 488 = -2*z, -z - l*y - 60 + 304 = 0. Is 19 a factor of z?
False
Suppose -6*c + 18 = -0*c. Let t(m) = 8*m**2 + 5*m - m + 2 + 0*m + m**c. Is t(-6) a multiple of 10?
True
Let v(h) = 2*h**3 + 129*h**2 - 96*h - 95. Does 10 divide v(-65)?
True
Let b = 3272 - 3114. Is b a multiple of 7?
False
Let q(m) = 8*m**2 + 3*m - 2. Let t be q(1). Suppose -10 = -t*i - i. Is 9 a factor of 4 + (98 + i - 4)?
True
Suppose 0 = 5*k - 0*l + l - 25, -4*k + 3*l = -20. Let c(w) = 4*w - 12. Let v be c(4). Suppose -z - v*g = -87, -z = 8*g - k*g - 90. Is z a multiple of 11?
True
Let d = 801 + -507. Suppose 4*y - 3*b = d, -6*y + 369 = -y - 3*b. Let k = y + 40. Does 17 divide k?
False
Is -2*(-6 + 63/6)*(-10431)/27 a multiple of 19?
True
Is 32 a factor of 2 - (7 + -1) - ((-22556)/1 + -8)?
True
Let z(d) = 10*d**2 - 11*d - 28. Let j(r) = 5*r**2 - 5*r - 13. Let c(u) = 5*j(u) - 2*z(u). Is c(3) a multiple of 16?
False
Suppose -4*p = -5*b + 32 + 4, -3*b + 4*p = -20. Suppose b*i = -60 + 620. Suppose i = -6*w + 550. Does 10 divide w?
True
Let z = 540 - 520. Suppose z*s - 9*s = 902. Is 7 a factor of s?
False
Suppose i = -5*p - 1066, -81 = -3*p + i - 727. Is 22 a factor of p/(-8)*4 - 3?
False
Suppose -19*f + 9*x = -17*f - 113664, 227272 = 4*f - 4*x. Is 17 a factor of f?
True
Let v = 9 - 3. Let g be 0 + (-1)/(-3) + 5/3. Suppose 0 = g*a - v*a + 4*c + 156, 171 = 5*a + 3*c. Does 9 divide a?
True
Let m(i) = -250*i**3 + 38*i + 38. Is m(-1) a multiple of 5?
True
Suppose -9*c - 31958 + 45413 = 0. Does 13 divide c?
True
Suppose 6*z = 10*z - 32. Suppose -a - 200 = -5*h, -z*h + 3*h + 4*a + 215 = 0. Is 12 a factor of h?
False
Suppose 4*c = -5*g + 84, 3*c + c - 2*g - 84 = 0. Suppose 0 = -c*r + 30*r - 5328. Does 33 divide r?
False
Let o(l) = -l**2 - l + 1. Let d(x) = -5*x**2 - 15*x + 71. Let r(w) = d(w) - 6*o(w). Is r(0) a multiple of 19?
False
Let l be 16/(-6)*(-2697)/62. Let a = l + -76. Does 3 divide a?
False
Suppose -154*m + 19499 + 58819 = -40*m. Is m a multiple of 229?
True
Suppose 12*v + 16 = 4*a + 10*v, 0 = a - 5*v - 13. Suppose 0 = -2*h - a*k + 206, -13*h + 15*h + 5*k - 210 = 0. Is 3 a factor of h?
False
Let g(b) = b**3 + 17*b**2 + 7*b + 9. Let a(i) = 4*i - 43. Let n be a(8). Is 14 a factor of g(n)?
True
Suppose -245*h - 418*h = -13301269 + 2724430. Is h a multiple of 53?
True
Let x(z) = 3*z + 2. Let v be (-63)/(-3) + (-12)/(-4). Suppose -18 = 2*c - v. Is 11 a factor of x(c)?
True
Suppose 0*z + 12 = -4*z. Is 6 a factor of ((-42)/(-10))/((12/z)/(-100))?
False
Is 22 a factor of 353/((-9)/468*-26)?
False
Let q(a) = a**3 - 12*a**2 + 5*a + 19. Let h be q(11). Let v = 58 + h. Let p(w) = 3*w**2 - 16*w + 10. Is p(v) a multiple of 28?
False
Let h = -122 + 125. Is 2 a factor of 10/h*((-108)/8)/(-9)?
False
Suppose -424 = 7*f - 1334. Let c = f - 117. Let k(d) = -d**3 + 15*d**2 - 18*d - 21. Is k(c) a multiple of 30?
False
Let k = -33 - -36. Suppose k*w - 6 = -0. Suppose w*r - 2*m - 3 = 233, 5*r + 5*m = 550. Is r a multiple of 10?
False
Suppose -5*m = -5*c - 12030, -1174 = 3*m - 5*c - 8386. Is m a multiple of 31?
False
Let h(b) = -b**3 + 17*b**2 - 7*b - 98. Let g(r) = r**3 - 19*r**2 + 16*r + 52. Let s be g(18). Does 2 divide h(s)?
True
Suppose -52886 = -7*p - 5*p + 44098. Is p a multiple of 21?
False
Suppose 2*g = 29313 - 13115. Is g a multiple of 13?
True
Suppose 10574 = 29*c - 27*c + 4*n, 5*n - 10571 = -2*c. Does 26 divide c?
False
Let a(h) be the first derivative of -h**3/3 - 5*h**2/2 + 144*h + 19. Is 6 a factor of a(0)?
True
Suppose 5*c - 3*i = -5*i - 1322, 5*c = 3*i - 1342. Let a(v) = 31*v**2 - 12*v - 14. Let d be a(4). Let x = d + c. Does 20 divide x?
False
Let y(f) = -f**2 - 24*f - 54. Let t(p) = p**2 + 25*p + 53. Let o(z) = 4*t(z) + 3*y(z). Let i be o(-26). Let s(x) = -x**3 - x. Is 10 a factor of s(i)?
True
Let f(p) be the first derivative of -p**4/4 - 4*p**3/3 - 3*p**2/2 - 4*p + 9. Let w be f(-2). Is -4*(2 + 63/w) a multiple of 34?
True
Suppose 53 = 3*x - 2*f, 11 = 3*x - 4*f - 32. Suppose -7 + 11 = -3*h + a, 0 = -2*h + 2*a + 4. Let o = x - h. Is 12 a factor of o?
True
Does 194 divide (-926 + -4)*(2064/(-63) + (-3)/(-7))?
True
Let s be 21 - -1 - (3 + -3 - -2). Suppose -22 + s = -t. Is 5/(-10) - (-69)/t a multiple of 17?
True
Suppose 0 = -6*f + 460 + 572. Suppose -f*q = -174*q + 4. Is 24 a factor of 253 + q + -2 + 5?
False
Suppose -5*m + 1104 = 3*a, 3*m + m - a - 890 = 0. Suppose -m - 178 = -4*c. Is 25 a factor of c?
True
Let d be ((-16)/(-6))/(1/(-3) - -1). Suppose 2*q + 2 + d = 0, -5*x + 211 = 3*q. Is x a multiple of 25?
False
Suppose 8*s - 7*s + 18512 = 9*s. Is s a multiple of 84?
False
Suppose 2903 = -14*n + 10089 + 8018. Is n a multiple of 2?
True
Suppose -8292 = -3*q + s + 2*s, -3*q = -s - 8284. Suppose 76*x + 2*v + 1368 = 78*x, -q = -4*x - 2*v. Is 43 a factor of x?
True
Let g = -16754 - -25934. Is 18 a factor of g?
True
Let q(m) be the first derivative of -m**4/2 + m**3 - m**2/2 - 2*m - 12. Let r be q(3). Let u = 39 + r. Is u a multiple of 7?
True
Let d(f) = f**2 + 4*f - 16. Let l be d(3). Is 38 a factor of 76/(-5)*l/(-2)?
True
Let d be 38/(-95) + 314/10. Suppose -3*z - 3 - 16 = -2*k, -2*z + 5*k = d. Is 17 - (z + 3 + 1) a multiple of 8?
True
Does 53 divide (-99)/9 - -8 - -2653?
True
Let y be 9 + 0*(-9)/(-54