Suppose g*u - 471 = 177. Is u a multiple of 6?
True
Suppose -2 - 6 = -2*i. Suppose -i*o - 9 = 23. Let c = 70 - o. Is 6 a factor of c?
True
Suppose 0 = z + 5*o - 22361, -44713 = -2*z - 3*o + 2*o. Is z a multiple of 12?
True
Let j = -49 - -94. Let d = -37 + j. Is 6 a factor of (d + -9)/((1/42)/(-1))?
True
Let g = 80 + -76. Suppose g*t = 5*p - 10*p - 198, 152 = -3*t - 2*p. Is 12 a factor of (-3731)/t - 1/(-4)?
True
Let d = -202 + 219. Is 7 a factor of 2/d - (-18312)/119?
True
Let r(i) = -48*i**3 - i**2 - i. Let l be (1 + -2)*-3*(-16)/48. Is r(l) a multiple of 12?
True
Suppose 236*r - 28375 = 211*r. Is 15 a factor of r?
False
Suppose -14*g = 9*g - 128565 - 136165. Is 16 a factor of g?
False
Suppose 3*m + 5*x + 8 - 1 = 0, -3*m - 9 = 3*x. Is 667*(19/(-76))/(1/m) a multiple of 29?
True
Let v(s) = 15*s - 27. Let n be v(2). Suppose -k = -y - 191, -k - 383 = -n*k + y. Is k a multiple of 12?
True
Suppose -13*u = -5*u - 1312. Let g = u - 59. Is g a multiple of 2?
False
Does 47 divide (-5)/((-35)/(-49)) + 1 + (-7568)/(-8)?
True
Let w(z) = 86*z - 119*z - 15 - 127*z - 8. Is 11 a factor of w(-2)?
True
Suppose -58*b + 130 = -56*b. Let z = 89 - b. Suppose -20*y - 124 = -z*y. Is 4 a factor of y?
False
Is (16 + -4)/(51/19550) a multiple of 25?
True
Let l(g) = 234*g**2 + 74*g - 726. Is l(12) a multiple of 21?
False
Suppose 0 = -2*z + 4*q + 4, -2*z - 3*z - 38 = 2*q. Let i(h) = -67*h - 48. Is i(z) a multiple of 46?
False
Suppose g - 46 = 3*u, -4*g - g = -2*u - 22. Let p(v) = -29*v + 128. Does 16 divide p(u)?
True
Let r = -22006 - -25174. Does 48 divide r?
True
Suppose 53*s - 6388 = 5537. Does 98 divide s?
False
Let h(s) = 2*s**3 + 51*s**2 + 21*s + 23. Let g(a) = -11*a - 91. Let f be g(-6). Is 13 a factor of h(f)?
False
Let m be 1*(5 - 2 - 0). Let a(i) be the third derivative of i**6/40 + i**5/20 - i**4/3 - 222*i**2. Is a(m) a multiple of 14?
True
Does 3 divide (-4 - 1)*(-27)/((-4185)/(-132401))?
False
Let j(v) = v**2 - 2*v + 27. Let q(i) = 3*i - 19. Let c be q(11). Let d be j(c). Suppose -g - 5 = 0, k + 2*k - d = 3*g. Is 15 a factor of k?
True
Suppose 22 = 2*q + 16. Let d be ((-33)/(-6) - q)/(2/12). Suppose -18*c + 84 = -d*c. Does 23 divide c?
False
Let l = -307 - 177. Let c = -292 - l. Is c a multiple of 24?
True
Let q(v) = -v**3 - v**2 - 59*v + 2134. Is 20 a factor of q(0)?
False
Let k(v) = -3*v**3 - 2*v**2 + 4*v - 3. Suppose -2*p + b = -1 - 3, -5*p = 3*b - 21. Let z be k(p). Is 12 a factor of z/25*60/(-9)?
True
Let g(y) = 228*y**2 + 94*y - 186. Does 6 divide g(2)?
False
Suppose 0 = 2*u + 22 - 54. Suppose 0 = 5*a + 17 - 2, i + 5*a = 145. Suppose i - u = 6*v. Is 10 a factor of v?
False
Let k(y) = 39*y**2 + 21*y + 1853. Does 50 divide k(-29)?
False
Is ((-1292)/85 - -16)*(-20795)/(-2) a multiple of 107?
False
Let r be 46000/45 - 4 - (-12)/(-54). Suppose -r = -2*t + 5*x, -x + 2 = -2*x. Does 9 divide t?
True
Let z(p) be the first derivative of 61*p**2/2 + 171*p - 29. Does 13 divide z(6)?
False
Let w(j) = 13*j**3. Let x be w(-1). Let y be (x/13)/((-2)/(-4)) + 16. Suppose y*m - 20*m = -78. Does 3 divide m?
False
Is 208 a factor of (61/((-915)/1872))/((-9)/60)?
True
Let x(d) = 607*d - 2166. Does 34 divide x(6)?
False
Let d(s) = 83*s + 9. Let f be d(4). Suppose -43*n + 36*n = 0. Suppose n = -7*x + 163 + f. Is 19 a factor of x?
False
Let o(j) = 9*j**3 - 13*j**2 + 5*j - 35. Let y(q) = -25*q**3 + 39*q**2 - 15*q + 104. Let a(w) = 11*o(w) + 4*y(w). Is a(11) a multiple of 8?
False
Let m(r) = -r**3 - 12*r**2 - r - 6. Let w be m(-12). Suppose 4*u - i + 1585 = w*u, 0 = 5*u + 2*i - 3963. Is u a multiple of 61?
True
Let d = 89 - 23. Suppose d + 67 = p - 5*w, -2*p - 2*w = -254. Is 24 a factor of p?
False
Let f = 8728 - 6258. Is f a multiple of 6?
False
Suppose -4*h - 9 + 40 = 3*m, -h + 2*m = 6. Suppose -65 = -5*n + h*f, -9*f + 6*f = 0. Does 2 divide n?
False
Suppose -262 = -6*h - 262. Suppose h = 5*n + 5*n - 7810. Is 28 a factor of n?
False
Let l(v) = v**2 - 20*v + 36. Let u be l(18). Suppose u = -5*y + 2036 - 236. Does 39 divide y?
False
Let t(i) = -i**3 - i**2 + i. Let j be t(2). Let o(b) = 3*b**2 - 7*b - 20. Let q be o(j). Suppose -5*h + q = 4*z, -h - 5*z = -2*h + 70. Does 14 divide h?
True
Suppose -f + 5 = 3. Suppose 2*y - 52 = -5*i, -33 = -f*i + y - 5. Suppose -i*w - 188 + 632 = 0. Is 21 a factor of w?
False
Let z be (32/14)/(8/28). Is -595*(10/(-28)*z + 2) a multiple of 85?
True
Suppose 0 = -8*v + 171*v - 536922. Is 8 a factor of v?
False
Suppose 670144 = -128*o + 174*o - 308736. Is o a multiple of 38?
True
Suppose -3*m + 2064 = -3*b - 1869, 3*m = -3*b + 3933. Does 2 divide m?
False
Let r(m) = 3*m - 30. Let p be r(10). Is 22 a factor of 682 - (p/(-15))/(3 + -2)?
True
Suppose -2*j + 6 = -8. Let u be 3/7 - 73/j. Does 19 divide 262/14 + u/(-35)?
True
Let m(y) = -y**3 - 22*y**2 + 3*y + 69. Let j be m(-22). Does 5 divide j/((-33)/(-772)) - 8/44?
True
Let q(i) = -i**2 + 22*i - 81. Let n be q(5). Suppose 2*p - 213 = 3*f, -n*p - 4*f + 313 + 83 = 0. Is 51 a factor of p?
True
Let a(l) = -3*l + 22. Let p be a(6). Suppose -1 + 7 = -2*k + p*u, 3*k + u = 19. Suppose -4*t - 17 = -5, 195 = k*r - 5*t. Is 12 a factor of r?
True
Suppose 0 = m + 1, -l - 3*m + 184 = -3726. Does 91 divide l?
True
Let f = -151 - -157. Suppose 6 = -3*v, -5*w + 11*v = f*v - 500. Is w a multiple of 32?
False
Suppose -5*l + 4*a = -2005, 4*a + 1203 = 3*l + a. Suppose 2*f + 27 = -4*t + 825, f = 2*t - l. Is 10 a factor of t?
True
Suppose -v = 3*u + 25, 0 = 22*v - 18*v - 4*u + 84. Let j(r) be the second derivative of r**3/3 + 63*r**2/2 - 3*r. Is j(v) a multiple of 19?
True
Let t = -370 + 367. Is 7 a factor of (5/t)/(14/(-1218))?
False
Suppose 3*i + 211 = 2059. Let p = i + -369. Is 19 a factor of p?
True
Suppose 574253 - 1744631 = -260*m + 1052622. Is 19 a factor of m?
True
Suppose 3*z - 14275 = -k, 9*k - 5*z = 6*k + 42867. Does 7 divide k?
False
Let i be (-20)/16 + 32218/8. Suppose 24*a + 186 - i = 0. Is a a multiple of 20?
True
Let u be (0 - 0) + -1 + 1. Suppose 0 = -u*p - 7*p + 140. Let r = p + -12. Is r a multiple of 2?
True
Let z = 2537 + -2310. Does 33 divide z?
False
Let q(b) = -397*b + 11303. Does 275 divide q(-92)?
False
Let q be (-1278)/5 + 40/(-100). Does 9 divide (-739)/(-13) + 0 + q/(-1664)?
False
Let z(a) = -a**3 - 21*a**2 - 18*a + 39. Let x be z(-20). Let l be 3*(2/1 - (2 + x)). Suppose -l*k = -28 - 128. Is 4 a factor of k?
True
Suppose -35 = 46*a - 51*a. Suppose 0 = a*g - 387 - 411. Is g a multiple of 5?
False
Let o = -793 + 777. Let y be (1/2)/(7/14). Does 15 divide y + (-267)/(-2) + o/(-32)?
True
Let p(x) = -5*x**3 + x**2 - 39*x + 7. Does 7 divide p(-8)?
False
Let s(t) = -45*t + 134. Let u be s(3). Does 93 divide 1682*6/(-12)*u?
False
Suppose -j = 73*i - 78*i + 143089, 2*j = 2. Is 16 a factor of i?
False
Suppose -h = 3*m - 8546, 16*m - 11363 = 12*m + 5*h. Does 39 divide m?
True
Let h be -5 - (0 - 1*3/(-3)). Let q be (-486)/36 + h/(-4). Is 16 a factor of (-16 - -1)/(q/28)?
False
Suppose -2*i = -3*h - 1, -h - 30*i - 1 = -31*i. Let s(z) = -z + 1. Let m(o) = 12*o + 21. Let l(k) = m(k) - 18*s(k). Is l(h) a multiple of 3?
True
Let f(u) = 488*u - 14286. Is f(67) a multiple of 5?
True
Suppose 47*o = 412117 - 55622. Is o a multiple of 10?
False
Let y(z) = 332*z**2 + 6*z - 6. Let r be y(3). Suppose -6865 = -5*a + 5*l, -3*a + r = 2*l - 1134. Is a a multiple of 43?
True
Let v(j) = 173*j**2 + 22*j - 1. Does 29 divide v(9)?
True
Let m = 156 + 4354. Is m a multiple of 110?
True
Let v be 5 + 12/(-4) + 0. Suppose -4*b - 3*y = 2*y - 155, v*y = b - 29. Suppose 105 = 3*h + 4*x, 0*x = -h - 3*x + b. Is h a multiple of 7?
True
Suppose -6*s = -147 + 87. Does 8 divide (-10200)/(-90)*12/s?
True
Suppose -3*j - 11 = -4*m, -36*j - 6 = -38*j. Suppose -z + 4142 = 4*v, -2385 = -m*v - 2*z + 2794. Is 105 a factor of v?
False
Suppose 56 = 5*k - a, -4*k - 3*a = -13 - 28. Let p(m) = m**3 - 11*m**2 + 12*m - 11. Does 34 divide p(k)?
False
Suppose -40*j + 45*j = -23*p + 26240, -4*p = -3*j - 4548. Does 76 divide p?
True
Suppose -2*q - 5*h = -16, 3*q - 3*h + 14 = -h. Let a be 5*7/(2 - (-5)/q). Does 35 divide (2/6*a)/((-26)/78)?
True
Suppose -36*o = -27*o - 45. Suppose -4*t + 2560 = o*c, -512 = 29*c - 30*c + 5*t. Does 16 divide c?
True
Let x = 922 + 242. Is x a multiple of 12?
True
Is (((-60)/9)/(-4))/((-9)/((-155250)/10)) a multiple of 5?
True
S