271. Let x = l + 143. Does 27 divide x?
False
Suppose -5*d + 111 = -339. Suppose -4*a = 3*p - d, p - 6 = -2*p. Is 8 a factor of a?
False
Let o be 1504/12 - (-1)/(-3). Let a = o + -59. Is a a multiple of 22?
True
Let n(m) be the first derivative of -m**3/3 + 19*m**2/2 - 10*m - 1. Let g be n(8). Let v = -44 + g. Is 13 a factor of v?
False
Suppose 44*f + 1950 = 49*f. Is 13 a factor of f?
True
Let u(b) = 2*b + 17. Let k be u(-8). Let y = k - -53. Is 12 a factor of y?
False
Suppose -2*p - 105 = 3*p. Let w(q) = -2*q + 12. Let m(a) = -2*a + 13. Let j(v) = 3*m(v) - 2*w(v). Does 31 divide j(p)?
False
Does 77 divide (-90 - -2)*(1098/(-24) - -2)?
True
Let u = -452 - -607. Is u a multiple of 19?
False
Let u(h) = 5*h**2 + 7*h - 2. Let q be u(10). Does 9 divide (-1)/(-3) + q/24?
False
Suppose 1709 + 1501 = t. Is 36 a factor of t?
False
Does 42 divide (-1110)/(-4)*(16/10 - 0)?
False
Let k = -46 - -86. Let v = 87 - k. Does 13 divide v?
False
Let c(z) = 5 - 2*z + 9*z**2 - 10*z**2 + 7. Let n be c(-4). Suppose -29 - 3 = -n*a. Is 7 a factor of a?
False
Let k(x) = 6*x**2 - 45*x. Is 39 a factor of k(13)?
True
Suppose -4*u = -6*u. Suppose u = -b + 28 + 86. Does 20 divide b?
False
Let s(f) = f**2 - 18*f + 66. Is 16 a factor of s(26)?
False
Let q = -356 + 510. Is q a multiple of 11?
True
Suppose -k = 0, -5*k = 2*o - 0*o - 8. Suppose -o*p + 0*p = -128. Does 13 divide p?
False
Let o be (18/(-24))/((-1)/(-16)). Let m = o + 9. Is 4*((0 - m) + 1) a multiple of 9?
False
Let i(n) = n**3 + 19*n**2 - 16*n + 28. Is 20 a factor of i(-18)?
True
Suppose -3*a - 154 - 146 = 0. Let c = a - -170. Suppose 0 = -4*b + c + 50. Does 15 divide b?
True
Let p be 1026/2 - 0 - (6 - 8). Suppose -8*d + p = 35. Is d a multiple of 36?
False
Let g be (0/(2/1))/1. Let q(c) = 3 + 1 + c**3 + c + c - c**2. Is 4 a factor of q(g)?
True
Let k(o) = o**3 + 7*o**2 - 9*o + 7. Let r be k(-8). Let u = 15 - r. Suppose -4*p + 8 = -u*p. Is p a multiple of 2?
True
Let q(l) be the third derivative of l**5/60 - 13*l**3/6 + 2*l**2. Is 38 a factor of q(-12)?
False
Let s(z) = z**2 + z. Suppose -c + 5 = -5*t, 2*c = 2*t - 0 + 2. Let d be s(t). Suppose d = -7*l + 5*l + 22. Is l a multiple of 5?
False
Suppose c - 4*c - 138 = -u, -2*u + 3*c = -276. Suppose -4*l + 7*l = u. Suppose n - l = -8. Is 10 a factor of n?
False
Let c be (21/28)/(2/24). Let f = 2 - c. Let z(l) = -l + 3. Is 3 a factor of z(f)?
False
Suppose -5*d = -26 - 24. Suppose 3*g - 20 = d. Is g a multiple of 10?
True
Let v = 36 - -14. Is 8 a factor of v?
False
Suppose 750 = 3*o - n, o + 47 = 2*n + 302. Is o a multiple of 33?
False
Let r = -128 - -123. Does 18 divide (2 + -9)*r + (-1 - -2)?
True
Suppose 2*f - 1 = -3, -2*m - 5*f - 123 = 0. Let t = 95 + m. Does 4 divide t?
True
Let w(t) = 4*t**3 - 3*t**2 + 4*t - 3. Let n = -9 + 11. Is 7 a factor of w(n)?
False
Suppose 2*n - 8 = 2*a, 9*a - 4*a + 16 = 3*n. Suppose -5*b = 5*o - 962 - 283, 0 = -n*o + b + 513. Is o a multiple of 16?
False
Suppose 2*k + 1208 = 3*h, -17*h - 804 = -19*h + k. Is 16 a factor of h?
True
Suppose -4238 = 2*q - 28*q. Does 13 divide q?
False
Let t(n) be the first derivative of 2*n**3/3 + 2*n - 8. Is t(3) a multiple of 4?
True
Suppose 210 = 3*f - 546. Suppose -3*a + a + 246 = -5*n, -2*n - f = -2*a. Does 32 divide a?
True
Does 53 divide -16*(-106)/(-8)*-1?
True
Let y(q) = -q - 5 + 3*q + 7. Let v be y(-1). Suppose 0 = -v*c - 2*c + 12. Is 4 a factor of c?
False
Suppose -4*z + 1884 = 2*t + 2*t, 0 = 4*z - 12. Is t a multiple of 39?
True
Is ((-4)/18)/((-38)/178866) a multiple of 5?
False
Let d(a) = -a**3 - 18*a**2 - 19*a - 32. Let f be d(-17). Does 9 divide (-15)/(150/(-16))*15/f?
False
Let u(r) = 59*r**2 + 9*r - 9. Is 30 a factor of u(2)?
False
Suppose -19 = 4*b + 21. Let x be 4/b - 864/(-60). Suppose m = d - x, -d - m + 4*m + 20 = 0. Is 11 a factor of d?
True
Let z(t) = 6*t**2 - t - t + t + 2*t. Is 26 a factor of z(2)?
True
Let u(d) = -d**2 + 16*d - 4. Let n be u(12). Suppose n - 138 = -3*q - x, 0 = -3*q - 2*x + 89. Suppose -3*t + q = -0*t. Is t a multiple of 7?
False
Suppose 36*z = 33*z. Suppose 5*a = -z*a + 25. Suppose a*b - 19 = 96. Does 8 divide b?
False
Suppose -14*s + 68985 = 31*s. Is 19 a factor of s?
False
Let x(q) = 2*q + 7. Let m be x(-4). Let w = m - -8. Let n(b) = b + 4. Is n(w) a multiple of 11?
True
Let q(j) = 52*j**2 - 11*j - 2. Is q(-2) a multiple of 19?
True
Let c = -41 - -29. Is (-272)/(-10) + c/(-15) a multiple of 4?
True
Suppose -h + 5*x + 1 = -13, -5*h = -3*x - 70. Suppose 4*f - 3*v - 6 = h, 5*v + 14 = -3*f. Suppose g - 19 = k + 2*k, -2*k = -f*g + 18. Does 4 divide g?
True
Suppose -5*j = 2*i - 20, -2*j = -j + 4*i - 4. Suppose 2*l - j = 116. Does 12 divide l?
True
Suppose x - 2*j = -2, -j + 6*j = 2*x + 5. Suppose -l = 2*f - x*l - 52, -5*f + l = -144. Is 7 a factor of f?
True
Let k(p) = -2*p - 23. Let i be k(-8). Let s(v) = -9*v - 13. Is 9 a factor of s(i)?
False
Let s = 8 - 44. Suppose 0 = 7*v + 511 - 63. Let j = s - v. Is 27 a factor of j?
False
Let w(l) = 2*l + 2. Let b be w(1). Suppose -m - 145 = -b*x, -3*x - 4*m = -2*x - 49. Does 25 divide x?
False
Let q be ((-141)/5)/(-1)*-1*5. Let p = q + 199. Is 10 a factor of p?
False
Let j(t) = t**2 + 6*t + 3. Let p be j(-6). Suppose -p*f - z = 4, -4*f + 8*f - z = -17. Does 13 divide 17/1 - f/(-3)?
False
Let u(p) = -p + 54. Is u(9) a multiple of 14?
False
Let l be (-120)/18 - 2/6. Is 2/7 - (852/l + 5) a multiple of 26?
False
Let c = -656 - -1254. Is 23 a factor of c?
True
Let i(w) = w**3 + 8*w**2 + 5*w - 9. Let v be i(-7). Suppose -101 = -v*y + 2*c, -y + 11 = -6*c + c. Is y a multiple of 3?
True
Suppose -8 = -s - 3*p - 32, 4*p = 0. Is 10 a factor of ((-172)/(-5))/(s/(-10) - 2)?
False
Let w(j) = 5*j**3 - 22*j**2 - 25*j - 55. Let f(l) = -2*l**3 + 11*l**2 + 13*l + 27. Let m(x) = -7*f(x) - 3*w(x). Is 18 a factor of m(-10)?
True
Suppose -268 = -3*n + 2. Suppose -14*h = -9*h - n. Does 10 divide h?
False
Let g = 16 + -12. Suppose -g*s + 28 = -0*s. Suppose s*r = 11*r - 156. Does 13 divide r?
True
Let b be -14 + (-6 - -2*3/6). Let g(d) = d**3 + 3*d**2 + 2*d + 1. Let f be g(-3). Let j = f - b. Does 6 divide j?
False
Suppose -78 = q - 2*q + 4*r, 407 = 5*q - 3*r. Does 6 divide q?
False
Let p be 4/10 - (-2)/(-5). Suppose p*i - 8*i = -16. Suppose -3*m = 5*o - 60, -4*m + 0*m = -i*o + 24. Does 12 divide o?
True
Let j = -9 - -13. Let n be 4/(-14) + (-60)/(-14). Suppose -j*k = n*r - 2*k - 60, -r = -3*k - 8. Does 4 divide r?
False
Let q(f) = 132*f**2 + 2*f - 3. Is q(4) a multiple of 89?
False
Let o(r) = 3*r + 6. Suppose -20 = -5*a, -24 = -2*w - 4*a - a. Let z be o(w). Let m = 28 - z. Is 4 a factor of m?
True
Suppose 0 = 3*n - 3 - 6. Does 12 divide 2 - -5*(n - -4)?
False
Let m(y) = -2*y**3 - 7*y**2 - 17*y - 24. Is 6 a factor of m(-7)?
True
Suppose 5*d = -4*w + 16, -10 = -4*w + 2*d + 6. Suppose b - 5*f = -2*b + 409, 699 = 5*b - w*f. Is b a multiple of 24?
False
Let f(t) = -4*t**3 + 6*t**2 - 6*t - 3. Let u(w) = w**2 - w - 1. Let o(h) = -f(h) + 4*u(h). Let r be 2*2 + 1*-2. Is o(r) a multiple of 4?
False
Suppose 15704 = 5*c + 3*i + 4173, 10 = 5*i. Is c a multiple of 16?
False
Let l(t) = t**3 + 37*t**2 + t + 39. Does 2 divide l(-37)?
True
Let a(o) = 4*o - 4*o**2 + o - 18 + o**3 + 10 + 4. Is 22 a factor of a(5)?
False
Let y = 1021 - 362. Is y a multiple of 45?
False
Let b(y) = -2*y + 8. Let v be b(7). Let h be (-214)/6 + 2/v. Let x = -16 - h. Is 4 a factor of x?
True
Let n(u) = -62*u + 78. Is n(-5) a multiple of 39?
False
Suppose 6*p - 21 = 5*p. Let b(z) = -3*z**3 + 31*z + z**3 + z**3 - p*z + 6*z**2 - 11. Is b(6) a multiple of 7?
True
Let w be 457 - (36/(-24))/(6/(-8)). Suppose -2*x - 3*n = -0*x - w, 0 = 4*x - 5*n - 877. Is 22 a factor of x?
False
Suppose -48 = -37*p + 29*p. Suppose -21 = -4*j - 3*q, 0 = 5*q - 0 + 25. Does 6 divide j/p*128/12?
False
Suppose -4*x + 13 - 1 = 0. Suppose -12 = -3*d - o, -6 = -d + x*o + 8. Suppose -d = -4*f + 79. Is f a multiple of 5?
False
Let v be (2/(-4))/(12/(-48)). Suppose 3 = i + k + 8, -7 = v*i + 5*k. Is 7 a factor of (21/i)/(1/(-6))?
True
Suppose -5*a + 716 = 281. Let d = a - 39. Is d a multiple of 8?
True
Suppose b + 21 = -4*o, 9*o + 3*b + 11 = 10*o. Is 21 + 135 + (-1 - 0)*o a multiple of 10?
True
Let m = 726 - 294. Is 48 a factor of m?
True
Let q be (-25 - 0 - 3)*-3. Let a = -9 + q. Is 16 a factor of a?
False
Let k = 3509 - 