 = 2*o - 5*w, -4*w = h*o - 6 - 6. Is 182 - 3 - (5 + o + -5) a multiple of 25?
True
Suppose -4*r + 28182 = -2*j, 4*r - 28210 = 9*j - 11*j. Is 133 a factor of r?
True
Suppose 4*t = -2*s + 2364, -2*t - s - 2376 = -6*t. Is 12 a factor of t?
False
Let y = -2606 - -5034. Is 27 a factor of y?
False
Suppose 2 = 3*x + 17. Let v(k) = k**3 + 7*k**2 + 7*k - 12. Let f be v(x). Suppose 0 = -p - 3*c + 148, 0*p = 2*p + f*c - 281. Does 19 divide p?
True
Is -3*(-3)/6*617974/111 a multiple of 9?
False
Suppose -5*b - 4048 = -2*h + 1584, -h + 2*b = -2817. Suppose 15*y - h = 8*y. Is y a multiple of 39?
False
Let h = -409 - -404. Let r(o) = 2*o**3 + 17*o**2 + 2*o + 12. Let q(k) = -k**3 - 9*k**2 - k - 6. Let f(n) = 5*q(n) + 3*r(n). Is f(h) a multiple of 8?
False
Suppose 2*w = -14*r + 16*r - 24170, 4*w = -3*r + 36227. Does 109 divide r?
False
Let f = 3219 - 2539. Is 17 a factor of f?
True
Let w(t) = t**3 - 2*t**2 - 4*t - 7. Let x(c) = 2*c**2 - 5*c - 8. Let n be x(5). Suppose n*g - 30 = 11*g. Is 12 a factor of w(g)?
True
Suppose 2*y - 1 = r + 15, 2*r = -2*y - 2. Let k be (-60)/50*(-20)/r. Let t(g) = -3*g**3 - 2*g**2 + g + 13. Does 18 divide t(k)?
False
Suppose -340*c = -294*c - 65734. Is c a multiple of 5?
False
Let m(n) = n**2 - 9*n + 8. Let x be m(7). Let t(d) = -d + 34. Does 11 divide t(x)?
False
Let z(f) = -f**3 + 9*f**2 - 6*f - 9. Let p be z(8). Let w be -3*p/(105/(-10)). Suppose w*l - 412 = -5*s, 0*s + 3*s + 3*l = 240. Does 14 divide s?
True
Suppose 0 = 12*n - 7*n - 18775. Suppose 2*b - 1514 = -c - 3*c, 5*b - 5*c = n. Is b a multiple of 10?
False
Suppose 5*i = -3*l + 14865, -44*i + 40*i + 4*l = -11892. Is i a multiple of 52?
False
Let q(a) = -a**2 + 13*a + 39. Let y be q(17). Let b = y - -113. Is 14 a factor of b?
True
Suppose -b + 652 = 2*l, l - 4*b - 316 = -2*b. Suppose -4*w + l = -w. Does 7 divide w?
False
Let t(n) = -2*n**3 + 4*n**2 + n + 4. Suppose 3*v - 24 = 11*v. Let q be t(v). Suppose 4*o + 0*g - 257 = 5*g, -2*o + q = 5*g. Is o a multiple of 11?
False
Let s(i) = -i**3 + 14*i**2 + 20*i - 51. Let j be s(15). Let v be (-4)/(-4 + j/9). Suppose -2*d + 2*g - 76 = -4*d, 4*d = v*g + 187. Does 2 divide d?
False
Let h be ((-12544)/(-320))/(2/5). Suppose 10 = 5*u, 6*u + 208 = 4*w + 2*u. Let g = w + h. Does 26 divide g?
False
Suppose 3*a = 3*d + 8499, 5676 = -1251*a + 1253*a - 4*d. Is 16 a factor of a?
False
Let y = 45 - 41. Suppose 0 = -w - 2*w - y*c - 140, 276 = -5*w + 4*c. Let u = 73 + w. Does 3 divide u?
True
Let n be (-16)/(-3) - -1 - (-8)/12. Does 10 divide (65/35)/(-13) - (-211)/n?
True
Let u = -356 + 361. Suppose u*k + 3*c - 1535 = 290, -4*k - 3*c + 1460 = 0. Does 7 divide k?
False
Let n = 69 + -64. Suppose -4*x = -5*y - 16, -10 = -5*y - n*x + 10. Suppose y = 2*u - c - 129, c - 6*c = -4*u + 261. Is u a multiple of 8?
True
Let q be (124/(-18))/(-2) - (-132)/(-297). Suppose 2*l + 3*l = q*z - 308, z = -l + 92. Does 20 divide z?
False
Let y(g) = 8*g**2 - 16*g - 147. Let p(f) = 16*f**2 - 30*f - 297. Let i(a) = -3*p(a) + 7*y(a). Does 15 divide i(-6)?
False
Suppose -4*w - 11157 = -5*x, 164*w - 12 = 168*w. Is 21 a factor of x?
False
Let o(u) = u**2 - u + 19. Let a be o(7). Let g = a + -61. Suppose -14*m + 16*m - 4*f = 86, g = 4*m + 5*f - 107. Is 3 a factor of m?
True
Suppose -10 = 7*d + 130. Let i be ((-685)/d)/(2/(-8)). Let y = i + 204. Is y a multiple of 33?
False
Suppose 0 = -6*r + 19*r - 832. Is 5 a factor of ((-226)/4)/(-4*2/r)?
False
Does 12 divide -9 + 33/22 + (-22575)/(-14)?
False
Suppose 52 = -3*y + 5*y. Suppose -4*k + y = 10. Suppose 0 = -5*v - k*h + 2*h + 135, 0 = -4*v + 4*h + 108. Is 9 a factor of v?
True
Let j = -66 - -50. Let f = j - -21. Suppose -5*t = f*y - 455, 0 = -6*y + y + t + 431. Does 7 divide y?
False
Suppose 0*t + 5*d + 3550 = 2*t, t - 1775 = 4*d. Does 25 divide t?
True
Let a be (5 + -15 - -10) + 16 + -1. Is 67 a factor of -447*1*(1 - 20/a)?
False
Suppose 33 - 37 = 4*r. Is 49 a factor of 442/(21/(-9) + r)*-5?
False
Let q(y) = -3*y + 14. Let g be q(-14). Let d = 31 - g. Is 9 a factor of 128/10 - (-20)/d?
False
Let r = 3258 + -2291. Does 17 divide r?
False
Let h = 3534 + -3062. Is 8 a factor of h?
True
Let r(w) = 4*w - 72. Let u be r(19). Suppose 2*g + 2*y + y - 275 = 0, -670 = -5*g - u*y. Is g a multiple of 5?
True
Is 12 a factor of 12/24*-10 + 3789?
False
Let j(s) = -3*s + 11. Suppose -4*z = -2*u + 34 - 10, -z = -4*u + 13. Let x be (-1)/6 + u/12. Does 3 divide j(x)?
False
Does 64 divide -10685*8*8/(-64)?
False
Let v(f) = -69*f - 25. Let z(m) = 137*m + 50. Let w(i) = 5*v(i) + 2*z(i). Let h be w(-6). Let s = h - 278. Is 41 a factor of s?
True
Suppose g - 106 = -2*c, -5*g - c + 661 = 140. Suppose -b = 2*v - 37 - g, 0 = -v + 2*b + 63. Suppose 6*p - v - 99 = 0. Is 14 a factor of p?
True
Let q(z) = 6*z**3 - 4*z**2 - 29*z + 2. Is q(6) a multiple of 20?
True
Is 20 a factor of (-625464)/(-396) + 6/11?
True
Let x(d) = d**2 + 14*d - 50. Let k be x(-17). Is 8 a factor of (60 - 80)/(k*(-4)/2)?
False
Let t be (-67)/(-13) + 10/(-65). Suppose 5*q - c + 714 = 10*q, -t*q = -3*c - 718. Is q a multiple of 18?
False
Suppose 29315 = 8*k - 30125. Is 137 a factor of k?
False
Let d(r) = -3*r**3 - 7*r**2 - 2*r + 4. Let w be d(-2). Let n = 12 + -5. Is 2 a factor of (w/n)/((-13)/(-91))?
True
Let q = 0 - -5. Let s(t) = -t**3 + 6*t**2 - 5*t + 2. Let y be s(q). Suppose -2*i - 4*j + 0*j = -146, 3*j = -y*i + 141. Is i a multiple of 17?
False
Suppose 0 = -2*n - 6, 5420 + 15871 = 2*a - 5*n. Is 197 a factor of a?
True
Suppose 4*k = 3*z + 79, -5*z - 41 = -2*k + k. Let j be (k/4)/12*6 + 13. Suppose j*h - 11*h = 240. Is h a multiple of 15?
True
Let g(h) = 2*h - 43. Let j be g(24). Suppose 3*m = -5*a + 437, -405 = -j*a + 3*m + 2*m. Does 6 divide a?
False
Let q(y) = y - 8. Suppose -7*i - 54 = -4*o - 5*i, 0 = o + 5*i - 19. Let t be q(o). Suppose 0 = -t*k + 2*k + 84. Does 14 divide k?
False
Let a(f) be the first derivative of 2*f**3/3 - 35*f**2/2 + 235*f + 35. Does 11 divide a(27)?
True
Let b be ((-30)/20*116)/(6/(-20)). Suppose b = 8*q - 124. Does 44 divide q?
True
Suppose 3*a - 1023*b - 94422 = -1026*b, 4*a - b = 125896. Is a a multiple of 258?
False
Suppose 5*o + f = 52504, o + 47*f - 49*f = 10492. Does 35 divide o?
True
Suppose 5*t - 3*b = 231, t - 54 = -b - b. Suppose -40 - 94 = -4*w - 3*r, -3*w + 106 = 5*r. Is 4 a factor of 52/3*t/w?
False
Let a be 6/(-8)*((7 - 14) + 115). Does 19 divide (3/(-2))/(a/21330)?
False
Let y(n) = 12*n + 7. Let z be y(7). Let w(k) = k**2 - 15*k + 124. Let d be w(0). Let g = d - z. Does 4 divide g?
False
Does 51 divide (2*(-5)/(-10))/(-3) + 720168/18?
False
Suppose -4*t + 0*n + 8155 = 3*n, -5*n = -2*t + 4097. Does 13 divide t?
True
Let x = -123 + 127. Let l(i) = i**2 - 8*i + 3. Let g be l(8). Suppose -334 = -x*k + 2*p, 2*p + 3 = g*p. Is k a multiple of 12?
False
Let v = 451 + -420. Suppose -29*p = -v*p + 264. Is 4 a factor of p?
True
Let v(a) = -a**3 - 38*a**2 + 24*a + 4. Let b(f) = -13*f**2 + 8*f + 1. Let x(q) = -7*b(q) + 2*v(q). Does 10 divide x(6)?
False
Let b = 9036 - 7026. Is b a multiple of 10?
True
Suppose -7*v - 68742 = -163313 - 107659. Is v a multiple of 30?
True
Let z = -1042 - -620. Suppose -37*p - 4*t - 2452 = -41*p, 3*p = -2*t + 1824. Let x = p + z. Does 13 divide x?
False
Let v(k) = -21*k**3 - 8*k**2 + 3*k - 15. Does 101 divide v(-8)?
True
Let c(l) be the first derivative of -l**3/3 - 11*l - 26. Let t be c(-3). Is 2 a factor of 4 + -7 - (-2 + t)?
False
Let h(f) = f**3 - 9*f**2 + 18*f - 6. Let i be (-1)/((-16)/14 - -1). Does 11 divide h(i)?
True
Suppose -16*u + 3*k + 3798 = -11*u, 3*u - 4*k = 2281. Is 25 a factor of u?
False
Suppose -3*n = 5*x - 195, 12 = -3*x + 2*n + 129. Let t(o) = 4*o - 93. Is 3 a factor of t(x)?
True
Let b = 480 + -477. Suppose -6*t + 3*s = -b*t - 1125, 0 = -2*s - 8. Is 53 a factor of t?
True
Suppose 0 = -12*p + 21*p - 18. Let m(b) = -b**3 + 3*b**2 - b. Let k be m(p). Suppose 2*i - 6*y + k*y = 278, -5*i + 659 = -y. Is i a multiple of 14?
False
Let m = 5368 + 2152. Does 32 divide m?
True
Let d be (68/16 - 4)*(-1 + 21). Suppose d*f - 12 = -f. Suppose 57 = f*n + n. Is 2 a factor of n?
False
Is (26 + -11)*(-3532)/(-12) a multiple of 62?
False
Let y be -1 + 0 - (8 - 12). Let q be y + -7 - -1 - -27. Suppose 3*v = q + 90. Is 28 a factor of v?
False
Suppose -1946200 = -331*o - 120*o + 81*o. Does 4 divide o?
True
Suppose 58