 be (-2)/(-11) + (-8444)/(-22). Is w/10 + (-20)/50 a multiple of 24?
False
Suppose 2*z - 111 - 15 = 0. Does 9 divide z?
True
Let t(k) = k**3 + 10*k**2 - 14*k + 9. Suppose 31 + 24 = -5*f. Does 14 divide t(f)?
True
Let b = -11 + 15. Suppose -b*y + 42 = 18. Is 3/(y*(-2)/(-88)) a multiple of 10?
False
Suppose -3*m + 17 - 2 = 0. Suppose -4*b + 5*l = -9*b, -m*l = -5*b + 50. Is 5 a factor of b?
True
Let c = -37 + 4. Let r = 16 + c. Let h = r - -25. Is h a multiple of 3?
False
Suppose -15 - 17 = -4*d. Suppose z - n + 2*n = 14, z = -3*n + d. Is 5 a factor of z?
False
Suppose 2*c + 20 + 15 = 3*r, -c + 2*r - 20 = 0. Let s be ((-30)/(-4))/(5/c). Does 6 divide (-6)/s + (-58)/(-5)?
True
Let t(k) = -17*k - 19. Is 23 a factor of t(-7)?
False
Let m(b) = -b**2 - 16*b - 5. Is m(-12) a multiple of 8?
False
Suppose -2*c = 3*c - 75. Suppose 0*d = -3*d + c. Is d a multiple of 4?
False
Suppose 5*b - 121 = -4*c + 1347, 2*b - 1818 = -5*c. Does 15 divide c?
False
Let z(q) = -q + 6 + q + 5*q. Suppose -3*x + 20 = x. Is 13 a factor of z(x)?
False
Let y(t) be the second derivative of -t**5/10 + t**4/12 + t**3/3 + t. Is y(-2) a multiple of 8?
True
Does 3 divide 1 - -4 - (1 - (-1 - -2))?
False
Is 227/3 + ((-34)/6 - -6) a multiple of 18?
False
Suppose 6*n - 118 = 170. Is n a multiple of 24?
True
Let r(h) = 5*h**2 + h. Let g be r(-1). Is 32 + (-2)/g*2 a multiple of 6?
False
Let x = 45 + -7. Let b be 1/3 - 161/(-3). Let j = b - x. Is j a multiple of 8?
True
Suppose -2*h + 25 = g - 114, 5*g + 310 = 5*h. Is h a multiple of 15?
False
Let n(m) = 4*m**2 + 19*m + 1. Is n(-8) a multiple of 39?
False
Let y be 29 - -1 - (3 + 0). Let g = y - 12. Is 15 a factor of g?
True
Let u(l) = l**2 - 6*l - 1. Suppose 5*d = 96 - 6. Let j be 132/d + (-2)/6. Does 4 divide u(j)?
False
Let r = -59 + 103. Is 11 a factor of r?
True
Let v(i) = -4*i + 2 + i + 0*i**2 + 3*i**2 - i. Does 16 divide v(4)?
False
Let n(v) = -v + 10 + 8*v**2 - 3 + 5*v + v**3. Does 14 divide n(-7)?
True
Suppose 240 = 3*d + 2*d. Is ((-9)/(-12))/(2/d) a multiple of 9?
True
Let i(n) be the first derivative of -n**3/3 - 3*n**2 + 4*n - 3. Does 2 divide i(-6)?
True
Suppose -5*m + 10*m = 0. Suppose 4*o - 5*u - 132 - 48 = m, o + 3*u = 28. Suppose -4*p + o = r, 5 = -p - 6*r + 2*r. Is 4 a factor of p?
False
Let k(f) = f**3 + 6*f**2 + 6*f - 1. Let t be k(-5). Let p = -9 + 14. Let s = p - t. Does 9 divide s?
False
Suppose -q = 3*y + 4*q + 17, -18 = 4*y + 2*q. Let c be (17/(-4))/(y/16). Suppose 0 = -5*g - c + 97. Is 6 a factor of g?
False
Let p = 20 - 13. Let l(j) = 2*j**2 - 9*j - 5. Is 8 a factor of l(p)?
False
Suppose -4*r = -2 - 18. Suppose 2*i + r*u - u = -10, -4*i + 25 = -u. Is i a multiple of 2?
False
Let q be -36*(1 - 4/3). Suppose 69 = 3*c + 3*d + 12, 0 = 4*d + q. Is c a multiple of 6?
False
Let u(v) = 4*v - 4. Let m be u(2). Is 8 a factor of (-4)/(m/32*-2)?
True
Let m(j) = -j**2 + 13*j - 10. Suppose -p = s - 7, -s - s + 17 = -p. Is 13 a factor of m(s)?
False
Let d(r) = -4*r**3 - r**2 - 2*r - 1. Does 10 divide d(-2)?
False
Let h(f) = 2*f + 2 - 3*f + 2*f. Let j be h(-8). Let g = 13 + j. Does 7 divide g?
True
Let u be 72/(-15) + 3/(-15). Let f = 9 + u. Is f a multiple of 2?
True
Let d = 9 - 57. Let n = d + 74. Is n a multiple of 13?
True
Suppose -107 = -2*i - 3*v, 0*i + 5*v + 47 = i. Is 9 a factor of i?
False
Let g be 16/(-6)*6/2. Let f(n) = 3*n**2 + 3 + n**2 - 5*n**2 - 8*n. Does 2 divide f(g)?
False
Let y = 128 + 81. Is 19 a factor of y?
True
Let o = -436 + 804. Is 32 a factor of o?
False
Let q(k) = -k**2 - 5*k - 4. Let l be q(-3). Suppose -r + 24 = 2*w, -l*r + 3*w + 9 = -r. Is r a multiple of 18?
True
Does 31 divide 16/(-32) - 2/(4/(-373))?
True
Let s be (-1)/2 - 2/(-4). Suppose 3*p + 55 - 295 = s. Suppose 0 = 4*i - p - 0. Does 12 divide i?
False
Let q be (1 - -5)*(-8)/(-12). Suppose 33 = 3*l - o + 6*o, 2*l - q*o = 44. Does 16 divide l?
True
Suppose -a = 0, h + 2*a = -0*a + 5. Suppose 0 = u - h*u + 80. Does 10 divide u?
True
Suppose 8*n = -3*i + 5*n + 696, 4*i - 930 = -2*n. Suppose c + i = 5*b + 3*c, 12 = 3*c. Is 9 a factor of b?
True
Let x(t) = t**2 - t + 20. Suppose v - 4*v = 0. Is x(v) a multiple of 12?
False
Let i(t) = t**2 + 3. Let d be i(-3). Suppose u - 20 - d = 0. Does 16 divide u?
True
Suppose 0 = 7*p - p - 300. Is p a multiple of 10?
True
Suppose -s - 2 = 2*w + 3, 3*s + 26 = 5*w. Let h(q) be the third derivative of -q**4/24 + q**3/6 - q**2. Is h(s) a multiple of 8?
True
Let t = 189 + -93. Is t a multiple of 24?
True
Does 11 divide (11*1)/(14/14)?
True
Suppose -4*n + 4*f = -20, -5*f = -5*n - 2*f + 21. Is 3 a factor of n?
True
Suppose 2*y + 16 = 2*h, 0 = y + 5*h - 5 - 11. Let a = 18 - -3. Let m = y + a. Does 8 divide m?
False
Suppose 2 = -5*i - 4*w, 4*i = -5*w + 3 - 1. Let j be 20/((-1)/i - 0). Suppose 0 = -3*f - f + j. Does 5 divide f?
True
Suppose 7*i = 10*i - 111. Does 7 divide i?
False
Let v(j) = j**2 - 4. Let k be v(-3). Is 15 a factor of (2/k)/((-7)/(-525))?
True
Suppose -5*k = -10, 2*r = -0*k - 3*k + 50. Let m = -4 + r. Is m a multiple of 6?
True
Let n = 23 + -7. Is n a multiple of 4?
True
Let y(f) = -f**3 + 15*f**2 + 18*f + 3. Does 11 divide y(15)?
False
Does 2 divide ((152/(-3))/8)/((-1)/3)?
False
Let s be ((-72)/3)/(6/(-4)). Suppose 5*i - 4 - s = 0. Is 5 a factor of i/3*3*3?
False
Suppose 0*w + 3*w = t - 9, 4*t + 4*w = -12. Suppose 7*n + 37 = 2*j + 4*n, 5*j - 5*n - 80 = t. Is 9 a factor of j?
False
Suppose 5*r + 2*x + 294 = 0, 5*x - 154 = 4*r + 101. Is -1 + (r/(-2))/2 a multiple of 7?
True
Let o = 33 + 101. Does 17 divide o/8 + (-2)/(-8)?
True
Suppose 3*d - 8 - 10 = 0. Let z(h) = -d*h - h**2 + 3*h**2 + h - 3 - h**2. Is 2 a factor of z(6)?
False
Let l(i) = 2*i**2 - 3*i - 1. Let w = 6 + -2. Is 16 a factor of l(w)?
False
Suppose o - 3*o - 4*j = -86, 22 = o - 5*j. Let i be (1/(-2))/((-1)/66). Suppose -2*h + 3*d = -o, -2*d - d = 3*h - i. Is 7 a factor of h?
True
Suppose 4*g - 81 = 2*t + 157, -5*g = 3*t - 292. Does 14 divide g?
False
Suppose 4*h - 60 = 20. Is 3 a factor of h?
False
Let s(y) be the third derivative of -y**4/4 + 3*y**2. Is 13 a factor of s(-8)?
False
Let p(x) = x**3 - 6*x**2 - x + 4. Let v be p(6). Suppose -8*d + 27 = -5*d. Let m = v + d. Does 7 divide m?
True
Does 24 divide -4 - (-1 + 1 + -2 - 139)?
False
Let h be 2/10 + (-34)/(-5). Let q(g) = g**3 - 8*g**2 + 9*g + 10. Is q(h) a multiple of 6?
True
Let c = -8 + 12. Is (-1708)/(-77) + c/(-22) a multiple of 7?
False
Suppose 3*v + 3*g = 66, -g + 0*g + 70 = 3*v. Suppose 5*j = v + 31. Is j a multiple of 11?
True
Suppose -3*f - 5*k + 80 = 0, -38 + 6 = -f - 3*k. Let n = -25 + 67. Suppose -n = -b + f. Is 18 a factor of b?
False
Suppose 0 = 3*n - n + 8. Let t(u) = -4*u - 4. Is 12 a factor of t(n)?
True
Let y(o) = -o**3 + 11*o**2 + 4. Let q be y(11). Suppose 0 = -0*n + n. Suppose q*u - 81 - 79 = n. Is 20 a factor of u?
True
Let k = -42 - -90. Let w = -17 + k. Is 9 a factor of w?
False
Let z be (8/(-10))/((-8)/100). Suppose -4*o = -2 + z. Let w = 8 + o. Is 6 a factor of w?
True
Let s be 2/(-9) - (-156)/(-27). Let r = 24 + s. Is 4 a factor of r?
False
Let v(g) = -g**3 + 5*g**2 + 5*g + 8. Let p be v(6). Suppose 0 = -2*l - 2*o, -l = -2*l + p*o - 9. Let q(b) = -2*b - 2. Does 3 divide q(l)?
False
Let c(w) = -w**3 + 13*w**2 - 12*w + 6. Let s be c(12). Let y(q) = -q**3 + 7*q**2 - q - 7. Does 9 divide y(s)?
False
Suppose -4*z = z - 130. Let r = z - 8. Does 9 divide r?
True
Suppose -x = 4*x + 45. Is (132/(-18))/(1/x) a multiple of 14?
False
Let n = -14 - -7. Let j(q) = q**3 + 6*q**2 - 7*q + 4. Does 4 divide j(n)?
True
Is (-25)/(-15)*6*1 a multiple of 2?
True
Let g = 11 - 11. Suppose g = 4*x - 73 - 247. Is 29 a factor of x?
False
Let x(m) = -60*m - 19. Does 8 divide x(-3)?
False
Let n = -15 - -21. Let f(x) = x**3 + x**2 - 1. Let a(s) = -7*s**3 - 3*s + 9. Let k(v) = -a(v) - 6*f(v). Does 15 divide k(n)?
True
Suppose -2*v = 3*v + 15. Let t = -1 - v. Suppose -t*p + 1 + 11 = 0. Is p a multiple of 3?
True
Suppose -2*w = w + 30. Is 16 a factor of (-34)/(-10)*(-5 - w)?
False
Let u(i) = 16*i**2 - i + 1. Is u(1) a multiple of 8?
True
Let t(i) = i**3 - 2*i + 0*i + 0*i + 3*i**2. Does 5 divide t(-2)?
False
Let b(a) = 2*a + 2. Let w be b(-2). Let z(x) = -x + 1. Let i(j) = -13*j + 4. Let k(l) = i(l) - 6*z(l). Is 6 a factor of k(w)?
True
Let i = 152 + -24. Does 37 divide i?
False
Suppose 4*i +