 multiple of 6?
False
Is 39 a factor of (-4)/10 - (-977)/5?
True
Let w = 19 - 13. Suppose 4*k - 2*t - 72 = 0, -w*k + 52 = -3*k - t. Suppose 0 = -4*u + k, 0*f - 3*u = 5*f - 27. Is f even?
False
Suppose -2*k = -4*f + 40, 4*k = 6*f - 2*f - 32. Let c be (f/(-5))/(6/(-195)). Let z = c + -54. Is 12 a factor of z?
True
Suppose 3*z = 7*z - 256. Is 34 a factor of z?
False
Suppose -3*x + 4*x + 15 = 0. Let g be ((-8)/10)/((-3)/x). Let k(p) = -p**3 + p**2 + 5*p. Is 20 a factor of k(g)?
True
Suppose -5*c + 3*o = -25, 3*c = 5*o - 10*o - 19. Suppose -2*v = -c, 5*d - d - 4*v = -192. Let w = d - -86. Is w a multiple of 13?
True
Let l = 239 + -149. Does 18 divide l?
True
Let l = 5 - 5. Suppose -5*m + 189 - 19 = l. Is 11 a factor of m?
False
Let m = -1 + -1. Let o be m + 7 + -2 - -2. Suppose 0 = o*p - 22 - 93. Is p a multiple of 8?
False
Let y(k) = 3*k - 1. Suppose -4*f + 9*f - 5 = 0. Let i be y(f). Suppose -7 = -i*u + 5. Does 4 divide u?
False
Let b(v) = 24*v - 5. Is b(1) a multiple of 3?
False
Let j(o) = 0*o**2 + 3 + 0*o**3 + 4*o + 4*o**2 - o**3. Let m be j(4). Let h = m + 5. Is 8 a factor of h?
True
Let h = 59 + -22. Suppose 3*g + h = 286. Does 15 divide g?
False
Let i(c) = -5*c**3 + 40*c**2 - 24*c - 31. Let t(q) = q**3 - 8*q**2 + 5*q + 6. Let g(k) = 2*i(k) + 11*t(k). Is g(7) a multiple of 4?
True
Suppose 5*i + 16 = 4*x, -2*i - 22 = -4*x - 6. Suppose -4*p + 5*c + 26 = i, 7*p - 2*p = c + 22. Does 4 divide p?
True
Let g(i) = 5*i**3 + 4*i**2 - 4*i + 3. Let a be g(2). Let b = a + -13. Does 10 divide b?
False
Suppose 4*f = 3*x - 27, -2*x + 38 = 4*f - 0. Is x a multiple of 6?
False
Let m = -17 - -17. Suppose -4*y + 171 + 49 = m. Does 11 divide y?
True
Suppose 154 = -0*t + 2*t. Is 27 a factor of t?
False
Suppose -2*i - 9 + 23 = 0. Is (-2)/3*(-8 - i) a multiple of 6?
False
Let b be (3 - 21/9)*6. Suppose b*m = 5*i + 39, -3*i + 5 = -2*i. Is m a multiple of 6?
False
Let m be 31 + -2 + 6 + -6. Let a = m - 13. Is 5 a factor of a?
False
Is 12 a factor of (-620)/(-6) - (3 - 32/12)?
False
Suppose 2*s = 53 - 17. Does 18 divide s?
True
Suppose 5*v + 2*o = 2*v + 223, -o = -3*v + 226. Let k = 105 - v. Is k a multiple of 15?
True
Suppose 2*c = 60 + 20. Is 20 a factor of c?
True
Let q(r) = -r**2 + 20*r + 26. Does 9 divide q(19)?
True
Let f = 3 + 15. Let n(w) = 18 - f*w**3 - 2*w - 2*w + 5*w + 19*w**3. Does 7 divide n(0)?
False
Let z(n) = n + 8. Let x(k) = -k**2 - 5*k. Let s be x(-6). Let m be z(s). Suppose 0*q - m*q = -2*a, 4*a - 25 = -q. Is 2 a factor of a?
False
Let w(j) = 5*j**2 + 3*j - 7. Let t(a) = 9*a**2 + 5*a - 14. Let c = 4 + -9. Let b(o) = c*w(o) + 3*t(o). Does 18 divide b(5)?
False
Let d(r) = -31*r + 5. Let w be d(-4). Suppose 3*l - 85 = -a + 2, 3*l = 2*a - w. Suppose -2*p = -5*j + 2*j + a, -p = -5*j + 127. Is 13 a factor of j?
True
Is 24 a factor of (-6 - 1)*(-6)/2 + 3?
True
Let t = 55 + -26. Suppose -2*u = -41 - t. Is 9 a factor of u?
False
Suppose -c + 127 = 2*s, 4*c = 5*s + c - 345. Is 18 a factor of s?
False
Let x = 7 + -10. Let q = x + 4. Is 17 a factor of ((-1)/q)/(2/(-86))?
False
Is (1 - 3)*(0 - 1) even?
True
Let p(f) = f**3 - 8*f**2 + 5*f - 9. Let d be (-6)/10 - 76/(-10). Let y be p(d). Let k = y - -35. Is k a multiple of 12?
True
Let t(k) = -k**2 - 5*k + 1. Let q be t(-6). Let r(l) = -l**3 - 4*l**2 + 4*l + 7. Let x be r(q). Suppose -3*h - x = 0, 2*i + 4*h = i + 17. Does 20 divide i?
False
Let k(s) = 9*s + 5. Let b(j) = -4*j - 3. Let h = -4 - -10. Let d(i) = h*k(i) + 11*b(i). Is 12 a factor of d(2)?
False
Suppose -8*d = -5*d - 15. Is 5 a factor of d?
True
Let l be ((-1)/1)/(6/(-744)). Suppose -7 + 4 = -c, 5*d = -3*c + l. Is 6 a factor of d?
False
Let q(n) be the second derivative of 1/3*n**3 - 3/2*n**2 - n + 1/4*n**4 + 0. Is 12 a factor of q(-3)?
False
Let n be 0/(-2) - (7 + -2). Let l be 0 + 0 - 10/n. Suppose l*t = -0*t + 28. Does 6 divide t?
False
Suppose 0 = -3*c + 3*g - 10 + 1, -11 = 5*c - 4*g. Let p be (-1 + (0 - -1))/c. Suppose 0 = 3*m + 4*r - 80, p = -2*m + 6*m + 2*r - 90. Does 10 divide m?
True
Let y = 859 - 611. Suppose -3*b - b + y = 0. Does 10 divide b?
False
Let h(x) = 4 + 3*x - 4*x - 3*x. Does 12 divide h(-5)?
True
Let s = -21 - -26. Is 72*(30/9)/s a multiple of 12?
True
Let x = 94 + 50. Suppose -6*w = -2*w - x. Does 12 divide w?
True
Let o = 16 + -18. Does 19 divide ((-18)/24)/(o/152)?
True
Let p(t) = 4*t**2 + 7*t - 6. Let s be p(-6). Suppose 5*c = -3*w + 6*w + 120, 4*c + 3*w = s. Is c a multiple of 10?
False
Let h(p) = -3*p + 1. Let c be h(-1). Let d = 0 - -2. Is (-1)/d - (-42)/c a multiple of 10?
True
Let u(b) = -b**3 + 3*b**2 + 3*b - 4. Is 2 a factor of u(3)?
False
Let q(o) = -o**2 + 10*o + 13. Let w be q(9). Suppose -3*a - 2*a - w = -m, m - 4 = -a. Let f = m - -7. Does 7 divide f?
True
Let j = -7 + 11. Suppose -1 = -a + j. Suppose -a*o = t - 63, -o + 3*t = o - 32. Does 5 divide o?
False
Let y(k) = -9 + 4*k**2 - 5*k**2 + 11*k - 3*k. Let s be y(6). Suppose 21 = 4*v - 5*b, -6*b = -4*v - s*b + 27. Is 5 a factor of v?
False
Suppose 0 = 2*c + 14 + 6. Let y(z) = 13*z - 22. Let m be y(6). Let r = c + m. Is r a multiple of 17?
False
Let r be (-4)/6 + 82/6. Suppose -14 = q + q. Let a = r + q. Is a a multiple of 3?
True
Let a be 0 - ((3 - 1) + -2). Suppose 0 = -a*y + 3*y - 3*q + 9, 11 = 3*y + q. Suppose 14 = -y*x + 78. Is x a multiple of 13?
False
Let g(t) = -196*t**3 - t**2 - t - 1. Does 48 divide g(-1)?
False
Let q = -15 - -60. Let h = -3 + q. Does 14 divide h?
True
Let d = 39 + -16. Is 3 a factor of d?
False
Let j(c) = 5*c**3 - c**2 - c - 7. Let x(h) = 4*h**3 - 2*h**2 - 7. Let p(y) = -3*j(y) + 4*x(y). Is 14 a factor of p(6)?
False
Is 55 a factor of (-2 - (-2)/4)*(-964)/6?
False
Let w be -2 + 0/(-3 + 2). Is -4 + 2 - 37*w a multiple of 20?
False
Suppose 4*h + 2*y = 0, -2*h + 4*y + 7 = 27. Let o = 0 - h. Does 8 divide (-16)/((-3)/(o - -1))?
True
Let j(b) = 158*b**2 + 2*b - 1. Let r be j(1). Suppose 3*t = 8*t - 135. Suppose t = -3*u + r. Is u a multiple of 20?
False
Suppose 0 = -3*o + 17 - 5. Let t(q) = 3*q + 4. Is 8 a factor of t(o)?
True
Let j(z) = -z**3 - 4*z**2 - 4*z + 1. Let f be j(-3). Suppose -2*g = 2*l - 52, -f*l + 135 = 5*g + 10. Is 11 a factor of g?
False
Suppose g = 3*g - 22. Let q(n) = -n + 14. Let s be q(g). Suppose s*y + 39 - 121 = t, 5*t = -5*y + 130. Is 16 a factor of y?
False
Let l(q) = 4 - 12*q - 3 + 3 - 2. Is l(-1) a multiple of 5?
False
Let n(y) = 23*y**2 - y - 1 + 20*y**2 - 26*y**2. Is n(2) a multiple of 19?
False
Let k = 3 + 1. Suppose 0 = d + 3*i + 2*i - 10, 3*i = -k*d + 6. Suppose -3*a = -3*g - 27, 4*a + 3*g - 36 = -d*a. Is a a multiple of 9?
True
Let w(m) = -3*m**2 + 4*m - 3. Let g(l) = 8*l**2 - 12*l + 10. Let t(s) = -4*g(s) - 11*w(s). Suppose 4*a + 3*r = 3*a - 18, 0 = -3*r - 12. Is t(a) a multiple of 2?
False
Suppose 62 + 28 = 5*i. Is i a multiple of 9?
True
Let i = -3 + 4. Let l = i + 5. Let j = l + 11. Is j a multiple of 6?
False
Suppose -4*r = 4*b - r + 37, 0 = -4*b + 4*r - 44. Is b/45 - 76/(-18) a multiple of 4?
True
Let m be ((-208)/6)/((-4)/6). Suppose 188 = 6*j - m. Is j a multiple of 9?
False
Let c(l) = -15*l**2 - 6*l + 6. Let y(j) = j - 1. Let w(h) = -c(h) - 5*y(h). Is 4 a factor of w(1)?
False
Let o(w) = -w + 7. Let k be o(5). Let x be k/(-4)*(19 + -1). Is (-53)/(-3) + 6/x a multiple of 7?
False
Let q be (9 + 1/(-1))*8. Suppose q = 2*i + 24. Does 8 divide i?
False
Let y(i) = i**3 + 5*i**2 + i + 5. Let z be y(-5). Let x be 2*1 + z/4. Suppose -17 = -j - x. Is 8 a factor of j?
False
Let v = 108 - 78. Is 5 a factor of v?
True
Let f = 64 - 23. Is f a multiple of 41?
True
Suppose 2*k + 3 = -2*k - 3*o, 4*k = 3*o + 27. Suppose -2*n = k*n - 75. Does 5 divide n?
True
Let g(u) = -7*u + 4. Let y be g(3). Let f = y - 28. Let x = f - -71. Does 14 divide x?
False
Let g(t) = 11*t - 3 - 6*t + 12*t. Let n be g(3). Suppose 4*l = -0*l + n. Is 4 a factor of l?
True
Let n be 2/(-5) - 44/(-10). Suppose -n*c + 128 = -0*c. Suppose 2*s + c = 4*q + s, 4*q = 5*s + 32. Is 8 a factor of q?
True
Let t(a) = -a**2 + 6*a + 6. Suppose -w - j + 5 = -2, -5*w = -2*j - 28. Let v be t(w). Suppose 3*h - v + 19 = 2*z, 4*h + 9 = z. Does 2 divide z?
False
Let t(p) = -2*p + p - 19*p - 1. Let w = 21 + -22. Is t(w) a multiple of 7?
False
Suppose j = 14 + 13. Is j a multiple of 9?
True
Let u(s) = -3*s**3 - 2*s - 2. Suppose 6 = 3*o + 18. Let b = o + 2. Does 9 divid