se
Let b = -14 + 11. Suppose 5*n - 4*m = 45, 0*m = -2*m - 10. Let l = n - b. Does 7 divide l?
False
Let s = 21 - 15. Suppose 5*p = -4*n + 43 - 15, 2*p = n + s. Suppose -3*u - 3*b + 21 = 0, -n*u + 19 = -0*u - 3*b. Does 8 divide u?
True
Suppose -b + 168 = 3*b. Let d = 64 - b. Suppose 17 + d = y. Does 12 divide y?
False
Suppose -n + 20 = 3*z, 2 + 23 = 2*n + 3*z. Let t(m) = m + n*m - 3*m + 2 - 1. Is 11 a factor of t(8)?
False
Is 810 + 9*6/(-18) a multiple of 60?
False
Let o = -66 + 460. Is o a multiple of 8?
False
Let y be -1 + 12 - (-4 - -5). Let o be 416/6 + y/15. Suppose 34 + o = 4*i. Is i a multiple of 17?
False
Suppose 5*m - 761 = -4*u, 3*u + 3*m - 588 = -15. Suppose 0 = 5*o + 2*r - 256 - u, o + 3*r = 103. Is o a multiple of 22?
True
Suppose -3*p + 4 = -2. Suppose p*v - 4*v + 32 = 0. Is v + 4 + (-1 - -1) a multiple of 8?
False
Suppose 3*u = 9, -2*n + 4*u = -6*n + 288. Let c = 285 - n. Suppose -6*y - c = -9*y. Does 18 divide y?
True
Suppose 1450 = 4*v + v - 5*m, 0 = v - 3*m - 294. Is 16 a factor of v?
True
Let a = 35 - 19. Is 2 a factor of ((-81)/36)/((-3)/a)?
True
Let j = 1507 - 1243. Does 36 divide j?
False
Let a be 12/(-20)*(2 - -3). Let o = -1 - a. Suppose 3*m - 94 = -4*s, 0 = -o*m - m + s + 119. Is m a multiple of 8?
False
Let m = 521 + -293. Is 4 a factor of m?
True
Suppose y - 9*y + 5*o + 3029 = 0, 0 = 3*y - o - 1135. Does 18 divide y?
True
Let m(k) = k**2 - 8*k - 7. Let p be -2*(1/1 + 1). Is 41 a factor of m(p)?
True
Suppose 0 = -3*q + 15*y - 16*y + 138, 0 = 2*q + y - 93. Does 15 divide q?
True
Suppose -243 = 4*f + 461. Let b = -121 - f. Is 11 a factor of b?
True
Let b(d) = 3*d**2 + 2*d + 1. Let o(v) = v - 9. Let s be o(7). Let h be b(s). Suppose 0 = -8*u + h*u - 4. Is 2 a factor of u?
True
Suppose -w = 4*c - 8, 4*c + 0*c + 3*w = 0. Suppose 5*l - 80 = -2*v, -3*v - 48 = -l - 2*l. Suppose -c*n - l = -46. Does 7 divide n?
False
Suppose -5*j + 4 = 14. Let m be ((-258)/9)/(j/9). Suppose 5*t + 24 = m. Is 21 a factor of t?
True
Let v(l) = -12*l - 14. Let w be v(16). Let s = -38 - w. Suppose 3*b = -b + s. Is 13 a factor of b?
False
Let z(f) = -f**2 + f - 3. Let y(x) = 3*x**2 - x + 5. Let b(d) = 2*y(d) + 5*z(d). Let q(m) = m**3 - 3*m + 2. Let h be q(2). Is 8 a factor of b(h)?
False
Let w(g) = -25*g + 281. Is 7 a factor of w(-19)?
True
Suppose 0 = -24*a + 20*a + 3036. Does 8 divide a?
False
Let l(o) = -o**2 + 49*o + 58. Let j be l(25). Let n = j - 413. Is n a multiple of 35?
True
Suppose 2*t - 144 = -5*u + 16, 4*u = 5*t - 400. Does 10 divide t?
True
Suppose 0 = n - 0*n - 5*x, 3*n - 3*x = 0. Suppose 4*f = -5*z + 15, 0 = z + 4*f - n*f - 3. Suppose -z*b + 76 = -8. Does 4 divide b?
True
Is 6 a factor of 111/(-185) - (-4812)/20?
True
Suppose d + 4 + 10 = x, 3*d - 34 = -x. Let a = 47 - x. Is a a multiple of 7?
True
Let h(c) = 6*c**3 + c**2 - 2*c + 5. Suppose -7 = -11*l + 26. Does 17 divide h(l)?
True
Let m(p) be the second derivative of -p**6/180 + p**5/24 + p**4/3 + 8*p. Let g(q) be the third derivative of m(q). Does 7 divide g(-3)?
False
Let j = 641 - 411. Is 5 a factor of j?
True
Let x(o) = -87*o**3 - 2*o**2 - 3*o + 85*o**3 + 17*o - 4*o**2 + 8. Does 26 divide x(-6)?
False
Let f(i) = -i**3 - 6*i**2 + 6*i - 5. Let q be f(-7). Let m(b) = -4*b - b - b - 6 - q*b**3 - 9*b**2 - 5*b. Is m(-5) a multiple of 12?
False
Let l(i) = 4*i**2 + 2*i - 6. Let b be l(-4). Let t = -5 + 9. Suppose 46 = t*p - b. Is 8 a factor of p?
True
Let w = 32 - -8. Let u = -30 + w. Suppose u*p = 6*p + 92. Is p a multiple of 23?
True
Let s be (-108)/(-14)*(-98)/(-21). Let r = 74 - s. Is 5 a factor of r?
False
Suppose -2*a = -12 + 4, 0 = -c + 2*a + 20. Suppose -i = -c - 9. Is 6 a factor of i?
False
Let u = -12 - -27. Let d be (-4)/((-36)/u)*3. Suppose -3*m + d*r = m - 20, 0 = -5*m + 5*r + 30. Is 8 a factor of m?
False
Is 26 a factor of (-1)/14 + 15302/196?
True
Suppose -7*k + 20689 = 830. Does 24 divide k?
False
Suppose 0 = -v - 4*r + 943, 12*v + r + 4799 = 17*v. Is v a multiple of 5?
False
Is (109 - 168)/(1/(-24)) a multiple of 12?
True
Let t = 1483 + -743. Is t a multiple of 25?
False
Let s(c) = -52*c**3 + c**2 - c - 1. Let l(g) = g + 15. Let v(x) = -2*x - 31. Let i(f) = -9*l(f) - 4*v(f). Let k be i(-10). Is s(k) a multiple of 12?
False
Let c = -215 - -304. Is 5 a factor of c?
False
Does 5 divide (5/(-15))/((64/(-3960))/8)?
True
Suppose 0 = -7*q + 11*q - 104. Suppose -1 = -n + c + 5, -5*c = 3*n - q. Suppose -11*k + 64 = -n*k. Is 8 a factor of k?
True
Suppose -4*t + 5*f + 170 + 512 = 0, 0 = -2*t + 4*f + 344. Is 24 a factor of t?
True
Let n be 1 - (3 + 1 + -3). Let r be 1*(-3 + n + 5). Suppose 75 = r*b + 3*b. Is 5 a factor of b?
True
Suppose -149 = 4*a + 3. Let u = -12 - a. Suppose -u = -2*h - 8. Is 5 a factor of h?
False
Suppose -2*o + 487 = -305. Does 33 divide o?
True
Let d(t) = -9*t - 44. Let v be d(-7). Suppose -5*b - 5*o = 20, 5*b - 11 - 1 = 3*o. Suppose i + 2 - v = b. Is i a multiple of 10?
False
Let a = 16 - -12. Let m = -26 + a. Suppose -m*g + 198 = g. Is 11 a factor of g?
True
Let d = 203 + 15. Is d a multiple of 17?
False
Let i = 1175 - 1145. Is i a multiple of 30?
True
Let c be (27/18)/((-6)/(-8)). Suppose c*b - 5*r + 5 - 30 = 0, -b - r = 5. Suppose 2*p - 10 = b, 3*p - 19 = 3*w - 139. Is w a multiple of 10?
False
Let f(s) = s**3 - 7*s**2 + 6*s - 14. Let j be f(6). Let q = j - -24. Is q a multiple of 2?
True
Let h = -673 - -953. Is h a multiple of 35?
True
Suppose 2*c + 0*j + 356 = j, 5*c - j = -896. Let v be ((-9)/6)/(2/c). Suppose 10*r = 5*r + v. Is r a multiple of 9?
True
Let r(g) = g + 4 - 6 - 3*g + g**2 - 8. Is 4 a factor of r(6)?
False
Let z(a) = -a**3 + 4*a**2 + 2*a - 2. Let h be z(4). Suppose m + 10 = h*m. Suppose m*q = -2*q + 120. Does 15 divide q?
True
Suppose -3*f - 3*v = -18, -f + 2*f - 4*v - 6 = 0. Suppose 180 = f*b - b. Does 18 divide b?
True
Let d = 353 + -130. Does 11 divide d?
False
Let w be (25/(-15))/((-1)/(-57)). Let n = 18 - w. Is n a multiple of 16?
False
Let p be (-2)/(48/30 + 4/(-2)). Suppose 2*q - 383 = -2*h + p*q, -4*q = -12. Is 14 a factor of h?
True
Let l(z) = 15*z**2 + 4*z - 144. Is 53 a factor of l(-12)?
False
Let j be (-3)/(-2)*32/24. Suppose -3*n + 0*n + 129 = -5*r, -2*r = -2*n + 54. Is 4/r*-111*j a multiple of 21?
False
Suppose -4*d - 2 = -5*d. Let s(k) = k**2 - 6*k - 3. Let p be s(7). Suppose -2*t + 4*m = -106, p*t - d*t + 3*m = 92. Is t a multiple of 13?
False
Let v(u) = 38*u + 462. Is 6 a factor of v(-9)?
True
Does 34 divide (0 + -1)/((-4)/2404) + 2?
False
Suppose 4 = -2*m - 202. Let w(y) = 9*y + 62. Let q be w(-29). Let f = m - q. Is f a multiple of 16?
True
Let a(d) = d**2 + 10*d + 16. Let k be a(-12). Suppose 0 = 4*x - 0*y - 2*y - k, y + 2 = 0. Is x a multiple of 9?
True
Suppose -4348 = -4*w + 7*b, 0 = -2*w + 5*b - 2*b + 2174. Does 107 divide w?
False
Suppose -151 - 381 = 5*s - m, -s + 5*m - 116 = 0. Let r = s + 152. Is r a multiple of 46?
True
Suppose a - 3*f - 20 = 0, 4*a + f - 19 + 4 = 0. Does 9 divide 153/a - (-6)/(-10)?
False
Suppose -9*s + 8*s - 4*g + 188 = 0, 0 = -5*s - 2*g + 904. Is 18 a factor of s?
True
Let i be (592/(-24))/((-3)/(-45) + 0). Let q = i + 662. Is 30 a factor of q?
False
Suppose 0 = -0*b + 8*b - 16. Suppose 0 = 2*d + 4*f - 54, -b*d - d = f - 66. Is 11 a factor of d?
False
Is 4 a factor of 66/(-4)*-60*60/135?
True
Suppose 3*g - 1 = -5*p + p, -2*g + 4*p = -14. Suppose -j + g*s + 6 = -1, -2*j + 17 = -5*s. Does 2 divide j?
True
Let v = -2992 - -6312. Is 83 a factor of v?
True
Let o(d) = -d**3 - 8*d**2 - 14*d - 26. Does 7 divide o(-10)?
False
Suppose 0 = 5*h - 5*g - 1340, -3*g + 1187 = 5*h - 145. Is h a multiple of 15?
False
Let m = 164 - -183. Is 52 a factor of m?
False
Let m = 404 - 302. Does 34 divide m?
True
Let k = 12 + -10. Suppose -k*z - z = -336. Does 16 divide z?
True
Let h be (8/(-6) - (-32)/24)*1. Suppose h = -5*o + 37 + 8. Does 3 divide o?
True
Let f(z) = -2*z**3 - 13*z**2 - 49*z - 17. Is f(-9) a multiple of 100?
False
Let g(z) be the first derivative of -z**4/4 - z**3 + z**2 - z + 4. Let p be g(-4). Is 3 a factor of p/(21/30) + 3?
False
Let v = 1358 + -608. Does 19 divide v?
False
Suppose 2*g - 3 = 3. Suppose 26 = 3*c - 4*s, s = g*c - c - 14. Is c/(-21) - 247/(-7) a multiple of 30?
False
Let n(w) = 37*w - 21. Let p(j) = -19*j + 10. Let g(z) = -6*n(z) - 13*p(z). Suppose 0*c - 1 = -3*c - 4*d, 3*c + 2*