. Is k a multiple of 18?
True
Let r(v) = -12*v. Let w be r(-3). Suppose 0*i + i = w. Is 30/9*i/10 a multiple of 9?
False
Let h = 5 - 10. Let n be (-311)/h - 68/(-85). Suppose 33 = 2*x - n. Is x a multiple of 12?
True
Suppose -2*o + 2*n - 1156 + 4662 = 0, 0 = -4*o - 3*n + 7012. Is 9 a factor of o?
False
Suppose 0*p - 2*p - 2*l + 80 = 0, 174 = 4*p - 3*l. Suppose 5*v = 2*w + 38, 2*v - 4*v + 3*w + 24 = 0. Let z = p + v. Is z a multiple of 20?
False
Suppose -5*p + 3*u - 117 = -27, p + 36 = -3*u. Does 14 divide (p/(-6))/(-7)*-6 + 44?
False
Is 22 a factor of (-1035)/(-3) - (7 + -14)?
True
Suppose -696 = 4*b + 4*f, 2*f = 9*b - 4*b + 898. Let h = 322 + b. Suppose 0*n + h = 4*n. Does 17 divide n?
False
Let q = 118 - 112. Let f(c) be the second derivative of c**5/20 - c**4/2 + c**3/3 + c**2/2 - c. Is 4 a factor of f(q)?
False
Suppose -4*n = b - 3, -4*n - 4*b - 6 = 6. Let g be (-3)/(n*(-2)/48). Suppose 2*w - g = -0*a - 3*a, 8 = 2*w - 4*a. Is 6 a factor of w?
True
Let y = 2 + 2. Suppose -8 = -3*s - s, -18 = -y*j + 5*s. Is j a multiple of 2?
False
Suppose 4*g = 3*g - 7. Let j = g + 13. Is 3 a factor of j/(-2) + (-4 - -10)?
True
Suppose 4*m - m = 0. Suppose -q - 8 + 2 = m. Let x = q + 14. Is 4 a factor of x?
True
Suppose -78177 = -63*k + 30*k. Is k a multiple of 117?
False
Let w(r) = -1. Let j(q) = -4*q**2 - 6*q + 7. Let z(h) = j(h) + 2*w(h). Let f(p) be the first derivative of z(p). Is 13 a factor of f(-4)?
True
Let h be 2*1/9 - (-43030)/117. Is 11 a factor of (2 - (-7)/(-4))/(4/h)?
False
Let p = 15 + -58. Let k = -163 - -98. Let s = p - k. Is s a multiple of 11?
True
Suppose -12*n + 1170 = -2*n. Is 39 a factor of n?
True
Let b(h) = 15*h - 2 + 15*h - 33*h - 9. Is 4 a factor of b(-5)?
True
Is -1 + 885 + (0 + -4 - 0) a multiple of 22?
True
Let i(t) = 9*t + 34. Let n be i(-7). Let g(b) = 7*b + 1. Let v be g(6). Let j = n + v. Is 7 a factor of j?
True
Let p(n) = n**3 + 10*n**2 + 9*n - 9. Let k be p(-9). Let m = -6 - k. Suppose -m*x - 6 = -2*x + 3*g, x = -5*g - 14. Does 6 divide x?
True
Let a(j) = -3*j**2 - 120*j + 33. Is 17 a factor of a(-38)?
False
Suppose 16 = -4*l, -4 = -s + 2*s + l. Let j be (-3 - (s + 26))*1. Let y = -15 - j. Does 7 divide y?
True
Let z be 1/((3/(-45))/(-1)). Suppose 12 + z = -3*l. Let c(o) = -4*o - 9. Is 7 a factor of c(l)?
False
Let z(n) = -16*n**3 + 30*n**2 - 11*n - 25. Let b(t) = 3*t**3 - 6*t**2 + 2*t + 5. Let f(a) = 11*b(a) + 2*z(a). Is f(7) a multiple of 9?
True
Let h(k) = 17*k + 2. Suppose -30 - 18 = -4*l. Let w be l/21 + 12/28. Does 9 divide h(w)?
False
Let i = -14 + 22. Let z(u) be the third derivative of u**4/4 - 2*u**3/3 - 13*u**2. Does 22 divide z(i)?
True
Suppose 4*u - 40 = 4*s, s - 6*s = -3*u + 20. Suppose -2*p + 15 = -2*d - u, 4*p - 65 = 3*d. Is 18 a factor of p?
False
Suppose -5*u + 158 = -12. Does 34 divide u?
True
Suppose 0 = -797*r + 786*r + 46002. Is r a multiple of 123?
True
Suppose 11*i - 48*i + 110593 = 0. Is i a multiple of 49?
True
Let y be 1 - -5 - 5 - (-60)/(-1). Let i = y + 108. Is 5 a factor of i?
False
Suppose -143 - 83 = -2*w. Suppose -4*q + 87 + w = 3*c, -3*c = -4*q - 208. Is c a multiple of 7?
False
Suppose j - 2 - 2 = 0, 2*j = -q - 6. Let a be ((-63)/q)/(2/(-12)). Let g = -18 - a. Is g a multiple of 9?
True
Does 16 divide 2/(-1)*3978/(-52)?
False
Let p = 6 - 2. Let a = p - -6. Does 10 divide a?
True
Let z be (-30)/(-6)*(-108)/10. Let s = z - -61. Is 7 a factor of s?
True
Let l(x) = -3*x**3 - x**2 + 3*x - 2. Let f be l(2). Let p = f + 38. Does 2 divide ((-21)/p)/(6/(-40))?
True
Let u = 17 - -116. Does 7 divide u?
True
Let z = 109 - 50. Let i be (0 + 1)/((-2)/40). Let p = z + i. Is 17 a factor of p?
False
Let c be 6/45 + 546/(-45). Let a(m) = -3*m - 6. Does 10 divide a(c)?
True
Let w be 1/(-6) + (-2253)/(-18). Suppose 4*k - w = 15. Does 35 divide k?
True
Let d = -81 + 88. Suppose -d*z = -300 - 309. Is 19 a factor of z?
False
Let u = 5 - 14. Is 6 a factor of 15 - 9/(u/(-2))?
False
Suppose 5*a = 3*d + 25, -5*d - 10 - 13 = a. Does 16 divide -5 + a - (-512)/4?
False
Let j = -1143 - -1183. Is j a multiple of 2?
True
Is (2 - -1384)*(0 - -3)/6 a multiple of 14?
False
Let r be -3 + (9 - (-3 - -6)). Suppose 2*v + r*v = 280. Does 14 divide v?
True
Suppose 4 = -b, 2*x + 1 + 1 = -2*b. Suppose 5*w - 1 = 4*w, -x*j - 5*w = -23. Suppose -j - 9 = -3*c. Is c a multiple of 3?
False
Let x be 36/21*(-28)/(-8). Suppose x*y = 101 - 11. Suppose 2*j - 49 + y = 0. Does 17 divide j?
True
Let f(i) = -35*i**2 - i + 102*i**2 - 41*i**2 + 2 - 28*i**2 + 2*i**3. Suppose r = 3*r - 4. Is f(r) a multiple of 8?
True
Let b(l) = 5*l - 2 + 2 - 2 + 0. Let t = 12 + -8. Is b(t) a multiple of 13?
False
Let m(j) = -3*j + 13. Let l be m(-7). Suppose l = -2*f + 4. Is (-447)/f - 2/(-10) a multiple of 30?
True
Let o(a) = a**2 + 3*a - 48. Let n(s) = -2*s**2 - 7*s + 95. Let j(f) = -4*n(f) - 9*o(f). Is j(0) a multiple of 13?
True
Suppose 5*j - 5 = 0, -3*j = -3*c - c + 213. Suppose 4*t - c = 30. Suppose -95 = -4*p + t. Is p a multiple of 5?
False
Let u be (-12)/(-9)*(0 - (-27)/(-6)). Is u/2 + (120 - 5) a multiple of 28?
True
Let t = 294 - 192. Is t a multiple of 17?
True
Suppose -900 = -p + 767. Is p a multiple of 19?
False
Suppose 0 = 4*o - 152 + 40. Let g = 25 - o. Is 4 + g + 2 + 1 a multiple of 3?
False
Let l be (8/2 - -4) + -4. Suppose -2*c = -l*y + y + 19, -2*c - 25 = -5*y. Is 4 a factor of y/6 + (-17)/(-2)?
False
Suppose 0 = 8*c - 3078 + 646. Does 19 divide c?
True
Let s(m) = -38*m**3 + 8*m**2 + 4*m - 3. Is s(-1) a multiple of 13?
True
Suppose -11*b + 62 + 312 = 0. Is 8 a factor of b?
False
Let o be 16/40*(-20)/(-1). Let v = 12 - o. Is 6 a factor of (v - 3)*-1 - -23?
False
Let b(t) = -4*t**3 - t**2 + t + 9. Let g be b(-3). Let z = 130 - g. Does 8 divide z?
False
Let g(l) = -15*l**2 - 2*l + 3*l + 6*l**2 + 3 - 1. Let d be g(2). Let x = d + 38. Is x a multiple of 3?
True
Let w be -20*(0 - -4)/(-4). Let l = 11 - w. Is 6 a factor of 45/2*(-12)/l?
True
Suppose -2*v + 105 = -5*g - 0*g, -180 = -3*v + 3*g. Suppose -4*h - 25 = -v. Let b(x) = x**2 - 8*x - 9. Is b(h) a multiple of 11?
True
Let u = 1509 + -1054. Does 13 divide u?
True
Let k(i) = 3*i + 2*i + 2*i + i. Let j(a) = -a**2 - 12*a - 8. Let m be j(-11). Is k(m) a multiple of 21?
False
Suppose -3*a = b - 161, -2*a + b + 52 = -62. Let r be 22/a - (-536)/10. Suppose -3*x + r = -24. Is 13 a factor of x?
True
Suppose -7*b - 2*b + 1872 = 0. Does 14 divide b?
False
Suppose 0*u - u + 8 = 2*z, 0 = 3*z - 5*u - 12. Let i(o) = 5 - 5 - 2 - 1 - z*o. Does 2 divide i(-2)?
False
Let a = 132 - 125. Does 2 divide a?
False
Let m be (-97)/(-11) - (-4)/22. Suppose -3*w - 6 = -m. Is 15 a factor of (-5 - w)/(3/(-15))?
True
Let b be (18*1/(-7))/(30/210). Let x(m) = -10*m - 1. Let j be x(-3). Let z = j + b. Is 10 a factor of z?
False
Let t(f) = -4*f**3 + 3*f**2 + 2*f. Let l be t(-1). Suppose -8*d = l*d - 728. Is 8 a factor of d?
True
Does 30 divide (-1)/(20/2) + (-35917)/(-70)?
False
Does 4 divide (-3 - 108/8)*-8?
True
Does 28 divide 148992/56 - 24/42?
True
Is 4 a factor of (5 - 12) + 364/4?
True
Suppose 23058 = -70*s + 91*s. Is s a multiple of 122?
True
Let k = 90 - 85. Does 5 divide (3 - -35 - k) + -2?
False
Let s(x) = -2*x + x**2 + x**3 - 22 + 12 + 12. Let p be s(0). Suppose 34 = k - 2*v, p*k - 5*v + 2*v = 72. Does 21 divide k?
True
Let a = -182 - -644. Does 14 divide a?
True
Let i(m) = -3*m**3 - 11*m**2 + 4*m - 6. Let w(v) = -5*v**3 - 21*v**2 + 8*v - 13. Let p be ((-3)/1 + 1)*-2. Let j(t) = p*w(t) - 7*i(t). Does 10 divide j(7)?
False
Is ((-19164)/(-24) - 1) + 2/4 a multiple of 19?
True
Let g be (-4 - -4) + (1 - -4). Suppose 4*n - q = 23, 4*n - 2*n - g*q - 25 = 0. Suppose -n*i = -i - 36. Does 3 divide i?
True
Let b be 3/(-3 + 2556/848). Suppose 4*i - b = -3*z, -2*z + 62 = -z - 3*i. Is z a multiple of 17?
True
Suppose -6203 = -13*b + 8344. Is 9 a factor of b?
False
Suppose 454 = -7*h + 1637. Does 13 divide h?
True
Suppose 1304 = -7*i + 3264. Suppose -4*h = h - i. Is h a multiple of 14?
True
Let m = 75 - 69. Let b(n) = 2*n**3 - 5*n**2 + n + 6. Is b(m) a multiple of 12?
True
Suppose u = -0*u - 6. Suppose 0 = 2*w - 2 - 4. Is 4 a factor of 52/w - (-2)/u?
False
Let z(l) = -164*l + 266. Does 25 divide z(-6)?
True
Let v be (-1)/(-4 + 43/11). Let c(r) = 4*r**2 - 1. Let a be c(-2). Let w = a + v. Is w a multiple of 26?
True
Let g be 56/5