of j(2)?
False
Suppose -4*c = -2*z - 26, -c - 3*c + 4*z + 32 = 0. Suppose -s = -p - 19 + 58, -s = -c*p + 215. Is p a multiple of 22?
True
Let z be 3*(-8)/12 + 4. Suppose -3*n + 7 = 5*q - 1, -4*q - z*n = -8. Is 3 a factor of q?
False
Suppose -2*g + 3*g = 3*q - 10, -3*g = 5*q + 2. Let m = q + -10. Let y = m + 20. Is y a multiple of 11?
False
Let h = -39 - -70. Suppose -h = -2*d + d + x, -5*d + 4*x = -160. Is d a multiple of 12?
True
Let y = -9 - -13. Does 16 divide 715/22*y/5?
False
Is (-594)/(-21) + (-4)/14 a multiple of 14?
True
Let q = 27 - 11. Does 8 divide q?
True
Let i(k) = -5*k + 4. Let y(s) = -9*s + 8. Let c(m) = 5*i(m) - 3*y(m). Let w be c(3). Suppose 2*f + 4*r - 46 = f, w*r = 4*f - 112. Is f a multiple of 10?
True
Suppose -2*a - 2*w - 16 = 0, 5*a = -w - 2*w - 36. Let v(x) = x**3 + 7*x**2 - 6*x - 2. Let u be v(a). Suppose b = 4*j + 40, -j - j + u = 4*b. Is 7 a factor of b?
False
Let h(f) = -7*f**3 - f**2 - f. Is h(-1) even?
False
Suppose r + c + 65 = 309, 5*c = -4*r + 979. Is r a multiple of 15?
False
Suppose 0 = c - 3*p + 9, 3*c - p + 3 = -4*p. Let z be (-1)/(-3) - (-20)/12. Is z/((-6)/15)*c a multiple of 6?
False
Suppose 0 = -8*v + 25 + 263. Does 10 divide v?
False
Let g be 10/12*3*74. Suppose 5*w - g = 5*k, -2*w = -w - 5*k - 41. Does 18 divide w?
True
Suppose 2 = -p - 0. Does 17 divide 36 + (-2 - -2) + p?
True
Let h(d) = d**2 - 5*d + 6. Let l be h(4). Suppose -2*k - l*k = 0. Suppose k = 3*y + y - 80. Does 8 divide y?
False
Suppose -2*a + 4 + 8 = 0. Is a a multiple of 6?
True
Let l(b) = -b**2 + 7*b - 8. Let d be l(6). Let y = d + 7. Suppose m - 4*w + 9 = 0, -4*m = -3*w - y + 2. Is 3 a factor of m?
True
Let u(l) = -l**2 - 5*l + 2. Does 2 divide u(-4)?
True
Let o be 2 - (-3 + (1 - -1)). Suppose -4*x + 151 = o*q, 6*q - 2*x = q + 217. Does 14 divide q?
False
Let h = 1 - -15. Does 16 divide h?
True
Let a = -63 + 100. Does 27 divide a?
False
Suppose 7 = -2*k - 5. Is 9 a factor of 49 - (k + 2)/(-2)?
False
Let l(m) = -11*m**3 + m + 2*m**2 - 2*m - 4*m**2. Suppose 1 = -2*a + u - 4, -12 = -3*a - 5*u. Does 4 divide l(a)?
False
Let a(d) = -d**3 - 5*d**2 + 5*d + 6. Is 7 a factor of a(-7)?
False
Let i be 26/6 + 2/(-6). Let z(h) = h**2 - 6*h + 7. Let x be z(3). Does 2 divide -6 + i + (3 - x)?
False
Does 20 divide (-14)/91 - 782/(-13)?
True
Let b(h) = 4*h. Suppose 3*c + 0 + 9 = 0. Let a be 1*-1*(-1 + c). Is b(a) a multiple of 8?
True
Let t(k) = -13*k + 2. Let i be (-9)/6*4/3. Let y be t(i). Suppose -5*s = -3*s - y. Is s a multiple of 11?
False
Let n(a) = -a**3 + 4*a**2 + 3*a + 8. Is 4 a factor of n(4)?
True
Let j = -11 - -14. Is 15 a factor of 1*8*4 - j?
False
Let x = 5 - 3. Suppose 10 + 2 = -x*m. Let j(k) = 2*k**2 + 6*k + 6. Is j(m) a multiple of 17?
False
Does 13 divide 2 + 394/8 + (-3)/(-4)?
True
Let b be (-59)/(-4) + 1/4. Let i = 3 + b. Is i a multiple of 9?
True
Let j = 60 - -16. Does 10 divide j?
False
Suppose c - 192 = -3*c. Is 16 a factor of c?
True
Let u(n) be the second derivative of 0*n**2 + 5/4*n**5 + 0 - 1/12*n**4 + n + 0*n**3. Is 21 a factor of u(1)?
False
Let u be 5*7/((-105)/18). Let i(k) = k**2 + 5*k - 6. Let w be i(u). Suppose w = 2*y + y - 15. Does 4 divide y?
False
Let x(p) = p**2 + p - 3. Let c = 20 - 15. Is x(c) a multiple of 10?
False
Is 18 a factor of (2/(-5))/(9/(-1170))?
False
Let j(c) = 3 - 20*c + 22*c + c**2 + 5*c**2. Does 19 divide j(3)?
False
Suppose m = 4*m - 837. Suppose 39 = 4*a + m. Is 12 a factor of a*(9/15 - 1)?
True
Let f(i) = -i**2 - 17*i + 6. Is 24 a factor of f(-14)?
True
Let p be 3/(3 - 6) - -3. Suppose 312 = 4*u - n, -3*n - 78 = -p*u + u. Does 23 divide u?
False
Suppose -2*l - 3 = -l. Let v = l + 30. Is v a multiple of 9?
True
Suppose l = -6 + 52. Is l a multiple of 3?
False
Let q = 97 - 55. Suppose -q = -3*u - 15. Is u a multiple of 9?
True
Let o(u) = u**3 - 4*u**2 + u. Let n be o(4). Let m be (6/n)/(6/16). Suppose -r + m = -6. Is 10 a factor of r?
True
Suppose 5*q - 64 = q. Does 16 divide q?
True
Suppose -3*r + 5*r + 80 = 0. Is (2/4)/((-2)/r) a multiple of 7?
False
Does 6 divide (-16290)/(-240) + 30/(-16) + 2?
False
Suppose -2*l = -4*j + 8*j - 28, 3*j = 2*l + 35. Let i(d) = -2*d**2 + 4 + 11*d + d**2 + 0. Is 9 a factor of i(j)?
False
Let x(m) = -m**3 + 6*m**2 + 8*m - 2. Let t be x(7). Suppose -67 = -t*r + 88. Is 12 a factor of r?
False
Suppose -3*t + 5*r - 2 = -25, 5*r = t - 1. Let i = -50 + t. Is i/(-4) - (-3)/12 a multiple of 10?
True
Let k be (-1 - -5)*(7 - -4). Suppose -2*u + 0*u + k = 0. Is 11 a factor of u?
True
Suppose 5*z + 0*z = 0. Suppose -w + 3 + 1 = z. Suppose -w = -o + 9. Does 7 divide o?
False
Let a(z) = -44*z - 13. Is 47 a factor of a(-6)?
False
Suppose -4*u = 50 - 10. Let m = u - -6. Let h = -1 - m. Is h even?
False
Let o(x) = 6*x**2 - 3*x - 4. Is 3 a factor of o(3)?
False
Let a(r) = -5*r + 1. Let c be a(1). Let t = -2 - c. Suppose 0 = -4*u - 2*d + 50, -35 = t*u - 4*u + d. Does 15 divide u?
True
Suppose 2*z = 7*z - 15. Let k(q) = q + 5. Let o be k(-3). Suppose z*l - 50 = -o*l. Does 8 divide l?
False
Let v(l) = -47*l + 1. Does 12 divide v(-1)?
True
Suppose 4*f - 42 - 94 = 0. Let n(d) = d**3 + 3*d**2. Let q be n(-3). Let u = f + q. Is u a multiple of 17?
True
Let b be 2974/30 + (-4)/30. Let u = b + -47. Does 26 divide u?
True
Suppose -4*m + 14 = 5*w, 3*w - 12 = -w - 3*m. Let t = w - 18. Is (-220)/t + 2/3 a multiple of 14?
False
Suppose -2*s + 86 = g - 2, s - 50 = g. Is 8 a factor of s?
False
Let x be (2 - 1)*39*-1. Let l be -1 + -19 + 2 + -1. Let t = l - x. Does 8 divide t?
False
Let m(i) = 4*i**2 + 6*i + 5. Let y be m(-4). Suppose o + 5*h - 19 = -y, 3*o = -h - 22. Is 14 a factor of 3/o - (-29)/2?
True
Suppose 13 = 3*l - 2*q - 4, 3*l + 4*q + 7 = 0. Suppose 0 = 3*c - l*z - 180, -30 = -c - 2*z + 21. Is 14 a factor of c?
False
Suppose -5*v + 5*d + 10 = 0, 2*d + 4 = -v - 0. Suppose 5*h - 3*h - 6 = v. Is 3 a factor of h?
True
Let u = 12 + -10. Suppose z - 2 = 4. Let j = z - u. Is j a multiple of 4?
True
Suppose -24 = -2*r + 4*n, -4*r + 2*n + 22 = -26. Is r a multiple of 4?
True
Suppose 4 = q, 104 = -4*m + 2*q + 3*q. Let x be ((-1)/3)/(1/m). Suppose 3 = -2*c + x. Is c even?
True
Suppose 8*f = 2 + 102. Is 2 a factor of f?
False
Let a(j) = -j**3 + 5*j**2 + 6*j + 2. Let c = 8 - 3. Suppose c = -s + 5*h, 2*s - 14 = -h - h. Does 16 divide a(s)?
True
Let v(f) = 2*f - 9. Is v(12) a multiple of 15?
True
Let u be 1/3 - (-15)/9. Let r(z) = z**u - z**3 - z + 4 - z**2. Does 3 divide r(0)?
False
Suppose 3*o = 4*o - 24. Is 12 a factor of o?
True
Let z = 0 + 3. Let v(a) = -a**2 + 4*a + 1. Let u be v(z). Suppose 5 + 7 = o - 5*y, 0 = u*y. Is o a multiple of 12?
True
Is 4 a factor of 12/(-9) + (-76)/(-3)?
True
Let b be 0*(-1)/(-2) - -261. Suppose -365 = -5*y + x, -b = -4*y - 4*x + 31. Is y a multiple of 16?
False
Suppose -5*t + 728 = 2*b - 65, -5*b - 5 = 0. Is t a multiple of 4?
False
Let a be (6 - (6 - 3))*-2. Let o(t) be the first derivative of -t**2/2 - t - 2. Is o(a) a multiple of 5?
True
Suppose 3*r = 5*m - 156, r + r - 56 = -2*m. Is 10 a factor of m?
True
Let y(c) = 5*c + 2. Let h be y(-2). Let q = -3 - -18. Let n = q + h. Does 6 divide n?
False
Let l be -20 + (-3 - -6) + 1. Suppose 3*h + 3 = 6*h. Does 10 divide h + (l/(-1) - -2)?
False
Let k(c) = -c + 3. Let f be k(9). Let h = 13 + f. Let j = 11 + h. Is 9 a factor of j?
True
Let p be 26/117 + (-50)/(-18). Does 16 divide p/(4/(-208)*-4)?
False
Let n(x) = 8*x. Let u be n(1). Let w(o) = o**3 - 8*o**2 + 2*o + 2. Is 9 a factor of w(u)?
True
Is 4 a factor of 1/(-3) + (-1044)/(-54)?
False
Let m = -121 + 177. Suppose -m = 10*u - 14*u. Does 9 divide u?
False
Suppose 30 = -3*x + x + 4*u, -3*x = -5*u + 41. Does 7 divide x/(-1 + (-2)/(-4))?
True
Suppose -225 = -3*i - 3*y, -4*i + 0*y - 3*y + 299 = 0. Is 16 a factor of i?
False
Let r = 92 + -20. Is 3 a factor of r?
True
Suppose -f + 18 = -j + 3*j, -3*f - 4*j + 48 = 0. Suppose f*n - 244 = 8*n. Is n a multiple of 16?
False
Let y(n) = 25*n - 1. Is y(1) a multiple of 24?
True
Let t = 5 - 3. Let c = t - 2. Suppose n = -0*n + 2*z + 12, -n + 3*z + 13 = c. Is 6 a factor of n?
False
Suppose -f + 172 = 4*j, 4*j = -f + 6*f + 196. Is j a multiple of 11?
True
Suppose 3*l + 1 = 4, 0 = 2*z - 2*l - 26. Suppose -z = -2*h + 32. Suppose h = 2*u - 4*c + 5, 3*c - 3 = 0. Is u a multiple of 5?
False
Suppose -o = 4*o - 170. Suppose -3*g = r - 4,