 12. Let t(m) = m**2 + m - 1. Let l(a) = -n(a) - 6*t(a). Let x be l(-4). Is 13 a factor of ((-26)/2)/(x/(-2))?
True
Let w be (-2)/(-1 + 20/19). Let c be (22/6 - 0)*18. Let b = w + c. Is 10 a factor of b?
False
Let s = -76 - -132. Does 14 divide s?
True
Is 7 a factor of (-5)/(70/63)*-1*8?
False
Let l = -12 + 29. Is l a multiple of 4?
False
Suppose 188 = 5*v - 152. Suppose 3*s + v = 5*s. Suppose x = 3*p - 40, 0 = 3*p + x - 10 - s. Does 13 divide p?
False
Let r be 1*12*(-9)/(-6). Suppose u - 17 = r. Suppose 3*a - u = -2. Is a a multiple of 7?
False
Suppose -2*n + 44 = 3*b - 41, -5*n = 5*b - 200. Is n a multiple of 7?
True
Suppose -9 = j - 38. Let x = j - 19. Let p = 30 - x. Is 14 a factor of p?
False
Suppose 614 = 3*t - 2*s, 0 = -0*t - 3*t + s + 613. Does 22 divide t?
False
Let k(d) = 9*d - 15. Is k(6) a multiple of 13?
True
Suppose -z + 0*r - 4*r + 48 = 0, 4 = 4*r. Is 7 a factor of z?
False
Let j(s) = -s**3 - 9*s**2 + s + 9. Let l be j(-9). Suppose l = -2*r + 47 - 7. Is r a multiple of 10?
True
Let i = -18 - -56. Let q(v) = -v**2 + 3*v + 2. Let g be q(-3). Let a = g + i. Is a a multiple of 11?
True
Suppose 119 = -5*y + r + r, 4*y + 4*r = -84. Let w = 51 + y. Is 10 a factor of w?
False
Let v = -1 - -31. Is 10 a factor of v?
True
Suppose -2*z - 28 = -3*z + 5*r, -4*r = -4*z + 176. Suppose -22 = -5*x + z. Does 6 divide x?
False
Let n(y) = -y + 8. Suppose -20 = -5*m - 5*a, m - 4*a - 13 = 1. Let v be n(m). Suppose g = l + v*l + 17, -l = -5*g + 29. Is g a multiple of 2?
False
Let c(t) = 52*t - 2. Is c(1) a multiple of 9?
False
Let s(h) = -16*h. Let y be s(-1). Let l = -4 + 2. Is (y - -3)/((-2)/l) a multiple of 8?
False
Let a(p) be the second derivative of 7*p**4/24 - p**3/3 + p**2/2 + 2*p. Let o(z) be the first derivative of a(z). Does 6 divide o(2)?
True
Let z = 1 + 1. Suppose 3*b + z*b = 25. Is b even?
False
Suppose -5*o = 7 - 27. Suppose -o*k - 176 + 592 = 0. Let j = -55 + k. Does 19 divide j?
False
Suppose 0 = 3*l + 5 + 10. Is 2 - -3 - (l + 2) a multiple of 5?
False
Suppose 5*c - 18*c = -780. Does 5 divide c?
True
Let g = -11 + 16. Suppose -5*p = 3*n + 73, g*p - n + 72 = -3*n. Let d = p + 39. Is 25 a factor of d?
True
Let z(n) = -n - 4. Let j be z(-9). Suppose j*b - 6 = 9. Suppose -5*x + b = -2, 3*t - 67 = -x. Is t a multiple of 11?
True
Let p = 1 - -2. Suppose p*c - 89 = 19. Is 13 a factor of c?
False
Is (1/3)/(3/63) a multiple of 2?
False
Let x(n) = 6*n**2 + 14*n - 8. Is 13 a factor of x(6)?
False
Suppose 3*h - 171 = 3*v, 5*v - 240 = -5*h + v. Is 31 a factor of h?
False
Suppose -2*v + 3*d + 167 = 0, -4*v + d - 6*d = -279. Is 19 a factor of v?
True
Suppose 4*y - 16 = -0*y. Suppose y*m + 2*v = 66, 3*v = 5*m - 0*m - 55. Is m a multiple of 6?
False
Suppose -13*c = -12*c - 40. Is 10 a factor of c?
True
Suppose 0 = -5*g + 4*q + 216, 5*g - 3*g + q = 89. Is g a multiple of 22?
True
Suppose -3*h + 3*a + 303 = 0, -a - 288 = -5*h + 197. Is 24 a factor of h?
True
Let d(a) = 4*a - 5*a + 3*a**3 + 5*a - 5*a**2 - 6 - 2*a**3. Is 7 a factor of d(5)?
True
Suppose 4*j - 86 = -3*c, 4*j - 8 = 2*c + 68. Let a = j - 8. Let i = a + 16. Does 14 divide i?
True
Suppose 3*l + 3*h = 183, 49 - 356 = -5*l - 4*h. Suppose 0 = -3*s - 5*v + 60, 0 = -3*s + 7*s + v - l. Is s a multiple of 8?
False
Suppose 2*t = v + 106, -2*v - 3*v + 198 = 4*t. Is t a multiple of 27?
False
Let d = 24 + 62. Suppose 22 = 4*m - d. Is 18 a factor of m?
False
Let y(t) = 8*t + 4. Let z be (-1)/2*(-1 + 1). Suppose z = -5*s + 6 + 9. Is y(s) a multiple of 14?
True
Let w(o) = 7*o + 9. Is w(0) a multiple of 9?
True
Suppose 0*l = -5*l + 60. Is l a multiple of 10?
False
Let f = 23 + -19. Suppose f*t + t = 60. Is 3 a factor of t?
True
Suppose -10 = 3*c + 2. Let h(v) = v**2 - v - 4. Let w be h(c). Is (-2)/(-4)*(w + 8) a multiple of 6?
True
Let s be (-36)/(-15) + 2/(-5). Let x = 1 + s. Suppose -92 = -4*h + 2*a, 2*a = -h + x*a + 23. Is 17 a factor of h?
False
Suppose 0 = 4*o + 4*i + 772, -3*o - 106 = -4*i + 494. Let x = 298 + o. Is 22 a factor of x?
False
Let f(t) = t + 8. Let x = -39 + 58. Suppose -2*n + 20 = -3*c, 3*n - 8 = 3*c + x. Is 15 a factor of f(n)?
True
Let g(z) = z - 1. Let l be g(4). Suppose 5*j = 2*w + 254, 2*w - 4*w + 146 = l*j. Let v = 71 - j. Is v a multiple of 9?
False
Let n = 3 - 0. Is 13 a factor of ((-4 + n)*13)/(-1)?
True
Suppose 3*v - 50 = v. Does 11 divide v?
False
Let y be 90/((-2)/4 - 1). Let d = y + 96. Suppose d = 4*s + 5*l, 4*l = l. Is s a multiple of 9?
True
Let x(r) = 3*r + 0 - 4 + r**2 - 4*r + 6. Let t be x(-4). Suppose -p = p - t. Is p a multiple of 11?
True
Suppose p - 3*p + 5*k = -82, 2*p - 64 = -4*k. Is 17 a factor of p?
False
Let r(i) = i + 3. Suppose 0 = -g + 2*y - 2, -g - y + 4*y = 2. Let w be r(g). Is w/(3 + 11/(-4)) a multiple of 3?
False
Suppose 4 = 2*m - 0. Suppose 48 = m*b - 0*b. Is b a multiple of 12?
True
Let d be 3 - 9 - (2 + -1). Let l(y) = -y**3 - 6*y**2 - y - 8. Is 12 a factor of l(d)?
True
Let i = 127 + -3. Is 40 a factor of i?
False
Let n(m) = -m**2 - 8*m - 1. Let g be n(-8). Let y(k) = -k. Let h(v) = -v**3 + 5*v**2 + 4*v + 6. Let w(z) = g*h(z) - 2*y(z). Does 13 divide w(6)?
False
Let m(q) = -q**3 - 5*q**2 - 5*q - 1. Let f be m(-4). Suppose -81 - 15 = -f*z. Is z a multiple of 16?
True
Suppose -3*n = -2*n - 8. Suppose -2*t + 48 = -n. Is t a multiple of 7?
True
Let v be (5/(-15))/(2/(-18)). Suppose 0 = -2*c + v*c - 32. Is 16 a factor of c?
True
Is 14 a factor of 38 + -11 - 1/((-2)/2)?
True
Suppose -o + 2*o = 5. Suppose -o*r - 14 + 144 = 0. Is r a multiple of 6?
False
Let d be 4/((2 - 2) + 2). Suppose -2*y = h - 1, 3*h - d*y - 35 = -0*y. Let r(b) = b + 3. Is r(h) a multiple of 10?
False
Let y be (-36)/(-30)*(-40)/6. Let r(v) = -7*v + 9. Is r(y) a multiple of 17?
False
Let y(p) = -p + 32. Is 8 a factor of y(0)?
True
Let l = 7 - 4. Suppose l*i = i + 98. Is i a multiple of 14?
False
Is 43 + (3 - -1) + -2 a multiple of 9?
True
Let n = 0 - -5. Let j be (-25)/(-2)*12/n. Suppose l = -l + j. Is l a multiple of 6?
False
Suppose 2*t + 2*t = 236. Let n be 3/(1 + 0) - 0. Suppose n*w - 22 = t. Is 27 a factor of w?
True
Does 25 divide (-2248)/(-10) + 3/15?
True
Suppose 2*a + 4 + 0 = 0. Is 5/(a + 38/18) a multiple of 15?
True
Let t(z) = -z**2 - z + 1. Let d(j) = 2*j - 2 + j**2 + 0*j - 1. Let y(o) = -d(o) - 2*t(o). Is 7 a factor of y(3)?
False
Let y = -13 + 24. Is 7 a factor of y?
False
Is (-4910)/(-18) + (-14)/(-63) a multiple of 31?
False
Suppose 0 = 5*k + 24 + 261. Let d = k - -80. Does 7 divide d?
False
Suppose 3*p - 56 = -2*o, -4*o - 56 = -3*p - 6. Let u = 84 - p. Does 15 divide u?
False
Let y(s) = s + 18. Suppose -u = -3*o - 26, -2*u = -5*o - 4*u - 25. Does 5 divide y(o)?
False
Suppose 143 = 4*i - 305. Suppose -i = -5*w + w. Does 17 divide w?
False
Let f(a) = 5*a**2 + 11*a + 2. Is 19 a factor of f(-4)?
True
Let t = -2 + 32. Is t a multiple of 7?
False
Suppose -9*n + 12*n = -15. Let d = 26 - n. Is d a multiple of 31?
True
Let q = -10 - -15. Suppose -2*g - 60 = -7*g - q*y, -4*g + 40 = -4*y. Is 4 a factor of g?
False
Let m(b) = -b**3 + b**2 + 2*b. Let r be m(2). Let d = 4 + r. Is 14 a factor of 3/12 - (-159)/d?
False
Suppose 9*l - 740 = 70. Is l a multiple of 15?
True
Suppose -4*u = -63 - 185. Is 21 a factor of u?
False
Suppose 14 = -0*u + 2*u. Let l = -1 - -12. Let g = l - u. Does 4 divide g?
True
Let w(s) = 2*s - 12. Let z = 9 - 1. Let m be w(z). Suppose -m*a = -3*a - 13. Is 5 a factor of a?
False
Let u = 7 - 12. Let v = 22 - u. Is (4/6)/(2/v) a multiple of 6?
False
Suppose 4*q - 23 = 5. Does 7 divide q?
True
Let p be ((-4)/3)/((-6)/9). Let q be 1/(-2) + (-15)/p. Let d = -4 - q. Is 4 a factor of d?
True
Suppose 0*x + 15 = x - 3*l, 3*l + 15 = 3*x. Suppose x = 3*q - 7*q + 24. Is 6 a factor of q?
True
Let u be (-2 + 5)/((-2)/(-14)). Suppose -2*o = -5*o + u. Is 12 a factor of 48/14*1*o?
True
Let h(i) = 6*i. Let b be h(1). Suppose 0 = 5*k + 3*t - 26, -k = -3*t + 2*t - 2. Is 11 a factor of 38/3 - k/b?
False
Suppose 3*u + 3*m = -m + 73, 0 = u + 4*m - 11. Let x = u - -4. Suppose x = 3*p + 2*p. Is 7 a factor of p?
True
Suppose -5*x - 36 = -2*k, -x - 4*x - 12 = k. Let l be (-56)/(-10) + k/20. Let a = l + -3. Does 2 divide a?
False
Suppose 5*x + g + 3*g - 764 = 0, 2*x + 2*g = 304. Is x a multiple of 52?
True
Suppose -b + 0 + 8 = 0. Suppose -4*f - b = -100. Does 8 divide f?
False
Let q(v)