2 - (0 - 2) - -56?
True
Let o be (-3 - (1 - 5))*3. Suppose -x - o*q + 16 = 2, -2*q = -2*x + 28. Does 7 divide x?
True
Let u be (-5)/(-10)*1*-28. Is 15 a factor of 1 - (u + 1 + -1)?
True
Let d(p) = p**3 - 6*p**2 + 2*p - 5. Let u be (2 + 0)/(1/1). Suppose -u*g = -5*y - 7, -5*g - 5*y - 9 + 44 = 0. Is 6 a factor of d(g)?
False
Let p(g) = -g**3 - 12*g**2 - 4*g - 28. Let u be p(-12). Let r = 9 - 5. Suppose 74 = 5*y - a, -r*a - a - u = 0. Is y a multiple of 10?
False
Let n(g) = -3*g**3 + 2*g**2 + 4*g + 2. Is 26 a factor of n(-2)?
True
Let o = -3 - -7. Suppose o*g - 34 = 18. Suppose 0 = -q - 2, -l + 3*q = -q - g. Is l a multiple of 2?
False
Suppose 4 = -0*w + w, 5 = 5*f - 5*w. Let o = 16 + f. Is 9 a factor of o?
False
Suppose 10 = -3*t - 2*t. Does 5 divide ((1 - 3) + -10)*t?
False
Let l(m) = 2*m + 3. Let n be l(6). Suppose k - 5*k + 2*v = -74, -k + 4*v + n = 0. Is k a multiple of 6?
False
Suppose 0*j = 3*y + 4*j + 14, y = 5*j - 11. Is 6 a factor of (-15)/(-2) + y/4?
True
Let x(b) = 2*b**3 - 3*b**2 + b - 1. Let v be x(2). Suppose -6 = -v*z + 4. Suppose -42 = -z*y + 2*f, 5*f = y - 12 - 21. Is y a multiple of 9?
True
Does 8 divide ((4 - 8) + -25)/(-1)?
False
Let o(a) = -5*a - 6. Let g be o(-2). Suppose 42 = g*m + 10. Does 5 divide m?
False
Suppose 20 = 5*q + 4*h + 70, 19 = q - 5*h. Let x be (q/(-4))/((-3)/(-32)). Suppose o = 3*i + 6, -3*o + 5*i + 6 = -x. Is 9 a factor of o?
True
Let k = 3 - -20. Is (k/2)/(7/14) a multiple of 23?
True
Let z be (-1)/(-1 + 32/33). Let s = 57 - z. Suppose -2*t = -5*y - 3, -5*t + 0*t - 4*y = -s. Is t even?
True
Suppose 2*m + 2*h + 8 = -h, 2*m = -2*h - 6. Let l(r) = -7*r**3 + 2*r**2 + r. Is l(m) even?
True
Let m be 2 + (-4 - -2) - -17. Suppose 2*c - c - m = 0. Is 13 a factor of c?
False
Suppose 2*y - 18 = -70. Let m = 51 + y. Is m a multiple of 22?
False
Suppose -5*s = -0*s - 45. Let g(l) = -2 + 10*l - 1 - 1 - l**2. Is 4 a factor of g(s)?
False
Let o(p) = -3*p - 26. Is 31 a factor of o(-19)?
True
Let z = 2 + 1. Let x(y) = -4*y + 1. Let v be x(z). Let w = v + 38. Is 13 a factor of w?
False
Let d = 38 + -11. Let o = d - -1. Is 24 a factor of o?
False
Suppose 20 = -4*l, -6*y + 2*y - 4*l - 24 = 0. Let f be (-2 + 3/3)/y. Let u = 11 - f. Does 4 divide u?
False
Let j be 8/6*63/(-6). Does 15 divide j/(-1) + 1 + 0?
True
Let x be 36/10 - 30/50. Suppose -5*u + 4*q = -294, -x*u + 2*q = -4*u + 70. Is u a multiple of 19?
False
Let p(v) = v + 2. Let z be p(-6). Let w(u) = -u**2 - 9*u - 8. Let r(j) = -j**2 - 8*j - 7. Let y(c) = -6*r(c) + 5*w(c). Does 3 divide y(z)?
True
Let r be ((-2)/3)/((-5)/15). Let u = r - -2. Suppose u = 5*c - 31. Is 4 a factor of c?
False
Let q(o) = -o**3 + 17*o**2 - 17*o + 32. Does 5 divide q(16)?
False
Suppose 0*n + 3*n - 15 = -3*p, 3*p - 4*n - 1 = 0. Is 9 a factor of 2 - (-5 + (1 - p))?
True
Suppose z - 12 = 4*z. Let p(y) = -10*y - 6. Is p(z) a multiple of 13?
False
Let f = -5 + 7. Suppose -5*t + 145 = 4*x, -f*x - 5*t = x - 105. Is 15 a factor of x?
False
Let o = 809 + -566. Is o a multiple of 15?
False
Suppose 4*a = 5*d + 2*a - 1890, -5*d - 2*a = -1870. Is 47 a factor of d?
True
Is 27 a factor of (-8)/3*(-648)/16?
True
Let i = 70 - 30. Let q = i - -35. Suppose -2*m + q = 3*m. Does 5 divide m?
True
Is (2 - 1)/((-9)/(-45)) a multiple of 5?
True
Suppose -s = -3*w + 2*s, -w + 4*s = -15. Let d be -2*(w/2 - 0). Suppose 32 - d = p. Is 9 a factor of p?
True
Suppose 21 = -5*j - 14. Let z = -4 - j. Suppose -5*y - 23 = -n, -71 - z = -4*n + 2*y. Does 13 divide n?
False
Let y = 12 - 4. Suppose -2*i + y = 2*i. Suppose -4*z - 14 = -3*t + z, i*t = 4*z + 8. Does 8 divide t?
True
Let a(r) = r**3 + 14*r**2 + 14*r - 17. Is 16 a factor of a(-11)?
True
Let v(s) = -s**2 + 6*s + 2. Let w be v(6). Let l(y) = -y + 13. Let u be l(7). Suppose 0 = -w*k + 66 + u. Is k a multiple of 18?
True
Let a = 365 - 165. Suppose -3*y + 99 = -0*p + 2*p, 5*p - a = 2*y. Is p a multiple of 14?
True
Suppose -4*v = -l + 22, 14 = l - v - v. Suppose -4*s = 5*x - 148, 148 = 4*s - l*x + x. Does 8 divide s?
False
Let i = -89 + 154. Does 33 divide i?
False
Let o(t) = t**3 - 5*t**2 + 2*t + 1. Let r be o(3). Let g(z) = z**3 + 12*z**2 + 11*z. Let u be g(r). Suppose 2*m - 3*m + 36 = u. Is 12 a factor of m?
True
Suppose -4 = 2*k, 5*t - 258 - 346 = 2*k. Is t a multiple of 20?
True
Let k(l) = -l + 8 - 5 + 8. Let p be k(6). Suppose -p*n + 80 = 4*v, -4*v + 2*n + 80 = 5*n. Is 10 a factor of v?
True
Let m be 14/6 + 6/9. Does 20 divide (68/(-6))/((-1)/m)?
False
Suppose 2*m + 11 = -q + 32, 108 = 3*q - 3*m. Does 5 divide q?
False
Suppose -2*k - y = -1692 + 287, -2*k - 4*y = -1408. Is (2/6)/(6/k) a multiple of 20?
False
Suppose -15 = n + 20. Is 2 a factor of 33/7 + (-10)/n?
False
Let s(k) = -k**3 + 5*k**2 + 2*k. Let i be s(4). Let c be (9/(-6))/((-9)/i). Suppose -o = 3*m - 0*m - 16, -c*o - 2*m = -24. Is o a multiple of 3?
False
Let m = 129 - 90. Is 12 a factor of m?
False
Suppose 0 = 3*h + i - 77, i + 27 = 3*h - 46. Is 8 a factor of h?
False
Suppose 4*k - s + 281 = -4*s, -4*s - 12 = 0. Let u = -34 - k. Is u a multiple of 17?
True
Let t(o) = o + 2. Let m be t(0). Let v = m + 0. Suppose -3*r + 90 = v*r. Is 9 a factor of r?
True
Suppose -2*a - 7 = -29. Suppose -m = -10 - a. Does 13 divide m?
False
Let y(v) = 3*v - 6. Let k be y(3). Suppose -k*s - 66 = -4*s. Is 23 a factor of s?
False
Does 15 divide 22/(-8)*(-17 + 1)?
False
Let h = -14 + 49. Is 12 a factor of (-1 + h)*(-39)/(-26)?
False
Let h = -4 + 4. Suppose -2*l = -2*k - 0*k - 294, h = -l - 3*k + 159. Suppose 0*d + 5*d = l. Does 12 divide d?
False
Let u(l) = -l**2 + 5*l + 4. Does 4 divide u(5)?
True
Let t(z) = -2*z - 5. Let l be t(-4). Suppose -23 = f - l. Does 10 divide (-12)/(-2)*f/(-6)?
True
Suppose -2*n + 4 + 2 = 0. Suppose 0*u + j + 9 = -u, -n*u = -5*j + 3. Is (-2)/u - (-82)/6 a multiple of 14?
True
Suppose 0*j = j - 99. Is 11 a factor of j?
True
Let k be 14/(-35) - (-276)/15. Let o = 57 - 20. Suppose 5*v = o + k. Is v a multiple of 11?
True
Let n = -167 - -248. Is 27 a factor of n?
True
Let f be (-6)/(1/8*6). Let u be (2/(-3))/(f/(-12)). Let x = u + 7. Is 2 a factor of x?
True
Suppose i - 2*i - 8 = 0. Let f be (-10)/i - (-3)/(-12). Is f*(1 - 2) - -5 even?
True
Suppose -20 - 8 = u. Let k = -5 - u. Is k a multiple of 16?
False
Let y be (-4)/(-14) + 33/7. Suppose 3*d + 50 = y*d. Suppose 0 = 3*u + 2*u - d. Is u a multiple of 3?
False
Let b(h) = -2*h - 12. Let x(u) = -u**2 - 12*u - 16. Let p be x(-11). Let c be (-14 - (p + 2)) + 3. Is 3 a factor of b(c)?
False
Let a = 12 - -8. Does 4 divide a?
True
Suppose 15 = 7*y - 2*y. Suppose -y*h + 85 = 2*h. Does 5 divide h?
False
Suppose 0 = m - 34 + 6. Let y = -39 + m. Let l = 47 + y. Is 17 a factor of l?
False
Does 13 divide 202/(1 + 4 + -3)?
False
Let y(j) be the third derivative of j**5/60 - 5*j**4/24 + 5*j**3/6 + 2*j**2. Let g be (-1)/4 - (-58)/8. Is 8 a factor of y(g)?
False
Is (-8)/(-28) + 1254/21 a multiple of 15?
True
Suppose 3*y - 4 + 1 = 0. Let o(j) = j - j**2 + y + 0*j + 3*j**2. Is 18 a factor of o(-5)?
False
Suppose 3 = f + 14. Let w(x) = x**3 + 10*x**2 - 12*x + 4. Is 15 a factor of w(f)?
True
Let u be -1 - (-1*4)/1. Suppose b - u*b + 42 = 0. Does 14 divide b?
False
Suppose -4*b + 2*h + 80 = 0, 3*b = -0*b - 3*h + 78. Is b a multiple of 11?
True
Let o(y) = y**2 + 5*y + 4. Let g be o(-4). Let h(q) = -q**2 - 5 - 9*q - 1 + g*q**2. Does 14 divide h(-5)?
True
Let a be 10/(-4)*(-4)/(-5). Let l = 45 + a. Does 14 divide l?
False
Suppose 0*l = -l - 3. Let f(c) = -2*c**2 - c - 4. Let i be f(l). Let d = 36 + i. Is 12 a factor of d?
False
Let v(k) = -k**2 - 12*k + 14. Does 5 divide v(-11)?
True
Suppose 4*a = -5*o + a, -2*a = -2*o + 16. Is o even?
False
Suppose 10*r + 6 = 12*r. Suppose 4*h = -3*a + 59, 0 = -r*a + 7*a - 2*h - 86. Is 7 a factor of a?
True
Let d(x) be the third derivative of 3*x**4/8 + x**2. Suppose i = 2*a + 2*a - 10, 3*a = -5*i + 19. Does 9 divide d(i)?
True
Let i(b) = b - 5. Let l be i(7). Let z(x) = 5*x**2 + 4*x - 1 - 3*x - l*x. Is 2 a factor of z(-1)?
False
Suppose -4*m + 433 = -447. Is m a multiple of 10?
True
Let g(b) = 3 + 5*b + 6*b**2 - 2 - 2*b**2. Let a(v) = -5*v**2 - 6*v - 1. Let i(t) = 3*a(t) + 4*g(t). Does 21 divide i(-6)?
False
Suppose -3*r = r - 136. Is (9/(-9))/((-2)/r) a multiple of 5?
False
Let d(c) = 2*c**2 + 66. Suppose 4*p = p. Is 33 a factor of d(p)?
True