e
Let j be 105/30*32/14. Suppose -j*z = -10*z + 3*f + 516, 4*z = -f + 1046. Is 29 a factor of z?
True
Suppose 3*o + 6*l - 4*l = 16, -2*o - 6 = -2*l. Let u be (o - -6)/((-2)/66). Does 14 divide ((-5)/(-3) + 0)/((-4)/u)?
False
Suppose 0 = 3*n + 5*f - 1616, 5*n - 188 = 4*f + 2456. Does 8 divide n?
False
Let q(i) = 118*i**2 - 3*i + 2. Suppose -s + 2*o + 4 = 0, 2*s - 1 = 4*s + 5*o. Does 39 divide q(s)?
True
Let l = -61 + 81. Suppose -9*q = l*q - 35090. Is 55 a factor of q?
True
Let f = 41332 + -28514. Does 7 divide f?
False
Suppose 3 = 2*p - v - 4, -5*v + 10 = 5*p. Suppose 3*z = -g + 1152, -p*z + 1149 = 22*g - 20*g. Is 11 a factor of z?
True
Let d be 5*(-3 - -2) + 4. Let s(q) = -662*q**3 - q + 1. Is 83 a factor of s(d)?
True
Let m = -86 + 97. Suppose 427 = m*x - 827. Suppose -127*t = -130*t + x. Is t a multiple of 6?
False
Let f be 105 - (1 + 3)/(-2). Let l(s) = 19*s - 226. Let b be l(13). Suppose b = -o + f. Does 6 divide o?
False
Let h(p) = 228*p**2 + 44*p - 77. Is h(5) a multiple of 27?
False
Suppose -31*t + 29*t + 4*i = -41312, -6*t = 5*i - 124055. Is 15 a factor of t?
True
Suppose -5*q + 41 = 31. Let m(k) = 7*k + 10*k**2 - 12*k - 15 + q*k + 4*k + k**3. Does 35 divide m(-7)?
False
Let x = 16066 - 10804. Suppose -593 - x = -5*k. Is k a multiple of 44?
False
Let f(n) = 134*n - 60. Suppose 21 = 2*a + 5*y, 0 = 4*a - y - 3 - 6. Does 18 divide f(a)?
True
Let a = 5791 + -5644. Is 49 a factor of a?
True
Suppose 11*p - 18*p = -27*p + 694620. Is p a multiple of 227?
True
Let m be 1/8*4*2 - 1. Suppose -4*w = 12, m*w + 156 = 2*x - 2*w. Does 9 divide x?
False
Let m(w) be the third derivative of -w**5/60 + 7*w**4/12 + 145*w**3/6 + 8*w**2 - 8*w. Does 3 divide m(20)?
False
Let f(v) = 3*v**2 - 1150 - 7*v - 4*v**2 + 1036 + 2*v**2. Is f(-11) a multiple of 7?
True
Suppose 63 = i + k, 0 = 5*k - 5 - 10. Suppose 0 = -4*n - 16*n + 640. Let m = i - n. Does 7 divide m?
True
Let v = 143 + -140. Suppose v*r = 6*r + 9, 1506 = 3*z + 4*r. Does 46 divide z?
True
Let r = 57433 - 39516. Does 206 divide r?
False
Let v = 30727 + -21303. Does 16 divide v?
True
Let b = -8665 - -14993. Is 17 a factor of b?
False
Is ((-48)/(-18))/((-56)/(-6)) + (-37726)/(-14) a multiple of 10?
False
Let m be 600/(-40)*-3*84/10. Suppose -m*x + 386*x = 864. Does 3 divide x?
True
Suppose -251096 = -212*k + 1637188. Is k a multiple of 2?
False
Let r = -27527 + 49801. Does 14 divide r?
True
Suppose 4*l + 3*f = 124294, -2*l + 425*f - 420*f + 62134 = 0. Is l a multiple of 47?
False
Let x(u) = -9*u - 1. Let t be x(-2). Suppose 5 - t = -3*y. Suppose -2*h = -5*c + 21, -6*h + 2*h = y*c. Is c a multiple of 3?
True
Let l(m) be the third derivative of m**4/2 - 19*m**3/3 - 91*m**2. Does 7 divide l(16)?
True
Let k = 216 - 216. Is 2 a factor of k*(1 + -2) + -20 + 77?
False
Let c(q) = q**3 - 11*q**2 + 10*q + 4. Let x be c(10). Suppose -t + x*n - 38 = -2*t, -5*n = 4*t - 152. Is 6/1 + -4 - (1 - t) a multiple of 16?
False
Let o(z) = -34*z + 18. Let k = 24 - 38. Let y be o(k). Suppose 9*q = 5*p + 6*q - 817, 3*p + 2*q = y. Does 11 divide p?
False
Let a be (7/(-3))/((-5)/(-90)). Let z = a + 43. Is 9*z + (-3 - -3) a multiple of 4?
False
Suppose 5845*g = 5850*g - 20. Let a be (-7860)/(-21) + (-4)/14. Suppose 70 + a = g*f. Does 37 divide f?
True
Let m(b) = 8*b + 59. Let j(t) = -9*t - 65. Let h(f) = 6*j(f) + 7*m(f). Let g = -25 + 17. Is h(g) a multiple of 3?
False
Let n be (1/7 - (-18)/(-28))*-4. Let w be (560/50)/(n/(-15)) + -2. Let x = -35 - w. Does 17 divide x?
True
Let y(z) = -127*z + 2024. Is 56 a factor of y(8)?
True
Suppose -2034 = 15*l + 906. Is 7 a factor of (69/6)/(-1 - 203/l)?
True
Suppose -30 = -4*c - z - 12, -3*c + 4*z = -4. Let h be (-1)/(8/(c/1))*0. Suppose -u + 43 - 7 = h. Is 15 a factor of u?
False
Let s(k) = -k**3 + 16*k**2 + 191*k + 155. Is 25 a factor of s(20)?
True
Let a(g) = g**3 + 4*g**2 - 9*g - 14. Let j be a(-5). Suppose h - 52 = -2*l + j*h, 19 = l + h. Is 2 a factor of l?
False
Does 22 divide (-3)/15 - (1115557/(-85) - 4)?
False
Suppose 29 = 4*k + 2*o - 23, 3*o = 6. Let m = -9 + k. Suppose -m*l - 3 = -18. Is 3 a factor of l?
False
Is ((-157605)/(-840))/(2/272) a multiple of 123?
False
Suppose -9032 + 11444 = 4*i. Does 4 divide i?
False
Suppose -5*j = -4*w - 30, -w - 31 = 4*j - 76. Suppose -j*d + 4522 + 2678 = 0. Is 60 a factor of d?
True
Let s be -1 + 5/2 - (-350)/100. Suppose 0 = 2*g - 2, -s*m + 776 = 3*g - 2552. Suppose m = 26*n - 21*n. Does 19 divide n?
True
Suppose -1087*b + 475520 = -1071*b. Is b a multiple of 24?
False
Let u be (264/(-60) + 12)*(21 - 1). Suppose u*z - 156*z = -3136. Is z a multiple of 92?
False
Let b(p) = -12*p + 19. Let y(z) = -11*z + 19. Let a(k) = -3*b(k) + 4*y(k). Let i be a(-16). Suppose c + 103 = 4*n - 38, 4*n = -c + i. Is n a multiple of 9?
True
Let k(j) = -j - 4. Let t be k(2). Let w(p) = p**3 + 7*p**2 + 6*p + 4. Let u be w(t). Is 6/u*(-1 - -21) a multiple of 30?
True
Let k(x) = 49*x + 62. Is k(3) a multiple of 6?
False
Let y(b) = 43*b**3 - b**2 + 4*b + 1. Let r = 9 - 11. Let g be y(r). Let f = 585 + g. Is 23 a factor of f?
True
Let n be (2 + -2)/(-23 - -22). Suppose 11*s - 303 - 2414 = n. Does 13 divide s?
True
Let z(r) = -2*r**3 - 4*r - 104. Let v(a) = 2*a**3 + a**2 + 3*a + 102. Let p(h) = 3*v(h) + 2*z(h). Does 14 divide p(0)?
True
Let o(c) = -93*c**2 + 2*c - 3. Let s be o(1). Let p(x) = -31*x + 33. Let b be p(-6). Let j = s + b. Does 25 divide j?
True
Let t = 591 - 1012. Let q = 1410 + t. Is q a multiple of 43?
True
Let d = -87 + 90. Suppose z + 5*y = d*y + 131, z - 133 = -y. Does 75 divide z?
False
Let m = -36 - -60. Let q = -24 + m. Suppose q = -5*l + 95 + 595. Is l a multiple of 33?
False
Suppose -10364 = 4*j - 0*j - 4*w, -4*w + 5174 = -2*j. Let s = -1841 - j. Is s a multiple of 7?
False
Let g = -3443 + 9067. Is g a multiple of 8?
True
Let n = -237 - -242. Suppose 2*b = -5*w + 6*w + 399, -616 = -3*b + n*w. Is 28 a factor of b?
False
Suppose 1014 = 8*z + 334. Let q = -22 + z. Is 21 a factor of q?
True
Let k(y) = -y - 33. Let v(b) = -1. Let j(l) = -k(l) + 5*v(l). Let r be j(-16). Does 11 divide (-248)/(-3) + 4/r?
False
Is 0 - ((-75585)/(17 + -2) - (-1 - -4)) a multiple of 89?
False
Let z = 90593 + -49245. Is 7 a factor of z?
False
Let k(t) = -9*t**3 - 7*t**2 - 9*t - 25. Let f be -1 - (-5)/(35/(-21)). Does 25 divide k(f)?
True
Suppose 5*y + 0*l - 5 = -4*l, l - 1 = -y. Let x be 3/((-3)/(-2)) + 129. Does 25 divide (x + -2 + 5)*y?
False
Suppose 4 = 8*u - 12. Suppose 18 = 4*n + u*n. Is 8 a factor of (-9)/((-3)/(6 + n))?
False
Suppose -5*n - 1030 = -5*i, 5*i + 3*n - 594 = 2*i. Is 4 a factor of (-2)/((-1)/i*4)?
False
Suppose 3*t = -5*g + g - 2, 4*g - 34 = 3*t. Is 27 a factor of 23730/90 + (-2)/t?
False
Let v = 4610 + -3602. Is 18 a factor of v?
True
Let c(r) = 165*r**2 - 2*r + 4. Let z(q) = -q**2 + 5*q + 2. Let m be z(5). Does 10 divide c(m)?
True
Suppose 23*p - 788 = 1420. Is p even?
True
Let j be 6/(-5)*(-3200)/48. Is j/(-12)*(0 - 21) a multiple of 10?
True
Let d(p) = 7*p - 2*p + 50 + 0*p - 5 + p**2. Is d(-12) a multiple of 12?
False
Suppose -z + 3*w + 10301 = 0, 15*w = -2*z + 11*w + 20572. Does 124 divide z?
True
Suppose 5*u = 2*u + 132. Does 57 divide 8/u + -1878*8/(-132)?
True
Suppose 5*b - 40 = -5*l, 0*b - 3*l + 16 = b. Let y be (4 - 15/b) + (-9)/4. Is 26 a factor of -173*2*1/y?
False
Let y = -24 + 10. Let s = -8 - y. Let b = s + 74. Is b a multiple of 24?
False
Suppose 16*o = 179121 + 170319. Is o a multiple of 21?
True
Let j = 136 + 301. Suppose j = 2*m - 3*n, -793 = -3*m + 2*n - 130. Does 4 divide m?
False
Suppose -2*z + 9 = -i, 3*z - 20 = -10*i + 5*i. Let o be 2/z - (32/(-10))/(-8). Suppose v - 29 - 121 = o. Does 20 divide v?
False
Suppose -4*x - 1 = 4*d - 33, 4*d = -x + 20. Suppose t - x*c - 121 = 357, 4*t - c = 1882. Is t a multiple of 10?
True
Suppose -983173 = -31*h - 257091. Is 49 a factor of h?
True
Let y(g) = -19*g - 1 + 0*g**2 - g**2 + 14*g**3 + 20*g. Let o be y(1). Is 14 a factor of (1 + o)*(-2 + 6)?
True
Let i = -3520 + 3526. Let q = 85 + -50. Let f = q + i. Does 6 divide f?
False
Let o be 30/(-25)*-995 + 0 + 0. Let p = o + -573. Is p a multiple of 23?
True
Let f = -95 - -61. Let o = 23 + f. Let l(h) = -5*h - 14. Does 11 divide l(o)?
False
Suppose 90*r - 1671122 = -7*r - 56848. Is 13 a factor of r?
False
Suppose -42 = 3*j - 2*j + 5*m, 4*j + 58 = 2*m.