e
Is 29 a factor of 18/63*-28*(2 - (1 - -600))?
False
Let v = -6557 + 11047. Is v a multiple of 10?
True
Suppose -652 = 5*i + g, -4*i - 148 = -2*g + 368. Let w = 144 + i. Is w a multiple of 3?
False
Let o = -76 - -74. Let b be -8 + 5/1 + 0 + o. Let c(k) = -7*k + 31. Does 6 divide c(b)?
True
Suppose 0 = -2*w - 2*d + 148, 0*d - 194 = -3*w + 4*d. Suppose 67*s = w*s + 312. Let v = s + 111. Does 7 divide v?
True
Let x = 5969 - 2405. Does 36 divide x?
True
Is 2 a factor of 18/(-15) - (-57)/(-76)*(-5744)/15?
True
Suppose 3*z - 2*z + 10 = -3*g, 5*z + 50 = -3*g. Suppose 0 = 2*w + 10, -3*w + 6 = 2*d - 5*w. Is 8 a factor of (0 + d)*55/z?
False
Let l be 404*8 + (-7 - 0 - -7). Suppose -l = -8*a + 1744. Is a a multiple of 50?
False
Suppose -2*k = 2*k - 244. Suppose -38*c + 261 = -9*c. Let u = c + k. Is 13 a factor of u?
False
Let o = -82 + 89. Suppose -995 = -12*k + o*k. Is k even?
False
Let l = 345 + -335. Is 115*(l + -6 + -2) a multiple of 8?
False
Let o = -92 - -88. Let v(l) = 8*l + 30. Let c be v(o). Let j(t) = -5*t + 7. Is j(c) a multiple of 4?
False
Suppose -4*y + 18383 = -j, -5*y - 29*j = -32*j - 22977. Does 19 divide y?
False
Let x(u) = u + 11. Let v be x(-11). Suppose 0 = -v*s + 7*s - 35. Suppose -37 = -n + 5*b, 20 = -0*b - s*b. Is n a multiple of 5?
False
Let a = -297 - -294. Suppose 2*d + 4 = -h - h, h + 1 = -2*d. Is ((-510)/a - 1) + (1 - d) a multiple of 48?
False
Let t(o) = -2015*o**3 - o**2 + o + 3. Does 42 divide t(-1)?
True
Let v = 47 + -43. Let u(q) = q + 7. Let x(n) = -2*n - 14. Let d(s) = v*x(s) + 9*u(s). Is 2 a factor of d(7)?
True
Suppose 5*x + 4*b - 7149 = 0, 2*b + 2855 = 2*x - b. Let u = x - 809. Is u a multiple of 11?
False
Let i(w) = w**2 - 52*w + 9. Let y be i(0). Let r = -3739 + 5251. Suppose -r = -y*h - 0*h. Is 21 a factor of h?
True
Suppose -7*j + 2*j + 30 = 3*c, 18 = 3*j + c. Let p be ((-21)/j)/(3/(-78)). Is 12 a factor of 14/p + 620/26?
True
Let a(h) be the second derivative of -h**5/10 - 3*h**4/4 - h**3/6 + 6*h**2 - 8*h. Let d be a(-5). Suppose 20*s - 18*s - d = 0. Does 3 divide s?
True
Let r(m) = 12*m**2 + 33*m + 207. Is r(-14) a multiple of 170?
False
Suppose 3*j - 7*t + 2*t = -13, 3*t = 3*j + 15. Let g be -57*((-4 - j) + -3). Let u = -33 + g. Is u a multiple of 8?
True
Let u(w) be the third derivative of -w**6/120 + w**5/30 + 5*w**4/24 + 2*w**3/3 - 12*w**2. Let x be (0 + -4)/(15 - 13). Is u(x) a multiple of 4?
False
Let m(f) = 8*f + 7000. Is 16 a factor of m(-169)?
True
Suppose -39*t + 84 = -25*t. Suppose -t*f - 3100 = -31*f. Is f a multiple of 4?
True
Suppose -21*m + 11*m = 250. Is (-31170)/(-50)*m/(-15) a multiple of 46?
False
Let o be (-14)/(-4) + 4/8 - -378. Suppose y = -4, -4*k + k = -y - o. Is k a multiple of 18?
True
Suppose 9375 = 3*n - 3*g, -3*n = -2*g - 9308 - 66. Let l be 38/(-285) + n/30. Suppose -4*i + m + 135 = 0, 0*i - 3*i = 2*m - l. Is 33 a factor of i?
False
Suppose -5*x - 2*h + 29 = h, 0 = -2*x + 5*h - 7. Suppose -5*z = -t - 34, -8*t + 30 = x*z - 6*t. Suppose -z*j = 150 - 430. Does 5 divide j?
True
Let d(p) = -488*p - 3393. Is d(-13) a multiple of 13?
True
Suppose -2*p - 118 + 310 = 0. Let c be -1 + (10/35)/(16/(-88))*-7. Suppose 0 = c*x - 6*x - p. Is x a multiple of 24?
True
Let q be 16/(-112) + 13/(-7). Is (-25327)/(-285) - q/15 a multiple of 3?
False
Let k(x) = 2*x**2 - 9*x + 14. Let y be k(2). Suppose -4*s + 5*i + 2006 = 0, -2*s + 310 = -y*i - 690. Does 46 divide s?
False
Let f be 30/35 - 48860/(-49). Suppose 18*v - 10936 - f = 0. Does 22 divide v?
False
Suppose 734397 = 67*p + 57748 - 98474. Does 23 divide p?
True
Let u = 13912 + -11580. Is u a multiple of 190?
False
Let y(h) = 16*h**2 - 356*h - 51. Does 23 divide y(-27)?
False
Let v(d) = 99*d**2 - 2*d - 2. Let c be v(2). Let n(t) = 2*t**2 - 52*t + 52. Let l be n(25). Suppose 0 = x - 1, -5*p - 87 = -l*x - c. Is 16 a factor of p?
False
Let g(p) be the second derivative of p**4/2 + p**3/3 - 22*p**2 - 209*p. Is g(-8) a multiple of 54?
True
Let a(d) = 39*d**2 + 19*d + 99. Is a(-5) a multiple of 2?
False
Suppose -1284 = -a + 1026. Is 3 a factor of a?
True
Let v = -14 - -27. Let t(n) = 2*n - 26. Let u be t(v). Suppose 4*y = -u*y + 5*q + 163, 122 = 3*y - 4*q. Is 9 a factor of y?
False
Let h(z) = 156*z + 1680. Does 32 divide h(-4)?
True
Let j(t) = -t**3 - 9*t**2 - 16*t + 11. Let d be -2 + -1 - (-2 + 6). Let z be j(d). Suppose -z = -5*s, s = -w - s + 190. Does 28 divide w?
False
Let t(d) = -d**2 - 5*d + 12. Let j be t(-6). Suppose -2*c + 0*w - 8 = -4*w, j = 4*c + 3*w. Suppose c = -45*u + 48*u - 240. Is 7 a factor of u?
False
Let r(b) = 2*b**2 - 27*b + 112. Let i be r(12). Is (42/147 - i/21)*-75 a multiple of 25?
True
Let y = -277 - -1181. Suppose -y = 104*s - 108*s. Suppose -z + s = 4*m, 0*z = 2*z - m - 461. Does 46 divide z?
True
Let m be (-2)/3 - (29472/18)/(-8). Let b = m + -146. Does 29 divide b?
True
Let x be (3 + (-4 - -2))/1 + 566. Suppose -x = -4*c + 569. Is c a multiple of 24?
False
Let v(p) = 6*p**3 - 26*p**2 - 6*p + 51. Is 22 a factor of v(12)?
False
Is (-10 - 798/(-63)) + (-43772)/(-6) a multiple of 6?
False
Let x(n) = 268*n - 7. Suppose 4 + 4 = 3*i - c, 5*c + 24 = -i. Is x(i) a multiple of 9?
True
Let k(g) = 402*g**2 + 97*g - 307. Does 17 divide k(-9)?
True
Let p(s) = -2*s**2 + 8*s + 3. Let i(n) = n**2 + 1. Let g(f) = -3*i(f) - p(f). Let b be g(-7). Is (-10)/(-2) - b - -154 a multiple of 20?
False
Let m(s) = s**2 - 9*s + 4. Let t be m(9). Suppose -7*f - 5*f - 5*f = 0. Suppose -5*g + 60 = -f*g - t*w, 0 = 2*g - 4*w - 12. Is g a multiple of 8?
True
Suppose 465 = 8*i - 799. Let h = -139 + i. Does 13 divide h?
False
Suppose 2*s + 4*n - 8 = 0, 6*n = -2*s + n + 9. Does 13 divide -6*((s + -29 - -4) + -3)?
True
Is 78/(309/(-416) + (-39)/416*-8) a multiple of 55?
False
Suppose -88 = -2*b - 4*h, b - h + 9 = 53. Suppose 4*a - 58 = -4*o + 22, 2*o + 3*a = b. Let g = 48 - o. Does 4 divide g?
True
Suppose 0 = -9*z + 242 + 784. Suppose z*h - 3960 = 94*h. Is h a multiple of 6?
True
Let v(a) = -7*a**3 - a**2 + 4*a + 17. Let s(n) = n**3 - n**2 - n + 1. Let j(y) = 6*s(y) + v(y). Let r be j(-6). Let g(c) = -58*c + 4. Does 10 divide g(r)?
False
Suppose -4*n - 240 = -12*n. Is n/(-4)*-1*36/2 a multiple of 15?
True
Let g be (-3570)/27 + 0 - 24/(-108). Is 12 a factor of (-1)/(3/g) + -5?
False
Is 6/14 - (-3 + (6 - (-544761)/(-49))) a multiple of 13?
True
Suppose n = 4*t + 272 + 230, 3*n = -6. Let a = -124 - t. Suppose a*r - 10 = 0, 3*k = -k - 3*r + 1071. Is k a multiple of 47?
False
Suppose -94*z + 197608 = -1333370. Is 141 a factor of z?
False
Suppose 159*w - 8*w - 1649373 = 0. Does 10 divide w?
False
Suppose 7*y - x = 2*y - 10, -12 = -3*y - 3*x. Is 13 a factor of (-1 + 4)/(21/938) - y?
False
Let d(s) = 9*s**2 + 11*s - 1. Let a(w) = w - 1. Let f(b) = -5*a(b) + d(b). Let z be f(6). Suppose 4*c + 4*g - z = g, g = -4. Is c a multiple of 30?
False
Let c(b) = 93*b - 3. Let y be c(1). Suppose 12*q - y = -18. Does 9 divide (2541/(-63))/((-2)/q)?
False
Let i(r) = -r**3 + 8*r**2 + 7*r - 2. Let l be i(8). Suppose -58*g + l*g + 32 = 0. Does 2 divide g/32 - 46/(-8)?
True
Let r = -5082 - -16027. Is r a multiple of 11?
True
Let r(l) = l**2 + l + 1. Let n(z) = -124*z**2 + 5*z + 6. Let g(b) = -n(b) + 6*r(b). Let s be g(1). Let x = 230 - s. Does 13 divide x?
False
Let x = -31089 - -42018. Is 7 a factor of x?
False
Is -2 - 3 - (4/(-3) + (-1362790)/33) a multiple of 17?
True
Does 14 divide (-7)/2 - 253/(-46) - -6958?
False
Suppose 767 = -19*r + 7398. Let w = 15 - 6. Suppose w = -5*m + r. Is 4 a factor of m?
True
Let y = 309 - 305. Suppose -887 = -2*q - y*j + 535, 2*j = 8. Is 27 a factor of q?
False
Let w be (23/(-5) - -3)/(5/50). Let v = w - -33. Let b = v - -86. Does 11 divide b?
False
Suppose -263*z = -259*z - 8748. Does 27 divide z?
True
Let q(f) = -f + 1. Let p(o) = 42*o - 1. Let w(r) = -p(r) + 5*q(r). Suppose a + d = 0, 6*a = 3*a - 4*d + 2. Is 25 a factor of w(a)?
True
Suppose 0 = -49*i - 57*i + 934708. Does 5 divide i?
False
Let v(h) = -31*h + 221. Let n be v(7). Let r be -146*3/6 - -3. Does 7 divide (n/(-1))/(-5 + (-343)/r)?
False
Suppose -76*k - 69316 + 238270 = -18*k. Is k a multiple of 3?
True
Let c be (2 - 4) + (-12)/(8/(-4)). Suppose j - 13775 = -c*j. Does 22 divide (j/87)/((-1)/(-3))?
False
Suppose 26*k - 2963 - 2237 = 0. Suppose 0 = 194*g - k*g + 936. Does 26 divide g?
Tru