 + 3. Let h be c(-2). Suppose h*z - 67 + o = 0. Does 20 divide z?
False
Let j(f) = -6*f + 4. Is j(-21) a multiple of 13?
True
Suppose 0 = 3*h - 0*h - 192. Is h a multiple of 17?
False
Suppose -k + 4 = k. Suppose -4*p - 4*x = -8, -4*p - x - k*x = -9. Suppose 2*i - p*i = -3. Is i a multiple of 2?
False
Let d(w) = 3*w - 5. Does 3 divide d(4)?
False
Let o = 185 + -93. Is 36 a factor of o?
False
Does 8 divide 5/((-75)/144)*-5?
True
Suppose 0 = 2*f + 2 + 26. Let p be 8/f*(-7)/2. Is 3 a factor of 51/6 - p/4?
False
Let j = 116 - -42. Suppose j = 4*z + 2. Suppose 5*a - z - 11 = 0. Is 3 a factor of a?
False
Let w = 106 + -61. Suppose 5*l + 3*c + 0*c = w, -9 = -l - 5*c. Is 11 a factor of (-31)/(-3) - (-6)/l?
True
Let s = 1 - 2. Let t be (s + (-2 - -1))/(-2). Is -1 + (21 - (3 - t)) a multiple of 18?
True
Let a(f) = -18*f + 6. Let r be a(-8). Suppose 5*n - r - 40 = 0. Is 19 a factor of n?
True
Suppose -5*c + 5*i = -195, -5*c + 236 = -2*i + 29. Let u = -16 + c. Does 22 divide u?
False
Suppose -4*j + 0*j - 4*u + 36 = 0, 4*j - u - 61 = 0. Does 14 divide 254/j - 14/98?
False
Let y(m) = -m**3 + 10*m**2 + 5*m + 1. Is y(10) a multiple of 17?
True
Suppose 8*n + 13*n - 4347 = 0. Is 28 a factor of n?
False
Let h = 0 - 1. Let o = h - -4. Is (o + (-1 - 0))*5 a multiple of 10?
True
Suppose 2*i = -p + 6*p + 106, 2*p + 228 = 4*i. Suppose -4*r + 151 - 12 = 5*a, r = -2*a + i. Is 15 a factor of a?
False
Suppose 3*i = 8*i - 25. Suppose -4*h = 5*r + 9 - 111, -i*r = 3*h - 79. Is h a multiple of 6?
False
Suppose 3*y + 2*l - 25 = -5, -3*l = -5*y + 8. Let q = -8 + 19. Suppose 5*h = -5*c + 20, c = -0*c - y*h - q. Does 4 divide c?
False
Suppose 3*f = -0*f + 30. Suppose -11*q + 25 = -f*q. Is q a multiple of 18?
False
Let o(d) = -d**2 + d + 10. Let a be o(0). Let n = 25 - a. Suppose -5*c + n = 3*l, -3*c - 3*l + 2*l + 13 = 0. Does 6 divide c?
True
Let k(x) = -x**3 + 5*x**2 + 8*x - 4. Let s(j) = 2*j**2 + 4*j. Let z be s(-3). Let a be k(z). Let r = 12 - a. Does 3 divide r?
False
Suppose -9*w = -14*w + 225. Is 4 a factor of w?
False
Suppose -9*b + 225 = -4*b. Let f = 89 - b. Is f a multiple of 14?
False
Let i(y) = -5*y - 1. Suppose 2*q + 0 = -4. Does 9 divide i(q)?
True
Let r = -106 - -112. Is 6 a factor of r?
True
Is (1/3)/(2/402) a multiple of 10?
False
Suppose 197 = 5*m + 7. Is m a multiple of 9?
False
Suppose -5*k + k = 52. Let h(v) = v**2 + 8*v - 1. Is h(k) a multiple of 28?
False
Let a = -4 - -9. Suppose 34 = -a*l + 4. Does 2 divide (-2)/(-12) + (-17)/l?
False
Let t = 48 + -29. Is 7 a factor of t?
False
Let j(p) = -p**3 + 5*p**2 + 5*p - 5. Let g(x) = -2*x**2 + 18*x - 11. Let z be g(8). Is 10 a factor of j(z)?
True
Suppose -65 - 5 = 7*z. Is 23 a factor of (z/(-6))/(2/54)?
False
Suppose -2*l = -2*o + 60, -6*o + 2*o - l = -110. Let m = 41 - o. Let v = -2 + m. Does 11 divide v?
True
Let v = 39 + -21. Is v a multiple of 9?
True
Let m(i) = 1 + 10*i + 3*i**2 - 7*i - 2. Does 9 divide m(3)?
False
Let c = 111 - 63. Is c a multiple of 14?
False
Suppose 0 = -2*m - 3*c - 4, 4*m - 3*c = -m + 11. Is 13 a factor of (m - 0)*(37 - -2)?
True
Let x(d) = d**3 + 2*d**2 + 17. Is x(0) a multiple of 5?
False
Let m = 266 + -158. Is m a multiple of 12?
True
Suppose -5*m - 1 - 2 = y, 5*m - y + 7 = 0. Is 11 a factor of -22*m*(-3 - -4)?
True
Let m(d) be the third derivative of d**5/30 + d**4/24 - d**2. Is m(3) a multiple of 10?
False
Does 29 divide -4*-14*2 + 1?
False
Suppose -5*h - 6*h + 462 = 0. Does 10 divide h?
False
Let t(b) = -3*b**3 - 2*b**2 + 3*b + 2. Suppose -5*f + 6 = 1. Let m be 1/(((-3)/6)/f). Is t(m) a multiple of 12?
True
Suppose 0*q = -4*q + 120. Is 8 a factor of q?
False
Let c(z) be the third derivative of -z**5/60 - 3*z**4/8 - 2*z**3/3 + 9*z**2. Suppose -11 = 4*d + 13. Is 7 a factor of c(d)?
True
Suppose -2*q + q + 10 = 0. Let f be 114/q + 6/(-15). Suppose 3*z - 4*m - f = 0, 3*z + 4*m - 41 - 2 = 0. Does 7 divide z?
False
Suppose -u + 2 = -b + 25, 4*b = 2*u + 44. Does 22 divide (-129)/u*-2*-8?
False
Let c(n) = 8*n - 1. Suppose 0 = -3*s - 0*s + 9. Does 13 divide c(s)?
False
Suppose -3*q + q = 0. Let x be q + 2 + -1 + 1. Suppose x*z - 48 = 16. Is 15 a factor of z?
False
Let d(p) = -12*p**2 - 9*p - 9. Let h(y) = 8*y**2 + 6*y + 6. Let x(i) = 5*d(i) + 8*h(i). Let c be x(-2). Suppose -c = -5*n + 122. Is n a multiple of 13?
False
Let s = -50 + 107. Is s a multiple of 27?
False
Let t(i) = i**3 - 7*i**2 + 7*i - 1. Let v be t(6). Suppose -5*a + 3*r - 31 = 0, -4*r = -v*a + a - 28. Let d(b) = -b + 6. Does 11 divide d(a)?
True
Let t = 8 - -5. Let u = -1 + t. Is u a multiple of 6?
True
Let j = 79 + -43. Does 18 divide j?
True
Let p(x) = x**2 + 12*x - 11. Let y be p(-13). Is 24 a factor of (-1 + -15)/(y/(-9))?
True
Let c be 1 + -2 + (3 - 1). Let r be (c - -1*3) + -2. Does 5 divide (-10)/(2/(-2)*r)?
True
Let x(b) be the third derivative of b**7/630 + b**5/120 + b**4/8 + 3*b**2. Let q(p) be the second derivative of x(p). Is q(-1) a multiple of 5?
True
Is 3/(-1 + 2) - -6 a multiple of 9?
True
Let y(c) = 2*c**3 - 7*c**2 + 6*c - 4. Let x(f) be the first derivative of -3*f**4/4 + f + 1. Let i be x(-1). Does 13 divide y(i)?
False
Suppose 111 + 497 = 4*q. Is 38 a factor of q?
True
Let k be -1*(0 + -1) - -2. Suppose -k*x = x + 60. Is 1 - (-5)/(x/(-54)) a multiple of 10?
False
Suppose -294 = -13*h + 6*h. Is h a multiple of 6?
True
Let c = 5 + 0. Suppose 0 = x - m - 20, -c*m = -m + 20. Is x a multiple of 5?
True
Let l be (-12)/(-30) - (-684)/15. Suppose -46 = -2*o + l. Is o a multiple of 23?
True
Is (0 - -1) + 65 + 9 a multiple of 15?
True
Is 6 a factor of (-2)/(-4) + 47/2?
True
Let i(c) = -c**2 - c - 6. Let u(o) = o**2 + 9*o + 8. Let q be u(-8). Let p be i(q). Is 8 a factor of ((-3)/p)/(3/150)?
False
Let l be (-1)/(-4) + (-33)/4. Is ((-124)/8)/(2/l) a multiple of 20?
False
Let a(q) = 3*q - 7*q + q. Is 6 a factor of a(-4)?
True
Let u(q) be the third derivative of -11*q**4/12 - 5*q**2. Is 6 a factor of u(-1)?
False
Let m(t) = 27*t - 4. Is m(3) a multiple of 11?
True
Suppose 6*f + 192 = 1344. Is f a multiple of 48?
True
Suppose 4*r + 102 = r. Suppose -420 + 160 = -4*w. Let b = r + w. Is b a multiple of 22?
False
Does 11 divide 4 - 4 - (-25 - -3)?
True
Let v(k) = -5*k - 10. Let i be v(-11). Suppose -2*o - o = -i. Is o a multiple of 9?
False
Suppose -4*h - 31 = 2*k - 127, 92 = 2*k + 5*h. Is k a multiple of 28?
True
Let d = -37 - -15. Suppose -420 = -9*i + 2*i. Let j = d + i. Is j a multiple of 13?
False
Is 7 - (-372)/(-52) - (-1460)/26 a multiple of 7?
True
Let s = -4 - -10. Let w be ((-6)/9)/((-1)/s). Suppose 114 = -q + w*q. Does 19 divide q?
True
Suppose u + 16 = 5*u. Let l(i) = -8*i - 3. Let h be l(-8). Suppose 0 = u*x - h - 67. Is 12 a factor of x?
False
Let x be 6*-3*(-12)/27. Let y = x - -1. Suppose -92 = -3*h - 5*z + y, -4*z - 119 = -3*h. Does 17 divide h?
False
Let o(f) = -14*f + 11. Let d(a) be the second derivative of -7*a**3/6 + 3*a**2 + 2*a. Let b(n) = 5*d(n) - 2*o(n). Is b(-8) a multiple of 23?
False
Let g(a) = -19*a - 8. Is 7 a factor of g(-3)?
True
Let n be (0 - -1)/((-11)/(-253)). Suppose -2*o = -n - 13. Does 18 divide o?
True
Suppose 4 = 2*l - 178. Is l a multiple of 7?
True
Suppose 3*v + 3*k = 24, v + 4*k = -0*v + 20. Is v even?
True
Does 11 divide (0 - -54) + (-4)/(-4)?
True
Let r be 3/(-9) + (-33)/9. Let j(g) = -g**2 - 5*g - 4. Let p be j(r). Suppose 4*w = -p*w + 56. Does 7 divide w?
True
Let c = 3 + -3. Suppose c*t = 5*t - 65. Is 10 a factor of t?
False
Let h(y) = -3*y + 5*y - 4*y**3 - y. Let a be h(-1). Is 20 a factor of 1 + (a + 17 - 1)?
True
Does 27 divide 0 - (-2 - -1) - -53?
True
Suppose 4*h - 75 = 613. Is 19 a factor of h?
False
Let l be ((-3)/2)/(1/(-12)). Let s be (1/3)/(2/l). Suppose -5*d = -n - 1 - s, d - 68 = -3*n. Is n a multiple of 12?
False
Suppose 5*s + 369 + 141 = 0. Let v be (-2)/(-9) - s/27. Suppose -2 = -3*l - 2*u, 5 = -v*l - 5*u - 4. Does 4 divide l?
True
Suppose 2*t = -13 - 5. Let q be (5 - -1)/(t/(-42)). Let r = 46 - q. Does 9 divide r?
True
Suppose -4*m + m + 12 = 0. Let a = m + 1. Does 2 divide a?
False
Suppose -m = -x + 38, 5*x + 5*m = 6*x - 46. Is x a multiple of 18?
True
Let y = -11 - -20. Let s = 2 + y. Does 11 divide s?
True
Suppose 0 = 4*z + 2*w, 5*w + 6 + 5 = z. Suppose -4*m = -2*r - 20, r - 17 = -5*m + z. Suppose 0 = 2*k - 6, -q = -m*q + 3*k. Is q a multiple of 2?
Fal