- j. Does 5 divide b?
True
Suppose 66 = 4*u + 4*x - 14, -u + 29 = 4*x. Is 12 a factor of (-34)/u - (0 - 62)?
True
Let o be ((-18)/(-5) + 0)/(342/2280). Suppose o*d + 2687 = 10775. Does 3 divide d?
False
Let f = -4466 - -5751. Is 8 a factor of f?
False
Does 17 divide 2*16/96*11277?
False
Let y = -266 - -272. Suppose y*l = 9*l - 45. Is 2 a factor of l?
False
Is 11 a factor of 471310/74 + (-27)/(14985/30)?
True
Let d = -26 - -35. Suppose 4*o = d*o + 5*a - 345, o = -3*a + 67. Is 14 a factor of o?
True
Let o(p) = p**3 + 30*p**2 + 23*p - 8. Let b be o(-27). Is (-11)/2 - -6 - b/(-4) a multiple of 13?
True
Let i(n) = -n**3 - 20*n**2 - 13*n + 23. Let o = 276 + -296. Is 51 a factor of i(o)?
False
Let m(t) = -t**2 + 222*t - 5197. Does 20 divide m(33)?
True
Let q = 380 + -248. Let s = -100 + q. Does 32 divide s?
True
Suppose -q - 5*x + 13045 = -3797, 0 = q + x - 16850. Does 97 divide q?
False
Suppose j + 3752 = 3*r, -2*r + 3736 = r - 5*j. Suppose 11*d - r - 2180 = 0. Does 59 divide d?
False
Suppose b + 18 = -b - 4*v, 3*v = 5*b - 20. Suppose -3*u - 2*w + 151 = 0, -u + w = -68 + 21. Let x = u - b. Does 16 divide x?
True
Suppose -2*p + 5*q = -1241, 5 = 12*q - 11*q. Suppose 3*b - 2123 = -4*m - p, m - 4*b - 363 = 0. Is m a multiple of 40?
False
Let q be 4/8 + 10/4 + 73. Suppose -6*m = -254 - q. Suppose 0 = -2*w + 55 + m. Is 10 a factor of w?
False
Let s = -564 - -565. Is (0 + 14)*((-65)/(-10))/s a multiple of 13?
True
Let u = 62 - 56. Let h(d) = 37*d - 150. Is h(u) a multiple of 12?
True
Suppose 83 = -2*h + 521. Let n(l) = -13*l + 7. Let j be n(-8). Let d = h - j. Is 15 a factor of d?
False
Let m(k) = k**2 - 7. Let n be m(-3). Suppose -n*j - 470 + 148 = 0. Let t = 282 + j. Is t a multiple of 12?
False
Suppose 0 = 12*u - 17*u + 15. Does 51 divide -17*(-3 + 1)*u*1?
True
Let z(o) = -2*o**2 - 19*o - 20. Let v be z(-9). Let i = -2 - v. Suppose 1964 + 637 = i*x. Is x a multiple of 51?
False
Suppose -183*c + 637*c - 7499952 = -194*c. Is 3 a factor of c?
True
Let b(a) be the first derivative of 3*a**4/4 + 11*a**3/3 + 7*a**2 - 32*a - 81. Does 8 divide b(6)?
True
Suppose -x - 1 + 3 = 0. Suppose t = 6*t - x*t. Suppose 3*f - 2*f - 108 = t. Is 12 a factor of f?
True
Suppose -14*q - 10*q = 60*q + 6552. Suppose 3*s + 2 = -34. Let i = s - q. Is i a multiple of 11?
True
Does 73 divide 179908/(-123)*(8 + -20)?
False
Suppose -47*a - 17*a + 345093 = -73531. Is 53 a factor of a?
False
Let h = -308 - -311. Suppose 2*l = -h*l + 240. Does 4 divide l?
True
Does 11 divide ((-6)/5)/(76936/76960 + -1)?
False
Let s(l) = 40*l + 12. Let a be s(3). Let c = a + -66. Is 12 a factor of c?
False
Suppose -43*w + 705008 = -58*w + 154*w. Does 233 divide w?
False
Suppose -x + 263 = -70. Suppose -5*v - 3*p + 411 = 0, 4*v - 2*p = -3*p + x. Is 8 a factor of v?
False
Let a(h) = -286*h**3 - 4*h**2 - 5*h + 52. Does 8 divide a(-3)?
False
Let r be 12*(57/4 - (-3)/(-3)). Suppose v - 4*i - 63 = i, r = 3*v - 5*i. Suppose -4*n - v = -156. Does 14 divide n?
False
Suppose -2*r + 1 + 29 = 0. Suppose 0 = 5*a - 40 + r. Suppose 4*n - 3*j - 175 = 3*n, j = a*n - 931. Is n a multiple of 17?
True
Let p = 1059 - 555. Suppose -n = 4*c + 120, -5*n = -0*n - 4*c + p. Let o = n - -217. Is o a multiple of 38?
False
Suppose -17*h + 44*h = 351. Suppose 4*k - 3*y = 355, 10*y = k + h*y - 85. Is 9 a factor of k?
False
Suppose -11*p - s + 13606 = -3*p, 0 = -4*p + s + 6794. Does 85 divide p?
True
Suppose n + 2*d = 1407, d - 3*d - 10 = 0. Does 20 divide n*(6 - 5) - 2*-2?
False
Let a = 10419 - -17388. Is 69 a factor of a?
True
Suppose 39*t - 30*t = 18. Suppose 451 + 699 = t*o. Is o a multiple of 25?
True
Let i = 448 + -415. Let u(p) = -p**3 + 35*p**2 - 61*p + 88. Is u(i) a multiple of 13?
False
Let w(f) = f - 14. Let q be w(18). Suppose -x - 128 = x + q*y, -4*x = -y + 301. Let b = -30 - x. Is 8 a factor of b?
False
Let r(k) = 3*k + 32. Suppose 3*w = -4*b - 61, -4*b + 2*b + 2*w - 34 = 0. Let s be r(b). Let l = 35 - s. Does 13 divide l?
False
Let y(l) = 2*l**2 + 17*l + 74. Let x(w) = w**3 + w**2 - 2*w - 6. Let z be x(0). Is y(z) a multiple of 8?
False
Suppose -5*v + 1519 = 2*h, -4*v = -6*h + 2*h - 1232. Let m = v - 283. Does 2 divide m?
True
Let f be (-15)/(-9)*66/55. Suppose 5*z - 5 = 0, -24*s = -22*s - f*z - 1586. Does 60 divide s?
False
Suppose 3*s - 18466 = s - 0*s. Does 128 divide s?
False
Let b = 49 + -160. Let l = 111 + b. Suppose -h + 193 - 33 = l. Is 10 a factor of h?
True
Suppose 11*c - 28400 = -8688. Does 28 divide c?
True
Suppose 3*o + 3 = 0, -2 = -3*x - 3*o - o. Suppose x*v + 5*s = 1863, -5*v + 4428 = 2*s - 198. Does 77 divide v?
True
Let n(r) be the first derivative of 22*r**3/3 - 9*r**2/2 + 50*r - 332. Is n(9) a multiple of 17?
True
Suppose 2*b = -5*w - 34, 5*b - 47 = -4*w + 8*w. Let h(p) be the first derivative of -p**4/4 - 4*p**3/3 + 15*p**2/2 + 12*p - 1. Is h(w) a multiple of 14?
False
Let x(g) = 30*g**2 + 1438*g - 68. Is x(-64) a multiple of 20?
True
Let w = 64 + -31. Suppose -w*y = -29*y - 68. Is y a multiple of 16?
False
Is (-22 - 3390/12)/(1/(-18)) a multiple of 7?
True
Let l(n) = n**3 + 49*n**2 + 483*n + 50. Is 26 a factor of l(-28)?
True
Let b(f) = f**3 + 59*f**2 - 411*f + 171. Does 32 divide b(-64)?
False
Suppose 6*z = 2*w + 9*z - 3367, -8435 = -5*w - 4*z. Does 19 divide w?
True
Suppose 46*y - 8565 = -3*z + 41*y, 0 = -4*z - y + 11420. Does 5 divide z?
True
Suppose -284*w + 94132 + 95012 = 0. Does 6 divide w?
True
Let s = -470 + 3782. Suppose s - 666 = 6*u. Is u a multiple of 28?
False
Let d(n) = -3*n + 1. Let x be d(-5). Let q be ((-2)/4)/((-1)/x). Does 6 divide (-108)/(-24)*q/6?
True
Let m(l) be the first derivative of -56*l**2 + 186*l - 121. Is m(-12) a multiple of 17?
True
Let d(z) = -25*z**3 + z**2 - 2*z - 13. Let b be d(-3). Let t = b + -312. Is t a multiple of 16?
False
Let i = -5051 - -12531. Does 34 divide i?
True
Let d = 3587 + 277. Is 24 a factor of d?
True
Suppose -780*r = -713*r - 268804. Does 17 divide r?
True
Let a(y) be the second derivative of -3/2*y**2 + 1/10*y**5 - 40*y + 1/4*y**4 - 1/3*y**3 + 0. Is 25 a factor of a(4)?
False
Let z(i) be the second derivative of i**4/12 + 4*i**2 + 8*i. Let c be z(-14). Let k = -35 + c. Is k a multiple of 39?
False
Let p = 323 + 42. Is p a multiple of 5?
True
Let s(g) = -g**2 - 45*g + 231. Does 2 divide s(-42)?
False
Is 12*4855 + -3 + 98/7 + -17 a multiple of 114?
True
Let v(o) = o + 282. Suppose 0 = -26*p + 46 + 1072. Is v(p) a multiple of 6?
False
Suppose 2*t = -r - 27 + 141, -5*t - 107 = -r. Let z(g) = -6*g - 6. Let s be z(-1). Suppose -8*n + 4*o = -3*n - r, 3*n + 2*o - 76 = s. Does 8 divide n?
True
Let i(m) be the first derivative of -15*m**2/2 + 10*m + 13. Suppose 3*d = 5*f - 50, 2*d = f - 4*f - 8. Does 16 divide i(d)?
True
Suppose 15*q - 44*q + 158585 = 6*q. Is q a multiple of 197?
True
Suppose 86*s - 47*s - 104520 = 0. Does 40 divide s?
True
Let w = -422 + 239. Let c = 170 - w. Let x = 518 - c. Is x a multiple of 15?
True
Suppose -2*o = -5*m + 10*m - 3268, 0 = -3*o - 2*m + 4902. Is 19 a factor of o?
True
Let f(p) be the second derivative of p**4/12 - 4*p**3/3 + 2*p**2 + 69*p. Let t(q) = q**2 + 2*q + 2. Let b be t(-4). Does 8 divide f(b)?
True
Let y(f) = -f**3 + 19*f**2 + 20*f - 4. Let h be y(20). Let b be 24/(-4) - h - -246. Suppose 4*u - b = 44. Does 18 divide u?
True
Suppose -10 = 7*y - 3. Let j(x) = 677*x**2 + 4*x + 5. Is 29 a factor of j(y)?
False
Let w(y) = -y**2 + y + 10. Let n be w(-4). Is 3 a factor of n*(0 + -5) + 0 + 1?
True
Let q(y) = -5*y**2 - 16*y + 86. Let t(o) = 8*o**2 + 30*o - 173. Let v(s) = -5*q(s) - 3*t(s). Is 9 a factor of v(9)?
False
Let z(p) = -3*p**3 + 6 - 27*p + 11*p**3 - 29*p**2 + 0*p**3 - 9*p**3 + 14*p**2. Is 5 a factor of z(-13)?
False
Let z = -10384 + 10935. Is 19 a factor of z?
True
Suppose -k = b - 10 - 0, 4*b + 38 = 2*k. Suppose s - 113 = -14*a + k*a, -2*a + 568 = 5*s. Is 6 a factor of s?
True
Let p = -1692 - -7295. Is 3 a factor of p?
False
Let u = -16140 + 16434. Is u a multiple of 39?
False
Let k be 4 + -2 - (-2 - 1). Let l(y) be the third derivative of -y**6/120 + 2*y**5/15 - 3*y**4/8 + 2*y**3/3 - 619*y**2 - 2*y - 2. Is l(k) a multiple of 3?
False
Let i = 8951 + -7804. Does 31 divide i?
True
Suppose 0 = -3*s + 2*s + 3*n + 4727, -5*s + n + 23663 = 0. Is 9 a factor of s?
False
Is 59 a factor of (225 - 81)*47/2?
False
Le