i = -3*i, -2*i = -4*j. Suppose 2*v + 0*v + 28 = j. Is 6/9 + v/(-6) even?
False
Suppose 4 = 7*q - 3*q. Let f be (-1)/((2/1)/(-6)). Let s = q + f. Is 2 a factor of s?
True
Suppose -2*p = 39 - 189. Suppose 2*g + 37 = -p. Let w = 80 + g. Is w a multiple of 12?
True
Let q = 83 + -20. Is 7 a factor of q?
True
Let s(a) = -a**2 + 7*a + 2. Let t be 0 + (-2 - -6) + -1. Let p = 2 + t. Is 6 a factor of s(p)?
True
Suppose h - c = c - 35, c = -4*h - 95. Let d = -14 - h. Is d a multiple of 7?
False
Let c(m) = -m**3 - 4*m**2 + 5*m + 2. Let b be c(-5). Is 19 a factor of 1 + b/1*9?
True
Suppose -s + 4*s - 10 = -b, 5*s = 4*b - 6. Suppose 5*o + 2 = 3*k + 4, -2*o = 5*k - 7. Does 9 divide -2 + s - (-9)/k?
True
Suppose r + r - 6 = 0. Suppose r - 21 = -i. Is 9 a factor of i?
True
Suppose 4*y = -y. Suppose 0 = j + 3*r - 7*r - 40, -5*r = 3*j - 120. Suppose -4*m + j = 5*f, y*f = -f - 4. Is 5 a factor of m?
True
Let y(m) = -5*m. Let c be y(-1). Suppose c*p + 2*b - 42 = 5, 5*p = 5*b + 75. Is 11 a factor of p?
True
Let h be (29/2)/(3/6). Let c = h + -12. Is c a multiple of 17?
True
Let g be 4/2 + 0 - -2. Let b(n) = 2*n - 16. Let c be b(12). Let f = g + c. Is 12 a factor of f?
True
Let n(h) = 0*h**2 + 2*h**2 + 1 - 8*h**2 - h. Let f be n(2). Does 13 divide 0 - (f - (3 + -2))?
True
Is 4/(24/(-30)) + 112 a multiple of 25?
False
Let p be -2 - (5 + -1)/(-2). Suppose 5*n = 8*i - 3*i - 10, p = 4*n - 2*i - 2. Suppose 0 = -2*j - n*j + 140. Is j a multiple of 11?
False
Let o(h) = -h**3 + 7*h**2 + 8*h + 4. Let p be o(8). Let q = p + 16. Is q a multiple of 10?
True
Let d = -20 - -44. Is d a multiple of 9?
False
Let x(b) = b**3 - 7*b**2 - 7*b - 8. Let k be x(8). Suppose 2*t - 32 - 16 = k. Does 12 divide t?
True
Let u be (18/(-4))/(9/(-12)). Suppose -60 + 282 = u*v. Is 14 a factor of v?
False
Suppose 787 + 593 = -5*y. Is y/(-27) - 4/18 a multiple of 6?
False
Suppose 3*k + 2 = u - 0*k, -2*k + 8 = 4*u. Suppose 0 = u*x - 0*x - 8. Suppose -x*r = -22 - 86. Does 12 divide r?
False
Let x be 1/(2*3/12). Suppose 4*s - 6 = x, 5*s = 2*f - 84. Does 17 divide f?
False
Suppose -1171 - 149 = -11*g. Is 30 a factor of g?
True
Is 3 a factor of -1 + (-3 + (-6)/(-3))*-10?
True
Let n = 99 - 26. Let q(j) = 110*j**2 + 1. Let p be q(-1). Let c = p - n. Is c a multiple of 11?
False
Let j be 19 + (2 - 3) + 2. Suppose -4*p = j, l + 3*l = -2*p + 246. Does 19 divide l?
False
Let i = 125 + -59. Is 11 a factor of i?
True
Suppose 5*m - 5*v = 2*m - 186, -m - 72 = -5*v. Let c be (-4)/(m/27 - -2). Suppose -5*b = -3*l + 62, -2*b = 5*l - 57 - c. Is l a multiple of 19?
True
Let j = -1 - -3. Suppose j*g - 91 = 9. Is g a multiple of 13?
False
Does 8 divide 22/110 + (-39)/(-5)?
True
Let g(r) = -22*r**3 - 1. Let b be g(-1). Suppose -b = -5*v + 29. Suppose 6*p - v = p, -2*t + p = -32. Does 17 divide t?
True
Suppose 4*c + 26 - 7 = -5*o, c - 2*o = -8. Let u = -364 - -133. Does 13 divide c/9 + u/(-9)?
False
Let g = -5 - -23. Let k be (g/(-7))/(6/(-28)). Does 18 divide (k/(-5))/((-2)/30)?
True
Let p(q) = 6*q + 6. Suppose -4*l = 8, 0 = w - 4*w + l - 10. Let v be p(w). Is 14 a factor of v/((-1)/1)*1?
False
Let a(x) = -2*x - 4*x + x**2 + 6 - 2 - 8*x**2 - x**3. Is a(-7) a multiple of 23?
True
Let o(p) = p - 5. Let x be o(7). Suppose -40 = -5*v + 5*k, 2 - 1 = -3*v - x*k. Let r = 11 - v. Does 8 divide r?
True
Let n = -93 + 184. Let c = -1 + 4. Suppose 0 = 4*r - 3*i - n, 2*i = -4*r - c*i + 83. Does 11 divide r?
True
Let r(l) = -l**2 - 4*l + 2. Is r(-3) even?
False
Suppose 0 = -3*p + 4*f + 410, 4*p - 2*p = 2*f + 272. Suppose p = -2*g + 42. Let x = -17 - g. Does 14 divide x?
False
Suppose -420 = -6*c - c. Is c a multiple of 44?
False
Let l(a) = 2*a - 5. Let m be 13 - (-3)/3*-3. Does 7 divide l(m)?
False
Let b(t) = -2*t**2 - t - 1. Suppose n = 4*q + 15, -5*q - 20 = 2*n + 2. Let h be b(n). Let c(p) = -15*p + 2. Does 17 divide c(h)?
False
Let t(h) = -h**3 + 6*h**2 - h - 4. Let w be t(5). Let r = w + -6. Is (100/(-6))/(r/(-15)) a multiple of 10?
False
Let t(s) be the third derivative of -s**4/3 - 7*s**3/6 - 5*s**2. Is t(-6) a multiple of 9?
False
Let k(n) = -n - 11. Let u be k(-9). Does 4 divide 370/70 + u/7?
False
Let k(d) be the second derivative of d**4/12 + d**3/6 + 3*d**2 + d. Let z be k(-5). Let i = 43 - z. Is 17 a factor of i?
True
Let f be (2 - 0) + (2 - 70). Let s = f - -99. Is 8 a factor of s?
False
Let r = 15 - 12. Does 2 divide r*-1 - (0 + -6)?
False
Let t be 142*((-5)/(-2) - 2). Suppose 3*p = 4*x + t, x - 122 = -5*p + 4*x. Does 10 divide p?
False
Let i = -48 - -176. Is 32 a factor of i?
True
Let w(v) = 6*v + 3. Let q be w(-2). Let c = q + 7. Let m(k) = -17*k. Does 9 divide m(c)?
False
Suppose -2*o - 18 = -4*o. Does 4 divide o?
False
Suppose 142 = -4*s + 6*s. Is s a multiple of 31?
False
Let o(s) = 4*s**2 - 10*s + 9. Let y(w) = -3*w**2 + 9*w - 8. Let z(p) = 2*o(p) + 3*y(p). Let v be z(5). Suppose 10 = m + v*m. Is 2 a factor of m?
True
Suppose 226 = 3*x - a, 5*x - 2*x - 4*a = 229. Suppose 5*y - 10*y = -x. Does 5 divide y?
True
Let p(t) = -3*t**2 - 13*t + 0 + 4*t**2 + 0*t**2 + 7. Is p(13) a multiple of 3?
False
Suppose x = -k + 3*k - 6, -k - 4 = -4*x. Suppose k*y + 5*g = 3*y + 27, 3*g - 15 = 0. Does 16 divide (-1)/y*2*-47?
False
Let l be 5*(-4)/10*-1. Let i = l + 4. Does 3 divide i?
True
Suppose 5*i - 2*j = 15, -4*i - i + 3*j = -15. Let a(p) = -3 + 2*p + 2 + i. Does 10 divide a(4)?
True
Let q be (6/15)/(2/10). Suppose q*d - 204 = -5*h, 0 = -2*h - 0*d + 2*d + 90. Is 14 a factor of h?
True
Let f(n) = -n**3 + 7*n**2 + 4. Suppose -5*s + 105 = -0*s. Suppose 2*t + 7 = s. Is f(t) a multiple of 4?
True
Let t = 12 - 4. Let f = 19 - t. Is f a multiple of 11?
True
Suppose -b + 5*b = 32. Suppose 48 = 5*s + b. Is 8 a factor of s?
True
Suppose -350 = -4*g - 70. Does 10 divide g?
True
Let x = -2 + 5. Suppose 0 = 2*g - 5*g + 4*a + 121, g = x*a + 42. Does 13 divide g?
True
Let m = 5 - 22. Let z = 33 + m. Is 5 a factor of z?
False
Suppose f - 4*f = -5*c + 18, -4*f + 11 = 5*c. Let s(t) = -3*t - 6. Let x be s(-4). Let z = x - c. Is z even?
False
Let a be (-4)/30 - (-1712)/240. Let j = a - -3. Is 4 a factor of j?
False
Let q be (-4*9/(-6))/(-1). Let g(v) = -v**2 - 5*v + 8. Let b be g(q). Suppose 39 = 3*r - m - 19, b*m - 104 = -5*r. Is 9 a factor of r?
False
Let k(p) = p**2 + 7*p + 9. Let z be k(-6). Suppose 0 = m - x - 53, -m - z*x - 101 = -3*m. Is m a multiple of 29?
True
Let l(g) be the second derivative of -g**2 - 4/3*g**3 + 0 + 1/20*g**5 + 1/2*g**4 - g. Is l(-7) even?
False
Is 10 a factor of (-10)/3*-15 - 0?
True
Suppose -2*z = -f - 2 - 3, 4*z = -5*f + 17. Suppose 0 = 2*t - 17 + 13. Does 18 divide (((-72)/f)/t)/(-1)?
True
Let g(s) = s**2 - 9*s - 6. Let a be g(10). Suppose 2*u = -t - 1 + 4, t + a*u - 3 = 0. Is 2 a factor of t?
False
Let f(g) = -g - 8. Let x be f(-7). Let i(s) = -32*s**3 - s. Is i(x) a multiple of 20?
False
Let g be 4/((-10)/(-6) + -1). Let k = g + -3. Suppose -k*m + 43 - 1 = 0. Is 7 a factor of m?
True
Let a be (-23)/(-6) - (-9)/54. Suppose 13 = w - a*q - 11, -2 = 2*q. Is 4 a factor of w?
True
Let y = -2 + 0. Let d = y + 56. Let h = d - 23. Does 12 divide h?
False
Let r = 34 - -38. Is r a multiple of 24?
True
Suppose -4*a - 48 = n - 3*n, -2*a + 12 = n. Is 9 a factor of n?
True
Let a(g) be the third derivative of -7*g**4/24 - 13*g**3/6 + 2*g**2. Is a(-10) a multiple of 19?
True
Suppose -3*j - u + 14 = -44, -3*j - 4*u = -61. Suppose l - j + 8 = 0. Is 11 a factor of l?
True
Suppose 0 = 6*x - 2*x + 8. Is 3/x - 27/(-2) a multiple of 6?
True
Suppose -4*l + 12 = -0*q - 3*q, 20 = 2*l + 2*q. Is 2 a factor of l?
True
Suppose -4 + 1 = -t. Suppose -4*l = -t*w + 3, 2*l + 0*w = -4*w + 26. Does 3 divide l?
True
Suppose -3*y = -6 - 0. Suppose y*v - 2*k - 13 = 1, 0 = -v - 5*k - 23. Suppose 18 - 2 = v*q. Is 4 a factor of q?
True
Suppose 5*y - j = -218, 0 = y + 4*y - 5*j + 210. Let l = 2 - y. Does 16 divide l?
False
Suppose 5*k - 110 = g - 2*g, 5*g - 454 = -k. Is 18 a factor of g?
True
Suppose -5*t - 5 = -0*s - s, -26 = -3*s + 4*t. Is 5/(-2)*s/(-5) even?
False
Let s(n) = -n**2 - 7*n - 5. Let a be s(-5). Let q(v) = -v**3 + 6*v**2 - 4*v + 2. Let w be q(a). Let g(k) = k**3 - 8*k**2 + 6*k + 10. Does 2 divide g(w)?
False
Suppose 0*i - 5*i + 25 = -q, -33 = -2*i + 5*q. Suppose 2*d - i = 22. Is 7 a factor of d?
False
Let w be 18/1*(4 + -3). Is -48*3*(-4)/w a 