or of o?
False
Let f = -100 - -96. Is f + (-602)/(-35) - (-2)/(-10) even?
False
Suppose 0 = n + 5, -y + 3*n + 15 = y. Let z(o) = 2*o**3 + o - 120. Let r be z(y). Is 40 a factor of r/((2 - (0 - 0))/(-2))?
True
Let x be -5 + 55/(6 + -1). Suppose -15*z + 13*z = x. Is (-67 - (z + -2))*-2 a multiple of 48?
False
Let j(z) = z + 18. Let q be j(11). Suppose 13 = q*k - 4685. Is 39 a factor of k?
False
Suppose -2*k - 4*t = -110, 2*k + 50 - 181 = 3*t. Let c = k + -62. Is 12 a factor of ((-16)/(-32))/(c/(-352))?
False
Suppose 18*b + 75 = h + 22*b, -3 = b. Let u = h + 25. Is 22 a factor of u?
False
Suppose 3*w + 516 = 3*v, -2*v = 2*w + w - 339. Suppose 0 = v*h - 174*h + 270. Is 2 a factor of h?
True
Let g be (600/(-72))/(2/(-6)). Let v = g - 23. Suppose r = -5*z + 722, 2*r - 200 = -v*z + 84. Does 29 divide z?
True
Let i be (-156)/39 - 311*-1. Suppose n - 4*a = 261, -4*a - 1106 + i = -3*n. Is 3 a factor of n?
False
Let q = 3939 - 2691. Is 96 a factor of q?
True
Suppose 0 = 6*f - 8*f + 2000. Suppose -f = -7*o + 2*o. Suppose 0*g + 5*v - 374 = -2*g, -4*v = -g + o. Does 13 divide g?
False
Suppose 0 = -o + 4*m - 11 - 7, -2*o + 9 = m. Suppose -o*r + 86 - 14 = 0. Let b = r - -24. Is b a multiple of 22?
False
Let b(o) = 2*o**3 + 18*o**2 + 13*o + 26. Let p(k) = k**3 - 7*k**2 - 59*k - 20. Let a be p(12). Does 4 divide b(a)?
False
Suppose -146272 - 120672 = -97*i. Does 43 divide i?
True
Does 9 divide (-1122)/68 - -13 - (-11961)/2?
False
Let v = -11460 + 25579. Is 22 a factor of v?
False
Is 3 + 42/(6/8406*6) a multiple of 327?
True
Let t be -3 + (268 - 3 - 3). Suppose -t = 7*g - 3451. Suppose j + 3*j + 4*y = g, 2*j - y = 222. Is 56 a factor of j?
True
Let s(h) = 6*h + 36. Let c be s(-7). Let m be (56/12)/(c/(-54)). Suppose x - 4*o + m = 4*x, 2*o = -4*x + 46. Does 5 divide x?
True
Let j(w) = -w**3 - 13*w**2 - 13*w + 70. Let b be j(-18). Suppose -18*r + b = 160. Does 20 divide r?
False
Suppose 3*q + 0 = -6, 5*g - 2*q + 296 = 0. Let t = g + 312. Suppose -t = 4*w - 7*w. Does 16 divide w?
False
Let b(j) be the second derivative of 5/2*j**3 + 0 + 8*j + 11/2*j**2 + 1/12*j**4. Is 45 a factor of b(-17)?
True
Let m(v) = 2*v**2 - 20*v + 23. Let l be m(8). Let o(g) = -g**2 - 12*g - 23. Does 3 divide o(l)?
False
Let u = -435 + 923. Suppose 0 = -4*g - 4*q + 4848, 4*q = 4*g - 4384 - u. Is g a multiple of 15?
True
Let w(c) = -c + 17. Let b be w(11). Let i be (-31)/(-3)*(3 - (-6 + b)). Suppose -i = -2*o + 99. Is 19 a factor of o?
False
Let o = -35345 - -49574. Is o a multiple of 51?
True
Let i(h) = -553*h**3 - 6*h**2 - h + 3. Let b be i(-2). Suppose -523 - b = -7*z. Is z a multiple of 9?
False
Let q be ((-6)/8)/(24/96) + 1. Does 8 divide (-6 + 6/q)*(-130)/6?
False
Suppose s - 15 = y, -2*s + 2*y - 6*y + 24 = 0. Does 60 divide 6668/s - ((-130)/35 + 4)?
False
Let k(i) = 645*i - 328. Is 23 a factor of k(6)?
True
Suppose -6*l = -5*l - 4*k - 232, 928 = 4*l + k. Let z = l - 148. Is z a multiple of 21?
True
Suppose -7*c + 10*c = -165. Let j be (-1953)/(-33) + 10/c. Suppose r = -n + 75, -n + 2*r + r = -j. Does 13 divide n?
False
Let s be 2/(-7)*(-42)/6. Suppose 2*o = -s*o + 12. Suppose 2*i - 57 = -2*g + 5*i, -o*g + 4*i + 86 = 0. Is 4 a factor of g?
False
Suppose 115160 = -226*w + 246*w. Does 20 divide w?
False
Let h be 18/162 - 1/9. Does 3 divide -19*(0 + -1 + h)*1?
False
Let k = -4282 - -11381. Does 67 divide k?
False
Let t(i) = 10*i**2 + 17*i + 4 - 11*i**2 - 2. Let k be t(17). Let c(o) = 4*o**2 + o + 3. Does 20 divide c(k)?
False
Let s be ((9/2)/3)/((-54)/(-180)). Suppose -x = 0, -s*d - 3*x + 86 = -179. Is 4 a factor of d?
False
Suppose -6*l = -15 - 9. Suppose -l*f + 49 = 29. Suppose f*k + 3*k = 1728. Does 24 divide k?
True
Let m(r) = 41*r - 202. Let o be m(5). Let i(q) = 29*q - 77. Does 5 divide i(o)?
True
Does 55 divide (-31028)/(-4) + 1 - (-7 + (2 - -8))?
True
Let p = -47 - -44. Let i be 0/(p*2/3). Suppose 0 = -t + 3*n - 2, i = -3*t - 4*n + 23 + 10. Is 4 a factor of t?
False
Let x = 80 - 78. Let g be (-1)/(x/(1 - 5)). Suppose -2*c + 753 = 5*a - 5*c, -g*a = 2*c - 298. Is a a multiple of 25?
True
Suppose -9649 = -13*u + 9*u + 3*a, 3*a = -5*u + 12095. Is u a multiple of 16?
True
Suppose 17*f + 6 = 18*f. Is 29 a factor of 69 - (f + -12 + 5)?
False
Let u(o) = -2*o**3 + 202*o**2 + 26*o + 50. Is u(101) a multiple of 46?
False
Let l = -26 - -21. Let n be (18 + 1 + l)/(-1). Is 32/(6 + n) + 159 + -1 a multiple of 17?
False
Suppose 20*c = 15*c - 3*k + 156, c + 3*k - 36 = 0. Is 8966/c + (-74)/(-555) a multiple of 23?
True
Let q be -1*8*((15 - 1) + 8). Is 18 a factor of (-204468)/q - ((-3)/(-4))/(-3)?
False
Suppose 0 = 2*m + 58 + 14. Let s = m - -44. Is 14 a factor of (18/s)/((-3)/(-32))?
False
Suppose -5*w = -m + 38980 + 17722, -2*m - 5*w = -113434. Is m a multiple of 136?
True
Let n = -435 + 2611. Suppose -19*j = -n - 484. Is 10 a factor of j?
True
Let o(k) = -2*k**2 - 294*k + 3958. Does 3 divide o(-156)?
False
Suppose -j + 393 = -381. Let n = j - 362. Does 16 divide n?
False
Let u(l) = 6*l**2 + 6*l - 2. Let z = -19 - -14. Let s be u(z). Let d = 172 - s. Does 6 divide d?
True
Suppose r - 280 = -4*r. Suppose -5*y + 44 = -r. Let d(h) = h + 17. Is 23 a factor of d(y)?
False
Let x = -11058 + -11398. Does 28 divide (x/84)/(2/(-3))?
False
Let v = -18751 - -30832. Does 59 divide v?
False
Suppose -791*s = -716*s - 625500. Is 15 a factor of s?
True
Let q(s) = -s**2 + 7*s - 8. Let t be q(6). Let v be t + 6*(-4)/(-8). Let a(f) = 59*f**3 - f**2 + f - 1. Is 29 a factor of a(v)?
True
Suppose -44*h - 2216 = -863912. Does 144 divide h?
True
Does 56 divide 781 - ((-77)/14 - -7)*-2?
True
Suppose 0 = -36*u + 32*u + 2080. Suppose 5*r + u = -2340. Let l = 882 + r. Is l a multiple of 33?
False
Suppose -4*h - 3*g + 501 = -h, 4*g + 835 = 5*h. Suppose -5*t = -h + 57. Is 18 a factor of t?
False
Suppose 5*c - 5*s = 93905, -8*s - 9 = -5*s. Is c a multiple of 5?
False
Does 162 divide (-7)/21 - 1118080/(-192)?
False
Suppose 3*d = -2*d + 15. Let w(h) = h**3 + 3*h**2 - 14*h - 37. Let v be w(-4). Suppose 2*q - 120 = -v*y + 4*q, -3*y + d*q + 120 = 0. Is 22 a factor of y?
False
Let z = -5928 - -11459. Does 12 divide z?
False
Suppose 5*d + 22775 = 5*k, -3*k - 55*d + 13649 = -50*d. Is k a multiple of 157?
True
Let o(f) = -15*f - 14*f - f**2 + 41*f - 10*f + f**3. Let x be o(1). Suppose b = -3*b, -3*b = x*l - 86. Is l a multiple of 6?
False
Let c(p) = 11*p**3 - 2*p**2 + 5*p - 11. Let g be c(3). Let r = g - 227. Does 4 divide r?
True
Let d(w) = -51*w - 31. Let k be d(6). Let x be ((-12)/3)/4*k. Suppose 8*h - 303 = x. Is 10 a factor of h?
True
Suppose 3*y + 5*a = 16, -2*y + 2 = 55*a - 56*a. Does 7 divide 15/(-20)*y*2 - -244?
False
Let b = 35 + -28. Suppose h - 4*h + v = -b, 4*h + 4*v - 36 = 0. Suppose -54 - 22 = -h*z. Does 3 divide z?
False
Let z be ((-18)/21)/(1/(-7)). Suppose z*b - 9*b = -4*l + 184, -230 = -5*l - 4*b. Is 13 a factor of l?
False
Let k(o) = 29*o + 13. Let y(r) = -r**2 + 2*r - 7. Let q be y(0). Let x be k(q). Does 7 divide ((-14)/8)/(x/(-64) + -3)?
True
Let m = -10644 + 10812. Does 84 divide m?
True
Let q be 6/(-9)*(2 - (-39)/(-6)). Suppose -q*d + 434 + 1066 = 0. Suppose 6*i - 2*i - d = 0. Is i a multiple of 10?
False
Let k = -972 - -78. Let c = 1674 + k. Is 60 a factor of c?
True
Suppose 0 = -12*n - 35 - 85. Does 6 divide n/(-15)*(519/3 - -4)?
False
Let r(w) = -6*w - 61. Let d be 40/(-12)*4/(12/9). Let k be r(d). Is 57 a factor of k - -115 - (-5 - -5)?
True
Let i(g) = -g**2 + 8*g + 9. Let f be i(9). Suppose 5*w - 8*q + 6*q - 29 = f, 2*q + 19 = 3*w. Suppose 5*z + 284 = w*k - 421, 3 = z. Does 24 divide k?
True
Let l = 5055 - 3545. Is 3 a factor of l?
False
Suppose -76*p = -75*p - 5. Let o be (-3 + 10)*(-1)/p*-5. Is 8 a factor of (2 - 0) + (680 - 1)/o?
False
Let k(w) = 12*w**3 + 57*w**2 - 539*w - 12. Is 78 a factor of k(9)?
True
Let x(j) = -51*j**2. Let s be x(1). Let o be (-75)/(-20) + 9/(-12) + 114. Let v = o + s. Is v a multiple of 22?
True
Suppose 3*t - 11 = 7. Suppose t*n - 7*n = -5. Suppose -454 = -n*j - f, 3*j + 3*f = 2*f + 274. Is 18 a factor of j?
True
Let p = -56 - -55. Does 4 divide (19/38)/(p/74*-1)?
False
Let l(d) = 2500*d - 15220. Does 4 divide l(9)?
True
Let p(z) = z**3 - z**2 - 110. Let o be p(0). Let a be (o/(-4))/(11/66). Let j = a + -117. Is j a multiple of 15?
False
Let m(z) = 522*z - 10172. Does 23 di