, x = -y - z + 972. Is y a multiple of 38?
False
Let b(o) = 5*o**2 + 2*o - 175. Let t = -14 - -21. Let w(c) = 3*c**2 + c - 88. Let f(s) = t*w(s) - 4*b(s). Does 12 divide f(0)?
True
Let a(m) = 26 + 2*m + m + 23 - 9. Let v be a(-12). Suppose -v*f - 5*f + 1512 = 0. Does 28 divide f?
True
Let d(c) be the second derivative of c**4/4 - 21*c**2/2 - 8*c. Let g be d(11). Suppose u - 1 = -6, 2*u = 2*z - g. Does 21 divide z?
False
Let g be 3/4 - (3 + 2931/(-12)). Suppose 1607 = 5*c + g. Is c a multiple of 39?
True
Let z(u) = -2*u**3 + 8*u**2 + 9*u - 195. Is z(-12) a multiple of 21?
True
Suppose 0 = -24*p - 82*p + 127233 + 83919. Is 83 a factor of p?
True
Let x(i) = -3*i**2 + 25 + 125*i - 56*i - 78*i - 47*i. Is 5 a factor of x(-19)?
False
Suppose 4*l + 4*v - 44 = 0, 3*v = 4*l - 19 - 53. Suppose -4*b - 27 + l = 0. Is 38 a factor of (b/1 - -6) + 209?
False
Let n(a) = -a**3 + 16*a**2 - 12*a - 28. Let b be n(15). Suppose -2*c + b*c - 9120 = 0. Is c a multiple of 32?
True
Is 23 a factor of 359238/220 - 6/(-60)?
True
Let q(o) = -31*o - 134. Let f be (117/6)/((-12)/16). Is 24 a factor of q(f)?
True
Let s be (-8)/((-16)/6) - 3. Suppose s = d + 4*v - 18, 4*v + 0*v = 0. Does 34 divide 2460/d + (-8)/12?
True
Let r(h) = h**2 + 9*h + 21. Let b be r(-3). Does 7 divide -2*((-18)/b + -78)?
True
Let w(q) = -q - 9. Let b be w(-3). Let o(l) = -l - 6. Let s be o(b). Suppose 5*i - j + 2*j - 35 = 0, s = -5*i + 5*j + 35. Is i a multiple of 4?
False
Let x = -6 + 16. Let m(v) = v**3 - 11*v**2 + 5*v - 2. Let t be m(x). Let o = -24 - t. Is 7 a factor of o?
True
Let w(v) = 1099*v + 241. Is w(4) a multiple of 12?
False
Suppose -2*b = 185*w - 186*w - 5230, 3*w - 5230 = -2*b. Is 71 a factor of b?
False
Let w(o) = 15 + 2*o**2 + 18*o + 43*o - 52 - 3*o + o**2. Does 20 divide w(-22)?
False
Does 106 divide 12/8*((-502163)/(-51) - 15)?
False
Let w(b) = -5*b + 6. Let u be w(4). Let y = 81 + u. Suppose -5*c + 4*i + y = 0, 2*c + 6*i = i + 40. Does 5 divide c?
True
Let g(h) = -48*h + 149. Let d be g(7). Let l = d - -250. Does 21 divide l?
True
Let m be ((-3)/3)/((-3)/132*1). Let x(b) = -32*b - 54 + m - 52 - 18. Is x(-9) a multiple of 16?
True
Let x(f) = -30*f**3 + 2*f**2 - 38*f - 26. Is 83 a factor of x(-6)?
False
Suppose 2*z - 3953 + 1020 = -5*r, 3*z + 3*r - 4395 = 0. Is 8 a factor of z?
True
Let p = -192 + 193. Let g(v) = 303*v**3 - 2*v**2 - 2*v + 2. Is 36 a factor of g(p)?
False
Let i = -114 - -123. Let g be 1794/54 + (-2)/i. Suppose 0 = -30*o + g*o - 585. Does 39 divide o?
True
Let a(q) = q**3 + 68*q**2 - 87*q + 126. Is a(-69) a multiple of 19?
True
Let m(s) = 138*s - 2. Let y(w) = -w - 8. Let u be y(-9). Is 34 a factor of m(u)?
True
Let f(u) = 307*u + 2738. Is 3 a factor of f(5)?
False
Suppose -3*n = -3 + 3. Suppose -30*a + 16*a + 56 = n. Is a a multiple of 2?
True
Suppose 2*m - 4*p = 116, -4*m - 2*p + 225 = -3*p. Let a(i) = i**3 + 13*i**2 + 19*i - 3. Let b be a(-11). Let w = m - b. Is w a multiple of 10?
False
Let j(v) = 17*v - 4. Let k be j(2). Let i = -45 - k. Does 10 divide ((-16)/10)/(2/i)?
True
Does 10 divide (136 + 51)/(1/209) + -6?
False
Let m = 16343 - 13286. Is 3 a factor of m?
True
Is 93 a factor of 2/(-7)*84/48*12 - -4842?
True
Let j(n) = -17*n**2 - 15*n + 58. Let t(h) = -15*h**2 - 14*h + 52. Let l(a) = -7*j(a) + 8*t(a). Suppose 0 = -w - 7 - 0. Is 2 a factor of l(w)?
True
Let q = 510 - 316. Let d = q + 53. Does 5 divide d?
False
Suppose 0 = -3*s + k + 104, s - 3*k + 5*k = 37. Is 15 a factor of (s + -67)*(1 - 8)?
False
Let o = 1749 + 13869. Is 19 a factor of o?
True
Suppose 0*d - 4*d + 12 = -4*u, 2*u = 4*d - 2. Suppose 21*c + 25*c - 1058 = 0. Is ((-4)/u)/(c/1495) a multiple of 4?
True
Let n(x) be the first derivative of -69*x**2/2 - 52*x + 261. Does 9 divide n(-9)?
False
Let i(f) = -13*f - 146. Let u be i(-22). Suppose -r + 2*j + 46 = 0, 0 = 4*r - 2*j - u - 32. Is 5 a factor of r?
False
Let q(n) = n**3 + 15*n**2 + 12*n - 17. Let m be q(-12). Let v = 25 + m. Is 4 a factor of v?
True
Let a(j) = -4*j**2 + j - 2. Let p be a(-2). Is ((-5448)/(-16))/(-1 + p/(-8)) a multiple of 5?
False
Suppose 0 = 60*a + 251797 - 359610 - 328807. Is 47 a factor of a?
False
Let i(o) = -17*o - 121. Let r be i(-7). Is 14 a factor of -47 + 39 - 548/r?
True
Let y be 36*40/25*10/3. Suppose 2*v = 2*r + 130 + 256, -v + 2*r + y = 0. Does 6 divide v?
False
Suppose -w - w - 5*u + 276 = 0, 0 = -3*w + 4*u + 460. Is (2387/434)/((-2)/(w*-1)) a multiple of 7?
False
Suppose 3*h - 5553 = 3*a, 4*h - 2450 - 4951 = 5*a. Suppose b = 3*b - h. Suppose -3*r = 5*s - 701, -7*r - s - b = -11*r. Does 58 divide r?
True
Let z = 7 + -3. Let t(o) = o**2 - 8*o + 1. Let c(f) = f - 1. Let y(u) = -4*c(u) - t(u). Is y(z) even?
False
Let d(s) = -37*s - 17. Suppose -3*t = -0 + 18. Let p be d(t). Is p/5 - (-1 - -1) a multiple of 32?
False
Let q = 2901 - 957. Is q a multiple of 27?
True
Is 32 a factor of (-14 + 3)*(-326 - 26)?
True
Suppose -2*g - 4*v = -3484, 5*g - 4309 - 4441 = -2*v. Is g a multiple of 2?
True
Let l(w) = 55*w**2 - w + 11. Let h(a) = -110*a**2 + 3*a - 20. Let y(m) = 3*h(m) + 7*l(m). Is 22 a factor of y(-3)?
True
Let t be 16/((-13)/(78/(-12))). Suppose v = t*v - 441. Is 3 a factor of v?
True
Does 2 divide (-20)/320 - 16038/(-96)?
False
Suppose 81*x = 82*x + 15. Let k(n) = 2*n + 33. Is 3 a factor of k(x)?
True
Suppose 71*k - 312433 - 774719 = 0. Does 116 divide k?
True
Suppose 0 = i + 4 - 2. Is 910/(-63)*6*i*3 a multiple of 13?
True
Let a be (1/3)/((-1)/(-54)). Let n = a + 12. Is n a multiple of 5?
True
Suppose 9260 = 4*x + 12*k - 9*k, -k - 13890 = -6*x. Is 9 a factor of x?
False
Let t = -35 + 40. Suppose a + t*a = 2*a. Suppose 4*q - 576 = -a*q. Is 36 a factor of q?
True
Let w = 110 + -111. Is (101 - 1)/(w + 2) a multiple of 5?
True
Suppose 11675 + 19743 = 46*h. Suppose 5*l = -4*w + h, -w - 838 = -6*w - l. Is 3 a factor of w?
False
Suppose 0*v + 742 = 5*i - 2*v, -5*i - 4*v = -766. Let w(u) = -u**3 + 7*u**2 - 14*u + 181. Let d be w(8). Suppose -i = -d*f + 10. Is 16 a factor of f?
True
Let a = -7528 - -10288. Does 15 divide a?
True
Let g(j) = 3*j + 25. Let l be g(-7). Suppose -l*z - 5*c = -202, -2*c - 89 + 32 = -z. Does 11 divide z?
False
Suppose x = -r + 76, -231 = -3*r - 0*r - 4*x. Suppose -r = 2*c - 3*c. Suppose 3*l = 92 + c. Is l a multiple of 12?
False
Suppose -136*q = -3*s - 139*q + 39120, -4*s + 52112 = -2*q. Is 27 a factor of s?
False
Let n be (-13 + -2 - 0)*9/(-45). Suppose -3*j = -d + 21, -4*j = -d - n*d + 116. Is d a multiple of 4?
False
Suppose -f = 4*f - 15. Suppose 5*o + f*n = 3, -2*o - n + 5 = o. Suppose i + o*i - 576 = 0. Is 24 a factor of i?
True
Let g(l) = l**3 - 4*l - 1. Let a be g(-2). Let z be 763*(a + 52/28). Suppose 4*h = -2*h + z. Does 43 divide h?
False
Suppose 4*s + 6 = s. Let n(z) be the first derivative of z**3/3 - 3*z**2 - 9*z + 1206. Is 7 a factor of n(s)?
True
Suppose 83*l - 35 = 78*l. Let f(v) = 3*v**3 - 18*v**2 + 10*v + 3. Is 44 a factor of f(l)?
True
Suppose 5 = 2*m + 1. Let n(a) = 0*a**2 + 9 - 5*a - 5*a**m + 17*a**3 - 19*a**3 - 8*a**2. Is 26 a factor of n(-7)?
False
Suppose 19*q = q - 5*q + 361560. Is 102 a factor of q?
False
Suppose 15*i = 28*i - 26. Let t(x) = -x**2 + x + 5. Let g be t(0). Suppose 0 = -3*y - 5*k + 99, 3*y + i*y = -g*k + 175. Does 6 divide y?
False
Let w(s) = 4*s**2 + 157*s + 344. Is 23 a factor of w(-43)?
True
Let i(n) = n**2 + 8*n - 1. Let c be i(-2). Let x(d) = 9*d**2 - 3*d + 4. Does 17 divide x(c)?
True
Let v(p) = -2*p + 18. Let a be v(6). Let n(r) = a*r**2 - 8*r - 6*r + 1 - 7*r + 26*r. Is 5 a factor of n(-3)?
True
Let a = -77 - -265. Suppose -3*b = -4*y + 366, a = 3*y - y - 4*b. Does 6 divide y?
True
Let a(g) = 5*g**2 + 55*g + 1. Let j(x) = -x**3 + 12*x**2 - 4*x + 57. Let b be j(12). Does 29 divide a(b)?
False
Suppose -10*z + 2692 + 9648 = 0. Suppose -z = -2*h - 4*j, 0 = -4*h + 2*j + 1212 + 1306. Is 57 a factor of h?
True
Suppose y + 4 = 1. Let m = -7 + y. Is 11 a factor of 1 + 0 + (2 - (0 + m))?
False
Suppose 5*t = 4*k - 3*k - 4216, -3*k = -3*t - 2532. Let r = 1231 + t. Is r a multiple of 36?
False
Let n(z) = z**3 - 10*z**2 + 24*z - 8. Let o be (-4)/(-12) + 180/27. Is 13 a factor of n(o)?
True
Let u(r) = -30*r - 4. Let z be u(-1). Let w(d) = d**3 - 26*d**2 + 27*d - 91. Does 30 divide w(z)?
False
Does 13 divide 1773 + 3 + (-21)/(-14)*-8?
False
Let h = 1772 + -827. Supp