t(p) = p - 4. Let b be t(z). Suppose -2*v + b + 2 = 0. Is v even?
True
Let k = 0 - -3. Let f be -15*(-2 + -1)/k. Let x = f - 0. Does 5 divide x?
True
Suppose 0*b + 107 = b - h, -3 = -3*h. Is b a multiple of 28?
False
Let u(s) = 95*s + 9. Is 26 a factor of u(1)?
True
Suppose -4*m + 124 = 4*v, -4*m + 154 = 5*v - 3. Is 3 a factor of v?
True
Suppose -2*i - 144 = -5*n, 35 = 2*n + 2*i - 31. Is 10 a factor of n?
True
Suppose -5*y + 442 = -q - 248, -552 = -4*y + 5*q. Suppose 0 = -3*p + 5*v + y, -2*v + 4*v = p - 45. Does 17 divide p?
True
Let k(i) = -i - 3. Suppose 2*h + 6 + 2 = 0, -r - 17 = 3*h. Let c be k(r). Let z = c - -2. Is z a multiple of 2?
True
Suppose 2*p - 4*q = 150, 5*p + 5*q - 186 = 3*p. Is 23 a factor of p?
False
Suppose -3*n + 10 = 4. Let q = 4 + n. Does 2 divide q?
True
Suppose 241 = 4*h - 4*b - 187, 307 = 3*h + 4*b. Let t = 3 - 1. Does 8 divide t*1*h/10?
False
Let o = -138 - -182. Is 11 a factor of o?
True
Suppose 0 = 2*a + 2*r - 109 - 221, 2*a = 5*r + 295. Suppose 43 = -3*l + a. Is 13 a factor of l?
True
Let p = 73 - 135. Let i = -31 - p. Does 8 divide i?
False
Does 9 divide 657/6*(-4)/(-6)?
False
Let o be (-57)/5 - (-4)/10. Suppose 2*p + 4*n + 2 = 16, 5*n = 2*p - 59. Let z = o + p. Is 6 a factor of z?
True
Let z be 3 + -5 + 10 + 2. Suppose f + 3*f - 3 = -c, 4*f - z = -2*c. Is c a multiple of 7?
True
Suppose -5*g + 116 = -109. Does 15 divide g?
True
Let x(s) = -s**3 - s**2. Let q(v) = v**3 - v + 1. Let t(h) = -3*q(h) - 2*x(h). Let m be t(2). Suppose m*g - 16 = 2*g. Does 14 divide g?
False
Does 11 divide 3 - -22 - (-3 + 6)?
True
Suppose -2*v = 4*y + 16, -3*y = y - v + 28. Let l = y + 25. Is 9 a factor of l?
False
Let o = -10 + 12. Suppose -o*x - x = 2*r - 9, 3*r = 2*x + 33. Is r a multiple of 3?
True
Let k = -99 - -151. Is k a multiple of 16?
False
Let z(y) = -2*y + 7. Let i be z(-5). Suppose 3*x - 10 - i = 0. Is x a multiple of 9?
True
Let r be 4/(-6)*(-483)/(-14). Let n = 19 - r. Let w = 61 - n. Is w a multiple of 9?
False
Is 13 a factor of 2/4 + (-396)/(-8)?
False
Does 14 divide (-2)/5 - 2134/(-110)?
False
Suppose 70 = f - 34. Is 33 a factor of f?
False
Let i be 0 + (-2 - -1) + -1. Let x(l) = -6*l**3 - 2 + 0 + 4*l**3 - 3*l**2 - 2*l**3 - 2*l. Is 12 a factor of x(i)?
False
Suppose -2*i - g + 150 = 3*i, 5*i = 5*g + 150. Suppose 3*p - i - 12 = 0. Does 11 divide p?
False
Let t = -4 + 3. Does 4 divide 27/(-6)*-2 - t?
False
Let f(v) be the second derivative of -v**5/20 - v**4/3 + v**3/3 - v**2 + v. Let b be 3 + 5/((-15)/24). Does 13 divide f(b)?
True
Let w(o) = 5*o - 2 + 0 + 0 + 1. Is w(4) a multiple of 5?
False
Suppose 7*p - 5*j = 3*p - 34, -3*j + 24 = -3*p. Let d = -1 - p. Suppose -2*o + 39 = d*n, 2*n - 18 = -o - 2*n. Does 10 divide o?
False
Does 34 divide ((-204)/(-10))/(-2 - 55/(-25))?
True
Suppose 2*u + 4 = 4*v, 2*v + 2*u + 4 = -0*u. Suppose -2*o + 5*i = o + 27, v = 2*o + i + 31. Let h = 24 + o. Is 10 a factor of h?
True
Suppose -5*k + 4*d + 79 = 0, 3*k + d - 61 = -0*d. Does 6 divide k?
False
Suppose 12 = -2*o + 6*o. Suppose 2 = 4*q - 5*q, -5*w + o*q = -96. Does 18 divide w?
True
Let p(q) = q**3 + 7*q**2 + 6*q. Let z = 4 - 8. Is p(z) a multiple of 24?
True
Let t(s) = s**2 - 6*s - 7. Let w be t(8). Let u = w + 7. Does 16 divide u?
True
Let j(x) = -x + 8. Does 6 divide j(0)?
False
Is 4 a factor of 5 + (4/(-2) - -4)?
False
Let b be 42/(-5) - (-6)/15. Suppose 5*r - v + 11 = -8, 18 = -5*r + 2*v. Is 14 a factor of 21/(r/(b/3))?
True
Suppose -5*p = -c + 22, c - 6 = -4*c - p. Is c/5 - (-680)/50 a multiple of 7?
True
Let c = 5 + -1. Suppose -7*s = -c*s - 60. Is s a multiple of 14?
False
Does 4 divide 6/4*(-2 - 76/(-6))?
True
Let o be (-3)/(-6) + 1/(-2). Suppose -3*g + 3*f + 33 = -2*g, -2*f - 10 = o. Is 9 a factor of g?
True
Let k be 84/9*(-60)/(-8). Is ((-18)/15)/((-3)/k) a multiple of 21?
False
Let v(c) = 3*c. Let n(k) = -k**2 + 7*k - 6. Let s be n(5). Let h be v(s). Suppose z = h + 28. Is 21 a factor of z?
False
Suppose 23*n = 18*n + 200. Does 20 divide n?
True
Is (-117)/(-6)*(-6)/(-9) a multiple of 5?
False
Let t(b) = 2*b - 7. Let m(n) = -n + 8. Let l(a) = 3*m(a) + 2*t(a). Is l(-6) a multiple of 2?
True
Let p be (-2 + (-15)/(-6))*0. Suppose 8 = 4*o - p*o. Suppose o*g + 0*t + 3*t - 48 = 0, 0 = -g + t + 14. Does 15 divide g?
False
Let w(g) = g**3 - 11*g**2 + 6*g + 9. Let z be w(10). Let f = z + 77. Does 12 divide f?
False
Suppose -5*h = -4*h - 89. Suppose 290 = -5*m + 5*p, -2*p = 3*m + 167 + 32. Let o = m + h. Does 13 divide o?
True
Let n = 163 - 73. Does 10 divide n?
True
Let n(i) = -i**2 + 12*i - 6. Let z = 6 - 1. Let p be n(z). Let u = -17 + p. Is u a multiple of 6?
True
Suppose 0 = -d - 2*y - 6, -d = 3*d - 2*y - 6. Suppose 4*t - 4 - 8 = d, -3*t - 51 = -4*c. Is 5 a factor of c?
True
Let c = 8 + -4. Let g(v) = 2*v - 10. Let p be g(9). Suppose 4*u - c = p. Is 3 a factor of u?
True
Suppose -16 - 5 = 3*v. Let g(c) be the second derivative of -c**3/6 - 2*c**2 + c. Is g(v) a multiple of 2?
False
Suppose m = -0*m - 1. Let x(g) = -66*g + 1. Does 23 divide x(m)?
False
Let c(r) = 7*r**2 - 5*r + r**3 + 3 + 3*r + 5. Let s(m) = -m**2 - m + 5. Let x be s(-4). Is 12 a factor of c(x)?
False
Is 7 a factor of (-33)/(-3) + (9 - 3 - 3)?
True
Let o(g) = -22*g - 4. Does 10 divide o(-2)?
True
Let f = 87 - 39. Is f a multiple of 20?
False
Let x = 3 - 4. Is 8 a factor of (-8)/(-1)*x*-3?
True
Let j = 22 + -12. Does 10 divide j?
True
Suppose -3*d + 752 = -d. Suppose -4*t + 7*t = b + d, -3*t + 388 = 5*b. Suppose 4*p - t = -3*i, -3*p = -i + 2*p + 61. Is i a multiple of 16?
False
Suppose -33 = 4*r - 5*u + 33, 4*u = -r - 27. Is (r/2)/((-1)/2) a multiple of 19?
True
Suppose -o + 0*o = -33. Suppose -5*x - w + 204 = 0, 2*w = -3*x + 95 + o. Let i = x + -16. Does 16 divide i?
False
Let b(p) = p**3 - 10*p**2 + 2*p + 7. Let n be b(10). Let s be 3*3/(n/(-6)). Does 10 divide (-4 - s)*(-1 + -4)?
True
Let t(c) = -c**3 + 16*c**2 + 6*c + 12. Is 18 a factor of t(16)?
True
Let l(t) = 7*t**3 + t**2 + 2*t - 1. Is l(2) a multiple of 11?
False
Suppose 5*l - 2*a = 21, 0 = -4*l + 2*a + a + 21. Suppose 0 = -2*x - l*x - 4*q + 92, x - 2*q = 24. Is 10 a factor of x?
True
Let y = -28 + 57. Let o(l) = 3*l**2 + l + 1. Let p be o(4). Let q = p - y. Is 12 a factor of q?
True
Is 26 a factor of (1 - 466/(-6)) + (-42)/63?
True
Let u be 76/6 + 5/15. Suppose 0*g = g - u. Is 13 a factor of g?
True
Let r(k) = k**3 - 2*k**2 + 7*k - 13. Is 4 a factor of r(4)?
False
Let y(z) = -4*z**3 + 8*z**2 - z - 10. Let a(d) = 3*d**3 - 8*d**2 + d + 9. Let n(i) = -6*a(i) - 5*y(i). Let x be n(-6). Let l = -83 - x. Is l a multiple of 15?
False
Let t be 4/(-10) + (-108)/(-20). Suppose 233 = t*o - 202. Suppose -5*n = 3*w - o, 0*n - n + 5*w = 5. Does 15 divide n?
True
Let d = 8 - 5. Suppose -2*s - 13 + d = 0. Let g = s - -17. Is 12 a factor of g?
True
Let t(x) = -2*x + 7. Let d be t(6). Let f = -3 - d. Let h = f + 1. Does 2 divide h?
False
Let b(u) be the third derivative of u**7/2520 - u**6/720 - u**5/20 + u**4/12 - u**2. Let p(x) be the second derivative of b(x). Does 15 divide p(6)?
False
Let u(f) = f**3 + 16*f**2 - 3*f - 9. Is 6 a factor of u(-16)?
False
Let m(o) = 15*o - 2. Let n be m(2). Suppose -112 = -5*h + h - 3*s, h + 5*s - n = 0. Does 4 divide (-2 + -1)/((-6)/h)?
False
Suppose 2*r - 9 = 5. Does 2 divide 18/r - (-12)/28?
False
Suppose -2*l = -3*l + 2*i + 4, -4*i - 20 = -5*l. Suppose -j = -l*j + 9. Suppose -4*a + 25 = 5*w - 119, j*a = -5*w + 148. Is w a multiple of 12?
False
Suppose -3*j - 42 = -2*v, -2*j + 12 + 2 = v. Does 9 divide v?
True
Let k(z) = 6*z - 63. Is 11 a factor of k(16)?
True
Let m(k) = -3*k. Let w(s) = -7*s. Let h(z) = -5*m(z) + 3*w(z). Is 17 a factor of h(-7)?
False
Let c = 2 + 13. Suppose -c = -3*t + 3. Is 4 a factor of 21*(1 - -1)/t?
False
Let p = 19 - 15. Suppose p*x - 182 = 46. Is x a multiple of 15?
False
Let o(i) = 6 + 5*i - 2*i - 2*i. Let f be o(-9). Does 6 divide (2/f)/((-1)/9)?
True
Let t = 103 - 17. Does 15 divide t?
False
Suppose 0 = -3*n + 5*n - 148. Is 37 a factor of n?
True
Suppose -2*b = -4*c - 310 - 200, -3*b - c + 730 = 0. Suppose -119 = -3*l + 5*y, -5*l + y - 2*y = -b. Is 16 a factor of l?
True
Is (-8)/((-8)/6 - -1) a multiple of 8?
True
Let h = -9 - -16. Let l be (-2)/h + 92/28. Suppose l*j = 2*g - 80, 2*g = 5*j - 64 + 152. Is g a multiple of 17?
True
Let a be (-26 + -3)/((-2)/4