*i**2 - 5*i + 6. Let b be s(4). Suppose -t + 3*l - 13 = -b*l, 1 = -t + l. Does 15 divide 0 - (17 - t)/(-1)?
True
Is 12 a factor of (-3 - (-4 + 2)) + 229?
True
Let o(d) = 2*d + 17. Let w be o(-7). Let p(s) = 2*s**2 + 5*s - 4. Does 5 divide p(w)?
False
Suppose 0*r - 5 = -3*m + 2*r, -4*m + r + 15 = 0. Is 3 a factor of 14/(m + (-3)/1)?
False
Let v(t) = t**2 + 5*t - 2. Let g be v(-6). Suppose r + g*r + 110 = 0. Let i = -13 - r. Is i a multiple of 8?
False
Let p be 3 - (-5)/(20/24). Let b = 14 - p. Does 5 divide b?
True
Suppose -8*i + 4*i + 245 = 3*y, 0 = 2*i - 4*y - 106. Does 25 divide i?
False
Let a = 7 + -3. Suppose -4*b - 5*j = -42, 0 = a*b + 4*j - 24 - 20. Does 10 divide b?
False
Let y(d) = 3*d - 19. Let j(p) = -8*p + 56. Let a(w) = 6*j(w) + 17*y(w). Is 8 a factor of a(9)?
True
Suppose 2*g = -2 - 6. Is 12 a factor of ((-8)/10)/(g/200)?
False
Let i = -67 + 154. Is i a multiple of 3?
True
Suppose -l + 4 = -3*l + 3*i, 0 = -3*i. Does 7 divide l/(-10) - 68/(-10)?
True
Let i(u) = u**3 - 3*u**2 + u - 1. Let q be i(2). Let o be ((-1 - q) + -2)/(-2). Suppose o = -y + 5*y - 48. Does 8 divide y?
False
Suppose -1048 + 6880 = 27*s. Does 18 divide s?
True
Let d(p) = -8 - p**3 - p**3 + 3*p**3 + 1 + 17*p - 16*p**2. Is d(15) a multiple of 20?
False
Let c(q) = 4*q**2 - 29*q + 5. Is 29 a factor of c(8)?
True
Let j be (-72)/20*(-10)/2. Let a = j - 13. Suppose c - 23 = 3*q, c - a*q - 21 = -0*c. Is 13 a factor of c?
True
Let o be (0/1)/(0 + 2). Let q(g) be the first derivative of g**3/3 + 6*g - 1. Is q(o) a multiple of 3?
True
Suppose -5*r + 2*s + 208 = 0, 2*r - 2*s - 55 = 33. Is r a multiple of 20?
True
Suppose 274 = 6*w - 4*w. Is w a multiple of 13?
False
Is 4 a factor of -5 + 5 + (-5)/(5/(-66))?
False
Let h = 139 - 74. Suppose -9*n + 4*n = -h. Is 13 a factor of n?
True
Let s = 521 + -306. Does 52 divide s?
False
Let b(m) = m**3 - 5*m**2 - 7*m + 10. Let q be b(7). Suppose q - 275 = -4*y. Suppose -r + 0*g - 5*g = -y, -5*r = -3*g - 130. Does 13 divide r?
False
Let j = -18 + 20. Suppose -5*k + 54 = -j*k. Is 9 a factor of k?
True
Let h = 21 - 12. Is 4 a factor of h?
False
Is 50 a factor of (-6)/75*-5*(-2625)/(-3)?
True
Suppose -25 = -c - 1. Is 6 a factor of c?
True
Let n(u) be the first derivative of -11*u**3/3 + u**2 - u + 2. Let v be n(1). Is (-158)/v + 1/5 a multiple of 8?
True
Suppose -10 = -5*u + 2*t + 14, 5*u - 30 = 5*t. Suppose 0*x = 3*x - 12. Suppose 4*i + 2*h = 56, 0 = x*i - u*h + 2*h - 56. Does 6 divide i?
False
Suppose 3*m = -2*q - 8, -35 = 5*q - 5*m + 10. Let p(y) = y**3 + 8*y**2 + 4*y - 7. Does 6 divide p(q)?
False
Suppose 4*p + 22 = 2*z, 3 = p + 1. Does 8 divide z?
False
Let p = -79 - -209. Suppose f - p = -f. Is f a multiple of 23?
False
Suppose 0*u - 20 = -u. Is u a multiple of 4?
True
Suppose 453 = 4*d - 3*c, -3*c = 2*d + d - 345. Is 38 a factor of d?
True
Suppose -3*g - 6 = -4*g. Let z be (-5)/(-15) + (-2)/g. Suppose 5*r + 2*i - 24 = 136, -4*r - 5*i + 111 = z. Is r a multiple of 18?
False
Suppose -2*a = 3*s - a - 8, -12 = 3*a. Does 4 divide s?
True
Let w = 147 + -135. Does 2 divide w?
True
Let v = -26 + 51. Is 12 a factor of v?
False
Suppose -4*h - 7 = 2*z - 31, -48 = -2*z + 2*h. Suppose -z = -4*r - r. Suppose m - 1 - 4 = 0, 61 = r*g + m. Is g a multiple of 6?
False
Let m be (0*(-2)/(-4))/2. Let k be 2/((-4)/(-2)) + 19. Suppose m*w = w - k. Is 20 a factor of w?
True
Suppose -19 = -3*g - 1. Let b(y) = y**3 + 6*y**2 + 3*y - 6. Let v be b(-5). Suppose p = v*p - g. Is p even?
True
Let t(r) = -r**3 - 12*r**2 - 12*r - 6. Let x be t(-11). Is (-90)/(-4)*(7 - x) a multiple of 17?
False
Is 15 a factor of 45*((-48)/(-90))/((-2)/(-5))?
True
Let i be 6/(-10)*(3 - 8). Suppose -2*p + 4*p - 6 = v, v + 4*p = 0. Is 6 a factor of (v/(-2))/(i/18)?
True
Let d(j) = -4*j + 92. Does 25 divide d(0)?
False
Suppose 4*k + 126 = 7*k. Does 7 divide (k/4)/((-3)/(-6))?
True
Let i(a) = 3*a + 4. Is 11 a factor of i(5)?
False
Suppose 17 = -2*a + 3. Let l = a + 56. Is 14 a factor of l?
False
Suppose -5*n - 5*g + 15 = 0, -5*n - 4*g + 11 = 1. Let t = 0 - n. Suppose p - 18 = -t*f, 3*f - f + 94 = 3*p. Is p a multiple of 14?
True
Let m(w) = w + 12. Let s be m(-7). Is 9 a factor of 33/55 - (-132)/s?
True
Suppose 3*h - 62 = 7. Does 10 divide h?
False
Let p be (540/(-3))/3 + -1. Suppose 21 + 161 = 2*w. Let g = w + p. Does 15 divide g?
True
Let g(i) = 34*i. Let s(u) = u. Let l be s(3). Let b be (1 + 2)*1/l. Does 17 divide g(b)?
True
Let d be ((-2)/(-5))/(1/10). Suppose -d*k + 0*s + 89 = -3*s, 5*s - 45 = -3*k. Does 5 divide k?
True
Let k = -3 + 3. Suppose -3*i + 2 = 5*m, k = -i - 0*i - 3*m - 2. Suppose z - i*z + 69 = 0. Is 12 a factor of z?
False
Let j be 1/1 - -2 - 1. Let d be (4/(-10))/(5/(-600)). Suppose -j*t = t - d. Is t a multiple of 16?
True
Let f be (-14)/21 - 40/(-6). Let q(u) = -7*u + 9. Let r be q(f). Let l = r - -75. Is l a multiple of 21?
True
Let h = -10 + 17. Let c(y) = y**3 - 6*y**2 - 3*y + 10. Is c(h) a multiple of 19?
True
Let d(c) = 2*c**3 - 5*c**2 + c + 2. Suppose 2*t + 1 = 7. Let z = t + 0. Does 8 divide d(z)?
False
Suppose 0 = p - 48 - 24. Is p a multiple of 24?
True
Does 8 divide (-12)/(-54) + (-70)/(-9)?
True
Let d(f) = -25*f**3 - 2*f**2 - f. Let g be d(-1). Suppose 2*b - g = 8. Does 6 divide b?
False
Let r(w) = w - 5. Let x be r(5). Suppose h = 3*s - x*h - 139, 3*h = -2*s + 111. Is 16 a factor of s?
True
Let z(l) = -l**2 - l - 1. Let d(m) = -4*m - 4. Let j(s) = d(s) - 2*z(s). Let t be j(5). Suppose -c + t = 3*h, 0*c + 3*c = 3*h + 66. Is c a multiple of 23?
False
Let r be 9*30 - 0 - 0. Suppose -2*j + r = j. Let i = j - 47. Is i a multiple of 24?
False
Let t(f) = f**2 + 8*f - 6. Let u be t(-9). Suppose u*s + 1 - 13 = 0. Is s even?
True
Let v(z) be the first derivative of 3*z**4/4 - z**3 + 2*z - 3. Is 8 a factor of v(2)?
False
Let r(x) = -21*x - 4. Is r(-1) a multiple of 17?
True
Let u(t) = 8*t - 1. Suppose -2*r = -o - 1, -o + 2*r = -2*o + 7. Is u(o) a multiple of 6?
False
Let x(i) = 7*i**2 - 3*i + 5. Let f(r) = 3*r**2 - 2*r + 2. Let c(t) = -9*f(t) + 4*x(t). Does 8 divide c(-7)?
False
Suppose -5*a + 8*a - 15 = 0. Is 3 a factor of a?
False
Let s(r) = 230*r**3 - r**2 + 1. Is 46 a factor of s(1)?
True
Let b(c) = -c - 2. Let f be b(-6). Suppose -5*q = -q. Suppose -2*k + k + f = q. Is k a multiple of 4?
True
Suppose -b - 2*b = 0. Suppose b*s = 4*s - 32. Is s a multiple of 3?
False
Let q(r) = 43*r + 6. Let s(d) = -22*d - 3. Let m(a) = 3*q(a) + 7*s(a). Is 11 a factor of m(-1)?
True
Let q = 9 + -5. Is 9 a factor of (23/q)/(3/12)?
False
Let p(r) = r + 11. Let n be p(-7). Let j = 0 - n. Is 9 a factor of j/14 - (-130)/14?
True
Is (-1)/(-3 - -1 - 47/(-24)) a multiple of 6?
True
Let i be -4*37*1/(-2). Let p = i + -50. Is 10 a factor of p?
False
Let k be -1 - 3/((-9)/15). Suppose 0 = 3*d - 10 + k. Suppose p = -d*r - 0*r + 20, 0 = r + 4*p + 4. Is r a multiple of 6?
True
Let x be -2*1/4*0. Let f = 22 - x. Does 8 divide f?
False
Suppose 5*j = -25, -f - 2*f - 5*j = -194. Is f a multiple of 5?
False
Let c(v) be the third derivative of v**5/60 - v**4/8 - v**3/6 + v**2. Suppose -54 = x - 10*x. Is c(x) a multiple of 17?
True
Let u(t) = -t**3 - t + 42. Let v be u(0). Suppose v = j + 2*j. Is 4 a factor of j?
False
Let i(z) = -23*z. Let f be i(-6). Suppose 3*b - 8 + 2 = 0. Suppose 3*p = 6*p + b*d - 141, d = -3*p + f. Does 15 divide p?
True
Suppose -23*b + 28*b - 730 = 0. Does 25 divide b?
False
Let y(d) = -d + 3. Let u be y(-1). Suppose q - u*w - 18 = 0, -4*q = w - 46 - 60. Does 14 divide q?
False
Let x(r) = -r**3 + 8*r**2 + 9*r + 2. Let s be x(9). Let k(p) = 5*p**2 - 3*p**s + 5 + 0*p**2. Does 13 divide k(-4)?
False
Let b(i) = -i**2 + 7*i + 1. Suppose 3*q + q + 72 = 0. Let d = -13 - q. Does 3 divide b(d)?
False
Let u = 87 - -4. Does 35 divide u?
False
Let k(p) = p + 10. Let v(t) = -t**2 - 4*t - 3. Let l be v(-5). Let c be k(l). Is c - (-2*1 - -1) even?
False
Suppose 0 = -3*q + w - 2*w - 17, -4*w = -2*q + 12. Is 15 a factor of 508/18 + q/18?
False
Suppose -6*f = -2*f + d - 11, -3*d + 5 = -2*f. Let r be 0 + 1 - -73 - 2. Suppose -r = -f*m - m. Is m a multiple of 12?
True
Suppose -2*y = -3*y + 90. Suppose y = -3*z + 4*z. Suppose 5*a - z = i, -i + 59 = 4*a - 13. Is a a multiple of 18?
True
Let x(h) = -h**3. Let a be x(-2). Let d = a - -34. Does 14 divide d?
True
Suppose 0*h - 2*u = 3*h - 8, -3*h = 