 2*n + 3. Let z(m) = -211*m**2 - 10*m - 16. Let j(v) = 11*s(v) + 2*z(v). Is 13 a factor of j(-1)?
True
Let r = -10 - 41. Does 13 divide (1 - r*1)/2?
True
Let k be (-8)/(-36) + 48/27. Suppose 2*x = 3*u - 237, -k*u - 3*u + 382 = x. Does 22 divide u?
False
Let m be (12 - 5) + (-2 - -1). Suppose -10*c + 160 = -m*c. Suppose 2*r + c = 6*r. Does 5 divide r?
True
Let z(v) be the first derivative of 23*v**4/4 + v + 2. Is z(1) a multiple of 12?
True
Let t(b) = -4*b + 3. Suppose -4*q - 12 = z, 3*z + 9 = -3*q + 6*z. Does 15 divide t(q)?
True
Suppose -3*a + 5*s + 103 = 0, -7*s = 5*a - 3*s - 184. Is 16 a factor of a?
False
Let u(s) = s**3 + 5*s**2 + 4*s + 3. Let r be u(-4). Let t be 40 - r - 1 - 1. Let k = -1 + t. Is 17 a factor of k?
True
Does 6 divide 0 + 4 + (-64)/(-2)?
True
Let p(u) = u**2 - 5*u - 1. Let g be p(5). Does 12 divide ((-5)/10)/(g/24)?
True
Let n(g) = g**2 - 13. Is n(4) a multiple of 2?
False
Suppose 5*p - 10 = -2*l, 6*l - 25 = l. Suppose q - 29 = -3*c, c + 3*c - 4 = p. Is q a multiple of 11?
False
Let u(n) = 2*n**3 - 2*n**2 - 2*n + 6. Does 6 divide u(3)?
True
Suppose -287 = -2*l + p - 88, 2*l - 209 = -p. Does 55 divide l?
False
Suppose v = -v - 2*b + 122, 4*v - 2*b - 232 = 0. Suppose 2*s - v = -4*f + 85, 5*f + 353 = 4*s. Is 23 a factor of s?
False
Let y(t) = t**2 + 2*t + 2. Let o be y(-2). Suppose -o*n - 8 = -6*n. Does 5 divide -2 - ((1 - 11) + n)?
False
Is 12 a factor of (-4 + (-120)/(-9))/(1/9)?
True
Suppose 0 = 4*n + 4*h - 2*h - 14, -2*n = 3*h - 9. Let v = n - -6. Is 9 a factor of v?
True
Let d = -63 + 103. Is d a multiple of 10?
True
Suppose -n + 2*m = m - 24, -n + 9 = 2*m. Let i = 13 - 4. Let w = n - i. Does 5 divide w?
True
Let g(i) = -i + 11. Let z be g(8). Does 12 divide (12/1 - 0)*z?
True
Suppose 28 = 4*j - 3*q, -8*j + 2*q = -4*j - 28. Suppose -3*d + 15 = 0, -3*s + 3*d = -j*s + 95. Is s a multiple of 20?
True
Let i(k) = -4*k**3 + k + 1. Let a be i(-1). Let d = a + -10. Is 15 a factor of 4/6 + (-176)/d?
True
Let n(a) = -a**3 + 9*a**2 + a - 6. Let r be n(9). Let u be (-92)/r + 4/6. Does 7 divide (24/(-20))/(2/u)?
False
Let v(g) = -g**2 + 8*g - 3. Is 6 a factor of v(6)?
False
Suppose -g = -c - 0*c - 8, 3*g = 5*c + 20. Let i = 0 - -3. Suppose i = -v, v + g = 4*h + 3*v. Is 4 a factor of h?
True
Let u(o) = -3*o + 9. Let h be u(7). Let y(j) = -j**2 - 15*j + 9. Let m be y(h). Let l = 68 - m. Is 23 a factor of l?
True
Suppose 0 = -c + 5, 5*p - 5*c - 1115 = -0*p. Does 12 divide p?
True
Suppose s = -2*s + l - 26, 0 = -4*s - 3*l - 26. Let u be (s/6)/(1/(-3)). Suppose -u*w + 68 + 68 = 4*h, 3*w + 2*h = 103. Is 12 a factor of w?
False
Let z(s) = s**2 - s - 4. Let p = 10 - 7. Let g be z(p). Suppose -5*f = 2*q - 5, -g*q = 4*f + 1 - 11. Does 5 divide q?
True
Let g(t) = t**2 + t + 10. Is g(5) a multiple of 20?
True
Suppose -2*w = -5*k + 10 + 7, 3*k + 1 = 4*w. Suppose w*f = 2*l + 10 + 22, -4*f = 4*l - 44. Is 9 a factor of f?
True
Let d be (-18)/(-2)*8/6. Let w be (20/d)/(1/9). Does 12 divide (-1 - 0) + 1*w?
False
Let s(y) = -2*y**2 - 21*y - 4. Is s(-10) a multiple of 6?
True
Let l = 20 - 11. Suppose s + l - 1 = 5*a, -3*s - 2*a + 61 = 0. Is (0 + s/(-1))*-2 a multiple of 9?
False
Suppose i - 3*i - 27 = -k, 0 = 5*i + 15. Is 3 a factor of k?
True
Suppose -7*b = -508 - 24. Is 10 a factor of b?
False
Suppose 2*b = -6 + 2. Does 18 divide 1430/40 + b/(-8)?
True
Let w(k) = -20*k**3. Let l(m) = m**3 + 10*m**2 - 14*m - 9. Let q be l(-11). Let y be 6/(-4)*16/q. Does 8 divide w(y)?
False
Let c be -1*(-1)/2*20. Suppose -3*p - 1 = -c. Suppose -k = -5*f + 188, p*f - 122 = -5*k + k. Is 19 a factor of f?
True
Let r(c) = c + 18. Let k(o) = 3*o + 2. Let d be k(-4). Is r(d) a multiple of 8?
True
Is 17 a factor of (-3550)/(-40) + (-6)/8?
False
Let y(l) = l**3 + 2*l**2 - l + 71. Is 37 a factor of y(0)?
False
Let c(g) = -g**2 - 21*g + 34. Does 14 divide c(-18)?
False
Suppose 0 = -0*p + p - 4. Let y = -39 + 68. Suppose -p*g + 27 = -y. Is g a multiple of 7?
True
Suppose 2*k - 6 = -16. Let i(g) be the first derivative of -g**3/3 - 4*g**2 - 5*g + 9. Is 6 a factor of i(k)?
False
Suppose 0 = -z + 3*z - 78. Is 19 a factor of z?
False
Let o(r) = 2*r**3 + 5*r**2 - r - 1. Is o(-2) a multiple of 5?
True
Let m be -10*(-3)/6*1. Let c(z) = z**2 + 4*z + 7. Does 13 divide c(m)?
True
Let g(t) = -t**3 - 18*t**2 - 2*t - 17. Does 19 divide g(-18)?
True
Suppose 0 = -4*r - 0*r + 192. Suppose -p + r = p. Does 15 divide p?
False
Let a = -22 + 9. Let d = a + 52. Suppose -3 - d = -3*s. Is 5 a factor of s?
False
Suppose -j = 1 + 1. Is (-35)/(-4) - j/8 a multiple of 5?
False
Suppose 49 = -4*x - 5*s + 9, s = 5*x + 50. Let c be (-8)/20 - 4/x. Suppose -2*d + 44 = -c*d. Does 22 divide d?
True
Is 15 a factor of -1 + 3/6*122?
True
Suppose -5 = t - 2*r - 0, -5*r + 14 = -4*t. Let q be 2 - ((t - 15) + 0). Suppose -2*h = -54 + q. Is 9 a factor of h?
True
Let h(z) = -z**3 - 3*z**2 + 3. Let w be h(-3). Suppose -4*x + 60 - 4 = 0. Is 4 a factor of (-2 + x/3)*w?
True
Let b = -3 + 3. Let p(r) = -2 + b + 3 + 5*r. Is 6 a factor of p(1)?
True
Does 9 divide 5/(-20)*-8 + 202?
False
Let u = 1 + 1. Let l = -67 - -175. Suppose -u*b = b - l. Is b a multiple of 18?
True
Let z = 16 - 5. Let n = z + -7. Does 14 divide ((-8)/n)/((-1)/7)?
True
Let j(c) = c + 2. Let z be j(0). Let h(r) = -r - 4. Let d be h(-6). Is 22 a factor of 2 + z + 48 + d?
False
Let o = 0 - 6. Let q be (o/(-1))/3*-2. Does 9 divide ((-3)/q)/((-4)/(-96))?
True
Let h(v) = 5*v + 24. Does 28 divide h(12)?
True
Let t(q) = 2*q - 1. Let x be t(2). Suppose -x*n + 3*w = -96, n + 2*w - 26 = -3*w. Is n a multiple of 10?
False
Suppose 0 = -n + 5*n - 12. Suppose n = 2*h + 5*u, -3*u - 4 = -4*h + 15. Suppose h*r + 6 = -4*i + 30, -5*i = -2*r - 37. Is i a multiple of 5?
False
Suppose 0 = -5*v + 4*v - 5*s + 30, -3*v + 5*s = -130. Is v a multiple of 10?
True
Suppose -25 = -p + 3. Let z be (p - 2) + -4 + 2. Let n = z - -3. Is n a multiple of 12?
False
Let m(w) = -w. Let a(n) = -2*n + 1. Let v(t) = a(t) + 5*m(t). Let d be v(1). Does 19 divide d - -44 - (0 + 0)?
True
Let d(r) be the second derivative of -21*r**5/20 + r**3/3 + r**2/2 - 3*r. Is d(-1) a multiple of 10?
True
Is 29 a factor of 356/2 - -10*(-10)/25?
True
Suppose 0 = 2*p - 5 - 1, 1 = j - 2*p. Is ((-34)/10)/(j/(-35)) a multiple of 17?
True
Let k(p) = 4*p**2 + p - p**3 - 1 + p**2 + 0*p**3. Let s be k(5). Suppose -4*f + 210 = f + 2*j, 3*f - 112 = -s*j. Does 22 divide f?
True
Suppose -n - 2*k = -168, 0 = -4*k + 4 + 4. Does 35 divide n?
False
Let n be 161/4 + 2/(-8). Suppose -2 = -3*k + n. Is k a multiple of 7?
True
Let m = -115 + 173. Let y = -31 + m. Does 7 divide y?
False
Let n = -108 - -190. Does 52 divide n?
False
Suppose -5*w + 4*f = -19, -3*f + 20 = 2*w - 6. Suppose -2 = 4*v - 3*t - w, -t = -v. Does 2 divide v?
False
Let a be -1*(9/3 + -3). Suppose -79 = -4*h - 5*t, 89 = 5*h + 3*t - a*t. Is 5 a factor of h?
False
Let x(g) = -g**2 + 9*g. Let t = 15 - 8. Is x(t) a multiple of 7?
True
Let f be 1*2 + (2 - 1). Suppose 0 = 4*n + 3*d - 107, n + d = -f*d + 17. Is 6 a factor of n?
False
Let v(h) = -2*h**2 + 3*h**3 - 4*h - 2 + 0*h + 3*h. Is v(2) a multiple of 6?
True
Let i = 58 + -39. Suppose 3*l - i = -w, -4*l = -w - 20 - 10. Does 2 divide l?
False
Let q(y) = y**2 + y + 10. Let p be 3 - (5 - 3)*-1. Does 10 divide q(p)?
True
Let j = 4 + -11. Let i = 9 + j. Is 2 a factor of (-2)/((-24)/10 + i)?
False
Let l = 10 - 20. Is 3 a factor of (-3 - l)/1 - -2?
True
Let y = 18 - 13. Suppose -y*z = 2*m - 36 + 3, 67 = 5*m - 3*z. Does 13 divide m?
False
Let g = 9 - 5. Suppose t + 3*q - 99 = 0, -2*q = g*t - 3*q - 370. Is t a multiple of 31?
True
Suppose 3*r - 86 = -2. Does 7 divide r?
True
Let a be ((-19)/(-4))/(1/44). Suppose 5*l + 9 = a. Is 12 a factor of l?
False
Let l = 18 - -11. Is l a multiple of 17?
False
Suppose 3 = -2*n + 7. Let v(b) = 2*b**2 - 4*b + 3. Let u be v(n). Suppose u*i - 23 = 19. Is 9 a factor of i?
False
Let g(q) be the first derivative of -q**2/2 - q - 3. Is g(-8) a multiple of 2?
False
Does 3 divide (-15)/10 - (-39)/2?
True
Does 24 divide 98/1 - (1 + 1)?
True
Suppose 0 = 2*v + 2*q + 3*q - 410, 4*v = 5*q + 790. Does 20 divide v?
True
Suppose 5*r = -r + 450. Is 11 a factor of r?
False
Let q(j) = 2*j**2 + 2*j + 2. Is q(-2) even?
True
Suppose -1 = -2*p - 3, -p - 71 = -2*a. Is a a multiple of 25?
False
Let p(u) = 5*u - 9. Le