770. Does 6 divide x?
True
Is -1 - -4 - (3 + 5 - 3911) a multiple of 6?
True
Let h = 234 - -20. Suppose 11*z + h = 7118. Is z a multiple of 26?
True
Let t(u) = -u**3 + 7*u**2 + 20*u - 51. Is 17 a factor of t(-17)?
True
Let p be -8 + 2/(2/1). Let d be (0 - 2 - -14) + 0/6. Let c = d - p. Is c a multiple of 4?
False
Let b = 1216 - -5127. Does 33 divide b?
False
Suppose 0*a + 2*a + 4*p = 172, -p - 192 = -2*a. Suppose -3*k - 4*c = 63, -3*k - a = k + 2*c. Let n = k + 47. Does 5 divide n?
False
Suppose 0 = 4*u - 3*n - 613, -3*u + 446 = 5*n - 10*n. Let t = u + -135. Is t a multiple of 2?
True
Suppose 0 = -r + j + 14, -j = 2*r + j - 40. Suppose -15*c + r*c = 8. Suppose c*k = -0*k + 344. Is 8 a factor of k?
False
Suppose -5*r = -4*r + 2*i - 4, i + 1 = r. Let a be r/12 + (-16845)/(-18). Suppose 2*t = 8*t - a. Does 24 divide t?
False
Suppose 5*o + 33 - 58 = 0. Is (-3 + -7)*(-339)/o a multiple of 43?
False
Let t = 11406 + -6270. Is t a multiple of 48?
True
Suppose 3*j - 11*j = 3*j. Let s(o) = 4*o**2 - 3*o + 42. Let w(k) = -7*k**2 + 5*k - 83. Let h(b) = -5*s(b) - 3*w(b). Does 12 divide h(j)?
False
Let n(w) = -w**3 + 83*w**2 - 4*w + 388. Is 8 a factor of n(83)?
True
Let s(u) = u + 16. Let k be s(-11). Let a = 21 - k. Let c(f) = 2*f**2 - 21*f - 32. Is 36 a factor of c(a)?
True
Let y(k) = 51*k - 19. Let v be y(10). Suppose h = 3*j - h - 503, -h = 3*j - v. Suppose s - 5*b = 4*s - j, 3*s = b + 183. Is 20 a factor of s?
True
Suppose 3*c + 5*m = 4*m + 21, c + 4*m = 18. Let b(r) be the third derivative of r**5/60 + r**4/4 - 3*r**3 - 10*r**2. Is 18 a factor of b(c)?
True
Let n be (-6)/10 + 168/5. Let o = n + 142. Is o a multiple of 5?
True
Let i(t) = -1002*t - 1533. Is i(-6) a multiple of 7?
False
Let s(f) = 10*f**2 - 21*f + 3632. Does 116 divide s(52)?
True
Let j(p) = 6521*p**2 + 11*p - 11. Does 19 divide j(1)?
False
Suppose 162*i = 1766522 + 2670982. Is i a multiple of 25?
False
Let h = 20 + -17. Suppose -h*l + 155 = -517. Is 11 a factor of l?
False
Does 120 divide (-20 + 2)/3 - (-2167 + 5)?
False
Let y(l) = 8*l - 11*l + 13*l + 13*l + 7*l**2 + 8. Does 10 divide y(-7)?
True
Suppose 2*i = 1 + 7. Suppose -4*t - i = 4*v - 6*v, 3*t + 5*v = -3. Is 10 a factor of -2*t/4*200?
True
Let h(p) = 10*p - 5*p - 3*p + 7*p - 33*p + 28. Does 28 divide h(-7)?
True
Let z(w) = 10*w + 3648. Let j be z(0). Suppose 10*i - j = 2*i. Is i a multiple of 8?
True
Let j(d) be the second derivative of d**4/4 + 23*d**3/3 + 8*d**2 + 2*d. Let l(o) be the first derivative of j(o). Does 11 divide l(18)?
True
Let o(z) = z + 7. Let v be o(-4). Suppose -3*r - k - 563 = 0, -97 = v*r - k + 456. Let a = r + 264. Does 13 divide a?
True
Let a = -15425 + 27629. Does 6 divide a?
True
Suppose -t = -2*v - 69, 4*t = v + 141 + 142. Let a = t + -71. Suppose -2*k - 2*d = k - 206, -4*d + 16 = a. Does 33 divide k?
True
Let g = 49 + -47. Suppose -d + 49 = g*l, -3*d + 3*l = -2*l - 202. Is 3 a factor of d?
False
Let m(y) = 2*y**3 - 87*y**2 + 278*y + 252. Is 2 a factor of m(40)?
True
Suppose 16*r = -3*r + 6156. Is r a multiple of 18?
True
Suppose 9*y = 5*y - 16, -3*y - 549 = -3*m. Let k = m + 10. Is k a multiple of 5?
False
Does 34 divide ((-122)/(-366))/(3/49572)?
True
Let c = -84 + 84. Suppose c = 5*z - 2*u - 1305, -25*u + 27*u = -10. Does 33 divide z?
False
Suppose 0 = -2*c - 2*c + 548. Suppose -4 = 136*b - c*b. Suppose -207 + 680 = b*h + 5*g, 2*g + 438 = 4*h. Does 14 divide h?
True
Let h be 2/(-6)*1167*(-3)/(-3). Let t = 725 + h. Is 48 a factor of t?
True
Let c be (-3 - 0)/3 - (-10 + 7). Suppose c*o - 5*x - 29 = 0, -2*o - 2*x + 33 + 31 = 0. Suppose o + 22 = h + 4*p, 5*p - 119 = -3*h. Is h a multiple of 11?
True
Let u(g) be the second derivative of -g**5/20 + 11*g**4/12 - g**3/2 + 11*g**2/2 - 8*g. Let j be u(11). Let d = j + 29. Is 2 a factor of d?
False
Suppose -6 = 3*f, 22*z + 2*f = 17*z + 70011. Does 30 divide z?
False
Suppose 0*g + 4265 = -3*g + 5*o, -4*g - 5*o - 5640 = 0. Let k = -515 - g. Does 25 divide k?
True
Suppose 3*q = -2*u + 7, 8 + 8 = 4*q - 4*u. Suppose 3*g - 4*i - 117 = 103, 3 = -q*i. Does 37 divide g?
False
Let a(t) = -191*t + 980. Is 55 a factor of a(-30)?
True
Let d be -5 + (-14050)/(-10) - (-12)/(-3). Suppose 0 = -38*q + d + 1492. Does 20 divide q?
False
Suppose 24 = 4*q, 12*r - 9*r = -2*q + 100116. Does 86 divide r?
True
Let h(t) = -9*t**3 - 24*t**2 + 73*t + 63. Does 52 divide h(-14)?
False
Let b(s) = s**2 - 11*s + 20. Let l be b(6). Let d be ((-4)/10)/(l/300). Let j(k) = -k**3 + 13*k**2 - 11*k + 30. Does 9 divide j(d)?
False
Let q = 176 - 171. Suppose 4*n = q*u + 349, u = 5*n - u - 415. Is 4 a factor of n?
False
Is 14 a factor of (-1 - (-10)/6) + (-689579)/(-123)?
False
Suppose 8*p = 1571 + 11149. Suppose -n = 2*q - 330, 2*q + p = 3*n + 2*n. Is n a multiple of 32?
True
Suppose -32 + 59 = 9*u. Is 8 a factor of ((-5456)/(-55))/(u/15)?
True
Let o(a) = 25*a**2 - 39*a + 439. Does 9 divide o(12)?
False
Let b(z) = z**3 + 61*z**2 - 233*z - 74. Is b(-64) a multiple of 25?
True
Let v(f) = -2*f**3 + 11*f**2 + 6*f + 10. Let k be v(6). Let n(z) = -14*z + 25*z - 9 - 35*z - k*z + 3*z**2. Does 40 divide n(17)?
True
Let q(o) = -694*o + 28. Let p be q(-2). Suppose 3*a - p = -3*i, -a - i = -3*a + 932. Does 26 divide a?
True
Let s(z) = -20*z**2 - 1060*z - 280. Does 160 divide s(-50)?
True
Is (-8)/56 + (-1132540)/(-119) a multiple of 4?
False
Suppose -27 = s - 49. Let k(r) = r**3 - 22*r**2 + 9*r + 47. Does 13 divide k(s)?
False
Let h be (108/(-14))/1 - 4/14. Let y = -43 + h. Is y/(-6) - (-2)/(-4) a multiple of 5?
False
Let j = 845 - 480. Let c = -78 + j. Is 49 a factor of c?
False
Let v be 10/10 - (2 + -6). Suppose 298 = v*h - 37. Is h even?
False
Let b(y) = 286*y - 134. Let u be b(-3). Let m = 1544 + u. Does 6 divide m?
True
Is (320/(-40))/((-2)/451) a multiple of 20?
False
Let q be ((-295)/1 - -1)/((-51)/748). Suppose 6*z = -43*z + q. Is z a multiple of 11?
True
Does 7 divide (11016/16 + -9)*(-170)/(-15)?
False
Suppose 77*w - 228645 = 78732 + 83783. Is w a multiple of 18?
False
Let a = 32309 + -18858. Is a a multiple of 82?
False
Let j(u) = -20*u - 16*u + 40*u. Let x be j(1). Suppose 0 = 5*s + 4*p + 11 - 46, -x*p = 0. Does 4 divide s?
False
Suppose 17*i - 187257 = -25*i + 5*i. Does 25 divide i?
False
Suppose -182175 = -55*m + 578530. Does 6 divide m?
False
Suppose 0 = 3*h + 28 - 37. Suppose 112 = -h*r - r. Let x = r + 43. Is x a multiple of 6?
False
Let h = -268 + 279. Let b = 378 + -142. Suppose b = -h*w + 13*w. Is 25 a factor of w?
False
Let x(d) = -5*d - 7. Suppose 40 = -2*z + 3*j + 2*j, 0 = -5*z - 4*j - 100. Let p be x(z). Let u = p + -33. Is 20 a factor of u?
True
Let i = 57080 + -35965. Is i a multiple of 113?
False
Let o = 201 - 93. Suppose -z = -2*t + 207, 0*t + 5*z + o = t. Let c = -34 + t. Does 14 divide c?
False
Suppose -4*a = 4*c - 18708, -2*c = -10*a + 8*a - 9366. Is 90 a factor of c?
True
Suppose -23*c + 102524 = 15*c. Is 6 a factor of c?
False
Suppose 6543*j - 6474*j - 193551 = 29319. Does 85 divide j?
True
Suppose -890*z + 873*z = -162384. Is z a multiple of 6?
True
Suppose 19*i = 115803 - 24736. Is i a multiple of 33?
False
Suppose -5*c - 448 = -3*l, -2*l = -5*c + 6*c + 100. Let z = 131 + c. Is 13 a factor of z?
True
Let q(g) = -g**3 + 17*g**2 + 13*g - 22. Let i be q(18). Is 4*60*(-21)/i a multiple of 3?
True
Suppose 2 = 3*d - d, 4*h - 5*d = 3. Let p(c) = 14*c**3 - 3*c**2 + 3*c - 6. Does 10 divide p(h)?
True
Suppose 3*n + 3*p - 1725 = 0, n - 555 = 3*p - 0*p. Let c = 147 + n. Does 25 divide c?
False
Suppose -315 = 7*y - 2*y. Let k = y + 68. Suppose -k*o + 2*p = -818, 8*o - 664 = 4*o + 4*p. Is 35 a factor of o?
False
Let s(q) = -841*q - 9276. Is 11 a factor of s(-18)?
False
Let z(h) = -h**3 + 35*h**2 - 3*h - 69. Let v be z(36). Let b = -948 - v. Is 27 a factor of b?
False
Let n = -15 + 18. Suppose 4*s - n*c + c = 12, -2*c = -s + 6. Suppose -5*f + 33 = u, -s*u + f = -35 - 9. Is u a multiple of 4?
False
Let y be 8/12 + (-156)/(-36). Suppose -34*q - 2*s - 866 = -36*q, -2179 = -y*q - 2*s. Is q a multiple of 14?
False
Let l(c) = -c**3 - 3*c**2 - 7*c - 16. Let k be l(-3). Suppose 11970 = 40*f - k*f. Does 18 divide f?
True
Suppose 2*q = p - 17266, 5*q - 19833 = -p - 2511. Is 9 a factor of p?
False
Let b(y) = -y + 10. Let s be b(28). Let c(p) = 3*p**2 + 39*p + 43. Is 22 a factor of c(s)?
False
Suppose 608