s 13 a factor of p?
False
Does 17 divide (21 - 37)/(2/(8/(-1)))?
False
Suppose -6*b + 8 = -10*b. Does 9 divide 2*(1 - 7/b)?
True
Suppose 0 = w + 4 - 1. Let x be (-2 + 4)/((-16)/(-8)). Does 7 divide x - (-3 + (w - 0))?
True
Suppose 0 = 3*h - 30. Is 8 a factor of (1620/(-75))/((-3)/h)?
True
Suppose 0 = 39*f - 38*f - 9. Let m(w) = 31*w - 27. Is 63 a factor of m(f)?
True
Suppose -4 = -2*l + 22. Suppose 7*f - 293 = -l. Does 14 divide f?
False
Let a = -7 + 4. Let y be 2*2 - (-5 - a). Is (3/y)/(4/104) even?
False
Let x(s) = -4*s + 5*s - 10*s - 8 - 7*s. Is x(-5) a multiple of 12?
True
Let g = -150 - -230. Let r(h) = -4*h - 64. Let o be r(-17). Is 0 + g - 0/o a multiple of 29?
False
Is 91 + 5*-1*(-252)/(-180) a multiple of 28?
True
Suppose -64*c + 82*c = 972. Is 6 a factor of c?
True
Let w(m) = -m**3 - 4*m**2 - 2*m - 4. Let n(y) = -y**3 - 3*y**2 - 4. Let v be n(-3). Let z be w(v). Let t(h) = 3*h**2 - 6*h + 5. Does 17 divide t(z)?
False
Suppose 2*c = -2*w - 14, 0 = -c - 3. Let z(q) = -2*q + 4 + q**2 + 3*q - 3. Is 6 a factor of z(w)?
False
Let r be 6*(-5)/(-15) + 2. Let a(h) = 11*h**2 - 8*h + 3. Is 21 a factor of a(r)?
True
Suppose -3 + 4 = -5*m - h, 2*m = -5*h + 18. Let n be (2 - 3)/(m/2). Suppose 3*x = -n*x - 4*q + 56, -33 = -3*x - 3*q. Is x a multiple of 12?
True
Let b(u) = 16*u - 7. Let c = 26 - 24. Is b(c) a multiple of 11?
False
Suppose g - 5 = -0. Suppose -7 = g*y + 3. Does 10 divide (-119)/y + (-1)/(-2)?
True
Let j(t) be the second derivative of t**5/20 - t**4/2 - t**3/6 + 5*t**2/2 - 8*t. Let g be j(6). Is 17 a factor of g/(4 + (-276)/68)?
True
Let l(a) be the second derivative of -a**3/6 - 4*a**2 + 4*a. Let i be l(4). Let d = i - -26. Is d a multiple of 3?
False
Let n(p) = -3*p**2 + 10*p - 1. Let v(j) = 3*j**2 - 9*j + 2. Let x(l) = 5*n(l) + 6*v(l). Does 16 divide x(5)?
False
Let k(w) = 4*w**3 + 53*w**2 - 13*w + 7. Is 69 a factor of k(-13)?
True
Let w(k) = -2*k**2 - 27*k - 10. Let o be w(-15). Let r = o + 221. Is 13 a factor of r?
False
Is 9 a factor of (-3910)/(-4) - 196/56?
False
Let w = -384 + 618. Is w a multiple of 3?
True
Suppose 0 = 5*l - 9*l + 180. Suppose -4*j - 152 = -6*j. Let i = j - l. Is i a multiple of 14?
False
Let k be (-3 - -7)*(-14)/(-8). Suppose 191 = 5*v + 4*n, v + 2*n - 30 - k = 0. Let b = 5 + v. Is b a multiple of 11?
True
Let f(q) = -2*q**2 - 2*q - 1. Let d be f(-2). Let b(t) = -t**2 + t. Let h(c) = c**3 - 7*c**2 + 11*c - 2. Let w(p) = d*b(p) + h(p). Is 27 a factor of w(4)?
True
Suppose 0*r - 3*x = 4*r + 268, x = 4*r + 284. Let f be -4 + 0 + r/(-7). Does 16 divide (f/9)/((-2)/(-144))?
True
Let a(i) = 6*i**2 - 37*i + 259. Is a(7) a multiple of 14?
True
Suppose 4*z - 2*z - 683 = -3*m, 0 = -4*m + 12. Is z a multiple of 3?
False
Suppose -36*i + 39270 = -i. Is i a multiple of 11?
True
Suppose 588 = 2*s + 5*z, -894 = -3*s + 2*z - 31. Is 29 a factor of s?
False
Let q be ((-4)/(-3) + -2)/((-4)/18). Suppose 0 = -s + q*s - 96. Is 12 a factor of s?
True
Let b be ((-4)/(-8))/(1/34). Suppose -2*u = -3*u + 5*t + b, 0 = u + 4*t - 8. Does 12 divide (u/(-15))/(-1)*60?
True
Suppose -985 + 1240 = 3*x. Does 44 divide x?
False
Let a = -30 - -22. Let h(v) = -2*v + 18. Let b(y) = -5*y + 55. Let s(i) = a*h(i) + 3*b(i). Is 21 a factor of s(19)?
False
Let u be -3 + 0 + 3 + -143. Let w be 22/u + 368/26. Suppose -3*j - 4*h + w = -36, 0 = 3*h - 15. Is 10 a factor of j?
True
Let o(m) = 4*m**3 + 2*m**2 + 8*m - 3. Let t(v) = 5*v**3 + 2*v**2 + 9*v - 3. Let u(i) = -6*o(i) + 5*t(i). Let h be u(3). Let q = h + 9. Does 4 divide q?
True
Suppose -2*l - 2 = -3*v, v - 9 = -3*l - 1. Let g(m) = 2*m**2 + 1. Is 9 a factor of g(v)?
True
Let p(a) = 5*a - 10. Suppose 5 = 5*m - 6*m. Let w be p(m). Let v = w - -73. Is 23 a factor of v?
False
Suppose -8*l + 2*l + 852 = 0. Does 21 divide l?
False
Let l be 11/4 + (-6)/8. Let v(y) = 10*y**3 - y**2 - 2*y + 2. Let w be v(l). Suppose 3*o - w = -8. Is 5 a factor of o?
False
Is 738 - (2 + -2 + -2 + 4) a multiple of 18?
False
Let j be 33/6 + 3/(-6). Suppose 3*q - 7*q = 4*m + 16, -3*m + 20 = -j*q. Is 6 a factor of 12/q + (-22)/(-2)?
False
Let d be (3/3)/((12/20)/3). Suppose -3*h + 2 + 4 = 0. Suppose d = 5*g, 4 - 60 = -m + h*g. Is 21 a factor of m?
False
Let h(q) = 87*q - 386. Does 7 divide h(15)?
False
Is ((-6)/63*7)/(2/(-618)) a multiple of 6?
False
Let k = -291 - -157. Let j = k - -221. Is j a multiple of 24?
False
Let p(v) = -2*v + 19. Let q be p(11). Is 20 a factor of q/(6/344)*1/(-2)?
False
Is 17 a factor of ((-8)/3 - (-7844)/111)*34?
True
Is (-236265)/(-75) - (-2)/(-10) a multiple of 18?
True
Let y be 18/15*(-25)/(-10). Suppose 2*v = y*v - 2. Suppose 2*o - 66 = -v*x, 4*x = 3*o - x - 75. Is 10 a factor of o?
True
Suppose 0 = 4*p + 34 - 74. Suppose p*t - 504 = 3*t. Is t a multiple of 18?
True
Let b(l) = 8*l**2 - 2*l + 2. Let x be b(1). Suppose -x*u = -0*u - 392. Is u a multiple of 21?
False
Suppose 0*r - 5*r + 110 = 0. Does 14 divide (r + -13)/((-3)/(-70))?
True
Let y be (-3 - (-378)/35) + 2/10. Let o(l) = 6*l**2 - 11*l + 7*l**2 - 3*l**2 - l**3 + 6. Does 14 divide o(y)?
False
Let s(z) = -z**3 + 11*z**2 - 5*z + 9. Let x be s(10). Let y = 87 - x. Is y a multiple of 7?
True
Let c be ((-196)/10)/(5/(-25)). Let n = 159 - c. Is n a multiple of 17?
False
Is 18 a factor of -7 + 232/32 + (-20014)/(-8)?
True
Suppose -282 = 3*m + 4*q, 2*m - 376 = 6*m + 4*q. Let r = -60 - m. Is r a multiple of 34?
True
Let y(h) be the second derivative of h**3/2 - 7*h**2/2 + 6*h. Let l be y(3). Is 25 a factor of l - (-2 - (-1 + 49))?
False
Let d = 431 - -136. Does 9 divide d?
True
Let q be 0 + 6/((-12)/(-10)). Suppose q*b - 521 = 809. Suppose -3*o + b - 62 = 0. Does 11 divide o?
False
Let i(k) be the first derivative of k**2 + 2*k - 4. Let y be i(0). Suppose 60 = 3*u + y*u. Is u a multiple of 5?
False
Suppose -4*a - 726 = -2442. Does 12 divide a?
False
Let i = -11 - -10. Let g be i/((0 - 2) + 1). Let p(h) = 30*h**2 - h. Is 4 a factor of p(g)?
False
Suppose 62 = -2*h + 4*x, -5*x + 92 + 6 = -3*h. Let d = h - -88. Let b = d - -10. Is 26 a factor of b?
False
Let s = -353 + 405. Is s a multiple of 52?
True
Is 7 a factor of 1 + 1 - -212 - -4?
False
Suppose -19*o + 2070 = -4*o. Is 23 a factor of o?
True
Let m(r) = -r**3 - 5*r**2 - 2*r + 4. Let g be m(-6). Let k = 2 - g. Is 25 a factor of 4/(-2)*k/4?
True
Suppose -3048 = -5*d + 3*b, d - 14*b - 632 = -19*b. Does 14 divide d?
False
Let w(o) = -38*o - 797. Is 43 a factor of w(-47)?
True
Let t = 142 + -237. Let b(n) = 6*n**2 - 13*n + 24. Let r be b(6). Let c = r + t. Does 11 divide c?
False
Let m = 220 - 156. Suppose 3*n = -n + m. Does 4 divide n?
True
Let r(m) = 3*m**3 + 28*m**2 - 25*m + 9. Let s(z) = 4*z**3 + 42*z**2 - 38*z + 14. Let j(u) = -7*r(u) + 5*s(u). Is 41 a factor of j(6)?
True
Let x(g) = -40*g**3 - g**2. Let n be x(-1). Suppose -11 = 5*t + n. Is 26/(-3)*(t - -1) a multiple of 21?
False
Let s be (-4)/(24/3)*106. Let v = s + 105. Is 26 a factor of v?
True
Let j = 10 - 8. Suppose 60 = 7*l - j*l. Is 6 a factor of 18/l*2*2?
True
Let h be 4/(-7)*686/(-28). Let w(g) = -g**2 + 19*g + 21. Is 20 a factor of w(h)?
False
Let o be (-4)/(5/45*6). Let p(d) = -3*d**3 - 5*d**2 - 2*d + 2. Let f(n) = -7*n**3 - 10*n**2 - 4*n + 3. Let m(s) = -2*f(s) + 5*p(s). Is 26 a factor of m(o)?
True
Let v = 1549 - 703. Is v a multiple of 14?
False
Suppose -45 - 10 = 11*m. Does 11 divide (-984)/(-30) + (-1)/m?
True
Suppose 5*q = c + 53, q + c - 3 - 4 = 0. Let j(f) = 10*f - 16. Does 8 divide j(q)?
False
Let n be (-8)/6 + (-6228)/(-54). Is 17 a factor of n/24 + -4 + 637/4?
False
Let l = 39 - 24. Let m = l - -17. Is m a multiple of 8?
True
Let p = -275 + 445. Is 18 a factor of p?
False
Suppose 443*l + 1050 = 445*l. Is l a multiple of 15?
True
Let x(k) = -k**3 - k + 1. Let m(u) = -6*u**3 - 3*u**2 - 14*u - 1. Let l(z) = m(z) - 5*x(z). Does 32 divide l(-6)?
False
Let k be (-2)/(-12) - (-161)/42. Suppose k*o = 113 + 19. Does 33 divide o?
True
Suppose 2*p + 5 = 11. Suppose p*f = -2*u + 45, -4*u = 5*f + 47 - 136. Is u a multiple of 7?
True
Suppose 14*b - 4875 = -b. Does 13 divide b?
True
Let j be 3/(-6)*(-120)/(-2). Is 17 a factor of (-3)/j*-2 + (-1772)/(-10)?
False
Let r = 47 - 65. Let u = -9 - r. Is 3 a factor of u?
True
Is (-30)/20*(-508)/6 a multiple of 6?
False
Let k(h) = 4*h**2 + h. Let g be k(1). Suppose g*z = 8*z + 24. Let l = z + 11. Is