+ 42, -5*d - 40 = 3*b - 15. Let m = d + 6. Let j(z) = z**2 - 2*z - 1. Is 3 a factor of j(m)?
False
Suppose 0*v + v = -3. Let r = v + 3. Suppose 90 = -r*s + 5*s. Does 9 divide s?
True
Suppose 4*j - 217 = 5*l, 0 = -0*j - 2*j + 3*l + 111. Is j a multiple of 12?
True
Let i(g) = -5*g**3 + g**2. Let n be (4 + -3)*1*-1. Let h be i(n). Is 9 a factor of (-18)/(9/h + -3)?
False
Let u = 5 + 7. Let d(l) = 6*l**2 - 2*l - 3. Let k be d(-2). Let t = k - u. Is 8 a factor of t?
False
Let y = -113 + 147. Is y a multiple of 10?
False
Let w = -85 + 152. Does 20 divide w?
False
Suppose -a = -3*a - 6. Is 39 + a/6*2 a multiple of 19?
True
Let b(a) = -11*a + 4. Let i = 5 - 4. Let u(t) = 1. Let n(q) = i*b(q) - 3*u(q). Does 4 divide n(-1)?
True
Let t(x) = x**3 - 10*x**2 - 9*x - 5. Let f(a) = -a**3 + 9*a**2 + 8*a + 4. Let u(j) = -7*f(j) - 6*t(j). Let v be u(2). Is v/(3*3/(-24)) a multiple of 8?
True
Suppose 0 = j - 3*f - 20, -j + 2*f + 39 = 2*j. Suppose 0 = b + 3*u - 67, -2*b = -4*u - 95 + j. Does 12 divide b?
False
Let k be 2146/18 + (-22)/99. Let q = k - 77. Does 14 divide q?
True
Let b = 17 + 54. Is 39 a factor of b?
False
Is 7 + (1 - -1)/2 a multiple of 3?
False
Suppose 6*r - 2*r = m + 155, -65 = -r - 5*m. Suppose -2*z + r + 52 = 0. Does 22 divide z?
False
Suppose -p - 1 = -2*p. Suppose p - 28 = -x. Does 24 divide x?
False
Suppose 4*y - 10 - 14 = 0. Suppose y*d = 2*d + 464. Suppose 153 = 3*a - p, -2*a + p + d = 5*p. Does 19 divide a?
False
Let g = 176 - 119. Is 8 a factor of g?
False
Let y = -171 - -386. Does 26 divide y?
False
Suppose 0 = -2*s - 7 + 23. Does 2 divide 20/s*(-18)/(-15)?
False
Suppose 0 = -4*c + 2*q + 6, 3 = -0*c - 4*c + 5*q. Suppose -l - 4*g - 45 = -2*g, l + 70 = c*g. Let j = -36 - l. Is j a multiple of 5?
False
Is 5 a factor of (-196)/21*(-3)/2?
False
Suppose -49 = -5*x + 506. Does 37 divide x?
True
Let j = -24 - 8. Let t = 1 - j. Is 11 a factor of t?
True
Does 13 divide (7*1/3)/(1/6)?
False
Does 14 divide 24/1 - (5 + -9)?
True
Let t = 74 - 53. Let z = -7 + t. Suppose 3*a + 4*c = 79, 5*c + z = 2*a - 8. Does 11 divide a?
False
Let b(v) be the third derivative of v**7/1260 - 7*v**6/720 + v**5/120 + v**4/6 - 3*v**2. Let i(f) be the second derivative of b(f). Is i(5) a multiple of 16?
True
Let i(m) = -m + 1. Let j be i(-1). Suppose -h - 4 = h - 4*q, 2*h = j*q. Suppose 0 = h*t - 7*t + 155. Does 8 divide t?
False
Let s be (-28)/(-3) - (-1)/(-3). Suppose -3*r - 151 = -5*q + 23, 0 = 3*r + s. Is 13 a factor of q?
False
Let f = 5 - -39. Is f a multiple of 11?
True
Suppose 2*t + h = 4 + 475, 5*h + 5 = 0. Is 20 a factor of t?
True
Let r(a) = 3*a. Let c(h) = -h**2 - 8*h - 2. Let v be c(-6). Does 15 divide r(v)?
True
Suppose -2*s - 2*d = -4*d - 86, -3*s + 130 = -4*d. Is s a multiple of 2?
True
Suppose r = 3*r - 92. Does 23 divide r?
True
Let v(t) = t**3 + 3*t**2 - t. Let l(u) be the first derivative of u**4/4 - 2*u**3 + 5*u**2/2 - 3*u + 2. Let c be l(5). Is v(c) even?
False
Suppose -7 = -3*s + 5. Suppose 0 = -0*g - s*g + 204. Is g a multiple of 10?
False
Suppose -3*m - 31 = -5*t, 0*m + 2*m + 9 = t. Suppose -n = -t*a - 38, 5*n = -0*a - 2*a + 163. Does 11 divide n?
True
Let l(j) be the first derivative of -j**4/4 + 4*j**3/3 + 3*j + 1. Let h be l(4). Does 12 divide (0 - -18)*h/3?
False
Let i(v) = 2*v**3 + 10*v**2 + 3*v - 1. Let a(j) = 2*j**3 + j - 2*j - 3*j**3 - 5*j**2. Let d(z) = -9*a(z) - 4*i(z). Is 19 a factor of d(-5)?
True
Let q = -28 + 35. Is q a multiple of 2?
False
Let p be (-13)/(-2) + (-1)/2. Let s be ((-2)/6)/((-1)/p). Suppose -5*g + s*c + 138 = -0*c, g - 6 = -5*c. Is 13 a factor of g?
True
Does 42 divide 1*(-3 - 251)/(-2)?
False
Suppose 0*k = -4*k. Suppose -5*h + 3*p = -22, k = -h + 6*h + 2*p - 2. Suppose -5*n = -4*i + 20, -i - 5 = -h*i + n. Does 2 divide i?
False
Let h(g) = g**2 - 6*g - 2. Let l be h(6). Does 5 divide 8 + l/((-8)/(-12))?
True
Let r(p) be the third derivative of p**3 + 0 - 2*p**2 + 0*p - 5/24*p**4. Does 20 divide r(-6)?
False
Suppose -2*s = -2*d + 102, -4*d + 230 = -2*s + 16. Is 29 a factor of d?
False
Let w = 0 - -9. Suppose 0 = -v - 2*v + w. Suppose -2 + 22 = 2*m - 2*a, v*m - 26 = 5*a. Is 6 a factor of m?
True
Let y = 86 + -57. Is y a multiple of 29?
True
Let h = 58 + -46. Does 4 divide h?
True
Suppose 2*u = 2*g + 6, 5*u - 3*g = -0*u + 21. Suppose u*f = 3*f + 9, -4*f + 37 = 5*l. Is l a multiple of 5?
True
Let g(v) = -5*v + 3. Let j(i) = -6*i + 3. Let p(c) = 3*g(c) - 4*j(c). Let h be p(4). Suppose b - 6*f - h = -2*f, -5*b = -5*f - 135. Is 16 a factor of b?
False
Suppose 21 = 3*c + 6. Suppose c*v - 71 = -2*i, 2*i = -0*v + 3*v - 49. Does 5 divide v?
True
Suppose -9*i + 5*i + 4*o = -132, -2*i = 5*o - 101. Let b = i - 19. Is 19 a factor of b?
True
Suppose 35 = -53*v + 54*v. Is v a multiple of 35?
True
Let d = -11 - -6. Let b = d + 29. Is 20 a factor of b?
False
Suppose 2*x - 3*y = 52, -5*x + 3*y + 110 = -x. Let t = 91 - x. Is 11 a factor of t?
False
Let t be (-2 + (-2 - -2))/2. Let b(y) = -15*y + 19*y - 14*y. Is b(t) a multiple of 3?
False
Let d be (275/22)/(1/4). Suppose 0 = c - d - 24. Is 37 a factor of c?
True
Suppose 7*u - 54 = 58. Does 5 divide u?
False
Suppose s - 4*t - 24 = 0, -4*s + 2*s - t + 21 = 0. Is 6 a factor of s?
True
Let g(q) = -q**3 + 2*q**2 + q. Let b be g(-2). Is 603/21 + 4/b a multiple of 14?
False
Let y(k) = k**2 - 4*k + 2. Let n be y(3). Let o be n/(-2) + (-9)/(-2). Suppose 53 = o*i - 17. Is i a multiple of 7?
True
Suppose 2*p - 138 = 2*j, -2*j = -3*p - 2*p + 360. Is 16 a factor of p?
False
Suppose -i + 86 + 176 = 0. Is i a multiple of 34?
False
Suppose -8*s + 280 + 264 = 0. Does 4 divide s?
True
Let y = 67 - 41. Let v = y + -5. Is v a multiple of 12?
False
Let q(s) be the first derivative of -s**6/120 - s**4/12 - s**3/6 - s**2/2 + 2. Let l(d) be the second derivative of q(d). Is l(-2) a multiple of 4?
False
Let u(d) = -6*d - 1. Let s be u(-1). Suppose 3*c - 74 = -s*o - 22, 2*c - 48 = -5*o. Is o a multiple of 8?
True
Let p be 2/(-2 + 5 + -1). Let q be (17 + (-3)/3)*p. Suppose u + 3*r + 9 = 41, 0 = 4*r - q. Is u a multiple of 7?
False
Let z = 11 - -26. Suppose 7 = 4*g - z. Is g a multiple of 8?
False
Suppose 134 = 2*o + 2*d, 5*o - 5*d = 2*o + 209. Suppose 0 = -4*c + o + 68. Is 18 a factor of c?
False
Suppose 4*v - 261 - 291 = 0. Suppose -4*j + 18 = -v. Is 13 a factor of j?
True
Let c be 1/(-2)*-6*1. Suppose -c*z - 42 = -5*z. Suppose -z = -5*v + 14. Does 6 divide v?
False
Let g(z) = -z**3 - 8*z**2 - 8*z + 3. Let d be g(-7). Let w be 1/2*(d - 2). Suppose -5*q + 35 = 5*i, -4*q + i + w*i + 10 = 0. Is q even?
False
Suppose 3*c = 3*i - 5*i - 31, 39 = -5*c + 3*i. Let h = c - -1. Is 8 a factor of h/2*-4 - 0?
True
Let j(b) = 16*b + 4. Let n be j(3). Suppose n = 2*i - 12. Is i a multiple of 16?
True
Let g(l) = -l**3 + l + 4. Let w be g(0). Suppose -2*t = -w*t + 60. Does 15 divide t?
True
Let z(a) = -a**2 - 6*a + 9. Let t be z(-7). Let i(u) = -1 - 4*u - u**t + 0 + 2*u**2. Is i(7) a multiple of 8?
False
Let u(o) = -9*o - 5. Is u(-3) a multiple of 11?
True
Let j = -3 + 4. Let f = -15 + 41. Suppose 3*i = j + f. Does 4 divide i?
False
Let d(s) be the second derivative of -2*s**3/3 - 9*s**2/2 - 2*s. Let b be d(-6). Suppose b + 6 = x. Does 11 divide x?
False
Let l = 24 + -22. Suppose -3*d + 12 = 0, f - l*f + 4*d - 2 = 0. Does 12 divide f?
False
Suppose 4*r + 6 = -3*x, 3*x - 4*r = 4*x + 2. Let p(y) = 2 - 3*y**2 + 14*y**2 - 3. Does 15 divide p(x)?
False
Let m(q) = -33*q - 2. Let s(b) = -34*b - 3. Let w(c) = -4*m(c) + 3*s(c). Is 17 a factor of w(2)?
False
Let p = 74 - 22. Is p a multiple of 37?
False
Suppose -7*k = -3*k - 8. Suppose 2*h + k*h = 0. Suppose -3*u = 3*f - 126, 0 = -h*u - 5*u + f + 192. Is u a multiple of 13?
True
Suppose u - 2*z = -6, 0*z + z - 5 = 0. Suppose -u = -5*f + f. Is ((-2)/6)/(f/(-39)) a multiple of 4?
False
Suppose 0*a + 3*a - 63 = 0. Suppose 3*n - 21 = a. Is n a multiple of 6?
False
Suppose -5*b + 30 = -0*b. Suppose -15 + b = -3*z. Suppose z*y + 15 = 69. Is y a multiple of 9?
True
Suppose 0 = 4*m - 16*m + 1440. Is m a multiple of 24?
True
Let b(d) = -53*d + 5. Is b(-1) a multiple of 29?
True
Suppose -h + 54 = 2*w - 0*w, 3*w + 4*h = 91. Does 7 divide w?
False
Suppose -37 = -4*h + 5*d, 3*h - 2*d = 2*h + 13. Suppose 5*u + h = 18. Suppose u*g + 96 = 6*g. Does 14 divide g?
False
Is 8 a factor of (-4)/(-12) + (-69)/