 2*l**2. Let q be c(7). Let x = -2 - q. Is x even?
False
Let l(b) be the second derivative of -3*b**5/4 - b**4/12 + 4*b. Is l(-1) a multiple of 14?
True
Let w be ((-1)/(-2))/((-2)/12). Does 30 divide w + 2 + -4 + 42?
False
Let z(m) = -55*m**3 - m. Is 28 a factor of z(-1)?
True
Let j be ((-153)/(-12))/((-3)/12). Let z = -27 - j. Suppose -4*s + 0*s = -z. Does 3 divide s?
True
Suppose -6*p - 20 = -p, 25 = -5*c - 5*p. Is (15/(-12))/(c/12) a multiple of 5?
True
Let v be (-6)/(-9) - 2/3. Suppose 68 = 4*q - v*q. Is q a multiple of 13?
False
Let i(h) = 2*h - 2. Let d be i(2). Suppose -4*g + 3*f = -14, d*g + f = -g + 4. Is 4*((-21)/(-2) - g) a multiple of 17?
True
Let j(y) = 2*y**2. Let t be j(-1). Let x(b) = -b**3 - 3*b**2 + 3*b + 3. Let l be x(-2). Does 2 divide 0/t + -2 - l?
False
Suppose 0 = s - 4*s + 12, -s + 14 = 5*p. Is 2 a factor of p?
True
Let k(s) = -s**2 - 9*s + 6. Let o = -25 - -18. Is 6 a factor of k(o)?
False
Let m = 10 + 16. Does 13 divide m?
True
Suppose 2*r - 5 = 1. Suppose -42 = -r*w + 3. Suppose l - c - 15 = -3*l, 5*l - 5*c = w. Is l a multiple of 4?
True
Suppose 7*u + 0*u - 98 = 0. Is u a multiple of 2?
True
Let n = -7 + 11. Let v = n - 5. Is 7*(-3 - v - -6) a multiple of 14?
True
Let x = 3 + 3. Is x even?
True
Let c(n) = 19*n**2 - 3*n - 1. Let j be c(-2). Suppose 5*w - 69 = j. Is w a multiple of 15?
True
Let t = -15 + 21. Does 3 divide t?
True
Suppose 6 = 4*o - o. Is -1 - (-9*2)/o a multiple of 8?
True
Suppose -5*w + 3 + 47 = 0. Let f = w - -8. Does 11 divide f?
False
Let g = 74 - 40. Suppose g = -3*q + 5*q. Is q a multiple of 9?
False
Suppose -3*i + 39 = -12. Suppose -4*t + i = -87. Is 26 a factor of t?
True
Let s(f) = 3*f**3 - f**2 + 4*f - 3. Is s(2) a multiple of 5?
True
Suppose 0 = 4*i - 98 - 526. Does 26 divide i?
True
Let t(x) = 8*x + 4. Let f = 11 - 11. Suppose -h = -f*h - 4. Does 12 divide t(h)?
True
Let b be 10*(1 - 1/2). Let h = 98 - 44. Suppose -b*v + 1 + h = 0. Is v a multiple of 11?
True
Suppose -650 = -5*w + 5*t, -2*w + 4*t + 393 = w. Suppose 77 = m + b, 2*b = -3*m - w + 356. Is 17 a factor of m?
False
Suppose 35 + 17 = l. Let o be 24/150*5*(5 + 0). Suppose l = 3*m + o. Is m a multiple of 16?
True
Suppose 4*a + a + 4*h + 23 = 0, -a - 4*h + 5 = 0. Does 8 divide 28 + a/(14/4)?
False
Suppose -4*f = 2*x - 406, 5*f - 2*x - 3*x = 485. Is 17 a factor of f?
False
Let x = 53 - 32. Suppose 1 = -4*n + x. Is n even?
False
Let t be 260/(-28) - 2/(-7). Let q = 3 - 2. Let v = q - t. Does 5 divide v?
True
Let m(z) = 91*z**3 - 2*z**2 + 3*z - 2. Does 30 divide m(1)?
True
Let o(k) = -2*k - 1. Let f be o(-2). Suppose 82 = f*p - 188. Suppose 4*z = p - 10. Does 16 divide z?
False
Let y be (-1 - 0) + 5 + -5. Does 10 divide y/((-124)/120 + 1)?
True
Suppose -j + 8 - 4 = 0, 0 = g + 5*j - 26. Let q(y) = -y**2 + 9*y - 2. Is q(g) a multiple of 8?
True
Let n be 2/(12/(-14))*-3. Suppose u = 2*u - n. Is 3 a factor of u?
False
Let t(g) = g**2 - 9*g - 11. Let c be t(-5). Suppose 69 = 4*i - c. Is 11 a factor of i?
False
Suppose t + t = 2*z - 240, -5*z = -2*t - 615. Suppose -4*j + 110 = 2*d, -4*j + 6*d + z = 3*d. Does 7 divide j?
False
Let f(r) = r**3 - 2*r**2 - r + 4. Let o(l) = l**2 + 8*l - 6. Let u be o(-8). Let w be (2/(-4))/(1/u). Does 10 divide f(w)?
True
Let c(o) = -2 - 6*o + 4*o - 2 - 4*o. Let h be c(-6). Suppose 3*f - 90 = x, -46 = -3*f + 5*x + h. Does 15 divide f?
False
Let s be (5 - 2) + 1 + 1. Let b = 0 - s. Let q(g) = g**2 - 2*g - 7. Is q(b) a multiple of 20?
False
Suppose 0 = -2*x + 7*f - 2*f + 8, -4 = -x - 2*f. Suppose -x*j + 6*j = 16. Is j a multiple of 8?
True
Let m(a) = 6*a**2 + 7 + a**3 - 12*a - 17 + 2*a. Suppose 5*p + 3*s + 29 = 3*p, 3*s - 20 = 5*p. Is m(p) a multiple of 6?
False
Suppose -2 = -u - 0*u + s, -3*s + 22 = 4*u. Suppose -4*t + u = -2*t. Suppose -3*g + 4*j + 74 = t*g, -3*g + 5*j + 47 = 0. Is g a multiple of 14?
True
Let v = 303 + -203. Is 13 a factor of v?
False
Let w = -1 - -2. Does 5 divide (4 - 3)/(w/5)?
True
Is -46*(2 + (5 - 9)) a multiple of 23?
True
Suppose 4*r + r - 28 = -4*n, 5*r = -2*n + 24. Let b be n/4 - (-22)/4. Suppose 4*d = 3*d + b. Does 6 divide d?
True
Suppose f - 27 = 25. Is 26 a factor of f?
True
Let i be 17/2 + (-5)/10. Let l = i + -4. Let y = 16 + l. Does 6 divide y?
False
Let n(z) = z**3 - 7*z**2 + 7*z - 3. Let d be n(6). Let k(o) = 5*o**2 - o + 2. Let t be k(d). Let x = 76 - t. Is 16 a factor of x?
True
Suppose -2*f + 2*r + 174 = -4*f, 5*f = r - 459. Is 17 a factor of (-2)/7 - 3120/f?
True
Let m(c) = -6*c**3 - 5*c**2 + 2*c + 4. Let t(q) = -5*q**3 - 4*q**2 + q + 4. Let n(w) = 4*m(w) - 5*t(w). Is 25 a factor of n(4)?
False
Suppose 2*q - 57 = 81. Is 4 a factor of q?
False
Let h(x) = -10*x**3 - 3*x**2 + 2. Let q be h(-2). Suppose -3*a - 5*p = -q, -a + 11 = -2*p - 5. Does 10 divide a?
True
Suppose 2*c + 24 = 3*k - 8*k, 4*k = -2*c - 18. Let w(z) be the second derivative of -z**5/20 - z**4/2 - z**3/3 - 5*z**2/2 - 2*z. Is w(k) a multiple of 5?
False
Let m = -31 + 21. Is m*((-1)/(-2) - 3) a multiple of 6?
False
Suppose -4*h = -11 - 1. Suppose d = h*d - 10. Suppose 0 = 5*y - g - g - 144, -d*y + 142 = -g. Is y a multiple of 14?
True
Let w = -14 + 14. Suppose 0 = -4*t - x + 74, w = -t + 6*t + 4*x - 98. Is t a multiple of 6?
True
Let a(v) be the second derivative of v**5/40 + v**4/8 - v**3/6 + v. Let x(j) be the second derivative of a(j). Is 6 a factor of x(3)?
True
Let f = -90 - -55. Let w be 10/f - (-142)/7. Does 2 divide (16/w)/((-4)/(-10))?
True
Let j(d) = -6*d + 1. Let o be j(-1). Suppose -170 = -3*n + o. Is n a multiple of 15?
False
Suppose 3*w - w = 4. Let j be 0/(w/((-6)/(-9))). Suppose -x - 2*x + 24 = j. Is 4 a factor of x?
True
Let z be 3 + 0*(-2)/(-4). Let x = z + 7. Is x a multiple of 10?
True
Let v be 724/28 - 4/(-28). Suppose x = 2*x - 3. Suppose 3*o + v = 4*o + 4*i, -x*o + 4*i = -14. Is 7 a factor of o?
False
Let t(k) = 8*k**2 + 3*k + 5. Let u be t(-2). Let x = u + -13. Does 5 divide x?
False
Let c = 10 + -5. Suppose -c*r = 3*g - 85, -3*g - r = -5*g + 74. Is 14 a factor of g?
False
Let p be (5/(-4))/(1/(-4)). Suppose p*a - 2*o - 3*o = 0, -3*a + 5*o = 4. Is a even?
True
Is 22 a factor of (12/3)/(-4) - -23?
True
Let j(v) = 4*v - 2. Let t = -5 + 8. Let i be j(t). Is 11 a factor of 299/9 + i/(-45)?
True
Let q(g) = -g**3 + g**2 + 4*g + 4. Suppose -4*n - 36 = 4*u, 5*n - 3*u + 10 = -u. Does 21 divide q(n)?
False
Does 8 divide (64/(-10))/((-19)/190)?
True
Let j(z) = -9*z + 29. Let q(r) = -14*r + 43. Let x(u) = -8*j(u) + 5*q(u). Is x(12) a multiple of 7?
True
Let q(l) = -l**3 + 6*l**2 + l - 3. Let x be q(6). Suppose x*s - 66 - 18 = 0. Is s a multiple of 7?
True
Suppose 0 = -3*x - 3*k + 600, 5*x - k = 2*k + 976. Suppose 4*a = 2*l + 406, l = 2*a + 2*l - x. Suppose 3*r + r + 5*h = 68, -4*r + a = -3*h. Does 11 divide r?
True
Let d = 108 - 65. Is d a multiple of 18?
False
Suppose -2*f - 3*f + 10 = 0. Suppose -f - 13 = -g. Is g a multiple of 12?
False
Suppose s - 3*d = -5, 2*s - 7*d + 5 = -2*d. Suppose 4*n - 3*u - 123 = 0, -n + 5*u + 16 = -19. Does 5 divide 98/s + 6/n?
True
Suppose -4*c + 3 = 3*b, c = 5*c - 5*b + 5. Let s = 8 - c. Is s a multiple of 4?
True
Suppose 3*a - 19 = 2*h, -a + 22 = -2*a - 5*h. Suppose p - i - 113 = -3*p, 120 = 5*p + a*i. Is p a multiple of 9?
True
Let f = -46 - -82. Let y = 20 + f. Is y a multiple of 21?
False
Suppose 4*y = -0*y. Suppose b - 2*b + 4*l + 8 = 0, -3*l = y. Suppose -b = -2*z - 2*z. Does 2 divide z?
True
Let f = 36 + -9. Suppose 0 = j - 2*j - 4*o + f, j - 4*o = 43. Does 13 divide j?
False
Suppose -2*l = -l - 7. Let v(y) = 3*y + 5. Let o be v(l). Suppose -2*g - 2 = -o. Does 4 divide g?
True
Is 9 a factor of 24/30 + (-792)/(-10)?
False
Let x(w) = -18*w. Let m be x(-1). Suppose 46 + m = 2*g. Is 16 a factor of g?
True
Let r(y) = 3*y**2 - 3*y - 5. Let l be r(4). Suppose h = v + l, 4*v + 3*h + 161 = 65. Let x = -12 - v. Is x a multiple of 8?
False
Suppose 0 = 5*f + 20, -4*q - 2*f + 80 = -0*f. Is 7 a factor of q?
False
Let g(b) = 14*b + 9*b - 8*b. Let s = -2 + 3. Is g(s) a multiple of 11?
False
Suppose -4*u + 5 = 3*s + 3, 4*s - 7 = -u. Suppose r = 4*r - 159. Suppose -2*x + 24 = -s*i, 4*x - 2*i - r = 3*i. Does 7 divide x?
True
Suppose 2*i + 1 = 5. Suppose -2*x + 4*n - 10 = i*n, -8 = 4*x + 2*n. Is ((-4)/x)/((-6)/(-108)) a multiple of 12?
True
Let a(y) = y**3 + 4*y**2 + 2*y - 1. Let