pose -x*d - 22 = -f*d. Is 11 a factor of d?
True
Suppose 14 + 70 = -4*p. Let d be (-2)/(-7) - 1842/p. Suppose -3*g + d = g. Is g a multiple of 8?
False
Let r = -35 - -42. Does 2 divide r?
False
Let h(t) = -t + 6. Is 2 a factor of h(0)?
True
Is (3 + 172)/5*3 a multiple of 35?
True
Let g(a) = -a**3 + a + 32. Let s be g(0). Suppose -5*j + 4*p = 8*p - s, 0 = 3*j - 4*p - 32. Is 3 a factor of j?
False
Let v be ((-15)/(-6))/(-5)*0. Suppose -3*x - 4*b + 16 = v, -2*x + 2*b + 22 = -x. Does 6 divide x?
True
Let q(l) = -l**2 + 7*l + 2. Let s(w) = -w**2 + 14*w - 17. Let c be s(12). Let n be q(c). Does 9 divide n/6 - (-505)/15?
False
Suppose -3*x + 4*f = -x - 14, -2*f = -3*x + 25. Let g(q) = -q + 13. Is 2 a factor of g(x)?
True
Let q(o) = 2*o**2 + 7*o. Is q(-10) a multiple of 10?
True
Let x = 6 + -2. Suppose 5*a - 1 + 3 = x*n, 1 = -a + n. Is a even?
True
Let q(l) = -l + 7. Let i be q(10). Let w be i*(2/3 + -1). Suppose r = -w + 5. Does 3 divide r?
False
Suppose -50 = -p - 4*u, -p + 2*u + 228 = 4*p. Suppose -3*v = -2*v + 4*x - p, 142 = 5*v - 2*x. Is v a multiple of 5?
True
Let m be 1334/8 + 2/8. Suppose 3*w - 142 = -4*v + w, 3*w = 4*v - m. Suppose -2*a - 2*t + v = 3*a, -5*a = -2*t - 42. Is 6 a factor of a?
False
Does 21 divide (-2)/(-9) - 2620/(-36)?
False
Let i be (-70)/(-10)*(0 + -1). Let l(x) = x**3 + 6*x**2 - 8*x + 1. Is l(i) a multiple of 3?
False
Is (-12)/(-66) + (-2568)/(-33) a multiple of 26?
True
Suppose -5*b + 58 = -17. Is 5 a factor of b?
True
Suppose 2*n + 3*p - 132 = 0, p + 232 = 3*n - 3*p. Is n a multiple of 18?
True
Suppose l = 4*q + 17 + 17, 4*l = 2*q + 108. Suppose 27 = -2*j - 9. Let c = j + l. Is 7 a factor of c?
False
Let r = -2 + 4. Let j = r - 4. Does 3 divide 44/8 - j/4?
True
Suppose -5*p - 5 = 0, 0 = 2*c - c - 4*p - 14. Is c a multiple of 10?
True
Let s be 3/(-9) + 1/3. Suppose s = 5*z - 4*z - 31. Does 10 divide z?
False
Suppose 1137 = 7*k - 858. Does 15 divide k?
True
Let u = 12 - 6. Suppose 31 = -4*x - z, -5*z + 2*z + u = x. Let i = x + 21. Is 12 a factor of i?
True
Let w(f) = -8*f - 26. Does 5 divide w(-12)?
True
Let z = 17 - 13. Is z a multiple of 2?
True
Let s be (-1)/(-1)*(60 + -3). Is 6*(-3 + s/9) a multiple of 10?
True
Let i(d) = 2*d + 0 - 2*d - 4 - 2*d. Is i(-8) a multiple of 10?
False
Let r = -4 + 13. Let w(y) = -y**2 + 10*y + 5. Is w(r) a multiple of 14?
True
Suppose -2*p - 2 + 6 = 0. Suppose 17 = -p*z - 3. Is 7 a factor of (-53)/(-5) - 4/z?
False
Let d(c) = -c**2 - c - 1. Let p(h) = -h**3 + 11*h**2 + 5*h + 3. Let l(x) = -5*d(x) - p(x). Let g be l(6). Is 39/(2 + g/(-4)) a multiple of 12?
False
Let b = 5 - 1. Suppose z - b*z = -126. Does 14 divide z?
True
Let v(o) = o**3 + 18*o**2 + 19*o + 13. Is v(-16) a multiple of 38?
False
Suppose 32*f - 34*f = -440. Is f a multiple of 20?
True
Let b be ((-6)/4)/((-6)/12). Suppose 2*n - 1 = n - 5*y, 4*y + 22 = b*n. Is n a multiple of 2?
True
Let d(x) = -4*x - x + 4*x + 4 - 3. Let l(s) = -s**2 - 12*s + 1. Let q(w) = -3*d(w) + l(w). Is q(-7) a multiple of 4?
True
Let o(r) = 48*r**3 + r**2 - 3*r + 2. Is 16 a factor of o(1)?
True
Let t = 2 + 100. Suppose -4*a + 5*f + 85 = 0, -6*f + t = 5*a - 8*f. Is 10 a factor of a?
True
Let i = -55 + 61. Does 3 divide i?
True
Let d = -143 + 229. Is d a multiple of 25?
False
Let b = 98 - 55. Let j = 82 - b. Does 14 divide j?
False
Suppose 0 = s + 3*s - 36. Suppose -h - 31 + 8 = -5*u, -3*h - 14 = -4*u. Let x = s + u. Is x a multiple of 5?
False
Let x(z) be the first derivative of 15*z**4/4 - 2*z**3/3 + z + 1. Does 5 divide x(1)?
False
Is 4/3 - (-2259)/27 a multiple of 17?
True
Let v(u) = -2*u - 2. Is 17 a factor of v(-11)?
False
Suppose -2*l - 2*u - 5 = -3, 2*l - 2*u = 18. Is 12 a factor of l/14 - (-250)/7?
True
Let o be -4 + (-3 - -3) + 4. Suppose -5*m - 4*j = -207, -j + o*j - 192 = -5*m. Is 13 a factor of m?
True
Suppose 2*k - 5*o + 45 = 6*k, -4*k - 5 = -5*o. Suppose 0*v + 40 = k*v. Is v a multiple of 4?
True
Let g be 1 - (0 - 2) - -1. Suppose 0 = -g*m - f - 102, -3*m + 4*m = -3*f - 31. Let u = 43 + m. Is 12 a factor of u?
False
Let j(w) = 6*w + 18. Let t(a) = 1. Let k(g) = -j(g) + 15*t(g). Does 21 divide k(-4)?
True
Let w(r) = 2*r**2 + 3*r - 3. Let b be w(-3). Suppose 4*p = b*p + 12. Is 16 a factor of (-62)/(-3) + 4/p?
False
Suppose -3 = 3*a - 9, -174 = -4*v + 5*a. Is 12 a factor of v?
False
Is 4 a factor of (-12)/((-2)/(16/6))?
True
Let p(n) = -n**3 + n**2 - n - 1. Let u(f) = -3*f**3 - f**2 - 5*f - 5. Let l(o) = -2*p(o) + u(o). Does 25 divide l(-4)?
True
Let x(b) = -b**3 + 6*b**2 + 4*b + 3. Let s be x(6). Is 0/(-1) + (s - 0) a multiple of 27?
True
Let d(o) = -5*o**3 - 4*o**2 + 3 + 2 - 4*o**3 + 8*o**3 - 3*o. Let r(c) = c**2 - 8*c + 8. Let w be r(6). Is d(w) a multiple of 14?
False
Let r(n) = n**2 - n + 4. Let y be r(0). Suppose 2*x + y = m, 2 = -5*m + 3*x + 1. Is 9 a factor of 1/(-2) + (-25)/m?
False
Let r be (-1)/(-3)*-1*-9. Suppose r*q = -q. Let x(h) = -h**2 - h + 13. Does 13 divide x(q)?
True
Suppose -3*w + a = -4*a - 34, -2*w = 2*a + 4. Suppose 4*z - 6*z - 19 = -d, -w*z + 5*d - 18 = 0. Let s = 19 + z. Does 4 divide s?
True
Suppose -6*a + 131 = -109. Does 8 divide a?
True
Let c be (-8)/(-2)*(5 - 10). Let b = c + 47. Does 17 divide b?
False
Let k = -25 - -43. Does 11 divide k?
False
Does 15 divide (40/(-12))/(4/(-72))?
True
Does 18 divide -72*(-3 - -6)*4/(-12)?
True
Suppose 3*p - 15 = -5*q + 2*p, -2*q - p + 9 = 0. Suppose -4*z = 4, -q*z - 62 = -5*g - 0*z. Does 6 divide g?
True
Let d(g) = 4*g**2 + 2*g - 1. Let u be d(1). Suppose u*t - 5*y = 3*t + 33, -27 = -t - y. Let z = -6 + t. Does 18 divide z?
True
Suppose 0 = -h + 4 + 1. Suppose -h*t - i + 3*i + 69 = 0, 2*i - 35 = -3*t. Does 6 divide t?
False
Let s(v) = 5*v - 2*v - 4 - 2*v. Is 4 a factor of s(8)?
True
Let f = 24 + -11. Suppose 2*u = -41 - f. Let j = -14 - u. Is j a multiple of 13?
True
Let v(t) = t - 1. Let g(x) = -2*x. Let d(l) = -2*g(l) - 3*v(l). Is 5 a factor of d(4)?
False
Suppose 0 = -4*m + 5*s + 588, -3*m - 5*s = m - 548. Is m a multiple of 33?
False
Suppose 3*q + 0*q - 5*l - 1 = 0, 5*q - 3*l + 25 = 0. Let x be 6/q - 38/(-8). Suppose -2*p + 14 + 40 = x*d, 0 = 5*d + 5*p - 65. Is d a multiple of 14?
True
Suppose -q = d + 1, 4*d + 16 = 3*q - 23. Let z = 11 - d. Is z a multiple of 5?
False
Suppose 0 = -g + 9 + 1. Suppose 0 = -p - p + g, 0 = -5*n - p + 55. Does 5 divide n?
True
Let d(j) = -j**3 - 8*j**2 + 4*j + 3. Let i(x) = 5*x**3 + 33*x**2 - 17*x - 12. Let m(p) = 9*d(p) + 2*i(p). Is m(6) a multiple of 15?
True
Let u = 105 + -45. Does 6 divide u/5 + (-2 - 0)?
False
Let a(q) = 5*q**2 - q - 1. Let y be a(-1). Let j(s) = s**3 - 4*s**2 - 3*s - 2. Let z be j(y). Let h(f) = 7*f - 5. Is 17 a factor of h(z)?
True
Let m = 26 + -10. Suppose -28 = -2*y - 5*i, 4*y + 4*i - m = 16. Is y a multiple of 4?
True
Suppose 5*y + 152 = -508. Is 11 a factor of 2/(-2*3/y)?
True
Let a(w) = w**2 + 6*w + 5. Let m be a(-3). Does 3 divide 4 + m/(-3 - -1)?
True
Suppose 4*k - 14 - 10 = 0. Let j(w) = w**2 - 3*w - 5. Does 6 divide j(k)?
False
Suppose -4*r + 3*c - 34 + 15 = 0, -4*c + 20 = 0. Does 20 divide 1 - (-26 + (-3)/r)?
False
Suppose m + 2*l + 12 = 0, -l + 2 = 3. Let c(h) be the first derivative of -h**3/3 - 11*h**2/2 - 4*h + 8. Is c(m) a multiple of 2?
True
Suppose -h - 3*h + 8 = 0. Suppose n - h*n = -8. Is n a multiple of 4?
True
Let q be 0 + 10 + -2 + -3. Suppose 0 = 3*v + 2*d - 74, 5*v + q*d - 122 = 2*d. Does 6 divide v?
False
Suppose 4*q - 77 = -2*g + g, 3*g - 3 = 0. Suppose -2*z - q = -75. Is 7 a factor of z?
True
Let s be ((-2)/(-4))/(2/(-12)). Let p(u) = 2*u**2 + u + 1. Is 8 a factor of p(s)?
True
Suppose 6*g = 10*g - 100. Is g a multiple of 20?
False
Let i(f) be the first derivative of -7*f**2 + f + 1. Let z(g) = -g**3 - 23*g**2 - 21*g + 21. Let m be z(-22). Is 4 a factor of i(m)?
False
Suppose -y + 25 = 8. Is 3 a factor of y?
False
Suppose 8*u - 457 = 895. Is u a multiple of 56?
False
Suppose -2*f - m = -3*f + 6, -2*f + 18 = -4*m. Let u(d) = -1 + 0*d**2 - 4*d**3 + 13*d**f + 2*d - 2*d**2. Is 8 a factor of u(1)?
True
Suppose -h + 4*t - t + 164 = 0, -2*h = -t - 323. Suppose 2*j + 78 = 3*q, -2*j - 3*j - q - h = 0. Let p = -19 - j. Is 10 a factor of p?
False
Does 33 divide (0 + -2)*-3*18?
False
Let y(l) = -2 + 2 - 4 - 2*l - 3. Suppose -1 + 6 = -v. Is y(v) a multiple of 2?
False
Suppose -5*t + 2*m - 3*m = 29, 3*m + 3