1)/25)?
False
Suppose 0 = -2*o + 66 - 6. Is o a multiple of 5?
True
Let c(z) = 22*z**2 - 2*z - 1. Does 23 divide c(-1)?
True
Let z(v) = -v**3 - v**2 + 9. Let w = -4 - -4. Let a be z(w). Let x = 19 - a. Does 10 divide x?
True
Let x = 43 + -23. Let c = -2 + 2. Suppose c = -t - t + x. Is 5 a factor of t?
True
Suppose -6 = -m + 50. Is 28 a factor of m?
True
Suppose -3 - 13 = -g. Suppose 2*a = 52 - g. Does 24 divide (-6)/27 + 868/a?
True
Suppose z - 5*z - 52 = 0. Let k(t) = t**2 + 12*t + 12. Is k(z) a multiple of 25?
True
Suppose -t + 4*c - 8*c = -24, 153 = 4*t - 3*c. Is t a multiple of 3?
True
Suppose -3*f + 154 = w, 2*w - 257 = -0*f - 5*f. Let c = 28 - f. Is (27/(-3))/(-3) - c a multiple of 9?
False
Let u be 2*-2*2/(-4). Suppose 2 = 3*h - 4. Let d = h + u. Is 3 a factor of d?
False
Let f be (5 - 1) + (-2 - -2). Suppose -j - 39 = -f*j. Is 13 a factor of j?
True
Let m be (-1)/(-3) - (-636)/36. Suppose d = -3*o - 2*d + m, 3*d + 15 = 0. Does 11 divide o?
True
Let k = 134 - 52. Is 17 a factor of k?
False
Let x(t) = t**3 + 6*t**2 + 5*t - 4. Suppose 5*k + 20 = 2*h, -2*k - 4*h - h - 8 = 0. Is x(k) a multiple of 8?
True
Suppose 13 + 7 = 4*a. Suppose 3*h + 6*c = c - 20, -a*c = 20. Suppose h = -3*w, 5*s + w + w = 120. Is 8 a factor of s?
True
Suppose -9*y + 92 = -5*y. Is y a multiple of 7?
False
Suppose -6 + 2 = -z. Let w be (z/2)/(-4)*-10. Suppose -p + 14 = -0*p - a, 0 = w*a - 25. Is p a multiple of 8?
False
Let g(l) = 2*l**2 + l + 2. Let h be g(-8). Let r = h + -64. Does 13 divide r?
False
Let f be (-10)/(-6)*(4 - 1). Let g(v) = -v**2 + 6*v - 3. Let r be g(f). Does 17 divide (-44 + 0)*r/(-4)?
False
Let r be (-10 + 12)/((-2)/(-4)). Let j = 9 - r. Suppose a + 12 = b - 2*a, -j*a = -2*b + 24. Is 4 a factor of b?
True
Let f = 20 + -15. Does 3 divide f?
False
Let n(s) = s**3 + 5*s**2 + 4*s + 3. Let c be n(-4). Suppose c*k = -2*r - k + 10, 25 = 5*r + 3*k. Suppose r*v = v + 24. Is 6 a factor of v?
True
Suppose 3*t - 5*x = 31, -2*t + 0*x - 16 = 4*x. Let d be (4 + 1)/(t/(-10)). Is -3 + d/(-2 - -1) a multiple of 14?
False
Suppose 4*x - 99 = 21. Let l = -164 + 262. Suppose 4*h = x + l. Does 12 divide h?
False
Let l = -4 - -10. Suppose -2*r + 50 = 3*h, -5*h = -3*r + l - 64. Does 9 divide h?
False
Suppose 0*c = 4*c - 80. Is 8 a factor of 41/5 + (-4)/c?
True
Suppose -f + 2 = -b + 1, 0 = 5*f - 4*b - 10. Let i = -4 + f. Suppose -3*o = -4*j - j - 10, 5 = i*o - 5*j. Does 5 divide o?
True
Is 6 a factor of (-1*2)/(6/(-108))?
True
Suppose -4*c + c + 18 = 0. Let q(r) = r**2 - 5*r - 1. Is 5 a factor of q(c)?
True
Let r(z) be the second derivative of 7*z**5/20 - z**4/12 - z**3/6 + z**2/2 - 14*z. Let q = 3 - 2. Is 3 a factor of r(q)?
True
Let m = 1187 - 845. Is 19 a factor of m?
True
Suppose 3*l - 90 = -2*l. Does 16 divide l?
False
Suppose -5*m = 10, 4 = 4*j - 2*m - 16. Let v(p) = p**2 - 5*p + 2. Let d be v(j). Is 7 a factor of ((-5)/(-3))/(d/(-24))?
False
Suppose 7 = 5*p - 3, 0 = -3*h - 5*p + 85. Suppose -b = -4*b - o - 2, 4*o + h = 5*b. Does 8 divide (b*-3)/(21/(-56))?
True
Suppose 2 = -3*g + 158. Let h = 95 - g. Let f = -25 + h. Is 9 a factor of f?
True
Suppose 2*i + j + 0*j - 13 = 0, -j - 5 = 0. Suppose i*a - 4*a = 680. Suppose 0 = 2*m + 14 - a. Does 16 divide m?
False
Suppose -5*w = -3*w - 3*h - 693, 0 = -4*w - 2*h + 1362. Is 17 a factor of 6/(-30) - w/(-10)?
True
Suppose -3 = 3*n - 7*n - p, 3*n - 2*p - 16 = 0. Suppose -i = n*i - 243. Does 21 divide i?
False
Suppose 5*o - 96 = 2*y - 0*y, -4*o + 5*y = -70. Does 10 divide o?
True
Suppose 0 = 4*o - 50 + 6. Let d = o + 45. Is d a multiple of 12?
False
Suppose -4*u = u - 245. Does 14 divide u?
False
Let g = -4 - 10. Let t = 20 + g. Is t a multiple of 2?
True
Let b(v) = -15*v - 16. Let n(f) = -7*f - 8. Let o(d) = 2*b(d) - 5*n(d). Is 24 a factor of o(8)?
True
Let u be 2/4 + (-4)/(-8). Suppose -2*w + 12 = w + h, -u = w + 2*h. Suppose -3*x - 3*o + 1 + 122 = 0, -w*x + 209 = o. Is 21 a factor of x?
True
Let z be 199/(-3) + 6/18. Is (-12)/z - 526/(-11) a multiple of 17?
False
Suppose -5*h + 12 = 2*a, -3*a + a = -h. Suppose -h*o - 3 = -1. Is (-5 - -3) + o - -45 a multiple of 14?
True
Does 31 divide 280/3 - (-9)/(-27)?
True
Let l be (4/(-6))/((-2)/(-150)). Let a be 12/(-15)*l/4. Suppose -i = a - 26. Does 8 divide i?
True
Suppose 4*p + 10 - 26 = 0, -2*v + 108 = -4*p. Is v a multiple of 16?
False
Does 6 divide 5*((8 - -1) + -3)?
True
Let t = 15 - 25. Let z = t - -7. Is 19 a factor of (-2)/(-6)*(z - -117)?
True
Let t be (-18)/4*(-4 - 30). Let z = t - 102. Does 17 divide z?
True
Let j(n) = n**3 + 12*n**2 - n - 8. Let u be j(-12). Suppose -u*z + 8 + 104 = 0. Is 19 a factor of z?
False
Let w = 21 + -77. Let p = w - -87. Is p a multiple of 12?
False
Suppose -2*y = 2, f = -2*f - 3*y + 123. Does 12 divide f?
False
Let a(o) = o**3 + 6*o**2 - 2*o + 4. Suppose -4*c = -5*c - 3. Let t be 1*3/c + -5. Is 12 a factor of a(t)?
False
Let t = 330 + -90. Suppose -2*y = 3*y - t. Is 17 a factor of y?
False
Let h be ((-7)/(-21))/(1/6). Suppose 3*y = -x + 17, -5*x - h*y + 0*y = -72. Is 8 a factor of x?
False
Let i(x) = -x**2 + 0*x**3 + 4*x + 5*x**2 - 2 - x**3. Let s be i(5). Let n(d) = d**2 + d + 8. Is 17 a factor of n(s)?
False
Suppose 0 = 2*v - 1 - 3. Let h = 1 + 9. Suppose h = -w + v*w. Is w a multiple of 6?
False
Let w(b) = 9*b**2 - 28*b + 6. Is w(6) a multiple of 27?
True
Let x = -46 + 118. Is 24 a factor of x?
True
Suppose -6*n + 155 = -n. Let v be 17 + -20 - (-8 + 1 - 1). Suppose n = -v*a + 261. Does 12 divide a?
False
Suppose -5*a + 35 = 3*t, -2*a - t = 3*a - 25. Suppose -17 = -z + a*l, -l + 6 = -4*z - 1. Is (-764)/(-20) + z/15 a multiple of 19?
True
Suppose -5*g - 5*l - 41 = -4*l, -4*g + 5*l = 27. Does 5 divide (13/4)/((-2)/g)?
False
Let k(z) = -45*z + 4. Does 11 divide k(-2)?
False
Let a = 53 - 9. Is 18 a factor of a?
False
Let o = -113 - -264. Is o a multiple of 12?
False
Suppose p - 119 = -0*p. Does 34 divide p?
False
Let b(k) = k**3 - 5*k**2 + 4*k + 4. Let t be b(4). Suppose -3*u = -t - 2. Does 22 divide -1 + (u*-1 - -25)?
True
Suppose -2*k - 99 = 4*o - 9*o, 3*k + 25 = o. Is o a multiple of 4?
False
Let g(o) = 12*o + 1 - 4*o + 13*o - 3*o. Does 10 divide g(2)?
False
Let z = -188 + 111. Let t = -47 - z. Is 15 a factor of t?
True
Suppose -4*g + 68 = 3*v + 21, 5*v - 97 = -2*g. Does 6 divide v?
False
Is 19 a factor of (-728)/(-14) - (3 + -1 + 1)?
False
Let t = 5 - 3. Suppose t*w = 17 + 27. Is 16 a factor of w?
False
Let x = 13 + 30. Is 8 a factor of x?
False
Let l = -124 - -246. Is l a multiple of 41?
False
Let j be ((-8)/10)/(1/(-5)). Let q(m) = -m**3 - m**2 - m + 9. Let g(d) = -3*d**3 - 3*d**2 - 3*d + 26. Let v(n) = j*g(n) - 11*q(n). Does 2 divide v(0)?
False
Let v be (-187)/(-7) - (-20)/70. Let n = v - -13. Is 16 a factor of n?
False
Let d = -2 + 1. Is 21 a factor of -3 + 4 - 61/d?
False
Let i(a) = 2*a. Let q be i(-1). Let o = 1 + q. Let c(l) = -9*l**3 + l**2. Is c(o) a multiple of 6?
False
Suppose -2*j - 3*b + 18 = 0, 4*j - 46 = 2*j + 4*b. Let t be (18/j)/((-2)/(-5)). Suppose 2*n = -4*w + 58, 4*w = t + 9. Is 11 a factor of n?
False
Let j(n) = -3*n**2 + 5*n + 10. Let t(a) = -13*a**2 + 19*a + 41. Let w(h) = 9*j(h) - 2*t(h). Let q be w(8). Suppose q*s = -s + 54. Is s a multiple of 21?
False
Is 32/48*48*1 a multiple of 8?
True
Let u(t) = -t**3 - 4*t**2 - 2*t - 1. Let z be u(-4). Suppose 5*s - 68 = -3*w, -z*s + 3*s - 32 = -3*w. Does 8 divide w?
True
Let v be 244/(-8)*-4*1. Suppose 0 = 4*c + 5*p - v, 2 + 6 = -4*p. Is 11 a factor of c?
True
Let q(a) = 2*a**2 + 10*a**2 - a**2. Let g be q(1). Suppose -g = -k + 21. Is k a multiple of 19?
False
Let q be (21/6)/((-2)/(-4)). Let y = q - 5. Suppose 3*h + g - y*g = 25, -4*g = 5*h - 53. Does 9 divide h?
True
Let m be (-208)/(-12) - 2/(-3). Let f = m + -10. Let j(u) = 2*u + 6. Does 18 divide j(f)?
False
Suppose -2*j - 99 = j. Let u = -20 - j. Is u a multiple of 6?
False
Is (-446)/(-16) - (-7)/56 a multiple of 14?
True
Suppose -4*j - 5*h = -671, 0 = -j - 4*j - 4*h + 850. Is j a multiple of 11?
False
Suppose 1 + 18 = 2*o + 5*q, q = -3*o + 9. Let t(y) = 2 + y + 5*y - y. Is t(o) a multiple of 4?
True
Let x(m) be the second derivative of m**4/4 - 3*m**3/2 + m**2 - 3*m. Let s be x(6). Suppose -7*j = -3*j - s. Is j a multiple of 7?
True
Let r(k) = k**2 + 2*k - 3. Is r(8) a multiple of 11?
True
Let k(s) = 3*s**2 - 5*s + 4