176 = 0, j = -4*j + 4*l + x. Does 20 divide j?
True
Suppose -2*v = -z - 253, 2*v + 4*z = 2*z + 262. Is v a multiple of 35?
False
Let n = 59 - 56. Is 14 a factor of ((-28)/5)/(n/(90/(-12)))?
True
Let l(x) = 4*x - 2. Let t be l(-4). Let z(g) = -g - 3. Does 3 divide z(t)?
True
Is 24 a factor of ((-257)/(-2) - 1)*3936/410?
True
Let a(k) = k**2 + 9 + 4*k**2 - 33 - 3*k**2 - 2*k. Is 6 a factor of a(-6)?
True
Suppose -2*m = 4*z - 2064, -3*m - 29*z + 3104 = -25*z. Is 20 a factor of m?
True
Let i(l) = 2*l**2 + 31*l + 3. Let r be i(-13). Let v = -50 - r. Does 4 divide v?
True
Let p be 17 + -8 + (8 - 4). Let d = 20 - p. Does 7 divide d?
True
Let d(n) = -14*n**3 - 5*n + 6. Let a(r) = r - 2. Let w be a(6). Let o(m) = -14*m**3 - 4*m + 5. Let l(p) = w*d(p) - 5*o(p). Does 11 divide l(1)?
False
Let k = -343 - -876. Suppose 3*h + 572 + 320 = 5*j, -3*j = -4*h - k. Suppose j = 3*l - 4*a, -5*a + 134 = l + 2*l. Does 17 divide l?
False
Let d = 17 + -14. Let i be d/12 + (-46)/(-8). Let p(s) = 13*s - 12. Is p(i) a multiple of 11?
True
Suppose 0 = -5*x - 0*x + 3180. Suppose -m = 3*m - x. Does 39 divide m?
False
Suppose -3*i + 8*i - 4*x = -11, -4*i = -4*x + 12. Suppose 0*r - 4*t = 3*r - 1, -i = -t. Does 19 divide 19/r*(3 - 6)?
True
Let x(i) = i**3 - 6*i**2 + 4*i - 2. Let v be x(5). Let p = -9 - v. Does 20 divide (-6)/(p*(-4)/(-72))?
False
Let t be ((-3 + 2)/3)/((-2)/276). Is 12 a factor of (t/115)/((-1)/(-340))?
False
Suppose -40 = 2*g - 7*g. Suppose 0 = 3*x - 15, -4*z - x - g = -25. Suppose -z*n + 35 = 2*n. Is n even?
False
Suppose 2*s = -2*s, -4*s = 2*y - 2058. Is 11 a factor of y?
False
Let b be 48/168 + (-122)/(-14). Suppose g = -2*g + b. Suppose g*v = 297 + 18. Does 40 divide v?
False
Let x(i) be the second derivative of -i**5/20 - i**4/2 + i**3 - 2*i**2 + 3*i. Let u be x(-7). Suppose 0 = -u*s + 6*s - 108. Is s a multiple of 12?
True
Let o be 4 + (3/(-2))/((-12)/(-16)). Suppose -2*j = -o - 12. Is j a multiple of 3?
False
Suppose 828 = -0*b + 5*b + t, -836 = -5*b + 3*t. Is 30 a factor of b?
False
Let d(l) = 5. Let a(o) = o**2 - o + 15. Let v(f) = 3*a(f) - 8*d(f). Is v(3) a multiple of 16?
False
Let g(n) = n - 8. Let m be g(10). Is 50 - m - 2 - -4 a multiple of 9?
False
Let f(g) = -g**2 - 7*g - 3. Let m(z) = z. Let t(h) = f(h) + m(h). Let j be t(-4). Suppose 0 = j*n - 4*n - 71. Does 18 divide n?
False
Let h(i) = -i**2 + 12*i - 15. Let p(z) = -z**2 + 17*z - 6. Let d be p(16). Let g be h(d). Is 64/16 + 1*g even?
False
Suppose 3845 = 8*x - 4579. Is 52 a factor of x?
False
Let n(f) = -4*f**2 + f - 10. Let c(i) = -7*i**2 + i - 21. Let j(m) = -3*c(m) + 5*n(m). Is j(9) a multiple of 28?
True
Does 51 divide (-36)/1*(7 + 385/(-21))?
True
Is 22 a factor of (36/(-8))/((-11)/1518)?
False
Let y(t) = -8*t**3 + 3*t - 4. Let k be y(2). Is (5 + -3)/(58/k - -1) a multiple of 10?
False
Let a(v) = -2*v**2 - 10*v - 5. Let d be a(-5). Let b(g) = 7 + 9 - 4 - 5*g - g**2. Does 12 divide b(d)?
True
Let p(m) = 9*m**2 - 3 + m**3 + 0*m**2 + 2*m + 5*m + 0*m. Let v be p(-8). Suppose f + f = n - 26, -5*f = v*n - 175. Is 16 a factor of n?
True
Let w(k) = -12*k + 106. Does 19 divide w(-7)?
True
Suppose 4 = 3*v - v. Let b(r) = 5*r**v + 0*r - 4*r - 2*r**2 - r. Does 26 divide b(6)?
True
Let n(i) = -6 + i - 3*i + 5 + 5. Let r be n(1). Is 12 a factor of ((-29)/4)/(r/(-8))?
False
Let b = -60 + 120. Let g be 60/(-25)*b/(-2). Is 4 a factor of 122/18 + 16/g?
False
Let z = 1076 - -1332. Is 43 a factor of z?
True
Suppose m = 7*n + 1240, -5*m + m + 4960 = 3*n. Is m a multiple of 31?
True
Is 11 a factor of (308/21)/((-5)/(-255))?
True
Let t(x) = -x**3 + 7*x**2 + 8*x - 5. Let m = 9 + -4. Let j be t(m). Let r = -37 + j. Is r a multiple of 16?
True
Suppose 6*w = 2*w + 160. Does 14 divide 5/(0 - (-4)/w)?
False
Suppose -3*j + 11 = -2*i, i - j + 13 = 2*j. Suppose 3*f = -m + 2*m + 1, 0 = -2*f + 2*m - 6. Let a = f + i. Is a a multiple of 3?
False
Suppose 8*a - 12*a = -f - 1365, 2*a = f + 683. Is a a multiple of 11?
True
Let k = 249 + -141. Does 3 divide k?
True
Suppose -4*z = -6 - 2. Suppose 0 = -z*c + 19 + 39. Suppose -u + 27 = -c. Does 14 divide u?
True
Let a = 792 - -2380. Is a a multiple of 122?
True
Let q(z) = -z + 23. Let y be q(0). Suppose -1 = -2*h - y. Is 6 a factor of -2 + 0 - (-37 - h)?
True
Suppose 0 = m - y - 260, -m + 107 + 177 = 5*y. Is 11 a factor of m?
True
Suppose 0 = 2*j - j - 56. Suppose 4*l + 5*w = w + j, 0 = 2*l - 5*w - 56. Is 4 a factor of l?
False
Suppose 0 = 5*i - 9*i. Suppose -c - j + 0*j = -12, c - j - 14 = i. Does 4 divide c?
False
Suppose 3*q - 2*f - 2429 = 1021, -4*q - 4*f = -4580. Is 16 a factor of q?
False
Let m be (-3 - (-58)/(-10))/(4/(-70)). Let v = m - 46. Is v a multiple of 18?
True
Let r = -35 + 33. Is r + 5 + 210/2 a multiple of 19?
False
Suppose 4*t - 4*r + 2*r + 132 = 0, 0 = 5*t + 5*r + 195. Is 7 a factor of (-28)/t*35/2?
True
Is (-1573)/(-5) + 25/(125/2) a multiple of 15?
True
Let s = -1 - -5. Let q = s + -5. Does 17 divide 0 + q + -2 - -37?
True
Is 20 a factor of ((-600)/(-6))/((3/10)/3)?
True
Suppose 4*t = h + 2729, -186*t + 4*h = -182*t - 2720. Is 3 a factor of t?
False
Let h(r) = 24*r**2 + r - 2. Let y be h(1). Suppose -x + 2 = -2*x, -y = -5*q - x. Suppose -q*n + a = -423, 2*n + 2*a = -0*n + 174. Does 17 divide n?
True
Let k = -10 + 6. Let y(n) = n**3 + 7*n - 4. Let j(s) = -s**3 - s**2 - 6*s + 4. Let m(r) = 3*j(r) + 2*y(r). Is m(k) a multiple of 9?
True
Suppose 92568 = 24*u + 33*u. Is u a multiple of 25?
False
Suppose 47*s = 49*s + 110. Let w = s + 131. Does 38 divide w?
True
Let d(c) = -31*c - 1102. Is 5 a factor of d(-47)?
True
Let a = 9 + -1. Let w(s) = -s**3 + 9*s**2 - 7*s + 11. Let f be w(a). Suppose -v + 62 = -4*t, 2*v = 2*t + f + 81. Is v a multiple of 11?
False
Suppose 41 - 119 = 2*v. Let h be (-2)/3*-3 - 57. Let b = v - h. Does 4 divide b?
True
Suppose 6*c - 5*c - 99 = 0. Let o = c - 75. Is 12 a factor of o?
True
Let c = -6 + -41. Let v = -14 - c. Is v a multiple of 9?
False
Suppose 20418 = 63*y - 8436. Is 5 a factor of y?
False
Suppose -4*a = -6 - 10. Suppose -a*j + j = -2*m + 15, m - 4 = j. Does 9 divide (-61)/(-7) + (-2)/j?
True
Let z be 1*(4 - (2 - -2)) - -7. Suppose -6*l = -z*l + 91. Does 7 divide l?
True
Let c = -24 - -28. Suppose 16 = c*h - 12. Suppose -h = -n - 0*n. Is n even?
False
Suppose -3*k = 4*b - 0*b + 321, k + 102 = -3*b. Let c = k + 303. Is 33 a factor of c?
False
Suppose 2*m - 18 = -0*m. Suppose 0 = -4*z - m + 29. Suppose -53 = -z*b - 8. Is 9 a factor of b?
True
Let b = 147 - -263. Does 8 divide b?
False
Let b(n) = n**3 + 57*n**2 + 47*n - 40. Is b(-56) a multiple of 49?
False
Suppose 0*v - 5*v + 15 = 0. Let f(s) = s**v + 6*s + 11*s + 11*s**2 - 7*s + 2 + 3. Does 4 divide f(-10)?
False
Does 62 divide (4 - 328/12)*837/(-9)?
True
Suppose s - 4*s + 12 = 0. Let d(h) = -h**2 + 6*h - 6. Let c be d(s). Is c/7 + (-388)/(-14) a multiple of 14?
True
Let q(d) = d + 16. Let l be q(-12). Suppose -12 = -2*v - l. Suppose -2*x + v*m + 208 = 0, 4*m = -m + 20. Is 29 a factor of x?
False
Suppose 3*w - c - 717 = -0*c, 4*w - 956 = 5*c. Suppose -4*g = -3*u + 205 - 57, w = 4*u + 3*g. Is u a multiple of 7?
True
Let g(a) = a + 11. Let r be g(-8). Let h(t) = -17*t**r - 16*t**3 + 8*t**2 + 2 + 32*t**3 + 2*t. Does 13 divide h(7)?
True
Suppose 16*w - 12312 = -8*w. Is w a multiple of 7?
False
Let q = 120 - -22. Does 71 divide q?
True
Suppose 771 = k - 4*g - 837, 0 = 2*k + 3*g - 3161. Does 34 divide k?
False
Suppose -109 = -5*f - 89. Suppose -f*i = 15 - 387. Is 31 a factor of i?
True
Let o(k) = 1144*k**2 + 47*k - 1. Does 34 divide o(1)?
True
Suppose 61 = 5*q + 41. Suppose 5*a - 3*i - 13 = q*a, 0 = 2*a - 3*i - 23. Is 10 a factor of a?
True
Suppose -106 - 65 = -3*t. Let r = 12 + -10. Suppose -r*o + 41 = -t. Is 8 a factor of o?
False
Suppose -4519 - 6772 = -7*k. Is 7 a factor of k?
False
Suppose 20 = -11*r + 16*r. Suppose 5*q = 5*i - 295, i - 294 = -4*i + r*q. Does 12 divide i?
False
Let c be (1 - (4 - 2)) + (-6 - 0). Let t = c - -19. Does 12 divide t?
True
Suppose -3*q = 0, 35*m - 37*m - q = -7644. Is m a multiple of 14?
True
Let w be 5 + 1/4*0. Suppose 0 = n - w*n + 384. Suppose -12*q = -16*q + n. Is q a multiple of 12?
True
Suppose 28 - 16 = -2*v. Is 22 a factor of 283 + 4/v + 196/42?
False
Let a = 24 - 18. Is 345/10 - (-9)/a a multiple of 12?
True
Let o = 2820 - 1902. Is o a mu