 - l. Does 6 divide d?
False
Suppose -f - 10083 = -5*b - 3760, -5*b + 3*f + 6329 = 0. Does 85 divide b?
False
Let u(s) = -20 + 19*s - 36*s + 19*s. Let p be u(11). Does 21 divide 9/(-18)*(-1 - 70)*p?
False
Let g(p) = -85*p + 17. Let r be g(-11). Suppose -13*c + 569 = -r. Does 57 divide -3 + (-8)/((-8)/c)?
True
Suppose 4*z = -4*h + 1 + 7, 4*h - 24 = 4*z. Suppose -h*l - 5*m = -95, -4*l - 47 = -4*m - 187. Suppose l - 112 = -2*i. Is 7 a factor of i?
False
Let y = 234 + -222. Does 5 divide (y/8)/((-18)/(-300))?
True
Suppose -212*o + 869*o = -55*o + 6934880. Does 5 divide o?
True
Suppose -4*y + 48 = 4. Suppose m - 100 = 5*w, 3*m + 6*w = y*w + 340. Is m a multiple of 2?
True
Let v = -47 - -51. Suppose 0*k = v*k - 4. Suppose 16 = 2*o + 2*f, k = 2*f + 5. Is 5 a factor of o?
True
Let v be ((-36)/6)/(10/15). Is 5 a factor of ((-135)/v + -1)/(6/33)?
False
Let m(g) = -7*g + 361. Let f be m(0). Suppose 4*z - 4*y = y + f, 3*z - 285 = -y. Does 6 divide z?
False
Let m = -23700 - -28527. Is m a multiple of 18?
False
Let h = -5272 + 8064. Does 50 divide h?
False
Let r(j) = 18*j**2 + 3*j + 3772. Is 164 a factor of r(0)?
True
Suppose 0 = -64*i + 73*i - 90540. Suppose 2031 - i = -31*s. Does 37 divide s?
True
Suppose 7*j - 9 = -3*u + 4*j, 3*u - 3*j = 39. Suppose -u*s + 3 = -7*s. Does 13 divide (658 - s)/5 - 1?
True
Let b(r) = 27*r**3 - 4*r**2 - 33*r + 28. Does 42 divide b(7)?
True
Suppose q - 106 = -5*o, -37*q + 38*q - 5*o = 76. Let r = 771 + q. Does 7 divide r?
False
Let t(c) = 4*c + 65. Let p be t(-19). Suppose -2*y - 210 = -5*z, -3*y - 2*z = -0*z + 334. Let b = p - y. Is b a multiple of 14?
False
Let d(i) = 16*i**2 + 7*i - 498. Is d(-24) a multiple of 57?
True
Suppose 0 = 2*k - 6, 3134 = 2*v - 3*v + 5*k. Let g = v - -4685. Is 60 a factor of g?
False
Is (-8)/(-7*10/49980) a multiple of 112?
True
Suppose -140*u - 6 = -142*u. Suppose 2*j = u*d + 168, -3*j - 73 + 323 = -5*d. Does 30 divide j?
True
Let x(j) = j**3 - 10*j**2 + 18*j - 2. Let u be x(8). Suppose 3*o + 2*c = o + 258, -5*o + 690 = -4*c. Suppose 0 = -u*i + 16*i - o. Is i a multiple of 19?
False
Let p = 22663 - 13711. Is 120 a factor of p?
False
Suppose -65*t - 62751 = -3*a - 64*t, -41862 = -2*a - 4*t. Is 12 a factor of a?
False
Suppose 0*q - 6 = z - q, -3*z = 5*q + 58. Is 25 a factor of -250*((-145)/110 + 2/z)?
True
Let k be ((-16)/(-6))/4 + 100/75. Suppose -4*r + 3*r = g - 291, 3*g = k*r - 587. Is 14 a factor of r?
False
Suppose 0 = 4*i + 3*d - 7689, -168 = i - 4*d - 2076. Suppose 201*g - 191*g - i = 0. Does 19 divide g?
False
Is (27335/142)/((-1)/60*(-3 + 1)) a multiple of 231?
True
Suppose -4*h + 2*k = -7618, -5*k - 31 + 26 = 0. Is 28 a factor of h?
True
Let i(p) = 2*p**2 - 28*p + 70. Suppose -2*y = u - 36, 7*y - 52 = 5*y + 3*u. Is 19 a factor of i(y)?
False
Let q(h) = -2*h + 2044. Is 20 a factor of q(-50)?
False
Let s(h) = h**2 - 61*h - 454. Let w be s(69). Let l = 6 - 2. Suppose -2*r - 4*p = -8 - w, -l*p = 8. Is r a multiple of 4?
False
Let j = -167 - -781. Suppose -o + j = 2*o - 2*i, -3*i = 12. Is o a multiple of 6?
False
Suppose 4*l + 216972 = 46*l. Is l a multiple of 110?
False
Suppose 0 = -9*g + 75 + 222. Suppose 25*z + g = 28*z. Does 2 divide z?
False
Let a(i) = -i**2 + 18*i - 24. Let l be a(17). Let b(j) = j**2 + 3*j - 23. Let y be b(l). Suppose y*d + 2*n = 694, 2*d - 35 - 248 = n. Is d a multiple of 25?
False
Suppose 3*y - m - 1078 = 0, 19*y = 14*y - 3*m + 1806. Let w(l) = 103*l**2 + 2*l - 1. Let x be w(1). Suppose -x*r = -106*r + y. Does 45 divide r?
True
Let y(s) = s**3 + s + 17. Let h be y(0). Suppose 0 = 3*i - 2*t - h, 4*t + 10 = -i - 3. Suppose 5*u = i*j - 394, 3*j + 0*j - 4*u = 389. Does 24 divide j?
False
Let d(w) = 3*w**2 - 5*w. Let x be d(2). Suppose x*n = 2*j + 84, -5*n + j + 213 = -j. Let c = 34 + n. Is 11 a factor of c?
True
Let g be 4/(-5) - 47056/80. Let a = g - -610. Does 2 divide a?
False
Let o = -28 + 48. Suppose -80 = -5*x + o. Does 4 divide x?
True
Suppose 3*n = -2*r + 2896, -r + 10*n = 12*n - 1450. Is 3 a factor of r?
False
Let d = 2947 - -2009. Is 21 a factor of d?
True
Let w(g) = g**2 - 15*g + 47. Let c(h) = 3*h**2 - 31*h + 96. Let a(r) = 3*c(r) - 7*w(r). Is 23 a factor of a(-18)?
True
Let x(q) = -1782*q + 1546. Does 72 divide x(-4)?
False
Let y(i) = -i**2 - 18*i + 22. Let k be y(0). Suppose -o + 6 = -k. Is o a multiple of 3?
False
Is 83 a factor of (4/(8/(-498)))/(78/42 - 2)?
True
Let f = -389 + 392. Is 17024/35 + f/5 a multiple of 26?
False
Let l = -1353 + 1951. Suppose 0 = -3*w + 4*k - 2*k + l, -8 = -2*k. Suppose -w = -4*d - d - 2*r, 4*r - 68 = -2*d. Is d a multiple of 7?
True
Does 14 divide 1243/(-565) + 112/10 - -4603?
False
Let p be 8/(-5*(-2)/20). Suppose -p - 16 = 2*t. Is (10 - t)/((-4)/(-18)) a multiple of 13?
True
Let t(q) = 3650*q**3 + 13*q - 28. Is 263 a factor of t(2)?
False
Is 13 a factor of (-14 + (-62208)/60)*-5?
False
Let u(v) = 10*v**3 - 22*v**2 + 5*v - 10. Is 8 a factor of u(10)?
True
Is 15 a factor of (-5)/(((-75)/40005)/5)?
True
Let l = 25 - -113. Suppose 120 = -w + l. Is 9 a factor of w?
True
Suppose -1289 + 499 = 5*k. Suppose -161892 + 40380 = -488*q. Let g = q + k. Is g a multiple of 13?
True
Suppose 0*q = q - 1. Let y(i) = -i**3 + 13*i**2 + 6*i - 14. Let w(r) = -r**2 - r + 1. Let a(s) = q*y(s) + 6*w(s). Does 21 divide a(5)?
True
Does 96 divide (-6*2)/(-8 - 228446/(-28560))?
True
Let x(q) = 14*q**2 - 12*q - 2. Let w be (-3 + 0)/(1/(-16)*6). Is 57 a factor of x(w)?
True
Let f(d) = d**2 - 16*d + 3. Let n be f(16). Let p be (-1 + -2 + n)*-1. Suppose p = -9*c + 30 + 42. Does 4 divide c?
True
Let v be ((-8082)/18)/((-2)/6). Suppose -122 = 5*a - v. Is 11 a factor of a?
False
Let g(d) = -d**3 + 38*d**2 - 13*d + 64. Is 8 a factor of g(9)?
True
Let b be (3 - -1 - -459) + 0 + -1. Let g = -220 + b. Suppose -g = -4*v - 78. Is v a multiple of 10?
False
Let h(g) = 5*g**2 + 4*g + 17. Let o be 448/(-48) + (-1)/(-3). Is h(o) a multiple of 22?
False
Suppose 3*c - 4*j = 1953 + 2719, -3*c + 4665 = 3*j. Suppose 30*u - c = 4654. Does 21 divide u?
False
Suppose 0 = -3*a - 2*k + 909, 2*k = 3*a + k - 909. Does 5 divide a?
False
Let h be (6 - 2)/(10*(-10)/(-125)). Is 36 a factor of (642/6)/(1/h)?
False
Let k = 79 + -76. Let w be ((-1)/k)/((-10)/(-30)). Is 13 a factor of 4 + -4 + w + 66?
True
Let i = -4340 + 5374. Is i even?
True
Let g(m) = -80*m + 4. Let z(j) = -159*j + 8. Let l(i) = 5*g(i) - 2*z(i). Let f be l(2). Let y = f + 260. Is y a multiple of 22?
False
Let f = 35 + -26. Suppose -f*p + 8*p = -2. Suppose -p*r + 0*r + 96 = 0. Is 6 a factor of r?
True
Let s(f) be the first derivative of 7*f**4/4 + f**3/3 - 3*f**2/2 + 5*f + 60. Is s(2) even?
False
Let t = -971 + 1224. Is t a multiple of 20?
False
Suppose -5947 = -11*d - 3*l, -2*l = -7*l + 30. Is 22 a factor of d?
False
Suppose -5*z + 2643 = -277. Let l = 1134 - 1498. Let v = z + l. Does 55 divide v?
True
Let y = -218 + 222. Is 1002 + -3*y/4 a multiple of 37?
True
Let u be (23 - 22)/(2/(-514)). Let y = -385 - u. Is y*(-2 + 0 + (-14 - -15)) a multiple of 16?
True
Let b(c) = -c**2 - 27*c + 194. Let n be b(7). Suppose -p - 116 = -35. Let u = n - p. Is 12 a factor of u?
False
Suppose 24 = -f + 3*d, 0 = -0*f - 3*f + d - 48. Let b(k) = -k**2 - 28*k + 13. Let s be b(f). Does 14 divide 9/27*(s + -1)?
False
Let d = -235 - -460. Suppose -125*y + d = -110*y. Does 3 divide y?
True
Is ((-3020)/(-906))/(2/3945) a multiple of 25?
True
Let l be (-70 - -67) + 1 + 6. Suppose l*s - 804 = -2*s. Is s a multiple of 18?
False
Suppose -6*b + 13680 + 792 = 0. Is b a multiple of 67?
True
Suppose 6*n = -0*n - 2892. Let z = -373 - n. Is z even?
False
Let k be ((-3495)/30 - -16)*4/6. Is 7 a factor of (-1 - -198) + k/67?
True
Does 57 divide (-380752)/(-20) + -18*15/(-675)?
True
Let i(j) = 947*j**2 + 2*j + 2. Let p be i(-1). Let x = p - 635. Is 24 a factor of x?
True
Let y = -2230 + 3926. Does 53 divide y?
True
Let n = 7217 + -4990. Does 4 divide n?
False
Let a(f) = -f**3 + 22*f**2 + 81*f - 39. Is 10 a factor of a(24)?
False
Let j(q) = 685*q - 280. Let f be j(8). Is (30/(-16)*-2)/(52/f) a multiple of 5?
True
Let q(u) = -73*u - 11. Let z be q(-6). Suppose 0 = -2*m + 4*a + 462, -3*m + 3*a - 206 = -905. Let v = z - m. Does 16 divide v?
True
Suppose 81*x + 6363 = 90*x. Does 52 divide 5 + -4 + 2 + x?
False
Let n(k) = -1 + 1 - 5 - k + k**2 + 6 + 2*k**3. Let