a(0). Suppose -c*o + 5095 = 5*z - 290, -5*z + 4*o = -5403. Does 13 divide z?
True
Suppose 4*k + 7 = 7. Suppose i + 372 = 2*g, k = 3*g - 8*g + 3*i + 930. Is g a multiple of 15?
False
Let s = 18263 + -10227. Is 7 a factor of s?
True
Let w(j) = 0 + 15 - 416*j + 485*j. Does 13 divide w(6)?
True
Let r = -354 - -352. Is 32 a factor of (-10)/(-30)*(r - -770)/1?
True
Let q be (-8 + 5 + 0)*(3 + -4). Suppose -6 = 2*g, 4*w - 94 - 353 = -q*g. Is w a multiple of 6?
True
Suppose -3*o - 18 = -6*o + 3*d, 4*o - 21 = 5*d. Let z be (0 - -6)*(-4 - o/(-2)). Is 48*z + 0/(-6) a multiple of 36?
True
Suppose 397*z - 2944704 = 250*z. Is 55 a factor of z?
False
Let p be ((-10)/6)/(12 - 6566/546). Let l = -37 + 92. Suppose -3*x + p = -l. Is 40 a factor of x?
True
Let x(p) = 26*p**2 - 104*p - 2338. Is 72 a factor of x(-34)?
False
Let j = -2 + -23. Let w(l) = -18*l**2 - 210*l + 68. Let x be w(-11). Let s = j + x. Is 16 a factor of s?
False
Let o = 25382 + -24248. Is o a multiple of 14?
True
Let c(g) be the second derivative of -19*g**3 + 7*g**2/2 + 125*g - 2. Let q = -6 - -4. Is 24 a factor of c(q)?
False
Suppose -7*y + 28 + 28 = 0. Let r(x) = -x**3 + 4*x**2 + 3*x + 5. Let b(c) = c**3 - 5*c**2 - 4*c - 5. Let i(a) = 3*b(a) + 2*r(a). Is i(y) even?
False
Suppose 0 = 28*s - 24*s - 1504. Let l = -258 + s. Does 59 divide l?
True
Let m(l) be the first derivative of -l**3/3 - 12*l**2 + 21*l + 49. Does 33 divide m(-12)?
True
Suppose 3*y = 4*l - 62562, 22*y - 25*y = -l + 15636. Is 22 a factor of l?
True
Suppose 7*h + 2*p = 6*h + 39, p + 151 = 5*h. Suppose 2*c - 6*g = 357 - h, -5*g = c - 203. Does 89 divide c?
True
Suppose 81815 - 6370 = 41*w - 113975. Does 22 divide w?
True
Let q = -1451 - -611. Is 4/(-4)*q/14 even?
True
Suppose -r + 8*s = 12*s - 30058, -3*r + 8*s = -90174. Does 14 divide r?
True
Let j be ((-96)/(-60))/((-4)/(-10)). Let z be j + 0/3 + 50. Does 26 divide (-4 + 2 + z)*2/2?
True
Suppose 247 = 117*y - 115*y + 5*g, 0 = -5*y + 4*g + 667. Does 7 divide y?
False
Suppose -67725 = 12*v - 27*v. Is 21 a factor of v?
True
Let t be (16/(-40))/(2/10 + 0). Let l be t/5 + (-328)/(-20). Suppose 0 = o - l - 5. Does 21 divide o?
True
Let o(d) = -d**3 - 75*d**2 - 58*d + 877. Is 13 a factor of o(-75)?
False
Suppose 55 = -4*h + 63. Let y be (-1 - -74)/(2/h). Let c = y - 65. Does 7 divide c?
False
Let a be (-6)/(-4)*2752/24. Suppose -q - 3*q + a = 0. Suppose r - 33 = q. Is 34 a factor of r?
False
Let w(y) be the third derivative of y**6/60 - 7*y**5/12 - 5*y**4/12 + 17*y**3/6 + 148*y**2. Is 3 a factor of w(18)?
False
Let r(o) = 377*o**2 + 49*o - 2. Suppose 4*z + 5*t - 3 = 0, -t = 7*z - 12*z + 11. Does 17 divide r(z)?
False
Let c(g) be the first derivative of -59*g**2 - 32*g - 13. Is 12 a factor of c(-8)?
True
Suppose -3*k = 4*l - 113951, -3*k + 12748 = 3*l - 72713. Is l a multiple of 154?
True
Let o = -19930 - -28795. Is 59 a factor of o?
False
Let h(c) = -c**3 + 25*c**2 - 4*c + 46. Let p be h(25). Let b = p - -367. Is b a multiple of 42?
False
Let z(v) = -56*v**2 + 6. Let i be z(-2). Let m = i + 394. Is 22 a factor of m?
True
Suppose 20*j - 90*j + 261387 = 11*j. Is j a multiple of 63?
False
Is 69 a factor of 3330 + ((-1)/2)/((-8)/(-80))?
False
Let p(x) = 35*x + 78. Let u be p(-14). Let s = u - -786. Is 17 a factor of s?
True
Let s(g) = -g**3 + 26*g**2 + 246*g + 68. Is 187 a factor of s(27)?
False
Suppose -22 = 2*v - 4*g, v - 5*v - 9 = -g. Does 6 divide (25/(-15) - v) + (-1348)/(-6)?
False
Let k = -29 + 34. Let a be -3*((4 + -4)/(-3) - 21). Let g = k + a. Is 21 a factor of g?
False
Let v = 376 - 389. Let d(p) = p**3 + 14*p**2 + 8*p. Does 5 divide d(v)?
True
Let r = 3840 - 560. Is r a multiple of 27?
False
Let c = 35819 + -33623. Is c a multiple of 183?
True
Suppose 195451 = 24*g + 79*g - 95421. Does 8 divide g?
True
Let h(t) = -129 - 53 + 234 + t. Is h(30) a multiple of 51?
False
Suppose -8*s + 13*s = -11*s. Suppose 20 = 5*y, s = -3*p - 4*y + 3008 + 635. Is p a multiple of 13?
True
Suppose 17168 = w - 22*n + 18*n, 0 = 2*w + 2*n - 34266. Is w a multiple of 51?
False
Let b be -1 + 624 - 10/10. Let g = -55 + b. Is 19 a factor of g?
False
Is 25 a factor of 2/5 - (2992940/(-150) - (-120)/36)?
True
Let r(i) = 290*i**3 + 8*i**2 + 187*i - 1240. Is r(6) a multiple of 57?
False
Let u = 1979 - -5223. Is u a multiple of 154?
False
Suppose -23 = -5*i - 2*a, -5*i + a + 1 = -10. Suppose i*w - 6720 = -11*w. Is 40 a factor of w?
True
Let p be 2/(-4) + (4/8 - -1). Let l = p - -65. Let h = l + -37. Does 6 divide h?
False
Suppose -3*o + 21533 = 2*s, -2*s + 28696 = 4*o - 3*s. Is 19 a factor of o?
False
Is -14 - -7275 - (-12)/8*-2 a multiple of 19?
True
Let q(z) = z**2 - 17*z - 27. Suppose -p = -7 - 1. Let t be (-2)/(-4)*(-4 - p). Is q(t) a multiple of 17?
False
Suppose 35*i + 15*i = 174000. Is 12 a factor of i?
True
Let b be (-75)/(-2)*3/30*4. Suppose b*y - 10*y = 7*y. Suppose 2*z = f - 45, y = -2*f + 2*z + 52 + 32. Is f a multiple of 24?
False
Let w be (-1 - -5)/((-44)/(-6589)). Let b = w - 29. Is b a multiple of 8?
False
Let f = 6072 - -9018. Is f a multiple of 30?
True
Suppose 0 = -7*h + 15*h - 40. Suppose -5*j - 2*o + 4*o = 125, h*j + 4*o + 155 = 0. Is 514/9 + 3/j a multiple of 18?
False
Suppose -8*b + 6*b + 2*r + 1172 = 0, 4*r - 1758 = -3*b. Suppose w + 2*u - 126 = 0, 6*w = w + u + b. Is 21 a factor of w?
False
Let q(u) = -10*u - 58. Let f be q(-6). Suppose 28*x - 25*x + 4*s = 1393, -f*x = 4*s - 934. Is x a multiple of 17?
True
Suppose 4*b - 135 = 169. Suppose 2*v = 2*n + b, -9*v + 5*n - 62 = -10*v. Does 21 divide v?
True
Let n(w) = 8*w - 25. Let d(p) = p - 1. Let l(u) = 7*u - 22. Let a(j) = -2*d(j) - l(j). Let f(o) = -3*a(o) - 2*n(o). Is f(6) a multiple of 11?
True
Let y(o) = -61*o - 395. Does 65 divide y(-15)?
True
Let l = -37656 - -19183. Is (-9)/5 - -1 - l/35 a multiple of 31?
True
Suppose -4*b - 283 = -1403. Suppose -3*g = -u + 90, u - g + b = 4*u. Does 26 divide u?
False
Suppose 19 = 2*w - 151. Suppose -t + 105 = -z, -t - 2*z - z = -w. Does 5 divide t?
True
Does 11 divide ((-3526)/14)/((-43)/301)?
False
Suppose 3*m - 31 = 176. Let x = 1176 + -1074. Let b = x - m. Is 11 a factor of b?
True
Suppose 0 = -120*m + 721952 - 170912. Does 28 divide m?
True
Let l(g) = g**3 + 6*g**2 - 7*g + 3. Let o be l(-7). Suppose 4 = -o*y - y. Is 46 a factor of (-139)/y + 3 + -4?
True
Suppose 0 = 670*r - 687*r + 76925. Is 15 a factor of r?
False
Suppose -5*q + 2*x = -3426 - 4771, -4*x = 4*q - 6524. Is q a multiple of 20?
False
Let o(s) = -9*s**2 - 23*s + 6. Let j(a) be the second derivative of a**4/3 + 11*a**3/6 - 3*a**2/2 - 24*a. Let z(x) = -13*j(x) - 6*o(x). Is 14 a factor of z(5)?
True
Suppose -3*q + 206 = 200. Is 6 a factor of 256*q/2 + 88/44?
True
Suppose u = 3*u - u - 10790. Does 10 divide u?
True
Let v(t) = 298*t**3 + 6*t**2 - 52*t + 136. Is v(4) a multiple of 62?
True
Suppose -o + 37748 - 11456 = 2*h, 4*o + 4*h = 105156. Is o a multiple of 113?
False
Let n(q) = -5*q**3 + 2*q**2 - 18*q - 4. Is n(-10) a multiple of 8?
True
Let o be ((0 + 7)/(-7))/(1/8). Let s be 22/o - 21/(-28). Let n(w) = 34*w**2 + 6*w + 6. Is 16 a factor of n(s)?
False
Let u be -10*48*6/(-20). Suppose 9*i = 6*i - u. Let n = i + 78. Does 3 divide n?
True
Suppose -5*r = -8*r + l + 2523, -5*l = -4*r + 3375. Is 7 a factor of r?
True
Suppose 0 = 3*p + n - 20, -5*p - 3*n - 4 + 44 = 0. Suppose 0 = p*s + 3*h - 734 - 288, 5*s - 2*h - 1002 = 0. Does 26 divide s?
False
Suppose -27676*q + 11641 = -27669*q. Is q a multiple of 123?
False
Suppose -a = 20*a + 17*a - 18354. Does 69 divide a?
True
Let y be (-221)/(-51) + -1*(-1)/(-3). Let z(r) = 4*r**2 + 8*r - 12. Is 33 a factor of z(y)?
False
Does 296 divide ((-13)/(975/108175))/(5/3 - 2)?
False
Let i = 124 + -70. Suppose -12*n - 13365 = -45*n. Does 12 divide (-718)/(-15) + i/n?
True
Is 12 - ((-9504)/7 - 80/(-112)) a multiple of 37?
True
Let w = 203 + -51. Let g = w - 141. Is g a multiple of 3?
False
Let a(f) = 6*f - 42. Let r be a(12). Suppose -2301 = r*g - 43*g. Is g a multiple of 12?
False
Let r(k) = -8*k - 13. Let v be r(-5). Let t = v + -22. Suppose -19 - 33 = -4*p + 3*n, n = -t*p + 84. Does 7 divide p?
False
Suppose -12*t = -11*t - 5*v - 2605, -4*v = -5*t + 13046. Is 10 a factor of t?
True
Let y be (3 + 32/(-12))*(-129)/(-1). Suppose -7*m + y + 755 = 0. Does 16 divide m?
False
Suppose -10*x + 15*x - y = 