of v(l)?
True
Suppose -10504 = -6*s + 10682. Does 63 divide s?
False
Let u(b) = -b**3 - 8*b**2 + 7*b - 1. Let s = 107 - 90. Suppose 0 = -2*w - s - 1. Is u(w) a multiple of 16?
False
Suppose 0*q = -q - 14. Let i = -32 - q. Let l(g) = g**2 + 17*g + 24. Is 16 a factor of l(i)?
False
Let z = 5052 - 4635. Is z a multiple of 9?
False
Let b = 24409 - 10417. Is 24 a factor of b?
True
Suppose 2*a - 4*i = 12, -3*i - 14 + 2 = -2*a. Suppose -r = 4*j - 39, -a = -0*j - j - 4*r. Suppose 79*p - 81*p + j = 0. Does 3 divide p?
False
Let d = -27 - -460. Let t = -48 + d. Does 5 divide t?
True
Suppose 1385 + 7303 = 2*x. Does 24 divide x?
True
Suppose -g + 3*g + 5*z = 15, -3*z + 9 = -3*g. Suppose g = i + 11 - 34. Suppose 2*c - 47 = i. Does 13 divide c?
False
Is 65*(-3 - (1 - (218 - -5))) a multiple of 39?
True
Suppose -3*s - 4 = 2. Let o be 2 - s/(6/9). Suppose -270 = -o*b + 270. Does 27 divide b?
True
Let d(u) be the third derivative of -23*u**4/24 - 103*u**3/6 + u**2 - 76*u. Does 38 divide d(-21)?
True
Let c = 11123 - 6804. Is c a multiple of 13?
False
Suppose 5*y - 3*v = -563, -3*v - 31 + 364 = -3*y. Let f = y + 995. Is f a multiple of 44?
True
Let o(z) = 3*z**3 + 9*z - 18. Let w be o(2). Suppose 20*x - w*x + 12 = 0. Is x a multiple of 2?
False
Suppose -26935 = -68*p + 157224 + 172161. Is 40 a factor of p?
True
Let h(x) = -795*x - 472. Does 18 divide h(-26)?
False
Let y be ((40/6)/(-5))/((-7)/21). Suppose 2*i + y*i - 84 = 0. Is i a multiple of 14?
True
Let x(y) = -y**2 - 12*y + 7. Let h be x(-13). Let t(l) = -26*l - 13. Let f be t(h). Let k = f + -55. Is k a multiple of 22?
True
Suppose 222079 + 75926 = 15*l. Suppose 0 = -47*q + 11388 + l. Is 19 a factor of q?
True
Let f = 643 + -641. Suppose 0 = f*l - 5*q - 166, -4*l + q + 30 = -284. Is 3 a factor of l?
True
Suppose -4*h + 58 + 22 = 0. Suppose -10*z - h = -20*z. Is 21 a factor of (64 - (-1 - -2))/(z/2)?
True
Let z be (-3 - (-3 - -5)) + 3 + 183. Let w = z - 157. Is 15 a factor of w?
False
Let x(r) be the third derivative of r**5/10 - r**4/8 + 31*r**3/6 + 8*r**2 - 1. Does 40 divide x(8)?
False
Let t be (-54)/(-14) - (-45)/315. Let q(m) = 8*m + 17. Is 21 a factor of q(t)?
False
Suppose 2*d = 5*a - 106367, -31*d - 106371 = -5*a - 30*d. Is a a multiple of 19?
False
Suppose 6*o + 17735 + 11119 = 0. Let l = -2986 - o. Is 13 a factor of l?
False
Let l(g) = g**3 - 21*g**2 + 27*g + 32. Let c be l(20). Let m = 219 - c. Is m a multiple of 29?
False
Suppose 43261 + 4727 = 23*o - 16665. Does 5 divide o?
False
Is 44/(-132) + 5/(30/273146) a multiple of 19?
True
Let q(m) = m**3 - 5*m**2 + 2*m - 8. Let n be q(5). Suppose 737 = 5*c - 2*c - 2*f, -n*f = -4. Is c a multiple of 13?
True
Is 1998/(-15)*1750/(-75) a multiple of 84?
True
Let l(s) = s**3 - 7*s**2 + 6*s + 3. Let g be l(6). Does 28 divide (-7*(-229 - g))/2?
True
Suppose 540 = 7*q + 162. Let v(y) = 97 - 49 - q + 11*y. Is 6 a factor of v(8)?
False
Let f = 29057 + -20825. Does 84 divide f?
True
Let n(p) = 2*p**2 - 34*p + 5. Let s be n(17). Let u(j) = 7*j - 11. Let t be u(s). Let f = 33 - t. Is 9 a factor of f?
True
Let d(m) = 11*m**2 + 36*m + 10. Let r(s) = 2*s**2 + 28*s + 44. Let q be r(-12). Does 2 divide d(q)?
True
Suppose 2*i = 12, 0 = 3*g - 71*i + 68*i - 7365. Is g a multiple of 4?
False
Suppose 22 = 2*l + 42. Let n(w) = -41*w - 42. Does 49 divide n(l)?
False
Let o be 0 + ((-240)/(-56) - 2/7). Let i be 6 + (-4 + -4)/o. Suppose 4*a - c - 2 = 92, -i*c + 128 = 5*a. Is 6 a factor of a?
True
Let i(t) = 4*t + 36. Let s = -67 - -59. Let x be i(s). Suppose -x*g - 2*j = -122, 3*g - j - 97 = 3*j. Does 2 divide g?
False
Let x(n) = -31*n + 73. Let l be x(-5). Suppose -5*w + 548 = h, -16*h = 2*w - 20*h - l. Is w a multiple of 5?
True
Let h(t) = -32*t + 164. Let z be h(5). Suppose -b - 2 = 0, -z*r + 8*b = 6*b - 692. Does 3 divide r?
False
Let k(x) = 5*x + 48. Let g(y) = 2*y - 18. Let j be g(9). Let l be k(j). Suppose -294 - l = -3*m. Is 40 a factor of m?
False
Let m(n) = -17 - n**3 - 11 + 26 + 0*n**3 + 3*n**2. Let r be m(4). Let i = 49 + r. Is i a multiple of 8?
False
Let c(a) = -2222*a**3 - 5*a**2 - 13*a - 7. Is c(-1) a multiple of 3?
True
Let q = 38 + -133. Let j = q + 188. Suppose 117 = 2*m - j. Is 10 a factor of m?
False
Suppose -8614 = -2*j - n, -4*j - 9*n + 14*n = -17186. Is 64 a factor of j?
False
Let a = 52522 - 18450. Suppose a = 34*q - 12848. Is 92 a factor of q?
True
Suppose 4*y - 285 = -5*b, -y - b + 59 + 11 = 0. Let a be (-1)/1*(-3 - -4) + y. Suppose -3*i = -v + a, -4 = -v - i + 56. Does 8 divide v?
False
Let c(s) = -3*s + 21. Let g be c(6). Suppose -186 = -g*b + 3*m, 0*b + 5*m - 293 = -4*b. Let k = -59 + b. Is k a multiple of 8?
True
Let f be (-4 - -257) + 6 + 0. Is (5 - f)*(-18)/12 a multiple of 9?
False
Let i(g) = 6*g - 2. Let s be i(1). Suppose -b = 4*z + 2*b - 340, s*z + 5*b - 332 = 0. Is 22 a factor of z?
True
Let f be -2 + (-138)/(-15) - (-3)/(-15). Let o be (-2)/f - (-1684)/14. Suppose 0*y - o = -2*y - 5*x, 0 = 5*y - 3*x - 269. Does 11 divide y?
True
Let k(c) = -204*c**3 + 23*c**2 + 8*c + 1. Does 11 divide k(-3)?
False
Suppose 154*y = -4*n + 159*y + 11753, -2*y = -n + 2939. Is n a multiple of 8?
False
Suppose 19*m - 23*m + 96288 = 4*m. Is m a multiple of 179?
False
Suppose -20*l + 30 = -10*l. Let b be 1/l*(-189)/(-45)*5. Suppose 0 = -4*v - b*v + 528. Is 9 a factor of v?
False
Suppose 5*p + 3*x - 40 = -x, -3*x + 15 = 0. Does 7 divide (1495/(-230))/((-2)/p)?
False
Suppose 12*l + 4198 = 14*l - 53640. Is l a multiple of 239?
True
Suppose -o - 187*c + 184*c = -21462, -3*o + 64452 = -2*c. Is o a multiple of 23?
False
Let n = 5485 + -3579. Is 38 a factor of n?
False
Let a(c) = 3776*c + 784. Does 26 divide a(8)?
True
Suppose -6 = 8*x - 11*x. Suppose m + 5*z = 510, -x*z - 117 - 372 = -m. Suppose 5*d - 3*d = 4*i - 660, -3*i + 5*d + m = 0. Is 13 a factor of i?
False
Let n(s) = s**2 + 8*s + 5. Suppose 7*o + 71 = 15. Let g be n(o). Suppose -13*m = -g*m - 320. Does 10 divide m?
True
Let t(c) = 12*c**2 - 5*c + 4. Let y be t(1). Suppose 6*b + 2455 = 5*r + y*b, -2*b = -r + 482. Is 43 a factor of r?
False
Let n = -10162 + 20074. Does 8 divide n?
True
Let j = 293 - 60. Let g = j + -196. Is 22 a factor of g?
False
Suppose 3*g - 827 = -3*o + 5*g, o - 269 = 4*g. Let i be o/(-2)*4/(-2). Let k = i - 163. Does 38 divide k?
True
Let z(p) = -10857*p + 1110. Is 6 a factor of z(-2)?
True
Suppose -2118 = -27*g - 606. Does 7 divide g?
True
Suppose -k = -4*f - 4*k - 105, -2*k = 5*f + 133. Let z be -10 + 13 + (2 - f). Let j = 38 - z. Is 6 a factor of j?
True
Let a = 65 + 25. Is 21 a factor of 3 + (a/(-25))/((-9)/780)?
True
Let z(g) = -g**3 + 2*g**2 + g + 1. Let w(c) = 19*c**2 - 24*c - 37. Let j(n) = w(n) - z(n). Is j(-18) a multiple of 8?
True
Suppose 11*k - 13*k + 6 = 0. Let n(d) = 4 - d + 2*d**k - 2*d**2 - d**2 + 4*d. Does 25 divide n(4)?
False
Suppose -6*o + 13*o - 147 = 0. Suppose 4*p + q = o, -2*p - 4*q - 7 = -21. Suppose -352 = p*y - 9*y. Does 11 divide y?
True
Let x(i) be the first derivative of 3*i**2/2 - 7*i - 21. Let s be x(2). Is 16 a factor of s*(3 + -2) - -33?
True
Suppose 46921 + 77959 = -11*w + 25*w. Is w a multiple of 40?
True
Let b(q) = 2*q - 11. Let a be b(8). Let n = 1413 - 1413. Suppose n*u - a*u = -230. Does 8 divide u?
False
Let c(k) = 9*k - 77. Let v be c(8). Is 20 a factor of v + 145 - (0 - -4)?
False
Suppose -10 = -21*x + 74. Suppose x*k = t + 3312, 0 = -5*k + 6*t - 2*t + 4140. Is 21 a factor of k?
False
Suppose 5*h = 2*o - 1, -2*h + 2 = -3*o + o. Let t be (-4 - h) + 4/2*6. Is 20 a factor of ((-200)/(-6))/(3/t)?
True
Let q(f) = -f**3 + f**2 + f - 10. Let w be q(-6). Let t = 34 + w. Is 18 a factor of t?
True
Suppose 26*b - 21*b = 245. Suppose 48*n - b*n + 3 = 0. Suppose -n*t + 25 = -50. Is t a multiple of 5?
True
Let f(z) = z**2 + 9. Let b(j) = j - 2. Let q be b(-4). Let n be f(q). Suppose 0*g = g - n. Is 10 a factor of g?
False
Let d be ((-12)/1)/4 + 7 + -106. Let l = -102 - d. Suppose l = -3*y - 7*n + 3*n + 146, 2*y + 5*n - 88 = 0. Is y a multiple of 27?
True
Let g(m) = -612*m - 336. Is 29 a factor of g(-18)?
False
Let t(v) = -2*v**2 + 5*v + 5. Let d be t(3). Does 57 divide (200/25)/(d/114)?
True
Does 25 divide (-1980188)/(-392) + (-6)/4?
True
Let x(h) = -69*h**2 - 5*h + 70*h**2 - 23 + 12*h - 1. Suppose 5*t = 0, -3*a = -0*a + 3*t - 15. Does 12 divide x(a)?
True
Supp