 Let b = q + -13. Is 9 a factor of b?
True
Let k be (-5)/15 + (-1)/(-3). Suppose t + k*d - 4*d - 72 = 0, 2*t - 158 = d. Suppose 4*b - 4*h + 0*h - t = 0, -5*b - 4*h = -82. Is b a multiple of 6?
True
Suppose m + 4*m = 120. Let i = 16 - 16. Suppose 0 = -3*w - 4*f + m, 16 = 2*w - i*w - 2*f. Is w a multiple of 5?
False
Let l(j) = 2 + 4*j + 7*j - 2 + 2. Does 23 divide l(4)?
True
Let v(o) = 7 - 1 - 4*o**2 - 2*o**3 + o**3 - 3. Let c be v(-5). Suppose -h + c = 3*h. Is h even?
False
Let b(d) = -d. Let z be b(-5). Suppose 0 = -10*g + z*g + 410. Is 8 a factor of g/5 - (-2)/(-5)?
True
Let d(u) = 2*u**2 - 3*u - 1. Let b be d(3). Suppose 5 = 4*i - 15. Let v = i + b. Is v a multiple of 13?
True
Let q be (-3)/(-9) - (-299)/3. Suppose -5*j + 5*h + q = 0, -5*j - h = -0*h - 124. Is j a multiple of 12?
True
Suppose -l = -0*l. Suppose l*p + p - 7 = 0. Does 7 divide p?
True
Does 3 divide (4 + -5 - -2) + 6 + -1?
True
Suppose -3*y + 1 = -53. Is 3 a factor of y?
True
Let a = -1 - -3. Let o be a/(1/(-38 + -2)). Is 8 a factor of (o/(-25))/(2/10)?
True
Suppose -15 = -z + 5*l - 2*l, 75 = 5*z + 2*l. Is 15 a factor of z?
True
Let m = -77 - -115. Does 16 divide m?
False
Let c(s) = s**3 - 4*s**2 - 6*s. Let w be c(7). Suppose y + 6 = -y, -y = 4*u - w. Does 9 divide u?
True
Let v(k) = 4*k - 1. Let j(l) = l**3 - 7*l**2 + 8*l - 8. Let r be j(6). Is 15 a factor of v(r)?
True
Let d(v) = 5*v - 8. Let b(h) = -h + 2. Let t(k) = -9*b(k) - 2*d(k). Let m be t(-5). Suppose m*z = -3, -2*p + 6 = 3*z - 5. Does 7 divide p?
True
Let n = -3 + 3. Suppose d + 4*a = n, -2*d - 2*d = -4*a. Suppose -3*x + x + 26 = d. Does 7 divide x?
False
Let w be (-114)/(-4)*(-1 + 3). Suppose 3*x - w = -4*d, 0*x - 27 = -x - 4*d. Is 15 a factor of x?
True
Suppose 2*b - 235 + 11 = 0. Is 16 a factor of b?
True
Let z be (-12)/(-1*6/4). Does 19 divide (0 + 106)*4/z?
False
Let q be (48/5)/((-24)/(-80)). Is 26 a factor of ((-117)/12)/((-6)/q)?
True
Let v(l) = l**2 + 3*l - 7. Let p be v(-5). Suppose -130 - 59 = p*c. Let k = -35 - c. Is 11 a factor of k?
False
Suppose 0 = -4*w + 4 - 0. Does 12 divide 2 - w - (-27 - 13)?
False
Suppose 5*b - 4*f = 879, -f = -8*b + 4*b + 712. Is 36 a factor of b?
False
Suppose 132 = s + 2*s. Suppose o + 16 = s. Is o a multiple of 14?
True
Let n(c) = 9*c - 1. Let b(z) = -z**2 - 6*z + 8. Let w be b(-7). Is 4 a factor of n(w)?
True
Let p be (1/(-2))/((-3)/36). Let l be (p/(-15))/(3/30). Is 4 a factor of l/(-6) + 125/15?
False
Let g be 4/(-3)*12/(-8). Suppose -7*w = -g*w. Suppose w = 3*i - b - 41, 0*i + 65 = 3*i + 5*b. Is i a multiple of 15?
True
Let k be 878/11 - 4/(-22). Suppose 2*x + 3*x = -k. Let c = -10 - x. Is 6 a factor of c?
True
Suppose -3*t + 88 = -17. Is t a multiple of 15?
False
Let m(f) = -4*f - 1. Let w be m(-2). Suppose 0 = 5*q - 4*s - 125, -2*q + 24 - w = 5*s. Is 7 a factor of q?
True
Is 19815/165 - (-2)/(-22) a multiple of 30?
True
Let v(k) = 6*k**2 - 5*k - 7. Does 21 divide v(5)?
False
Suppose -3*t - 7 = -u + 3, -4*t - 6 = -u. Is u a multiple of 4?
False
Is (2/8)/(8/3232) a multiple of 15?
False
Let g(h) = 13*h**2 - 5*h - 7. Let l(u) = 6*u**2 - 3*u - 4. Let m(f) = 4*g(f) - 7*l(f). Is 5 a factor of m(-1)?
False
Suppose 6*w + 30 = 3*w. Let o = w - -14. Does 4 divide o?
True
Suppose 3*b - 351 = k + 3*k, 4*b - 468 = -k. Is b a multiple of 5?
False
Suppose 0 = 4*y + 12, 6 + 12 = 3*l - 2*y. Let n = l - 4. Suppose 0 = 2*s + 2*s + b - 7, n = -b - 5. Is s even?
False
Suppose 10 = 4*y + y. Suppose y*p + 15 = 7*p. Suppose 0 = p*n - q - 28, 2*q - 50 = -5*n - 7. Is 9 a factor of n?
True
Let d = 2 - -2. Suppose 4*j - 44 = d*h, -j = -4*h - 2 + 6. Is j a multiple of 16?
True
Suppose -5*u + 2 = -3. Suppose -x + 15 = u. Suppose 2*k - x - 8 = 0. Is k a multiple of 11?
True
Suppose -16*s = -17*s + 150. Is 50 a factor of s?
True
Let n(y) = -5*y**3 - 7*y**2 + 3*y. Let s(l) = -14*l**3 - 21*l**2 + 9*l - 1. Let u = 26 - 15. Let c(z) = u*n(z) - 4*s(z). Is c(-7) a multiple of 10?
False
Is 2/(-9) + (-364)/(-18) a multiple of 10?
True
Let k(s) = s**2 - 9*s + 4. Does 7 divide k(10)?
True
Suppose 0*g = -3*g + 15. Suppose -3*h = -g*m - 14 + 39, 2*h = 2*m - 14. Is 2 a factor of m?
True
Suppose 2*w - 4*w + 4 = 0. Let r be w + -3 - 1*-2. Suppose 4*z - r = -j - 9, -4*j + 4*z = -68. Is j a multiple of 12?
True
Let f = 0 + -6. Let z be 4/f*(-18)/6. Suppose 0 = -l - z*l + 30. Does 10 divide l?
True
Suppose 1 = 4*u + 5. Let b be u/2*2*13. Let m = b + 18. Is m a multiple of 5?
True
Let o(a) = -1 - 3*a**2 - 7*a + 2*a + 2*a**2 + 0*a**2. Does 5 divide o(-2)?
True
Let b(m) be the first derivative of m**3/3 + 5*m**2/2 + 3*m + 7. Is 14 a factor of b(4)?
False
Let v(a) = 2 + 6 + a - 5*a. Is 16 a factor of v(-8)?
False
Suppose 0 = -2*s - 0*s + 10. Suppose -5*k = -s*c - 125, -k + 2*c = -3*k + 46. Let o = k - 14. Does 3 divide o?
False
Suppose 4*p + 18 + 140 = 2*a, -3*p + 4*a = 121. Let z = -26 - p. Is z a multiple of 12?
False
Suppose -130 = -4*d - 34. Suppose d = 2*m + m. Is m a multiple of 8?
True
Does 27 divide 23/(5*(-2)/(-130))?
False
Let n(j) = -1 - 2 + j - 3 + 4. Let h be n(4). Suppose 4*g - 117 = 3*z, 2*g - 37 = -5*z + h. Is 10 a factor of g?
False
Suppose 0 = -4*w - 227 + 731. Suppose 5*j - w = -36. Does 6 divide j?
True
Suppose 0 = -3*r - 1 - 5. Let i = r - -3. Does 3 divide i/(-2) - 17/(-2)?
False
Suppose a = 2*g - 28, 2 = -g - 4*a - 2. Let w = g - 7. Suppose 31 = 2*f - 2*x + w*x, 0 = -5*f - 2*x + 105. Is f a multiple of 8?
False
Let b be 32/(-6)*6/(-4). Let l be (b/6)/((-1)/402). Is (-4)/14 - l/14 a multiple of 19?
True
Let h be ((-8)/(-12))/((-2)/(-6))*10. Suppose p - 20 = -3*p. Suppose 3*y - p*y = -h. Is y a multiple of 10?
True
Let s be (-2)/((-6)/9) - -1. Is (s/6)/((-8)/(-120)) a multiple of 5?
True
Let v = 31 + -28. Suppose v*w - 56 - 16 = 0. Is 5 a factor of w?
False
Let x be 6/15 + (-37)/5. Let v(j) = j**3 + 8*j**2 + 5*j - 5. Is v(x) a multiple of 9?
True
Let g(y) = -y**2 + 15*y - 8. Let w be g(8). Suppose -d + w = 2*d. Is d a multiple of 15?
False
Let d(q) = -q**3 - q**2 + 3 + 0 + 4*q - q**2. Let g be d(-3). Suppose -3*s + g = -18. Is s a multiple of 6?
True
Let z be 20*4*3/30. Let n be (-11)/3 - (-2)/3. Let x = n + z. Is x a multiple of 3?
False
Let a(h) = -15*h**2 + 2*h - 2. Let s be a(2). Does 13 divide -3 + s*1/(-2)?
True
Let k be (-2 + (4 - 1))*11. Let q = k - 7. Suppose 0 = -a + q*a - 9. Is a a multiple of 3?
True
Suppose -m + 5*k = 2*m - 40, 2*k = 2*m - 20. Suppose -5*a - 7 = -m*b + 13, -3*a + 3 = 0. Suppose 0 = -0*d - b*d + 95. Is 14 a factor of d?
False
Let c = -35 - -149. Is c a multiple of 19?
True
Let o(t) = t - 4. Let j be o(4). Suppose -2*b + 0*b + 14 = j. Is b a multiple of 5?
False
Suppose -4*g = -2*j + 34, 0*j + 5*g + 62 = 4*j. Is j even?
False
Let u be (0 - 98)*2/(-4). Suppose -u + 13 = -i. Is i a multiple of 11?
False
Let q(c) = -3*c + 4. Is 2 a factor of q(-3)?
False
Let n(y) = y**3 + 8*y**2 + 6*y - 5. Let x be n(-6). Suppose -5*s + 2*b - x = 0, 5*s + 0*b + 22 = -b. Let t(z) = -z**2 - 7*z - 5. Does 2 divide t(s)?
False
Let d(w) = -14*w + 1. Let h(i) = i - 1. Suppose -s + 3*s - 3*o = 12, 0 = s - 5*o - 6. Let x(b) = s*h(b) + d(b). Does 15 divide x(-6)?
False
Let p(u) be the first derivative of 17*u**3 - u**2/2 + 3. Is 25 a factor of p(1)?
True
Let m = 7 + -13. Let d(f) = f**2 + 4*f - 7. Let x be d(m). Suppose -6*h - z = -x*h - 28, z = -4*h + 118. Is 11 a factor of h?
False
Is (-3)/12 + 482/8 a multiple of 12?
True
Let j = 71 + 42. Is 7 a factor of j?
False
Suppose 4*g - 24 - 48 = 0. Does 4 divide g?
False
Suppose -25 = -q - 4*q. Let t(d) = 4*d + q*d**2 - 4*d**2 + d**2 - 1. Is 2 a factor of t(-3)?
False
Let c be 1*-6*(-3 + -1). Suppose 4*n - c = n. Is n a multiple of 4?
True
Let a = 221 + -199. Does 11 divide a?
True
Let h = 2 - 0. Suppose h*y + 36 = 2*m - 0*y, 0 = -2*y - 2. Is m a multiple of 11?
False
Let k = -1 + 0. Let j be 6/2 - 2*k. Suppose 2*a - 21 = -j. Does 8 divide a?
True
Let w be 42/(-35)*(-5)/2. Suppose -w*g - 8 = -g. Is (2/g)/(-1)*24 a multiple of 4?
True
Let q(v) be the first derivative of 3*v**2/2 - 11*v + 3. Is 22 a factor of q(11)?
True
Let v be 1*((-18 - 2) + -1). Let f = -22 - -15. Let l = f - v. Is 14 a factor of l?
True
Let l = 4 + -3. Let d be -58 + l - (6 - 3). Let r = 104 + d. Is r a multiple of 12?
False
Let j be -2 - (-6 - (0 + 0)). Suppose 0 = -2*b + 4*k + 12, 