oes 2 divide r?
False
Does 30 divide (-2 + -4)/(3 - (-447)/(-147))?
False
Suppose 287 = 5*o - 153. Does 25 divide o?
False
Let q(m) = -8*m - 1. Does 13 divide q(-6)?
False
Let n(j) = -4*j - 4. Let t = 2 - 6. Is 12 a factor of n(t)?
True
Let s(y) = 4*y**2 - y + 160. Is 32 a factor of s(0)?
True
Suppose 166 = 4*t - 158. Does 12 divide t?
False
Let c = -2 + -3. Let i = 3 - 2. Does 16 divide i/c + (-116)/(-5)?
False
Let f(g) be the second derivative of g**3/6 + g**2/2 - g. Let v be f(2). Suppose 3*i + 72 = v*r, 2*i - i = -5*r + 114. Is r a multiple of 19?
False
Suppose 4*q - 36 = 8. Does 3 divide q?
False
Suppose -3*q - 30 + 117 = 0. Is 8 a factor of q?
False
Let n(p) = 9 - 7*p + 0*p**2 + 15*p + p**2. Let y be (0 + 6)*18/(-12). Is n(y) a multiple of 9?
True
Let g be -1 + 0 + 0 + 3. Suppose -4*n + 5 = -4*m - 39, -g*m + 20 = 5*n. Let z(i) = -i**3 + 7*i**2 - 7*i + 9. Does 3 divide z(n)?
True
Suppose c = -0*c + 1. Suppose 0 = f + 3*l - 17, -2*l - c = -9. Suppose 0 = -4*y - f*x + 11, 6 = 3*y + 4*x - 1. Is y a multiple of 9?
True
Suppose -5*y + 10 = -5. Let k(h) = -h - 3*h**2 - y + 5 - 3*h**3 - 4. Is k(-2) a multiple of 12?
True
Suppose x = -x + 186. Suppose 3*j + 3*l = x, -2*j = 3*l + 23 - 86. Is 15 a factor of j?
True
Suppose -4*k = -2*t - 30, 4*t - 5*t = k - 6. Suppose 0 = k*c - 3*c - 108. Is c a multiple of 10?
False
Let j(r) = r**3 + 2*r**2 - 2*r + 4. Let x be j(-3). Let z(k) = 28*k**2. Is z(x) a multiple of 16?
False
Let q = -5 - -10. Suppose 2*o - 2 = 3*t, 2*o + t = -2 + 4. Let x = q + o. Is x a multiple of 6?
True
Let j(q) = 11*q - 18. Let m(x) = 23*x - 35. Let o(b) = 5*j(b) - 2*m(b). Is 20 a factor of o(10)?
False
Let h = 4 + -4. Suppose h*j - 21 = -3*j. Is 4 a factor of j?
False
Let s(z) = -z - 1. Let t be s(-3). Let x = t + 16. Is x a multiple of 18?
True
Let u = -5 + 13. Does 6 divide (-1 + 4/u)*-24?
True
Let m(n) = -5*n**3 + 16*n**2 + 24*n - 6. Let o(t) = -3*t**3 + 11*t**2 + 16*t - 4. Let v(w) = -5*m(w) + 8*o(w). Let s be v(-7). Let x = s + 16. Does 2 divide x?
False
Suppose -3*x - 207 = -6*x. Suppose -5*o = 4*k - 479 - 136, -486 = -4*o - 2*k. Let a = o - x. Is a a multiple of 25?
True
Let q(u) = -2 + 4 - 3 - 13*u. Let l be q(-1). Suppose 8 = 4*t - l. Is t a multiple of 5?
True
Suppose 6*t = x + 3*t + 9, -t = -2*x - 3. Suppose x*o - 3*q - 3 = -2*o, -3*o = -3*q + 3. Is 183/27 - o/27 a multiple of 3?
False
Is ((-9)/(-6))/((-1)/(-12)) a multiple of 9?
True
Let n = 302 - 565. Let y = -173 - n. Suppose -y - 38 = -4*i + 4*t, -123 = -4*i + 3*t. Is i a multiple of 8?
False
Suppose 0 = 16*q - 14*q - 78. Is q a multiple of 10?
False
Let l(n) be the first derivative of 5*n**3 - n**2/2 - n - 1. Is l(-1) a multiple of 5?
True
Let x(t) be the third derivative of -t**5/60 - t**4/4 - t**3/3 - 2*t**2. Let b be x(-6). Let d(j) = 8*j**2 - 2*j - 1. Is 18 a factor of d(b)?
False
Suppose 142 + 86 = 4*g. Suppose -5*y + g + 3 = 0. Suppose -j = 2*z - y - 8, -2*j + 3*z + 75 = 0. Is 15 a factor of j?
True
Let z = 2 - -2. Suppose -z*b + 137 + 15 = 0. Does 19 divide b?
True
Let a(c) = c - 1. Let m be a(0). Let k be (-3)/m + (0 - 3). Suppose 2*t + 4 + 9 = 3*l, k = -2*t + 2. Does 3 divide l?
False
Suppose 0*l = -3*l. Suppose -b = -2 - l. Let d(j) = 2*j + 1. Is d(b) a multiple of 2?
False
Let q(v) be the third derivative of v**5/60 - 5*v**4/24 + v**3/6 - 12*v**2. Suppose 3*u + 9 = 2*u + 5*r, 0 = 5*u - 3*r - 21. Does 4 divide q(u)?
False
Suppose -y = 2*y - 5*k - 16, 0 = -4*y + 2*k + 12. Suppose -2*c + y = -14. Is c a multiple of 4?
True
Let z = -35 + 53. Is z a multiple of 16?
False
Let h = -4 + 43. Is h a multiple of 13?
True
Let d(f) = 11*f - 15. Is d(6) a multiple of 23?
False
Suppose 4*r + 0*d = 5*d + 107, 3*r + 5*d - 89 = 0. Does 6 divide r?
False
Let v(l) = -18*l**2 + 4*l - 6. Let j(k) = -k**2 - k + 1. Let h(f) = f**2 - 1. Let g be h(0). Let o(a) = g*v(a) - 5*j(a). Is 20 a factor of o(-1)?
False
Suppose 97 = -3*t + 4*h, 3*t + 90 = -0*h - 3*h. Let s = t - -49. Is s a multiple of 9?
True
Suppose 0 = 6*i - 4*i + 12. Let c(v) = 2*v**2 + 6*v + 3. Is 13 a factor of c(i)?
True
Suppose 4*h - 5*z = 615, -10 = -z - z. Is 16 a factor of h?
True
Suppose z = -h - 2*z + 133, 554 = 4*h + z. Suppose -2 = 4*q - 3*v + v, v - 13 = -4*q. Suppose 0 = -5*u - a + 131, -h = -5*u - a + q*a. Does 9 divide u?
True
Let s(x) = -x**3 + 4*x**2 + 7*x - 6. Let k be s(5). Let m be (-1)/1*k/2. Does 3 divide (-2)/(0 - m/(-8))?
False
Let a(s) = 5*s - 4. Is 14 a factor of a(4)?
False
Suppose -4*n - 3*d + 40 = d, 0 = 3*n + 4*d - 34. Suppose n*m = 8*m - 48. Is 11 a factor of m?
False
Let v(n) = -n - 5. Is v(-8) a multiple of 2?
False
Let h = -56 + 2. Let o = h - -96. Does 23 divide o?
False
Suppose 15 = 2*k - 2*m + 1, -3*k + 16 = -2*m. Suppose 0 = -k*f + 5*f - 39. Is f a multiple of 13?
True
Let s(u) = -u**3 + 6*u**2 - 4*u - 5. Let c be s(5). Suppose -5*h + 370 = -c*h. Let z = h - 44. Is z a multiple of 15?
True
Let o be (-108)/(-2) + (-3 - -1). Let l(q) = -7*q**2. Let a be l(-1). Let y = a + o. Is 16 a factor of y?
False
Let o(r) = 29*r**3 - 2*r + 1. Is 14 a factor of o(1)?
True
Let i(q) be the first derivative of q**6/180 + q**5/30 - 7*q**4/24 - q**3 + 1. Let l(s) be the third derivative of i(s). Is 23 a factor of l(-5)?
True
Let l(s) be the second derivative of s**4/12 - 5*s. Is 4 a factor of l(3)?
False
Is 14 a factor of (2 + -3)*(3 + -212)?
False
Let n(i) = -7 + 5 - 6*i - 7 + 0. Is 10 a factor of n(-6)?
False
Let g be 2*3/6*1. Suppose -p - g = -13. Is 12 a factor of p?
True
Let x(u) = 4*u**2 - 5 + 4*u**2 + 5*u + u**3 + 4 - 5. Is 12 a factor of x(-6)?
True
Let b(a) = a**2 - 5*a + 2. Suppose -4*c + 0*c + 5*z = -130, -5*z = 2*c - 80. Suppose 3*t + 2*t - c = 0. Is b(t) a multiple of 9?
False
Suppose c - j + 2*j = 6, 0 = -c - 4*j + 15. Let p = 2 + 3. Suppose 0 = -p*h + c + 67. Is h a multiple of 14?
True
Let x(b) = 25*b**2 + 5*b - 5. Does 11 divide x(-4)?
False
Let n(q) = -28*q - 20. Is 13 a factor of n(-5)?
False
Let d(w) = w**2 + 6*w - 9. Is 18 a factor of d(10)?
False
Suppose -2*p + 2 = -12. Let k(u) = 5*u**3 + 16*u**2 - 7*u - 14. Let h(c) = 3*c**3 + 11*c**2 - 5*c - 9. Let b(q) = 8*h(q) - 5*k(q). Does 12 divide b(p)?
True
Let i(v) = 18*v - 2. Let n be i(-2). Let u = 56 + n. Is u a multiple of 5?
False
Suppose p + 5 = 0, -3*y = p - 510 - 490. Is 36 a factor of y?
False
Suppose 4*p - 5*p = -5. Suppose -3*n - 5*t + 33 = 0, -p*n + t = -t - 86. Is 4 a factor of n?
True
Let x = 32 - 54. Let p = 58 + x. Does 18 divide p?
True
Let o(b) = b**3 + 12*b**2 + 5*b + 18. Let t be o(-12). Let r = t + 96. Does 16 divide r?
False
Does 8 divide 760/24 - (-1)/3?
True
Suppose -56 = -3*o - o. Let p = o + -10. Suppose -2*r - 4 = -4*i + 5*i, p*i - 28 = 3*r. Is 4 a factor of i?
True
Let k(s) = s + 5. Let b be k(-8). Let j = -3 - b. Is 5 a factor of 1*(j + 6 + 1)?
False
Suppose 4*d - 3*i - 107 = 0, d - i - 28 = -0*d. Suppose -k + 15 + d = 0. Is 19 a factor of k?
True
Let v be (-11)/(-9) + 4/(-18). Let y(i) = v - 1 - 4*i. Is 8 a factor of y(-4)?
True
Suppose -447 = -9*b - 51. Is 6 a factor of b?
False
Let i(m) = m**2 - 7*m - 14. Let h be i(8). Is (-10)/h*3 - 1 a multiple of 4?
True
Let p = 89 - 44. Let z = 90 - p. Does 22 divide z?
False
Let d = -71 - -151. Suppose -64 = -3*f + 2*i - 6, -4*f + 2*i + d = 0. Is 18 a factor of f?
False
Suppose -4*o = 2*x + o - 73, -4*x = 5*o - 131. Let g = x + -21. Let v = 23 - g. Is 8 a factor of v?
False
Let t = 12 + -6. Let a(y) = -3*y**3 - y**2 - 4*y - 2. Let i(d) = d**3 - d**2 - 1. Let w(p) = a(p) + 4*i(p). Does 3 divide w(t)?
True
Let z(l) = l**3 + 2*l**2 - 5*l - 3. Let o be z(-3). Suppose 5*m = o*y + 27, -2*y + 7*y + 5*m = -85. Does 5 divide -2*(y/4 - -1)?
True
Let z(h) = h**2 + h - 6. Let r be z(0). Let i = -3 - r. Suppose 5*y + 8 = i*t, 5*y = 2*t + 3 - 0. Is 11 a factor of t?
True
Let p(h) = -h**3 + 3*h**2 + 4*h + 4. Let t be p(4). Suppose -4*u = t*a - 104, u - 5 = a + 19. Suppose -119 = -4*d + u. Is 18 a factor of d?
True
Let q(y) = -y**3 - 2*y**2 + 3*y. Let o be q(-3). Suppose o*x + 20 = x. Is 5 a factor of x?
True
Let v(f) = -f**3 - f**2 - 1. Let g(r) be the third derivative of -r**6/15 - 11*r**3/6 + 4*r**2. Let d(w) = -g(w) + 6*v(w). Does 11 divide d(4)?
False
Let t(w) = -5*w**3 - 4*w**2 + 1. Is t(-3) a multiple of 8?
False
Let q(o) be the third derivative of -o**6/120 - o**5/10 - 