9. Let g = t + j. Is 13 a factor of g?
False
Let r be (-2)/((-12)/(-3))*-4. Is 9 a factor of 63/r - 4/8?
False
Let a = -13 - -29. Suppose 2*y - 3*q - 2*q + a = 0, 2*q = -3*y + 14. Suppose -y*s = -0*s - 12. Is 3 a factor of s?
True
Let k be 5 - 3 - 5 - -8. Let n(v) = 6*v**2 - 7*v + 0*v**2 - 3*v**2 + 6. Is 13 a factor of n(k)?
False
Is 17/51 + 71/3 a multiple of 12?
True
Suppose -46 = 5*c - 2*i, -4*i + 15 = -2*c - 13. Does 3 divide (3/(-2))/(4/c)?
True
Let v be 0*(-2)/(-4 - 0). Suppose -2*k = -2*l + 2, -3*k = -v*l - 4*l + 8. Does 2 divide k?
True
Let j = 19 + -16. Suppose -j*g + 11 = 3*u - 4, 2 = -2*g. Is u a multiple of 2?
True
Is 14 a factor of (-8 - -1 - -3) + 64?
False
Let y be (-5 + 4)/(1/(-13)). Suppose 4*t + 3*x = 5, -2*t + 5*t = -4*x + 9. Let s = y - t. Does 6 divide s?
False
Suppose 96 = a + 3*a - 4*m, 4*a + 2*m = 108. Is a a multiple of 26?
True
Let t(m) = -m**2 + 5*m - 6. Let s be t(4). Let f be 45/2 + 3/s. Suppose 5*i + f - 136 = 0. Is 15 a factor of i?
False
Let p = 9 - 6. Suppose -x = -q - 3, 2*x - p*q = 3*x - 3. Suppose -x*n + 27 = -21. Is 12 a factor of n?
False
Let g(o) = 14*o + 144. Does 18 divide g(0)?
True
Let v(k) = k**2 - 3*k + 8. Is v(6) a multiple of 13?
True
Suppose -2*i + 56 = -0*i. Suppose 2*r - 25 = -r - 2*u, -u - i = -3*r. Is 9 a factor of r?
True
Let u(z) = -z**3 - 4*z**2 + 4*z + 9. Does 16 divide u(-6)?
False
Let g = 5 - -42. Is g a multiple of 7?
False
Suppose -2*g - 3 - 9 = 0. Does 13 divide ((-2)/4)/(g/156)?
True
Let s be 2/(-4) - 184/(-16). Let f = s - 1. Is f a multiple of 6?
False
Let a(q) = -31*q + 13. Is 13 a factor of a(-5)?
False
Let c(v) = v - 4. Let i be c(8). Is 220/8 - 2/i a multiple of 9?
True
Let i(o) = -2 - o**2 + 3*o + 0 - 2*o**2 + 2*o**2. Let f be i(2). Suppose 5*v - 35 = -f*v. Does 5 divide v?
False
Suppose 3*f = 6, -2*y + 4 = f + 18. Let p(r) = r**3 + 8*r**2 - 2*r - 7. Let o be p(y). Suppose -n - 35 = -5*w - 0*n, 2*w - 5*n = -o. Is w a multiple of 4?
True
Let v(b) = -b**3 - 15*b**2 - 32*b - 12. Is v(-14) a multiple of 40?
True
Suppose -10 = -3*n - 2*n. Suppose 0 = 7*x - 2*x - 20, 0 = 2*b - n*x - 106. Let q = b - 32. Is 11 a factor of q?
False
Let j = -11 + 11. Is 2/(j - (-1)/14) a multiple of 11?
False
Let g = -9 + 7. Let u = 8 + g. Does 6 divide u?
True
Let a(z) = -10*z**3 - 4*z**2 - 3*z - 2. Is 17 a factor of a(-2)?
True
Let u(y) = -2*y - 1. Let c be u(-3). Let n(q) = -6*q + 7. Let p(k) = k. Let t(r) = -n(r) + 3*p(r). Does 18 divide t(c)?
False
Suppose -a + 4*a = 24. Let j be 2/(-2) + -2 + a. Let h(v) = 5*v + 5. Is h(j) a multiple of 15?
True
Let l(v) be the second derivative of -7*v**3/6 - 2*v**2 - 3*v. Is l(-3) a multiple of 11?
False
Suppose -17 = -3*i - 5. Suppose j - 148 = -2*d - 2*d, -2*d = i*j - 88. Is d a multiple of 12?
True
Let r(b) be the second derivative of 0 - 1/2*b**2 - 43/6*b**3 + b. Is 21 a factor of r(-1)?
True
Let d = 91 + 34. Suppose -5*l + 27 = 3*i - 32, 5*i = -3*l + d. Is i a multiple of 14?
True
Suppose -3*m + 15 = 0, 0 = 4*t + 2*m - 63 - 227. Is 17 a factor of t?
False
Let f = 185 - 132. Is 16 a factor of f?
False
Suppose 0 = -4*h - 2*w + 64, 7*h - 2*w = 5*h + 26. Let y = 145 - h. Is y/3 + 6/9 a multiple of 16?
False
Suppose -2*m = 2*o - 6, 2*m + 0 = o - 3. Suppose h + 3*d - 26 = -2*d, o*d - 3 = 0. Is h a multiple of 6?
False
Suppose -6*v = -2*v - 108. Does 4 divide v?
False
Let f = 122 - 71. Let p = -27 + f. Does 10 divide p?
False
Suppose -2*r - 600 = -12*r. Is 60 a factor of r?
True
Suppose 33 = -m + 109. Is 13 a factor of m?
False
Suppose -5*d = -7 - 13. Is 91/3 + d/(-12) a multiple of 15?
True
Let v be 2 - (2 - 0/3). Let d = v - 0. Suppose 5*g - 2*k = 100, 4*k + d = g - 2. Is 15 a factor of g?
False
Suppose k = h - 3 + 4, k = 5*h - 7. Suppose -93 = -h*x - 7. Is 22 a factor of x?
False
Suppose 2*o = o + 20. Suppose 0 = -4*b + 30 + 2. Let w = o - b. Is w a multiple of 12?
True
Let d = 20 + -9. Is d a multiple of 3?
False
Let k be (-160)/(-26) + 4/(-26). Let c(x) = 10*x**2 - 4*x - 3*x + k*x - x - 1. Is c(2) a multiple of 13?
False
Suppose y + 5 = 3. Is 6*(-5)/y - 0 a multiple of 15?
True
Let f(n) = -55*n + 7. Let c(m) = -56*m + 6. Let q(p) = -7*c(p) + 6*f(p). Let y be q(2). Suppose -y = -4*v - 3*z, 5*v = 4*z + 86 + 69. Is v a multiple of 15?
False
Let q = -9 + 14. Suppose q*d - 3 = 17. Is d even?
True
Let y be ((-30)/(-9) + -3)*3. Let f be (6 - 1) + y/(-1). Suppose -3*z + 40 = f*x, -4*z = -2*x - 9*z + 20. Is 10 a factor of x?
True
Does 13 divide -6 + (-3 - -4) + 100?
False
Let n = 33 - -39. Is 9 a factor of n?
True
Let l = -49 + 134. Is l a multiple of 17?
True
Let c(o) = -o**3 + 10*o**2 - 10*o + 3. Let t be (-2 - -5)*8/3. Is c(t) a multiple of 17?
True
Suppose 92 = 3*h - h + 2*j, 3*j = -4*h + 181. Does 4 divide h?
False
Let o = -140 + 260. Suppose -t = -5*t - o. Does 15 divide (-1)/(32/t + 1)?
True
Let h(u) = -2*u**3 - 4*u**2 - 3*u. Is h(-2) even?
True
Suppose -2*i + 4*v = -744, -v = -0*v - 1. Is 34 a factor of i?
True
Let t(u) be the third derivative of u**4/24 + 3*u**3/2 - 6*u**2. Let l(m) = m - 7. Let w be l(0). Does 2 divide t(w)?
True
Let i(p) = 5*p**2 - 6*p + 1. Let l(q) = q**2 - q + 1. Let t(c) = i(c) - 4*l(c). Let z be (6/(-9))/((-6)/45). Is 12 a factor of t(z)?
True
Let p = -7 + 11. Let m = p - -3. Is 2 a factor of m?
False
Let d be 0/((-2 - 2) + 3). Suppose d*a + 55 = a. Does 15 divide a?
False
Let c be 1/((-78)/(-27) + -3). Is (-56)/c + 8/(-36) a multiple of 6?
True
Suppose -2*t + 4*s = -10 - 2, t + 2*s - 6 = 0. Let p = 0 + t. Is 4 a factor of p?
False
Let l(y) = y**3 + 10*y**2 + 10*y - 2. Let q be 3 - 1*(-2 + 12). Is 25 a factor of l(q)?
True
Let t(h) = h + 5. Let l be t(-3). Suppose -7 = -l*p - 5*v, 5*p - v = -2*v + 52. Is p a multiple of 3?
False
Let x(z) = 6*z**2 + 3*z - 3. Is x(2) even?
False
Let g = -2 - -7. Let z(v) = -v**3 + 5*v**2 + 6*v - 3. Let b be z(g). Suppose b + 13 = 2*c - 5*i, 0 = -c + 5*i + 30. Is c a multiple of 8?
False
Let s = 2 + -4. Let j be s/2 - -3 - -25. Suppose -5*k + j = -53. Is 8 a factor of k?
True
Suppose -7*d + 3*d + 12 = 0. Is (-3)/(-9)*d*2 even?
True
Let l(y) be the second derivative of -2*y**3/3 + 5*y**2/2 + 4*y. Does 10 divide l(-4)?
False
Let l(p) = 3*p - p - 3*p**2 + 1 + 0 - 2*p**3. Let j be l(-3). Suppose -23 - j = -5*z. Does 9 divide z?
True
Suppose 3*j + 3*x - 30 = 0, -4*j - 2*x + 33 = -17. Is j a multiple of 6?
False
Suppose -5*g + 8*g - 93 = 0. Does 8 divide g?
False
Suppose -5 = -y, -5*y = -u - y - 120. Suppose 226 = -5*q - 4. Let a = q - u. Does 16 divide a?
False
Does 12 divide 6/(2 + 1) - (4 - 30)?
False
Suppose -3*x + 5 = -1. Is (-48 - 2)/(x*-1) a multiple of 9?
False
Let j(i) be the third derivative of -i**5/60 - 11*i**4/24 + 7*i**3/6 + 4*i**2. Let u be ((3 - 25)/1)/2. Does 7 divide j(u)?
True
Let j(f) = -9*f - 15. Does 13 divide j(-7)?
False
Let b = -83 + 126. Does 18 divide b?
False
Let w(g) = g**3 - 9*g**2 + 10*g - 7. Let r be w(8). Suppose -y + 10 + r = 3*u, -115 = -5*y + 5*u. Does 11 divide y?
True
Let v be ((-69)/(2 - -1))/(-1). Let m = 44 - v. Is 9 a factor of m?
False
Let j(v) = v**2 + 4*v - 9. Is 21 a factor of j(5)?
False
Suppose a = -a - q, q - 12 = 4*a. Let r(p) = -4*p**3 + 4*p**2 + 4*p + 2. Is r(a) a multiple of 15?
False
Suppose h = 2*h - 7. Let u = 6 - h. Is (-4 - u)*40/(-6) a multiple of 12?
False
Let u(o) be the first derivative of -5*o**2/2 - 6*o + 3. Does 14 divide u(-4)?
True
Let u = 139 + -202. Let y = 93 + u. Is y a multiple of 10?
True
Let f = 8 - 5. Suppose -f*c - 96 = -2*t - 3*t, -2*t - c = -34. Is 9 a factor of t?
True
Let k(g) = 3*g - 5. Suppose z + z - 10 = 0. Let s be k(z). Let i = 15 - s. Is i a multiple of 3?
False
Let c = 172 + -130. Does 14 divide c?
True
Let b(w) = 3*w**2 - w. Let z be b(-1). Suppose z*g - 20 = -8. Suppose g*h + 3*j - 45 = 0, -h + 3*j = 3*h - 46. Does 13 divide h?
True
Suppose -20 = 2*u + 3*u, -4*v + 468 = -5*u. Is 11 a factor of v?
False
Let c be (-2 - 0 - -4) + -2. Suppose -2*o - 2 = -c*o. Is 7 a factor of (-3)/(9/(-57)) + o?
False
Let s = 92 - 90. Does 2 divide s?
True
Let k(t) = -3*t + 5. Is 12 a factor of k(-8)?
False
Let q(h) = h**3 + 2*h**2 - 2*h - 1. Let d be q(-2). Suppose -d*u = 15, 5*p + 3*u - 3 = -8. Is 6 a factor of (-17)/(p/(-4 + 2))?
False
Let v = 21 - 18. Is 10 a factor of ((-60)/(-9))/(1/v)?
True
Let y = -103 + 188. Suppose 0*r + y = 5*