et i(c) = -4*c - 21. Does 15 divide i(u)?
True
Let y = 50 + -2. Does 12 divide y?
True
Suppose 0*g + 2*g + 30 = 0. Let j = 56 + g. Let x = j + -13. Does 14 divide x?
True
Suppose -12*k = -16*k + 60. Does 15 divide k?
True
Let a = 10 - 3. Is a a multiple of 2?
False
Let l(m) = m**3 - 5*m**2 + m - 2. Let s = -4 - -9. Let p be l(s). Suppose p*j - 57 = -0*j. Is j a multiple of 11?
False
Let l be 129/(-15) + 6/(-15). Does 14 divide (-285)/l - (-4)/(-6)?
False
Does 3 divide 98/6 - (-16)/(-48)?
False
Let x be (-5)/(5/(-8)) - 2. Let b be x + 0/(0 - -3). Suppose 2*a - 14 = -b. Is a even?
True
Does 7 divide 6/9 - 196/(-12)?
False
Let x(q) be the first derivative of -2 - 1/4*q**4 - 4*q + 0*q**2 + 0*q**3. Is 18 a factor of x(-3)?
False
Let z(p) = 15*p**2 + 4*p + 2. Let u = -5 + 3. Does 23 divide z(u)?
False
Let f = 17 + -6. Let m = -8 + f. Is 12 a factor of (-2)/m - (-166)/6?
False
Suppose a = -3*k - 4 - 9, 3*a = -5*k - 19. Let n be (a/6)/((-2)/(-30)). Does 5 divide n/1 - 1/(-1)?
False
Suppose -7*a = a - 176. Is 5 a factor of a?
False
Let b be 6/(-10) - (-72)/20. Suppose 4*k - 29 = -d, b*d + 2*k = 2*d + 37. Does 15 divide d?
True
Let v = -78 + 132. Is v a multiple of 20?
False
Let s(v) be the second derivative of v**4/6 - 2*v**3/3 + v**2 + 3*v. Suppose 0 = -3*z + 12 - 3. Is s(z) a multiple of 4?
True
Let d = 12 + 0. Let o = -7 + d. Suppose 3*z - 4*a - 30 = -a, -a - 42 = -o*z. Is z a multiple of 4?
True
Let t be (-4)/(-6)*(3 + 0). Let u(q) = 6 + 0*q - 5*q - 2*q**t + 3*q**2. Does 6 divide u(6)?
True
Suppose 0 = 4*k + w - 1, 3 = w - 2*w. Let u = k - 0. Is u - (2 + (-22 - 1)) a multiple of 11?
True
Suppose -39 = 4*c + 17. Let k = 31 + c. Let o = k - -11. Does 14 divide o?
True
Is 26 a factor of 30/(-9)*390/(-25)?
True
Let p = 7 + -1. Let g = 14 + p. Is 12 a factor of g?
False
Suppose 66 = 7*k - 5*k. Does 17 divide k?
False
Suppose 0*b - 4*b - 4 = 0, -2*b + 210 = 4*l. Does 10 divide l?
False
Let i(r) = r**2 + 3*r + 4. Let m be i(-3). Suppose -u - 5 = m*u + 5*f, 3*u + 4*f = -7. Let h = u - 0. Is h even?
False
Let c(d) = 2*d**3 - d + 1. Let m be c(1). Let w be 4 + (m - 2 - 0). Suppose 16 = 5*a - v - 35, 60 = w*a + 4*v. Is a a multiple of 4?
False
Let b = -2 - -4. Suppose b*t - 2*j + 14 = 0, 3 = 2*t - j + 13. Is 19 + (1 - 1 - t) a multiple of 6?
False
Let w be (-36)/(-21) + 4/14. Suppose 2*p = -w*p + 16. Is (-1)/(p/6)*-14 a multiple of 7?
True
Let w = 66 - 35. Is w a multiple of 8?
False
Suppose 0 = 3*h + 3 - 15. Suppose -3*i + 3 = 4*g - 10, -h*i + 12 = 4*g. Does 2 divide g?
True
Suppose 2*z = -2*w + 14, 0*z - 3*z - 4 = -2*w. Suppose z*f + 2 = 10. Is f a multiple of 2?
True
Let k = -17 - -21. Suppose -2*u + v + 24 = 5*v, k = -v. Is u a multiple of 4?
True
Let x = -16 - -19. Is 22 a factor of 41 + 0 + (6 - x)?
True
Suppose 0 = -3*u - 2*z + 62, -3*z - 2 = 5*u - 104. Is 17 a factor of u?
False
Suppose 3*n + 22 = -5. Let h(v) = v**3 + 9*v**2 - 7*v + 1. Let u be h(n). Let q = -27 + u. Is 14 a factor of q?
False
Let z = 50 - 18. Suppose -s + z = 3*s. Suppose 3*n = -0*a - a + 52, -s = 4*a. Is 7 a factor of n?
False
Let k = 10 + 124. Does 30 divide k?
False
Let m(h) = 4*h**2 - 2*h. Let i be m(-2). Let r = -5 - i. Does 5 divide (-104)/(-10) + 10/r?
True
Let s = 111 - 77. Is 6 a factor of (-3)/(-9) + s/6?
True
Let s(q) = q**3 + 5*q**2 - 6*q + 3. Suppose -4*c = -5*z - 41, -3*c + 8 = -4*z - 24. Suppose 0 = c*a + 5 + 19. Is 2 a factor of s(a)?
False
Suppose 4*y + y - 5 = 0. Is 13 a factor of y/(-3 + 160/52)?
True
Let f be (-11)/44 - (-17)/4. Suppose -4*p + 313 = 5*l, -f*p + 312 = 7*l - 3*l. Does 17 divide p?
False
Suppose p - 4 + 0 = 0. Suppose 16 + 15 = j - a, 130 = p*j - a. Does 11 divide j?
True
Does 19 divide (19/2)/(4*(-4)/(-96))?
True
Let u(m) be the second derivative of m**5/20 + 2*m**4/3 - m**3/2 + 5*m**2 + 2*m. Suppose 2*z + 15 = -1. Is u(z) a multiple of 12?
False
Let a = 41 + -59. Let b(v) = -32*v**2. Let g be b(-1). Let u = a - g. Is 8 a factor of u?
False
Let t(j) = -4*j**2 - 6*j - 4. Let f(i) = -3*i**2 - 6*i - 4. Let l = -9 - -15. Let b(q) = l*f(q) - 5*t(q). Is 10 a factor of b(5)?
False
Let l(c) = 5*c - 1. Let q be l(5). Does 14 divide (-2 - q/(-15))*-55?
False
Let q = 6 - 1. Suppose 0 = q*t - 59 - 116. Does 11 divide t?
False
Suppose 0 = 5*l - 3*c - 8, -4*c + 8 = -2*l - 0. Suppose -5*a + 115 = 3*s + 30, 0 = -l*s. Does 9 divide a?
False
Let b be (-44)/(-8) - (-2)/4. Let w = 13 - b. Does 5 divide w?
False
Let d be 6/21 - 80/(-14). Let a be 243/d*4/6. Suppose a = 4*t - 29. Is 14 a factor of t?
True
Suppose 3*r - 4*n - 51 = -n, -2*r + 29 = -3*n. Does 4 divide r?
False
Let x(i) = -34*i**3 + i**2 + 2*i + 1. Suppose 2*g + 5 = z - 0*g, -3*g = 4*z + 13. Is 7 a factor of x(z)?
False
Let y be -1*((-30)/2)/3. Suppose 5*l + 0*l = -y. Does 11 divide 0 - 66/3*l?
True
Let r be (-4)/(-18) - 238/(-63). Suppose 4*y - 4*c - c = 28, 0 = r*c. Let t = 13 - y. Is t a multiple of 3?
True
Let g(f) = f**3 + 7*f**2 - 2*f - 7. Is g(-6) a multiple of 11?
False
Suppose 0 = -3*b - 3 - 9. Let i(j) = -j**3 - 3*j**2 - 5*j - 6. Let v be i(b). Suppose -3*c = -z - 8 - 20, -v = -3*c + 3*z. Does 9 divide c?
True
Let m be 9*1*(-2)/3. Let p be 2/(-2) + (-115)/(-5). Let r = m + p. Is 8 a factor of r?
True
Suppose 0*o = 3*o. Let y be -3 + (o - 0) + 81. Suppose -4*r - 4*i + y + 58 = 0, r - 2*i = 22. Is r a multiple of 15?
True
Let d(j) = -37*j + 1. Suppose -t + 5*v + 28 = 0, 0 = 3*t + 2*v + 1 - 0. Let y be d(t). Is ((-8)/(-20))/((-2)/y) a multiple of 6?
False
Let i(x) = 0 + 0*x + 1 - x. Let z be i(-5). Is z*((-16)/(-6) - 2) a multiple of 4?
True
Is 3 a factor of 28/(-21) - (-134)/6?
True
Suppose -4*z + 23 = 5*c, 5*z - 2*z = 2*c. Suppose 3 = k - 1. Is (-30)/(-3) + k/z a multiple of 10?
False
Let u(w) = 10*w**2 + w + 2. Is u(-2) a multiple of 10?
True
Does 16 divide ((-144)/(-10))/(51/170)?
True
Let x be (5/(-2))/(2/(-4)). Let i(h) be the second derivative of h**3/3 + 4*h. Is 10 a factor of i(x)?
True
Let n = 9 - 15. Let t be 0 + 2 + n + 36. Suppose -3*k + g + 47 = -k, -2*k - 2*g = -t. Is 7 a factor of k?
True
Is (7 - 6) + 476/(-2 + 6) a multiple of 10?
True
Let t be ((-21)/(-5))/(2/40). Let v be (-6)/(-27) + 102/27. Does 6 divide t/9*6/v?
False
Let v(h) = -h**2 - 18*h + 7. Is v(-14) a multiple of 18?
False
Let w(x) = -9*x - 5. Let y = 10 + -10. Suppose -f + 2 - 8 = j, y = -3*j. Is 14 a factor of w(f)?
False
Let r = -13 - -9. Is 16 a factor of 12/(-8) + (-134)/r?
True
Let x = -7 - -9. Suppose x*b - 5*b + 90 = 0. Is 10 a factor of b?
True
Let f = -66 - -101. Is f a multiple of 35?
True
Let o(k) = k**3 + 1 - 9*k**3 - k**2 + k + 2*k**2. Let u be o(-1). Is 7 a factor of (-6)/27 + 155/u?
False
Suppose 39 = -3*u - 42. Let i = -1 - u. Is i a multiple of 13?
True
Let j be (80/24)/((-1)/3). Let m = j + 14. Is 12 a factor of m/14 - (-328)/28?
True
Let t be 2*(12/4 - 2). Does 13 divide (13/t)/((-1)/(-2))?
True
Let t be (-2)/1*30/6. Let b = -6 - t. Suppose -v = b*v - 30. Is 6 a factor of v?
True
Let v(k) be the first derivative of -3*k**5/40 - k**4/24 + 2*k**3/3 + 3. Let c(f) be the third derivative of v(f). Does 3 divide c(-1)?
False
Let h = 580 + -283. Is h a multiple of 27?
True
Let m(s) = 2*s**2 + s - 2. Let v be m(-2). Let a = v + 14. Does 5 divide a?
False
Let c be (-3 + 4 + -6)*-1. Suppose -5*d = -c*s + 50 + 5, 3*s = 4*d + 35. Is 6 a factor of (s + 3)*2/4?
True
Let t = 87 - 33. Is t a multiple of 18?
True
Suppose -2*p + 276 = p. Let o = p + -16. Is 19 a factor of o?
True
Let m(r) = 3 + 2*r + 10*r + 0. Let p be m(3). Suppose 5*v - 1 - p = 0. Is v a multiple of 3?
False
Let r(p) = -p**2 - 7*p - 2. Let u = -10 - -15. Let x(z) = -z**2 - 6*z - 1. Let l(v) = u*r(v) - 6*x(v). Does 21 divide l(6)?
False
Let q(g) = g**3 - 10*g**2 + 8*g + 6. Let t be q(7). Let o = -51 - t. Is o a multiple of 7?
False
Suppose 24 = v + v. Let a be v/(-7) - (-6)/(-21). Is ((-4)/(-4))/(a/(-30)) a multiple of 9?
False
Suppose -f + 2*o + 14 = 0, f + 4*o - 13 = 5*o. Let k be (-22 - 0)/((-2)/f). Suppose -12 = 5*i - k. Is i a multiple of 12?
True
Let l(g) = -14*g + 9. Does 11 divide l(-6)?
False
Let r(w) = -w + 1. Let s be r(-3). Let o(h) = -h - 4. Let d be o(-4). Suppose d = 3*f + 3*n - 66, -f - n + 38 = s*n. Is 9 a factor of f?
True
Let r(o) = -o**3 - 9*o**2 + 9*o + 6. Let l(m) = -m. Let b be l(-7). Let s = b + -17. Is r(s) a multiple of 1