be z(-3). Let x = o + 97. Suppose -x = -j + 5*l, j + 105 = 3*j + l. Is 10 a factor of j?
True
Suppose 3*m = -3*i + 2745, -15*m - 930 = -i - 11*m. Is i a multiple of 47?
False
Let a = -58 - -65. Suppose -1220 = -a*t + 2*t. Does 9 divide t?
False
Suppose -78 = -3*a - 5*m, -a + 3*m + 26 = -0*a. Let k(w) = -w - 53*w**3 + 13*w**2 - a + 6*w + 54*w**3. Does 37 divide k(-11)?
False
Let k = -213 + 213. Suppose k = v - 2*w - 210, -2*v + 5*w = -v - 201. Does 72 divide v?
True
Let c be 76/28 + (-6)/(-21). Suppose -2*b + 833 = c*m, 3*b = -2*b - 2*m + 2088. Is b a multiple of 19?
True
Suppose 0 = 5*q + q. Suppose q + 28 = -4*v. Let w(a) = -5*a - 15. Does 3 divide w(v)?
False
Let j = -718 + 895. Suppose 4*w + 304 = 2*l, 5*l + w + j = 992. Is l a multiple of 3?
True
Let b be ((311 - 4) + -3)*-1. Let v = 318 + b. Does 2 divide v?
True
Let c = -118 + 108. Let x(q) = 4*q + 42. Let v be x(c). Does 14 divide v*(-74)/(-16)*14*2?
False
Suppose -5*h + 58591 = -v - 96405, h = 2*v + 30992. Is h a multiple of 248?
True
Suppose 47*k + 13*k - 254383 = 553457. Is 88 a factor of k?
True
Let a(v) = -2*v - 10. Let h be a(-9). Let j = h + 0. Is (-18)/24 + 126/j a multiple of 3?
True
Let p(u) = u**2 + 4*u - 21. Let i be p(-7). Let g be (-1996)/16*((-4)/1 - i). Suppose -3*z - 2*r + 232 = 0, 5*z + 103 = -r + g. Is z a multiple of 40?
True
Let z = -3708 - -18264. Is z a multiple of 3?
True
Let a(i) = -1. Let w(m) = 119*m + 285. Let v(n) = 3*a(n) - w(n). Is v(-10) a multiple of 11?
True
Is 15 a factor of 36/(-810)*-3 - (0 - 22496/30)?
True
Suppose 44*i - 41*i + 2*u - 5570 = 0, -4*i = 7*u - 7405. Is i a multiple of 6?
True
Let x(d) = 3*d**3 + d + 21. Let y be x(0). Let f(v) = v**3 - 18*v**2 - 11*v - 16. Is 8 a factor of f(y)?
False
Let v(a) = -a**2 - 19*a - 56. Let u be v(-15). Suppose 0 = 4*c - 5*l - 1697, 8*c - l - 1709 = u*c. Is 16 a factor of c?
False
Does 5 divide 1 + 32*(-10)/(20/(-14))?
True
Suppose -440599 + 3228031 = 172*i. Is i a multiple of 219?
True
Let x(o) = 14*o**2 + 351*o - 229. Is x(-31) even?
True
Let u = -355 + 723. Suppose -3*p = -4*f - 271, 4*p - 11*f = -9*f + u. Is 13 a factor of p?
False
Let p(f) = 3*f**2 + 83*f + 4. Suppose -31*k + 23*k = 224. Is p(k) even?
True
Let w = -12738 - -18688. Does 25 divide w?
True
Let c be ((-24)/(-12))/(6/39). Suppose 0 = 4*n + 5 - c. Suppose n*s + 3*s - 400 = 0. Does 8 divide s?
True
Let p = 409 - -323. Suppose 3*q + 674 + 643 = 0. Let t = q + p. Is 28 a factor of t?
False
Let k = 255 - 214. Let l = 4 + -2. Suppose -t - 1 = l*s + s, 3*s = -4*t + k. Is t a multiple of 14?
True
Let f = -53 - -1077. Suppose -3*z + f = -4*b, 4*b + 11 = 7. Is 17 a factor of z?
True
Let f = 9051 - 4293. Is f a multiple of 10?
False
Let k be 1480/24 + 2 - 2/(-6). Suppose 9 - k = -5*b. Does 22 divide -4 + (b/(-44) - (-1618)/8)?
True
Let g(x) = 20*x + 111. Let a be g(-9). Let h = 142 + a. Is 9 a factor of h?
False
Suppose -5*f = -3*k + 348, 6*k - 2*f + 390 = 9*k. Is 9 a factor of k?
True
Let r(a) = 32*a + 882. Is r(0) a multiple of 188?
False
Let w = 570 - 564. Let p(n) = 12*n**3 - 22*n**2 + 3*n - 14. Does 44 divide p(w)?
True
Let x(l) = 3*l**3 - 6*l**2 - 5*l + 4. Let y be 4/(-7) + 39/7. Let j be x(y). Suppose 5*k - 476 - j = 0. Does 30 divide k?
False
Suppose -5918782 + 23107352 = 445*k. Is k a multiple of 178?
True
Suppose 789 + 59289 = 57*w. Is w a multiple of 17?
True
Let m(b) = -7*b + b**2 + 3*b**3 - 5 - b + 2 + 6. Let q be m(3). Let g = q - -18. Does 29 divide g?
True
Suppose -n - 3 = -2*n. Suppose -p - 8 = 2*c + c, -n*c + p = 10. Is (-4 - (-3)/3)*4/c a multiple of 4?
True
Does 11 divide ((-18268)/12)/((-6)/54*3/5)?
False
Let c(g) = 718*g**3 + 3*g**2 - 9*g + 4. Let l(w) = 479*w**3 + 2*w**2 - 6*w + 2. Let a(r) = 5*c(r) - 8*l(r). Is 18 a factor of a(-1)?
False
Let f(v) = -v**3 + 7*v**2 + 11*v - 22. Let n be f(8). Let j be n/3*1*6. Let k(q) = 2*q**2 + 3*q - 5. Is k(j) a multiple of 13?
True
Suppose -8*s + 5*t + 455 = -3*s, 166 = 2*s + 2*t. Suppose 0 = -4*o - 5*x + 365, -5*o + x - s = -565. Does 3 divide o?
False
Let p(g) = g**2 + 6*g + 4. Let r be p(-6). Suppose 3*b + 2*t - 78 = 0, r*b - 2*t + 134 = 9*b. Suppose a - 59 = b. Is a a multiple of 21?
False
Let x = 25 - 21. Suppose 3*c = -m + 4, 5*c + 5*m - x = 4*m. Is 19 a factor of c + 1 - (2 + -85)?
False
Let q(w) = 36*w + 1. Suppose 3*g = 5*a - 10, -2*g + 6 = 5*a - 2*a. Is q(a) a multiple of 9?
False
Is 72 a factor of (-115910)/(-25) + (-33)/(-55)?
False
Suppose 5*j - 9 = 51. Suppose -j*h = -14*h + 14. Suppose -8*a + 22 = -h*a. Is 11 a factor of a?
True
Suppose -1735 = -2*p + 4433. Suppose -p = -5*y + 1816. Is 7 a factor of 6/4*y/30?
True
Let h = -70480 + 109920. Does 34 divide h?
True
Let f(y) = -y**3 + 7*y**2 + 7*y + 8. Let u be f(8). Suppose u = -4*b + 7*b - 18. Is 13 a factor of (-75)/b*52/(-10)?
True
Suppose 0 = -3*u - k + 10293, 2*u - 2*k + 3426 = 3*u. Is u a multiple of 33?
True
Does 9 divide -1 - 3/(-2) - 15336/(-432)?
True
Let z = 45421 - 16777. Is z a multiple of 33?
True
Suppose 66*o + 26352 = 74*o. Is 13 a factor of o?
False
Suppose -507 = 4*d - 7603. Does 8 divide d?
False
Let u = -21 - -27. Let f be (-2)/(((-4)/u)/1)*13. Does 5 divide (-6)/f - (-268)/52?
True
Let f(j) = -4*j - 28. Let l(u) = 4*u**2 + 37*u + 1. Let h be l(-9). Let t be f(h). Suppose t*a - 76 = -2*i, 2*a = -4*i + 54 + 74. Does 15 divide i?
True
Suppose -3*j + 91890 = 3*a, -2*j = -13*a + 17*a - 61264. Is 26 a factor of j?
True
Let a(z) be the third derivative of 5*z**4/24 + 3*z**3/2 - 23*z**2. Let f be a(-7). Let u = 11 - f. Is u a multiple of 2?
False
Suppose -2*j - 9 - 25 = -3*h, 5*h - 42 = -4*j. Suppose -4 = -3*g - h. Let l = g - -47. Does 5 divide l?
True
Let x = -4666 - -21826. Is x a multiple of 55?
True
Suppose -w + 4*g + 20 = 0, w - 1 - 9 = 2*g. Let i = 5690 + -5300. Suppose w = v - q - 0*q - 195, 4*q = 2*v - i. Is 39 a factor of v?
True
Suppose -2*g + 2*m = -24, -3*g - 6*m + 16 = -4*m. Let f(o) = 62*o - 136. Does 5 divide f(g)?
True
Let a be 11/9 + -1 + (-170)/(-45). Let w = a + -4. Suppose w = h + 4*h - 4*q - 221, -176 = -4*h + 4*q. Does 45 divide h?
True
Let l = 73 + -68. Suppose 0 = l*q - 3*u - 314, -2*q = -5*u + 26 - 144. Is q a multiple of 8?
True
Suppose 0 = 63*j + 829472 - 2307200. Is j a multiple of 31?
False
Let d(o) be the second derivative of -32*o - 47/2*o**2 + 0 - o**3. Is 15 a factor of d(-14)?
False
Does 8 divide 56/6*503940/1295?
True
Suppose x = -x + 2. Let z be (38/14 - x) + 24/84. Suppose -5*r + z*r + 94 = 2*g, r = -g + 32. Is 10 a factor of r?
True
Suppose 21*b - 18 = 12*b. Let u be ((-1)/3)/(b + (-15)/9). Does 13 divide -5*14*(1 - u - 4)?
False
Does 65 divide (6/6 - (-1 - 45565)) + (0 - 5)?
False
Let p be 8999/6 - 9/(-54). Does 13 divide -6 - (0 - p)/3?
True
Suppose -2083498 = -142*q + 2310046 - 727104. Does 10 divide q?
True
Does 30 divide (688/(-10))/(((-2)/28)/(3150/2205))?
False
Let g(q) = 4*q - 30. Let b be g(14). Let f = -10 + 102. Suppose u - f = -b. Is u a multiple of 6?
True
Let x be ((-2)/(-4))/((-1)/(-20)). Let r(k) = 237*k - 1029. Let t be r(7). Suppose -t = 4*q - x*q. Does 5 divide q?
True
Suppose -2*r = -23 - 131. Suppose 79*n - r*n = 120. Is 15 a factor of n?
True
Let q(l) = 2*l**3 + 66*l**2 + 49*l + 72. Suppose 0*v - 5*j + 135 = -5*v, 101 = -3*v - j. Does 23 divide q(v)?
True
Let b = 3578 - 2294. Does 3 divide b?
True
Let m(w) = -2*w**3 - 9*w**2 + 3*w - 10. Let g be m(-5). Is 33 a factor of (174/8 - g)/((-58)/(-232))?
False
Suppose -492060 + 46519 - 32027 = -26*t. Is t a multiple of 32?
True
Let z be (1 - 4)/24 - (-9605)/40. Suppose -b + 6*b = 5*g - z, 48 = g + b. Is g a multiple of 14?
False
Let i(r) = r + 1. Let a be i(-3). Let f(m) = -21*m - 238. Let z be f(-13). Is z - (3 + -4 - a) a multiple of 3?
False
Let h = 574 - 572. Suppose -2*c - 2*c + 204 = l, -h*c = -4*l - 102. Is c a multiple of 3?
True
Suppose k = -3, -4*j + 3*k = 3106 - 16023. Is j a multiple of 3?
False
Let x(l) = -l**3 - 3*l**2 - 5*l - 10. Let i be x(-3). Does 47 divide ((-94)/i)/((-65)/(-25) + -3)?
True
Is 20 a factor of 4/(-16) + 8 + (-30632)/(-32)?
False
Suppose 48 = -o + 4*q, 5*q = -4*o + q - 212. Let k = -52 - o. Suppose k = -7*d + 8*d - 3*n - 97, n = -3. Is 8 a factor of d?
True
Does 30 divide (108/24)/((45/14300)/3)?
True
Let s = -205 + 457. Suppose 2*u + u - 2*t = 320, -u = t - 105. Let b = s - u. 