ppose -2*n + q = 4*m, -m - 3*m - 5*n + 99 = 0. Does 12 divide m?
False
Suppose 9*n = 3148 + 29. Is 26 a factor of n?
False
Let q = 13 + -8. Suppose 0*r + q*p + 40 = 3*r, 3*p - 112 = -5*r. Is r a multiple of 12?
False
Let s(a) = a**3 + 14. Does 7 divide s(0)?
True
Suppose 0 = t + t + 40. Is (28/(-10))/(2/t) a multiple of 7?
True
Is 6 a factor of 2 + 128/(-68) - (-8256)/51?
True
Let s(j) = j**2 + 5*j + 12. Does 10 divide s(-9)?
False
Is 1/((-4)/(-208)) - -1 a multiple of 6?
False
Suppose 42 = 4*y + y - j, 5*y = 5*j + 50. Is 15 a factor of 6*(2 + 4/y)?
True
Let g be (-4)/(-10) + (-65)/(-25). Suppose -g*f = -0*u - 2*u - 8, 0 = 3*f + 5*u - 1. Is f a multiple of 2?
True
Suppose 0 = 7*q - 2*q. Suppose 2*i - 4*i + 108 = q. Is i a multiple of 18?
True
Is 12 a factor of 3/((-46)/24 + 2)?
True
Suppose -29 = -5*q - 4*d, 5*d = -5*q + 7 + 23. Suppose 4*x + 3*v + 2 = 11, 2*x + q*v - 15 = 0. Suppose -3 = b, 3*s - 36 = 4*b - x*b. Does 4 divide s?
True
Let z(t) be the first derivative of -t**4/4 - 11*t**3/3 - 5*t**2 + 10*t - 1. Is z(-10) a multiple of 5?
True
Let l(p) = p**3 - 7*p**2 - 8*p - 10. Let r(h) = -5*h**3 + 36*h**2 + 41*h + 50. Let v(k) = 11*l(k) + 2*r(k). Is v(7) a multiple of 23?
True
Let k(d) = -8*d - 17. Is k(-10) a multiple of 12?
False
Let b(f) = -28*f + 2. Let n be b(-2). Let r = 17 + n. Does 15 divide r?
True
Let t = -48 + 25. Let m = 43 + t. Is 20 a factor of m/((-1 + 2)/2)?
True
Does 18 divide (-7)/(56/60)*230/(-15)?
False
Suppose 5*n + u - 5*u - 166 = 0, -4*n - 3*u + 139 = 0. Suppose -2*b = n - 94. Is b a multiple of 15?
True
Suppose -3 - 15 = -3*v. Let o(a) = 2*a. Let q be o(v). Let g = q + -1. Does 7 divide g?
False
Let q be 9/(-1)*(5 + -7). Let r = 3 + q. Suppose 5*n + r = v, 5*v + 2*n + 3*n - 15 = 0. Is 6 a factor of v?
True
Let o = 18 - 4. Let r = o + 17. Suppose k + 3 = r. Is k a multiple of 14?
True
Does 13 divide (-8)/(-20) - 579/(-15)?
True
Suppose -50 = 5*a - 10*a. Is 10 a factor of a?
True
Suppose -5*l = -4*a - 53, -3*a + 8*a - 5*l = -60. Suppose -17 = -3*o + 2*o + 3*z, -2*z = -3*o + 79. Let q = a + o. Does 8 divide q?
False
Let z(c) = 5*c. Let f be ((-2)/(-4))/(2/4). Does 3 divide z(f)?
False
Suppose -55 = -3*n + 80. Is 5 a factor of n?
True
Let f = 30 + -12. Is f*(9/3 + -2) a multiple of 6?
True
Suppose 0*z = 2*z - 32. Suppose 0 = 3*v - c - 4*c - z, -2*v + 5*c + 14 = 0. Is 3 a factor of ((-10)/(-15))/(v/27)?
True
Suppose 5*y - 239 = r + 2*r, -2*r + 4 = 0. Is y a multiple of 7?
True
Let s(m) = m**2 - m - 4. Let x(r) = -r**2 + 7*r + 8. Let y be x(8). Suppose 3*v - 31 = -0*f - 5*f, 2*v - f - 12 = y. Is 12 a factor of s(v)?
False
Suppose 0 = -4*x - x. Let b(c) = -20*c - 1 + x + 0. Is b(-1) a multiple of 6?
False
Let h(a) = -a**3 - 3*a**2 - 5*a + 1. Let p be h(-6). Suppose -6 = -5*r + p. Is 11 a factor of r?
False
Let i = -3 - -15. Let c be 2/6 - (-2876)/i. Suppose -c = 3*j - 8*j. Does 23 divide j?
False
Let a be (-8)/(-4) - 8/(-2). Let b = a - -5. Does 11 divide b?
True
Let d = 4 + -1. Suppose 114 = -w + d*w. Is 19 a factor of w?
True
Suppose 0 - 8 = -2*y. Suppose -n = y + 2. Does 22 divide (122/(-4))/(n/12)?
False
Let o(v) = 16*v**2 + 3. Let p be o(-2). Let q = p - 9. Does 20 divide q?
False
Let b be 2 - 2 - (-2 - 2). Suppose -5*h + 242 = -2*h + b*c, -25 = -5*c. Is h a multiple of 25?
False
Let q = -395 + 604. Is 21 a factor of q?
False
Does 39 divide 2/13 - (-4 - 1935/13)?
False
Suppose 0 = 4*v - 2*p - 624, 0*p + 318 = 2*v - 4*p. Is v a multiple of 31?
True
Suppose -86 = -3*k + t, -4*k + 0*t + t = -116. Does 6 divide k?
True
Suppose 2*o - 96 = 158. Let p = -91 + o. Suppose 2*x - p = 12. Does 9 divide x?
False
Let f(n) = -1 - 4*n + 0 - 2*n. Let t = 0 + -1. Does 5 divide f(t)?
True
Let p(m) = m**3 + 3*m**2 - 5*m - 6. Let i be p(-4). Let s be 18 - (i + 2/(-2)). Let y = s + -6. Is 15 a factor of y?
True
Let p(n) = -n**3 + n**2 + n + 1. Let k be p(-1). Suppose -5*h - 17 = -k*j - j, -5*j = -4*h - 11. Let l(v) = -v**3 - 3*v**2 + 2*v + 2. Is l(h) a multiple of 6?
False
Let v be (-4)/(-2) + 0/3. Suppose -v*y - 4*q + 124 = 2*y, 3*q + 51 = y. Does 13 divide y?
False
Let m(w) = 15*w + 3. Is 17 a factor of m(3)?
False
Let n(y) = y + 13. Is 25 a factor of n(12)?
True
Suppose -g + 0*g + 28 = 0. Does 14 divide g?
True
Let g(x) = x**2 + 14*x + 16. Let d be g(-13). Is 17 a factor of 74*(-1)/(-2) - d?
True
Let d(r) = -r**2 - 2*r + 4. Let o be d(6). Let s = o - -67. Does 5 divide s?
False
Let g be (-1 - (-1 + 0))/1. Suppose w - 205 = 5*v + 6*w, -4*w = g. Let x = v - -74. Is x a multiple of 13?
False
Suppose -6*k - 5*m = -2*k - 122, -3*k = -5*m - 74. Does 28 divide k?
True
Let k(t) = -3*t**2 - 6*t - 2. Let a be k(-4). Let z = a - -37. Is z a multiple of 9?
False
Let o = 1 - -2. Suppose o*f = -f + 88. Does 11 divide f?
True
Let s(b) = 12*b**2 + 8*b + 4. Is 16 a factor of s(4)?
False
Suppose -5*y = -10*y + 1670. Is y a multiple of 25?
False
Let t(l) = -3*l - 2. Let b be t(-2). Suppose 0 = -k - 5*i + 92, 18 = -2*k + 3*i + 189. Suppose -b*s - s + k = u, 0 = -2*u + 4. Is 6 a factor of s?
False
Suppose 2*s = 15 + 65. Does 20 divide s?
True
Let b be (-8)/(-6) + (-6)/(-9). Suppose -3*v + 4*m = -35, 0*m - m = -4*v + 38. Suppose -b*u = -v - 3. Does 5 divide u?
False
Suppose 4*m = -0*m + 16. Suppose -5*q + 3*q + m = 0. Let i(b) = 7*b - 2. Is i(q) a multiple of 6?
True
Let w = 97 + -36. Does 23 divide w?
False
Let m = 25 + -15. Is 5 a factor of m?
True
Suppose 4*r - 30 = 6. Let q = -2 + r. Is 6 a factor of q?
False
Let i(b) = b**2 + 11*b + 4. Let y be i(-11). Let r(g) = -g**3 - 1. Let x(o) = 2*o**3 + 4*o**2 - 2*o - 1. Let q(p) = -3*r(p) - x(p). Is q(y) a multiple of 6?
True
Let k(t) = -t**2 + 11*t - 7. Let j be k(10). Suppose 0 = -4*m + u + 504, u - 138 = -m - 12. Suppose 0*o + m = j*o. Is 15 a factor of o?
False
Let o(v) be the second derivative of 0 - 5/2*v**2 - 2/3*v**3 - 1/20*v**5 - 7/12*v**4 + v. Does 12 divide o(-7)?
False
Let i(l) = -l**3 + 2*l**2 + 2*l - 2. Let n be i(2). Suppose -5 = p - n*a, p = -0*p - 3*a + 20. Is p a multiple of 5?
True
Let g = 7 + -3. Suppose 4*j - 4 = d - 0*d, -g*j + 2*d = 0. Is (-184)/12*(-3)/j a multiple of 19?
False
Let k be (-14)/(-3) + (-8)/12. Suppose u = -4*u. Suppose 42 = -u*b + b - 4*d, k*d = -4*b + 128. Does 15 divide b?
False
Suppose 0 = 4*x - j + 9, j - 5 = -0*j. Does 3 divide -3 - 4/x - -7?
False
Let m(i) = 7*i**2 + 1. Is 4 a factor of m(1)?
True
Suppose -1 = 4*z - 9. Suppose 2*a + z*a = 0, -3*r = a - 15. Suppose 0 = -r*c - 3*w + 83, 12 = -w - 2*w. Is 14 a factor of c?
False
Suppose 0 = -j + 4*j - 9. Let v(b) = 19*b + 3. Does 15 divide v(j)?
True
Let d(q) = -7*q + 3. Suppose 2*v - 5 = -9. Is d(v) a multiple of 11?
False
Let d(j) = -j**3 - 3*j**2 - 4*j - 2. Let l be d(-2). Let a be (5/l)/((-2)/(-4)). Suppose 2*w + 54 = a*w. Does 9 divide w?
True
Suppose -2*s + 29 + 175 = 0. Is s a multiple of 21?
False
Let l = 24 + -8. Does 16 divide l?
True
Let s be (-2)/(-6) - 3/9. Suppose 0*g - 3*g + 6 = s. Suppose 0 = -g*a - 0*a + 36. Does 11 divide a?
False
Suppose -2*t + 10 = 3*t, -2 = r - 2*t. Suppose -4*d = s - 24, -5*d - 1 = r*s - 49. Is 16 a factor of s?
False
Let n(p) = p - 1. Let q(h) = 2*h**2 + 5*h + 1. Let v(j) = -2*n(j) + q(j). Let t be v(-2). Suppose d - 6 - 4 = -g, t*g = 2*d + 85. Is g a multiple of 7?
False
Let b be 1/2 + (-27)/(-6). Let z be -3 + 3/(6/76). Suppose -r = 5*p - 54, -100 = -b*r + 2*p + z. Is r a multiple of 15?
False
Suppose 10*y - 9*y = 69. Does 23 divide y?
True
Suppose -5*q = -4*m - 161 - 17, 0 = q + 5*m - 24. Is q a multiple of 17?
True
Suppose -3*l + 25 = -5*t - 6*l, -4*t + 4*l = -12. Let f be (-1)/2*(-2 - t). Suppose -3*u = -5*d + 112, f*u + 16 = -4*u. Is 10 a factor of d?
True
Suppose 2 = 2*a - 2. Suppose l - a*n + 5*n - 13 = 0, -l = -3*n - 19. Does 8 divide l?
True
Let l(m) = 32*m - 19. Is 9 a factor of l(2)?
True
Let y(x) = x + 12. Is y(-6) even?
True
Let j be (-8)/1*1/(-2). Suppose -50 = -o - o + 4*m, 5*m = -j*o + 87. Is 13 a factor of o?
False
Let g be 2/4 - (-26)/4. Let a(p) = 10 + p**2 + 0*p**2 - 3*p**2 - g*p + p**2. Is 3 a factor of a(-7)?
False
Let t(j) = j**3 + j**2 + j + 161. Does 38 divide t(0)?
False
Suppose -b + 87 = 5*y - 5*b, -10 = -5*b. Does 10 divide y?
False
Suppose 0 = 3*t + 5*m - 363, 0 = -3*t - m + 538 - 175. Is t a multiple of 40?
False
Let p(x) = -x + 1. Let i be p(-7). L