*q + 44 = -0*k + 2*k, -q + 5*k + 4 = 0. Suppose -n + 11 = -q. Does 5 divide n?
True
Let w = 11313 - 2184. Let x be w/34*((-16)/(-6) - 2). Let o = 29 + x. Is 27 a factor of o?
False
Let q be 160/5*(-1)/(-1). Is q/(-208) - (-574)/13 a multiple of 4?
True
Let c(n) = -n**3 - 23*n**2 - 15*n - 19. Let u be c(-23). Let y = -131 + u. Is y a multiple of 13?
True
Let n = 61 - -1268. Is 67 a factor of n?
False
Let d(f) = -2*f**2 - 9*f + 10. Let r = 39 - 44. Let n be d(r). Is 25 a factor of 36/2*(n - (-3)/(-1))?
False
Let h(d) = -4*d**3 - 138 + 67 + 61 - 5*d**2 - d. Does 11 divide h(-4)?
False
Suppose 2*i - 7*i = -4*y + 2917, 3*y - 2205 = -2*i. Let g = -323 + y. Is 22 a factor of g?
False
Let o = -205 + 175. Is (-84)/(-10) - 2*(-6)/o a multiple of 8?
True
Suppose 33*b - 28848 = 49*b. Let d = b + 3050. Is 56 a factor of d?
False
Is 116 a factor of (1404/45)/(6/(-15) - (-833)/2030)?
True
Let v(r) = 2*r**3 - 2*r**2 - 4*r + 4. Let h be v(2). Suppose b = 2*b + 5, h*b = -f + 28. Suppose 0 = -0*l + 4*l - f. Is l a multiple of 12?
True
Suppose -46*q + 50*q - 40 = 0. Let d be ((-7)/5 + 2)*(q + -5). Suppose 2*z + d*z = 530. Does 54 divide z?
False
Let p(c) be the second derivative of 2*c**4 + 8*c**3/3 - c**2/2 - 19*c. Let a be p(-4). Suppose -4*y + 0*y - 20 = 0, 2*k - a = 3*y. Does 30 divide k?
False
Let q be ((-30)/(-25))/(-3) + (-141)/(-15). Is q/(-12) - 3297/(-28) a multiple of 13?
True
Suppose 0 = 4*c + 2*a - 18, -2*a = -6*c + 3*c + 24. Suppose 2*r - 1016 = c*r. Let n = -74 - r. Is n a multiple of 34?
False
Let b = -135 + 148. Suppose -5*n + 107 = -3*i, -3*n = 11*i - b*i - 65. Does 2 divide n?
False
Suppose -v + 3 = -4*o, 2 = 2*v - 4. Suppose 2*d - 2 = -h - 0*h, o = -4*h - d + 15. Suppose 0 = 5*u - 6*u - h*i + 108, 5*u - 565 = 5*i. Does 16 divide u?
True
Let m(j) = 2409*j**2 + 64*j + 124. Is 55 a factor of m(-2)?
False
Let o(r) = 7*r - 8*r**2 - 5 - 8*r - 7*r + 7*r**2. Let y be o(-5). Suppose -80 = -x - y. Does 14 divide x?
True
Let w(k) = k**3 - 19*k**2 + 4. Let y be w(19). Suppose y*t = 8*t - 148. Suppose 13 + t = 2*l. Is 5 a factor of l?
True
Suppose 4*a = 3*u + 548, 0 = -3*a + 3*u + 163 + 245. Let q be (-23)/(-7) + (-40)/a. Suppose 199 = 5*x - 2*t, 8*x - 205 = q*x + 5*t. Is x a multiple of 10?
False
Suppose -3*m - r = -38, -2*m + 4*m = -r + 27. Let w = m - 17. Let g(c) = -2*c**3 - 11*c**2 - 10. Is 6 a factor of g(w)?
False
Let n(a) = 6*a**2 + 4*a - 2. Let z be n(-5). Let c be (225/(-30) - -8)*24. Suppose c*t - 11*t = z. Does 32 divide t?
True
Does 6 divide (-2364)/1773*(-20487)/4?
False
Let m(f) = f**2 + 10*f - 3. Let g be m(-11). Suppose -79 = -9*h + g*h - z, 8 = -2*z. Is 12 a factor of h?
False
Suppose -12*m = 12*m - 91200. Is m a multiple of 20?
True
Let z(i) = 38*i + 69. Let u(v) = 38*v + 69. Let o(p) = 3*u(p) - 2*z(p). Is o(6) a multiple of 19?
False
Suppose 4*d + 2*a - 398 = 0, 4*d - 3*a - 89 = 294. Is 98 a factor of d?
True
Let a = -22086 + 41729. Is a a multiple of 13?
True
Let c(k) = 53*k**2 + 14 - 83*k**2 + 53*k**2 + 14*k + 0*k - 22*k**2. Let z(r) = -3*r + 1. Let l be z(5). Is 3 a factor of c(l)?
False
Let g = -229 - -236. Suppose -2*m + 4*f = -352, -4*m + 704 = g*f - 3*f. Is 11 a factor of m?
True
Let k(f) = 4*f**3 + 14*f**2 - 9*f - 2. Let i be k(-4). Let t(y) = 48*y**3 - y**2 - 4*y + 4. Does 5 divide t(i)?
False
Suppose 11629 + 19615 = 15*a - 10696. Is a a multiple of 32?
False
Suppose -19*j + 18*j + 132 = 0. Suppose 0*k + j = k - 2*s, s - 274 = -2*k. Is k a multiple of 4?
True
Let d(f) = -852*f - 41. Does 10 divide d(-6)?
False
Let z(s) = 20*s**2 - 31*s + 129. Does 49 divide z(-12)?
True
Let m(a) = 38*a**2 - 4*a + 2. Suppose -4*q + 2*q = 10. Let u be m(q). Suppose 12*t - 204 = u. Is t a multiple of 49?
True
Let j(a) = a**2 + 11*a + 164. Is j(34) a multiple of 22?
True
Suppose 4 = 4*g - 4*i, 5*g - 3*i + 0 - 1 = 0. Let w(o) = 144*o**2 - 4*o - 4. Is w(g) a multiple of 8?
True
Suppose -3*f + 0*f - 15 = -4*z, 3*z - 25 = 5*f. Let u be (15/12)/f - (-1602)/8. Suppose a = -s + 104, -180 - u = -4*a + 5*s. Does 18 divide a?
False
Let x(i) = i**3 - 5*i**2 + 2*i + 4. Let d(f) = -19 - 3*f + 13 + 8. Let a be d(-1). Is 14 a factor of x(a)?
True
Suppose 0 = -q - 3*o + 64, 26 + 43 = q + 4*o. Suppose 0 = -52*v + q*v + 630. Does 42 divide v?
True
Let u be (298/4 - 1)/(24/224). Does 66 divide (u/(-5))/((-78)/195)?
False
Let h = 11 + -16. Let g be h + -2 - 21/(-7). Does 4 divide (g - (1 + -44)) + 1*3?
False
Suppose 187 = i + 5*n, 2*i + 682 = 6*i - 2*n. Let v = -139 + i. Does 11 divide v?
True
Let j = 48426 - 28258. Does 91 divide j?
False
Is (((-132)/55)/2)/((-2)/3800) a multiple of 57?
True
Suppose -8*v - 6 = 2. Is 18 a factor of ((-26)/39)/(v/804)?
False
Let w = 32 + -31. Let d be 1 + 62/6*3. Suppose 2*f + 1 = -2*l - w, -4*l + d = -5*f. Does 2 divide l?
False
Let x(f) = 1359*f**2 + 232*f - 691. Is 25 a factor of x(3)?
False
Let h = 1507 + -1333. Does 12 divide h?
False
Suppose -3*k - 9 = -3*i - 69, 3*i - 2*k = -64. Let s be (10/i - (-33)/44)*6. Suppose -v = -2, -5*v - 138 = -s*z + 70. Is 10 a factor of z?
False
Suppose -9*a = 7588 - 29566. Suppose -5*m - 3042 = -5*l - 6*m, a = 4*l + 5*m. Does 19 divide l?
True
Let v(g) = 17*g + 31. Let q(k) = -k - 1. Let w(h) = 6*q(h) + v(h). Is w(11) a multiple of 25?
False
Suppose 0 = 4*n - 8, 2*n + 5 - 25 = 4*t. Is 12 a factor of 5/t - 4090/(-8)?
False
Suppose -139*d = -44*d - 1152730. Is 17 a factor of d?
False
Suppose 13*a - 149*a = -1407464. Is 79 a factor of a?
True
Suppose 0 = -5*b + 3674 + 3936. Let i = 2406 - b. Is 34 a factor of i?
True
Suppose 3*h + 24 = -3*h. Let r(j) = 16*j**2 + 9*j - 4. Let z be r(h). Let p = z - 80. Is 14 a factor of p?
False
Is (-10)/(-80)*-4 + (-4465)/(-10)*49 a multiple of 18?
False
Let k(o) = -3*o**2 + 44*o + 21. Let y be k(15). Suppose 7020 = y*i + 24*i. Does 18 divide i?
True
Let v(k) = -362*k - 304. Does 7 divide v(-2)?
True
Let o = 32122 - -24540. Is o a multiple of 90?
False
Suppose -5*j - 2*n + 16716 = 0, -5*n - 80 = j - 3414. Is j a multiple of 9?
False
Suppose 0 = -3*c - h - 14, 2*c - 11*h = -6*h + 19. Does 15 divide c*(-10568)/132 + (-2)/11?
True
Suppose -21*s - 29*s = -2*s - 26256. Does 9 divide s?
False
Let t be 473/121 - (-1)/11. Suppose t*a - 2*a - 6 = 0. Suppose 7*q - a*q + 3*x - 945 = 0, -495 = -2*q + 3*x. Is q a multiple of 24?
True
Let m = -28446 - -32602. Is 11 a factor of m?
False
Suppose 56*b - 19 = -2*t + 61*b, -23 = -2*t + b. Suppose 0 = t*w - 60*w + 9408. Does 10 divide w?
False
Suppose 3*w + 4*l + 1 = -0*w, -w + 4*l = -21. Suppose -p = h + 3*p - 35, -175 = -w*h + p. Is h a multiple of 7?
True
Let u = -726 - -1914. Suppose 21*m - 12*m = u. Is 24 a factor of m - (-2 - 2 - -2)?
False
Let t = -68 - -68. Suppose -4*s + 4*q = -3*s - 54, t = 4*s + 2*q - 234. Does 3 divide s?
False
Let j be (4 + 28/(-6))/((-4)/(-6)). Let p be 13 + -14 + (0 - -3) - j. Suppose -g + 8 + 19 = -p*c, 0 = -3*c - 3. Does 4 divide g?
True
Suppose 2138*f = 2060*f + 1461642. Does 74 divide f?
False
Let i = -11143 - -34901. Is 71 a factor of i?
False
Let g(a) = -179 + 73 - 244*a + 222*a. Does 18 divide g(-13)?
True
Suppose 0 = -154*b + 151*b + 264. Is b a multiple of 6?
False
Let f(x) = -x + 2. Let l be f(1). Suppose -c + 4*y + l + 3 = 0, 3*c + 5*y = 12. Suppose -2*m + 4*m = c*v + 176, -3*m + 240 = 2*v. Is 14 a factor of m?
False
Suppose -4*u = 58*r - 60*r - 2154, 3*u + 4*r - 1566 = 0. Is 3 a factor of u?
True
Suppose -36*w = 226*w - 1611824. Does 12 divide w?
False
Let r(b) = -b**3 - 8*b**2 + 2*b + 5. Let h be r(-4). Let c be 7*(-11)/154 - (-1393)/14. Let w = c + h. Does 8 divide w?
True
Suppose 171*k = 300*k - 222*k + 3912696. Is k a multiple of 12?
True
Let m = 60 - 54. Suppose 0 = 5*i - 2*k - 41, i + k - 22 = m*k. Suppose -37 + 107 = i*h. Is 5 a factor of h?
True
Suppose 0 = -u + 3*o + o + 4586, 4*u + 4*o - 18364 = 0. Is 18 a factor of u?
True
Let w be (-3096)/43 + 4/(-1*2). Let d = 261 - 45. Let a = d + w. Does 21 divide a?
False
Suppose 2*r = -3*s + 27150, -13*s - 3*r + 27153 = -10*s. Is s a multiple of 7?
False
Let p(r) = -19 + 42*r + 45 - 19. Let w be p(-2). Let h = w - -119. Does 14 divide h?
True
Let d(w) = -380*w - 280. Is 25 a factor of d(-3)?
False
Suppose -237*u + 4426332 = 752121. Is u a multiple of 5?
False
Let g = 462 - 463. Is 34 a factor of (-23 + 21)/(g/225)?
False
Let v be (-16)/(-2