 a multiple of 4?
False
Suppose -6*k - 580 = -g - 4*k, 4*k - 1690 = -3*g. Is g a multiple of 15?
True
Let w(j) be the third derivative of 53*j**5/30 + j**4/24 - 15*j**2. Is w(-1) a multiple of 48?
False
Let m(i) be the first derivative of 5*i**2/2 + 15*i + 28. Is m(5) a multiple of 3?
False
Let n be (2 + -1)/1*13. Suppose 2*s + 2*s + s = 0. Suppose -j + 2*j - n = s. Is 8 a factor of j?
False
Let o be -2*(-5 + 2) + -2. Suppose -3*p - 168 = -2*j, j - 427 = -o*j + 4*p. Is j a multiple of 9?
False
Let w = -8 + 22. Let p = 23 + w. Is p a multiple of 37?
True
Let f(z) = 3*z**2 - z**3 + 8*z + 18 + 14*z**2 - 9*z**2. Is 9 a factor of f(9)?
True
Suppose -3*b = 5*n + 15, -3*b - 15 = -7*n + 2*n. Suppose -i + 50 - 16 = n. Is 7 a factor of i?
False
Let u = 424 - 282. Suppose -4*r - 3*w = -u, -r = -0*r - w - 32. Is 4 a factor of r?
False
Suppose p = 2*o + 3, -14 = -2*o - 4*p - 2. Suppose o = -5*m + 17 + 148. Is 3 a factor of m?
True
Suppose -5*z + 15 = 5*w, -4*z + 9 = -z - 2*w. Suppose 0 = 2*a + 2*y - 152, -190 = -z*a + 5*y + 30. Does 14 divide a?
False
Let i = -87 - -70. Let o = i - -40. Does 6 divide o?
False
Suppose 0*x = -4*s + 4*x - 688, 2*s + 3*x = -369. Let m = -89 - s. Does 8 divide m?
True
Let p = 1368 - 1225. Is p a multiple of 19?
False
Suppose 4*k = -2*k + 18. Suppose 3*u + k = 0, -o + 3*u + 188 = -0*o. Is o a multiple of 37?
True
Suppose q - 6*q = 4*w + 14, q = -2*w - 4. Is (-3 - w) + 3 + 111 a multiple of 28?
True
Let r(j) = 12*j + 6. Let n be r(-2). Let g = n - -30. Does 5 divide g?
False
Suppose f = 17*f + 2224. Let b = -104 - f. Is b a multiple of 11?
False
Let y be 4 + -3 + 4*-3. Let l = -7 - y. Suppose l*v - 104 + 40 = 0. Does 4 divide v?
True
Let g = 58 + -52. Let j = 1 - 3. Is 8 a factor of (19/j)/((-3)/g)?
False
Let k(z) = 7*z - 2. Let a be k(-1). Let w be 3/a + 1/3. Suppose 3*x + w - 9 = 0. Is x a multiple of 2?
False
Let m be 1 - (-2 - 0 - 2). Suppose 0 = 4*t - 3*t + 4*u + 5, -5*u = m*t - 50. Suppose -2*q + 2*n + 4 + 14 = 0, -t = -3*n. Does 7 divide q?
True
Suppose 5*f = f + 1008. Let a be -2*(-3 - (87 - 2)). Let w = f - a. Is w a multiple of 19?
True
Suppose 17*b - 12*b - 300 = 0. Suppose 0 = -4*w + 5*w - b. Is w a multiple of 15?
True
Let f(u) be the third derivative of 0*u - 6*u**2 + 0*u**3 + 7/24*u**4 + 0. Does 21 divide f(3)?
True
Suppose 2079 = 2*m + 3*v - 716, -m + 2*v + 1408 = 0. Is m a multiple of 8?
False
Suppose 0 = -x + 35 - 5. Suppose -c = -61 + x. Does 20 divide c?
False
Let f = 664 - -584. Is f a multiple of 32?
True
Let t(m) = -m**3 - 4*m**2 + 2*m + 3. Let j be t(-4). Let y(u) = 36*u + 2. Let n be y(j). Does 24 divide ((-12)/8 - -1)*n?
False
Suppose -5*y - 3 = -68. Let x = 59 - y. Does 6 divide x?
False
Suppose y + 4*y + 3738 = -2*p, 2964 = -4*y + 5*p. Is (-5)/(35/y) + 36/(-63) a multiple of 13?
False
Let d = -961 - -1857. Is d a multiple of 7?
True
Suppose -12*q + 13*q = 0. Suppose -228 + q = -4*u. Does 21 divide u?
False
Suppose 11*c + v - 1681 = 6*c, -4*c + 2*v + 1342 = 0. Is c a multiple of 84?
True
Let z(s) = 8*s + 20. Suppose -1 = 6*x - 13. Suppose -5 - 19 = -3*r - x*t, 2*t = -5*r + 36. Does 14 divide z(r)?
False
Let c = 200 - 283. Let r = c + 105. Does 4 divide r?
False
Let u(w) = 5*w**3 - w**2 + 2*w - 1. Let a be u(1). Suppose 4*n - k + 3*k + 164 = 0, 2*n + a*k + 74 = 0. Does 12 divide n*(-1)/2 + 3?
True
Let d(l) = l**2 - 4*l - 4. Let m be d(5). Suppose -3*x = -5*s + m, 5*x - 10 = -5*s + 15. Suppose 3*n = -7*u + 3*u + 4, -4 = s*u. Is n a multiple of 2?
True
Suppose -14 = -3*c - 4*c. Suppose -7*b + 130 = -c*b. Let w = b - 17. Is 5 a factor of w?
False
Suppose -6 = -51*t + 54*t. Is 66 + t + (-10 - -11) a multiple of 5?
True
Let q be 3 + -8 + 5 - -98. Let m = q - -12. Does 10 divide m?
True
Does 42 divide (-195638)/(-207) + (-2)/18?
False
Suppose -11*n + 760 = -3*n. Suppose -n = -4*w - w. Is w a multiple of 5?
False
Suppose 0*f - 842 = -4*j - 3*f, 4*j = 2*f + 832. Is j a multiple of 19?
True
Let d(m) = m**3 - m + 1. Let s(z) = -7*z**3 + 13*z**2 + 18*z + 9. Let a(i) = -6*d(i) - s(i). Suppose -v - 19*v + 280 = 0. Is 4 a factor of a(v)?
False
Let d be (-19)/114 - 649/(-6). Suppose -5*h = -8*h + d. Is 9 a factor of h?
True
Let v = 1 + 3. Suppose -v*j + 3*l = -14, 4*j + 7*l = 3*l. Suppose j*q - 23 = -5*g, 4 + 20 = 4*g - 4*q. Is g even?
False
Is 20 a factor of (-9 + 7)*(-3879)/18?
False
Suppose 2*r - 4*r - 58 = 4*v, r - 5*v = -15. Let h = 69 + r. Does 3 divide h?
False
Suppose 3*o = 5*m + 5 - 58, -2*o + 2*m - 34 = 0. Let i be (9/(-6))/(12/o). Suppose -i*p + 3*n + n = -140, 3*n - 165 = -3*p. Is 15 a factor of p?
True
Let g(j) = j**2 - 2*j - 10. Suppose -b = z + 10, 4*z + 4*b - 3*b = -28. Is 19 a factor of g(z)?
True
Is 6 + (-16 - -6)*1 - -796 a multiple of 22?
True
Let i be (-4 - (-5 + 2)) + 5. Suppose -i*x = -0*x - 116. Is x even?
False
Let c = -61 + 124. Suppose -c = -3*s + 30. Is s a multiple of 21?
False
Let q(b) = 23*b - 1. Let m(p) = p**3 + p**2 - 2*p + 1. Let c be m(1). Is 11 a factor of q(c)?
True
Let m(r) = r**2 + 19*r - 27. Is m(-22) a multiple of 10?
False
Let y = 833 + -753. Is 8 a factor of y?
True
Suppose 4*m - 36076 = -4*q, -4*m - 4*q + 5*q = -36081. Is m/90 + (-4)/18 a multiple of 25?
True
Let c be (-30)/(-6) + (-3 - -1). Suppose 0*s = -4*m - c*s + 108, 2*m - 2*s - 54 = 0. Is m a multiple of 16?
False
Let r(o) = 5*o**2 + 42*o - 56. Is 100 a factor of r(8)?
True
Does 21 divide 4 - 1077/(-8 + 5)?
False
Let j(d) be the third derivative of -d**6/120 + 7*d**5/60 - d**4/3 - d**3 - 78*d**2. Let u be ((-10)/(-1))/2*1. Does 4 divide j(u)?
True
Let s(d) be the first derivative of d**3/3 - 3*d**2/2 - 4*d - 2. Suppose 19*v - 15*v = 5*l - 37, 0 = -3*v - l - 4. Does 7 divide s(v)?
True
Suppose 3*p - 4*w - 17 = -5*w, -3*p - 2*w + 13 = 0. Does 9 divide (284/(p - 3))/((-3)/(-3))?
False
Is -509*(6/(-12) - 35/10) a multiple of 33?
False
Let p(h) = h**2 - 2*h - 12. Let y be p(5). Suppose 6*t = y*t + 231. Is t a multiple of 11?
True
Let q = -159 - -61. Let i = q - -138. Is 8 a factor of i?
True
Let f(w) be the second derivative of -w**7/840 - 7*w**6/360 - w**5/15 + w**4/8 + 2*w**3/3 - 2*w. Let n(v) be the second derivative of f(v). Does 8 divide n(-6)?
False
Let m be (9/9)/((-10)/9 - -1). Is (1 + 285/m)*(-6)/4 a multiple of 23?
True
Let z be (31*1)/(2/4). Let i = -30 + z. Is 16 a factor of i?
True
Let r(g) = g**2 + 14*g + 2. Let n be r(-15). Let a = 73 - n. Is a a multiple of 7?
True
Let v = -83 - -40. Let q = v + 48. Is q a multiple of 3?
False
Let a(l) = l - 5. Let c be a(5). Let b = c + 3. Suppose 0 = -n - b*n + 128. Is 16 a factor of n?
True
Let j(m) = -105*m - 224. Is 22 a factor of j(-8)?
True
Suppose -5*d - 11 + 36 = 0. Suppose -2*y - 93 = -d*y + 5*l, 5*l + 145 = 5*y. Let f = y - 15. Does 6 divide f?
False
Let n be ((-9)/6)/((-18)/192). Let c = 20 - n. Suppose 39 = -c*q + 5*q. Does 11 divide q?
False
Suppose -6*v + 3*v + i = -3015, -i = -2*v + 2010. Is v a multiple of 11?
False
Let l = 1 - 1. Let a = -90 - -135. Suppose -2*c + 24 = 2*c + 4*u, 4*c - 3*u - a = l. Is c a multiple of 9?
True
Let i = 668 - -410. Is i a multiple of 14?
True
Let l be 8/2*(1 + 0). Let s(z) = -z**3 + 23*z**2 + 10*z + 38. Let t be s(23). Suppose 3*c = 5*a - 492, c - t = -l*a + 112. Does 32 divide a?
True
Let i(l) = -7*l. Let t(v) = -8*v. Let h(d) = 8*i(d) - 6*t(d). Let q be ((-32)/(-24))/(2/(-6)). Is h(q) a multiple of 10?
False
Suppose 4*n = 8 + 8. Suppose -i + 19 = -0*i + n*s, 0 = s - 1. Is i a multiple of 4?
False
Let x(t) be the second derivative of t**5/20 - 7*t**4/12 - 7*t**3/6 - 9*t**2/2 - 5*t. Does 19 divide x(9)?
False
Does 24 divide 1206/2 - 9/(54/30)?
False
Let b(x) = -2*x**3 + 6*x**2 + 6*x + 11. Let f(g) = -g**2 + g - 1. Let l(u) = b(u) + 3*f(u). Does 35 divide l(-5)?
False
Let w = -4265 - -9041. Suppose -21*d + w = -1104. Does 43 divide d?
False
Let w = 114 + 69. Is w a multiple of 28?
False
Suppose 2*i = 1092 - 84. Suppose 7*l = l + i. Is l a multiple of 7?
True
Suppose -10625 = 2*g - 12319. Is g a multiple of 7?
True
Let d(y) = -y**3 + 40*y**2 - 24*y - 160. Is d(39) a multiple of 5?
True
Is ((-2)/(-30)*9)/(3/885) a multiple of 46?
False
Is 37 a factor of ((-12054)/196)/(3/(-32))?
False
Let b(u) be the second derivative of 3*u + 0 - 3/2*u**2 + 2/3*u**3. Does 12 divide b(11)?
False
Let q be (-2 + -2)/2 - -5. Suppose 3*m = 5*k +