= -2*q. Suppose q*t - 30*t = -84. Is t a multiple of 14?
True
Let w(t) = t**3 + 14*t**2 + 13*t + 23. Let v be w(-13). Let i = v + 19. Is 21 a factor of i?
True
Suppose -5*b + 3*o = -13511, -o = -337*b + 341*b - 10802. Is b a multiple of 56?
False
Let u be (0 + 2)*44/8. Let j = u - 11. Suppose 4*b = -j*b + 92. Does 8 divide b?
False
Let j be 12/20 - (-108)/20. Is j*(-2)/3 - -68 a multiple of 12?
False
Let q be (-6)/(-15) - (-8)/5. Let t(x) = 7*x**2 - 1 - q - 4*x**2 + 3*x. Is t(3) a multiple of 14?
False
Does 24 divide 220 + -4 + (-12)/(-3) + 6?
False
Suppose 3*n - 12 = -3*k, n + 3*k - 10 = -0. Suppose 0 = 3*p - 3*u + 1 + 2, 1 = 3*p - 2*u. Is 1116/4*n/p a multiple of 25?
False
Let n = 127 + -122. Suppose 5*y + 9*k - 420 = n*k, 2*k = -2*y + 170. Is 40 a factor of y?
True
Let a(i) = -i**3 + 9*i**2 + i - 7. Let v be a(9). Suppose -9 = -3*o + v*j, -16 = -5*o - 5*j + 24. Let h(m) = 2*m**2 + 2. Does 14 divide h(o)?
False
Suppose -5*i + 255 = -5*a, 267 - 5 = 5*i + 2*a. Let f = -18 + i. Does 9 divide f?
False
Let d(w) = -19*w + 15. Let m(v) = 1. Let s(u) = d(u) - 3*m(u). Is 18 a factor of s(-6)?
True
Suppose 3*a + 4*j = 318, 4*a + 2*j = 7*a - 318. Let y = 138 - a. Does 8 divide y?
True
Let s be 3 + -6 - 13*-32. Suppose -b - 4*b + 3*h + s = 0, -330 = -4*b + 2*h. Is 28 a factor of b?
False
Suppose 3*t + 49 - 1291 = 0. Let o = t + -690. Is 10 a factor of ((-1)/(-3))/((-4)/o)?
False
Let h = 1958 - 1230. Does 91 divide h?
True
Let k = -19 - -31. Suppose -2*s - k = -3*j + s, 8 = -2*j - 2*s. Let h(a) = a**2 - a + 26. Does 26 divide h(j)?
True
Suppose 4*h - 6888 = -6*g, -2*g = 5*h + g - 8610. Is 41 a factor of h?
True
Let u = -25 - -26. Suppose -4*i = -u - 19. Suppose -3*j + f = -14, -3 - 19 = -i*j + f. Is 4 a factor of j?
True
Let x(k) = -2*k + 2. Let o(v) = v**3 - 2*v**2 - 3*v. Let g(d) = 2*d**3 - d**2 - 4*d - 1. Let b(p) = 2*g(p) - 3*o(p). Let m be b(-4). Is 7 a factor of x(m)?
True
Let h(w) be the first derivative of w**3/3 + 5*w**2/2 - 2*w + 2. Let g be h(-6). Suppose -b = g*b - 275. Is 26 a factor of b?
False
Let o be ((-2)/(-6))/((-3)/72*-1). Suppose 196 = -4*u + o*u. Does 49 divide u?
True
Suppose -64*n - 2256 = -66*n. Is n a multiple of 12?
True
Let y(i) = -80*i - 408. Is 69 a factor of y(-12)?
True
Let n = -7 - -5. Does 3 divide (4 - 2)/n*-23?
False
Let z be 0 + 2 + (2 - 2). Let o = 405 + -269. Suppose 5*w - z*n = 161, 0 = -w + 5*w - 4*n - o. Is w a multiple of 9?
False
Let u(h) = -14*h - 6. Suppose l = k + 2, -2*l + 0*k - 2*k + 24 = 0. Let p be u(l). Let d = -61 - p. Is d a multiple of 15?
False
Suppose -8*b + 4620 = -b. Is b a multiple of 55?
True
Let h = 872 + -755. Is h a multiple of 9?
True
Let r(t) = -t**2 + 4*t - 4. Let i be r(2). Is -2*15/(-1 + i) a multiple of 10?
True
Let v(q) be the third derivative of -q**5/60 + 5*q**4/6 + 19*q**3/6 - 21*q**2. Is 11 a factor of v(11)?
False
Let m(k) be the third derivative of -k**4/6 + 2*k**3 + 11*k**2. Is m(-7) a multiple of 8?
True
Let f be (4/(16/(-34)))/(2/(-4)). Suppose -3*c + f = y - 3, y - 6 = -c. Does 7 divide c?
True
Suppose -5*a - d = -2385, a - 7*d = -10*d + 491. Is a a multiple of 4?
True
Let c(v) be the third derivative of -v**6/120 - 11*v**5/60 - 13*v**4/24 - 13*v**3/6 + 3*v**2. Is c(-10) a multiple of 6?
False
Does 11 divide (-2)/(-4) - (-6490)/20?
False
Let m(v) = 21 + v**2 + 5*v + 2*v + v. Let y be m(-15). Suppose 8 + 0 = 4*z, 5*o - y = 2*z. Is 13 a factor of o?
True
Let j(d) = 5*d - 20. Suppose -2*c + 6 = -4*n - 4, 4*n = 5*c - 25. Suppose c*i - 41 = 9. Is 22 a factor of j(i)?
False
Is ((-81)/(-9) + -6)*(-700)/(-6) a multiple of 25?
True
Let y(q) = -q**3 - 8*q**2 - 7*q - 2. Is y(-12) a multiple of 14?
True
Let c = 106 - -34. Does 7 divide c?
True
Suppose 2*f + 2 - 6 = 0. Suppose -2*o = -f*n + 16, 0 = -2*n + n - o - 2. Suppose -n*v = -95 - 73. Is v a multiple of 8?
True
Let v = -12 - -50. Suppose -v + 282 = 4*o. Is o a multiple of 16?
False
Let s = 1385 - -1020. Does 13 divide s?
True
Let a(t) = t**3 - 3*t**2 - 4*t + 2. Let p be a(4). Suppose 437 = 5*z - 3*n, 0 = 3*z - 4*n - 175 - 96. Suppose z = p*r + d - 81, 3*r - 259 = d. Does 35 divide r?
False
Let y(z) = 22*z**3 - 14*z**2 + 23*z - 31. Does 16 divide y(6)?
False
Let z = 18 + -17. Suppose 2 = -q - b, 0*b = -2*q - b - z. Is 3/q - (-32 + 5) a multiple of 8?
False
Let t be (3 + -2 - -3) + 0. Let w = 33 + 106. Suppose 3*z + 184 - 37 = t*u, -4*u = 5*z - w. Is u a multiple of 18?
True
Is 39 a factor of 24/(-30) + (-788)/(-10)?
True
Let l(a) = -a**3 - 7*a**2 - 7*a - 4. Suppose -5*z = -5*b - 5, -2 = b - 5*z - 21. Let x be l(b). Suppose x*g - 124 = -0*g. Does 12 divide g?
False
Let n = 4 + 39. Let b = -22 + n. Is b a multiple of 21?
True
Is 5 a factor of (-125)/150 - (-905)/6?
True
Let k(i) = 4*i - 3. Let b be k(2). Let l be ((-3)/5)/(1/b). Does 13 divide -2 - 1*(l + -32)?
False
Suppose 2*k + 4*o = 232, -5*o + 565 = 24*k - 19*k. Is 10 a factor of k?
True
Let a(r) = r**3 + 25*r**2 + 4*r + 24. Is 7 a factor of a(-15)?
False
Let h(k) = -3*k**2 + 5*k + 8. Let x(d) = -10*d**2 + 15*d + 24. Let j(s) = -7*h(s) + 2*x(s). Let u be j(4). Let q = 15 + u. Does 3 divide q?
True
Let d = -4620 - -6506. Does 46 divide d?
True
Let k(o) = -23*o + 3. Let n(q) = -2*q + 13. Let r be n(10). Let p be k(r). Let v = p - 112. Is 17 a factor of v?
False
Let n be ((-180)/(-42))/(1/(-7)). Let d = n + 24. Let z = d + 28. Does 5 divide z?
False
Suppose -10*q + 870 = 19*q. Is 3 a factor of q?
True
Suppose -3*u + 15 = -6. Suppose 3*o - 660 = -u*o. Is 6 a factor of o?
True
Suppose -12835 = -5*f - 2*u, -33*f + 29*f - 5*u + 10285 = 0. Is f a multiple of 15?
True
Let y(r) = r**3 + 4*r**2 - 20*r - 24. Let w be y(-7). Is 10 a factor of (0 - w/(-4))/(32/(-128))?
False
Let k be 926/9 - (-1 - (-24)/27). Suppose -63 - k = -2*b. Does 28 divide b?
False
Let y = 1389 - 929. Let z = y - 308. Is 38 a factor of z?
True
Suppose -16*w + 7392 = -0*w. Is w a multiple of 33?
True
Let v(b) = b**3 + 9*b**2 - 14*b - 5. Let n be v(-10). Let z be (n/14)/((-1)/(-2)). Suppose -z*r = -r - 12. Is 2 a factor of r?
False
Let y = -9097 - -13049. Does 104 divide y?
True
Let n(u) = u**2 + 11*u - 4. Let z be n(-12). Let a be -1 - 1 - (-4 - z). Suppose -3*y - w + 2*w = -10, y + w - a = 0. Is 5 a factor of y?
True
Let q = 67 - -155. Let m = q + -138. Is 4 a factor of m?
True
Let b(x) = x**2 - x + 2. Let v be b(2). Suppose -v*o + 16 = -2*o. Suppose -4*f + 76 = o. Is f a multiple of 5?
False
Is 7 a factor of (10/(-15))/((-4)/396) - -3?
False
Let j = -24 - -12. Let v = j + 15. Is 11 a factor of 147/14*8/v?
False
Is 49 a factor of 110/(-22) - ((-2)/2 + -249)?
True
Let v = -152 + 291. Suppose -l - v = -58. Let h = l + 128. Is 16 a factor of h?
False
Let i(k) = k**3 - 4*k**2 + 6*k + 20. Is i(6) a multiple of 4?
True
Let q = -228 - -263. Is q a multiple of 26?
False
Let f be ((-18)/4)/(6/8). Suppose -60 = 4*u - 7*u. Is f/(-1 + 14/u) a multiple of 10?
True
Let q(u) = 7*u + 9*u - 2*u - 3*u. Let h be 1*(-3 + 3) + 2. Is q(h) a multiple of 6?
False
Let q = -136 + 277. Is q a multiple of 69?
False
Let y = 1923 + -527. Does 16 divide y?
False
Suppose 3*i - 8*a = -4*a + 6555, -5*a = 3*i - 6555. Is 19 a factor of i?
True
Is 35 a factor of 7/((-105)/(-670))*15?
False
Suppose t = j + 827, 5*j + 738 = -4*t + 4019. Is 44 a factor of t?
False
Let u(m) = m**2 - 2*m. Let i be u(2). Suppose -c + 180 = 2*n, -5*c + 882 = -i*c + 4*n. Let k = c + -117. Is k a multiple of 21?
False
Is 5290/20 - (-2)/(-4) a multiple of 4?
True
Suppose -19 = 2*l - 3*l - 4*v, 4*l - 31 = -v. Suppose -5*g + 147 = z, -3*z = 5*g - l*g - 390. Is z a multiple of 44?
True
Let o be ((-4)/(0 - 2))/(-2). Is 8 a factor of (-28)/(-8)*(-14)/o?
False
Let m = -44 + 94. Suppose 5*y - m = -2*x, -96 + 4 = -5*x + 4*y. Is 20 a factor of x?
True
Let j be 24*(3 - (-48)/9). Suppose -p - j = -11*p. Is 5 a factor of p?
True
Suppose u - 3319 = 1002. Does 29 divide u?
True
Let l(s) = 3*s**2 - 33*s + 174. Does 9 divide l(19)?
True
Let c(q) = -q**2 - 12*q - 6. Let w be c(-17). Let f = w + 165. Is 9 a factor of f?
False
Let u(w) = w**3 + 7*w**2 + 6*w + 2. Let q be u(-6). Let d = q - -14. Is 11 a factor of d?
False
Does 7 divide 0 - -2 - 3 - (-145 + 1)?
False
Suppose 3 = 5*m + 3*y - 32, 0 = 2*m - 3*y - 35. Is (-508)/(-5) + -3 + 34/m a multiple of 51?
True
Let t(s) = 4*s**2 - 10*s - 51. Is t