*t + 106 = -4*w, 3*w + 107 = -4*t + 2*t. Let h = t + 100. Is h a multiple of 15?
True
Suppose -7*u + 12*u - 95 = 0. Is u a multiple of 17?
False
Let u(p) = -p - 6. Let r be u(-6). Suppose r = w + 2*w - 24. Is w a multiple of 4?
True
Suppose -292 + 101 = -3*z + 2*i, i - 340 = -5*z. Does 6 divide z?
False
Let j(v) = v**3 - 6*v**2 + 4. Let l be (-111)/(-18) + (-2)/12. Is j(l) a multiple of 2?
True
Suppose 0*c - 4*c + 112 = 0. Is c a multiple of 6?
False
Let f(q) = q**3 - q - 1. Does 3 divide f(2)?
False
Let d = -101 + 145. Is 11 a factor of d?
True
Let q = -114 + 256. Does 25 divide q?
False
Let i(z) = z**3 - 11*z**2 + 2*z + 6. Is i(11) a multiple of 7?
True
Suppose -15 = m - 107. Does 20 divide m?
False
Let x(c) = 2*c**3 + 2*c**2 + c. Suppose -2*d - 4 = 4*n, 2*d + 0*d - 6 = n. Let v = n + 4. Is 13 a factor of x(v)?
True
Let v(w) = 24*w + 11. Suppose 3*a - 4*a - 8 = 4*r, -2*a + 4*r - 16 = 0. Let b(k) = 16*k + 7. Let j(c) = a*b(c) + 5*v(c). Is j(-2) a multiple of 15?
True
Let w be (-4)/18 + (-2)/(-9). Suppose 3*u - 36 = -5*x - w*x, -14 = -2*x - u. Is 3 a factor of x?
True
Suppose d + 2*d = -o + 8, -d = 3*o. Does 5 divide 5/(-1*1/o)?
True
Let p(l) = -7*l. Let d = 12 + -17. Let m be p(d). Suppose -5*r + 2*h + 25 = -28, -3*r + m = -2*h. Does 9 divide r?
True
Suppose -3*p + 4*g - 75 + 222 = 0, 0 = 5*p - 3*g - 234. Let x = 12 + -9. Suppose x*c + 15 - p = 0. Does 10 divide c?
True
Suppose -9*k - 72 = -11*k. Is k a multiple of 12?
True
Let v(d) = 4*d**2 + d + 14. Does 11 divide v(5)?
False
Let x be (4 - (-1)/1)*1. Does 6 divide (-11)/(-11) - x*-1?
True
Let y(z) = -2*z + 23. Is y(-6) a multiple of 13?
False
Let y(m) = -2*m - 4. Does 18 divide y(-11)?
True
Does 20 divide (-12)/3 + (22 - -2)?
True
Let f be (2/(-2))/(1/(-5)). Suppose -f*b + 52 = 3*j, 6*j - 4*j - 20 = 4*b. Does 7 divide j?
True
Let o = -27 - -92. Is o a multiple of 29?
False
Let w(k) = -k**3 + k**2 + 4. Let s be w(0). Suppose -4*b = 3*j + 75 - 24, s*j = -b - 16. Let m = b + 26. Does 14 divide m?
True
Let n(w) = -w**2 + 4*w + 2. Let v be n(6). Let g = -8 - v. Does 2 divide g?
True
Suppose -5 = -2*q + 3. Suppose -66 = -q*f - 2*n, -f + 2*n + 3 = -2*n. Let w = 2 + f. Does 10 divide w?
False
Suppose -3*p + 0*p + 306 = -n, -3*p = 4*n - 306. Is p a multiple of 17?
True
Suppose -4*m = -0*m - 720. Let d(p) = -p**3 + 5*p**2 - 2*p - 3. Let n be d(4). Suppose 0*b = -n*b + m. Does 12 divide b?
True
Let u(z) = -z**3 - 8*z**2 + 8*z - 3. Let p be 132/(-15) + (-1)/5. Let f be u(p). Does 7 divide 2/(0 - -2) + f?
True
Let c(a) = 4*a**2 - 2*a + 5. Is 12 a factor of c(3)?
False
Does 15 divide (1 + -2 - 1) + (69 - -8)?
True
Let d be (-5)/(-2)*-1*-2. Suppose -3*a = -d*a + 60. Does 10 divide a?
True
Let w = -49 - -72. Is 8 a factor of w?
False
Suppose 73 = -5*q + 213. Does 7 divide q?
True
Suppose -2*i - t + 18 = 0, 5*i - 43 = t + 2. Is 3 a factor of i?
True
Suppose -2*l = 5*r - 281, -4*r - 2*l + 46 = -178. Is 13 a factor of r?
False
Let r = 374 - 210. Is r a multiple of 11?
False
Let r be 4/(-8) - 106/(-4). Let i = r - 13. Is i a multiple of 13?
True
Suppose 0 = 2*d - 5 - 1. Suppose -d*o = -54 - 69. Does 13 divide o?
False
Let j(l) = 4*l**2. Let y(f) = 6*f - 16. Let h(k) = k - 3. Let q(v) = 11*h(v) - 2*y(v). Let o be q(0). Does 2 divide j(o)?
True
Let u(k) = -2*k + 3*k + 5*k**3 + 18 - 4*k**3. Is 6 a factor of u(0)?
True
Let q(p) = -5*p**3 + 2*p - 1. Let y be q(1). Let w = y + 15. Suppose k - w - 12 = 0. Is 14 a factor of k?
False
Suppose -2*r = -0*r - 8, 2*x = 4*r - 32. Is x/6*(-135)/18 a multiple of 5?
True
Let c(q) be the third derivative of 35*q**4/24 - q**3/6 - q**2. Let l be c(2). Suppose 4 = -6*r + 2*r, 0 = -4*u - 3*r + l. Does 9 divide u?
True
Let s(z) be the second derivative of -z**5/20 - z**4/2 - 5*z**3/6 + z**2 - z. Let j be s(-4). Is 3 a factor of (-2)/(4/j)*1?
False
Let d = -10 - -34. Does 12 divide d?
True
Let k(g) = g**3 - 3*g**2 + 2*g + 0*g + 2*g. Let c be k(4). Suppose -9 = o - c. Is o a multiple of 8?
False
Let a(r) = r**2 - 6*r - 24. Is a(12) a multiple of 12?
True
Let g = 4 + 50. Is g a multiple of 18?
True
Let j(n) = 5*n**2 + n. Let r(s) = s + 8. Let q be r(-6). Is j(q) a multiple of 11?
True
Suppose -12 = -3*x - 0. Suppose -3*d - 2*d - 19 = -4*o, 4*o + x*d + 8 = 0. Is (o - -1)*(-6)/(-4) a multiple of 2?
False
Suppose 0*z + 4*z - 8 = 0. Let g = z - 6. Let t = g - -21. Is t a multiple of 17?
True
Let o(h) = -h**3 + 3*h**2 + 5*h - 1. Let v be o(4). Suppose -v*p + 7*p = 32. Suppose -3*s + b = -p*s + 53, s + 3*b = 19. Is 8 a factor of s?
False
Is 18 a factor of 54*5*2*4/24?
True
Let v(z) = 3*z + 3*z - 4*z + 2*z. Let m be v(2). Let s(f) = f**2 - 4*f + 10. Does 12 divide s(m)?
False
Suppose -2*a = 2*a - 64. Is 6 a factor of (-1 + 0 - a)*-1?
False
Suppose -2*h = s + 2, 4*h + s - 4 = -10. Is 21 a factor of h + 7 + -3 + 82?
True
Let q be (-13)/4 + (-1)/(-4). Let r be 50/(-4)*18/q. Let a = 113 - r. Does 12 divide a?
False
Let t(a) = a**2 + a - 3. Let l be t(-3). Let p be 2 - l/(9/6). Suppose 3*s - 63 = -p*s. Is 14 a factor of s?
False
Let s be 0/(4/(-6)*-3). Let b = -1 - s. Does 18 divide (-1 - 1 - b) + 37?
True
Let r(u) = u**2 - 12*u + 4. Let z be r(12). Suppose f + 4 = -z*h, 0*h - h - 3*f = 12. Suppose 17 = b + 4*v, -5*b + 9*v - 4*v + 35 = h. Is 5 a factor of b?
False
Does 6 divide (72/14)/((-14)/(-49))?
True
Suppose 3*b - 20 = 5*q, 2*q + 8 = -0*q - 3*b. Is q + 6 + -1 + 20 a multiple of 12?
False
Is 4 a factor of 6 - -24 - (-6)/(-3)?
True
Let m(p) = p**3 - 4*p**2 - 4*p + 4. Let o be m(5). Suppose -3*l - o = -5*y - 38, 0 = -4*l + 4*y + 28. Let g(w) = -w**3 + 4*w**2 - w - 4. Does 2 divide g(l)?
True
Let h(k) = k + 6. Let t be h(5). Suppose 34 + t = 5*u. Is 9 a factor of u?
True
Suppose -7*c = -5*c - 140. Is c a multiple of 21?
False
Let d(b) = -3 + 2 + 0 + 6*b - b**2 - 1. Let x be d(5). Is 7 a factor of x*(28/6 - 0)?
True
Suppose -2*h + 2 = -4*h. Let o = -71 + 51. Does 3 divide (h + o)*1/(-3)?
False
Let c = 89 + -1. Is c a multiple of 13?
False
Let f be (0/(-1))/(-1 + -1). Let v = -2 - f. Let d(x) = 4*x**2 + 4*x + 2. Does 5 divide d(v)?
True
Let d(f) = f**3 + 3*f**2 - 3*f + 1. Let h be d(-4). Let r be 1/(-3) + (-1)/h. Is (-1 - 2)*(r + -17) a multiple of 18?
False
Let g(a) = 2*a + 2. Let w be g(-1). Suppose w*k + 2*k = 68. Is k a multiple of 17?
True
Let y be (14/(-4))/((-3)/12). Let q = 28 - y. Does 14 divide q?
True
Suppose 6*h + 2 = 5*h. Does 4 divide (-161)/(-21) + h/(-6)?
True
Let g(s) = s**3 - 6*s**2 + 3*s + 6. Let r(v) = -v**3 + 3*v**2 + 5*v - 2. Let w be r(4). Suppose 3*o - 21 = -3*a + 4*o, -w*o = -4*a + 30. Is 10 a factor of g(a)?
False
Let n(o) = -6*o + 3. Let i(d) = 2*d - 1. Let x(l) = -17*i(l) - 6*n(l). Is 5 a factor of x(8)?
True
Let v(d) = d - 8. Let n be v(8). Suppose 5*i + k - 40 - 77 = n, -i + 4*k + 15 = 0. Does 23 divide i?
True
Let s(n) = -n**2 + 11*n + 3. Let u be s(11). Is (-62)/(-8)*(7 - u) a multiple of 8?
False
Let q(t) = t - 10. Let s be q(10). Does 7 divide (31 + -7)/(1 + s)?
False
Let f be 0 + -3 + (-14)/(-1). Is 6 a factor of 4/(4/f) - -1?
True
Let o(m) = -3*m**3 - 11*m**2 + 3*m - 3. Does 11 divide o(-6)?
True
Let a = 240 - 86. Does 11 divide a?
True
Let z = -4 - -9. Is 7*z + 4/(-4) a multiple of 17?
True
Let l be (-14)/(-35) - (-138)/5. Suppose q = 3*q - l. Is q a multiple of 10?
False
Let n(l) = 14*l - 2. Let z be n(2). Does 3 divide z/8 - (-8)/(-32)?
True
Let b = -3 - -18. Suppose 0 = -3*c + 8*c - b. Suppose 0 = -c*q - 2*q - 3*f + 176, 5*q + f = 172. Is q a multiple of 17?
True
Suppose -g - 3*o + 126 = -5*o, 2*g = 5*o + 250. Is 34 a factor of g?
False
Is 17 a factor of 76 - (0 - 4/(-4))?
False
Let d(q) = 23*q - 13. Is 32 a factor of d(4)?
False
Let a be (3 - (-9)/(-12))*-8. Does 6 divide (5/3 + -2)*a?
True
Does 15 divide 11/(44/228) + 1 + 2?
True
Suppose s - 3*s - 36 = 4*x, -2*x = 4*s + 30. Let z = 72 + x. Let w = -37 + z. Is 14 a factor of w?
True
Let p(c) = -4*c**3 + c**2 + 2*c + 1. Suppose -5*h - 12 = -2. Let r be p(h). Suppose -4*w = -23 - r. Is 11 a factor of w?
False
Let p(i) be the third derivative of 1/6*i**3 + 5/24*i**4 - 2*i**2 + 0 + 0*i. Does 16 divide p(3)?
True
Let o = -44 + 67. Is 23 a factor of o?
True
Does 3 divide 2*(2 - (0 + 0))?
False
Suppose 6*y - 2*y = 240. Is y a multiple of 20?
True
Let d(f) = f - 7. Let s be d(5). Is -1 - -2 - 4/s a multiple of 2