e z = 5*o + 4*q, -2*o = -5*o + 3*q + 24. Does 10 divide o?
True
Suppose 0 = 5*w - x - 18, 5*w + x + 16 = 38. Let q(h) = h**3 + 8*h**2 + 3*h - 4. Let j be q(-7). Does 11 divide 762/j - (-1)/w?
False
Let f = -4 - -23. Let t = f - -64. Suppose -3*z = -15, -z + t = 2*r + 22. Is 14 a factor of r?
True
Let t = 163 - 91. Does 9 divide t?
True
Suppose -2*i - 42 = -5*i - 3*u, -3*u + 18 = i. Is i a multiple of 3?
True
Suppose -5*g = 3*z - 189, 0*g - 35 = -g - 2*z. Let o = -20 + g. Is 5 a factor of o?
False
Suppose 384 = y - 5*y. Is 3 + -1 + y/(-4) a multiple of 13?
True
Let g(w) = -w**3 + w**2 + 50. Let i be g(0). Suppose -z - 293 + i = -5*k, -104 = -2*k - 3*z. Is 22 a factor of k?
False
Is 6/2*(-169)/(-39) a multiple of 13?
True
Suppose 2*d + 25 = 2*g + 5*d, 4*g = -3*d + 35. Suppose 2*x - 32 = g*y, -3*x + y + 82 = 2*y. Suppose -a + 0 = -x. Is a a multiple of 13?
True
Suppose -3*f = -135 + 3. Is 11 a factor of f?
True
Does 12 divide (-10)/(-3)*1008/40?
True
Suppose -3*z + 3*n = -2*z + 11, 2*z + n - 13 = 0. Suppose 0 = z*y + 37 - 245. Is 21 a factor of y?
False
Let d(v) = -1 + 2*v + 3 + 3*v**2 - 2. Let w(m) = -m**3 + 5*m**2 + 2. Let s be w(5). Is 7 a factor of d(s)?
False
Let i(j) = -j**2 + 8*j + 13. Let k be i(9). Let v = 9 - k. Suppose v*l + 33 + 32 = 4*t, 4*t + 3*l - 25 = 0. Is t a multiple of 5?
True
Let h be -3 + -2 + (-13)/(-1). Let k = -4 + h. Suppose k*r = r + 18. Is 3 a factor of r?
True
Let r(j) = 1 + j + 5*j**2 - 5*j + 2*j. Suppose 5*g = 4*x - 29, 2*x + g - 4 + 7 = 0. Is r(x) a multiple of 4?
True
Suppose -5*w + 19 = -g, -2*g - 7 = -4*w + 13. Suppose -w*i - 10 = -166. Is 13 a factor of i?
True
Let h(u) = -u**3 + 13*u**2 + 15*u + 8. Suppose -55 = -4*v + 1. Is h(v) a multiple of 11?
True
Suppose -p + 2*p + 4 = 0. Let y be -1 + 3 - (-6 - p). Suppose j + 0 - y = 0. Is 4 a factor of j?
True
Suppose -q - 4*q = -315. Is 9 a factor of q?
True
Suppose 3*f + 0*f + 31 = 4*q, 0 = -2*q - f + 3. Does 9 divide 19 - q - (0 + 2)?
False
Let w(n) = 2*n**2. Let m be w(1). Suppose -1 = -x - m. Is -3 + (-24)/(-2) - x a multiple of 10?
True
Suppose -1480 = -11*o + 3*o. Is o a multiple of 27?
False
Suppose 0 = -3*s - 2*i + 98, -6*s + 2*i = -2*s - 126. Is 2 a factor of s?
True
Let w(j) = 2*j**3. Let d be w(1). Suppose 68*l - 67*l = 3. Let z = l + d. Is z a multiple of 4?
False
Let y(s) be the second derivative of 1/12*s**4 + 7/6*s**3 - s - s**2 + 0. Does 7 divide y(-9)?
False
Let h(u) = u - 6. Is 2 a factor of h(25)?
False
Let q be 4/(1*(0 - -2)). Suppose 0 = q*p - 5*p + 60. Is p a multiple of 10?
True
Let h(w) = 5*w**2 - 4*w + 7. Let k(a) = 2*a**2 - a + 2. Let g(s) = -2*h(s) + 7*k(s). Is g(-2) a multiple of 6?
False
Suppose -5*d = 3*y - 21, y = 2*y + 4*d. Is 4 a factor of y?
True
Suppose 3*k - 5*k = -66. Is 11 a factor of k?
True
Let p = 10 - 9. Suppose -c + 4*y + p = 12, 2*c - 14 = -y. Does 14 divide c*(-1 + 19/5)?
True
Let a(r) = -1 + 0*r - 3 - 1 - 9*r. Is a(-8) a multiple of 27?
False
Is ((-1 + 1)*1)/3 + 72 a multiple of 24?
True
Let v(g) be the first derivative of -g**2/2 + g - 2. Is 2 a factor of v(-4)?
False
Suppose -3*m + 10 = -5. Suppose m*k = -0*k + 5. Let o = 9 + k. Does 4 divide o?
False
Suppose 88 = m - 4*z, 0 = -0*m + 2*m - 3*z - 171. Is 5 a factor of m?
False
Suppose 4*v + 85 = 3*y, -2*y - 2*v + 52 = -0*y. Is 12 a factor of y?
False
Let v(r) = 21*r. Let b = 11 - 9. Does 14 divide v(b)?
True
Suppose 2*j - 26 = 4*m, 2*j = -j - 3*m + 3. Does 3 divide j?
False
Let w be 52/9 - 8/(-36). Suppose 3*u - 39 = -2*l, -w*l + 83 = -2*l + 5*u. Is 9 a factor of l?
True
Suppose 104 = 3*x - 70. Does 4 divide x?
False
Is 53 a factor of (((-44)/3)/(-11))/((-2)/(-564))?
False
Let p = 25 - -11. Is p a multiple of 18?
True
Let q = -74 - -241. Does 12 divide q?
False
Suppose -2*k + 5*b - 14 = -2, 2*k + b - 12 = 0. Suppose 0*i + 9 = i - k*a, 5*i - 27 = 2*a. Suppose -2*x = i*z - 246 + 90, 0 = -5*x + 15. Is z a multiple of 15?
True
Let v(c) = 6*c - 1. Let p(m) = 7*m - 2. Let j(x) = -3*p(x) + 2*v(x). Let d be j(6). Let a = d + 80. Is 11 a factor of a?
False
Is 5 a factor of (-45)/(-12)*1*4?
True
Let r(o) = -o + 1. Let d be r(-3). Suppose -3*z = d*f - 34, -2*z = -4*f + f + 34. Is 5 a factor of f?
True
Let p(g) = g**3 + 22*g**2 + 39*g + 25. Is p(-20) a multiple of 22?
False
Does 15 divide 25*(-1)/2*-6?
True
Let g(i) = -4*i - 9. Let b = -20 - -13. Is 19 a factor of g(b)?
True
Suppose -4*q = 4*a - 19 + 3, -3*q = -5*a - 44. Let h = -5 + q. Suppose -w - 2*m + 13 = 0, 2 = 3*w - h*m - 1. Is w a multiple of 3?
False
Let b = 17 + -6. Suppose b + 3 = 2*g. Is 3 a factor of g?
False
Does 7 divide (-19 + 5)/(-1*1)?
True
Let o(y) = y**3 - 10*y**2 + 9*y + 6. Let i be o(9). Suppose 3*l - i = 0, -s + 4*l = -l + 2. Is s even?
True
Suppose z - 9 = -5*o, 2*z = 5*o - 0*z - 12. Suppose -20 = -6*r + o*r. Suppose -r*s + 2*l - 5*l + 80 = 0, 0 = -2*s - 4*l + 32. Does 10 divide s?
False
Let u(g) = g**3 + g**2 + g. Let o(d) = -3*d**3 - 8*d**2 + 3*d - 4. Let p(s) = -o(s) - 2*u(s). Let k be p(-5). Let t = -32 + k. Does 14 divide t?
False
Suppose -2*j + 86 = -l, 5*j - 200 + 32 = 2*l. Let t = l - -170. Is t a multiple of 23?
False
Suppose u = -u + 6. Does 17 divide 8/(-12) - (-59)/u?
False
Let z be (123/9)/(3/18). Suppose z = 3*m + 16. Does 11 divide m?
True
Is 16 a factor of 1170/72 - 1/4?
True
Does 2 divide -5 + 176/40 + 226/10?
True
Suppose 5*x - 11 = 34. Suppose -v = 4*k - 15, -4*k + 21 + x = -2*v. Suppose 5*l + 5*a - 65 = 0, k*l + a - 69 = -3*a. Is 11 a factor of l?
False
Suppose 2*n = 135 + 119. Let o = n + -196. Let g = -27 - o. Is 15 a factor of g?
False
Is 31 a factor of (10/(-15) - (-281)/3)*1?
True
Suppose 5*u - 3*u - 900 = 0. Does 10 divide (0 - 1)/((-15)/u)?
True
Suppose 5*z = -3*o + 85, -4*z - 5*o + 45 = -36. Suppose -q + 5*f = -33, 3*q + 0*f = -2*f + z. Is 8 a factor of q?
True
Suppose 7*l - 6*l = 47. Is l a multiple of 8?
False
Let z(a) = a**3 + 3*a**2 - 1. Let x be z(-2). Let c(o) = -4*o - 4. Let r be c(-7). Suppose r + 90 = 3*k - 2*d, d + 111 = x*k. Is 18 a factor of k?
True
Let h(f) be the third derivative of -f**5/60 - f**4/3 - 5*f**3/6 + 2*f**2. Is h(-7) a multiple of 2?
True
Let o = 289 - 204. Does 28 divide o?
False
Suppose 0 = -2*i - 10, i + 73 = -5*u + 268. Is u a multiple of 10?
True
Let q(o) = -o + 1. Let c be q(-5). Let z(l) = -5*l**2 + 6*l + 4. Let g be z(c). Is g/(-15) - (-2)/(-6) a multiple of 5?
False
Suppose 0 = t + t. Let z(x) = t - 3 - x + 0*x. Is z(-6) a multiple of 3?
True
Let q(o) = 4 + 3 - o + 0. Is 7 a factor of q(-7)?
True
Let z = -18 + 30. Is 12 a factor of z?
True
Is 21 a factor of 4 - (-3 + (3 - 113))?
False
Let j(o) = -3*o**2 + 8*o - 9*o + 2*o**2 + 4 + 3*o**2. Let x be j(-3). Suppose x = -3*b + 124. Does 17 divide b?
False
Suppose -5 = -4*h - x + 215, 2*h - 92 = 4*x. Does 18 divide h?
True
Let p(a) = -a**2 + 2*a - 2. Let m be p(1). Let s(z) = 2 - 26*z**3 - z**2 - z**2 - 1. Does 9 divide s(m)?
False
Suppose 0 = -4*h - 5*a - 5 + 247, 2*h + 4*a - 124 = 0. Is 29 a factor of h?
True
Suppose -2*y + 23 = 2*p - 35, -4*p - 14 = -y. Is 2 a factor of y?
True
Let g = 181 - 118. Let l = g + -38. Is 13 a factor of l?
False
Let s(b) = b**3 - b**2 - b + 2. Let t be s(0). Is 9 a factor of t/9 + 316/36?
True
Suppose -15*a = -17*a + 124. Does 12 divide a?
False
Let b be (24/18)/(2/6). Suppose 5*p - 4*c = 108, 4*p - b*c = 3*p + 12. Is 8 a factor of p?
True
Let v be (-6)/(-4)*264/9. Suppose -2*z + 68 = b, 0*z + 5*b = 2*z - v. Is z a multiple of 14?
False
Let a(m) = -m**3 + 5*m**2 + 12*m - 22. Does 5 divide a(6)?
False
Let r(s) = 2*s**2 + 8. Let m be r(-6). Suppose 0 = -2*h + 6*h - m. Is h a multiple of 15?
False
Let n(f) = -f**3 - 8*f**2 + 8*f + 12. Does 21 divide n(-9)?
True
Suppose -56 = -3*q + 4. Is 14 a factor of q?
False
Let i(t) be the second derivative of t**4/12 - 3*t**2 - t. Is 15 a factor of i(-6)?
True
Let p be 0 - -3 - (-1)/1. Suppose 0 = 2*v - v + 1, -2*h + p*v + 10 = 0. Suppose -h*n = t - 33 - 20, n = 5*t + 7. Does 17 divide n?
True
Let b(t) = 14*t. Let o be 17/((-2)/(-2)) - 2. Let n be (-3)/(-2)*20/o. Is 11 a factor of b(n)?
False
Suppose 0 = 5*k + 2*k - 1365. Does 15 divide k?
True
Suppose -4*s + 4*i + 130 = -186, 0 = -5*s + 2*i + 380. Does 9 divide s?
False
Let t = 25 + -25. Suppose t = -2*z - h + 115, -5*z + 2*h = -320 + 46. Is 8 a factor of z?
True
Let b(z) = 14*z**