iple of 2?
False
Let t = -440 + 452. Suppose 13*b - t*b = -4*o + 61, -o = -2*b + 86. Does 15 divide b?
True
Let l(z) = 60*z**2 + 62*z + 81. Is l(26) a multiple of 14?
False
Let u = -18499 - -37507. Does 36 divide u?
True
Suppose 45*q - 208469 + 59159 = 0. Is q a multiple of 21?
True
Let j(o) = 66*o**2 - 30*o - 308. Is 11 a factor of j(-11)?
True
Let x(l) = l**3 + 10*l**2 - 27*l - 15. Let r be x(-11). Suppose 2*m = -k + 43, -5*m = k + 55 - r. Is 3 a factor of m?
True
Suppose -183 = 9*v - 5*v + 5*q, 0 = -5*v - 5*q - 235. Does 4 divide (8/1)/((-26)/v)?
True
Let u = 2394 + -87. Suppose a = 5*w - u, 5*w + 10*a = 12*a + 2309. Is 14 a factor of w?
False
Let f(s) = -2*s + 15. Let r(t) = -t**3 - 3*t**2 - 6*t - 5. Let y be r(-4). Let x = 29 - y. Is 4 a factor of f(x)?
False
Let s(u) = -u**3 + 80*u**2 - 68*u - 1641. Is 11 a factor of s(75)?
True
Let z = 5820 - -4832. Does 44 divide z?
False
Let z(v) = -v**2 - v - 2. Let i(u) = 3*u**2 - 3*u + 10. Let j(w) = i(w) - 6*z(w). Is j(-6) a multiple of 41?
True
Let o = 68 + -35. Let j be 8/(-44) + (-1)/(o/3558). Is (15/(-25))/(j/(-110) + -1) a multiple of 11?
True
Suppose 0 = 3*u + 19*u - 16830. Let f = u + -436. Does 47 divide f?
True
Let d = 5209 - 22. Is d a multiple of 57?
True
Suppose 666*v - 662*v - 2928 = 0. Is 4 a factor of v?
True
Suppose -b = -3 - 69. Is 8 a factor of b?
True
Suppose -682 = -2*u - 9*u. Let s = u - 6. Is s a multiple of 14?
True
Let v(x) be the second derivative of -x**5/20 - x**4/4 - 5*x**3/6 + 3*x**2/2 - 13*x. Let i be v(-3). Does 12 divide (120/(-9))/(-5)*i?
True
Suppose 0 = 58*y - 194825 - 63797. Does 13 divide y?
True
Let t(a) = -a**3 + 26*a**2 - 26*a + 31. Let d be t(25). Suppose d*w = 393 + 1047. Does 5 divide w?
True
Let q(n) = 44*n - 47 + 25 - 154*n + 27. Let p be q(-3). Suppose p = g + 4*g. Is 14 a factor of g?
False
Let s = 4385 - -1573. Is 14 a factor of s?
False
Suppose 3*p - 3 = 0, -5*y + 852 + 2656 = -2*p. Suppose -3*z + y + 402 = 0. Does 23 divide z?
True
Suppose j - r + 1554 = 3*j, -3*j + 2298 = -4*r. Does 2 divide j?
True
Let j be 14/63 + 176/18. Let b = 40 + -32. Is 12 a factor of (j - b)/((-2)/(-48))?
True
Suppose 4*h - 38 = -3*l, -5*h - 41 + 106 = -5*l. Suppose 19*o - 816 = h*o. Is o a multiple of 3?
True
Suppose -21*m + 4894 = -14321. Is 15 a factor of m?
True
Let o(i) = 41*i + 40. Let u(m) = 21*m + 20. Let k(w) = -2*o(w) + 5*u(w). Let z be k(7). Suppose -2*f - 4*d = d - z, d + 87 = f. Is f a multiple of 28?
False
Does 15 divide (-22 + 10 + 1907)*(-54)/(-10)?
False
Let w(g) = 2*g**2 + 4*g + 2. Let j be w(-2). Suppose -j*y = 171 - 901. Suppose 0 = -5*d + 5*q + y, q + 127 + 171 = 4*d. Is 25 a factor of d?
True
Let x(g) = g**2 + 5*g - 32. Let m be x(-15). Suppose -3*h = 2*h + 455. Let z = m + h. Is 9 a factor of z?
True
Suppose 4*b + 4*p = 20, 30 = 2*b + b - 2*p. Suppose 441 = 17*v - b*v. Is v a multiple of 9?
False
Let m(b) = 15*b**2 - 49*b + 4019. Is m(65) a multiple of 105?
False
Let a be (0/(0 + 1))/(6/(-2)). Suppose a = 6*v - 0*v - 12. Suppose -3*l = 6, 36 = 4*g + v*l - 148. Does 24 divide g?
False
Let f be (-3 + (-36)/(-16))*280. Let k = f - -562. Is k a multiple of 10?
False
Let k(y) = y**3 + 62*y**2 - 222*y + 189. Is 6 a factor of k(-65)?
True
Let h = -8356 + 12763. Is 32 a factor of h?
False
Suppose -5*i - 12 = -5*m + 13, -m = -3*i - 5. Let u be (i - -1) + -5 - -8. Does 9 divide 3 + u + (-3)/(12/(-928))?
False
Let d be 207 + -4 + (-12)/3 + 2. Let o be 1 - (2 - -109 - -1). Let x = o + d. Does 30 divide x?
True
Let o(a) = 7*a + 307. Let u(p) = -15*p - 612. Let c(m) = 9*o(m) + 4*u(m). Is 63 a factor of c(0)?
True
Let m(b) = b**3 + b**2 - 8*b + 8. Let r be m(-5). Let d = 239 - r. Suppose d = 3*q - 5*t, -52 + 147 = q - t. Is 9 a factor of q?
False
Let p be (-3)/(-5) - (-11088)/420. Suppose 12*w - p*w = -2175. Is 5 a factor of w?
True
Let n(z) = 81*z - 30. Let t(y) = 82*y - 33. Let m(k) = -4*n(k) + 5*t(k). Is 24 a factor of m(3)?
False
Does 13 divide -3 + (-923478)/(-186) + (-2)/(-31) - -3?
False
Let d = -115 - 153. Let f = 862 + d. Is 13 a factor of f?
False
Let t = 91 + -89. Suppose v + 373 = 3*d, -t*d + 5*v = -4*d + 260. Is d a multiple of 23?
False
Suppose 8*c - 6*c - n - 3305 = 0, -3*n - 8265 = -5*c. Is 75 a factor of c?
True
Suppose -4*i + 108 = 8*i. Suppose -1337 = i*l - 4010. Let v = -167 + l. Does 24 divide v?
False
Suppose -871*a = -850*a - 260652. Does 39 divide a?
False
Suppose 0 = 25*j - 26944 - 5231. Suppose -2*p - p = -j. Does 37 divide p?
False
Let a(g) be the first derivative of -43*g**2/2 + 2*g - 1. Let i = 4002 + -4004. Is 15 a factor of a(i)?
False
Suppose -4*n = 0, -4*u + n + 10301 = -19175. Suppose -1937 = 14*b - u. Is 12 a factor of b?
False
Let q be ((-47556)/(-60))/(3/5). Let n = q + -901. Is n a multiple of 28?
True
Let v(f) = 1 + 4*f**2 - f**3 + 450*f - 450*f. Let b be v(3). Suppose 13*j - 891 = b*j. Is j a multiple of 27?
True
Suppose 154*j - 151*j + 174 = 0. Let b = j - -186. Let h = b - 84. Does 3 divide h?
False
Let t(m) = m**2 + 13*m - 26. Let o be t(-15). Is 3 a factor of (3512/12)/2 - o/3?
False
Let i(o) = 12*o + 3. Let a(y) = y**2. Let c(k) = 6*a(k) - i(k). Let z(g) be the first derivative of c(g). Does 8 divide z(5)?
True
Let u(y) = -y**2 - 33*y + 17. Let b be (-44)/(-11) + 12/(-1). Does 31 divide u(b)?
True
Let s be 86/(-18) + (2 - 180/81). Does 21 divide 19376/20 + -2 - 1/s?
False
Is (8 + 980/(-15))/(-1 + 169/171) a multiple of 73?
False
Let g(i) = -i**3 + 12*i**2 - 21*i - 22. Let d be g(9). Is 7/(28/d) + 289 a multiple of 9?
True
Suppose -g - 4 = -4*d + 11, 0 = -5*g - 5*d + 50. Suppose -g*u - 3*c = -187, 2*c + 106 = -5*u + 294. Is 19 a factor of u?
True
Suppose -3*i + 3*m = -14 - 58, -4*i + 3*m + 96 = 0. Suppose i = -9*d + 13*d. Suppose 0 = d*u - u - 540. Does 18 divide u?
True
Let r = -7674 + 13291. Does 41 divide r?
True
Suppose 0 = -0*b - 3*b - 402. Let l = -167 + 96. Let q = l - b. Does 24 divide q?
False
Suppose -w + 12 = 7. Suppose 4*z - w*x = -6, 5*z + 3*x = -0*z - 26. Does 4 divide 32*z/(-8) + 1?
False
Let k = 10265 - 5806. Does 67 divide k?
False
Let x(p) = 397*p**2 - 80*p + 156. Does 16 divide x(2)?
True
Suppose 3*v - 78 = -2*r, r + 4*v = 8*v + 28. Suppose 29*m + 21 = r*m. Let h(s) = 7*s**2 - 5*s. Is h(m) a multiple of 4?
True
Let v(x) be the first derivative of 7 + 9/2*x**2 + 1/4*x**4 + 14*x - 14/3*x**3. Does 22 divide v(14)?
False
Let s(p) = 718*p + 7910. Does 196 divide s(7)?
True
Let r = -32 - -28. Let p be 6/21 + 13324/14. Is r/5 + p/40 a multiple of 13?
False
Let d = 4399 + -1269. Is 20 a factor of d?
False
Suppose -29*a + 3*u = -34*a + 2132, a + 4*u = 423. Is a even?
False
Let n(u) = 2*u**3 + 22*u**2 - 10*u + 32. Let l(b) = b**3 + 14*b**2 - 7*b + 21. Let f(j) = -8*l(j) + 5*n(j). Does 11 divide f(6)?
False
Suppose -19*m - 424 = -21*m - 3*a, 215 = m + 2*a. Is 7 a factor of m?
True
Let l = 13 - 1. Suppose l*o - 13*o = -4. Suppose 17 = -o*j + 1, 2*f - 332 = -3*j. Is f a multiple of 43?
True
Let m(v) = 3*v**3 + 27*v**2 + 3*v + 4. Let j be m(-9). Is 10 a factor of (-1 + j)*55/(-22)?
True
Suppose -3*m - 6*m + 36 = 0. Suppose -m*x + 15*x - 286 = 0. Suppose -4*a = -x - 26. Does 13 divide a?
True
Let s be 1 + -5 + 1 + (-7)/7. Is 14/(s + (-552)/(-136)) a multiple of 15?
False
Let d(c) = -8*c + 9. Let u be d(13). Let m = -38 - u. Suppose m + 3 = a. Is 15 a factor of a?
True
Let j = 12 + 0. Let f(q) be the first derivative of -q**2/2 + 23*q - 1. Is f(j) a multiple of 5?
False
Let j(m) = -5*m**3 + 39*m**2 + 8*m + 97. Let g(t) = t**3 - 10*t**2 - 2*t - 24. Let b(z) = 9*g(z) + 2*j(z). Let p be b(-12). Does 11 divide ((-93)/(-1))/3 + 4/p?
True
Let g = 66 - 58. Suppose g*j + 171 = -69. Is 56 a factor of 2420/25 + (-6)/j?
False
Let w = 10978 + 15146. Does 7 divide w?
True
Let f(p) = p**2 + 9*p - 10. Let a be f(-10). Suppose 2*s - 3*s - q = 17, -5*s - q - 73 = a. Is (3 - (-7)/(-2))*s a multiple of 5?
False
Let t(a) = -22 + 110*a + 112*a - 194*a. Is t(3) a multiple of 8?
False
Suppose -45*c + 232 = -38. Let n(f) = 238*f + 140. Does 46 divide n(c)?
False
Suppose -m - 2848 = y, -4*m - 2*y - 9506 - 1886 = 0. Does 60 divide m/(-24) + 3 - (-5)/(-3)?
True
Let u(s) = s - 11. Let o be u(7). Let a be (6 - (-3 - -1))*(-46)/o. Suppose 9*n = 11*n - a. Does 5 divide n?
False
Let b = -2683 - -778. Is 32 a factor of (-2 - -7) + b/(-3)?
True
L