+ 280. Does 14 divide n?
False
Let z be 224/36 - (-2)/(-9). Is 15 a factor of (-119)/(-3) - 4/z?
False
Let z(f) = -8*f**3 - 2*f**2 - 2*f - 1. Suppose 2*c = r - 10, -3*r + 5*c = -16 - 11. Suppose 2*i - 3*j + 0 = -2, 2*j = 4*i + r. Is z(i) a multiple of 7?
True
Let q(p) = -p**2 + 20*p. Does 9 divide q(18)?
True
Let d(z) = -3*z - 4. Let h = -10 + 3. Is 10 a factor of d(h)?
False
Does 20 divide ((-3 - -2) + 241)/1 + 2?
False
Suppose x = -1, -5*x - 1 = -3*q + 4. Suppose 3*p + q*p = 30. Suppose 2*b + 2 = p. Does 2 divide b?
True
Suppose -4*r = -r - 6. Does 7 divide 3/(-6)*r*-10?
False
Suppose 4*m = -5*l + 640, -l = m + 3*l - 160. Does 12 divide m?
False
Let a = -113 - -164. Let g = a - 27. Is g a multiple of 8?
True
Let s = 433 + -225. Is 16 a factor of s?
True
Is 5 a factor of (11/(-22))/(-2*(-2)/(-560))?
True
Suppose 5*b + 8 = -2*r, -5*b + b = 4*r + 4. Let m(c) = -17*c. Is m(b) a multiple of 15?
False
Let r(h) be the second derivative of -2/3*h**3 + 1/12*h**4 + 3*h**2 - 2*h + 0. Does 9 divide r(5)?
False
Suppose 4*n + 46 + 14 = 0. Is 5 a factor of ((-22)/(-5))/((-6)/n)?
False
Let z(b) = -b**3 + b**2 + 8. Let k be z(0). Does 5 divide ((-20)/k)/(2/(-12))?
True
Let z(c) = 2*c**2 + 5*c - 3. Suppose 0 = -4*g - 4*d + 20, 3*d = 4*g - 0 - 13. Let s be z(g). Suppose -4*h + 3 = -s. Is 13 a factor of h?
True
Let j = -202 + 219. Is 8 a factor of j?
False
Suppose 10 - 37 = -m. Does 5 divide m?
False
Let a = -121 - -213. Suppose 0 = f - 5*f + a. Let o = f - 6. Does 13 divide o?
False
Let z = -126 + 266. Is z a multiple of 7?
True
Suppose 0 = -3*r - x - 2*x + 3, 2*r - 5*x - 23 = 0. Suppose -i + 2*h - 8 = 0, -3*h = -r*i + 5*i - 17. Does 8 divide 132/8*i/3?
False
Let m(g) = -5*g**3 + 3*g + 2. Let i be m(-2). Is 5 a factor of ((-20)/8)/((-3)/i)?
True
Suppose -5*h = -2*w + 8 + 99, h - 254 = -5*w. Is w a multiple of 25?
False
Let r be (-44)/(-10) - 10/25. Suppose t + 54 = r*t. Does 6 divide t?
True
Let w(o) = o + 11. Let m(h) = -h**2 - 10*h - 11. Let c be m(-8). Suppose 10 = 2*j - s + 28, j - c*s = -27. Is w(j) even?
True
Suppose 0*h = -2*h. Suppose h = 2*b + 2*b - o - 148, 0 = 2*o. Does 29 divide b?
False
Suppose 2*b + 25 = 7*b - 5*z, -8 = 2*b + 4*z. Suppose -p + b*p = 4. Suppose -36 = -0*y - p*y. Does 9 divide y?
True
Let w(c) = c**2 + 11*c - 3. Is w(-17) a multiple of 20?
False
Let p(w) be the third derivative of w**4/6 - w**3/2 - w**2. Let a be (-3)/((-3)/(-24)*-6). Does 13 divide p(a)?
True
Let i = 447 - 667. Is 16 a factor of (7 - 3) + i/(-5)?
True
Suppose 210 = -4*c - 0*x + 2*x, -5*c = x + 245. Let i = c - -80. Is i a multiple of 15?
True
Let t be 270 - (-1)/(-3)*0. Suppose 0 = -6*y - 54 + t. Does 20 divide y?
False
Let n(s) = s - 2. Does 4 divide n(14)?
True
Let u be -2 - 1*(2 + -11). Suppose 5*x = i - u, 5*x + 9 = -5*i + 164. Is i a multiple of 9?
True
Let x(j) = -j**3 - 2*j**2 - 7*j - 2. Does 18 divide x(-5)?
True
Let x be (-16)/(-10) + 2/5. Let s = -10 + 15. Suppose r - 7 = -3, -x*r = -s*h + 22. Does 3 divide h?
True
Suppose -74 = -8*k + 134. Is 26 a factor of k?
True
Suppose 0 = -2*b + 2*r - 10, 0 = 5*b - 4*r - 6 + 31. Let x = b + 14. Is 9 a factor of x?
True
Suppose 3*i = 2*r + 106, 5*i = 3*i + 4*r + 60. Is i a multiple of 19?
True
Suppose -10 = -2*j - 4*c, -3*j = j + c - 6. Let t(m) = 3*m**2 - m + 1. Let w be t(j). Suppose 31 = 5*i - w*r - 19, -5*i + r = -50. Is i a multiple of 5?
True
Let r be 2/(-5) - (-959)/35. Let s = r - -63. Suppose k - s = -4*k. Is k a multiple of 5?
False
Suppose -q = -0*v - 4*v, 4*q = 2*v + 70. Is q a multiple of 10?
True
Let c = -21 - -37. Suppose 0*i - 5*q = -5*i + 50, -4*q - c = 0. Does 6 divide i?
True
Let t = 9 - 11. Let v(u) = 5*u**2 + 3*u. Is 3 a factor of v(t)?
False
Let q = -39 - -71. Is 16 a factor of q?
True
Let c = -4 + 11. Suppose 3*k - 5 = -2*k. Does 7 divide (k - -2)*c - 0?
True
Let b(x) = -60*x**2 + x. Let i be b(1). Let m = -37 - i. Is m a multiple of 22?
True
Let v(p) = 103*p + 4. Does 30 divide v(2)?
True
Let v(u) = u + 0*u**2 - 3*u + 1 + u**2. Let j = 9 - 6. Is v(j) a multiple of 2?
True
Suppose x - 374 = -2*y - 2*x, -4*y + 5*x + 726 = 0. Does 23 divide y?
True
Let f(k) = -k**2 - 6*k + 5. Let l be f(-6). Is 2 a factor of (-1)/(-5) + 14/l?
False
Let t = -9 + 16. Let h(g) = g + 7. Does 7 divide h(t)?
True
Suppose 0*k + 12 = 2*x - 3*k, -k = -5*x + 17. Suppose 0 = 5*d + 5, x*b + d - 59 = 2*b. Is 20 a factor of b?
True
Let t(s) = -2*s**3 + s - 2. Let d = -9 + 3. Let l = 4 + d. Is t(l) a multiple of 12?
True
Let c be -10 + 3 + (-1 - -3). Let m = -17 - c. Does 16 divide ((-24)/(-1))/((-9)/m)?
True
Let z(l) = 2*l**2 + 2*l + 1. Let p be z(-1). Let w be 4 - p - (1 - -36). Let s = 4 - w. Does 11 divide s?
False
Let o(i) = 4*i**2 - 2*i - 3. Is 8 a factor of o(-2)?
False
Suppose -b = b + g - 8, 5*g + 12 = 3*b. Suppose 69 + 42 = 4*n - 5*l, -102 = -b*n + 2*l. Does 12 divide n?
True
Suppose -2*j + o = -57, 5*o + 19 = -4*j + 112. Is 5 a factor of (-4)/10 + j/5?
True
Let s(j) = 23*j - 5. Does 13 divide s(3)?
False
Let x = 224 + 12. Let s = 546 - x. Is 8 a factor of s/18 + 4/(-18)?
False
Suppose 0*l + 2 = 2*l. Is 2 a factor of l/(-1)*2*-3?
True
Let a(m) be the third derivative of -m**4/24 - m**3/2 + 2*m**2. Let g be a(0). Is 5 a factor of ((-10)/(-3))/((-1)/g)?
True
Let p = -73 + 133. Suppose 0 = 4*r - r - p. Is 10 a factor of r?
True
Suppose -6*l - 51 = -7*l. Does 11 divide l?
False
Let i(w) = w**3 + w**2 - 4*w - 3. Is i(3) a multiple of 7?
True
Let d(f) = f + 8. Suppose 1 = 3*o + 22. Let z be d(o). Does 3 divide 3/1 + 3/z?
True
Let q(y) = -y + 16. Does 23 divide q(-7)?
True
Let d = -12 - -22. Does 10 divide d?
True
Let z = -18 + 22. Suppose -z*k + 5*c + 154 = 0, 68 = 2*k - 0*c + 2*c. Is k a multiple of 9?
True
Let q(n) = -n**2 - 7*n + 6. Let y be q(-7). Suppose -h - 2*d + 32 = 0, y*h - h - d - 127 = 0. Suppose -h = -4*t + 22. Is t a multiple of 10?
False
Suppose 6*b - 2*b - 8 = 0. Suppose 0 = 3*z, -2*o = b*z + z - 34. Is 8 a factor of o?
False
Suppose -3*l = 3*u - 3, 0 = -0*l - l - 3. Does 3 divide u?
False
Suppose -6*y + 105 = -y. Is y a multiple of 21?
True
Suppose 4*c + 61 = 2*u - c, -34 = -3*u - 4*c. Let v be u - (1 - 3/3). Let z = v + -8. Is z a multiple of 4?
False
Does 18 divide (-6)/36*4*(-112 - -1)?
False
Let s = -35 + 41. Is s a multiple of 3?
True
Suppose -4*d = 5*u - 22, 4*u = u + 4*d + 26. Let z be 48/21 - u/21. Suppose 3*y = 5*n + 26, -y + 18 = z*n + 2. Does 12 divide y?
True
Let z(d) = d**2 + 5*d + 2. Let t be z(-5). Suppose t*n - 2 - 6 = 0. Suppose -2*m - 11 = -x, 0 = x + 5*m + n + 6. Is 3 a factor of x?
False
Let y(g) = g**2 - 4*g - 7. Let v be (3/4)/(2/16). Let a be y(v). Suppose -4*k + a*f = -186, -2*k + 104 = f + 2*f. Does 18 divide k?
False
Is 14 a factor of ((-40)/32)/(1/(-76))?
False
Let k = -117 - -277. Suppose 2*c - k = 160. Suppose 0*n = 5*n - c. Does 9 divide n?
False
Let v(t) = -t**3 - 12*t**2 - 10*t - 15. Let g be v(-11). Let j = g - -54. Does 7 divide j?
True
Let o(n) = n**3 - 8*n**2 + 8*n + 5. Does 3 divide o(7)?
True
Suppose 3*v + 17 = 2*a + 3, -a - 3*v = -16. Suppose -11 - 39 = -5*n - 5*w, 2*w = a. Suppose -5*i - 3*j = -86, -3*i + 0*i + n*j + 72 = 0. Is i a multiple of 10?
False
Let z(c) = 4*c**2 - 3*c + 3. Let x be 6*((-5)/(-3) - 1). Let b be z(x). Suppose -2*t = -171 + b. Does 20 divide t?
False
Let i(t) = t**2 - 11*t + 16. Does 8 divide i(11)?
True
Let m(u) be the second derivative of -5*u**3/6 + 5*u**2 + 2*u. Is m(-7) a multiple of 20?
False
Let a = 56 - 26. Is a a multiple of 4?
False
Let g be (-2 + (3 - 2))*0. Let v = 17 + -12. Suppose g = -v*c - 5*r + 225 - 40, -4*r + 49 = c. Does 11 divide c?
True
Let k(j) = -3*j + 9. Is k(-10) a multiple of 33?
False
Suppose -2*d - 71 = 3*p, -4*p + 9*p = 4*d - 89. Let x = 30 + p. Is x even?
False
Let o(u) = -29*u + 3. Is o(-1) a multiple of 19?
False
Let a be -14*(-3)/(1 + 5). Let t(k) = -k**2 + 9*k + 4. Is 9 a factor of t(a)?
True
Suppose -7*m - 131 = -481. Does 10 divide m?
True
Let l(m) = 4*m + 4. Let v be l(5). Let x be (33/9)/(2/v). Suppose x + 6 = 5*d. Does 10 divide d?
True
Suppose 5*c - 16 + 6 = 0. Let k(n) = -6*n + 4 + 2 + n**3 + 5*n**c + 2. Does 7 divide k(-6)?
False
Let b(g) = g**2 - g. Let p be b(4). Let n = -1 + 4. Suppose -a + p = n*a. Is 3 a factor of a?
True
Let d(r) = -2*r**2 + 2*r + 3. Let b be d(-2). Is 3*((-69)/b + 0) a multi