2 + 12*q + 9. Let y be o(7). Suppose -12 = -m - 2*m - 5*r, -4*r - 20 = -y*m. Is m a multiple of 4?
True
Let k = 5946 + -4968. Is 4 a factor of k?
False
Suppose 3*g - 12 + 30 = 0. Is g/4*(940/(-10) - 2) a multiple of 9?
True
Suppose 18 = 22*c - 19*c. Let u(i) = 28*i**2 - 11*i + 5. Does 76 divide u(c)?
False
Suppose 15*h - 2*j = 17*h - 24, -4*j = -2*h + 24. Does 60 divide 3272/h + 16/(-24)?
False
Let m be (-1 + 3)*(-12 - 6). Does 8 divide (0/3 + 3)*(-132)/m?
False
Let i be (-6)/(-15)*31*15. Let w = -31 + i. Let a = 44 + w. Is a a multiple of 16?
False
Suppose -3*h + 15668 = 2*g, -5*h - 23457 = -3*g - 2*h. Does 52 divide g?
False
Let g = 51 + -50. Is 4 a factor of (g/1 - 4) + (-26)/(-1)?
False
Suppose -2*u + 7*u + o - 3467 = 0, 3*u - 2041 = 5*o. Does 7 divide u?
False
Suppose -3*w = -5*a - 15090, 4*w - 20068 = 79*a - 81*a. Is 10 a factor of w?
True
Suppose -38*v + 71478 = -13*v + 41*v. Does 3 divide v?
True
Let r be (12/(-10))/(6/(-15)). Let g = -3 + r. Does 19 divide -1*((g + 2)*-1 + -120)?
False
Suppose -3*g - 4*p + 39179 = -45703, 84882 = 3*g - 3*p. Is 19 a factor of g?
False
Let s(a) = -4*a - 20. Let b be ((-9)/(-4))/(5/40*-2). Let u be s(b). Suppose 20*l - 292 = u*l. Is 15 a factor of l?
False
Let b(z) = 213*z - 1802. Does 2 divide b(25)?
False
Suppose -34*z - 30636 = -145*z. Is 4 a factor of z?
True
Let j(k) = -10 - k - 16 + 3*k - k**3 + 2 - 3*k**2. Let x be j(-7). Suppose 3*q = -32 + x. Is 3 a factor of q?
True
Let b be (-12)/4 - 0 - (-2 + -2). Let w(m) = 36*m**3 + m**2 + m. Is w(b) a multiple of 9?
False
Suppose 79*q - 87 = -4*b + 76*q, q = 5. Let n = 25 + 9. Suppose 2*k + b = 2*o - n, -o = k - 30. Is 14 a factor of o?
True
Suppose -12*t = -13*t + 5. Let s = 10 - t. Suppose -s*f + 400 = 4*a, 5*f + a = -121 + 521. Is 16 a factor of f?
True
Suppose 596874 + 423781 = 81*v + 30835. Is 20 a factor of v?
True
Let y(n) = n**3 - 4*n**2 - 46*n + 19. Let p be y(9). Does 12 divide 12/30 - (-2276)/p?
True
Let m(q) = 39*q - 2925. Is 27 a factor of m(93)?
True
Let c(s) = 2*s + 36. Let y be c(-16). Let t be -8*1/(-3)*(-6)/y. Let h(p) = -3*p**3 - 6*p**2 + 10*p + 1. Is 7 a factor of h(t)?
False
Does 2 divide (5 - 8)/((-162)/(-12)) - (-18587)/9?
False
Let x be ((-23)/(-2))/(((-6)/3)/(-8)). Suppose y - x - 80 = 0. Let v = y - 76. Does 16 divide v?
False
Suppose 9*m - 34*m = -15*m - 4780. Is 41 a factor of m?
False
Suppose 7*x - 26*x + 133 = 0. Suppose 96 + 2256 = x*h. Is 12 a factor of h?
True
Suppose -43*r + 106183 + 40240 = 28990. Does 21 divide r?
False
Let n be (49/14 - 3)/(1/(-2)). Let b = n + 4. Suppose 0 = 2*p - 6, 3*y + p - 228 = -b*p. Is y a multiple of 8?
True
Let b(u) = 2*u**3 + 9*u**2 + 5*u - 1. Let j be b(-4). Is 688 + -4 + 3 + (-6 - j) a multiple of 98?
True
Let a(q) = 10*q**2 + 12*q - 18. Let g be a(3). Suppose 5*t + g = 578. Does 3 divide t?
False
Suppose 116298 = -5*i + 4*i + 19*i. Is 13 a factor of i?
True
Let a(h) = 2800*h - 6832. Is a(19) a multiple of 276?
True
Let s = 5603 + -3295. Suppose -2305*z + s*z = 444. Is 18 a factor of z?
False
Suppose 4*v + p + 4*p - 19 = 0, -v - 3*p - 4 = 0. Suppose v*q = 2*q - 18. Is (3/q)/((-39)/2236) a multiple of 6?
False
Suppose 0*l = -4*d - 4*l, -3 = 2*d + 3*l. Suppose 3*x = d*b - 12, -2 = 3*b + 3*x - 14. Suppose -b*f + 33 + 79 = 0. Does 14 divide f?
True
Let i(q) = 30*q - 5. Let h be (-7)/(7/10)*12/(-30). Let w be i(h). Suppose w = -2*j + 3*j. Is 23 a factor of j?
True
Let x(h) = h + 4*h**3 - 15*h**2 - 9*h + 18*h + 7. Does 7 divide x(7)?
True
Suppose -512*k = -507*k + 15. Let s(t) = 3*t**2 - 8*t - 1. Let p(a) = 4*a**2 - 9*a. Let w(u) = 5*p(u) - 6*s(u). Does 4 divide w(k)?
False
Suppose -4*u + 0*m = 3*m - 9484, 0 = -4*u + 4*m + 9456. Does 16 divide u?
True
Let z(f) = f**2 - 16*f + 42. Let g be z(3). Suppose -i - g*b + 908 = 3*i, 12 = -3*b. Is i a multiple of 16?
False
Let q(j) = 2*j - 2. Let b(g) = -g - 3. Let h be b(-7). Let o be q(h). Is (12/18)/(o/2169) a multiple of 32?
False
Let n = 42 + -39. Suppose -q + k = -137, -4*q + 677 = q + n*k. Does 17 divide q?
True
Suppose -40 = -9*p + 4*p. Suppose p*q - 2351 = 1505. Suppose 5*x - q = -4*z, 3*x = -z + 5*x + 127. Is z a multiple of 41?
True
Suppose -274*u = -271*u - 12446 - 4834. Is u a multiple of 45?
True
Let r(w) = 1631*w - 2128. Does 14 divide r(12)?
True
Is 9 a factor of (-63)/(((2/(-327))/(-1))/(254/(-381)))?
True
Let z be (-22 + -63)*(-41)/1. Does 51 divide (-670)/(-55) + -12 - z/(-11)?
False
Let x = 359 - 131. Let w = x - 184. Does 11 divide w?
True
Let g = -37 + 133. Suppose 15*m - 3*m = -g. Is 21 a factor of 2/3*(-252)/m?
True
Suppose -12*a + 18 + 6 = 0. Suppose a*h = -3*p + 30, -2*h + p + 30 = -4*p. Is 15 a factor of h?
True
Let s = 937 + -2653. Does 6 divide (-10)/((-2)/11 + (-180)/s)?
False
Let i(a) = -3*a**3 - 3*a**2 + 6*a - 2. Let m be i(-6). Suppose 8*d = m + 306. Is d a multiple of 5?
False
Suppose 0 = 795*y - 805*y + 14790. Is y a multiple of 5?
False
Let t be 2*(9/2 + -3). Suppose -7*b - t*c + 246 = -3*b, -2*b - 2*c + 124 = 0. Is b a multiple of 10?
True
Let f(p) = 20*p**3 + 3*p**2 + 0*p**2 + 26*p**3 - 2*p**2. Let t be f(-1). Let l = t + 113. Does 17 divide l?
True
Let c(j) = j**3 - 12*j**2 - 29*j + 9. Let w be c(14). Let b(o) = -45*o - 105. Is 6 a factor of b(w)?
True
Suppose 0 = -7*q - 4797 - 677. Does 17 divide (q/(-184))/(1/52)?
True
Let i(s) be the third derivative of -3*s**4/8 - 4*s**3 + 59*s**2. Is 5 a factor of i(-11)?
True
Suppose -19*m + 26806 = 5695 - 18409. Is m a multiple of 16?
True
Let b(g) = 13*g**2 - 18*g + 5. Let i(p) = -25*p**2 + 36*p - 9. Let o(k) = 7*b(k) + 3*i(k). Is 14 a factor of o(6)?
True
Let p(k) = -6079*k**3 + 13*k + 13. Is 56 a factor of p(-1)?
False
Let y be 44/11 + 1*6. Let m be 1/5 - (-5978)/y - 3. Suppose 165 = 8*a - m. Is a a multiple of 10?
False
Suppose b - 28 = 23. Suppose -14*x = -31*x. Suppose x = -b*l + 49*l + 10. Does 4 divide l?
False
Suppose 95*i = 563246 + 1541004. Does 27 divide i?
False
Let z = 1007 - -4859. Does 25 divide z?
False
Let l(j) = -911*j - 721. Does 22 divide l(-19)?
True
Let n be (-2 + 1 + -41)*61/(-122). Is 22 a factor of -2*3/n + (-3708)/(-42)?
True
Let t(x) = -6*x + 7. Let q be t(7). Let a = 38 + q. Suppose a*w - 132 = -3*d, -5*d + 226 = -2*w + w. Does 7 divide d?
False
Let a(r) = -31*r - 1. Let w be a(-2). Let i = w - 59. Suppose -6*o + i*o = -x + 170, 179 = x - o. Does 33 divide x?
False
Let t = 4 + -5. Let o(w) = -101*w - 7. Let a be o(t). Let z = a - -176. Does 18 divide z?
True
Let w(j) = -11*j + 3*j + 36 - 32 - 19. Let g be w(5). Let b = g - -143. Does 8 divide b?
True
Let z = 273 + 1091. Suppose z - 276 = -17*o. Let m = 96 + o. Does 6 divide m?
False
Let c = -1013 + 635. Is 30 a factor of (20/(-2))/(7/c*3)?
True
Let a(j) = 3*j + 9*j**2 + 1 + 8 - 15 - j**2. Let y(f) = -2*f**3 + 3*f**2. Let n be y(2). Is a(n) a multiple of 33?
False
Suppose 4*z = 8, 4*g - 754 = -z + 1212. Let n = 10 + g. Is 10 a factor of n?
False
Suppose -20 = 2*p + 28. Let f be (32/p)/(4/66). Let w = f + 59. Is w a multiple of 23?
False
Let c(v) = -v**3 - 7*v**2 - v - 6. Let z be c(-7). Suppose -5*p = 2*j + 19 + 80, 2*p = -j - 52. Let i = z - j. Does 23 divide i?
False
Let c(p) be the first derivative of p**4/4 + p**3/3 + p**2/2 + p - 5. Let n(t) = 5*t**3 + 10*t**2 + t + 15. Let l(w) = 6*c(w) - n(w). Is 3 a factor of l(4)?
False
Let p be 1*(-62)/(-22) + 40/220. Suppose 35 = 2*x - z, 5*x - 2*z - 36 = p*x. Suppose 0 = -19*u + x*u + 194. Is u a multiple of 29?
False
Let t(i) = -i**3 + 110*i**2 + 468*i + 152. Is 152 a factor of t(114)?
True
Let s = -4004 + 8124. Does 27 divide s?
False
Let c(g) = -g**3 - 4*g**2 + 15*g + 18. Let w be (-385)/70 + (1 - (-10)/(-4)). Is c(w) a multiple of 15?
True
Suppose -4*x - 4*k = -11664, 36*x - 3*k - 2928 = 35*x. Does 5 divide x?
False
Let i(k) = k + 9. Let a be i(4). Suppose a*w + 32 = 357. Is w a multiple of 21?
False
Let f be (-78)/(-52)*(-21 - (0 + 1)). Let d = -33 - f. Suppose -4*g - 5*h + 500 = d, g - 13 = -h + 111. Does 12 divide g?
True
Let r = 236 - 233. Suppose 5*p + 5*u - 1875 = 2525, -r*p + 2636 = 4*u. Is p a multiple of 68?
True
Let v(z) = z**3 + 12*z**2 - 23*z - 40. Let s = 752 - 761. Does 22 divide v(s)?
False
Is 10 a factor of 271746/60 + 17/(-170)?
False
Let u(n) = -n**3 - 2*n**2 - 6*n - 4. Let z be u(-2). Suppose z*t - 1350 - 2906 = 0. Is 76 a facto