x(l) = 4*l**2 + 6*l + 2. Suppose 0 = m - 3*h - 1 + 2, 5*m + 4*h + 24 = 0. Is x(m) a multiple of 24?
False
Suppose w + 230 = h, -47 = h - 5*w - 257. Is h a multiple of 35?
False
Does 14 divide 5 + 19 + (-12)/(-3)?
True
Suppose -5*c - 15 = 0, c + c + 801 = 3*t. Does 24 divide t?
False
Let w(s) = 44*s + 1. Let u(y) = -y + 1. Let i be u(0). Let p be w(i). Let k = p - 24. Does 8 divide k?
False
Let a = 138 - -114. Is 19 a factor of a?
False
Let q(f) = f - 7. Is q(10) a multiple of 3?
True
Let p = -258 + 371. Does 18 divide p?
False
Suppose o + 2*o = 96. Suppose 0 = -2*s + 4*s - 4*w + 26, -w - o = 5*s. Let p = -4 - s. Is p a multiple of 3?
True
Let s be (-3 + (-7)/(-2))*0. Suppose -15 = -5*l + 5*u, -2*u - 5 + 3 = s. Suppose -2*d = -d - 3*m - 48, -2*m - 84 = -l*d. Is 13 a factor of d?
True
Suppose -13*k + 9*k = -444. Does 37 divide k?
True
Suppose 56 + 22 = 6*s. Is 7 a factor of s?
False
Suppose m - 64 = -0*m - 2*h, 3*m - 232 = 2*h. Is m a multiple of 31?
False
Let w(k) = -k**3 - k**2 + 5*k + 2. Let j be w(-3). Let v be 1*j + (4 - 4). Let o = 10 - v. Is 2 a factor of o?
False
Suppose 3*g + 9 = -9. Let h = g - -22. Is 8 a factor of h?
True
Suppose 48 + 12 = 4*z. Let v = z - -11. Is 8 a factor of v?
False
Let d(x) = -19*x**3 - 2*x**2 - 2*x - 1. Let p be d(-1). Suppose -4*q - p = -5*q. Is q a multiple of 9?
True
Let l(r) = -4*r**2 - 3*r + 2. Let f be l(-4). Suppose 0 = -4*p - 0*p + 332. Let t = p + f. Does 11 divide t?
True
Let m = -22 - -70. Suppose -4*y = -0*y - m. Is y a multiple of 6?
True
Let k(z) = z - 3. Let l be k(4). Suppose -22 = -d - 4*x, -2*d - 2*x - l = -69. Does 8 divide d?
False
Let u be ((200/(-2))/4)/1. Is 10 a factor of (-5)/u - 228/(-10)?
False
Let i be (4 + 2)*(-66)/4. Let o = i - -144. Is o a multiple of 24?
False
Suppose 7*q + 58 = 8*q. Does 9 divide q?
False
Let v be (29/2)/((-2)/(-12)). Suppose -187 = 4*w - 5*x, 4*w = -0*x - x - 217. Let r = v + w. Does 12 divide r?
False
Suppose -z - 26 = 5*a - 10*a, 0 = -a - 2*z + 3. Suppose -a*q + 93 = -97. Is 19 a factor of q?
True
Let h(t) = -5*t**3 + 2*t**2 + 2*t + 1. Let n be h(-2). Suppose -13*j + n = -8*j. Is 4 a factor of j?
False
Let i = -19 + 78. Is 17 a factor of i?
False
Let k(v) be the second derivative of v**5/20 + 5*v**4/12 + 2*v**3/3 - v**2/2 - 2*v. Let t be k(-3). Suppose -t*s + 0*s + 150 = 0. Is 15 a factor of s?
True
Suppose 8*h - 4*h + 444 = 0. Is 7 a factor of h/(-6) - (-7)/(-14)?
False
Suppose -b = -5*b + 460. Is 14 a factor of b?
False
Let c(z) = -z. Let y be c(0). Suppose y = -3*h + 45 - 15. Does 5 divide h?
True
Let o = 13 + -10. Suppose -3*k + 34 = 2*k - 2*t, 14 = o*k + 2*t. Does 3 divide k?
True
Let q be ((-2)/(-1) - -30)*1. Does 9 divide q/2 + (-6)/(-3)?
True
Let k(r) = -r**2 - 2*r**2 + 3*r**2 - 3*r**2 + 4 + r**3. Let s = -7 - -11. Does 10 divide k(s)?
True
Let b(f) = -29*f - 18. Is 8 a factor of b(-2)?
True
Let b be (-15)/(-1) + -2 + 1. Let x = b - 6. Does 6 divide x?
False
Suppose 6*q - 3*q - 279 = 0. Does 31 divide q?
True
Let r(o) = -o + 1. Let v be r(5). Is 11 a factor of 11 + 0 + v - -4?
True
Suppose 134 = 4*q + 6. Is q a multiple of 9?
False
Suppose 0 = 4*v - 8, -l + 5*v - 4 = 8. Let n be 7 + l + 1 + 3. Is 6/(-27) + 74/n a multiple of 4?
True
Let v(b) = -b - 19. Let d(q) = q**3 - 2*q**2 + q. Let c be d(1). Let w be v(c). Is 16 a factor of (-2)/(2/w - 0)?
False
Let k(a) = a**2 + 2*a - 1. Let g be k(-6). Suppose g = -4*y + 83. Is y a multiple of 6?
False
Suppose -66 + 18 = -4*x. Is 4 a factor of x?
True
Let x be 1 - 3 - (4 + -2). Let w = 4 + x. Let z = 2 + w. Is z a multiple of 2?
True
Let s(h) = h + 17. Does 20 divide s(23)?
True
Suppose 0 = -2*a + 1 + 3. Let p be 3/((-3)/2)*a. Let c(k) = 3*k**2 - 3. Does 12 divide c(p)?
False
Let k(l) = -l**2 - 8*l - 8. Is 4 a factor of k(-4)?
True
Let c(o) = 2*o**2 + 4*o + 2. Let y(r) = -r. Let d(u) = c(u) - y(u). Suppose 0 = -5*q + h - 18, -4*q + 7*q + 5*h = 6. Is d(q) even?
False
Let a = 71 + -44. Does 6 divide a?
False
Does 2 divide (3 + -1)/(9/(-15) + 1)?
False
Let p(h) = -h**3 + 3*h**2 - h. Let x be p(3). Let q(z) = -z**3 - z**2 + 4*z + 3. Let y be q(-3). Does 9 divide 1*(y*x)/(-3)?
True
Suppose -7*q = q - 2648. Is q a multiple of 12?
False
Suppose 4*x - 5*s - 345 = 0, -x - 2*s - s = -82. Does 8 divide x?
False
Let k(m) = m**3 + 8*m**2 - 8. Is 32 a factor of k(-6)?
True
Let z(r) = -r**3 - 10*r**2 - r - 3. Suppose 12*j - 9*j = -30. Is z(j) a multiple of 2?
False
Suppose 270 + 15 = g. Suppose 0 = 4*d - 5*q - 375, 0 = -3*d + 3*q - 0*q + g. Suppose 2*u + 3 = x + 68, d = 3*u + x. Is 15 a factor of u?
False
Suppose 5*t = 4*y + 54, -3*t + 61 = -0*y - 5*y. Let w(c) = c**2 + 8*c - 16. Is 11 a factor of w(y)?
False
Suppose -10*n = -2478 + 988. Is n a multiple of 26?
False
Let d be 0/(-1)*(-2)/(-4). Suppose -3*q + 3*n - 52 = -7*q, d = -5*n - 20. Suppose l - 16 - q = 0. Is l a multiple of 16?
True
Let r be 2/9 - 852/(-54). Suppose -2*l = -90 + r. Is 20 a factor of l?
False
Suppose 3*l = -19 + 4. Let z = 42 - l. Suppose -22 = -d - h, 4*d + 2*h - z = 35. Is 15 a factor of d?
False
Suppose 0*v - 6 = -v. Suppose 105 = -i + v*i. Is i a multiple of 7?
True
Suppose 5*x + 23 + 98 = -4*u, 4*x = u + 25. Let g = u + 42. Is 5 a factor of g?
False
Let u = 17 + -5. Suppose 2*i + 0*i = -12. Let b = u - i. Is 14 a factor of b?
False
Let q be -12*(-2)/(4/3). Suppose -2*x - 4*c = -q, 2*x - 3*c = -4*c + 15. Let u = x + 2. Is 9 a factor of u?
True
Suppose -3*t = 5*c - 131, 5*c - 2*t - 146 = -0*t. Does 14 divide c?
True
Let j(f) = 5*f**2 - 5*f - 17. Is j(-6) a multiple of 9?
False
Let y(r) = -2 - 4*r - 4*r + 2*r + r**2 + 5*r. Does 4 divide y(3)?
True
Let a(f) = -2*f**2 + 22*f + 5 + f**2 - 7*f + 2*f**2. Let u be a(-9). Let c = u - -72. Is c a multiple of 22?
False
Let m = -75 + 155. Does 18 divide m?
False
Let q = -196 - -339. Is q a multiple of 17?
False
Is (20 + -1)*(0 + (-3)/(-3)) a multiple of 2?
False
Suppose 82 = n + 8. Is 37 a factor of n?
True
Let c = -25 - -35. Suppose 2 = 2*w - 2. Suppose w = -t + c. Does 8 divide t?
True
Suppose 3 = -g + 6. Suppose x + 5*f - 17 = 0, -2*f + 0*f + 12 = g*x. Suppose -x*n + 39 + 5 = 0. Does 8 divide n?
False
Suppose 3*g + 2 = b, 4*b - 3*g - 2*g - 8 = 0. Suppose 60 = 5*y + 4*p - 9*p, -b*p = 2*y - 8. Is y a multiple of 4?
True
Suppose 3*w - 730 = -w - k, -2 = -k. Does 26 divide w?
True
Let y(b) = 3*b**2 + 0 + 3 - 1 - b - b**3. Let i be y(2). Suppose 0*w + 32 = 2*g + 3*w, -g - i*w = -16. Is 6 a factor of g?
False
Let n(a) = 2*a**2 - 2 - a**2 + 11 + 14*a - 4*a. Let b be n(-9). Suppose b = -0*l + l - 5. Is l even?
False
Let p(w) = -10*w + 5*w + 21 + 4*w. Is 21 a factor of p(0)?
True
Suppose -156 = 2*w - 5*w. Does 11 divide w/(-13) + (22 - -1)?
False
Suppose 71 = 4*v + 3*t, -4*t + 0*t = -4*v + 64. Does 8 divide v?
False
Suppose 0 = -4*g + 4, -4*d + 13 = -0*d - 3*g. Is d a multiple of 2?
True
Let l be 2/4*(-12)/(-2). Let m be (2 - 4/(-3))*l. Suppose m = 2*o - 18. Is 9 a factor of o?
False
Suppose 9*s - 50 = 4*s + w, 4*s = -5*w + 69. Let x = s - 6. Suppose 5*y - 1 = -2*z, -x - 5 = -5*z - 5*y. Is z even?
False
Let z = 4 - 10. Let h = z + 13. Does 7 divide h?
True
Let x be 198 - 5/((-5)/(-3)). Suppose -5*v = 0, 0 = 4*j + j - 3*v - x. Is 13 a factor of j?
True
Let o be (4/(-2))/((-4)/6). Suppose o*m = 2*m + 35. Is m a multiple of 15?
False
Let i(v) = 2*v - 5. Let x be i(4). Suppose x*l - 20 = -l. Does 3 divide l?
False
Let z(a) = -a + 49. Let s be z(0). Suppose g = 4*k - 0*g - s, k = -5*g - 14. Is 11 a factor of k?
True
Let p(u) = -5*u + 8. Is p(-5) a multiple of 15?
False
Let y(b) = -14*b**3 + b**2 - 4. Is y(-2) a multiple of 28?
True
Let y = -15 + 28. Is y a multiple of 13?
True
Is ((-3)/(-4))/(8/448) a multiple of 14?
True
Let w(z) = z**2 + 8*z + 12. Does 14 divide w(8)?
True
Is 19 a factor of ((-5)/(-3) + 1)*15?
False
Suppose 3*f - 158 = 142. Does 25 divide f?
True
Let u(t) = -5*t - 3. Let v(f) = f**3 - 9*f**2 - 11*f + 6. Let z(n) = n**2 - 6*n + 3. Let w be z(7). Let o be v(w). Is 8 a factor of u(o)?
False
Let b(t) = 11*t + 9. Let d be b(5). Suppose 5*o - 66 = d. Is o a multiple of 18?
False
Let j be (-6)/(-3) - 1 - -83. Let q = j - 27. Suppose -d + 4*d = 3*g + q, -3*g - 89 = -5*d. Is 8 a factor of d?
True
Let d(x) = 6*x**2 + 3*x - 3. Does 11 divide d(4)?
False
Suppose -45 = -y + 43. Is y a multiple of 22?
True
Supp