/3. Let s(l) = -l**2 - 3*l - 6. Let q be s(g). Let a = -20 - q. Is 13 a factor of a?
True
Let r = 19 + 1. Is r a multiple of 5?
True
Is (-2)/11 - (-870)/66 a multiple of 3?
False
Suppose 17*p + 119 = 18*p. Does 38 divide p?
False
Let v be (48/(-14))/((-1)/(-14)). Let s = 77 + v. Is 9 a factor of s?
False
Suppose r + 4*s = 24, -s - 24 = -r - 0. Does 3 divide r?
True
Let r be (-4)/(-16) - (-2)/(-8). Suppose r*l + 10 = -2*l. Let p(w) = 2*w**2 + 5*w - 3. Is 12 a factor of p(l)?
False
Is 8 a factor of (64/6)/((-6)/(-18))?
True
Let d(n) = 2*n - 12. Let m be d(8). Suppose 0*f - m = -f. Suppose -3*t = 12, 5*t = -f*z - z + 180. Does 20 divide z?
True
Let i = 165 - 63. Is 34 a factor of i?
True
Suppose -9*p - 108 = -324. Does 5 divide p?
False
Suppose -3*r - 2*l = -136, 5*r - 2*l - 117 - 83 = 0. Is r a multiple of 14?
True
Let i(m) = 43*m**2 + 2*m + 2. Is i(-1) a multiple of 9?
False
Suppose 52 = y + 3*y. Let k be 4/(-8)*(1 + y). Let z(g) = -g**3 - 6*g**2 + 7*g + 9. Is z(k) a multiple of 4?
False
Suppose 99 = -0*y + 3*y. Let u = y + -22. Is u a multiple of 11?
True
Let o(h) = 1. Let v(t) = t**3 + 16*t**2 + 14*t - 3. Let p(g) = 3*o(g) + v(g). Does 13 divide p(-15)?
False
Suppose 0*x = x + 2. Let o(u) = -11*u - 3 + 3. Does 8 divide o(x)?
False
Suppose q - 138 = -4*a, 0 = -2*q + a - 6*a + 267. Does 7 divide q?
True
Suppose -4*m - 24 - 26 = -3*k, -4 = 2*m. Suppose -14 = -2*z + k. Is 14 a factor of z?
True
Let u(i) = 2*i**3 - 8*i**2 - 5*i - 1. Is 13 a factor of u(6)?
False
Suppose 3*c + 5*h = 374, 0 = 2*h - 2 - 0. Is 41 a factor of c?
True
Suppose -2*o + 13 = 7. Suppose 80 = 2*s + o*s. Is 9 a factor of s?
False
Suppose 4*p + 51 = -3*y, 3*p - 2*y + 7 = 2*y. Let c = p + 33. Does 16 divide c?
False
Is (-1)/(-4) - 86/(-8) a multiple of 9?
False
Suppose 0 = -z - z + 8. Is (z/(-6))/((-4)/30) a multiple of 2?
False
Let j(v) = -v**2 + v - 2. Let x(o) = -2*o**2 + 2*o - 4. Let s(n) = 5*j(n) - 3*x(n). Does 7 divide s(-3)?
True
Let t(b) = -b**2 + 9*b + 6. Let s be t(8). Is 141/21 - (-4)/s a multiple of 6?
False
Let h be (6/3)/2 + 17. Suppose -3*c - 46 = 4*p, p + 2 = -0*p + 4*c. Let t = h + p. Is 4 a factor of t?
True
Let d be (-54)/14 + (-5)/35. Is 15 a factor of d*2/(-16)*34?
False
Let h(o) = o**3 - 8*o**2 - 9*o + 8. Let i be h(9). Suppose -2*y - 3*b + i + 17 = 0, 5*y - 120 = 4*b. Does 20 divide y?
True
Let w(q) = q**3 - 3*q**2 + 8*q - 8. Let x be 2/(-3) + (-14)/(-3). Is 12 a factor of w(x)?
False
Let o be 5/3*6*-1. Is 26 + (o/2 - -2) a multiple of 14?
False
Suppose -11*s + 10 = -16*s. Does 11 divide (40/10)/(s/(-8))?
False
Let t(z) = z**2 + 4*z - 1. Let u be t(-5). Suppose 0*r = 2*r - u. Is r even?
True
Suppose -2*x + 4*o + 86 = 0, x + 4*o - 40 = 7*o. Is x a multiple of 7?
True
Suppose -2*z - 2*z + 17 = t, 4*z = 5*t + 35. Suppose 0 = -3*d + 35 - z. Is 5 a factor of d?
True
Suppose 0 = -u + 2*c - 4, -u = -3*c + 5*c + 8. Let y(d) = -5*d + 8. Is 14 a factor of y(u)?
False
Let h(f) = -f - 2. Suppose -16 - 29 = 5*d. Is h(d) a multiple of 5?
False
Suppose -6*r = -r - 30. Suppose n = 4*o, -19 + 7 = 3*n. Let a = o + r. Is a even?
False
Let c = 45 - 22. Does 23 divide c?
True
Let b(m) = m**2 - 8*m + 1. Is b(11) a multiple of 5?
False
Suppose -3*o - o = -2*n - 18, -4*o - 4*n - 12 = 0. Let w be (4/(-6))/(1/3). Is 13 a factor of (w - o)*(-39)/6?
True
Let z be (-2 - (2 - 5))*-10. Let y = -6 - z. Does 4 divide y?
True
Suppose 3*t - 5 = 4. Suppose -2*d = w - 26 - 21, -d + t*w = -41. Does 7 divide d?
False
Let f be 9/(-6) + (-42)/4. Let d = -6 - f. Is d even?
True
Let a = 1 + 0. Is 12 a factor of 4/4*a*12?
True
Let n = -14 + 2. Is n/4 + 2 - -38 a multiple of 24?
False
Let f = -16 - -22. Suppose f*a = 3*a + 33. Is 4 a factor of a?
False
Let g(m) = -55*m. Let y be g(-1). Suppose -5*d - y = -3*w, -2*w - 3*w + 40 = 2*d. Does 5 divide w?
True
Let s(g) = 13*g**2 - 4*g - 2. Let b be s(4). Suppose 5*w - b = -0*w. Is (w/(-4))/((-1)/2) a multiple of 19?
True
Let a(z) = z + 8. Let k be a(-5). Suppose 0*j = k*j + 75. Let s = 41 + j. Does 16 divide s?
True
Suppose 0 = -3*t + j + j + 587, -4*t = -4*j - 784. Does 17 divide t?
False
Suppose -y + 5*k = k - 36, -3*y + 3*k + 63 = 0. Let o = -6 + y. Is 3 a factor of (16/o)/((-2)/(-5))?
False
Let k be ((-18)/12)/(9/(-24)). Is 6 - (-7)/(14/k) a multiple of 3?
False
Suppose 0 = a - 5*a + 1824. Suppose i = 5*i - a. Is ((-20)/(-15))/(4/i) a multiple of 13?
False
Suppose 5*i + 0*i + 25 = 0. Let k be i*1*(2 + -1). Let d = k + 10. Does 3 divide d?
False
Suppose 3*n - 315 + 48 = 0. Is (-4)/(-6)*(n + 4) a multiple of 31?
True
Let j(g) = 20*g**2 + 2*g + 1. Let w be j(-1). Let r = 1 + w. Is 10 a factor of r?
True
Let j = -27 - -90. Is j a multiple of 7?
True
Let s(d) = -d**2 + 18*d + 18. Is s(18) a multiple of 9?
True
Let n(b) = -b + 13. Let w be n(8). Suppose 4*q + 3*s = 204, 3*q - 102 = q - w*s. Is q a multiple of 19?
False
Let o(l) = 10*l**2 + 3*l + 2. Let u be o(-1). Suppose -u = 4*r - 5*r. Is 3 a factor of r?
True
Let q(a) = a**2 + 4*a + 5. Let w be q(-4). Let k(m) = -m**3 + 5*m**2 + m + 3. Is 2 a factor of k(w)?
True
Suppose 10 = 5*m + 4*p, p - 6 = m - 4*m. Suppose 3*c = 5*f + 89, -2*f = 4*c - m*c - 70. Does 11 divide c?
True
Let d(x) = -x**3 - 4*x**2 - x - 2. Let z be d(-4). Is (-15)/z*32/(-40) a multiple of 6?
True
Let d(h) = -6*h. Let y be d(-1). Let k be 4/24 + 623/y. Suppose 0*l + 4*l - 5*f = 98, 3*f = -5*l + k. Does 11 divide l?
True
Let b be (-30 + 4)/(0 + 1). Let r = b + 43. Is 9 a factor of r?
False
Let p be 2 - 36/2 - 0. Let n = -28 - p. Is (-3)/((-9)/n - 1) a multiple of 8?
False
Suppose 0*g - 2*g - 13 = 5*u, g = -5*u - 9. Let y be 0 - (1*-45 + u). Suppose 4*i + 18 = y. Does 7 divide i?
True
Suppose -35 + 7 = -2*v. Is v a multiple of 14?
True
Suppose 0 = -5*a + 5*v + 215, 0 = 5*a + 3*v - 25 - 150. Is 9 a factor of a?
False
Let n = -26 + 28. Does 10 divide (n/4)/(2/120)?
True
Let k(c) = c**2 - 5*c + 3. Let z be k(3). Let h(y) = 2*y**2 + 4*y - 1. Let r be h(z). Suppose 80 = -r*o + 240. Is o a multiple of 16?
True
Let f = 601 + -350. Suppose -4*s + 205 = -3*j, 6*s - s - 2*j = f. Suppose 0 = -4*o - 20, 3*q - 5*o - 140 = -s. Does 10 divide q?
False
Let x(f) be the first derivative of f**4/4 - 8*f**3/3 + 3*f**2/2 + 11*f + 1. Is 9 a factor of x(8)?
False
Suppose 4*r - 156 + 40 = 0. Is 13 a factor of r?
False
Let c(o) = -36*o + 1. Let n be c(1). Let d = n + 53. Is 18 a factor of d?
True
Let p(s) = s**2 + 11*s + 7. Let n be p(-9). Let z = 15 - n. Does 8 divide z?
False
Let m(c) = -3*c - 2. Let f be m(-2). Suppose -3*r = 2*n - 26, -2*n - f*r = -4*n + 54. Is n a multiple of 7?
False
Let s = -306 - -453. Does 21 divide s?
True
Suppose -7 + 5 = -x. Suppose 5*l + x*i = 35, -4*l - 4*i = -24 - 16. Suppose 5*y - 2*h - 148 = 0, y - l*h - 27 + 2 = 0. Does 13 divide y?
False
Let n = -527 + 911. Suppose r + 576 = 3*p - r, 2*p = -2*r + n. Suppose 5*w + j = 140, 0 = -5*w - 5*j - 52 + p. Is w a multiple of 14?
True
Let n(m) = -m**2 - 5*m - 3. Let r be n(-6). Let g(s) = -s + 5. Does 7 divide g(r)?
True
Let l(s) = 2*s - 11. Is 5 a factor of l(8)?
True
Let j(z) be the first derivative of -9*z**2 - 4*z - 4. Does 15 divide j(-2)?
False
Let t = -3 + 7. Let p(u) = 4 - 9*u - t. Does 10 divide p(-3)?
False
Let m(k) = -k + 12. Let a be m(12). Suppose 2*o - 2*j - 40 = a, -2*j = -3*o - 0*j + 64. Does 8 divide o?
True
Let s(d) = -13*d**3 - 2*d**2 - d. Let o be s(-1). Let v be (-2)/(-8) - 75/o. Does 3 divide ((-4)/v)/((-2)/(-18))?
True
Suppose 4*z + 1 + 3 = 0. Let k be z*(-10)/4*-2. Let d = k + 8. Is 2 a factor of d?
False
Let u be 12/(-8)*(-12)/9. Suppose -u*b = -2 - 14. Is 4 a factor of b?
True
Let m(r) = -2*r - r + r - 2*r - 7. Let x(j) = j**2 - 8*j + 6. Let n be x(6). Is 17 a factor of m(n)?
True
Suppose 55 = -14*v + 19*v. Does 2 divide v?
False
Let c = -221 - -421. Is c a multiple of 8?
True
Suppose 2*v + 3 = 5. Is 10 a factor of -3*v + (2 - -31)?
True
Let m(k) = k**3 - k. Does 2 divide m(2)?
True
Let l be (5/(-4))/((-3)/36). Suppose -5*d - 3*y = -13, d + 3*d + 5*y = 13. Let v = d + l. Is v a multiple of 9?
False
Suppose k + 7 = w, 2*w + 2*k = -3*w. Suppose w = s - 1. Suppose 28 = -v + s*v. Does 7 divide v?
True
Let y(b) = b**3 + 2*b**2 + 2*b + 1. Let t be y(4). Suppose -4*k + t + 19 = 0. Is k a multiple of 18?
False
Suppose -n = -5*t - 114, t + 77 = -4*n + 470. Let o = n - 6