0*y + x*y - 2*p. Does 8 divide y?
True
Let f(m) = m**3 + 3*m**2 + 2*m + 3. Let d be f(-2). Let c be 4 + (d - 2) - 1. Suppose -111 = i - c*i - 5*b, -5*i - 2*b = -166. Is i a multiple of 16?
True
Suppose -n + 4 = -10. Let u = -5 - -6. Is 7 a factor of u/(29/n - 2)?
True
Let x be 0 + -1 + 2*5. Let b(s) = -s**2 + 6*s + 1. Let j be b(x). Let y = j + 39. Is y a multiple of 11?
False
Let v(h) = h**3 - 5*h**2 + 4*h - 6. Let c be v(4). Is 9 a factor of 312/9 - 2/c?
False
Suppose -5*m + 1 - 11 = 0. Let t = m + 4. Is t even?
True
Suppose 0 = -2*n + 216 + 14. Is 23 a factor of n?
True
Suppose -4*z - 3*r + 9 = -3*z, 84 = 5*z + 2*r. Suppose 2*n - z = n. Is n a multiple of 18?
True
Let o(k) be the first derivative of -k**2/2 - 5*k - 3. Let c be o(-5). Is 40 - (-1 + c)/(-1) a multiple of 11?
False
Let q(d) = 2*d. Suppose 0 - 5 = b. Let u be q(b). Let t = u - -32. Does 12 divide t?
False
Suppose -2*l - 2*l + 8 = 0. Let x be 3*1/2*l. Suppose -4*h - x*d = -155, 28 + 166 = 5*h + 4*d. Is 14 a factor of h?
False
Let y(h) = -2*h**3 - 10*h**2 - 4*h + 1. Is y(-6) a multiple of 7?
False
Let q(t) = 16*t**3 + t**2 - t. Is q(1) a multiple of 12?
False
Suppose 447 = 2*r - 0*r + 3*w, -3*w - 417 = -2*r. Does 36 divide r?
True
Let p(z) = 9*z**2 - 3*z + 10. Is 35 a factor of p(6)?
False
Let a = 6 - 7. Let b be 0 + 2*(a + 2). Is 5 a factor of 2/b - -12*1?
False
Suppose 13*s = 250 + 751. Is s a multiple of 11?
True
Let m(x) = x**2 - 3*x + 3*x - 5 + 4*x**2 - x**3. Let d = -5 + 9. Is 8 a factor of m(d)?
False
Suppose -p = 5*n - 1338 - 223, -5*p = -5*n + 1555. Does 26 divide n?
True
Let y(f) = -3*f**3 - 1. Let c be y(-1). Suppose 16 = -c*i + 4. Is 4/((-3)/i - 0) a multiple of 6?
False
Let d(a) = -2*a**3 - 1 - 5*a - 2*a + 6*a. Let x be d(-1). Is (-1 - 0) + x + 6 a multiple of 4?
False
Suppose 4*k + 6 = -6, 4*k + 81 = 3*d. Suppose d = -2*c - 17. Let z = 46 + c. Is 13 a factor of z?
True
Let m be ((-3)/3)/((-5)/10). Suppose 0 = -3*o - 5*s + 40, s = m*o - 0*s - 44. Is o a multiple of 3?
False
Let i = 24 - 16. Is i a multiple of 4?
True
Let n(u) = 3*u + 30. Let g be n(-10). Let c(z) = z**3 + 9*z**2 + 2*z + 1. Let t be c(-6). Suppose 4*d + 1 - t = g. Is 8 a factor of d?
True
Suppose -3*f = f + 2*c - 18, c = -3*f + 11. Is 7 a factor of (-108)/(-16) - f/(-8)?
True
Let j(k) = -7*k. Is j(-1) a multiple of 4?
False
Let c = 6 - 3. Let z be -3 + 1*(-2 + c). Is z/(-4) + 78/4 a multiple of 20?
True
Suppose -4*z - 11 = -3. Let w be -2*6/8*z. Suppose 5*m - 96 = w*m. Is m a multiple of 15?
False
Let n(w) = -w**2 - 10*w - 2. Suppose 0 = -2*m - 2*v + 16, m - 12 = -0*m - 3*v. Let i be (2 - (-15)/m)*-2. Is n(i) even?
False
Let k(c) = c**2 + 4*c - 7. Let n = -2 - 7. Is k(n) a multiple of 15?
False
Let i = 5 + -6. Let u(m) = 8*m**2 - 2*m. Is u(i) a multiple of 5?
True
Let f(a) = -a**3 - 4*a**2 + 9*a + 5. Let o = -15 + 9. Is 23 a factor of f(o)?
True
Let h(u) = -1 + 9*u + 2 - 2 + 3*u. Is 6 a factor of h(2)?
False
Let c = -2 + 4. Suppose -3 + c = -h. Is 15 a factor of h/1 - (-26 - 1)?
False
Let i(c) be the third derivative of -c**4/6 - 2*c**3/3 + 6*c**2. Does 16 divide i(-11)?
False
Let n(o) = o**3 - 7*o**2 + 8*o - 9. Let s be n(6). Suppose 2*t = -5*p + 3*t + 228, -s*t = -4*p + 178. Is 18 a factor of p?
False
Suppose -826 = 7*o - 2898. Does 30 divide o?
False
Let w be 6/18 - (-4)/6. Let f(t) = 3*t + 0*t + w - 2*t + 5*t. Does 13 divide f(2)?
True
Let h = -5 + 5. Let k be h + 2 - (4 + -2). Suppose 4*g - 108 = 4*s, -79 = -2*g - k*s - 3*s. Is g a multiple of 11?
False
Let x(d) = -d**2 - 21*d + 7. Is 21 a factor of x(-14)?
True
Let r = 1 + 2. Suppose r*f - 13 = -4. Suppose 5*c + 5*o = 35, -5*c + 2*o + 55 = f*o. Is c a multiple of 12?
True
Let t = -1 + 3. Suppose -4 = -k + t. Does 3 divide k?
True
Let i(l) = 3*l**2 + 2. Let r be i(2). Let n be 8/4*r/4. Suppose -88 = 3*s - n*s. Does 11 divide s?
True
Let k be (-4)/3*6/(-4). Suppose -75 = -7*n + k*n. Does 8 divide n?
False
Let i(d) = 67*d + 8. Let x(w) = 17*w + 2. Let n(f) = 2*i(f) - 9*x(f). Does 14 divide n(-1)?
False
Let n(m) = 11*m + 6. Let x be n(-4). Suppose -21 = -5*a + 4*s + 23, -4*s + 4 = -a. Does 7 divide x/(-6) - (-8)/a?
True
Suppose 2*q + 60 = 2*f - q, -4*f - 2*q = -88. Suppose f = 2*b - 12. Does 9 divide b?
True
Suppose n - 55 = 4*u, -5*n = -3*u + 102 - 377. Is n a multiple of 24?
False
Let d be 32/12 - 2/3. Suppose -5*h - 4*v + 5 = 0, -8*h + 4 = -4*h + d*v. Is h/(3 + (-44)/15) a multiple of 15?
True
Let h = 311 - 123. Is h a multiple of 12?
False
Suppose -3*s = 9, 4*n = 2*s - 0*s + 14. Suppose 3*o = -5*x + 206, 0*x = n*o - 5*x - 129. Does 22 divide o?
False
Suppose 3*t + 4 - 109 = 0. Does 7 divide t?
True
Let m(h) = -h**2 - 6*h + 5. Does 2 divide m(-6)?
False
Suppose -2*y + 78 = 20. Suppose 3*k + 3*t - 2 - 10 = 0, -2*k + y = -5*t. Is k a multiple of 4?
False
Suppose 2*b = 3 + 5. Suppose -3*l + w = -13, -3*w - 18 = -b*l - w. Suppose q + 21 = l*q. Is 7 a factor of q?
True
Let n(r) = -6*r - 3. Let p be n(8). Let m = -31 - p. Suppose 2*i = -z - 0*z + m, 28 = 2*i + 3*z. Is i a multiple of 7?
False
Let i(b) = -b**3 - 7*b**2 - 6*b + 2. Let j be i(-6). Suppose 0 = 4*v - j*a - 138, v - 3*a - 37 = -0. Is 12 a factor of v?
False
Suppose 3*m - 4*i = 10, -m - 3*i = -9 - 3. Suppose m - 33 = -g. Does 9 divide g?
True
Let j(s) = -37*s + 14. Is j(-4) a multiple of 9?
True
Suppose -4*f - i + 15 = -10, 2*f - 2*i = 20. Suppose -3*k - 72 = -f*k. Suppose -l + v = -23, 32 = 2*l - 4*v - k. Is l a multiple of 7?
True
Let u be (-21)/(-4) + (-4)/16. Suppose 5*r = -2*g + 17, 0 = u*r - 7 + 2. Is 2 a factor of g?
True
Let y be (2/6)/(1/(-15)). Let m(x) = x + 1. Let t(i) = -2*i - 11. Let b(q) = -6*m(q) - t(q). Is b(y) a multiple of 11?
False
Suppose -a - 5*a + 294 = 0. Suppose 36 + a = 5*k. Is k a multiple of 5?
False
Let r be 28*(-2 - (-6)/(-4)). Let x(j) = j**3 - j**2 - 9*j. Let c be x(-4). Let l = c - r. Is l a multiple of 16?
False
Let o = 45 + -27. Does 8 divide o?
False
Suppose -4*m + 3*p + 3 = -2, 0 = 4*m - 4*p - 4. Suppose -m*f = -5*i - 28 - 122, f - 49 = -4*i. Let k = -42 + f. Is k a multiple of 9?
False
Let p(d) = 8*d + 3. Does 25 divide p(11)?
False
Suppose z + 4 = 12. Does 3 divide 16/6*18/z?
True
Suppose 0 = 2*n - 44 - 12. Is 4 a factor of n?
True
Let o(i) = 7 - 8*i - 2*i**2 + 2*i + i**2. Let t be o(-7). Does 13 divide 22 + t*3/9?
False
Suppose u = -u - 2*s + 452, u + 3*s - 226 = 0. Is u a multiple of 12?
False
Suppose 3*f + f - 95 = -l, 0 = 3*f + 4*l - 55. Does 7 divide (-30)/2*f/(-15)?
False
Suppose -5*c = -3*a - 1, -4*c = -5*c - 2*a + 8. Suppose 47 = 3*l - 3*g + g, 86 = 4*l + c*g. Is l a multiple of 4?
False
Does 8 divide 16*-4*(-12)/32?
True
Let u = 4 - 10. Let x = u + 4. Is 6 a factor of 12 + (-3)/(3/x)?
False
Let w = 61 - 14. Is 47 a factor of w?
True
Let o = -63 + 115. Does 12 divide o?
False
Suppose -2*w + 0*w = -256. Is w a multiple of 32?
True
Let z(h) = -h**2 - 5*h + 3. Let r be z(-5). Let o(a) be the third derivative of -a**6/120 + a**5/12 - 2*a**3/3 + a**2. Is 12 a factor of o(r)?
False
Let p = 11 + 6. Suppose 0*o + o = p. Does 4 divide o?
False
Suppose -8 = -4*b - 0. Suppose -187 = -4*h + 3*d, -3*h + d + 124 = b*d. Is h a multiple of 12?
False
Is 9 a factor of 420/56*24/10?
True
Suppose -2*f - 5*t + 130 = -113, 2*f - 5*t = 213. Is 38 a factor of f?
True
Suppose 4*f - 34 - 128 = -u, -2*u + 360 = -f. Is u a multiple of 34?
False
Let i be (24/10)/((-2)/10). Let x(w) = 4*w - 1. Let d be x(6). Let k = i + d. Is k a multiple of 4?
False
Suppose 3*q = 3*c - 24, -5*q = 3*c - 4*q - 8. Let t = 8 - 11. Does 8 divide (t - 5)/((-2)/c)?
True
Suppose -35 = 3*n - 11. Let v(r) = r**2 + 8*r + 1. Let o be v(n). Does 14 divide 16/(-3)*(-2 - o)?
False
Let r = 8 - 6. Suppose 2*j = 3*v + 3*j - 376, 2*j = -4*v + 500. Suppose -5*i + v = -r*o, -i - 2*o + 32 = o. Is i a multiple of 13?
True
Suppose 3*c - c = -14. Let n = 2 - c. Does 3 divide n?
True
Suppose -q - 5*k = 5, 4*q - 4 = 3*k - 1. Suppose o + 2 = -q. Is 7 a factor of o + 2 + -2 + 9?
True
Let l(b) = 2*b**3 - 3*b**2 + 1. Suppose 2*t + 2*q = -0*t + 12, -3*q + 16 = 2*t. Let m be l(t). Suppose -3*f + 56 = m*r, 5*f = -4*r - r + 60. Is 5 a factor of r?
True
Let j = 27 + 7. Does 3 divide j?
False
Let m = 26 + -14. Suppose 0*p = 2*p - m. Is 6 a factor of p?
True
Let g(r) = r**3 - 3*r**2 - 8*r + 7. Is g(5) a multiple of 5?
False