
Suppose 3*t - 3*y = 2*t + 31, 5*t = 4*y + 155. Is 6 a factor of t?
False
Let y = 61 + -40. Is 7 a factor of y?
True
Suppose 2*z - 8 = -2*z. Suppose z*r - 15 = -3*r. Does 3 divide r?
True
Let t be 0 - (-5 + 2 + -1). Suppose 5*f + 3*c = 74, 2*f - t*c + 38 = 4*f. Does 9 divide f?
False
Let z(h) = -3*h. Let d be z(1). Let q(b) = b**2 - b. Is 8 a factor of q(d)?
False
Let n be ((-27)/(-4))/((-6)/(-16)). Suppose -3*s = 2*s + 60. Is -27*1*s/n a multiple of 8?
False
Does 7 divide 398/9 + 6/(-27)?
False
Suppose 2*n + 5 + 1 = 0. Let j be 6 + 0/(n + 1). Suppose -x + j = -0. Does 4 divide x?
False
Suppose -3*g + 11 = -205. Suppose 0 = 4*u - 0*u - g. Is u a multiple of 8?
False
Let f = -13 + 30. Is 17 a factor of f?
True
Let n(q) = 4*q**2 + 6*q - 2. Does 2 divide n(-2)?
True
Suppose 0 = 5*s + 2 - 7. Let x be (s + 1 - 2)/(-1). Suppose x*v = -v + 5. Is v a multiple of 3?
False
Let l(k) be the third derivative of -k**6/120 + k**5/30 - k**4/12 - k**3/3 + k**2. Let g(o) = o**3 - 3*o**2 - 4*o - 2. Let r be g(4). Is l(r) a multiple of 9?
True
Is 9 a factor of -2 + (-1 + 14 - 0)?
False
Let o be 0*(-2)/4 + 17. Suppose 3*m = 8 - 2. Suppose -o - 31 = -m*x. Does 12 divide x?
True
Suppose -s - 7 = -2*b, b + 3 - 7 = s. Suppose -b*g = g - 8. Suppose -42 = -g*j - j. Is j a multiple of 7?
True
Let i = -28 - -48. Is 4 a factor of i?
True
Let a(d) = -2*d - 7. Let r be a(-8). Suppose 2*z - 35 = r. Is 11 a factor of z?
True
Let z(c) = -c**3 - 10*c**2 - c - 9. Let l be z(-10). Suppose 5 = 5*m - 4*m. Suppose x = -l, -4*o + m*x - 2*x = -55. Does 7 divide o?
False
Let a(w) = -3*w + 3*w**2 - 3*w**2 - 12 + w**2. Let o = 16 + -7. Is 21 a factor of a(o)?
True
Does 3 divide (75/20)/(6/40)?
False
Suppose 5*k + 5*x - 109 = 21, 0 = -3*k - 4*x + 83. Does 21 divide k?
True
Let h(a) = 10*a**2 + 2. Let i be h(2). Let u be (1*-1)/(1/(-2)). Does 10 divide 1*(i/u - 1)?
True
Let v = 125 - 87. Is 14 a factor of v?
False
Let t(f) = -f**2 - 8*f + 2. Let j(h) = 2*h + 2. Let p be j(-4). Does 7 divide t(p)?
True
Let y(c) be the third derivative of c**5/60 - 7*c**4/12 + 7*c**3/2 - 9*c**2. Is 7 a factor of y(14)?
True
Suppose f - s = 4*s + 298, 4*s + 1448 = 5*f. Is 49 a factor of f?
False
Suppose 3*c = q + 8, -4*c - 16 = 4*q - 0. Let y = q + 14. Is y a multiple of 9?
True
Let j(d) = d**2 - 3*d. Let s be j(3). Suppose 20 = 4*z, -3*g + 4*g + 2*z - 18 = s. Let b = 5 + g. Is 13 a factor of b?
True
Is (-2*6)/(6*3/(-135)) a multiple of 3?
True
Let k(v) = 9*v - 3. Let n(g) = -9*g + 4. Let a(z) = 3*k(z) + 2*n(z). Is 10 a factor of a(5)?
False
Let d(o) = o**3 - 7*o**2 + 6*o - 10. Let g be d(7). Suppose 558 = 3*q - 5*s - g, -384 = -2*q + s. Suppose 5*j + 0*j = q. Does 15 divide j?
False
Let b(v) be the third derivative of -v**4/12 + 49*v**3/6 - 8*v**2. Does 18 divide b(0)?
False
Let q = -5 - 7. Let m = q + 23. Is 7 a factor of m?
False
Is 3 a factor of (56/(-10))/((-18)/45)?
False
Let u(z) = -z**3 + 11*z**2 + 14*z - 2. Is u(11) a multiple of 27?
False
Let w(o) = 20*o**2 - 2. Let y be w(-2). Suppose -k + 4*k = -y. Let j = k + 47. Does 7 divide j?
True
Let h(f) be the second derivative of 9*f**4/4 + 2*f. Let n be h(1). Suppose -5*l - 2*k = 3*k - 80, 4*k + n = 3*l. Does 13 divide l?
True
Let w(g) be the second derivative of -g**5/60 - 5*g**4/12 + g**3/2 + 3*g**2/2 - g. Let x(p) be the first derivative of w(p). Is x(-7) a multiple of 24?
True
Suppose -5*m = -4*m + 15. Let z = 57 + m. Is z a multiple of 14?
True
Let l = 1000 + -712. Does 37 divide l?
False
Let z(y) = -y**2 + 26*y + 47. Does 15 divide z(22)?
True
Let k = -52 + 95. Let p be 2/3*(2 + k). Let x = p - -1. Does 20 divide x?
False
Let c be (-85)/(-2)*(-16)/(-10). Suppose 3*x - 238 = 68. Let d = x - c. Does 17 divide d?
True
Let u = 71 + -56. Is 3 a factor of u?
True
Let t be (2 + (-21)/6)*-2. Suppose 0 = -t*y + 7*y - 120. Suppose 4*f - 118 = -2*z - y, 5*f - 115 = -5*z. Does 9 divide f?
False
Let c(z) = -z**2 + 10*z - 9. Let o(j) = 4*j**2 - 3*j. Let b be o(2). Let u be c(b). Is (-2)/(-6) + (-420)/u a multiple of 16?
False
Let d(i) = 2*i**3 + 4*i**2 + 2*i - 1. Let j be d(-2). Let m be 1 - -3 - 0/j. Suppose -m*h - 30 = -138. Is 12 a factor of h?
False
Suppose 3*h = n - 27, 49 = h - 5*h - 3*n. Is (12/h)/((-4)/130) a multiple of 13?
True
Suppose 4*u + u = -2*k + 41, -5*u + 5*k + 20 = 0. Let p(h) = 2*h**2 - 10*h + 3. Is p(u) a multiple of 25?
False
Let j(n) = -n**3 - 7*n**2 - 7*n - 1. Let r be j(-6). Suppose -r*k - 3*p + 6 = -18, k = p. Does 11 divide (12/(-10))/(k/(-80))?
False
Let h(g) = -2*g**3 + g**2 + g - 1. Let m be h(1). Let u be (m - 0)*(-2 + -3). Suppose 3*y = 2*f + 18, u = y - 3*f - 1. Is y a multiple of 6?
True
Suppose j - 5 = -3. Suppose 233 = j*r + t - 0*t, -5*t + 5 = 0. Suppose 0 = -5*q + 94 + r. Is q a multiple of 15?
False
Let w = -8 + 12. Suppose 5*k = -5*m + 30, -2*k = -w*m - 0*k + 6. Is 3 a factor of m?
True
Suppose -u = -18 - 21. Is 13 a factor of u?
True
Let h(c) = -c**3 - 8*c**2 + 20*c - 22. Does 18 divide h(-11)?
False
Let i be 2/9 + 29/(-9). Let j be (-1)/(-3) - 305/i. Suppose 4*r - j = r. Does 13 divide r?
False
Let v(i) = 17*i - 1. Let m be v(1). Suppose 0 = -3*k + k + m. Is (k + -2)*20/6 a multiple of 10?
True
Let q(i) = i**3 - 10*i**2 + 8*i + 13. Suppose h = 2*h - 9. Let l be q(h). Suppose 64 = 3*y - 2*z, 0 = -y - 4*y + l*z + 108. Does 20 divide y?
True
Suppose -25 = -4*t - t. Suppose -o - 4*o + 315 = t*s, -s = -5*o + 333. Is 23 a factor of o?
False
Suppose 28*k - 29*k = -21. Is k a multiple of 3?
True
Let s be (-1)/((-5)/(-2))*-5. Suppose j + 2*v - 14 = 0, -s*v + v + 3 = 0. Does 20 divide (-5 - 0)/((-2)/j)?
True
Let z(m) be the third derivative of -4*m**6/15 - m**5/30 + m**4/12 - m**3/6 + 2*m**2. Let d be z(1). Is 4 a factor of (d/12 - 0)*-4?
False
Let f(w) be the second derivative of -2*w**3 - 2*w**2 + 3*w. Let d be f(-3). Suppose 0 = 4*a + 4 - d. Does 3 divide a?
False
Suppose -8 = 5*j - 2*y, -y = -2*j + 2 - 6. Suppose 4*b - 84 = -3*p, -5*p + 20 = -j*p. Is b a multiple of 8?
False
Suppose -2*v + 21 = -13. Suppose -c + 1 = v. Let z = c + 31. Does 7 divide z?
False
Let n(c) = -c**3 - 11*c**2 - 16*c + 4. Does 18 divide n(-11)?
True
Let g be (-762)/14 + 63/147. Let j = g + 90. Is j a multiple of 18?
True
Let p = 36 - -40. Does 19 divide p?
True
Suppose 3*u - 198 = -5*b, 122 = -b + 4*b + 5*u. Does 11 divide b?
False
Let s be 82/6 + (-12)/18. Let l = s + 17. Does 10 divide l?
True
Suppose -b = d + 106, -5*b = -3*d - b - 318. Let j = -51 - d. Let a = j + -30. Is a a multiple of 14?
False
Let h = 249 - 143. Is h a multiple of 9?
False
Is 4 a factor of 55 - ((-2)/(-3) + (-20)/(-6))?
False
Let h = 112 - -45. Does 12 divide h?
False
Let r be ((-67)/(-3))/(4/12). Let m = r + -33. Is m a multiple of 17?
True
Is (2088/60)/((-6)/(-20)) a multiple of 24?
False
Suppose 417 = 8*v - 143. Is v a multiple of 35?
True
Let q be (-1 - -2)*3 - 1. Suppose 0*r = 2*r + q, -5*r + 263 = 4*z. Is 15 a factor of z?
False
Suppose 42 - 8 = -4*b + 2*g, 2*g - 44 = 5*b. Let r = b - -19. Is r a multiple of 3?
True
Is 17 a factor of (-7 - 5)*22/(-6)?
False
Suppose -3*c - 4*p = -32, 3*c + 3*p + 1 - 37 = 0. Suppose -4*o = -7*v + 2*v + 255, 0 = o + 5. Suppose -c = -4*i, 0*i + v = r + i. Is 18 a factor of r?
False
Let c(n) be the first derivative of -2*n**2 - 11*n - 1. Let z be c(-9). Is 10 a factor of z + (-6)/3 + 2?
False
Suppose -2*s - 4 = -0*d + 2*d, 0 = 4*d + s + 17. Let o(i) = -12*i - 4. Let u(q) = 13*q + 5. Let w(f) = d*o(f) - 4*u(f). Does 4 divide w(1)?
True
Let n(m) = 6*m - 5. Let g be n(11). Let l = g - 37. Does 12 divide l?
True
Suppose 5*c - 4*c = 0. Suppose c = 3*u + u - 2*r - 242, u - 4*r = 78. Is u a multiple of 12?
False
Let f = 15 - 9. Suppose -f*q + 5*q = -3*d + 32, -5*q = 5*d - 40. Is d a multiple of 5?
True
Does 4 divide ((-224)/(-35))/(2/5)?
True
Let g(v) = v**2 + v + 1. Let d(w) = -2*w**2 + 2*w - 3. Let y be d(2). Does 19 divide g(y)?
False
Let a = 370 - 202. Is a a multiple of 12?
True
Let z(d) = 2 - 7*d**3 - 3 - 5*d**2 + 4*d + 4*d**2 - 5*d. Does 19 divide z(-2)?
False
Let t(i) = 28*i - 1. Does 7 divide t(1)?
False
Suppose 0 = -4*j - 1 + 17. Let d(a) = 3 + 2*a + 1 + 3*a - 2*a. Is d(j) a multiple of 10?
False
Suppose -f = -5, -2*f + 49 = 4*q + 3*f. Let w = q - 4. Suppose w*b - 13 = -2*v + b, 0 = 2*b + 10. Is v a multiple of 9?
True
Suppose -8 = -5*c 