*w + 67. Suppose -5*s - 6 = 4*a, -3*a - 1 - m = 0. Suppose s*n + 2*n = 28. Is n a multiple of 7?
True
Suppose 2*u - 1 = -5. Let v = 0 - u. Suppose -v*g + 4*g - 44 = 0. Is g a multiple of 11?
True
Suppose 2*v - r = -6*r + 61, 0 = -v + 2*r + 44. Is 14 a factor of v?
False
Suppose -8*p - 312 = -11*p. Is p a multiple of 8?
True
Let k = 39 + -29. Does 3 divide k?
False
Let r(y) = -12*y + 1. Let i(d) = 11*d - 1. Let h(j) = -4*i(j) - 3*r(j). Let x(w) = 32*w - 5. Let p(t) = 9*h(t) + 2*x(t). Is 14 a factor of p(-5)?
False
Let i(r) = 5*r**3 - 5*r**2 + 5*r + 38. Let x(g) = 4*g**3 - 4*g**2 + 4*g + 39. Let z(v) = -5*i(v) + 6*x(v). Is 20 a factor of z(0)?
False
Suppose 3*y - 3*p - 8 = 55, -3*y + p + 71 = 0. Is y a multiple of 25?
True
Suppose g - 5*q = -10, 3*g - 6 = -2*q - q. Let h be 104/4 - (g - -2). Suppose 4*p + h = 64. Is p a multiple of 10?
True
Let q(g) = 16*g**2 + 2*g + 1. Let t be q(-1). Suppose -t = 5*c + 2*s, -2*s - 20 = 5*c + s. Is 9 a factor of 2 + -1 + c - -9?
True
Let a(f) = 3*f**2 - 10*f + 10. Let y be a(5). Let p = -9 - -13. Suppose v - y = -p*t, 3*v - 2*t = -5*t + 123. Is v a multiple of 11?
False
Suppose -b + 4*w + 1 - 5 = 0, 3*b + 5 = 5*w. Suppose -4*p = -k - 68 - 82, -5*p - 4*k + 177 = b. Does 22 divide p?
False
Let z be (6/3)/((-2)/(-4)). Suppose 0 = -z*a + 2*d - 26, -2*a - 5*d = a. Let f(k) = k**2 + 2*k + 7. Is 11 a factor of f(a)?
True
Let b = 19 - 32. Let c = 37 + b. Is c a multiple of 9?
False
Suppose 0*u + 6 = 3*u. Let x(i) = 11*i - 2. Is x(u) a multiple of 10?
True
Let r be 47/3 - 5/(-15). Let s = r - 37. Let j = s - -38. Does 6 divide j?
False
Suppose 3*q = -q + 292. Is q a multiple of 14?
False
Suppose 36 = p - 5*p. Let i(v) = -v**2 - 12*v - 5. Is i(p) a multiple of 22?
True
Let h = -1 - 6. Let k = 5 + h. Is 12 a factor of (k/(-5))/(1/115)?
False
Suppose -4*c = -r - 52, 5*c + 16 = 7*c + 2*r. Does 2 divide c?
True
Suppose 12 = v + 2*v. Suppose -3*z - 87 = -5*z - 3*q, 12 = v*q. Suppose -z = -4*b - c - 0*c, -4*b + 42 = 2*c. Is 9 a factor of b?
True
Suppose 4*m + 48 = -0*m. Let s = 25 + m. Suppose -c = -s + 3. Does 5 divide c?
True
Let p be (15/(-12))/(2/(-8)). Let k = p - 3. Is 2 a factor of k?
True
Is 19 a factor of (1032/9)/(-4)*9/(-3)?
False
Let u be (-12)/30 + (-24)/(-10). Let c = u - -1. Is c a multiple of 3?
True
Let i(a) = -a**3 - 2*a**2 - 23*a - 3. Is 27 a factor of i(-7)?
False
Let q(c) = 2*c. Let o(l) = 2*l - 3. Let b be o(2). Let i be q(b). Suppose -3*g = -i*g - 11. Does 11 divide g?
True
Let t be 0 + (-2)/(0 - 1). Suppose 0 = -t*g + g - 9. Let m = g - -18. Is m a multiple of 5?
False
Let v(t) = t**2 - 4*t + 6. Let o be v(3). Suppose -o*z - x + 5 + 55 = 0, 4*z + x = 80. Does 5 divide z?
True
Let a(j) = -j**3 + 3*j**2 + j - 5. Let t be a(5). Let l = t + 21. Let b = -13 - l. Does 10 divide b?
False
Let d(u) = u**2 - 8*u - 10. Let g be d(10). Is 16 a factor of 2/(-5) + 324/g?
True
Let k(t) be the third derivative of -t**4/8 - t**3/3 + t**2. Let l be k(-2). Suppose 0 = 5*a + l*p - 5*p - 92, -5*p = -15. Does 19 divide a?
True
Let r(a) = a**2 + a + 4. Let y be r(0). Let n = y - 0. Suppose p - 13 = -7*j + n*j, -17 = -2*j + p. Is j a multiple of 3?
True
Let u = 6 - 3. Suppose 0 = -u*p + 44 + 37. Is p a multiple of 9?
True
Suppose 5*a + 3 = 2*a. Let i(s) be the second derivative of 5*s**4/2 + s**2/2 - 13*s. Is 19 a factor of i(a)?
False
Let d(u) = -6*u**3 + 2*u**2 + 4*u + 3. Suppose n = -2*n + 3*s - 15, 2*n = -4*s + 8. Does 27 divide d(n)?
False
Suppose 0 = -6*j + 1263 - 159. Is j a multiple of 23?
True
Let i(w) = -5*w + 24. Is 2 a factor of i(-4)?
True
Does 19 divide 3/(-9) + -2 + (-480)/(-9)?
False
Let v be (-1 - 0)*(-4 + 2). Suppose 0 = 5*y + 3*c - 59, -y + 3*c + 21 = v*y. Does 2 divide ((-5)/y)/((-2)/8)?
True
Let j(q) = -q**2 + 5*q - 2. Let i be j(4). Let z be (36/10)/(i/80). Does 12 divide (8/16)/(2/z)?
True
Let f(m) = 7*m + 0 + 1 - 13*m - 14*m. Does 9 divide f(-1)?
False
Is 9 a factor of (-1 - -91)*(-48)/(-60)?
True
Is -2*(149/(-8) + (-8)/(-64)) a multiple of 37?
True
Let u(j) = -3*j**2 + 2*j + 6. Let a(m) = -5*m**2 + 4*m + 11. Let r(w) = 4*a(w) - 7*u(w). Let y be (-7)/2*(2 + 0). Does 10 divide r(y)?
False
Let h = 236 - 156. Let v = h - 51. Is v a multiple of 13?
False
Does 13 divide (-4)/14 - (-1236)/14?
False
Suppose -6*i = -3*i - 57. Suppose 5*u + 0*p - 2*p = -95, p - i = u. Is -1 - 1*1*u a multiple of 9?
True
Suppose -2*w + 2 = -0. Suppose w + 11 = 3*n. Suppose n*l = -3*u + 78 + 14, 2*l - 46 = -4*u. Is 9 a factor of l?
False
Is 5 a factor of (8 + 0)/(9/63)?
False
Let g(v) = -7*v**3 + 10*v**2 - 10*v - 4. Suppose -3*c + 2 = -16. Let u(s) = 6*s**3 - 9*s**2 + 9*s + 4. Let r(a) = c*u(a) + 5*g(a). Is 8 a factor of r(4)?
False
Suppose o = 2*o - 5. Does 5 divide o?
True
Let r(z) = 2*z - 2. Let w be r(3). Suppose 0 = 2*b + 2*k - 44, -w*b + 3*k = 19 - 128. Is 8 a factor of b?
False
Does 30 divide 18/(-4)*(-1 - 1)*20?
True
Suppose -11 = 4*q - q - l, q + 3*l = -7. Is (1 + q)/((-21)/182) a multiple of 25?
False
Is ((-10)/(-2) - 2) + 31 a multiple of 34?
True
Let m be 30/7 + (-2)/7. Suppose 5*a - 63 = -2*w, 3*w - 168 = -w + m*a. Suppose 124 = 5*d + w. Does 6 divide d?
False
Suppose 0*q - 154 = -14*q. Is q a multiple of 11?
True
Let s = -137 + 226. Suppose -6*m + 55 = -s. Does 8 divide m?
True
Let r = 121 + -71. Is 10 a factor of r?
True
Let q(o) = -o**3 - 8*o**2 + 11*o - 6. Suppose 9 = -f - 3*p, -2*f - 2*p = -0*f + 18. Let y be q(f). Let t = 60 + y. Does 12 divide t?
True
Suppose 5*j + 132 = 1532. Is 27 a factor of j?
False
Let p = -148 - -388. Is 24 a factor of p?
True
Let h = 153 + -65. Is 22 a factor of h?
True
Let l be (-24)/(-28)*2*21. Suppose -2 = a - 3*c, -5*a - 4*c = -5*c - 18. Suppose l = a*i - 12. Is i a multiple of 12?
True
Suppose -7*n + 2 = -6*n. Suppose 5*k - 664 + 89 = 0. Suppose -2*m = -n*g - 5*m + 78, 0 = 3*g + 4*m - k. Does 13 divide g?
False
Suppose 21 = s - 9. Suppose p + s = 4*h, -p + 2*h - 4 = 16. Let c = -2 - p. Is c a multiple of 8?
True
Let z = -1 + 3. Suppose 0 = 5*c - 5*n - 10, 24 = z*c + 3*n - n. Does 3 divide c?
False
Let j(y) = -67*y**2 - y - 1. Let a be j(-1). Let l = a + 99. Is l a multiple of 7?
False
Let n = -15 - -67. Suppose -36 = -4*s + n. Is 22 a factor of s?
True
Suppose 4*q - 3*q - 1 = 0. Is 3 a factor of q/((-4)/(-36)*3)?
True
Let t(m) = m + 4. Let u(g) = -5*g**2 - g - 1. Let i be u(-1). Let p be t(i). Does 5 divide 3 - p - (-1 - 2)?
False
Let a be (-25)/(-3) - (-3)/(-9). Suppose s = -4*w + 9 + 29, 0 = 4*w - a. Is 10 a factor of s?
True
Let q(y) = -y**2 - 1 - 2*y - 5*y - 5. Let i be q(-5). Suppose -23 = -i*f + 21. Is 8 a factor of f?
False
Is 228 + (-11 + 7)*(-1 + 2) a multiple of 16?
True
Suppose -g - 21 = 2*t, -t + 2*g - 42 = 2*t. Let j = 18 + t. Is 6 a factor of j?
True
Is 6 a factor of -24*((-20)/(-16))/(-1)?
True
Suppose 3*o = 6*o - 117. Suppose -4*p = -3*g - o, 0 = 3*p - 2*p + 4*g + 14. Let q = p - 3. Is q even?
False
Suppose 3*c - 9 = 3*i, 3*i - 11 = -4*c + 15. Let l(y) = 2*y**2 - 2*y - 7 + 3*y + c*y. Is 13 a factor of l(-5)?
True
Let g(l) = -l**3 - 7*l**2 + 7*l - 8. Let s be g(-8). Suppose -2*p = -s*p + 10, 5*p + 13 = -2*c. Does 6 divide c?
True
Let l be ((-27)/(-6))/(1/(-2)). Let n be (l/3 - -1) + 21. Suppose 15 = 2*z - n. Does 10 divide z?
False
Let q(m) = m**2 + 8*m - 3. Let b be q(-9). Let j = b - 3. Suppose -2*u = k - 15, -4*k + j*u - u = -90. Is 21 a factor of k?
True
Suppose -3*r - 5*f + 31 = 0, -2*f - 3*f + 21 = -2*r. Let j(m) = 10*m**2 - 3*m**r + 2 - 6*m**2 + 2*m - 4*m**3. Is j(-2) a multiple of 17?
True
Let a(v) = -v**3 - 10*v**2 + 8*v + 3. Let j be a(-10). Let x = -54 - j. Is 23 a factor of x?
True
Let s be (30/(-12))/(1/(-2)). Suppose 63 = s*r - 5*j - 2, -j = 4*r - 52. Is r a multiple of 13?
True
Suppose 5*o + 0*o = 10. Let v(s) = 4*s - o - 2*s - 3*s - 3. Does 2 divide v(-10)?
False
Suppose a + 2*q - 41 = -0*a, 0 = -3*a + 2*q + 99. Suppose -w + 2*z + a = -2*z, 3*w + 5*z = 173. Does 13 divide w?
False
Let r(p) = p - 28. Let z be r(19). Let b = -2 + 17. Let c = z + b. Is 3 a factor of c?
True
Let l(q) = -q**3 + 5*q**2 - 3*q + 3. Suppose 0 = -3*t + 4*t - v - 5, v - 3 = -t. Does 3 divide l(t)?
False
Let i(s) = 3*s**2 + 1. Let r be i(1). Suppose 4*w + 2*n - 3*n = -213, -r*w + 2*n - 210 = 0. Let v = -25 - w. Does 11 divide v?
False
Let f(k) be the first derivative of -2*k*