et b be (0 - 1/(-2))/((-7)/(-336)). Suppose -32*r + b*r = -3072. Is 22 a factor of r?
False
Let h be -7 + (3 - -188) - 6. Let w = 228 + h. Is 44 a factor of w?
False
Let t = 2 + 2. Suppose 0 = 5*o + 4*n - 5778, -4*o + t*n = o - 5802. Does 44 divide ((-1)/2)/((-3)/o)?
False
Is 23/(((-451)/(-6710))/41) a multiple of 122?
True
Suppose 4*v - 124 = -4*x, 3*x = 3*v - 41 - 22. Suppose 10*i - v = 284. Does 31 divide i?
True
Suppose -2199414 = -221*p - 139*p + 36186. Does 15 divide p?
True
Suppose -2*w + 2567 = f, -5*w - 3*f - 406 = -6826. Let x = -1021 + w. Is 13 a factor of x?
True
Suppose 11 = 4*m - 1. Suppose 0 = 5*h - 4*b + 270, -8*h - 265 = -3*h - m*b. Is 12 a factor of (-1 + -35)*h/15?
True
Let x(a) = 94*a**3 - 2*a + 1. Let p be x(1). Suppose -5*h = -8*h - 12, p = 3*d - 3*h. Let i = -8 + d. Is i a multiple of 5?
False
Suppose 0 = -80*r + 176645 + 359034 - 138079. Is 14 a factor of r?
True
Let u be ((-2 - (-7 - -5))/(-3))/2. Suppose s - h - 71 = u, 2*h = -5*s + 109 + 274. Is 2 a factor of s?
False
Is 8 a factor of 163 + -158 + -2*(0 - 2328)?
False
Let a be (245/(-30))/7*-6. Suppose -a*z + 2*z + 110 = -5*c, 0 = 5*z - c - 102. Suppose -z - 412 = -6*n. Is 9 a factor of n?
True
Let j(g) = 2*g + 22. Let c be j(12). Suppose c*z = 49*z - 1479. Suppose 0 = 7*y - 963 - z. Does 16 divide y?
True
Suppose 13*h - 2*h = -10*h + 155631. Is 72 a factor of h?
False
Let k be ((-1)/2)/(1/10). Let g(b) = 11*b**2 + 89*b**3 - 74*b - 80*b + 5 + 153*b - 88*b**3. Is g(k) a multiple of 15?
False
Suppose 0 = 3*s - 4*d - 10, -s - 4*d + 6 + 8 = 0. Does 10 divide 2 - s - -3*345/9?
False
Let n(p) = 12*p**2 - 23*p - 5. Let m(y) = y**2 - y. Let d(z) = -18*m(z) + 2*n(z). Is 22 a factor of d(-5)?
False
Suppose a + a + 5*j - 181 = 0, 2*j + 6 = 0. Let g = 63 - a. Is 8 a factor of 14/g*86*5/(-2)?
False
Suppose 4*h - 3 = y, 5*y - 3*h - 15 = 2*h. Let d(w) = 8*w**2 - 5*w - 5. Does 19 divide d(y)?
False
Let g(a) = a**2 - 8*a + 11. Let f(n) = n**2 - n - 1. Let v(l) = 2*f(l) - g(l). Let u be v(-8). Suppose 0 = -u*c + 15, 14 = -b + 2*c + 139. Is b a multiple of 8?
False
Let x be -42*(36/27)/(-2). Suppose u = 5*h + 2*u - 43, u + 21 = 3*h. Suppose h = -2*k + x. Is k even?
True
Let p(t) = 2*t**3 - 15*t**2 - 83*t + 251. Is 131 a factor of p(16)?
True
Let u(q) = -243*q - 1449. Does 21 divide u(-7)?
True
Let j = -1060 + 751. Let r = -154 - j. Is r a multiple of 31?
True
Let l(g) = 14*g**2 + 46*g - 1218. Is l(15) a multiple of 19?
True
Does 38 divide (-3834)/(-2) - (-47 + 37)?
False
Let f = -459 + 879. Is 28 a factor of f?
True
Suppose -5*j = d + 115, -3*j - 71 = -2*d + 11. Let r be (-4)/j + 790/12. Suppose 0 = q - r + 16. Is 10 a factor of q?
True
Suppose 9*x - 24 = 3. Let m be (3 + x)/((-4)/(-8)). Suppose m = -3*k + 171. Does 11 divide k?
False
Suppose q + 4*n + 148 = -2*q, q = -5*n - 42. Let r = 58 + q. Suppose -r = 5*b - 91. Is b a multiple of 3?
False
Suppose 93*s = -67217 + 486833. Is s a multiple of 96?
True
Let w(i) = -3*i**3 - 39*i**2 - 29*i - 68. Let l(v) = 7*v**3 + 79*v**2 + 59*v + 137. Let m(u) = -2*l(u) - 5*w(u). Is 30 a factor of m(-36)?
True
Let d(v) = 77*v - 60. Let s be d(-3). Does 18 divide s*(2 - 3) + -3?
True
Suppose 275637 = 7*b - v, 5*b - 201*v = -196*v + 196905. Is 107 a factor of b?
True
Suppose 0 = -3*h - 3, -13*h + 8*h + 17019 = 2*q. Does 16 divide q?
True
Let n be (-54)/(-8) - (-15)/12. Suppose -n*b = 4*b - 6372. Is b a multiple of 59?
True
Let x be 143/(-11)*(-6 + 1). Let p = x + -63. Suppose 3*z - 5 = -2*z, -p*s - z + 331 = 0. Does 11 divide s?
True
Let s(p) = 92*p**3 + p**2 - p. Let q(j) be the second derivative of -j**3/2 + 19*j**2/2 + 38*j. Let b be q(6). Does 23 divide s(b)?
True
Suppose 16*i - 7*i - 1455280 = -31*i. Is i a multiple of 9?
False
Let x = 71 - 80. Does 6 divide (14/(-8))/(x/324)?
False
Suppose -2692*h = -2707*h + 9090. Does 56 divide h?
False
Let m = -3830 - -5141. Is 23 a factor of m?
True
Let f = -19175 + 20095. Is 8 a factor of f?
True
Let q be 2/22 - (-1601548)/572. Suppose -3*c + q = 11*c. Is c a multiple of 20?
True
Let g be 1*(20 + 3 + -10). Suppose -4*f - 4796 = -4*i, 5*f + g = -2. Does 23 divide i?
True
Let k(c) = c**2 - 4*c - 2. Let h = 72 + -48. Let m = h - 28. Is k(m) a multiple of 30?
True
Suppose -4*m = -4*p - p - 1017, 390 = -2*p - 4*m. Let l be p/(-3) + -5 + 7. Suppose 3*a = -3*f + 42, 6*f - f = -4*a + l. Does 13 divide f?
True
Suppose 251 = 2*p - 3*m, -5*p - 3*m + 605 = -54. Let s = 142 - p. Is 23 a factor of 159/((-8)/((-32)/s))?
False
Let f(c) = -22*c + 6. Let i(j) = 23*j - 5. Let m(g) = -4*f(g) - 5*i(g). Let z be m(-9). Suppose -z = -44*t + 40*t. Is 9 a factor of t?
False
Suppose 0 = 3*k + 5*k - k. Suppose k = 3*u + 2*u - 2*t - 1029, -831 = -4*u - t. Is 11 a factor of u?
False
Let b = -282 + 787. Suppose -b - 860 = -5*q. Suppose -5*s - 4*c + q = 0, 1 = s + 4*c - 60. Is 40 a factor of s?
False
Suppose c + 2*i + 1 = 10, 2*i = -3*c + 19. Let u be 2/c*(4 + -752 + 3). Let o = -195 - u. Does 12 divide o?
False
Let r = 1276 - 639. Suppose 2*v - r = -5*v. Does 13 divide v?
True
Suppose 3*c + 24051 = 505*f - 502*f, f - 8038 = 4*c. Is f a multiple of 45?
True
Let v(g) = -1084*g**2 + 545*g**2 + 533*g**2 + 4 - 6*g**3 - 15*g. Does 66 divide v(-6)?
False
Let p = 488 - 719. Does 5 divide ((-1540)/p)/((-2)/(-24))?
True
Suppose -20*b + 19*b + 4*v - 14 = 0, 20 = -2*b + 4*v. Let u = 31 + b. Is 4 a factor of u?
False
Suppose -4*z = -43 - 1. Suppose j + 14 = 3*n, -5*j + 5*n = z + 19. Is 21 a factor of 60/(-2)*3/j?
False
Let f = -163 - -163. Suppose f = -4*z, -5*v + 135 = 3*z - 8*z. Is v a multiple of 9?
True
Let z(p) = -154*p**3 - 2*p**2 - 40*p - 80. Is 24 a factor of z(-2)?
True
Let y be 0/(-1)*(0/(-7) + 1). Suppose y = 5*v - 856 + 81. Does 43 divide v?
False
Let r(s) = s**2 - 8*s + 6. Let y be r(8). Suppose 0 = -b - 2 + y. Suppose p = -b*o + 365, 190 = 2*o - 0*p + 2*p. Is o a multiple of 45?
True
Suppose 123970 = 10*b + 15*b - 3*b. Does 23 divide b?
True
Suppose -3*l + 3 = l + 3*n, 3*l + 3*n - 3 = 0. Suppose -3*c + 2841 = -20*z + 23*z, -3*c + 3 = l. Is 22 a factor of z?
True
Let s = 3154 - 3030. Does 4 divide s?
True
Let u = -90 + 94. Suppose -p - 2*k = -u*k + 11, 3 = 3*p + 3*k. Is 10 a factor of (-3)/((p/190 - 0) + 0)?
True
Let i be 1*-2*(0 - 6). Is (i/(-15))/(-3*5/4200) a multiple of 14?
True
Let q = 29445 + -135. Is q a multiple of 25?
False
Let s = 250 - 246. Let a be 62/((-3 - 0)/(-6)). Suppose 0*z - 3*q = -2*z + 248, -z + a = -s*q. Does 31 divide z?
True
Suppose 5*y - 43 = -2*q - 7, -5*q - 4*y + 107 = 0. Suppose 0 = -i - q + 179. Does 13 divide i?
True
Suppose 4*a - m - 14687 = 47327, -a - 2*m = -15499. Does 73 divide a?
False
Suppose 2*q + 5*z = -0*z - 260, -131 = q + 2*z. Let f = q - -167. Is 3 a factor of f?
False
Suppose -92*f - 2*a + 12114 = -90*f, 0 = -2*f - a + 12120. Is 47 a factor of f?
True
Let c(z) = 36*z**3 + 3*z**2 + 21*z - 85. Let r be c(4). Let d = r - 1542. Is d a multiple of 40?
False
Let u = -238 - -402. Suppose -u = 10*o - 2614. Is 35 a factor of o?
True
Suppose -33*u = -27*u - 1800. Let v = u + -153. Is 10 a factor of v?
False
Let y be ((-2)/(-4))/(8/19760). Let c be (0 - 10/(-4))/(2/76). Suppose -y = -6*f - c. Does 32 divide f?
False
Let k be (-13 + 12 + -8)*(-2)/6. Suppose -2*i - 358 = -4*i + 5*q, 511 = k*i - q. Is 4 a factor of i?
False
Suppose -17*a + 449901 = 21*a + 19*a. Is a a multiple of 14?
False
Suppose -r = -3*c - 2912, 2*r + 2*c = 4552 + 1320. Does 5 divide r?
True
Let u = -57 - -67. Suppose -2*i + u = 0, 5*b + 4*i - 25 = -i. Suppose b = -4*h + 5*h - 235. Is h a multiple of 40?
False
Is 93 a factor of 18/(85434/17081 + 0 + -5)?
True
Suppose -16*y - 138 = -18*y. Suppose 6*c - 3*c - y = 0. Suppose c = u - 17. Is 20 a factor of u?
True
Let k(m) = -15*m - 28. Let g be ((-18)/27)/(4/(-30)) + 2. Suppose -4*d = -z + 35, -d - 3*z = 2*z - g. Does 25 divide k(d)?
False
Let z be -6*(1 + -3 - 3). Is 26 a factor of (-4 + 223)/(48/z - 1)?
False
Let r(g) = g**2 + 7*g - 5. Let a be (8/(-3))/((-2)/(-6)). Let v be r(a). Suppose 0 = v*s - 3*z - 69, 5*s - z - 2*z - 117 = 0. Does 19 divide s?
False
Let m(y) = -83*y - 21. Let a(p) = p**2 - 3. Let u be a(0). Is 6 a factor of m(u)?
True
Suppose -3*y = 2*o, -3*y - 5*o - 19 = -5*y. Suppose 10*k - 1336 = 8*k - y*q, 5*k + q - 3336 = 0. Does 29 divide k?
True
Suppose 42*m - 156168 - 128