= p. Let j(w) = -2*w**2 + w**2 - p - w + 2*w**2. Does 6 divide j(-4)?
False
Let b(y) = y**3 - 7*y**2 - 26*y + 7. Does 5 divide b(11)?
True
Let w(o) = 3*o - 20. Let h(r) = r - 7. Let i(v) = -7*h(v) + 2*w(v). Let p be i(7). Suppose -5*l = 4*q - 89, -p*l + 22 = -0*l + 5*q. Does 8 divide l?
False
Let n(p) = -p**3 + p**2 - 2*p - 1. Let r be n(2). Let w = r + 35. Is w a multiple of 13?
True
Suppose -8*n = -3*n + 3*u + 15, -4*n = 2*u + 10. Suppose 3*i - 25 - 5 = n. Suppose -t + 15 = 2*c, -c + 2*c - i = 2*t. Is 8 a factor of c?
True
Suppose -70 = -88*s + 86*s. Is 7 a factor of s?
True
Suppose 2*i = -3*p + 7*i - 8, -2*p + 24 = 4*i. Suppose -2*z = -p*z + 18. Is z a multiple of 9?
True
Let z(l) be the first derivative of -5*l**2/2 - 7*l + 4. Let a be z(-6). Is 19 a factor of (-1)/(1/(-1))*a?
False
Suppose 0 = -z + 3, -q + z - 3*z = -8. Let m = q - 0. Suppose 0 = -7*s + m*s + 60. Does 5 divide s?
False
Let p(b) = -b**3 - 4*b**2 - 4*b - 1. Let k be p(-3). Suppose 3*c = -k*c + 190. Is c a multiple of 9?
False
Let f(j) = j**3 + 7*j**2 + 5*j + 4. Let l be f(-6). Is 2 a factor of 74/l + 6/(-15)?
False
Suppose 2*r = -3*r - 5*z - 5, 0 = -5*r + 5*z + 25. Let x = 7 + r. Is x a multiple of 4?
False
Let q(y) = -12*y**2 - 2*y - 3. Let s be q(-2). Let o = -9 - s. Does 17 divide o?
False
Suppose -2*s + 2*y + 95 = 23, -136 = -4*s + 2*y. Does 4 divide s?
True
Suppose -2*b = b - 48. Let j = b + -10. Suppose j*l - 72 = 2*l. Is 9 a factor of l?
True
Let x(z) = 3*z**2 - z - 5. Let w be x(4). Suppose -w = -d - 0*d. Is 21 a factor of d?
False
Suppose -86 = -4*z + 90. Does 16 divide z?
False
Let n(y) = -y + 15. Does 8 divide n(7)?
True
Let j = -265 + 145. Let g = 224 + j. Is 29 a factor of g?
False
Let m = 8 + -15. Let s = m - -43. Is s a multiple of 9?
True
Let f(s) = 13*s**2 - 3*s + 3. Let n be f(2). Let o = 79 - n. Is o a multiple of 13?
False
Suppose -5*f = -478 - 107. Is 13 a factor of f?
True
Let k = 10 + -5. Let d be (6 - 6)*-1*1. Suppose d = k*x - 0*x - 90. Is 9 a factor of x?
True
Suppose -131 = -3*c + 7. Suppose -94 - c = -5*o. Is 14 a factor of o?
True
Let o = -5 + 26. Suppose -1 = -3*g - 7. Is 9 a factor of g/(-1 - o/(-27))?
True
Let f(n) = -19*n**3 + 2*n**2 - n. Let l be f(1). Let m be ((-14)/4)/((-1)/2). Let z = m - l. Does 16 divide z?
False
Let l be (12/(-9) - -3)*3. Suppose 3*x - l*x = -30. Is x a multiple of 15?
True
Let u(v) = v - 1. Suppose 4*p = -5*n - 4, -p + 4*n = -24 + 4. Let t be u(p). Suppose t*a - 18 - 12 = 0. Is a a multiple of 5?
True
Does 9 divide (-11)/(-44) + (-35)/(-4)?
True
Let q(r) = -r + 15. Does 2 divide q(0)?
False
Let d = 19 + 21. Is 8 a factor of d?
True
Let s = 19 + -8. Let a(c) = -c**3 - c. Let t be a(0). Suppose -v + s = n - 5, n + 1 = t. Does 6 divide v?
False
Let k = 14 + -9. Suppose 4*t = d + 3, -3*t + 5 = k*d - 26. Suppose 63 = d*s + 3. Is 6 a factor of s?
True
Let g(o) = -20*o - 1. Let s be g(-4). Suppose 2*l - s = -3. Is 19 a factor of l?
True
Let h be (1/2)/((-1)/(-2)). Suppose 0 = 2*x - 2*o - 2, 0*x + x = 4*o + 10. Does 12 divide x/2 + h - -24?
True
Let u(p) = p - 7. Let i be u(8). Is 5 a factor of (-1)/((-3)/27*i)?
False
Let c(t) = -t**3 - 11*t**2 + t + 13. Let w be c(-11). Suppose -3*y = -5*q + 26, 0 = w*y - 5 - 1. Does 7 divide q?
True
Let l(p) = -p + 7. Let g be l(-4). Suppose -b = -g - 18. Does 8 divide b?
False
Let j = 69 + 52. Is j a multiple of 26?
False
Let u = -7 + 5. Let n be -2 + (-26)/2*u. Suppose 4*o - n = o. Is 6 a factor of o?
False
Let g = 1 - -8. Suppose 0 = -5*f + 5*w + 41 + 4, -f = w - g. Is f a multiple of 2?
False
Let i = -64 - -135. Is 12 a factor of i?
False
Let s(y) = -y**3 - 4*y**2 + 5*y + 4. Let w be s(-5). Let q(o) = -w*o + 9 + o**2 + 0*o + o. Is 22 a factor of q(6)?
False
Let t = 61 + -88. Is ((-150)/(-4))/(t/(-72)) a multiple of 25?
True
Suppose 2*q - i - 285 = 0, -4*i + 5 = -5*i. Is q a multiple of 9?
False
Let q(k) = -k**3 - 8*k**2 + 3*k + 4. Is 12 a factor of q(-10)?
False
Let o = -4 - -6. Suppose 0*h = -3*h + 12. Suppose -w - 93 = -h*k, -k + 102 = 3*k + o*w. Does 10 divide k?
False
Suppose 5*o + 8*g + 250 = 3*g, 2*o + 103 = -5*g. Let u be (-2 - -1 - o)*1. Suppose -z = 3*z - u. Is z a multiple of 6?
True
Suppose -3*b + 0*v + 113 = -2*v, -4*b - 3*v + 145 = 0. Is b a multiple of 5?
False
Let b = 31 + 2. Is 11 a factor of b?
True
Let u(d) = d**2 + 2*d. Let w be u(-2). Suppose w = 2*p + p - 21. Is p a multiple of 6?
False
Let z = 14 - -9. Let l(g) = 5*g**2 + g. Let n be l(1). Let b = z - n. Does 6 divide b?
False
Suppose 0 = 4*a + a + 45. Let b = -19 + 15. Let o = b - a. Is o a multiple of 3?
False
Let s = -92 - -118. Is 3 a factor of s?
False
Let w = 0 + 2. Is (-192)/6*w/(-2) a multiple of 22?
False
Suppose -w = -1 - 2. Let z(x) = -2*x**2 - 11*x + 8. Let y be z(-8). Is (-3 + 0)*y/w a multiple of 9?
False
Suppose -2*l = -9 - 119. Does 17 divide l?
False
Suppose -3*h - 12 = -0*h. Let q = h + 11. Is q a multiple of 3?
False
Let a = 10 - -2. Let s be ((-2)/(-3))/(1/a). Suppose 4*t = 3*t + s. Is t a multiple of 4?
True
Let f(j) = 2*j + 1. Let l be f(1). Suppose 11 + 25 = l*x. Does 12 divide x?
True
Suppose 2*y + y - 66 = 0. Is y a multiple of 4?
False
Let k(t) = -t - 5. Let w be k(-8). Let r = 6 - w. Is (7 - r)/((-2)/(-8)) a multiple of 8?
True
Does 12 divide (0 + -2)/((-8)/1236)?
False
Let u(r) = -r**3 + 3*r**2 + r - 3. Let l be u(2). Suppose -l*t + 360 = 3*t. Is 20 a factor of t?
True
Suppose 0 = 4*z + 3*y - 33, 2*z - 4*y = -0*z + 44. Suppose 4*c - 12 = -2*d, 3*c + z = 2*d - 0*d. Is d a multiple of 3?
True
Suppose -2*n = 4*h - 42, -h + 15 = 4*n - 6. Is 6 a factor of 138/h + 2/(-6)?
False
Suppose 0 = 2*g + g - 12. Suppose -j = g*n - 71, n - 4*j + 8 = 30. Suppose f - 10 - n = -4*t, 80 = 5*f + 5*t. Does 6 divide f?
True
Suppose -981 = -5*w + 3*v, -w + v + 4*v + 183 = 0. Is 18 a factor of w?
True
Suppose -5*h = 26 + 9. Let p = 12 + h. Let b = p + 17. Is b a multiple of 11?
True
Let x = 88 + 13. Suppose 5*u = -318 + 33. Let f = x + u. Is 18 a factor of f?
False
Is 15 a factor of (-7 + 3)/(5/(-35))?
False
Suppose 0 = -g - 2*v + 16, -4*g + 4*v = 3*v - 109. Is 6 a factor of g?
False
Suppose 0*o = -2*o + 8. Does 10 divide -61*o/(-12)*3?
False
Suppose 0 = 2*f + q + q - 72, -1 = -q. Let z = f - 21. Let s = 28 - z. Is s a multiple of 14?
True
Let f = 16 + -12. Is 10 a factor of ((-4)/10)/(f/(-200))?
True
Let w be -14 + 2 - 1 - 2. Let q be (-1)/(1*3/w). Suppose 0*v = q*v - 160. Is v a multiple of 13?
False
Let v(l) = l + 1. Let s be v(2). Suppose -z = -5*j + s*z + 14, 0 = -2*z + 8. Is 6 a factor of j?
True
Let h = 6 - 5. Let f be h/(2 - 14/8). Suppose 3*b - 4*o - 28 = 0, -3*b + f*o + 60 = 2*b. Is 8 a factor of b?
True
Let x be (1 + -2)*(-4 - 1). Suppose -5*n + 2*u - x*u + 235 = 0, -103 = -2*n - 3*u. Let z = n + -24. Does 20 divide z?
True
Suppose 4*o - 3*j - 402 = o, 3*o - j - 408 = 0. Is o a multiple of 29?
False
Let k = -62 - -248. Is k a multiple of 22?
False
Let k = -8 + 8. Suppose -d = -k*d - 5. Suppose -91 - 4 = -d*m. Does 10 divide m?
False
Let l = -6 - -11. Suppose -m + 4*h = 13, -h - 3*h + 49 = -l*m. Does 13 divide 2/((-6)/m) - -46?
False
Suppose 0 = 5*a - 25, 3*x + 33 = -x + a. Suppose -q - 2*v = -6, 0*v - 5*v = 3*q - 16. Let d = q - x. Is 3 a factor of d?
True
Let d(c) = c**3 - 9*c**2 + 8*c + 2. Let p be d(8). Let r be (-3 + 4)/(p/10). Suppose -2*j + 4*w + 14 = 0, r*w - 6 = -2*j - 1. Is 2 a factor of j?
False
Let t(o) = -4*o**3 + 2*o**2 - 3*o - 3. Let x(h) = -2*h**2 + 0*h**2 + 3*h**2 - 2 - 2*h - 4*h**3. Let w(z) = -3*t(z) + 4*x(z). Does 10 divide w(-2)?
False
Suppose -5*n - 17 = -2*g, 2 = g + 4*n - 0. Let x = g - 2. Does 3 divide x?
False
Let m be (1 - (-14)/4)*2. Let b = -4 - -6. Let g = m - b. Is 3 a factor of g?
False
Let b be 5/(30/(-27))*2. Let q = b + 12. Is q a multiple of 2?
False
Let l = 31 - -54. Is 17 a factor of l?
True
Let w(q) = q**3 - 5*q**2 + 6*q - 4. Let a be w(4). Let n = 15 - a. Is n a multiple of 9?
False
Let b = -13 + 25. Is 4 a factor of b?
True
Let f = 34 + 4. Is f a multiple of 5?
False
Let t(m) = -11*m - 4. Is t(-11) a multiple of 13?
True
Let r = -349 - -206. Is r/(-4) - (-1)/4 a multiple of 21?
False
Suppose 4*u + 3*g = 2*u + 223, -226 = -2*u - 2*g. Does 9 divide u?
False
Let f be ((-6)/2 + 2)*-3. Does 9 divide 60/f - (1 - -1)?
True
Suppose -3*m = -m - 14. Does 2 divide m