). Let l be m/(4/(-1)) - -145. Suppose 4*d - l + 36 = 0. Is 6 a factor of d?
False
Let v(q) = q - 8. Let x be v(11). Suppose 0 = -4*c + x*u - 15, 3*u - 15 = -5*c - 0*u. Suppose c = -2*j - j + 126. Does 21 divide j?
True
Suppose -23*q = -12042 - 3713. Is 5 a factor of q?
True
Does 35 divide -1*(6 + -14) - -581?
False
Is ((-2)/(-14)*-4)/(156/(-285558)) a multiple of 53?
False
Let w(j) = 2*j**2 + 2*j + 1. Let g be w(2). Let f = g - 42. Let a = f + 56. Does 4 divide a?
False
Suppose -244*s = -254*s + 1780. Is 24 a factor of s?
False
Let s = -241 - -135. Let l = 214 + s. Does 27 divide l?
True
Suppose 3*l + 187 = 688. Let n = -99 + l. Does 34 divide n?
True
Suppose -5*v = 5*n - 715, v + 8 = -3*v. Is n a multiple of 18?
False
Let r = -122 - -122. Suppose r = 36*j - 41*j + 165. Is j even?
False
Let m = -227 - -388. Is 35 a factor of m?
False
Suppose -m - 6 = -4*m, 2*z - 154 = -2*m. Does 10 divide 3*6/5*z?
True
Let a(p) = p**3 + 5*p**2 + p + 5. Let o be a(-5). Suppose 5*v - 22 - 138 = o. Suppose v - 92 = -2*j. Is 14 a factor of j?
False
Let x(w) = -14*w**3 + 17*w**2 + 8*w + 29. Let z(s) = -5*s**3 + 6*s**2 + 3*s + 10. Let k(b) = 6*x(b) - 17*z(b). Does 2 divide k(2)?
True
Let a be 0 - -1 - (-170)/17. Suppose a*o - 672 = 4*o. Is o a multiple of 13?
False
Let d(s) = 1 - 4*s**2 + 3*s**2 + 7*s**3 - s + 7*s**3. Let v(a) = -2*a**3 - 2*a**2 - a. Let t be v(-1). Is d(t) a multiple of 12?
False
Is 8 a factor of ((-144)/(-30) + -2)*(-50)/(-4)?
False
Suppose 16*p - 1015 = 11*p. Suppose -5*b + p = 5*t + 63, 4*t = -2*b + 62. Does 4 divide b?
False
Suppose 2*c = 6*c - 104. Let z be 4/c + 50/13. Let u(m) = m**2 + 2*m - 1. Is u(z) a multiple of 23?
True
Does 8 divide (-1 + -61)*(1305/30)/(-29)?
False
Let n(b) = -b + 1. Let u be n(1). Suppose u = -3*o - 2*o - 100. Let q = o - -53. Is 9 a factor of q?
False
Let g(r) = r - 2. Let j be g(9). Suppose -j*x + 605 = -2*x. Is x a multiple of 11?
True
Let q(y) be the second derivative of -y**5/20 - y**4 - 8*y**3/3 - 3*y**2/2 + 13*y. Is q(-11) a multiple of 26?
True
Let g(l) = 105*l**2 - 43*l**2 - 7 + 13*l - l**3 - 51*l**2. Let y(c) = c**3 + 14*c**2 - 2*c - 16. Let f be y(-14). Does 5 divide g(f)?
True
Suppose 4*l = 2*g + 8, -2*l - 2 = -4*l + 2*g. Suppose 3*n - n = -j + 9, -4*j = -l*n - 58. Does 19 divide 13/(j/66) + 0?
False
Let q(a) = -64*a - 18. Let x be q(-15). Suppose -x = -10*o - 282. Is o a multiple of 11?
True
Suppose 30*h - 31*h - 539 = 0. Let w = -327 - h. Is w a multiple of 14?
False
Suppose -4 = z, j = -0*j + 3*z + 102. Does 5 divide j?
True
Let r = 35 + -35. Is (4 - r - 3) + 62 a multiple of 9?
True
Let n(f) be the third derivative of -f**4/24 + 4*f**3/3 + 36*f**2. Let h(r) = r**3 - 5*r**2 - 6*r. Let t be h(6). Is 6 a factor of n(t)?
False
Suppose 10 = -5*g - 5, -j = 5*g - 3. Let f be -20*(-4 - 0)/8. Let q = j + f. Is q a multiple of 14?
True
Suppose 28*l - 2957 - 739 = 0. Is l even?
True
Suppose -2*q + 376 = 2*y, -4*q + 8*q - 772 = y. Is 32 a factor of q?
True
Suppose -30 = 3*n + 2*a - 7*a, -n = 5*a - 10. Let o(t) = 4*t**2 + 6*t - 7. Is 8 a factor of o(n)?
False
Let j(o) = 3*o**2 + 6*o - 23. Let d be j(-6). Let a = d - 14. Is 5 a factor of a?
True
Let k(d) = 4*d + 48. Let t be k(-15). Let r = 68 - t. Does 20 divide r?
True
Let i = 2 + -4. Let n be (7/2)/(i/(-4)). Suppose 0 = -5*h + n*h - 132. Is h a multiple of 12?
False
Let n(j) = -j**3 - 10*j**2 - 14*j - 10. Suppose -10 = q - 0. Is n(q) a multiple of 26?
True
Let b be (90/(-12))/((-3)/4). Suppose 0 = b*k + 3*k - 2145. Is 55 a factor of k?
True
Suppose j - 4*x - 571 = 0, 544*j = 546*j - 3*x - 1147. Is 4 a factor of j?
False
Suppose -3*j = -j - 6. Is 34 + 1 + (-15)/j a multiple of 20?
False
Let w(r) = 2*r**2 - 38. Let x(p) = -p**2 + 20*p - 11. Let s be x(19). Is 13 a factor of w(s)?
False
Let x(m) = m**3 - m + 16. Suppose -9 = -4*l + 7. Suppose -l*d = -d. Does 8 divide x(d)?
True
Let i be 620/35 - 6/(-21). Let x = 20 - i. Suppose -5*h - x*t - 20 = -117, -4*h + 5*t + 71 = 0. Is h a multiple of 19?
True
Let s(f) = -41*f + 355. Is 61 a factor of s(-22)?
False
Let m(n) = -n**3 - 7*n - 8. Does 10 divide m(-3)?
True
Suppose -8 = 2*i, -2*a + 3*i = -0*a + 224. Let t(w) = -w**3 - 6*w**2 + 7*w - 2. Let f be t(-5). Let v = f - a. Does 13 divide v?
False
Let f(j) = -j**3 - 4*j**2 - 4*j - 7. Let w be f(-3). Let i be (w/3)/(6/9). Is 7 - 7 - i*4 a multiple of 4?
True
Suppose -5*u + 12 = -3. Suppose 4*l - 7*f + 20 = -12*f, 0 = 3*l + f + 4. Suppose -n + u*p + 0*p + 27 = 0, -n - p + 27 = l. Does 9 divide n?
True
Let w = -435 - -2109. Does 62 divide w?
True
Suppose 0 = 3*j - 4*j + 5*p + 31, 2*j - 5*p = 67. Suppose 32*u + 28 = j*u. Is u a multiple of 7?
True
Suppose 11 = 4*m - 85. Suppose -2*q + 4*y = -6*q + 60, -2*q + m = 5*y. Is q a multiple of 5?
False
Is (-4)/8 - 4053/(-6) a multiple of 55?
False
Suppose -3*m - 50 = -u - 9, -72 = 5*m + 2*u. Is 11 a factor of 32/3 - m/42?
True
Let m = 85 + -97. Is m/102 + (-26615)/(-85) a multiple of 16?
False
Let k(f) = -4*f**3 - 6*f**2 + 16*f - 10. Is k(-6) a multiple of 11?
False
Suppose 2 = -4*p + 5*v, -4*v + v + 6 = 0. Suppose p*o - 4*o + 10 = 2*c, -3*o = -3*c - 15. Suppose 2*i = o*j - 27, 3*j - 29 = -0*j - 2*i. Does 2 divide j?
False
Let b be 5/(-5) - (3*14)/1. Let v = -4 - b. Does 5 divide v?
False
Suppose 2*x - o - 4*o - 1573 = 0, x = -o + 804. Is 35 a factor of x?
False
Let f(l) = -l**2 - 19*l - 15. Let t be f(-18). Suppose -t*k + 2*k = -105. Does 15 divide k?
True
Let k(d) = -d**3 - 15*d**2 + d - 18. Let c be k(-15). Let y = c - -129. Suppose -y + 16 = -5*j. Is 3 a factor of j?
False
Let r(k) = 4*k**3 + 4*k**2 - 2*k - 2. Let l(d) = -9*d**3 - 9*d**2 + 4*d + 4. Let t(a) = -3*l(a) - 7*r(a). Let c be t(-3). Let v = 22 - c. Is v a multiple of 4?
True
Let a be 1/((-284)/140 + 2). Let g be (-3)/7 - 85/a. Let h = g + 4. Is 3 a factor of h?
True
Let o(a) = a**2 + 22*a + 55. Let z(q) = 15*q + 8. Let g be z(-2). Does 11 divide o(g)?
True
Let a be ((-42)/(-9) - 3)*(198 - 0). Suppose 21*b = 23*b - a. Does 12 divide b?
False
Suppose 59 = -i - 4*v + 399, 4*v = 3*i - 940. Is 16 a factor of i?
True
Does 36 divide 5*-175*(-13)/13?
False
Let u be (-4)/(-7) - 195/35. Let q be 29 - (4 + u)*4. Let b = q + 0. Does 11 divide b?
True
Let s(g) = -g - 1. Let n be s(-16). Is 26 a factor of ((-416)/(-20))/(3/n)?
True
Suppose 18 + 110 = 4*v. Let l = 92 - v. Is l a multiple of 6?
True
Let b(i) = 4*i**2 - 23*i + 75. Does 34 divide b(11)?
True
Let w(b) = 3*b - 1. Let r be w(1). Let k(a) = 0*a**3 + 4 - 2*a**3 - 8*a + 5*a**3 - r*a**3. Does 13 divide k(5)?
False
Let r(y) be the third derivative of y**5/60 + y**4/4 + y**3 + 5*y**2. Let h be r(-4). Is h/11 + (-642)/(-22) a multiple of 13?
False
Suppose 0 = 6*k - 3*k. Let g(r) = r**2 + 20. Let s be g(k). Let p = s - -95. Is 31 a factor of p?
False
Suppose 47*w - 2095 = -27. Is w a multiple of 22?
True
Let t(u) = 72 + 23*u - 153 + 45. Does 9 divide t(4)?
False
Does 12 divide (-71592)/(-24) - 1/(-2)*-10?
False
Suppose 3*f + 4*x = 5891, 35*f - 7846 = 31*f - x. Does 77 divide f?
False
Does 13 divide 13/2*(-1230)/(-41)?
True
Let z(h) = -h**3 - 13*h**2 + 8*h - 17. Let g(w) = -w**3 - 12*w**2 + 7*w - 16. Let c(p) = -4*g(p) + 5*z(p). Does 29 divide c(-18)?
True
Suppose 0*l - 387 = -2*l + 5*v, 198 = l - v. Suppose k - 3*k - 309 = -3*d, -2*d + l = -3*k. Is 5 a factor of d?
True
Let x = 6 - 6. Suppose t + g = -x*g + 47, g - 2 = 0. Suppose 2*c - 116 = k, -5*c - 2*k + 353 = t. Is 23 a factor of c?
False
Suppose -2*a + 3 = -15. Let b(i) = -i**2 + 8*i + 9. Let q be b(a). Suppose q = -3*u - 4*c + 34, 0 = 5*u + 3*c + 14 - 56. Is u even?
True
Suppose -3*j + 23 + 20 = 4*i, 2*i + 37 = 3*j. Let r = 7 - 12. Let g = r + j. Is g a multiple of 6?
False
Is 14 a factor of -729*(-6 + (-17)/(-3))?
False
Let o be 1410/(-39) - ((-8)/(-26))/(-2). Let x = 68 + o. Is x a multiple of 10?
False
Let x(o) = 14*o - 2 + o**2 - 7*o - 10*o. Is x(6) a multiple of 5?
False
Does 32 divide (10/(-2) + -15)*1134/(-15)?
False
Suppose 0 = 8*r - 1787 - 2565. Is 10 a factor of r?
False
Let i(q) = -47*q**2 + q + 5. Let g(x) = 28*x**2 - 3. Let h(a) = -5*g(a) - 3*i(a). Let m = 25 - 18. Is h(m) a multiple of 8?
False
Let g = 49 - 47. Suppose -5 + 317 = 2*y + g*f, -5*y + f = -768. Is 22 a factor of y?
True
Let l(n) = -2*n - 14 - 5*n - 8. Is 6 a factor of l(-12)?
False
Suppose -l 