 factor of (-1 + 0)*(u - 2)?
False
Is (-12)/30 - 12328/(-20) a multiple of 14?
True
Suppose -3*c = c - l + 156, 2*c = -4*l - 96. Let u = c + 56. Suppose 0 = -2*d - g + 16, 0*g + u = 4*g. Is d a multiple of 6?
True
Suppose h - 168 = 129. Is h a multiple of 27?
True
Let o(t) = -2*t - 25. Let k = 47 + -66. Is o(k) even?
False
Let x = -13 + 22. Suppose -x = -3*j, -3*n - 2*n + 2*j + 9 = 0. Suppose r - 2*r + 27 = i, -4*r = n*i - 77. Is 5 a factor of i?
False
Let z(u) = -7*u - 4. Let t be z(-3). Let x = t + -38. Does 28 divide 6/(-21) + (-1770)/x?
True
Let l(w) = 36*w**2 + w. Let s = -8 - -8. Suppose -1 = -u - s*u. Is 16 a factor of l(u)?
False
Suppose 2*r - 7 - 3 = 0. Suppose -j - 84 = 2*s - 6*s, 0 = -r*s - 2*j + 92. Suppose 5*p + 4*b + s = 80, -5*b = 2*p - 7. Is 5 a factor of p?
False
Let n = 979 + -605. Does 17 divide n?
True
Let y be 5 + 2*3/(-3). Let i = -5 - y. Let k = -5 - i. Does 3 divide k?
True
Suppose -v + 0*v + 273 = 0. Suppose -4*u + u + v = 0. Let d = -31 + u. Is d a multiple of 14?
False
Suppose t = 5, 4*d + 2*t - 2696 = 6*t. Is 7 a factor of d?
True
Suppose 14*w - 12*w = 10, 0 = 5*n + 6*w - 5430. Is 45 a factor of n?
True
Let m(o) = -8*o - o**2 + 13*o + 69 + 8*o - 52. Let a be m(14). Suppose -b + 2*w - 120 = -3*b, -a*b = 5*w - 184. Is 12 a factor of b?
False
Suppose -2*m = h - 5, -3*m + 30 = -0*m - 3*h. Suppose 2*o + 70 = s, m*s - 5*o = -0*o + 335. Is 32 a factor of s?
True
Suppose -2 = r + 2. Let v be ((-3)/(-6))/(r/(-16)). Suppose -2*t = v*x + 2*x - 60, 0 = x + 5*t - 24. Does 7 divide x?
True
Let a(l) be the second derivative of 2*l**4 + l**3/3 - l**2 + 3*l. Let b be a(4). Suppose -6*g + g = -b. Is g a multiple of 20?
False
Let v(c) = -2*c**2 + 14*c - 1. Let g(o) = o**2 + 4*o + 1. Let p be g(-5). Let t be v(p). Is 1/((-43)/t - -4) even?
False
Let l(w) = 37*w + 9. Let x be l(5). Let o = x + -138. Does 14 divide o?
True
Let s be 51/(-119) - (-374)/7. Suppose 3*w - s = -2*z, -5*z = -w + 5*w - 59. Does 21 divide w?
True
Does 16 divide ((-4)/4 - 0)/(2/(-206))?
False
Let r(c) = -35*c + 3. Let q(l) = -l**3 - 16*l**2 + l + 13. Let f be q(-16). Is 27 a factor of r(f)?
True
Let g(f) = -2*f + 24. Let p be g(14). Is 18 a factor of (1 + -13)/p + (83 - -4)?
True
Suppose 0 = -4*n + 6*c - 2*c - 932, -c = -2*n - 469. Suppose -4*x + 4*b = -24, 3*x + x - 24 = -b. Is 5 a factor of n/(-12) - (-2)/x?
True
Does 9 divide (-4216)/(-6) + 198/(-297)?
True
Suppose 0 = 3*z - x - 109, -5*z = 2*x - 6*x - 184. Suppose k - z = -k. Is 9 a factor of k?
True
Let l(s) = -s**2 - 7*s + 12. Suppose 3*j + x + 0*x + 28 = 0, j - 4*x = -5. Let o be l(j). Is -2*(-3)/o*-12 a multiple of 4?
True
Let t be 4/36*-3 + 668/6. Suppose -156 = -5*p - 4*g, 31 = -3*p + g + t. Is p a multiple of 6?
False
Let j(n) = -16*n + 7. Let o(g) = g**3 + 5*g**2 + 4*g + 5. Let t be o(-4). Suppose -r - t*s = 6 - 1, 5*s = 0. Is j(r) a multiple of 22?
False
Let y be -3 - 3*2/(-3). Let o be (218 - (-3 + 1)) + y. Let g = o - 156. Is 21 a factor of g?
True
Let o = 408 - 204. Suppose 3*h + x = 126 + 86, -3*h + 3*x + o = 0. Does 7 divide h?
True
Let z(l) = -l**3 + 3*l**2 - l - 12. Is z(-3) a multiple of 9?
True
Let r be 1/3 + (-10)/30. Suppose 5*z = -r*z + 200. Is (-2)/(-8)*4 + z a multiple of 11?
False
Let q(i) = -i**3 - 4*i**2 - 5*i - 3. Let t be q(-3). Suppose -9 = -3*o - t. Is (-1198)/(-12) + o/12 a multiple of 20?
True
Suppose 5*r + 2450 = 5*w, 3*r = 9*w - 10*w + 478. Is 13 a factor of w?
False
Let b = 873 + -493. Suppose -3*o - o = -3*v - 335, 5*o + 4*v = b. Suppose o = 4*z + z. Does 11 divide z?
False
Let g(i) = i**3 - 5*i**2 + 5*i + 1. Let y be g(4). Suppose 0*s = -y*s + 2*r + 479, 4*s - 390 = 5*r. Is 13 a factor of s?
False
Let w = 31 - 136. Let t be 3948/(-26) - 44/286. Let h = w - t. Does 17 divide h?
False
Let g(v) = 3*v + 2. Let t be g(1). Suppose -3*j - 4*y + 7*y = -33, -4*y + 91 = t*j. Does 15 divide j?
True
Let z = -34 + 54. Let v be z/3*(-36)/(-30). Suppose -k = -11 - v. Is k a multiple of 7?
False
Let i = -876 + 2068. Does 8 divide i?
True
Let p(s) = 4*s + 2. Let d be p(2). Suppose -3*x - 2*v + 32 = d, 0 = -3*v + 6. Suppose -r - 40 = -x*r. Does 8 divide r?
True
Let d(l) = 7*l - 16. Let w(o) = -o**2 - 9*o - 9. Let p be w(-5). Let a be d(p). Suppose -4*k = -a - 23. Does 21 divide k?
True
Let t(c) = c - 20. Let y be t(8). Is (-9)/6*752/y a multiple of 18?
False
Let g(s) = -157*s + 1. Let t be g(-1). Suppose -9*o + t + 58 = 0. Does 24 divide o?
True
Let x be (23/(-5))/(6/(-30)). Let h = x + -21. Suppose -o + 3*o = -5*k + 423, 2*o = h*k - 172. Is 17 a factor of k?
True
Let t(f) = 2706*f - 9. Does 153 divide t(1)?
False
Let x(z) = -z - 1. Let c be x(-6). Suppose 0 = -c*h - 3*b + 492, b - 2*b = -5*h + 496. Is h a multiple of 11?
True
Let s be 7 - 1/(-4)*-4. Suppose -40 = -s*l + 2*l + n, n = 0. Does 2 divide l?
True
Let v = 404 + -147. Suppose v = 5*r - 823. Is 54 a factor of r?
True
Suppose -180*y = -176*y - 3*d - 4751, -4*d - 3572 = -3*y. Is y a multiple of 74?
True
Let t be -1 + (240/4)/2. Suppose -5*f + 36 + t = 0. Does 2 divide f?
False
Let k be -1*5/(-5)*-5. Let m = 88 - k. Is m a multiple of 33?
False
Suppose o - 168 = -2*a, -3*a + o + o = -252. Let z = -60 + a. Does 24 divide z?
True
Let y be (1 - 3)*(-6 - 1). Suppose y*k - 10*k = 520. Does 12 divide k?
False
Let t(u) = 2*u**3 + u**2 - u + 1. Let n be t(-2). Let s = 4 - n. Does 13 divide s?
True
Let k(x) = 414*x - 1664. Is k(16) a multiple of 160?
True
Let j(a) = -a**3 - 13*a**2 - 8*a - 16. Does 10 divide j(-16)?
True
Does 6 divide 123 + ((-18)/(-30) - 23/5)?
False
Suppose 32 = -u - 2*z, 5*u - 3*z + 150 = -8*z. Let q = -9 - u. Is q a multiple of 15?
False
Suppose 2448*b - 14366 = 2437*b. Does 24 divide b?
False
Suppose -m = -2*a - 4, 2*m - 2 - 10 = 5*a. Let w = 0 - m. Suppose -u + w*h = 4*u - 50, 20 = 4*h. Does 7 divide u?
True
Let x(a) = -42*a**3 - a**2 + 5*a - 1. Does 23 divide x(-2)?
False
Is (-48)/(208/(-3840) - 2/15) a multiple of 32?
True
Let u = -24 - -27. Suppose 5*n = 3*x - 160, u*n = 2*x - x - 60. Is x a multiple of 15?
True
Suppose 5*h - 32 + 7 = -3*s, -s = -2*h + 21. Suppose -2*y = -h*y + 582. Is y a multiple of 31?
False
Suppose -p - z = -5*p + 1037, 0 = -2*p - 4*z + 496. Suppose 0 = -2*g - q + 232, 5*q + 34 = -2*g + p. Does 13 divide g?
True
Let h(d) = 75*d + 961. Does 19 divide h(-8)?
True
Let o(q) = 2*q**2 - q + 1. Let j be o(0). Does 4 divide 63/3*1 - j?
True
Suppose 0 = -5*v - 3*b + 3591, 0 = 4*v - 5*b - 453 - 2442. Does 90 divide v?
True
Suppose -1278 = 16*n - 3118. Is n a multiple of 26?
False
Let i(p) = -6*p - 8. Let m be i(4). Let j = m + 65. Is j a multiple of 10?
False
Let a = 727 + -644. Is a a multiple of 3?
False
Suppose 4*t = 2*q - 284, -4*t + 4*q + 0*q - 292 = 0. Is 8 a factor of 5 + t/15 - 78/(-5)?
True
Let b = -592 + 712. Is 8 a factor of b?
True
Let t = 1754 - 1135. Suppose -339 - t = -5*b - u, -584 = -3*b + 4*u. Is b a multiple of 32?
True
Is 4 a factor of (-4 + 78/24)/(4/(-576))?
True
Does 7 divide ((-24)/(-36))/((-1)/(-252))?
True
Let o = 14 - 18. Let c be 1/o + (-17)/(-4). Suppose -142 = -3*k + 4*x, k - c*x - 234 = -4*k. Is k a multiple of 10?
False
Suppose -12*b + 8*b = 0. Suppose 452 = 5*y - 3*v - b*v, -4*v = -4*y + 368. Is 22 a factor of y?
True
Suppose 0 = 91*y - 100*y + 1512. Is y a multiple of 56?
True
Is 5 a factor of (1 - 134/4)/(20/(-40))?
True
Is 2 a factor of (-4167)/(-45) - (-15)/(-25)?
True
Let c(v) = 37*v**2 + 4*v + 2. Suppose -5*f = j + 4 + 7, 5*f + 4*j + 14 = 0. Let k be c(f). Let q = k + -69. Is q a multiple of 20?
False
Let o(a) = a**3 + 7*a**2 - 10*a + 1. Let v = -43 - -35. Does 2 divide o(v)?
False
Let z(s) = 16*s + 552. Is z(16) a multiple of 7?
False
Let n = 119 - -910. Does 7 divide n?
True
Suppose 29*o - 23045 - 9667 = 0. Does 25 divide o?
False
Suppose 2*f + 4*i - 3856 = 0, 64*i - 69*i + 1940 = f. Is f a multiple of 15?
True
Let g(a) = a**2 - 3*a - 5. Let f be g(5). Suppose -1272 = -v - f*v. Does 20 divide v?
False
Suppose 6 = -4*h - 10. Let g(v) = -9*v + 37. Let i be g(7). Let k = h - i. Is 22 a factor of k?
True
Let s(o) = o**2 - 9*o - 8. Let x be (-136)/16 - 1*(-2)/4. Is s(x) a multiple of 17?
False
Suppose -14*x = -6*x - 736. Let h = x + -18. Does 9 divide h?
False
Does 6 divide (1 - -42)/((-82)/(-820))?
False
Let q = 4 - -1. Suppose 4 = q*c - 6. Suppose c*v = 3*w + w + 54