)/(((-3)/(-6))/(-1)). Suppose x = 5*c - 20. Is c a multiple of 6?
True
Suppose 3*p - p = 4. Let g(n) = 9*n**2 - 2*n + 2. Is g(p) a multiple of 17?
True
Suppose u + 0*u = 0. Suppose -5*j = -u*j. Is 10 - (-3 + j + 2) a multiple of 8?
False
Suppose 6 = -3*n + 5*x + 24, -x = -n + 4. Suppose -p - 2*p = 4*q - 9, -2*q - 5*p + n = 0. Suppose 0 = -q*i + 85 - 22. Does 20 divide i?
False
Suppose 0 = -3*t - 11 + 197. Does 31 divide t?
True
Let j be (18/21)/(1/(-7)). Let w = 2 + j. Is 92/9 - w/(-18) a multiple of 5?
True
Is 308/33*144/14 a multiple of 24?
True
Let o(i) = -i**3 - 7*i**2 - 8*i - 7. Let t be o(-6). Suppose -t*r + g + 266 + 59 = 0, 4*g + 148 = 2*r. Let h = r + -40. Is h a multiple of 12?
True
Let o(k) = -k**3 - 7*k**2 - 7*k - 9. Let n be o(-6). Is (3 - -9)*(-2 - n) a multiple of 5?
False
Suppose 0*x = 3*x. Suppose 0 = -x*v + 3*v - 9. Suppose -3*t + 5*j = 33 - 158, 117 = 3*t + v*j. Does 11 divide t?
False
Let s = 35 + -25. Let n = 50 - s. Is n a multiple of 20?
True
Let y(i) = -i**2 - 13*i + 5. Let r be y(-10). Suppose -5*n - r = -b - 92, -n + 19 = -4*b. Suppose 0 = -3*z + n + 49. Does 10 divide z?
True
Let r = -1 + 4. Let l(g) = -1 - 4*g + 3*g + 21*g**r - 58*g**3 + g**2. Does 14 divide l(-1)?
False
Let d = -122 + 172. Is 25 a factor of d?
True
Let m = -3 + 8. Is m a multiple of 4?
False
Let n(s) = -s**2 - 10*s - 8. Let x be n(-10). Let u = -3 - x. Suppose u*y = 111 - 11. Does 10 divide y?
True
Let p(r) = r - 1. Let y be p(4). Suppose -g + 18 = g + 3*j, 0 = y*g - 5*j - 8. Suppose -g*v = -2*v - 108. Is 10 a factor of v?
False
Suppose -y + 27 = -3*v, -4*v - 17 = 2*y + 19. Let p(f) = -f + 1. Is 5 a factor of p(v)?
True
Let v(k) = k**3 - 4*k**2 - 2*k - 5. Let u be v(5). Suppose -2 = -s + u. Is s a multiple of 12?
True
Let w = 12 + 158. Does 37 divide w?
False
Let q = -11 + 27. Suppose -4*p + q + 108 = 0. Is p a multiple of 31?
True
Let f(y) = -y**2 - 7*y - 3. Let r be f(-6). Let q(z) = z**3 + 13*z**2 + 12*z + 4. Let d be q(-10). Suppose o - d = -r*o. Is o a multiple of 23?
True
Let r(l) = 2*l - 3. Let m(q) = -q + 1. Let f be (-7)/9 + 2/(-9). Let u(i) = f*r(i) - m(i). Is 3 a factor of u(-4)?
True
Suppose -4*a + 2 = -5*h + 10, -1 = 5*a - 4*h. Is a even?
False
Let r(a) be the first derivative of -a**2/2 + 11*a - 2. Let l be r(5). Let n = l - -21. Is n a multiple of 9?
True
Let m = 75 - -31. Let v = m + -48. Is v a multiple of 19?
False
Let t(x) = 2*x - 19. Is 3 a factor of t(15)?
False
Let j(s) = s + 4. Let b = -6 - -3. Let w be j(b). Suppose -o + 4 = w. Does 3 divide o?
True
Let x = 25 + 1. Suppose -c - l = 3, -3*c = -l - 3*l - x. Suppose -c*n = -4*a + 12, -n - 5 = -4*a + 11. Is a even?
False
Let u be (0/(-1*3))/2. Suppose u*n + 3*z + 118 = 2*n, -220 = -4*n - 2*z. Suppose 3*i + 0*y = y + 133, -n = -i - 2*y. Does 16 divide i?
False
Let s = -4 - -6. Let x = s - 5. Is 17 a factor of (-102)/4*4/x?
True
Let f(y) = -y**2 + 9*y + 7. Let a(z) be the first derivative of 3*z**2/2 + 2*z - 4. Let m be a(2). Is f(m) a multiple of 11?
False
Suppose -2*u + 6*c = c - 14, -4*u - 4*c = 0. Suppose 2*m - v = 67, -3*m + u*v = 2*m - 166. Does 8 divide m?
True
Suppose -8 + 2 = -2*a. Suppose -4*b + 136 = -a*p - p, -4*b + 127 = -p. Is 8 a factor of b?
False
Let t(y) = 3*y**3 + 2*y**2 + 1. Is t(2) a multiple of 11?
True
Let a(h) = 3*h - 6. Is 6 a factor of a(4)?
True
Suppose -4*y + 16 = -0*y, 0 = -4*v + 2*y + 76. Let s be 4/(-14) - (-48)/v. Suppose -s*d - n = -5*n - 42, 0 = -2*n - 4. Does 13 divide d?
False
Let d = -32 + 97. Let w = -1 - -1. Suppose -d = -5*t + r, 4*t + 4*r = -w*r + 28. Does 6 divide t?
True
Let b(o) = -o**3 + 6*o**2 - 5*o + 4. Is b(4) a multiple of 8?
True
Suppose -5*b + 3*b = -12. Let j = b - 4. Suppose -4*q - j = -26. Does 3 divide q?
True
Suppose 4*i - 33 - 67 = 0. Is i a multiple of 25?
True
Let g = 46 + 98. Is g a multiple of 12?
True
Let m(v) = 32*v - 2. Is 20 a factor of m(2)?
False
Suppose 6*x - 5*x = 2. Is x a multiple of 2?
True
Suppose c + 2*n = 30, -4*c + c = 4*n - 84. Let x = c + -11. Is 13 a factor of x?
True
Suppose -2*v + 40 = 3*v. Suppose 5*x - 5*l = 5, -3*l + 7*l - v = -2*x. Suppose -4*n + 3*b - 140 = -8*n, -5*n = x*b - 182. Is n a multiple of 17?
False
Let v(m) = 31*m**2 - 2. Let i be v(-2). Suppose -5*k + 818 - 3 = 0. Suppose 5*j - 3*p = k - 21, 5*j + 2*p = i. Is j a multiple of 13?
True
Does 19 divide 2*(38 + -4 + 4)?
True
Suppose 0 = -5*j + 4 + 11. Suppose -65 = 2*i - 7*i. Suppose r - 12 = -j*r, -5*r = -4*h + i. Is h a multiple of 7?
True
Let d = -36 + 120. Is 21 a factor of d?
True
Let g = -260 - -442. Is 32 a factor of g?
False
Let c = -5 + 7. Suppose 2*x - 4 = a + 10, c*a = -x + 2. Is 6 a factor of x?
True
Let x(o) = -259*o**3 + o**2 + o + 1. Is x(-1) a multiple of 52?
True
Suppose -2*x = 2*x - 8. Suppose 78 = x*i - 22. Is i a multiple of 25?
True
Let n be 17 - 0*(0 + 1). Let a = n - 6. Is 11 a factor of a?
True
Let d be (-2)/(-4)*36/2. Let u be 12/(-9) + 3/d. Is 2 a factor of 3 + (1 + -1)*u?
False
Let d(o) = 2*o**2 - o - 4. Is 24 a factor of d(4)?
True
Let n(u) = -u**3 + 5*u**2 - u + 2. Let b be n(4). Suppose h - b = -0*h. Is h a multiple of 14?
True
Let v(u) = 8*u - 7. Let f(x) = -x. Let z be f(-6). Is v(z) a multiple of 13?
False
Suppose -5*u + 2*m = 2 - 3, 4*m = -5*u + 13. Let g(s) = 38*s**3 - 2*s + 1. Is 15 a factor of g(u)?
False
Suppose 2*k + k - 180 = 3*n, 272 = 5*k + 2*n. Suppose -4*z = d + k, -4*z = -5*d - 184 - 72. Let i = -30 - d. Is 11 a factor of i?
True
Let w = 7 - 7. Let u = 5 - w. Is 5 a factor of u?
True
Suppose 4*v = 81 + 35. Is 4 a factor of v?
False
Let r(q) = -2*q**2 - q + 1. Let x be r(1). Let g(h) = h - 1. Let z be g(2). Is 12 a factor of -1 - (x + z*-20)?
False
Let y(q) = q**3 - 6*q**2 - 8*q + 7. Let j be y(7). Suppose j = -3*t + 6. Suppose 3*v - 5*d - 14 = 0, -t*v + 2*d + 4 = -12. Is v a multiple of 13?
True
Let p = 38 + -56. Let j = -11 - p. Is 2 a factor of j?
False
Let j(s) be the third derivative of s**5/60 - s**4/2 + 5*s**3/6 - 8*s**2. Is j(13) a multiple of 6?
True
Suppose -16 = -6*j + 2*j. Is (-3 + j - 0)*25 a multiple of 25?
True
Let q = -10 + 37. Is 6 a factor of q?
False
Suppose 3*m - 15 = -2*m. Let i be 6/(22/(-8) + m). Is 1/(3/i) + -1 a multiple of 4?
False
Let a be (8/12)/(4/18). Suppose -a*u = -46 - 14. Is 20 a factor of u?
True
Let l be 2 + -1 + 0 - -9. Let f be (84/(-15))/((-2)/l). Let b = f - 16. Does 6 divide b?
True
Let t be (1 + -31)/(1/(-1)). Suppose 5*r = 10 + t. Is 3 a factor of r?
False
Let z = 9 - 9. Suppose 5*i = -z*i - 4*y + 135, -i = -4*y - 3. Is 6 a factor of i?
False
Let d = 4 + 1. Suppose -103 = d*k + 77. Does 12 divide ((-2)/(-3))/((-1)/k)?
True
Let g(o) = o**3 + 5*o**2 - 6*o. Let u be g(-6). Suppose -f = -4*d + 32, d - 11 = f - u*f. Does 7 divide d?
True
Suppose -2*x + 143 = k, -5*x - 4*k = -0*x - 350. Is 16 a factor of x?
False
Suppose n = -2*u + 104, 3*u + 58 - 268 = -2*n. Is 16 a factor of n?
False
Let r(c) = c**3 - 4*c**2 + 5*c - 4. Let q be r(3). Suppose 0 = o + 5*t - 27, -q*o - t = o - 53. Is o a multiple of 8?
False
Let f(s) = -s**3 - 12*s**2 + 12*s + 6. Does 15 divide f(-13)?
False
Let w(k) = 3 - 4 + k + k**3 + 6*k**2 - 3*k - 8. Is 3 a factor of w(-6)?
True
Suppose 0 = 3*o + o. Suppose o*v - 2*d + 100 = -2*v, 4*v + 193 = -3*d. Let w = v + 90. Is w a multiple of 17?
False
Suppose 4*v + 0*v + 64 = 4*k, -74 = -5*k + 2*v. Suppose 5*h - k = 61. Is 8 a factor of h?
False
Let h be (-2)/8*-2*2. Let q be h/(-3)*(4 - 10). Suppose -4*x = -4*r + x + 11, 3*r - 5*x = q. Is r a multiple of 6?
False
Suppose -38 = -5*v + 97. Is 3 a factor of v?
True
Let u(y) = y + 13. Let m be u(-9). Suppose 0*z + 3*z - 170 = -5*t, -3*z + 175 = m*t. Is z a multiple of 14?
False
Let k be (1/(3/(-150)))/(-2). Let z = -9 + k. Does 16 divide z?
True
Let y = -83 - -117. Is y a multiple of 4?
False
Let c = -11 + 8. Let i be -3*(-2 - c) + 5. Suppose -w = -v + 3, 5*w + 4 = -i*v + 3. Is 2 a factor of v?
True
Let f = -19 - -30. Is 4 a factor of f?
False
Let x = 68 + -9. Does 24 divide x?
False
Let i be (-2)/(-2 - (-16)/10). Suppose 0 = i*w + 15, m + 2*m + 9 = -5*w. Suppose 0*r + r + 65 = 3*o, -m*o = 2*r - 30. Does 10 divide o?
True
Let l = 61 + -117. Let m = 69 - -10. Let t = l + m. Does 13 divide t?
False
Let f(y) = -y - 1. Let s be f(-1). Suppose l + l + 46 = s. Is 7 a factor of 6/(-9) + l/(-3)?
True
Let