e (1 + 1)*3/(6/253)?
False
Let x(m) = -11*m**3 + m**2 - m - 1. Let y be x(2). Let i = 125 + y. Is 18 a factor of i?
False
Is 3 a factor of (-621)/(-18)*(-4)/(-6)?
False
Let x(d) = d**2 + 4*d**2 + d**2 - 4*d**2. Is x(-3) a multiple of 9?
True
Suppose 84 = -13*j + 19*j. Does 3 divide j?
False
Suppose 2*a - 36 = -a. Suppose -u = -0*u - a. Is 6 a factor of u?
True
Let n(f) be the first derivative of 20*f**2 + 15*f + 2. Let a(s) = 10*s + 4. Let v(c) = 15*a(c) - 4*n(c). Does 10 divide v(-1)?
True
Suppose -1 = y - 4. Suppose 2*i + y*i - 20 = 0. Does 2 divide i?
True
Let h(b) = 3*b - 10. Let o be h(4). Suppose 0 = -3*i - o*i + 110. Is 11 a factor of i?
True
Let o(n) = -n**2 + 11*n - 11*n. Let h be o(2). Is (-20)/(-3)*(-6)/h a multiple of 5?
True
Suppose 0 = n - 30 - 10. Is n a multiple of 8?
True
Let s(l) = -4*l - 7 - 1 + 0. Let c(r) = -r**3 - 3*r**2 + 3*r. Let f be c(-3). Is 14 a factor of s(f)?
True
Let q = 6 + -17. Let f = 30 + q. Is f a multiple of 19?
True
Let j be (-10 - -4)*2/(-6). Suppose 5*x + 22 = -m + 2*m, -j*m + 29 = -5*x. Does 5 divide m?
False
Let h = -77 + 195. Is 31 a factor of h?
False
Let h(b) = -12*b - 6. Does 9 divide h(-2)?
True
Suppose -133 = -4*m + j, m - 2*m + 35 = -2*j. Suppose -a + 9 = u, a - 5*u = -0*a + m. Does 13 divide a?
True
Let p(u) = 20*u**2 + 8*u**2 + 8 - 23*u**2 + 0 + 8*u. Is p(-4) a multiple of 14?
True
Let f = 50 + 5. Does 26 divide f?
False
Suppose 44*x - 60 = 43*x. Is 14 a factor of x?
False
Let g(u) = -112*u - 4 - 2 + 2 + 3. Let v be g(-1). Suppose 0*n + 45 = 2*n + t, -5*n + v = t. Does 11 divide n?
True
Suppose -r + 2*r = 17. Let o = r + -10. Is o even?
False
Suppose -2*n + 6*n + 4 = 0. Let b(h) = -49*h - 1. Is 9 a factor of b(n)?
False
Suppose q = -1 - 0, 4*s - 647 = -q. Is 25 a factor of s?
False
Let i(t) be the first derivative of -3*t**4 - 2*t**3/3 + t + 8. Does 5 divide i(-1)?
False
Let x = -10 - -25. Is x a multiple of 8?
False
Is 12 a factor of -1 - -3 - 0 - -10?
True
Does 2 divide ((-6)/(-2))/((-3)/(-7))?
False
Suppose j = -3*j + 180. Suppose 0 = -2*m + m + j. Is m a multiple of 15?
True
Let b(x) = 7*x - 4. Let h(d) = -13*d + 9. Suppose -4*l + 4 - 16 = 0. Let y(v) = l*h(v) - 5*b(v). Is y(9) a multiple of 15?
False
Let s(r) = -r**3 - r**2 + 6*r + 8. Is s(-5) a multiple of 26?
True
Suppose -p - 93 = -5*x + 128, -5*x + 3*p = -213. Does 10 divide x?
False
Let w(t) = 2*t**2 + 2*t - 10. Let j(y) = -y**2 - y + 5. Let n(f) = -9*j(f) - 4*w(f). Is n(-4) a multiple of 3?
False
Does 14 divide (239 + 0)*(0 + 1)?
False
Suppose -4*u = r - 11, -u + 9 = r - 2*r. Let d be (-26)/(-10) - u/(-10). Let i(l) = l**3 - l**2 - 3*l + 4. Is i(d) a multiple of 13?
True
Let j(a) = a - 1. Let g(w) = -4*w - 7. Let s(n) = g(n) + 2*j(n). Is s(-9) a multiple of 9?
True
Suppose 4*i - 2*i = 106. Let w = -31 + i. Does 11 divide w?
True
Suppose -2*w = -8, 0*w - 26 = -2*r - 5*w. Suppose 15 = 4*c + r. Suppose -1 - 3 = 4*b, c*l - 82 = -5*b. Is l a multiple of 13?
False
Suppose 0 = -2*m - 5*d + 17, 0 = 5*m + 2*d + d - 90. Does 8 divide m?
False
Suppose -5*j = -29 + 89. Let b be 1 + (1 + 0)*31. Let q = b + j. Is q a multiple of 10?
True
Does 23 divide (11/(-22))/(2/(-188)) + -1?
True
Let n(w) = -w**2 - 8*w - 9. Suppose -5*x - 3 = -2*r - 0*x, r + 4*x = -18. Is 3 a factor of n(r)?
True
Let i = 43 + -2. Let g = 4 + -2. Does 7 divide i/g - 1/2?
False
Suppose 0*u = 3*u + 4*c - 68, 0 = -5*u - 2*c + 104. Suppose 4*k - u = -0*k. Suppose k*i - 34 = -2*l, i - 17 = -l + 4*i. Is 15 a factor of l?
False
Does 23 divide 0 + -3 - (-1 - 71)?
True
Suppose -4*g + 3*q = -10, 5*q = -3*g - 0*q - 7. Let n(h) = 8*h - 1. Is 3 a factor of n(g)?
False
Let v(k) = k**3 - 7*k**2 + 4. Let r be v(7). Suppose -r*f + 11 = -29. Is f a multiple of 10?
True
Suppose -m + d + 4 = 0, 3*m - 5*d - 5 = m. Does 3 divide m?
False
Let t(o) = -o**3 - 9*o**2 + 11*o + 13. Let z be t(-10). Let d(y) = 1 + 0*y + 3 + z*y. Is d(3) a multiple of 13?
True
Suppose 2*v - 20 = -5*b - 3*v, 0 = -5*b + v + 20. Let u(g) = 2*g**2 - 2*g + 4. Is u(b) a multiple of 14?
True
Let x = 97 + 151. Is x a multiple of 31?
True
Let k be 3*(4/(-6) - -2). Suppose 8 + 12 = 4*o, 4 = -b + k*o. Is 8 a factor of b?
True
Let h(i) = 4*i**2 + 3*i + 3. Let d be 15/(-5) + (-1 - -2). Is h(d) a multiple of 13?
True
Let d(j) = -2*j**2 + 5*j + 1. Let r(g) = -g**2 + 2*g. Let f(u) = -3*d(u) + 5*r(u). Is 12 a factor of f(-5)?
False
Let k = 188 + -56. Is k a multiple of 33?
True
Let o = 671 + -308. Is o a multiple of 31?
False
Suppose 43 = 2*o - 35. Is 13 a factor of o?
True
Let t = 45 + -27. Is t a multiple of 18?
True
Let l(r) = r**3 + 1 + 13*r - 2*r**3 + 7 + 12*r**2. Does 8 divide l(13)?
True
Let r = 503 - 337. Is r a multiple of 31?
False
Let n = 5 - 5. Suppose 2*g = -n*g + 6. Suppose 45 = g*w - 33. Is 13 a factor of w?
True
Let a(p) = p - 20. Let i(h) = 2*h - 20. Let f(t) = -3*a(t) + 2*i(t). Does 4 divide f(-11)?
False
Suppose -8*v - 168 = -2448. Is v a multiple of 22?
False
Is 3 a factor of (2/(-7))/((-2)/42)?
True
Let d(q) = 5*q - 3 - 4 - 2 - 2. Is d(4) a multiple of 5?
False
Let i(f) = -2*f**3 + 0*f**2 + 3*f**3 - 6*f**2 + 6*f - 4 + 8. Is i(6) a multiple of 18?
False
Let h = 5 - 1. Suppose -h*r = 3*y - r - 36, 83 = 4*y - 3*r. Suppose -y = -5*i + 3. Is i a multiple of 3?
False
Suppose 5*z + 27 = -3*r, -2*z + 1 = -r - z. Let i = 9 + r. Is i even?
False
Suppose 22*m = 15*m + 77. Is m even?
False
Let d be 2*-4*9/12. Is d/(-3) + (1 - -3) even?
True
Let x(v) = 3*v. Let a(o) = 13*o - 1. Let r(b) = -2*a(b) + 9*x(b). Suppose -4*m + 29 = 5*q, 31 = 3*m + 2*m + q. Is r(m) a multiple of 8?
True
Suppose 387 = 4*z + c, 0*c = -3*z - 2*c + 294. Is z a multiple of 24?
True
Let s = 37 + -66. Let l = s + 52. Is 17 a factor of l?
False
Let x be 8/12 + 40/(-6). Suppose -k - 1 = -0. Is 12 a factor of (x/(-8))/(k/(-16))?
True
Let y = 53 - 5. Does 10 divide y?
False
Does 16 divide (1 - -74) + 0/11?
False
Suppose 4*r + 3*i - 9 = 0, 4*r - 1 - 6 = -5*i. Suppose -r*p = -138 - 126. Suppose -5*q + 12 = -p. Is q a multiple of 20?
True
Let i(o) = 8*o**2 - 2*o. Is i(3) a multiple of 33?
True
Does 16 divide 62 - -14 - 4/(4/3)?
False
Is -38*-3*(-4)/(-8) a multiple of 14?
False
Suppose -8*k + 68 = -4*k. Let g(f) = -f**3 + 6*f**2 - 4*f - 1. Let r be g(5). Suppose -4 = -r*l, 0 = -3*n - 5*l - k + 100. Is 13 a factor of n?
True
Let h be (1 - 1)/(-2) - -5. Let c = h - 2. Is c/(-3) + -1 + 16 a multiple of 7?
True
Suppose -4*f + 20 = 0, m = -5*f + 180 - 36. Is m a multiple of 21?
False
Let q(x) = -1. Let w(t) be the second derivative of t**3/2 - 7*t**2/2 + t. Let z(u) = 6*q(u) - w(u). Is 12 a factor of z(-4)?
False
Suppose -2*o + 104 = x + 3*x, -3*o + 36 = x. Does 24 divide x?
True
Let g(c) = -2*c + 6. Let t(b) = b**3 + 6*b**2 + 2*b + 8. Let z be t(-6). Let u = -1 + z. Is g(u) a multiple of 8?
True
Suppose -z + 2*b - 2 = -52, -b - 172 = -4*z. Is 14 a factor of z?
True
Suppose -2*t + 0*t - 104 = 0. Does 15 divide (-6)/2 - (t - 1)?
False
Let j(p) be the first derivative of 4*p**4/3 + 3*p**2/2 + 2. Let i(k) be the second derivative of j(k). Is 20 a factor of i(1)?
False
Let j(l) = l**2 + 9*l + 1. Let a(u) = -10*u. Let f be a(1). Is 11 a factor of j(f)?
True
Suppose 3*l - 283 - 83 = 0. Is 4 a factor of l?
False
Let w be ((-12)/1)/2*-9. Let n(z) = 4*z**2. Let o be n(-3). Let g = w - o. Is 18 a factor of g?
True
Let p = -31 + 38. Is p even?
False
Let v(h) = 8*h**3 - h - 1. Let i be v(-1). Let z = i - -12. Suppose -3*u - 6 = 0, 5*f = -z*u - u + 50. Is 6 a factor of f?
True
Is 20 a factor of 4/(-4) + 3 - -18?
True
Let v(d) = -d - 7. Suppose 5*k + 3*z + 31 = -8, -5*k = z + 43. Let f be v(k). Suppose -10 = -f*y + 4*m, -4*m = 3*y + m - 15. Is 3 a factor of y?
False
Let t be (20/(-25))/(1/5). Let q = -17 - t. Let l = q - -42. Does 18 divide l?
False
Let k(r) = -5*r**2 - 10*r + 12. Let v(y) = y**2 + y - 1. Let a(u) = k(u) + 4*v(u). Let f be ((-2)/5)/((-1)/(-15)). Is 5 a factor of a(f)?
False
Let n(j) = -j**3 + 9*j**2 + 8*j - 12. Does 33 divide n(8)?
False
Suppose 0 = -2*g - 9 + 43. Let z = -7 + g. Does 5 divide z?
True
Let i be 2/6 + (-596)/(-12). Let s = i - 2. Is s a multiple of 16?
True
Let l(m) = m**3 - 2*m**2 + 4*m - 3. Let b be l(2). Suppose b*u - 16 = -1. Suppose -k = 4*r + 13 - 0, u*k + 2*r - 1 = 0. Is k a multiple of 2?
False
Let o = 2 + 5. Does 16 divide o*5/(70/36)?
False
