 v?
False
Suppose 4*f + 5 = 2*t + 81, -5*f + 104 = 2*t. Does 5 divide f?
True
Let f = 209 + -105. Does 13 divide f?
True
Suppose 0*n + 9 = n. Let l(o) = 3 + 0*o - 2*o + 0*o - n. Does 2 divide l(-4)?
True
Suppose 2*h = 3*u + 6, -3*u + 5 = 2*h - 1. Suppose -v + 4*v - 219 = u. Suppose v = 3*k + 2*l, -20 = -l - 3*l. Is 16 a factor of k?
False
Is 8 a factor of (-6)/(-2) - 10/(70/(-483))?
True
Let l = 9 - -44. Does 9 divide l?
False
Suppose -72 = -s + 56. Does 16 divide s?
True
Let n(c) = -c**2 - 2*c - 2. Let o be n(-4). Let m = -3 - o. Is m a multiple of 3?
False
Suppose -24 = x - 4*x. Let s = -16 - 18. Is s/x*12/(-3) a multiple of 6?
False
Does 33 divide -1 + (-4)/(-6) + 11513/87?
True
Is 5 a factor of (-48)/((-3)/1) - 1?
True
Let c(g) = g**2 + 4*g - 8. Let a(d) = -6*d**2 - 20*d + 40. Let t(f) = -2*a(f) - 11*c(f). Is 7 a factor of t(6)?
False
Let t = -6 + 12. Is 4 a factor of t?
False
Suppose 3*b - 103 = 5*v + 31, 5*b = 4*v + 219. Suppose 167 = 3*y - b. Is y a multiple of 31?
False
Let f(i) = i**3 - 8*i**2 + 8*i + 4. Let k be f(7). Suppose -3*r + k = -28. Is 13 a factor of r?
True
Let l = 35 + -27. Let c(u) = -4*u + 3. Let f(s) = -s - 1. Let d(g) = -2*c(g) + 4*f(g). Does 22 divide d(l)?
True
Let v(p) = p**3 - 5*p**2 + 4*p - 9. Let w be v(6). Let i = w - 29. Is 11 a factor of i?
True
Suppose -4*y + 0*y + 8 = 0. Is 2 - (-2)/4*y a multiple of 3?
True
Let q = 202 + -92. Suppose -8*w + q = -3*w. Is w a multiple of 11?
True
Suppose -4*p = -5*p + 57. Does 18 divide p?
False
Let t be 1 - (-7)/((-7)/(-12)). Suppose 3*p - 123 = 2*c - t, 48 = p + 5*c. Is 14 a factor of p + 0*(0 + 1)?
False
Let f = 30 - -6. Is f a multiple of 6?
True
Suppose -82 - 28 = -5*g. Does 22 divide g?
True
Let q(z) be the first derivative of -1/4*z**4 + 2*z**3 + 6*z + 2 - 1/2*z**2. Does 13 divide q(5)?
True
Suppose 5*u + 3*v - 6 = 79, 3*v = 4*u - 95. Is u a multiple of 7?
False
Suppose 3*g + 80 = 8*g. Let z be g/(-4) - (-1 - -2). Is 11 a factor of (-97)/(-5) + 2/z?
False
Let t = 2 - 1. Suppose 9 = 2*g + t. Suppose 0 = f + g*f - 125. Is 17 a factor of f?
False
Let h be -3*13 - 2/(-2). Let p = h - -54. Is 10 a factor of p?
False
Suppose 0 = 2*z - 32 - 0. Let f = 10 - z. Let r = f - -13. Is r a multiple of 3?
False
Let k = 14 + -6. Is k a multiple of 3?
False
Suppose -31 = 5*j - 136. Does 7 divide j?
True
Let h(u) = 6*u - 2. Is h(8) a multiple of 23?
True
Let y = 206 - 124. Is y a multiple of 16?
False
Suppose -4 = -5*t - 19. Let k(o) = -4*o + 0*o + 1 + 4 - 3. Is k(t) a multiple of 6?
False
Suppose 2*m = 4*m - 28. Let j = m - -7. Is j a multiple of 16?
False
Let l = -1 - -5. Does 5 divide ((-2)/l)/((-1)/30)?
True
Let k be 6*(2 + 2) + -2. Let a = k - -23. Suppose 4*j + 2*z - 7 - a = 0, -5*z = 3*j - 46. Is j a multiple of 4?
True
Let n(r) = -49*r**3 - 2*r - 1. Does 6 divide n(-1)?
False
Let t(z) = 2*z - 2. Is t(3) a multiple of 2?
True
Let n(m) be the third derivative of m**5/60 + m**4/6 + 17*m**3/6 + 3*m**2. Is n(-7) a multiple of 8?
False
Suppose 0 = 3*p - 65 - 127. Is p a multiple of 15?
False
Let j(o) = -3*o**2 + 6*o + 15. Let g(r) = 8*r**2 - 19*r - 44. Let a(l) = 4*g(l) + 11*j(l). Does 3 divide a(-8)?
False
Let z = 1218 - 642. Let x be z/42 + (-2)/(-7). Does 3 divide (x/6)/((-2)/(-6))?
False
Suppose w = 6*w + 3*r + 4, 2*w = -2*r - 4. Suppose 0 = f - w - 17. Is f a multiple of 18?
True
Suppose -2*u - 3*u + 75 = 0. Suppose -3*c = -y + 119, 32 = -c + 4*y - u. Is 18 a factor of 3*1/(-1) - c?
True
Let i(t) = -2*t - 3*t - 4*t + 5. Let d be 13/(-3) - 2/(-6). Is 13 a factor of i(d)?
False
Let q(z) = -20*z - 2. Let d(r) = r**2 + 4*r - 3. Let s be d(-5). Let j(c) = -41*c - 5. Let x(l) = s*j(l) - 5*q(l). Does 5 divide x(1)?
False
Let k = 74 - 52. Is k a multiple of 11?
True
Let a(j) be the third derivative of -j**4/6 - 2*j**3/3 + 2*j**2. Let t be a(-7). Let k = -6 + t. Is 9 a factor of k?
True
Suppose -6 = 3*x - 3. Is (x/2)/(3/(-54)) a multiple of 2?
False
Does 31 divide 46 + 2 + 9 + -8?
False
Let d = -77 - -86. Is 6 a factor of d?
False
Let c(v) = -v**3 - 10*v**2 - 28*v + 6. Is c(-7) a multiple of 11?
True
Suppose -2*u = 3*w - 235, -2*w - u - 75 = -3*w. Is 11 a factor of w?
True
Let u(g) = g**2 - 9*g + 15. Let m be ((-3)/6)/((-4)/80). Does 8 divide u(m)?
False
Suppose 2*f = -0 + 54. Does 4 divide f?
False
Let y(o) = o**2. Let p be y(0). Suppose -3*n + 2*c = -175, 0 = -c - p*c - 5. Is 22 a factor of n?
False
Let h = -13 + 18. Suppose h*k - 81 = 4*d, -5*k + 0*k + 87 = 2*d. Does 5 divide k?
False
Suppose -3*h = -5*r - 96 + 287, r = -2*h + 46. Does 20 divide r?
True
Is -5*(2 + (-116)/10) a multiple of 12?
True
Let c(h) be the first derivative of h**3/3 - 4*h**2 + 6*h + 2. Let r be c(7). Is 12 a factor of -1 + -2 + (-27)/r?
True
Let g = 41 + 43. Does 7 divide g?
True
Let l(j) = -j**2 + 4*j + 6. Let i be l(5). Let n be (-10)/(-6) - i/(-3). Suppose 12 = 5*r + 3*y - 11, 4*y = -n*r + 12. Is r a multiple of 3?
False
Let t(r) be the second derivative of -r**4/12 - 4*r**3/3 - 2*r**2 + r. Is t(-7) a multiple of 3?
True
Let a(h) = 10*h + 2. Let c(y) = -y**3 - 10*y**2 + 11*y + 4. Let q be c(-11). Does 20 divide a(q)?
False
Suppose -33*z - 684 = -39*z. Does 4 divide z?
False
Suppose 5*c + 3*q = 152, 39 + 51 = 3*c + 3*q. Is c a multiple of 31?
True
Suppose a - 4*z + 2 + 1 = 0, -5*a + 3*z - 32 = 0. Does 3 divide a/(-3) + (-14)/(-21)?
True
Suppose 4*t - l - 40 = 0, -5*t + l + 30 = -2*t. Is 4 a factor of t?
False
Suppose s = 7*l - 2*l + 97, 4*l = 2*s - 182. Is 16 a factor of s?
False
Let j = -10 - -94. Is j a multiple of 14?
True
Suppose 8 = 4*r - 0*r. Suppose r = i - 3. Suppose t + 2*c - 54 = -t, 0 = -i*c + 15. Is t a multiple of 12?
True
Let g = -37 + 61. Let m be (g/14)/((-2)/(-203)). Let b = m - 123. Is 17 a factor of b?
True
Let b(k) = -k - 1. Let p be -3 + 0/(-2) - -3. Let z be b(p). Let x(f) = -46*f**3 + f + 1. Does 14 divide x(z)?
False
Let f be (-12)/(-9)*6/2. Is (-28)/(-2) + f/(-2) a multiple of 6?
True
Suppose 5*g - 67 = -7. Suppose -3*n + n = g. Let w = 25 + n. Is 15 a factor of w?
False
Let q(g) = 4 + g**3 + 12*g**2 + 8 - g**3 + g**3. Let r be q(-12). Does 17 divide 7*7 - r/(-4)?
False
Suppose 0 = -5*h - 5*l + 30 - 10, -3*h - 4*l = -10. Suppose o = h - 1, -5*q = -3*o + 15. Suppose q*j - 50 = -5*j. Does 6 divide j?
False
Let g(d) = 2*d - 7. Let b be g(5). Let y be ((-73)/3)/(b/(-18)). Let u = y - 83. Does 22 divide u?
False
Suppose 0 = -6*c + 9 + 33. Let g = -8 + 13. Suppose -3*l - 2*s = -c, 2*l - g*s = 5*l - 4. Is 2 a factor of l?
False
Let l be (9/(-6))/(6/(-128)). Suppose -2*n + l = -0*n. Is n a multiple of 16?
True
Let g(v) = -v**2 + 7*v + 2. Let p be g(7). Is 5 + 1 - (p + 0) even?
True
Suppose -3*p + 8*p + 10 = 0. Let v be 21*(p/(-3) + 0). Is 8 a factor of 2/(-4) + 329/v?
False
Suppose -2*j + 14 - 6 = 0, 3*b + 5*j = 314. Does 14 divide b?
True
Let s(z) = 2*z**2 - 2*z + 1. Let g be s(2). Suppose 0 = -g*b - 19 + 189. Is b a multiple of 17?
True
Let p(g) = -14*g + 11. Is p(-5) a multiple of 27?
True
Let v(s) = 2*s**2 - 7*s + 4. Let o be v(5). Suppose -5*g + o = 2*r, 2*g = 4*g + 2*r - 4. Does 4 divide g?
False
Let j = -14 - -20. Is 3 a factor of j?
True
Does 25 divide (1*(-3 + 100))/1?
False
Let b = 16 - -92. Suppose 3*a - 75 = -4*u, -3*u - 2*u + a + b = 0. Is u a multiple of 7?
True
Suppose -v + 3 = -1. Suppose -c + 85 = v*c. Is 17 a factor of c?
True
Suppose -3*v = -0*v + n - 575, 4*v - 5*n - 754 = 0. Does 15 divide v?
False
Let f(v) = v**3 + 3*v**2 - 2*v + 4. Does 5 divide f(-3)?
True
Let v(y) = y**3 + 18*y**2 - 15*y + 36. Is 31 a factor of v(-18)?
False
Suppose 3*a + 5*f = 97, 2*f - 6*f + 20 = 0. Suppose 2*v - 68 + a = 0. Is v a multiple of 18?
False
Is 18 a factor of -2 + -1 + (45 - -7)?
False
Suppose -v - 3 = -0*v, q - 2*v = 10. Let w(f) = f**2 - 2*f + 2. Is w(q) a multiple of 9?
False
Let c = -1 - -3. Let b(w) = w**c + 3*w**3 - 3 + 3*w + w + 0*w**2. Is 13 a factor of b(2)?
False
Let b(g) = -3*g - 5. Let w be b(5). Let t = w - -45. Does 7 divide t?
False
Suppose -8*h + 6*h + 152 = 0. Is h a multiple of 4?
True
Let s(t) be the first derivative of -t**2/2 - 2*t + 1. Is 7 a factor of s(-9)?
True
Suppose -2*s = -5*s + 132. Is 14 a factor of s?
False
Suppose 0 = -4*d + 159 + 225. Is 9 a factor of d?
False
Is 14 a factor of (2 + 0)*76/8?
False
Suppose 151 + 93 = 2*f. Let j = f + -63. Let v = -31 