rue
Suppose 25*k - 696 = 21*k. Let t = -117 + k. Is 16 a factor of t?
False
Suppose -2*g = 2*d - 3542, -3*d - 5524 = -3*g - 187. Is 58 a factor of g?
False
Suppose 21*k = -525 + 2835. Is k even?
True
Suppose 4*m - 3*o = 186, 11*m = 10*m + 2*o + 44. Suppose m = -4*r + 624. Is 12 a factor of r?
True
Let a be ((-35)/2)/((-4)/(-8)). Is 7 a factor of (42/a)/((-3)/35)?
True
Let a be ((-36)/5)/(15/50). Let x = 24 + a. Does 10 divide -20*(x - 3/6)?
True
Let a be 8/6*(-21)/(-14). Suppose -a + 22 = -2*y. Let h(r) = r**2 + 2*r + 12. Is 24 a factor of h(y)?
False
Let c = 8 - 3. Suppose -f + c*s - 67 = -5*f, -4*f + 3*s = -43. Suppose w + f = q - 37, 4*w - 70 = -2*q. Does 12 divide q?
False
Suppose 67*o = 89*o - 4048. Does 23 divide o?
True
Let p(x) = x**2 - 2*x - 3. Let w(j) = -4*j**2 + 6*j + 9. Let g(v) = -7*p(v) - 2*w(v). Let c be 1/1 + (-17 - -18) - 6. Is 5 a factor of g(c)?
False
Suppose 4*z + 2*u - 26 - 20 = 0, -3*z + 4*u = -40. Let t(q) be the first derivative of q**4/4 - 13*q**3/3 + 13*q**2/2 + 16*q - 3. Does 28 divide t(z)?
True
Let p = -2015 + 3795. Is p a multiple of 5?
True
Let n(s) = -s**3 - 9*s**2 + 80*s + 76. Is 12 a factor of n(-18)?
False
Let q(h) = 4*h + 8. Let k be q(7). Suppose m - k = -m. Is m a multiple of 6?
True
Let v = 16 + -108. Let o = -55 - v. Is 9 a factor of o?
False
Let c(l) = 6*l - 15. Let f be c(3). Suppose 0 = -a + 5*d + 15 + 22, 3*a - 129 = -f*d. Is 14 a factor of a?
True
Let c(u) = 167*u - 439. Is c(5) a multiple of 12?
True
Is (-67)/(2 - 35/17) a multiple of 9?
False
Suppose 4*g = 5*v + 175, 2*v - 34 + 174 = 3*g. Let a = 106 - g. Is 8 a factor of a?
True
Let n = -17 - -18. Let f = 2 + n. Suppose -f*l - 3*b + 105 = 0, -l + b + 193 = 4*l. Does 8 divide l?
False
Suppose -10*c + 11*c - 9 = 0. Let w(n) = -2*n - c*n + 0*n + 5. Is 15 a factor of w(-5)?
True
Suppose -f + 3 = -0, f - 5 = -q. Suppose 3*c + c = 0, 3*c = q*b - 62. Does 31 divide b?
True
Does 62 divide 1048 - (14/(-28))/(2/24)?
True
Is 45 a factor of ((-15)/(-9))/((-10)/(-14040))?
True
Let x be (-4)/((-104)/(-654)) + (-34)/(-221). Does 19 divide (133/(-4))/(x/20 - -1)?
True
Let h(u) = u**2 + 23*u - 2. Let z be h(-19). Suppose 0 = -k - 27 + 6. Let y = k - z. Is y a multiple of 19?
True
Suppose -2*m + 20 = 3*m. Suppose -5*s = 4*l - 36, -3*s + 0*l + m = -2*l. Suppose 0 = -2*k + s + 6. Is 5 a factor of k?
True
Let s(i) = 272*i**3 + 19*i**2 + 4*i - 5. Is s(2) a multiple of 11?
True
Suppose -y - 3*q = -5 - 2, 3*y - q = 21. Does 31 divide (y + 0)*(-155)/(-35)?
True
Let a(v) be the second derivative of -v**5/20 - 11*v**4/12 - 2*v**3/3 - 7*v**2 - v. Is a(-11) a multiple of 10?
True
Let o be ((-20)/(-8))/(-5)*-2. Let u = -35 - -11. Is (o/(-2))/(1/u) a multiple of 6?
True
Let g(h) = h**3 + 4*h**2 + 4*h + 2. Let x be g(-2). Is 28 a factor of (0 + (-83)/x)*-2?
False
Let h be (-2)/(-4)*-2 + 3. Let l(x) = -2*x + 13*x**2 + 4*x - h - 11*x**2. Does 2 divide l(-2)?
True
Let x be (-6)/(-2 + -3 + (-494)/(-100)). Suppose 0 = -8*y + 3*y + x. Is y a multiple of 10?
True
Is 40/3*((-15165)/4)/(-15) a multiple of 12?
False
Is 13 a factor of 1*-4 + (-28)/(-16)*188?
True
Let g(y) = 4*y + 36. Let s be g(-10). Is 6/s*528/(-36) a multiple of 4?
False
Let z = -1385 - -4517. Is 116 a factor of z?
True
Let x(t) = 6*t**2 + 2*t + 7. Suppose 16 - 22 = -2*h. Is 4 a factor of x(h)?
False
Suppose 2*s + 7*x - 5928 = 11*x, 4*s - 3*x - 11836 = 0. Is 28 a factor of s?
False
Suppose 4*l - 3*z + 40 = 0, -z + 2*z = 0. Let y = l - 3. Let a = y + 25. Is a a multiple of 12?
True
Let y(c) = 34*c + 15. Is 34 a factor of y(6)?
False
Let t(j) = 3. Let q(x) = -2*x - 10. Let v(z) = -q(z) + 2*t(z). Suppose h = 4 - 0. Is 24 a factor of v(h)?
True
Suppose -3*z - w + 957 = 0, 5*z - 4*w - 1612 = -0*w. Let j be 6/9 - (-16)/3. Suppose -z = h - j*h. Does 16 divide h?
True
Let y = -41 + 40. Let g(m) be the first derivative of -9*m**4 + m**2/2 - 1. Does 28 divide g(y)?
False
Let n(d) = 6*d - 4. Let t be n(4). Suppose 0 = -3*y + 7 + t. Suppose -13 = 8*o - y*o. Is o a multiple of 13?
True
Let g(l) = 39*l - 90. Does 11 divide g(4)?
True
Suppose 2*o - 9*o + 21 = 0. Suppose -o*p + 161 = -154. Is p a multiple of 21?
True
Suppose 6769 = 7*j - 3164. Is j a multiple of 11?
True
Let x = 33 + -43. Let a(t) = t**3 + 11*t**2 + 5*t - 13. Is 7 a factor of a(x)?
False
Is (-513)/(-57) + (-1388)/(-1) a multiple of 7?
False
Suppose 27 = 2*y - a + 4, 9 = -3*a. Suppose -5*s = -4*o + 25, o - 12 = -4*s + y. Is 5 a factor of o?
True
Let q(t) = -7*t**2 - 4*t - 18. Let m(n) = 10*n**2 + 6*n + 27. Let r(y) = 5*m(y) + 7*q(y). Does 14 divide r(-6)?
False
Suppose 7*s + 107 = 3*s + 5*b, 5*s - b = -118. Does 25 divide (7 - 2)*(-4 - s)?
False
Suppose -3*r - 3*l = 186, -r - 2*l = -5*l + 54. Does 10 divide (-150)/r*412/10?
False
Let h = 205 + -89. Is 2 a factor of h?
True
Suppose -181 = -5*v + 2*n - n, 0 = -2*n - 2. Suppose k - 5*k + v = 0. Does 3 divide k?
True
Suppose 8 = 5*h + 3. Let p(n) = 38*n**3 + n. Is p(h) a multiple of 12?
False
Let k(q) = -11*q + 15*q + 49 + 23 - 7*q. Does 24 divide k(0)?
True
Let b = 38 - 33. Suppose 6*n = -b*n + 2013. Is 32 a factor of n?
False
Let j be -72*((-2)/(-3) - 0). Let v be (-10)/(-28)*j*-7. Suppose -v = -7*n + 2*n. Is 12 a factor of n?
True
Let v be (-3)/7 - (-3 - 31/7). Let n(h) = h**3 - 6*h**2 + 5*h + 8. Does 23 divide n(v)?
True
Let g(r) = 2*r + 20. Let u be g(-11). Does 15 divide (-18)/(-9) - (-57 + 1 + u)?
True
Let a(v) = 109*v + 2. Let b be a(-2). Let l = b + 322. Does 27 divide l?
False
Let s(p) = p + 8. Let r be s(-7). Is 14 a factor of (41 - (r - -3)) + 0?
False
Let m be 6/8 - (-1897)/4. Suppose 3*y - m = -2*y. Does 12 divide y?
False
Suppose 4*c = 2*c + 10. Suppose n + 38 = 3*g - 3*n, c*n = -25. Suppose 0 = -2*p + g*p - 5*u - 52, -3*p + 4*u + 38 = 0. Is p a multiple of 9?
True
Let f = 28 - 12. Suppose -2*o = 2*q - f, 3*o - 30 = 2*q - 7*q. Is 3 a factor of q?
True
Let j(v) = 5*v**2 + 140*v + 36. Is j(-32) a multiple of 20?
False
Suppose 0*s + 2*s - 14 = 0. Suppose s = -3*t + 1, -m + 12 = -4*t. Suppose 40 = m*o - 0*o. Does 3 divide o?
False
Is (-33 - -20)/(1/(-3)) a multiple of 13?
True
Let j(n) = 129*n**2 + 31*n - 98. Is 29 a factor of j(3)?
False
Suppose 0 = r - 2*n - 315, 4*r - 4*n - 1113 = 159. Does 14 divide r?
False
Suppose 245 = -j + 2*j + 5*m, 2*j + 4*m - 472 = 0. Does 7 divide j?
False
Suppose -5*r + 166 = 6. Let h be (-2)/6 + (-680)/(-51). Let b = r + h. Is 15 a factor of b?
True
Let w(b) = b**3 - 25*b**2 + 8*b + 43. Is 4 a factor of w(25)?
False
Let c(v) be the third derivative of -1/2*v**3 + 0*v + 1/30*v**5 + 5/12*v**4 + 0 + 5*v**2. Is 5 a factor of c(-7)?
True
Let x be -684*(-4 + 3)*-1. Does 17 divide ((-2)/4)/(9/x)?
False
Let o be -426*(4 - 52/8). Let x = 1515 - o. Suppose 0 = -5*p + 10*p - x. Is 15 a factor of p?
True
Suppose -g + 16 = -4*z, 0 = 2*g + z - 0*z + 4. Suppose 5*x = g, l - 5*x - 105 = 6*l. Is 18 a factor of 28*(-1 - 75/l)?
True
Suppose 2*c + 5*p - 30 = 0, 0 = 2*c - c + 3*p - 13. Suppose -3*m - 8 = 43. Let q = c + m. Is 8 a factor of q?
True
Let k(a) = -2*a**3 + 17*a**2 + 11*a - 1. Is 3 a factor of k(9)?
False
Let c be (-169)/(-65) - 2/(-5). Suppose 2*h - c*m + 24 = 5*h, -2*m - 4 = -3*h. Suppose -h*d = -8 - 40. Is d a multiple of 6?
True
Suppose -3*x + 2*x - 2*o - 1 = 0, -3*x + 17 = o. Let d be (-52)/91*x/(-2). Suppose -d*p + 7*p - 70 = 0. Does 10 divide p?
False
Let t(j) = -2*j**2 + 42*j + 31. Is 25 a factor of t(20)?
False
Suppose -3*h - 7 = -4*i, 4*h = -2*i - i - 26. Let t be i - 2/(-4 - -2). Let w(z) = -16*z**3 - 2*z - 1. Does 17 divide w(t)?
True
Suppose -4*g = 2*w - 6, -7*g + 9 = 3*w - 2*g. Let o = -79 - -71. Is (17 + o)*w*1 a multiple of 9?
True
Suppose 3*o + 36 = -4*r - 2*o, 48 = -2*r + 5*o. Let g = r - -26. Suppose -2*i + 60 = g. Is 12 a factor of i?
True
Let z be 4/(192/45990) - (-1)/(-8). Suppose 6*r - r = -5*h + 1175, 2*h = 4*r - z. Does 34 divide r?
True
Let m = 1328 + -1256. Is 24 a factor of m?
True
Suppose -3*t = -5*c - 5*t + 5504, 2*c + 2*t = 2198. Is 11 a factor of c?
False
Suppose 0 = 2*b + 3 + 57. Let v = -259 - -305. Let c = b + v. Does 4 divide c?
True
Let o = 37 - -18. Let a = o - -5. Suppose 0 = -2*i - 5*b + 58, -2*i - 2 = 3*b - a. Is 8 a factor of i?
False
Let t = 39 - 17. Let h = t - 16. Does 6 divide h?
True
Let q(i) = -400*i + 23. Does 13 divide q(-2)?
False
Let n