 + 12*i + 35. Does 49 divide v(-4)?
True
Let k(w) = w**2 + 8*w - 2. Let c be k(-6). Let z = -8 - c. Is z a multiple of 5?
False
Suppose 0 = -18*d + 13*d + 100. Is 13 a factor of d?
False
Let u(l) = 2*l**2 - 8*l + 1. Let y be u(6). Let k = y + -18. Is k a multiple of 6?
False
Let v be (-4 + -1)*(-28)/(-35). Is 19 a factor of (-82)/v - 9/6?
True
Suppose -b = 5*k - 4, 2 = 3*b - 10. Suppose k = -x + 5*x - 80. Suppose -2*v + x = 3*v. Is v a multiple of 3?
False
Let z(j) = -j**3 + 4*j**2 + 1. Let f be z(4). Let v be -1 + (2 - f) - -3. Suppose 36 = -v*o + 6*o. Is o a multiple of 6?
True
Suppose -113 = -7*k + 1175. Is k a multiple of 23?
True
Let r be (-348)/(-15)*10/4. Suppose -2*d + t + r = 0, d - 20 = -0*d + 5*t. Is 8 a factor of d?
False
Let c(j) = -16*j - 4. Let x be (-18)/8 + 5/20. Is c(x) a multiple of 6?
False
Let x = -11 + 3. Let j(d) be the first derivative of -d**2/2 + 10*d + 2. Is j(x) a multiple of 10?
False
Suppose -v - 1 = -4*w + 2*w, -2*v + 3*w = 2. Let f be (-5 - 1)/(-2) + v. Suppose f*s = 3*s - 13. Is 9 a factor of s?
False
Let l(h) = -2*h. Let b(w) = 2*w - 12. Let y be b(8). Suppose -f - 7 = -d, y*d + 3 + 4 = -f. Is 7 a factor of l(f)?
True
Does 27 divide (-27)/((-572)/112 + 5)?
False
Let p(f) = 2*f**2 - 6*f. Let v be p(6). Let b = 72 - v. Is 12 a factor of b?
True
Let v(r) be the second derivative of r**6/180 + r**5/120 + r**4/12 - r**3/3 + r. Let o(m) be the second derivative of v(m). Is o(-2) a multiple of 3?
False
Let r = -7 - -5. Let d(g) = g + 4. Let i be d(r). Suppose 5*v - 4*c - 121 = 37, v - i*c = 34. Does 15 divide v?
True
Let u(v) = -v**2 + 10*v + 13. Let g be u(11). Suppose -13 = -3*t - 1, -4*t - 9 = -5*s. Suppose 2*b - s*f - 48 = 9, 2*b - 54 = g*f. Is 26 a factor of b?
True
Suppose -46 = -2*i - 4*w, 4*w + 26 = 2*i + 4. Is i a multiple of 3?
False
Suppose -210 = -5*w - 3*p + 201, -p - 423 = -5*w. Suppose z - w = -z. Is 14 a factor of z?
True
Let r(p) be the first derivative of -2 + 1/4*p**4 + 1/3*p**3 + 0*p**2 + 6*p. Does 3 divide r(0)?
True
Let x(v) = -v. Let s be -2 + 0/(4/2). Let t be x(s). Suppose -n - 20 = -m, 0 = -m + t*n + 4 + 20. Is m a multiple of 8?
True
Suppose 2*l + 26 = 5*k, -9 = 4*l - 5*k + 33. Let i = l + 32. Is i a multiple of 12?
True
Let n(k) = 47 + 2*k - 12 - 3*k + 37. Is n(0) a multiple of 24?
True
Let p(t) = 11*t**2 + t + 2. Let d be p(2). Suppose 4*r + 90 = 3*l, -2*l = -0*l - 3*r - 59. Let h = d - l. Is 14 a factor of h?
True
Let x be (10/(-15))/((-2)/(-270)). Is 14 a factor of (24/5)/((-12)/x)?
False
Suppose 3*s - 16 = -s. Is 14 a factor of (-2 + 0)/(s/(-28))?
True
Suppose 3*x - 4*d + 6 = 4*x, -7 = -2*x - 3*d. Is 7 a factor of (-6)/(-5)*35/x?
True
Suppose 4*p - 78 + 26 = 0. Does 13 divide p?
True
Let c = 8 + 2. Is c a multiple of 2?
True
Suppose 12*v - 48 = 9*v. Is 5 a factor of v?
False
Let u(t) = -5*t + 8. Is 23 a factor of u(-3)?
True
Let t = 181 + -136. Does 5 divide t?
True
Let f be ((-56)/6)/(5/15). Let o = -19 + f. Let h = -27 - o. Is h a multiple of 10?
True
Suppose 12 = -3*c - 0. Let g = c + 13. Does 9 divide g?
True
Suppose 3*m + 10 = w - m, -m = -4*w + 70. Let x = w + -11. Is 8 a factor of 395/35 - 2/x?
False
Let n(s) = 2*s**2 - 1. Let m be n(4). Suppose 2*u = -4*q - m - 9, 0 = -3*q + 2*u - 44. Let t = 12 - q. Does 12 divide t?
True
Suppose a = 4*a. Let m(r) = -r**2 - r + 8. Does 4 divide m(a)?
True
Let z = -60 - -86. Does 5 divide z?
False
Let j(r) = 5*r**3 + r**2 + 2. Let k be j(2). Suppose -k = -2*m - 4*d, 5*m = d - 2*d + 124. Is 20 a factor of m?
False
Let q be (-2)/4*(-12)/3. Let g(l) = -8*l + 4*l**q + 7*l - 1 - 1. Is g(2) a multiple of 11?
False
Let l(s) = -29*s + 3. Let i be l(1). Let z = i + 35. Is z even?
False
Let m be (-5)/(-1) - (1 + 1). Let u = m + 1. Suppose -4*y + 24 + 116 = 4*r, 5*r = u*y - 95. Does 19 divide y?
False
Let j = -9 - -9. Suppose -4*m - 2*u + 88 = 0, -4*m + 88 = -j*m - 5*u. Is 7 a factor of m?
False
Suppose 2*s + 2 = 3*s. Suppose 2*d + 168 = 7*d + s*y, 0 = -4*d - 4*y + 144. Is d a multiple of 16?
True
Let r(w) = w**3 + 10*w**2 - 3*w. Is 19 a factor of r(-10)?
False
Suppose -250 = 5*a + 5*h, -a - 210 = 4*a - 5*h. Let k = a - -106. Suppose 0*u + k = 4*u. Is u a multiple of 11?
False
Let t be -1*5 + (-2 - -2). Let n(b) be the first derivative of b**4/4 + 2*b**3 - b**2/2 - 2*b + 6. Does 12 divide n(t)?
False
Let o be (-1 - -2)*-1*3. Let d(h) = 0*h - 3*h + 2 - 6 - 5*h. Does 10 divide d(o)?
True
Let l(a) = 7*a**2 + a - 2. Let z(x) = -x**3 + 9*x**2 - 8*x + 5. Let p be z(8). Suppose -3*r + 4 = 2*s, s - 4 - p = 2*r. Is 12 a factor of l(r)?
True
Let r(w) = -2*w**3. Suppose 0 = -3*c + q - 4, 4*q + 4 = -5*c + 3*q. Is r(c) a multiple of 2?
True
Suppose -2*w + 4*o = 2*w - 324, -3*w + 253 = -5*o. Is 29 a factor of w?
False
Is (-2884)/(-18) + 3/(81/(-6)) a multiple of 16?
True
Is ((-5)/(-2))/((-10)/(-100)) a multiple of 2?
False
Let h = -15 + 27. Let c be 4/h - 31/3. Is 5 a factor of 58/5 + (-4)/c?
False
Let x(q) = -2*q**3 - 2*q**2 - 4*q + 10. Let d(g) = -1 + g**2 - 5 + 3*g**3 + 4*g - 5. Let y(v) = 3*d(v) + 4*x(v). Is y(6) a multiple of 8?
False
Suppose -3*h = -0 + 15. Let r be (-1)/((-2)/6)*h. Let c = r + 25. Does 9 divide c?
False
Suppose -8*z = -3 - 29. Is z a multiple of 2?
True
Suppose -y = -3*r - 6, 5*y + 0*r + 12 = r. Let i(v) = -10*v + 3. Let h(c) = -19*c + 5. Let s(t) = 3*h(t) - 5*i(t). Is 21 a factor of s(y)?
True
Let r = 24 - 2. Let p = r - 16. Does 5 divide 0 + p/(-3) - -7?
True
Suppose -5*s + 6 = -19. Suppose 3*g + j - 81 = 4*j, s*j = 5. Does 14 divide g?
True
Let g = -1 - -1. Let f(z) = -z**3 - 4*z + z**2 + 6 - 2*z**2 - 4*z**2 + g*z. Is 8 a factor of f(-5)?
False
Let s be 1*(0 + 2) + 14. Suppose s + 0 = -2*m. Let u = -6 - m. Is u a multiple of 2?
True
Suppose 4*w - 78 = 6. Suppose 0 = -4*p + w + 43. Suppose 2*l = -0*l + p. Does 4 divide l?
True
Suppose -2*f + 134 = -28. Let m = f + -41. Is m a multiple of 20?
True
Suppose u - 163 = 4*y, -3*y - 948 + 201 = -5*u. Is u a multiple of 18?
False
Let p(h) = h**3 + 7*h**2 - h - 3. Let z = -4 + -3. Is 4 a factor of p(z)?
True
Suppose 4*m + 3*u = 336, 5*u + 285 - 33 = 3*m. Suppose 0 = 3*j - 36 - m. Does 20 divide j?
True
Suppose -4*g - 3*i - 2*i + 124 = 0, 3*i - 12 = 0. Is g a multiple of 26?
True
Let l be (-3)/2 - (-23)/2. Is (-46)/(-4) - 5/l a multiple of 11?
True
Let f(l) = 5*l + 4. Let p be f(6). Suppose -4*t + 17 = -5*d - p, -5*d + 5 = 0. Is t a multiple of 5?
False
Is (3*-2)/((-14)/147) a multiple of 9?
True
Suppose 8 = -2*a, -5 = -3*h - a - 3. Suppose -h*n - 19 = -3*g - 0*n, 5*n = -2*g. Suppose 4 = u - g. Is u a multiple of 9?
True
Suppose 0 = -w - 0*w + 56. Is 14 a factor of w?
True
Suppose -12 - 3 = -3*o. Suppose o*q - 61 - 189 = 0. Does 19 divide q?
False
Let y(r) = r**3 - r. Let x be y(-1). Suppose -3*o - 1 = 2*z, 0 = 2*o - z - x*z - 11. Is o even?
False
Let o(n) = 5*n**2 - 5*n - 12. Does 22 divide o(-4)?
True
Let j(i) = -i + 1. Let r(f) = f**2 - 5*f + 10. Let b(u) = -3*j(u) + r(u). Let k be 2/4 - (-9)/2. Does 11 divide b(k)?
True
Let i = 11 - 8. Suppose -3*x + 3*j - 10 = 4*j, 5 = -4*x - i*j. Let f(m) = -4*m - 7. Does 13 divide f(x)?
True
Let q(t) be the third derivative of t**6/120 - t**5/30 - t**4/12 + t**3/3 + 2*t**2. Let g be q(2). Is (16 - 2) + 2 + g a multiple of 14?
True
Let w(p) = -2*p**2 - 4*p. Let k(o) = -o**2 - o + 1. Let y(l) = -6*k(l) + 2*w(l). Is y(5) a multiple of 15?
False
Suppose 2*z = z + 16. Suppose -2*c = 3*c, 0 = 4*q - 3*c - z. Suppose 3*i = -2*o + 7*i - 14, 0 = q*i - 20. Is o a multiple of 3?
True
Let p(k) = -k + 10. Let h be p(6). Suppose -3*n - 5*s = -175, -4*s + 15 = 2*n - 101. Suppose -28 = -h*b + n. Is b a multiple of 22?
True
Suppose 0 = -5*g + 5*x - 83 - 57, 5*x = 2*g + 68. Let k = g - -14. Is k/(-35) + (-89)/(-7) a multiple of 4?
False
Let j(t) = 3*t**2 + 2*t. Let h be j(1). Suppose -3*b = -0*b - 258. Suppose -h*m + 19 = -b. Is 6 a factor of m?
False
Does 18 divide 2*(6/(-8) + (-438)/(-8))?
True
Suppose 4*o = 28 + 16. Suppose o = -2*f + 3*f. Suppose -f = 2*i - 47. Is 18 a factor of i?
True
Let y be (-4)/((-1)/1) - -1. Suppose y*n + d - 10 = 0, -3*n - d + 5*d + 29 = 0. Does 14 divide 0 - (3 - n) - -14?
True
Suppose 4*t - 73 + 13 = 0. Does 5 divide t?
True
Suppose 0 = r + r - 4. Let s(j) = -3 + 32*j**2 + 2*j - 4*j**r + 4. Is s(-1) a multiple of 13?
False
Let k(y) = -68*y**2 + y