 Suppose -3*r = -3 - 9. Suppose 3*w = 7*w - r. Is h(w) a multiple of 15?
False
Is 12 a factor of (-613)/(-7) - 40/70?
False
Suppose -5*n + 1 = -2*u - 0*u, u - 4 = n. Suppose 77 = -2*q + u*q - 3*o, -2*q = 3*o - 35. Suppose 2*x + 3*a - 3 = q, -a = x - 8. Is x even?
False
Let w be 10/15*465/2. Let n = w - 106. Is n a multiple of 13?
False
Let z(o) = 0 + o**2 - 5 + 2 + 1 - o. Let j be z(4). Suppose j = -5*n, 0 = 5*v - 5*n - 58 - 87. Does 11 divide v?
False
Let y(u) = u**3 - 9*u**2 + 4*u - 10. Is y(9) a multiple of 16?
False
Suppose -q + 37 = 2*c - 23, -2*q + c + 130 = 0. Is q a multiple of 11?
False
Suppose -6*w + 14 = -4*w. Suppose -2*i = 1 - w. Is i a multiple of 3?
True
Let i = -11 - -33. Does 12 divide i?
False
Let a(m) be the third derivative of 29*m**5/60 - m**4/12 + m**3/6 + 5*m**2. Does 14 divide a(1)?
True
Let x(a) = a**2 + 12*a + 13. Let l be x(-11). Let y = l - -2. Suppose 2*u - 2*v - 14 = -0*u, -y*v + 35 = 5*u. Does 2 divide u?
False
Is -5 + 2 - -6 - -19 a multiple of 22?
True
Let c(q) = -q**2 + 14*q - 15. Let l be c(12). Does 5 divide 4*3*l/6?
False
Suppose -5*s + 270 = -300. Does 15 divide s?
False
Let y(q) be the first derivative of q**3 + q**2/2 + q + 3. Let a be y(-2). Let k = 24 - a. Is k a multiple of 8?
False
Let q = 3 + 6. Is 4 a factor of q?
False
Suppose 0*j = 4*j + 24. Let v be (-9)/j + 6/4. Suppose v*l - 240 = -2*l. Does 24 divide l?
True
Suppose d - 63 - 110 = 3*x, -865 = -5*d + 5*x. Is 12 a factor of d?
False
Suppose -28*w = -32*w + 136. Does 4 divide w?
False
Suppose 3*s = s. Suppose 0 = -s*a + 4*a - 336. Suppose -21 - 21 = -2*j + 5*y, 4*y = 4*j - a. Does 6 divide j?
False
Let r(f) = -f. Let z be r(-3). Suppose -z*c + 111 = g, c - 150 = -3*c - 2*g. Let b = c + -19. Is b a multiple of 7?
False
Suppose -47 - 65 = -2*x. Suppose 3*v + 105 = a - 4*a, 0 = -a + 3*v - 35. Let f = x + a. Is 9 a factor of f?
False
Let g = -23 - -194. Is 12 a factor of g?
False
Let y(q) = q**3 + 5*q**2 + 6*q + 10. Let o(h) = -h**3 - 4*h**2 - 5*h - 10. Let p = 5 - 10. Let m(l) = p*y(l) - 6*o(l). Is 10 a factor of m(0)?
True
Suppose -3 = -o + 1. Suppose 0 = -o*f - f + 75. Does 15 divide f?
True
Suppose r + 2*r = 6. Let u(p) = 8*p**3 + p**2 - 4*p + 3. Is u(r) a multiple of 21?
True
Suppose 3*i - 242 = -2*s, 5*i - 2*i - 2*s - 238 = 0. Suppose -67 - 13 = -5*g + 3*b, 5*g + 4*b = i. Suppose 0 = 3*a - a - g. Does 3 divide a?
False
Let j(o) = o + 14. Let z be j(-7). Suppose 5*n - 38 - z = 0. Is 5 a factor of n?
False
Let f be ((-7)/3)/((-1)/(-3)). Does 10 divide 2 - (f*4 + -3)?
False
Suppose 5*o = v + 5, -2*o - 34 - 10 = -5*v. Suppose 0 = -4*n - 5*r + 68, -n - r + 6 + v = 0. Does 4 divide n?
True
Suppose 3*a - 84 = a. Does 21 divide a?
True
Let j = 9 + -7. Is 16 a factor of (-1)/j - 291/(-6)?
True
Let l be -4 + 2 + 1*5. Is 12 a factor of 19*(-3)/(-6 + l)?
False
Suppose 0*c = 5*c + 60. Let w be -1 + c - 2*-1. Is (-2)/(-6) + w/(-3) a multiple of 4?
True
Let b(m) = 5*m**2 - 8*m - 3. Let f(j) = j**2 - j. Let o(l) = -b(l) + 6*f(l). Let n be o(6). Is 1/((9/n)/3) a multiple of 6?
False
Let o = 43 - 31. Does 9 divide o?
False
Let y(t) = 5*t - 20. Is y(28) a multiple of 15?
True
Let m(y) = -7*y - 2 - 15*y - 12*y. Let h be m(-4). Suppose -o = -0*q + 5*q - 162, 3*o = -4*q + h. Does 12 divide q?
False
Let h = 4 + -2. Suppose 0*v - 62 = -3*o + v, h*o - 46 = -4*v. Is o a multiple of 7?
True
Suppose 3*k - 124 + 19 = 5*r, k + 2*r - 35 = 0. Is k a multiple of 7?
True
Suppose 5*h - 2 = -12. Does 6 divide 12/(-1 - (0 + h))?
True
Suppose -3*j - 45 = -2*c - c, 4*c - 5*j - 59 = 0. Is c a multiple of 9?
False
Suppose -45 = -3*h - 0. Suppose 0 = 5*r + 2*z + 29, -2*r - 4*z - 8 = -2*z. Let m = h + r. Is 4 a factor of m?
True
Let o = 505 - 361. Is o a multiple of 36?
True
Let w(i) = -4*i**2 - 12*i**3 - 2 - 4 - 4*i + 2. Does 28 divide w(-2)?
True
Let f(r) = -2*r - 3. Let h be f(-8). Let t = -9 + h. Suppose -t + 59 = 5*g. Is 8 a factor of g?
False
Let q(y) = y**2 + y + 1. Let z(b) = -4*b**2 - 17*b - 7. Let d(h) = -5*q(h) - z(h). Let k be d(12). Suppose -k = -s + 3. Is s a multiple of 5?
True
Suppose -2*g = -g. Suppose 0 = -g*h - h. Suppose 2*c - 2*y = 14, -4*y - 13 - 3 = h. Is 2 a factor of c?
False
Let b(l) be the third derivative of l**2 - 1/12*l**4 + 0 - 1/6*l**3 + 0*l + 1/15*l**5. Does 16 divide b(3)?
False
Suppose 0 = -5*d + 2*m - 74, 5*d + 46 = m - 26. Let x be (-326)/(-14) + 4/d. Let v = -9 + x. Is v a multiple of 7?
True
Let h(d) = -7*d + 1. Let y(c) = -c - 7. Let v be y(-9). Let q be v + -2 + 2 + -5. Is 22 a factor of h(q)?
True
Suppose q + 32 = 2*z, q - 38 = -3*z - 0*z. Suppose 2*l + 4*g = 8, 0 + 1 = -g. Does 6 divide z*(-3)/(l/(-1))?
False
Let y(c) = -c**2 - 2*c. Let a be y(-3). Does 3 divide 10*(a - (-17)/5)?
False
Suppose 7*i = 2*i + 15. Suppose 2*d - 73 = -3*w - 0*d, i = -3*d. Does 11 divide w?
False
Suppose 4*w + 4 = -0*h + 3*h, -w = -5*h + 1. Let k(s) = -27*s**3 - 2*s**2 + 1. Does 13 divide k(w)?
True
Let a(w) = -2*w**3 - 3*w**2 - 2*w + w**3 + 4*w - 1. Let q be a(-3). Let b = -2 - q. Does 2 divide b?
False
Suppose -n + 2*l + 3 = -7, 0 = -4*n - 2*l + 10. Suppose 2*p - 10 = -n*d, 0 = -p + 3*p - 6. Let r(t) = 23*t + 1. Is 12 a factor of r(d)?
True
Suppose -29 = -2*p - g, -3 - 41 = -2*p + 4*g. Is 6 a factor of p?
False
Let i = -11 + 25. Let b be 242/i + (-4)/14. Suppose -3*d + b = w - 0, 4 = -4*d. Is 7 a factor of w?
False
Let a(m) = -126*m. Let j(o) = o. Let v(l) = a(l) + 84*j(l). Is v(-1) a multiple of 14?
True
Suppose 4*u - 10 = -u. Suppose 76 = u*z + 24. Is z a multiple of 13?
True
Suppose 5*n + 213 = h, 4*h - 25 = n + 865. Let v = -316 + h. Does 16 divide (-2 - 10/(-6))*v?
False
Suppose 4*y - 5*b + 4 = 0, 5*y + 4*b - 61 + 25 = 0. Suppose y*r = -r + 10. Suppose 7*l - r*l = 4*j + 24, 0 = 2*l + 2*j - 6. Does 4 divide l?
True
Let d(v) = 239*v**3 - v. Let l be d(1). Suppose 5*p = t - 2*t + 374, 3*p + 4*t - l = 0. Suppose 5*j = 2*q + 4*j - p, -q = -2*j - 34. Is q a multiple of 10?
False
Let t(v) be the first derivative of 3*v**2/2 + 8*v + 3. Let k be t(-6). Let g = k - -16. Is 6 a factor of g?
True
Suppose 0*f = f - 4, -21 = -3*q - 3*f. Let p be (-1)/(-4)*-26*-6. Suppose q*g + y - 102 = p, -2*g = 3*y - 94. Is 12 a factor of g?
False
Suppose -3*k - 14 = 40. Does 2 divide (-4)/k - (-50)/18?
False
Let g(b) = b**3 - 7*b**2 + 5*b + 3. Let d be g(6). Let h be -6 - ((-2 - d) + -1). Let j = 2 - h. Does 8 divide j?
True
Suppose 6*n = -17 - 1. Let j be 18/4*8/3. Is 5 a factor of j + (-6)/n + 0?
False
Is 22 a factor of (3 - 2)*-4 + 100?
False
Let x(d) be the third derivative of -d**6/120 + d**5/60 + 2*d**2. Let m(z) = 2*z**3 - z**2 - z - 1. Let c(g) = 2*m(g) + 3*x(g). Is 14 a factor of c(3)?
True
Let t(g) be the first derivative of -g**2/2 - 7*g - 1. Let n be t(-7). Suppose -4*w + 8 = n, w + 42 = x - 3. Does 17 divide x?
False
Suppose -2*s + 34 = x + 3*x, 3*s - 2 = x. Let w(r) = -r**2 + 10*r - 1. Does 10 divide w(x)?
True
Suppose -7 = 3*s - 19. Suppose -u + 10 = s*u. Suppose 0 = -0*h + u*h - 60. Is 11 a factor of h?
False
Let m(u) = u**3 + 6*u**2 + 3*u - 6. Let a be m(-5). Let l be ((-9)/6)/((-3)/4). Suppose -a*r = -5*k + 112, -r + 31 = l*k - 6. Is k a multiple of 9?
False
Suppose 3*h - 5*s = 146 + 329, 3*s + 316 = 2*h. Suppose 4*u - 46 = t - 2*t, 5*u = 3*t - h. Does 10 divide t?
True
Let s be -56 + (2 - 3 - 1). Let n = -34 - s. Does 5 divide n?
False
Suppose -2*h = -g, -4*g - 4 = -5*h - 1. Let b = h - -1. Suppose -5*t - 85 = -4*f, -4*f + 3*t + 56 + 27 = b. Does 9 divide f?
False
Suppose 3*w - 17 = -5. Suppose -j = j - w. Suppose -a + 10 = 5*n - 130, j*n + 4*a = 56. Is 14 a factor of n?
True
Let h be (-4 + 2)*103/(-2). Suppose 102 = 5*c - h. Is c a multiple of 14?
False
Is 17 a factor of 102*((-45)/(-10) - 2)?
True
Suppose -k + 3*k = 0. Suppose k = h - 13 + 3. Suppose -h + 151 = 3*m. Does 24 divide m?
False
Let l(y) = 6*y**2 - 4*y**2 + 2 + 9 - 3*y**2 - 10*y. Is 11 a factor of l(-9)?
False
Let o(m) = 5*m**2 - m + 1. Let s be o(-2). Let w = s + -5. Is 9 a factor of w?
True
Suppose 2*z - 8 = 8. Suppose 4*j = z + 64. Does 5 divide j?
False
Let t be -7 + 11 + (-3)/(-1). Suppose 2*k + t - 27 = 0. Is k a multiple of 3?
False
Suppose 0 = -h - h + 36. Is 3/h - (-113)/6 a multiple of 10?
False
Let y = -9 - -6. Let b be (-6)/(-9)*-2*y. Does 3 divide 7 - (b + -3 + 2)?
False
Let f = -91 - -16