ple of 12?
True
Does 10 divide (2 + 36/(-15))/(5/(-725))?
False
Suppose 5*a - 5*g = a + 13, 2*a - 4*g - 8 = 0. Suppose a*z - 64 = -5*d, 4*d - 59 = 4*z - 3*z. Is d a multiple of 4?
False
Let g = 84 + -9. Let r = g - 39. Is 16 a factor of r?
False
Suppose a + 4 - 24 = 0. Suppose 2*w - a = -3*w. Does 4 divide w?
True
Let i = 3 - 0. Suppose -i*f - 2*w = -58, 2*w + 83 = 4*f - w. Let o = f - -4. Is 14 a factor of o?
False
Let l = 20 - 12. Let b(k) = -k**3 + 9*k**2 - 6*k - 10. Let m be b(l). Suppose -8 = -2*o, -m*y - 4*o = -y - 36. Is y a multiple of 4?
True
Let x = 20 - 20. Let w(k) = k**2 - k + 63. Does 19 divide w(x)?
False
Let u(r) = 4*r**2 + 8*r - 12. Let g(q) = q**2 - 1. Let l(v) = 6*g(v) - u(v). Suppose -y + 6 - 1 = 0. Is 7 a factor of l(y)?
False
Suppose 7*h - 1018 = 1334. Does 16 divide h?
True
Let o = 3 - 61. Let b = o + 118. Is 15 a factor of b?
True
Suppose a + k = 2, 3*k - 2 = 5*k. Suppose -3*y - 2*p - 23 = 0, y + a*y + 25 = 3*p. Does 7 divide (-82)/y + 4/14?
False
Suppose -b - z = -120, -2*z = -0*b + b - 117. Is b a multiple of 13?
False
Suppose -z + 5*y = 15, 4*z + 9 = 9*z + 3*y. Suppose 2*q - 3*f = 8 - 3, z = 4*q + f - 31. Suppose q + 93 = 5*b. Does 10 divide b?
True
Let f be 5/((-10)/(-16)) - -1. Suppose 7 + f = 4*z. Suppose -208 = -0*v - z*v. Is v a multiple of 21?
False
Let n(p) = -p**3 - p. Let y be n(-2). Let a = y - 6. Suppose 0 = a*o - 27 - 9. Does 4 divide o?
False
Let q(j) = -j**2 - 4*j - 3. Let m be q(-3). Let p be (-2)/(-2) + m - -45. Suppose -z + 3*z = p. Does 11 divide z?
False
Does 31 divide -31*1/3*-3?
True
Let h(b) = -b**3 + 14*b + 19 - 19 - 16*b**2. Is 17 a factor of h(-17)?
True
Suppose -140*r + 135*r = -1230. Is r a multiple of 18?
False
Let m be ((-8)/(-12))/(4/18). Let b be (-2)/(-4)*(m + -3). Suppose -4*r + 36 + 8 = b. Is r a multiple of 4?
False
Does 31 divide 376 + -1 + 2 - (3 + -3)?
False
Suppose m = -2*h + 106, -2*m + 442 = 2*m - h. Is m a multiple of 22?
True
Suppose -5*h = -20, -3*w = -0*w - 4*h + 7. Suppose -7 = -b + w. Is 5 a factor of b?
True
Suppose 0 = -2*q - 2*y + 4*y + 102, -y + 108 = 2*q. Is 5 a factor of q?
False
Suppose 2*w + b + 17 = 47, 0 = 4*b - 8. Let u = w + 6. Does 7 divide u?
False
Let k = -6 + 9. Let t be k/6 + 18/4. Let y(m) = 6*m + 2. Is y(t) a multiple of 14?
False
Suppose 3*j = 7*j + 100. Let v = 56 + j. Does 16 divide v?
False
Suppose 0 = -4*w - w + 395. Is 18 a factor of w?
False
Let d = 8 - 3. Let w = 69 - d. Does 16 divide w?
True
Let a(p) = p**3 + 8*p**2 - 2. Let s be a(-8). Let c = 4 - 4. Is 11 + (s - -1) + c a multiple of 10?
True
Let x be (-3 - 0) + 3 - -7. Let g = 9 - x. Is g a multiple of 2?
True
Let g(h) = 3*h**2 + 3 + 2 - h**2 - 7. Is g(2) a multiple of 3?
True
Let o(t) = -t + 20. Is o(-10) a multiple of 4?
False
Let q = -9 - -10. Let a(s) = s - 2 + 0 + 2 + 29*s**2. Is 10 a factor of a(q)?
True
Let y = -91 - -211. Does 15 divide y?
True
Let p(r) = -r**3 - r**2 + 4*r + 6. Let u be p(-4). Let j be ((-27)/(-4))/((-1)/(-8)). Let t = j - u. Is t a multiple of 16?
True
Let y = -217 - -313. Is y a multiple of 16?
True
Let r(t) = 13*t**2 + 2*t + 15. Does 43 divide r(-4)?
True
Let q(d) = 4*d - 4. Is 28 a factor of q(9)?
False
Let p(r) = r**3 - 5*r**2 + r + 428. Does 39 divide p(0)?
False
Suppose 29 = 3*s - 646. Suppose s = 3*w - 0*w. Is 15 a factor of w?
True
Let i = 4 - 2. Suppose 3*t + i*t = 25. Suppose 61 = 4*g + 5*u + t, -5*u + 11 = -g. Is g a multiple of 5?
False
Let m = 88 - -15. Is 10 a factor of m?
False
Let l = 46 - 106. Is 7 a factor of (-37)/(-5) - (-24)/l?
True
Let n = -7 - -13. Is n a multiple of 6?
True
Suppose -5*r = -3*r - 70. Is r a multiple of 8?
False
Let v be (-9)/15*(1 + -6). Suppose -5*g + 2*a = -0*a - 154, -4*a = 4*g - 112. Let y = g - v. Does 11 divide y?
False
Suppose -4*d + 472 = 4*y, -231 = -2*d - 0*y + 3*y. Does 14 divide d?
False
Let s be (-2)/(1/(-11)*2). Let n = -7 + s. Does 3 divide (n/6 + 0)*9?
True
Let h = -4 + 4. Let q(u) = h*u - 3*u**2 - u + u**3 - 2 + 4. Does 5 divide q(4)?
False
Let g = 33 + 15. Does 8 divide g?
True
Suppose -2*o - 12 = -0. Let g(r) = r - 2. Let m be g(o). Let n = m - -13. Is 5 a factor of n?
True
Let k(a) = 10*a**3 - 4*a**2 - 3*a + 16. Is k(3) a multiple of 16?
False
Let p = 16 + -14. Suppose 0 = p*o + 4, 71 = 2*x + 5*o - 43. Is x a multiple of 16?
False
Let u be -1 + 2 + 59 + -3. Suppose 5*m - u = 2*m. Is m a multiple of 19?
True
Suppose -3*b + 0*z = 3*z - 3, 5*z = 4*b + 32. Let q(n) be the first derivative of -n**4/4 - 2*n**3/3 - 3*n**2/2 - 2*n - 2. Does 11 divide q(b)?
False
Let i = -49 - -321. Suppose -4*s - 2*o + i = 0, -3*s - 204 = -6*s - 5*o. Is 11 a factor of -3 - s/(0 - 2)?
False
Let j(g) be the second derivative of g**7/2520 + g**6/144 + 3*g**5/40 + g**4/6 - g. Let r(y) be the third derivative of j(y). Is 15 a factor of r(-6)?
True
Let f(p) = 6*p**2 - 2*p - 5. Is 14 a factor of f(-5)?
False
Suppose 12 = 3*f - 5*m, -2*f - m + 11 = 3. Is 3 a factor of f?
False
Let o(u) = -u**3 - 8*u**2 - 3*u + 1. Is o(-8) a multiple of 16?
False
Let p(b) = b - 5. Let r(l) = -l + 1. Suppose -3*x = 8 + 1. Let k(i) = x*p(i) - 15*r(i). Does 8 divide k(1)?
False
Let y(w) = -13*w**3 + w**2 + w + 1. Let k be y(-1). Is -17 + k + 12*1 a multiple of 3?
True
Let t be 814/18 + 14/(-63). Let v = t - -12. Is v a multiple of 14?
False
Let h(v) = -14*v**2 - 4 + 21*v**2 - 6*v**2 + 5*v. Suppose -5*z - 21 = 14. Is 10 a factor of h(z)?
True
Let y be ((-9)/(-5))/(2/10). Let d(w) = -w**3 + 9*w**2 + 4*w - 12. Is d(y) a multiple of 6?
True
Let q(k) = -k**3 + 9*k**2 - 4*k - 6. Let g be (-3)/(-6) + 7/2. Does 29 divide q(g)?
True
Let w(j) = -3*j**2 - 13*j + 15. Let h(f) = 2*f**2 + 12*f - 14. Let a be -4*(1 + -2 + 2). Let u(k) = a*h(k) - 3*w(k). Is u(9) a multiple of 5?
False
Is 17 a factor of (320/(-24))/((-1)/3)?
False
Let i be 220/15 + 4/(-6). Suppose -3*t - i = -158. Is t a multiple of 12?
True
Let u = 58 + -14. Suppose 4*t + 16 = 4*n - u, n = -2*t. Is 5 a factor of n?
True
Suppose 4*h = -4*g + 16, 4*h - 4*g - 28 = 12. Is 7 a factor of h?
True
Let z be 6/(60/(-16) - -3). Let k(a) = -a**3 - 8*a**2 - 4*a. Does 18 divide k(z)?
False
Let q = 9 + -5. Let c = q + -1. Suppose 85 = 5*j + c*m, 3*j - 5*m - 13 = 4. Does 14 divide j?
True
Suppose 15 = 2*v + i, -5*v + 15 = -2*i - 0*i. Let c = v + 7. Does 4 divide c?
True
Let j be ((-18)/27)/((-2)/6). Let g(n) = n**2 - 2*n + 3. Let w be g(j). Suppose 72 - 12 = w*y. Is y a multiple of 11?
False
Let w(z) = -z**3 + 7*z**2 + 29*z - 4. Is 10 a factor of w(9)?
False
Suppose 0 = 7*a - 934 + 94. Is a a multiple of 24?
True
Let z be -46*(-2)/4*1. Suppose 3*s - 2*u = 14, s + u + 2*u = z. Is 8 a factor of s?
True
Let z be (-4)/18 + (-47)/(-9). Suppose 2*q + 18 = 2*c, -z*c - 3*q + 10 = -3. Suppose 5*d - 3*w = 29, 5*w - w = c*d - 32. Does 2 divide d?
True
Let u be (-4)/(-18)*-6*3. Let x = u - -14. Is x a multiple of 5?
True
Let g = -3 - 6. Let p = -6 - g. Suppose -2*z + 10 = p*z. Is z a multiple of 2?
True
Let d = -40 - 0. Let y be 73 - 1/(1/(-1)). Let z = y + d. Is z a multiple of 17?
True
Let v = -22 + 31. Suppose 0 = j + 2*j - 15. Suppose -j*l + v = -1, 16 = t + 4*l. Is t a multiple of 6?
False
Suppose 4*u - 75 = 1. Is 13 a factor of u?
False
Let c(o) = o**3 - 4*o**2 - 5*o - 2. Let r be c(5). Is 8 a factor of -1*(-3 + -15 - r)?
True
Let v(g) = -4*g + 1. Let h = 3 - 4. Let a be v(h). Suppose 10 = 4*s - c, 1 + 18 = 3*s + a*c. Is s even?
False
Suppose m = -0*m + 4. Does 3 divide 44/m + (-6)/2?
False
Let l(y) = -y**3 + 5*y**2 + 2*y - 6. Is 4 a factor of l(5)?
True
Suppose 0*l + 12 = 4*l, -3*s + l - 3 = 0. Suppose s*c + 2*v = c - 12, 27 = 2*c - 5*v. Does 11 divide 99/c*6/9?
True
Suppose 4*k + 2*w = 5*k - 90, -w + 270 = 3*k. Is k a multiple of 30?
True
Suppose -2*v + 5 + 3 = 0. Is 2 a factor of v?
True
Let v be 0 - 1*519/(-3). Let j = v - 123. Let s = -22 + j. Does 17 divide s?
False
Let g(m) be the first derivative of 4*m**3/3 - m**2 + 2*m - 1. Let l be g(3). Suppose n - 5*n = 0, 5*n + l = a. Is 16 a factor of a?
True
Let r be 20/15*(8 + 1). Let k(f) = -f**3 + 11*f**2 + 14*f - 11. Is k(r) even?
False
Let d(s) = 4*s**2 - 7 + 3*s**2 + s**2 + 5*s + 4 + s**3. Let l be d(-7). Suppose 3*t - l = 16. Is t a multiple of 9?
True
Does 4 divide (-14)/(-2) + (-14 - -15)?
True
Let u be 16/8 + 100*1. Is 3 a factor of 6/27 + u/27?
False
Does 7 divid