= 0. Is y a multiple of 11?
True
Let f(u) = -u**2 + 8*u - 4. Does 12 divide f(4)?
True
Suppose 3*h - 4*n = 260, -3*h + 5*n = 2*h - 430. Suppose -2*j - j + h = 0. Let g = -20 + j. Is 8 a factor of g?
True
Let u(q) = q**3 + 5*q**2 - 8*q - 8. Let z be u(-6). Suppose 0 = -0*t - t + 5*s + 28, -4*s = -z. Is t a multiple of 10?
False
Let u(p) be the second derivative of 5/3*p**3 + p**2 + 0 + p. Is 11 a factor of u(2)?
True
Suppose -q = -0*q - 2. Suppose 0 = -5*j - 10, -q + 95 = 5*t - 4*j. Is 6 a factor of t?
False
Suppose 4*x + c = 139, -3*x + 39 + 68 = -2*c. Suppose -6*o + x = -o. Is 5 a factor of o?
False
Let r be (-12)/2*14/(-3). Let l = 49 - r. Does 7 divide l?
True
Suppose i + 5*a - 54 = 0, -2*i + a = 2*i - 216. Does 11 divide i?
False
Suppose -2*s - 4 = -s - 4*z, 3*s = -3*z + 18. Does 3 divide s?
False
Let a be (-3)/5 - (-26)/10. Suppose g = a*m - 8, -g + 0*g - 2 = 0. Suppose -2*h = 0, -4*p = -0*p - m*h - 120. Is 10 a factor of p?
True
Let y be 2/(-3)*(1 + -4). Let b be 0 - 32/(0 + 2). Is 12 a factor of (y + b/10)*30?
True
Suppose -4*s + 14 = 66. Let l = -10 - s. Does 3 divide l?
True
Suppose b + 25 = 6*b. Suppose -4*h - 5 = -8*h - 5*t, -2*t + 35 = -b*h. Let w(n) = n**2 + 5*n + 3. Is 2 a factor of w(h)?
False
Let u be -3 + 1/(-2)*-22. Suppose -9*k = -u*k - 31. Does 4 divide k?
False
Suppose -n - 4*k = -1 - 1, -3*k + 42 = 3*n. Suppose -4*m = f - 27, -f - f = -4*m + n. Does 2 divide m?
True
Is (360/42)/(3/21) a multiple of 20?
True
Suppose 16 = -4*u + 2*u. Let t(l) = -3*l - 16. Does 4 divide t(u)?
True
Let d(n) = n + 3. Does 5 divide d(12)?
True
Let l(r) = 3*r - 8. Is 3 a factor of l(5)?
False
Does 2 divide 29/9 - 4/18?
False
Suppose -5*t + 6*r + 106 = 4*r, t + 3*r = 28. Is 39 a factor of (7/2 + 0)*t?
False
Let n(q) = -14 + 2*q**2 - 1 - 4*q**2 + q**2 + 15*q. Let k be n(10). Suppose -5*g = 4*x - 10*g - 31, 0 = 4*x - g - k. Does 5 divide x?
False
Suppose 3*w = -5*v - 25, -3*v - 25 = 2*v. Suppose 3*c = -2*c + 10, w = -2*b - c - 2. Is 9 a factor of (-44)/b + 1 - -2?
False
Let j = 3 - -1. Suppose n - 5 = z + 1, j*n + 4*z = 0. Is n a multiple of 2?
False
Suppose -4*v = 16, -2*k = 2*v - v - 2. Suppose -k*u + 72 = 5*c, 5*c - 5*u - 25 = 15. Does 12 divide c?
True
Suppose 0 = -k, 5*a - 3*k = 9 + 6. Suppose -m = a, -4*m + 63 = 2*z - m. Does 12 divide z?
True
Suppose 4*i = -16, 0*n + 2*n + i = -22. Let s = n + 35. Does 12 divide s?
False
Let h(y) = y**2 - y - 3. Let k be h(-3). Does 15 divide 102/k*3/2?
False
Let m(u) = -u**2 - 7*u. Let v be m(-7). Suppose v = -3*n - 0*n + 51. Is n a multiple of 13?
False
Suppose 0 = 2*z - 5*o - 103, 7*o = -z + 5*o + 56. Is z a multiple of 6?
True
Let y(d) = 6*d**2 + d - 1. Let m = 3 - -5. Suppose -3*u + 31 = -5*g, -5*u = 3*g - m*g - 35. Is 12 a factor of y(u)?
False
Let c = 301 + -201. Is 20 a factor of c?
True
Suppose -c - 5*l = -172, -c + 3*l - 2*l + 142 = 0. Does 21 divide c?
True
Suppose 3*v + 128 = 7*v. Is 11 a factor of ((-66)/8)/((-8)/v)?
True
Suppose 11*g - 215 = 6*g. Does 6 divide g?
False
Suppose -r = -s + 230, 2*s + 3*r = -r + 430. Is s a multiple of 45?
True
Suppose 4*y = 2*y + 2. Does 7 divide 7 - (1 - 2)*y?
False
Let r(n) = 5*n**3 + 5*n**2 + 3*n + 4. Let c(z) = z**3 + z**2 + 1. Let q(o) = 3*c(o) - r(o). Let l(g) = 2*g. Let t be l(-1). Does 4 divide q(t)?
False
Let r(x) = 2*x**2 + 1. Let g be r(-1). Suppose 0 = y + p + 3*p - 53, g*y = 5*p + 74. Suppose 0 = -2*h - h + y. Does 4 divide h?
False
Let o be 421/3 - (-10)/15. Let z = -64 + o. Suppose 3 = -3*n - 2*p + z, 4*n - 96 = -2*p. Does 8 divide n?
False
Is 24 + 3 + -1 + 0 + 0 even?
True
Is (-10)/(-3)*(2 - -1) a multiple of 3?
False
Let t be 10/3 - (-1)/(-3). Suppose -2*p - t*p - 10 = 0, -i + p = 26. Let z = i - -39. Is z a multiple of 7?
False
Suppose -5*a = 25, -s + 1 = -a - 6. Suppose -5*r + 235 = s*k, -2*k + 235 = 5*r - 3*k. Is r a multiple of 22?
False
Suppose 11*z = 10*z + 15. Does 5 divide z?
True
Let u(r) = r**3 - 14*r**2 + 13*r + 4. Is u(13) a multiple of 4?
True
Suppose 86 = -2*l + 4*l - h, 0 = 5*l - 3*h - 216. Is l a multiple of 21?
True
Is 9 a factor of 12*1/(8/78)?
True
Suppose -2*k = -5*v + 3*k + 240, 100 = 2*v - k. Is v a multiple of 8?
False
Suppose -5*r = 4*q - 82, 5*q - 2*q = 2*r + 73. Does 10 divide q?
False
Suppose 5 = u + 26. Let c = -13 - u. Is c a multiple of 3?
False
Let y be (-1)/(-2*(-4)/(-144)). Let c = y + -10. Is 6 a factor of c?
False
Suppose 5*v + 0*r - 1 = 3*r, 4*r - 12 = 0. Suppose 0*u + 2*u + 44 = -v*k, k + 3*u = -14. Let w = -6 - k. Is 10 a factor of w?
True
Suppose 0 = 5*j - p - 601, j + 5*p + 31 = 172. Is 11 a factor of j?
True
Suppose 4*b - 9 = -3*z, b + 3*z = -z + 12. Suppose -4*y + 2*u + 32 = b, -5*y - u + 3 = -23. Is y even?
True
Is 25 a factor of ((-5)/2 - 1)*(-8 + -42)?
True
Suppose -13 = -4*s - x - 3, -x = s - 1. Does 32 divide s - (-11)/(-1)*-11?
False
Let j(u) = 11*u**2 + 2*u + 7. Let p(b) = -6*b**2 - b - 3. Let s = 8 + -15. Let o(q) = s*p(q) - 3*j(q). Is o(-1) a multiple of 8?
True
Let x be (6/(-9))/(2/(-6)). Let u(k) = k**3 + 2*k**2 + 3*k - 2. Let r(t) = t**3 + 2*t**2 + 4*t - 3. Let m(v) = -5*r(v) + 6*u(v). Is 11 a factor of m(x)?
False
Let y = -2 - -3. Let h be (y/(-1))/((-2)/(-12)). Let r(p) = -3*p. Is r(h) a multiple of 9?
True
Suppose 4*x + 2*p - 46 = -0*x, 4*p = -3*x + 42. Does 5 divide 1 + x*(-1)/(-2)?
False
Let m = 8 - 5. Suppose -4*c - 93 + 13 = -2*h, m*c - 5*h + 46 = 0. Does 14 divide (-196)/(-11) + (-4)/c?
False
Let k(q) be the second derivative of -2*q - q**3 - 1/20*q**5 - 1/3*q**4 + 2*q**2 + 0. Does 23 divide k(-5)?
False
Let n = 3 + -9. Does 13 divide 36 - 9/n*2?
True
Suppose -5*l + 231 = h, -4*h + 1 = -3. Is 13 a factor of l?
False
Suppose 3*q + 45 = -0. Let i = -38 + 61. Let f = i - q. Is 19 a factor of f?
True
Let j be 5 - 5/((-10)/(-4)). Suppose 72 = -m + j*m. Is m a multiple of 18?
True
Suppose 5*u = -2*z + 7*z - 10, -11 = -2*u - z. Let j(n) = n**3 + 2*n + 3 - n - 5*n. Is j(u) a multiple of 9?
True
Let y(q) = -8*q + 9. Is y(-8) a multiple of 18?
False
Suppose -74 = -4*j + 3*d + 297, j - 4*d - 96 = 0. Is j a multiple of 23?
True
Suppose -2*m - 3*l = 26, 2*l + 4 = -0*l. Let x(s) = -2*s - 8. Let i be x(m). Suppose -2*u + 80 = i. Does 21 divide u?
False
Let t(m) = m**2 - 3*m + 1. Let u be t(4). Suppose -u*b + 36 = -b. Does 3 divide b?
True
Suppose -108 = z - 2*z. Suppose -5*u = -u - z. Does 7 divide u?
False
Let g = 17 + -12. Let s(y) = y + 1. Is 4 a factor of s(g)?
False
Is 27 a factor of 3 - (-88 + 3 + 0)?
False
Let g be (-2)/7 + (-11384)/(-56). Suppose -t = -k - 0*k - 47, 4*t - k - g = 0. Is 26 a factor of t?
True
Let v(w) = w**3 - 6*w**2 + 4*w + 7. Let j be v(5). Suppose -z = j*z - 18. Let u(k) = 2*k - 3. Is u(z) a multiple of 9?
True
Let f be (6 + -4)*1/(-2). Let m be -5*(-3)/(f + -2). Is 4 a factor of 2/(-1 + (-6)/m)?
False
Let c = 1 - -7. Suppose f = -d + 11, f + 2 = -2*d + c. Is f a multiple of 16?
True
Suppose 0 = q + 2*a - 90, -q + 3*a + 99 = 34. Is 10 a factor of q?
True
Suppose -3*y - 2*y = -a + 1, 3*a - 3 = -3*y. Suppose y = 2*g + 2*g - 52. Is g a multiple of 8?
False
Let l(a) = 4*a**2 - 5*a + 7. Is 33 a factor of l(6)?
False
Let q be (16/12)/(2/3). Suppose -l = -q*g + 79, -g + 2*l + 0*l + 38 = 0. Let s = 63 - g. Is s a multiple of 6?
False
Let k(u) be the third derivative of u**6/120 + u**5/12 + u**4/8 - u**3/6 + u**2. Let h be k(-4). Suppose h*y - 11 = 31. Is y a multiple of 7?
True
Let o = -10 + 8. Does 4 divide (8 - 0)*(-3)/o?
True
Does 24 divide 3 - 3 - 3 - -27?
True
Let m(o) = -8*o**3 - 6*o**2 - 2*o. Let y(p) = -7*p**3 - 5*p**2 - 2*p. Let n(a) = -4*m(a) + 5*y(a). Does 24 divide n(-2)?
True
Suppose -138 = 7*h - 9*h. Let u = h + -43. Is u a multiple of 13?
True
Suppose -136 = 2*d - 746. Let m = d + -213. Is m a multiple of 23?
True
Suppose -5*t - 2*p + 785 = 0, 2*t - 462 = -t - 3*p. Is t a multiple of 28?
False
Let o(t) = -t**2 - 6*t + 8. Let u = -6 + 0. Does 4 divide o(u)?
True
Suppose 4*z - 5*m = 400, -3*m - 300 = -0*z - 3*z. Is z a multiple of 5?
True
Let y = 190 + -91. Does 21 divide y?
False
Let h be (12/(-2))/(4 + -6). Suppose u - s + 4*s = -8, -h*u + 20 = -2*s. Let y = u - -6. Does 5 divide y?
True
Suppose 5*v - 2*g = 2 + 5, -v = -4*g + 13. Suppose -t + 0*t - v = 5*q, 5*q = t - 17. Is t a multiple of 6?
False
Suppose -67 = -5*i + 4*x, -i - 3*x = -0*i - 2. Is i a multiple of