r of b?
False
Let s(t) = -145*t - 15 + 12 - 16*t. Is s(-1) a multiple of 32?
False
Let u(p) = -3*p**3 - 7*p**2 - 4*p + 2. Let q(v) = v**3 + v**2 + v - 1. Let z = 12 - 13. Let c(t) = z*u(t) - 2*q(t). Is 8 a factor of c(-2)?
True
Suppose j = -9*j + 30. Suppose 39 - 507 = -j*v. Does 12 divide v?
True
Let k(y) = 5*y - 19. Let o(t) = -7*t + 28. Let j(b) = 8*k(b) + 5*o(b). Is 17 a factor of j(16)?
True
Suppose 6*o = 4*o + 16. Suppose -2*h - o = 0, 3*h - h - 208 = -2*a. Does 18 divide a?
True
Let h = -3 - -38. Let d be (-8)/(-12)*(h + 4). Is 4/26 + 1166/d a multiple of 12?
False
Let o(a) = 19*a**3 + 11*a**2 - 26*a + 10. Does 118 divide o(4)?
True
Suppose 5*v + 34 = 4. Let n(s) = -40*s - 16. Does 20 divide n(v)?
False
Let j be 1/2*0 - (35 + -40). Suppose 0 = j*d + h - 62, -3*d + 2*h = -3*h - 26. Is d even?
True
Let v be (-20 - -18)*(-2)/3*3. Is 5 a factor of v - (168/(-3) - -5)?
True
Let u = 220 - 119. Suppose 35 = -m - 3*w, -4*m + 21 = -3*w + u. Let q = m - -33. Is q a multiple of 3?
False
Let g(u) = 161*u**2 - 3*u - 2. Is g(-1) a multiple of 33?
False
Suppose -4*r + 397 = -579. Let p be (-2)/(3 - r/84). Is 20 a factor of ((-36)/9)/(2/p)?
False
Suppose 4*q - 5*n - 47 = -7, 5*n - 5 = q. Suppose -q = -3*d - 3. Suppose -d*b - b = -95. Is 6 a factor of b?
False
Suppose b = -3*b. Suppose -2*m - 3*h - 9 = b, 0*m - 2*h - 4 = 2*m. Is (-8)/m*(-300)/16 a multiple of 14?
False
Let w(v) = -7*v**3 - 6*v**2 + 10*v + 8. Let t(q) = 6*q**3 + 7*q**2 - 9*q - 9. Suppose -18 - 6 = -4*z. Let j(k) = z*t(k) + 5*w(k). Does 9 divide j(-12)?
False
Suppose -a + 5*a = 0. Suppose 0 = -5*v - 4*j - 307, v + 2*j + a*j = -65. Let q = 91 + v. Does 8 divide q?
True
Let g(w) = 25*w**2 + 9*w + 1. Is 32 a factor of g(-8)?
False
Let d(v) = -v**3 - 11*v**2 - 14*v + 6. Let j be d(-7). Let t = j + 113. Does 7 divide t?
True
Is 568 + (-2 - -7) - -7 a multiple of 4?
True
Let o(t) be the second derivative of -t**3/3 + 3*t**2/2 + t. Let g be o(6). Is 11 a factor of 335/10 - g/(-6)?
False
Suppose p = -5*d + 338, 3*d - p = -3*p + 207. Suppose 0 = -4*m + d + 225. Does 18 divide m?
False
Let p = -21 - -21. Let i = 131 + -79. Suppose p*f - i = -f. Is f a multiple of 27?
False
Let p be (-1 + 2)*(-28)/(-7). Is (2 - 3/p)*4 a multiple of 3?
False
Let f(w) = -w + 7. Let a be f(7). Suppose 3*r - 6 = a, -186 = -i + r + r. Is 16 a factor of i?
False
Suppose 38*a - 31*a - 693 = 0. Is 9 a factor of a?
True
Suppose -3*q = -4*k - 1338, -4*q + 1691 + 97 = -4*k. Is q a multiple of 45?
True
Suppose u = 10 + 2. Suppose -v = -u*v + 1650. Is 25 a factor of v?
True
Let m = -868 + 1386. Is 31 a factor of m?
False
Suppose -39 = 12*s - 831. Does 33 divide s?
True
Let g = -257 - -437. Is 30 a factor of g?
True
Let i = 185 - -93. Is 40 a factor of i?
False
Let o = 1698 + 616. Is o a multiple of 26?
True
Suppose 13*r - 3*w = 15*r - 2552, 3*w - 5104 = -4*r. Is 29 a factor of r?
True
Is 27 a factor of 23 + -24 - (-677 + 1)?
True
Let h(k) = -k**2 - 9*k - 21. Let g be h(-9). Let f = g - -67. Is f a multiple of 4?
False
Let i(h) = 3*h**2 - 9*h + 3. Let o(k) = 2*k**2 - 4*k + 1. Let d(p) = -3*i(p) + 5*o(p). Let s be d(-8). Suppose 0*j + 36 = s*j. Is 5 a factor of j?
False
Let w be 43/15 + (-28)/(-210). Let f be 3/9*w - -15. Suppose -t + f = t. Is t a multiple of 8?
True
Suppose 0 = -5*r - 9*r + 672. Is 48 a factor of r?
True
Suppose 7*p = p + 150. Suppose 2*s - 27 - p = 0. Does 6 divide s?
False
Suppose 2*w - 6 = -2*w + 2*q, -4*w + 4*q + 12 = 0. Suppose -p = 0, -5*d + w*p - p = -20. Suppose 16 = d*n, -5*n + 10 = -5*t + 50. Does 8 divide t?
False
Suppose 597 = 4*b + 9*g - 6*g, -g - 1 = 0. Is 7 a factor of b?
False
Is 7062/21 + 20/(-70) a multiple of 8?
True
Let x(g) = g**3 + 18*g**2 + 27*g + 2. Suppose -4*p - 66 = -n, -4*p - 13 = -3*n + 57. Is 10 a factor of x(p)?
False
Let t(v) = -v - 42. Let r be t(-15). Let m = 51 - r. Is 13 a factor of m?
True
Suppose 15 - 27 = -3*k, 0 = n - k - 3940. Does 29 divide n?
True
Let b(f) = f**3 - 9*f**2 + 8*f + 7. Let z be b(8). Let g(u) = 3 - u**3 + 2*u**2 + 0*u - u - z*u**2. Is 3 a factor of g(-5)?
False
Let m be 3 + 8*4/8. Let j be m/((-28)/8)*26. Let v = 81 + j. Does 14 divide v?
False
Let v(b) = 2*b**2 + 8*b - 2. Suppose -2 - 26 = -4*m. Suppose m*f = 3*f - 32. Is v(f) a multiple of 11?
False
Suppose -2*f = -4*b - 1174, -1504 - 242 = -3*f + b. Is 8 a factor of f?
False
Let r(g) = -g**3 + 8*g**2 - 6*g - 6. Let x be r(7). Let t = -5 + x. Is (t/4)/((-1)/38) a multiple of 16?
False
Suppose l + 3*m - 40 = 81, -4*l + 2*m + 540 = 0. Suppose 396 = l*n - 130*n. Is n a multiple of 25?
False
Let d = 412 + 1609. Is 21 a factor of d?
False
Let y(w) = 23*w + 170. Is 17 a factor of y(13)?
False
Suppose 1568 = 4*a + 3*a. Is 17 a factor of a?
False
Let f(t) = 7*t - 282. Is 5 a factor of f(47)?
False
Suppose 4*b + 3*p - 125 = 0, -4*b - 4*p + 122 = -2*p. Is 13 a factor of b?
False
Is 25 a factor of (-2 - 3)*1076/(-5)?
False
Let s(x) = 14*x**3 - 7*x**2 - 3*x - 15. Does 68 divide s(4)?
False
Let k = -56 - -305. Let g = -137 + k. Is 28 a factor of g?
True
Does 9 divide (1/5 - 24/(-60))*1605?
True
Let p(w) = w**3 + 3*w**2 - 7*w - 2. Let t be p(-6). Let h = 117 + t. Suppose 0 = -3*z + h + 311. Is z a multiple of 18?
False
Suppose -3*g = -6*g + 1023. Let y = 701 - g. Is 18 a factor of y?
True
Let x(h) = -h**3 + 5*h**2 + 9*h - 5. Let i(y) = y**3 - 2*y**2 - 3*y + 1. Let a be i(2). Let w = a + 11. Does 6 divide x(w)?
False
Let y(j) = -j**2 + 27*j + 72. Is 22 a factor of y(21)?
True
Let i(m) = 30*m**2 - 11*m + 12. Is i(4) a multiple of 31?
False
Let l(j) = j**2 - 3*j - 2. Let d be (-8)/12*21/(-2). Suppose t = d + 3. Is l(t) a multiple of 25?
False
Suppose 22*j - f = 17*j + 2342, -4*f = -j + 476. Is 36 a factor of j?
True
Does 17 divide 1 + (1345/5)/1?
False
Suppose 5*g + o + 73 = 0, 22 = -g - g - 4*o. Let l(v) = -18*v - 64. Is l(g) a multiple of 12?
False
Let y(l) = 104*l**2 + 16*l - 34. Is 18 a factor of y(2)?
True
Let y(u) = -u**2 + u - 4. Let j be y(2). Does 27 divide 84 + (-12)/(1*-4) + j?
True
Let c(j) be the first derivative of 3*j**2/2 - j + 17. Suppose m = -5*i + 6, i - 3*m = -3*i + 20. Does 5 divide c(i)?
True
Suppose 0*i - 2*i + 5*z + 365 = 0, -i - z + 172 = 0. Does 6 divide i?
False
Suppose 55*c - 59*c = 0. Suppose 0 = -5*b + 5*z + 200, c = 3*b - 0*z - 4*z - 117. Is 13 a factor of b?
False
Let z(r) = -r**3 + 9*r**2 + 12*r - 17. Let b be z(10). Suppose 4*j = b*g - 678, -3*g + 277 = j - 386. Does 37 divide g?
True
Let c(j) = -j**3 + 36. Let b be c(0). Is 11 a factor of 642/2*3/b*4?
False
Let j = -8 + 51. Let c = j - 26. Is 5 a factor of c?
False
Let l = 112 + 68. Is 15 a factor of l?
True
Suppose c - 57 = -2*b, 2*c - 5*c + b + 143 = 0. Let q = 101 - c. Is 13 a factor of q?
True
Let u(w) = -18*w - 60. Let b be u(-4). Suppose 682 - 34 = b*s. Is 16 a factor of s?
False
Suppose 3*i = -5*n + 127 + 165, 0 = -2*n + 3*i + 100. Let f = n + -38. Suppose -f = -0*g - 2*g. Is g a multiple of 7?
False
Let b(p) = p**3 + p**2 - 6*p + 4. Let i(m) = -m**2. Let y(x) = b(x) - 5*i(x). Let w be y(-6). Suppose -5*g + w = -0*g. Is g a multiple of 8?
True
Does 18 divide (-61904)/(-112) - 2/(-7)?
False
Let l = 2412 + -2132. Does 5 divide l?
True
Is 2/(-5)*-4450*(-10)/(-20) a multiple of 3?
False
Let r = 61 + -45. Suppose -r = -t + 44. Is 9 a factor of t?
False
Suppose -14 = 5*v - 24. Suppose -2*y = o - 385, 4*y + 3*o = v*y + 375. Does 39 divide y?
True
Let t(l) = 19*l**2 + 3*l + 4. Let q be t(-2). Let n = 34 + q. Does 12 divide n?
True
Suppose 0 = 7*w - 154 - 1988. Suppose -w = -3*l - 30. Does 49 divide l?
False
Let g(v) = -v + 9. Let u be g(4). Let h(x) be the second derivative of x**4/4 + x**3/3 - 5*x**2/2 + 11*x. Does 20 divide h(u)?
True
Suppose -86*d - 935 = -5*f - 91*d, 0 = 3*f - 3*d - 591. Is 6 a factor of f?
True
Let s(a) = -9*a**2 + 2*a + 1. Let f(g) = 4*g**2 - g - 1. Let w(d) = 7*f(d) + 3*s(d). Let x be w(5). Let l = 31 - x. Is l a multiple of 2?
False
Suppose q + q - 6 = 0. Suppose q*w = -w. Suppose 0*o + 3*k + 123 = 4*o, -5*o - k + 130 = w. Does 16 divide o?
False
Let i = -13 + 17. Let w(m) = 6*m**2 - 5*m + 6. Let d be w(4). Suppose i*p - 2*p = d. Does 10 divide p?
False
Let a(m) = -m**3 + 9*m**2 - 5*m + 12. Suppose -4*p + 0 - 8 = 0, 2*d - 4 = p. Let c = 7 + d. Is a(c) a multiple of 12?
True
Suppose -243*v + 233*v + 2720 = 0.