h. Does 10 divide (-1)/((1 + 2)/c)?
False
Let b be -1*((2 - 7) + 0). Let f(p) = 12*p - 18. Is 7 a factor of f(b)?
True
Suppose 178 - 2543 = -5*f. Is 11 a factor of f?
True
Let p(g) = -g**3 - 7*g**2 - 7*g - 6. Let u be 26/(-4) - (-3)/6. Let x be p(u). Suppose -5*c + 5*m + 230 = 0, -c - c + m + 94 = x. Is c a multiple of 12?
True
Suppose -3*p = -15, 3*y + 20*p - 854 = 22*p. Is y a multiple of 9?
True
Suppose 2*u - 5*g = 5*u - 2612, 2*g = 4*u - 3526. Is u a multiple of 20?
False
Suppose 9202 = 9*h + 1885. Is 13 a factor of h?
False
Let w(k) = -k**2 + 18*k + 15. Let i = -7 + 9. Suppose 75 = 3*u + i*u. Does 20 divide w(u)?
True
Suppose -10*o + 5*o = 285. Let j = 238 + o. Is j a multiple of 18?
False
Suppose 3*r = -r + 712. Let t = -64 - -166. Let j = r - t. Is j a multiple of 23?
False
Let w(g) = -14*g - 15. Let p = 2 + -6. Is w(p) a multiple of 4?
False
Let s = 29 - 34. Does 5 divide 1*-1 - (-35 + 4 + s)?
True
Let z be ((-27)/(-18))/((-6)/16). Let q be (-15)/(-2)*z/(-6). Suppose -3*i + 56 = q. Does 17 divide i?
True
Suppose -10*j + 8*j - h = -619, 2*h + 10 = 0. Is 52 a factor of j?
True
Suppose 56*s - 60010 = -7706. Is 53 a factor of s?
False
Let k(y) = -4 + 8*y + 2 - 17*y. Does 14 divide k(-8)?
True
Let z(b) = -b**3 + 27*b**2 + 40*b - 149. Is z(20) a multiple of 17?
True
Let v(d) = 9*d + 222. Does 9 divide v(-19)?
False
Suppose y + 17 - 23 = 0. Suppose y*n - 11*n + 15 = 0. Is n even?
False
Suppose -4*x = 12, v - 14*x + 10*x = 89. Does 7 divide v?
True
Let v = -661 + 2811. Is 7 a factor of v?
False
Suppose 1648 = 3*f - 5*o, 4*o = 3*f - 183 - 1463. Is f a multiple of 13?
True
Suppose 5*p + 3*t = -9, -p = -2*p - 4*t + 5. Let f be 1*(p/(-3) + 1). Suppose f + 4 = r. Is r even?
True
Let l = -1139 - -1447. Is l a multiple of 11?
True
Let m be (-13)/(-52) + (-223)/(-4). Suppose i + 64 = -3*i. Let n = i + m. Is 20 a factor of n?
True
Suppose 4 + 2 = n. Suppose n*h = 2*h + 24. Is h a multiple of 2?
True
Suppose -10 = 5*w - 3*w. Let d(a) = -11*a - 2. Let n(x) = -13*x - 3. Let o(u) = 6*d(u) - 5*n(u). Is o(w) a multiple of 8?
True
Let k = -398 - -822. Let j = k + -245. Suppose -121 = -4*q + j. Is 18 a factor of q?
False
Let y be 7*(-3)/(-1) - 0/2. Is 16425/63 - (2 + (-48)/y) a multiple of 29?
True
Suppose -4*b - 5*l = -6368, -156*b + 157*b - 3*l = 1609. Is b a multiple of 23?
False
Let u = -233 - -567. Suppose 46 - u = -3*c. Is 10 a factor of c?
False
Is 44 a factor of (-8)/2*143/26*-62?
True
Let x be 5/(-3)*-1*3. Suppose -3*b + 36 = -b + 3*h, -x*h - 52 = -2*b. Suppose -5*g - b + 211 = 0. Does 12 divide g?
False
Suppose 5*a + 18 = 6*a - 2*w, 4*w + 52 = 4*a. Suppose 0 = a*h - 5*h. Suppose h = -2*i + 7*i - 285. Does 19 divide i?
True
Let x = -64 - -52. Let m = 30 + x. Is 8 a factor of m?
False
Let t = 21 + -10. Let k = 9 - t. Let n = k + 7. Does 4 divide n?
False
Let k = 346 + -106. Suppose 3*x = -2*x + k. Let y = 80 - x. Does 16 divide y?
True
Let b be 11 + (6 + -4 - 2). Suppose 30 = -b*a + 6*a. Does 7 divide -1 + 6*(-33)/a?
False
Suppose -4*j - 84 = 5*d - d, 4*j + 60 = -3*d. Let m be (d/14)/(3/(-21)). Suppose m = -2*f + 3*f. Is f a multiple of 12?
True
Let j(h) be the second derivative of -5*h**3/6 - 7*h**2/2 + 6*h. Is j(-7) a multiple of 10?
False
Let u = 6025 + -2340. Is u a multiple of 67?
True
Let y be ((-1)/3)/((-3)/63). Is (1 - -8) + (5 - y) a multiple of 2?
False
Let b(u) = -u**3 - 40*u**2 - 114*u - 7. Does 6 divide b(-37)?
False
Suppose -19*b = 12*b - 5394. Is b a multiple of 4?
False
Suppose -8*x + 2 = -7*x. Suppose x*b - 52 - 72 = -3*a, a = 3*b + 45. Is a a multiple of 42?
True
Let a(y) = -y**2 + 4*y + 2. Let u be a(4). Let q be u/5*(-17 - -2). Let m = q - -36. Is 12 a factor of m?
False
Let v(w) = -65*w - 85. Does 40 divide v(-7)?
False
Suppose -3*z + 1000 = -0*z + 4*f, -f = 5. Suppose -z = -5*h + h. Is 17 a factor of h?
True
Let o(a) = -9*a - 13. Let t = -2 + 2. Suppose t = c - 4*u - 13, -c + 8 = -0*u - 3*u. Does 16 divide o(c)?
False
Let k(z) = -z**3 + 15*z**2 - 14*z + 24. Let m be k(14). Let b = 115 - m. Does 44 divide b?
False
Suppose 16*t = 2*t + 3248. Is 8 a factor of t?
True
Suppose -2*u = -2, 4 - 1 = s - 3*u. Let z be (0 - 1) + s + -2. Is 13 a factor of (-58)/z*(-3)/2?
False
Suppose 3*o - 13 = -4. Suppose o = 2*f - 3, f + 123 = 2*n. Is 13 a factor of n?
False
Let q be (-13 - -19) + 1*3. Suppose -q = 5*l - 24. Is 3 a factor of l?
True
Does 7 divide (2022/10)/3 + 22/(-55)?
False
Let w(d) = -5*d**2 + 10*d - 3. Let a(s) = -11*s**2 + 21*s - 5. Let t(p) = 4*a(p) - 9*w(p). Let y be t(5). Is 6 a factor of y/(-1)*(-87)/6?
False
Suppose 2036 = 10*l - 1484. Let r = l + -196. Is r a multiple of 13?
True
Suppose 4*l + 4*g = 9*l - 7312, l - 1475 = 5*g. Is l a multiple of 9?
False
Suppose 2*y - 4*j = 44, -3*j = 5*y + j - 82. Suppose -a + 4*a - y = 0. Does 16 divide (2 - -6)*(a + 0)?
True
Suppose 12 = 2*y - 0*t - t, 2*y - 2*t - 16 = 0. Let a(v) = v. Let f(z) = -3*z - 3. Let w(c) = 9*a(c) + f(c). Does 21 divide w(y)?
True
Suppose -2*g + 4 + 68 = 0. Suppose 4*q = -4*u + g, 4*q + 9 = 2*u + 3*u. Suppose 39 = -2*m + u*m. Is m a multiple of 11?
False
Let u(p) = -21*p - 1. Let l = -48 + 42. Is 18 a factor of u(l)?
False
Let t(s) = -3 + 6*s + 12 + 5*s**2 - 4. Is t(-5) a multiple of 20?
True
Suppose 3*l + 3*f = f + 7, 4*l = 4*f + 16. Suppose 0*k = 2*y + l*k - 126, -5*k + 305 = 5*y. Suppose -2*z = -3*z + y. Is 12 a factor of z?
False
Suppose -n + z - 10 = -0*z, 0 = 2*n + 4*z - 10. Let g be 2/(3 + 13/n). Suppose 2*f - 3*j - 29 = 0, -g*f + 0*j + 2*j = -67. Is 13 a factor of f?
True
Let k(t) = -t**3 + 4*t**2 - 2*t. Let b be k(2). Suppose -25 = -b*p - 101. Let n = -4 - p. Is n a multiple of 9?
False
Let k(w) be the first derivative of -7*w**3/3 - 2*w**2 - 11*w + 13. Let u(v) = 3*v**2 + 2*v + 6. Let s(r) = -4*k(r) - 9*u(r). Is 12 a factor of s(8)?
False
Does 38 divide (-4004)/(-5) + 58/290?
False
Does 22 divide -32*7/(-28) + 1146?
False
Let b be -4 - -1 - 3/(6/752). Let v = b + 600. Does 13 divide v?
True
Let a be (-12)/(-54) - 1670/(-18). Let u = a - 84. Is 9 a factor of u?
True
Let f(j) = -j**3 + 2*j - 8. Does 14 divide f(-6)?
True
Let s(p) = 5*p**2 - 9*p - 14. Is s(5) a multiple of 22?
True
Let m(p) = -8*p**3 + 2*p**2 - 2*p - 9. Let f(k) = 17*k**3 - 4*k**2 + 5*k + 19. Let q(x) = 6*f(x) + 13*m(x). Let a be q(4). Let i = -23 - a. Does 19 divide i?
False
Let b(a) = a**2 - 5*a + 1. Let u be b(6). Suppose 0 = k - 4, -4*d + 5*k - u = 173. Let t = d + 85. Is t a multiple of 11?
False
Let p(i) = -9*i - 7 + 40*i**3 - 6*i**2 - 41*i**3 + 22*i**2 - 5*i + 3*i. Let n be (-2)/(-8) - 118/(-8). Does 14 divide p(n)?
False
Suppose 17*v - 19*v + 52 = 0. Is 16 a factor of (-1 + 2)*95 + (v - 28)?
False
Suppose 9*k - 4*k = -2*r + 1070, -2*r + 5*k + 1090 = 0. Is r a multiple of 45?
True
Suppose 0 = 7*w + 6*w - 1027. Is 18 a factor of w?
False
Let q(l) = -3*l**3 - 3*l**3 - 10 - 2*l - 3*l - l**2 + 4*l**3. Let j be q(6). Does 4 divide j/(-18) - 20/90?
True
Let b(f) = -f**3 + 4*f**2. Let r be b(4). Suppose r = -w + 14 + 138. Is 9 a factor of w?
False
Let l(t) = 129*t**3 + 16*t - 30. Is l(2) a multiple of 47?
True
Let h(q) = q**2 - 3*q - 2. Suppose -3*i + x = 1, 6 = 3*x + 21. Is 4 a factor of h(i)?
True
Suppose 2*n + 1 = 3*n. Let x = n + 0. Does 7 divide (-144)/(-5) + x/5?
False
Let f = 1 - -2. Suppose 0 = -f*t + l + l + 21, 4*l - 21 = -t. Let m = t + -3. Does 3 divide m?
True
Suppose 4*d = -5*b + 35, 0 = -3*b + d + 3*d - 11. Suppose -3*u + 24 + b = 0. Is u a multiple of 3?
True
Suppose -6*i = -2*i - 580. Suppose -5*u - 40 = -i. Is u a multiple of 4?
False
Let m(f) = 145*f - 1. Suppose -2*a - 2 = -4*a. Let t be m(a). Suppose -2*z - 4*g + 76 = 0, 5*z - 13 - t = g. Does 8 divide z?
True
Let u be 1/4 + (-146)/8. Let a be (u/15 - -2)*-5. Does 13 divide (-26)/((-2)/a*-1)?
True
Let a(f) = 57*f**2 - f + 1. Let d be 2 - (-6)/(-2) - 15. Let i = -15 - d. Is a(i) a multiple of 28?
False
Let r(j) = -j**3 + 7*j**2 + 138*j + 5. Does 7 divide r(15)?
False
Does 7 divide 1114/4 + (-1)/(2 - 0)?
False
Let q be 2/4 + (-1)/2. Suppose -12 = -n - q*n + 4*a, -a = -3*n + 3. Suppose 0 = 2*k - 5*s + 37 - 102, k - 5*s - 20 = n. Does 15 divide k?
True
Let v(d) = d**3 - 5*d**2 - 2*d + 4. Is v(6) a multiple of 7?
True
Does 28 divide (-8 - (4 - 7)) + -8 + 421?
False
Let b = 3122 - 1464. Is 41 a factor of b?
False
Let v = 5