rue
Let x be -30*(1 + 4/(-3)). Suppose -2*p - 4*f + 6 = 0, 2*p + f = 6*f - 3. Let d = x + p. Is 6 a factor of d?
False
Let n be (-2 + (-3 - -5))/1. Let j = n - -18. Does 9 divide j?
True
Let p = -5 - -10. Suppose -p*w - 3*a + 28 = 0, -5*w + 4*a = -57 + 1. Suppose -s + 14 = 4*m - w, 3*m = 6. Is s a multiple of 7?
True
Let b be (1 + -4)/(-3) + 2. Suppose -3*f - 3 = -2*z, b*f - 5*f = -2. Suppose 5*k = -3*t + 8, 7*t - 3*k - 30 = z*t. Does 6 divide t?
True
Let n be (-1)/(-2 + 3) - 1. Let r be (n/4)/((-1)/(-2)). Does 7 divide 7/r*(-4)/2?
True
Let o = 136 - 57. Let y = -40 + o. Is (-2)/(((-6)/y)/1) a multiple of 10?
False
Let d(h) = -1 + h - h - 2*h + 9*h. Does 6 divide d(1)?
True
Let a be ((-3)/2 - 1)*2. Is 19 a factor of (1*-1)/(a/190)?
True
Let s(o) = -4*o - 1. Let l be s(-1). Suppose -36 = -7*t + l*t. Is t a multiple of 3?
True
Suppose 3*q + 2 = q. Let n = q + -1. Does 6 divide -1*3*(-4 - n)?
True
Let j = 16 + 15. Let a = j + -20. Is a a multiple of 11?
True
Let g(o) = -o - 1. Let x be g(-3). Suppose -3*s + 4*d = -s - 28, -2*s = 3*d + 7. Suppose -32 = -4*j + x*v + v, s*v = -j - 11. Is j a multiple of 2?
False
Is (-5 - -4)/(55/(-18) - -3) a multiple of 10?
False
Suppose 5*c + 2*m - 149 - 271 = 0, 2*m - 256 = -3*c. Suppose -4*w - 5*l = -161, -3*l - 71 = -4*w + c. Does 8 divide w?
False
Let v = 45 + -27. Suppose -v - 60 = -k. Is 23 a factor of k?
False
Suppose -17*g + 447 = -14*g. Is 9 a factor of g?
False
Suppose -3*q - 2*q = -5. Let m(c) = 9*c**3 - c + 1. Let n be m(q). Does 22 divide 113/2 - n/6?
False
Let b be 20/11 + 24/132. Suppose 7*a = b*t + 2*a - 140, -4*t + 280 = -4*a. Is 18 a factor of t?
False
Suppose 0 = 3*i - 6*i + 2*t + 28, i + 19 = -5*t. Suppose 2*m + i - 60 = 0. Is m a multiple of 13?
False
Does 5 divide 4/(-8) + 33/6?
True
Is 15 a factor of 4675/66 + (-1)/(-6)?
False
Let m = 210 - 130. Is m a multiple of 16?
True
Let i(d) = -d**3 + d**2 - 1. Let y(g) = g**3 - 12*g**2 - 9*g - 2. Let s(v) = -2*i(v) - y(v). Is 3 a factor of s(-9)?
False
Let t(m) be the third derivative of -m**7/2520 - m**6/80 + m**5/60 - m**4/12 + 2*m**2. Let h(r) be the second derivative of t(r). Is h(-4) a multiple of 18?
False
Let p = 198 - 130. Suppose 2 = 2*y - p. Is 9 a factor of y?
False
Let a = -11 + 14. Suppose -4*k - a*l = -11 - 20, -3 = 3*k - 3*l. Suppose 2*t = -2*t + q + 96, -k*t + 72 = 5*q. Is 23 a factor of t?
True
Let c(p) = p + 10. Let a be c(-7). Suppose -a*w - 14 = -4*w. Is w a multiple of 14?
True
Let v = 1 + 20. Is 21 a factor of v?
True
Suppose 0 = -3*p + 22 + 38. Is p a multiple of 12?
False
Suppose 0 = 2*y - 0*y - 4. Let o be (-8)/(-36) + 16/9. Suppose -y*g - 1 = p, 0 = o*p - 5*g - 38 + 4. Does 7 divide p?
True
Suppose m = -5*d + 28, 0*d - 14 = -m + 2*d. Suppose 0 = -m*j + 15*j + 72. Does 13 divide j?
False
Suppose 5*n = -2 - 8. Let p = n + 10. Is 8 a factor of p?
True
Suppose -7 - 151 = -2*p. Is 22 a factor of p?
False
Let z(m) = m**3 + 11*m**2 + 11*m + 12. Let s = 4 - 14. Let h be z(s). Does 5 divide h/(-4) + (-63)/(-6)?
True
Let f = -11 + 16. Suppose 45 + 110 = f*o. Let h = -4 + o. Is h a multiple of 16?
False
Suppose 0 = 3*g + 117 - 717. Is 25 a factor of g?
True
Suppose 18 + 2 = 2*m. Suppose -m - 5 = -3*l, -5*l = -4*b + 223. Does 31 divide b?
True
Is 11 + 9/(0 + 3) a multiple of 12?
False
Let c = 4 + -7. Let m be 2 - c/((-9)/(-3)). Suppose 102 = m*h - 0*h. Is h a multiple of 17?
True
Suppose -45 = -2*q + 47. Let u = 74 - q. Is 7 a factor of u?
True
Suppose 5*n + 4*h = -2, 0 = -3*h - 2*h - 15. Let i(q) = -2*q + q**2 + 24 + n*q. Is i(0) a multiple of 12?
True
Suppose -y - 9 = 3. Let n = 22 - y. Does 23 divide n?
False
Suppose -4*b + v - 712 = -2073, -5*b + 1696 = -3*v. Is 18 a factor of b?
False
Let p = 24 - 8. Does 11 divide (24/p)/(2/44)?
True
Suppose 8 = -2*j, 3*o - 219 = 5*j + 128. Does 9 divide o?
False
Suppose 527 = 6*o - 1093. Is 45 a factor of o?
True
Let s = -71 + 111. Does 8 divide s?
True
Let k = 28 + 20. Is 8 a factor of k?
True
Let j = -70 - -91. Is 3 a factor of j?
True
Let n(p) = 4*p**2 + p - 8. Is 14 a factor of n(4)?
False
Let g(x) = -x**2. Let m be g(-3). Let v(h) = h**3 + 9*h**2 - 5*h - 3. Does 21 divide v(m)?
True
Let h = 0 - 10. Is 20 a factor of ((-4)/h)/(4/920)?
False
Suppose 5 + 19 = 2*t. Suppose 0 = -4*u + 16, 0 = -5*c + 3*c + 5*u - t. Suppose 0 = 4*d - 2*v - 54, -c*d = d + 3*v - 95. Is d a multiple of 8?
True
Let q(p) = -p**2 - 12*p + 7. Is 23 a factor of q(-10)?
False
Let l be 20/6 + 3/(-9). Let p(z) = 7*z**2 + 2*z + 3. Let b be p(l). Suppose -4*o = -0*o - b. Does 9 divide o?
True
Let n = -247 - -370. Suppose -3*j + 106 = 3*t - j, -4*t + j + n = 0. Is t a multiple of 15?
False
Let j(c) = c**2 - 2*c + 1. Let k be j(3). Suppose -u - t + 16 = -5*t, -22 = -k*u + 2*t. Suppose -u*f + 35 = -21. Does 8 divide f?
False
Suppose -3*o + 3*u + 24 = 0, -4*o + 10 = -5*u - 27. Is 8 a factor of 26*(14/4 - o)?
False
Suppose -5*s + 224 + 426 = -2*u, 4*u - 416 = -3*s. Is 6 a factor of s?
True
Suppose 2 - 14 = -2*p. Let a be (-9)/3 + 8*p. Let j = a + 6. Does 17 divide j?
True
Let r(u) = -u**2 + 12*u - 19. Let b be r(8). Let t(x) = x - 4. Is 9 a factor of t(b)?
True
Suppose -3*n + 5*z + 20 = 0, -2*n + 2*z + 4 = -8. Let g(j) = -j**3 + 2*j**2. Let i be g(2). Suppose i = u - n - 7. Is 6 a factor of u?
True
Let p be (3/6)/((-1)/(-10)). Suppose -h = -4*h - 5*r + 84, -5*h = -p*r - 140. Is h a multiple of 14?
True
Suppose -d = -174 - 54. Suppose k + k = d. Suppose -4*i - 38 = -j, -j = -5*j - 3*i + k. Does 17 divide j?
False
Suppose -47*g + 49*g - 338 = 0. Does 13 divide g?
True
Let v = -4 + 6. Suppose -3*o = -2*p - 36, v*o + 0*p - 24 = -p. Does 12 divide o?
True
Let m(r) = r**2 + 9*r - 2. Let n be m(-11). Suppose -n = -3*k + 34. Let w = k + -10. Is 8 a factor of w?
True
Let l(r) = -r**2 + 22*r - 19. Is l(13) a multiple of 19?
False
Suppose 4*z + 17 - 149 = 0. Does 8 divide z?
False
Let n = 10 + -7. Suppose -2*i - 50 = -4*w, -68 = -4*w - 3*i - n. Is 7 a factor of w?
True
Suppose -v - 7 = -2*q - 3, 3*q = 5*v - 1. Let s = q - 3. Suppose 3*r - 33 - 24 = s. Is 10 a factor of r?
False
Let c(m) = -m**2 - 6*m - 1. Let t be c(-5). Let w = 7 + t. Does 5 divide (w + -1 + 1)*1?
False
Let h(p) = 5*p - 16. Let b be h(11). Let i = b - 23. Is i a multiple of 8?
True
Suppose -c - 3*q = -7*q - 7, -5*c + 19 = -4*q. Is (-1)/(c/3) + 48 a multiple of 10?
False
Let s(x) = 3*x - 17. Let g(i) = 2*i - 8. Let h(k) = 5*g(k) - 3*s(k). Let w be h(-6). Suppose -3*y - 2*y + w = 5*q, 3*y = -6. Is 3 a factor of q?
True
Let x(n) = n - 3. Let o be x(4). Let d be o + -4 + 2 - -33. Suppose -d = -3*t - 8. Is t a multiple of 5?
False
Suppose -4*j - 3 - 5 = 0, 2*u + 16 = -2*j. Is 9 a factor of (1 - -5) + u/(-2)?
True
Let a be ((-62)/8)/(1/(-4)). Let x = a - 2. Does 26 divide x?
False
Suppose -5*b + r + 37 = 0, 6 + 18 = 4*b + 2*r. Is b even?
False
Suppose -s = 7 - 4. Is (s - 65)*1/(-2) a multiple of 10?
False
Let j be (6/(-5))/(6/(-15)). Let l be (3 + 0)*1/j. Is (-3)/l + 21 + 2 a multiple of 14?
False
Is 14 a factor of ((-84)/16)/(3/(-8))?
True
Let j = 16 - 29. Let g = j + 47. Is 5 a factor of g?
False
Let l be -1*((-1 - 1) + 1). Let c(a) = -36*a. Let h be c(l). Is ((-1)/2)/(2/h) a multiple of 9?
True
Suppose 5*z + 180 = 11*z. Is 6 a factor of z?
True
Let c be (2/3)/((-8)/(-48)). Suppose c*n - 164 = -4*x, 0*x + 3*n = 2*x - 62. Does 14 divide x?
False
Suppose -5*u - 276 = -4*n, 4*n - 131 - 153 = 3*u. Is n a multiple of 6?
False
Let i(t) = t**2 - t. Let n(g) = -3*g**2 + 2*g - 7. Let x(k) = 6*i(k) + n(k). Is 19 a factor of x(5)?
False
Suppose -16 = 4*o - 0. Let p be (0/3)/(-3)*1. Is 4 a factor of o - (-1 - p) - -14?
False
Let u(d) = d**2 - 19*d - 46. Is u(23) a multiple of 32?
False
Let h be -1*(1 + 0 + -48). Suppose -4*u - 3*y - 6 = 0, 2*u - 4*y - 9 = -1. Suppose u = 3*c - 5*k - h, 21 = c - 0*k + k. Is c a multiple of 8?
False
Does 19 divide ((-8)/(-10))/((-376)/190 - -2)?
True
Let k be (13 + (-3)/3)*1. Suppose o - 3*g = 7, -5*g + 0 = o - 7. Let f = k - o. Is 3 a factor of f?
False
Let b(o) = 39*o**3 - 2*o**2 + 1. Let h(s) = s**3 + 11*s**2 + 11*s + 11. Let f be h(-10). Is b(f) a multiple of 11?
False
Does 15 divide (-1*(-2)/(-6))/(12/(-1908))?
False
Let l = -2 - -5. Suppose 5*u = 2*o + 33, 4*o + 12 - 1 = -u. Suppose -31 = -l*a + u. Is a a multiple of 12?
True
Suppose -3*g + 16 = g -