be c(-5). Suppose -109 = 5*y - v. Is y a multiple of 16?
True
Suppose 3*u = -15, -4*u - 80 = -4*n + n. Suppose 2*r + 5 = 5*f + 35, n = -5*f. Does 5 divide r?
True
Let y be 1/2 - (-39)/(-6). Let b = -9 - y. Let k(x) = -x**3 + 2*x**2 + 4*x + 1. Is 17 a factor of k(b)?
True
Let g(m) = m**3 + 3*m**2 - 2*m + 5. Let v be g(-4). Is 14 a factor of (1 - 2)/(v/75)?
False
Suppose -9*q + 167 = -103. Is q a multiple of 5?
True
Suppose -4*p + 5*p + 12 = 0. Let v = 19 + p. Is v a multiple of 2?
False
Let c(s) = -s**2 - 13*s + 5. Is 11 a factor of c(-6)?
False
Suppose -7*f - 35 = -623. Does 12 divide f?
True
Let v(s) be the third derivative of -s**6/120 + 7*s**5/60 - 5*s**4/24 + s**3/3 - 9*s**2. Suppose -4*a = -4 - 20. Is 8 a factor of v(a)?
True
Suppose -3*j + 5 = -4*t, -2*j - 10 = 3*t - 2. Does 17 divide 25 + j/2*-4?
False
Suppose -5*s = -4 - 6. Suppose -s*j + 3*j - 3*n - 7 = 0, -2*j = -n - 19. Is 10 a factor of j?
True
Let g(t) = 3*t**2 + 2*t + 1. Let r be g(-4). Let y = r + -27. Does 7 divide y?
True
Suppose -2*z = -8 - 2. Suppose z*c - 12 - 3 = 0. Suppose 0 = c*n - 5*n + 4. Is n a multiple of 2?
True
Suppose -5*o + u + 102 = -2*u, -79 = -4*o + 5*u. Is o a multiple of 9?
False
Let i(s) = 2*s**2 - 11*s - 11. Let o(a) = a**2 - 5*a - 6. Let c be ((-66)/(-9))/((-4)/6). Let q(l) = c*o(l) + 6*i(l). Does 12 divide q(12)?
True
Is (-32)/(-208) + 1374/26 a multiple of 21?
False
Let m = -812 - -578. Is 6 a factor of m/27*6/(-4)?
False
Is 1/2 - 490/(-4) a multiple of 26?
False
Suppose -3*q + 15 = -0. Suppose 6 - 1 = 5*t - q*p, -5 = -p. Suppose -t = 4*j - 86. Is j a multiple of 10?
True
Is 10 a factor of (8/6)/((-7)/(-105))?
True
Let k(r) = 14*r**3 - r**2 - 2*r - 3. Let s be k(3). Suppose 3*v - 80 = 4*v + 2*g, -4*v = -2*g + s. Let a = v - -132. Is 22 a factor of a?
True
Let t(i) = -17*i - 5. Let v(m) = 16*m + 5. Let r(k) = 5*t(k) + 6*v(k). Does 11 divide r(3)?
False
Is 3 + (-39)/12 + (-361)/(-4) a multiple of 15?
True
Suppose 5*x = 2*x + 2*v + 10, -2*v = -5*x + 10. Suppose x = -4*r - 3*f - 13, -4*f + 4 = -0. Does 7 divide 129/9 + r/(-6)?
False
Let q(j) = -j**2 - 2*j - 1. Let t be q(-1). Suppose t = -k - 0*k + 7. Is k even?
False
Suppose -180 = -4*m - 2*m. Does 7 divide m?
False
Let x(g) = 2*g**2 - 10*g + 8. Let j be x(7). Does 8 divide (-8)/j - 292/(-18)?
True
Suppose 2*b = 4*s - 1080, 3*s + b - 9 = 801. Does 45 divide s?
True
Suppose -4*x + 0*x - m + 8 = 0, x + 5*m = 2. Let c(w) = 6*w - 5. Let u(j) = j - 1. Let l(a) = x*c(a) - 11*u(a). Is 4 a factor of l(9)?
False
Suppose -n + 0*z + 14 = -z, 0 = -3*z - 6. Let h be n/(-18)*(-18)/4. Suppose -5*u + h + 12 = 0. Is u a multiple of 3?
True
Suppose 3*c - 86 + 20 = 0. Let n(s) = s**2 + 13*s - 1. Let j be n(-13). Let r = c - j. Is r a multiple of 8?
False
Suppose 0*w - 4*w + 13 = -5*l, -8 = -5*w - 2*l. Let j be -8 - (-1 - (3 - 2)). Is w/4 - 135/j a multiple of 10?
False
Suppose f = -2*f + 12. Let h be (-4 - -1)*6/9. Is 4 a factor of h/4 - (-42)/f?
False
Let g be (5/1)/((-1)/6). Let s = g + 43. Is s a multiple of 13?
True
Let v(f) = f**3 + 6*f**2 + 5*f + 6. Let y be v(-5). Suppose 4*i = 18 + y. Is i a multiple of 5?
False
Let o be (-20)/90 + 40/18. Suppose -o*c + 4*c - 24 = 0. Does 5 divide c?
False
Suppose 0 = -h - 1 + 4. Suppose -h*i - 1 = -4, 126 = 5*d + i. Is 9 a factor of d?
False
Suppose 0 = 2*r - 3*l - 85, 0*l - 110 = -3*r + l. Does 10 divide r?
False
Let m = -3 + 5. Suppose m*w = 2*x - 194, -x + 87 = -4*w + w. Suppose v = -2*v + x. Does 12 divide v?
False
Let z = -147 + 208. Does 7 divide z?
False
Let n = 0 - -4. Suppose -3*p + 4*f - 8 = 0, n*p - 18 - 13 = -3*f. Does 2 divide p?
True
Let d = 77 + 25. Is d a multiple of 17?
True
Let r(w) = -w**3 + 12*w**2 - 16*w + 10. Suppose 2*m - 23 = m. Let j = m + -13. Is r(j) a multiple of 20?
False
Suppose 5*w = -3*y - 13, -3*w = -2*y + w - 16. Let g(a) = -a**2 - 10*a - 5. Is g(y) a multiple of 19?
True
Let q be (-6)/(-5)*(-10)/3. Let b(z) = -z**3 - 4*z**2. Let k be b(q). Suppose k*f + 40 = 2*f. Is f a multiple of 13?
False
Let f(h) = 2*h**3 + 2*h**2 + 2*h + 2. Does 39 divide f(5)?
True
Let x(z) = 5*z - 18. Is x(13) a multiple of 38?
False
Suppose 2*q = 5*f - 97, 2*f + 0*q + q = 37. Is 4 a factor of f?
False
Suppose 5*u - 74 = 4*u + 4*p, 5*u - 386 = 4*p. Is u a multiple of 13?
True
Suppose -4*v = 2*l - 134, 3*v - l - 2*l = 96. Does 11 divide v?
True
Let r = 14 - 10. Suppose r*u + 8 = -12. Let j = 15 + u. Is j a multiple of 5?
True
Let x = 9 - 4. Suppose 3*r = 3*v - 30, -x*r + 0*r = 2*v - 34. Let b = -3 + v. Does 3 divide b?
True
Let a be (-3 + 1)/(4/(-20)). Let h = -6 + a. Suppose -x - 16 = -3*x - h*v, -3*v - 10 = -4*x. Is x even?
True
Let u(y) = 128*y**2 + 1. Is 34 a factor of u(-1)?
False
Let i = -9 - -12. Suppose -5*c + 2 = -3*c + 5*o, 0 = 3*c - 3*o - i. Let y(g) = 22*g**2 + g. Is 9 a factor of y(c)?
False
Suppose 174 = -3*b + 9*b. Is b a multiple of 6?
False
Let v(h) be the third derivative of 3*h**7/560 + h**6/720 + h**5/20 + 2*h**2. Let y(o) be the third derivative of v(o). Does 13 divide y(1)?
False
Does 8 divide (-4 - 89)/(-3) + 0?
False
Suppose -5*a = 2*u - 2, 3*u + 3 + 3 = -3*a. Let z be a/6 + 1106/21. Let h = z + -29. Is 8 a factor of h?
True
Is 11 a factor of -1 - -38 - 4/1?
True
Let d(z) = -z**3 + 3*z + 4. Let s be d(4). Let c = 12 - s. Is 20 a factor of c?
True
Does 33 divide ((-3)/(-9) + (-321)/(-9))/1?
False
Suppose 5 = 2*m - 0*d + d, m = 4*d + 25. Suppose k + 4*a = m + 23, -4*a - 36 = -k. Is 24 a factor of k?
False
Let g(c) = 3*c - 4. Let z(t) = -t**2 + 9*t + 3. Let l be z(9). Let a be g(l). Is ((-8)/1)/(a - 6) a multiple of 7?
False
Suppose 6*t - 2*t = 2*x - 368, -4*x - 8 = 0. Let f = t + 144. Is 14 a factor of f?
False
Let v(k) = 2*k**3 + 108. Is v(0) a multiple of 18?
True
Is 14 a factor of (-3 - (-4 - -2)) + 83?
False
Let q(v) = 4*v**2 + v. Suppose 0 = -2*p + 2*d - 4, 2*p - 5*d + 7 = -0*p. Is q(p) a multiple of 2?
False
Let v(o) = -o + 38. Does 4 divide v(6)?
True
Let o = -19 + 8. Let x = o - -25. Does 6 divide x?
False
Let q(b) = -b**2 + 4*b + 7. Let x be q(5). Suppose -5*d - 123 = -3*v, -x*v - 3*v - 3*d = -239. Is 23 a factor of v?
True
Suppose -2*n + 16 = -70. Is n a multiple of 18?
False
Let j = 4 - -6. Let t be (-15)/2*j/(-1). Let x = -38 + t. Does 13 divide x?
False
Let w(k) = 76*k**2 - k. Let v be w(1). Suppose -f - 2*f - v = -2*h, -h - 3*f = -60. Is h a multiple of 12?
False
Let l(s) = s**2 + 5*s + 3. Let q be l(-5). Suppose -21 = -q*b - 6. Does 5 divide b?
True
Let a be (-1 - (-6)/3)*-5. Let c(o) = -o**2 - 11*o. Does 10 divide c(a)?
True
Let r(f) be the third derivative of f**6/24 - f**5/60 + f**4/12 - f**3/6 + 4*f**2. Is r(1) a multiple of 5?
True
Let c(y) = -2*y**3 + y**2 - 2*y - 3. Let q = -11 + 8. Let s be c(q). Let w = s - 45. Is w a multiple of 13?
False
Suppose -2*i + 32 = l + 4*l, 0 = 2*i + l - 16. Is (-86)/(-3) + (-4)/i a multiple of 12?
False
Let p(f) = -11*f**3 + 2*f**2 - 1. Let v be p(1). Let z be (-4)/v*(8 + -3). Suppose -k - z*m + 12 = -4*m, m - 39 = -4*k. Is 4 a factor of k?
False
Let a(w) = w**2 + 13 + 0*w**2 - w**2 - 11*w + w**2. Is a(11) a multiple of 3?
False
Let i(z) be the third derivative of -z**4/6 + z**3/6 - z**2. Suppose -2*l - 5 = 3. Does 10 divide i(l)?
False
Suppose 0 = 4*v + 8, -6 = 5*g - 3*v + 8. Let p = g - -11. Does 7 divide p?
True
Let p be 0 + 2 + -22 - -2. Let g = p + 27. Does 4 divide g?
False
Suppose -r = -4*j - 3*r + 130, 0 = -2*j + 4*r + 40. Is 6 a factor of j?
True
Suppose -3*d + 8*d - x = 165, -4*d + 132 = -3*x. Is 8 a factor of d?
False
Let w(d) be the second derivative of d**2 + 3*d + 0 + 7/6*d**3. Does 15 divide w(4)?
True
Let d = 195 + -88. Is d a multiple of 9?
False
Let i be 4 + ((-2)/(-1))/2. Suppose i*s - 863 = -358. Is 26 a factor of s?
False
Let b(q) = q**2 + 3*q - 28. Is b(-12) a multiple of 16?
True
Suppose y = -2*f - 2, -f = 2*y - 5*f - 12. Suppose 1 + 2 = -n, y*z - 5*n = 59. Is z a multiple of 11?
True
Suppose 5*z = 7*z - 22. Is z a multiple of 7?
False
Suppose -4*l = -3*j - 9*l + 36, -2*j + 24 = -5*l. Is j a multiple of 3?
True
Suppose 2*n - 5 = 5. Suppose n*j = 2*b + 22, -5*j = -10*j - 5*b + 15. Suppose k - 4 - j = 0. Does 3 divide k?
False
Let z = -1 - -8. Suppose m - t = z + 48, t - 59 = -m. Does 19 divide m?
True
Let r be (11 - 2)*8/12. Let h(q) = 4*q + 4. Let a be h(r). Is 13 a factor o