. Let v be q(23). Is 9 a factor of v/(-49) - -425*2/14?
False
Let v = 1 + -5. Let t(y) = y**2. Let a(m) = m**3 - 2*m**2 - 2*m - 1. Let c(l) = -a(l) - 2*t(l). Is 19 a factor of c(v)?
True
Does 10 divide (1 - 2) + 85 + 5?
False
Suppose -2*h + 144 = -6*a + 7*a, -h = 3*a - 447. Is a a multiple of 2?
True
Suppose -2*r + 73 + 355 = -2*y, -4*r + 5*y = -860. Does 15 divide r?
True
Let u = -9 - -62. Is 19 a factor of u - -2*(3 + -2)?
False
Let q(d) = -71*d**3 + d**2 + d - 4. Does 17 divide q(-3)?
False
Suppose 9*p = 2165 + 5530. Is 19 a factor of p?
True
Suppose -2*x + 2*u = 1528, -2*u + u - 762 = x. Is (x/28)/((-2)/8) a multiple of 30?
False
Let d(v) be the first derivative of -2*v**2 + 2*v - 1/3*v**3 + 13. Is d(-4) even?
True
Suppose 0 = -0*l - l + 2. Suppose l*i + q = 2*q + 3, 4*q = 20. Suppose 4*b - 99 - 225 = i*m, -5*m = b - 63. Is b a multiple of 25?
False
Suppose 2*g + 900 = 2*v + 6*g, -5*v - 4*g = -2220. Does 88 divide v?
True
Let r be -2*(215/(-2) + -1). Suppose 5*j = r - 32. Is j a multiple of 4?
False
Let y(a) be the first derivative of a**3 + 2*a**2 - 9*a - 21. Does 41 divide y(6)?
True
Is 76 a factor of (33744/(-333))/(-1*2/3)?
True
Let q(o) = 1 + 5 - 3 - 16*o + 17*o**2 - o**3 - 4. Is q(15) a multiple of 35?
False
Let l = 88 + -78. Suppose c = l*c - 1080. Is 7 a factor of c?
False
Let a = -372 - -1116. Is 11 a factor of a/10 - (-6)/10?
False
Let z = 2092 + 625. Does 19 divide z?
True
Suppose -212*h - 1620 = -218*h. Is 5 a factor of h?
True
Does 6 divide 7 + (-6 - -71) - (-6 + 1)?
False
Suppose -115 = -3*z + 2*z. Suppose 0 = 4*s - 3*s - z. Is s a multiple of 23?
True
Is 65 a factor of 181800/117 + -6*1/(-39)?
False
Let t(q) = -q**3 - 12*q**2 - 21*q + 22. Suppose 99 = -4*l - 5*l. Does 44 divide t(l)?
True
Is ((-284)/28)/(1/(-7)) a multiple of 13?
False
Suppose 4*k - 300 = 180. Does 24 divide k?
True
Suppose l + 8 = -37. Let h be 1/5 - 171/l. Suppose h*m - 43 = 69. Is 8 a factor of m?
False
Does 22 divide (-32)/(-160) - (8757/(-15) + 0)?
False
Suppose -2*h = -6*w + 3*w + 164, 3*w + 5*h - 136 = 0. Suppose 3*t = -5*s + 46, -t - t + 2*s + w = 0. Suppose 0 = -z + t + 31. Is 19 a factor of z?
False
Suppose 19*r = 349 + 27334. Is r a multiple of 39?
False
Let m = 254 + 24. Let l be 1 + 2 + m/2. Let g = l + -90. Does 13 divide g?
True
Let q = 116 + -112. Suppose -z = -30 + q. Is z a multiple of 10?
False
Let q be 7/(-14)*(-11 + 1). Let a(o) = 8*o - 2 + 8 + 15*o - 7*o**2 + q*o**2. Is a(10) a multiple of 13?
False
Suppose 2*c - 7*c = -25. Suppose q + c = 2*m - 28, 0 = -4*m - 4*q + 72. Is m even?
False
Suppose 3*n + 3*q = 6*q - 3, -4*n - 12 = 4*q. Let i be 4 + (12 + -3)/3. Let f = i + n. Is f a multiple of 5?
True
Let r(z) = 8*z**2 - 3*z - 3. Suppose -4*j = -m + 8, -2*j + 2 = -3*j - 4*m. Let c be r(j). Suppose 0 = -2*y - 9 - 1, y = 2*a - c. Is a a multiple of 5?
True
Let m be -8*(-36)/8*-1. Does 3 divide (-27)/m + 423/12?
True
Does 25 divide -8*30*(-90)/12?
True
Suppose 2*m + m - 2*z = 25, 0 = 4*m - 2*z - 32. Suppose 83 = 2*t + m. Is t a multiple of 19?
True
Suppose 37*n = 28*n + 756. Does 21 divide n?
True
Let u = 10 + -7. Is 5 a factor of 50*u*(-1)/(-6)?
True
Let m(c) = c**3 - 6*c**2 + 14*c + 4. Let d(v) = -v**3 + 6*v**2 - 13*v - 3. Let o(x) = -7*d(x) - 6*m(x). Does 3 divide o(5)?
False
Let u(i) = -7*i**2 - i + 1. Let j be u(-2). Let v = 47 + j. Does 7 divide v?
False
Let l be 16/(-28)*42/(-4). Suppose l*s - 116 = 4*s. Is 17 a factor of s?
False
Let k = -112 + -5. Let s be ((-4)/(-6))/((-26)/k). Suppose 3*c + 2*l + 50 = 7*c, -65 = -4*c - s*l. Does 14 divide c?
True
Let k = -47 - -103. Suppose -65 = -5*w - 5*z, 5*w - 4*z - k = 3*w. Does 6 divide w?
True
Let n = -11 - -13. Is 4/2*33/n a multiple of 6?
False
Let k(z) = -3*z + 8. Let i(w) = -7*w + 16. Let c(g) = -3*i(g) + 5*k(g). Let u be c(-8). Let q = u - -95. Does 13 divide q?
True
Let r be (-1265)/(-22)*8/10. Let o = -2 - -6. Let j = r - o. Is j a multiple of 14?
True
Suppose -2*c + 355 + 93 = -4*f, 0 = 3*c + 5*f - 683. Is c a multiple of 11?
False
Let c be (-2)/8 - (-330)/40. Let u(t) = t**3 - 8*t**2 + 16*t + 10. Does 23 divide u(c)?
True
Is 30 a factor of (-13 - -1) + (-5526)/(-3)?
True
Let w(s) = -7*s + 4*s + 5*s - 46 + 3*s. Is 6 a factor of w(15)?
False
Let r(n) = -n**3 + 7*n**2 + 4*n - 1. Let g be r(7). Let k be 6/(-2)*72/g. Let v = 35 + k. Is 5 a factor of v?
False
Let j = 181 - -21. Is j a multiple of 10?
False
Is 12 a factor of (16/(-8))/((-2)/22)?
False
Suppose -k = -5*c + 740, -4*k + 110 = c - 17. Is c a multiple of 16?
False
Let d be (-3 - (-28)/8) + 37/(-2). Is 28 a factor of (-1004)/d + ((-96)/54)/(-8)?
True
Let f(j) be the second derivative of j**4/12 + 3*j**2/2 - 5*j. Let k(o) = o. Let u(d) = f(d) - 4*k(d). Is u(10) a multiple of 20?
False
Suppose 0 = 3*i - 3, i - 1373 = -5*o + 3*i. Suppose -2*j + 157 = -o. Is 18 a factor of j?
True
Suppose -b - 3*l + 329 = 0, 0 = -3*b + 6*b + l - 1011. Is b even?
True
Let r = 95 + 10. Is r a multiple of 3?
True
Let r(h) = -h**3 - 23*h**2 - 21*h + 17. Let w be r(-22). Let l(c) = -c**3 - 2*c**2 - 8*c - 15. Is 20 a factor of l(w)?
True
Let j = 554 + -245. Let z = j - 193. Is z a multiple of 12?
False
Suppose 17*q = 16*q - 3. Let n(l) = -25*l - 5. Does 27 divide n(q)?
False
Let y be (144/54)/(127/(-129) - -1). Is y/10*(1 - 12/(-8)) a multiple of 13?
False
Suppose -4*z + j = 77, 0 = -3*z + 5*z - j + 39. Is z/((-6)/(-66)*-1) a multiple of 52?
False
Suppose -336 = -5*p + 3*y + 154, 4*y = 0. Let m = p + -71. Does 6 divide m?
False
Let c = -4 + 9. Let k(b) = b**2 + 8*b + 2. Let r be k(-8). Suppose -c*f - r*v = 2*v - 142, -8 = 4*v. Is f a multiple of 10?
True
Let m(z) = -19*z**2 + 128*z - 11. Is 7 a factor of m(5)?
True
Let q(w) = 43*w + 570. Does 19 divide q(-9)?
False
Let p be (-8)/(-1 - 3) + -3. Is 24 a factor of (-718)/(-6) + (-4)/(-3) + p?
True
Let x be 10/25 - 159/(-15). Let a = -56 + x. Is 22 a factor of 2/(-10) + (-1674)/a?
False
Suppose 4*t + 4 = 4*v, -6*t - 2 = 4*v - 4*t. Let h be (v - -1)*(1 + -8). Let a = h - -14. Is 4 a factor of a?
False
Let b(x) = 10*x**2 - 4. Is 13 a factor of b(-2)?
False
Let z(w) = w**3 - 7*w**2 - 6*w - 11. Let s be z(8). Suppose 2*p + s*v = 7*v + 48, -3*v = p - 8. Is p a multiple of 5?
True
Suppose 0*h - 11 = -h - 3*m, 3*m - 15 = 0. Is 41 a factor of (-247 - -1)*(h - (-14)/4)?
True
Let o(i) = 2*i**3 - 3*i**2 + 2. Let w be o(1). Let u(n) = 140*n**3 - 2*n**2 + 3*n - 2. Does 7 divide u(w)?
False
Suppose 8*b + 152 = 4*b. Is (b + (3 - 6))*-1 a multiple of 5?
False
Let n(p) = 4*p - 26. Let o be n(7). Suppose -2*h + 60 = -4*b, o*h - 3*b = -2*b + 69. Is 18 a factor of h?
True
Let v be 39/6*(-6)/1. Let y(h) = -h**3 + 41*h**2 - 79*h - 31. Let k be y(39). Let m = v - k. Is m a multiple of 14?
False
Suppose 0 = -2*b + 1 + 3. Suppose -b*z - z = -12. Suppose z = -i + 17. Is 4 a factor of i?
False
Suppose 684 + 2016 = 5*t. Suppose 4*g - 3*u - 810 = g, -2*u + t = 2*g. Suppose 3*n - g = -2*n. Does 9 divide n?
True
Suppose b - 7 - 52 = 0. Is b a multiple of 3?
False
Suppose -6*a + 16879 = 1567. Is a a multiple of 46?
False
Let o = 392 + 237. Suppose 0 = 4*m + 5*r - o, -m - r = -0*m - 156. Is 18 a factor of m?
False
Suppose 0 = 5*z + 4*a + 11, 2*z + 4 = 4*a - 6. Does 39 divide z + (200 - (-8)/(-8 + 4))?
True
Let w(k) = -k - 11. Let y be w(-13). Let d = -2 - -20. Is y/4*2 + d a multiple of 19?
True
Let y(b) = 10*b - 6. Suppose -2*s - 2*d = 0, 2*s + d = -2*s - 12. Let t(x) = x + 1. Let q(w) = s*t(w) - y(w). Is q(-4) a multiple of 25?
False
Let n = 303 - 39. Is n a multiple of 11?
True
Suppose -31 = p - 606. Is p a multiple of 23?
True
Let l(s) = -s**3 + 6*s**2 - 5*s + 4. Let b be l(5). Does 5 divide (-2)/b + 26*(-26)/(-8)?
False
Suppose 5*r + 3 = 4*r, 2*b = 4*r + 5058. Is b a multiple of 97?
False
Let q(r) = 2*r - 20. Let x be q(10). Suppose 3*t - 4*k - 276 = -x*k, -372 = -4*t + 4*k. Is 10 a factor of t?
False
Let i(y) = 3*y**2 - 12*y + 7. Let q be i(6). Suppose 3*f + 2*s - 10 - q = 0, 2*f = -2*s + 38. Is 15 a factor of f?
True
Let k(v) be the third derivative of -v**5/60 + 5*v**4/12 - 31*v**3/6 + 3*v**2. Let y be k(13). Is 7 a factor of (27/(-15))/(7/y)?
False
Suppose -450 = 6*l + 450. Let m = l - -277. Is m a multiple of 35?
False
Suppose 3*g - b = 4, -4*g + 26 + 1 = 3*b. Is 2 a factor of 32/8 + -1 + g?
True
Let k(t) = 5*t**3 + 7*t + 6. Do