 d + 31. Does 13 divide l?
True
Let a = -25 - -53. Let k = -16 + a. Let h = 21 - k. Is h a multiple of 5?
False
Let x = 47 + -87. Let c = x + 77. Is 11 a factor of c?
False
Suppose -11 = -5*u + 19. Let t be (148/u)/(-1)*-12. Is (2/4)/(4/t) a multiple of 13?
False
Is (5 - (-3 + 0))*2 a multiple of 6?
False
Let r(q) = q**3 + 7*q**2 + q - 6. Let j be r(-6). Is 4 a factor of (j/(-9))/(-4)*21?
False
Suppose -40 - 82 = -2*c. Let p be 0 - 37 - (0 - 0). Let f = p + c. Is 12 a factor of f?
True
Let s(v) = -7*v + 1. Let h(i) = -95*i + 17. Let o(d) = -666*d + 120. Let c(r) = -36*h(r) + 5*o(r). Let j(a) = -2*c(a) - 27*s(a). Does 15 divide j(2)?
True
Let c = -5 + 10. Suppose -g = -i + 3, -5*i + c = 2*g + 11. Is 3 + 36 + g/(-1) a multiple of 17?
False
Let n(x) = -x**3 - 5*x**2 + 7. Is n(-5) a multiple of 7?
True
Let d(z) = -z + 1. Let q(f) = -f**3 + 5*f**2 + 5*f + 12. Let m(t) = 3*d(t) - q(t). Is 10 a factor of m(7)?
False
Let c = -6 - -6. Let d = c + 3. Is d a multiple of 2?
False
Let l(o) = o + 2. Let m be l(4). Is m/(2*(-1)/(-6)) a multiple of 4?
False
Let t(s) = s**2 - s**2 - 6 + 5*s**2 + 6*s - 3*s**2. Is t(4) a multiple of 22?
False
Does 18 divide 522/10 - -2*(-3)/30?
False
Let n = -2 + 10. Let m(f) = -30*f + 6. Let u(v) = -20*v + 4. Let h(g) = n*u(g) - 5*m(g). Is 11 a factor of h(-2)?
True
Suppose 1505 = 36*s - 31*s. Is 41 a factor of s?
False
Let b(s) = -s**2 + s - 1. Let v(i) = 6*i**2 - 19*i + 1. Let k(x) = -5*b(x) - v(x). Does 9 divide k(7)?
False
Let d be (-14)/(-4) - 1/(-2). Let o be (2/(-4))/(d/(-16)). Let b = 0 + o. Does 2 divide b?
True
Suppose 0 = g - 11 - 29. Is g a multiple of 10?
True
Suppose 0 = 4*m + 5*v + 143, 2*m - 2*v + 4*v = -74. Let a = m - -72. Is 101/5 - 6/a a multiple of 10?
True
Is 26 a factor of (-9)/1*(-22 + (4 - 3))?
False
Let k = 51 - 10. Let l = -1 + k. Suppose 2*i + 5*g - l = 0, -4*i + 10 = g - 34. Is 5 a factor of i?
True
Does 23 divide -2 + 2 - 0 - -49?
False
Suppose 3*z - 3*t = 0, -31 - 5 = -5*z - 4*t. Suppose 4*j = z*i + 224, -j - 4*i + 67 = -9. Is 12 a factor of j?
True
Let f(l) = -l**2 + 6*l - 4. Let m be f(3). Let k(j) = -j - 2. Let o be k(-1). Does 7 divide 68/10 - o/m?
True
Suppose 47 = 2*z - 149. Is 14 a factor of z?
True
Suppose 4*o + 2*t = 48 + 930, -4*o = -4*t - 984. Does 36 divide o?
False
Let d(b) = 9*b + 13. Let o(w) = w**2 + 14*w + 7. Let x be o(-14). Is d(x) a multiple of 23?
False
Let y(g) be the first derivative of g**2/2 + 2*g + 3. Is 2 a factor of y(3)?
False
Suppose -2*g + 151 - 39 = 0. Let s = -28 + g. Is s a multiple of 16?
False
Let d be -1*129/(-9)*6. Let g = d - 193. Does 15 divide 1/3 - g/3?
False
Does 11 divide (-4)/18 + (-400)/(-18)?
True
Let t be 2/(-3)*126/(-12). Let x = 13 + t. Does 5 divide x?
True
Let y = 2 - 3. Let u be 28*y/(-4)*-3. Let d = -6 - u. Does 7 divide d?
False
Is 5 a factor of (2*1/2)/(5/455)?
False
Let u = 141 + -55. Suppose -64 = -5*j + u. Does 10 divide j?
True
Let i = 144 - 121. Does 4 divide i?
False
Let q(b) = b**2 - 2*b - 3. Let g be q(-3). Suppose -3*x = -0*x - g. Is 3 a factor of (-6 + 2)/(x/(-6))?
True
Suppose 61 = 4*a - 3*o, a = -4*o + 14 + 25. Is 5 a factor of a?
False
Let g be ((-15)/(-20))/((-2)/(-8)). Let q(l) be the second derivative of l**5/10 - l**4/4 - 2*l**3/3 + 2*l. Is 5 a factor of q(g)?
True
Let b = 0 + 2. Suppose 0 = b*l + 6, 2*g + 0*g - 3*l = 99. Is 21 a factor of g?
False
Is 0/(-1) + (-2 - -33) + -3 a multiple of 3?
False
Let n = 172 + -16. Let y = n + -69. Is y a multiple of 33?
False
Let p be (-4)/(-3*4/6). Let a(w) = w + 1. Let y(j) = 5*j**2 + 4*j + 3. Let t(o) = -3*a(o) + y(o). Is t(p) a multiple of 11?
True
Let c(x) = -x**3 - 6*x**2 + 5*x - 9. Let i be c(-7). Suppose -134 = -5*f - 5*z + 1, 20 = -i*z. Does 13 divide f?
False
Let t be 264 + (-4)/(-2) + -2. Is 18 a factor of (-4)/(-10) + t/15?
True
Suppose 5*f = s + 33, -61 = -0*s + 5*s + f. Let v = s + 33. Is v a multiple of 10?
True
Let m(y) = -y - 4. Let d be m(-6). Suppose -4*s - 308 = 4*n, 15 = 3*n - d*s + 221. Does 12 divide (n/(-21))/(2/14)?
True
Let q be (-648)/(-66) - 2/(-11). Suppose x + 4*x - q = 0. Suppose -d + 9 = x*d. Does 2 divide d?
False
Let l = -81 + 135. Is l a multiple of 7?
False
Let o = 15 - 15. Suppose o*a + 18 = a. Does 6 divide a?
True
Let f = 19 - 27. Let k = 4 - f. Does 12 divide k?
True
Let i = 4 - 0. Suppose -i*s + 15 = -5. Suppose -2 + 4 = 2*t, -s*f + 7 = -3*t. Is f even?
True
Suppose -2*j = p - 142, -3*j = 4*p + 126 - 699. Does 18 divide p?
True
Suppose 22 = 2*v - 94. Does 20 divide v?
False
Suppose -953 = -8*n - 145. Does 13 divide n?
False
Let a(f) = f**2 - 4*f - 5. Let q be a(5). Suppose q = 2*t - 7*t + 85. Is 5 a factor of t?
False
Let f = -1 + 1. Suppose f*n = 3*n. Suppose -4*j + 20 + n = 0. Is 3 a factor of j?
False
Let m(n) be the first derivative of -2*n**2 + 1. Let b be m(-1). Suppose 51 - 15 = b*j. Is j a multiple of 9?
True
Suppose 4*f = -x - f - 24, -14 = -4*x + 2*f. Does 3 divide -2 + x + (8 - -1)?
False
Suppose 87 = -h + 437. Is 35 a factor of h?
True
Let c(v) be the second derivative of -v**5/10 - v**4/12 - v**3/6 - v**2/2 - 7*v. Let s be ((-1)/2)/(1/4). Is 13 a factor of c(s)?
True
Let a(t) = 3*t**3 + t**2 - 1. Let s be (-2 - -7 - 3) + -3. Let l be a(s). Is 5 a factor of l*(-1 - (-24)/(-9))?
False
Let o(x) = -64*x + 24. Does 24 divide o(-3)?
True
Let y(q) be the second derivative of 1/2*q**4 + 2/3*q**3 + 0 - 2*q + q**2 + 1/20*q**5. Does 16 divide y(-4)?
False
Let w(t) = 2*t + 7*t + 4 + 0*t - t**2 + 6. Does 7 divide w(7)?
False
Let v be 1 + 0 - (-1 + -1). Let k be -3*v*10/(-5). Suppose 0*q + q = k. Is 9 a factor of q?
True
Suppose 3*l - 5*o - 5 = 29, -3*l - 3*o = 6. Suppose f = -3*y + 49, l*f - 4*y = 133 + 14. Does 15 divide f?
False
Let b(o) = o**2 - 7*o + 6. Let v be b(6). Let h(j) = -j - 1. Let q(k) = 5*k - 22. Let l(f) = -6*h(f) - q(f). Does 14 divide l(v)?
True
Let z(m) = -4*m - 15. Let c(s) = s. Let n(w) = 6*c(w) + z(w). Is 2 a factor of n(9)?
False
Suppose 5*r = -5 - 40. Let j = -21 + 34. Let t = j + r. Does 2 divide t?
True
Let b(k) = -13*k**3 - 9*k - 3. Let f(l) = -7*l**3 - 5*l - 2. Let i(q) = -6*b(q) + 11*f(q). Does 12 divide i(3)?
False
Let t = 55 - 34. Is 21 a factor of t?
True
Is 13 a factor of (-6)/(-2) + (173 - -2)?
False
Let o be (140/16)/(2/8). Let s = -24 + o. Does 5 divide s?
False
Let a = 66 - 53. Is a a multiple of 13?
True
Let u = 509 - 253. Is 32 a factor of u?
True
Let r(q) = -q - 1. Let h be r(-1). Suppose -3*d = -h*d - 66. Suppose -5*l + 4*b + 162 = 0, b - d = -3*l + 65. Does 15 divide l?
True
Let r(m) = -m**2 - 4*m - 3. Let v be r(-3). Suppose v = 3*b - 4*b + 4. Is b a multiple of 2?
True
Suppose -2*v + 30 = 4*c, -4*c + 3*v + 45 = -c. Let h = 12 + c. Does 6 divide h?
False
Suppose 8*s - 4*s = 2*b + 26, -5*b - 13 = 3*s. Suppose s*l - 78 = -g, -5*l - 15 = 3*g - 116. Suppose -p + n = -15, p + 0*n = 5*n + l. Is 11 a factor of p?
False
Let i(d) = 2*d + 14. Let k be i(11). Suppose 0 = 5*w - 3*w + j - 24, -3*w = 2*j - k. Is w a multiple of 4?
True
Let l(b) = 12*b**2 - 1. Does 8 divide l(2)?
False
Let h(i) = 7*i. Let v be h(-2). Let k be 170/7 + 4/v. Suppose -5*f + k = -3*f. Is f a multiple of 5?
False
Suppose -5*p = -4*c - 2*p + 10, -3*c - 3*p + 18 = 0. Suppose -r + 0*r = 0, 2*d + c*r = 44. Is d a multiple of 11?
True
Suppose -2*s + 3*x - x = 14, 5*s = 4*x - 30. Let w be 3/6*s - -5. Suppose 4*r + 5*t - 37 = 0, -w*r + 2*t + 5 = r. Is 2 a factor of r?
False
Suppose 0 = 6*u - 12 - 6. Suppose -4*p - 5*s - 97 = -6*p, -u*p = 3*s - 177. Is p a multiple of 14?
True
Let x(i) = 3*i**2 + 6 + 4*i - 4 + 6*i**2 + 4*i**2. Does 8 divide x(-2)?
False
Let h = -4 + 4. Suppose -2*n = -16 - h. Is n a multiple of 4?
True
Let u(y) = -y + 6. Let j be u(7). Let r = -1 - j. Suppose 3*i = -r*i + b + 27, 0 = -3*i + 5*b + 15. Is 10 a factor of i?
True
Let t = 554 - 386. Is t a multiple of 27?
False
Let l be (6 + 0)/((-6)/(-4)). Suppose 5*r - m - 25 = -2*m, r + 2*m = -l. Is r a multiple of 6?
True
Suppose 0 = a - 4*a + 6. Suppose -a*c + 0*c = 0. Is 2 - -15*(1 - c) a multiple of 8?
False
Suppose 13*q - 136 = 9*q. Is q a multiple of 5?
False
Suppose 5*m = -2*q + 155, -2*m - 446 = -4*q - 124. Does 20 divide q?
True
Let w(n) = -n**2 + 10*n - 9. Suppose -4*x + 45 = x. Let f be w(x). Suppose 4*i - j = 2*j + 65, 3*i - 5*j - 57 = f. Is i a multiple of 4?
False
Let 