6)/2. Let x be 1*27*a/(-3). Does 15 divide 6/x - (-124)/3?
False
Is 21 a factor of 3 - 5 - (1 + -50)?
False
Suppose -4*n + 3 + 9 = 0. Does 20 divide n/9 - (-59)/3?
True
Suppose 0*n = 3*n - 9, 0 = -5*u + 4*n + 253. Let a = u + 1. Does 10 divide a?
False
Is (-2 + -3)*-1 + 225 a multiple of 46?
True
Let p(r) = 5*r**3 + 3*r**2 + 2*r - 2. Is 38 a factor of p(3)?
False
Does 6 divide (1 - (2 - 2)) + 5?
True
Let z(c) = 2*c**2 + 6*c - 13. Let p be z(-11). Suppose 3*w - 35 = -4*a + p, a = -2*w + 127. Suppose 0 = -l - l + w. Is 11 a factor of l?
False
Let v = -58 + 94. Is 12 a factor of v?
True
Let s = -4 - -7. Does 2 divide s?
False
Let j be 49/2*18/(-9). Let q = j + 69. Is 20 a factor of q?
True
Suppose -z = 5*k - 135, -k = 4*z + k - 504. Does 14 divide z?
False
Suppose 0 = 4*x + 2*j - j - 17, 4*j = 4*x - 32. Suppose -3*s - 2 = -5*s, 0 = x*t - 3*s - 372. Is t a multiple of 15?
True
Suppose -y - 3 = -5. Let c(r) = -r - 2*r + 10*r + 1 - r**y. Does 8 divide c(5)?
False
Let g be ((-2)/(-3))/(2/9). Let h(b) = -b**3 + 4*b**2 - 4*b + 2. Let f be h(g). Does 16 divide (23 - f) + 1 - 0?
False
Let w(m) = m**2 - 9*m + 8. Let p be w(8). Suppose -2*b + 3*b - t + 5 = p, -20 = -5*t. Let f = b + 7. Is 6 a factor of f?
True
Let w(p) = p**3 - 7*p**2 - 2*p + 8. Is 8 a factor of w(8)?
True
Suppose -4 - 4 = -4*o. Is 2 a factor of o?
True
Let r(a) = a**3 - 9*a**2 + a + 6. Let i(j) = -j**3 + 5*j**2 + 7*j + 3. Suppose 2*n - 32 = 4*z, 2*n - 5*z + 5 = 7*n. Let l be i(n). Does 15 divide r(l)?
True
Let b(q) = -10*q**3 - 12*q**2 - 7*q - 11. Let h(j) = -3*j**3 - 4*j**2 - 2*j - 4. Let t(x) = 2*b(x) - 7*h(x). Does 3 divide t(-4)?
True
Let b(a) be the first derivative of a**4/2 - a**2/2 - 1. Is 7 a factor of b(2)?
True
Let i(r) = r**2 - 4*r - 5. Suppose z - 1 + 5 = 0. Does 9 divide i(z)?
True
Let n(c) be the first derivative of 4*c**3/3 + c**2 - c + 2. Is 2 a factor of n(1)?
False
Suppose 2*v - 160 = -2*v. Suppose -2*q - 4*i + i - 39 = 0, -4*i + v = -5*q. Does 10 divide 15/(-2)*32/q?
True
Let o = -8 + 8. Suppose o = 4*i - 5 - 163. Is 21 a factor of i?
True
Suppose -11 - 41 = -2*m. Suppose -4*c = 12, 0*c = 5*f - 2*c - 6. Suppose -k = -f*k - m. Is k a multiple of 13?
True
Suppose 458 = 10*z - 82. Is z a multiple of 9?
True
Let u(i) = -i. Let o(w) = 2*w. Let k(p) = 3*o(p) + 2*u(p). Is 8 a factor of k(2)?
True
Let t = 7 - 0. Is t even?
False
Suppose -5*l - 4*s = -2*l - 135, -2*l + s + 90 = 0. Is 34 a factor of l?
False
Suppose 4*x = -0*y + 4*y - 388, -4*y + 403 = -x. Does 17 divide y?
True
Let b = 6 + -4. Let t be (4/10)/(b/60). Suppose 4*d - 56 = -4*g + t, 5 = -g. Is 11 a factor of d?
True
Let t(i) be the first derivative of i**3/3 - 5*i**2 - 2*i - 3. Is t(11) a multiple of 4?
False
Let c(i) = 1 + 12*i - 8 + 0 - 3. Is 13 a factor of c(4)?
False
Suppose -5*o - 323 = -3*x - 0*x, 4*o + 103 = x. Is x a multiple of 13?
False
Suppose -5*l = -2*u - 11, 2*u - 6*u + 53 = 5*l. Suppose 2*s + d - 15 = 2, -2*d = s - u. Is s a multiple of 3?
True
Suppose 5*c - x + 2217 = 0, x - 3 = -6. Let d = -17 - 18. Is (-10)/d - c/14 a multiple of 12?
False
Suppose 0 = -3*k - 14 + 35. Suppose 0 = -5*x + k*x - 60. Is x a multiple of 15?
True
Let a(v) = v**2 - 4*v + 7. Is 7 a factor of a(4)?
True
Let g(j) = j - 37. Suppose -3*p = -4*p - 8. Let m(s) = -12. Let z(f) = p*m(f) + 3*g(f). Is 15 a factor of z(10)?
True
Let c(x) = -4*x - 14. Is c(-17) a multiple of 9?
True
Suppose l + x - 5 = -4*x, 3*l + x + 27 = 0. Let g(q) = -q**3 - 10*q**2 - q + 9. Does 5 divide g(l)?
False
Suppose -h = 2*h + 15, h = -3*z + 1. Suppose 100 = 4*n - z*g + 18, 2*n = -2*g + 38. Is 20 a factor of n?
True
Let g(m) = m - m**3 + 8*m**2 + 4*m + 5*m - 11. Let c be g(9). Is 195/21 + c/7 a multiple of 4?
False
Let x(c) = -2*c**3 - 2*c**2 + c. Let q be x(1). Does 10 divide (q - -4)*(-2 - -12)?
True
Let p(t) = -t - 7. Let v be p(-5). Let m = 5 - v. Is m a multiple of 7?
True
Is (0 - -1)*(3 - -48) a multiple of 17?
True
Suppose -2*i = -p - 8, 0 = -2*p + 2*i - 9 + 1. Suppose p = 4*x + x. Suppose x = 4*r - 13 + 5. Is r a multiple of 2?
True
Suppose 0 = y + 3*y - 232. Is 16 a factor of y?
False
Suppose 0 = -4*y - 0*y + 52. Suppose 3*b = -4*z - 17 + 4, 3*z = -12. Let f = y + b. Does 4 divide f?
False
Suppose x + 2 = 4. Is 2 a factor of x?
True
Suppose -13 - 1 = -2*k - 4*h, 31 = 3*k + 4*h. Does 7 divide k?
False
Let u be -1 + 0 + -2 - 30. Let b = u + 66. Does 13 divide b?
False
Suppose w + 3*w = 0. Let i(p) = -5*p + 42 + 6*p + 5*p**2 - 4*p**2. Does 16 divide i(w)?
False
Suppose 0 = -x - 4, -4*x = 2*v - v + 14. Let j(p) = -p - 1 + 17*p**v + p. Is j(1) a multiple of 16?
True
Does 17 divide -2 + 91 + 10 + -14?
True
Is 42 a factor of 2*1*(-1 + 64)?
True
Suppose -c = -0 - 4. Let g = c - 6. Does 16 divide (96/15)/(g/(-10))?
True
Suppose 5*z - 15 = 0, 15 = -3*d + 5*d + 5*z. Let g = d + 1. Is 8 a factor of (g + -5)*(-2 + 0)?
True
Let z(x) = x**3 - 6*x**2 - 5*x + 6. Let i be z(6). Let j = 50 + i. Is j a multiple of 13?
True
Suppose 1152 = -88*v + 92*v. Does 32 divide v?
True
Let c = -121 + 241. Is 9 a factor of c?
False
Let v(a) = 2*a**2 - 2*a + 10. Does 4 divide v(-4)?
False
Let o(s) = -s**3 - 5*s**2 - 5*s + 2. Let m be o(-4). Let l = m - 3. Does 2 divide l?
False
Let y(w) = 2*w**2 + 2*w + 1. Let x = 25 + -23. Does 9 divide y(x)?
False
Let w(b) = -b**3 - b**2 + 0*b**3 + 26 + 97*b - 96*b. Let p be (-2)/(-8) - (-1)/(-4). Is 9 a factor of w(p)?
False
Let x(b) = b**2 - 5*b + 6. Let m be x(3). Suppose -u + 18 = -4*d + 5*d, m = -u + 4*d + 13. Is 5 a factor of u?
False
Let q(j) = j**2 - j - 1. Let u be q(3). Suppose u*s + 2*z - 60 = 0, -s + 5*z = 3*z. Does 5 divide s?
True
Suppose 0 = -6*m + 3*m - 3. Let h = 10 - m. Is 4 a factor of h?
False
Suppose -g = -5*y + 20, -g = 6 - 1. Suppose 2*i = y*i + 78. Does 4 divide i/(-9) - 1/(-3)?
False
Let c(q) = -q**3 + 29*q**2 - 23*q - 34. Is 13 a factor of c(28)?
False
Suppose -5*g + 315 = z, -2*g - 3*z + 118 = -z. Suppose -k + g = k. Suppose -3*t + k = t. Does 4 divide t?
True
Suppose -w + 3*o = 9, -4*o - o + 55 = 5*w. Does 4 divide 22/4 - 3/w?
False
Let k(g) = -g**3 + 4*g**2 + 2. Let n be k(4). Let f be (-23)/(-2) - 1/n. Suppose -4*m + 56 = 4*z, 4*m - f + 27 = 0. Is 16 a factor of z?
False
Does 20 divide ((-6)/15)/((-1)/190)?
False
Let i(v) = v**2 + 6*v + 7. Suppose m - 3*c - 4 = 0, -2*c - 15 = 3*c. Let w be i(m). Suppose 0 = -2*f + w*j + 72, -5*j + 72 = 2*f - j. Is f a multiple of 12?
True
Suppose -2*m = 3*m. Let n(t) = t**3 - t**2 - t + 9. Is n(m) a multiple of 9?
True
Suppose 3*q - 47 = -v, 5*v - q + 81 = 380. Is 13 a factor of v?
False
Let b = 365 - 256. Is b a multiple of 11?
False
Suppose 3*a - 7 = -2*i, -a - 14 = -3*a + i. Suppose -u - u = -3*k - 21, 39 = a*u - 3*k. Is u a multiple of 4?
False
Suppose 6*w + 4*c + 35 = 3*w, -3*c - 15 = 0. Is 37 a factor of (w - (-8 - -4))*-111?
True
Suppose -2*a - 6 = 0, 7 = -3*v - 4*a - 5. Suppose 3*k - 5*h - 34 = v, 3 = 3*k - h - 23. Does 3 divide k?
False
Suppose -4*j = 3*m + j - 160, -3*j = 2*m - 105. Is 23 a factor of m?
False
Let d be (-118)/12 + (-1)/6. Let n = -6 - d. Suppose 3*a - 53 = n. Is 7 a factor of a?
False
Let l be 90*(-1 + (-8)/(-4)). Is ((-32)/(-5))/(6/l) a multiple of 24?
True
Let u = 116 - 8. Is 18 a factor of u?
True
Suppose 16*o = 427 + 533. Does 15 divide o?
True
Suppose h + 11 = 5*g, -3*g + h = -4*h - 11. Suppose 4*u - 258 = 3*j, -116 = -g*u + 4*j - 9*j. Is u a multiple of 13?
False
Suppose 4*p + p - m = 349, 4*p = m + 279. Let v = 105 - p. Is 11 a factor of v?
False
Suppose 0*l = 5*l - 15. Suppose -l*x = 2*x - 40. Is 8 a factor of x?
True
Let w be (1 + 1)*12/8. Let a = -1 + w. Suppose -5*f + a*h = -40, f - 3*h - 14 = 7. Is f a multiple of 5?
False
Let d(i) = -i**3 - 3*i**2 + 3*i + 5. Is d(-4) a multiple of 3?
True
Suppose 2*d + 3 + 0 = 3*w, -d - 12 = 2*w. Let o(j) be the first derivative of -j**2 + 4*j + 1. Is 6 a factor of o(d)?
False
Let l be -2 + (-2 - -6)/2. Suppose -3*c + 2*c + 46 = l. Suppose -18 + 3 = -j + o, 2*j + 2*o = c. Is 15 a factor of j?
False
Let y be 3/(-6) + 262/4. Let i = y + -33. Is 11 a factor of i?
False
Suppose -4*i = -0*i - 12. Suppose 7 - i = d. Let f = d - 1. Is f a multiple of 2?
False
Let b(v) = -v**3 + 8*v**2 + 7*v + 4. Is 12 a factor of b(8)?
True
Let d be (1 - (-2)/(-4))*42. Suppose -2*h = -h - d. Is h a multiple of 11?
False
Suppose -