9, -4*w - t = 5*a. Let d = 29 + a. Is 8 a factor of d?
False
Let r(n) = -n**2 - 11*n - 13. Does 16 divide r(-6)?
False
Let z = -15 + 20. Suppose 5*w + z*q = 4*w + 23, 3*q + 87 = 5*w. Is 6 a factor of w?
True
Let r = -124 - -180. Is 8 a factor of r?
True
Let m be 8*((-15)/6 + 3). Suppose m*h - 8 = 2*h. Does 3 divide ((-2)/h)/(9/(-126))?
False
Suppose -8 = -h - 1. Suppose 2*k - 2*s - 52 = 0, -h + 15 = 4*s. Is 14 a factor of k?
True
Let k(h) = -h**3 + 5*h**2 + 7*h - 4. Let q be k(6). Is 17 a factor of (-48 - 2)/(q/(-2))?
False
Suppose 3*z - 5*h - 61 = 0, -5*z = -2*h + 56 - 145. Is 8 a factor of z?
False
Suppose -597 + 105 = -3*i. Let w = -99 + i. Is w a multiple of 13?
True
Let w be 3/1*16/(-12). Let l = 8 + w. Does 2 divide l?
True
Let y = -39 - -2. Let z = -6 - y. Is 15 a factor of z?
False
Let z(u) = -u**2 + u + 3. Let x be (-3)/(-2) - 18/12. Let r be z(x). Suppose -5 - 46 = -r*n. Is 9 a factor of n?
False
Let f be 1 + 2 + (2 - 71). Suppose -3*c + 8*c = -170. Let a = c - f. Is a a multiple of 12?
False
Let l(z) = -z**3 + 4*z**2 - 5*z + 6. Let h be l(4). Let b = 34 + h. Let q = b + -12. Is q a multiple of 4?
True
Suppose -3*f = 3*z - 93, 3*z + 4*f - 152 = -2*z. Let q = z - -22. Suppose -3*r = 2*r - q. Is r a multiple of 4?
False
Let l be 2/8 - 293/4. Let q = l - -123. Does 17 divide q?
False
Is 21 a factor of ((-5)/(-10))/(1*1/138)?
False
Suppose 0 = -5*q + q + 12. Suppose -h = -q*h - 10. Let d(y) = -y - 2. Does 3 divide d(h)?
True
Suppose 2*u = -2*u + 5*q + 53, -32 = -3*u - 4*q. Is 4 a factor of u?
True
Let h(k) = -k - 2. Let m be h(-4). Suppose 0*v = -m*v. Suppose 5*d - 14 - 16 = v. Is d a multiple of 6?
True
Suppose -4*p + 280 = -40. Is p a multiple of 20?
True
Suppose -3*m + 8*w - 3*w = -590, -m + 5*w + 180 = 0. Is m a multiple of 9?
False
Suppose 0 = 4*v - 26 - 294. Is v a multiple of 20?
True
Let h(r) = -3*r - 3. Let n be h(-2). Let j(o) = 4*o - 5*o + n*o - 4*o - 7. Is j(-7) a multiple of 5?
False
Suppose 3*l = -2*l + 20. Suppose q - 6 = -a + l*q, -5*q - 10 = -a. Suppose 2*j + j - 111 = a. Does 13 divide j?
False
Let q = 11 + -7. Suppose -w = -2*x - 32, -q*w + 0*w - 5*x + 89 = 0. Is 13 a factor of w?
True
Let j(o) = 26*o**3 - o**2 - o. Let s be j(-1). Is 4 a factor of (-4)/6 - s/3?
True
Let f(t) = t**3 - 9*t**2 + 2*t + 2. Let i = 11 + -2. Let l be f(i). Suppose 4*y - 36 = -0*y - 3*x, -2*x = 2*y - l. Does 2 divide y?
True
Let g(q) be the second derivative of q**6/120 - q**5/12 + q**4/12 - q**3/2 + q**2/2 - 3*q. Let j(p) be the first derivative of g(p). Is 3 a factor of j(5)?
False
Let c(f) = 34*f + 7. Does 8 divide c(4)?
False
Suppose -12 = -3*a + a. Let x = a + -24. Let t = x + 35. Is t a multiple of 10?
False
Let f(t) = 5 + t + t**2 - 8 - 7. Suppose 21 = -2*p - p. Is f(p) a multiple of 16?
True
Let a = 87 + -7. Suppose 5*y - y - a = 0. Is 18 a factor of y?
False
Does 10 divide -3 + 14/21*318/4?
True
Suppose 0 = 4*r - 1248. Suppose 5*k = k + r. Suppose -2*t = -5*q + 10 + 114, 3*q - k = 3*t. Does 12 divide q?
True
Let u be 0/(-2) + -2 + 2. Let n be (1 - -3 - 0) + u. Suppose 3*k = 23 + n. Is 5 a factor of k?
False
Let o = -39 + -36. Let t be ((-1)/(-3))/((-5)/o). Is ((-14)/8)/(t/(-20)) a multiple of 4?
False
Let o be ((-3)/6)/(3/(-342)). Suppose -53 = -v + o. Is v a multiple of 29?
False
Let w = 0 + 4. Suppose -4*g - 2*r = -6, 2*g + 7 = 5*g + w*r. Let j = 10 + g. Is 11 a factor of j?
True
Suppose 5*i - 2*s + 7*s = 135, 127 = 5*i + 3*s. Is i a multiple of 5?
False
Let o(v) = v**3 + 6*v**2 + 6*v + 5. Let d be (-2 - 0) + -1 + -1. Is 10 a factor of o(d)?
False
Let d be (-5)/1*(2 - 11). Does 13 divide d*1 - (-5 - -3)?
False
Let p = -139 - -50. Let v = p + 64. Let f = 39 + v. Does 10 divide f?
False
Suppose 3*a - 21 = 126. Let z = 67 + a. Is 31 a factor of z?
False
Suppose -5*g = 2*q - 328, g - 2*q - 2*q - 70 = 0. Is 17 a factor of g?
False
Let i = -9 - 1. Let s = -17 + -315. Is s/(-14) + i/(-35) a multiple of 12?
True
Suppose -25 = -4*o + 39. Suppose -2*g - o = 2*g. Is 2/g - 29/(-2) a multiple of 14?
True
Let s = 2 + -1. Let q = 82 - 48. Suppose -p + q = s. Is p a multiple of 11?
True
Let n = 8 - 5. Suppose 0 = -n*p + 32 + 25. Is p a multiple of 12?
False
Let i(t) = -t + 1. Let m be i(3). Suppose -8*p + 264 = -2*p. Let z = p + m. Is 21 a factor of z?
True
Let i = 84 - 75. Is 2 a factor of i?
False
Let q(w) = 93*w**2 + 2*w - 4. Does 13 divide q(-2)?
True
Let s(g) = g**3 - 2*g**2 - g - 4. Let a be s(3). Suppose -w = -4*p - 26, 2*p - a + 8 = 0. Does 7 divide w?
True
Suppose 4*f = 2*c - 6, 6*c = 4*c + 10. Is (1 - -10)*f - -2 a multiple of 13?
True
Suppose -4*b - 125 = -c, -3*b + 0*b = c - 90. Is 35 a factor of c?
True
Let u(m) = 54*m + 4. Let h be u(4). Let z = h - 151. Is z a multiple of 23?
True
Suppose 3*v - 1 + 3 = 4*n, -10 = -5*v. Suppose -4*d + 2*d = -y - 83, -n*y + 107 = 3*d. Is 13 a factor of d?
True
Suppose -d = -2*o + 8, -10 = o + 3*d - 7*d. Is 3 a factor of o?
True
Let b(w) be the second derivative of w**5/20 + w**4/2 + 7*w**2/2 - 4*w. Is b(-6) a multiple of 2?
False
Suppose -78 = -4*j - 14. Is (j - 0)/(0 + 1) a multiple of 10?
False
Suppose p = -4*p - 5*j + 160, -5*p = -5*j - 180. Does 4 divide p?
False
Let w be 4/(-8) - (-2)/4. Suppose 4*x + 28 = 4*h, w = 3*h - 2*x + 13 - 33. Does 2 divide h?
True
Suppose -3*j - 3*u + 28 = u, 0 = 4*j + 4*u - 36. Let z be (-4)/(-26) - (-50)/13. Suppose 0 = z*l + 2*d - 34, -5*l + 5*d + j = 3. Does 3 divide l?
True
Suppose -2*w + 7*w = 0, 0 = -3*o + 3*w. Suppose o = 2*n + 4 - 84. Suppose -2*l + n = -0*l. Does 10 divide l?
True
Suppose -2*j = -73 + 13. Does 9 divide j?
False
Suppose 9*w - 183 = -21. Is w a multiple of 4?
False
Suppose -3*h - 2*h + 585 = 4*y, -4*h + 4*y + 504 = 0. Let p = h - 76. Is p a multiple of 13?
False
Suppose 0 = d + 11 + 1. Does 7 divide (d/18)/((-2)/21)?
True
Suppose 4*u = -b + 161, 3*u + 3 = 2*u. Is 6 a factor of b?
False
Suppose 3*c + 9*f - 4*f + 3 = 0, 2*c - 23 = 5*f. Let h be ((-6)/c)/((-1)/2). Suppose -8 = -h*m + 31. Is m a multiple of 5?
False
Let v = -3 + 16. Let r be 4 + 2/2*-2. Is (v/r)/(3/6) a multiple of 13?
True
Let i = 6 - 8. Let l be (-2 + 3)*6/i. Let o(k) = -4*k - 3. Is 9 a factor of o(l)?
True
Suppose -2*o + 4 = -6*o, -32 = 4*f - 4*o. Let g(r) = 3*r + 7. Let w be g(f). Let l = 34 + w. Does 6 divide l?
False
Suppose 593 = 2*y - 313. Let o be (-4)/14 + y/(-7). Let p = o - -107. Is 16 a factor of p?
False
Let g = -207 - -396. Is g a multiple of 27?
True
Suppose -3*a - 11 = -146. Is 15 a factor of a?
True
Is (-72)/1*(68/16 - 5) a multiple of 6?
True
Suppose -2*p = 5*f - f + 4, 3*f = -3. Suppose p = m + 4 - 12. Does 8 divide m?
True
Let i = 55 - 88. Let s = i + 59. Is 13 a factor of s?
True
Suppose 6*a - 5*a = -4. Is 6 a factor of (6/a)/(6/(-32))?
False
Let n(y) = y**2 - y - 2. Let j be n(3). Suppose -2*o + 18 = 4*z, -2*z - 3*z + 30 = j*o. Suppose 0 = -3*b + o + 10. Does 5 divide b?
True
Let b(j) be the second derivative of 37/2*j**2 + 1/12*j**4 + j + 0*j**3 + 0. Is b(0) a multiple of 15?
False
Let u = 38 + -22. Suppose 0 = -3*c - n + u, 5*c - 36 = 4*n + 2. Does 3 divide c?
True
Suppose -6 = -3*w + 2*h, -3 = -3*w + 3*h + 6. Suppose -3*z = -w*z - 138. Does 23 divide z?
True
Suppose 7*a = 8*a - 24. Is a a multiple of 12?
True
Suppose 29*h - 59 = 28*h. Does 24 divide h?
False
Let p(a) = -a - 16*a**3 + 5*a**3 + 15*a**3 + 1. Let z(t) = -t - 3. Let y be z(-4). Is p(y) even?
True
Let l be -1 - (-34 + -1)*-1. Let v = 63 + l. Is v a multiple of 9?
True
Let y(p) = p**3 + 6*p**2 + 5*p. Let r be y(-5). Let g be (-2 - 0) + 4 + r. Suppose 4*h + 4*i = 28, h - 4*i + g*i = 13. Is h a multiple of 4?
False
Let j(h) = -h**2 + 9*h - 11. Let f be j(8). Is 2 a factor of (f/(-9))/((-2)/(-30))?
False
Let u be -5*(-1 - 27/(-15)). Let x be (u/1)/(2/(-1)). Suppose -g = -x*s + 25, 0*s - s = g - 5. Is s a multiple of 10?
True
Suppose -4*r = -5*f + 11, -2*r - 13 = -0*r - 5*f. Does 11 divide r/5 - (-1749)/55?
False
Suppose -x + 19 = -3*z, -z = -x + 2*x - 27. Is x even?
False
Suppose -2*u + 285 = -u + 3*x, 5*u + 4*x = 1458. Is u a multiple of 25?
False
Suppose 5*a = 5*z - 115, -5*z + 25 = 3*a - 74. Does 20 divide z?
False
Let x be (-3)/(9/6)*-3. Suppose u = x*u - 55. Is u a multiple of 5?
False
Let u(r) = 6*r. Let b be 1 + (-6)/((-2)/1). Suppose -5*n - 3*h + 7 + 11 = 0, b*n - 4*h = 8. Is u(n) a mult