4 divide t?
True
Suppose -4*u = -5 - 123. Let r = u - 21. Let z = r - -3. Does 14 divide z?
True
Let r = 329 - 199. Is r a multiple of 32?
False
Suppose 0 = 3*v + 4*o - 336, 3*o = -5*v + o + 546. Is 36 a factor of v?
True
Suppose 5*q - s + 5 + 14 = 0, 5*s = 4*q + 32. Is (-4 - -7) + q/(-1) a multiple of 3?
True
Suppose 0 = 5*i - 878 - 392. Is i a multiple of 11?
False
Suppose 0 = -0*t + 4*t + 52. Let a(y) = -4*y - 9. Is 12 a factor of a(t)?
False
Let p(k) = 7*k**3 - 2*k - 1. Let h be p(-1). Let d be 13 + 2*2/(-2). Let o = d + h. Does 2 divide o?
False
Is 16 a factor of (-2 + 1)/(-1) + (-504)/(-8)?
True
Let k(m) = m**2 - m - 4. Let o be k(3). Suppose 0 = -3*x + 2*c - 4 - 8, o*c - 8 = x. Is 11 a factor of 33/6*x*-1?
True
Let z(v) = 3*v - 3. Let b be z(3). Let i be (3 - 44/b)*6. Let d = i - -39. Is d a multiple of 13?
True
Let x(i) be the second derivative of -17*i**5/10 - i**4/12 + i**3/6 + i**2/2 + 5*i. Is 11 a factor of x(-1)?
True
Suppose -7*a + 2*a = 10. Let l = 2 - a. Suppose l*r + 3*m = 48, 3*r - 36 = -0*r + 4*m. Is 10 a factor of r?
False
Suppose -3*z + 207 = -3*s, -s = 5 - 1. Is z a multiple of 3?
False
Suppose -2*m = -2*p + 188, 2*p = 4*m - 0*m + 198. Is 17 a factor of p?
False
Let t(w) = 3*w. Let o(c) = -8*c - 1. Let g(d) = -6*o(d) - 17*t(d). Does 6 divide g(-6)?
True
Let u = 124 + -88. Is u a multiple of 5?
False
Let x = 66 - 46. Is 5 a factor of x?
True
Is (51/(-2))/(1/(-2)) a multiple of 15?
False
Let k(y) = 9*y - 8. Does 13 divide k(6)?
False
Suppose 0 = -0*w - 2*w + 8. Suppose 44 = 5*y + f, -7 - 25 = -4*y - w*f. Is 9 a factor of y?
True
Let z(c) = c**3 - 9*c**2 - 10*c + 14. Let v be (12/(-15))/((-8)/100). Does 14 divide z(v)?
True
Suppose -7*x + 481 = -114. Does 17 divide x?
True
Suppose -17*t - 130 = -22*t. Is 7 a factor of t?
False
Suppose 4*f - 2 = h + 3, 0 = -4*h + 4*f + 16. Suppose 3*m + 1 = h. Let j(l) = l**2 + l - 1. Does 3 divide j(m)?
False
Let p be ((-1)/(-3))/((-4)/(-156)). Let j(h) = h**2 - 2. Let z be j(-2). Suppose z*u + 10 = 2*g, p = 3*g - 0*g - 5*u. Does 3 divide g?
True
Suppose 4*l - 5*q = -0*q + 73, -4*l = 3*q - 33. Is 3 a factor of l?
True
Let o(s) = -s**3 + 3*s**2 - 3*s + 1. Let g be o(4). Suppose -r + 12 = 2*r. Let m = r - g. Is 18 a factor of m?
False
Let l = -158 + 110. Let r = l + 69. Does 7 divide r?
True
Let i = 10 + 14. Suppose -4*j - 4*s - i = 0, 0 = -j - s + 2*s + 2. Does 11 divide 22*2/(6 + j)?
True
Let c(b) = -b**3 - 3*b**2 + 2*b - 5. Suppose -q + 4*j = -3, 21 - 3 = -4*q + j. Does 13 divide c(q)?
False
Let l(z) = z + 7. Let j be ((-50)/(-4))/(-5)*-2. Does 4 divide l(j)?
True
Let z = -8 + 14. Let g(t) be the third derivative of -t**6/120 + t**5/10 + t**4/4 - t**3/3 + t**2. Is 17 a factor of g(z)?
True
Suppose 5*s - 3 = 7. Suppose s*b - 1 = b. Is 250/6 - b/(-3) a multiple of 19?
False
Is 13 a factor of (-11 - -5)/(4/(-26))?
True
Is (4 + -5)/(-1)*23 a multiple of 3?
False
Let c = -775 - -292. Let z be c/(-6) - (-3)/6. Suppose -4*q + z = -q. Is q a multiple of 18?
False
Let p(n) = -n + 9. Let a be p(7). Suppose -4 - 2 = -a*i. Suppose -i*b + 22 = 2*v, 2*v - v - 2 = 3*b. Does 6 divide v?
False
Is 22 a factor of (-165)/(-10)*48/9?
True
Let z(u) = -3*u**3 - u. Let y be z(-1). Suppose 0 = -s - 0*k + k + 23, y*s - 3*k - 87 = 0. Is s a multiple of 7?
False
Suppose -4*w + 25 = -23. Is 18 a factor of (-42 - 3)*w/(-10)?
True
Suppose -11*m + 4*m = -630. Does 10 divide m?
True
Let b be (3/(-2))/((-6)/28). Let x = b - 2. Let t(m) = -m**2 + 8*m - 4. Does 5 divide t(x)?
False
Suppose 100 = -m - 3*m. Suppose 7*w - 2*w = -190. Let p = m - w. Is 13 a factor of p?
True
Let s = 8 + -5. Suppose -s*g + 4*r + 1 = 0, 16 - 38 = -4*g - 5*r. Suppose -w + 84 = g*w. Does 9 divide w?
False
Let l(c) be the first derivative of c**3/3 - 5*c**2 + 13*c + 3. Does 10 divide l(12)?
False
Let c = -70 - -216. Is 5 a factor of c?
False
Suppose 11*o - 8*o = 33. Suppose 3*v - o = -2. Does 3 divide v?
True
Let d = -132 + 186. Is d a multiple of 15?
False
Suppose -w + 4*j = 3*w - 428, 4*w = -j + 413. Let a = 7 - 3. Suppose -16 = a*v - w. Is 11 a factor of v?
True
Let y(d) = 2 - 4*d + 5*d + d + 3*d. Let p(r) = -r**3 + 6*r**2 - 3*r - 6. Let s be p(5). Is 11 a factor of y(s)?
True
Let g(q) be the third derivative of -q**5/60 + q**4/6 - q**3/2 - 3*q**2. Let i be g(2). Suppose -i = k - 8. Is k a multiple of 7?
True
Suppose 0 = -4*r - 5*c + 81, 2*c = -3*r - 3*c + 62. Does 10 divide r?
False
Let i(r) = 12*r + 8. Does 9 divide i(6)?
False
Let j(z) = 19*z + 4. Let n be j(8). Suppose 5*c - n = c. Is c a multiple of 13?
True
Let u = 4 + -4. Suppose -2*r - 4*m + 16 = -3*r, r - 5*m + 21 = u. Suppose 4*g - 26 = 2*h - 0, r*g - 3*h = 23. Is 5 a factor of g?
False
Let d(c) = -c + 1. Let j be d(2). Does 12 divide 147/6 + j/2?
True
Let y be 2*(-5)/((-15)/42). Let p = -31 - -16. Let f = p + y. Is f a multiple of 5?
False
Suppose x - 18 = -1. Suppose 2*b = x + 9. Is 13 a factor of b?
True
Let i be -1*(3 - 2) - -5. Suppose -g + 2 = i*t, 5*g + t + t = 10. Is (-173)/(-7) + g/7 a multiple of 13?
False
Let i(t) = t**2 + 2*t + 2. Is 10 a factor of i(-6)?
False
Suppose 0*m + 295 = 2*m + q, 5*m - 725 = -5*q. Is 25 a factor of m?
True
Let a(h) = 2*h**2 + 10*h. Is a(-7) a multiple of 14?
True
Let o(a) = -6 + 13*a**2 - 6*a**2 - 8*a**2 - 10*a. Is o(-7) a multiple of 4?
False
Let j(f) = -f + 9. Let y be j(6). Let c(w) = 4*w + 3. Is 13 a factor of c(y)?
False
Let r(x) = 4*x + 2. Is r(5) a multiple of 22?
True
Let y(z) = -10*z + 7. Let q be y(3). Let c = -3 - q. Does 14 divide c?
False
Suppose 5*q + 4*l + 51 = 0, -2*q = -4*l + 7 + 19. Let o = q - -28. Is o a multiple of 5?
False
Suppose 3 = 3*l - l - i, 3 = -3*l + 4*i. Let t be ((-11)/l)/((-2)/36). Suppose -252 = -3*r - t. Does 21 divide r?
False
Let i be (-1)/(3/(-12)) - -1. Suppose -4*c + i = -15. Suppose 2*a + 2*q - 28 = -a, -c*a + 50 = 4*q. Is 3 a factor of a?
True
Let w(n) = -n + 3. Let y be w(7). Let h(t) = t**2 - 3. Is 13 a factor of h(y)?
True
Let j = -147 + 217. Is 8 a factor of j?
False
Let v = -51 + 101. Suppose -3*o = -88 - v. Does 23 divide o?
True
Is 3 a factor of (20/8 - 2)*28?
False
Let r(k) = k**2 + 4. Let t be (-2 + 3)*0/1. Suppose t*n - 2*n = 0. Is r(n) a multiple of 4?
True
Let z be (-23 + 0)*(4 + -3). Let d = 40 + z. Is d a multiple of 11?
False
Let x = 20 - 16. Suppose -t = u - 0*u - 11, -4*u = -t - x. Is t a multiple of 8?
True
Suppose -4*h = -18 + 2. Suppose 24 = h*f - 20. Is 11 a factor of f?
True
Does 14 divide ((-18)/15)/3 - 1142/(-5)?
False
Let z(s) = s**3 + 9*s**2 + 2. Let o be z(-9). Suppose -2*y - y = 3*a - 201, 3*y = -o*a + 133. Suppose -6*x + 2*x + a = 0. Is 6 a factor of x?
False
Let a(f) = 9*f**2 + 5*f - 27. Does 13 divide a(5)?
False
Suppose 16 = 3*y - 32. Is 9 a factor of y?
False
Let d(q) = 2*q**2 + q - 5. Is 10 a factor of d(7)?
True
Suppose 4*d = -3*x + 3, 0*x - 13 = -5*x - 4*d. Suppose 3*c - 51 = -3*s, 2*s - 55 = -3*s + x*c. Is s a multiple of 14?
True
Let z = -27 + 89. Is z a multiple of 9?
False
Let v(h) = -h**2 + 14*h - 8. Let m be v(6). Suppose 2*f - 6*f = -m. Is f a multiple of 4?
False
Let q(y) = -2*y - 5. Let m(o) = 9*o + 24. Let f(d) = 5*m(d) + 24*q(d). Is f(-7) a multiple of 21?
True
Suppose -2*b - 3 + 5 = 0. Suppose 5*y = -5, 5*p + 3*y - 12 = -30. Is 2 a factor of b/p - 19/(-3)?
True
Suppose 216 = -14*x + 17*x. Is x a multiple of 13?
False
Suppose 322 = 3*b + 34. Suppose -2*x - 2*x + b = 0. Is 12 a factor of x?
True
Suppose 4*g + 63 = 3*d, g + 48 + 36 = 4*d. Does 3 divide d?
True
Let k(d) = 7*d**2 - 33*d + 12. Does 12 divide k(9)?
False
Let s(g) = -g**2 - 4*g + 2. Let v be s(-5). Is 20 a factor of ((-58)/(-4))/(v/(-6))?
False
Let s = -204 + 380. Let c = s - -80. Is c/14 + (-10)/35 a multiple of 9?
True
Suppose 3*d + 5*g - 129 = 0, 0 = -2*d + 2*g - 7 + 93. Does 30 divide d?
False
Let d(f) = f**2 + 11*f + 4. Does 4 divide d(-11)?
True
Let w be (2 + -3)/(1/(-41)). Suppose 0 = -3*m - 2*m - 2*h + 50, 3*m - w = h. Is m a multiple of 4?
True
Let d(o) = 4*o - 2*o + 0*o - 5. Let q be d(4). Suppose -q*f - 2*c + 41 = -0*c, 0 = -f - 5*c + 18. Is 13 a factor of f?
True
Let q be (0 - -1)/((-10)/(-40)). Let n(i) = 2*i**2 - 5*i + 3. Is 15 a factor of n(q)?
True
Let g = 22 + -17. Suppose -4*a + 183 = 3*f - 0*a, 5*a + 340 = g*f. Does 24 divide f?
False
Let o = -206 - -291. Is o a multiple of 13?
F