Suppose 79 = -4*l - 49. Suppose 5*v + 35 = 315. Let s = v + l. Is 10 a factor of s?
False
Let u(x) = -x**3 + x**2 + 2*x + 3. Let f be u(0). Suppose 0 = 2*v - f*v + 20. Does 10 divide v?
True
Let u = -34 - -57. Let m = u + -13. Let p = 20 + m. Is 15 a factor of p?
True
Let d(g) = g**3 - 8*g**2 + 7*g - 11. Does 23 divide d(8)?
False
Suppose -2*l - 3 = 35. Let i = -15 - l. Is i even?
True
Let b(c) = -5*c**2 - c**3 + 0*c**2 + 3*c**2 + 6 + 2*c. Does 15 divide b(-4)?
True
Let b be ((-1)/(-3))/(2/6). Suppose 4*s + 5*z - 2 + b = 0, -5*s - 3*z + 11 = 0. Does 17 divide 4/2 - s*-4?
False
Suppose d = -1 - 2. Is 24 a factor of (53 - (4 - 2)) + d?
True
Suppose 204 = 4*d + 3*z, 0*d - 32 = -d + 4*z. Does 8 divide d?
True
Suppose -3*f = 6, 3*f + 46 = 2*l - 50. Is 15 a factor of l?
True
Let i = 56 + 105. Is i a multiple of 28?
False
Let t = -173 - 33. Is 15 a factor of (-5)/15 + t/(-6)?
False
Let a(q) = 3*q + 11. Let d(l) = l + 1. Let p be d(8). Does 14 divide a(p)?
False
Does 26 divide (-80 + 1)/1*-1?
False
Let b = -18 - -105. Does 16 divide b?
False
Let r be (8/(-10))/(8/(-180)). Suppose -r = w + 3. Is ((-18)/w)/((-3)/(-21)) a multiple of 6?
True
Let z be 12 - (1 + 0 - -1). Let b = z + 2. Does 12 divide b?
True
Let j be 16*(2 - (-9)/4). Suppose 0 = -3*s + 2*i + 64, i - 6*i + j = 2*s. Is 12 a factor of s?
True
Suppose 0*w = 2*w. Suppose w = s - 5 + 1. Suppose 5*i - 3*j = 114, 0 = s*i - j + 27 - 114. Is 12 a factor of i?
False
Let n be 2 + -22 + 3 + 0. Does 9 divide 0 + (0 - (-1 + n))?
True
Let k be (-1)/2*-3*-6. Let t(w) = -6*w - 3. Is t(k) a multiple of 17?
True
Let k(q) be the second derivative of q**5/40 - 5*q**4/24 - q**3/2 - 3*q. Let t(r) be the second derivative of k(r). Does 13 divide t(6)?
True
Suppose -c - 1400 = -7*g + 2*g, 2*g + c = 553. Suppose -3*u - 3*o + g = 0, -4*o - 93 = -3*u + 2*u. Is 24 a factor of u?
False
Does 18 divide (111 + 0)/(10 - 9)?
False
Let i = 220 - 93. Let z = 259 - 128. Suppose -3*a = 5*b - i, 5*b - z = -a - 3*a. Does 8 divide b?
False
Let h(m) be the first derivative of m**2/2 + 1. Let g be h(2). Suppose -g*i + 11 = 3*r, 2*r + 3*i + 6 = 5*r. Does 3 divide r?
True
Let s be 1*(-2)/(2/(-3)). Is 7 a factor of (6 - (-3)/s)*3?
True
Suppose 3*t - 305 = -2*u, 3*t = 2*u - 7*u + 740. Is u a multiple of 12?
False
Suppose -10 - 5 = 5*c. Let b = 2 + c. Is 0 - (b + -1 + -24) a multiple of 13?
True
Let q = -1 - 9. Let d(g) = -g**2 - 14*g - 14. Does 12 divide d(q)?
False
Let t(l) = -2*l + 7. Let g be t(5). Let q(h) = 2*h**2 + 3*h. Is q(g) a multiple of 9?
True
Suppose 0 = i + 2 - 5. Suppose -11 = i*r - 29. Does 4 divide r?
False
Let o(j) = j**3 + 8*j**2 - 10*j + 10. Let h be o(-8). Let z = -95 + 38. Let v = h + z. Is v a multiple of 11?
True
Suppose 2*k = 4*p - 8, 0 = -3*k - 8 - 4. Suppose 3*r + 71 - 206 = p. Suppose 5*d + 5 = r. Is 4 a factor of d?
True
Is (-4)/8*-394 - -3 a multiple of 26?
False
Let c(y) = -23*y. Let a be c(-1). Does 4 divide a/2 + 4/(-8)?
False
Let m(p) be the third derivative of -11*p**6/40 - p**5/60 + p**3/6 - 9*p**2. Is m(-1) a multiple of 11?
True
Suppose 4*k = 8 + 28. Let h = k + -5. Suppose -h*c + 121 = 3*d, 0 = c + c - 3*d - 47. Is 10 a factor of c?
False
Suppose -4*u + m = -256, 4*m = -4*u + 2*m + 268. Is u a multiple of 18?
False
Suppose -4*p - 21 = -3*n, -n + 6*p = 2*p + 1. Is 3 a factor of n?
False
Let f(w) = w**2 - 9*w + 2. Let z = 9 - 0. Let m be f(z). Suppose 0 = -h + 6*h - 4*c - 124, -4*c = -m*h + 52. Is h a multiple of 18?
False
Suppose 3*n = -0*n + 6. Suppose n*c - 3*f - 83 = 0, -3*c - 2*f + 78 = -79. Is c a multiple of 16?
False
Is 12 a factor of -2 + (-61)/(-1) + 1?
True
Let l = -12 + 36. Let n = -18 + l. Is n a multiple of 2?
True
Let i = 24 + 9. Is i a multiple of 10?
False
Suppose j + 80 = 5*j. Does 10 divide j?
True
Let r = 21 - -21. Is r a multiple of 3?
True
Let q = 6 - -69. Does 15 divide q?
True
Let p(d) = -4*d**2 + 1. Let w be p(1). Does 16 divide w/6 + (-91)/(-2)?
False
Suppose 5*i - 3*k = 165, -i + k + 26 = -k. Does 11 divide i?
False
Suppose 0 = 2*b - 4*t - 24, -t - 11 = -2*b - b. Let k = b - 2. Suppose k*c - c = -8. Is c a multiple of 3?
False
Let b(g) = 25*g**2 - 2*g - 1. Let p be b(-1). Let a be (-2)/(-3) + (-4)/6. Suppose a = 2*v - 30 - p. Does 14 divide v?
True
Let k(q) = -5*q + 2*q**3 - q**2 - 10*q**3 + 6*q**3 + 0*q + 3. Does 21 divide k(-3)?
True
Suppose -4*w + 51 = -45. Is w a multiple of 12?
True
Let s(f) = f**2 - 2*f - 13. Is 12 a factor of s(10)?
False
Suppose 7*d = 4*d + 39. Suppose q = d + 10. Is q a multiple of 13?
False
Let j = -43 - -73. Does 10 divide j?
True
Suppose -g - 35 = -6*g. Let p be g/49 + (-1)/7. Suppose p*b + b + 45 = h, 33 = h + 3*b. Is h a multiple of 14?
True
Let l = -11 - -20. Is l a multiple of 6?
False
Suppose -8 = -2*g - 0. Suppose 27 = g*u + 7. Does 5 divide u?
True
Let v(f) = -f**3 + 12*f**2 + 16*f - 3. Let t(y) = -5*y - 7. Let l be t(-4). Does 7 divide v(l)?
False
Let q be ((-1)/1)/((-5)/20). Suppose 0 = q*o - o - 6. Is o/7 - (-19)/7 a multiple of 3?
True
Suppose -z - 2*o + 38 = 0, -z + 0*o = 3*o - 38. Does 8 divide z?
False
Let t = 191 - 98. Let c be 47*6 - (-2 + 1). Suppose t - c = -5*k. Does 25 divide k?
False
Suppose 0*d = d. Suppose -x + 96 = -d*x. Suppose -2*z + 5*t + 39 = 0, 4*z - t - 3*t - x = 0. Does 14 divide z?
False
Does 6 divide ((-8)/(-10))/(3/60)?
False
Suppose -2*h + 100 = -4*d, -4*h + d = -170 - 44. Is h a multiple of 10?
False
Suppose -3*n - 5 = -4*j - 25, -4*n = -5*j - 25. Suppose n = 4*k - 2*k - 26. Does 13 divide k?
True
Suppose 120 = 3*q - 0*q + 3*s, -2*q - s + 80 = 0. Let w = -20 + q. Is 10 a factor of w?
True
Suppose 5*z = -0*z + 20. Suppose 0 = -5*m + z*v + 16, -m - 3*v - 12 = m. Suppose m*i + 84 = 3*i. Is i a multiple of 10?
False
Suppose 5*l = k - 4*k + 855, -5*l - k + 865 = 0. Does 50 divide l?
False
Let v be (-4)/(-20) - (-2)/(-10). Let r = 30 - v. Is r a multiple of 15?
True
Let p be (36/(-24))/((-6)/200). Suppose -170 = -3*z + 5*h, -3*z + 222 - p = -4*h. Is 20 a factor of z?
True
Suppose 3*z - 4*z + 62 = 0. Is 31 a factor of z?
True
Let p(y) = 3*y**3 + y**2 + 4*y - 1. Let q be p(3). Suppose 0 = -2*z + 6*z. Suppose -3*t - 26 + q = z. Is t a multiple of 9?
False
Let k = 12 - 14. Is k/(-8) - 78/(-8) a multiple of 9?
False
Let b(t) be the first derivative of -2*t**3/3 - 2*t**2 - 2*t + 2. Let z be b(-2). Does 12 divide z + 6/2 + 31?
False
Suppose 7*h - 3*z = 2*h - 32, 20 = -3*h + 2*z. Let x(u) = u**2 - 7*u - 8. Let w(j) = -6*j**2 + 35*j + 41. Let p(c) = 2*w(c) + 11*x(c). Is p(h) a multiple of 6?
True
Let f = 4 - 1. Let q be -2*(-1 + f/(-6)). Suppose 109 = 4*z - q. Is z a multiple of 14?
True
Is 13 a factor of -2 + 33 - (1 + -3)?
False
Let t = 73 - -62. Is t a multiple of 9?
True
Let s(f) = 110*f - 2. Does 13 divide s(1)?
False
Let f(w) = w**2 + 10*w - 1. Let g be f(-10). Is 0 - 1 - (g + -5) a multiple of 4?
False
Let x = -39 - -50. Is x even?
False
Suppose -m + t + 29 = 0, -4*m + 66 = 5*t - 95. Does 3 divide m?
False
Let r(b) = 42*b - 3. Does 36 divide r(3)?
False
Let r = 0 + 3. Suppose 0 = 3*w - 3*v - 48, 0*w - 3*v + 54 = r*w. Suppose -w = -0*h - h. Is h a multiple of 8?
False
Suppose 4*u = y - 3 + 1, 0 = -3*u + 15. Suppose 0 = -5*s - 7 + y. Suppose s*k = -5*j + 52, 4*j + j - 2*k - 57 = 0. Is 9 a factor of j?
False
Let g(q) = -q**2 - q. Let u be g(0). Suppose h = -u*h. Let k(w) = -w**3 - w**2 + w + 21. Does 15 divide k(h)?
False
Let g(v) = 2*v - 12. Let j be g(8). Let h(x) = -j*x - 6*x - 3*x + x. Does 12 divide h(-1)?
True
Is 3 a factor of -3 + -1 - -2 - -11?
True
Let k(s) = -s**3 - 7*s**2 - 3*s + 1. Let f be k(-6). Let z = f + 65. Is z a multiple of 24?
True
Suppose 0 = -5*s - 3 + 13. Let n = -222 - -321. Suppose -j + 6*l + 21 = s*l, 0 = 3*j - 3*l - n. Is j a multiple of 24?
False
Let f(t) = -6*t - 3. Let l(h) = 4*h - 3. Let r be l(2). Let p(v) = -5*v - 4. Let s(o) = r*f(o) - 4*p(o). Is 13 a factor of s(-3)?
False
Suppose 34 = 3*j - 17. Let u(h) = -h**2 + 23*h + 10. Is u(j) a multiple of 23?
False
Let v(w) = w**2 - 3*w - 2. Let r be v(4). Suppose -4*c = -r*c. Does 9 divide 2/(c + (-1)/(-9))?
True
Suppose 5*q + i = 65, -4*q + 37 = -3*q + 5*i. Is 3 a factor of q?
True
Suppose -r - 20 + 68 = 0. Is r a multiple of 16?
True
Suppose -5*l = -18*l + 2145. Does 27 divide l?
False
Let p be 2 - 1/2*-6. Suppose 74 - 4 = p*j. Is j a mu