o(g) = 8*g + 274. Does 8 divide o(a)?
False
Let c = -6142 + 6374. Does 232 divide c?
True
Suppose 4*r = 7*r + 18. Let y(c) = -3*c + 32. Does 16 divide y(r)?
False
Let p be 7/2 - 2/4 - 1. Let s be -62*(2/4 - 1). Suppose -p*k + 3*j = -141, j - s = -k + 47. Is 8 a factor of k?
False
Suppose -29*f + 221247 = -45*f + 133*f. Does 3 divide f?
False
Let u = 2369 - -52. Is u a multiple of 39?
False
Let y(t) = 7*t - 31. Let n(m) = -6*m + 30. Let j(q) = -4*n(q) - 5*y(q). Let u be j(-5). Does 15 divide (-150)/4*(-108)/u?
True
Suppose 2557 = -3*c - 5*x + 13711, c + x - 3714 = 0. Is 36 a factor of c?
True
Let i = 7549 - 4002. Is 58 a factor of i?
False
Suppose -25*a = -10926 - 5249. Is a a multiple of 14?
False
Suppose 0 = -671*r + 570*r + 356631. Does 11 divide r?
True
Let y = 5940 - 1943. Is y a multiple of 16?
False
Suppose -20898 = -3*s + 3*l, -4*l + 0*l + 27832 = 4*s. Does 141 divide s?
False
Suppose 6*i - 1863 - 2427 = 0. Let z(g) = -g**2 - 7*g + 6. Let q be z(-7). Suppose -3*a - 716 = -q*a - 2*m, -3*a + i = m. Is 34 a factor of a?
True
Let z = 95518 + -49078. Suppose -10*u - 33*u + z = 0. Is u a multiple of 18?
True
Suppose -17*s + 14*s - 288 = 0. Let c = s - -1184. Is 34 a factor of c?
True
Suppose 0 = -22*s + 18*s + 8. Suppose 0*g = s*g - 68. Let x = g - 21. Does 3 divide x?
False
Suppose a - 5*j - 18459 = 0, j - 186 = -181. Does 10 divide a?
False
Suppose 0 = 52*g + 67*g + 1156798 - 3275236. Is g a multiple of 86?
True
Let b = 172 - 120. Suppose -q + b - 38 = 0. Is q a multiple of 14?
True
Suppose 9*i = 8 + 28. Suppose 5*j - 111 = 5*d - 1151, -5*d - i*j = -1085. Is d a multiple of 59?
False
Let f be 4*10/(-8) + 16. Suppose 7*o + 385 = f*o + 5*v, -o + 5*v + 90 = 0. Is 19 a factor of o?
True
Suppose 5*o = -4*z + 40, 25*z = 22*z - 5*o + 35. Let x = -1 + 3. Suppose 5*b = -x*w - 0*b + 105, w - z*b = 75. Does 30 divide w?
True
Let g be 0/13*(-2 + 5 + -2). Suppose 6*u - 753 - 1605 = g. Does 8 divide u?
False
Let h(s) = -3*s**2 + 3*s - 13. Let x be ((-15)/9)/((-2)/6). Let d(k) = 2*k**2 - 2*k + 7. Let j(m) = x*d(m) + 3*h(m). Is 13 a factor of j(-5)?
True
Let s(f) = f**2 - 5*f + 606. Is s(35) a multiple of 24?
True
Let g(s) = -492*s + 6448. Is 250 a factor of g(-56)?
True
Let b = 1749 - 1034. Suppose 76*d = 81*d - b. Does 10 divide d?
False
Suppose -d = 4*d - 3*f, 3*f = 0. Suppose i + 15 = -4*n + 41, 0 = 5*n. Suppose d = s - i. Does 10 divide s?
False
Does 22 divide 6123 + (2 - -1) + 1*110/(-11)?
True
Suppose -7*n + 2*n = -20. Suppose 5*v + 270 = -5*c, -n*c = 5*v + 217 - 4. Is 16 a factor of (-20)/(-5 + c/(-12))?
True
Let i = -15 - -24. Let o(d) = -20 + i*d + 5*d + 7*d. Is 6 a factor of o(5)?
False
Does 40 divide (-27 - -2)*(-445 - 3)?
True
Let r(u) = u - 8. Let k(v) = 4*v - 41. Let o(x) = -2*k(x) + 11*r(x). Let w be o(3). Suppose 0 = -w*c + 7*c - d - 132, -2*d = 5*c - 152. Is 8 a factor of c?
True
Let b(g) = -24*g**3 + 44*g**2 - 79*g - 202. Let c(z) = -7*z**3 + 15*z**2 - 26*z - 67. Let n(q) = -2*b(q) + 7*c(q). Is 18 a factor of n(15)?
False
Suppose 11*g = -9*g + 39*g - 33117. Is 83 a factor of g?
True
Let w be 2 + (-4 + 2 - 3) + 3. Suppose -7*p + 9*p - 338 = w. Is p a multiple of 9?
False
Let y = 19 - 15. Suppose -y*u + 31 = -57. Does 2 divide u?
True
Let s = 37327 - 22529. Does 49 divide s?
True
Let x = 193 + -190. Suppose -4*g - x*u + 885 = 0, g = -2*g - 5*u + 650. Is 45 a factor of g?
True
Let t = 47513 + -32281. Is 4 a factor of t?
True
Suppose -i + 2*i - 60 = -q, -i = -5*q + 306. Let h = q - -79. Is h a multiple of 7?
True
Let p = -44842 - -66839. Is 15 a factor of p?
False
Let b be ((-81)/(-18))/(2/(-8)*-2). Suppose 5*n - b*n = -8. Is 8 + -2 + 3 - (-1 - n) a multiple of 2?
True
Is 18 a factor of (4435 - -16) + -14 - (-7 - (3 - 4))?
False
Let f(r) = -391*r - 339. Is f(-8) a multiple of 8?
False
Let j(t) = -147*t + 20. Let y(v) = 440*v - 61. Let g(d) = 8*j(d) + 3*y(d). Let l be g(5). Let a = l + -480. Does 17 divide a?
False
Suppose -15318 = 58*k - 64*k. Does 69 divide k?
True
Let c = -24 + 31. Let v = 5986 - 3646. Suppose 0 = -20*a + c*a + v. Is 11 a factor of a?
False
Let m be -3 - (2 + 7 + -6). Does 5 divide ((-234)/m)/(-1)*10/(-6)?
True
Let g = -139 + 136. Let o be 16*(g/24)/(1/(-2)). Suppose -o*m + w + 19 = -62, 84 = 4*m - 4*w. Does 5 divide m?
True
Let c(j) = 52*j**2 - 10*j - 18. Let r be c(-4). Let y = r + 162. Is y a multiple of 13?
False
Let c be (3/2)/((-33)/(-44)). Suppose 42 = c*f + 5*f. Suppose -d + z = -24, -2*d + f*z = z - 45. Is 3 a factor of d?
False
Suppose -d - 3*t = -8, 4*t = d + 6*t - 8. Suppose -9*l + d*l - 14 = 0. Let g = l - -59. Is g a multiple of 9?
True
Does 35 divide 410/(-574) + 186453/21?
False
Suppose r + o - 26187 = 0, 2*r - 15081 - 37278 = -5*o. Is r a multiple of 75?
False
Let v be 2/((-6)/(-1)) - 86/6. Let q be (-72)/v*217/62. Suppose 2193 = q*c - 5673. Is c a multiple of 57?
False
Let l = 16243 - 14534. Is 18 a factor of l?
False
Let v = 563 + -561. Suppose m = 3*y - 1558, 16*y + v*m = 12*y + 2064. Is 8 a factor of y?
False
Let h(g) = 508*g + 3*g**2 + 4*g**3 - 263*g - 12 - 252*g. Is 12 a factor of h(5)?
True
Suppose -5*s = -b - 26, -6*s + 4*b = -2*s - 24. Suppose 0 = -2*g - r + 361, 0*g - g = -s*r - 175. Suppose -29*n + g = -26*n. Is n a multiple of 24?
False
Let k = -19198 + 30664. Is 25 a factor of k?
False
Suppose -90*r - 68896 + 181450 = -209016. Is 4 a factor of r?
False
Let b be ((2 + 4)*1)/(3/2). Suppose -b*p + 3*p + 16 = -4*j, 10 = 2*j. Does 6 divide p?
True
Let h(s) = -14*s**3 + s**2 + 66*s + 278. Does 216 divide h(-11)?
False
Let r = 13 - 10. Suppose -r*k + 0*k = -6. Let c(s) = 2*s**2 + 2*s - 2. Is c(k) a multiple of 7?
False
Suppose 3*k - 1308 = -2*p, 2*p + 3*p + 2*k - 3248 = 0. Let l = -328 + p. Is l a multiple of 16?
True
Suppose -2*a + 32 = 2*a. Let p = 423 + -423. Suppose -a*k + p*k = -576. Does 8 divide k?
True
Suppose -6*x + 0*x + 102 = 0. Suppose -18*j + x*j - 5 = 0. Is -1*((-8 - -4) + j) even?
False
Let x(a) = -122*a**3 + 9*a**2 + 16*a + 5. Let u be x(-2). Let d = -466 + u. Does 6 divide d?
False
Let f = 11871 - 4391. Is f a multiple of 85?
True
Let o = 165 - 157. Suppose 4*j = o*j - 812. Does 24 divide j?
False
Suppose s + 7144 = 14*y - 13*y, -2*s - 35741 = -5*y. Does 66 divide y?
False
Let q = -4 + 5. Let f be (-24 - -1)/q - -4. Let c = -7 - f. Is 11 a factor of c?
False
Let b = -8 - -15. Let m = 10 - b. Suppose -m - 16 = -x. Is 4 a factor of x?
False
Suppose 2985 = -v + 3*i, v - i = -6*i - 3001. Does 8 divide (-8)/20 - (-1 + v/15)?
True
Let f be (-2 - 2) + 1 - (-72 - 0). Suppose 0 = -t + 4*t - f. Suppose 5*x = 4*o + 356, 126 = 2*x + 5*o - t. Is 9 a factor of x?
True
Suppose -2421 = -3*o + 708. Suppose -4*h - 1570 = -3*b, -5*h = 4*b - o - 1009. Suppose 0 = 4*l - 1542 + b. Is 35 a factor of l?
False
Suppose c + 5*y - 20988 = 0, 4*c - 75006 = -y + 9098. Is 14 a factor of c?
True
Let z = 11312 - 5472. Is z a multiple of 40?
True
Let t(k) = -32*k + 176. Let q be (-3)/24 + 1422/(-144). Does 31 divide t(q)?
True
Suppose -2*n = -5*y - 44, -3*y - 10 = 5*n + 4. Let l = 3 - y. Suppose l*i = 2*i + 162. Is 9 a factor of i?
True
Let a(v) = 2*v**2 - 14*v - 7. Let c be a(8). Suppose -7*d + 92 = -c*d. Is (-272)/(-9) + d/207 a multiple of 10?
True
Let u(q) = -4*q**3 - 4*q**2 - 18*q - 271. Does 11 divide u(-9)?
False
Suppose -15*s = -5*x - 20*s + 58325, 4*s - 11680 = -x. Is 55 a factor of x?
True
Let t(z) = 2803*z**2 + 21*z - 2. Does 17 divide t(1)?
True
Let z(v) = v**3 - 2*v**2 - 5*v - 6. Let b be z(4). Suppose -b*i + 1543 = -371. Does 32 divide i?
False
Let t = -600 + 600. Suppose t = 402*d - 395*d - 651. Is d a multiple of 5?
False
Let i = 80136 - 40920. Does 258 divide i?
True
Let w(a) = -43*a**3 - 2*a**2 + 18*a + 7. Let b be w(-3). Suppose -8*x + 4*x - 2*g + b = 0, 1068 = 4*x - 5*g. Is x a multiple of 16?
True
Is ((-479)/(-7) + 1)/(23/1449) a multiple of 111?
False
Suppose -44 = -4*c - 24, -5*j - 5*c + 44525 = 0. Does 10 divide j?
True
Let i(m) = -23*m - 16. Let s be (60/(-12))/(-1 - (-4)/5). Let p = -29 + s. Does 16 divide i(p)?
False
Suppose 2*a + 9*f = 5*f + 296, 432 = 3*a + 2*f. Let c = -151 - -251. Let g = a - c. Does 12 divide g?
False
Let i = -294 - 555. Let x = 1290 + i. Does 50 divide x?
False
Suppose 318414 = 29*v - 267657 + 96696. Is 128 a factor of v?
False
Suppose 42 + 53 = 5*p. Suppose 3*c 