 + 7*n**2 + n + 4. Let i be s(-7). Let a(m) = -m**2 - m + 4. Let o be a(i). Is (30/12)/(o/(-4)) a multiple of 3?
False
Let u(q) = -q + 6. Let w be u(0). Suppose -9*z = -w*z - 126. Is z a multiple of 15?
False
Suppose -41 = 5*z - 311. Does 18 divide z?
True
Let k be 2/((-3)/(81/(-2))). Suppose 3*p - o - 8 = 122, -2*p - 4*o = -110. Let q = p - k. Does 9 divide q?
True
Suppose -5*p + x = 82 + 97, 0 = -p - 2*x - 27. Let n = p + 49. Is n a multiple of 14?
True
Suppose 3 = 4*z - 197. Is 10 a factor of z?
True
Is 154 - 1 - 3/(-1) a multiple of 12?
True
Let a be (-3)/2*(-8)/6. Suppose -3 + 23 = a*y. Is 10 a factor of y?
True
Suppose x - j = 229, 0*j - 5*j = -3*x + 695. Is 15 a factor of x?
True
Suppose 2*t - 5*m - 6 + 16 = 0, -1 = -t + m. Let n be 2/7 + (-2)/7. Suppose 0*u - t*u + 90 = n. Is u a multiple of 9?
True
Let m be -3*(-4)/(2 - -2). Suppose 80 = 2*i - 108. Suppose -19 = -y + 2*v + 3, m*y = -v + i. Is y a multiple of 15?
True
Let j = 87 + -40. Is (4/((-4)/j))/(-1) a multiple of 14?
False
Let o be (16/(-10))/((-2)/5). Suppose 4*z - 415 = -5*x + 65, x = o*z - 480. Suppose -5*p = -4*v - z, -p + 41 = -5*v - 4. Does 14 divide p?
False
Let j = 57 + -32. Suppose -5*p + 5*c = -j, 3*c - c = -p + 17. Suppose k - z = 5*k - 67, p = 3*z. Is 8 a factor of k?
True
Suppose -4*b - 4*h + 884 = 0, 2 = h + 3. Is b a multiple of 32?
False
Let n(g) = g**3 + 12*g**2 - g + 16. Is 14 a factor of n(-12)?
True
Is (1148/49)/((-6)/(-21)) a multiple of 11?
False
Suppose -4*m + 36 = 4*k, 5*k + 4 = 6*k. Does 5 divide m?
True
Let p = 76 - 15. Is p a multiple of 11?
False
Let z(u) = u**2 + u - 12. Let n be z(9). Suppose -n = -2*w + 2. Is 15 a factor of w?
False
Suppose 4*s - 13 = -45. Let c be 14/(-4) - (-4)/s. Does 9 divide (2 + (-34)/4)*c?
False
Suppose -815 = -6*q + 3*q + 2*r, -q + 267 = 4*r. Let d = -190 + q. Does 27 divide d?
True
Let j(v) = -v**3 - 4*v**2 - 2*v + 2. Is j(-5) a multiple of 12?
False
Suppose 2*k - 8 = -2*i, 2*k + 5*i - 5 = 3. Let v(f) = f - 7. Let q be v(7). Suppose -g - 3*n + 9 = q, -2*n - k = -0*n. Is 5 a factor of g?
True
Let c(q) = q - 2. Let p be c(6). Let k = p - 2. Suppose 4*h + 4 = 0, 4 + 13 = k*j - h. Is 4 a factor of j?
True
Let t(x) = x**2 - 3*x. Suppose -7*p + 4 = -6*p. Let v be t(p). Suppose -b + 17 = -v. Is 7 a factor of b?
True
Let r = 4 - 1. Let f be (-1)/(r/1)*-15. Let t(v) = -v**2 + 8*v - 3. Is t(f) a multiple of 6?
True
Suppose -q + 4903 = -b, 3*b - 3*q = 6*b + 14703. Is b/(-78) + 4/26 a multiple of 21?
True
Let f(t) = t**2 + 48. Is 12 a factor of f(0)?
True
Let y(b) = b**3 + 6*b**2 - 3*b - 6. Let s be y(-6). Is 90/s*(-8)/(-5) a multiple of 9?
False
Let f(g) = g + 2. Let t be f(-5). Let a be (-24)/(-10)*15/t. Is (-2)/(-6) + (-428)/a a multiple of 18?
True
Suppose 60 = s + 11. Does 12 divide s?
False
Let d(p) = -17*p**3 - 3*p**2 - 4*p - 2. Is 21 a factor of d(-2)?
False
Let d(r) = -r**3 - 8*r**2 + 3*r - 10. Let s be d(-8). Let b = s + 80. Suppose -58 = -2*j + f + b, -250 = -5*j + 5*f. Is j a multiple of 19?
False
Let z(h) = 2*h**2 + 2*h - 2. Let k(j) = -j**2 - 1. Let m be k(1). Let s be z(m). Suppose 3*i = 2*f + 4 + 6, -s*f + 8 = 0. Is i a multiple of 5?
False
Suppose 0 = -z - 2*z + 6. Let g be -2 + z + 0/(-1). Suppose -m + 3*u + 8 = g, -44 = -6*m + 4*m - u. Is m a multiple of 8?
False
Let u(r) = 25*r - 2. Does 13 divide u(1)?
False
Suppose -148 = -z + 68. Let o be 34/10 + 6/(-15). Suppose -o*r = r - z. Is 17 a factor of r?
False
Let b(u) be the second derivative of u**4/2 - 2*u**3/3 + 2*u**2 - 3*u. Let l be b(4). Suppose 6 = 5*j - l. Is j a multiple of 9?
True
Is 10 a factor of -3 - 53*(4/(-2) - -1)?
True
Suppose -2*i = -4*f - 24, -29 = -2*i + 7*f - 2*f. Let z be (-6)/2 + 3 - -4. Is (i*1)/(z/46) a multiple of 14?
False
Let j be (0 - (-4)/(-6))*-12. Suppose j + 1 = 3*z - 2*c, -2*z + 25 = 5*c. Suppose 5 = z*d - 125. Is 13 a factor of d?
True
Let d = 89 + -39. Is 6 a factor of d/3 + 4/(-6)?
False
Suppose -16 = -2*o + 4. Suppose -30 + o = -5*n. Is (n + 0)*(-10)/(-8) a multiple of 3?
False
Let q = -53 + 150. Is q/4 - (-2)/(-8) a multiple of 24?
True
Suppose 0*q + 2*q - 34 = -4*g, 5*g - 40 = -3*q. Suppose -4*v + g = -1. Is v a multiple of 3?
True
Let o(q) = -23*q**3 - 1. Let z be o(-1). Let m be 4/12 + z/(-3). Does 10 divide ((-1)/(-2))/(m/(-140))?
True
Is 4 a factor of 147/(-14)*(-16)/6?
True
Let x = -17 - -22. Does 3 divide x?
False
Suppose 4*z - 360 = -z - 5*p, -2*z - p = -142. Does 14 divide z?
True
Suppose 5*z + 8*v + 25 = 3*v, -5*z = -3*v + 33. Let a = z - -37. Is 11 a factor of a?
False
Suppose -5*x - 30 + 10 = 0. Let f = 21 - x. Is 9 a factor of f?
False
Let j(q) = q**2 - 3*q - 5. Let t be j(5). Suppose 0 = -t*b + 10, 0*h = -2*h - 4*b + 54. Let l = h - 7. Does 8 divide l?
True
Let w(k) = -k**2 + 6*k + 1. Let t be w(5). Is 14 a factor of t*27/21*7?
False
Suppose -4*s + 12 = -0*s. Suppose -4*i + 17 = -s. Is i a multiple of 3?
False
Suppose 0*t - 4*t = -72. Does 9 divide t?
True
Let i be ((-5)/2)/((-2)/4). Suppose -i*t + 142 + 58 = 0. Is 20 a factor of t?
True
Let x = -19 + 31. Suppose q + 2*y = -4, -2*q = q - 2*y - x. Suppose 3*u - q*w = 54 + 47, -99 = -3*u + 3*w. Is 14 a factor of u?
False
Suppose t - 3*t = -40. Is 3 a factor of t?
False
Suppose 3*n - 72 = -n. Is 6 a factor of n?
True
Let v be (-2)/(18/(-3))*177. Let l = v + -35. Is 12 a factor of l?
True
Let j(c) = -15*c**3 - c**2 - 2*c - 1. Let z be j(-1). Let m = -8 + z. Suppose 2*l = -5*y + m, 0 = -3*l + 5*l + 8. Is y a multiple of 3?
True
Let p = -99 - -179. Does 5 divide p?
True
Suppose 132 + 3 = 3*m. Is 18 a factor of (8/10)/(2/m)?
True
Suppose 2*p + 4*o - 68 = -2*p, -5*p + 91 = 2*o. Is p a multiple of 6?
False
Let x(l) = 40*l**3 - 3*l**2 + 3*l - 1. Does 13 divide x(1)?
True
Let d be -2 - (-1 - 0)*5. Suppose -3*x = -d*n - 7 + 58, 2*n + x = 40. Suppose -3*s + 29 = -n. Is s a multiple of 12?
False
Let c(w) be the first derivative of -w**3/3 + 3*w**2 + 5*w - 1. Suppose -4*x - y + 22 = 0, -5*x - 12 + 31 = -3*y. Is c(x) a multiple of 10?
True
Suppose -3*w + 15 = 0, 61 + 3 = 4*v + 4*w. Is v a multiple of 8?
False
Let c(i) = -29*i - 3. Is c(-2) a multiple of 11?
True
Suppose 5*m + 2*y - 19 = -y, 2*m + 4*y - 16 = 0. Is m a multiple of 2?
True
Let c(v) = -2*v + 10. Let u be c(7). Does 20 divide (6/u)/(3/(-116))?
False
Let j(y) = y**3 + y + 44. Let k(a) = 3*a + 15. Let d be k(-5). Is j(d) a multiple of 22?
True
Let v be (0 - 12)*(-1)/2. Let q be v/(-33) + 90/11. Let r(s) = s**3 - 7*s**2 - 8*s + 6. Is r(q) a multiple of 5?
False
Suppose -3*t - 3 - 3 = 0. Does 4 divide ((-4)/4)/(t/14)?
False
Let z(d) = 4*d**2 - 4*d + 4. Let r = 24 - 22. Does 3 divide z(r)?
True
Let b(s) be the first derivative of 6*s**2 - 2. Does 9 divide b(1)?
False
Let b = -16 - -29. Suppose 2*v - 65 = -b. Does 10 divide v?
False
Suppose 0 = i + 2*s - 109, -4*i + 5*s - 530 = -9*i. Suppose 4*d = 53 + i. Is d a multiple of 14?
False
Is 2 a factor of ((-1)/3)/((-7)/147)?
False
Let j = 16 + -10. Is j even?
True
Suppose -3*t = x - 34, 4*t + 2*x - 36 - 12 = 0. Suppose 7*m - t = 2*m. Suppose a - 5 = -m*p + 8, a = -5*p + 13. Does 13 divide a?
True
Let m(h) = h**2 + 4*h - 20. Is m(5) a multiple of 16?
False
Let o = -2 - 7. Let v(g) = -g**3 - 8*g**2 + 9*g + 11. Is 11 a factor of v(o)?
True
Suppose 2*r = -r + 186. Does 10 divide r?
False
Suppose 0 = k - 4 + 1. Suppose 0 = -0*z - z + k*h, 2*z + 3*h - 18 = 0. Is z a multiple of 3?
True
Suppose -7*o + 6*o = -65. Suppose 2*b - 10 = -2*v, 0*v - 3*b - o = -5*v. Does 10 divide v?
True
Suppose 3*u - 179 = 49. Is u a multiple of 10?
False
Let p(u) = -3*u - 2. Let i be p(-2). Suppose 0 = 5*k - g - 21, -2*k = -i*k - 2*g + 6. Let t(a) = -a + 9. Is 4 a factor of t(k)?
False
Let o = -31 - -84. Suppose 69 = 2*s - o. Is 22 a factor of s?
False
Let g be -1 + 25 + 2 + 0. Suppose -g = t - 5*q, -2*t + q - 28 = 2*t. Does 5 divide (10/6)/((-1)/t)?
True
Let s(r) = -r - 4. Let p be s(-6). Suppose 0 = p*c - 3*v + 4*v - 129, c = -v + 66. Does 22 divide c?
False
Suppose -2*b + 715 = -589. Suppose -v + 28 = -5*n - 112, -b = -5*v + n. Suppose 0 = -2*s + 7*s - v. Does 8 divide s?
False
Suppose 0 = -3*a - 4*r - 67, -2*a - 2*r = -4*a - 40. Let f be (16/(-2))/(2/a). Suppose 0 = -3*p - 4*k + f - 14, -2*p + k = -54. Is 14 a factor of p?
False
Let w be (360/(-32))/((-2)/(-8)). Let l = w + 89. Does 22 divide l?
Tru