(-3). Suppose -4*k + 11 = 2*q + x, -2 = -q - k. Suppose -3*c = -q*c - 42. Does 7 divide c?
True
Suppose 2*x - 6 = 3*x. Let u = x + 10. Does 18 divide 1/u*14*12?
False
Let d = -11 - -23. Is 220/(-6)*d/(-10) a multiple of 13?
False
Let d = 474 + -335. Suppose d = 2*s + 27. Is s a multiple of 14?
True
Suppose 2*d + 2*l - 2 = 2, 3*d - 8 = -5*l. Let i be -1*(-73 - -2) - d. Suppose 5*p - i = -0*p. Does 14 divide p?
True
Let g(w) = -w + 29. Is 29 a factor of g(-9)?
False
Let m = 235 + -108. Does 9 divide m?
False
Let b = 388 - 258. Suppose -8*t + 3*t = b. Let p = t + 58. Is p a multiple of 13?
False
Let t(l) = -4*l**3 + 3*l**3 + 6*l**2 + 2*l**3 + 4*l. Let c be t(-5). Suppose 5*d - 25 = c*n, -5*d = 5*n - 2*n - 41. Is 7 a factor of d?
True
Let v(a) = -7*a - 5*a + 4*a - a - 4. Is 8 a factor of v(-3)?
False
Let j be (-2)/7 - (-10)/35. Let b = j - -6. Suppose 2*r - b = 10. Does 4 divide r?
True
Let d(i) = -i + 63. Is d(17) a multiple of 7?
False
Let n be (64/(-6))/(3/9). Let p = n - -60. Suppose -d = d - p. Does 7 divide d?
True
Let x be 0*1/(-3)*-1. Let i(b) = -b. Let s be i(x). Suppose s*n = -4*n + 24. Is n a multiple of 6?
True
Let n(h) = -h**3 - 7*h**2 - 6*h - 4. Let o = -3 - 2. Let v(p) = -p**2 - 3*p + 3. Let y be v(o). Does 14 divide n(y)?
False
Suppose -v - 70 = 3*t, -3*t = 3*v + 2*v + 86. Let c be 31 - (0 - -2 - 2). Let n = t + c. Is n a multiple of 9?
True
Let k(u) = 2*u**3 - 4*u**2 + 2*u - 3. Let v(z) = -z**3 - 7*z**2 + 7*z + 5. Let t be v(-8). Suppose 2*y - 8 = -2*p, 4*p + 0 = -y + t. Does 11 divide k(p)?
False
Does 14 divide (-57)/(-2) - (-3)/(-6)?
True
Is (-2)/3 + (-800)/(-30) a multiple of 9?
False
Let s = -23 + 47. Is s a multiple of 6?
True
Suppose k - 4*k = 0. Let j = 3 + k. Suppose -4*y = -c - 86, j*y - 3*c = -0*y + 60. Is 10 a factor of y?
False
Is (-4)/2 - (0 + -10) a multiple of 6?
False
Suppose 5*w + 19 = -4*a, -5*a - 5*w - 2 = 23. Let m = a + 12. Is 6 a factor of m?
True
Does 2 divide (2/6)/(3/72)?
True
Let q(x) = x**3 + 12*x**2 + 9*x + 2. Is q(-11) a multiple of 4?
True
Let w = -74 - -20. Is (-1)/((-21)/w)*-7 a multiple of 17?
False
Let g(z) = -8 + z**2 + 11*z + 4*z**2 - 6*z**2 + 2*z**2. Does 4 divide g(-12)?
True
Let n be 111/(-18) + (-1)/(-6). Let r = n - -16. Is r a multiple of 10?
True
Suppose -8 = 5*a + 12. Does 15 divide (-30)/((0 - -2) + a)?
True
Let k = -3 + 12. Let v(z) = z**2 - 9*z + 13. Is 6 a factor of v(k)?
False
Let t = -7 + 12. Let c = t + 22. Is c a multiple of 9?
True
Suppose 4*y - 3*y = 0, 338 = 2*i - 2*y. Is 40 a factor of i?
False
Let o = -113 + 161. Is o a multiple of 16?
True
Let b(m) = 160*m**2 + 2*m + 1. Let u be b(-1). Suppose -u = -0*r - 3*r. Is r a multiple of 21?
False
Suppose -r + 316 = 3*r. Is 7 a factor of r?
False
Suppose 2*f + 3*u = 5 + 88, -2*u - 242 = -5*f. Suppose -f = -4*x - 2*j + 2, -4*j = -3*x + 21. Is 11 a factor of x?
True
Let j(k) = 2*k**3 - 6*k**2 - 5*k - 12. Does 21 divide j(5)?
True
Suppose -5*n - 2*v = -85, 4*v - 6*v - 17 = -n. Is n a multiple of 2?
False
Suppose -2*b + 3*b - 11 = 0. Suppose 3*c - 28 = 4*g, b*g = 6*g - 20. Suppose 4*u - 52 - c = 0. Is u a multiple of 14?
True
Let p be (-14)/(-7) + 3*8. Let d be (6/4)/((-2)/12). Let n = p - d. Is 12 a factor of n?
False
Let p(s) = 36*s - 16. Does 42 divide p(4)?
False
Suppose 5*n - 392 - 78 = 0. Is n a multiple of 9?
False
Let k be 9/(-2)*(-4)/6. Suppose 2*l = -k*l + 90. Suppose 2*w - l = -0*w. Is w a multiple of 3?
True
Let c be (3*7/3)/(-1). Let n = 14 + c. Is n a multiple of 7?
True
Let d = 2 - -2. Suppose 2*m = -d*f + 2, 4*m = 4*f - 27 + 91. Does 3 divide m?
False
Let g = -35 - -126. Does 13 divide g?
True
Suppose 4*j - 296 + 76 = 0. Is 11 a factor of j?
True
Let c be (0 - 6)*5/(-3). Let t = c + -5. Does 2 divide t?
False
Suppose 0 = 4*d + 4*k + k - 73, -4*d - 4*k + 72 = 0. Let r be d - -3*2/3. Suppose -3*t = 1 - r. Is t a multiple of 3?
True
Let g(b) be the first derivative of 9*b**2/2 - b - 1. Let i(p) = -2*p. Let s(r) = -6*g(r) - 26*i(r). Is 11 a factor of s(-5)?
False
Let i(g) = 7*g - 1. Let c(p) = -p - 5. Let t(u) = 9*u**3 + u**2 - u - 1. Let k be t(-1). Let h be c(k). Is 10 a factor of i(h)?
True
Let u = 0 - 0. Let v = 20 - 16. Suppose u = 4*p - v - 68. Does 9 divide p?
True
Let r = 194 - 104. Is r a multiple of 18?
True
Is 22 a factor of (-36)/(-30)*55/2?
False
Suppose 5*o = -4 + 29. Is (18/o)/((-12)/(-30)) a multiple of 9?
True
Suppose 4*o - 59 = 21. Suppose w - 5*u = -6 + o, 4*w = u + 37. Is 9 a factor of w?
True
Let c = 5 - 4. Suppose -41 - c = -3*t. Is 14 a factor of t?
True
Let u(q) = -2*q + 3. Let g be u(2). Is (-17*1 + 0)*g a multiple of 17?
True
Let h(o) = o**3 + 10*o**2 + 9*o + 5. Let m be h(-9). Suppose 0*t = m*b + 3*t - 109, -4*b = 3*t - 86. Is b a multiple of 10?
False
Suppose 17 = -5*q + 42. Suppose -c + 4*u = -2*c - 6, -q*c = u - 27. Does 3 divide 28/c*(-24)/(-16)?
False
Let v(m) = m**3 + 11*m**2 + 12*m - 10. Is v(-9) a multiple of 4?
True
Let x(q) = 2*q + 3. Does 3 divide x(0)?
True
Let b be (-6)/9 + (-2)/(-3). Suppose -3*x = -b*x - 120. Is x a multiple of 20?
True
Is 11 a factor of (0 - -88)/(12/12)?
True
Suppose 0*l = -2*l - 4*d + 144, 5*l - d = 415. Is 14 a factor of l?
False
Suppose 0 = -b - 2*b + 6. Suppose -b*o + 4*o - 18 = 0. Is 9 a factor of (o/(-3))/((-3)/14)?
False
Let n(j) = -j - 7. Let q(k) = -2*k - 10. Let g(c) = -7*n(c) + 5*q(c). Let d = 7 + -14. Does 7 divide g(d)?
False
Suppose -5*o + i + 4 = 1, -5*i = -4*o + 15. Suppose o = -3*z + 62 + 43. Is 14 a factor of z?
False
Let i(w) = 30*w**2 - w - 1. Suppose 3 = -h - 0*h + f, -5*h + 3*f = 11. Does 15 divide i(h)?
True
Suppose 4*z = z. Suppose t + 4*h - 54 = 0, z = 4*t - h + 6*h - 183. Does 11 divide t?
False
Let f(q) = -q**3 + 19*q**2 + 3*q + 27. Is 21 a factor of f(19)?
True
Let r = -9 - 1. Does 21 divide (-566)/r - 12/(-30)?
False
Does 15 divide -1 + -2*(-61)/2?
True
Suppose -3*o + 37 = -17. Is 6 a factor of o?
True
Let a(n) = n**3 + n**2 + 228. Let t be a(0). Suppose -z + t = -4*b, -3*b - 3*z = -6*b - 171. Is 6 a factor of -1 - 2/(6/b)?
True
Suppose 5*k = -s + 20, -7 = 3*k - 7*k + s. Suppose 145 = k*c + 2*c. Let z = c - 0. Does 10 divide z?
False
Let l be 42/12 - (-6)/4. Let p be (18/l)/((-4)/(-10)). Let s = -4 + p. Is s even?
False
Suppose 53 = 4*x - 163. Does 18 divide x?
True
Suppose -3*j - 10 = 2*y, 0 = j + 3*y + 1 - 0. Let c = -2 - j. Let g = 18 - c. Is g a multiple of 12?
False
Let m = 60 + -42. Is 6 a factor of m?
True
Let r = 13 - 18. Let h be (-6)/(r/(15/6)). Suppose 5*f + 43 = y, -5*f = -h*y - 2*f + 69. Does 6 divide y?
True
Suppose -4*g + 2*f + 258 = 0, f - 2*f + 333 = 5*g. Does 33 divide g?
True
Is 7 a factor of (-3)/9 - 256/(-3)?
False
Suppose j - 285 = -5*q + 3*q, -4*j + 5*q + 1075 = 0. Is j a multiple of 26?
False
Let k be -3 + 23*(4 - 3). Suppose -k = -3*y - 2*y. Does 4 divide y?
True
Suppose -3*j - 20 = -j. Let w = 4 - j. Is w a multiple of 7?
True
Let t be (8/(-10))/(10/(-50)). Suppose -u - 140 = -5*p + u, 0 = t*p - 4*u - 100. Is p a multiple of 10?
True
Let p = -4 - -4. Suppose -s + 4*w + 58 = 0, -3*s + w - 18 + 137 = p. Does 13 divide s - (3 - 1 - 3)?
True
Let u = 130 + -220. Let h = u - -165. Does 15 divide h?
True
Let b(p) = -p + 29. Does 19 divide b(10)?
True
Suppose 5*b + 4*q = -7, -2 - 1 = q. Let r = b - -2. Is r a multiple of 2?
False
Let a(f) = -f**2 + 4*f + 3. Let o be a(6). Let j(m) = -m**2 - 12*m - 12. Is j(o) a multiple of 5?
True
Let r(l) = -l**3 - l**2 + l + 3. Let a be r(0). Let q = -10 - -12. Suppose q*z - 2*b + 29 = a*z, 56 = 4*z - 4*b. Is z a multiple of 19?
True
Suppose 3*n = 7*n. Let v = n + -5. Let y = v - -20. Is 5 a factor of y?
True
Let h = -4 - 1. Let w = h + 27. Does 8 divide w?
False
Let q(l) = l**3 - 11*l**2 - 9*l - 9. Let k be q(12). Suppose f - k = 6. Is f a multiple of 13?
False
Let l(o) = -o**3 + 7*o**2 - 2*o + 7. Let f(a) = 2*a - 1. Let x be f(4). Let m be l(x). Let d(w) = w**2 + 2*w - 9. Is 14 a factor of d(m)?
False
Is ((-80)/(-20))/((-2)/(-44)) a multiple of 4?
True
Suppose t = w + 5, 20 = -0*t + 4*t + 5*w. Suppose -11 = 4*h - t*h. Let u = 26 - h. Is 15 a factor of u?
True
Let j be 2 - (-1 + -1)*7. Suppose 5*u - 10 = 0, 2*d = -0*d - 2*u + j. Is 3 a factor of d?
True
Let i = 2 - 1. Let b(x) = -i - 3*x - 2*x + 2*x. Is 6 a factor of b(-6)?
False
Suppose 0 = -2*i + 25 - 7. Suppose -3*c + i = -n