 -90 = -0*i - n*i. Let v = -34 + i. Is 11 a factor of v?
True
Let r(l) = 14530*l**2 - 19*l + 3. Is 48 a factor of r(1)?
False
Let m be (285 - (6 + -10)) + (1 - 3). Let o = m - 272. Is o a multiple of 15?
True
Let a(x) = 4*x**3 + 2*x**2 + 12*x - 28. Is 4 a factor of a(4)?
True
Suppose -71*k = -49*k - 14366. Let l = 1202 - k. Does 9 divide l?
True
Let d = -5904 + 12444. Is d a multiple of 57?
False
Let i(y) = -76*y**3 + y**2 + 44*y + 87. Is i(-7) a multiple of 13?
True
Suppose -16*q + 4845 = 3*q. Let l = q - -356. Is 19 a factor of l?
False
Let t(p) = 32*p**2 + 293*p - 143. Is t(-28) a multiple of 17?
False
Let u(y) = 2*y**2 + 18*y + 6. Let i be u(-9). Suppose 10 + 2 = i*k. Suppose -k*q - 315 = -3*z, -3*z + 7*q + 315 = 4*q. Is 15 a factor of z?
True
Let t(x) = -x**2 + 4*x - 315. Let i be t(0). Does 9 divide (18/7)/(-11 + (-3470)/i)?
True
Does 15 divide -2 - (6 + -19)/(4/2516)?
True
Let h be (6/((-24)/4844))/(-1). Let k = 1821 - h. Does 61 divide k?
True
Let r(s) = -20*s - 36. Let w be r(32). Let f = 1348 + w. Does 32 divide f?
True
Suppose 6*d + d = -13*d. Suppose d = 700*k - 702*k + 1054. Is 17 a factor of k?
True
Let g = 14 + -26. Let s(p) = p**3 + 10*p**2 - 19*p + 6. Let a be s(g). Let f = -38 - a. Is f a multiple of 8?
True
Suppose -90 = -2*y + 7*y. Let o(c) = -77*c - 23. Let t be o(-1). Does 12 divide 9732/t + 4/y?
True
Let s(r) = 53*r - 12. Let z be s(-2). Let k = z + 126. Let y(v) = 4*v**2 - 19*v - 5. Does 11 divide y(k)?
True
Let g = 18456 + -17696. Does 3 divide g?
False
Let j = 187 - -139. Suppose -6*q + j = -88. Does 8 divide q?
False
Let n(g) = g + 2226. Is n(-54) a multiple of 158?
False
Suppose 17635 = 5*h - 55*d + 51*d, -5*h - 3*d = -17635. Is 15 a factor of h?
False
Suppose -y = -4*x - 56 + 210, -455 = 3*y - 5*x. Let c = 152 + y. Let w(z) = 4*z**3 - z**2 - 4*z + 4. Is w(c) a multiple of 2?
True
Let u(s) = 10*s + 5146. Does 64 divide u(-9)?
True
Suppose 14*q - 26 = 30. Suppose -2*f + 6 = 0, -q*f - 2512 = -3*v - v. Is v a multiple of 27?
False
Suppose 30342 - 110933 = -20*g + 177969. Is g a multiple of 64?
True
Let d = 3 + -3. Let t be -2 + 54/(-9) + 13. Suppose -5*y + 605 = 5*b, d*b + 590 = t*y + 2*b. Is 17 a factor of y?
False
Let n be (-31584)/72*(-15)/2. Suppose 4*r + 824 - 3445 = -s, 4*s = -5*r + n. Does 21 divide r?
False
Suppose -306 = -16*h + 22*h. Let v be h/(-68) + (-1)/(-4). Does 14 divide (4/6)/(v/273)?
True
Let s be ((9 - 12) + (-3)/(-1))/(-1). Let t(r) = -r**3 + s*r**2 + 3 - 2*r - 2*r**2 - 4*r**2. Is t(-6) a multiple of 5?
True
Let q(h) = 2*h**2 + 25*h - 8. Let p be q(-13). Suppose -p*g = -4*a - 1600, -g + 0*g - a = -320. Does 20 divide g?
True
Let s(c) = c**2 - 10*c + 12. Let g be s(7). Let h(i) = -i**2 - 14*i + 8. Let b be h(g). Suppose 7*x + b = 508. Is x a multiple of 13?
True
Does 71 divide (-5)/(-3) + (2 - 127300/(-30))?
False
Suppose o + 143 = 2*r, -5 = -4*r + 5*o + 272. Is r even?
False
Let z(r) = r**3 + 4*r**2 - 5*r + 2. Let a be z(4). Suppose -3*p + 142 = -3*h - h, 3*p = -4*h + a. Suppose p + 132 = 2*q. Is q a multiple of 14?
False
Suppose -3*o = 2*d - 26, 3*o - 8*d + 3*d = -2. Let s(p) = 278*p - 380. Is s(o) a multiple of 23?
True
Suppose -x = -3*b + 21 - 13, -4*x - 5*b = -36. Is 5 + 267 + (7 - x) a multiple of 25?
True
Suppose -4 + 10 = -6*x. Let y be (-320)/(-48) + x/(-3). Let s(t) = 2*t**2 - 11*t + 7. Is 5 a factor of s(y)?
False
Does 93 divide 14439 - 2 - ((-1)/3)/(66/1386)?
False
Let g be 10*(-3)/(-10)*(-6)/(-9). Is 20 a factor of 179 + g*(-6)/(-12)?
True
Is 18 a factor of ((-42)/(-112))/((-15)/1990 - 0)*-52?
False
Suppose 57*t - 61*t + 4*a + 2868 = 0, 0 = -t - 4*a + 707. Is t a multiple of 9?
False
Suppose -5*i = -2*y - 337, -4*y + 5*i - 3*i - 698 = 0. Does 43 divide (-5)/10*8 - y?
True
Let p = 12 + -10. Suppose -5*f + b - p = 0, 4*b = -4*f - 0 + 8. Is 13 a factor of 6*(f - 43/(-3))?
False
Let d = 6488 + -6271. Is d a multiple of 7?
True
Does 18 divide (-5)/2*(-2 + -1)/((-140)/(-336))?
True
Let t be ((-52)/65)/(2/(-40)). Suppose 4*g + 102 = 3*n, 4*n - 95 = -3*g + t. Is n a multiple of 5?
True
Let n = -15986 + 25809. Does 37 divide n?
False
Is 8 a factor of (-53960)/(-57)*132/10?
True
Let w = -112292 + 177175. Does 31 divide w?
True
Suppose -16*q + 28460 = 172. Suppose 20*i + 14*i = q. Is i a multiple of 13?
True
Let x(f) = -6*f**2 + 8*f + 14. Let l(s) = 17*s**2 - 23*s - 43. Let z(k) = 3*l(k) + 8*x(k). Let q = 2 + -7. Does 27 divide z(q)?
False
Let s(y) = 8*y**2 + 58*y + 2307. Does 10 divide s(-32)?
False
Let x(d) = d**2 - 3*d - 29. Let f be x(7). Does 13 divide (-5 - (f + 0)) + 2646/27?
False
Let a(q) = 6*q - 6*q + 2 + 6*q**3 - 10*q**2 - 7*q**3. Let f be a(-10). Suppose 3*k - 7 = -5*r - f, 3*r - 25 = -4*k. Is 2 a factor of k?
True
Is (2199/(-2))/(24 - 735/30) a multiple of 9?
False
Let z(l) be the first derivative of l**5/20 + 5*l**4/12 - 2*l**3/3 + l**2 - 4*l + 10. Let p(v) be the first derivative of z(v). Is p(4) a multiple of 26?
True
Let t be ((-2)/((-6)/9))/1*-45. Let v = 153 + t. Is v a multiple of 5?
False
Suppose 4*j - 22215 + 6425 = 3*q, -4*j - 2*q + 15800 = 0. Is j a multiple of 22?
False
Is 39/(9/(-78)*3/(-57)) a multiple of 18?
False
Suppose -133*g + 28*g = -2000145. Does 43 divide g?
True
Let f(u) be the third derivative of u**6/120 - 13*u**5/60 - 7*u**4/6 + u**3 + 124*u**2. Is f(15) a multiple of 12?
True
Let o(c) = c**3 + 42*c**2 - 48*c - 257. Let q be o(-43). Let k be 2/4 - (-33)/(-6). Let d = k - q. Is d a multiple of 37?
True
Suppose 21*v - 9*v = 1632. Let z be (5 - 2) + (5 - 4). Does 38 divide (-3 + v)*4/z?
False
Does 28 divide (-232 - -4)*(146/7)/(84/(-196))?
False
Suppose 20 = t + 15. Suppose 19 = 6*l - t. Is l/(-14) + 1014/21 + 3 a multiple of 7?
False
Suppose 0*z + z = 5*y - 74, 0 = -3*y + 2*z + 43. Suppose -s = 81 - y. Let f = -40 - s. Is f a multiple of 13?
True
Let h = 497 - 496. Let z(g) = 897*g - 2. Does 50 divide z(h)?
False
Suppose 0 = -26*s + 6*s + 240. Suppose 13*n = s*n + 69. Does 5 divide n?
False
Let x = 697 + -303. Suppose -x = -4*n + 2534. Is 6 a factor of n?
True
Let d = 49 + -75. Let y = d - -113. Let x = y - 51. Is 4 a factor of x?
True
Let t(a) = -a**3 - 4*a**2 + 7*a - 17. Suppose 4*u = -3*f + 26 - 30, -30 = 5*f + 2*u. Is t(f) a multiple of 7?
False
Let b = -9996 - -17299. Is b a multiple of 155?
False
Suppose 29*n = 210241 + 601044 - 235780. Is 63 a factor of n?
True
Let b be 6726/19*((-15)/9 - -2). Suppose -2*t + 4*l = -227 + 55, 5*l = -20. Let j = b - t. Does 10 divide j?
True
Suppose a = 1 + 1. Suppose -4*i + 5*k = -197, 2*i + 0*k - 5*k = 101. Suppose -a*o - 2*o = -i. Is o a multiple of 5?
False
Suppose -40459 - 87970 = -10*o + 8881. Is 199 a factor of o?
True
Suppose k - 5*t = -0*k + 280, -5*t + 880 = 3*k. Let a = -23 - -333. Suppose -q - 4*q + k = -5*v, 5*q - v - a = 0. Is 9 a factor of q?
True
Let o = -142 + 120. Let f(s) = -s**3 - 23*s**2 - 24*s - 41. Let w be f(o). Suppose 0 = w*q - 190 + 1. Does 17 divide q?
False
Suppose -6*i + 13785 = 2*i - 4103. Is 73 a factor of i?
False
Let g(p) = 5*p + 7. Let z be g(-2). Let b be (40/(-42) + (-6)/(-21))*z. Is 14 a factor of ((8 - b)/(-1))/(2/(-13))?
False
Let u(a) be the second derivative of 3*a**5/20 - a**3/6 + 5*a**2/2 - 14*a. Let w be u(4). Let f = -136 + w. Is f a multiple of 7?
False
Suppose -25*n + 317 - 67 = 0. Does 17 divide (-18)/n*(-340)/3?
True
Let d = -9 + 3. Let q be (-12)/8*20/d. Suppose 0*x - 2*g + 106 = 4*x, -q*g = -4*x + 127. Is x even?
True
Let r(o) = -1507*o - 7. Let b be r(-1). Suppose -28*v + b = -24*v. Is v a multiple of 25?
True
Suppose -4*o + 3*o = 5*q + 19, 0 = 4*o + q. Let i(v) = -12*v - 3 + 8*v**2 + 16*v**2 - o. Is i(3) a multiple of 33?
False
Let t = -30 + 138. Let x = t - 103. Is x even?
False
Let x = 10687 + -5773. Does 18 divide x?
True
Let n(b) be the first derivative of -7*b**2/2 + 6*b - 24. Does 6 divide n(-6)?
True
Suppose -13*a = 3*p - 8*a + 20, 0 = -p + 5*a + 20. Let o be ((-2)/6)/((-1)/6). Suppose 5*y = -4*j - p*y + 175, -2*j + o*y + 74 = 0. Is j a multiple of 7?
False
Suppose -33 = -h - 5*b, -3*b = 2*h - 20 - 18. Let w(s) = s**3 - 13*s**2 + s - 14. Let c be w(h). Is c - (-1338)/22 - 6/(-33) a multiple of 10?
True
Does 204 divide 24597 + 28/2 + -19?
False
Suppose 10 = -2*p + 4*p. Let r(i) = i**3 - i**2 - 15*i - 7. Let a be r(-3). Suppose a*f + 0*f = -2*w + 74, -p*f - w 