 a factor of h(4)?
False
Let c be 75/27 - (-8)/36. Is 11 a factor of 3 - (c - (7 - -4))?
True
Let w(q) = q + 251. Let l(h) = -2*h - 501. Let y(x) = 4*l(x) + 9*w(x). Let k be y(0). Suppose f - 5*f + k = u, -4*u + 75 = f. Does 21 divide f?
True
Let r(d) = -d**2 + 54*d + 95. Is r(55) a multiple of 13?
False
Let c(j) = 2*j**3 - 4*j**3 + 3*j - 4*j**2 - 4 + 2*j**3 + j**3. Is 3 a factor of c(4)?
False
Let q(o) = -5*o + 12. Suppose 0*a - 8 = -a. Let r be q(a). Let y = -6 - r. Is y a multiple of 11?
True
Suppose -88*r + 93*r - 540 = 0. Is 6 a factor of r?
True
Let z(h) = 250*h + 20*h**2 + 5 + 254*h - 507*h. Does 22 divide z(3)?
True
Let w be (-44)/6 - (5 - (-26)/(-6)). Does 34 divide 74*(-7)/(28/w)?
False
Let a = -10 + 10. Does 9 divide 181/4 - (-3)/(-12 - a)?
True
Let l(c) = 33*c + 99. Is l(4) a multiple of 7?
True
Suppose -22 - 23 = -5*g. Is 4 a factor of ((-6)/g)/(4/(-120))?
True
Suppose 3*v = -2*k + 10, 2*k - 4*v + 2 - 12 = 0. Suppose 0 = -k*t + t. Suppose 68 = -s + 3*s + 4*d, 2*s + d - 80 = t. Is s a multiple of 7?
True
Let k = -23 + 78. Let a = -38 + k. Is a a multiple of 5?
False
Is (-5*10)/2*828/(-20) a multiple of 23?
True
Suppose 5*v - v = -128. Does 8 divide (-1)/(3 + 100/v)?
True
Is 12 a factor of -2*(-1)/2*(-64870)/(-26)?
False
Let s(p) = -p**2 + 26*p + 22. Does 10 divide s(14)?
True
Let b(x) = -x**3 + x + 3. Let o(v) = -v - 9. Let i be o(-9). Let r be b(i). Suppose -5*t = -25, 4*t - r*t = -3*c + 80. Is 11 a factor of c?
False
Is 6 a factor of 8070/16 + 7/(112/(-6))?
True
Suppose 0 = w - 6*k + k - 15, 0 = -2*k - 10. Does 21 divide ((-6)/(-4) - (-2235)/w)/(-1)?
False
Let a(w) = -7*w**3 - 12*w**2 - 2*w. Let k(v) = v**3 - v**2 + v + 1. Let z(i) = -a(i) - 6*k(i). Does 30 divide z(-18)?
False
Suppose -26 + 5 = -3*a. Suppose h - 5*l + 98 = 0, 4*l - a = 5. Let u = -44 - h. Does 13 divide u?
True
Let j(y) = 4*y. Let g be j(1). Let o = 90 + 138. Suppose o = -0*b + g*b. Does 11 divide b?
False
Suppose 11*w - 24684 = -33*w. Is w a multiple of 3?
True
Let x(s) be the first derivative of s**4/4 - 4*s**3/3 + 2*s - 1. Let i be x(4). Suppose 5*h - 69 = -i*p + 49, 5*h - 3*p = 123. Does 13 divide h?
False
Let o(f) be the third derivative of 119*f**5/60 + f**4/12 - 12*f**2. Does 13 divide o(-1)?
True
Let s(t) be the second derivative of t**5/20 + t**4 + 3*t**3/2 - 3*t**2 + 3*t. Let l be s(-12). Let y = -66 - l. Is y a multiple of 14?
False
Let o(m) = m**2 - 6*m - 1. Let b be o(4). Let f be 4 + -1 - (-2 + b). Is 16 a factor of 760/f - 2/7?
False
Suppose -14*v + 825 + 1947 = 0. Is v a multiple of 11?
True
Suppose -769*f = -780*f + 2607. Is f a multiple of 15?
False
Let i(f) = 4*f + 6. Let l be i(6). Let o be (12/(-10))/((-12)/l). Suppose 3*b = 3*d + o, -9 = -3*b - 3*d + 4*d. Does 4 divide b?
True
Let t = -929 + 1069. Does 2 divide t?
True
Does 87 divide 16/4*927/6?
False
Let g(a) = -8*a**2 + 45*a + 29. Let b(d) = 3*d**2 - 15*d - 10. Let m(r) = 11*b(r) + 4*g(r). Does 3 divide m(-17)?
False
Let s be 2468/20 + 6/(-15). Let k = -25 + s. Is k a multiple of 14?
True
Let z be -4 - (2 - (0 - -17)). Let a = z - 13. Let y(j) = -33*j + 3. Does 12 divide y(a)?
False
Suppose -50*s + 14*s = -18144. Does 7 divide s?
True
Let w = 55 + -83. Let j = -8 - w. Is ((-192)/j - -2)*-5 a multiple of 12?
False
Does 80 divide (1001/(-14))/((-2)/12)?
False
Let f = -2 - -5. Suppose -f*o + 6 = -3. Is 19 a factor of o/6*2*49?
False
Let l(w) = w + 15. Suppose 0 = -3*b - 12. Let g be 3/b*-1*8. Is l(g) a multiple of 11?
False
Let b be 2 - (-8 + 2) - 3*1. Suppose -g = -4*w + 491, b*w = -4*g + 29 + 569. Does 9 divide w?
False
Suppose 0*w = w - 42. Is (-16)/(-28)*w/4 even?
True
Let d(y) = -y**3 + 7*y**2 + 8*y + 5. Let u be d(8). Suppose 5*m = -10, v - 6 = -v - u*m. Let q(o) = 5*o - 4. Does 8 divide q(v)?
False
Let d(r) = -r + 9. Let s be d(9). Suppose s*j + 92 = 2*j. Does 9 divide j?
False
Let r be 1 - (-12 + 3/(-1)). Does 4 divide 4*4/r - -22?
False
Let l(s) = s**2 - 5*s + 3. Let a be l(5). Suppose -a*o - 1 = 4*h, -3*h - 5*o + 2 = -0. Does 13 divide -13*h*(1 + 0)?
True
Let j(b) = -b**3 + 15*b**2 - 16*b + 15. Let h be j(13). Let u = 43 + h. Suppose u + 72 = 4*g. Is 11 a factor of g?
False
Let f(r) = 7*r**2 + 46*r + 32. Let w(j) = 3*j**2 + 23*j + 17. Let d(g) = 2*f(g) - 5*w(g). Is d(-17) a multiple of 8?
False
Let x(t) = t**2 + 6*t - 5. Let p be x(-7). Let i be p*-3 - -3 - -12. Let q = 2 + i. Is q a multiple of 6?
False
Suppose 155*p - 271 = 154*p. Is p a multiple of 29?
False
Suppose -4*z = d - 179, -58 = -d - z + 115. Let f = d + -118. Does 10 divide f?
False
Let b(n) be the third derivative of -n**5/15 + n**4/12 + 20*n**3 + 15*n**2. Is 40 a factor of b(0)?
True
Let t(a) = a**3 + 4*a - 5*a**2 - 2 - a + 1. Let q be t(3). Let v = -3 - q. Is v a multiple of 2?
False
Let j(x) be the third derivative of -x**6/120 + 3*x**5/20 + x**4/2 - 5*x**3/3 - 2*x**2. Let b = -102 - -112. Does 8 divide j(b)?
False
Let k(n) = n**3 + 13*n**2 + 12*n - 14. Let a be k(-10). Let m = a + -94. Is m a multiple of 9?
True
Let l(v) = -15*v - 15. Let u be l(-6). Suppose -3*r - u = -8*r. Is r a multiple of 3?
True
Is (-2050)/(-8) - 2 - 6/24 even?
True
Suppose 5*r = -48*c + 51*c + 220, -2*r = -c - 88. Does 22 divide r?
True
Let b(t) = t**2 + 6*t + 5. Let a be b(7). Suppose -3*m + a = 2*l, 3*m + 2*l - 36 = 2*m. Does 5 divide m?
True
Suppose -70 = -4*f - 2*g, 55 = 5*f - 2*f - g. Is 18 a factor of f/(-8) - -2 - (-1515)/12?
True
Suppose 2*q + 6080 = 21*q. Does 20 divide q?
True
Let s = -63 + 178. Is 23 a factor of s?
True
Let p(z) = z**2 - 21*z + 351. Is p(15) a multiple of 9?
True
Let y(a) = -a**2 + 10*a - 6. Suppose -g + 1 = -8. Let q be y(g). Suppose -2*c - 3*c + 135 = 5*u, q*c + 5*u - 75 = 0. Does 11 divide c?
False
Let y be (8/5)/((-2)/40). Let i = y + 50. Let c = 42 - i. Is c a multiple of 8?
True
Let f = -33 + 18. Let x(u) = u**2 + 12*u - 21. Does 8 divide x(f)?
True
Suppose 12 = -3*p - p. Let m = p + 5. Suppose -3*q - 106 = -m*i - q, 0 = -2*i - 5*q + 113. Is 18 a factor of i?
True
Is 31 a factor of (-28268)/(-6) - (-36)/54?
True
Let z(p) = 2*p**2 + 56*p - 39. Is z(-29) a multiple of 7?
False
Let t = -29 + -1. Let x = t + 16. Let u = 9 - x. Is 23 a factor of u?
True
Suppose 4*c - 15 = 3*c + 3*q, -5*c + 3*q + 27 = 0. Suppose -36 = j - c*j. Suppose -3*o + j = -30. Is 8 a factor of o?
True
Let w be (-22)/121 + 53/(-11). Is 5 a factor of (10 - 6)*(2 + (-2 - w))?
True
Let x(d) = d**3 + 7*d**2 - d - 5. Let o be x(-7). Does 3 divide (-92*o)/(-4) - -4?
False
Let s = 3 - 0. Suppose -n + 21 = k, 0*n + s*n - 67 = -k. Let g = n + -13. Does 7 divide g?
False
Let h(l) be the third derivative of -1/6*l**3 + 0 + 0*l - 9*l**2 - 1/12*l**4 + 1/30*l**5. Does 23 divide h(-5)?
False
Let r = 34 + -28. Let v be (-20)/r*18/(-15). Suppose -v*x = -5*x + 109. Does 19 divide x?
False
Suppose 2*x = u - 688, 18*u - 2*x = 19*u - 688. Does 16 divide u?
True
Let w(a) = a**3 + 8*a**2 - 11*a + 9. Let s(x) be the first derivative of -x**4/4 - x**3 + x**2 - x + 11. Let t be s(-3). Is 37 a factor of w(t)?
False
Does 32 divide 4/(-9*6/(-13824))?
True
Suppose j = 4*j - 4*z - 8, -2*z + 6 = -4*j. Is (-250)/j - 6/12 a multiple of 9?
False
Suppose 3*p = k + 8*p - 990, -6 = -2*p. Is k a multiple of 25?
True
Suppose 2*u = u - 5. Let i be u/((-15)/(-9)) + 6. Suppose -118 = -i*m + 2*c, 241 - 84 = 4*m - 3*c. Does 20 divide m?
True
Suppose 0 = 5*y - 13 + 73. Is ((-135)/6)/(6/y) a multiple of 5?
True
Suppose -15*b + 24*b - 522 = 0. Is 29 a factor of b?
True
Let g be -5 + (-6)/(-5 + 2). Let p(q) = 1 + q + 4*q**2 - 1 - 4*q + 3. Is p(g) a multiple of 12?
True
Suppose 3*r = 2*z - 228, -z + 140 = -14*r + 19*r. Is 3 a factor of z?
True
Suppose 2 + 6 = 2*p. Let x = -1 - -2. Does 17 divide p + -6 + x*50?
False
Suppose -2*s + 661 + 719 = 0. Suppose -8*x - s = -13*x. Does 16 divide x?
False
Let v(u) be the second derivative of u**4/12 - u**3/6 - 7*u**2/2 - u. Let w(a) = -4*a - 63. Let n be w(-15). Is v(n) even?
False
Let s(r) = -10*r - 35. Let j be s(-4). Does 5 divide (-3)/15*1 + 101/j?
True
Suppose 0 = -12*f - 29*f + 111766. Does 29 divide f?
True
Let k = -376 + 526. Is k a multiple of 15?
True
Let s be (-15)/(-25) + (-14)/(-10). Let g(b) = 3*b**3 - b**2 - 2*b + 2. Let v be g(s). Suppose -4*x - v + 114 = 0. Is 12 a factor of x?
True
Suppose 0 = 4*w - h - 8 - 9, 0 = -2*w + 2*h + 