7?
True
Let m(x) = 3*x**3 - 11*x**2 + 5*x - 18. Let r be m(7). Let g = r - 332. Does 35 divide g?
True
Let a(j) = 2*j**2 - 15*j + 41. Let c be a(13). Does 16 divide (c - -23) + (-1 - -1) + 1?
True
Let j = 2091 - 2011. Does 10 divide j?
True
Let k be (90/27)/(4/(-6)). Let i be (-24)/k*1/((-5)/(-100)). Does 6 divide (i/(-28) - -2)/((-2)/14)?
False
Suppose 0 = 3*d - 4*g + 21, 3*d - 2 = -2*g - 5. Let p be 0/(-3) - (d + (-6 - -1)). Suppose p*n - 1322 = -26. Does 18 divide n?
True
Suppose -12 = -k - 2*k. Suppose -41*x + 294 = -34*x. Is 1*(x - ((2 - k) + -1)) even?
False
Suppose -100*k + 353*k - 8920444 = -189*k. Does 9 divide k?
False
Suppose -c = -3*a + 252 + 242, -a = c + 490. Let r = -304 - c. Is 18 a factor of r?
False
Suppose 5*a = -12*a + 21046. Suppose g - 2*f - a = -51, 2*f = 2*g - 2368. Is 10 a factor of g?
False
Let g(t) = t**3 + 15*t**2 - 8*t - 13. Let i be g(-6). Let w = i + -281. Is 4 a factor of w?
False
Let k(x) = 52*x - 21 + 69*x + 8. Let s be k(7). Suppose -6*b = -12*b + s. Is 10 a factor of b?
False
Let v(f) = f**3 + 6*f**2 + 5*f - 2. Let i be v(-4). Let s be (-126)/(-26) - (-4)/26. Suppose -s*h = -35 + i. Does 5 divide h?
True
Let r = 18 - 69. Let l = r - -55. Suppose -868 = -l*i + 4*o + 88, 0 = 4*o - 20. Is i a multiple of 16?
False
Let v(d) = 8*d - 7. Let a be v(-3). Let u = a + 39. Suppose -u*c = -65 - 47. Is c a multiple of 2?
True
Suppose 29*v = 292*v - 4372763 + 734421. Is v a multiple of 12?
False
Let k = -6094 + 11666. Is 13 a factor of k?
False
Suppose -4*f + 2075 = 5*h, -3*h + 6*f = 3*f - 1218. Let l = h + -96. Is l a multiple of 39?
False
Let x(t) = t**3 + 15*t**2 + 25*t + 61. Suppose -5*r - 41 = 4*i, -2*i + 6*r - 5*r = 31. Let o be x(i). Let u = o + 184. Is 13 a factor of u?
True
Is 974266/34 - 0 - (1860/1054)/(-15) a multiple of 79?
False
Let l(w) = 13*w**3 - 8*w**2 + 3*w - 2. Let q be -1 + 4 - 0/18. Does 32 divide l(q)?
False
Suppose 4*b - 1317 = -c, -245*b = -250*b + 5. Is c a multiple of 31?
False
Suppose 8*l + 5*c = 11*l - 16, 2*l - 4*c = 8. Suppose -7*s + l*s = 10. Suppose -s*z + 4*v = -330, 2*z + v + 163 - 478 = 0. Does 23 divide z?
False
Suppose 5*m + 217 = -3*l, 16*l + 379 = 11*l - 4*m. Let k = l + 81. Suppose -k*i = -s + i + 21, -2*i = -10. Is 3 a factor of s?
True
Suppose -21*h + 53092 = -21710. Is h a multiple of 137?
True
Let a be 1*1*(-10 - -3). Let k(y) = y**3 + 8*y**2 + 9*y + 15. Let m be k(a). Does 4 divide (2 - m)/((-3)/(-81))?
False
Let u be (6/39 - (-462)/39) + 2. Let k(o) = u*o**2 + 16 - 22*o + 37*o + o**2 - 3 - o**3. Does 33 divide k(15)?
False
Let l(h) = h - 1. Let w(z) = -116*z**2 + 8*z + 5. Let n(s) = 5*l(s) - w(s). Let q be n(-3). Suppose -294 = 7*k - q. Is k a multiple of 22?
False
Let g(p) = 3*p**3 - 6*p**2 - 2*p + 26. Let a(l) = -l**3 + 2*l**2 + l - 9. Let f(v) = 8*a(v) + 3*g(v). Let d be f(6). Suppose -3*z = 3*z - d. Is 3 a factor of z?
True
Suppose -r + 4*d + 24 - 8 = 0, -2*r = -5*d - 20. Suppose r = 37*o - 24353 + 4410. Is 12 a factor of o?
False
Let g(v) = -14*v - 66. Let y(c) = 7*c + 33. Let u(f) = 2*g(f) + 5*y(f). Let x be u(7). Let h = x + -52. Is 10 a factor of h?
True
Let q = -1868 - -3265. Suppose 13*z - q - 4739 = 0. Is 13 a factor of z?
False
Let p(i) = -i**3 + 14*i**2 - 3*i - 18. Does 78 divide p(-9)?
True
Suppose 0 = x - 14 + 14. Suppose 5*y - 5*n - 52 = 283, x = 4*y + n - 248. Does 14 divide y?
False
Suppose 74*q = 150515 + 169905. Is q a multiple of 30?
False
Suppose 0 = -4*m - 4*q + 8308, 134*m + q = 137*m - 6215. Does 20 divide m?
False
Let r(n) = -793*n - 6146. Does 11 divide r(-8)?
True
Let j be 15/(-35) + 1473/(-7)*-1. Suppose 12*t - 2*t - j = 0. Is 6 a factor of t?
False
Suppose -5*w = -490 - 560. Suppose 5*z - w = 590. Does 32 divide z?
True
Does 16 divide (5524 - 23)*(3 + -2)?
False
Suppose -100 = 5*j - 215. Suppose -j*c + 5*c + 12888 = 0. Does 59 divide c?
False
Suppose r - 2725 = u, -2*r - 464 = -4*u - 5920. Is 62 a factor of r?
False
Is 44 a factor of ((-3701)/(-3))/((-1)/(-15))?
False
Is ((-38)/171)/(2/(-4266)) a multiple of 10?
False
Let p be 0/(-3) - (-1 - 0 - -6). Is 34 a factor of 86 + (-1 + -2 - p)?
False
Let b(i) = -2*i**3 + 10*i**2 - 4. Let r be b(5). Let v = r + 18. Suppose v*d = 5*d + 648. Is d a multiple of 6?
True
Suppose 2*u + 14 = 5*o + 5, 0 = -2*u + o + 3. Suppose -12 = 10*r - 7*r, -u*r = 5*z - 1223. Is z a multiple of 9?
False
Suppose 0 = 5*t, -2*t = 10*o - 15*o + 16360. Does 25 divide o?
False
Suppose 2*k = 5*t + 7755, 7*t - 11*t - 15540 = -4*k. Does 24 divide k?
False
Let i = 7 - -3. Suppose i*d - 12*d = -1140. Is 15 a factor of d?
True
Let i(c) = 6*c**3 + 3*c**2 - c - 2. Let u(g) = 9*g**3 + 4*g**2 - g - 3. Let j(m) = 7*i(m) - 5*u(m). Let h be j(1). Is 25 a factor of 2 + h - (-125 + (-1)/1)?
True
Let p be ((-117)/91)/((-2)/14). Let i = -131 - -135. Suppose 209 = i*c + p*t - 14*t, -4*c - t + 227 = 0. Does 17 divide c?
False
Let k(p) be the third derivative of 5/6*p**3 + 11*p**2 - 1/6*p**4 + 3/20*p**5 + 0 + 0*p. Is k(2) a multiple of 14?
False
Let r = 376 + -651. Let u = 491 + r. Is u a multiple of 21?
False
Let l(o) = -4*o + 45. Let n be 21/(-18) - 4 - 3/(-18). Is l(n) a multiple of 13?
True
Does 19 divide (-32 - -48) + (1496 - -5)?
False
Let k be -64 + (-5 - -10) + -5. Let c = k - -184. Is 6 a factor of c?
True
Let c(l) = 620*l**2 + 157*l + 318. Is c(-2) a multiple of 18?
True
Let b(o) = o - 10. Let v be b(14). Suppose 0 = 2*f + 3*s - 7, -v*s = 3*f - 4*f - 2. Suppose f*z + z - 156 = 0. Does 26 divide z?
True
Let y(i) = 177*i - 534. Does 90 divide y(10)?
False
Let f = 168 + -166. Suppose f*c = c - 4*m + 889, -2*c - 5*m = -1766. Is c a multiple of 97?
True
Suppose j = v - 579, -14*v - j = -19*v + 2883. Does 8 divide v?
True
Let q(c) = 4*c**2 - 12*c - 230. Let r be q(37). Suppose r = 21*h - 154. Is 10 a factor of h?
False
Let j = 67 + -63. Suppose 22 = j*f - k - 12, -5*f = -k - 43. Let d = 7 + f. Does 2 divide d?
True
Suppose -175 - 698 = -3*q. Let m = q - 261. Is 5 a factor of m?
True
Let u = -130 - -125. Let c = u - -92. Does 33 divide c?
False
Suppose 97*d - 93*d + 2*r - 70498 = 0, 5*r = 5*d - 88070. Is 191 a factor of d?
False
Let j = -25336 - -39896. Is 80 a factor of j?
True
Let n = -2830 - -5457. Is n a multiple of 111?
False
Let n = 65 + -119. Let c = 48 + n. Is (-1 - 0) + 6*(-16)/c a multiple of 9?
False
Let a = -6063 + 9399. Is 6 a factor of a?
True
Suppose 14*c - 9*c - 11171 = 2674. Does 60 divide c?
False
Let n(b) = -5*b - 3. Let y(o) = -o. Let d(p) = -n(p) - 3*y(p). Is d(18) a multiple of 20?
False
Suppose -4*g = 3*v - 20376, -v = -6668*g + 6673*g - 25459. Is g a multiple of 110?
False
Suppose 5*k + 5*r - 60 = 0, 3*k - 20 = 2*r - 9. Is 6 a factor of 552*(k/14)/(1/1)?
True
Let m be 4 + -2 - ((-4)/2 + 369). Let o = -188 - m. Is 27 a factor of o?
False
Suppose -4*h + 492 = -10*h. Let s(q) = -2*q**3 - 9*q**2 - q + 1. Let f be s(-6). Let i = f + h. Does 27 divide i?
False
Let l(d) = -82*d + 155. Is l(-35) a multiple of 6?
False
Let z(q) = -2*q - 29. Let m be z(-14). Let a be (4 + -4)*m/(-2). Suppose 25*f - 29*f + 400 = a. Is 20 a factor of f?
True
Let o = -142 + 167. Suppose -26*w + o*w = -40. Is w a multiple of 3?
False
Let s(r) = -13*r - 77. Let u be s(-17). Suppose 264 = x + u. Does 20 divide x?
True
Let q(s) = 28*s**2 - 308*s**3 + 12*s - 11*s**2 + 307*s**3. Is 34 a factor of q(17)?
True
Let j = 270 - 130. Let p = j - 116. Is 2 a factor of p?
True
Suppose 5*u - 21 = -0*b - 3*b, -2*u + 7 = b. Suppose -13*v + b*v = -150. Is v a multiple of 14?
False
Suppose -25*i - 54 = -43*i. Suppose v = -3*q + 63, i*v + v - 238 = 2*q. Is 6 a factor of v?
True
Suppose -914*c = -907*c - 339696. Is 24 a factor of c?
True
Let k = 3076 + 2714. Is 10 a factor of k?
True
Suppose 8*v = 116 + 4. Let i = -4030 - -2226. Is 10 a factor of i/(-20) + (-6 + 3)/v?
True
Let m(h) = 6*h + 44. Let t be m(-7). Suppose 4*z = -t*d - 0*z + 252, 2*z - 2 = 0. Suppose -4*w + d = 4*f, 4*f - 2*w = -0*f + 142. Is 7 a factor of f?
False
Suppose -120*y - 80892 = -134*y. Does 54 divide y?
True
Suppose 4*v - 6*v = f + 8, -5*f - 2*v = 0. Let m(t) = -48*t**2 - t + 3*t + 63*t**2 + f*t. Is 11 a factor of m(-1)?
True
Let d = -2073 + 2913. Is d a multiple of 3?
True
Let h(c) be the second derivative of c**5/10 + 2*c**4 + 12*c**2 - c - 5. Is h(-12) a multiple of 24?
True
Let k(s) = 28*s**2 