vide s(1)?
True
Suppose 3181 = -30*c + 14011. Let k = -179 + c. Is 7 a factor of k?
True
Let q(h) = -h**2 - 8*h + 1. Let s be q(-7). Suppose -11*y + s*y + 9 = 0. Suppose i = 2*j - 12, i = -y*j - j + 24. Is j a multiple of 4?
False
Suppose -150 = -5*v + w + 1526, -1337 = -4*v - 3*w. Does 4 divide v?
False
Let b(k) = -4*k - 11. Suppose 29*y - 24*y = -20. Let v be b(y). Suppose 0 = -4*x + 2*x + 6, -3*g - v*x = -444. Does 11 divide g?
True
Suppose -4 = -2*l, -6*l + 2*l = -5*k + 2392. Let u = -325 + k. Does 31 divide u?
True
Let u be 2*((-966)/4)/(-7). Suppose 258*z = 255*z + u. Is z a multiple of 2?
False
Does 16 divide (-16820)/(-87)*(27/60)/(11/6336)?
True
Let y(f) = 55*f**2 + 59*f + 927. Does 45 divide y(-23)?
True
Let o(s) = 2029*s**2 + 114*s + 315. Is 19 a factor of o(-4)?
False
Let o = 12 - 14. Let p be 133/6 - o/(-12). Suppose 2*a - p = 58. Does 10 divide a?
True
Is -2*(-399)/42 + 25279 a multiple of 13?
True
Does 67 divide ((-3807)/(-15) - 5)/((-42)/(-525))?
False
Let w(o) = -23*o - 16. Is 6 a factor of w(-8)?
True
Let c = 41 - 41. Suppose c = -o + 14 - 14. Suppose -r = -7 - o. Is r a multiple of 4?
False
Is 6 + (1 - -1) + 251 + -137 a multiple of 3?
False
Suppose -33*x + 633474 = -338508. Does 273 divide x?
False
Let u(h) = -h**3 + 19*h**2 + 24*h + 16. Let a be u(21). Let o = -164 - a. Is o a multiple of 6?
True
Is 2 a factor of (27633/1098)/((-1)/(-330))?
False
Suppose -213*t + 3204622 = -1543787. Is 79 a factor of t?
False
Let c(y) = -y**2 - 33*y + 112. Let n be c(-36). Suppose -n*q + 5*f + 764 = 0, -3*q + 58 = 5*f - 480. Is 14 a factor of q?
False
Let v(t) = -2*t**2 - 511*t + 267. Does 21 divide v(-72)?
True
Suppose -2*t = -12 - 68. Suppose 2*z + 3*m = 21 + 27, 0 = 2*z - m - t. Let h = 147 - z. Does 14 divide h?
True
Suppose u + 3*u - 38 = -2*k, 0 = k - 5*u - 54. Suppose k*a - 16186 = 9769. Does 58 divide a?
False
Let g(l) = 8*l**2 + 8*l - 20. Let u = -238 + 242. Is g(u) a multiple of 20?
True
Suppose 0 = -5*r - 4*t + 6*t + 429, -r = -5*t - 95. Let p = r - 84. Does 23 divide 4 - 1 - (4/p + -47)?
True
Suppose r - 4 = -c, -2*r + 11 = 20*c - 15*c. Suppose -h - 796 = -3*t, -3*t + r*h - 282 = -4*t. Does 14 divide t?
False
Suppose 4*l + 3*w = 13924, 27*w - 24*w - 6968 = -2*l. Is l a multiple of 47?
True
Suppose -354 - 9053 = -7*x + 7568. Is 6 a factor of x?
False
Let i(v) = -13*v + 8. Let b be i(4). Let f = 149 + b. Let r = -51 + f. Does 18 divide r?
True
Let a(u) = -366*u**3 - 9*u**2 - 9*u - 53. Is 23 a factor of a(-3)?
True
Suppose -25 = -4*v - v. Suppose 0 = -46*n + 50*n - 12. Suppose v*u = 10, -n*y + 5*u + 31 = 5. Is 12 a factor of y?
True
Let x = 8 - -11. Let p = -15 + x. Suppose 99 = 2*z + p*q + q, -27 = -z + 2*q. Does 23 divide z?
False
Suppose 2*j = -2*o + 214, 2*o + 698 = 4*j + 240. Let a = -47 + j. Suppose 0 = 2*h - 155 - a. Is h a multiple of 22?
True
Let c(b) = b**2 - 3*b - 6. Let f be c(5). Let j(i) = 33*i - 184. Let h(t) = 11*t - 64. Let s(k) = -17*h(k) + 6*j(k). Does 4 divide s(f)?
True
Suppose l = -3*o + 1176, 9*o + 1960 = 14*o - l. Is 8 a factor of o?
True
Let d = -95 - -888. Suppose d = -7*y + 20*y. Is 7 a factor of y?
False
Let l(z) = -31*z**3 - 4*z**2 - 15*z - 90. Is l(-4) a multiple of 45?
True
Let z = 36 - -81. Let q = z - -37. Is 9 a factor of q?
False
Suppose -18*g = 15*g - 100650. Is g a multiple of 5?
True
Suppose 2*q + 12 = 18. Is 36/(-27) + 1126/q a multiple of 18?
False
Let a be (4 + (-1 - 0))/(15/20). Let w be 133/35 + a/(-5). Suppose -2*v = w*r - 189, 2*v - v = 3*r - 189. Is 17 a factor of r?
False
Let j = 4097 - 3527. Does 10 divide j?
True
Let c(q) = 4*q - 464. Let z(x) = x - 116. Let f(d) = 2*c(d) - 9*z(d). Is f(11) a multiple of 4?
False
Let o = -35 - -35. Suppose 4*s - 52 = -p, 4*p - 5*s + s - 208 = o. Let j = 12 + p. Does 6 divide j?
False
Suppose 2*k - 20 = -3*k + 5*o, 0 = 4*k + 3*o - 23. Let d = 19 - k. Suppose r = -0*r + d. Is 7 a factor of r?
True
Let a(l) = -l**3 - 4*l**2 - 2*l. Let c be a(-2). Is 9 a factor of 0 - 678/c*2/3?
False
Suppose -2*j = 3*x - 11619, 10*j - 6*j + 4*x = 23244. Does 18 divide j?
True
Let a(j) be the second derivative of j**5 - 2*j**3 - 12*j. Let q(m) be the second derivative of a(m). Does 15 divide q(1)?
True
Let w(n) = -23*n**2 + 7*n - 8. Let f be w(2). Is 62 a factor of (21 - f) + (7 - 0)?
False
Suppose -25*f + 2617 = a - 20*f, 0 = -f - 1. Suppose 1122 = 13*v - a. Is 24 a factor of v?
True
Is 17 a factor of 1/(2/5154) + (24 - 20)?
False
Let d(s) = 9*s**2 + 76*s - 24. Let c be d(-10). Suppose -c = -8*u + 1460. Does 21 divide u?
False
Let k(l) = l**2 + 10*l + 18. Let f be k(-3). Let y be f/((-12)/(-16)) + 24. Suppose -472 = -y*p + 18*p. Is 35 a factor of p?
False
Let t = 4466 + -1556. Is 10 a factor of t?
True
Let p(l) = 4*l - 26. Let u(y) = 2*y - 13. Let k(r) = -3*p(r) + 5*u(r). Let h be k(4). Suppose -h*d = 312 - 767. Is 14 a factor of d?
False
Suppose 12*h + 42 = 26*h. Suppose 0 = -4*z + h*s + 2939, -2*z = -3*s - 819 - 652. Is z a multiple of 41?
False
Let t = -7922 - -12794. Is 174 a factor of t?
True
Is 11 a factor of 6/(-8) + 169901/332?
False
Let r(i) = 26*i + 44. Let o be r(-25). Let z = 760 + o. Does 77 divide z?
True
Let b = 111 + -105. Suppose b*i - 4*l = 7*i - 676, 5*l - 1349 = -2*i. Does 56 divide i?
True
Suppose 0 = 14*y - 1686 + 398. Is y a multiple of 11?
False
Let r = -25 - -21. Is 154 + -1 + (-9 - r) a multiple of 11?
False
Let l be (4*265/20)/((-4)/(-36)). Does 15 divide l + 0 + 7 + -5?
False
Let b be (174/145)/(3/10). Suppose -b*c + x = -5201, -c - 6499 = -6*c - x. Does 20 divide c?
True
Let h(g) be the second derivative of -g**3/6 - 5*g**2/2 - 9*g. Let v be h(3). Is 4/(v + 4)*-64 a multiple of 23?
False
Let g(r) = -4243*r + 59. Let o be g(-3). Is 19 a factor of (-2)/15 - o/(-60)?
False
Let g(j) = 9*j**2 + 44*j + 4093. Does 93 divide g(-56)?
True
Let o be (22916/112 - (-9)/36)*7. Suppose -3*b = w - 2*w + 1450, -w + o = 5*b. Does 19 divide w?
True
Let p = 15336 + 2064. Is p a multiple of 86?
False
Is 250 a factor of (-52)/(-182) + (8204892/210 - 2/10)?
False
Let x be ((-5264)/(-20))/((-4)/(-10)). Suppose -x = 97*y - 98*y. Is 47 a factor of y?
True
Suppose 3*v + 4*j - 94796 = 0, j + 94756 = -v + 4*v. Does 11 divide v?
False
Suppose -4*y + 5*q + 24 = -7*y, 0 = 3*y - 3*q + 48. Let h(c) = -19*c - 7. Let t be h(6). Let f = y - t. Does 12 divide f?
True
Suppose -19*q = 1292 - 456. Is 19 a factor of (7/(-2) - 6)/(2/q)?
True
Suppose 0 = 2*k - 16, 7944 = -64*t + 65*t + 4*k. Is t a multiple of 41?
False
Let o(p) = p + 72. Let z = -194 - -217. Does 5 divide o(z)?
True
Let a(c) = 2*c**3 + 42*c**2 - 19*c + 17. Does 17 divide a(-8)?
False
Suppose -264 = 7*s - 12. Let u = s + 39. Suppose 0 = -3*r - 2*f + 296, 0 = -u*r - 2*f + 4*f + 280. Is 4 a factor of r?
True
Let r = -17 - -21. Suppose 0 = -r*l + q + 126 + 230, 2*l = q + 176. Is l a multiple of 15?
True
Let q(t) = 6*t - 14. Let r be q(-10). Let d = r - -67. Is ((-432)/28)/(1/d) a multiple of 18?
True
Let b be (-1)/1*(-40 + 8). Suppose 0 = -42*j + b*j + 12020. Is 16 a factor of j?
False
Is 26 a factor of (238/(-8))/1*17/((-153)/1692)?
False
Let z(d) = 92*d**2 - 83*d + 1074. Is 33 a factor of z(16)?
True
Let n(z) = z**3 - 2*z**2 + 6*z - 4. Let t be n(1). Let y = t - -121. Is 18 a factor of y?
False
Suppose -89*u - 1408 = -2*w - 90*u, w = -3*u + 704. Is 139 a factor of w?
False
Let y = 47994 + -32649. Does 42 divide y?
False
Let o(c) = 12*c**2 + 8*c + 1. Let p(a) = -7*a**2 - 4*a - 1. Let m(b) = 4*o(b) + 7*p(b). Let w be m(3). Suppose -z = 3*y - 111, w = 3*y - 3. Does 18 divide z?
True
Is 6 a factor of (-6)/(-12)*56/(-140) + 35671/5?
True
Is (-7)/1*(-36)/(-126) - -3740 a multiple of 86?
False
Let m be -4*(0 - (3 - 2)). Suppose 5*t = 8*t + 3*o - 630, -m*t = -3*o - 854. Suppose -s - 3*n = -86, -4*n - t - 68 = -4*s. Is s a multiple of 7?
False
Suppose 0 = 4*p + 3*a + 35, -p + 10 = -2*p - a. Let r(k) = -2*k**3 - 5*k**2 - 24*k - 59. Is 3 a factor of r(p)?
True
Suppose -407*v - 9755 = -5*z - 412*v, -z - 5*v = -1971. Does 94 divide z?
False
Suppose 4*b = 22 - 10, -5*b = 3*a - 585. Suppose 3*x - r - 42 = a, -4*r + 8 = 0. Is x a multiple of 2?
True
Let w(x) = -17*x**2 + 18*x - 27. Let a(u) = 6*u**2 - 6*u + 9. Let q(o) = -11*a(o) - 4*w(o). Let j(p) = 3*p + 40. Let n be j(-11). Is q(n) a multiple of 37?
False
Let z(k) = -k**2 - 6*