f be b(-6). Let s be y(f). Suppose -u - 4*q = -16, -2*u - 3*u = -2*q - s. Is u even?
True
Suppose 0 = -2*s - s + 132. Is 7 a factor of (-9 + 6)/((-6)/s)?
False
Let b be (-695)/(-10) - 1/(-2). Let x(r) = -6*r**2 + 5*r - 4. Let m be x(3). Let u = b + m. Is u a multiple of 10?
False
Let b = -10 + 330. Is b a multiple of 20?
True
Does 5 divide (20/2)/(-5*8/(-260))?
True
Let j(d) = -12*d - 2. Let f(c) = -c + 1. Suppose 2*v - 19 + 2 = 3*y, 4*y = 3*v - 24. Let b(l) = y*f(l) + j(l). Is b(-4) a multiple of 14?
False
Let c(w) = 8 - 32*w - 11 + 8*w. Is 15 a factor of c(-2)?
True
Suppose -3*i - i + 384 = 0. Is 15 a factor of i?
False
Let d = -133 + 381. Let n = -158 + d. Does 24 divide n?
False
Let c(k) = -2*k**3 - 3*k**2 + 3*k + 2. Let r be c(-3). Suppose 2*u + 4*j - r = 52, -j - 202 = -5*u. Is 20 a factor of u?
True
Is 6 a factor of (-1)/(-3) + (-38)/(-3)?
False
Suppose -5*z + 0*z + 730 = 0. Is z/4 + (-2)/(-4) a multiple of 16?
False
Let k(b) = 4*b - 3. Does 5 divide k(2)?
True
Let v be (-7 + 2 + 0)/(-1). Let o(n) = -2*n**2 + 4*n + 7. Let q(g) = 2*g**2 - 3*g - 6. Let f(h) = v*o(h) + 6*q(h). Is 9 a factor of f(2)?
False
Suppose -3*w = w + 4, w - 19 = -5*y. Does 3 divide 150/22 + y/22?
False
Let n(y) = -y**3 + 5*y**2 + 3*y - 3. Is 5 a factor of n(4)?
True
Let s(c) be the second derivative of 9*c**5/20 - c**4/6 - c**3/3 + c**2 + 4*c. Is s(2) a multiple of 17?
False
Let u = 17 + 43. Is u a multiple of 10?
True
Suppose -5*j + 3*x + x + 216 = 0, 3*x = 5*j - 217. Suppose 4*y - j = 12. Is 7 a factor of y?
True
Let z(v) = v - 4. Suppose 3*q - 2 = 16. Let r be z(q). Suppose -8 = -4*o, 0*o = -4*c + r*o + 116. Does 10 divide c?
True
Suppose 5*k - 5*f = 0, -3*f + 3 = 4*k - 4. Suppose -k = 2*t + 1. Is 7 a factor of (2 - t)/(9/42)?
True
Suppose 4*a - 9 - 3 = 0, z - 4*a - 19 = 0. Suppose -2 - z = -3*s. Let y = s - 3. Is 4 a factor of y?
True
Let l be (-8)/36 + 11/9. Let c be (l + -4)*25/15. Let s = 24 + c. Is s a multiple of 6?
False
Suppose 5*r - 5*s - 5 = 0, -3*r - r + 5*s = -7. Let a = -31 + 16. Let g = r - a. Is g a multiple of 5?
False
Suppose -4*r - 2*f + 3 - 35 = 0, 0 = -2*f. Is 4 a factor of (5 - 7)*r/2?
True
Let y(l) = l**3 - 3*l**2 - 2*l - 3. Let i be y(4). Let m be -2*(15/6)/i. Is (-81)/6*2/m a multiple of 12?
False
Let j(u) = 2*u**3 + 2*u**2 - 2*u - 1. Is 12 a factor of j(3)?
False
Let h = 337 + -170. Does 9 divide h?
False
Let d = 11 - -31. Is 14 a factor of d?
True
Let k = -123 - -234. Is 21 a factor of k?
False
Let p = 1124 + -728. Is p a multiple of 12?
True
Suppose -3*p = -0 - 6. Suppose -4*s - 236 = -9*s + 4*j, -p*s = 5*j - 101. Is 24 a factor of s?
True
Suppose -2*o + 14 = -t - 3*t, 5*t + 4*o = -11. Is 7 + (-4 - (t + 0)) a multiple of 6?
True
Suppose 5*h + 12 = 4*h. Does 2 divide 3/4 - 15/h?
True
Let q(k) = k**3 - 7*k**2 + 2*k - 9. Let j be q(7). Suppose -5*r + 4*r = -j. Suppose -4*l - r*i + 94 = 0, -5 = l - i - 33. Does 13 divide l?
True
Let b = -12 - -23. Does 11 divide b?
True
Let t = -11 - -15. Let d be (-1 + 13)*6/18. Suppose -2*k - 32 = -d*k - 4*g, -52 = -5*k + t*g. Does 12 divide k?
True
Suppose p + 8 = 2*k, -k + 3 + 6 = -3*p. Let g(a) = -5*a**3 + 2*a**2 - a - 2. Does 12 divide g(p)?
True
Let r(n) = -n**2 + 11*n + 13. Suppose -5*q - 2*x - 1 = -54, 4*q + 2*x - 42 = 0. Is r(q) a multiple of 3?
False
Suppose 0 = -2*v + 10, -2*r = 2*r + 5*v - 153. Suppose -p + 12 + 35 = -2*s, -3*s + r = p. Suppose 0 = -2*k + p + 41. Is 11 a factor of k?
False
Let h(s) = -13*s**2 + s - 6. Let u be h(5). Let f be u/14 + (-10)/(-35). Is (-2 - (1 + -2))*f a multiple of 8?
False
Suppose h - 73 = -2*h - y, 5*h - 155 = 5*y. Is h a multiple of 13?
True
Is 13 a factor of (3 - (-33)/(-2))*52/(-6)?
True
Suppose -2*k = 3 + 7. Is 4/(-5)*8*k a multiple of 13?
False
Let i(c) = -5*c**3 - 3*c**2 + 3. Suppose 0 = n + 2*n + 5*z + 6, -5*z = 0. Is 21 a factor of i(n)?
False
Let a = 19 + 1. Is 7 a factor of a?
False
Let u = 0 - -1. Suppose 0*a = -a + u. Let z = 3 + a. Is 2 a factor of z?
True
Let f = 282 - 196. Is f a multiple of 43?
True
Suppose 5*q - 15 = -0*q, 0 = -4*z + 5*q - 15. Suppose z = j - 20 - 6. Is j a multiple of 13?
True
Let n be (-6)/2 + -4 + 1. Is 3*5*(-4)/n a multiple of 2?
True
Suppose 5*h - 4*d = -20, d = -2*h - d + 10. Suppose -3*g = 3*k - 129, -2*g + 3*k + 0*k + 81 = h. Does 14 divide g?
True
Suppose -3*t = -4*t + 5. Let o = -1 - -1. Suppose o = t*p + 13 - 48. Does 4 divide p?
False
Suppose -5*a - 198 = -4*o - 658, -460 = -5*a + 5*o. Is 23 a factor of a?
True
Suppose 3*m - 4*i = -61, -59 = 4*m + 4*i + 69. Let b = 25 - m. Is b a multiple of 13?
True
Let u = 0 - 2. Let m be 4/u*30/(-12). Suppose 0*z - 2*t + 26 = z, -m*z - 3*t = -95. Is z a multiple of 16?
True
Suppose 3*o + 12 = 18. Let z = 9 + -5. Suppose o*u + z*j = -0*u + 24, -2*u + 2*j + 54 = 0. Is u a multiple of 11?
True
Let w = 6 + 4. Let r(n) = -n**2 + 2*n - 4. Let b(x) = x**2 - x + 5. Let q(l) = -6*b(l) - 7*r(l). Does 16 divide q(w)?
False
Let r(y) = 3*y**2 + 3*y - 6. Is 40 a factor of r(6)?
True
Suppose -s + 1 = -11. Is 3 a factor of s?
True
Let k(t) = t**3 + 8*t**2 - 2*t + 7. Let n be k(-8). Suppose -127 = -6*x + n. Is 10 a factor of x?
False
Let x(d) be the second derivative of -d**3/6 - d**2/2 - 3*d. Let n be x(-6). Suppose 36 = n*m - m. Is 9 a factor of m?
True
Is 23*(-4)/(-6 + 2) a multiple of 8?
False
Suppose 16 = 4*x + m, x - 3*m + 2*m = 9. Suppose -5*o + 19 = -4*c + 3*c, 5*o + x = -5*c. Suppose o*l - 60 = -2*i - i, 0 = 2*l - 5*i - 40. Is 10 a factor of l?
True
Suppose -o + 24 = -46. Let a = o + -48. Is 11 a factor of a?
True
Let l = 57 - 40. Is l even?
False
Suppose 7*d + 65 = 12*d. Does 3 divide d?
False
Let x = -9 + 14. Suppose 2*u + 4*r = -u - 38, 3*u + 74 = x*r. Does 17 divide (-1)/(-1)*(-1 - u)?
True
Suppose -3*g + 40 = -7*g. Let f = g + 51. Is f a multiple of 16?
False
Let b(h) = -h**3 + 10*h**2. Let j be b(10). Suppose 0 = -0*w - 4*w + 56. Suppose 2*p - w = -j*p. Does 6 divide p?
False
Does 3 divide (-87)/(-5) - 18/45?
False
Suppose -4*w - 3 = -2*f + w, 0 = -2*w - 2. Suppose -3*a - 3*o = 21, 0 = -2*a - 4*o - 13 - 11. Is 7 a factor of f/1 - (a + -16)?
False
Let f(w) = w**3 - 14*w**2 + 7*w + 12. Does 26 divide f(14)?
False
Let h = -92 + 155. Suppose d + v - 32 = 6*v, -h = -3*d + 4*v. Is 17 a factor of d?
True
Suppose -w + 0*n = -4*n - 20, 5*n = 4*w - 36. Suppose -d - w*d = -30. Is d even?
True
Suppose 142 + 194 = 6*n. Is 9 a factor of n?
False
Suppose 2*s = -43 + 13. Let k = s + 26. Is k a multiple of 4?
False
Let j = 9 + -5. Suppose 0*q - 16 = -j*q. Suppose -4*t = 24 - q, 0 = -3*g - 3*t + 57. Is g a multiple of 12?
True
Let q = -26 - -13. Suppose -2 = -2*z + 4*z, -a + 24 = -5*z. Let c = q + a. Is 6 a factor of c?
True
Suppose n + 5*t = 4 - 3, 3*t = -9. Does 8 divide n?
True
Suppose -5*f = -f - 32. Is f a multiple of 2?
True
Let n(d) = -d**2 + 6*d. Let t be n(6). Suppose -4*p = -0*p - 28. Let i = t + p. Does 7 divide i?
True
Let o be 3/(-1) - (6 + -16). Is 11 a factor of (-9)/(o/(-2) - -3)?
False
Let t(a) = a**2 + 9*a + 14. Is t(-9) a multiple of 14?
True
Let y(m) = m + 1. Let o = -4 - -2. Let d be y(o). Is d/(3/(-138)*2) a multiple of 9?
False
Suppose -4*a + 223 + 141 = 0. Is 22 a factor of a?
False
Let t(c) = c**3 + 5*c**2 + 4*c - 5. Let i be t(-4). Let n = 5 + i. Suppose -a + n*a + 23 = 0. Does 10 divide a?
False
Suppose -4*z + 4*a + 1116 = 0, z - 161 = 4*a + 118. Is 71 a factor of z?
False
Suppose 20 = -4*x, 2*d - 4*d = -5*x - 31. Let y(g) = 29*g + 2. Let p be y(d). Suppose 4*r - p = 4*n + 31, -4*r - 2*n = -96. Is r a multiple of 12?
False
Let h(g) = g - 1. Let m(z) = -5*z + 7. Let w(n) = -4*h(n) - m(n). Does 4 divide w(7)?
True
Suppose 2*x + 365 = 3*c, -5*x = 4*c - 5*c + 126. Is c a multiple of 13?
False
Let p = -97 + 162. Is p a multiple of 11?
False
Suppose -2*t - 4*r + 1328 = 2*t, 4*t = -r + 1337. Does 14 divide t?
False
Let x be ((-3)/6 + 0)*0. Suppose l + 3 + 5 = x. Does 10 divide l*((-9)/4)/1?
False
Suppose 8*s - 661 = 219. Is 11 a factor of s?
True
Is 13 a factor of 193/3 + (-14)/(-21)?
True
Suppose -3*s + 500 = 2*f, 4*s + 5*f - 1107 = -445. Does 12 divide s?
True
Let o(n) = n**2 + 4*n - 5. Let i be o(-5). Suppose -5*l + 22 + 28 = i. Is 10 a factor of l?
True
Let h(g) = -3*g**2 - 3. Let s be h(3). Is (1/3)/((-2)/s) a multiple of 5?
True
Let k(g) = -g**2 - 8*g + 6. Is k(-7) a mu