v - -1)/(6/8) a multiple of 13?
True
Let l(h) = -h**3 + 32*h**2 - 35*h - 103. Does 5 divide l(17)?
False
Let a(s) = s**3 - 3*s**2 + s + 3. Let y be a(2). Is 21 a factor of 9060/36 + y/3?
True
Let b(x) = -330*x**3 + 8*x**2 - 18*x - 66. Is b(-3) a multiple of 107?
False
Let w = 87782 + -61804. Is 33 a factor of w?
False
Suppose -17*s + 1909 + 11833 - 737 = 0. Is 9 a factor of s?
True
Let d = -47 - -75. Suppose w + d = -21. Let i = 130 + w. Does 27 divide i?
True
Let a(b) = -22*b - 35. Let q(o) = 43*o + 71. Let h(t) = 7*a(t) + 3*q(t). Is h(-7) a multiple of 19?
False
Suppose 0 = 12*c + 2*c + 70. Let g(o) = 3 + 3*o - 2*o**2 + 1 + 0 + 3*o**2. Does 2 divide g(c)?
True
Suppose 24 = 19*q - 1496. Does 38 divide 1*(118/8)/(4/q)?
False
Let h(m) = -5 + 626*m**2 + 652*m**2 - 1300*m**2 + 61 + m**3 - 36*m. Is 15 a factor of h(24)?
False
Let q(c) = 1331*c**2 + 126*c + 864. Does 24 divide q(-6)?
True
Let q(i) = -2*i**2 + 17*i - 18. Let d be q(7). Suppose 0 = 5*h - y - 49, d*h = -2*y + 11 + 21. Suppose -18*l + h*l + 392 = 0. Is 11 a factor of l?
False
Let i(b) = b**3 + 69*b**2 + 274*b - 32. Is i(-31) a multiple of 4?
True
Suppose -44 = -4*q + 2*r, 0*q = -3*q + 2*r + 32. Is ((-312)/(-30))/(q/570) a multiple of 26?
True
Let a(f) = f**2 - 14*f - 29. Let c be a(16). Let y(r) = -2*r**3 + 1063 + 3*r**3 - c*r - 1076 - 2*r**2. Does 56 divide y(7)?
False
Let a(b) = 1981*b**2 + 69*b + 400. Is 10 a factor of a(-5)?
True
Let u(g) = -2*g + 6*g**2 - 4*g - 4*g + 4*g. Let h be u(4). Let a = h - -10. Is 24 a factor of a?
False
Suppose 8*j - 717 = -3*l + 3*j, 0 = -3*j - 9. Does 4 divide l?
True
Let k(c) = -14*c**3 + 3 - 30*c**3 + 13*c + 3*c**3 + 12*c**2 + 3*c**3 - 4*c**2. Is k(-3) a multiple of 48?
False
Let j = -170 + 128. Is -4 - 180/j - (-502)/7 a multiple of 6?
True
Suppose -15 = 10*r - 5*r, -x + 2*r + 20 = 0. Suppose -x*h = -6*h - 4952. Is h a multiple of 16?
False
Does 43 divide 5 + ((-2)/15 - (-2629744)/705)?
False
Suppose -2 = 15*w - 16*w. Suppose -l = -2*y - 232, 7*l + w*y - 664 = 4*l. Is l a multiple of 28?
True
Let y(q) = q**2 + 2*q + 1. Let f be y(-3). Suppose k + 4 - 20 = 5*b, -2*k + 14 = -f*b. Is 19/((-30)/(-9) + b) a multiple of 20?
False
Let f = -241 + 571. Suppose -f*w + 342*w - 2808 = 0. Does 17 divide w?
False
Let g(r) = -2*r**2 + 11*r - 6. Let f be g(4). Suppose 4*z - f*z = -1198. Does 37 divide z?
False
Suppose -128072 = -31*u + 240673. Does 147 divide u?
False
Suppose -6 = 5*w - 2*p, -3*w + 5*p + 3*p = 24. Let b(y) = 8*y**2 + y + 1. Let f be b(2). Is w + (-9)/(-3) + f a multiple of 19?
True
Let s = 94 - 84. Let f(n) = -n + 1 + 4*n**2 - s + 0 - 9. Does 12 divide f(-6)?
True
Let d be 321/5 - (-9)/(-45). Let a = 262 - d. Does 11 divide a?
True
Let o(l) = -2*l**2 + 8*l - 1. Let v be o(-7). Let c = v + 411. Suppose -2*d - d - 2*p + 154 = 0, -5*d = 4*p - c. Is 22 a factor of d?
False
Let a(v) = -89 + 14*v**2 + 0*v**2 + 69 + 11*v - v. Is a(-5) a multiple of 10?
True
Suppose -5*b + 133195 = -3*v, 90*b + 26652 = 91*b + 2*v. Is b a multiple of 22?
True
Suppose -h + j + 0*j + 62 = 0, 133 = 2*h - 5*j. Suppose -4*n + 244 = -120. Let r = n + h. Is r a multiple of 10?
True
Let g be ((-8)/(-24))/(-2 + 489/243). Let o(k) = 98*k - 21*k**2 + g*k**2 + 33*k**2 - 105*k + 11. Does 7 divide o(2)?
False
Let w be 1/(-4) - (3 + (-23)/(-4)). Let a be (-2)/(-3)*1 + (-174)/w. Suppose 0 = -8*k + a*k - 432. Is 5 a factor of k?
False
Suppose -3*b + 10936 = 5*p - 1735, -2*b - 5*p = -8444. Is b a multiple of 37?
False
Let r = 77 - 45. Suppose r = -6*y + 14*y. Suppose y*q + 16 = 0, 0*n + 3*q = -n + 161. Is n a multiple of 9?
False
Let k(i) = -i**3 - 7*i**2 + i + 11. Let h be k(-7). Suppose -h*v + 1819 + 3121 = 0. Is 19 a factor of v?
True
Let b be 1 - -134 - (-12 + 8). Suppose -b - 37 = -4*m. Suppose q - 15 = -r, 0 = 4*r - 0*q - 4*q - m. Is 10 a factor of r?
False
Suppose 6*m - 5*m - 3*w = 48, 0 = -5*w - 10. Suppose -m*p + 18 = -40*p. Suppose q = p*q - 720. Is 18 a factor of q?
True
Suppose 0 = a - 3*m - 4, 0 = -4*a + 5*m + 8 + 22. Is 7 a factor of 34 + -2 + (-20)/a?
False
Let y be (-147)/(-18) + -3 + 1/(-6). Suppose 25 = 10*o + y. Suppose -2*s + o*z = -184 - 146, 0 = s + 3*z - 165. Does 16 divide s?
False
Suppose -20*s = -26*s + 2280. Suppose 4*y + y = 3*z + 1900, y - 4*z - s = 0. Is y a multiple of 20?
True
Is 6*3074 + 30/(-5) + (-280)/(-28) a multiple of 7?
False
Let s be -1 - 13/(-11) - (-40)/22. Suppose -6621 = s*h + 5*c, 2*c + 897 = -4*h - 12353. Is 20 a factor of h/(-17) - 14/(-357)*3?
False
Suppose 0 = -6*x + 5*q + 49938, 2*x - 11258 - 5416 = -3*q. Is 24 a factor of x?
True
Suppose -4*h = -5*j + 520, -3*h - 2*h + 104 = j. Is 13 a factor of j?
True
Suppose -a + 239 = 97. Suppose -4*b + 3*c = -108, 7*b - a = 2*b + 2*c. Is 15 a factor of b?
True
Let h(p) = p**3 + 4*p**2 + 5*p + 4. Let k be h(-2). Suppose 5*l + 4*y - 126 = 0, 40 = 2*l - y - 0*y. Suppose m = -k + l. Is 5 a factor of m?
True
Suppose -2*i + 26228 = -5*n, -13*n + 11*n + 4 = 0. Is i a multiple of 187?
False
Suppose -504 = -2*x + 948. Let s = 1742 - x. Is 13 a factor of s?
False
Suppose -54*f = 13*f - 151219. Is f a multiple of 61?
True
Suppose h - 8 = -0*m + 2*m, m = -4*h + 14. Suppose -3*s + 2 - h = -w, 5*s - 6 = -3*w. Suppose -w*i - 114 = -3*v, v = 2*i + 2*i + 28. Does 20 divide v?
True
Suppose 6*p = -39316 + 160306. Suppose 26*h - p = 3053. Does 15 divide h?
False
Suppose -34*z + 23460 - 9304 + 74618 = 0. Is 7 a factor of z?
True
Suppose 116*g - 2018926 - 219031 = 2773243. Is g a multiple of 288?
True
Suppose 2*n - 190 = 2*k + 90, -3*k = n - 132. Let g = n - -223. Is 19 a factor of g?
True
Let v(q) = -q**3 - 17*q**2 - 16*q + 10. Let k be v(-16). Let b be ((-5)/(k/(-162)))/1. Is 0 + b/(0 - -3) a multiple of 11?
False
Let x = -18215 + 20120. Is x even?
False
Suppose 6*s - 2*g - 99 = s, -5*g - 69 = -4*s. Let b(i) = -i**3 - 20*i**2 - 17*i + 44. Let y be b(-19). Suppose -4*p + 4*c = -12, y = -3*c + s. Does 2 divide p?
True
Suppose -9*f + 14*f - 70 = 0. Suppose f*q = 12*q + 1746. Is q a multiple of 75?
False
Suppose -7*p + 36 = -3*p + 2*s, 3*p = -5*s + 41. Let g be (14/p)/((-1)/(-2)). Suppose r - 5*r - 564 = -5*h, h + g*r - 108 = 0. Is 28 a factor of h?
True
Let a(s) be the third derivative of s**6/120 - 29*s**5/60 - 23*s**4/12 - 28*s**3/3 - 48*s**2. Is a(31) a multiple of 40?
True
Suppose -160 = -24*x - 904. Let j = x + 265. Is j a multiple of 9?
True
Let x(h) be the second derivative of 19*h**3/6 - 77*h**2 - 33*h. Is x(12) a multiple of 74?
True
Let b(r) = 3*r + 35. Let a be b(-7). Suppose 187 = 2*u - 3*q, a*u - 12*u = -4*q + 152. Is u a multiple of 2?
True
Suppose 0 = w - 3*k + 2, 3*k = 2*w - 3 + 13. Is w*(426/(-24) - -2) a multiple of 9?
True
Suppose 24*r - 63*r = 33*r - 334728. Is 86 a factor of r?
False
Suppose -2*d + 5*o = -324, -520 = -3*d - 5*o + 4*o. Let p = -117 + d. Is p a multiple of 2?
False
Let u = -17 - -9. Let y be (-1)/u - 4/32. Suppose 5*n = 4*d + 1078, y = 2*n - 2*d - 0*d - 430. Is 41 a factor of n?
False
Suppose -5*f - 7 = -3*a, -14 = -0*a - 4*a + 2*f. Let t be a/2 - 0/(-14). Suppose -i - t*j = -36 - 66, -i + 97 = 3*j. Is 28 a factor of i?
True
Let t(p) = 54*p**3 + 2*p**2 + 21*p - 50. Does 27 divide t(2)?
True
Suppose -113 - 84 = -z. Let v = z + -292. Let m = v + 132. Does 5 divide m?
False
Let h(y) = -y + 7. Let f be h(5). Let p be (4 - 339/(-6))/(1/f). Suppose -j + p = -0*j. Is 11 a factor of j?
True
Suppose 3*y = 7*y - 3*j - 41, 4*j = -y + 15. Suppose 9984 = y*s + 13*s. Is s a multiple of 13?
True
Let n(d) = 14*d - 39. Let x be 20/60 + (-1)/(3/(-197)). Let o be 12/(-20) + x*2/20. Does 9 divide n(o)?
True
Let f(z) = 18*z - 36. Let o = -278 - -284. Does 6 divide f(o)?
True
Let x be -3 + 2 - (-9)/3 - -6. Suppose -x*f + 2*f = -342. Does 5 divide f?
False
Suppose 5*w + 30054 = 3*j, -5*j + 29309 = w - 20837. Does 92 divide j?
True
Let n(s) = 108*s + 1190. Does 13 divide n(18)?
False
Let v(z) be the first derivative of 4*z**3/3 + z**2 - z + 73. Is v(-7) a multiple of 16?
False
Suppose d - 3*h + 57 = 3*d, -3*h - 63 = -3*d. Suppose d = 2*j - 6*j. Is (-88 + j)*(2 + -3) a multiple of 23?
False
Let i = -4283 - -20728. Is 219 a factor of i?
False
Let d = 248 - 245. Suppose -3 + 28 = a + u, -5*a + 133 = d*u. Is a even?
False
Suppose 26 = 34*h - 8. Does 72 divide 96/(2/h)*(-2 - -17)?
True
Suppose 0*f + 10*f = 2220. 