 -3 - -3. Suppose -530 = -2*j - a*j. Suppose 35 - j = -5*n. Is 23 a factor of n?
True
Suppose -4 + 1 = -w. Let g(z) = 8*z - 2. Let q(s) = 4*s - 1. Let p(c) = w*g(c) - 7*q(c). Is 13 a factor of p(-3)?
True
Let y = 28 + -19. Let a(k) = -18*k + 8*k - 5 + 17 + k**2. Does 2 divide a(y)?
False
Suppose i - 4*k - 59 = 0, 3*i + 71 = -4*k + 184. Is i a multiple of 6?
False
Suppose 5*m - 5 = -25. Let w = m - -9. Is w a multiple of 2?
False
Suppose 2*m = -2*i - 130, 0 = i - 0*i + 2*m + 64. Let r = i - -96. Is 13 a factor of r?
False
Let l(v) = 16*v**2 + 3*v - 2. Suppose -4*g = -5*c - 19, 4*g - c = 1 + 6. Is l(g) a multiple of 4?
False
Let s(g) = g + 15. Let k be s(-11). Suppose -w = 5*f - 9, k*f - 7 - 31 = -3*w. Does 7 divide w?
True
Suppose -2*m + 16 = y, -m = -4*y + 4*m - 1. Let k be (1/(-3))/(y/(-54)). Suppose -2*u + 131 = 3*u - h, 4*u - k*h - 107 = 0. Is u a multiple of 10?
False
Let n = 45 + 9. Is 14 a factor of n?
False
Suppose -5*q = 3*l - 570, 7*l - 3*l - q = 783. Is l a multiple of 39?
True
Let t be ((-1)/3)/(1/(-15)). Let q(m) = -m**2 - 10*m - 9. Let j be q(-6). Suppose t*w + j = 4*f + 6, 3*w - 9 = 0. Does 3 divide f?
True
Suppose 0*c + 24 = 2*c. Let f = c + -20. Is (-6)/8 - 246/f a multiple of 15?
True
Let t = 4 - 0. Suppose -5*g + 36 = a, -t*a - 2*g = -54 - 90. Is 12 a factor of a?
True
Let b be 43/5 + (-6)/(-15). Is (-138)/9*b/(-6) a multiple of 23?
True
Let v be (-4)/(-6)*3 - -1. Suppose 0 = -v*r - 0*r + 111. Does 14 divide r?
False
Is 0 - (-9)/(9/80) a multiple of 7?
False
Let f(x) = x**3 + 5*x**2 + 3*x - 3. Let l be f(-4). Suppose -5*m = 3*b - 68, 0 = -m - 0 + l. Is b a multiple of 7?
True
Suppose 0 = -0*v + 4*v + d - 18, d = 2. Suppose -2*a + 4*b = 3*b - 20, -v*a - 5*b + 54 = 0. Does 6 divide a?
False
Let k(m) = -2*m**2 - m + 5. Let j(d) = 3*d + d**2 - 2 - 3 - 2*d. Let v(q) = -3*j(q) - 2*k(q). Does 5 divide v(0)?
True
Let t be (-1 - -3)/(-2 + 3). Suppose 2*u + 10 = -4*i, 3*i + 0*i + 4*u = -20. Suppose 2*r + 4*s - 38 = i, 0 = -t*r + 5*r - 2*s - 57. Is r a multiple of 13?
False
Is (-6)/21 - (1788/21)/(-4) a multiple of 3?
True
Suppose 4*v = 2*v + 112. Let j = v - 20. Is j a multiple of 10?
False
Let c(i) = -i**3 - 7*i**2 - 7*i - 8. Let s be c(-6). Let a be 39/s*2/(-3). Suppose -y + a = -3. Does 16 divide y?
True
Suppose -w + 5*x = 4, 4*w - 5*x + 2*x = 1. Suppose 0 = f + w - 5. Does 4 divide f?
True
Suppose -4 = f + 4*y, -4*f + 3*f = 5*y + 7. Does 9 divide (-2)/f - 123/(-12)?
False
Suppose 2*t - 9 = v - 4*v, -t + 22 = 5*v. Let z be (-2 - -11)/t + -1. Is 3 a factor of (z + 3)*6/(-2)?
True
Suppose 5*o + 3*h - 118 = 0, -o + 2*h - 96 = -5*o. Does 10 divide o?
False
Suppose -3*u - 23 = -4*c, 4*u + 20 + 2 = c. Suppose -2*t - 3*t + 18 = 3*b, 5*t - 10 = 5*b. Suppose 0 = -4*g + 4*j + 8, t*g - 10 = j - c*j. Does 3 divide g?
True
Suppose -a = 3*i + a - 16, -4*a = -2*i + 16. Let y be (-6)/(i/40*2). Let j = -11 - y. Is j a multiple of 6?
False
Is 10/(-15) - ((-195)/9 + 2) a multiple of 2?
False
Suppose f - 27 = 2*u, -u = -f - 6*u + 34. Does 13 divide f?
False
Let x(o) = -2*o**2 - o + 2. Let r = -3 + 1. Let a be x(r). Does 18 divide 325/15 + a/6?
False
Suppose -85 + 13 = -3*h. Is h a multiple of 5?
False
Let j = -187 + 104. Let u = j - -141. Does 27 divide u?
False
Suppose -5*l - 3*g = -8*l + 198, -4*g + 114 = 2*l. Is 7 a factor of l?
True
Suppose 4*y = -0*y. Suppose 2*k = -2*g + 19 + 5, 3*k + 2*g - 40 = y. Is k a multiple of 16?
True
Suppose 0*m - 4*m + 52 = v, 0 = 2*m + 3*v - 36. Is 4 a factor of m?
True
Suppose 3*n - 4 = -n. Let t = 40 - n. Is t a multiple of 13?
True
Suppose -6*m + 4*m = -5*h + 114, 0 = 3*h - 5*m - 57. Does 4 divide h?
True
Let r(h) = -h**2 - 3*h + 7. Let m be r(-5). Let x be 19/m*(-4 + 1). Let q = -12 + x. Is q even?
False
Let i be (-1)/((-4 + 3)/6). Let m(c) = -c**2 + 6*c + 2. Let l be m(6). Let a = i - l. Is 4 a factor of a?
True
Let s be (6 - 6) + (-1 - -1). Suppose 2*a - 42 = -4*y, 4*y - y - 69 = -3*a. Suppose s = r - a - 7. Does 16 divide r?
True
Let q(r) = r**3 + 11*r**2 + 11*r + 15. Let t be q(-10). Suppose -5*m = 2*h + 21, -5 = t*h + 2*m + m. Does 13 divide (12/(-9))/(h/(-39))?
True
Let j(g) be the third derivative of -g**6/120 - 11*g**5/60 - 5*g**4/12 + 7*g**3/6 + 3*g**2. Does 3 divide j(-10)?
False
Suppose 46 = 3*w + 5*l, -2*w - 3*l + 30 = -0*l. Let a = -10 + w. Is a a multiple of 2?
True
Suppose -4*z - 10 = -3*z. Let s = z - -19. Does 8 divide s?
False
Let z = 7 - 11. Let t(y) = y**3 + 5*y**2 - 3*y - 6. Is 6 a factor of t(z)?
False
Let k(s) = 4*s + 3. Let m be k(5). Let h = m + -12. Is h a multiple of 6?
False
Let n(o) = -8*o**2 + 3*o**3 - 2*o**3 - o + 2 + 7*o**2. Let t be n(0). Is 1/(-2) - (-19)/t a multiple of 9?
True
Let r(k) = k**2 - 6*k + 3. Suppose 0 = 4*p + a - 19, 0 = 2*p - 7*p + 5*a + 30. Let s be r(p). Is 9 a factor of 9 + (-2 + 2)/s?
True
Let d = 6 + -1. Let p(c) = -c**3 + 5*c**2 - c + 7. Let k be p(d). Suppose -9 = 5*n - k*b - 53, -2*b = 4*n - 46. Does 10 divide n?
True
Let m(q) = -25*q**3 - 2*q - 1. Suppose -9 + 1 = -4*l. Suppose 2*t + 0 = -l. Is m(t) a multiple of 13?
True
Let r(s) = s**2 - 2*s - 5. Let b(k) = -k**2 + 3*k + 4. Let f(i) = 7*b(i) + 6*r(i). Is 6 a factor of f(6)?
False
Let z(g) = 3*g + 0*g**3 - 3 - 5*g**2 - 4*g**3 + 6*g**3 - g**3. Let m be z(6). Suppose -w = -3*p - 6*w + 159, -p = w - m. Is 16 a factor of p?
True
Suppose -8*f = -3*f - 90. Is f a multiple of 2?
True
Suppose n - 57 = -10. Is 12 a factor of n?
False
Let u = 3 + -2. Does 4 divide (-44)/(-12) + u/3?
True
Let y = -322 + 518. Is y a multiple of 14?
True
Let a(s) = -s**2 + s + 7 - 6*s - 3*s. Does 7 divide a(-8)?
True
Suppose -8 + 76 = -4*n. Let a(h) = 3*h**3 + 2*h. Let k be a(-2). Let t = n - k. Does 4 divide t?
False
Is (210/4)/(-3*2/(-12)) a multiple of 35?
True
Let h = 9 + -1. Let z = h + -6. Suppose -s = -z*s + 17. Is s a multiple of 12?
False
Suppose 133 = 2*a - 35. Suppose -4*q = a - 212. Does 17 divide q?
False
Let c = -7 - -11. Suppose -5*b - 4*o + 42 = -3*b, -c*b + 3*o + 51 = 0. Does 5 divide b?
True
Let f be (-1)/3*(1 + 5). Is f - (0 - 1)*89 a multiple of 22?
False
Suppose -2*a + 4*a + n = -7, a = -5*n - 26. Suppose t = 5*t - 4. Does 9 divide a/((-3)/42)*t?
False
Let v(m) = 3 + 2 + 3 - 3*m - 5*m - m**2. Is v(-8) a multiple of 4?
True
Let o(q) = q + 13. Let y be o(-11). Suppose 3*f + 53 = 4*p + 323, 4*p = y*f - 180. Is f/6 - (-1)/(-1) a multiple of 7?
True
Let x = -150 + 268. Is x a multiple of 15?
False
Let a(b) be the third derivative of -b**6/120 + b**5/10 + b**3 - 3*b**2. Is a(6) a multiple of 6?
True
Let f = -69 - -201. Suppose -3*j - j = -f. Suppose 3*n - j - 22 = -5*p, -5*p = -2*n - 30. Does 4 divide p?
True
Suppose 256 = 5*z - 694. Is 16 a factor of z?
False
Let x = -5 + 14. Suppose -2*d - i = -x - 15, -43 = -3*d + 2*i. Is 13 a factor of d?
True
Let l(i) = 3*i - 4. Let q be l(6). Let r = -6 + 15. Let p = q - r. Is 5 a factor of p?
True
Let f = 141 + -17. Does 9 divide f?
False
Suppose -23 = -3*j + 25. Let m be j/(-12)*9/(-2). Let t = m - -8. Is 14 a factor of t?
True
Let m(f) = 31*f + 11. Let j(i) = -15*i - 5. Let u(x) = 7*j(x) + 3*m(x). Let d(b) = -b**2 + 3*b + 2. Let c be d(4). Does 11 divide u(c)?
True
Let u be 5/10*4/2. Suppose 3*g = 2*g + u. Does 12 divide g - (-1*13 + 2)?
True
Let i(k) = -4*k - 2 - 2*k + 5*k + 3*k. Does 3 divide i(5)?
False
Let f = 8 - 1. Suppose 3*v + 204 = f*v. Does 19 divide v?
False
Let d(g) = -g**2 - 7*g - 5. Let k be d(-5). Suppose k*b + 10 = 145. Is 16 a factor of b?
False
Suppose -3*c = -5*x + 43, 5*c + 2 = -3. Is 3 a factor of x?
False
Let w(u) = -u**2 - 7*u - 6. Does 4 divide w(-5)?
True
Suppose -5*j = t - 6, 0 = -5*t + j + 3 + 27. Is t a multiple of 6?
True
Let o(n) = -15*n + 33. Is o(-6) a multiple of 20?
False
Let z(c) = c**2 + c - 20. Does 17 divide z(-13)?
True
Let h(d) = 2*d**2 - 2*d + 2. Let t be h(1). Let l(o) = o**2 + 1. Let i(n) = -11*n**2 + 3*n - 1. Let r(p) = -i(p) - l(p). Does 17 divide r(t)?
True
Let o be (-4)/26 + (-2504)/(-52). Suppose -z = z - o. Is z a multiple of 18?
False
Suppose 0 = -2*s + 12 + 4. Is s even?
True
Suppose t = -2*m + 7, 15 = 4*t - 7*t. Does 17 divide (-3 + 21/m)*62?
False
Suppose -3*x + 41 = v, v - 3*x + 21 = 68. Does 11 divide v?
True
Suppose -d = -0*d - 6. Is d a multiple of 6?
True
Let p(t) = t + 9. Does 9 divide p(0)?
True
Let n(d) = -5*d**2 +