*d**2 + 5 - 6*d + 5*d. Is y(4) a multiple of 11?
True
Suppose 2*p - d = 47 + 12, -143 = -4*p - 3*d. Is p a multiple of 9?
False
Suppose 0 = 5*l + u - 32, 4*l - 5*u - 43 = -0*l. Is 7 a factor of l?
True
Let z(i) = 4*i + 4. Let v be z(-5). Does 22 divide ((-11)/(-1))/((-4)/v)?
True
Suppose 3*h - 2 = 2*h. Suppose 5*q - h*q - 66 = 0. Is 11 a factor of q?
True
Let q = 92 + -41. Is q a multiple of 10?
False
Suppose 0 = -4*a - 3 + 39. Is a a multiple of 3?
True
Suppose -2*y + 96 + 32 = 0. Is 15 a factor of y?
False
Suppose 4*q = 2*q + 2*o + 10, -3*o - 15 = -5*q. Does 5 divide (q - -1)*(4 + 6)?
True
Suppose -2 - 3 = -2*g - 5*a, -3*g + 2*a = 21. Let b = 103 + g. Does 19 divide b?
False
Let u be (-78)/(-21) + 2/7. Suppose -2*n - 72 = -4*h - 6*n, -u*h + 27 = -5*n. Suppose -h - 15 = -s. Is s a multiple of 14?
True
Suppose -5*o - 111 = -6*o. Is o a multiple of 17?
False
Let a be (2/(-4))/((-1)/6). Suppose a*z = 5 + 1. Suppose 0 = z*d + 2, -b - 5*d + 14 + 20 = 0. Is 27 a factor of b?
False
Suppose 4*f = -76 + 292. Let d = -31 + f. Does 6 divide d?
False
Let n(c) = c**3 - 17*c**2 + 17*c - 15. Let i be n(16). Suppose 0 = -s + 31 - i. Does 21 divide s?
False
Suppose 14 = l - 3*d, 4*d = -0*d - 12. Suppose 0*j = -l*j + 15. Suppose 2*m + 41 = j*m. Is m a multiple of 14?
False
Does 9 divide -129*(2 - 3) - (-18 + 18)?
False
Let t(n) = -6*n**3 - n**2 + 2*n - 1. Let k be t(1). Let i = 20 + k. Is i a multiple of 7?
True
Let g = 4 - 2. Let j(k) = 3*k. Let v be j(1). Suppose -v*o = -2*o - g. Does 2 divide o?
True
Let r = -13 + 10. Does 3 divide ((1 - -2) + -6)*r?
True
Suppose -5*n - 2*i + 8 = 0, -5 = -2*n - i + 2*i. Suppose -4*f + 14 = -n*f - 5*m, 0 = f - 3*m - 9. Is -2 - f/((-6)/(-14)) a multiple of 2?
False
Let g = 3 + 2. Suppose -2*o + 10 = -7*o - g*m, -5*m + 2 = o. Does 3 divide 136/12 - (-1)/o?
False
Let l = 111 + -39. Does 24 divide l?
True
Suppose 240 = 3*v + v. Let m = v - 0. Is m a multiple of 20?
True
Is 30 a factor of (-45)/(-4)*(-240)/(-18)?
True
Suppose -2*x - x = 5*w + 20, 3*x - 4 = w. Let m = w - -4. Suppose 0 = -m*p - 4*p + 40. Is p a multiple of 10?
True
Suppose -2*k = -4*f + k + 526, 2*f - 2*k = 262. Is f a multiple of 22?
False
Let g = 5 - 8. Is 10 a factor of (-1)/g*(2 + 28)?
True
Suppose 28*s = 25*s + 180. Is s a multiple of 13?
False
Does 8 divide 1806/45 - (-12)/(-90)?
True
Suppose 0*p = 2*p - 20. Let d be 583/9 - p/(-45). Let q = -18 + d. Does 15 divide q?
False
Let b(f) be the second derivative of -f**5/20 - f**4/2 + f**3/2 - 9*f**2/2 + 5*f. Is 8 a factor of b(-7)?
False
Let z = -1 - 1. Does 9 divide (-322)/(-9) - z/9?
True
Let m be (-654)/(-15) + 9/(-15). Suppose -6 = 2*f, -x = -3*x + f + m. Is 10 a factor of x?
True
Suppose -a = 5*c + 25, 2*a + 0 = -c - 5. Let j(s) = 0*s + a - 2*s + 6. Does 16 divide j(-5)?
True
Suppose -5*k - 169 = -4*s, 2*s + 0*k + 3*k = 79. Suppose 0 = 5*b + 10, 5*y - 44 = 5*b + s. Does 5 divide y?
True
Is 5 a factor of (70/(-25)*-1)/((-1)/(-5))?
False
Suppose 0 = -15*g + 2*g + 1911. Is 12 a factor of g?
False
Let y = 104 - 84. Is 14 a factor of y?
False
Suppose x + 1 + 7 = k, -20 = 5*x. Let a(o) = -o**2 + 5*o - 1. Let b be a(k). Suppose -27 = -3*v - 3*u, 3*u = b*v + 4*u - 21. Does 5 divide v?
False
Suppose -2*o - 12 = 5*d + 13, -2*o + 25 = -5*d. Does 26 divide 0 + o + (53 - 1)?
True
Let l = 4 + 33. Let g = -23 + l. Suppose -g - 21 = -b. Is 13 a factor of b?
False
Let i = 13 + -7. Suppose -i - 3 = -3*p. Suppose 4*z + 2*d - 172 = -2*d, p*d = -3. Does 22 divide z?
True
Let z(q) = -q**2 - 3*q + 1. Let p be z(-2). Let t = 6 - 3. Suppose -t*f + 48 + p = 0. Is 13 a factor of f?
False
Suppose 0*b = b + 5. Let a = 3 - b. Suppose -3*t + 37 = -a. Is 5 a factor of t?
True
Let q = 12 - 22. Let m be 3/(9/6) - q. Let j = 27 - m. Is 15 a factor of j?
True
Let d(q) = -q + 6. Does 11 divide d(-5)?
True
Let m = 85 - -77. Is m a multiple of 14?
False
Suppose 270 = 5*c + 95. Let p(m) = m - 2. Let h be p(-9). Let q = c + h. Does 8 divide q?
True
Let f(x) = x**3 - 7*x**2 + 6*x + 5. Let q be f(5). Does 20 divide (-1359)/q + 6/15?
False
Suppose -3*a = 3*l - 6*a - 21, a = -l + 13. Let j = l - -7. Does 16 divide j?
False
Suppose -23 = -o + 43. Does 22 divide o?
True
Does 14 divide (-2)/(-16) + 1115/40?
True
Let t be 4/(-14) + 6/21. Suppose -4*j - 5*w + 304 = 0, 3*j + t*w - 228 = 5*w. Does 25 divide j?
False
Is 18 + ((-4)/(-4) - 1) a multiple of 3?
True
Let i = -61 + 23. Let n be ((-106)/(-6))/(2/(-6)). Let x = i - n. Is 11 a factor of x?
False
Let h(z) be the second derivative of 5*z**4/12 - 2*z. Does 3 divide h(-1)?
False
Let p(v) = 4*v**3 + v**2 + v - 3. Let f(l) = -l**3 - l**2 + 1. Let r(w) = 6*f(w) + 2*p(w). Suppose 3*b - 7 - 2 = 0. Is r(b) a multiple of 12?
True
Let g = 1 + 5. Suppose -g*i + 2*i = -84. Is i a multiple of 13?
False
Suppose 5*o + 58 = -2*y + y, 0 = 2*y - 4*o + 46. Does 35 divide y/(-1) + (-4)/(-2)?
True
Suppose -73 = -2*w + 95. Is w a multiple of 28?
True
Suppose -3*g + 39 = -2*g. Is g a multiple of 26?
False
Suppose -k + 3 = 3*o - 19, -3*o + 5*k = 2. Let q(r) = 5 - r**3 + o - r**2 + 0*r**2. Is q(0) a multiple of 9?
False
Is (-1)/4 + (-3370)/(-40) a multiple of 26?
False
Let c = -7 + 10. Suppose -19 - 5 = -c*w. Let l = w + -1. Is 7 a factor of l?
True
Let a be 5 + -2*(-1)/(-2). Suppose 4*s = -r - 7, -5*s + s = a*r - 8. Suppose -4*f + 77 = r*b, -2*b + 5*b + 2*f = 45. Is 13 a factor of b?
True
Let v = 8 - -14. Does 11 divide v?
True
Let n(i) = 5*i - 3. Let l(y) = 4*y + 5. Let r(g) = -5*g - 6. Let q(z) = 6*l(z) + 5*r(z). Let m(u) = n(u) + 6*q(u). Is 2 a factor of m(-5)?
True
Suppose 16 = c - 44. Is c a multiple of 15?
True
Let k(s) = -s**3 - 5*s**2 - 4. Let t be k(-5). Is 13 a factor of 2/t - (-553)/14?
True
Let b = 260 - 144. Is 58 a factor of b?
True
Let u(m) = -m**2 + 9. Let z(i) = -i. Let g(b) = -u(b) + 6*z(b). Suppose -2*d + 7*d - 44 = 4*l, l = 2*d - 17. Is 6 a factor of g(d)?
False
Let j be 9/4*(0 - 12). Suppose 5*d = 2*d + 2*w - 41, -3*d + 3*w = 36. Let k = d - j. Does 6 divide k?
False
Let t = 94 - -69. Does 17 divide t?
False
Suppose -s + 52 = 3*d - 5*s, -90 = -4*d - 5*s. Does 7 divide 4/3*270/d?
False
Suppose 3*v + 225 - 585 = 0. Does 31 divide v?
False
Let j = 128 - 14. Suppose -t - j = -4*t. Is t a multiple of 8?
False
Let z(h) = 2*h**2 - 16*h - 16. Suppose -m + 0 - 6 = 0. Let l(p) = 2*p**2 - 15*p - 15. Let b(o) = m*z(o) + 7*l(o). Does 13 divide b(7)?
True
Suppose -q + 4 = -1. Suppose 570 = 5*f - 2*i, 0 = -0*i + i. Suppose -f = -q*y - 4*h, 0*h = h - 1. Does 11 divide y?
True
Suppose -2*l - 3*l + 15 = 0. Is 4 a factor of -13*(l + -2*2)?
False
Let w = 80 + -66. Does 3 divide w?
False
Let n(f) = f**3 + 17*f**2 - 2*f - 6. Does 7 divide n(-17)?
True
Let l be 38 + (-3 + 3 - -4). Let h = 65 - l. Is 23 a factor of h?
True
Let t(x) = x + 2. Let f be t(3). Suppose 15 + 60 = f*b. Is 5 a factor of b?
True
Let k(y) = -2*y + 3. Let g = 10 + -7. Let j be k(g). Let l = 31 + j. Is l a multiple of 14?
True
Let k(m) = -6*m - 2. Let v(f) = 11*f + 4. Let o(s) = -5*k(s) - 2*v(s). Does 6 divide o(2)?
True
Suppose -l + 0*l + 3 = 0. Let v(q) = q**2 - 6*q - 4. Let b be v(7). Suppose -56 = -2*a + m + b*m, -l*m = -2*a + 56. Is a a multiple of 11?
False
Let p(u) = 1 - 3 - 2*u + 3. Does 5 divide p(-2)?
True
Let j = -12 + 18. Let x(r) = r**2 - 5*r + 7. Is 9 a factor of x(j)?
False
Is 210/(-4)*(-96)/120 a multiple of 12?
False
Let s(k) = -k + 2. Let r(u) = -4*u + 5. Let y(t) = 2*r(t) - 7*s(t). Let c be y(-6). Suppose h + c*x - 8 = 7*x, -x = -5*h + 88. Is 6 a factor of h?
True
Is (1*1*2)/((-20)/(-290)) a multiple of 4?
False
Suppose -3*y - 58 = -5*y. Is 19 a factor of y?
False
Let p(b) = 11*b**2 + 4*b - 8. Does 38 divide p(-4)?
True
Let i(g) = -12*g - 4. Suppose -4*x + 6 = 3*k + 2, 32 = 4*x - 4*k. Let a be (x - 2) + 5/(-1). Does 16 divide i(a)?
True
Is 29 a factor of (116/(-8)*3)/(2/(-4))?
True
Suppose 2*n - 15 = 77. Is 23 a factor of n?
True
Suppose 215 = 3*i - 49. Is i a multiple of 11?
True
Let r be (-2)/10 + 284/20. Suppose -3*k = -r - 58. Does 5 divide k?
False
Let m be 306*(-5)/(10/16). Is (2/(-3))/(32/m) a multiple of 13?
False
Let i(s) = 8*s - 4. Does 9 divide i(2)?
False
Let w = -75 + 75. Suppose -4*l + 12 = 0, 4*l - 2*l = 2*v + 14. Let r = w - v. Is r a multiple of 4?
True
Let x(z) = 7*z**2 - 2*z - 3. Does 41 divide x(-3)?
False
Let l(u) 