 divide (4/d)/((-2)/(-12))?
False
Suppose -p + 2 = 5*k - 52, 0 = 3*p - 12. Is 3 a factor of (-3 - (-4)/(-4)) + k?
True
Let b(h) = 16*h**2 + 3*h + 1. Let x be b(-3). Suppose -4*d + 0*d + x = 0. Is d a multiple of 17?
True
Let q = -8 + 13. Suppose 125 = 4*p + q*d, -4*d - 57 = -2*p - d. Is 10 a factor of p?
True
Let t = 0 + 10. Let w = 5 - t. Is 4*1 + w + 3 even?
True
Suppose 5*l + 25 = -2*j, 4*j - 3*j - 4*l - 20 = 0. Let q be (j - 29) + 1 + -2. Let u = 43 + q. Is u a multiple of 6?
False
Let c = 15 - 10. Suppose -135 - c = 4*h. Does 15 divide (0 + h)/(4/(-4))?
False
Let v(l) = -l**3 + l**2 + 8. Does 2 divide v(0)?
True
Let n = -5 + 7. Let z(a) = n - 8*a + 6 + 0 - a - a**2. Does 11 divide z(-7)?
True
Suppose -4*i + 60 = 2*t - t, -2*i - 168 = -4*t. Suppose 8*n = m + 3*n - t, -28 = -m - 3*n. Is 18 a factor of m?
False
Let m(b) = -9*b - 3. Let s(l) = -45*l - 15. Let v(r) = 21*m(r) - 4*s(r). Is v(-8) a multiple of 13?
False
Suppose -g = -2*h + 14, -6*h + 2*h - g + 40 = 0. Suppose -2*n - 39 = -3*d + 2*n, 5*n = 15. Let u = d - h. Is 7 a factor of u?
False
Let f(q) = q**3 - 15*q**2 + 9*q + 14. Let b be f(15). Let i = b + -89. Does 20 divide i?
True
Let y be (-2)/(4*(-3)/(-6)). Let m be -12 + 1 + y + 1. Let s = m - -14. Is 3 a factor of s?
True
Let p(i) = i**2 + 9*i + 5. Let d be p(-11). Let f = 45 - d. Does 9 divide f?
True
Suppose 5*y + 2*x = -3*x - 30, -2*y + 3*x = 12. Let g be ((-4)/y)/(6/(-9)). Let p(n) = -4*n**3 + 2*n**2 + 2*n + 1. Is p(g) even?
False
Let d be 960/36 + 2/6. Let w = -58 - -105. Let n = w - d. Does 6 divide n?
False
Suppose -5*o = -5*u - 55, 6 = -3*u - 0. Let n be (-2)/o + (-20)/(-9). Suppose 0 = -n*f + 4 + 4. Is f a multiple of 3?
False
Let n = -13 + 21. Let g(x) = -x**3 + 7*x**2 + 8*x. Let y be g(n). Suppose y*o - 64 = -4*o. Is 12 a factor of o?
False
Suppose 3*a = -a + 156. Let c = a - 21. Suppose -5*k + 7*q - 2*q = -40, -c = -2*k + q. Does 10 divide k?
True
Suppose 5*g - 67 = 23. Is 13 a factor of g?
False
Let k(t) = -t**2 + 5*t + 10. Let x be k(6). Does 9 divide 14/7*46/x?
False
Suppose -2*r + 10 = -44. Is r a multiple of 15?
False
Let v be (2 - 0) + 2 + -2. Suppose 0 = 5*n - v*q - 20, 0 = -3*n - 2*q - 7 + 3. Let g(f) = 4*f**2 - 2. Is 14 a factor of g(n)?
True
Suppose 3*h + 240 = 8*h. Is h a multiple of 17?
False
Suppose 4*r + r - 10 = 0, 2*i = 3*r + 78. Does 18 divide i?
False
Let t be (-6)/(-27) + 158/18. Suppose t = l + 2*l. Is 2 a factor of l?
False
Suppose -2*d + 9 + 25 = 0. Suppose -25 = -2*h + 2*s + d, -5*h = -3*s - 101. Does 9 divide h?
False
Let c(v) = 3*v**2 + 2*v - 1. Let i be c(-2). Suppose -5*y = q - 34, 2*y - 15 = -i. Is 7 a factor of q?
True
Let a = -43 + 54. Is a a multiple of 2?
False
Let l(u) = -u**2 + 12*u - 5. Let k be (-8)/(1 - (-4)/(-2)). Let z = k + 0. Is 17 a factor of l(z)?
False
Suppose -2*o - 18 = -5*l, 3 = -o + 4*o. Suppose 4*s = 16, -l*s = -2*g + s + 8. Is 14 a factor of g?
True
Let u(k) = k**3 - 4*k + 7. Does 9 divide u(3)?
False
Let v(z) = 2*z**2 - 2*z - 2. Let u be v(3). Let b = 19 - u. Is 8 a factor of b?
False
Let r(v) = -v**2 + 3*v - 5. Let g be r(4). Let w(h) = h**2 + 5*h - 4. Let k be w(g). Suppose t + t = k. Does 8 divide t?
True
Suppose -3*w - 3*y = -w - 12, 5*w - 53 = 4*y. Suppose -1 = a - w. Is a a multiple of 8?
True
Suppose 2*a - u + 4 = -3*u, 0 = -5*a + 4*u + 8. Suppose a = 2*i + 3*i - 2*o - 430, 0 = 2*i - 5*o - 151. Is 20 a factor of i?
False
Let m(h) = 6*h**2 - 55*h + 20. Does 14 divide m(10)?
True
Let l(u) = -u**2 + 11*u + 11. Let f be l(12). Let y = f - -6. Let x = 65 + y. Is x a multiple of 24?
False
Suppose -4*n = -3*u + 4 - 2, 5*u - n - 9 = 0. Suppose u*o - 7 = -1. Is o a multiple of 3?
True
Let s = 0 - -1. Let p = 10 - s. Is p a multiple of 3?
True
Let a(t) = 2*t**2 - 8*t - 8. Let b be a(7). Suppose -66 - b = -4*l. Does 10 divide l?
False
Let z = -2 - -7. Suppose -o - 5*c + 38 = 0, 5*o + z*c = 8*o - 174. Is o a multiple of 22?
False
Let z(a) = -a**3 - a**2 - a + 2. Let d(n) = n**2 + n**3 + 0*n**3 + 0 - 2*n**3 - 2. Let j be d(0). Is z(j) a multiple of 8?
True
Let x = -15 - -19. Suppose -4*b - 12 - 116 = -4*j, -47 = -j - x*b. Is j a multiple of 5?
True
Suppose 56 + 211 = 3*l. Suppose -3*v = 32 - l. Suppose 2*m + 1 - v = 0. Does 9 divide m?
True
Let h(u) = 28*u - 95. Let g(j) = 7*j - 24. Let t(z) = 9*g(z) - 2*h(z). Does 11 divide t(11)?
False
Let a(x) = -10*x + 2. Let y be (-3 - (-3 - 4))/(-1). Is a(y) a multiple of 14?
True
Suppose 2 - 464 = -6*j. Is 4 a factor of j?
False
Suppose -4*b - 464 = -4*x, 3*x - 419 = -x - 5*b. Is x a multiple of 12?
False
Let k(s) = s + 26. Is k(0) a multiple of 7?
False
Suppose 0 = -l + 7*l - 258. Is 9 a factor of l?
False
Let z(q) = 83*q**2 - q. Is 43 a factor of z(1)?
False
Let d be ((-1)/2)/(3/(-18)). Let k = d + -8. Let c = k + 10. Is c a multiple of 5?
True
Let u(k) be the second derivative of k**4/3 + k**3/3 - k**2 + k. Is 20 a factor of u(-3)?
False
Suppose p - f = 3*f - 18, 4*f - 22 = -p. Suppose -101 = -p*l - x, -5*x + 55 + 66 = 2*l. Is l a multiple of 24?
True
Let c = -10 + 17. Let k be ((-6)/2)/(4 - c). Does 8 divide (-114)/(-9) + k/3?
False
Let s(j) = -j**2 - 7*j + 2. Let b be s(-7). Suppose l = b*f + 2*f + 25, -4*f = 3*l - 107. Does 11 divide l?
True
Let s be 6 + (2 - 4)*1. Suppose 2*k + 0*k - 40 = -s*r, k = 0. Is 4 a factor of r?
False
Let z = -8 + 2. Let j be (z/(-15))/((-2)/10). Is 14 a factor of 1*(-36)/j + -1?
False
Let k be (8/(-2)*4)/(-2). Suppose 0 = 5*x + k + 7. Let t(j) = -2*j - 2. Does 4 divide t(x)?
True
Does 7 divide 0/(-3 - -6) - -13?
False
Let n be 70/21 - (-1)/(-3). Suppose 3 = v, 2*v - 3 = 2*x + n. Suppose 4*l - 5*c - 13 = x, 0 = 6*c - c - 15. Does 7 divide l?
True
Suppose 4*x = 5*g + 69, 2*g - 5*g = 15. Let u = 13 + x. Suppose -f = 3*r + r - u, 80 = 3*f + 4*r. Does 14 divide f?
True
Let j be 1095/(-9) - 2/(-3). Let u = -65 - j. Suppose 144 = 5*i - u. Does 20 divide i?
True
Let q(k) = -4*k - 2. Let t = 6 + -11. Does 12 divide q(t)?
False
Let r(x) = -x**2 - 9*x - 3. Is 11 a factor of r(-7)?
True
Suppose p = 5*l + 10, -2*p - 4*l - 25 + 87 = 0. Suppose p = 5*a, 4*n - 6*a = -2*a + 76. Does 11 divide n?
False
Suppose -5*m - 100 = -3*g, -5*m = -0*m + 10. Is 15 a factor of g?
True
Let h(u) = u**3 + 7*u**2 + 7*u + 6. Let f be h(-6). Suppose -4*a - b - 37 = -f*a, -5*b + 15 = -5*a. Let i(l) = -5*l - 4. Does 12 divide i(a)?
True
Suppose 0 = -5*u + 201 - 11. Does 8 divide u?
False
Let i(u) = u**3 + 12*u**2 - 16*u - 24. Does 21 divide i(-12)?
True
Let o(q) = -q**3 - 4*q**2 - 4*q. Let f be o(-3). Suppose -f*v = 6, d - 23 = -2*v + 6*v. Is 5 a factor of d?
True
Let x(t) be the third derivative of -5*t**4/24 + 19*t**3/6 + 2*t**2. Is x(-13) a multiple of 28?
True
Let s = 254 - 158. Is s a multiple of 11?
False
Suppose 0 = 2*l - l. Suppose 4*c - 8 = -l*c. Suppose -c*q + 90 = -8. Does 22 divide q?
False
Suppose 5*h = c - 129, -c + 2*h + 760 = 4*c. Is 7 a factor of c?
True
Let q(l) = -l**3 + 3*l**2 + 4*l. Let h be q(4). Let r be 1/2*h - -6. Suppose r = 3*j, 2*g - 5*j - 8 = -2*j. Is 7 a factor of g?
True
Let a be 4/(-1)*7/(-2). Let h = -6 + 8. Suppose -h*q + a = -q. Is 14 a factor of q?
True
Suppose 0 = u - 2*u + 155. Suppose u = 5*a - 115. Is 18 a factor of a?
True
Let k(d) = d**2 - d + 38. Let x be k(0). Let v = x - 12. Is 9 a factor of v?
False
Let i be (-14)/(-10) - (-21)/35. Suppose -8 = -3*j + 5*h, -2*j - i*h - 12 = -4*j. Is j a multiple of 8?
False
Let h = 5 - -10. Suppose 2*f + h = 5*f. Suppose g - 5*g - f = r, 0 = -4*r + 4*g + 40. Does 5 divide r?
False
Let d = -1 + -1. Let b be d/3 + (-4)/(-6). Suppose 2*f + b*f - 26 = 0. Is 5 a factor of f?
False
Suppose 25 = -m + 60. Suppose -4*z + 5*z = m. Does 14 divide z?
False
Let v(d) = -d**3 + 6*d**2 - 7*d + 2. Let k be v(5). Let p be ((-2)/k)/(1/(-4)). Is 3 a factor of 1*(5 - (3 + p))?
True
Let r be 101 - ((-12)/(-2))/(-3). Suppose 2*f + 13 = r. Is f a multiple of 24?
False
Let v be 3*(30/9)/(-1). Let p be (-170)/(-3) - v/30. Suppose -p = -2*r - 15. Is 21 a factor of r?
True
Let h be (0 - -1) + 1*13. Suppose 0 = 5*q + 41 + 9. Let z = h + q. Does 4 divide z?
True
Let g be (72 - 1) + 0 + 0. Let w = g + -20. Is w a multiple of 17?
True
Let c be 4/12*(0 + 6). Suppose 27 = -w + 2*q + 11, -c*w - 27 = -3*q. Let d = 18 - w. Does 17 divide d?
False
Suppose -5*s - 20 = 0, s - 96 = -3*r - 2*r. Is 