 t - 2. Suppose -116 = 2*v + h*b, -16 = -b - 3*b. Does 47 divide 30/((-75)/v - 1)?
False
Let v be (-1172)/6*(-3)/(-2). Let y = v + 512. Suppose 2*s - y = 7. Does 51 divide s?
False
Let m(v) = 7*v**3 + 26*v**2 + 23*v + 40. Let l(y) = -4*y**3 - 13*y**2 - 12*y - 20. Let o(a) = 5*l(a) + 3*m(a). Is 15 a factor of o(-5)?
False
Suppose -s - 4*x - 89 = 0, -98 = s - 0*x + x. Let q = s - -430. Suppose -9 + q = 5*c. Does 8 divide c?
True
Let d(q) = -159*q**3 + 3*q**2 - 2. Let x be d(-1). Suppose -4*z - x = -o - 2*o, 2*z + 62 = -3*o. Let h = z - -81. Is h a multiple of 34?
False
Suppose -10 - 14 = 4*u + 5*h, -1 = 5*u - h. Let m be (-1)/((-3)/(-12)) - 53/u. Suppose 0 = -2*b + o + m, 5*b - b - 78 = -2*o. Is 5 a factor of b?
False
Is 19 a factor of 2/(1 - 19) - (-48224)/18?
True
Does 58 divide (-4 + 2 - -48577)*11*(-26)/(-715)?
True
Let l be 7 + 4 - 6 - (-6)/(-2). Suppose 0 = 3*d - l*c - 13, -d - 4*c + 6 = -5*c. Is 3 a factor of 6/(-5)*(23/(-2) - d)?
True
Suppose j = 3*j + y - 12, -5*j + 2*y + 12 = 0. Suppose -4*u = -j*m + 100, 7*m - 3*u = 10*m - 105. Is m a multiple of 15?
True
Is (6/45)/(16/(-12)) + 9795534/1340 a multiple of 85?
True
Let k = 19 - 18. Let a be ((k + -2)/(-2))/(2/(-352)). Let q = a - -155. Is q a multiple of 11?
False
Suppose u - 5*s = 4545, -8*u + 34*s = 29*s - 36150. Does 43 divide u?
True
Let d(q) = -107*q**3 - 2*q**2 - 9*q - 9. Let s be d(-2). Let a = -210 + s. Is a a multiple of 18?
False
Suppose -19*q - 16*q + 662046 = 7*q. Is q a multiple of 11?
True
Let n = 2392 - 2332. Is n a multiple of 10?
True
Let g(f) = -f**3 - 7*f**2 + f + 9. Let y be g(-7). Let j be (-8 + y + -4)/(0 + -2). Suppose p = -j*a - 3*p + 64, 0 = -p + 1. Is 6 a factor of a?
True
Let k(y) = 4*y**2 + 5*y - 35. Is 43 a factor of k(-10)?
False
Let b(t) = -30*t - 156. Let c be b(-6). Suppose -1909 = -c*f + 2027. Is f a multiple of 41?
True
Suppose -4*n + 1 = b, b + n - 3 = -8. Is 44 a factor of (-77)/49 + 3/b + 532?
False
Let z(m) = 13*m - 32*m + 7*m - 6 + 10*m. Let d be z(-6). Does 33 divide (-4024)/(-24) - 3 - (-2)/d?
True
Let d be (6 - (-132)/(-18))*-36. Let f = -45 - -12. Let y = f + d. Is y even?
False
Suppose 0 = -b + 6*i + 576, 40*b - 45*b = 5*i - 2670. Is 20 a factor of b?
True
Suppose 5*l - 2*m - 26 = 0, -144*m = -4*l - 146*m + 10. Let x = -5 + -1. Does 21 divide l - (-34)/x*-3?
True
Suppose -3 = -p - 3. Suppose 5*b = -p*b + 860. Suppose 0*g = -5*g - 20, -5*c = 2*g - b. Does 36 divide c?
True
Let r = -3477 - -4188. Is r a multiple of 18?
False
Suppose 4*f + 0*t - 3*t = 12, -t - 4 = 0. Suppose -9*z - 2*z + 3234 = f. Does 42 divide z?
True
Let k be (269 + 0)/(0 - -1). Suppose -k = -3*g + g + 3*l, 0 = 3*g - 4*l - 402. Suppose -g = -5*v + 4*v. Does 13 divide v?
True
Suppose -2*v - l + 6047 = 0, 47*v + 6053 = 49*v - 5*l. Is 72 a factor of v?
True
Let k(i) = -27*i**3 - 35*i**2 + 50*i - 12. Is 12 a factor of k(-9)?
False
Let t be ((-8)/14 + (-120)/(-112))*12. Is (-2)/8 + 23094/24 + t a multiple of 22?
True
Let t be 11252/14 - 6/(-21). Let a = t - 480. Does 27 divide a?
True
Is (-14733620)/(-308) - (-2 - 20/(-14)) a multiple of 313?
False
Suppose -205*k + 5186 = -580294. Is 14 a factor of k?
True
Suppose 208*j - 137379 - 462491 = 420578. Is 102 a factor of j?
False
Let m(t) = -1597*t + 3136. Is m(-13) a multiple of 121?
False
Let h(q) = 3*q**2 - 6*q + 13. Let b be h(-6). Let l = 167 - b. Is l a multiple of 5?
True
Suppose 0 = 7*l + 4 - 88. Suppose 2*h + c = 33, 2*h + 5*c - l - 9 = 0. Let k = h - -3. Does 6 divide k?
False
Suppose 10*w = 1762 - 302. Suppose -2*r - s = r - w, -100 = -2*r - 2*s. Let a = r - 24. Is a a multiple of 6?
True
Let f be (-4 - -3)/((-3)/6). Suppose c - 134 = -4*c + 4*h, -3*c + f*h + 80 = 0. Does 26 divide c?
True
Let f be (8/20)/((-2)/(-80)). Let l(v) = -v**2 + 40*v - 40. Is 26 a factor of l(f)?
False
Let w = 841 + 907. Suppose -3*m + 5*o - 187 + w = 0, o = 3*m - 1577. Is m a multiple of 28?
False
Is 5 a factor of 526/3 + 23/(-69)?
True
Let i be (-4178)/(-6) + 4/(-12). Let k = 1536 - i. Is k a multiple of 21?
True
Let b(f) = f**2 + 6*f - 3. Let l be b(-7). Suppose 4*y = 0, 2*v - 11 = -2*y - 3. Suppose -l*t + 273 = -o, v*t + o = 6*t - 135. Does 7 divide t?
False
Is 3/(-5) + (-14076)/(-60) a multiple of 2?
True
Suppose o = -4*f - o + 342, -165 = -2*f + 5*o. Let w(s) = 12*s - 205. Let z be w(12). Let y = z + f. Does 15 divide y?
False
Let v be (-1 + 0)*(5 + -3 + -10). Suppose 0 = v*u - 13 - 11. Suppose 0 = -5*x + 5*p + 90, -u*x + 99 = 2*x - 2*p. Is 7 a factor of x?
True
Suppose 2*b = u + 6737, -37*b - 13439 = -41*b - 5*u. Is 34 a factor of b?
True
Let k(n) = -n**2 - 3*n + 14. Let z be k(-5). Suppose 1 = -5*y + 2*f, -4*f = -y + 11 - z. Is (3/9)/y - (-1680)/18 a multiple of 36?
False
Suppose 14*g = 18*g - 5*u - 9615, -5*g + 11985 = 5*u. Does 25 divide g?
True
Suppose -9*u = 60 - 33. Is 35 a factor of 350/30*(24 - u)?
True
Suppose 0 = -2*z - 3*i + 4, 4*z - 12 = -4*i - 4. Suppose n - 66 = -2*g, -6*g - 4 = -z*g. Let c = 13 + n. Is c a multiple of 6?
False
Let h(y) be the first derivative of -226*y**2 - 4*y - 190. Is 18 a factor of h(-2)?
True
Let h(o) = 370*o**3 - 3*o**2 + 19*o - 30. Does 45 divide h(3)?
True
Let c = -6970 + 12024. Does 7 divide c?
True
Is (1446/(-8))/((-94)/1128) a multiple of 30?
False
Suppose 4*q - 4128 = -4*y, 2*q + 3*y - 2572 = -508. Does 10 divide 2/(-17) + (q/51)/2?
True
Let t(a) = -a**2 + 387*a + 1784. Is 21 a factor of t(200)?
False
Suppose 5*y + 30 - 45 = 0. Let k(x) = 3*x**3 - 6*x**2 + 2*x + 3. Is k(y) a multiple of 12?
True
Let d be (6 - (-6)/(-2))*3/3. Suppose i - d*q - 30 = -2*i, 2*q + 30 = 3*i. Suppose i*l - 4*l - 72 = 0. Is l a multiple of 2?
True
Suppose -16*a = -72*a + 327096. Does 11 divide a?
True
Suppose 4*k + 31 = 4*g + 3*k, -g + 5*k = -3. Suppose -g*t = -5071 - 1817. Is t a multiple of 21?
True
Suppose 8 = -2*g, f + 4*g - 2626 = g. Suppose -f = -10*z - 468. Suppose -3*n + 4*b = -55 - 98, -b = -4*n + z. Is n a multiple of 46?
False
Let o(f) = 32*f**2 + 22*f - 17. Let k = -72 - -76. Is 35 a factor of o(k)?
False
Let n = 5587 - 1325. Is n a multiple of 29?
False
Suppose -37*a = -31*a + 90. Does 24 divide (-616)/(-10) + (24/a - -2)?
False
Let k(s) = -27*s - 59. Suppose -5*u + 0*u = 5*z + 95, 0 = 5*z - u + 125. Is 63 a factor of k(z)?
False
Suppose -7*j - 1008 = -19*j. Let t = 152 - j. Is t a multiple of 43?
False
Let u(o) = -o**3 + 5*o**2 - 6. Let i be u(5). Let d = 78 - i. Does 12 divide d?
True
Let j(h) = 65*h**3 + h**2 - 1. Let k be j(1). Let v(g) = g**2 - 5*g - 11. Let u be v(-4). Let f = k + u. Does 15 divide f?
True
Let y(h) = 229*h - 3931. Is y(25) a multiple of 39?
True
Let g(d) = 40*d**2 + 9*d + 8. Let c(o) = 27*o**2 + 7*o + 5. Let z(q) = 8*c(q) - 5*g(q). Does 22 divide z(3)?
False
Let r = 92 - 59. Suppose 0 = 5*c + r - 93. Suppose -c*s = -13*s + 23. Does 12 divide s?
False
Let s be (-12)/27 - (-2132)/18. Let c = 134 - s. Is 4 a factor of c?
True
Let w(t) = 19*t - 6*t + 19 + 0*t - 2*t + 15. Is w(10) a multiple of 3?
True
Suppose 13*i - 16*i = -2*o + 4, -i + 4 = 2*o. Suppose -2*h = -3*j - 147, 5*h - o*h - 5*j = 221. Does 24 divide h?
True
Let f(q) = -545*q - 36. Let s be f(-6). Does 21 divide ((-6)/4)/((-11)/s)?
True
Let a be (-78)/(-6) - (-2 - -3). Suppose -4*i - a - 6 = -2*z, 0 = -z + 4*i + 9. Suppose -z*q = -14*q + 275. Is 14 a factor of q?
False
Let a = 32 + -32. Suppose 12*s - 13*s + 2 = a. Suppose -5*z - f + 99 = -23, -52 = -2*z - s*f. Is z a multiple of 4?
True
Suppose 5*x + 335 = -h + 508, -x - 567 = -3*h. Is h a multiple of 94?
True
Let q = -370 - -1954. Is 17 a factor of (q/192)/(6/328)?
False
Does 32 divide (-4416)/(5 + (10 + -6 - 10))?
True
Is 518/(-74) + 1407/1 a multiple of 35?
True
Is 7 a factor of (1/(-10))/(2/(-4)) + (-503064)/(-255)?
False
Suppose 10*b = 5*b - 165. Let a = 34 + b. Let h = 22 + a. Does 2 divide h?
False
Let r be (-12*4/(-5))/((-22)/110). Let q = 198 + r. Is q a multiple of 10?
True
Is (-10404)/(-85)*19500/45 a multiple of 16?
True
Let g = -2485 + 3219. Is 12 a factor of g?
False
Let r be (39/(-52))/((-30)/(-16))*-15. Suppose -5*k = -21 + r. Is (128/k - 6)*(3 + 0) a multiple of 17?
False
Does 5 divide ((-39)/26)/(9/(-1464)) - 8?
False
Let m be ((-7)/14)/((-11)/10648). Let r = 686 - m. Does 26 divide r?
False
Suppose 24*o + 144 = 33*o. Is (7 + 399)*o/4 a multiple of 15?
False
