s 12 divide z?
True
Suppose 0 = -6*g + 24 - 6. Let o be (6 - (g + -1)) + -1. Suppose 0 = o*i + 8*i - 418. Does 9 divide i?
False
Let u(x) = -3328*x + 558. Is u(-1) a multiple of 133?
False
Let m(a) = -4835*a**3 + 4*a**2 + 2*a + 1. Does 22 divide m(-1)?
False
Let o(c) = 19*c**2 + c + 12. Let h be o(-3). Let d = 225 - h. Is 45 a factor of d?
True
Let r(y) = y**2 + 6*y - 21. Let s be r(-9). Does 35 divide -7*(s - 112/7)?
True
Suppose 196*q - 82*q = 693576. Is 3 a factor of q?
True
Let c(z) = z**2 - 11*z - 2. Let i be c(12). Suppose -i*q + 124 = 24. Suppose 0 = -w + 5*p - q*p + 56, 2*w - 112 = -4*p. Does 4 divide w?
True
Let k(j) = j**2 - 30*j + 115. Let a be k(5). Let r(f) = -f**2 - 32*f - 5. Is r(a) a multiple of 8?
False
Let m(g) = -3*g**2 - 27*g - 35. Let d(s) = -1. Let f(o) = 5*d(o) - m(o). Is 26 a factor of f(-18)?
False
Is (-54)/(-36) - 220415/(-30) - (-8)/6 a multiple of 10?
True
Suppose 53*m - 199450 = 28121 - 40746. Is m a multiple of 15?
True
Let s = 230 - 225. Suppose 5*a + s*j - 3968 = j, -798 = -a - 3*j. Is 37 a factor of a?
False
Let o = 41154 + -27624. Does 36 divide o?
False
Does 16 divide -8 + -4*(-20)/4 + 44160?
False
Let t(z) = 2*z**2 - 26*z + 24. Let f be t(12). Suppose f*a - 90 = 5*a. Is 9 a factor of (-639)/a - (-1)/2?
True
Does 38 divide (12*(-5)/(-45))/((-24)/(-28746))?
False
Let t(q) = -8*q + 7. Let i be t(-12). Suppose -i*z = -98*z - 2330. Is 33 a factor of z?
False
Let j(v) = -v**3 + 17*v**2 - 42*v. Let b be j(14). Suppose b = -5*u + 3 + 197. Does 28 divide u?
False
Let d(m) = 9*m + 2. Let b be d(-4). Let x = 32 + b. Is (69/6*(x + 4))/1 a multiple of 23?
True
Let a = -2038 + 2920. Is a a multiple of 49?
True
Let h = -2800 - -4925. Does 35 divide h?
False
Suppose -8*y + 14*y = 4644. Is (-11)/((-99)/y) - -3 a multiple of 8?
False
Let w = -5041 + 5075. Is 8 a factor of w?
False
Let y be 0*2*(-2)/8. Suppose 0 = -2*l + 2 - y. Is 2/l + (-5 - -33) a multiple of 6?
True
Let a = -24451 + 66432. Is a a multiple of 200?
False
Let x be (-2)/(-5) + (-335)/25. Let r = x - -3. Let n(l) = -6*l - 8. Does 19 divide n(r)?
False
Suppose -5*h = -3*q + 37, -3*q + 24 = -4*h - 8. Suppose f = 2*v - 4, 3*f - 1 = q*v - 13. Suppose v*l = -3*l + 90. Is l a multiple of 4?
False
Let n(m) = -14*m - 25. Let w be n(-2). Suppose w*z - 138 = -b, 2*z - 182 = 4*b - 734. Is 8 a factor of b?
False
Let t(v) = 5*v**3 - 8*v**2 + 9*v + 4. Let x be t(7). Suppose -m + 466 = 7*b - 3*b, 3*m - x = -4*b. Does 11 divide m?
True
Suppose 26310 + 10949 = 13*s + 1223. Is 99 a factor of s?
True
Suppose 20*q = 29559 + 65761. Is q a multiple of 97?
False
Let v(o) = 74*o**2 - 3 - 6*o - 148*o**2 + 0 + 73*o**2. Let q be v(-5). Is (-3)/3 - q - -11 a multiple of 3?
False
Let h(t) = t**3 - 8*t**2 + 6*t + 8. Let j be h(7). Let s(w) = 6*w - 4. Let i be s(j). Is (0 + 24)*(34/6 - i) a multiple of 11?
True
Let o(j) = -121*j**3 - j**2 + j + 2. Let q = 16 + -17. Let z be o(q). Suppose -2*c = -c - z. Does 11 divide c?
True
Let n(l) = l**3 + 10*l**2 + l - 12. Let t be n(-7). Suppose -t = -3*m - 35. Does 3 divide m?
False
Suppose 3619 = 5*p + 1162 - 2843. Is p a multiple of 4?
True
Suppose 9*w - 2874 - 26691 = 0. Is 45 a factor of w?
True
Suppose -70*g = -46*g - 11232. Does 26 divide g?
True
Suppose -5 = q + 5*b, -q + 3*b = -0*b - 3. Suppose 0 = -3*n - 5*o + 130 + 313, 4*o + 20 = q. Is 19 a factor of n?
False
Let v(w) = w**3 - w**2 + 2*w + 5. Let m be v(0). Suppose -2*i = -s - 204, -4*s = m*i - 3*s - 510. Suppose h - 2*l - 36 = 5, -l = 3*h - i. Is h a multiple of 18?
False
Let a = 1506 + -581. Let u = 1317 - a. Does 13 divide u?
False
Suppose -j + 48*j - 143021 = 0. Is 17 a factor of j?
True
Let g be (-1184)/((8/6)/((-130)/15)). Suppose -82*h = -8*h - g. Is h a multiple of 52?
True
Let b be -1 + 9 - 0/(-15). Suppose b*z = 2*z + 150. Suppose -5*j - i + 81 = 2*i, j - z = -5*i. Is j a multiple of 15?
True
Let s(g) = -9*g**3 + 10*g**2 + 32*g + 99. Is 54 a factor of s(-8)?
False
Let l be 42/(-4)*(-6)/(-36)*40. Let c be ((-924)/l)/((-2)/20). Let t = 222 + c. Is 7 a factor of t?
False
Suppose -2*j + 1399 = 3*s + 23, -2*j = -s + 448. Does 57 divide s?
True
Let w(l) = 8*l**2 + 12*l + 77. Let s be w(24). Suppose -5*f - s = -4*i, 0 = 31*i - 32*i - 4*f + 1217. Is i a multiple of 10?
False
Let u(v) = 2*v**2 - 2*v - 2*v**3 - v**2 - 4*v. Let i be u(-3). Let s = i - 49. Does 16 divide s?
True
Suppose -13*z + 5*z + 3464 = 0. Suppose 65 = -4*o + z. Suppose 5*k - o = -4*s + k, s + 4*k - 17 = 0. Is 20 a factor of s?
False
Let j = 46 + -41. Let m be 1 - (-208)/j - 36/(-90). Suppose -17 = -s + m. Does 10 divide s?
True
Is 48 a factor of (-44)/198 + (-1 - 97233/(-27))?
True
Suppose -4*p - 4*c = p - 21, 5*c = -p. Let v = 852 + -276. Suppose -11*r + v = -p*r. Is 12 a factor of r?
True
Let w(p) = -10*p - 482. Let a(g) = 12*g + 486. Let b(x) = -4*a(x) - 5*w(x). Does 14 divide b(0)?
False
Suppose -4*a = 4*s + a - 5839, -5*s + 3*a = -7271. Let x = -907 + s. Is 9 a factor of x?
True
Let z(s) = 13866*s**3 + 2*s**2 + 33*s - 36. Does 5 divide z(1)?
True
Let r(k) = -k**3 - 4*k**2 + 4. Let x be r(-4). Suppose 0 = 2*y, y = -4*m - y + 1088. Suppose -h + 3*h + x = 0, 4*h - m = -4*p. Does 10 divide p?
True
Let u be (-20)/(-90) + 20/(-9) - 28. Let t = 0 - u. Let q = t + 35. Is q a multiple of 20?
False
Suppose -9*b + 880 = -5*b. Does 11 divide (b/70)/((-4)/(-1162))?
True
Let n be 11/3 + (-32)/(-96). Is n*(-542)/(-8) + 3 a multiple of 8?
False
Suppose 3*j + 2*p = -2*j - 65, 65 = -5*j + 3*p. Let y be j/(-3) + (-85)/(-51). Suppose -207 = -3*h - y. Is 16 a factor of h?
False
Let j(v) = -226*v**3 + 15*v**2 + 3*v - 2. Does 10 divide j(-2)?
True
Suppose -8*w - 13 = -g - 5*w, -w = 1. Let l = 106 - g. Does 7 divide l?
False
Is ((-1216)/24)/(82/(-12177)) a multiple of 132?
True
Does 11 divide (-2)/(-4)*(13 + 132/(-11))*5302?
True
Suppose -3*v - v = -2*t - 3244, 800 = v + 5*t. Suppose -11*o + v = -9*o. Is o a multiple of 14?
False
Suppose q + 24994 + 4692 = 4*w, -q + 14834 = 2*w. Does 20 divide w?
True
Let o be 6 - (5 - 6) - 6. Is 14 a factor of o - 10*10/25*-49?
False
Let n(c) = 13*c + 281. Let t be n(-21). Suppose t*r - 4210 = 9286. Is 14 a factor of r?
False
Let i(k) = 4*k**2 + 35*k - 181. Is 36 a factor of i(13)?
False
Let w = -412 - -514. Suppose -3*t + w = 3*l - 0, -5*l = 10. Does 27 divide t?
False
Let x be (4/1 + -8)*-2. Let f = 139 + -41. Suppose -x*j - f = -10*j. Is j a multiple of 11?
False
Let p(s) = -7*s - 3. Let v be p(-1). Suppose -670 = -v*b - b. Suppose 14 - b = -5*j. Is j a multiple of 8?
True
Let v be 21/42 - (-3)/2. Suppose v = r, -3*n + 2*n + 3*r = 4. Suppose -323 = -2*q + h, -4*q + n*q + 329 = -3*h. Is 16 a factor of q?
True
Suppose 3*n - u - 525 = -2171, -u + 2740 = -5*n. Does 49 divide -2 - n - -4*(-3)/(-12)?
False
Suppose -53*t - 194850 = -1571164 - 551402. Is t a multiple of 14?
True
Let i(x) = 8*x + 226. Let h be i(-28). Suppose -2*t - h*o = -2752, -o + 4704 + 800 = 4*t. Is t a multiple of 27?
False
Suppose 4*y - 134800 = -25864. Is 11 a factor of y?
False
Suppose -18*x + 17*x + s = -4356, 21785 = 5*x - 4*s. Is 49 a factor of x?
True
Does 166 divide (-6)/15 - 3590786/(-515)?
True
Suppose 2530*o = 2497*o + 87120. Is o a multiple of 48?
True
Let x = 5264 + 2183. Does 19 divide x?
False
Let a = 14478 - 5005. Is 150 a factor of a?
False
Let k(z) = z**3 + 5*z**2 - 6*z + 7. Suppose 8*f = 48 - 24. Does 13 divide k(f)?
False
Suppose -3*n + 1217 = -307. Suppose 4*y = -4*z - z + n, 3*z = 4*y - 540. Does 22 divide y?
True
Suppose 10*s - 6*s + 11316 = 4*w, 4*s - 2809 = -w. Is 30 a factor of (-7)/((-245)/w) - (-2)/7?
False
Let n = 97 - 98. Let u(v) = -2*v. Let h be u(n). Is 4 a factor of (27/h)/(-8 + 102/12)?
False
Let w be 11 + (-5)/(10/16). Let n(j) = 167*j - 49. Is n(w) a multiple of 12?
False
Let w be ((-4)/(-15)*3)/(1/5). Suppose -q - v = 0, 0*v = -w*q + 4*v - 16. Does 20 divide (-10 - -14)/(q/(-40))?
True
Is 11 a factor of (7 + (-15829)/(-55))/(1 - (-72)/(-75))?
True
Let p(v) = v**3 + 11*v**2 + 19*v + 59. Let a be p(-10). Let m be 206/4 + 5/(-10). Let z = a + m. Does 4 divide z?
True
Let p(h) = -h**2 - 13*h - 13. Suppose -3*a + b = -6, 4 = 3*a - a + 3*b. Suppose 107 - 117 = a*m. Is p(m) a multiple of 13?
False
Let q(h) = h**3 - 9*h**2 + 8*h + 26. Suppose 32*t - 30*t - 16 = 0. Is 14 a factor of q(t)?
False
Let z(x) = 1