6))?
False
Let f be ((-90)/54)/(5/(-6)). Suppose -4*g = -5*m + 1, m - 8 = -4*g - 3. Is 91/14*g*f a multiple of 13?
True
Let d = -35 - -31. Let o = d - -16. Is 4 a factor of o?
True
Suppose 3*h - 3*u - 360 = -51, -u = -5. Let m(p) = -p**2 - 15*p - 15. Let d be m(-9). Let l = h - d. Does 20 divide l?
False
Let t = 43 - -49. Suppose p = 15 + 39. Let u = t - p. Is 19 a factor of u?
True
Let u = -96 - -316. Does 20 divide u?
True
Let u = 102 - 96. Suppose -8*m = -u*m - 78. Is 13 a factor of m?
True
Let p(t) = -t**3 + 17*t**2 + 26*t - 40. Suppose 108 = b + 5*b. Is p(b) a multiple of 26?
True
Suppose -3*j + 14 = -g, 0 = g + 3*j - 0*j - 4. Is -1 - (g/5 - (-2 - -86)) a multiple of 28?
True
Let r(x) = -x**2 - 1. Let t be r(-4). Let f = -15 - t. Suppose -35 = -5*z - f*y, 0*y = -y + 5. Is 2 a factor of z?
False
Let m(t) = 20*t + 1. Suppose 4*w - 4*x = -0*w + 36, -2*x = w. Suppose -2*i = -4*i + w. Is 14 a factor of m(i)?
False
Let b be -2 + -3 + 8 - -1. Suppose 4*o - b*l = 176, o + 4*l = -o + 118. Is 7 a factor of o?
True
Suppose 9*g + 9867 = 22*g. Is g a multiple of 23?
True
Let h(j) = -22*j. Let l be h(0). Let y(i) = -2*i**3 - 8*i**2 - 5*i. Let c be y(-6). Suppose 2*b - c = -4*w - l*b, b - 177 = -4*w. Does 15 divide w?
True
Let k(x) be the third derivative of x**4/24 + 4*x**3/3 - 27*x**2. Let q be 8/(-2)*(-5)/4. Is 13 a factor of k(q)?
True
Let p(b) = -158*b + 2. Let s be p(-1). Suppose 0 = -3*v + 8*v - s. Does 11 divide -1 + 2 + 0 + v?
True
Let y = 18 - 30. Let u(f) = -f**2 - 15*f + 4. Is u(y) a multiple of 20?
True
Suppose 2*l + 10 = 4*j, 5 = -3*j + 4*j. Let n(d) = 54*d - 15. Does 37 divide n(l)?
False
Does 16 divide ((-3)/((-135)/117))/(2/2570)?
False
Let a = 25 - 24. Let o(s) = 33*s - 3. Is 4 a factor of o(a)?
False
Suppose 4*q - 121 + 21 = 0. Let t = -27 - -19. Let z = q - t. Does 20 divide z?
False
Suppose 0 = 2*m - 6*m - 12. Let o be ((0/4)/m)/2. Suppose -5*s - 3*f + 249 = 0, 3*s + o*s - 2*f = 157. Is 12 a factor of s?
False
Does 46 divide ((-24)/(-12))/((-4)/(-1114))?
False
Suppose 5*u - 19 = 1. Suppose -2*j + 200 = y - 6*y, -4*y - 376 = -u*j. Suppose -3*g - 66 = -3*h, 4*h = 2*g - 6 + j. Is h a multiple of 5?
True
Let j(y) = 2*y - 4. Let w(n) = 2*n - 5. Let x be w(4). Let z be j(x). Suppose o = -5, 0 = z*v - 5*o - 84 - 5. Is 8 a factor of v?
True
Suppose 5*v - 353 = 3*v + u, -v = -u - 178. Suppose 7*x - 2*x = v. Is 35 a factor of x?
True
Let z(p) = -p**2 + 13*p. Let h(o) = o**2 - 14*o - 1. Let g(k) = -2*h(k) - 3*z(k). Let f be g(11). Does 12 divide 84/2 + (f - 2)?
False
Let o be (-30)/18*((-16)/10 - 2). Suppose -10*k = -o*k - 388. Does 12 divide k?
False
Let c = 7 + -26. Let m = -13 - c. Is 7 a factor of (m + 1)/(7/7)?
True
Let u = 644 + -948. Let y = -202 - u. Is 16 a factor of y?
False
Let u(k) = 3*k - 22. Let f be u(9). Suppose f*o - 6*s + 3*s = 235, -3*o - 2*s = -160. Is o a multiple of 25?
True
Suppose -2*k = 2*k + f - 9845, 2*k = 2*f + 4910. Is 28 a factor of k/22 - (-8)/44?
True
Is 601 - (658/168 + (-2)/(-24)) a multiple of 86?
False
Let l be (6 - (5 - 1)) + 144. Suppose -4*a + 873 = -b - l, -3*a - b = -766. Is a a multiple of 17?
True
Let c(b) = -22 + 0*b + 6*b**2 + 8 + 5*b. Let t be c(-6). Suppose g - 5*g = -t. Does 8 divide g?
False
Does 71 divide (-13)/(39/(-150))*(-688)/(-40)?
False
Let t(w) = -33*w + 88. Is t(-15) a multiple of 17?
False
Let z = 527 - -270. Is 99 a factor of z?
False
Let v(j) be the second derivative of -j**3/3 - 3*j**2/2 - 5*j. Let o(y) = -2*y - 3. Let q(x) = -4*o(x) + 3*v(x). Is q(7) a multiple of 14?
False
Let f(y) = 149*y + 76. Is 53 a factor of f(4)?
False
Suppose -v + 2*x + 2395 = 5*x, 0 = -3*x + 12. Is 14 a factor of v?
False
Suppose 8*s - 4*s = 444. Suppose -3*g = -0*g + 4*v + 70, 0 = 5*g + v + s. Does 8 divide (-2)/4*1*g?
False
Suppose 1020 = -8*c + 18*c. Is c a multiple of 17?
True
Suppose 0 = 3*x + 4*m - 853 + 151, -4*x + 936 = m. Suppose -2*u - u = -x. Is u a multiple of 26?
True
Suppose -7*q + 5*p + 92 = -6*q, -160 = -2*q + 2*p. Is 2 a factor of q?
False
Suppose 0 = 4*d + 11 + 13. Let j be (-36)/21*21/d. Is (-14 + -7)/((-2)/j) a multiple of 21?
True
Suppose 0 = -2*g + 2, 0 = -2*o + 2*g. Suppose 0 = -a - 2*r, -2*a - 2*r + o = r. Suppose -46 = -2*n - 0*n - 2*w, 4*n - a*w - 92 = 0. Is 23 a factor of n?
True
Suppose -102*a + 127*a - 10350 = 0. Is a a multiple of 23?
True
Suppose 11*w - 380 - 6220 = 0. Is w a multiple of 50?
True
Suppose -4*d + 20 = 0, 10*a - 15*a = -d - 1680. Is 28 a factor of a?
False
Suppose 5*f + 50 = -5*p, p - 19 = f + 5*p. Let x = -5 - f. Suppose 19 = x*q - k, 3*q - 3*k - 50 = -2*q. Is q a multiple of 4?
False
Let l(n) = -3*n**3 - 4*n**2 + 5*n - 1. Let u(h) = 3*h**3 + 5*h**2 - 6*h + 1. Let d(b) = 4*l(b) + 3*u(b). Let f be d(-2). Let j = f + -9. Is j a multiple of 3?
True
Suppose 0 = v + 14 - 6. Let t(i) = -9*i**2 - 2 + 0*i**3 - 12*i - 3*i**3 + 2*i**3. Does 10 divide t(v)?
True
Let v(r) = r + 19. Let z be v(-9). Is 9 a factor of -9*((-4)/z - (-126)/(-10))?
True
Let m be 1/6 + (-741)/18. Let x = m + 71. Is 8 a factor of x/(3 + -1) + 1?
True
Let x(i) = -i**3 - 7*i**2 + 11. Let a(w) be the first derivative of w**4/4 + 7*w**3/3 + w**2/2 - 12*w + 1. Let m(y) = -4*a(y) - 5*x(y). Does 9 divide m(-6)?
False
Let w = 10 - -5. Suppose w = -3*r + r + 3*m, r - 3*m = -15. Suppose r = -f + 3*f - 22. Is 2 a factor of f?
False
Suppose 0 = -0*w - 4*w. Suppose 5*l - 2*c = -3*c + 27, 3*l - 3*c - 9 = w. Is l even?
False
Suppose 5*r - 4 = 3*r. Suppose r*t - 428 = -2*t + 5*n, 2*t - 212 = 3*n. Is t a multiple of 16?
True
Let m(h) = h**2 - 3*h - 3. Let d be m(-4). Let r = 47 - d. Is r a multiple of 11?
True
Suppose -3*m + 6 = -3. Let k = 12 + m. Is k a multiple of 15?
True
Suppose 78*i - 33696 = 51*i. Is 10 a factor of i?
False
Let i(m) = m**3 + 6*m**2 - m + 6. Let g be i(-6). Suppose 2*o = -n + 1 + 2, 4*o + g = 0. Let f = n - 1. Is 3 a factor of f?
False
Let f be (-13)/(-65) - 324/(-5). Let j be -2*-2*f/(-20). Let v(k) = k**2 + 12*k + 14. Does 8 divide v(j)?
False
Suppose -4*h = -h. Let m = h + 4. Suppose -3*q - 6 = 0, -4*x = -q + m*q - 58. Does 16 divide x?
True
Suppose 2*b = 5*b - 27. Suppose -2*q + 60 = 2*o, -4*o = q - b*o - 6. Does 5 divide q?
False
Let j = -81 + 83. Suppose -3*w + 193 = 2*a, -2*a - a - j*w = -302. Is a a multiple of 13?
True
Let y be 1/3 - (-6)/9. Let g = 5 - y. Suppose -3*w = -3*q + 51, -3*w - 86 = -g*q - 18. Is 9 a factor of q?
False
Let d = -415 + 812. Suppose d - 81 = 4*h. Is h a multiple of 23?
False
Is 14 a factor of (15/(-10))/(5/(4 + -15824))?
True
Suppose -2*a + 5*m - 9 = 0, 4 = 3*a - m - 2. Suppose 0 = 3*w, -6*l + 4*l = -a*w - 70. Is l a multiple of 11?
False
Let q = 48 - 21. Let j be 9/q + (-574)/(-6). Suppose j = 5*i - 129. Is i a multiple of 15?
True
Let k be ((-10)/25)/((-6)/45). Suppose 48 = 2*d - k*u, 0 = 5*u + 10 + 10. Does 9 divide d?
True
Let d be ((-12)/(-9) - 1)/(1/3). Let i(m) = 80*m**2 - 3*m + 4. Is 17 a factor of i(d)?
False
Let h(x) = x**2 + 8*x - 4. Let i be h(-9). Suppose 4*m = i + 3, -4*u - m = -510. Does 9 divide u?
False
Let v(d) = d**2 - 11*d + 15. Let l be v(9). Does 11 divide 11/(-66) - l/((-54)/(-4431))?
False
Suppose 35*g + 6*g = 4387. Is 4 a factor of g?
False
Let p(m) = m**2 + 3*m + 4. Let r(a) = -a**3 - 2*a**2 - a + 4. Let i be r(0). Is p(i) a multiple of 23?
False
Let c(n) = 2*n**2 - 2*n + 4. Let b = 11 + 10. Suppose 5*i - 12 = t + b, -4*i - 5*t = -38. Is c(i) a multiple of 22?
True
Let v(f) = f**2 - 2. Let h be v(2). Suppose 10*b - 768 = h*b. Is b a multiple of 32?
True
Suppose -2*h + 5*x = 64 + 141, 0 = -5*x + 25. Is 12 a factor of (-4)/(-3) + (-3120)/h?
True
Let t(a) = 4*a + 7. Let z(q) = -6*q - 11. Let u(p) = -8*t(p) - 5*z(p). Let g be u(-2). Suppose 0*i + g*i = 183. Is 17 a factor of i?
False
Let v = 3305 + -1053. Is v a multiple of 27?
False
Let l(t) = -3*t + 2. Let a be l(-2). Let s(m) = -m**2 + 18*m + 5. Let g be s(a). Let j = g + -45. Is j a multiple of 15?
False
Let y = -172 + 493. Does 6 divide y?
False
Suppose -6912 = -99*d + 35*d. Is d a multiple of 20?
False
Suppose -3*r - 3*z + 6 = 0, r + 2*z = -0*r + 2. Let d be (-1 - -3) + -37 + r. Let j = d - -46. Is j a multiple of 13?
True
Let z(j) = -98*j**2 - 4*j + 2. Let l be z(1). Let u = -3 - l. Does 14 divide u?
False
Let x(t) = 15*t + 621. Let p(i) = 8*i + 311. Let m(a) = -9*p(a) + 5*x(