be (-6)/(3/(-6) - -1). Is 15 a factor of y(o)?
False
Let r = 5 + -3. Suppose -3*l - 15 = r*l. Does 14 divide (-10 + -4 + 2)*l?
False
Let u = 144 + -15. Is 29 a factor of u?
False
Suppose 3*a - 4*a + 25 = 0. Does 18 divide a?
False
Suppose -8*k - m - 19 = -3*k, 2*k + 5*m + 26 = 0. Is (k - -8)*(-26)/(-5) a multiple of 13?
True
Suppose -2*d = -23 - 37. Is 7 a factor of d?
False
Let m(n) = -n**3 - n**2 + 4*n - 1. Let q be m(-3). Suppose 0 = -q*b + i + 211, 5*b - 272 + 58 = 4*i. Does 13 divide b?
False
Does 9 divide (-3)/9*2*114/(-4)?
False
Let n(z) = 2*z**2 + 9*z - 7. Let a be n(-7). Let p be ((0 - -3) + -3)/(-3). Suppose q + p*q = a. Does 14 divide q?
True
Let t = -185 + 311. Is t a multiple of 21?
True
Suppose -4*q - 7 + 51 = 0. Suppose 18 = 2*v + 2*a - 0, 0 = v - 4*a + q. Suppose -t + 5*z = -12, v*t - 32 = -7*z + 4*z. Does 6 divide t?
False
Suppose 20*p = 16*p + 8. Is p even?
True
Let t be 2 + (2/1)/2. Let q = 6 - t. Suppose -5*g - 77 = -2*n, -63 = -3*n - 0*g - q*g. Is 13 a factor of n?
True
Suppose 0 = 8*z - 3*z - 150. Suppose 5*w - 3*a = -0*a + 55, 0 = -4*w + 2*a + 46. Let v = z - w. Is v a multiple of 8?
True
Suppose 2*j - 127 = 55. Is 14 a factor of j?
False
Let b = -58 - -82. Does 8 divide b?
True
Let j(z) = z + 5. Let u be j(0). Suppose a + 15 = 5*q, u*a - 11 = -5*q + 4. Let l(g) = 2*g**2. Is 9 a factor of l(q)?
True
Let p(f) be the second derivative of -f**8/6720 - f**7/420 - f**6/90 - f**5/30 + f**4/12 + 2*f. Let v(u) be the third derivative of p(u). Does 4 divide v(-5)?
False
Let z(g) = -g**2 + 6*g - 4. Let x be z(5). Let b = -34 - -11. Let y = x - b. Does 9 divide y?
False
Suppose -5 = -5*f - 3*t - 2, -4*f = -4*t - 28. Let w(p) = -5 - 2*p + 4 + p - f. Is 2 a factor of w(-7)?
False
Is 3 a factor of 4236/156 + 4/(-26)?
True
Let p be (2 + -1)*3 + 0. Suppose -4*g + 38 = -2*g - 2*y, -2*y - 62 = -p*g. Does 12 divide g?
True
Suppose -495 = -0*v - 3*v. Does 14 divide v*((-3)/(-9) + 0)?
False
Suppose 6*c = 2*c - 5*j + 12, -c + j + 3 = 0. Let a = c + -5. Let w = 5 + a. Is 2 a factor of w?
False
Suppose -2*l = -5*k + 1258, -1013 = -4*k - 6*l + l. Is 21 a factor of (1/2)/(3/k)?
True
Suppose -2*x + 3*x = 30. Is x a multiple of 3?
True
Let n(a) = 5*a + 4. Let q(x) = -6 + 2*x + 6. Let u be q(3). Does 9 divide n(u)?
False
Suppose 6*r + 29 = 7*r. Is 9 a factor of r?
False
Suppose 0*c - k = 3*c - 45, -3*k - 47 = -4*c. Let g be ((-9)/(-4))/((-6)/(-16)). Let o = c - g. Is o a multiple of 5?
False
Suppose -5*k + 2*m + 153 = -662, 2*k = -3*m + 345. Does 33 divide k?
True
Suppose 75 + 45 = 5*c. Does 5 divide c?
False
Let v(t) = -t**3 + 6*t**2 - 6*t + 6. Let b be v(4). Suppose -5*u + 3*y = -147, 0 = -u + 4*y + b + 12. Is u a multiple of 10?
True
Suppose -w + 4*y = -y - 12, 0 = -3*w + 2*y + 10. Let d(f) = f**3 - 3*f**2 + 3*f - 2. Let c be d(w). Suppose 3*b = -c*b + 21. Is 6 a factor of b?
False
Suppose -t + 3*t - 54 = 0. Is 9 a factor of t?
True
Suppose 7*w - 3*w - 308 = 0. Is 14 a factor of w?
False
Let y be 0/(3/(9/3)). Suppose -3*n - 30 + 126 = y. Suppose -4*k + n = -3*k. Does 13 divide k?
False
Let z = -3 + 3. Suppose 3*u + 5*t - 91 = 0, 5*u + z*u - 2*t - 100 = 0. Does 8 divide u?
False
Suppose 3*t - 7 - 9 = -2*a, -3*a - 6 = -3*t. Suppose 9*s - 4*s - 2*d - 112 = 0, s = -t*d + 40. Does 11 divide s?
False
Let n = -4 + 12. Is 2 a factor of n?
True
Let h be 1 - -1 - 36/(-3). Let o = h - 8. Is 3 a factor of o?
True
Let n = 19 - 10. Let j = n + 18. Is 9 a factor of j?
True
Suppose -9*p + 1536 = -p. Is p a multiple of 32?
True
Let d(s) = -s**3 + 17*s**2 - 13*s - 23. Let p be d(16). Let g(a) = -17*a. Let r be g(-3). Suppose -p = -h - 3*c - 2, 3*c = -3*h + r. Is h a multiple of 6?
False
Suppose -3*o - 4 - 14 = 0. Let s be (o/(-5))/(4/100). Is ((-220)/s)/((-2)/3) a multiple of 11?
True
Let v(a) = a + 2. Let y be v(-6). Is y*(-6)/20*15 a multiple of 9?
True
Let y = -10 - -6. Let t(c) = -5*c**3 - 4*c**2 + 3*c - 4. Let p(w) = 11*w**3 + 9*w**2 - 6*w + 9. Let n(u) = y*p(u) - 9*t(u). Does 18 divide n(3)?
True
Let p(h) = 3*h**2 + 2*h - 3. Is 10 a factor of p(3)?
True
Is 46 a factor of 20/(-5) + 151 - -5?
False
Let g(h) = -5*h + 7. Is 8 a factor of g(-5)?
True
Let l(v) = 3*v**3 - 7*v**2 - 5*v - 9. Let n be l(7). Does 16 divide (2/3)/(4/n)?
False
Let u = 80 - 8. Is 24 a factor of u?
True
Let i be ((-5)/((-5)/48))/1. Suppose -v + 5*t + 10 = 0, t - 2*t - 2 = -5*v. Let d = v + i. Does 14 divide d?
False
Let k(n) = -7*n**3 + 29*n**2 + 9*n + 16. Let x(b) = -3*b**3 + 14*b**2 + 5*b + 8. Let c(r) = -4*k(r) + 9*x(r). Is 8 a factor of c(-9)?
True
Let s(l) = l + 1. Let a(b) = -3*b - 2. Let v(f) = a(f) + 2*s(f). Does 3 divide v(-10)?
False
Let x be 0*(-1 - 6/(-8)). Does 7 divide x - -1 - (-33 + 6)?
True
Suppose 4*n - 220 = 2*c + 2*c, -n - 5*c + 61 = 0. Let p = n - 40. Does 16 divide p?
True
Let j(b) = -8*b + 23. Let k(y) = -7*y + 22. Let h(u) = -6*j(u) + 7*k(u). Let l be h(0). Suppose l - 72 = -4*c. Does 7 divide c?
True
Suppose -6*s = -2*s - 16. Let b = s - -4. Is b a multiple of 3?
False
Suppose 16 = -4*o, t + 2*t = o + 124. Suppose -12 = -4*g + t. Does 13 divide g?
True
Let p = -1 + 6. Suppose 0 = h + 3*h - p*d - 50, 30 = 2*h - 5*d. Is h a multiple of 4?
False
Let t(x) = -12*x - 6. Is 33 a factor of t(-6)?
True
Does 8 divide -2 + -5 + 4 + 37?
False
Suppose 3*u + 231 = 3*s, -2*u - 129 = -2*s - 5*u. Does 12 divide s?
True
Suppose 0*l + 4*l = 8. Suppose 4 = 5*n - 16, 3*n = l*r - 6. Is 3 a factor of r?
True
Is 25 a factor of (-27)/18*404/(-6)?
False
Let b be (19 - (-1 - 1)) + -1. Suppose -5*j = -5*m - 0*m, -b = -3*j - m. Is j a multiple of 3?
False
Let b(k) = -k**2 - 17*k - 12. Does 17 divide b(-15)?
False
Let u(p) = 28*p - 5. Let j be -5*1*(4 + -5). Let b(r) = -27*r + 6. Let o(f) = j*u(f) + 4*b(f). Is 11 a factor of o(1)?
False
Let f = -6 - -8. Let t be (f - 6)/(-1) - -2. Let c(l) = 2*l + 3. Is 5 a factor of c(t)?
True
Suppose -4*d = -2*d + 8, 18 = -m + d. Is 5 a factor of (-2 - 0)*m/4?
False
Let o(u) = -6*u - 3. Suppose 5*a - 4*g = -8*g + 2, -5*a + 5*g - 25 = 0. Let q be o(a). Is q/6*24/9 even?
True
Let j be (-2)/(-2 - -3) + 7. Suppose 0 = z - 3, -4*o - j*z - 73 = -212. Is o a multiple of 14?
False
Suppose -5*o + r = -105, -3*o + 0*o + 3*r = -75. Does 10 divide o?
True
Suppose -m - 8 = -5*m. Suppose -3*i + m*i = -18. Is i a multiple of 6?
True
Let g be (-5)/1 + 6/2. Let y = g - -5. Suppose y*m - 16 = 5*m - 4*x, 0 = m + x - 7. Does 2 divide m?
True
Let f(h) = 14 - h**2 + h + 3*h - 3*h. Let n = 61 + -61. Does 11 divide f(n)?
False
Let j be (-1)/((12/9)/(-4)). Suppose j*y + 2*y = 15. Suppose -12 = -y*b + 2*u, 5*b - 5*u - 12 = 2*b. Is b even?
True
Suppose 0 = -4*z + 2*q + 1150, 5*q - 8 = 7. Is z a multiple of 14?
False
Suppose 17 = 5*o - 2*l, 1 + 3 = l. Suppose -o*b = 2*k - 0 - 18, -2*b + 3*k - 8 = 0. Is b even?
True
Let y(h) = -h**3 - h**2 - h + 31. Let x be y(0). Suppose -x - 14 = -5*j. Does 7 divide (-3)/(-2)*60/j?
False
Let i(w) = w**2 - 3*w - 3. Let k be i(4). Let m(b) = 2*b - 4*b + b + 0 + 21*b**3 + 1. Is 7 a factor of m(k)?
True
Let q be (-2 + -1)/(1/(-51)). Suppose -2*t = -q + 63. Suppose t = -2*l + 7*l. Does 6 divide l?
False
Does 9 divide (2 - -5)/28 - (-683)/4?
True
Let y be 1/2*(-13 - -1). Let m(i) = 2*i**2 - 2*i - 2. Does 25 divide m(y)?
False
Let p(s) = s**3 + s**2 + 10*s. Is 40 a factor of p(5)?
True
Suppose -6*f + 14*f = 176. Does 22 divide f?
True
Let n = 213 - 133. Does 16 divide n?
True
Let d(y) be the second derivative of y**3/6 + 20*y**2 + 2*y. Let w(r) = -2*r - 10. Let a be w(-5). Is 18 a factor of d(a)?
False
Let k(z) = 10*z - 13. Is k(7) a multiple of 19?
True
Is ((-6)/12)/((-1)/(-6)) - -65 a multiple of 13?
False
Let a be 0/(((-16)/(-4))/4). Let x(k) = k**2 + 2 + 22 + k - 2*k**2. Is 11 a factor of x(a)?
False
Suppose 4*u - 98 = 5*j - 3*j, 0 = -u + 3*j + 17. Is u a multiple of 13?
True
Let v(l) = -9*l + 1. Let t(f) = 8*f. Let m(n) = 3*t(n) + 4*v(n). Is m(-2) a multiple of 14?
True
Let s be (-29)/3*(-18)/(-6). Let t = 66 + s. Is 13 a factor of t?
False
Let o(b) = -1 - b**2 + 4*b - b + 4*b**3 - 5*b + 2. Does 14 divide o(2)?
False
Let b = -79 - -120. Is b a multiple of 7?
False
Suppose -u = 2 + 3. Is ((-12)/u)/(15/50) a multiple of 3?
False
Let d = -81 - -120. Is d/4 + 2/8 a multiple of 7?
False
Let z(m) = -m. Let l be z(2). Let v be 22 + (0 - 0) + l. Suppose v -