 4?
True
Let c = -5 + 4. Is 29 a factor of (c/(2/41))/((-8)/16)?
False
Suppose -5*z = -5*b + 105, 4*z = -7 - 13. Suppose 0 = -9*m + 5*m + b. Suppose 0 = -3*s + 5*s - 5*q - 172, -4*q = -m*s + 368. Does 24 divide s?
True
Let m(n) = -2*n**2 - 31*n - 17. Let j be m(-12). Suppose -69*r + j*r = -342. Does 15 divide r?
False
Suppose 0 = 95*f - 92*f - 72. Let t = f - -12. Does 36 divide t?
True
Suppose b - 15 = 2*o - 7*o, -5*b + 3 = o. Let l(u) = -u**o + 8 - 7*u**2 + 0*u**2 + 2*u**2 - 2*u. Does 14 divide l(-6)?
True
Suppose -3*c + 0*c = -12. Is (1 - c)*-13 - 4 a multiple of 11?
False
Let b(o) = -o**3 + o**2 + 98. Let n be b(0). Let j be (-56)/(-10) + 6 + (-28)/5. Does 17 divide j/10*(-13 + n)?
True
Suppose 0 = 37*k + 24*k - 102053. Is 8 a factor of k?
False
Let v = 84 + -78. Suppose 0 = -3*a - 4*i + 202, v*i = 2*i + 16. Is 31 a factor of a?
True
Suppose -4*t = -2*j - 4 - 8, -3 = -t. Suppose 9*f - 4*f = j. Suppose f*b + 4*b = -4*i + 148, -b = -4*i + 163. Does 10 divide i?
True
Let p = 3 - 4. Let t be (4/(-4) - p) + 0. Suppose t = -2*g + 150 + 20. Is 32 a factor of g?
False
Suppose -8 - 6 = -c + 3*t, -4*t - 16 = 0. Suppose -132 = -4*q - c*l - 2*l, -q + 43 = -l. Does 15 divide q?
False
Let y = -28 + 192. Let u = 260 - y. Is u a multiple of 24?
True
Let m(a) be the third derivative of 5/24*a**4 + 12*a**2 + 1/30*a**6 - 1/3*a**3 + 0 + 0*a - 1/12*a**5. Is m(3) a multiple of 19?
True
Suppose -2*j + 36 = 2*j. Let h(v) = v**2 - 7*v - 15. Does 3 divide h(j)?
True
Let n(d) = 12*d + 114. Does 10 divide n(28)?
True
Let o = 13 - 21. Let y(j) = -17*j + 24. Is 16 a factor of y(o)?
True
Let n(s) = -s**2 - s. Let u be n(5). Let f be (-46)/(-14) - u/(-105). Suppose -76 = -f*q - 2*z, 3*q + z - 4*z = 51. Is 11 a factor of q?
True
Let s(h) = h**2 - 11*h + 9. Let y be s(10). Is y*195*(-5 - 65/(-15)) a multiple of 26?
True
Suppose -c = -3*d - 88, -2*c - d + 3*d = -172. Suppose 0 = 5*x - 3*u - c, -2*x + 13 = -4*u - 7. Is 5 a factor of x?
True
Let q = 10 + -8. Suppose -13 = 4*z - 5*d, -7*z + 3*z = -2*d - q. Is 3 a factor of z*(1 + -2 + 2)?
True
Suppose 0 = 4*b - 9*b + 595. Let v = b - 71. Does 9 divide v?
False
Let u = 124 - -525. Does 59 divide u?
True
Let v be (-3 + 2 - 23*1)*-8. Suppose 3*k + 5 = 5*c, 2*k + 2*k - 2*c - 12 = 0. Suppose 0 = k*h - 48 - v. Is 16 a factor of h?
True
Let b be 76/18 + 2/(-9). Suppose 2*k = 4*d - 804, -2*k + b*d - 764 = 8*d. Is 10 a factor of k/(-13) + (-6)/39?
True
Let o(f) = -3*f - f + 9*f**2 + 1 + 3*f. Suppose -5 = 4*c + 5*d - 6*d, 0 = 2*c - 3*d - 5. Is 15 a factor of o(c)?
False
Let j(v) = 6*v - 2*v**3 + v**3 + 4*v - 2*v**2 + 10. Does 15 divide j(-6)?
False
Let j = 6423 + -3507. Is 18 a factor of j?
True
Let q(g) = g**3 - 14*g**2 - 16*g + 18. Let d be q(15). Suppose 4*o + 5*n - 535 = 0, 540 = o + d*o + 4*n. Does 28 divide o?
True
Let l = 26 - 28. Let h be (13/l)/(6/(-12)). Suppose 0 = -4*v + 87 + h. Does 4 divide v?
False
Let x = 477 + -477. Suppose -5*u - 5*n + 410 = 80, 0 = 2*u + n - 133. Suppose x*r + u = r. Is 18 a factor of r?
False
Let j(z) be the first derivative of z**4/4 + 13*z**3/3 + z**2/2 + 13*z - 15. Let k be j(-13). Is 29 a factor of 62 - (3 - k - -1)?
True
Let a(o) = -101*o**2 + o. Let z be a(-1). Does 10 divide 2/(-3)*z - 0?
False
Suppose 2*v = -v - 9. Let i be 5 + v + 4/4. Suppose 178 = i*z - 89. Is 28 a factor of z?
False
Let g be -4 + 4 + 3 - -12. Is 17 a factor of 9/6*(-5)/g*-102?
True
Suppose -4*j + 40 = -76. Suppose -3*f + 177 = 3*o, j + 107 = 2*f - 4*o. Is f a multiple of 14?
False
Let c = -1 + -14. Let g be (18/c)/(3/(-30)). Suppose 39 + g = 5*h - 2*w, 3*h - 39 = 4*w. Is h a multiple of 3?
True
Let v = -40 + 121. Is v a multiple of 23?
False
Suppose 0 = 5*x + 81 - 991. Let y = 350 - x. Is y a multiple of 16?
False
Suppose -5*m + r + 8688 = 0, 77*m - 78*m = 4*r - 1725. Is 9 a factor of m?
True
Suppose 3*y - 40*u + 42*u = 2686, 3*y = -5*u + 2683. Is 64 a factor of y?
True
Suppose -26074 = -27*f + 14291. Is 13 a factor of f?
True
Let t(j) = 13*j**2 - 14*j + 13. Does 2 divide t(-3)?
True
Let b = 42 + -40. Let j(p) = p**3 - p**2 + 82. Let l be j(0). Suppose l + 10 = b*u. Is u a multiple of 23?
True
Let o be (-3)/(-15) - -8*(-1)/40. Let f(t) = t - 3*t**2 + 0*t**2 - t**3 + 75 + 4*t**2. Is f(o) a multiple of 13?
False
Let d = -4 - -3. Let i be d*(0 + (-4)/2). Does 6 divide (7/1 - i) + 3?
False
Let o(i) = 3*i - 3. Let y be o(5). Let x(w) = 3*w**2 + 12*w - 12. Let m(b) = 4*b**2 + 12*b - 13. Let c(u) = 4*m(u) - 5*x(u). Is c(y) a multiple of 5?
False
Suppose -b + 5*z - 4*z + 7 = 0, -3*b = 4*z + 7. Let i(m) = m**3 + 5*m**2 - m + 6. Let d be i(-5). Suppose -b*f + 3*p = -135, -f - p + d = -28. Does 21 divide f?
True
Let m(s) = -s**3 - 16*s**2 - 56*s - 2. Is m(-3) a multiple of 7?
True
Let n = 6 - 2. Suppose 28 = 4*j - 2*w, 3*w = -4*j - w + n. Suppose 51 = 4*h + 2*s - 21, s + 76 = j*h. Does 6 divide h?
False
Let u(r) be the first derivative of r**4/4 - 8*r**3 + 23*r - 14. Does 23 divide u(24)?
True
Let u(z) be the first derivative of -z**7/840 - 7*z**6/360 + z**5/15 + z**4/12 - 2*z**3/3 + 4. Let j(g) be the third derivative of u(g). Is j(-8) even?
True
Let j = -30 - -36. Let o = 8 - j. Is 2 a factor of o?
True
Suppose 0 = -b + 1 + 6. Let h = 8 - b. Is 124/3 - h/3 a multiple of 15?
False
Suppose 4*n - 11616 = -7*n. Does 16 divide n?
True
Suppose -2*m + 7*h - 46 = 3*h, 4*m - h = -64. Suppose 0 = -0*n - n + 10. Is -76*(-2 - m/n) a multiple of 38?
True
Let w(t) = 217*t - 4. Is 10 a factor of w(2)?
True
Suppose -9 = -0*x - 3*x. Suppose -2*m - 6 = -2*h, x*h + 4 + 11 = -5*m. Suppose h = 2*v - 35 - 35. Is 7 a factor of v?
True
Suppose 2*t + 96 = 14*t. Suppose -3*b + t*b = 5*x - 620, -5*x - b = -602. Does 11 divide x?
True
Let c be 105 + -1 + 4 + -3. Let x = c + -13. Is x a multiple of 29?
False
Suppose 5*c = -2*k - 154, -6*c = -c - k + 148. Suppose 2*i + 19 = -1. Does 4 divide i/(5/(c/4))?
False
Let t(u) be the second derivative of u**4/12 - 11*u**3/6 + 10*u**2 + 28*u. Is 43 a factor of t(15)?
False
Suppose 0 = -4*u - 4*w + 15696, -5*u + 10072 + 9554 = 2*w. Does 151 divide u?
True
Let g be (2/4)/(3/18). Suppose -2*s + g*s - 15 = 0. Suppose 3*b - s = 0, b - 82 = -2*l + 5*b. Is l a multiple of 17?
True
Suppose -13*n + 515 = -8*n - z, -4*z = -5*n + 530. Is n a multiple of 3?
True
Let o = -66 + 290. Is o a multiple of 14?
True
Let u be (-352)/(-48)*7*-6. Let l = -126 - u. Is 20 a factor of l?
False
Let l = -73 - -199. Let h = l + -56. Is 7 a factor of h?
True
Let q = 5 + 2. Suppose -q*b + 20 = -3*b. Is b a multiple of 3?
False
Let w = -5 + 15. Let a = w - -11. Is 7 a factor of a?
True
Let m(x) = -x - 16. Suppose -6*b = -b + 40. Let c be m(b). Let f(t) = t**3 + 7*t**2 - 12*t - 20. Does 4 divide f(c)?
True
Let q be 2/7 + (-165)/(-35). Suppose -q*f + 4*f + 48 = 0. Suppose -102 = -2*i + 5*j, i - 5*j + j = f. Is i a multiple of 14?
True
Let g = 62 - -57. Let l = -83 + g. Is 36 a factor of l?
True
Let a(z) be the first derivative of -z + z**2 + 40/3*z**3 + 11. Does 26 divide a(1)?
False
Is (-48)/64 - (-63)/12*3 a multiple of 5?
True
Suppose -5*p = 4*r - 22, -3*p - 2*r = p - 14. Suppose 0 = -5*b - p*s - 25 + 326, 2*b - 124 = s. Does 14 divide b?
False
Suppose -4*a - 4*l = -7*l - 2448, -599 = -a + 4*l. Does 3 divide a?
True
Is 52 a factor of ((-24)/7)/12 - (-760)/14?
False
Suppose -13*l = -40 - 1676. Is l a multiple of 11?
True
Suppose 0 = -5*q, 0*v + 4*v - 196 = -3*q. Let t = 143 - v. Is 12 a factor of t?
False
Let t be (-4 - 18/(-4))*6. Suppose 0 = t*l + 22 - 88. Is 11 a factor of l?
True
Let r = 5018 - 2844. Is r a multiple of 13?
False
Let s = 303 - 75. Does 9 divide s?
False
Let f(l) = -l**3 + 4*l**2 - 5*l + 5. Let p be f(4). Let z be (4/3)/(2/p). Let k(y) = -7*y - 3. Does 22 divide k(z)?
False
Let i = 127 + -103. Is 13 a factor of i?
False
Suppose -2*b = 2*r + 32 - 210, 0 = -3*b - 4*r + 268. Let l be (b/(-10))/(2/10). Is 5/((-10)/4) - l a multiple of 16?
False
Let a be (-2)/(-9) + 5344/(-72). Is (-388)/(-3) + a/(-111) a multiple of 13?
True
Suppose -n + 3*g = -0*g - 31, 5*n = g + 127. Let a = 100 - 73. Suppose z - a - n = 0. Does 13 divide z?
True
Suppose 378*n = 366*n + 9324. Does 15 divide n?
False
Let t = 81 - 85. Let m(b) = -3*b + 22. Does 17 divide m(t)?
True
Let x(s) = s**3 + 2*s**2 - 2*s + 1. Let m be x(-3). Let w be (7 - 5)/(m/(-6)). Is 1