 Let p = n - -28. Is p a multiple of 9?
False
Suppose -5*k - 4*t + 348 = 0, 4*k = 4*t + 151 + 113. Suppose -4*i - m = -k, i - 5*i + 76 = -m. Is i a multiple of 18?
True
Let g = -5 - -5. Let p be 1 - g/(-2 - -3). Is 11 a factor of ((-104)/(-12))/(p/3)?
False
Suppose 0 = -4*r, 2*o + 2*r + 0 = 14. Let j(x) = x**2 - 6*x + 3. Is 5 a factor of j(o)?
True
Suppose 3*w + 5 = -5*n - 50, 4*n + 30 = -w. Let v(z) = -z + 1. Let r(j) = -5*j + 5. Let l(c) = 2*r(c) - 9*v(c). Is l(w) a multiple of 11?
True
Suppose 0*s - 147 = -3*s. Is s a multiple of 10?
False
Let h(j) be the second derivative of j**4/12 + j**3/6 + 3*j**2/2 - 2*j. Is 12 a factor of h(-4)?
False
Let q = 5 + 5. Does 7 divide q?
False
Let g be (4/6)/((-2)/(-9)). Suppose -2*q - 5 = -g*q. Suppose q*c - c - 40 = 0. Does 3 divide c?
False
Suppose -3*u + 3*a = 2*a - 120, -5*a = 0. Is 20 a factor of u?
True
Let s(t) = t - 5. Let d be s(4). Let b = 8 - 2. Is 36*(9/b + d) a multiple of 12?
False
Let w(r) = r + 8. Is w(4) a multiple of 2?
True
Suppose 0*s = 2*s + 32. Let j = 11 + s. Let c(v) = v**2 + 4*v - 1. Is 4 a factor of c(j)?
True
Let n(x) = x + 36. Let o be n(0). Suppose 2*q - o = -4*l, 2*q - 2*l = 1 + 11. Let a = q + -3. Is 6 a factor of a?
False
Suppose 0*f = -5*f + 160. Let y be -13 + -3 + (-1)/(-1). Let a = y + f. Does 12 divide a?
False
Suppose -4*b + 8 = 5*v - 3*v, -v = 3*b - 6. Suppose 0 = -a + 4 - 0. Suppose -26 = -z - b*r, a*z = -z + r + 108. Does 11 divide z?
True
Let o(y) = y**3 + 2. Let x be o(0). Suppose -x*l = l - 126. Is 9 a factor of l?
False
Let q(m) = m**3 - m**2 - m. Let v(x) = -6*x**3 - x**2 + 3*x + 3. Let i(n) = -5*q(n) - v(n). Does 6 divide i(-5)?
True
Let f be (2/(-4))/((-3)/24). Suppose -f*x = -21 - 7. Is x a multiple of 3?
False
Let q(f) = f**3 + 2*f - 1. Let i be q(1). Let d = i + 2. Suppose 0 = 4*b + 2*l - 98, 2*l + 12 = -3*b + d*b. Is 11 a factor of b?
True
Let i = 35 + -65. Is 14 a factor of (-45)/i*56/6?
True
Let y(f) = -f + 5. Let g be y(6). Is 15 a factor of 85/5 + (g - 1)?
True
Let u(f) = -11*f + 7. Is 14 a factor of u(-3)?
False
Suppose -6*s + 15 = -s. Does 2 divide (s - (-4)/4) + -2?
True
Let b be ((-1)/(-2))/(2/(-12)). Let m be -4 - (b - (-3)/3). Does 7 divide 38/8*(-8)/m?
False
Let m(z) = 69*z - 17. Is m(6) a multiple of 34?
False
Let q(b) = b**2 + 5*b + 5. Let s be q(-4). Suppose 21 = 5*h + s. Suppose 0 = h*x + 5*j - 163, -j = 2*x - 2*j - 85. Is x a multiple of 17?
False
Suppose 0*l = 3*l - 54. Suppose -3*i + 6*i + 3*j = -36, -2*j + 36 = -4*i. Let w = l + i. Is 8 a factor of w?
True
Suppose -7*g + 3*g = -328. Is 7 a factor of g?
False
Suppose -5*p + 2*f = -32, -3*f - 19 = -3*p + 2. Suppose 0 = 2*m + m - p, -2*m + 199 = 5*t. Is t a multiple of 17?
False
Let n be (-2)/(-1*(-3)/(-21)). Let h = -6 + n. Is 7 a factor of h?
False
Suppose 0 = -9*v + 4*v + 10. Does 12 divide (v*1)/(8/124)?
False
Let j = 4 + 1. Suppose -2*r = -2*p - 24, 0 = -3*p - j - 1. Is r a multiple of 10?
True
Let q = 6 + -4. Is ((-7)/q)/(6/(-12)) a multiple of 7?
True
Suppose p + p = -4*b + 92, 2*b - 3*p = 62. Let u = b + -13. Does 4 divide u?
True
Suppose 9*f + 504 = 15*f. Is f a multiple of 7?
True
Suppose 10 = 4*u + 2. Suppose -u*r = -30 - 18. Suppose -4*q + 3*q = -r. Is q a multiple of 24?
True
Let x(v) = v - 1. Let n be x(3). Suppose -7 = -n*u + 25. Is 8 a factor of u?
True
Let m(j) = -3*j**3 - j**2 - j - 1. Let q(k) = k**3 + 8*k**2 + 6*k - 8. Let v be q(-7). Let z be m(v). Suppose -z*o + 52 = -0*o. Does 15 divide o?
False
Let y = 10 + -5. Let x be (2 - y)*200/(-12). Is ((-1)/2)/((-5)/x) a multiple of 2?
False
Let f = 135 + -85. Suppose -2*r - 63 = -5*z, 0 = -z + 5*z - 2*r - f. Let u = -7 + z. Is u a multiple of 3?
True
Let m(d) = -5*d**3 - 2*d**2 + 1. Let t be m(-1). Let k be (2/t)/((-3)/36). Is 17 a factor of 0 + (-102)/(3 + k)?
True
Suppose -g - 4*l - 2 = -17, 4*g + 3 = 5*l. Suppose g*p + 5*f = 57 + 64, 3*p - 4*f = 103. Is 11 a factor of p?
False
Let a(s) = 4*s - 6. Does 22 divide a(7)?
True
Let b be -7 - (1 - (4 + -1)). Let r = b + 28. Is r a multiple of 23?
True
Let a be 1/(-2) + (-77)/(-14). Suppose -a*y = -3*q + 45 + 31, 3*q - 4*y = 77. Is q a multiple of 9?
True
Let c = -22 + 18. Suppose -w - 5 = 2. Does 20 divide (-5)/(-2 + w/c)?
True
Suppose 139 = 3*v + t, -2*v + 5*t + 116 = t. Does 16 divide v?
True
Is 450/5 + -6 + 5 a multiple of 37?
False
Let h(s) = s**3 - 6*s**2 + 4*s + 2. Let y be h(5). Does 19 divide 16 - (y - -1 - 1)?
True
Suppose -13*z = -10*z - 66. Is z a multiple of 3?
False
Is 24 a factor of 8*(-7)/(112/(-132))?
False
Suppose 0 = 2*p + p. Suppose p = -o - o - 4. Is 15 a factor of 1 + (-60)/o - 1?
True
Suppose -4*x = 2*m - x + 3, 0 = -m - x - 1. Let a(j) = 39 + j + m*j - 2*j. Does 18 divide a(0)?
False
Let z(n) be the first derivative of n**2/2 - 3*n - 2. Is 2 a factor of z(8)?
False
Suppose -4*b = -2*z - 38 - 60, 0 = 5*b + 3*z - 139. Is b a multiple of 13?
True
Let o = 9 - -8. Suppose 4*w - l - 34 = 0, 3*l - 3 + o = w. Is 4 a factor of w?
True
Let i = 146 + -79. Let j = i - 37. Does 11 divide j?
False
Suppose 52 = k - m + 4*m, 4*k = -3*m + 235. Is 29 a factor of k?
False
Let c = -40 - -84. Does 44 divide c?
True
Let f(g) = -13 - 2*g - g**2 - 2*g + 0 - 12*g. Is f(-11) a multiple of 14?
True
Let d(u) = -u + 7. Let i be d(7). Let z(m) = 6*m**2 - 5*m + 19. Let n(j) = 7*j**2 - 6*j + 20. Let q(y) = -5*n(y) + 6*z(y). Does 7 divide q(i)?
True
Suppose -4*x + 5*r = -41, 2*r + 3 + 3 = -x. Suppose 5*i - x*i = 110. Is i a multiple of 25?
False
Let l(o) be the second derivative of 1/4*o**4 - 1/6*o**3 + 2*o + 0 + 0*o**2. Is 10 a factor of l(2)?
True
Let s = -13 - -43. Suppose -5*y - s = -3*y. Does 12 divide 60/(-9)*54/y?
True
Suppose 3*v - 5*v = -4. Let k = 30 + v. Is 16 a factor of k?
True
Suppose -5*h = -15, -12*h + 17 = k - 8*h. Let a be 1*-1*-232*1. Suppose 0 = -f + k*f - a. Is f a multiple of 22?
False
Suppose h - 344 = -3*y, 0 = -3*h + 2*y + 176 + 900. Is h a multiple of 16?
False
Let m(b) = 2*b**2 - 13*b + 5. Does 11 divide m(9)?
False
Suppose 5*k - 96 - 209 = 0. Is k a multiple of 8?
False
Let o(p) = -p**2 + 10*p. Let r = 2 + 2. Let b be 76/12 - r/(-6). Is o(b) a multiple of 18?
False
Suppose 3*q - 264 = 399. Does 29 divide q?
False
Suppose -v = -2*f, -2*v - v = -3*f + 6. Does 16 divide (-48)/((-2)/(-4) + f)?
True
Let p(x) = -x**3 + 7*x**2 + 11*x. Let m be p(8). Suppose 3*t - 90 + m = 0. Is t a multiple of 11?
True
Let j(f) = f + 6. Let b be j(-4). Let r be 1/((-5)/b)*5. Let z(s) = -10*s - 3. Is 13 a factor of z(r)?
False
Let r(x) = -x**2 + 26*x + 30. Is 11 a factor of r(25)?
True
Let s(t) = t + 12. Let g be s(-10). Suppose 5*i + 0*i = -20. Let v = g - i. Does 5 divide v?
False
Let n(p) = p**3 + 13*p**2 + 12*p - 9. Is n(-10) a multiple of 19?
True
Let g = -14 + 7. Let b = -9 - g. Let n = b - -6. Does 4 divide n?
True
Let g(i) = -i**2 - 11*i + 6. Suppose 2*w + 10 = w. Let h be g(w). Does 10 divide 12/(h/(-10) + 2)?
True
Let y = -2 - -15. Let l = 11 + y. Is l a multiple of 14?
False
Suppose 0*z - 3*z + 30 = -3*c, 0 = -2*z - 3*c + 10. Does 4 divide z?
True
Does 7 divide ((-1 - 0)/2)/(6/(-216))?
False
Let t(v) = v**2 - 11*v + 8. Let a be t(8). Let w(c) = 5*c**3 - 3*c**2 - c + 2. Let l be w(2). Let j = a + l. Is 5 a factor of j?
False
Let n(x) = -x**3 - 22*x**2 - 3*x - 24. Does 7 divide n(-22)?
True
Let k = 2 + -1. Let i = k - 4. Is 1 - 3/i*19 a multiple of 10?
True
Suppose -b = -3*r - 48, 2*r - 46 = -b + 7*r. Is b a multiple of 14?
False
Let b(f) = 14*f. Suppose 0*o = -4*o + 20. Is 14 a factor of b(o)?
True
Let d be (-34)/(-6) - (-6)/(-9). Suppose -5*v + 2 = 2*z - 3, -4*z - d*v + 5 = 0. Suppose z*l = -l + 23. Does 11 divide l?
False
Let n = -5 + 2. Let u(k) = k**3 + 2*k**2 + k. Let r be u(n). Is 3 a factor of ((-6)/r)/((-2)/(-24))?
True
Let w = 155 - 43. Is 28 a factor of w?
True
Suppose 0 = -5*w - 2*o + 25, 6*w - w + 5*o = 40. Does 16 divide w/(((-15)/(-32))/5)?
True
Let p(q) = -2*q + 4*q**2 + q**2 - 7 + q**2 - 5*q**2. Does 16 divide p(7)?
False
Suppose 0 = a - 4*a. Suppose a = -3*l + 4*l - 28. Does 11 divide l?
False
Is 25 a factor of 1 + (186/(-24))/((-1)/12)?
False
Let c(n) = -14*n - 2. Let f be c(2). Let m = f + 91. Is 29 a factor of m?
False
Let f = 3 + 8. Is 7 a factor of f?
False
Suppose 0 = -3*l + 2*p + 11, 3*l - 11 = -l - p. Let r(z) = -7*z + z**l + 6*z**2 + 16*z - 2*z