-2). Is 11 a factor of r/(-8) + p/16?
False
Let g be -1*(-3 + 9 + -3). Does 16 divide (g + (-34)/10)*-5?
True
Suppose 0 = -u + 5*x + 12, -u = 2*x - 16 + 4. Does 4 divide u?
True
Suppose -4*f = -97 - 11. Suppose 0 = 3*n - n - 12. Suppose r = 3*a - f, n*a - 2*a + 5*r - 17 = 0. Is a a multiple of 4?
True
Let k = -49 - -87. Is 19 a factor of k?
True
Let w = 4 + -2. Suppose -2*n - 1 = -d + 2*n, -2*d - w*n + 32 = 0. Is d a multiple of 13?
True
Let z = 12 - 9. Is 6 - (3 + -1 - z) a multiple of 6?
False
Let c = 1 + -1. Suppose c*h = h + 4. Is ((-78)/8)/3*h a multiple of 8?
False
Let g(z) = 3*z**2 + z - 1 - 3*z**2 + 0*z**2 + 15*z**2. Let b(n) = n - 1. Let q be b(2). Does 15 divide g(q)?
True
Suppose 5*o - 18 = -f, 3*f + o + 2*o - 18 = 0. Suppose f = -q + 2*q. Suppose 138 = 5*u - 4*p, -6*u + 99 = -3*u + q*p. Is 9 a factor of u?
False
Suppose -4*m - 5*q - 20 = 0, -2*q = 3*m - 0*q + 8. Is (m - 2)*(-46)/4 a multiple of 15?
False
Let d(j) = -j + 1. Let h be d(4). Let m(o) = o**2 - 3. Let a be m(h). Suppose 0 = -5*b + 3*f + 206, 4*f - f + a = 0. Does 15 divide b?
False
Does 6 divide 10/(-4)*(-488)/20?
False
Let y = 4 + -1. Let l(m) = 2*m + y*m + 0*m. Does 5 divide l(1)?
True
Let u be (-3)/(1 + 7/(-6)). Suppose 0 = 2*o - u. Let f = 10 + o. Is f a multiple of 19?
True
Is -28*14*1/(-4) a multiple of 28?
False
Let p be -2 + -1 + 2 - -4. Suppose -p*w + 5*a + 175 = 0, -265 = -5*w + 2*a + a. Does 16 divide w?
False
Let p(z) = z**2 - 6*z - 5. Suppose -4*d + 4*h = -16, -2*h - 2 = 2*d - 6*h. Does 19 divide p(d)?
False
Suppose 54 = 5*y + 4. Does 8 divide y?
False
Let g be (2 + 1)*-1 - -51. Suppose 3*i + i = g. Is 7 a factor of i?
False
Let g(p) = p**3 + 9*p**2 + 7*p - 5. Is 2 a factor of g(-8)?
False
Let d(y) = -5*y**3 + y + 1. Let p be d(-1). Suppose 10*r - p*r - 30 = 0. Is r a multiple of 2?
True
Suppose 0*t - 3 = -t. Let m = t + 1. Does 7 divide ((-84)/m)/((-3)/2)?
True
Suppose -5*p - 4*a + 74 = 0, -2*p - 2*a + 32 = -a. Suppose -2 = -z + p. Is z a multiple of 9?
False
Let w be ((-392)/(-35))/((-2)/10). Let z = w - -84. Does 15 divide z + (2 + -11)/3?
False
Let k = -27 - -45. Is k a multiple of 5?
False
Let o(d) = 3*d + 2. Let l be o(-2). Let w be (l/1)/(1 + -2). Suppose -4*n = n + 5*u - 55, -2*n = -w*u + 2. Is 7 a factor of n?
True
Let l(s) = -4*s**2 + 13*s - 10. Let a(b) = b**2 - 4*b + 3. Let p(f) = 7*a(f) + 2*l(f). Let r be p(1). Let y(z) = -6*z - 1. Is y(r) a multiple of 11?
True
Does 16 divide 7 - 5 - (-99 - 0)?
False
Let f(i) = 23*i**2 - 1. Let k be f(1). Let n = k - 12. Does 5 divide n?
True
Let w = -3 - -3. Suppose -f - 4*b + 1 - 9 = w, 1 = -2*f - 3*b. Suppose k = -f*q + 14, 4*k + q = 4*q + 56. Does 6 divide k?
False
Let b(s) be the first derivative of -s**4/4 - 7*s**3/3 - s**2/2 - 7*s + 3. Let k be b(-7). Suppose k = g - 7 - 13. Does 10 divide g?
True
Is 12 a factor of (-1 - 2 - -56) + 3?
False
Suppose 79*x - 76*x - 675 = 0. Is x a multiple of 9?
True
Suppose -5*z + 218 + 132 = 0. Is 16 a factor of z?
False
Let z(y) = 17*y**3 + 2*y + 1. Is z(2) a multiple of 15?
False
Let f(j) = j - 4. Let i be f(4). Let v be -17*(-1 + i)*1. Let q = v + 15. Does 16 divide q?
True
Let z be ((-78)/15)/(2/(-10)). Is -3 + 5 + -2 + z a multiple of 26?
True
Suppose r - 3 = 1. Suppose r*u - 32 = 8. Is 4 a factor of u?
False
Let q = -2 + 7. Suppose 2*r - r = 2*z - 2, 0 = -5*z + q. Suppose 5*t + r*t - 25 = 0. Does 5 divide t?
True
Suppose 4*k + 3*q + 29 = 0, q + 28 = -2*k - k. Let v = 49 + k. Is v a multiple of 11?
False
Let a = -26 - -50. Does 12 divide a?
True
Let u(g) = g**3 + 8*g**2 - 2*g - 2. Is u(-4) a multiple of 23?
False
Suppose -19 = -i - 3*q, q + 21 = 4*i + 2*q. Suppose 54 = 3*t - i*p, 5*t - 103 + 27 = 2*p. Does 7 divide t?
True
Let k(l) = -l**2 + 12*l - 10. Let y be k(9). Let b = 29 - y. Is 5 a factor of b?
False
Is 9 a factor of (-635)/(-35) + 1/(-7)?
True
Let s(u) be the third derivative of -u**7/1680 - u**6/360 + u**5/60 + u**2. Let k(w) be the third derivative of s(w). Is 16 a factor of k(-6)?
True
Suppose 3*v - 63 - 24 = 0. Does 13 divide v?
False
Let z(x) = -2*x**2 + x - 3 - 3*x**2 + 0*x**2 + 6*x**2. Is 20 a factor of z(-7)?
False
Suppose -3*y + 2*w + 49 = w, 5*w = -5. Let t(o) = -o**2 + 16*o + 8. Is t(y) a multiple of 3?
False
Let u = -79 - -122. Does 19 divide u?
False
Let f = 12 - 4. Let y(k) = -k**2 + 12*k - 5. Is y(f) a multiple of 5?
False
Let m = 18 + -5. Is 13 a factor of m?
True
Is 5/((-5)/(-8)) + (-6)/(-3) a multiple of 5?
True
Is 11 a factor of ((-16)/(-20))/1*5 + 29?
True
Suppose -3*f - f - 8 = 0. Let i be (-1)/(f + (-34)/(-18)). Does 15 divide (3*14)/(i/6)?
False
Let r(a) = 14*a**3 - a**2 - 3*a + 2. Suppose 4*m - 6*m + 4 = 0. Let z be r(m). Suppose -2*b + 129 = -s, 4*b - z = 4*s + 148. Does 26 divide b?
False
Let g(t) = -t**3 + 9*t**2 + 8*t - 2. Does 13 divide g(9)?
False
Let k = 25 + 30. Suppose -6*v + k = -v. Is v a multiple of 11?
True
Let r(z) = z**2 + 8*z + 6. Let g be r(-8). Suppose y + g = 60. Is 24 a factor of y?
False
Suppose -3*l = -2*l - 41. Is l a multiple of 18?
False
Let l(a) = 3*a + 9. Let g be l(-8). Does 14 divide 5*38*(-3)/g?
False
Let i(y) = -y**3 + 3*y**2 - y. Let w be i(2). Does 12 divide (-148)/(-6) + w/(-3)?
True
Let o(s) = 20*s**2 - 4*s - 3. Let d be o(-2). Suppose 6 = 2*z, a + 2*z = 2*a - d. Let n = -58 + a. Is 11 a factor of n?
True
Let v(p) = -p**2 - p + 3. Let x be v(3). Is 10 a factor of 3/x + (-183)/(-9)?
True
Suppose -l = -3*u - 3*l + 186, 0 = 2*u + 5*l - 124. Is u a multiple of 19?
False
Let i(a) = a**2 + 8*a + 9. Let t be i(-7). Suppose 47 + 5 = t*s. Is s a multiple of 13?
True
Suppose 2*w - 153 = -w. Is 17 a factor of w?
True
Suppose 0 = 2*b - 11 + 29. Let n = b + 16. Is 4 a factor of n?
False
Let f(v) = 7 + 0*v - 4*v**2 + 3*v**2 - 2 - 10*v. Is f(-10) even?
False
Let p = -309 + 501. Does 8 divide p?
True
Let q be (-1 + 3)/(-2) + 5. Suppose 4*y - 3*z - 20 = 353, 0 = q*z - 4. Let b = y - 48. Does 23 divide b?
True
Let y(d) = d**3 - 2*d**2 - 7*d. Does 22 divide y(6)?
False
Let t(r) = -11*r - 1. Let j be 3/(9/1)*33. Let f be 2/j - (-52)/(-44). Is 5 a factor of t(f)?
True
Let q(r) = 6*r**2 + 2*r - 1. Suppose 6*k - 3 = 3*k. Does 7 divide q(k)?
True
Suppose -5*r = -4*n - 12, 2 - 4 = -n. Suppose r*t - 5*t + 2 = 0. Let y = 4 + t. Does 2 divide y?
True
Suppose 3*b + 3*n - 332 = 4, 3*b - 328 = n. Is b a multiple of 22?
True
Suppose 0 = w + w - 224. Is 2/(-9) - w/(-18) even?
True
Let o(c) = -c + 12. Let u be o(10). Let a(r) = -2 + u*r**2 - 4*r + 2*r**3 - 5*r**2 + 0 - 5*r**3. Does 18 divide a(-2)?
True
Is -4 - ((-990)/27 - (-2)/3) a multiple of 32?
True
Is 4 a factor of 2/(-11) + (-123)/(-11)?
False
Suppose -5*g + 995 = -5*y, -4*y - 1003 = -5*g - 7*y. Is g a multiple of 40?
True
Let d = 5 + -3. Is -1 + 0 + 36/d a multiple of 17?
True
Let d be 4/(-10) + (-10)/(-25). Let u = 1 - d. Is 11 a factor of 29 - u/((-2)/2)?
False
Let j = 39 + -22. Let d = -3 - j. Let o = d + 35. Does 5 divide o?
True
Let u be 1 - (-5 + 2 + -224). Suppose -k + u = 2*k. Let a = -46 + k. Does 16 divide a?
False
Let g be 6/8 + (-14)/8. Does 18 divide g/6 + 1684/24?
False
Let v be 0*((-1)/3)/(-1). Suppose v*d + 530 = 5*z + 5*d, -2*d = -4*z + 448. Suppose f + z = 6*f. Does 13 divide f?
False
Let p be 90 - -4 - (-12)/(-4). Let a = p - 36. Is a a multiple of 10?
False
Let m(t) = t**3 - 10*t**2 + 5*t - 1. Is 14 a factor of m(11)?
False
Let a(i) = i**3 + 9*i**2 + 11*i - 5. Let x be a(-8). Let r = x - -58. Does 11 divide r?
False
Let t(y) = 18*y + 36. Does 54 divide t(19)?
True
Let n be (-14 - -13)*(-1 - 1). Suppose -2*k = -s + 10, 0 = -5*s - n*k + 36 + 2. Is s a multiple of 8?
True
Suppose 6*h = 4*h + 10. Suppose -38 + h = -x. Is x a multiple of 13?
False
Let n = -2 + 28. Is n a multiple of 9?
False
Suppose -4*r - 3*a + 27 = -13, 48 = 4*r + 5*a. Let j be (-1 + (-10)/(-4))*2. Suppose 8 = j*v - r. Does 5 divide v?
True
Let x = 147 + -114. Does 14 divide x?
False
Suppose 404 = -3*w - 160. Suppose 3*d - 13*d + 20 = 0. Is (w/d)/(5 - 7) a multiple of 12?
False
Let r be ((-18)/15)/(2/(-5)). Suppose 0 = r*t - 5*l - 64, -2*t + 5*l - l + 44 = 0. Does 12 divide t?
False
Let i(z) = 7*z - 2 + 2*z + z - 4*z. Is 14 a factor of i(5)?
True
Let b(c) = -7*c**2 - 3*c - 100. Let k(n) = -10*n**2 - 4*n - 150. Let z(f) = 7*b(f) - 5*k(f). Is 13 a factor of z(0)?
False
Suppose -4*b + 3*g +