n, n - 58 - 46 = -5*p. Is 5 a factor of p?
True
Let l(m) = 53*m**2 - 1. Is 28 a factor of l(-1)?
False
Suppose -u + 2*u = -41. Let v = -5 - u. Is 9 a factor of v?
True
Suppose c = -3*c + 4. Suppose -2*v + 69 = v. Suppose -c = o - v. Is o a multiple of 22?
True
Let w = -16 + 24. Let y(i) be the second derivative of i**5/20 - 7*i**4/12 - 2*i**3/3 - 5*i**2 - 21*i. Does 11 divide y(w)?
True
Is 4*4/(-8) - -62 a multiple of 6?
True
Suppose 5*a - 18 = 2*a. Is a even?
True
Suppose 0*n = 4*n. Suppose -2*j + 2*f + 76 = n, 0 = f + 3*f + 20. Is j a multiple of 19?
False
Let t(h) = 26*h**2. Suppose 0 = -2*s + s + 1. Is t(s) a multiple of 13?
True
Let j(k) = k**3 - 3*k**2 + k - 3. Let x be j(3). Suppose -3*m - 16 + 43 = x. Is m a multiple of 9?
True
Suppose -4*w - 4*q = -524, -173 = -3*w - 4*q + 225. Is 21 a factor of w?
True
Let l(v) = 3 - 3 - 1 - v**3 + 6. Suppose -5*t + 3*t = 0. Does 3 divide l(t)?
False
Is 3*(1 - 128/(-3)) a multiple of 36?
False
Let j(u) = 7*u + 5. Let g be j(7). Suppose -g = -2*b - 0*b. Does 6 divide b?
False
Let l = -35 - -72. Does 29 divide l?
False
Let f be (-2)/(-8) - (-127)/4. Suppose j - f = -3*j. Does 6 divide j?
False
Suppose x + 0 = 11. Suppose 16*o - 245 = x*o. Is o a multiple of 14?
False
Let y be (-2)/2 + 42/(-2). Suppose 0 = 4*a - 8*a + 160. Let q = y + a. Does 9 divide q?
True
Let h(x) = -x**3 + 3*x**2 - 3*x - 7. Does 14 divide h(-3)?
True
Let w be 5 + 0 + (-4)/2. Let r be 31/3 - 1/w. Suppose -j + 2 + r = 0. Is 10 a factor of j?
False
Suppose 183 = 5*l - 7. Suppose 3*z - 4 = l. Is z a multiple of 14?
True
Let w(j) = j**3 - 11*j**2 + 9*j + 13. Let a be w(10). Suppose 10 = -a*o + 91. Does 27 divide o?
True
Let t be 2666/22 - (-10)/(-55). Suppose 0 = 4*u - 3*v - t, 34 = -3*u - 3*v + 130. Is u a multiple of 7?
False
Suppose -3*t = t. Let s = t - -10. Does 17 divide (-4)/s - (-344)/10?
True
Let x = 1003 + -701. Suppose 0 = 3*d + 2*f - 128, -5*d + 3*f + x = 57. Is 20 a factor of d?
False
Suppose -u = 12 - 59. Is 11 a factor of u?
False
Does 10 divide (-996)/(-20) + 2/10?
True
Let a = -47 - -135. Suppose 3*l - 29 = a. Suppose l + 18 = 3*q. Is 14 a factor of q?
False
Let t(d) = -d**3 - 4*d**2 - 7*d - 5. Suppose -8*m + 4*m - 3 = -h, 3*h = -5*m - 25. Does 18 divide t(h)?
False
Suppose -4*x - 3 = 9. Let j be ((-2)/x)/(10/45). Suppose -2*n = -4, 3*n + 24 = -j*k + 4*k. Is k a multiple of 15?
True
Is (-45)/(-4) - (-18)/24 a multiple of 10?
False
Let s(z) be the third derivative of 3*z**5/20 - z**4/24 + z**3/3 - 3*z**2. Is s(-3) a multiple of 25?
False
Let t(k) = -k**2 - 10*k + 2. Is t(-8) a multiple of 6?
True
Does 15 divide ((-4)/(-3))/(4/90)?
True
Suppose -69 = -2*g + 5*r - 23, -2*g - r = -70. Does 11 divide g?
True
Let d = 15 - -68. Is d a multiple of 24?
False
Suppose 4*z - 8*z + 504 = 0. Is z a multiple of 21?
True
Let j(q) = 4*q - 4. Let s be j(11). Suppose -3*a - s = -7*a. Is a a multiple of 3?
False
Suppose 2*c + 5*g + 57 = 4*c, 4*c - 5*g = 109. Does 26 divide c?
True
Let n(y) = -2*y - 6. Suppose -3*o - 17 + 2 = 0. Is 2 a factor of n(o)?
True
Let f be ((-6)/(-5))/((-1)/(-10)). Does 15 divide (-2)/f + 374/12?
False
Let v(t) = -t**3 - 12*t**2 - 12*t - 1. Let r be v(-11). Let j be (-1)/(-5) - 882/r. Let g = j + 136. Does 13 divide g?
False
Suppose -s + 4 + 0 = 0. Suppose 0 = s*i - 61 - 19. Does 6 divide i?
False
Suppose 0 = -2*z - 2*p + 166, 3*z + p - 250 = -p. Does 13 divide z?
False
Let x(u) = 2*u**3 - 4*u**2 - 2. Let s = 5 + -7. Let g be s/3*45/(-10). Is 8 a factor of x(g)?
True
Suppose -5*r = -3*b - 43, -6*r = b - 2*r + 37. Let y = -15 - b. Is y a multiple of 4?
False
Let s be 7/(-14)*(-1 - 15). Is ((-38)/(-8) - 1)*s a multiple of 10?
True
Let l be 6/(-9) - (-5)/3. Let w be 1 + (-3)/l + 4. Is 9 a factor of (27/w)/((-3)/(-4))?
True
Let t(v) = 0*v**2 - 7*v**2 - 2 + v**3 + 12*v - 3*v. Let n be t(6). Suppose -n = -r - 0*r. Is r a multiple of 12?
False
Let a be -1*2 + (-3 - -7). Suppose -a*o + 5*j = 2*o - 83, 0 = 4*j - 20. Is 9 a factor of o?
True
Suppose 5*c = 4*l + 4, -2 = -4*l + 2*c + 6. Suppose 7*d - 4*d = 33. Suppose l*s - 61 = d. Is s a multiple of 7?
False
Suppose 0 = -5*c + 306 + 134. Let d = c - 58. Does 16 divide d?
False
Let y(a) be the first derivative of a**2 + 3*a - 3. Is y(5) a multiple of 7?
False
Suppose -a + 124 = 13*p - 10*p, 0 = -5*a - 4*p + 609. Is 11 a factor of a?
True
Suppose 0 = 3*p - q + 101, -2*p + 7*p + 3*q + 159 = 0. Is (p/(-2))/((-3)/(-4)) a multiple of 22?
True
Suppose 2*r = 4*r - 4. Let u be 1 + 1/(r/72). Let f = u + -23. Does 7 divide f?
True
Suppose -32 = -r + 54. Suppose 4*b + x = r, -b = -4*x + 7 - 20. Is b a multiple of 8?
False
Let a = 208 - 80. Does 32 divide a?
True
Suppose 0 = f - r - 181, -f + 2*f - 5*r = 201. Does 11 divide f?
True
Suppose -2 + 77 = 5*w + i, 2*w = -2*i + 22. Does 4 divide w?
True
Let s(q) = q**3 + 5*q**2 + 4*q + 1. Let l be s(-4). Suppose -13 = -p + l. Is p a multiple of 14?
True
Let i = 161 + -237. Let u be 4/(-18) - i/18. Suppose u*t = 33 + 3. Does 9 divide t?
True
Suppose -3*z = z. Let a be -2 - z - 1*-3. Is -2 + (23 - a) + -2 a multiple of 9?
True
Let b(q) = -4 + 8*q**2 + q**3 + 0*q**3 + 0*q - 2*q + 7*q. Is b(-7) a multiple of 7?
False
Let r be 1 + (1 - 2) + 2. Suppose r*o - 60 = -o. Suppose o = 5*z - 110. Is z a multiple of 13?
True
Suppose -3*w = -7*w + 20. Suppose 0*u = -w*u - 4*s + 472, s = 4*u - 365. Does 27 divide u?
False
Let x = -4 + -2. Let s be ((-28)/x)/(8/36). Let h = 33 - s. Is h a multiple of 12?
True
Suppose 0 = 16*n - 7*n - 1350. Is n a multiple of 24?
False
Let o(u) = 6*u - 13. Let n be (1 + 0)*(-1 - -11). Does 33 divide o(n)?
False
Suppose 0 = -4*h + 85 + 43. Is h a multiple of 16?
True
Let q(w) = w**2 - 5*w + 10. Let t be q(7). Let v = -4 + t. Is 10 a factor of v?
True
Is 30 a factor of 2/(-6) + 6705/27?
False
Suppose -4*f - 2*k - 16 = -2*f, 0 = -f - 5*k - 28. Let j(h) = h**3 + 3*h**2. Let n be j(f). Let z(c) = -c + 32. Is z(n) a multiple of 16?
True
Suppose 54 = -4*b + b. Does 27 divide 976/18 + 4/b?
True
Let r(c) = 2*c**2 + 3*c - 3. Suppose 2*m = 2*h + m - 1, h + 22 = 5*m. Is r(h) a multiple of 24?
True
Let d be -1 + 48 - 0/5. Let y be (-10)/(-3) + 1/(-3). Let a = d - y. Does 22 divide a?
True
Let n(r) = 6*r**2 - 13*r + 1. Is 25 a factor of n(4)?
False
Let u = -11 - -43. Is u a multiple of 32?
True
Suppose 2*c - 66 - 38 = 0. Is c a multiple of 26?
True
Let y = -16 - -37. Does 8 divide (-28)/y*(0 - 6)?
True
Let r(c) = 29*c - 11. Let u(n) = -15*n + 6. Let m(d) = -4*r(d) - 7*u(d). Is 19 a factor of m(-4)?
False
Let g(c) = 9*c - 8. Let u be g(7). Suppose -u = 5*m + 110. Let a = -20 - m. Does 13 divide a?
True
Let a = -15 + 125. Is 6 a factor of a?
False
Suppose 0*w - 12 = -4*w. Is 3 a factor of w?
True
Let v be 6/(1/2 - -1). Suppose 4*x - 4 = a, v*a = 6*a - 3*x - 12. Is 4 a factor of a?
True
Let a = -3 + 1. Is 10 a factor of a/(-3) + (-31)/(-3)?
False
Let c = 7 + -3. Suppose -c*a - a = -85. Is 17 a factor of a?
True
Let t(h) = -30*h - 4. Does 14 divide t(-2)?
True
Let m(j) = 0 + 0 + 1 - 2 + 2*j. Let f be m(1). Does 6 divide 1/f + 2 + 3?
True
Suppose -4*q + 189 = -95. Let u = -57 - -6. Let y = q + u. Is 8 a factor of y?
False
Let f(g) = 7*g - 17. Does 8 divide f(15)?
True
Let z = 10 + 1. Does 4 divide z?
False
Suppose -4*r + 1215 = 11*r. Is r a multiple of 27?
True
Let d(j) = j**3 - 50*j + 26 + 61*j + 15*j**2 - 11. Is 19 a factor of d(-14)?
True
Let u(b) = b + 6. Let h be u(0). Let f = 12 + h. Does 9 divide f?
True
Let h = 18 - 13. Suppose -h*n = -10*n + 120. Is 12 a factor of n?
True
Let y(s) = 11 + 4*s**2 - 8*s**2 - 3*s + s**3 - 14. Is y(6) a multiple of 17?
True
Suppose -4*s + 9 = -3. Suppose -d - 6 = -5*i, -s*i + 3 = 5*d - 79. Does 6 divide d?
False
Does 9 divide (-1045)/(-35) + (-1)/(-7)?
False
Suppose 1 - 5 = -4*k. Does 12 divide -2 + k - -2*10?
False
Suppose -3*x - x - 8 = 0. Let g = 8 + x. Is g a multiple of 5?
False
Let s = 26 - 17. Let k = -13 + 25. Is 4 a factor of ((-6)/s)/((-2)/k)?
True
Let q be (1/2)/((-3)/(-12)). Suppose -3*x + 22 = -q*u, 3*x + 2*x = -3*u + 43. Does 4 divide x?
True
Suppose 0 = -2*a + 28 + 2. Suppose -2*z + 11 + a = 0. Suppose -141 = -4*v - z. Is v a multiple of 16?
True
Let j be (-4 - -1)*(0 + -1). Suppose 43 = j*r - 5. Does 12 divide r?
False
Let u be 3 + -1 - (-362)/2. Let r be u/21 + (-6)/(-21). Let k = 21 - r. 