tiple of 9?
False
Let d be (-3)/((-2)/64*-12). Is d*(-46)/(-2)*8/(-16) a multiple of 3?
False
Suppose 3*m = 5*z - m - 75, 2*m - 29 = -z. Suppose 0 = -z*n + 21*n - 370. Is 8 a factor of n?
False
Suppose 0 = -3*m + l + 9 + 5, -4*m - 3*l = -23. Suppose -14 = 3*t + 4*y, m*t - 3*y + 54 = -2*y. Let s = t - -113. Does 12 divide s?
False
Let h(a) = 172*a - 31. Let v be h(4). Suppose -c + v = -w - 109, -3*w + 12 = 0. Is c a multiple of 70?
True
Is 22 a factor of 1584*(-16 + (-629)/(-34))?
True
Let u = 0 - -60. Suppose -4*j + 6*j = u. Suppose -5*a = -2*a - j. Does 3 divide a?
False
Let g(d) = d**3 + 16*d**2 + 13*d - 21. Let r be g(-15). Is 15 a factor of (-1)/9 + 6481/r?
True
Let p(r) = r**3 + 2*r**2 + r - 5. Let u be p(4). Let j(y) = 0 - 102*y + 1 + u*y. Does 3 divide j(-2)?
True
Suppose 9*b = 2*b - 70. Is (b/(-4))/((-16)/(-1888)) a multiple of 9?
False
Let m(t) = -4*t**3 - 51*t**2 - 29*t - 293. Is 159 a factor of m(-16)?
False
Let t(d) = 3*d - 29. Suppose -3*z = -2*k + 2*z - 9, 0 = -k - 3*z + 23. Let x be t(k). Let v(j) = -2*j**3 - 9*j**2 - 14*j - 12. Is v(x) a multiple of 13?
False
Let s be 1170/(-63)*(-42)/2. Let t = 160 + s. Does 11 divide t?
True
Let c be -1 + (-4)/4*-1101. Let z = c - 500. Suppose -7*p + z = -2*p. Is p a multiple of 8?
True
Let x(t) = 3*t + 6. Let q(y) = y**2 - 9*y + 16. Let n be q(6). Let b be x(n). Suppose 0 = -u - o + 18, b = 2*u + 2*u - 2*o - 48. Is 14 a factor of u?
True
Let f be (8/4)/(4/(-206)) - -2. Let s = 103 - f. Is s a multiple of 17?
True
Suppose 4*h - 16 = -2*s, 5*h - 6*s - 33 = -2*s. Suppose 0 = -h*x - 27 + 17. Is (6/8)/(x + 457/228) a multiple of 27?
False
Suppose 2*t - 2006 = -16*t + 2584. Is t a multiple of 6?
False
Suppose -2*o + 3*o = g, 4*g - 14 = -3*o. Suppose 4*s - 48 = -2*v, -3*s - 57 = -g*v + 26. Does 2 divide v?
True
Let z(q) = 18*q - 132. Suppose -4*b = 20, -7*p = -9*b + 4*b - 123. Is z(p) a multiple of 10?
True
Suppose -5*w + 2900 = 2*o, 1271 = 3*o + 4*w - 3065. Is 9 a factor of o?
True
Let r(p) = -p**2 - 12*p + 16. Let o be -2 + -1*(13 - 2). Let a be r(o). Suppose 0 = -i - 4*v + 15 + 47, a*v = -2*i + 144. Is 26 a factor of i?
True
Let d(r) = 4*r**2 + 9*r - 8. Let b(p) = -5*p**2 - 8*p + 9. Let g(a) = 5*b(a) + 6*d(a). Is 6 a factor of g(5)?
True
Let d(o) = -14*o + 12*o**2 + 0*o + 4*o - 11. Let j be d(5). Suppose v + 5*k = 45 + 30, -3*v - k = -j. Is v a multiple of 16?
True
Let m = -12 + 27. Let z = 15 - m. Suppose z = -0*b - 3*b + 264. Is b a multiple of 44?
True
Suppose -81*b = -84*b + 15. Suppose 0 = b*o + 5*s - 1870, 5*s + 19 + 1891 = 5*o. Is 63 a factor of o?
True
Suppose 15*k + 1185 = 7515. Let o = 1482 - k. Does 10 divide o?
True
Let b(c) = 33*c - 11. Let m(w) = 17*w - 5. Let t(s) = -4*b(s) + 7*m(s). Is 26 a factor of t(-19)?
False
Let j = -5591 - -17898. Is j a multiple of 31?
True
Let f(j) = 2*j**2 + 43*j - 26. Let v be f(-22). Is (-12176)/(-24) + v/(-6) a multiple of 12?
False
Suppose 3*m - 16 = -4*h, 0*h = 4*m + 4*h - 16. Suppose -4*n - 2*t + 44 = 0, 0*n + n + 2*t - 11 = m. Suppose 66 = n*z - 8*z. Is z a multiple of 11?
True
Is 1*(-1)/(-1)*-4*8622451/(-2066) a multiple of 85?
False
Suppose 0 = -56*o - 60*o + 1017552. Does 68 divide o?
True
Let t(o) = -23*o + 1. Let m be t(-7). Let y = m + -30. Suppose -y + 0 = -z. Does 22 divide z?
True
Let c(a) = 29*a**2 + 29*a + 1. Let o be c(-1). Suppose l - 4*l + 3 = 3*d, 4*l - 3*d = -10. Is (-137 - 2)*l*o a multiple of 14?
False
Suppose -2*a = 2*x + 16, 0*a - 11 = x + 2*a. Is 20 a factor of x/10 + (-2642)/(-4)?
True
Let l be ((-42)/4)/((-2)/8*3). Let o = l + 41. Suppose o*x - 248 = 51*x. Is x a multiple of 19?
False
Let j = 12679 - 4559. Is j a multiple of 8?
True
Let z = 67 - 68. Let i be 1 + 0 + (-2)/z. Is i - 1*-2*(-33)/(-22) a multiple of 4?
False
Suppose -v - 259 = 12*v - 1273. Does 13 divide v?
True
Suppose 0 = 4*x + 2*c - 31434 + 4682, -3*c = 9*x - 60180. Does 23 divide x?
False
Let t be (-7)/(-3) + (-4)/(-6). Suppose -t*z + 8 + 28 = l, 4*z = -2*l + 48. Suppose -m = m - z. Does 2 divide m?
True
Let n = 117 + -112. Suppose 0 = 9*u - n*u + 280. Let y = u + 163. Does 14 divide y?
False
Does 19 divide 16287 + -7 + 1 + (15 - 3)?
False
Suppose 4*v - 4*x = 10516, -5*v - 5*x + 0*x = -13125. Suppose 3*j - v = -482. Is 15 a factor of j?
False
Let g(p) = p**2 - 77*p + 145. Let i be g(76). Let d = -64 + 18. Let j = i + d. Does 3 divide j?
False
Let u = -697 - -4157. Suppose -2*g = 4*t + u, 1730 = t - 3*t - 5*g. Is 12 a factor of t/(-15) + -2 - (-3)/9?
False
Suppose -5244 = -14*z + 8*z. Let n = z - 650. Is n a multiple of 56?
True
Let x be ((-8)/(-18))/(-2) - (-15072)/(-216). Let c = 108 + x. Is 6958/c - 2/19 a multiple of 10?
False
Suppose 4*d - 171 - 282 = -y, -2*y - 2*d = -876. Suppose y = 3*a - 11. Is 18 a factor of a?
False
Let s(r) = r**2 + r. Let k(y) = 524*y**3 - 5*y**2 - y + 2. Let n(g) = -k(g) - 2*s(g). Is 19 a factor of n(-1)?
False
Let f = -33803 - -47600. Is f a multiple of 9?
True
Let t = 13825 - 9350. Does 25 divide t?
True
Let j(q) = -47*q + 547. Is 2 a factor of j(5)?
True
Let m(l) = -22*l + 1702. Is 36 a factor of m(61)?
True
Suppose 5*k - v = 59401, 113*k - v - 35637 = 110*k. Is k a multiple of 4?
False
Suppose 18*p = 123736 - 23386. Is 18 a factor of p?
False
Let j(o) = o**3 + 3*o**2 + 2*o + 3. Let m be j(-4). Let i = m - -23. Suppose 0 = -i*q + y + 245, -2*q + 230 = 6*y - 4*y. Is q a multiple of 40?
True
Suppose -46*z + 52*z = 360. Does 15 divide z?
True
Let b(y) = 37*y**2 - 5*y - 5. Let t be b(-5). Let q be (-170)/(-51)*11/(220/24). Suppose t = q*i + 5*i. Is i a multiple of 21?
True
Let p = 50 - -19. Suppose 5*j + 4*r - p = 2*j, -4*j + 3*r + 67 = 0. Suppose -4*b = -5*b + j. Does 2 divide b?
False
Is 6 a factor of ((-604)/(-3))/(134/201)?
False
Let a(h) = 16*h**2 + 11*h - 43. Let l be a(14). Suppose 637 = -10*i + l. Does 6 divide i?
False
Let f(y) = -62*y**3 + 2*y**2 + 7*y. Let s(b) = 31*b**3 - b**2 - 3*b. Let q(z) = -2*f(z) - 5*s(z). Is 18 a factor of q(-2)?
False
Let j(t) = 533*t - 273. Let s(k) = -33*k + 17. Let c(n) = -4*j(n) - 65*s(n). Let m be -5*(-1 + 16/(-20)). Does 26 divide c(m)?
True
Let z(c) = 42*c**2 + 5*c + 112 - 328 + 104 + 102. Is z(2) a multiple of 8?
True
Suppose -3*h - 4*t + 6 = -7*t, t = 3. Suppose -h*b = 23 - 43. Is 3 - (2 + (-40)/b) a multiple of 2?
False
Suppose -11*i = -4*i - 147. Suppose -4 = -x, -17*x = 4*b - i*x - 680. Is 54 a factor of b?
False
Let q = -35 - -107. Is 9 a factor of q/(-5)*30/(-4)?
True
Let v(b) = 508*b - 72. Let a be v(8). Suppose -19*y = -a - 2563. Is 46 a factor of y?
False
Let k = 102 - 98. Suppose -2*g + 926 = k*b, 3*b - g = -265 + 962. Does 29 divide b?
True
Let x(h) = 437*h + 167. Does 15 divide x(6)?
False
Let g = 3492 - -25161. Is 13 a factor of g?
False
Suppose -x = h + 115, -4*x + 0*x - 350 = 3*h. Let o = h - -116. Does 25 divide 75/45 + 902/o?
False
Suppose -3*b + 4*b - 5 = 0, 3*n - 2*b - 5 = 0. Let z be (-4)/9 + 2535/1755. Is (-9)/n*(z + -26) a multiple of 15?
True
Suppose 2*w - 6860 = -3*v, -9130 = -4*v - 3*w - 3*w. Does 8 divide v?
False
Suppose -2*i - 45294 = 8*t - 11*t, 0 = -i + 3. Is t a multiple of 21?
False
Let b = -2937 + 4923. Is 8 a factor of b?
False
Let m = -212 + 782. Suppose -36*p = -41*p + m. Suppose -8*j + p + 30 = 0. Does 5 divide j?
False
Let c = -121 - 106. Suppose -3*w + 7 + 4 = s, 2*w + 6 = -4*s. Does 21 divide (-1)/s + c/(-4)?
False
Let p(t) = -t**2 + 9*t - 28. Let l(b) = -b**2 - 1. Suppose -10*i - 1 = -11*i. Let g(n) = i*p(n) - 2*l(n). Does 10 divide g(-17)?
True
Let a be (2/(-4))/((15/(-6))/5). Suppose -a = u, 4*u - 2075 = -4*l - u. Is 40 a factor of l?
True
Let r(z) = -18*z - 146. Let m(f) = 12*f + 97. Let x(c) = -8*m(c) - 5*r(c). Let i be x(-7). Does 16 divide i - (-61 - (-2 - 1))?
False
Let t(a) = -46*a + 6. Let k be t(-6). Suppose -18*c + 24*c - k = 0. Is 6 a factor of c?
False
Let j = 205 + -200. Is 31 a factor of 644 + (-35)/j*-1?
True
Let y(b) be the first derivative of -7/3*b**3 + 5 - 3*b - 3/4*b**4 - 4*b**2. Is 10 a factor of y(-4)?
False
Let d(s) = s + 54. Let r be d(-8). Suppose 18*z - 20*z = -r. Is z a multiple of 23?
True
Is 51 a factor of (-12005616)/(-1176) - 2/(-14)?
False
Let x = 4 - 2. Suppose 8 = -4*o + x*k, -o - 2*k = -k + 8. Is 8 a factor of (-3 - o - -15)/1?
True
Let b = 5145 + 785. Is 28 a factor of b?
False
Suppose 0 = 67*v - 189*v -