l = i*l - 2. Suppose 6*a - 63 = l*a + 5*x, -2*a + 27 = -x. Does 12 divide a?
True
Let v(q) = q**2 + 9*q - 5. Let a be v(-10). Let p = a - 1. Does 11 divide p/(-18) - (-870)/27?
False
Let i(k) = -k**2 - 3*k + 4. Let c be i(-4). Let z(n) = n**3 + n**2 + n + 24. Let y be z(c). Suppose 4*q - 8*q = -y. Is 3 a factor of q?
True
Let f be 20 - (-2 + (1 - 2)). Suppose 0 = g - f - 7. Does 12 divide g?
False
Let g be -3 + 3/(-6)*-2. Let a be (12/(-15))/(g/(-10)). Does 3 divide a*(-3)/((-9)/(-3))?
False
Let l(u) = u**3 - 12*u**2 + 27*u + 4. Does 45 divide l(11)?
True
Let i(w) = -11*w - 4. Let t(q) = -q**3 + 4*q**2 + 4*q. Let m be t(5). Is 17 a factor of i(m)?
True
Let b be 4/(-2) + 0 - -3. Is 0/b + 53 - -3 a multiple of 21?
False
Let s(l) = 16*l - 6. Let r = 4 + -6. Let a = r - -6. Is s(a) a multiple of 15?
False
Let l(j) = 2*j + 2. Let a(s) = -s - 1. Let m(r) = -6*a(r) - 6*l(r). Let y = -4 + -2. Is 14 a factor of m(y)?
False
Suppose -3 = 4*c + 3*q, -c - 2*c + 5*q = -5. Let f(x) = 4*x + c - 7*x - 1. Does 11 divide f(-7)?
False
Let k(f) = 5*f**3 - 2*f**2 - 3*f + 2. Let i be k(-4). Is 10 a factor of (-14)/(-63) + i/(-18)?
False
Let f be 1/(4/(-2) - -3). Does 8 divide 19/(f - 3/6)?
False
Suppose -18 = -2*i + 3*s, -46 = -2*i + s - 5*s. Suppose 3*y + i = -2*y. Is 2*14*y/(-6) a multiple of 7?
True
Let u(p) = 6*p + 4. Let h be u(-3). Let k = h + 23. Is 3 a factor of k?
True
Suppose 356 = 5*f - f. Is 25 a factor of f?
False
Let c(h) = -h. Let y(f) = 8*f - 28. Let a(t) = 2*c(t) + y(t). Is a(14) a multiple of 8?
True
Let l = 21 - 14. Does 3 divide l?
False
Let t(w) = -3*w + 1. Let k be t(1). Is 7/k*24/(-14) a multiple of 6?
True
Let o = -30 + 42. Is 2 a factor of o?
True
Let p = 30 + 6. Let y = -10 + p. Does 13 divide y?
True
Let t(u) = -u + 57. Is 14 a factor of t(0)?
False
Suppose 2*x + 4*h = -9 - 3, -h - 5 = 0. Suppose -x*i + 2*i = 2, -2*y = -i - 97. Is y a multiple of 24?
True
Let y = 9 + -8. Let u(t) = -2 + y - 4*t - 4*t - 1. Does 10 divide u(-3)?
False
Let w(a) = 2*a**2 + 5*a + 6. Let h be w(-4). Suppose -4*t + h = -t. Does 11 divide 1 - 81/t*-2?
False
Suppose -2*b + 117 = -15. Let c be (-5)/((-15)/b) + 0. Let s = c + -15. Is s a multiple of 7?
True
Is 18 a factor of (24/(-5))/(5/(-75))?
True
Let k(z) = -z**3 + 8*z**2 + 3*z - 3. Let r be (4 - -3)*(2 + -1). Does 18 divide k(r)?
False
Is 10 a factor of -5*(-2 + -10)*3/2?
True
Suppose -3*k + 21 = -0. Let g = k - 4. Suppose g = 2*v - 5*x + 9, 0 = v + 5*x - 27. Does 7 divide v?
True
Is 14 a factor of (-2)/4 + (-510)/(-20)?
False
Suppose -12 = -5*t + 2*m - 1, 2*t - 5*m + 4 = 0. Suppose t*i = -i + 16. Suppose l - h - 13 = -0*h, 18 = l + i*h. Is 14 a factor of l?
True
Let p = -3 + 7. Suppose -p*g = g - 115. Suppose -61 = -4*n + g. Is n a multiple of 14?
False
Let q(h) = -7*h - 14. Let n(z) = 13*z + 27. Let s(r) = 6*n(r) + 11*q(r). Let l be s(-8). Is 18 + -3 + l + -1 a multiple of 7?
True
Let n = 3 + -4. Is 9 a factor of (-1 + n + 0)*-13?
False
Let u be 0 + 3 - 4 - -89. Suppose u = g - 0*g. Does 14 divide g?
False
Suppose 4 = c - 0*c. Suppose -c*q = 1 + 15. Let k = q + 25. Is k a multiple of 11?
False
Suppose -m + 3 = -7. Suppose 90 = 2*w - m. Does 13 divide w?
False
Let v = -88 - -60. Let n = v - -52. Is 24 a factor of n?
True
Let y(n) = -43*n**3 - n**2 + 1. Let a be y(-1). Let z = 71 - a. Is z a multiple of 17?
False
Let y(q) = -q**3 + 10*q**2 + 13*q + 11. Is y(8) a multiple of 22?
False
Let v be (-5)/((-10)/8) - 2. Let q be (v/1)/(12/(-18)). Is q*(-3)/9 + 3 a multiple of 4?
True
Suppose 3*t - 5*t = -128. Let p = 97 - t. Is p a multiple of 16?
False
Suppose -r - 40 = -6*r. Is r a multiple of 3?
False
Let p = 30 - -1. Does 5 divide p?
False
Let k(r) = -r**3 - 4*r**2 - 2. Let w be k(-6). Suppose 4*j - 18 = w. Is 8 a factor of j?
False
Suppose -25*p = -16*p - 837. Does 7 divide p?
False
Let k be 28/6 - (-10)/(-15). Suppose 0 = -g - 3*t + 6, 5*t + 30 = 5*g + k*t. Is g a multiple of 4?
False
Let a = 76 - 4. Does 3 divide a?
True
Suppose -3*t - 102 = -6*t. Let o = 52 + -75. Let x = o + t. Is x a multiple of 9?
False
Let o(h) = -h**2 + 5*h + 2. Is 2 a factor of o(5)?
True
Let x = 4 - -16. Is 3 a factor of x?
False
Let k be (-3 - (-3 + 0))/(-2). Suppose -10 = -4*h - 5*p, k = 4*p - 2*p + 4. Is 5 a factor of h?
True
Is 4 a factor of ((-2)/(-6))/(4/96)?
True
Suppose -f - 4*g + 25 = 0, 2*f + 2*g - 8 = 12. Suppose 2*d + f + 5 = 4*n, 0 = 5*n - 5*d. Suppose 0 = -2*w + 3 + n. Is 3 a factor of w?
False
Suppose 5*m - 4*l = 550, 0 = -5*m - 4*l + 30 + 520. Does 15 divide m?
False
Let r(c) = -c**2 + 7*c - 4. Let b be r(6). Suppose 0*p = 5*p - 3*w - 103, 4*p + b*w = 100. Suppose -3*m = 3*l + 3, -5*m = -3*l - 12 - p. Is m a multiple of 2?
True
Suppose -f = 3*f - 24. Let p be (8/f - 1)*141. Let b = 69 - p. Does 11 divide b?
True
Is 7 a factor of ((-42)/15)/((-11)/55)?
True
Let b(m) = -8*m**3 + m**2 - m + 1. Let f be b(1). Is 11 a factor of 34 - 0 - (f - -6)?
False
Let q = 4 + 2. Is q a multiple of 6?
True
Let u(k) = k**3 - 4*k**2 + 5*k - 4. Let f be u(3). Suppose 0 = f*p + 2. Does 10 divide (0 + p)*(-2 - 8)?
True
Suppose 4*k = -4*n + 208, -2*k + 33 = 3*n - 75. Suppose t = 4*t - k. Does 15 divide t?
False
Let u(p) = p**2 + 2*p - 3. Let f be u(-5). Suppose q = 2*q - f. Does 8 divide q?
False
Suppose -5*m + 4*p - p = 5, -2*m + p = 1. Suppose -m*d + 5*h = d - 71, 0 = d - 3*h - 29. Does 17 divide d?
True
Let r = -5 - -6. Let g be r - ((-4 - 0) + 2). Let p = g + 2. Is p a multiple of 2?
False
Suppose 38*a - 37*a = 30. Is 10 a factor of a?
True
Suppose -164 = -3*x + 73. Is x a multiple of 8?
False
Let x = 22 - -2. Does 8 divide x?
True
Suppose 9 = -3*q, 248 + 820 = 5*a + 4*q. Is a a multiple of 10?
False
Suppose -4 = 2*h, 2*z = -2*z - 5*h + 58. Is z a multiple of 11?
False
Let o be 2/7 + 2090/35. Suppose 2*q + o = 2*y - 2*q, -3*y + 69 = q. Is y a multiple of 8?
True
Is 13 a factor of 2 - 3/(15/(-445))?
True
Suppose 0 = -4*n - 12, -n = -4*u + 2*u + 91. Let t = 68 - u. Does 10 divide t?
False
Suppose -2*m = u - 26, -u - m = -36 + 14. Let n = 52 - u. Let t = n - 10. Does 7 divide t?
False
Suppose 4*d = -16, 5*u - 4*d - 66 = -0*d. Suppose 6*l = 2*k + l - 18, 3*l = -4*k + u. Is k a multiple of 4?
True
Suppose 2*a - 5 = 1. Suppose a*g - 12 + 0 = 0. Suppose -g*i + 20 = i. Is i a multiple of 2?
True
Let u = 83 - 26. Is 5 a factor of u?
False
Let l(q) = -q**2 + 2. Let v(g) = -g + 2. Let r be v(-2). Let b be l(r). Let d = 29 + b. Is d a multiple of 5?
True
Let s(z) = 11*z**2 - 3*z - 8. Is 7 a factor of s(-2)?
True
Is 11 a factor of -11*(-5 - 3/(-3))?
True
Let h = -10 - -33. Is h a multiple of 9?
False
Let y(p) = 2*p**2 + 7*p - 4. Let o be y(3). Let j = -17 + o. Does 9 divide j?
True
Is 28 a factor of (6/18)/(1/102)?
False
Let b = -67 + 28. Let z = 58 + b. Is z a multiple of 8?
False
Let r be 8/36 - (-356)/18. Let m = -12 + r. Does 3 divide m?
False
Let l(r) = 1 - r - 22*r**3 - 2 - r**2 + 0*r**2 + 0*r**2. Is 6 a factor of l(-1)?
False
Let o = -47 + 76. Is o + 1/(-4)*0 a multiple of 13?
False
Let f(a) = 27*a + 2. Is f(1) a multiple of 9?
False
Let n = 0 - -2. Suppose l - 36 = -t, -3 = -n*t + 1. Suppose 3*s + 2*z - l = s, -4*z = -4*s + 92. Does 19 divide s?
False
Suppose 2*i = 2*j - 196, -4*j + 142 = -i - 253. Is j a multiple of 33?
True
Let j be (8/4 - 3)*-2. Suppose 4*i - 30 = j*n, 0 = -3*i - 0*i + n + 23. Does 4 divide i?
True
Let l be ((2 + -1)/1)/1. Let w = -22 + 39. Let v = l + w. Is 9 a factor of v?
True
Suppose 0 = -q + 13 - 4. Suppose 0*v = -v + q. Is v a multiple of 2?
False
Let j(c) = 9*c**3 - c**2 - 2*c - 1. Let i be j(-1). Let m = 17 + i. Does 8 divide m?
True
Is 6/(-15) + 294/10 a multiple of 29?
True
Suppose -3*f - 2*f + 15 = 0. Suppose 4 = f*q - 5. Does 2 divide q?
False
Suppose -r + 17 = 4*w, -r = 1 + 2. Suppose 10 = 5*v + 3*x, w*v - 3*x - 9 = 31. Is 5 a factor of v?
True
Let k be 10 - (-1)/(2 + -1). Suppose -11 - k = -2*g. Is g a multiple of 11?
True
Suppose 9*c = 14*c - 60. Is 4 a factor of c?
True
Suppose 0 = -7*p + 4*p + 5*o - 106, 4*o + 88 = -4*p. Let z(q) = 2*q**2 - 2*q - 2. Let f be z(-5). Let s = p + f. Does 9 divide s?
False
Let y be (-3 - (-2 + 0))*0. Suppose y*j + 24 = 4*j. Is 4 a factor of j?
False
Suppose 5*z = 0, t - z = -0*t + 17. Is t a multiple of 8?
False
Let j(g) = g**3 - 2*g - 2. Suppose 2*s + 5 = -1. Let h be j(s). L