 o(w) = 84*w**2 + 18*w + 30. Does 11 divide o(-2)?
True
Let z be (-60)/4 - (-4 - -6). Let u = z + 37. Let i = 0 + u. Is 17 a factor of i?
False
Let w(l) = -l**3 + 6*l**2 - 6*l - 1. Let t be w(5). Let v be 50/18 - t/27. Let y(s) = 7*s**2 - 6*s + 3. Is 16 a factor of y(v)?
True
Let m = 51 + 1. Suppose -49*t = -m*t + 246. Does 14 divide t?
False
Suppose 0*o = 3*o - 6. Suppose -99 = -3*l + o*u - 25, -l + u = -26. Let b = 54 - l. Is b a multiple of 16?
True
Let k = -20 + 50. Let w = k - -23. Is w a multiple of 53?
True
Let w(a) = -a + 1. Let s(t) = -5. Let b(d) = 3*s(d) + 6*w(d). Does 28 divide b(-14)?
False
Let p(r) be the third derivative of -r**6/120 + 3*r**5/20 + 5*r**4/12 + 4*r**3/3 - 10*r**2. Does 8 divide p(10)?
True
Suppose -8*j = -4*m - 3*j + 18, 3*m - 10 = 2*j. Suppose 2*c = 32*c - 60. Does 9 divide (-2 - (-35)/c)*m?
False
Let k(s) = -4*s - 27. Let t be k(-13). Let c = 57 + -41. Let q = t - c. Does 7 divide q?
False
Is 12 a factor of ((-13)/(-6)*-556)/((-70)/105)?
False
Let i(o) be the first derivative of -11*o**2/2 - 8*o - 14. Is i(-4) a multiple of 6?
True
Suppose -13 - 7 = -4*d, -2*d = -w - 15. Let z = 22 + w. Is 4 a factor of 2050/85 + (-2)/z?
True
Suppose v + 2*v - 24 = 0. Suppose -5*p + 3*k + 26 = 0, v = 4*k - 4. Let n(q) = 10*q - 9. Is n(p) a multiple of 16?
False
Let j(r) = 3*r + 24. Let x be j(0). Suppose -192 = -2*c - x. Is 21 a factor of c?
True
Suppose 0 = -14*p + 12*p + 14. Suppose -2*f - p = -13. Suppose 0 = -h - f*h + 104. Is 26 a factor of h?
True
Suppose 4*q + 32*c = 28*c + 10520, -3*c - 15 = 0. Is q a multiple of 17?
True
Suppose -22 = 7*o - 36. Is (-2)/(-7) + ((-270)/(-35) - o) a multiple of 3?
True
Suppose -9 = -2*a + 5*h - 4, 0 = -a + h + 4. Suppose -4*d + 67 + 58 = -c, -a*c = -2*d + 85. Does 12 divide d?
False
Let o(q) = 17*q - 15. Does 11 divide o(5)?
False
Is 35 a factor of (1525/(-15) + -2)*-6?
False
Is (10/(-6) + 1)/((-26)/22191) a multiple of 12?
False
Suppose -3*o + 10 = 2*o - 5*r, o + 5*r = 2. Suppose 0 = -0*p + o*p - 18. Suppose 77 = 4*x + m, -90 = 4*x - p*x + 5*m. Does 6 divide x?
False
Let g(i) = -59*i - 3. Let o be g(1). Let q = o - -132. Does 20 divide q?
False
Suppose -2625 = -10*c - 5*c. Suppose -5*r - c = -4*u + 250, 4*u = -4*r + 452. Does 22 divide u?
True
Let y(a) = -a**2 - 4*a + 1. Let k be y(-3). Suppose k*c = c + 396. Let d = 204 - c. Is d a multiple of 24?
True
Let y(c) = 74*c**2 + 2. Does 6 divide y(-2)?
False
Let k = 25 - 25. Suppose 0 = -7*d - k*d + 476. Is 17 a factor of d?
True
Is 25 a factor of 7/((-35)/2) + (-12012)/(-30)?
True
Suppose 6 = 2*v, v = -5*w + 172 + 316. Does 34 divide w?
False
Let r(d) = -6*d - 16 - 7*d**2 + 36 + 5*d - d**3 + 18*d**2. Is 9 a factor of r(11)?
True
Let p = -67 + 34. Let l = p + 13. Is (-6)/8 + (-195)/l a multiple of 6?
False
Suppose -2*y + 1 = -3*y. Suppose 2 = -3*l + 5. Is y*(0 - 3)*l even?
False
Suppose 2*z - 2 - 12 = 0. Let b be ((-30)/18)/(((-4)/(-2))/(-6)). Suppose z*m - 4 = 3*m - 4*d, -2*m = b*d + 7. Does 2 divide m?
True
Suppose -26*b + 57*b = 55738. Is 71 a factor of b?
False
Suppose -4*k + 17 = 5. Suppose 2*z + z = -k*y + 96, 0 = -z - 2. Suppose y = -3*w + 172. Is 11 a factor of w?
False
Let c = -87 + 219. Is c a multiple of 11?
True
Let i = 396 - 833. Is 5 a factor of (-245)/(-19) - 46/i?
False
Suppose -9*q + 18 = -63. Suppose -480 = -29*t + q*t. Is t a multiple of 4?
True
Suppose 2*z - 9190 = 24*q - 28*q, 3 = z. Is q a multiple of 41?
True
Let d = -49 - -76. Suppose 11 = 5*h - 4. Suppose -h*u + d = 3*w, 3*u + w - 11 = 24. Does 3 divide u?
False
Let f(d) be the first derivative of -10*d + 5 - 5/2*d**2. Does 7 divide f(-6)?
False
Suppose 16*j - 51920 = -4*j. Does 55 divide j?
False
Let a be (-16)/(-24) + (-19)/(-3). Suppose 3*u + a - 52 = 0. Is 9 a factor of u/2*(-36)/(-27)?
False
Let h = 163 - 94. Let u = -36 + h. Let q = u - 13. Is 5 a factor of q?
True
Let y be (-10)/(-6)*3 - -3. Let g(k) = 18*k - 22. Is g(y) a multiple of 10?
False
Let f(z) = 7*z**3 + z - 19. Does 21 divide f(5)?
True
Suppose 5*z - 1519 = 3*g + 6755, -5*z + 8286 = 3*g. Does 31 divide z?
False
Let m(f) = -15*f. Let p be m(1). Let w = 61 - p. Is w a multiple of 38?
True
Let t(b) = b**3 - 17*b**2 + 2*b + 9. Suppose -4*f + l - 8 = -0*f, 10 = -5*f - 5*l. Let x be 17/((4 - 1) + f). Is 22 a factor of t(x)?
False
Suppose -619 = -2*t + 1509. Suppose 0*m = -4*m + t. Does 14 divide m?
True
Let y = 3 - -171. Is 87 a factor of y?
True
Let a(p) = -5*p + 18. Let g be a(4). Let h(o) = -10*o**3 + o - 2. Is 19 a factor of h(g)?
True
Let q(w) = 1 + 10*w**2 + w**2 - 4*w**2 + 16*w**2. Does 7 divide q(1)?
False
Let p(q) = 103*q**2 + 2*q + 1. Let t = -51 - -50. Is p(t) a multiple of 17?
True
Let q = 143 + -118. Does 3 divide q?
False
Suppose 2*t + 3*p - 19 = -2*p, -3*p = t - 10. Let r(i) = 4*i - 12. Is r(t) a multiple of 9?
False
Let a(z) = 3*z**2 - z**2 - 3*z**2 - 2*z + 3 - 2*z + z**3. Is 12 a factor of a(4)?
False
Let q(c) = 2*c**2 - 7*c - 11. Let n(k) = k**2 - 4*k - 6. Let a(t) = -5*n(t) + 3*q(t). Is a(7) a multiple of 15?
False
Let l be -1*(0 + 1)*-6. Suppose -v - l*t + 20 = -2*t, -3*t = 12. Suppose 0*j = -2*j + v. Does 7 divide j?
False
Let r = 2761 + -1834. Is r a multiple of 12?
False
Suppose -4*b + 14 = -274. Let u = b - 55. Does 2 divide u?
False
Let a(q) = 2 - 10 + 7 + 7*q**2 + 2*q. Let o(k) = k**3 + 5*k**2 + 6*k + 6. Let w be o(-4). Is 13 a factor of a(w)?
False
Suppose 2*o + h - 5 = 0, 3*o + 17 + 3 = 4*h. Suppose o = -2*w + w + 4*u + 28, -142 = -4*w + u. Does 6 divide w?
True
Suppose 0 = -3*b + 6*b + 12. Let r(s) = -s**3 - 2*s**2 + 2*s + 5. Let o be r(b). Suppose -28 = -d + o. Is d a multiple of 19?
True
Suppose 994 - 986 = l. Let a(k) = 7*k**2 - 16*k + 14. Let m(u) = 13*u**2 - 32*u + 27. Let p(b) = 11*a(b) - 6*m(b). Does 14 divide p(l)?
True
Let b(d) = 2*d**2 + 11*d + 2. Let j be b(-6). Suppose -j*n + 13*n - 1575 = 0. Is 34 a factor of n?
False
Suppose 0 = -y - 5*r + 6 + 24, -64 = -3*y - 2*r. Let t be y/6*18/12. Suppose -3*x = t*v - 0*x - 136, -3*x = -v + 20. Does 8 divide v?
False
Let k be 66/(-66)*-79*-1*1. Let z = k - -106. Is 9 a factor of z?
True
Let x(c) = -24*c - 40. Is 28 a factor of x(-18)?
True
Suppose -f = u + 2*u + 8, -3*f = -u + 14. Let k be u/2*-10 - 3. Suppose -i - 3*o + k*o = -16, 5*o = 4*i - 109. Is 21 a factor of i?
True
Let k(l) = 5*l**3 - 4*l**2 - 2*l - 14. Let p be 0/((-4 - -1) + 1) - -4. Is k(p) a multiple of 9?
True
Let p = 372 - 152. Is p a multiple of 47?
False
Let m(l) = -10*l - 46. Is 46 a factor of m(-23)?
True
Let g = -296 + 959. Is 39 a factor of g?
True
Let s(p) = -7*p + 48. Let q be s(7). Let n(c) = 15*c - 2. Let l(v) = v. Let u(d) = -6*l(d) - n(d). Is 13 a factor of u(q)?
False
Let j = -1261 + 2366. Does 65 divide j?
True
Let s be (-4 - -3)*-2 - (4 - 2). Let g(d) = d**3 + 2*d**2 + 47. Does 12 divide g(s)?
False
Let k be 4/(-14)*-1 + 55/77. Let t(g) = 20*g**2 + 2. Is t(k) a multiple of 9?
False
Suppose 8829 + 9027 = 16*z. Does 9 divide z?
True
Suppose c + 2*t + 21 = 2*c, 5*c - 84 = 3*t. Let x = 43 - c. Is 28 a factor of x?
True
Let i = 26 + -21. Let p = i + 11. Is 8 a factor of p?
True
Let y(d) = 6*d - 16. Let m be y(6). Let b = 53 - m. Does 13 divide b?
False
Let c(m) = -m**2 - 48*m - 5. Is c(-25) a multiple of 38?
True
Let u be (2 - -1) + (-4)/((-4)/(-1)). Does 3 divide u/(-3) - 572/(-39)?
False
Let q(n) = 31*n**2 + 4*n - 4. Suppose c - 9*p - 22 = -4*p, 5*p + 30 = 5*c. Does 32 divide q(c)?
True
Suppose j + 6*p - 2*p = 1944, -3*j - 2*p = -5832. Is 9 a factor of j?
True
Suppose 4*b + 4 = 24. Does 29 divide (-1 - 23/2)*(-56)/b?
False
Let u be 13/2 + ((-42)/(-12) - 5). Suppose 2*k + 5*t - 16 = 67, -u*k + 3*t + 130 = 0. Does 19 divide k?
False
Is 15 a factor of 3 - (-18 + -5 + 11)?
True
Let a be (132/6 - 7)*(-2)/(-6). Suppose a*k = 25, -l + 5*k = -0*l - 8. Is 6 a factor of l?
False
Suppose 0*g + 3*g = -3*m + 4296, 25 = 5*g. Let f = m - 642. Suppose 0 = 7*z + 1 - f. Does 28 divide z?
True
Let v = -25 + 21. Let h be (1 - -1)*(-6)/v. Suppose -h*r - 63 = -2*c, 5*r = 4*c - 83 - 40. Does 27 divide c?
True
Suppose d - 2828 = 3*c, -37*c - 11346 = -4*d - 42*c. Does 26 divide d?
True
Let r(g) = g - 6. Let l be r(9). Suppose -21 - l = -4*j. Suppose -105 = -j*n + n. Is n a multiple of 16?
False
Does 6 divide (-72)/(-32)*8*23?
True
Let l(u) = -163*u - 41. Let w be l(-6). 