ose 0 = -u, -4*z - 96 = 3*u - 244. Suppose -4*t = m - z - 119, 2*t = 5*m + 56. Is t a multiple of 10?
False
Let d = 8 - 13. Let c(u) = -2*u + 2. Let z be c(-3). Let h = z + d. Is 2 a factor of h?
False
Let k(g) = -g**2 + 9*g - 9. Let s be k(10). Let o = s + 10. Let q = o + 20. Is 4 a factor of q?
False
Let w be -321*((-6)/(-9))/1. Is 9 a factor of 7/28 - w/8?
True
Suppose -h + 5*h - 60 = 0. Let k(b) = 0 - 19*b + 4*b - h*b - 3. Is 19 a factor of k(-2)?
True
Let p = -10 + 22. Let h = -8 + p. Suppose h*k + 30 = 6*k. Is 5 a factor of k?
True
Suppose 0 = s - 8*s + 2093. Is 23 a factor of s?
True
Let j(i) = -i**3 - 21*i**2 - 3*i - 30. Does 22 divide j(-21)?
False
Let t = 11 - 8. Suppose -28 = -b - 2*q, b = t*b + q - 62. Is 8 a factor of b?
True
Suppose 0 = 3*q + w - 67, -5*q + 4*w + 2 = -138. Suppose 4 - q = -2*d. Is -15*(d/6 - 2) even?
False
Let w(q) = -q**3 + 7*q**2 + q + 5. Is 6 a factor of w(7)?
True
Is 102/(6*(-2)/(-24)) a multiple of 20?
False
Suppose -3*k + 27 + 18 = 0. Suppose -5*q + 24 = 2*f, -2*f + 3*q = -71 + k. Is 11 a factor of f?
True
Let s(n) = 82*n**2 + n. Does 9 divide s(-1)?
True
Let z be 6/4 + (-21)/(-6). Suppose 0 - 5 = -z*i. Is 4 a factor of 9/(i*6/4)?
False
Suppose f = 4*y - 0*f - 148, -y + 24 = 3*f. Does 6 divide y?
True
Let o(s) = -s**3 - 8*s**2 - 3*s - 13. Does 2 divide o(-8)?
False
Suppose 0*p + 3*b - 189 = -4*p, 5*p - 239 = -b. Is 13 a factor of p?
False
Does 30 divide (4/3)/((-18)/27) - -182?
True
Suppose 0 = 4*m + 3 - 15. Is m a multiple of 3?
True
Let x(m) be the second derivative of -m**4/12 + m**3/6 + 2*m**2 + 3*m. Let w be x(3). Let u(r) = -2*r**3 + 2*r**2 + 2. Does 13 divide u(w)?
True
Let t = -37 + -35. Let h = -14 - t. Is 15 a factor of h?
False
Let g(j) = -5 + 0*j - 1 - j. Let f be g(-7). Does 2 divide (-1 - f) + (-35)/(-5)?
False
Let v(z) be the first derivative of z**3/3 + z**2 + 2. Let c be v(6). Suppose -g + 2 + 2 = -3*n, -n = -5*g + c. Does 4 divide g?
False
Let n(f) be the third derivative of 1/3*f**3 + 1/60*f**5 + 0*f + 4*f**2 + 1/24*f**4 + 0. Is n(7) a multiple of 29?
True
Suppose -f = 4*k + f + 238, -f = -2*k - 117. Let c = -42 - k. Suppose -49 = -3*w + c. Is 10 a factor of w?
False
Suppose 0 = -i, -r - 3 = -2*i + 4. Let l(x) = x**3 + 9*x**2 + 8*x - 8. Is l(r) a multiple of 17?
True
Suppose -3*t + d = -111, -4*d - 70 = -2*t - 6. Does 10 divide t?
False
Let p(j) = -20*j - 2. Let q(l) = 13*l + 1. Let u(c) = -5*p(c) - 8*q(c). Let x be u(3). Is 15 a factor of (1 + 5)/((-4)/x)?
True
Let x = 37 - 19. Suppose r + 4*a - 88 = -4*r, -r - a + x = 0. Is 7 a factor of r?
False
Suppose -3*c + 3*t + 2*t - 24 = 0, 2*t - 6 = 0. Let b(d) = 4*d**2 + 2*d - 1. Is 28 a factor of b(c)?
False
Suppose 2*x - 194 = 4*p, -189 = -2*x + 2*p - 3*p. Is x a multiple of 11?
False
Does 12 divide 12/42 - 215/(-7)?
False
Let j(y) = y**2 + 7*y. Let p be j(-3). Does 11 divide p/(-9)*132/8?
True
Suppose 0 = 3*j - 2*j. Let m(u) be the first derivative of -u**2/2 + 4*u + 18. Is 2 a factor of m(j)?
True
Let r = 34 + -22. Let o(w) = 26*w + 3. Let x be o(4). Does 15 divide x/7 - r/42?
True
Suppose 3*p - 34 = 5*g, 4*p - 7*p - 6 = 3*g. Suppose -p*k - k + 204 = 0. Is k a multiple of 17?
True
Let a(y) = -y**3 + 6*y**2 + 9*y - 10. Let m be a(7). Suppose -3*v + 3*k + m = 16, 2*v + k + 14 = 0. Let p(w) = -w + 6. Is 6 a factor of p(v)?
True
Is 22 a factor of (1 + (-41)/3)*(0 - 6)?
False
Let l(q) = -25*q - 4. Let m = 6 + -8. Let p(h) = -h**3 - 3*h**2 - 2*h - 3. Let j be p(m). Does 24 divide l(j)?
False
Let h(p) be the second derivative of p**3/6 - p**2 - 3*p. Let q be h(6). Suppose 0 = -q*y + 13 + 23. Does 9 divide y?
True
Let r = -1 + 1. Suppose 4*h - 6 = 3*c, 5*c - h - 3*h + 2 = 0. Suppose c*f + 3*f - 160 = r. Does 16 divide f?
True
Let l(p) = 10*p - 5. Let b be l(10). Suppose -4*a + b = a. Is a a multiple of 7?
False
Let y(u) = u**2 - 9*u - 2. Let b be y(11). Let c = b - 8. Is 6 a factor of c?
True
Suppose 0 = -8*o - 0*o + 232. Is 5 a factor of o?
False
Suppose -4*x + 0*x = -980. Let m = x + -126. Suppose 5*v = 2*f + m, -33 = v - 2*v + 5*f. Is v a multiple of 12?
False
Let m(b) = b - 1. Let c be m(-7). Let l be (-36)/c*(0 - 2). Let f = 15 - l. Is f a multiple of 15?
False
Let y(w) = w**3 - 6*w**2 - 7*w. Let s be y(7). Suppose -3*d + 0 - 63 = s. Is 17 a factor of d/(2/(-1) - -1)?
False
Suppose -152 + 28 = -4*i. Is 6 a factor of i?
False
Suppose 0 = -j + 5*y - 21, 0*j - 2*j - 7 = -3*y. Is 2 a factor of j?
True
Let p be 28 - (0 - 1)*-2. Suppose -u + p = -26. Does 21 divide u?
False
Let s = -6 + 9. Suppose -s*y + 245 = 2*y. Is 11 a factor of y?
False
Let g = 13 - 23. Let i(m) = -m**2 - 15*m - 1. Is i(g) a multiple of 10?
False
Let w(h) = -h**3 - 5*h**2 + h - 3. Let f be (1/(-2))/((-2)/(-24)). Does 9 divide w(f)?
True
Suppose -3*a - a = -12. Suppose -g - 4 + 0 = a*y, 6 = -2*g - 5*y. Suppose -g*l + l + 9 = 0. Is 9 a factor of l?
True
Let c be (-96)/(-30) - (-2)/(-10). Suppose 5*n = -3*i + 101, 5*i = -0*i - c*n + 147. Let q = i - -24. Is q a multiple of 20?
False
Let m(h) = 55*h**2. Is m(1) a multiple of 17?
False
Suppose 3*d - 10 = -2*d. Suppose -5*g + 2*g - d*a - 5 = 0, 0 = -g + 4*a + 3. Does 7 divide g - -15 - (2 - 2)?
True
Is 16 + (2 + -2)/3 a multiple of 16?
True
Let v(w) = w**3 + 8*w**2 - 13*w - 6. Let x(f) = -f**2 + f + 3. Let s be x(4). Is v(s) a multiple of 8?
False
Let i(x) = 2*x**2 - 2*x - 3. Let y be i(-2). Let v = 89 + -57. Suppose d = v - y. Is d a multiple of 8?
False
Let j = -24 + 0. Let x = j - -57. Does 13 divide x?
False
Let a(l) be the first derivative of l**3/3 + 3*l**2 + 3*l + 4. Does 10 divide a(-7)?
True
Let y(r) = r**2 - 7*r + 4. Let w be y(7). Suppose 2*i - 2*o - 26 = 0, 5*i - w*o = 19 + 43. Is 5 a factor of i?
True
Is (-40)/(-140) + 4/((-84)/(-225)) a multiple of 5?
False
Let q(c) = 4*c**2 + 10*c + 1. Is 17 a factor of q(-5)?
True
Let z = -21 - -22. Let l = 11 - 7. Does 3 divide (z - -4) + 4/l?
True
Let m(v) = -v**3 - 4*v**2 + 3*v + 1. Let b be m(-6). Suppose -2*u = -b - 53. Suppose -2*w - w = -u. Does 18 divide w?
True
Let n(a) = a**2 + 6*a + 6. Let y be n(-5). Let t be 0*(y - 0/(-2)). Is (1 + 29)*(1 - t) a multiple of 15?
True
Let i(f) be the second derivative of 19*f**6/360 - f**4/24 + f**3/3 + 2*f. Let n(r) be the second derivative of i(r). Is 18 a factor of n(1)?
True
Let c = 2 + 1. Suppose 2*s + 4*h = -c*s + 92, 4*s + 2*h = 76. Let v = -12 + s. Is 8 a factor of v?
True
Suppose 47*j - 49*j + 90 = 0. Does 14 divide j?
False
Suppose 5*z + 12 = 4*s, -3*z + 5*z = 5*s - 15. Suppose 2*a = -x + a + 40, 0 = 2*x - s*a - 100. Is x a multiple of 19?
False
Suppose k - 60 = 47. Does 9 divide k?
False
Let p be 1*3 - 30/10. Let c(g) = g**2 - 8*g + 10. Let h be c(7). Let a = h + p. Is a a multiple of 3?
True
Suppose 4*g = 5*g + 6. Is (-4)/g + 39/9 even?
False
Let s(i) = -i**3 + 11*i**2 - 5*i + 4. Let w be s(10). Is (4/(-6))/((-3)/w) a multiple of 5?
False
Let l(k) = k**3 - 3*k**2 - 3*k + 3. Let y be l(3). Let p be y/5*(-5)/2. Suppose 2 - 5 = -p*j, -j = i - 15. Is i a multiple of 14?
True
Suppose 5*a + 50 + 8 = r, -5*a + 154 = 3*r. Suppose j - r = -10. Is 16 a factor of j?
False
Suppose -525 = -6*o + o. Is o a multiple of 21?
True
Let g(l) = l + 13. Let o be -3 - (-12 - (-2 - -2)). Does 22 divide g(o)?
True
Suppose 0 = 2*j - 5*g - 200, -j - g + 114 = 14. Does 10 divide j?
True
Let g = 3 - 8. Let z = g + 23. Is z a multiple of 18?
True
Let u(k) be the third derivative of k**4/6 - 2*k**3/3 + 2*k**2. Let j be u(4). Does 15 divide (5 + -1)/(1/j)?
False
Let j be (-2 - (-1 + 0)) + 5. Let h be j - -1*(2 + -1). Is 13 a factor of 93/h + 6/15?
False
Let i be ((-40)/6 - -6)/(4/(-174)). Let q(j) = -13*j**2 - j. Let h be q(-1). Let u = i + h. Does 11 divide u?
False
Let x(w) = -3*w - 3 + 4*w + 5. Suppose -4*u + u = -6. Is x(u) a multiple of 4?
True
Let s be (12/8)/(1/26). Suppose 2*l + v - 72 = -5, 5*v = l - s. Does 17 divide l?
True
Let g(k) = 7*k - 9. Let p be g(7). Let o = -16 + p. Is o a multiple of 24?
True
Suppose 3*l - 150 = l. Suppose -5*n + n - 5*f + l = 0, 5*n + 5*f = 95. Is n a multiple of 20?
True
Suppose -2*i + 2 + 26 = 0. Does 4 divide i?
False
Suppose -4*b + 3*b = -5. Suppose -5*a + 5*w + 155 = -0*w, b*a = -5*w + 165. Let h = -14 + a. Does 6 divide h?
True
Let t = -20 - -25. Suppose 5*g = 3*c - 36 - 53, -t*c + 180 = -2*g. Does 11 divide c?