 = l*h - y. Does 4 divide h?
False
Let r = -27 + 60. Is 3 a factor of r?
True
Let g(d) = -3 + 12*d + 13*d - 23*d. Let v be g(3). Suppose -2*a - 14 + 121 = v*b, -a - 5*b = -36. Is a a multiple of 17?
False
Suppose -q + 38 = 4*a - 3*a, 2*q = 2*a + 84. Does 9 divide q?
False
Let p = -69 + 102. Is p a multiple of 11?
True
Let b(v) = v**3 + 7*v**2 + 2*v + 5. Let o(y) = y**3 + 2*y**2 + 3. Let q be o(-3). Is b(q) a multiple of 17?
False
Let z = -96 - -117. Is 21 a factor of z?
True
Let d(v) = -v**3 - 9*v**2 - 11*v - 3. Let l be d(-8). Let z = -10 + l. Is 3 a factor of z?
False
Suppose 32*j + 70 = 33*j. Does 14 divide j?
True
Let t = -96 + 158. Does 31 divide t?
True
Let d(z) = 10*z**2. Let g be d(-1). Suppose -g = -6*r + r. Suppose 0*m + r*m = 58. Is m a multiple of 20?
False
Let z = 55 + 5. Is 16 a factor of z?
False
Suppose -8 = -l - l. Suppose -n = l*n - 100. Is 14 a factor of n?
False
Let a(b) = 14*b - 2. Let p be a(-8). Let t be (1 - 0)*p/(-2). Let i = 95 - t. Does 13 divide i?
False
Let m(r) = -4*r - 6. Let o be m(-11). Let l be (o/(0 + -2))/(-1). Let j = l + 3. Is 7 a factor of j?
False
Let a = 150 + -112. Is a a multiple of 11?
False
Let m = 237 + -162. Does 4 divide m?
False
Let k = 20 - 20. Suppose 13 = p - 2. Suppose -3*z + p = k, -3*r + 20 = -2*r - 2*z. Does 15 divide r?
True
Suppose -5*j + 28 = -3*t, 5*t = 4*j - j - 20. Suppose a = j, 5*f - 4*a - 135 = -0*a. Does 12 divide f?
False
Suppose -2*b + s + 0*s = -56, -2*s = -2*b + 60. Is 13 a factor of b?
True
Suppose 0 = h - 2 + 5. Let p be (-166)/6 - (-1)/h. Let b = 64 + p. Is 13 a factor of b?
False
Let i be ((-3)/(-4))/(1/4). Suppose 5*o = 4*x + 481, 4*x - x - i = 0. Is 29 a factor of o?
False
Let d be (-1 - 1 - -2)/(-3). Suppose -25 = -g - 3*x, 0 = -d*x - 2*x + 2. Does 11 divide g?
True
Suppose 0 = -5*b - 9 + 34. Let i(z) = -z**2 + 5*z + 2. Let m be i(b). Suppose 0*t = -4*t, -m*t + 64 = 2*x. Is 17 a factor of x?
False
Does 9 divide ((-28)/16 + -4)*-4?
False
Let c(j) = -j + 2. Let d be c(-2). Let u(h) = -h**3 + 6*h**2 - 5*h - 4. Is 5 a factor of u(d)?
False
Suppose 6 = -5*w + 4*s, 5*w - 3*s = 3 - 5. Suppose -5*d - 5*n = -w - 3, 20 = 4*d - 4*n. Suppose 5*k = -d*r + 57, 3*k + 3*r + r = 43. Is k a multiple of 9?
True
Suppose 0 = -4*d + 9 + 7. Suppose -g + 2*h - d = 0, -5*g + 6*h = h + 10. Is (g + -1)/((-2)/20) a multiple of 9?
False
Suppose 0 = -0*n + 5*n + 5. Let a be n/4 - 41/(-4). Let v = a - 8. Is v even?
True
Suppose -3*r = -j - 62, -5*r - 6*j + 92 = -2*j. Does 5 divide r?
True
Let m = 350 - 84. Is m a multiple of 27?
False
Suppose -2*n + 2 = -56. Is 7 a factor of n?
False
Suppose -l + 0*l = -4*h - 153, 2*h + 6 = 0. Is 25 a factor of l?
False
Let x = -1 - -5. Suppose 2*y = -6, 0*y + 99 = x*a - y. Is a a multiple of 8?
True
Suppose 5*z = -5*i + 15, 5*z - 10 = -3*i - 1. Suppose l - 2*l + 2 = z. Let o(r) = 3*r**2 - 4*r + 2. Does 4 divide o(l)?
False
Let l(f) = -31*f - 1. Does 10 divide l(-1)?
True
Suppose 0 = 5*t + 15, -4*u + 11*t = 9*t - 202. Does 7 divide u?
True
Let i = 22 + -16. Suppose -r - 10 = -i*r. Suppose -60 = -7*o + r*o. Is o a multiple of 12?
True
Suppose 0 = -4*m - 4*c - 240, 0 = -m + 3*m - 5*c + 85. Let j = -19 - m. Does 12 divide j?
True
Suppose 0 = 3*l - p - 11, 3*l + 2*p = 1 + 4. Suppose g - 50 = -5*b + l*b, -3*b + 54 = g. Suppose z - g = -3*q + 39, 5*z - 41 = -q. Does 18 divide q?
False
Suppose l - 1 = -5*d - 2, 5*l - 3*d = 23. Suppose 20 = l*c + 4. Suppose -12 = -c*s + 8. Is s a multiple of 5?
True
Let h(n) = -2*n + 4. Let p = 12 - 25. Is 10 a factor of h(p)?
True
Let g(k) = -4*k - 7. Is g(-3) a multiple of 2?
False
Suppose -12 - 171 = -d. Suppose 5*j - d = -3. Let v = 65 - j. Does 11 divide v?
False
Let h(f) = f**3 + 4*f**2. Let q be h(-4). Let u be 30/18 - (-2)/6. Suppose q = -c - u*c + 18. Is c a multiple of 6?
True
Let w(q) = q + 9. Let d be w(-9). Suppose -17 = -4*t - k, d*k - 10 = -2*k. Suppose -3*i + 54 = -4*o, 5*i + 48 = -t*o + 138. Is i a multiple of 9?
True
Let i(t) = 3*t - 7. Let d be i(3). Suppose d + 12 = 2*c. Is c a multiple of 2?
False
Suppose -2 = -4*x + 38. Is 3 a factor of x?
False
Suppose -2*a + 84 = s, a + 210 = 6*a + 5*s. Let q = -12 + a. Does 10 divide q?
True
Suppose -3*z - 5 - 4 = 4*w, 4*z = w + 7. Let m = -4 + z. Does 14 divide 81/6 + m/(-6)?
True
Let a(k) = 4 - 5 - 2*k - 6. Is a(-7) a multiple of 7?
True
Let i = -4 + 6. Let t be 2/((-270)/69 + 4). Does 23 divide -2 + t - (i + -4)?
True
Suppose 0 = -0*x - 5*x + 125. Is 14 a factor of x?
False
Suppose -4*l - 3*q + q = -22, -17 = l + 5*q. Suppose 2*h + 0*h = l. Is 4 a factor of h?
True
Suppose -5*p + 0*n + 147 = -3*n, -2*n + 2 = 0. Is 15 a factor of p?
True
Let m(i) = i + 10. Suppose -a = -5*u + 4*a + 60, 0 = -4*u - 5*a + 30. Let q = u + -2. Is 13 a factor of m(q)?
False
Suppose -4*y = -3*r + 2*r - 10, -3*r - 6 = -4*y. Let d be (-1 - -5)/(4 - 2). Suppose -d*f = y*f - 60. Is f a multiple of 12?
True
Let f be 1/3 + (-121)/(-33). Suppose 0 = f*v - x - 206, 0*x + 5*x = 3*v - 146. Is v a multiple of 15?
False
Suppose -84 + 24 = -4*j. Suppose 2*p - j = -p. Is p a multiple of 2?
False
Suppose 4*d + 3*d = 406. Is d a multiple of 14?
False
Suppose 0 = -2*i + 5*i - 345. Let m = i + -61. Is 13 a factor of m?
False
Let x(y) = 2*y**3 + y**2 - 2. Let o be x(-2). Suppose 0 = 4*p - 8*p - 132. Let n = o - p. Is n a multiple of 16?
False
Let d(h) = -h**3 - h**2 - 9*h - 9. Is d(-5) a multiple of 17?
True
Suppose 2*s + 5 = 13. Suppose 2*u - 2*y = s, 5*u - 13 = -2*y - 3. Is 10 a factor of -1*(-19 + -1 + u)?
False
Suppose 5*x - 3*w = 52, -12 = -2*x + 4*w + 6. Suppose -3*t = -56 + x. Suppose -3*d + t = -15. Is d a multiple of 5?
True
Suppose 4*v + v - 20 = 0. Suppose y = -5*b + 2*y - 3, -v*y = -2*b - 12. Suppose b = 2*d + 3 - 17. Is d a multiple of 4?
False
Let m be 3*-6*16/36. Is (-94)/m - (-3)/12 a multiple of 6?
True
Let m = 21 + -10. Is m a multiple of 10?
False
Suppose 5*f + r + 8 = 0, -5*r - 6 = 4*f - 4*r. Is 4 + (2 - -2) + f a multiple of 5?
False
Let y(f) be the second derivative of -f**4/12 + 4*f**3/3 - 7*f**2/2 + 5*f. Is 2 a factor of y(6)?
False
Let s(m) = 10*m**2 - 8*m + 2. Let u(g) = -3*g**2 + 3*g - 1. Let l(x) = -2*s(x) - 7*u(x). Suppose -3*w - 24 = -4*v, 2*v - w - 12 = 4*w. Does 4 divide l(v)?
False
Let a(y) = -y**3 - 4*y**2 + 2*y - 6. Suppose -1 = 3*b + 14. Is a(b) a multiple of 5?
False
Let u be ((-2)/1)/(-3 + 4). Let r be (0 + (u - -1))*0. Suppose r*q - 20 = -2*q. Is 5 a factor of q?
True
Let n(t) = 14*t**2 + 15*t - 4. Let h(k) = 5*k**2 + 5*k - 1. Let o(z) = -11*h(z) + 4*n(z). Does 11 divide o(-9)?
False
Let c(i) = -i**3 + i**2 + 3. Let u be c(0). Suppose -u*b = -9 - 51. Is 10 a factor of b?
True
Let z(v) be the second derivative of 2*v + 1/12*v**4 + 0 + 24*v**2 + 1/6*v**3. Does 24 divide z(0)?
True
Let y be ((-20)/6)/((-3)/9). Let b be (y - 0)*(-32)/(-40). Suppose 2*x + 3*l - 32 = -2*x, -x + 3*l + b = 0. Is 6 a factor of x?
False
Suppose 34*p - 248 = 30*p. Is p a multiple of 31?
True
Let p(m) = -m**3 + m + 37. Let u = -6 - -10. Suppose 0 = 3*d - u*d. Is p(d) a multiple of 14?
False
Let x(p) = 8*p + 2. Let t be x(-2). Let m be 665/t*(-8)/5. Let i = m + -49. Is i a multiple of 17?
False
Let r = 24 - 22. Does 17 divide (3 - r) + (-6 - -56)?
True
Let g(l) = -2*l + 0*l - 6*l - 5 - l**2. Let h be g(-7). Is h*13*(0 + 1) a multiple of 13?
True
Let h be (-6)/21 + (-802)/(-14). Suppose 2*p + 0 = 4. Suppose -p*o + 5*o - h = 0. Is o a multiple of 19?
True
Suppose 5*x - 260 - 300 = 0. Is x/6*24/16 a multiple of 16?
False
Suppose 2*c = 0, 3*o - c - 6 = -0*c. Suppose 4*j - 2*j = -2*y + 46, -49 = -o*y - 5*j. Is 11 a factor of y?
True
Let t(a) = a. Let k be t(3). Suppose w - k*b + 12 = 0, 9*b - 4*b - 22 = w. Suppose 5*o - 42 = m + 1, o - 15 = -w*m. Is o a multiple of 9?
True
Let r = 153 - 102. Is r a multiple of 17?
True
Let m(y) = y**3 + 7*y**2 + 8*y + 4. Let d be m(-5). Suppose 3*t = 3*r + d + 1, 12 = 4*t + 4*r. Suppose n = 3*a - t, -a = 3*n + 3*a - 27. Is n even?
False
Let p = 2 - -1. Suppose -3 = -i, 0 = -5*d - i + p*i + 199. Is 11 a factor of d?
False
Let g be ((-33)/9 + 3)*-96. Does 16 divide (g/(-12))/((-2)/6)?
True
Is 54/(-5)*50/(-30) a multiple of 5?
False
Let d(g) = g + 10. Let c be d(-8). Suppose 4*t = c*q + q - 2, -20 = -4*q + t. Is q a multiple of 3?
True
Suppose 3*x = 3*v + 5*x - 10, -3*x + 15 = -v. S