*p + r - t = -n. Is n a multiple of 4?
False
Suppose v - 3*v = f - 46, 112 = 5*v + 4*f. Is 8 a factor of v?
True
Suppose 91 = 4*r - 5*u, -3*r - 2*u + 126 = r. Let o = r - 55. Let m = 0 - o. Is 8 a factor of m?
False
Suppose 3*d + 32 = 5*d. Let r = 24 - d. Is r a multiple of 2?
True
Is ((-5)/10)/((-4)/(-80))*-4 a multiple of 8?
True
Suppose 0 = -3*w + l + 107, -w + 43 - 12 = -5*l. Is w a multiple of 9?
True
Suppose 2*z = 4*z + l - 9, 5*z - 18 = 2*l. Let b be (6/z)/((-6)/8). Does 9 divide 4/8*(34 - b)?
True
Let z be (-7)/(14/4)*-4. Suppose 0 = z*a - 12*a + 88. Does 12 divide a?
False
Let b be (-10 - -9) + 5*1. Suppose -4*p = -2*p + b*x - 36, 5*p = 3*x + 38. Is p a multiple of 3?
False
Let p = 41 + -16. Is 24 a factor of p?
False
Let v(h) = -6*h**3 - h**2 + h + 1. Let y be v(-1). Is 2 a factor of y + -1 + (-9)/(-3)?
False
Let o(h) = 21*h. Does 14 divide o(4)?
True
Let j(g) = g**2. Suppose -1 = 4*x - d + 3, -3*d + 12 = 5*x. Let i be j(x). Suppose -4*k = -2*b + 28, 5*k + i*k = 4*b - 68. Is 11 a factor of b?
True
Is (5 + (-12)/4)*38/1 a multiple of 38?
True
Let t(g) = 3*g + 8. Let x be t(-6). Let o be ((-32)/x)/(8/100). Suppose -3*i - 2*i = -o. Is i a multiple of 3?
False
Let r = -4 - -6. Suppose -3*g - 170 = 4*t, -3*g + t = -r*g + 45. Let h = 74 + g. Is h a multiple of 12?
True
Let z(b) = b + 24. Suppose h - 5*h = -5*r + 20, -4*r + 16 = 0. Is 24 a factor of z(h)?
True
Let z be (-3)/6*(-4 - -4). Suppose -4*h + 102 - 6 = z. Does 8 divide h?
True
Is 12 a factor of 1*(141 - 4) - 3?
False
Suppose f + 3*f = -5*a + 36, -3*f = 3*a - 27. Suppose k + f = 2*k. Is 9 a factor of k?
True
Let r(d) = d + 2. Let i be r(-1). Is 4 a factor of 1 + -1 - -4*i?
True
Let o = -36 + 54. Is o a multiple of 18?
True
Is ((-255)/6)/((-6)/12) a multiple of 17?
True
Suppose -3*b - 2*f = -5*b + 62, -f = 3. Does 7 divide b?
True
Let p(x) = 32*x**2 + 78 - 78 + x. Does 16 divide p(1)?
False
Suppose -3*u = -54 - 159. Suppose 456 = 5*s + u. Let w = -46 + s. Is w a multiple of 12?
False
Suppose 4 = 5*n - 1, -3*u + 2*n = 17. Is 15 a factor of u*(-26)/5*1?
False
Let w = 23 + 40. Is 19 a factor of w?
False
Suppose -4*u - f = -35 - 137, 0 = -3*u + 5*f + 129. Is u a multiple of 10?
False
Suppose k = -k + 12. Let d = -3 + k. Suppose d*v = 3 + 36. Does 8 divide v?
False
Let j = 247 + -176. Is 10 a factor of j?
False
Let y(t) = -53*t + 1. Let p = 5 + 3. Suppose -m + 5 = -2*f, m + p = 2*m - 3*f. Is 20 a factor of y(m)?
False
Let y(p) = 22 + 3*p - 20 - 33*p. Is y(-2) a multiple of 18?
False
Let p(s) = s + 18. Let j be p(0). Suppose j = 11*r - 8*r. Is 2 a factor of r?
True
Let z be -1*(1 - 0)*-85. Let k = z + -51. Is 14 a factor of k?
False
Suppose 0 = 2*f - 3*f - 4. Let w be (110/(-15))/(f/(-18)). Does 8 divide w/(-2) - (-1)/(-2)?
True
Let i be (2/6)/((-2)/(-714)). Let f(p) = p**2 + 6*p + 7. Let u be f(-5). Suppose u*x = i - 21. Is x a multiple of 17?
False
Let h(o) = o**3 - o**2. Let y be h(1). Suppose -2*k = -y*k + 5*r - 36, -5*r - 3 = -k. Does 8 divide k?
False
Suppose v + 5*l - 101 = 0, 5*v + 2*l = 3*l + 635. Is v a multiple of 18?
True
Suppose -l - 3*d = -5*l + 52, 0 = -4*l - d + 36. Is l a multiple of 5?
True
Suppose 8 = 2*y + 4*k, -5*y + 3*k + 40 = -6. Suppose 0 = -y*o + 6*o + 18. Is o a multiple of 9?
True
Suppose c + 2 = 2*y, 5*y = -5*c - 41 + 16. Does 3 divide (4/c - 0)*-6?
True
Let w(o) = -3*o**3 - 3*o**2 - 2*o - 3. Let b be w(-3). Let p = 78 + -119. Let x = b + p. Does 10 divide x?
False
Let i = 116 - -104. Is i a multiple of 18?
False
Suppose -2 = x + 4*w - 5, 2*x - 3*w = -5. Is 6 - -2 - (-1)/x a multiple of 2?
False
Suppose -1 = -3*s + 4*z, -3*s + 7 = -z - 0*z. Suppose -s*y - 15 = 2*y. Is (y - -1) + 4*7 a multiple of 19?
False
Let y(m) = -m**3 - m**2 - m. Let p(l) = l**2 - 6*l - 3. Let o be p(6). Does 14 divide y(o)?
False
Suppose 0 = 5*l - 175 - 35. Does 8 divide l?
False
Suppose -2*t = -s - 77, 2*t - 4*s - 76 = -2. Does 3 divide t?
True
Let l = -58 - 27. Let a be 50/3*(-18)/5. Let o = a - l. Is 11 a factor of o?
False
Let u = 130 + -89. Is u a multiple of 15?
False
Suppose 12 = 2*q - 2*x - 0*x, 0 = -2*q + x + 7. Let k(n) = 8*n**3 + n**2 - n. Let b be k(q). Suppose 5*l - 4*l - b = 0. Is l a multiple of 8?
True
Suppose 0 = -4*m + 4 + 16. Suppose m*t - 20 = -0*t. Suppose -3*c + t*h = -46 - 26, -4*c = -h - 83. Is 13 a factor of c?
False
Suppose -2*i = -5*f - 27 + 5, 4*i - 2*f = 28. Let r be (-2 + i)/(-2) - -52. Suppose 0 = 4*x + 8, 0 = j - 4*x - r + 20. Is 11 a factor of j?
True
Let x be (-137)/(-9) - (-18)/(-81). Let l = x - 10. Is l even?
False
Let w = 20 - -54. Suppose 0 = l - 1 - 3. Suppose -w = -4*u + 2*t, l*u - 28 = u - 4*t. Is 16 a factor of u?
True
Is 18 a factor of -102*(-3 - (-10)/4)?
False
Is -2 + (-15)/(-7) - 29238/(-154) a multiple of 16?
False
Let l = 9 + 9. Let t = -10 + l. Let q = 24 - t. Is 6 a factor of q?
False
Suppose 5*m = -3*u + 51, 2*u - 17 = u - 4*m. Is 6 a factor of u?
False
Does 32 divide 94 + 1/1 + 0?
False
Suppose 3*p = -0*q - 2*q + 205, -5*q + 517 = 3*p. Does 22 divide q?
False
Suppose 13 = 3*d + 4. Suppose -13 = 4*g - 121. Suppose d*x = 18 + g. Does 15 divide x?
True
Let x(k) = -k**2 - 2*k + 2. Let m be x(-2). Suppose m*u - 6*u = -16. Is 13 a factor of 111/u + 2/8?
False
Suppose -150 = -w - 2*w. Is w a multiple of 10?
True
Let x = 0 + 1. Suppose -3*a + 2*y + 14 = x, 1 = -3*a - 5*y. Let s(i) = 4*i. Is 12 a factor of s(a)?
True
Suppose -113 = 5*m + 67. Let l = m + 69. Does 11 divide l?
True
Let l(i) = -i**3 + 7*i**2 + 4*i + 3. Let f be l(7). Let n = f - 19. Does 10 divide n?
False
Suppose 4*f - 50 + 6 = 0. Suppose f*q = 8*q + 48. Does 8 divide q?
True
Let p(j) = j**3 + 11*j**2 + 6*j - 11. Is p(-10) a multiple of 11?
False
Let a be ((-1)/(-3))/((-6)/(-36)). Suppose -a*p + 13 = 3. Does 3 divide p?
False
Let l be (-14)/(-6) + 4/6. Suppose l*m + 12 = 0, -m - 69 = -k - 4*k. Is 13 a factor of k?
True
Suppose -6*d + 656 = -748. Is d a multiple of 26?
True
Let j = 8 + 26. Is j a multiple of 17?
True
Let o(m) be the second derivative of m**3/6 - 2*m**2 - 2*m. Let r be o(-4). Does 10 divide (-106)/r + (-3)/12?
False
Let b(u) = u**2 - u. Let t be b(-2). Is 2 a factor of t/(-15) - 22/(-5)?
True
Let v(u) = -2*u - 12. Let q = 18 - 29. Does 4 divide v(q)?
False
Suppose -5*c + 3*b + 38 = 0, -66 = -3*c - 2*c - 4*b. Is 12 a factor of ((-8)/c)/((-4)/60)?
True
Let l(x) = 9*x + 3. Let y be l(6). Suppose -7*h + y = -4*h. Does 17 divide h?
False
Suppose 5*s - 240 = -0*s. Is s a multiple of 24?
True
Does 10 divide (4 + 54/(-12))*(1 + -193)?
False
Let i = -170 + 297. Does 11 divide i?
False
Let w(d) = 2*d**2 + d - 1. Let s be w(2). Does 6 divide (-3)/(s/(-2))*18?
True
Let d(m) = 4*m**2 - 2*m + 1. Let b be (2 - (-9)/(-6))*2. Let l be d(b). Suppose -6*h = -l*h - 30. Does 10 divide h?
True
Let a(i) = -i**3 + 7*i**2 - 6*i - 1. Let h be a(6). Is (h + (-54)/(-3))*1 a multiple of 17?
True
Is 17 a factor of (-1)/4 - 7293/(-68)?
False
Let c = -65 + -1. Let u = c + 97. Let g = 12 + u. Does 19 divide g?
False
Suppose m + 3*m = 2*i + 250, 4*i = 20. Does 13 divide m?
True
Let j(h) = -h**3 + 5*h**2 + 7*h - 4. Let d be j(6). Suppose d*u + 10 = -3*u. Is 14 a factor of u + 18 - -1*1?
False
Let a(k) = 108*k**2 - 2*k - 1. Let x be a(-1). Suppose 25 + 117 = -2*j. Let d = x + j. Does 19 divide d?
True
Suppose 4*d + 2*s = -34, s = -4*d + 6*s + 1. Is 6 a factor of (126/(-49))/(d/28)?
True
Suppose 12*u - 10*u - 168 = 0. Is u a multiple of 3?
True
Let g(j) = -j**3 - 4*j**2 - 8*j. Is 30 a factor of g(-6)?
True
Let p(f) = -17*f - 4. Suppose -2*t + 5*o + 28 = 5, o = -1. Let a(r) = -4*r - 1. Let n(v) = t*a(v) - 2*p(v). Is n(-4) a multiple of 3?
False
Suppose -2*k - 2*k - 6 = -v, 0 = 2*v + 4*k + 36. Let r be (15/6)/((-1)/v). Suppose 3*h - 17 = -b, -b - 3*h + 8*h + r = 0. Is 10 a factor of b?
True
Let j(b) = -b - 1. Is 4 a factor of j(-9)?
True
Suppose 5*v + 8 = -7. Let s = v - -53. Is 14 a factor of s?
False
Suppose 2*n - 4*x - 6 - 6 = 0, 4*x - 28 = -3*n. Is 4 a factor of n?
True
Let a be -1 - -10*(-3)/(-3). Suppose a = 3*p - 6. Is 4 a factor of p?
False
Suppose 2*v - 7*v - j = 12, -16 = 4*v + 4*j. Is 16 a factor of 62*((-5)/v - 2)?
False
Is (-1 + (-42)/(-24))/(1/36) a multiple of 8?
False
Suppose -2*k + 27 = -2*v + 5, -5*k = -4*v - 51. Suppose 0 = p - k. Does 3 divide p?
False
Let a be 10/15*(-75)/(-2). L