2 + 3*c - 2. Let a be m(4). Let r = a - h. Is 8 a factor of r?
True
Suppose 330 = -2*m - 5*j, m + 2*j = 4*j - 156. Let f be (1/(-2))/((-8)/m). Does 7 divide (-138)/f + 1/5?
True
Is (17/((-170)/352))/(2/(-10)) a multiple of 11?
True
Let g = 141 - -39. Does 19 divide g?
False
Suppose 5*i = i - 40. Let r(q) = -2*q - 15. Is 3 a factor of r(i)?
False
Let g(t) = -7 - 2*t + 3 + 2 - 2*t. Let a be g(-2). Let q(v) = 2*v. Is q(a) a multiple of 6?
True
Suppose -5*p - 4*q - 1 = 1, 8 = -2*p - 4*q. Suppose -3 - 1 = -p*f. Suppose -g + 5*t + 30 + 13 = 0, -f*g + 71 = -5*t. Is g a multiple of 17?
False
Is ((-23)/(-3))/(24/72) a multiple of 12?
False
Suppose -3*h - 9 = 39. Let a = -34 - h. Is 15 a factor of a/99 + (-686)/(-22)?
False
Suppose 38*p + 4500 = 63*p. Does 12 divide p?
True
Suppose -84 = -3*g + g. Suppose -p + 0*p + g = 0. Does 9 divide p?
False
Let s be (-796)/(-10) + (-4)/(-10). Suppose w + s - 15 = a, -2*a = -3*w - 135. Is 4 a factor of a?
True
Let o be 8 + -7 + -2 + 2. Does 25 divide ((-3)/(-5))/(o/65)?
False
Let t be 3*(-2 + (-4)/12). Is 86/(8/7 - (-1)/t) a multiple of 43?
True
Let a be (4*-4)/(-4) + 0. Suppose -a*n = -0*n + 3*o - 15, 4*o = -12. Suppose 0 = -n*z + 4*z + 112. Is z a multiple of 14?
True
Let w(z) = -z**2 + 9*z + 26. Let g be w(12). Is 18/(21/28 + g/(-8)) a multiple of 4?
False
Let t(u) = -u**3 + 8*u**2 - u - 14. Let s(o) = -o**3 - 5*o**2 - 7*o - 6. Let a be s(-4). Does 26 divide t(a)?
True
Let y = 169 + -15. Let a = y + -112. Is 7 a factor of a?
True
Let p = -488 - -1048. Is p a multiple of 16?
True
Let u(x) = 3*x - 423*x**2 + 6*x + 427*x**2 + 3. Let f(j) = -j**2 - 5*j + 8. Let c be f(-7). Does 27 divide u(c)?
False
Let a(j) be the third derivative of j**5/60 - 11*j**4/24 + 7*j**3/6 + 4*j**2. Is 7 a factor of a(11)?
True
Let h(d) = -28*d**2 + d - 3. Let w be h(3). Let i(o) = -o**2 + 9*o - 11. Let b be i(5). Does 14 divide (1/(-2))/(b/w)?
True
Let n(i) = -i - 2*i + 7*i. Let p = -5 - -11. Is 9 a factor of n(p)?
False
Let u = 62 + -62. Suppose u = -13*j + 7*j + 300. Is j a multiple of 8?
False
Let n be -3 + 0/3 - 1. Let r be (1 - -23)*(n + 5). Suppose -2*o = 3*k - 4*o - r, -k + 3 = o. Is 3 a factor of k?
True
Let p = -12 - -15. Suppose -p*s - 6 = -24. Let k = s + 104. Is 22 a factor of k?
True
Let b(i) = -i**3 + i**2 - 2*i - 3. Let y be b(-2). Let v = 9 - y. Is 9 a factor of 392/16 + (-2)/v?
False
Let x(f) = -16*f - 53. Let d(z) = z**3 - 16*z**2 + 14*z - 3. Let k be d(15). Is 26 a factor of x(k)?
False
Let r be (-12)/2 + -1*1. Let k(f) be the second derivative of -f**5/20 - 2*f**4/3 - f**3 + 6*f**2 - 24*f. Is k(r) a multiple of 3?
False
Let d(f) be the first derivative of f**4/4 + 7*f**3/3 - f**2 + 4*f - 5. Let a be d(-7). Suppose 3*c + a = 6*c. Does 3 divide c?
True
Suppose 4*x + 3886 - 198 = 4*u, -3*u + 2766 = x. Is u a multiple of 27?
False
Let z(m) = m + 7. Let d be z(-5). Let v be (5 - 6/2) + d. Does 6 divide (-2)/((v/11)/(-4))?
False
Let a = -65 - -19. Let w = -19 + -5. Let x = w - a. Is x a multiple of 9?
False
Suppose -84*u + 66*u + 62676 = 0. Is u a multiple of 14?
False
Let c(r) = r**3 + 2*r**2 + r - 2. Let j be c(1). Suppose -2*s = j*b - 48, -2*s - s + 5*b = -88. Is 2 a factor of s?
True
Let d = 49 - 27. Does 23 divide 4/d - (1092/(-44) - -2)?
True
Let k = 0 + 2. Suppose p + 0 + 1 = -4*f, -2*p = -4*f + 2. Suppose -k*t = -f*t - s - 74, -4*t = -3*s - 146. Is t a multiple of 22?
False
Let u = -257 + 327. Is u even?
True
Let x(p) be the third derivative of -p**5/60 + 11*p**4/24 + 13*p**3/6 + 8*p**2. Let y be x(11). Let k = y - -6. Is 8 a factor of k?
False
Is 1372/(-6)*195/(-65) a multiple of 24?
False
Let y(i) = 12*i - 164. Does 29 divide y(33)?
True
Let y(n) = 13*n**2 + 6*n + 6. Let d = -3 + -1. Is y(d) a multiple of 46?
False
Suppose 0 = -3*o + 4*f + 13, -4*o + 2*f = f - 26. Suppose -o*n = -681 - 138. Is n a multiple of 21?
False
Let n = 45 - 17. Does 4 divide n?
True
Let z(g) = -g + 3. Let q(f) = -f**2 + 7*f - 3. Let v be q(6). Let r be z(v). Suppose -5*o + 34 + 21 = r. Is 11 a factor of o?
True
Let l(i) = i**2 - 15*i - 11. Let o be l(16). Let d(q) = 0 + 6*q**2 - q**3 - 1 + q**2 - 6*q. Is d(o) a multiple of 4?
False
Let r be 1/(-2)*(-2 + 220). Let v = 269 + r. Is v a multiple of 16?
True
Let k = 1030 - 1513. Let t = k + 717. Is t a multiple of 26?
True
Let h = 128 - 12. Suppose -484 = -4*u - h. Does 33 divide u?
False
Let z be 691/9 - 24/(-108). Let g(r) = 128*r. Let b be g(1). Let f = b - z. Is f a multiple of 17?
True
Suppose -5*q - 4*v - 19 = 0, q + 0*q + 4*v + 7 = 0. Is 14 a factor of (6 + q/1)*(-28)/(-3)?
True
Suppose -2*r + 69 = -r. Suppose -4*w + r - 17 = 0. Suppose 5*u = w + 2. Is u a multiple of 2?
False
Let t = -15 + 17. Suppose -2*z + 104 = 3*v, t*z - 4*v = 6*z - 204. Suppose -11 = -3*y + z. Is 5 a factor of y?
True
Suppose -5*v + 0*v + w = 55, 3*v + w + 41 = 0. Is 3 a factor of (100/(-6))/((-8)/v + -1)?
False
Let b be 0/(0 + -3 + 0). Suppose -2*s = 2*k - 80, -3*s + k = -b*s - 136. Is s a multiple of 11?
True
Let r = 30 + -26. Let w(m) = 11*m - 16. Does 4 divide w(r)?
True
Let k(r) = r**2 + 2. Let j be k(6). Let b be 4/(-18) - j/(-9). Suppose 4*v + 4*q - 152 = 84, -b*q - 8 = 0. Is v a multiple of 19?
False
Let g be (1*3)/(-5 - (-92)/16). Let f(y) = 9*y**2 - 12*y - 2. Does 11 divide f(g)?
False
Let t = 13 - -69. Is 6 a factor of t?
False
Suppose -1464 = -7*y + 1658. Is 4 a factor of y?
False
Does 8 divide 46 - ((-5)/4 - (-21)/(-28))?
True
Let b(y) = -y**2 + 39*y - 15. Is 5 a factor of b(37)?
False
Suppose 5*q + 9 = -1, -r + 4*q = -10. Suppose -2*u - r*x - 10 = -4*x, 20 = -2*u + 4*x. Is 12 a factor of (-1 - u) + (13 - 0)?
True
Let a = -549 - -600. Does 7 divide a?
False
Let v be 1/(-2) - 98/28. Does 14 divide 1 - 5 - (-1)/(v/(-928))?
False
Let k be (546/65)/(3/10). Is 10 a factor of 110/1 + k/7?
False
Suppose y = -3*g + 1624, 340*y + 5*g + 4914 = 343*y. Does 12 divide y?
False
Suppose 4*m - 8 = 0, 2*b - 5*m + 9*m - 1328 = 0. Is b a multiple of 33?
True
Let d(b) be the third derivative of -b**4/12 - 7*b**3/6 + 6*b**2. Let q be d(-4). Let a(h) = 9*h - 1. Is 7 a factor of a(q)?
False
Suppose 12 = -3*r - 12. Let y(v) = -v**3 - 8*v**2 - 13*v - 3. Let w(z) = -z**2 + z. Let f(c) = w(c) + y(c). Does 15 divide f(r)?
False
Is 7 a factor of (-120)/(-24) - (1 + -188)?
False
Let i = -43 - -97. Let n be (-186)/(-36) + (-3 - 51/(-18)). Let s = i - n. Is s a multiple of 14?
False
Let j(k) = -k**3 + 29*k**2 + 24*k + 6. Is j(29) a multiple of 39?
True
Let t(r) = -5*r**3 - 53*r**2 + 85*r - 40. Let v(m) = m**3 + 13*m**2 - 21*m + 10. Let x(b) = -2*t(b) - 9*v(b). Is x(10) a multiple of 20?
True
Suppose -6*z + 14 + 10 = 0. Suppose o - 149 = -z*l, -3*o + 5 = 2*o. Let s = -28 + l. Is s even?
False
Let w(k) = k - 3 + 9 + 10 - 5. Let i be w(-6). Suppose -3*r + 49 = 4*a, -5*r + 0*a + 80 = i*a. Is r a multiple of 5?
True
Let y be 145 - ((-4)/(-5))/((-8)/20). Let l = 222 - y. Is 5 a factor of l?
True
Let d(a) = 52*a - 45. Does 43 divide d(5)?
True
Let l be 0*(-3 + (-40)/(-12)). Suppose l = -b - 3, -3*g + 3*b = 2*g - 459. Does 12 divide g?
False
Suppose -3*o = -7 + 1. Suppose -j + 192 = o*j. Let n = j - -26. Is 28 a factor of n?
False
Suppose -35778 = -12*a + 2310. Does 69 divide a?
True
Suppose -184 = -c - 2*k, 0 = 2*k - 6*k - 20. Suppose -b + c = 63. Is b a multiple of 40?
False
Suppose 28 = -k + 5*k. Let b be (-1)/(((-21)/12)/k). Is (10/(-3))/(b/(-18)) a multiple of 7?
False
Let m(d) = d**3 - 4*d**2 - 7*d + 5. Let s be m(-4). Let o = -69 - s. Does 9 divide o?
False
Suppose 4*r = 2*s - 0 + 18, 15 = 3*s. Does 2 divide (14/r - 0)/((-2)/(-8))?
True
Let c be 3 + 89/13 - 6/(-39). Does 16 divide -1 + ((-5)/c)/((-2)/836)?
True
Let m be (-140)/(-40)*(-1 - -3). Is 2/m - 1703/(-91) a multiple of 12?
False
Suppose -18*o + 14310 = -3564. Is 27 a factor of o?
False
Let n = 3368 - 2276. Does 21 divide n?
True
Let f(x) = 2*x - 15. Let a(v) = 10*v**2 + v. Let m be a(-1). Let q be f(m). Suppose 117 = q*h - 36. Is h a multiple of 17?
True
Let g(s) = -s. Let i(k) = -5*k - 4. Let d(h) = -4*g(h) + i(h). Is 7 a factor of d(-11)?
True
Let y(s) = -11*s + 3. Let g(i) = 10*i - 2. Let p(j) = 4*g(j) + 3*y(j). Let w be p(2). Let n = w + -8. Is n even?
False
Let s(a) = -a**3 - 6*a**2 - 6*a - 5. Let n be s(-5). Suppose n*u = u - 36. Suppose -u = -2*p - 2*p. Is p a multip