2 = -4*v + 3*a - 49, 0 = -2*v + a - u. Let s = -6 - v. Is 8 a factor of s?
True
Let n(r) = -3*r + 4. Let b be n(3). Let a(s) = 1. Let h(z) = 2*z - 16. Let l(w) = b*a(w) + h(w). Does 2 divide l(12)?
False
Let a = -520 - -786. Is 48 a factor of a?
False
Suppose -4*d + 2*c + 20600 = 0, 5*d = 22*c - 25*c + 25761. Is d a multiple of 61?
False
Let b(z) = z**2 + 2*z + 4. Let x be b(-7). Suppose 0 = 2*o - 3*o + 51. Suppose -o = -n + x. Does 23 divide n?
False
Suppose -g + 56 + 12 = 0. Suppose -4*r = -0*r - g. Is 17 a factor of r?
True
Let l(x) = -x**2 - 14*x + 15. Let r be l(-14). Suppose y - a + r = 3*y, -3*a = -15. Suppose t = -3*t - 3*h + 323, 234 = 3*t + y*h. Does 12 divide t?
False
Let r(l) = l**2 + 4*l + 6. Let q be r(-3). Suppose 5*h = 25, -c + q*h = c + 11. Suppose 0 = -2*g - c*g + 36. Does 8 divide g?
False
Let m(l) = 2*l**2 - 10*l - 3. Suppose -32 = 5*z - 7*z + 4*x, 0 = 3*z - 5*x - 43. Is 5 a factor of m(z)?
False
Let c(p) = 4*p**2 - p + 3. Let f(k) = k**2 + 7*k + 9. Let t be f(-7). Suppose -y = 4*z + y + 14, t = -4*z + 3*y. Does 21 divide c(z)?
True
Let g(o) = 8*o + 11. Let n be g(-2). Let m(w) = 0*w**2 - 3*w**2 + 1 + 4*w**2 - w. Does 29 divide m(n)?
False
Suppose -68*i = -102*i + 15878. Is i a multiple of 10?
False
Let t = 87 - -711. Does 57 divide t?
True
Let g be (-6)/(-12)*0/2. Suppose -15*a + 13*a = g. Suppose a = -8*b + 5*b + 78. Does 9 divide b?
False
Suppose -4*a + 755 = a. Suppose -a = -2*h + 2*n + n, -5*h = n - 420. Suppose 0 = -5*i + 2*m + h, 22 = 6*i - 4*i + 2*m. Does 4 divide i?
False
Suppose 2143*s = 2139*s + 1436. Is s a multiple of 2?
False
Let t = -343 - -82. Let w = -144 - t. Let s = -69 + w. Does 16 divide s?
True
Let x(p) = -p**2 - 10*p + 14. Let v(m) = m**3 + 6*m**2 - 8*m - 4. Let s be v(-7). Suppose 5*d - 2 = -s*q, 0*d = -2*d + 8. Is 7 a factor of x(q)?
False
Let x(o) = -5*o**2 + 4 - 7*o - 12 + 10*o**2. Is x(4) a multiple of 11?
True
Let q be (-168)/(-20) + 4/(-10). Suppose 3*x + q = 5*x. Suppose -x*d - 7 + 63 = 0. Is d a multiple of 7?
True
Let k(y) be the first derivative of -y**4/2 - 2*y**3/3 + 3*y**2 + 2*y + 14. Let s be -5 + (1 - (0 - 0)). Is 24 a factor of k(s)?
False
Let s = -1082 - -4362. Is 40 a factor of s?
True
Let g(w) = -w**3 + 8*w**2 + 7. Is 4 a factor of g(8)?
False
Suppose 3*z + 99 = -2*u, 3*z - 4*z = -u - 37. Let b = u - -30. Let m(n) = -n + 12. Does 12 divide m(b)?
True
Let p be 9/((-6)/(-2)) - (-2)/(-2). Let m(c) = 13*c**2 + 6*c - 6. Is m(p) a multiple of 7?
False
Let o = -17 + 27. Let d(u) = -u + 13. Let m be d(o). Suppose -2*s - 4 = -m*s. Is 2 a factor of s?
True
Let s = 857 - 460. Is s a multiple of 33?
False
Suppose 3 + 6 = 3*d. Suppose -3*k + 14 = -d*q - k, -5*q + 2*k = 30. Is 8 a factor of 60*(-1)/(20/q)?
True
Suppose 5*j - 9*j = 72. Let f(l) = -l**2 - 19*l + 8. Does 7 divide f(j)?
False
Suppose -12*p + 13 = -11. Suppose 5*x + 3*f = 145, -p*x = -4*f - 57 - 1. Is x a multiple of 15?
False
Suppose -20 = -5*x - 0*x. Suppose 33*g = 37*g - 388. Suppose 37 - g = -x*l. Is l a multiple of 5?
True
Suppose -43*j - 154 = -50*j. Is j a multiple of 2?
True
Let l(n) = 5*n**3 + 153*n**2 + 25*n + 71. Does 149 divide l(-30)?
False
Suppose -4*f - 4*k = -32, -5*f - 3*k + 44 - 2 = 0. Is 25 a factor of 677/f + 10/(-45)?
True
Let w(z) = -z**3 - 5*z**2 - 7*z - 17. Let p be w(-8). Suppose 4*o - 81 = -5*i + 1018, -i + p = -2*o. Is i a multiple of 28?
False
Suppose 327 = g - 4*t - 0*t, -3*g + 1021 = -4*t. Is 9 a factor of g?
False
Suppose 43*v - 39*v - 904 = 0. Is v a multiple of 6?
False
Let k(r) = -7*r**2 + 9*r + 10. Let b be k(-7). Let y = -176 - b. Does 11 divide y?
True
Suppose 0*r = 3*r - 9. Let g(v) = -2*v**3 - 5*v**2 - 4. Let h be g(-3). Suppose -26 = -h*t - x, -r*x = 2*t - x - 4. Does 4 divide t?
False
Suppose 5*x = 222 + 233. Let r = -53 + x. Is r a multiple of 6?
False
Suppose 5*l - 12*l + 28 = 0. Suppose -14 = l*o - 5*o. Does 14 divide o?
True
Suppose 5*j = 3*u - u + 100, u = -5*j + 115. Let r = j + 3. Does 3 divide r?
False
Suppose -4*d - 20 = -36. Suppose -d*m = m - 60. Does 5 divide m?
False
Is ((-328)/6)/((-31)/6 - -5) a multiple of 15?
False
Suppose 5*l = -4*u + 949, l + u - 201 = 3*u. Let t = -60 + l. Is 29 a factor of t?
False
Let i(b) = b**3 - 3*b**2 - 2*b + 2. Let v be i(2). Does 7 divide (1 + v/3)/(1/(-55))?
False
Suppose -88*m = -93*m + 9695. Is 21 a factor of m?
False
Let k(v) = 3*v**3 + 2*v**2 - 12*v + 1. Does 23 divide k(6)?
False
Suppose -2 + 4 = -s, -5*j + 2*s - 26 = 0. Is 24 a factor of j/(-30) - 4572/(-15)?
False
Let y = -6 - 10. Let q(m) = -m**2 - 19*m - 30. Is 11 a factor of q(y)?
False
Let c(v) = 2*v**2 + 7*v + 3. Let z be c(-13). Suppose 5*k + 2*b - 589 = 0, -k + 4*b + z = k. Is 42 a factor of k?
False
Suppose 4*v = 1237 + 2667. Does 8 divide v?
True
Let t(z) = 9*z - 12. Suppose -46 = -5*n - 4*r, 2*n - 7 - 13 = -2*r. Does 7 divide t(n)?
True
Let h = -588 + 849. Suppose -3*g + 3*f = -99, -2*f - h = -5*g - 81. Does 19 divide g?
True
Suppose x = -4*t + 5*t - 6, -2*x = 8. Let l(q) = -q**2 + q + 4. Is l(t) even?
True
Let i(s) = 2*s**2 + 13*s. Does 20 divide i(-21)?
False
Suppose -4*z - s = -14, 4*z - 24 = 2*s - 4. Suppose 3*m + 3*y - 12 = 0, -2*y + 5*y - 12 = -m. Suppose -416 = -m*f - z*f. Is 26 a factor of f?
True
Suppose -d - 2*b = -3*b - 7, -b - 10 = -2*d. Suppose -4*f - 4 = 0, -4*f = d*x - 2*x + 4. Suppose x = 8*p - 11*p + 174. Does 21 divide p?
False
Suppose 0 = -5*g + v + 752, 0 = -g + 8*v - 4*v + 139. Does 6 divide g?
False
Let v(x) = -273*x + 127. Is v(-2) a multiple of 7?
False
Let p be ((-4)/8)/((-2)/20). Let j(q) = -5 + 5*q - 1 - p. Is j(9) a multiple of 17?
True
Is 10/2 - (-1692)/(6/2) a multiple of 18?
False
Let i(l) = 19*l - 79. Does 7 divide i(20)?
True
Let f(h) be the second derivative of h**5/20 + h**4 + 2*h**3 - 2*h**2 + 5*h. Is f(-9) a multiple of 25?
False
Let k(p) = -p**3 - 4*p**2 + 8*p - 1. Let i be k(-6). Let b = i + -19. Suppose -s - 3*g - 5 = -2*s, -b*s - 4*g = -100. Is 5 a factor of s?
True
Let x = 21 + -41. Let g = x + 36. Is 4/g + 51/4 a multiple of 3?
False
Let d = -2 + 10. Let z be (16/4)/d*20. Suppose 3*v - z = 8. Is v even?
True
Let n be (0 + (0/(-2) - 0))/1. Let v = n + 48. Does 6 divide v?
True
Suppose 3*c = -2*h - 0*h - 18, c = 2*h + 34. Let p be (h/2)/(12/(-8)). Suppose 4*o + 16 = -g, -p*g + 4*o + 28 = -3*g. Does 3 divide g?
False
Suppose 0 = q - 5*d - 121, 4*q - 341 = -3*d + 166. Let j = 186 - q. Is j a multiple of 9?
False
Let o(r) = -4*r**2 + 8*r**3 - 2*r - 9*r**3 + 6*r**2. Let h be o(2). Let d = h + 12. Is d a multiple of 6?
False
Let j(z) = -z**3 - 14*z**2 + 2*z - 13. Let k(b) = b**3 + 15*b**2 - 3*b + 14. Let s(n) = -6*j(n) - 5*k(n). Is s(-7) a multiple of 36?
False
Suppose 87 = s - 5*u, 97 = s - 4*u + u. Let d = s + 113. Suppose 0*p + d = 5*p. Is p a multiple of 29?
False
Let g(m) = -4*m + 101. Does 9 divide g(-10)?
False
Let f(x) = 12*x + 15. Let i be f(7). Let l = 240 - i. Is l a multiple of 11?
False
Is 76/42*15*21 a multiple of 3?
True
Let w = -8 - -3. Let x be (-6)/(-15) - 8/w. Suppose -2*s - x*s = -108. Is s a multiple of 7?
False
Let g(v) = 0 - v**2 + 3*v - 8 + 2*v**2 + 6*v. Does 7 divide g(-11)?
True
Let f(d) = d**2 + 14*d - 23. Suppose 60 = -5*g + 4*r + r, 2*r = g + 8. Let p be f(g). Suppose p*y - 4*y = 225. Is y a multiple of 15?
True
Suppose -5*k - 14*u - 5 = -9*u, -k = 4*u - 2. Is 9 a factor of 78 - k/(-3)*(-99)/(-22)?
False
Let t(c) = -c**3 + 4*c**2 - 4*c + 4. Let m be t(2). Suppose -4*l + 2*r = -457 - 111, l = -m*r + 160. Does 18 divide l?
True
Let w(m) = 3*m**2 - 40*m - 5. Let a = 9 - -8. Is w(a) a multiple of 9?
False
Suppose 2*z + 331 = 1745. Is 14 a factor of z?
False
Let c(o) = -75*o - 166. Does 12 divide c(-11)?
False
Let p = 386 - 373. Does 2 divide p?
False
Let x(o) = o**2 + 10*o + 12. Let k be x(-9). Suppose k*l - 3*c - 9 = l, -15 = 5*c. Suppose 2*i - 10 = l, 4*v - 82 = -i + 3. Does 17 divide v?
False
Is 1 + 9/(-18) - (-1939)/2 a multiple of 17?
False
Suppose -2*d - 3 = -4*o + 3*o, 2*d = 3*o - 5. Let h be (-6 + 0)*11*d. Suppose -4*a + 7*a - h = 0. Is a a multiple of 8?
False
Suppose -5*i + 145 = 2*z, 4*z + 71 - 172 = -3*i. Let j = i + -24. Suppose 5*c - 3*t = 169, -j*t - 34 = -4*c + 103. Is c a multiple of 16?
True
Suppose j = 41*j - 5080. Is j a multiple of 2?
False
Let m = 23 + -24. Let t = m + 7. Let v(u) = u**3 - 5*u**