True
Suppose 1 = 2*x - 3. Suppose -2 = 2*z, -z + 29 - x = 4*i. Does 6 divide i?
False
Let b(o) = 25*o**2 - 2*o + 2. Let m = 7 - 5. Let l be b(m). Suppose 6*c = 4*j + c - 119, -2*c + l = 4*j. Is 13 a factor of j?
True
Let j(m) = 2*m**2 + 6*m + 5. Is j(-4) a multiple of 10?
False
Suppose -4*r + 3 + 7 = f, -5*f - 10 = 0. Suppose 4*w = 12, l + 2*w - 46 = -r*l. Is l a multiple of 10?
True
Let k = 157 + -92. Is 234/k*2*5 a multiple of 18?
True
Let o(z) be the second derivative of z**4/12 - z**3 - 5*z**2 + 5*z. Suppose 4*d - 50 = -5*w + 5*d, -3*d = -2*w + 33. Is o(w) a multiple of 6?
False
Let h = 1 - -1. Suppose 0 = -2*m + 5*v + 77, -v + 4*v = 4*m - 119. Suppose -m - 6 = -h*p. Is 16 a factor of p?
True
Let i = 102 - 52. Is 25 a factor of i?
True
Suppose 0 = 17*s - 50 - 205. Does 9 divide s?
False
Let f(b) = 4*b. Let i be 4/(-10) - (-7)/5. Is f(i) a multiple of 2?
True
Let x(y) = y**2 + y + 1. Let s be x(-2). Suppose k + s*b = 78, -b + 0*b = 4*k - 301. Is 25 a factor of k?
True
Let i be -1*138/4*-2. Suppose -2*c = -5*c + i. Is 23 a factor of c?
True
Let j = 11 + -4. Let w(g) = g + g - 3 + 0*g. Is 6 a factor of w(j)?
False
Is 3 a factor of (-3)/(-1)*(6 - 5)?
True
Suppose 2*s + 0*s + 134 = 0. Let l = -12 - s. Suppose 2*i = 3*z + l, -3*i + 66 = -0*z + z. Is i a multiple of 11?
False
Let y(s) = -2*s**2 + 21*s - 13. Let d(u) = u**2 - 10*u + 7. Let z(a) = 5*d(a) + 2*y(a). Let f be z(7). Is -10*(15/(-6) + f) a multiple of 3?
False
Suppose -5*v = -4*v - 2. Suppose 0 = -6*f + v*f + 60. Is f a multiple of 15?
True
Let j(z) = -z**2 + 22*z - 1. Does 19 divide j(15)?
False
Let c(p) = -12*p + 8. Let n(r) = 11*r - 7. Let w(u) = -5*c(u) - 4*n(u). Is 24 a factor of w(5)?
False
Suppose -49 = -g + 5*r + 126, 0 = -2*g - 5*r + 275. Does 27 divide g?
False
Suppose 4*j + 23 = -5. Let v(b) be the second derivative of b**4/12 + b**3 + 5*b**2 - b. Is v(j) a multiple of 9?
False
Let a(w) = -5*w - 3. Suppose -140 = -5*o - 0*o. Suppose o - 8 = -5*i. Does 13 divide a(i)?
False
Let g = 5 - 3. Suppose 3*i + 10 = g*p, -4*p + 20 = i - 28. Does 7 divide p?
False
Suppose 4*z + l = 78, 3*z + z = 4*l + 68. Does 4 divide z?
False
Let p(d) be the first derivative of d**4/4 - 4*d**3/3 + 2. Let l be p(4). Suppose 0 = -4*n + y + 70 + 66, 5*n - 3*y - 163 = l. Is 13 a factor of n?
False
Let y(c) = -c + 3. Let d be y(3). Let h be 1*(-1 + (d - -4)). Suppose -q - h = -0, 5*r + 4*q = 58. Does 7 divide r?
True
Let q(v) = v**2 - 6*v + 3. Let t be q(4). Let s(l) = -4 + l**3 - 1 - 2 + 6*l**2. Does 12 divide s(t)?
False
Let h = 53 - -3. Is 8 a factor of h?
True
Let b = 10 - 5. Suppose -5*z - 5*w + 15 = 0, 0 - 10 = -b*w. Does 5 divide 2*7 + (z - 3)?
False
Let x(o) = 3*o**2 + 12*o - 6. Let n be x(-4). Let v(t) be the third derivative of -t**5/60 - 5*t**4/12 + t**3/6 + t**2. Is v(n) a multiple of 9?
False
Let g be ((-1)/2)/(3/234). Let k = g - -89. Is k a multiple of 25?
True
Suppose 4*w - 179 = -a, -4*w - a - 3*a = -188. Does 11 divide w?
True
Let u(p) = 3*p + 30. Is u(9) a multiple of 25?
False
Suppose -2*d - 8*u + 13*u = -272, 4*d + u = 566. Is 24 a factor of d?
False
Suppose -18 = t - 2*q, 3 = -5*t - 2*q - 27. Is 13 a factor of (-1)/4 - 106/t?
True
Let s(l) = -l - 3. Let q be s(7). Let z be (4/(-5))/(q/25). Suppose 0 = 2*v + v - 2*j - 13, 2*v - 4*j + z = 0. Is 3 a factor of v?
False
Suppose -18 - 9 = -3*j. Is 4 a factor of j?
False
Is 8 a factor of ((-216)/(-42))/((-6)/(-56)*1)?
True
Let p(n) = 2*n**2 - 13*n + 18. Does 6 divide p(8)?
True
Suppose 4*q - 7*q - 3*j - 9 = 0, 2*j - 1 = -q. Let a = -15 - -14. Let u = a - q. Is 6 a factor of u?
True
Let o(z) = z**2 - z + 1. Let k = -7 - 2. Is 27 a factor of o(k)?
False
Let v = -142 + 136. Suppose -a + 5*q - 3 = 8, -3*a - q - 1 = 0. Let c = a - v. Is c a multiple of 2?
False
Let d(h) be the third derivative of -3*h**2 + 1/2*h**3 - 1/6*h**4 + 0*h + 1/60*h**5 + 0. Is d(4) a multiple of 3?
True
Let p be 2/(-7) - (-12)/42. Suppose -i - 2*i + 138 = p. Is i a multiple of 12?
False
Let f = -11 - -93. Is f a multiple of 19?
False
Let k = -75 + 129. Is k a multiple of 18?
True
Is 13 a factor of (-48)/120 - (-324)/10?
False
Let i(j) = j**3 - 6*j**2 + 2*j - 7. Let k be i(6). Suppose k*v + 7 = 47. Let r = 15 - v. Is 5 a factor of r?
False
Suppose o + 10 - 34 = -2*y, -8 = 4*o. Let w(h) = h**2 - 11*h - 14. Is w(y) a multiple of 12?
True
Suppose -u + 18 = -5*r, 0 = -5*r + 4*u - 3 - 9. Let k be (-2 + 1)*-1 - r. Does 16 divide 5*(-1 + 39/k)?
False
Let g be (-4)/6 + (-2)/(-3). Let a(f) = -2*f**3 - 2*f**2 + f**3 - 1 + g*f**3. Does 4 divide a(-3)?
True
Suppose -3*u - 18 = -k - 4, 0 = 2*k + 4*u - 48. Suppose -3*r - 3*l + 107 = k, 4*r - 81 = 3*l. Is 23 a factor of r?
False
Let i(q) = 2 + 2 - 3*q + 0*q - 4*q. Is i(-4) a multiple of 16?
True
Suppose -h - c + 5 = 0, 5*h + c - 15 = -2*c. Let w(x) = -2*x + 47. Is w(h) a multiple of 14?
False
Suppose 5*p = -0*d + d - 29, 0 = -d + p + 9. Is 2 a factor of d?
True
Let w(d) = -6 - 10*d + 2*d**2 + 5*d**2 - 5*d**2. Does 18 divide w(8)?
False
Suppose 0 = 7*y - 9*y + 148. Is 14 a factor of y?
False
Let t = -6 - -18. Suppose -t = -2*n + 2. Is n a multiple of 7?
True
Suppose 0 = 5*n + 5 + 15. Is (5/n)/((-2)/8) a multiple of 2?
False
Let t(q) = -2*q**3 - 3*q**2 + 1. Let x be t(-2). Suppose -75 = -n + 6*b - 2*b, -x*b + 174 = 3*n. Suppose -2*l = -5*l + n. Is l a multiple of 9?
False
Suppose -2*f + 74 = -22. Is 12 a factor of f?
True
Let b(g) = -g**2 + 11*g - 17. Is 3 a factor of b(8)?
False
Let q(w) = -w**3 - 11*w**2 - 14*w + 4. Is 3 a factor of q(-10)?
False
Suppose -2*l = l - 36. Suppose 0 = -x + 2*x - l. Is x a multiple of 12?
True
Let p = -63 - -12. Let d = p + 72. Is 11 a factor of d/9*3*3?
False
Is 6 a factor of (-21)/(-2)*(11 - -1)?
True
Suppose -44*f + 47*f - 690 = 0. Is f a multiple of 19?
False
Let h(f) = f**3 + 7*f**2 + 4*f + 2. Is h(-6) a multiple of 7?
True
Let d be (-18)/(-8)*24/9. Let h = -2 + d. Suppose -2*g + 6 = 2*t - 4*t, -3*g = -4*t - h. Does 8 divide g?
True
Suppose -8*j - 2208 = -16*j. Is 12 a factor of j?
True
Suppose -n + 20 = 82. Suppose 3*f - 8 = 4*j - 108, f + 3*j + 16 = 0. Let p = f - n. Is 12 a factor of p?
False
Suppose 0 = 2*s + 5*r - 111, -5*s + r + 243 = 2*r. Does 16 divide s?
True
Does 10 divide (27 - -2)*(-1 + 2)?
False
Suppose -9 = -3*m - 2*v - 0*v, -6 = -2*m - 4*v. Suppose 5*b - 223 = 6*l - 2*l, -135 = -m*b + 2*l. Is 12 a factor of b?
False
Suppose 4*v - 34 = 2. Is v a multiple of 4?
False
Let l be (16/5)/(2/(-10)). Let w(d) = d**3 + 17*d**2 + 12*d + 18. Is 24 a factor of w(l)?
False
Let n be (62/(-8))/(5 - 21/4). Let m = -27 - -16. Let q = m + n. Is q a multiple of 10?
True
Let i(o) = 12*o. Let v be i(7). Suppose 4*l = v + 344. Suppose -2*k - 31 + l = 0. Is 17 a factor of k?
False
Suppose 0 = -4*s + 5*b + 109, -s - b = -25 - 9. Is 8 a factor of s?
False
Let i = 53 - 36. Is 6 a factor of i?
False
Let h = -5 + 10. Let t(z) = z**3 + z**2 - z + 5. Let p be t(0). Suppose -4*y = -5*n + 160, h*n - p*y - 259 + 104 = 0. Is n a multiple of 21?
False
Let z(k) = -10*k - 2. Let s(q) = 29*q + 6. Let a(p) = -4*s(p) - 11*z(p). Suppose 0*x = -2*x - 4*u - 6, 0 = -5*x + u - 15. Is a(x) a multiple of 8?
True
Suppose -n - 2*n = 4*l - 19, -5*l = 2*n - 1. Does 2 divide n?
False
Let d(c) be the first derivative of -33*c**2/2 + c - 2. Let z be d(1). Is (-296)/z - (-1)/(-4) a multiple of 7?
False
Let n = -5 - -3. Let q be (0*1/(-3))/n. Suppose -2*f = d - 21, q*d + 2*f = 4*d - 124. Does 17 divide d?
False
Let l(r) = -2*r - 11 - 15*r + r + 10. Is 14 a factor of l(-2)?
False
Let b(y) = -35*y - 22. Is 18 a factor of b(-6)?
False
Let m(o) = o - 4. Let s be m(7). Let c(g) = g**2 - s - 2*g + g - 2. Does 7 divide c(-4)?
False
Suppose -3*b + 4*k - 30 = 0, 3*k - 3 + 0 = -b. Let s(x) = 2*x**2 + 7*x + 8. Does 12 divide s(b)?
False
Let c(p) = p**3 + 9*p**2 - 10*p - 8. Let d be c(-10). Let u = d - -16. Is u a multiple of 8?
True
Suppose 0 = -5*t - 49 - 6. Let c(o) = o**3 + 10*o**2 - 12*o - 11. Let k be c(t). Let u(v) = -v**2 - v + 3. Does 2 divide u(k)?
False
Suppose -8 - 1 = 3*m. Is 3/3 - m*4 a multiple of 3?
False
Suppose -x = 2*x - 27. Let a be 2/4*(x - -1). Suppose 37 = 3*s + a*v, 0*s - v = 5*s - 25. Does 2 divide s?
True
Suppose -3*t - u = 4, 5*t + u - 4 + 8 = 0. Does 12 divide 23 + 1 + 0 + t?
True
Suppose 0 = -5*o - 2*m + 26, o - 1 = -4*m + 