 x + 125. Let s = 78 - o. Is s a multiple of 19?
True
Let k(g) = -g**3 - g**2 + 2*g + 3. Let u be k(-2). Suppose 11 = u*w - 4*x, 6*w + 4*x = 2*w + 52. Does 6 divide w?
False
Let w(h) = -3 - 4 - 1 - h. Let p be w(-9). Is 7 a factor of -2 + (p - 0) + 15?
True
Let y(b) = -b**3 - 2*b**2 - 1. Suppose -5*c + 9 = -3*o + 6*o, 3 = o + 2*c. Suppose -o*h - 2 = 7. Is y(h) a multiple of 4?
True
Let u(b) = b + 1. Let r be u(4). Let y be 28/20 + (-2)/r. Is ((-41)/1)/(y - 2) a multiple of 14?
False
Let p be (1 + 0 - 2) + 4. Let c(k) = -k**2 + 4*k + 2. Let o be c(4). Suppose -7 = -p*j - 1, o*g + 3*j = 38. Is g a multiple of 11?
False
Let k(m) = 4*m - 1. Let t be k(1). Let q(w) = 22*w + 5*w - t + 2. Is 13 a factor of q(1)?
True
Let z = -30 + 63. Let x be (-2)/(-1)*z/2. Is 2 - (3 - x/1) a multiple of 16?
True
Does 30 divide 19/(-4 + 55/10)*21?
False
Let h(k) = k - 8. Let y be h(0). Let z be (-4)/(-3)*(-3)/(-2). Is 3 a factor of (z - 4)/(2/y)?
False
Let j(l) be the second derivative of -l**4/12 - 11*l**3/6 - 2*l**2 - l. Is j(-5) a multiple of 13?
True
Let r(o) = -22*o + 10. Is 12 a factor of r(-5)?
True
Suppose 3*p - 3*j = p + 100, 0 = -p + 4*j + 60. Is p a multiple of 19?
False
Suppose -2*m + 2 + 240 = 0. Does 11 divide m?
True
Let x = 317 - 161. Is x a multiple of 39?
True
Let u(q) = 2 - 4*q + 3*q**2 - 3 - 3. Is u(4) a multiple of 14?
True
Let n = -30 - -96. Is 22 a factor of n?
True
Suppose 0 = -4*z + 4, -3*z + 0*z = r - 39. Is r a multiple of 9?
True
Let t be (-39)/18 - 1/(-6). Let c be (4/2 - t)/1. Suppose -3*q - c*v = -44, q - 5*v + 4 = -13. Does 4 divide q?
True
Suppose 3*o = 29 + 1. Does 4 divide o?
False
Let p(t) = 3*t + 6. Let l be p(-7). Let o = l + 22. Does 7 divide o?
True
Let n be ((-18)/12)/(3/(-8)). Suppose 21 = 5*z - 2*l - l, 0 = 3*z - n*l - 17. Suppose 5*v = z*v + 84. Does 17 divide v?
False
Let y(r) = r**3 + r**2 - r + 36. Is y(0) a multiple of 9?
True
Let x be (2/(-6))/((-8)/912). Let v = x - 25. Let m = 37 - v. Does 10 divide m?
False
Suppose 11*p - 8 = 9*p. Suppose p*q = k + 10, 0 = -3*k + 5*q - 1 + 6. Is k a multiple of 5?
True
Suppose -3*s = -5*b + 1211, -b + 0*s + 245 = -2*s. Does 32 divide b?
False
Let o(i) be the third derivative of -i**6/120 + i**5/60 + i**4/12 + i**3/6 + 2*i**2. Let d be o(2). Suppose 4*q - 33 + d = 0. Is q a multiple of 4?
True
Suppose -i = 3*f - 16, 5*f + 64 = 4*i + f. Suppose 0 = -3*t - t + i. Suppose 0 = -y + o + 55, 2*y - 2*o = t*y - 118. Is 23 a factor of y?
False
Suppose -244 - 346 = -5*u. Let q be -1 + 4/6 + 112/21. Suppose 2*d = 3*d + q, 3*x - u = 2*d. Is x a multiple of 17?
False
Suppose 9*m - 135 - 540 = 0. Is m a multiple of 15?
True
Let o(i) = i**3 + 8*i**2 + 5*i - 9. Let m be o(-7). Suppose -m*h + 3*c = -0*h - 47, h + 13 = -5*c. Suppose 2*f = h*f - 60. Does 10 divide f?
False
Let i(u) = -2*u - 3. Let x be i(-9). Suppose 0 = -3*t + x - 0. Suppose -t = -2*l + 7. Is l a multiple of 3?
True
Let s(d) be the first derivative of 13*d**2 - 3. Does 13 divide s(1)?
True
Let r be 6/(-4) - (-1)/(-2). Let k = r - -7. Let f(g) = g**2 - 4*g. Is f(k) a multiple of 2?
False
Does 13 divide 988/(-57)*3*-1?
True
Suppose -4*c + 218 = -158. Does 48 divide c?
False
Let c(s) = s**3 + s**2 - s + 2. Let y be c(0). Let l(o) = 0*o**2 - 1 - o**y + 1 - 7*o + 2. Is l(-6) a multiple of 8?
True
Suppose 14 = 4*p - 38. Does 2 divide p?
False
Suppose -4*o = -2*o + 12. Let s(w) = -w**2 - 8*w + 2. Is 7 a factor of s(o)?
True
Let q(f) = f**3 - f**2 - 1. Let o(w) = 8*w**3 - w**2 - 2*w - 5. Let t(v) = -o(v) + 3*q(v). Is t(-2) a multiple of 10?
True
Let r be 3 - (2 + (0 - 3)). Suppose f + 3*c + 2 = 0, -r*f + 32 = -3*c + 5*c. Suppose 0*i + 65 = 5*a - 3*i, 3*a + 4*i - f = 0. Is 10 a factor of a?
True
Suppose g - 10 = 4*q, 5*q = 3*g - 9 - 7. Does 21 divide g*1/(-2) + 22?
True
Suppose 5*l = -5*a + 18 + 182, -5*l + 204 = a. Let g = l + -17. Is g a multiple of 8?
True
Suppose 34*a = 30*a + 1132. Does 34 divide a?
False
Suppose 0 = -0*x + 2*x - 24. Is x a multiple of 4?
True
Let m = -1 + 19. Does 7 divide m?
False
Let z = 70 + -35. Let s = 71 - z. Is 12 a factor of s?
True
Suppose 15 = a - 3*n, -33 = -a - n - 2*n. Let q = a - 12. Is 14 a factor of 4/q - (-83)/3?
True
Suppose 5*u - 5 = 0, -u + 24 = 5*h + 3*u. Suppose -143 = -h*l - 55. Is 21 a factor of l?
False
Suppose -3*t + 4*v + 66 = -55, -2*v + 193 = 5*t. Is t a multiple of 16?
False
Let x(z) = -12*z + 7. Let g(q) = -q. Let m(h) = -6*g(h) + x(h). Let w be -2*(0 - -4) + 2. Is 16 a factor of m(w)?
False
Let a = 4 + -4. Suppose 0 = -a*j - 3*j. Let x = j - -12. Is x a multiple of 12?
True
Let s(c) = 26*c + 3. Let v be s(6). Suppose -76 = -5*j + v. Is j a multiple of 13?
False
Suppose 3*q - 2*c - 968 = 0, -3*c - 8 = -7*c. Is q a multiple of 11?
False
Let c = 65 - 55. Is c even?
True
Let w(x) = x**2 - 4*x - 3. Let u(q) = -2*q. Suppose 0 = 5*f - d - 14, -3*f + 6 = 2*f + d. Let y be u(f). Is 12 a factor of w(y)?
False
Let u = 10 + -1. Let g = u - 0. Does 3 divide g?
True
Let a = -14 - -16. Suppose a*h - 33 = 27. Is h a multiple of 10?
True
Suppose 7*x - 420 = 2*x + 2*h, 0 = 3*x - 5*h - 271. Is 35 a factor of x?
False
Let l be (-30)/(-5)*4/3. Let j = l - 4. Suppose -2*o = 4*b - j, 5*o - 5 = -5*b + 25. Does 10 divide o?
True
Suppose 0 = 3*o - 5*a + 54, -a = 5*o - 5*a + 77. Let t = o + 6. Is (12/(-7))/(1/t) a multiple of 12?
True
Let k(g) = -3*g**2 - 4. Let m(a) = 13*a**2 - a + 16. Let o(s) = -9*k(s) - 2*m(s). Let z(f) be the first derivative of o(f). Is 4 a factor of z(3)?
True
Let b = -9 + 24. Suppose -3*x + b = 3*m - x, 4*x = 0. Suppose m*w + 4*l - l = 87, -2 = 2*l. Does 9 divide w?
True
Let i(m) = 21*m + 17. Does 13 divide i(4)?
False
Let n = 13 - -7. Does 6 divide n?
False
Suppose -2*f - 7 = -83. Is 13 a factor of f?
False
Suppose -117 + 21 = -4*h. Is h a multiple of 5?
False
Let l = -30 - 16. Let w be 3/(-2)*1*l. Does 14 divide w/2 + (-1)/2?
False
Suppose 0 = 3*c, -2*m = -2*c - 0*c - 4. Is m even?
True
Let n(x) = -x**3 - 9*x**2 + 9*x - 5. Suppose 0 = -2*k - 2*q - 14, q = 5*k + 5 + 48. Is 5 a factor of n(k)?
True
Let z be -3 - (0 + (-2 - 1)). Suppose -3*i - 5*w + 55 + 112 = z, -5*w = -5. Is 18 a factor of i?
True
Does 16 divide ((-482)/(-10))/(14/70)?
False
Let j(u) = -u**3 - 11*u**2 + 8*u - 1. Suppose -4*m = -19 + 67. Does 13 divide j(m)?
False
Let p(r) = -2*r + 0*r + 3*r + 0*r. Let k be p(-3). Is 6 a factor of -9*k/(-3)*-1?
False
Let n be 25 + 1/2*2. Suppose -3*f - 40 = f. Let b = f + n. Is b a multiple of 8?
True
Suppose 0 = x - 5. Suppose -4*d = -3*b + 400, -5*b - x*d + 335 + 390 = 0. Suppose 2*n = -3*n + b. Does 13 divide n?
False
Let a(w) = w**2 - 6*w - 5. Let k be a(6). Does 9 divide (-36)/(-14)*(2 - k)?
True
Let l(w) be the first derivative of -w**2/2 + 20*w + 2. Is l(11) a multiple of 3?
True
Let a(s) = -s**2 - 8*s - 1. Let w be a(-6). Let f = -3 + w. Is f a multiple of 8?
True
Suppose 5*d + 0*q = 2*q + 319, 0 = 2*d - 5*q - 115. Is d a multiple of 2?
False
Suppose 0*x + x = 97. Suppose o - 46 = -j, x = 5*j - 2*o - 112. Suppose 3*s - 5*u - j = 0, -3*s = 7*u - 3*u + 2. Does 6 divide s?
True
Suppose 2*k + 2*c + 1 = -3, 5*c = -25. Let y(r) = 1 + 6*r**3 - 2*r**k + 2*r + 0*r - 2. Is y(1) a multiple of 3?
False
Suppose 5*j = -4*x - 0*x - 137, -3*x + 3*j = 96. Let g = -11 - x. Does 11 divide g?
True
Let v(s) = -2*s - 4. Let h be (-4 - -13)*2/6. Let i(n) = -6*n - 11. Let x(j) = h*i(j) - 8*v(j). Does 4 divide x(-4)?
False
Let l = -16 - -19. Suppose 4*k = l*t - 46 - 43, k + 51 = 2*t. Does 6 divide t?
False
Suppose 5*z = -34 + 164. Suppose -2*p + 12 = -2*i, -5*i + z = -p + 3*p. Does 5 divide p?
False
Suppose -5*m = 3*y - 1, 5*m = 3*y - 4*y - 3. Suppose -y*i + 42 = i. Is i a multiple of 14?
True
Is 37 a factor of (-2 - -1)/(((-7)/1)/259)?
True
Suppose -4*z + 10 = -10. Suppose -z*j = 4*r - 66, 3*j + 25 = r - 0*j. Is 19 a factor of r?
True
Suppose -2*x = x - 81. Is 8 a factor of x?
False
Let l = 24 + -10. Let d be 2/7 + 514/l. Suppose -2*j - 3 = -d. Is 10 a factor of j?
False
Let y(i) = 13*i**3 + 4*i + 3. Let c be y(-2). Is c/(-4) - 9/36 a multiple of 24?
False
Suppose s - 25 = -5*c, -3*s + 2*c + 5 = -2. Let j = 6 - s. Suppose -10 = -2*w + n + j, w = -n - 2. Is w even?
False
Let k = 1 - 9. Let t = -1 + k. Let f(m) = m + 22. Does 8 divide f(t)?
False
Suppose 0 = 2*r - 5*r + 15. Suppose 4*i = 3*w - 30, 5*w -