. Is 17 a factor of l/2 - (-2)/4?
True
Suppose -3*m - 10 = -5*m. Suppose -12 = 5*i - i. Let s = m - i. Is 8 a factor of s?
True
Let l = 10 + -7. Suppose 0 = -l*b - o + 105, -o + 73 + 68 = 4*b. Is b a multiple of 18?
True
Suppose 5*x = 24 - 4, -661 = -5*r - 4*x. Is r a multiple of 17?
False
Is 20 a factor of (5/6*56)/((-7)/(-21))?
True
Let g(s) = -s**3 - s**2 - s + 24. Does 6 divide g(0)?
True
Let o = 46 + -16. Is o a multiple of 11?
False
Suppose -j - s + 5*s + 188 = 0, -j + 3*s + 189 = 0. Is 15 a factor of j?
False
Suppose -3*v + 0*v = -3*i - 3, 5*i + 4*v = -32. Let h be (-4)/(-3)*(-6)/i. Suppose 2*d + h*d = 224. Is 20 a factor of d?
False
Suppose -4*f + 2*w = -14, -w - 5 = f - 2*f. Suppose 2*b + 2*i - 18 = -4, 0 = -5*b + f*i. Is 14 a factor of b/7 - (-388)/14?
True
Let s = 4 + -1. Let o be ((-3)/(-6))/(s/(-54)). Does 18 divide (-155)/(-3) + (-3)/o?
False
Let z(s) = s**3 - s**2 + 27. Let c(k) = k**3 - 4*k**2 - k + 4. Let y be c(4). Is z(y) a multiple of 11?
False
Let f = 227 - 155. Suppose -p + 4*s + 6 = 0, -f = -5*p + 2*s + 30. Is (-4)/p - (-596)/11 a multiple of 21?
False
Let g = -1 - -3. Suppose g*u + 4*b + 16 = 0, 3*u - 5*b + 7 = 38. Suppose -u*o = -o - 21. Is o a multiple of 8?
False
Suppose 5*o + 1 = h + 7, -5*o - 3*h = -2. Suppose -10 = x + o. Is (x + 5)/((-2)/11) a multiple of 14?
False
Let u(h) = 2*h**2 + 5*h - 3. Let k be u(-3). Suppose -2*x + 16 + k = 0. Does 4 divide x?
True
Let b = 4 - 0. Suppose 2*z - 28 = -2*z - 3*n, 3*z - b = 2*n. Let g = 23 - z. Is g a multiple of 11?
False
Let t(w) be the second derivative of w**7/840 + w**6/90 - w**5/15 - w**4/6 - w**3/6 + 3*w. Let v(q) be the second derivative of t(q). Is 4 a factor of v(-5)?
False
Let j(q) = -5*q**3 - q**2 - 4*q - 3. Let p be j(-2). Suppose 0 = 2*v - 13 - p. Is 9 a factor of v?
True
Let x be 3 - (1 + -1) - 1. Suppose x*g = 10 + 22. Is g a multiple of 8?
True
Let m(h) = h**2 + 6*h - 6. Let f be m(-8). Let w(n) = n**3 - 9*n**2 - 10*n + 9. Is w(f) a multiple of 9?
True
Let a(q) = q**3 + 6*q**2 + 4. Let t be a(-6). Suppose n - w - 29 = -3*n, 0 = -t*n + 4*w + 20. Is 8 a factor of n?
True
Let l(v) = v**3 + 3*v**2 - 3*v - 1. Let b be l(-4). Let u = b + 5. Suppose u = y - 11 - 1. Is y a multiple of 11?
False
Let y(g) = g**2 + 2*g + 3. Let v be y(-4). Let c = v + -18. Is -6*c/(1/1) a multiple of 23?
False
Suppose -4*y + 3*p = 7*p - 96, -3*y + 4*p = -58. Is y a multiple of 11?
True
Suppose -3*h = -h. Let a = h - 1. Is 14 a factor of 40 - a/(0 - -1)?
False
Does 8 divide 4 - (3 + 1)*-1?
True
Let p(f) = f**3 + 8*f**2 + 3. Suppose -2*r - 4*i = 28, r + 5*i + 23 = -0*r. Is p(r) a multiple of 2?
False
Let n(m) = 3*m + 3 - m + 2*m**2 - m. Is 18 a factor of n(-3)?
True
Let k be (3/2)/(1/2). Suppose -2*a = -2*p - 18 - 0, -k*a + 19 = -p. Suppose a*l - 2*l = 60. Is 10 a factor of l?
True
Is 43 a factor of (10/(-2 + 4))/((-1)/(-43))?
True
Let b(k) = 2*k. Let u be b(5). Is (-417)/(-15) + 2/u a multiple of 14?
True
Let u be (-4)/(-18) - (-515)/(-9). Let s = -33 - u. Is s a multiple of 12?
True
Let a(x) = x**3 + 4*x**2 - 3*x + 5. Let q be a(-5). Let m(y) = -24*y**2 + 13*y**2 + 8 - 3 + 16*y**2 + y**3. Does 2 divide m(q)?
False
Let y(o) = -2*o**3 + 2*o**2 + 2*o + 1. Let h be y(-1). Suppose h*l + 2*l - 260 = 0. Does 26 divide l?
True
Is 14 a factor of 2*(110/(-4))/(-1)?
False
Let r = 6 - 0. Suppose -3*z - 12 - r = -l, 2*z = -4*l + 2. Is 10 a factor of (z - -3)/(4/(-42))?
False
Let g(m) = -m**2 + 14*m. Let o be g(6). Suppose o = -r + 3*r. Is 6 a factor of r?
True
Let k be (1 + -2)/1 - -5. Let w be k - (2 + 0)/(-2). Suppose -80 = -3*b + s, -w*s - 93 + 29 = -3*b. Is b a multiple of 14?
True
Suppose 5 - 14 = -5*w - f, 3*w - 11 = 5*f. Let d be 2 - 3 - (-5 + w). Let j = 10 + d. Is 12 a factor of j?
True
Suppose -82 = -4*z + 2*h, 30 = 2*z - 5*h - 7. Is z a multiple of 21?
True
Let u(h) = h**3 - 7*h**2 - 7*h - 5. Let t = 1 + 7. Let w be u(t). Suppose 2*r - 1 - w = 0. Is 2 a factor of r?
True
Suppose 0 = -2*k + 86 + 118. Suppose -5*z + 37 = k. Let d = z - -26. Does 7 divide d?
False
Is 11 a factor of (132/(-16))/((-2)/8)?
True
Let a(y) = -2*y - 3. Let m be a(-4). Suppose 0 = 3*z + 15, -m*z = -0*t - t + 27. Suppose t*b - 5*b + 30 = 0. Is 10 a factor of b?
True
Let v = -4 - 14. Let g be 1*v/(-2)*2. Is 15 a factor of 536/g - 14/(-63)?
True
Let x = 4 + 1. Let z = x + 35. Does 10 divide z?
True
Suppose 1872 = p + 5*p. Is p a multiple of 12?
True
Let p be 21 + (-2 - (-2 - -1)). Suppose -5*y - p = 0, 4*t = 3*y - 6*y + 24. Is t a multiple of 9?
True
Is 14 a factor of 5 + -1 + -5 + 3*51?
False
Let l(u) = -21*u. Let v = -14 + 10. Does 28 divide l(v)?
True
Let b(i) = 52*i**3 - 2*i**2 - 2*i + 2. Is b(1) a multiple of 25?
True
Is 18 a factor of (2 + -1)/(13/1443)?
False
Suppose 4*o + 0*o + 3*m = 64, 0 = -4*o + 4*m + 92. Let h = -3 + o. Is h a multiple of 16?
True
Suppose 6 = 5*v - 2*v. Suppose -i - 2*k + 82 = 2*i, 2*i - v*k = 38. Suppose 3*w - 36 - i = 0. Is 10 a factor of w?
True
Suppose -4*j = 4*i - 3*i + 3, 3*j - 3 = i. Let f be -2 + 2 - (-3 + j). Suppose 4*c - 22 = -f*x + 49, -5*c + 4*x = -81. Is 17 a factor of c?
True
Let z be 6/(-2) + -3 + 2. Is 28 a factor of 49 + (-4*1)/z?
False
Let t = 31 + 8. Suppose 0 = -3*x - 5*w + t, 0*w + 52 = 4*x - 5*w. Is 13 a factor of x?
True
Let d(p) = 2*p**2 - 7*p - 20. Is 10 a factor of d(6)?
True
Let v(w) be the third derivative of -w**5/60 + w**4/4 + w**3/2 - 2*w**2. Is 8 a factor of v(5)?
True
Let p(b) = 20*b**2 + 2*b + 1. Suppose 2*w = -3*v + 38, -w - 3*w - v = -56. Suppose 5*q + 10 = t, 3*t - 5*t = -3*q - w. Is p(q) a multiple of 7?
False
Suppose x + 1 = 2*x. Does 14 divide ((-40)/(-15))/(x/21)?
True
Suppose 0 = 6*n - 11*n + 90. Is n a multiple of 12?
False
Let l be -35 + (0 - -2) + -1. Let w = l - -64. Is w a multiple of 15?
True
Let a = -139 - -199. Is a a multiple of 15?
True
Let g = -1 - -6. Suppose 3*q + y = 4*y + 132, -200 = -5*q - g*y. Is q a multiple of 7?
True
Suppose -3*u + 12 = -2*w + 174, 2*u = -8. Is w a multiple of 15?
True
Let m = 5 + 1. Suppose -2*z + v - m*v = -91, 3*z - 164 = -2*v. Is z a multiple of 25?
False
Let r(a) = -a**3 - 11*a**2 - 11*a - 8. Let h be r(-10). Suppose -h*k + 31 = 3*y, 0 = -4*k - 2*y + 7*y + 73. Does 8 divide k?
False
Suppose 2*f + 11 - 3 = 0, 5*k - 4*f = 26. Suppose p = -4*d + 16, 11 = -4*p - 3*d + k*d. Is (-1 + 11)*(-2)/p a multiple of 2?
False
Let w be 4 + -2 + 1 + 0. Suppose 8*i = w*i - 530. Does 6 divide i/(-10) + 6/15?
False
Let a(i) = -i**3 - 2*i**2 + i + 4. Let f be a(-3). Let v = f + -5. Suppose 0 = -v*p + 17 + 8, 125 = 4*j - 3*p. Is j a multiple of 12?
False
Let a = -163 + 241. Does 39 divide a?
True
Suppose -2*c - 3*q + 43 + 102 = 0, -3*q + 213 = 3*c. Does 17 divide c?
True
Let x(r) = -2*r**2 - r - 1. Let t be x(-1). Let q = 10 + t. Is q a multiple of 3?
False
Let q(v) = 7*v - 18. Is 22 a factor of q(14)?
False
Let v = -222 - -402. Suppose c = -3*h - c + 308, -5*c - v = -2*h. Suppose 0 = -7*m + 2*m + h. Is 7 a factor of m?
False
Let n(u) = u**2 - 7*u - 2. Is n(17) a multiple of 14?
True
Let g = 1 - 0. Is -3 - (-59 + (g - 2)) a multiple of 19?
True
Suppose 2*b + 15 = -b. Let l = 9 + b. Suppose -5*k + 142 = -l*f - 13, -3*f = -k + 42. Does 12 divide k?
False
Suppose -8*c = -39 - 1. Does 3 divide c?
False
Let r = 32 - -4. Suppose -16 = -4*o + r. Is o a multiple of 13?
True
Suppose 0 + 7 = -a. Let c be (-9 - a)/(1/(-3)). Suppose l = -4*p + c + 67, 2*p - 2*l = 44. Is 18 a factor of p?
False
Let i(o) = -100*o**2 + o + 1. Let n be i(-1). Let p be 1/(-4) - n/16. Suppose p*g - 160 = g. Is 11 a factor of g?
False
Let h = 56 + -6. Is h a multiple of 25?
True
Let b be (-2)/7 + (-535)/(-35). Suppose 0 = k - 2*k - b. Let q = k - -30. Does 7 divide q?
False
Does 38 divide ((-824)/7)/(-1) - 16/(-56)?
False
Suppose 6*d = -0*d + 336. Is 4 a factor of d?
True
Let o(z) = -z + 9. Is 19 a factor of o(-10)?
True
Let t(i) = 10*i + 85. Is 36 a factor of t(19)?
False
Suppose 5*k - 5*t + 185 = 10*k, 5*k = -3*t + 185. Is 4 a factor of k?
False
Let h = -11 - -26. Is h a multiple of 5?
True
Let f = 17 - 14. Suppose -f*i + 7*i = 56. Is 5 a factor of i?
False
Suppose -34*r + 30*r + 2080 = 0. Is r a multiple of 65?
True
Let v(k) = k**3 + 4*k**2 + 2*k - 3. Let u be v(-3). Let q be (-1 + u)/1 + 0. Is (q - -2) + 54/2 a multiple of 15?
False
Let i(u) = 29*u - 1. 