?
True
Let z be 12*-1*75/(-50). Suppose 50 = 5*g + 5*i, 5*g + 3*i - z = 38. Is 2758/g + -1 - 34/221 a multiple of 34?
False
Let m = -21 + 24. Suppose -3*z + 6*c + 155 = c, 0 = -2*z + m*c + 105. Does 8 divide 160/(-6)*z/(-25)?
True
Suppose 5*a - 12 = 58. Suppose 0 = 19*h - a*h. Suppose 3*m + 3 - 27 = h. Is 8 a factor of m?
True
Suppose 5 - 17 = -6*q. Suppose -698 = -4*r + 5*k, -r + q*k + 173 = -0*r. Let n = r - 37. Is 20 a factor of n?
True
Suppose 13*c + 2463 = -4258. Let i = c + 952. Is i a multiple of 80?
False
Let p(m) = m**3 + 6*m**2 + 3. Let f be p(-6). Suppose 3*s = -f*s - 324. Let w = 6 - s. Is 5 a factor of w?
True
Suppose -3*g = 2*g. Suppose 20 = o + 2*o - 5*m, -5*o - 2*m - 8 = g. Is 8 a factor of -6 - -3 - (-59 - o)?
True
Let u(c) = -3*c**2 - 3*c + 16. Let g be u(-11). Let i = g - -458. Is 36 a factor of i?
True
Suppose -3*x = -3*g - 3, -5*x + 3*g + 17 = g. Suppose -4*z - x*y = -4*y - 478, -2*z + 4*y = -248. Does 18 divide z?
False
Suppose 4*q - 4*d - 10 = -2, 8 = -2*d. Let i be (-5)/(q + 4 + -1). Is 14 a factor of i/(35/(-14)) - (-13 - -1)?
True
Let l = 33788 + -23206. Does 37 divide l?
True
Let k(s) = 762*s**3 + 5*s - 5. Let v be k(1). Suppose 5*g - v = 2*p - 216, -123 = -g + 5*p. Is g a multiple of 12?
True
Suppose -4*u - 2*d - 23 = -463, -3*d + 552 = 5*u. Let s = u - 102. Suppose -s*g + 7*g = 58. Does 8 divide g?
False
Let x = 83 + -72. Let y be 16/(-88) + -1 + 13/x. Is y + 32 + 0 + 1 a multiple of 4?
False
Suppose 3*s = 0, -s - 5578 = 5*x - 20628. Is 34 a factor of x?
False
Suppose 290*k = 277*k + 3588. Is k a multiple of 23?
True
Suppose j = t - 3 + 5, -3*j - 4*t = 29. Let q be -61 + 8 + (j/(-1) - 1). Does 11 divide q/(-1) + (-5 - (-5 + 0))?
False
Suppose -2*c - 610 = -4*g + c, 161 = g - 5*c. Let x = g + -552. Does 7 divide 4 - 85/20 - x/4?
False
Let z(y) = -5*y - 13 - 5*y + 3*y + 3. Let f be z(-2). Suppose 5*b = -5*m + 480, -384 = -f*b - 0*b - 5*m. Is b a multiple of 6?
True
Let i = -147 + 192. Does 67 divide (220/i)/((-2)/3)*-39?
False
Suppose -2*p - 4 = 12. Let b be 1 + -9 + (-4 - -6). Is p/12*b - -119 a multiple of 21?
False
Let y(r) = -r**2 - 23*r + 52. Let z be y(-25). Is 8 a factor of -52*-1*(z + -1)?
False
Let x = -312 - -610. Suppose -3*l - 4*a = -x, a + 121 = l + 24. Is 14 a factor of l?
True
Let w = -176 + 184. Suppose w*x = -56 + 2152. Is 44 a factor of x?
False
Suppose -2*b = -0*b - 10. Let m = -11 - -19. Does 13 divide m/b*(-130)/(-4)?
True
Let f(a) = 2*a**3 - 3 - 6*a - 27*a**2 - 8 + 22*a**2 + 4. Is 19 a factor of f(6)?
True
Suppose 5*h = -5*z + 55, 5*h + 8*z - 7*z - 39 = 0. Suppose h*k - 441 = 462. Let r = k + -48. Is 27 a factor of r?
True
Let o = -576 - -575. Does 11 divide (3 + o)/((-4)/(-154))?
True
Does 13 divide 36894*(-8)/(-120)*45/6?
True
Is 17091/(-6)*34/(-17) a multiple of 55?
False
Let r = -749 + 8940. Is 66 a factor of r?
False
Suppose 2*i + 254 = -4*o + 886, 0 = 5*o + 2*i - 788. Suppose o*q + 340 = 161*q. Let g = 96 - q. Is g a multiple of 7?
True
Let q(r) = -604*r**3 - 5*r**2 - 7*r - 3. Does 11 divide q(-1)?
False
Let j(g) = -24*g**3 - 8*g**2 - 108*g - 2. Does 122 divide j(-10)?
True
Let h(a) = 4*a**2 - 15*a + 1. Let z be h(5). Let d(b) = -2*b + 68 - 28 - z. Does 4 divide d(-5)?
True
Suppose 4*y - 60 = -11*y. Suppose -2*m - g = 19, 3*m = -y*g + 2*g - 31. Does 31 divide m/(42/4)*465/(-5)?
True
Let w = -4867 - -8347. Is w a multiple of 24?
True
Let p = -42352 + 69775. Is p a multiple of 277?
True
Suppose 15366 = 2*u - 4*q, q = -2*u + 6047 + 9299. Does 165 divide u?
False
Suppose 5*v = 1808 + 3712. Is v a multiple of 24?
True
Suppose 0*t - 44*t - 19*t = -203742. Is 49 a factor of t?
True
Let d be (8/(-6))/(12/(-36)). Suppose m + 7 = -r - 7, -8 = -d*r. Is 4 a factor of (204/m)/(9/(-12))?
False
Suppose 7*b + 8*b = 4275. Suppose 4*o = 14*z - 9*z - 1413, -z = -2*o - b. Does 69 divide z?
False
Suppose 127 = 4*t - 257. Suppose -q - 2*p - 3 = 0, 8*q + 9 = 7*q - 4*p. Suppose q*w - t = w. Does 12 divide w?
True
Let q(f) = -f**3 + 41*f**2 - 212*f + 414. Does 24 divide q(27)?
True
Let k be (1/(-2))/(6/1428). Is (k/68)/((-2)/664) a multiple of 17?
False
Let f = 1278 + -433. Suppose 25*z + f = 30*z. Does 13 divide z?
True
Let a be 1544/12 + 0 - (-1)/3. Suppose a - 377 = -c. Does 8 divide c?
True
Let p be 11/33 + (-20)/(-12). Let u(s) = 45*s - 34. Is 15 a factor of u(p)?
False
Let d be -1*(24/(-9))/((-2)/6). Let u = -55 + d. Is (-2)/9 + (-3290)/u a multiple of 19?
False
Suppose -21*j + 2*f = -349276, -6*f - 49906 = -3*j - f. Is 77 a factor of j?
True
Suppose 3046 = -55*l + 13165 + 20681. Does 7 divide l?
True
Let c be (-30 + 9)*(-6)/7. Let y(r) = 57*r - 14*r - c*r - 20*r. Is y(25) a multiple of 25?
True
Let s be (-5)/(-2)*8*(-4 - -2). Does 32 divide (23 - 3)/(75/s + 2)?
True
Suppose 1359*i = v + 1361*i - 5702, -4*v = 3*i - 22793. Does 8 divide v?
True
Let f(s) = 4*s**3 - 26*s**2 + 32*s - 82. Let c(x) = -5*x**3 + 27*x**2 - 29*x + 81. Let j(y) = -3*c(y) - 4*f(y). Is 17 a factor of j(14)?
True
Let y(m) = 10*m**3 + 62*m**2 - 19*m - 75. Does 16 divide y(11)?
True
Let m(j) = 0 + 11 + 3*j**2 + 9*j**2 - 14*j - 8*j**3 + 9*j**3. Let w be m(-11). Let z = -193 + w. Is 7 a factor of z?
False
Let m(n) = 20*n + 14. Let w be 5/2*-4 + (51 - 48). Let j be m(w). Is 6 a factor of j/147*(-36 - 1/(-1))?
True
Let t = -55 + 60. Let b be (-60 - -1)/(t/(-5)). Let i = 203 - b. Is i a multiple of 18?
True
Let h(c) = 273*c - 20. Let m(v) = 4368*v - 321. Let q(r) = -33*h(r) + 2*m(r). Let l be q(-6). Suppose l = z + 11*z. Is z a multiple of 46?
True
Does 14 divide (-380900)/(-25) + -8 + 17?
False
Let t = 804 + -303. Suppose m - t = -222. Is m a multiple of 14?
False
Suppose -4*n = -0*n - 5*x - 12179, 5*n - 15235 = 4*x. Is n a multiple of 73?
False
Suppose 2*i - j + 0*j - 24 = 0, -5*j = -3*i + 29. Suppose -90 = -i*d + 4*d. Suppose -198 + 1288 = d*n. Does 51 divide n?
False
Let a = -19430 - -53271. Is a a multiple of 163?
False
Let n = 270 + 50. Let o = n + -20. Is 6 a factor of o?
True
Let k = 265 - 691. Let c = 637 + k. Is 9 a factor of c?
False
Suppose 0 = -152*q + 134*q + 6786. Let r = q + -331. Is r a multiple of 3?
False
Let c(k) = 5*k**2 + 2*k - 16. Is 3 a factor of c(-7)?
False
Let t be 0 + 0*(3 + (-5)/2). Let g be t/((1 - 4)/3). Let n = 14 + g. Does 11 divide n?
False
Suppose 0 = u - 3, 264*h = 268*h + 4*u - 8812. Is 20 a factor of h?
True
Suppose 4*h = -3*r - 7, -3*r - 13 = h - 0*h. Suppose 0 = h*l - 2*n - 30, -4*l + 55 = -l - 5*n. Suppose l*q = 9*q + 64. Is q a multiple of 12?
False
Let f(c) = 2*c**2 - 23*c + 21. Suppose -24 = -4*a - 2*n + 24, 5*n = 4*a - 76. Is f(a) a multiple of 25?
False
Suppose -119*k = 23*k - 274770. Is 10 a factor of k?
False
Let z(u) = -760*u - 4375. Is 31 a factor of z(-8)?
True
Is (6/(-4))/((-27)/324)*1887/6 a multiple of 37?
True
Suppose -8*l = 3*d - 5*l - 95268, -d = -3*l - 31764. Is 110 a factor of d?
False
Let y(w) = w**3 - 42*w**2 - 42*w + 1. Let z be y(43). Is 13 a factor of (-78)/(-4)*z/33?
True
Suppose 2*g = -2*g. Suppose -4*w + 9*w - 590 = g. Let r = w - 80. Is r a multiple of 38?
True
Let d(z) = 75*z + 20. Let l be d(6). Suppose -76 = -7*n + l. Let f = n + 66. Is 18 a factor of f?
True
Let h be 7/(-4)*(21/(-3) + 3). Let g(b) = -b**3 + 7*b**2 - 4*b + 8. Let l be g(h). Is 2 a factor of (15/l)/(4/(-96))?
True
Suppose 4*z - 2*r = -r + 128, -4*z - r = -120. Suppose 9*y - s = 10*y - 25, -y - 3*s = -z. Is 33 a factor of (y/(-8))/((-2)/88)?
False
Let b be (-10)/15 - (-980)/3. Suppose 5*v = b + 24. Is 3 a factor of v?
False
Suppose -16*n = -17*n + 1. Let t = -50 + n. Let k = 96 + t. Is 6 a factor of k?
False
Suppose 5*w = -x + 10650, -w + 3*x - 7*x + 2130 = 0. Is w a multiple of 18?
False
Let d = -63 + 65. Suppose 4*q = -5*i + 69, -q + 14 = -d*q + 5*i. Let u(v) = -v**3 + 10*v**2 + 11*v + 29. Does 4 divide u(q)?
False
Let b be (448/40 - 7) + 2/(-10). Let w(u) = -u**3 + 6*u**2 - 5*u + 5. Let q be w(5). Suppose 5*j = -q*c + 940, -720 = -4*c - 0*c + b*j. Is c a multiple of 24?
False
Suppose 22*x - 13 = 24*x + 5*t, 5 = -x - t. Does 23 divide 23*2*(-4)/8*x?
True
Suppose 45*x - 4 = 47*x. Is 6 a factor of (-2 + (-2)/(-4))*x - -57?
True
Suppose -25*t + 48*t - 33056 + 5341 = 0. Does 5 divide t?
True
Let z(m) be the second derivative of -m**4/12 + 7*m**3/6 + 206*m**2 - 3*m - 2. Is 23 a factor of z(0)?
False
Let m(w) 