8. Is o(15) a multiple of 14?
True
Let o be 4*(1 + -2) - (-2 + 1). Is 24 a factor of 36*-1*((-410)/30 + o)?
True
Is 34 a factor of 18 + (-1 - 9) + 4276?
True
Let d(a) = -a**3 + 8*a**2 - 4*a - 21. Let g be d(7). Suppose g = 4*v + v - 2795. Does 13 divide v?
True
Suppose 3*r - 2*v = 20, -v + 5*v + 12 = -r. Suppose -h - r = 8. Is 21 a factor of h*(-6)/(96/28)?
True
Let l = -12756 - -27721. Is l a multiple of 37?
False
Let u be -4*-1*((-28)/8)/(-7). Suppose -5*k - 3*b = -2581, 0*k + 1034 = 2*k + u*b. Is 12 a factor of k?
False
Let a(f) = 1584*f - 1939. Does 29 divide a(3)?
True
Suppose -5*m - 34 = -69. Is (-14)/((21/(-12))/m) a multiple of 12?
False
Let d(h) = 2*h - 3*h - 13 - 4 - h. Let m be d(-7). Let x(k) = -3*k**3 + 2*k**2 - 4*k + 8. Does 11 divide x(m)?
False
Suppose -11*y + 6*y = r - 19, -15 = -3*y + 3*r. Suppose y*b = 3*v - 335, -5*b - v - 415 = -4*v. Let j = -35 - b. Is 15 a factor of j?
True
Is -14 - (-6 - (-2 - -9445)) a multiple of 44?
False
Let w be 1/((-3)/(-2))*-90. Let u be (w/10)/((-1)/(-1) + -2). Is (-415)/(-2) - ((-9)/u - -1) a multiple of 16?
True
Suppose -2*d = -a - 5, -5*a = 4*d + d + 10. Suppose d = -4*r + 9. Is ((-180)/50)/(r/(-30)) a multiple of 9?
True
Let d(p) = 13*p**2 + 61*p + 312. Does 6 divide d(-15)?
True
Let x be ((-3)/(-2))/((-27)/(-72)). Suppose -5*n = -x*w + 59, -3*n + 55 = -8*n + 5*w. Is (-70)/(-25) - 3/n even?
False
Suppose -8*d = -17355 + 6475. Is d a multiple of 5?
True
Suppose 206 = -f + 3*f. Suppose 1932 = -0*r + 6*r. Suppose -3*q = -r + f. Is q a multiple of 21?
False
Is 36 a factor of (7826/455)/((-2)/(-180))?
True
Let y = 3279 - 1263. Does 12 divide y?
True
Suppose 5*z - 58 = 22. Is 2556/z - 19/(-76) a multiple of 40?
True
Let z(p) = -12 + 0*p + 11*p + 15*p - 1. Let o(a) = a + 1. Let n(u) = 4*o(u) - z(u). Is n(-5) a multiple of 29?
False
Suppose 3*a + 1007 = x - 648, 2*a - 3*x + 1094 = 0. Let v = 152 - a. Is v a multiple of 63?
False
Let q = -481 + 481. Suppose 0 = -3*g + 4*h + 1853, -g + 3*h - 5*h + 621 = q. Is 27 a factor of g?
False
Let f(v) = 3*v**2 + 160*v + 368. Does 43 divide f(71)?
False
Let f(q) = 23*q**2 - 15*q + 26. Let p be f(2). Suppose 3318 - p = 10*m. Is m a multiple of 17?
True
Let n(p) = -2*p**2 - 106*p + 31. Is n(-41) a multiple of 35?
True
Is (-119)/(89/15 + -3 - 3) a multiple of 20?
False
Let o(f) = -199*f - 66. Let k be o(-3). Suppose -5*u - 908 = -3*x, 4*u = 2*x - k - 77. Does 10 divide x?
False
Let p(n) be the first derivative of 11*n**2/2 - 32*n + 124. Is 17 a factor of p(25)?
False
Let a be (-4752)/90*(1 - (-46)/(-6)). Let t = 323 + a. Is t a multiple of 75?
True
Suppose -35 = -k + 5*w - 415, w + 1415 = -4*k. Let s = k + 373. Is s a multiple of 2?
True
Let y be (-4)/(24/(-18)) + 25*1. Suppose b + 5*f - y = 0, f - 14 = -6*b + 3*b. Suppose b*r = -13*r + 2640. Does 33 divide r?
True
Suppose 5*h - u = 3*u + 104, 0 = 3*h - 2*u - 62. Let s = h - -73. Does 9 divide s?
False
Is ((-1128)/(-846))/(1/33843) a multiple of 17?
False
Let n be 2 - 66/(2/2). Let q(k) = 108*k**2 + k - 2. Let t be q(1). Let v = n + t. Is v a multiple of 15?
False
Let n be 234/(-36)*1*(-1 - 1). Suppose n*v - 800 = 6636. Does 44 divide v?
True
Is 56 a factor of 29975/(-55)*416/(-20)?
False
Let d = 10552 - -4187. Does 98 divide d?
False
Suppose 13973 = -34*o + 118166 + 85187. Does 7 divide o?
False
Let w(j) = -6*j - 9. Let s be w(0). Let k be ((-6)/s)/(-2*(-3)/(-9)). Is 108/2*(1 - k/(-2)) a multiple of 3?
True
Let x(f) = 7*f + 3. Let i(r) = 11*r + 5. Let p(o) = 5*i(o) - 8*x(o). Let w be p(-2). Does 8 divide 1/(w - 6 - 146/(-48))?
True
Let o(r) = 5*r**2 + 102*r - 206. Does 26 divide o(-28)?
True
Let q be ((-16)/(-10))/((-12)/(-30)). Suppose 5*x - 2*d + 3*d = 64, -47 = -q*x - 5*d. Let l = x + 0. Is 13 a factor of l?
True
Let d(w) = -382*w + 78. Does 20 divide d(-6)?
False
Suppose 0 = r + 3*r + 8, -5*y - 4*r = -2. Suppose 0 = y*a + 46*a - 1632. Is a a multiple of 34?
True
Let z(o) = -o - 15. Let a be z(-17). Suppose -3*b = 2*j - 230 - 16, -5*j - a*b + 604 = 0. Is 4 a factor of j?
True
Suppose -4*y = -1 - 11. Let t = 6408 - 6365. Suppose -4*h + 312 = 4*f, t = 3*h - y*f - 203. Is h a multiple of 16?
True
Suppose y = -8*t + 3*t + 24, -2*y + 8 = 0. Suppose 4*u - 3*u = 5*z - 1722, 0 = t*z + 3*u - 1370. Is z a multiple of 8?
True
Suppose 13*u - 349851 = -4*j + 8*u, 349858 = 4*j - 2*u. Does 13 divide j?
True
Suppose 730 = 5*d + 2*y, 3*d = -2*d - y + 730. Suppose 7*b - d = 470. Is b a multiple of 6?
False
Suppose -4*n + 5*y = -1405, 2*y + 1052 = 9*n - 6*n. Suppose -2*s - n = -2*f, -s + 555 = 3*f + 2*s. Does 20 divide f?
True
Does 190 divide 3230/4*56/((-56)/(-4))?
True
Let y = -2764 + 5074. Is 14 a factor of y?
True
Let m(z) = -15*z**3 + 2*z**2 + z. Let g(s) = 2*s - 15. Let t be g(9). Let u be ((-1)/t)/(2 - 20/12). Is m(u) a multiple of 4?
True
Let m(a) = 7*a + a**2 + 4 - 16*a + 9. Let t be m(8). Suppose t*f = 3*f + 14. Does 3 divide f?
False
Let o(n) = 2*n + 17. Let j be o(-6). Suppose -j*z + 3*a + 11 = -a, 0 = -4*z - 3*a - 16. Let w(i) = -65*i**3 + 1. Is w(z) a multiple of 6?
True
Let r = 7121 + -4326. Is 43 a factor of r?
True
Let h = 20 - -35. Let m(r) = -r**3 + 5*r**2 - 3*r - 1. Let a be m(4). Suppose -a*y = -8 - h. Does 7 divide y?
True
Let z be 4/(48/45) + 7/28. Let x be (z/(-5))/(1 + 68/(-60)). Is 3 a factor of 31 + 4/x*(-6)/4?
True
Suppose -498*j - 427*j = -857*j - 706656. Is 18 a factor of j?
False
Suppose -3*d + 3864 + 2838 = 3*d. Does 2 divide d?
False
Let q be (-21805)/315 - (-2)/9. Let a = 151 - q. Is a a multiple of 13?
False
Suppose -8*m - 4*p = -373044, p - 3*p = 2*m - 93258. Is m a multiple of 268?
True
Suppose -385 = u + 5*j, j - 2553 = 5*u - 706. Let i = 703 - u. Is 42 a factor of i?
False
Suppose -4*a + 1231 = d, 2209 = 4*d + a - 2655. Suppose 245*w - d = 242*w. Does 9 divide w?
True
Let i = -6926 + 9766. Is i a multiple of 6?
False
Suppose 0 = -336*u - 23*u - 297*u + 14412320. Does 169 divide u?
True
Does 86 divide 5156 - (20/(-1) - -16)?
True
Suppose -12 = 8*f - 12. Suppose f = -17*u + 15*u + 534. Does 11 divide u?
False
Suppose 3*s + 76500 = 6*i - 1395, -2*s = 3*i - 38972. Is 56 a factor of i?
False
Suppose -32*k + 44917 = -3*k - 103505. Does 28 divide k?
False
Suppose 0 = 5*q + 25, -3*c - 2*q + 1274 = 3*q. Let v = c - 269. Is v a multiple of 8?
False
Let w(t) = 2*t + 3*t - 431*t**2 + 432*t**2 + 193. Is w(0) a multiple of 9?
False
Suppose 56 = 6*g - 40. Suppose 0 = -3*q, -5*q + 12 = -f - g. Is (40/28)/((-4)/f) even?
True
Suppose 37 - 467 = 5*s - 4*j, 0 = -4*j - 20. Let m be -126*(136/(-6))/(-2). Is m/s - (-2)/15 even?
True
Let h(n) = -6*n - 40. Let r be h(-7). Suppose 0 = -r*a + 315 - 189. Is a a multiple of 5?
False
Suppose -3*g = -5*i - 10, g = -2*g - i + 16. Suppose g*t - 15 = -2*l + 5, 0 = 5*t - 2*l - 20. Suppose 5*a - 139 = -3*k, 188 = -k + 5*k + t*a. Does 13 divide k?
False
Let v = -28 + -32. Let a = v - -61. Let b(l) = 94*l + 2. Is 16 a factor of b(a)?
True
Let v be (-11)/22 + 10/4. Is ((-105)/(-75))/(v/30) a multiple of 2?
False
Let i be -2 - 47 - (4 - 1). Let b be 0/1 - i/13. Suppose 56 + b = 6*y. Is y a multiple of 3?
False
Let v(c) = 14*c**2 - c. Let j be v(-3). Let r(z) = z**2 + 178*z - 2505. Let p be r(13). Let s = j + p. Is 7 a factor of s?
False
Is 42 a factor of (1/(-6) - (-323)/714) + (-247650)/(-35)?
False
Let f = 1516 + 17668. Is f a multiple of 18?
False
Suppose -o + 9*o - 13504 = 3432. Does 73 divide o?
True
Let v = -18 + 18. Suppose v = a, y = -0*y + a + 13. Let h = y + 67. Is h a multiple of 20?
True
Let u(n) be the third derivative of -n**6/120 - n**5/15 - 5*n**4/24 - 2*n**3/3 - 29*n**2. Let v be u(-3). Is 11 a factor of (12/v)/(24/80)?
False
Let t(r) be the second derivative of r**6/720 + 11*r**5/120 + 5*r**4/12 + 11*r. Let a(p) be the third derivative of t(p). Is 4 a factor of a(5)?
True
Let z be -964*(4 - (-14)/(-4)). Let t = -422 - z. Is 2 a factor of t?
True
Suppose 2*x = -5*q - 17, 3*x - 5 - 7 = 0. Is 55 a factor of ((-8)/q + 0)/(151/34730)?
False
Suppose 15 = 5*z, 5*z = 4*g + z - 10036. Is g a multiple of 109?
False
Suppose 13*f - 125637 = -13766 + 9809. Does 24 divide f?
True
Suppose 20*f - 168550 = 106730 + 2460. Is f a multiple of 7?
False
Suppose 5*v + 11*v = 432. Suppose -v*m + 1723 = -842. Is 5 a factor of m?
True
Let j(m) = 8*m + 177. Let o(k) = 2*k + 44. Let u(