ivide n(h)?
False
Let t(d) = d**2 + 3*d + 1. Let q(a) = 2*a**2 + 2*a + 1. Let m(o) = 5*q(o) - 4*t(o). Is m(2) a multiple of 18?
False
Let w(l) = -l**3 + l**2 - l + 27. Let v be w(0). Let i = 57 - v. Is 15 a factor of i?
True
Let q(k) = -5*k + 3. Let b be -4 + (2 - 2)/(-3). Does 23 divide q(b)?
True
Let s(o) = 3*o**2. Let m be s(-1). Suppose -23 - m = -n. Does 17 divide n?
False
Suppose 0 = -5*i + 5*l + 270, -2*i + 4*l + 116 = -0*l. Is 25 a factor of i?
True
Suppose -4*d + 5*j + 217 = -0*d, -3*j - 165 = -3*d. Let p(i) = i**3 + 7*i**2 + 3*i - 5. Let a be p(-7). Let v = d + a. Is v a multiple of 16?
True
Let k(q) = -q + 9*q - 2 - 5*q. Is k(8) a multiple of 7?
False
Let o = -17 - -38. Suppose 2*s - h = o, -s - 4*h = 3*s - 12. Does 3 divide s?
False
Let w(f) = -12*f**3 + 2*f + 0*f**2 - 6*f - 2*f**2 - 3. Let x be w(-2). Suppose -3*h = n + 3*n - 66, 0 = 5*h + n - x. Is 9 a factor of h?
True
Suppose 3*f = -2*g - 0*f + 16, 2*g - 4*f = 2. Does 3 divide g?
False
Let p be 3 - 1*(1 - 4). Suppose 2*r = p, -4*r + 2 = -2*m - 4. Does 2 divide m?
False
Let g be 1 + 4 - (1 - 3). Let o = g + -5. Suppose -o*w + 16 = 2*w - 4*q, -2*w - 3*q = -13. Is w a multiple of 5?
True
Let g = -1 - -5. Suppose -2*a = -47 + 15. Let l = a + g. Is 8 a factor of l?
False
Let m(b) = b**2 + b + 10. Let y be m(0). Let k be 4/16 - 1/4. Suppose 0 = -k*c - 5*c + y. Is 2 a factor of c?
True
Let b(p) = 3*p. Let y be b(8). Let m(i) = -i - i + y + i. Is m(0) a multiple of 13?
False
Let p(g) = -g**3 - 11*g**2 + 7*g - 13. Is p(-12) a multiple of 10?
False
Suppose 3*i = d + 40, 0 = 2*i - d + 5 - 31. Suppose 0 = 2*n - 3*n + i. Is 4 a factor of n?
False
Suppose -13*s = -15*s + 154. Is 7 a factor of s?
True
Let q be 12/8*8/6. Suppose 0 = -q*d + 65 + 89. Suppose 0 = 2*m - 10, -5*c - 4*m + 3 = -d. Is 12 a factor of c?
True
Suppose 2*d = -0*d + 14. Let s be 31/2 + (-3)/6. Let i = s - d. Does 6 divide i?
False
Suppose -2*k + 3*v + 10 = 0, -k - 9 + 1 = 5*v. Suppose -k*n + 16 = -8. Does 12 divide n?
True
Let u(t) be the second derivative of -t**5/20 - t**4/3 - t**3/3 + t**2/2 + 2*t. Is u(-5) a multiple of 19?
False
Let q be -3 - (-2)/(-1 + 3). Let s be -1*(0 - q) + 30. Suppose -y + s = 2. Is y a multiple of 16?
False
Suppose 4 = -0*p + 4*p. Let d(o) = 21*o. Does 8 divide d(p)?
False
Suppose 5*k - 72 = -22. Suppose -2*j = k, 6*w - 30 = 4*w + 4*j. Suppose 0 = -w*g - 5*s + 125, -4*s = 3*g - 0*s - 80. Does 8 divide g?
False
Let c = 81 - 11. Is 12 a factor of c?
False
Does 17 divide 3 - (2 + 0 - 50)?
True
Suppose 0 = -3*k + 2*c - 15, 3*k + 21 = -0*k + 4*c. Let v = 60 + -32. Let l = k + v. Does 12 divide l?
False
Let t(l) = l - 9. Let h be t(8). Let n(z) = 40*z**2. Does 18 divide n(h)?
False
Let r(s) = s**3 - 19*s**2 + 21*s - 22. Does 8 divide r(18)?
True
Suppose 0*p - 3*p - 2*q + 174 = 0, 0 = -p + q + 63. Does 10 divide p?
True
Let o be 1 + -3*(-51)/9. Suppose 2*i = 138 - o. Is i a multiple of 16?
False
Let s = -117 + 285. Is s a multiple of 24?
True
Let c = -12 - -18. Is 17 a factor of (-3 + -15)*c/(-4)?
False
Let y(m) = -m + 1. Suppose 2*l + 17 = -11. Let s be 46/l + (-4)/(-14). Does 4 divide y(s)?
True
Suppose 2*j + g - 2 = 0, 5*g + 4 = -2*j - j. Suppose v = -5*d - 4*v + 160, -j*v + 4 = 0. Does 6 divide d?
True
Does 24 divide ((-1 - 172) + -6)/(-1)?
False
Let p(v) = 3*v**2 + 4*v - 5. Let q be p(7). Does 17 divide (-6)/4*q/(-15)?
True
Suppose 0 = 2*y + 5*z - 5, -5*y - 3*z = z + 30. Suppose 4*x + 25 + 45 = 5*q, 2*q - 4*x = 28. Let u = y + q. Is 2 a factor of u?
True
Let w(d) = -9*d - 1 - d**2 + 0 - 6. Let q = 31 - 37. Is w(q) a multiple of 5?
False
Let p be 126/(-1 + 15/6). Suppose -3*k + p = -k. Suppose -4*x + k = -w - w, 0 = 2*w + 6. Does 4 divide x?
False
Let w = -54 + 79. Suppose -1 = 3*i + 2*l, l = 6*l + w. Let y = 3 + i. Does 5 divide y?
False
Let w(t) = 17*t - 5. Does 20 divide w(5)?
True
Suppose -3*l = 5*l - 368. Is l a multiple of 7?
False
Let w be 3 - (-2)/(3 - 1). Suppose 2*k = -0*k + 30. Suppose -k = -w*d + d. Is d even?
False
Is 12 a factor of (-4)/5*(14 + -39)?
False
Suppose 5*z - 54 = 26. Is 8 a factor of z?
True
Let x(g) = -4*g + 1. Let o(q) = q**3 + 2*q**2 - 4*q - 4. Let a be o(-3). Is 3 a factor of x(a)?
False
Let p = 31 - 18. Suppose 0*m + 2*m + 2*q = -2, -5*m = -4*q - 40. Suppose m*n - 27 = p. Is 10 a factor of n?
True
Let x(b) = b**2 - 2*b + 15. Is x(5) a multiple of 30?
True
Let z(i) = 13*i - 7. Does 24 divide z(23)?
False
Suppose 0 = 3*c - 1 - 2. Let i be (2 - c) + (-2 - -3). Is 18*(-4)/(-6) - i a multiple of 4?
False
Let l = -17 + 17. Suppose l = u + 2*u - 126. Is 15 a factor of u?
False
Let v be ((-2)/(-3))/((-1)/(-3)). Let s be 0 + v + 0 + 1. Suppose -3*z + s = -j, -3*z + 17 + 58 = 5*j. Is j a multiple of 6?
True
Let m = 6 + -10. Is 14 a factor of 164/8*m/(-2)?
False
Let t = 1 - -2. Suppose 36 = t*d + d. Is 9 a factor of d?
True
Let v(q) = -10*q - 41. Does 32 divide v(-11)?
False
Let y be (30/9)/(-5)*3. Does 23 divide 23/y*(5 + -7)?
True
Suppose a - 5*a + 8 = 0. Suppose 0*c - a = -c. Suppose -c = 3*f - 20. Does 3 divide f?
True
Suppose 3 = -f + 2. Let s = 3 + f. Is ((-75)/(-6) + -1)*s a multiple of 15?
False
Let g(v) = -v**2 - 2*v + 4. Let a be g(6). Let o = -22 - a. Is 11 a factor of o?
True
Suppose -1 = -3*n - p, -5*n - 4*p + 4 = -3*n. Let u be -3 + -57 + (n - 1). Is 12 a factor of u/(-2) - 3/(-6)?
False
Let h = 0 - -20. Is h a multiple of 13?
False
Let l(y) = y**2 - 8. Let i be l(-6). Let a = -12 + i. Is a a multiple of 9?
False
Let s(p) = -p + 10. Let d(z) = z**2 + 4*z + 2. Let m be d(-5). Is 2 a factor of s(m)?
False
Let q(t) = -7*t**2 + 4*t + 1. Let d(w) = 21*w**2 - 11*w - 4. Let p(y) = 6*d(y) + 17*q(y). Let i be p(-5). Is 17 a factor of i/4 - 2/4?
False
Let t = 340 + -18. Does 43 divide t?
False
Is 4/((-8)/(-12) + (-22)/36) a multiple of 13?
False
Suppose 3*r + 7 = -3*j - 5, -4*r - 10 = -2*j. Let q be (-5)/(-3)*(0 - r). Does 11 divide ((-10)/4)/(q/(-60))?
False
Suppose 0 = -4*b + b + 9. Suppose 3*g - 165 = -b*n, -3*g + 2*n + 195 = 40. Does 18 divide g?
False
Suppose 5*d - 20 = 20. Let b be (-8)/(-10)*20/d. Suppose -7*r = -b*r + v - 29, v + 1 = 0. Is r a multiple of 3?
True
Let y(m) = m - 1. Let g be y(-8). Let t = 13 + g. Suppose -v - k = -10, 2*v - t*k - 51 = -v. Is 5 a factor of v?
False
Suppose -240 = -3*y + 2*f, -5*y - 2*f = -2*y - 240. Does 11 divide y?
False
Let h = 5 - 2. Suppose 2 + 10 = h*l. Suppose -3*f = l*q + 2*f - 7, 0 = -q - 4*f - 12. Is 3 a factor of q?
False
Suppose -c + 36 = -5*c. Let k = c + 22. Is k a multiple of 5?
False
Is (-1)/3*3 + 67 a multiple of 33?
True
Suppose -3*r = 2*r - 15, -s - r + 14 = 0. Suppose 2*i - s = i. Does 11 divide i?
True
Suppose -114 = -5*v + 4*n, -v - 5*n + 66 = 20. Is v a multiple of 7?
False
Suppose 2*j = j + 2. Let g(q) = -q**3 + 3*q**2 - 4*q**2 + q + 44 + q**j. Does 17 divide g(0)?
False
Let q = -87 - -179. Is 7 a factor of q?
False
Let t(s) = 2*s - 8. Let z be 10/15 - 34/(-3). Is t(z) a multiple of 8?
True
Suppose -2*v = v - 9. Suppose d - 10 = 3*d - z, 3*z = -v*d + 3. Is (1 - 23)*d/6 a multiple of 6?
False
Suppose 12 = 3*m - v - 1, 4*v + 13 = -m. Suppose -m*i - 2*i = -170. Is i a multiple of 14?
False
Does 18 divide 2/4 + (-1)/((-4)/126)?
False
Suppose -m = -5*l - 41, -93 = -8*m + 3*m - 3*l. Let h = 10 + m. Is 31 a factor of h?
True
Does 6 divide 3/9 - (-210)/18?
True
Let p(d) be the second derivative of d**4/12 + d**3/6 + 27*d**2/2 + 3*d. Does 11 divide p(0)?
False
Suppose -57 + 174 = 3*g. Is g a multiple of 11?
False
Let j(z) = -4*z - 28. Does 5 divide j(-12)?
True
Let v be (-8 - -4) + (-2 - -26). Let k = 5 + v. Is k a multiple of 8?
False
Let r be (-2)/10 + (-66)/(-30). Suppose -18 = -3*b + r*b. Does 18 divide b?
True
Suppose 4*a - 4*r - 119 = 485, -2*a - 3*r = -312. Suppose -5*l = -a - 57. Does 21 divide l?
True
Let z = 73 - -23. Suppose 3*m - z = 6. Does 17 divide m?
True
Suppose -342 = -5*q + 3*g, 5*g + 0*g = 3*q - 218. Is q a multiple of 11?
True
Let j(y) = 2*y**2 + 10*y + 3. Is j(-5) a multiple of 3?
True
Let c(z) = z**3 + 14*z**2 + 6*z + 12. Is 17 a factor of c(-13)?
False
Let b be (-6)/15 + 1064/10. Is 13 a factor of b/8 - (-1)/(-4)?
True
Let u(m) = -m**3 - m**2 + 6. Let z be u(0). Does 7 divide -2*21/z*-2?
True
Suppose 109 = 9*z - 116. Is 5 a factor of z?
True
Let p be (3 + (2 - 0))/1. Suppose -2*k = -6*k. Sup