se
Let o = -26 - -98. Let t = o - 24. Is t a multiple of 5?
False
Suppose 0 = 6*t - 3*t + 27. Let o be 144*(2 + 12/t). Suppose 2*v + 18 = o. Is 13 a factor of v?
True
Is (-1 + -2 + -23)*39/(-6) a multiple of 13?
True
Suppose 36*k = 46*k - 2580. Is k a multiple of 11?
False
Suppose -4*f = k - 94, -4*f + 48 = 3*k - 242. Is 4 a factor of k?
False
Let c = 5 + -4. Suppose -2*q - 2*r - 10 = 2*r, q + r + c = 0. Suppose -3 = -3*p + q. Does 2 divide p?
True
Suppose 0*o - 77 = -l + o, -4*l + 263 = 5*o. Does 2 divide l?
True
Let h be (-1*(1 + -7))/1. Let t = -2 + h. Suppose 5*n - 3*s - 10 = t*n, 2*s = 4*n - 30. Does 3 divide n?
False
Suppose -167*c + 165*c = -6. Suppose -2*t - 5 = -2*h + 35, 2*h - 50 = -c*t. Does 2 divide h?
True
Let y = 10 - 6. Does 5 divide y/(-7)*245/(-10)?
False
Suppose -40 = -4*w - 5*p, -3*w + 2*p = 3*p - 19. Suppose -x + 1149 = w*h, x - 6*x = 5. Is h a multiple of 24?
False
Suppose -24*t + 580 = -19*t + 5*n, -3*t = -3*n - 330. Does 3 divide t?
False
Suppose 662*y - 664*y = -932. Does 23 divide y?
False
Suppose -27*l = -22*l - 1310. Is 2 a factor of l?
True
Let q(h) = -12 + 51*h - 27*h - 54*h. Does 23 divide q(-2)?
False
Let o(c) = 21*c - 9. Is o(3) a multiple of 9?
True
Let l be -1 - (-2882)/(6/3). Does 40 divide (l/27)/((-6)/9 - -1)?
True
Let n(c) = 2*c + 54. Let p = -18 - -25. Let v(k) = 5*k + 108. Let a(d) = p*n(d) - 3*v(d). Is a(0) a multiple of 7?
False
Suppose -2*n - 79 + 3 = 0. Let b be 3/18 - n/(-12). Does 6 divide 22 + 2 + -4 + b?
False
Suppose -8*q = -29103 + 11183. Is q a multiple of 112?
True
Let t(u) = -u**3 - u**2 + 2*u + 16. Does 42 divide t(-8)?
False
Let j be (-3*1)/(1 - 74/68). Is ((-8)/2 + 5)*j a multiple of 17?
True
Let l(m) = m**3 + 14*m**2 + 30*m - 27. Does 5 divide l(-11)?
False
Is 9*(396/55)/((-2)/(-35)) a multiple of 14?
True
Let s(w) = -341*w - 1172. Is 144 a factor of s(-12)?
False
Is 14 a factor of (-70)/(-15)*(-5 - -179)?
True
Let g(t) be the second derivative of -9*t**5/20 - t**4/6 - t**3/6 + t**2/2 + 11*t. Let z be g(2). Let o = -49 - z. Is o a multiple of 7?
False
Suppose -4*g = -4 - 4. Let h = -192 - -199. Suppose -g*r + h*r = 50. Is r a multiple of 4?
False
Suppose 2*y = -b - 2*b + 111, 4*y = b + 187. Suppose 4*z + 8 = 0, 4*z = 3*l - 56 - y. Suppose 0*o = -4*o + l. Does 4 divide o?
True
Let x(f) = 2*f**3 + f**2 - 2*f + 5. Let t(j) = 3*j**3 + j**2 - 3*j + 9. Let l(h) = -3*t(h) + 5*x(h). Is l(3) a multiple of 5?
True
Let s(q) = -15*q - 2. Let k(p) = -31*p - 4. Let i(m) = -6*k(m) + 13*s(m). Let y be i(-2). Let l = y + 36. Is 32 a factor of l?
False
Suppose 6*h - 59 - 73 = 0. Let n = 24 - h. Is 2 a factor of n?
True
Let h(j) = -2*j - 4. Let r be h(-6). Suppose -2*y + 960 = r*y. Does 12 divide y?
True
Let p(f) = f**2 - f - 808. Let d be p(0). Let t = -529 - d. Is t a multiple of 31?
True
Let p = -2634 - -3709. Does 91 divide p?
False
Suppose -4 = 2*v, -4*v + 5*v = 2*r - 882. Is 10 a factor of r?
True
Suppose 0 = -3*w + 33 + 114. Is 7 a factor of w?
True
Suppose 32*b - 25536 = -0*b. Is 11 a factor of b?
False
Is 49 a factor of ((-1)/3)/((-8)/72) + 144?
True
Let d = -4325 - -6165. Does 40 divide d?
True
Suppose -13 + 53 = 2*w. Suppose 9*o - 5*o = w. Suppose 35 = -o*i + 110. Is i a multiple of 5?
True
Let r(v) = 2*v + 4. Let s be r(-9). Let x(p) = -22*p + 11*p - 9 - 4*p - p**2. Is 3 a factor of x(s)?
False
Let d(o) = -5*o**2 + 2*o - 1. Let i be d(2). Let p = -12 - i. Let z = 12 + p. Is 7 a factor of z?
False
Let y = -31 - -67. Let d be 584/y - 4/18. Suppose -3*c + 32 = -d. Is 8 a factor of c?
True
Suppose -4*s + 4*j = -16, 4*j = -s + 4*s - 10. Suppose -2*g - s = -a - 0, 0 = 2*g - 4*a + 18. Does 13 divide (-21)/g*2/3?
False
Let p(g) = -4*g**2 + g - 1. Let s be p(1). Let w(c) be the third derivative of c**5/20 - c**3/6 - 17*c**2. Does 31 divide w(s)?
False
Suppose -3*y + 40 = 4*s, -3*s + 16 = -y - 1. Let p(j) = 8*j - 21. Let f(l) = 17*l - 43. Let a(w) = -3*f(w) + 7*p(w). Does 13 divide a(s)?
False
Suppose a - 1019 + 147 = -4*i, 0 = -2*a - 3*i + 1754. Is 50 a factor of a?
False
Let z be 3 - 5 - (-454 + 2). Let q = z + -303. Is q a multiple of 49?
True
Let s be (-10)/35 - (-1088)/(-14). Let c = -146 - -260. Let r = c + s. Is r a multiple of 9?
True
Let l(m) = -3*m**2 + 64*m + 5. Does 36 divide l(17)?
False
Let o(k) = 4*k**3 - 14*k**2 - k - 11. Let j(w) = -5*w**3 + 14*w**2 + 10. Let s(z) = -5*j(z) - 6*o(z). Is s(-12) a multiple of 16?
False
Let t(r) = 8*r - 1. Let k(f) = -9*f + 1. Let z(u) = -5*k(u) - 6*t(u). Let q be z(-2). Let j = -5 + q. Is 2 a factor of j?
True
Let c = 112 - 222. Let q = 81 - c. Is q a multiple of 18?
False
Let v = -162 + 1218. Is v a multiple of 16?
True
Let o be (-2)/(-1) - 3 - 31. Let z = o - 52. Let a = z + 144. Does 26 divide a?
False
Let f(u) = -6*u**2 - 3*u - 6. Let x be f(-4). Is x*(7/2)/(-7) a multiple of 9?
True
Suppose 377 = 18*a - 62353. Does 17 divide a?
True
Suppose -4*g + 24 = 3*q, 3*g + g = -4*q + 28. Let l(h) = 4*h**3 + h**2 - 2*h + 3. Let f be l(g). Suppose -5*c + f = -231. Is c a multiple of 23?
True
Let t(m) = 2*m. Let d(v) = -7. Let g(i) = 3. Let r(u) = -2*d(u) - 5*g(u). Let b(y) = -2*r(y) - t(y). Is b(-11) a multiple of 8?
True
Suppose 6 - 17 = g. Let n(z) = -z**3 + 7*z**2 + 7*z + 1. Let p be n(8). Let y = p - g. Is y even?
True
Suppose 3*n + 2*f + 26 + 13 = 0, 5*n = -2*f - 69. Let x = 20 + n. Is x a multiple of 3?
False
Does 49 divide -11 - -7 - -11 - -1561?
True
Let l(k) = -k**3 + 7*k**2 + 14*k + 37. Does 24 divide l(-6)?
False
Let a = -37 + 40. Is 37 a factor of -1*(-2)/a*(-1692)/(-24)?
False
Let f(y) = y**3 - 5*y**2 + 5*y - 6. Let s be f(5). Let x(u) = 40*u**3 - 4*u**2 + 3. Let m be x(1). Let j = m - s. Does 13 divide j?
False
Suppose 0 = -2*v, 3*r - 2*v - 634 = 566. Is r a multiple of 5?
True
Suppose u + 2*o - 708 = 0, 2*u = -0*u - 2*o + 1416. Is 12 a factor of u?
True
Suppose -2*t = 3*h + 49, 5*t + 0*t - 2*h = -170. Let s = 51 + t. Does 3 divide s?
False
Let x(t) = -573*t**3 + t**2 + t + 4. Let m be x(-2). Suppose 0 = 33*h - 18*h - m. Is h a multiple of 26?
False
Is (66/(-12) - -6) + (-142)/(-4) even?
True
Let h = 205 + -84. Is 11 a factor of h?
True
Suppose 3*n + 72 = -h + 221, 0 = 4*h + n - 563. Is h a multiple of 10?
True
Let u(y) = 9*y - 8. Let m(o) = o**2 - o + 1. Let p(g) = -2*g - 13. Let i be p(-7). Let l(b) = i*u(b) + 3*m(b). Is 17 a factor of l(-5)?
False
Let w(a) = a**3 - 2*a - 10. Let y = 26 + -21. Is 35 a factor of w(y)?
True
Let z = -53 - -70. Let x(r) = 11*r - 3. Is x(z) a multiple of 12?
False
Let h(l) = 30*l**2 + 6*l + 6. Let q be h(-4). Suppose -5*b + 580 = -2*v, -7*b + 2*v = -3*b - q. Is 20 a factor of b?
False
Let s(u) = -u**2 - 11*u - 18. Let i be s(-9). Let r(p) = -p + 73. Is 8 a factor of r(i)?
False
Let y = -1658 + 2396. Is y a multiple of 17?
False
Let z be (-88)/(-14) + (-26)/91. Suppose -z*p = -11*p + 150. Let w = -14 + p. Is w a multiple of 16?
True
Let n be -2*(-3 - -4)/(-1). Suppose -3*p + 2*s = -104 - 22, 86 = 2*p - n*s. Is 20 a factor of p?
True
Suppose 39 = -5*i - 2*q, q = -3*i - 19 - 5. Let o be ((-20)/(-30))/((-1)/i). Suppose -o*w = -w - 125. Is 19 a factor of w?
False
Let w be 2/((-15)/(-6) + -2). Suppose -7*j = -w*j. Let d(k) = k**3 - k**2 + 28. Is d(j) a multiple of 14?
True
Let c(o) = 57*o**3 + 5*o**2 - 2*o - 4. Let t(n) = -n**3 + n**2 - 1. Suppose -6*a - 22 = 8. Let f(l) = a*t(l) + c(l). Does 18 divide f(1)?
False
Let z be -1 + -6 - (-2)/(-1). Let o be (z - -42)/((-1)/(-1)). Suppose -23 = -4*r + o. Is 5 a factor of r?
False
Let n(k) = 4*k**2 + 8*k - 115. Does 15 divide n(15)?
False
Let t be 4/3 + 38/57. Suppose 6*n - t*n = -y + 1094, 3*n + 4*y = 827. Is n a multiple of 39?
True
Let h = -5 + -10. Let m = 50 + h. Is 7 a factor of m?
True
Is (-3 - -546)/((-2)/(-6 - -4)) a multiple of 30?
False
Suppose -3382 = -5*u + 4598. Does 21 divide u?
True
Let a = 374 + -358. Is 6 a factor of a?
False
Suppose -43 = 9*j - 133. Is 9 a factor of j?
False
Let w = -147 + 219. Suppose -l + 3*f = 3*l - 249, w = l - 4*f. Is 15 a factor of l?
True
Let r be -1 + (-2 - (0 - 16)). Suppose -4*o + 7 = -r. Suppose -26 - 55 = -3*l - 3*j, 0 = 2*l + o*j - 45. Is l a multiple of 20?
False
Suppose b = -n + 5*n - 41, -3*n - 5*b + 25 = 0. Does 10 divide (-1 + 3)/n*55?
False
Let w = -29 - -60. Suppose -5 - w = -o. Let d = -13 + o. Is d a multiple of 23?
Tru