 = 1 + -1. Suppose 2*a + 2*c = -20, -2*a - 29 + 2 = -5*c. Let q = o - a. Is q a multiple of 11?
True
Let a be 8/28 - (-3368)/(-28). Is (a/12)/(2/(-5)) a multiple of 12?
False
Let h be ((-1)/2)/((-3)/24). Suppose -4*m - 2*m = -528. Suppose -m = -h*p + 4*j, 4*p - 3*j = -2*j + 82. Is 10 a factor of p?
True
Let a = -17 - -42. Suppose 0 = -p + 4*p. Suppose p = j - a. Is 11 a factor of j?
False
Is 18*-1*(-3)/9 a multiple of 2?
True
Suppose 4*d - 2*s - 4 = -0, 0 = -5*d + 2*s + 7. Let t(v) = -3*v**2 + 5*v - v**3 + v**3 + v**3 - 2. Does 13 divide t(d)?
True
Let p(o) = -o**2. Let i(d) = -d + 1. Let t be i(5). Let m(q) = 9*q**3 - 2*q**2 - 1. Let c(l) = t*p(l) + m(l). Is c(1) a multiple of 5?
True
Suppose -2*l - 4*b = -4*l + 74, 0 = 3*l + 5*b - 144. Does 19 divide l?
False
Suppose 2*r + 0 - 19 = -z, 3*r + 4*z - 21 = 0. Let s = r - 8. Suppose -s = -2*a + 3. Is 2 a factor of a?
False
Let q = -11 + -14. Let w = -18 - q. Is w a multiple of 4?
False
Let h(r) = -r - 2. Let x be h(-2). Suppose x = -3*s + p + 61, 3*p = -4*s + 6*p + 83. Is 10 a factor of s?
True
Let s be (-9)/6*2 - -97. Let r = s - 66. Does 21 divide r?
False
Let q = 3 + 0. Suppose -q = -2*t + 3. Is 3 a factor of t?
True
Suppose -23*k - 644 = -30*k. Is 24 a factor of k?
False
Suppose 5*w + l - 423 = 0, 0 = -l + 3. Is w a multiple of 17?
False
Let h(w) = 7*w**2 + 25*w + 19. Let i(j) = j**2 + j + 1. Let d(l) = -h(l) + 6*i(l). Does 23 divide d(-13)?
False
Let t = -18 - -14. Does 15 divide 86 - -2*t/(-8)?
False
Suppose f - m = 105, -2*m - 2*m = -2*f + 208. Is f a multiple of 12?
False
Suppose 4*r = -30 + 110. Suppose -5*z - r = 0, -5*w - 5*z - 1 = 9. Suppose 0 = p - w*p + 10. Is p a multiple of 10?
True
Let n(m) = -4*m**2 - 3*m + 1. Let v be n(6). Is 11 a factor of (v/14)/(2/(-4))?
False
Suppose -19 = -d - 3*i, 2*i = -2*d + 3*i + 3. Suppose 3*f + 11 = d*f - 4*g, -4*f - 2*g = -26. Is f a multiple of 7?
True
Let v = 1 + 5. Suppose -12 = -v*x + 2*x. Suppose -x*q + 38 = p, 4*p - 147 = q - 21. Does 12 divide p?
False
Suppose v - 43 = 4*b, v + 0*v = 2*b + 21. Let n = b + 26. Is 15 a factor of n?
True
Let m be (90/4)/((-6)/(-8)). Suppose 3*j - m = 4*z - z, z = 3*j - 26. Is j a multiple of 4?
True
Let k(y) = 34*y - 2. Does 13 divide k(2)?
False
Let k be (-1)/((-9)/(-6) + -1). Let h be (k/5)/((-2)/(-10)). Let x = h - -10. Does 8 divide x?
True
Suppose 0 = 5*m - 7*m + 96. Does 12 divide m?
True
Let h(i) = -i**3 + 9*i**2 - 9*i + 12. Let z be h(8). Let t = -2 + z. Let o = 17 + t. Does 19 divide o?
True
Let a(m) = -m**3 - 8*m**2 - 2*m - 10. Is a(-8) a multiple of 2?
True
Let c = -23 + 65. Does 14 divide c?
True
Suppose -3*a = -53 - 25. Let q be (441/(-18))/(2/(-4)). Suppose -3*l + q = -a. Is l a multiple of 9?
False
Suppose -w = -0*w - 30. Suppose -3*d + o = -46, 2*d - 5*o + 4*o = w. Is 13 a factor of d?
False
Let j(k) = k**3 + 7*k**2 - 9*k + 12. Suppose -5*u - 34 = 3*b, b = 5*u + 1 + 1. Is j(b) a multiple of 5?
True
Let l = 15 + -9. Does 4 divide l?
False
Suppose 0 = -2*m - r + 81, -m - 54 = -2*m - 5*r. Suppose 0*i - m = -i. Suppose -3*z - 12 = -i. Is z a multiple of 7?
False
Let a be (-4 + 3)/((-1)/4). Suppose 6*n = a*n + 10. Suppose -n*q - 5*s - 5 = 0, 5*s = -3*q + 4*q - 29. Is 3 a factor of q?
False
Let z(r) = 4*r + 2. Let c(w) = w**2 + 6*w - 2. Let v be c(-7). Does 14 divide z(v)?
False
Let b(m) be the second derivative of -m**5/20 + m**4/2 - 5*m**3/6 - m. Let z be b(4). Is (z/(-10))/(6/(-195)) a multiple of 13?
True
Suppose -3*q = -5*l - 41, -3*l - 19 = -q - 0*l. Is 2 a factor of q?
False
Let m = -84 + 151. Is m a multiple of 18?
False
Suppose -5*c + 6 = -3*c + 3*m, c + 10 = 5*m. Suppose -5*w + 0*w - 2*x + 116 = c, 0 = -3*w + 4*x + 54. Does 11 divide w?
True
Suppose m = -2*q + 49, q - 45 = -q - 5*m. Let j = 23 + q. Is j a multiple of 16?
True
Suppose n - 89 = -n - 3*j, -n + 57 = -j. Does 13 divide n?
True
Suppose -15 = -2*d - 5. Let h(o) = 1 - o + 1 + 5*o + 2. Is h(d) a multiple of 14?
False
Suppose -4*p + 7*i + 30 = 2*i, -4*p = 2*i - 16. Suppose 3*k = 4*f + 61, 4*k + 2*f = p + 113. Is 9 a factor of k?
True
Suppose 1 = 2*p - 3. Suppose -p*k = -0*k - 2. Let g = 4 + k. Is 2 a factor of g?
False
Let h = 1 - -4. Suppose h*j - 4*j - 36 = 0. Let s = -16 + j. Does 10 divide s?
True
Let c(t) = 2*t**2 - 6*t - 2. Does 14 divide c(7)?
False
Suppose 0 = 3*v + s + 340, 0 = -0*v - 3*v + s - 338. Let b = 164 + v. Is b a multiple of 12?
False
Let x(k) = -7*k. Let w be x(-2). Suppose 138 = 5*l - 2*f, -4*f = 3*l - 74 - w. Is 2*-1 + l + -3 a multiple of 12?
False
Let h(w) = -8*w + 5. Let g be h(4). Let v = -15 - g. Suppose o + 2*r + 0 = v, r + 66 = 4*o. Is o a multiple of 8?
True
Let w = 7 + -4. Suppose 3 = w*j - 2*j. Suppose -j*g + 97 = g - 5*b, -2*b + 146 = 5*g. Is 12 a factor of g?
False
Let x(h) = 8*h. Let f be x(1). Let z be (15/(-20))/(2/f). Is (-14)/(-3) + 2/z a multiple of 4?
True
Let z = 11 + -11. Suppose 5*u + 4*n - 157 + 28 = z, 5*u + 5*n - 130 = 0. Is u a multiple of 25?
True
Let z(o) = -o**2 - 8*o + 3. Let a be z(-8). Suppose -2*t = -4*t + n + 61, a*t - 5*n = 95. Is 15 a factor of t?
True
Let s = 120 - 88. Does 4 divide s?
True
Let t(k) = k**3 - 2*k**2 - 2*k + 1. Let i be t(3). Suppose 5*x = 3*v - 88, -2*v - x - 68 = -i*v. Is v a multiple of 21?
False
Let s(p) = -2*p**3 - 7*p**2 + p - 1. Let d be s(-5). Suppose 2*m = -0*m + 5*z + d, 0 = 5*m + z - 132. Is m a multiple of 27?
True
Suppose -2*u + u - 59 = 0. Let o = u + 107. Is 24 a factor of o?
True
Let k(y) = 7*y - 1. Let z(j) = -j**2 - 6*j - 4. Let o be z(-5). Let b be k(o). Suppose 0 = -5*f + 4*w - 0*w + 16, -f - 2*w + b = 0. Is 4 a factor of f?
True
Suppose -5*z = 4*v - 109, -5*v + 99 = -v + 3*z. Suppose -v = -f + 3*y, -f = 3*f - 5*y - 98. Suppose 0 = 2*l + 9 - f. Is 4 a factor of l?
False
Let j be (-3 - -4)*(-2)/(-2). Let i be (j/2)/((-1)/10). Let t = 8 + i. Does 2 divide t?
False
Suppose -4*n + 8 = 3*q, 5*q + 17 = n + 2*q. Suppose w + 84 = n*w. Is w a multiple of 12?
False
Suppose 1 = 3*p - 2*p + 2*y, 5*y - 7 = -4*p. Let c = 37 - p. Suppose -1 = -5*z + c. Is 6 a factor of z?
False
Let y be ((-1)/2)/(11/(-1496)). Let x = -2 - -7. Suppose -3*o + x*o = y. Is 14 a factor of o?
False
Does 9 divide (1 - -4)*(8 - 4)?
False
Let m be -1*4/(-2) - -3. Suppose 0 = -g + 20 - m. Does 5 divide g?
True
Let k(t) = 3*t**2 - 22*t + 22. Does 19 divide k(12)?
True
Let q(l) = -95*l + 19. Let b(n) = -16*n + 3. Let w(a) = -19*b(a) + 3*q(a). Let p(g) = -g**2 - 7*g + 10. Let v be p(-8). Is 15 a factor of w(v)?
False
Suppose 20*j = 15*j + 185. Is 31 a factor of j?
False
Let y(g) = g**2 - 5*g + 63. Does 3 divide y(0)?
True
Let y be (-3)/((-9)/3)*0. Suppose -g + 3*g = y. Is g - 2*(-6 + 0) a multiple of 6?
True
Suppose -5*g = -24 - 21. Let i = 26 - g. Is 4 a factor of i?
False
Is 3 - (-47 + 10/(-5)) a multiple of 13?
True
Let d(v) = -1 + 2*v**2 + 2*v - 5*v + 9 - 4*v. Is 13 a factor of d(6)?
False
Let s be (-4)/(-10) + (-54)/10. Let u(r) = -7*r**2 - 6*r - 4 + 6*r**2 + 1. Is u(s) a multiple of 2?
True
Let i be 5*(-1 - (-27)/5). Suppose -4*l = -4*y - 60, 0 = 5*l + 4*y - 17 - i. Suppose -5*h = 5*z - l - 9, -2*h = -z + 13. Is z a multiple of 7?
True
Suppose -w - 5*q - 16 = 0, -4*q - 80 = -w + 6*w. Let m be (w/20)/((-1)/5). Is (3/(-2) + 2)*m a multiple of 2?
True
Let o be -3 - (-3 - (-87)/(-3)). Let z = -20 + o. Is 5 a factor of z?
False
Let k = -14 + 8. Let m(y) = y**3 + 6*y**2 - 3*y - 7. Is 7 a factor of m(k)?
False
Let a = 63 - 30. Is 21 a factor of a?
False
Suppose 3*b = 2*c + 607, -2*b + 422 = -0*b + 3*c. Let i = -140 + b. Suppose -2*d + x + 2*x + 65 = 0, d = -5*x + i. Does 20 divide d?
True
Suppose -2 = 2*d - 5*b - 11, 2*b + 2 = 0. Suppose 4*u - 3*m - 67 = -u, -d*m = -3*u + 40. Is u a multiple of 14?
True
Let b = -183 + 455. Is b a multiple of 40?
False
Suppose 6*y = -y + 1169. Let l = -81 + y. Does 19 divide l?
False
Suppose 2*r - 2*c - 616 = -2*r, 0 = 3*r - 3*c - 459. Does 27 divide r?
False
Let o = 24 + -21. Suppose 0 = 3*m - 4*s - 22, o*m - 2*s - 28 = -s. Is m a multiple of 4?
False
Let d(j) = 5*j**2 - 3*j + 16. Let u(h) = -h**2 + h - 1. Let x(i) = -d(i) - 6*u(i). Suppose 3*c = 2*y - c, -4*c = -5*y + 24. Does 15 divide x(y)?
True
Suppose 4*a = -4*v + 5*a + 13, -7 = -v + 4*a. Suppose 3 = 2*k - v. Suppose r = -k*r + 52. Is r a multiple of 13?
True
Let y(r) = 2*r - 8. Let u be y(6). 