= -110. Is 8 a factor of u?
False
Suppose -2*l - 15 = 3*l. Let q(t) = t**2 + 5*t + 3. Let i be q(l). Does 6 divide 1 - -4*(-1 - i)?
False
Let l = 672 + -363. Is l a multiple of 31?
False
Let t = -14 - -58. Is 10 a factor of t?
False
Suppose 0 = 2*z + 83 - 243. Is z a multiple of 15?
False
Is 25 a factor of (-4 + 80/15)*150?
True
Let s be -1 + (2 - 0) + 2. Suppose -91 + 25 = -s*g. Does 11 divide g?
True
Suppose -2*d + 3*c = 3 + 1, 8 = -2*d + 5*c. Let f(h) = -2*h + 2*h + 12*h**2 + 1. Is f(d) a multiple of 11?
False
Suppose 0*v = -v. Let g be -7*((-2)/(-2) - 2). Suppose -2*d = g*x - 3*x - 64, -3*d - 12 = v. Is 9 a factor of x?
True
Let o(n) = 2*n**2 + 1. Let p be o(-2). Let a(q) = 7*q**2 - 2*q + 2. Let d be a(2). Let j = d + p. Is 9 a factor of j?
False
Let g(y) = y + 4. Is g(4) a multiple of 8?
True
Suppose -y = 2*y - 30. Let o = y - -3. Is o a multiple of 5?
False
Suppose -4*d + 130 = -170. Is d a multiple of 25?
True
Let q(w) = -w**2 - 2*w. Let a be q(-1). Is (-22*(-1)/2)/a a multiple of 9?
False
Let p = 1 - -2. Suppose -p*q - 132 = -6*q. Is q a multiple of 11?
True
Suppose -u = -2*u + 13. Is u a multiple of 3?
False
Suppose 0*b = 3*b - 12. Suppose -41 - 211 = -b*v. Is v a multiple of 16?
False
Let z = 27 - 9. Let o be (30/z)/((-1)/3). Let r(i) = -2*i - 5. Is r(o) even?
False
Suppose -7 = m - 47. Let a = m - 14. Is a a multiple of 13?
True
Suppose 180 = g + 3*g. Is 10 a factor of g?
False
Let z(g) = -g + 12. Is 7 a factor of z(-16)?
True
Suppose 4*i + 7 = -3*j + 2*j, -3*i = -4*j + 29. Suppose 31 = -j*b + 116. Does 13 divide b?
False
Suppose -19 - 1 = 5*g. Let f = 19 + g. Is 7 a factor of f?
False
Let t = -13 + 23. Let m = t + -20. Let h(l) = -2*l + 12. Is h(m) a multiple of 16?
True
Is 19 a factor of (-2)/(34/38 - 1)?
True
Suppose -1320 = 42*g - 47*g. Is 33 a factor of g?
True
Let y(k) = k**2 - 2*k + 1. Let a be y(4). Suppose q = 4*q - a. Suppose 0 = -4*d + 4*s + 180, -d - q*s + 41 + 24 = 0. Does 23 divide d?
False
Let s be 2 - 312/(4*-1). Does 11 divide (-1)/(s/82 + -1)?
False
Let y = 11 - 8. Suppose 4*z + 44 = 4*c, 0*c + 5*z + 27 = y*c. Does 7 divide c?
True
Suppose 4*m + 4*t - 172 = -0*m, -2*m = -2*t - 82. Is 21 a factor of m?
True
Let h(l) = -l**3 + 17*l**2 - 12*l - 10. Is h(16) a multiple of 9?
True
Let w(t) = -t**3 + 5*t**2 - 2*t + 1. Suppose -a - a - 8 = r, 2*r = 0. Let i be 6/a*8/(-3). Is w(i) a multiple of 6?
False
Suppose 332 = 4*d + 28. Is d a multiple of 19?
True
Is 7 a factor of (94/(-8))/(4*(-2)/32)?
False
Let c = -15 - -24. Let b = c + -7. Suppose -27 = -6*p + p - b*r, 0 = r + 4. Is 7 a factor of p?
True
Suppose 248 = 5*b - p, -4*b - 2*p + 159 = -31. Let j be 4/6 - (-10)/(-6). Does 13 divide b + (0 - j)*-2?
False
Suppose 3*s = 2 + 7. Suppose 10 = s*p - 2*u - 67, -23 = -p - 2*u. Is (-1)/(-1) + p/1 a multiple of 15?
False
Suppose 5*u = -3*h + 455, -5*u - 3*h - h = -450. Suppose 14 = 4*o - u. Suppose 5 = a + f, 5*a + 6*f = 3*f + o. Does 4 divide a?
False
Let y be ((-6)/5 + 2)*15. Suppose -5*c = -r - 2*r - 18, 4*c + y = 0. Let t = r - -20. Is 7 a factor of t?
False
Suppose -3*u - 3*j = -99, 5*j + 11 = 2*u - 76. Suppose 5*n + 24 = -16. Is 16 a factor of (u/n)/((-6)/56)?
False
Suppose 2*x + 10 = 0, 2*c + 3*x = 109 + 30. Suppose c = -4*w + w + b, 5*w = 2*b - 130. Let m = w + 54. Is 15 a factor of m?
True
Let j(f) = 4*f + 29. Is j(17) a multiple of 28?
False
Suppose 4*y + 2 = -2, -3*k + 56 = -2*y. Does 11 divide 22/(-3)*k/(-4)?
True
Suppose 0 = 4*z + 4*m - 444, m - 561 = -5*z - 2*m. Is 19 a factor of z?
True
Let v(o) = 3*o - 3. Let m be v(-6). Does 14 divide (-1078)/m - 2/6?
False
Let q(f) = 22*f - 2. Is 5 a factor of q(4)?
False
Let g(u) be the first derivative of u**2/2 - 3*u - 3. Let s be g(8). Suppose 2*x = -z + 19, -3*z = -2*z - s*x - 12. Is 17 a factor of z?
True
Let s(q) = q**2 - 12. Is s(6) a multiple of 4?
True
Let k be 0/(2/1 - 4). Suppose k = 4*p - 3*s + 5*s - 364, 260 = 3*p - 5*s. Suppose -2*u = 3*u - p. Is u a multiple of 9?
True
Suppose -7 = -2*k + 87. Is 6 a factor of k?
False
Let f(i) be the second derivative of i**5/20 + i**4/3 - 4*i**3/3 - 7*i**2/2 + i. Is f(-5) a multiple of 8?
True
Suppose 2*f = -l + 8 - 52, -l - 4*f - 34 = 0. Let r = -32 - l. Does 12 divide r?
False
Let a be ((-6)/(-12))/((-1)/(-34)). Suppose -8 = 3*z + z. Let x = a - z. Is 9 a factor of x?
False
Let r be ((-126)/(-12))/((-3)/4). Let b = -6 - r. Is b a multiple of 6?
False
Suppose 0 = 9*u - 3*u - 792. Is u a multiple of 22?
True
Suppose -d + 1 + 22 = 5*v, -5*v + 19 = 3*d. Suppose r + 3*z - 5 = 0, -2*r = r - v*z - 1. Let b = r - -8. Is b a multiple of 4?
False
Let o(q) = q**3 + 2*q**2 - 2. Let i be o(-2). Let c = 2 + i. Suppose 3*l + 0*l - 24 = c. Does 5 divide l?
False
Let c = -156 + 384. Is 11 a factor of c?
False
Suppose 2*i + i = 0. Suppose -3*y + 18 = 5*w, 14 = -w - i*w - 5*y. Does 8 divide w/((-6)/(-20) - 0)?
False
Suppose -4*a = 4*p - 2 - 10, 5*p + 20 = 2*a. Let i(b) = b**2 - 3*b - 1. Does 6 divide i(a)?
False
Suppose -3*a + 1 = 28. Suppose 8 + 8 = -4*t. Let g = t - a. Does 5 divide g?
True
Let t(s) = s**2 + 5*s - 1. Let l = 18 - 25. Let v be t(l). Suppose u - 63 = -v. Is 25 a factor of u?
True
Let a(g) = 2*g**2 + 13*g - 3. Let o be a(-11). Suppose -3*m - o = -6*m. Is m a multiple of 32?
True
Suppose g + 373 = 4*p, -266 = 3*p - 6*p - 2*g. Is p a multiple of 6?
False
Let f(n) be the first derivative of 2*n**3/3 - n**2/2 - 6*n + 3. Does 10 divide f(5)?
False
Let n(u) = u**2 + 26. Suppose 1 = 4*v - 3*v - c, -4*v = -2*c - 2. Is n(v) a multiple of 13?
True
Let a(i) be the third derivative of i**5/60 + i**4/3 + 4*i**3/3 - i**2. Suppose -p + 40 = -6*p. Is 4 a factor of a(p)?
True
Let s = -15 - -11. Let o(h) = h**2 + 3*h - 2. Is 2 a factor of o(s)?
True
Let j be (-4)/(-18) + (-204)/(-54). Suppose -j*y + 34 = -86. Does 15 divide y?
True
Let g be (8/(-6))/((-4)/6). Is 6 a factor of -36*g/(-4)*1?
True
Suppose 5*u - 854 = r, 4*r = -u - 0*r + 154. Is 30 a factor of u?
False
Suppose h = 2*w - 0*h - 56, -4*w + 118 = -5*h. Is w even?
False
Suppose -1 = -4*l + 3. Is (-19)/(-4) + l/4 even?
False
Let v = -9 - 11. Is 6 a factor of (64/(-40))/(2/v)?
False
Suppose -4*q + 22 = -2. Let t(f) = -5*f**2 - 7*f. Let h be t(q). Does 4 divide h/(-27) + 2/(-9)?
True
Let a = 7 + -7. Let b = a + 12. Does 12 divide b?
True
Suppose 0 = -0*m + 2*m - 3*s + 13, 5*s = -m. Suppose 26 = 3*n - 31. Let y = n + m. Is y a multiple of 6?
False
Suppose 2*g - 93 = -5*k, 3*g + 91 = 5*k + 7*g. Let x = k + 0. Is 8 a factor of x?
False
Let z(o) be the third derivative of 7*o**4/24 - o**3/2 - 3*o**2. Is z(2) a multiple of 7?
False
Let v be 10/8*2*2. Suppose 2*w = 5*t - 55, 3*t - 4*w - 33 = -v*w. Is 5 a factor of t?
False
Let x(j) = j**3 - 4*j**2 - 6*j - 12. Is x(6) a multiple of 8?
True
Suppose -15*h = -20*h + 5. Let b(n) = 31*n - 1. Is b(h) a multiple of 10?
True
Suppose 3*r + 4*d = 77, 4*r - 24 - 76 = -4*d. Is r a multiple of 7?
False
Suppose 0 = 2*d + y + 2*y - 18, 0 = d - 3*y. Let u be ((-4)/(-10))/(d/420). Suppose -z + u = 3*z. Does 7 divide z?
True
Let k be (-1 + 2)*1*19. Let c = k + -14. Is 5 a factor of c?
True
Let s(z) = 8*z + 40. Does 12 divide s(4)?
True
Let i = 212 - 143. Is 28 a factor of i?
False
Let t(q) = q**2 - 12*q - 6. Let h(j) = j**2 - 11*j - 6. Let v(c) = 7*h(c) - 6*t(c). Does 8 divide v(7)?
True
Let a(d) = -44*d - 17. Is 46 a factor of a(-4)?
False
Let h = 74 - -34. Is h a multiple of 18?
True
Let y(l) = -l**2 - 8*l - 2. Let j be y(-4). Suppose -5*b - 56 = -4*g, -2*g - j = -3*g - 2*b. Does 14 divide g?
True
Let k = -7 + 11. Is 2 - k/(8/(-30)) a multiple of 17?
True
Suppose 2 = 2*n - 6. Does 5 divide n + 2*(-1)/(-2)?
True
Let r(u) = -u**2 - 4*u - 4. Let f be r(-4). Let z(q) = 5*q - 2. Let y(n) = 5*n - 3. Let k(c) = f*y(c) + 5*z(c). Is 10 a factor of k(4)?
False
Suppose 3*m - 5*z = 9, -2*m + 0*z = -z - 13. Suppose m = 3*p + 2. Suppose 0 = -a - 5*d + 34, p*d - 4*d = -2. Is 10 a factor of a?
False
Suppose h = 3*g - 31, 0 = -2*g + h + 16 + 6. Let b = 29 - g. Does 6 divide b?
False
Let i(j) = -j - 4. Does 4 divide i(-10)?
False
Suppose -4*w - 76 = -a, -5*w + 0*a + 2*a - 92 = 0. Let l = w + 69. Is 6 a factor of 1/(-4) + l/4?
True
Let q = 48 + -18. Does 10 divide q?
True
Suppose 4*c + 15 - 3 = -5*p, c = -2*p - 3. Suppose 4*j - 16 = -3*s + 7*s, 4*j - s - 10 = p. Does 2 divide j?