d(2) a multiple of 13?
False
Let i(v) = -14*v + 13. Is i(-7) a multiple of 37?
True
Let l be (-1 - (-278)/(-4))*-2. Let d = 203 - l. Does 28 divide d?
False
Let y = 31 - -3. Suppose -3*t + y = -23. Let g = t - 7. Is g a multiple of 12?
True
Suppose -3*i + 2*b - 4*b + 7 = 0, 0 = -4*b - 16. Suppose 3*o + 15 = 0, -i*d - 4*o + 65 = 5. Is d a multiple of 5?
False
Suppose 3*w = -3*s + 12, -2*w + w - 26 = -5*s. Let u be 10*(1 - (1 + w)). Is (8/u)/(5/100) a multiple of 8?
True
Suppose 4*n = 4*t - 132, -12*t = -7*t + 5*n - 115. Is t even?
True
Suppose 0 = 3*a + 2*m - 16, -4 - 12 = -4*a - 4*m. Is 8 a factor of (-4)/(-10)*(68 - a)?
True
Suppose 5*x - 2 = 2*o + 8, -4*o + 4*x - 8 = 0. Suppose 0 = -o*f - 2*f + 6. Suppose 12 = -f*b + 48. Is 7 a factor of b?
False
Suppose -1 - 3 = -2*g. Suppose -4*f = -2*k - 5*f + 49, -4*k + g*f + 78 = 0. Is 13 a factor of k?
False
Let a(o) = o**2 + 6*o + 9. Let q be a(-6). Let d = 15 - q. Is 6 a factor of d?
True
Let d(m) be the third derivative of -m**6/120 - m**5/5 - m**4/2 - m**3 - 2*m**2. Does 4 divide d(-11)?
False
Suppose 3*m - 10 = -2*m. Suppose -22 = -5*l - m. Suppose 0 = -3*i + 5*v + 90, 5*i + l*v = -0*v + 113. Does 11 divide i?
False
Let s(q) = -2*q**3 - 4*q**2 - 3*q - 3. Let x(f) = -3*f**3 - 4*f**2 - 4*f - 3. Let g(y) = 5*s(y) - 4*x(y). Is 9 a factor of g(3)?
True
Suppose u = 42 + 1. Does 13 divide u?
False
Let w(d) = -d**3 - 5*d**2 + 8*d + 6. Let g be w(-6). Let q be (-86)/g + (-1)/3. Suppose q + 46 = p. Does 21 divide p?
False
Suppose -5*n - 6 + 1 = 0. Let o be (-3)/3*2/n. Suppose -3*g = 3*w - 18, g + o*g - w - 22 = 0. Does 3 divide g?
False
Suppose 3*y = 107 + 280. Is y a multiple of 43?
True
Let o be 0 + (3 - 1)*2. Suppose -k + 14 = o. Does 5 divide k?
True
Is 4/((-2)/14*56/(-16)) a multiple of 8?
True
Let o = -118 - -150. Is o a multiple of 12?
False
Let v = -7 - 3. Let k(a) = -2*a + 10. Is 15 a factor of k(v)?
True
Suppose -13*i = -10*i - 408. Is i a multiple of 34?
True
Is 163 - (30/6 + -2) a multiple of 33?
False
Let d be (2 - 4/2)/1. Suppose 2*z - 15 = -0*z + 5*g, 2*g + 6 = 3*z. Suppose d = -i - z*i + 11. Is 11 a factor of i?
True
Suppose 0 = 2*t - 50 - 46. Does 8 divide t?
True
Let b(f) = f**2 - 5*f - 24. Let i(r) = r - 1. Let q(w) = -b(w) - 5*i(w). Is 14 a factor of q(0)?
False
Suppose 2*f = b, -f = -3*b + f. Let a be 5*((-18)/(-15) - b). Let j = -2 + a. Is 4 a factor of j?
True
Suppose -3*d = -4*a + 1, -6 = 2*d - 5*a - 3. Let j(o) = 9*o**3 + 2*o**2 - o. Does 4 divide j(d)?
False
Suppose 3*a + 26 - 110 = 0. Does 4 divide a?
True
Let x = 109 - 85. Is 5 a factor of x?
False
Let o(y) = 20*y**2 - y - 1. Let w be o(-1). Suppose -2*f = -0 - w. Is f a multiple of 10?
True
Let k(i) = -4*i + 6. Let t = 0 + -5. Is 9 a factor of k(t)?
False
Let z = -13 - -15. Suppose 0*w + z*w - 154 = 0. Does 17 divide w?
False
Let l(h) = 6*h**2 + h - 1. Suppose 8 = 2*q, -5*o - 1 = -0*o + q. Let f be (4 + o)*2/(-3). Is 8 a factor of l(f)?
False
Let u(o) = o**2 + 2*o + 1. Is u(-6) even?
False
Let p(z) = 80*z - z**3 + 3*z**2 + 5*z**2 - 83*z. Is 30 a factor of p(5)?
True
Let w(f) = -f + 9. Let u be w(7). Does 12 divide ((-2)/2)/(u/(-48))?
True
Suppose -4*d - 2 = -5*k, -k + 2 = -3*d + 6. Let z be k + 0 - (0 + -2). Suppose 15 + 41 = z*l. Does 7 divide l?
True
Let f = -88 + 392. Is f a multiple of 16?
True
Let g(i) be the first derivative of i**2 + 12*i + 1. Let f be g(-8). Is (30/f)/(2/(-4)) a multiple of 10?
False
Let k = -1 + 1. Suppose k = s + 4*s. Let t = s - -12. Is 6 a factor of t?
True
Let q(g) = g**2 - 7*g - 1. Let n be q(8). Let d(f) be the third derivative of f**6/120 - f**5/12 - f**4/3 - 2*f**3/3 - f**2. Does 13 divide d(n)?
False
Let c = 34 + -55. Let k = c + 103. Suppose 0 = -3*h - 10 + k. Is h a multiple of 8?
True
Let y = 42 - -46. Suppose -4*b + y - 284 = -4*r, 2*r = -4*b - 172. Is ((-16)/(-5))/((-6)/b) a multiple of 15?
False
Suppose 0 = 3*k - 478 - 74. Is 37 a factor of k?
False
Is ((-4)/3)/((-2)/72) a multiple of 9?
False
Suppose -3*b - 3 - 4 = s, -2*b = 5*s + 9. Let h(g) be the second derivative of -4*g**3/3 - g**2 - 2*g. Is h(b) a multiple of 7?
True
Suppose 4*c + 4*m = 4, -8 = 5*c - 5*m + 27. Let r = c - -16. Is r a multiple of 7?
False
Suppose 3*c - 55 = -u, 3*c - 3 = -3*u + 54. Does 6 divide c?
True
Suppose -43*z = -39*z - 672. Does 42 divide z?
True
Let l = 17 - 9. Suppose 3*f = 4 + l. Suppose -x + 95 = f*x. Is x a multiple of 14?
False
Let x(a) be the first derivative of a**2/2 + 9*a + 1. Let m be x(0). Let h = m + -7. Is h a multiple of 2?
True
Let k be 1 - (-1 + 29 + 2). Let q = k - -41. Is q a multiple of 11?
False
Let y(q) = q**3 - 2*q**2 - 5*q + 2. Let v be y(4). Is 11 a factor of 233/7 - v/49?
True
Let l = -4 - -5. Let f(d) = d**2. Let s(b) = 16*b**2 - b + 1. Let u(h) = -6*f(h) + s(h). Is u(l) a multiple of 5?
True
Let s(z) = -z**2 - z + 3. Let u be s(0). Suppose -16 = 6*q - q - 2*j, -u*j = 2*q - 5. Is 10 a factor of (3/9)/(q/(-78))?
False
Let h(n) = 133*n**3 + 9*n**2 + 13. Let o(j) = 33*j**3 + 2*j**2 + 3. Let b(t) = 2*h(t) - 9*o(t). Is b(-1) a multiple of 19?
False
Let i be (2*5)/(4/40). Suppose 0 = -u - 4*u + i. Is u a multiple of 12?
False
Suppose -4 - 191 = -5*k. Does 13 divide k?
True
Suppose -x - 3*x = -12. Suppose -5*q = -4*z - 45 + 5, x*q + 3*z - 51 = 0. Does 6 divide q?
True
Is (15 + -2 + 3 - 0) + -1 a multiple of 11?
False
Suppose -3*i + 2*t = -52, -t + 3*t + 24 = i. Is i a multiple of 7?
True
Is 28 a factor of -3 + 166 + 6 + -1?
True
Let b(v) be the first derivative of -v**4/4 - 11*v**3/3 - 13*v**2/2 + 12*v - 3. Does 11 divide b(-10)?
False
Suppose -5*z = -3*g + 155, -3*z = -g - 2*z + 51. Suppose 0 = -5*t + g - 0. Suppose -2*f = -4*l + t, -4*l - 2*f + 25 = f. Is 3 a factor of l?
False
Let m(x) = -3*x**2 - 9*x - 1. Let b(q) = 10*q**2 + 27*q + 4. Let f(r) = -2*b(r) - 7*m(r). Is f(-10) a multiple of 9?
True
Is 35 a factor of -4*2/((-8)/111)?
False
Suppose -4*t + 3*j = -6*t + 103, -78 = -2*t + 2*j. Suppose 3*y = -y - t. Does 11 divide (-2 + 1)*(y + 0)?
True
Is 13 a factor of (20 + 4)*(1 + 1)?
False
Suppose 6*q - q - 25 = 0. Let y = 15 - q. Is y a multiple of 10?
True
Let p be 31 + -1 + (-3)/3. Let x = 51 - p. Suppose 4*l - 90 = -x. Does 6 divide l?
False
Suppose 0 = 2*u + 62 - 166. Is 26 a factor of u?
True
Suppose -2*h - 27 = -5*x + 28, 0 = 4*x - 3*h - 37. Let j = x + 0. Is j even?
False
Let g(p) = 9*p**2 - p - 4. Is 8 a factor of g(-3)?
True
Suppose 4*g - 6 = 3*k, -2 = 5*k - 3*g - 3. Suppose -2*q - 2*r = -22, k*q - 62 = -2*q + 5*r. Is 6 a factor of q*1 + (0 - 1)?
True
Suppose x = -3*u + 8*u - 197, 0 = 3*u - 5*x - 105. Does 8 divide u?
True
Suppose 708 = 5*n - 2*n. Is 52 a factor of n?
False
Suppose 0 = -0*f + 8*f - 120. Is f a multiple of 6?
False
Let n(l) = l + 1. Let h be n(-8). Let v = 3 - h. Is 10 a factor of v?
True
Suppose -38 = -h - h + 5*l, 52 = 4*h + 2*l. Let z = h - 10. Suppose 5*s - 3*c + 8*c - 120 = 0, z*c = 0. Is 12 a factor of s?
True
Let s(t) = -2*t - 15. Let g be s(-13). Let r(b) = -b**2 + 12*b - 5. Is r(g) a multiple of 3?
True
Let d(j) = 8*j**2 - j. Does 6 divide d(1)?
False
Suppose 3*r - 2*y - 14 = -5, 4*y = 5*r - 15. Suppose r*i = 5*i - 78. Does 13 divide i?
True
Let h = -103 - -213. Suppose 44 = 2*y + 2*s, -2*y - 2*s - h = -7*y. Does 21 divide y?
False
Let b(k) = k**2 - 2. Let y be b(-2). Suppose -17 = -y*q + 11. Is 9 a factor of q?
False
Suppose -80 = 2*z - 284. Is (6/(-18))/((-1)/z) a multiple of 9?
False
Let t(o) = -8*o**2 + o + 2. Let s be t(-3). Let p = -43 - s. Suppose 0 = 2*m - 0*m - p. Does 6 divide m?
False
Let b(s) be the third derivative of 0 - s**2 - 1/24*s**4 + 1/6*s**3 + 11/60*s**5 + 0*s. Is b(-2) a multiple of 18?
False
Suppose -d - 293 = -5*s, -s + 72 - 2 = -4*d. Suppose 0 = 2*k + k + b + 61, -2*k - 5*b - s = 0. Does 2 divide (-3)/(-12) + k/(-4)?
False
Let t = -42 - -60. Is t a multiple of 3?
True
Let c(k) = -16*k**3 - 6*k + k**2 + 1 + 3*k + k. Let f be c(1). Let w = f + 24. Does 4 divide w?
True
Let y be -2*10/16*4. Let t(w) = w**3 + 6*w**2 + 4*w - 2. Is t(y) a multiple of 2?
False
Let y(j) = -j**2 - 15*j - 29. Does 3 divide y(-9)?
False
Let c(s) = 8*s**2 + 2*s - 1. Let v be c(1). Let x = v - -57. Does 22 divide x?
True
Let g(z) = z**3 - 5*z**2 - z - 6. Is g(6) a multiple of 11?
False
Let h(z) = -z**3 - 10*z**2 - 8*z + 11. Let w be h(-9). Suppose w*k + 