Let c be s(z). Is 8 a factor of 180/(-27)*12/c?
True
Suppose -4*s = -218 - 178. Is s a multiple of 33?
True
Suppose -5*l + 357 = s, -4*l + 2*s + 276 = -2*s. Let u = l + -19. Let f = u - 36. Does 16 divide f?
True
Let t = -21 - -15. Let z be ((-7)/(-2))/((-1)/t). Let v = z - 15. Does 6 divide v?
True
Let i(g) = 7*g**2 + g - 1. Suppose -2*x + 0*x + 3*v - 2 = 0, -2*x - v - 2 = 0. Let b be i(x). Suppose 0*j + j - m = 11, b*j + 2*m = 76. Is j a multiple of 3?
False
Let q = 59 + -49. Is 4 a factor of -2*(-15)/12*q?
False
Let g = 119 + -117. Suppose -3*n + 290 = g*z + n, 4*n - 719 = -5*z. Does 13 divide z?
True
Let p = 202 + 590. Is p a multiple of 18?
True
Let j = 563 - 30. Does 13 divide j?
True
Let f be 18/(-42) - 208/(-28). Let w(n) = -2*n**2 - 2 + 6*n**2 + 8*n - 5*n**2. Is 5 a factor of w(f)?
True
Let u(b) = -b + 4. Let l be u(0). Let k be ((-6)/l)/((-24)/1216). Let h = k + -50. Is 10 a factor of h?
False
Suppose 0 = -11*p + 8*p + 537. Let m = p + -44. Is 9 a factor of m?
True
Let r(p) = -p**2 - 9*p - 5. Suppose -w - 4 = -0. Let u be r(w). Suppose 3*n = -6 + u. Is n a multiple of 3?
True
Let t be (-530)/(-45) - 4/(-18). Let l(o) = 9*o + 39. Is 21 a factor of l(t)?
True
Suppose 129*x - 72 = 127*x. Is 5 a factor of x?
False
Suppose 10*h + 2*v = 14*h - 2126, 2*h - 5*v = 1059. Is h even?
True
Let o(p) be the first derivative of p**2 + 3 + 2*p**3 - 1/4*p**4 - 8*p. Does 2 divide o(6)?
True
Suppose 3*g + 887 = 2264. Is g a multiple of 17?
True
Let y(l) = -l**2 - 11*l + 19. Let i be y(-13). Let h = 12 + i. Suppose 0 = -x + 1 + h. Does 6 divide x?
True
Suppose 0 - 5 = -5*w. Let v be (-1 - (-1 - w)) + -28. Let p = 37 + v. Does 10 divide p?
True
Let u = 388 - 115. Is 39 a factor of u?
True
Let h(g) = g**2 + 16*g - 11. Is 4 a factor of h(-19)?
False
Let k(i) be the second derivative of i**4/12 - 5*i**3/6 - 15*i**2/2 + 11*i. Is k(11) a multiple of 9?
False
Let a = -3 + 7. Let c(b) = 0*b + 19*b**3 - 2 + 6*b - a*b - 5*b**3. Is 5 a factor of c(1)?
False
Suppose -j - j = r - 5, -r = 5*j - 17. Let i be (12/(-10))/(22/(-55)). Suppose -i*y + 73 = 3*q + 2*q, q = j*y - 128. Is y a multiple of 10?
False
Is -4 - -71 - (8 + -2) a multiple of 3?
False
Suppose 5*u - u = -5*x + 7, -4*u = x + 5. Let r(j) = 50*j - 4. Let c(m) = 52*m - 4. Let h(n) = 5*c(n) - 6*r(n). Is h(u) a multiple of 18?
False
Let x(d) = -d**3 + 11*d**2 - 6*d - 8. Let s be (-2 - (-32)/12)*(-15)/(-1). Is 8 a factor of x(s)?
True
Let y(s) = 31*s + 14. Let l(d) = -6*d - 3. Let f(a) = 22*l(a) + 4*y(a). Let u be f(8). Does 21 divide -1*1*(u + 11)?
True
Let i be -2 + 2 + 1 - -2. Suppose 0 = -i*f + f + 336. Is 43 a factor of f?
False
Let g(m) = m**3 + 28*m**2 - 67*m - 102. Is g(-30) a multiple of 54?
True
Let i = 914 + -888. Does 19 divide i?
False
Let b = -50 + 86. Does 11 divide b?
False
Let i(u) = -2*u**2 + 2*u + 156. Is 3 a factor of i(0)?
True
Let u(p) = -11*p**2 + 3*p - 7. Let s be u(5). Let v = -171 - s. Let j = v + -5. Is j a multiple of 28?
False
Let h = -66 + 101. Let l be 18/30*(-36 + 1). Let g = h + l. Is 7 a factor of g?
True
Let v = -157 - -337. Does 10 divide v?
True
Let y be 24/(-84) - (-60)/14. Suppose y*j + a - 112 = 0, 2*j - 5*j = -5*a - 61. Is 8 a factor of j?
False
Let k(m) = 381*m**3 - m**2 + 4*m - 4. Is k(1) a multiple of 20?
True
Let d(a) = 4*a - 83. Let v be d(18). Let m = -28 - -43. Let s = m + v. Does 2 divide s?
True
Let p = 11 + -7. Let w(m) = 36*m - 18. Is w(p) a multiple of 14?
True
Suppose -7*x - 84 + 581 = 0. Is x a multiple of 11?
False
Let g(m) = -m**2 - 4*m + 1. Suppose 8*a - 6 = 10*a. Let s be g(a). Suppose -2*d - 2*f + 46 = 0, f = d + s*f - 33. Does 6 divide d?
True
Let v be -18*(0 + -2 - 1). Let f = v + -12. Let w = f - 23. Does 12 divide w?
False
Suppose z + 5 - 4 = -4*m, 2*m - 52 = -4*z. Suppose -z*d = -97 - 548. Does 43 divide d?
True
Let d(v) = -v**3 + 9*v**2 - v + 11. Let j be d(9). Suppose 4*t - 24 = -j*t. Is 1 - t - (-44 + -2) a multiple of 27?
False
Let t(b) = 4*b**3 + 92*b**2 - 5*b - 50. Is t(-23) a multiple of 4?
False
Suppose 12 = 3*k + 3, 189 = 3*r + 3*k. Is 6 a factor of r?
True
Let c(z) = 8*z**2 - 6*z + 14. Is c(6) a multiple of 14?
True
Suppose -3825 + 9948 = 13*z. Does 22 divide z?
False
Let v(w) = 55*w**2 - w - 6. Let i be v(-2). Suppose -4*p + 5*p = i. Does 37 divide p?
False
Let q = 791 - 743. Is q a multiple of 4?
True
Suppose 4*i = -2*h - 3*h - 3, -i - h = 0. Let l(m) = 10*m - 1. Is l(i) a multiple of 4?
False
Suppose 0*x - 2*s = 2*x - 254, 4*x - 502 = -2*s. Is x a multiple of 34?
False
Suppose -5*h = 5*j - 50, 25 = -0*h + h + 4*j. Suppose -m + 2*i + 10 = -32, -h*i + 66 = 2*m. Does 35 divide m?
False
Suppose m - 462 = -2*k - 2*m, -3*m + 924 = 4*k. Let i = k + 0. Does 21 divide i?
True
Does 27 divide 2*(0 + -1) - -434?
True
Let j be (-2)/(8/5)*(-96)/4. Is ((-9)/6)/(29/j - 1) a multiple of 18?
False
Is 23 a factor of 14319/74 + 3/2?
False
Let k(g) = -g**3 - 2*g**2 - 3*g - 3. Let y be k(-3). Is 18/8*160/y a multiple of 12?
True
Let a(n) = n**2 - 7*n + 9. Let l be a(6). Suppose -v - 39 = m, 0*v - 5*v + l*m = 163. Is 15 a factor of ((-150)/v)/(1/7)?
True
Suppose 9*g - 408 - 1059 = 0. Is g a multiple of 5?
False
Suppose 3*i + 0 + 3 = 3*r, -2*r + 4 = -i. Suppose 2*g - 4*g + 376 = x, 0 = -r*x. Suppose c = -2*q + 67, -5*q - g - 162 = -5*c. Is c a multiple of 23?
True
Suppose 0 = -q + 2*i + 5, -8 = -3*q + 5*i + 7. Suppose -316 + 126 = -q*g. Is 10 a factor of g?
False
Suppose 0 = -144*y + 145*y - 468. Is y a multiple of 39?
True
Suppose -3*b + 293 = 4*r, b = 9*r - 6*r + 76. Does 91 divide b?
True
Let j = 191 + 49. Does 30 divide j?
True
Suppose -3*i = -13 + 4. Suppose -1 = -i*k + 2. Is 8/(-12)*(k + -34) a multiple of 22?
True
Suppose -i = -3*o + 4598, 4*o - 4*i + 3*i - 6130 = 0. Does 15 divide o?
False
Let f = -28 + 28. Suppose 8*i + f*i = 40. Is 10/(-3)*(-12)/i a multiple of 4?
True
Let j(i) = -4*i**2 + 19*i + 9. Let s be j(6). Is (-2358)/(-42) - (-3)/s a multiple of 7?
True
Suppose 328*t - 1508 = 324*t. Does 10 divide t?
False
Let v = 2 - 9. Let s(d) = -3*d - 5. Does 4 divide s(v)?
True
Suppose 17*x - 5170 = 6781. Is 37 a factor of x?
True
Suppose -i + 61 = 17. Suppose 4*t - 87 = -2*k + t, k + t = i. Is k a multiple of 15?
True
Let u(s) be the second derivative of s**4/12 - 4*s**3/3 + 16*s**2 - 15*s. Is 40 a factor of u(16)?
True
Suppose 13*i = -5*r + 12*i + 6170, 5*r - i = 6170. Is r a multiple of 12?
False
Let c = -36 + 38. Let m(r) = -5*r**3 + 2*r**2 - 2*r - 2. Let l be m(c). Does 6 divide -1 + -3 - 0 - l?
False
Is 14 a factor of ((-35)/4)/((-85)/2856)?
True
Let d be -6*1 - (-8)/(-4). Let z(q) = -q**3 - 8*q**2 - 2*q - 12. Is 4 a factor of z(d)?
True
Let d(k) = k**3 - 11*k**2 + 16*k - 12. Let s be d(10). Suppose s = 2*q + t - 4*t, 0 = -4*t. Does 8 divide q?
True
Let o be -19 + 71 + 0/(-1). Let x = o + -39. Does 8 divide x?
False
Let c be ((-3)/2)/(2*(-4)/176). Let n = c - 8. Is n a multiple of 9?
False
Is ((-11)/((-55)/480))/(2/63) a multiple of 8?
True
Suppose 0 = 5*d - 4*s + 688, 3*d - s = -138 - 272. Let w = -95 - d. Is 7 a factor of w?
False
Let z = 9 - 20. Let d(j) = j + 17. Is 3 a factor of d(z)?
True
Suppose 26*z = 36*z - 8860. Does 57 divide z?
False
Let d = 0 - -6. Let w = 12 + d. Suppose -2*z - w = -50. Is 8 a factor of z?
True
Let k(x) = 3*x**3 - 35*x**2 + 24*x + 17. Let v(r) = 4*r**3 - 52*r**2 + 36*r + 25. Let i(j) = -7*k(j) + 5*v(j). Does 35 divide i(-16)?
True
Suppose y - 3*n + 1 = -2, 4*y + 4*n = 36. Is (138/15)/(y/15) a multiple of 21?
False
Let a(k) = 28*k - 248. Is 24 a factor of a(14)?
True
Let g be 0/(-3*8/12). Suppose g = -0*w - 2*w + 28. Is w a multiple of 14?
True
Suppose -4*o - 116 = -p, -2*p - 2*o - 422 = -6*p. Is 13 a factor of p?
True
Let o be 92/22 + (-34)/187. Let x = -2 + 4. Suppose -o*w - 68 = -3*z - x*w, -2*z = -4*w - 40. Does 12 divide z?
True
Let y(p) = -65*p - 1. Let m be y(-1). Let o = m - 46. Let s = 6 + o. Is 24 a factor of s?
True
Let u(d) be the first derivative of d**3 - 4*d + 1. Let p be (-20)/8*(-12)/(-15). Is u(p) a multiple of 3?
False
Let q = 12 + -4. Let y be (-10)/15 - q/6. Is 22 a factor of -3 + (-6)/y - -22?
True
Suppose 4*b + 15 - 103 = 0. Suppose 5*z = 77 - b. Does 18 divide z/66 - (-107)/6?
True
Suppose 5*g = -0 + 15. Suppose -2*k - 1 - 5 = -5*l, 0 = -l - k - g. Suppose l = -4*y + 20, -m + 3*m + 5*y - 1