*u - 193 = 4*c - 610. Is 20 a factor of c?
False
Suppose -5*o + 8 = -7*o. Let j(s) = s**3 + 4*s**2 - s + 2. Let d be j(o). Let c(h) = h**2 - 2*h - 13. Is c(d) a multiple of 4?
False
Let x(u) = 9*u - 42. Let m be x(5). Suppose -q = m*b - 162, -2*q - b = q - 486. Is 27 a factor of q?
True
Suppose 185*h - 1043876 - 1753507 - 36817 = 0. Is 40 a factor of h?
True
Suppose 0 = -6*l - 40 + 226. Let d = 36 - l. Let j(o) = 8*o - 11. Does 9 divide j(d)?
False
Let u(d) = d**3 + 101*d**2 + 98*d - 157. Is 21 a factor of u(-100)?
False
Let i(q) = -73*q - 2853. Is i(-54) a multiple of 11?
True
Let t(i) = -1075*i + 707. Is t(-4) a multiple of 41?
False
Suppose 3*u + 761668 = 95*u. Is u a multiple of 13?
False
Suppose -5*n - 17 + 32 = 0. Suppose -3*d = 2*d - 3*o - 75, -n*d - 2*o = -45. Is 15 a factor of d?
True
Suppose 343*w = -41*w + 111057 - 16977. Does 11 divide w?
False
Suppose -2*b + 296 = 4*g, 0*b - 4*b + 608 = 4*g. Suppose -2*j + 297 = o, 0*j = -j + 2*o + b. Is j a multiple of 3?
True
Let p(r) = -r**3 - 20*r**2 - 10*r - 23. Let n = -745 + 725. Is p(n) a multiple of 4?
False
Let d = 1601 - -6925. Is d a multiple of 49?
True
Suppose 1739*i = 1741*i - 3352. Is i a multiple of 8?
False
Let c = -41 + 125. Suppose 2*p - 7*p = -15, 3*p = -5*v + c. Is v a multiple of 2?
False
Suppose -a = -3*v + 1758 + 2839, -5*v - 3*a + 7643 = 0. Is v a multiple of 29?
False
Let c(t) = -t**3 - 6*t**2 - 4*t + 11. Let v be c(-5). Suppose v*q + 24 = 7*q - f, 4*f + 76 = 3*q. Let k = q + -12. Is k even?
True
Suppose 9*b = -4 + 49. Suppose 3*w + b*r = 776, w + w + 4*r - 520 = 0. Is 35 a factor of w?
False
Is 222 + -226 + (1 - -2433) a multiple of 9?
True
Suppose 0*k + 3676 = -0*k + 2*k. Does 4 divide k?
False
Suppose 3*y = -19 + 1195. Let x = y + -175. Does 7 divide x?
True
Let w be (-2)/11 - 5761/77. Let s = w + 168. Is s a multiple of 31?
True
Suppose -476 - 12283 = -14*q + 8143. Is 13 a factor of q?
False
Suppose j - 33 = 3*o + o, 4*o - 112 = -4*j. Suppose -21*s = -j*s + 480. Is s a multiple of 10?
True
Let t(h) = 2*h**3 - 31*h**2 - 16*h - 6. Let f be t(16). Does 15 divide (f/8)/(19/(-9728))?
False
Does 16 divide (-4)/3*(-4752)/44?
True
Let h(l) = -l**2 + 139*l - 549. Is 15 a factor of h(131)?
False
Suppose 0 = 2*q - 32 + 14. Let d = q - -43. Suppose 214 = 2*z + d. Does 5 divide z?
False
Let j = 264 + -267. Let w(p) = 81*p**2 + p. Is 66 a factor of w(j)?
True
Let q = 494 - 494. Suppose -4942 = -5*m - w, q = -2*m - m - 4*w + 2955. Is 23 a factor of m?
True
Let j = 38 + -2. Let t(r) = r**3 - 7*r**2 + 5*r - 5. Let m be t(4). Let z = m + j. Is z even?
False
Let a = -9805 - -21852. Is a a multiple of 131?
False
Let s(k) = 40*k**3 - 7*k**2 + 12*k - 4. Let r be s(3). Let p = -361 + r. Is 8 a factor of p?
True
Suppose 2*n + 2 = 0, 2*n + 268 = 2*p - 86. Suppose p*i + 252 = 177*i. Is i a multiple of 12?
True
Let j(z) = 3*z**3 - 2*z**2 - 5*z + 6. Let r be (1 + 0)/((-1)/(-7)). Suppose r*s = 11*s - 12. Is j(s) a multiple of 4?
False
Let r = 295 - -4611. Is 42 a factor of r?
False
Let l = -20176 - -27946. Is l a multiple of 37?
True
Suppose -15*l + 18*l = 2*k - 1113, 2*k = l + 1119. Does 40 divide k?
False
Let y be 150/(-45)*6/(-10). Suppose -86 = -y*n + 48. Is 3 a factor of n?
False
Let s be (-5128)/(-36) - 8/18. Suppose 0 = 11*a + s - 10. Let o(r) = -7*r + 26. Is 7 a factor of o(a)?
False
Let s be -2 + (6 - 3) + (1 - 0). Let x(y) = y**3 + 2*y**2 - 3*y. Let v be x(s). Suppose v*g - 175 = 3*g. Does 15 divide g?
False
Let d(u) = -2*u**2 + u - 1. Let o(f) = 5*f**2 + 35*f + 53. Let k(q) = -2*d(q) - o(q). Is 11 a factor of k(-21)?
False
Suppose -5*u - 2*v = -0*u + 252, 0 = -3*u - 4*v - 154. Let k(n) = -n**3 + 15*n**2 + 76*n + 89. Let y be k(19). Let g = u + y. Is g a multiple of 3?
True
Let o(z) = z**2 - 8*z + 6. Suppose 3*l - 165 = -21. Suppose l = 5*p - p. Is 9 a factor of o(p)?
True
Let w = -280 + 499. Suppose 4*y = 3*y + 3, 3*y = 4*k - w. Is k a multiple of 19?
True
Let i(t) = -t**3 - 4*t**2 - 5*t - 8. Let y be i(-6). Let p = -11265 + 11247. Let r = y - p. Is 8 a factor of r?
True
Let h = -10048 - -12713. Is 41 a factor of h?
True
Suppose -3*v - 1221 = -5*b, 4 = -b + 2*v + 244. Suppose -2146 = -4*o - b. Suppose -2*h + 7*h = o. Does 19 divide h?
True
Let i be 9/12*112/(-7). Let v be ((-27)/i)/(6/16). Suppose p - z = 104, -v*z + 3*z = p - 120. Is p a multiple of 16?
False
Does 38 divide (-1774375)/(-2375) + 4/(-38)?
False
Let d(k) = -2*k**3 + 18*k**2 + 15*k - 11. Let g be d(11). Let r = g - -389. Is 6 a factor of r?
False
Let c(n) = 3*n + 12. Let v be c(-8). Let t(r) = r**3 - r**2 - 2*r - 230. Let k be t(0). Is 15 a factor of v/15*k/4 - 1?
True
Let k be 48 + -1 - (7 + -1 - 2). Let s = -92 - -154. Suppose -a + k = -s. Is 18 a factor of a?
False
Let g(y) = 10*y - 21. Suppose -3*d - 1 + 28 = 0. Is g(d) a multiple of 56?
False
Let w = 6328 + -5767. Does 17 divide w?
True
Let x(u) be the third derivative of -u**6/120 - 4*u**5/15 - 9*u**4/8 + 5*u**3/2 + 3*u**2 + 6*u. Let j be x(-15). Let v = 399 - j. Is 12 a factor of v?
True
Suppose i - n + 6 = -3, i = 3*n - 11. Let d(z) = -z**3 - 10*z**2 - 16*z + 2. Let a be d(i). Suppose -2*c = 3*q + 2, 2*q + a = -3*c + 9. Is c even?
False
Let u = -1792 - -2204. Is 26 a factor of u?
False
Let x be ((-492)/(-26))/6 - (-4)/(-26). Suppose -5*n - 92 = x*a - 233, -4*a - 4*n = -180. Suppose 37*u + 245 = a*u. Does 33 divide u?
False
Suppose 0 = -7*d + 1 + 13. Let u(q) = 37*q**2 + 64*q**d + 4*q - 3 - 5*q + 4. Does 13 divide u(1)?
False
Let c = -63 + 66. Is 18 a factor of -3*(-214 + c)*(-8)/(-12)?
False
Suppose 0 = 10*a + 23 - 3. Does 12 divide a/(-16)*-2*-788?
False
Let t = 435 - -806. Does 73 divide t?
True
Let h(d) = 18 + 1673*d - 1673*d - 2*d**3 - 10*d**2. Does 10 divide h(-6)?
True
Suppose 3*j = 10*j - 35. Let s(b) = -29*b**3 + 9*b**2 - 12*b + 12. Let u be s(j). Is u/(-36) + 2/9 a multiple of 12?
True
Suppose 16*t = 26184 + 44520. Is t a multiple of 23?
False
Let j = 3 - 31. Suppose 44 = -5*n + 3*i, 5*n + 2*i = -2*i - 58. Is 2 a factor of (-232)/n - j/35?
True
Let k = -192 + 354. Suppose 4*x - x = -k. Let v = -8 - x. Is 46 a factor of v?
True
Let d = -4579 - -8001. Is d a multiple of 56?
False
Suppose -3*q + 6*q + 4*a - 10608 = 0, -5*a = 2*q - 7072. Suppose 2*c = 19*c - q. Is c a multiple of 26?
True
Let t = -495 - -86. Let a = -313 - t. Does 24 divide a?
True
Suppose 12 - 429 = -3*j + 3*c, 133 = j + 2*c. Is 16 a factor of j + (0 - (3 + 0))?
False
Let m = -10520 + 11203. Is m even?
False
Let t(f) = -f**2 + 21*f - 12. Let v(h) = 3*h**2 - 43*h + 25. Let m(k) = -5*t(k) - 2*v(k). Is 5 a factor of m(-19)?
True
Let z be 15/((-405)/(-6)) - 38/9. Is 3 a factor of 88 + -4 + (z - -4 - 4)?
False
Suppose -58*g + 69*g - 51392 - 17600 = 0. Does 45 divide g?
False
Suppose 0 = -4*o + 683 - 2963. Let s = o + 826. Suppose s = 2*r + a - 130, 6 = 3*a. Is r a multiple of 30?
False
Let z(n) = 15*n**3 - 29*n**3 + 9*n**3 + 6*n**3 - 28*n + 25*n**2 - 31. Let g be (-512)/20 - (-6)/(-15). Is 4 a factor of z(g)?
False
Suppose 4*h + 5 = -j, -3 + 18 = 5*j. Does 3 divide ((4 + 3)/14)/(h/(-68))?
False
Suppose -3724 + 10243 = 4*b + p, 2*b + 4*p = 3256. Does 8 divide b?
False
Suppose -3*n + 0*s + 22 = 4*s, -4*n + 66 = -2*s. Let q(z) = z**2 - 16*z + 13. Let x be q(n). Let y(l) = -l**3 - 15*l**2 - 8*l - 5. Is y(x) a multiple of 27?
False
Suppose 660*a - 13104 = -4*p + 664*a, -2*a = 3*p - 9838. Is 21 a factor of p?
False
Let b(n) = n**3 - 20*n**2 - 21*n + 8. Let y be b(21). Suppose 5*z - 136 = -2*o, 0 = 3*o - y*o + 15. Let m = z - 9. Is m a multiple of 17?
True
Suppose -15*i + 37 = -14*i. Let b = i + -33. Suppose -z = a - 76, -2*z + b*z = -3*a + 233. Does 9 divide a?
True
Suppose 3*m + 2*m = -4*f - 502, 0 = -3*f - 9. Suppose 339*x - 341*x + 96 = 0. Is 4 a factor of x/(-14)*m/28?
True
Let v(s) = -3*s**3 + 2*s**2 - 16*s + 71. Let q be v(-16). Suppose -5*h + q - 362 = 0. Is h a multiple of 14?
False
Suppose 4*l + 48*g - 40055 = 49*g, -5*l = -g - 50068. Is 323 a factor of l?
True
Let n = -116 - -122. Suppose 10 = -y + 5*u, 4*y - 34 + n = 3*u. Does 10 divide y?
True
Let p = 27271 + -26952. Is 49 a factor of p?
False
Suppose -25*g + 12*g = -14131. Suppose g = 12*k - 1613. Does 5 divide k?
True
Suppose -49*s = 2*p - 45*s - 30516, -3*p = -s - 45711. Is 40 a factor of p?
True
Let x = 98 - 102. Let h(u) = 2*u**2