f 8?
True
Let s(y) = y**3 + y**2 + 2*y + 7. Let m be s(-3). Let a(n) = 3*n**2 + 7. Let c be a(-5). Let w = c - m. Does 33 divide w?
True
Suppose 3*b = d - 394, 0*d + 3*b - 376 = -d. Is 35 a factor of d?
True
Suppose 2150 - 710 = 5*c. Is 16 a factor of c?
True
Let k = 1968 + -684. Is 20 a factor of k?
False
Suppose -z = 5*z - 2790. Is 28 a factor of z?
False
Does 9 divide (1260/(-25))/((-5)/25)?
True
Suppose 2*c - 5*t + 2*t + 6 = 0, 3*c + t - 13 = 0. Suppose 0*b - 189 = -3*w - 4*b, c*w + 5*b - 189 = 0. Is 21 a factor of w?
True
Suppose -40 = 4*g - 2*i + 36, -2*i + 58 = -3*g. Is (48/g)/((-2)/126) a multiple of 12?
True
Let u = -58 - -101. Let g = u - 27. Does 8 divide g?
True
Let y(s) = 6*s**2 - 49*s + 3. Is y(10) a multiple of 16?
False
Let i(m) = m**3 - 43*m**2 + 12*m - 155. Is i(43) a multiple of 12?
False
Let f be (-5088)/102 + 4/(-34) + -3. Let p = -5 - f. Does 24 divide p?
True
Let n(s) be the third derivative of s**5/20 - 7*s**4/24 + 5*s**3/6 - 17*s**2. Does 8 divide n(5)?
False
Suppose 4*a + 12 = i, -a - 4*i = -5*a - 12. Let s = 15 - 18. Is 18 - (-3)/a - s a multiple of 13?
False
Let r(q) = 10*q**2 - 9*q + 7. Does 37 divide r(11)?
False
Let b be (2 - 4) + 5 + 2 + -1. Suppose 3*s = 4*c + 586, 4*s + b*c - 2*c = 796. Is 18 a factor of s?
True
Let t = 630 - 390. Is t a multiple of 20?
True
Let p(s) = -s**3 + 14*s**2 - s + 18. Let n be p(14). Suppose -n*m = m - 10. Is (-222)/(-12) + 1/m a multiple of 11?
False
Let m(q) = q**2 - 5*q - 30. Let k be m(9). Suppose -k*p - 3*c = -p - 68, 0 = -p - 4*c + 17. Is 2 a factor of p?
False
Does 22 divide (474 - 138)*(21/(-2))/(-3)?
False
Suppose 4*k = -4*u - 48, 2*k - 25 - 15 = 2*u. Suppose 3*p = 11*p - 440. Let a = u + p. Is a a multiple of 9?
False
Is 5 a factor of (44/(-10))/(34/(-425))?
True
Let o(x) = -18*x - 4 + 3*x**3 + 17*x + 0*x**3. Is 18 a factor of o(2)?
True
Let f = 62 - 23. Suppose 159 - f = 5*m. Suppose -3*a + m = -30. Does 6 divide a?
True
Let u = -11 + 54. Let a = u + -29. Suppose -q = -2 - a. Is 16 a factor of q?
True
Suppose 3*y = 4*y + 42. Let h = -60 + 32. Is (h/y)/(2/51) a multiple of 4?
False
Let w(b) = b + 14. Let g be w(-11). Suppose g*h + 9 = 6*h. Suppose x - 56 = -h*r, -x + 6*x - 4*r = 185. Is x a multiple of 21?
False
Suppose -5*c + 25 = i, 4*i + 54*c - 55*c - 121 = 0. Is i even?
True
Let r = 37 - -10. Is 11 a factor of r - 12/(-8)*-2?
True
Let c = -48 - -112. Is c a multiple of 5?
False
Suppose 29*u = -37*u + 41052. Does 7 divide u?
False
Suppose -6*z = -18*z + 1536. Is z a multiple of 6?
False
Let v be (-14)/(-3) + 20/(-30). Suppose 2*j - v*j = -12. Does 6 divide (-4)/j*(-102)/4?
False
Let p(x) = 9*x**2 + 71*x - 2. Is 26 a factor of p(-13)?
False
Let z = 48 - 32. Let l(h) = h**3 - 17*h**2 + 17*h + 21. Is 15 a factor of l(z)?
False
Let q = -87 - -111. Is 3 a factor of q?
True
Suppose -12*t + 615 = -10*t - 5*j, -3*t + 935 = -5*j. Is t a multiple of 10?
True
Suppose -6*p = -12*p + 5616. Is p a multiple of 18?
True
Is 15840/385*(1 - -6) a multiple of 18?
True
Is (962/52)/(2/92) a multiple of 4?
False
Let j(k) be the first derivative of -k**4 - k**2/2 - k + 3. Let s be j(-1). Is 14 a factor of (-777)/(-28) + 1/s?
True
Suppose 0 = -7*p + 21*p - 1232. Does 4 divide p?
True
Is (-15)/6*1*(-496)/10 a multiple of 12?
False
Let d(i) = 66*i**3 + i**2. Let t be (0 - -3) + (-8)/4. Does 10 divide d(t)?
False
Let m = -142 - -99. Let l be -85*5/((-25)/(-2)). Let w = l - m. Is 3 a factor of w?
True
Suppose 3*m + 2405 = 16*m. Is m a multiple of 16?
False
Let s(g) = -g**3 + 6*g**2 - 20. Let v be s(5). Suppose -v*m = 5*l - 425, -l + 0*m = -2*m - 82. Does 7 divide l?
True
Let g be (-2)/5 - (146/10 - 0). Let v = 87 - g. Is 7 a factor of v?
False
Let j = -122 + 482. Is j a multiple of 35?
False
Let i(h) = h**2 - 9*h + 9. Suppose 0 = -2*p + 4*p - 16. Let b be i(p). Is 34 - 4/2*b a multiple of 26?
False
Let a be (2/(-6))/((-2)/12). Let j be (-15)/(-2)*(-80)/(-15). Suppose -j = -a*f - 0*f. Is 11 a factor of f?
False
Let p = -82 + 98. Suppose 2*j = 36 + p. Is j a multiple of 6?
False
Let d = -18 - -27. Let r be (10 - d)*(2 - -1). Suppose -r*z + 62 = -2*t, 4 = -4*t - 0. Is z a multiple of 10?
True
Let g = -752 - -1321. Does 21 divide g?
False
Let b(k) = -k**2 + 17*k + 54. Is b(17) a multiple of 41?
False
Suppose 1388 + 1210 = 6*o. Does 40 divide o?
False
Suppose 540 = 3*w + 2*m - 4*m, 0 = 3*w - 5*m - 540. Does 15 divide w?
True
Suppose -b = 4*o - 486, 4*b = -5*o + b + 611. Is o a multiple of 8?
False
Let z = 1 - -5. Suppose -z*y + 2*y + 16 = 0. Suppose y*q - 2*q - 16 = 0. Is q a multiple of 2?
True
Suppose -24 = -6*x - 12. Suppose x*c + 7*c = 135. Is c a multiple of 2?
False
Let r(t) = -t**3 + 4*t**2 + 14*t + 1. Let v be r(-7). Suppose 3*c - 253 = 5*x, -5*x - 93 = 4*c - v. Is 43 a factor of c?
True
Let q = 1195 + -497. Is 4 a factor of q?
False
Let j(q) = 12*q**3 + 2*q**2 + 2*q + 1. Let k be j(-1). Let z(b) = 2*b**2 + 10*b + 6. Is z(k) a multiple of 23?
True
Suppose -2*d + 159 + 307 = 0. Suppose -3*i + m + 276 = 0, 3*i + 3*m - 55 = d. Does 8 divide i?
False
Suppose 859 = -3*r - 3*v + 12310, 2*v + 7646 = 2*r. Is 20 a factor of r?
True
Let h(i) = -i**3 + 13*i**2 + 12*i + 36. Is 5 a factor of h(14)?
False
Let g = 598 - 468. Is g a multiple of 9?
False
Is 1/((-14)/133 + (-2532)/(-23332)) a multiple of 8?
False
Let m(o) = 10 + 2*o**2 + 8*o + 0*o - o**2. Let g be m(-7). Suppose g*v + 68 = 2*t, 3*t - 5*t - 5*v + 100 = 0. Does 20 divide t?
True
Suppose 15*y - 11*y = 0. Suppose -5*p + 3*z + 118 = 0, y = 5*p + 3*z - 0*z - 112. Does 3 divide p?
False
Let x(v) = -v**3 + 6*v**2 - 7*v + 5. Let o be x(5). Is 2 a factor of (80/25 - 4)*o?
True
Let k = 7 - 1. Suppose -10*r - 92 = -k*r. Let l = -11 - r. Does 5 divide l?
False
Suppose 21764 = -0*k + 5*k - 4*d, 5 = -5*d. Does 13 divide k?
False
Let n = -552 - -1002. Suppose -3*t - 3*t + n = 0. Does 18 divide t?
False
Let s(v) = 49*v - 49. Let j = -112 + 117. Does 28 divide s(j)?
True
Let j(z) = -27*z. Suppose 3*d = -w - 15, w - 10 = -3*w + 2*d. Suppose 0 = q + 4*f - 2*f, -5*q - 3*f - 7 = w. Does 15 divide j(q)?
False
Suppose -2*a - 3 = f - a, -8 = -2*f + 5*a. Let u be (3 - 4 - -3) + f. Is (42*u)/((-9)/(-12)) a multiple of 7?
True
Is (-16)/(-7) + -2 + 2300/35 a multiple of 6?
True
Let d be (-6)/6 + (2 - 1 - -310). Suppose 3*c + d = 8*c. Does 31 divide c?
True
Is 16 a factor of (-11694)/(-14) - (-46)/(-161)?
False
Suppose 392 = 11*r - 3*r. Let n be (-2)/(-10) + 2214/30. Let f = n - r. Is 5 a factor of f?
True
Is 6/(-18)*-21 - -239 a multiple of 41?
True
Let x(a) = -219*a - 120. Does 34 divide x(-8)?
True
Suppose -3*n + 4*p + 220 = -162, 625 = 5*n + 5*p. Does 19 divide n?
False
Suppose 0 = 27*y - 71915 - 22396. Is y a multiple of 21?
False
Let l(n) = -n**3 + n**2 + 35. Let f be l(0). Suppose -2*p = -f - 37. Does 4 divide p?
True
Let k be 4*95 + (-4 - -7). Suppose 3*q + 35 - k = 0. Is q a multiple of 27?
False
Let r(b) be the second derivative of 1/2*b**2 + 0 + 1/6*b**3 + 5/3*b**4 - b. Does 5 divide r(-1)?
True
Let z(k) = 2*k**2 - 4*k + 2. Let n be z(-4). Is (6 + -9)*n/(-3) a multiple of 13?
False
Let k = 12 - 10. Suppose 0 = 5*l - 5*s + 4 + 6, -25 = -5*l - k*s. Suppose 5*t - 120 = l*t. Is t a multiple of 12?
True
Suppose -i + 7 = -5*p - 15, -2*p = -3*i + 14. Suppose -i*f + 448 = 5*f. Is f a multiple of 16?
True
Let s = 6071 - 4293. Is 42 a factor of s?
False
Let y be (325/10 + 2/(-8))*-4. Let o = 190 + y. Is o a multiple of 12?
False
Does 150 divide 120/96 + 717*(-5)/(-12)?
True
Suppose -10*t + 1328 = -9*t. Does 23 divide t?
False
Suppose -300 = -5*s + 145. Let t = -56 + s. Is 11 a factor of t?
True
Suppose 3*x + 2 - 17 = -3*y, 5 = y. Suppose 7*a - 153 - 1191 = x. Suppose -a = -4*k - 2*k. Is 8 a factor of k?
True
Let d be 340/(-14) + 22/77. Let s = 74 + d. Is 25 a factor of s?
True
Let b(v) = v**2 + 2*v + 2. Let r be b(-3). Suppose -15 = -5*x + r. Suppose 4*a + 48 = x*p, -3*p = a + a - 46. Does 14 divide p?
True
Let l be 8*3/6 + -1. Suppose 5*p - l + 13 = 0. Is ((-29)/(-2))/(p/(-4)) a multiple of 9?
False
Let b(y) = -y**3 - 20*y**2 - 21*y + 2. Let z(c) = c**2 + 27*c + 7. Let r be z(-26). Is b(r) a multiple of 4?
True
Let t = -601 - -1283. Is t a multiple of 48?
False
Let d = 295 - -280. Suppose -14*n + d = -9*n. Is 23 a factor of n?
True
Let n(x) be the first derivative of 11