+ 2. Is n(1) a multiple of 4?
False
Let o be 356*(2/4)/(-1). Suppose -5*w = -5*j + 55, -3*j - 5*w = -2*w - 51. Does 13 divide (-6)/(-21) - o/j?
True
Let m(j) = j**2 - 5*j - j - 5*j. Is m(15) a multiple of 12?
True
Let a = 65 - 34. Let z be -2*1 - (-10 + 8). Suppose z = k - 2*k + a. Does 12 divide k?
False
Let g = -5 - 0. Let c(x) = x**3 + 9*x**2 + 8*x + 4. Let u be c(g). Suppose -24 = -4*t + u. Does 11 divide t?
True
Let x(n) = 2*n**2 + 6*n - 48. Does 16 divide x(8)?
True
Suppose -6*k + 5 = -k. Does 13 divide (3/6)/(k/46)?
False
Suppose -2*q + 0*q = -10. Suppose 3*s = 3, -39 = -k - q*s - 2. Does 16 divide k?
True
Let z(w) = w**2 - 12*w - 29. Does 35 divide z(16)?
True
Let o(y) = y + 11. Let g be o(-5). Let k be (-50)/g + 1/3. Let d = -4 - k. Is d a multiple of 2?
True
Suppose -1287 = -2*r + 4*w - 7*w, -5*r + 3185 = w. Is 14 a factor of (-2 - -1)/((-12)/r)?
False
Let k(y) = 8*y**2 + 2*y + 7. Does 21 divide k(-5)?
False
Suppose -3*n + 2*n = -5. Suppose -n*l = -2*b + 372, 2*b + l - 4*l = 364. Suppose b = 5*u - 4*y, 6*y - y = u - 52. Is u a multiple of 16?
True
Suppose 21*b = 15*b + 294. Is 10 a factor of b?
False
Suppose 440 = -4*f + 8*f. Let c = -61 + f. Is 16 a factor of c?
False
Let x be ((-26)/(-4))/(4/24). Let k be (15/20)/(1/4). Suppose k*q - x = 99. Is q a multiple of 17?
False
Let m(o) = o**3 - 7*o**2 + 8*o - 9. Let c be m(6). Suppose 4*k + 40 = t, -c*k = -7*k - 12. Is t a multiple of 14?
True
Let p = -3 + 8. Let o(c) = 11*c**2 + 4*c - 3. Let m be o(2). Suppose -25 = -p*y + 5*f, -5*y + 0*y - 3*f = -m. Is 4 a factor of y?
True
Let o = -22 - -28. Suppose -p = -o*p + 30. Is 3 a factor of p?
True
Let h(d) = 2*d**2 - 2*d**2 - d + 53 - 42 + d**3. Is 11 a factor of h(0)?
True
Let l(m) = 7*m + 4. Let v be l(6). Let z be 2*((0 - -2) + -1). Suppose p + 3*p + 136 = 4*a, a + z*p = v. Is 19 a factor of a?
True
Suppose 4*j + 0*j - 5 = 5*m, -4*m - 2*j = 30. Let q be (-1)/(-2)*(m - -7). Does 17 divide q + (-1)/(2/(-70))?
False
Let f be 2/1 + -3 + 5. Suppose f*x - n = 173, -3*x + 4*n - n = -123. Suppose -5*w = -h - 10, 3*w - x = -4*h + 8. Is 7 a factor of h?
False
Let v = 29 - 21. Let w = 18 + v. Is w a multiple of 13?
True
Let z(l) = l**3 - 6*l**2 + l - 3. Let u be z(4). Let k = -18 - u. Let f = 22 - k. Is 9 a factor of f?
True
Suppose -8 = -4*w + 20. Suppose -29 - w = -s. Is 18 a factor of s?
True
Let o = -5 - 6. Is (o/2)/((-6)/36) a multiple of 13?
False
Is 3 a factor of ((-457)/(-9))/1 + (-6)/(-27)?
True
Suppose -2*c = -5 - 5. Suppose -c*p + 24 = -p. Is 6 a factor of p?
True
Let v be (30/(-8))/(18/48). Does 21 divide (-676)/v + 6/15?
False
Let l(q) = -4*q + 61. Is 17 a factor of l(11)?
True
Let j(d) be the third derivative of d**5/30 + d**4/3 - d**3/3 - d**2. Is j(-9) a multiple of 20?
False
Suppose 5*l - 67 = 8. Suppose -y = -9 - l. Let r = 38 - y. Does 5 divide r?
False
Let h(y) = 66*y - 19. Is 19 a factor of h(2)?
False
Let o = 5 + -10. Let t(l) = l**2 - 1. Is 12 a factor of t(o)?
True
Let c be -14*(-12)/(-56)*-24. Suppose c + 60 = 4*m. Is 24 a factor of m?
False
Let i(w) = -w**3 - 6*w**2 + 25*w + 6. Is 24 a factor of i(-9)?
True
Let r(h) = h**3 - 11*h**2 + 4*h - 4. Let k be r(12). Is k/4 + -2 + 0 a multiple of 13?
False
Suppose 516 = 14*p + 96. Is 13 a factor of p?
False
Let k(z) = 4*z**2 + 7*z + 3. Let h = 10 + -15. Is 17 a factor of k(h)?
True
Suppose 0 = -3*l - 19 + 163. Is l a multiple of 22?
False
Is 3 a factor of ((-1)/3)/(14/(-294))?
False
Let m(c) = -c**2 - 10*c - 1. Let l be m(-9). Is 1*-2*(-60)/l a multiple of 3?
True
Let n = -25 + 9. Let s be n/3 - (-4)/12. Does 15 divide (s/(-2) + 2)*10?
True
Let c be 0/(-6) - 6*3. Let l = 18 - c. Is l a multiple of 11?
False
Suppose -b = -2*y + 73, 3*b - 19 = -y - 0*b. Let z = y - -27. Suppose 0*d = -3*d + w + 64, -2*d + z = 3*w. Does 14 divide d?
False
Let v = -1 - -3. Suppose o = -v*y + 4*o + 122, 2*o + 122 = 2*y. Suppose 0 = -3*f + y + 29. Does 12 divide f?
False
Suppose 5*b = -i - 6, -4*i + 8*i + b - 52 = 0. Does 2 divide i?
True
Let r(j) = -j**2 - 4*j + 3. Let i be r(-4). Suppose i*z = -4*s + 10, -z + 10 = 2*s - 4*s. Is 10 a factor of ((-15)/2)/(z/(-8))?
True
Let t be 1*(8 + 0) + -3. Suppose -l = t*z - 0*z - 69, -3*z + 39 = 3*l. Is z a multiple of 13?
False
Let r(q) = -13*q**3 - 2*q**2 + 2*q + 4. Is r(-2) a multiple of 14?
False
Let d be (-27 - -1)/(0 - -2). Let m = d - -21. Does 8 divide m?
True
Let g be (-2 - 88)*8/(-6). Suppose 4*q - 7*q = -g. Is q a multiple of 16?
False
Let d = -22 - -151. Suppose c + 3*u = -c + 86, -d = -3*c + 2*u. Is c a multiple of 11?
False
Let s(t) = -t**3 + 10*t**2 + 13*t - 8. Let v(i) = -2*i - 1. Let z be v(-6). Does 6 divide s(z)?
False
Let g(n) = -19*n + 1. Let c = -13 - -12. Is g(c) a multiple of 17?
False
Let q(m) = m**2 - 5*m - 2. Let r be q(6). Let a = 7 - r. Suppose -2*i + 53 = 5*y, 67 = 3*i - 2*y - a*y. Does 12 divide i?
True
Let s = -8 + 16. Suppose -48 = -4*q + s. Is 14 a factor of q?
True
Let u be 3*(3 + (-21)/9). Let g(p) = 6*p**3 - 2*p + 3. Is g(u) a multiple of 16?
False
Let x(o) = o**2 + 4*o - 7. Let k be x(5). Suppose -4 = -5*l + 1, 2*l + k = -5*p. Let y(i) = i**2 + 7*i - 3. Does 2 divide y(p)?
False
Suppose -s - 3*s + 60 = 0. Does 8 divide ((-40)/25)/((-1)/s)?
True
Let c be ((-2)/(-6))/(6/(-18)). Is 3 a factor of (24/(-14))/(c/7)?
True
Let t be (356/6)/((-12)/(-18)). Suppose -k = h - 5*h + t, 17 = 2*h + 5*k. Suppose -q - 3 = 0, 3*v - 3*q - h - 18 = 0. Does 10 divide v?
True
Let y(d) = -16*d - 1. Let q = 2 - 3. Is y(q) a multiple of 8?
False
Let a(y) = -5 + 2*y + 0 + y. Is 5 a factor of a(4)?
False
Suppose 73 = z + 11. Is 12 a factor of z?
False
Let m = -4 - -40. Is m a multiple of 18?
True
Let t(s) = s**2 + 5*s + 6. Let u be t(-5). Suppose 3*z - 18 = u. Is z a multiple of 5?
False
Let j(b) = 15 - 6*b + 10*b - 3*b. Does 2 divide j(-9)?
True
Suppose 0 = u + 2*v - 81, 0 = 3*u + 2*u - 2*v - 393. Is u a multiple of 17?
False
Does 12 divide (1/5 - 302/10)*-4?
True
Let g be 14/4 + 1/2. Suppose -t - g = -5*d + 3*d, -2*d + 16 = t. Does 3 divide t?
True
Let f be (-105)/(-14) - (-1)/(-2). Let d(k) = -k**3 + 8*k**2 - 3*k + 4. Let c be d(f). Suppose -4*o + c = -2*o. Is 16 a factor of o?
True
Suppose -5*v + 20 = -3*v. Let r(a) = -a**2 + 0*a - 5 + 12 + v*a. Does 14 divide r(7)?
True
Let a be 2 + -1 + (4 - 2). Suppose 5*f - a*f = 8. Suppose f*c - 20 = 0, 0*y + 180 = 5*y + 3*c. Is y a multiple of 13?
False
Suppose -2*s - 3*s + 25 = 0. Suppose j + 1 = s*u + 11, -28 = -5*j + 3*u. Suppose -j*t = -3*i + 105, 2*i = -3*i - 5*t + 215. Does 18 divide i?
False
Suppose 0*f + f - 20 = 0. Is (f/2)/(2/8) a multiple of 12?
False
Suppose 3*l + l - 20 = 0. Suppose 0*c + 161 = 3*c - l*x, 3*c = -x + 155. Does 22 divide c?
False
Suppose 2*s - 5*s = -b - 28, -5*s + 60 = b. Does 5 divide s?
False
Let l(r) be the second derivative of r**5/20 - r**4/4 + 2*r**3/3 - 2*r**2 + 2*r. Let c be l(3). Does 16 divide (c/5)/(1/20)?
True
Does 13 divide 8/(-2)*(-14)/7*5?
False
Let q(p) = p**2 + 2*p - 9. Is 10 a factor of q(6)?
False
Suppose 4*g - 5*n + 10 = -12, 5 = g + 4*n. Is (-11)/4*(-1 + g) a multiple of 11?
True
Suppose -d + 3 = -2*d. Is (-70)/(-3) + (-2)/d a multiple of 12?
True
Let j(s) = -s**2 + 7*s + 18. Does 3 divide j(8)?
False
Let s(t) = -t**3 + 8*t**2 + 2*t - 1. Is 3 a factor of s(8)?
True
Suppose 0*t = -3*t + 36. Is (-57)/(-4) + (-3)/t a multiple of 11?
False
Let m(n) = 3*n**2 + 7*n + 6. Let f = 48 - 34. Suppose 0 = 2*w - 2*o + f, -w + 4*o + 3 = 19. Is m(w) a multiple of 9?
False
Suppose -3*k = -2*l - 39, -54 = k - 5*k + 2*l. Is 13 a factor of k?
False
Suppose 4*l - 92 = 44. Suppose l = 3*b - 14. Does 6 divide b?
False
Suppose -2*o = 2*o - 8. Suppose o*k - 126 = -50. Does 11 divide k?
False
Is (-12)/(-15)*15/2 a multiple of 2?
True
Let x(m) = 2*m**2 + 3*m. Let s be x(-2). Does 2 divide 1 + (3 - (1 - s))?
False
Let t(c) = 5 + c**2 - 5*c - 3*c - 8*c + 0*c. Let o be t(13). Let m = o - -47. Is 13 a factor of m?
True
Suppose o - 299 = -2*t, -t + 4*o = o - 153. Is 30 a factor of t?
True
Let y(x) = 22*x**2 - x - 2. Is 21 a factor of y(2)?
True
Let a(d) = 175*d**2 - 3*d - 2. Is 15 a factor of a(-1)?
False
Suppose -4*z - 3*j = -109, -3*z + j - 3*j = -83. Suppose 2*i - 2*k - 37 - z = 0, -14 = -i - 4*k. Does 15 divide i?
True
Let u(m) = -13*m - 3. Let s be u(8). Let t = -35 - s. Does 22 divide t