 0 = -i - 5*p + 9, 5*i + p - 36 = i. Is i a multiple of 3?
True
Suppose 0*u - 3 = u. Does 6 divide 4/(-12) - 79/u?
False
Suppose 100 = 5*b - 215. Suppose -4*a = -a - b. Suppose -2*s = -5*s + a. Is 4 a factor of s?
False
Let l(b) = b**3 + 9*b**2 + b + 11. Let g be l(-9). Is g/(-12) - (-327)/18 a multiple of 6?
True
Let z(c) = -16*c + 2. Let w = 8 + -11. Is 14 a factor of z(w)?
False
Let l(k) = -k**2 - 12*k + 2. Let n be l(-6). Does 19 divide (n/(3 + -5))/(-1)?
True
Let z(f) = -f**3 - 4*f**2 + 2*f - 12. Is 16 a factor of z(-6)?
True
Suppose 2*x = 4*x. Suppose x = 4*a - 4 - 16. Suppose 3*f - 67 = -5*h, 2*h - 97 = -a*f + h. Does 19 divide f?
True
Suppose -4*d - a + 15 = 0, 3*a = -a - 20. Is d a multiple of 5?
True
Suppose 0 = 3*q + 2*q. Let r = 3 - q. Is 3 a factor of r?
True
Suppose -218 = -3*f + 5*b, 0*b = f + 4*b - 50. Does 22 divide f?
True
Let m(k) be the first derivative of -k**6/120 + k**5/60 - k**4/8 - k**3/2 - k**2/2 - 1. Let r(f) be the second derivative of m(f). Does 15 divide r(-2)?
True
Let k(l) = -l**3 + 7*l**2 + 2*l - 7. Let a be k(7). Suppose a*c - 2*c - 4*p = -37, -p = 3*c + 12. Let s(i) = -3*i - 3. Is s(c) a multiple of 6?
True
Let n(a) = a + 6. Let m be n(14). Suppose f - m = 4*k, -5*f + 116 = k - 5*k. Is f a multiple of 8?
True
Let k = 131 - 78. Is k a multiple of 9?
False
Suppose 3*k + 4*f - 63 = 0, 0 = -3*k + k - 4*f + 42. Is 7 a factor of k?
True
Let g(f) be the third derivative of f**4/24 + 2*f**3/3 - f**2. Let x be g(-6). Is 5 a factor of (x/4)/((-1)/30)?
True
Suppose 2*n - 9 = 1. Suppose 5*l = -4*b + 74, -n*l - 3*b + 44 = -29. Does 7 divide l?
True
Suppose 0 = 3*k - 3*n - 57, 2*k + 2*n = 1 + 21. Is k a multiple of 3?
True
Is 17 a factor of (0 - -90) + 7 + -6?
False
Let n be 1*-2*(-15)/(-3). Let d(t) = t**2 + 7*t - 6. Does 8 divide d(n)?
True
Let h = -3 + 5. Suppose 3*d - 3*u = 66, -h*u = -3*d - 0*u + 71. Is 9 a factor of d?
True
Suppose -b - 16 = 2*y, -4*b + 10 = -3*y - 2*b. Let w(m) = -m**3 - 6*m**2 - 4*m - 9. Is 6 a factor of w(y)?
False
Suppose 4*z = o - 0*o - 20, 5*o + 2*z = 12. Suppose 0 = -3*n - o*h + 82, 2*n - 2*h - 99 + 21 = 0. Suppose -5*c + 6*c = n. Does 13 divide c?
False
Let k = -118 + 190. Is 6 a factor of k?
True
Let q(d) = -d**2 - 5*d - 1. Let y be q(-5). Let h be (y - -1)/(-1)*1. Suppose 56 = 4*m + w, 5*m + 0*m - 5*w - 70 = h. Is m a multiple of 5?
False
Suppose -n = n + 40. Let z be 5/n + 269/4. Suppose -4*l + 4*c + 44 = 0, 5*c - z = -5*l + 4*c. Is l a multiple of 8?
False
Let w be 42/(-9)*21/2. Let i = w - -107. Suppose 2*g + 16 - i = 0. Is 7 a factor of g?
True
Let c(x) = x + 3. Let z be c(0). Suppose -141 = -5*w - r + 97, -6 = z*r. Let m = -9 + w. Is m a multiple of 13?
True
Let z be ((-4)/8)/(1/(-6)). Let y(o) = -2*o. Let x(h) = -2*h. Let j(f) = z*x(f) - 4*y(f). Is j(9) a multiple of 17?
False
Is 22 a factor of 8/2 + -5 + 31?
False
Let t(n) = n. Let v be t(3). Let z(j) = 6*j - 4. Let x be z(v). Let k = 33 - x. Is k a multiple of 14?
False
Let c(y) = y**3 + 6*y**2 + 3*y + 16. Let r be c(-6). Let x(a) = a**2 - 5*a - 3. Let s be x(6). Does 3 divide -9*1/s*r?
True
Let c(u) be the third derivative of u**5/20 - u**4/12 + u**3/6 - u**2. Is 6 a factor of c(-2)?
False
Let q be (-2 - 25/2)*-2. Suppose 4*x - q - 51 = 0. Does 20 divide x?
True
Suppose 5*p = 5*m + 15, p = -4*m + 2*m + 3. Let s = m - -2. Does 2 divide s?
True
Let g be (-1)/(40/36 - 1). Let q(k) = 9*k + 2 + 5 + k**2 + k**3 + 9*k**2. Is q(g) a multiple of 5?
False
Suppose m = 5*m - 160. Does 10 divide m?
True
Let v be (1 - -52) + (1 - 2). Suppose v = z + 14. Does 16 divide z?
False
Suppose 4*l - l = 6. Suppose -3*j = l*j - 90. Is 9 a factor of j?
True
Let u = -7 - -6. Let s be (8/6)/(u/(-3)). Suppose -s*n = n - 5*k - 125, -2*n + 15 = 5*k. Does 6 divide n?
False
Let c(s) = -s**3 - 3*s**2 + 3*s + 1. Is 20 a factor of c(-5)?
False
Suppose -3*r + 6 = 3. Let p be ((-2)/4)/(2/(-4)). Is p/r - (-3 + -8) a multiple of 6?
True
Let k(o) = -o**3 - o**2 - 2*o + 4. Let g be k(-3). Suppose 0 = -5*t - 8 + g. Is 2 a factor of t?
True
Suppose 3*k + 7*v = 2*v - 21, 5*k + 3*v + 35 = 0. Let i = 13 + k. Is i a multiple of 3?
True
Let t = 28 - 14. Is t a multiple of 7?
True
Let v be -1 + (4 + 202 - -3). Suppose -4*f + v = -0*f. Is f a multiple of 28?
False
Let v(r) = 11*r**2 - r**3 + 2*r**2 - 6*r + 3 - 4*r**2. Is 15 a factor of v(7)?
False
Let d(y) = -y**3 - 8*y**2 + 3*y + 10. Let r be d(-8). Let c = -10 - r. Suppose -j + c*w - 10 = 0, w = j + 3*w - 8. Does 2 divide j?
True
Let a be (-198 - -3 - 3)*-1. Suppose -291 = -3*f - l, 3*l = 3*f - 105 - a. Suppose 3*n = 4*m - f, 4*m = -0*m - 3*n + 110. Is 13 a factor of m?
True
Suppose -228 = -5*o + 327. Is o a multiple of 16?
False
Let l(o) = -o**3 - 5*o**2 - 4*o - 1. Let z be l(-4). Let f(d) be the second derivative of 23*d**4/12 - d**3/6 + d. Is 12 a factor of f(z)?
True
Let a(z) = -8*z + 7. Let x be a(5). Let m = x + 49. Does 7 divide m?
False
Let z(c) = 2*c + 18. Let k be z(-12). Let b(d) = -8*d - 8. Does 14 divide b(k)?
False
Let v be 0/((-4)/(-2) - 1). Does 3 divide 2/(-2) + v + 10?
True
Is (-1262)/(-14) - 3/21 a multiple of 13?
False
Is 18 a factor of -6 + 8 - 3*-18?
False
Suppose 4*y - 3*s - 49 = 0, -5*y = -y + 4*s - 84. Is y a multiple of 4?
True
Let t be (4 - 3)*-1*-3. Suppose 0 = -4*j - t*k + 85, 4*k = 1 - 5. Is j a multiple of 12?
False
Suppose -l - n + 70 = -3*n, -206 = -3*l + 5*n. Does 19 divide l?
False
Suppose 0 = -0*c + c - 1. Let b be -2*c - (8 + -10). Suppose 3*x + x - 56 = b. Is x a multiple of 8?
False
Suppose -s + 4 = 1, -2*s = 2*d - 80. Is d a multiple of 3?
False
Let p(j) = j**2 + 5*j - 6. Let m be p(-6). Suppose 13 = 3*q - 5. Suppose m = 4*s - q*s + 84. Is 14 a factor of s?
True
Suppose -2*h + w + 2 = 5*w, 4*w = -3*h + 7. Does 2 divide h?
False
Let b(t) = -t**2 + 13*t - 5. Let d be b(13). Let j = 10 + -5. Does 5 divide d/j + -1 + 15?
False
Let h be 12*1*3/12. Suppose r = 2*o + 7, r + h*r + 2*o = 38. Is 3 a factor of r?
True
Let r(w) = -45*w - 9. Is 21 a factor of r(-1)?
False
Is 13 a factor of 15/(-10)*(-208)/6?
True
Let p(v) = -v**3 + 6*v**2 + 8*v - 5. Let j be p(5). Suppose 0*o + 4*o - j = 0. Is 6 a factor of o?
False
Is (-3 - (-30)/14)*-42 a multiple of 9?
True
Suppose d - 7 = -3. Suppose -10 = -4*j - 2*x, 3*j + 3*x - d*x = 10. Suppose j*h - 23 = 58. Does 9 divide h?
True
Suppose -2*q + 6*q - 19 = -l, l - 7 = -q. Suppose 0 = 2*p + 5*c - 0*c - 141, 0 = -l*p - c + 179. Is p a multiple of 12?
False
Let h(g) = -g**3 - 2*g**2 + 1. Let x be h(-1). Suppose 4*v + 3*q - 67 = -4, v - 3*q - 12 = x. Suppose -l = 4*l - v. Does 3 divide l?
True
Let z(k) = 2*k**3 - 8*k**2 + 5*k + 3. Is 7 a factor of z(4)?
False
Let v be 3*12/(-8)*8. Let a = v + 60. Does 24 divide a?
True
Is 12 a factor of ((-4)/5)/(1/(-60))?
True
Suppose -14 = -3*p + m - 4, -4*p - m + 4 = 0. Suppose -p*l = -8 - 20. Does 7 divide l?
True
Let x(h) = -7*h**2 + 2*h - 4. Let w(b) = -7*b**2 + 3*b - 3. Let j(y) = -3*w(y) + 2*x(y). Let l be j(4). Suppose -4*m - 5 = -l. Is m a multiple of 11?
True
Suppose 2*a - 47 = -7. Does 8 divide a?
False
Suppose 2*a = -0*q + 3*q - 12, 3*q = -5*a + 12. Let d be ((-11)/(-1))/(2/q). Suppose 0 = -w + 5 + d. Does 9 divide w?
True
Let f = 17 - 11. Suppose 3*l + f - 21 = 0. Does 2 divide l?
False
Let z be 1 + 7/(28/128). Let h = z - -26. Does 20 divide h?
False
Let c = -318 - -159. Let q be c/(-4) + (-15)/20. Suppose 111 = 5*u - q. Does 15 divide u?
True
Does 4 divide (-111)/(-3)*1*1?
False
Is (-6 + 29)/(0 + 1) a multiple of 23?
True
Let p(a) = -a**3 - 6*a**2 - 5*a + 1. Suppose -2*t = -0*t + 10. Let k be p(t). Suppose q = k + 10. Is 5 a factor of q?
False
Let w(i) = 10*i - 9. Let v(y) = -5*y + 4. Let t(n) = 13*v(n) + 6*w(n). Let d be t(-5). Let z = 14 + d. Is 17 a factor of z?
False
Suppose 4*c - 2*r = 20, -3*r - r = -2*c + 4. Suppose -k + c = 2. Does 2 divide k?
True
Suppose 2 = -3*y + 8. Suppose 0 = 2*a + y*a. Suppose 5*x - 16 - 44 = a. Is x a multiple of 12?
True
Suppose -2*y = -0*y - 28. Let n = -4 + y. Is n a multiple of 7?
False
Suppose 4*p = 2*l - 5*l + 62, -4*p = -8. Is 20 a factor of 724/l + (-4)/18?
True
Let j = -16 - -20. Does 3 divide j?
False
Let k = 6 - -1. Suppose 0 = -3*t + k*t - 168. Suppose t + 12 = 3*g. Is g a multiple of 18?
True
Suppose -2*l + 6*l = 80. Does 10 divide l?
True
Is -7 + 17 + 2 - (-1 - 1) a