uppose 0*o + 4*u = 5*o + 80, 3*o - 4*u = -56. Let d be 3/o - (-1181)/4. Does 20 divide (d/15)/(2/6)?
False
Let g(f) = f**2 + 3*f + 12. Let x(t) = -2*t**2 - 7*t - 23. Let z(k) = 11*g(k) + 6*x(k). Let m be 0 - (1 + -1) - 5. Is 14 a factor of z(m)?
True
Suppose 48 + 116 = c - 5*p, 0 = 5*c - 3*p - 732. Suppose x - 27 = -3*f + 17, 4*f - c = -4*x. Is 14 a factor of x?
False
Suppose h + h - 70 = 0. Suppose 4*l + 2*p - h = -p, -5 = -3*l + 2*p. Is l a multiple of 5?
True
Let w be -3*(-4)/6 - -74. Suppose 0 = 2*l + 5*b - 88, 0 = -3*l + 5*l - b - w. Does 12 divide l?
False
Suppose -2*k + 11 = k + 4*h, 5*h - 22 = -k. Let r = k - -7. Suppose -2*g = -r - 54. Does 11 divide g?
False
Let y = -114 - -276. Is 18 a factor of y?
True
Suppose 6*x + 191 = 5*s + 2*x, 5*s + 5*x - 155 = 0. Let g = -24 + 28. Suppose g*k + s = 99. Is 8 a factor of k?
True
Let f be -1*10/(1 - 3). Let y(j) = j + 5. Let p be y(-5). Suppose p = f*i - 14 - 141. Does 13 divide i?
False
Let s be 0 + (-3 - (-174 + 1)). Suppose -5*d + 96 = -2*n - s, 5*d = 5*n + 275. Is 25 a factor of d?
False
Let y(h) = h + 4. Does 6 divide y(8)?
True
Let c be (0 - (-1)/(-1))*-11. Let d = c - -13. Is 9 a factor of d?
False
Let t = -9 - -12. Suppose t*y - 54 = 30. Is 6 a factor of y?
False
Suppose -62 = -f - 22. Is f a multiple of 10?
True
Let q = -9 - -14. Suppose b = q*v + 15, 5*b - v + 0*v = 27. Suppose -k - b = -13. Is k a multiple of 3?
False
Let k = -1 + 7. Suppose -k*b + 2*b = -64. Suppose 2*w = 20 + b. Is w a multiple of 9?
True
Let c = -8 + 12. Let u(s) = 2*s + 2. Is 10 a factor of u(c)?
True
Let p be (2/1)/(4/(-10)). Let q(w) = w + 7. Let a be q(p). Suppose a*b + 5*c = 61, -4*c = 2*b + b - 102. Is b a multiple of 16?
False
Let p(j) = 5*j**2 + 2*j + 2. Suppose -g - 3 = -1. Is p(g) a multiple of 12?
False
Suppose 2*q - 10 - 4 = 0. Is q a multiple of 3?
False
Let q(g) = -3*g**3 - 2 + 10*g + 4*g**3 + 4 - 9*g**2 - 4. Does 8 divide q(8)?
False
Suppose 5 - 1 = 2*f. Let w = 41 + -18. Suppose -5*c + w = q, -q + 58 = f*q + 4*c. Is q a multiple of 9?
True
Let x(j) = j**3 - 7*j**2 + 6*j + 12. Is x(6) a multiple of 7?
False
Let b(g) = -g**2 - 7*g - 4. Let l be b(-6). Suppose -l*d = -3*c - 21, 5*d + 2 = -c + 46. Is 1*d - (0 - 2) a multiple of 11?
True
Let w(v) = 5 - 3 - 4*v**2 - 11*v**3 + 3*v + 12*v**3. Does 3 divide w(4)?
False
Let m(x) = -x**3 - 17*x**2 - 17*x + 9. Is 13 a factor of m(-17)?
False
Suppose 0 = 3*k - 38 - 34. Does 6 divide (10/(-4) + 3)*k?
True
Suppose 3*o = -2*t + 338, 3*o + 555 = 8*o + 5*t. Does 11 divide o?
False
Suppose 4 = 4*n + 2*h - 0*h, 3*n = -h + 2. Suppose n*q - j = -q - 2, -2*q = 5*j - 10. Suppose q*f = -f + 8. Does 4 divide f?
True
Suppose -m = -28 - 27. Is 12 a factor of m?
False
Suppose 0 = -2*r - 61 + 17. Let m = 49 + r. Is 9 a factor of m?
True
Suppose 0 = 2*j + 2*j. Let c be 6/(j - (-4 + 2)). Suppose -c*o + 138 = 2*y + y, 3*y = 4*o + 110. Is y a multiple of 21?
True
Let c be 1 - (-3 + (-1 - -2)). Suppose 4*u + 20 = 0, c*d = -2*d + 3*u + 10. Let i(l) = -11*l - 1. Does 5 divide i(d)?
True
Let q(x) be the third derivative of 23*x**7/2520 + x**5/120 - x**4/12 + 2*x**2. Let u(n) be the second derivative of q(n). Does 12 divide u(-1)?
True
Is (4/(-5))/2 + 8172/30 a multiple of 16?
True
Suppose -2*x = 3*p - 9, 4*x - 8 = 3*p - 35. Is 27 a factor of p*4*(-162)/(-45)?
False
Suppose -4*d + 474 = 2*d. Is 8 a factor of d?
False
Let o(a) be the first derivative of 29*a**3/3 + a**2 + a + 2. Let g be o(-1). Suppose 2*l + g = 3*l. Does 10 divide l?
False
Suppose 9*j - 461 = -83. Is 14 a factor of j?
True
Let d = -55 + 120. Is 19 a factor of d?
False
Suppose -3*c + 37 = -2*c. Let u = -21 + c. Does 4 divide u?
True
Let k = -34 - -55. Let l = k + -14. Does 4 divide l?
False
Does 9 divide 128 - (1 + 0 + -3)?
False
Let b = 20 - 8. Is 12 a factor of b?
True
Let l(y) = -5*y + 11. Let s(m) = m - 2. Let q be 0/(3 - 0) - -6. Let t(w) = q*l(w) + 34*s(w). Is t(4) a multiple of 14?
True
Suppose -82 = -u - 28. Suppose u = 9*v - 6*v. Does 18 divide v?
True
Suppose -5*b = 3*o - 31 + 11, 2*b + o - 8 = 0. Let c(l) = 3*l**3 - 6*l**2 - l - 2. Let h(g) = g**3 - g**2. Let q(w) = -c(w) + 2*h(w). Is q(b) a multiple of 6?
True
Let t be (-2)/(-8) - 15/(-4). Suppose 0 = 2*i + 2*i - t. Does 17 divide i + -2 + 1 - -40?
False
Let i(a) = 7 + 4*a - 1 + 6*a. Is i(5) a multiple of 15?
False
Suppose 5*a - 108 = 77. Let z = a - 24. Is z a multiple of 4?
False
Is (-384)/(12/(-3)) + 4 a multiple of 15?
False
Suppose 4*r + 153 = 3*y, 63 = -2*r - 4*y - 41. Does 15 divide (r/(-10))/((-3)/(-15))?
False
Is 19 a factor of (1/3)/(1/114)?
True
Let n = 10 - 5. Let u(c) = -c**3 + 6*c**2 - 3*c + 6. Is 4 a factor of u(n)?
True
Let p be 82/8 - (-12)/16. Let b = 28 - p. Let z = 28 - b. Does 11 divide z?
True
Suppose 4*c = -96 + 108. Let n(u) = -u - 3. Let f be n(-3). Suppose 69 = -f*r + c*r. Is 12 a factor of r?
False
Suppose 3*i - 2*i = 296. Suppose -6*u + i = -2*u. Does 12 divide u?
False
Suppose o - 40 = 4*h, 2*o + 14 - 79 = 3*h. Is o a multiple of 14?
True
Suppose y - 3*y = -6. Is 11 a factor of ((-10)/(-4) - y)*-22?
True
Suppose 5*i + 4*k = 6, -k = 2*i - 0*k. Let a be (11/3)/(2/(-12)). Let l = i - a. Does 20 divide l?
True
Let f = 14 - 12. Suppose -3*y = -2*y - 5*m - 74, f*m + 132 = 2*y. Is y a multiple of 28?
False
Let j be 34/8 + 1/(-4). Suppose 2*s = j*s + 10, -s = -c + 37. Is 17 a factor of c?
False
Suppose 97 + 739 = 4*f. Is 41 a factor of f?
False
Suppose 0 = k - w - 31, 3*k + 0*w = -5*w + 53. Is 3 a factor of k?
False
Let q(y) = 1 + 19*y**3 - y**2 + 0 - 46*y**3. Let h be (1 + 0)*(0 - 1). Does 13 divide q(h)?
False
Suppose v = -12*v + 351. Is 9 a factor of v?
True
Let s = -36 - -73. Is 5 a factor of s?
False
Suppose 5*y = 2*t - 5, -6*y = -t - y - 10. Let d = t - 11. Suppose -4*f + 167 = 3*i, 3*i - 2*i - d*f = 29. Is i a multiple of 14?
False
Let i(j) = -2 + 2 - 1 + 2*j. Is i(3) a multiple of 2?
False
Suppose 3*k + 4 = 5*k. Suppose 0 = -k*x - 0*j - 4*j - 6, -5*x + 2*j = -21. Suppose 41 = 3*w - 2*q, x*q + q = 2*w - 30. Is w a multiple of 12?
False
Let c(w) = 5*w**2 + 3*w + 6. Let j(s) = -6*s**2 - 3*s - 7. Let f(t) = 5*c(t) + 4*j(t). Suppose 4*p + 2*u = -39 - 3, -9 = -2*p + 5*u. Is f(p) a multiple of 16?
False
Let l = -2 + 0. Let h = -3 - l. Is (0/(-2))/h + 11 a multiple of 9?
False
Let o(r) = -6*r + 30. Does 9 divide o(-13)?
True
Suppose -144 = -5*g - g. Is g a multiple of 6?
True
Suppose -52 = -h + 35. Is h a multiple of 29?
True
Let t(a) = -a + 19. Let v = 5 - 5. Suppose v = m - 0*m. Is 19 a factor of t(m)?
True
Let q(t) = 28*t**2 + t. Is q(1) a multiple of 18?
False
Let s(k) = -11*k**2 - 3*k + 29. Let u(v) = 4*v**2 + v - 10. Let q(l) = 6*s(l) + 17*u(l). Is q(3) a multiple of 14?
False
Suppose 0 = -0*i - 5*i - 10. Let b(g) = 3*g**2 + 1 - 1 + g. Is b(i) a multiple of 5?
True
Suppose -z + 6*z - 320 = 0. Does 8 divide z?
True
Suppose -3*g - 175 = -16. Let i = g + 33. Let x = i + 40. Does 6 divide x?
False
Suppose 0 = -3*m - 0*m + 108. Does 9 divide m?
True
Let w(u) = -4*u. Suppose -4*r - 15 = 1. Let d be w(r). Suppose -3*b - b + d = 0. Is b a multiple of 2?
True
Let h(p) = 6*p - 1. Let t be h(5). Suppose -3*m + t = -5*c + m, 0 = 2*m - 2. Is 4 a factor of 2 + c + 2 - -11?
False
Let r be (2 - 1)/((-8)/(-1032)). Suppose -16 = -2*p - 2*p. Suppose -23 - r = -p*t. Does 19 divide t?
True
Does 18 divide (-93)/2*(50/(-15))/5?
False
Let b(l) = 50*l + 1. Is 17 a factor of b(1)?
True
Let n(h) = -h**2 - 5*h - 6. Let d be n(-5). Let v(s) be the first derivative of -5*s**2/2 - 8*s + 7. Does 17 divide v(d)?
False
Let d(f) = -f**3 + 8*f**2 - 7*f. Let v be d(7). Let g(h) = 4*h - 2*h + h + 15 - 2*h. Does 4 divide g(v)?
False
Suppose 3*q = 2*u - 29, 0*q - u = -4*q - 37. Does 12 divide 8/36 + (-106)/q?
True
Suppose -q - 44 + 128 = 0. Suppose 4*w - 16 = -2*m + 68, -4*w = m - q. Is w a multiple of 7?
True
Suppose 60 = -2*a + 4*a. Is a a multiple of 5?
True
Let v(l) = 4*l**3 + l**2 + 2*l. Suppose -5*m = 2*q + 48 - 9, -4*m = 5*q + 21. Let i(u) = -u - 7. Let p be i(m). Is v(p) a multiple of 20?
True
Let p(n) be the second derivative of -4*n**3/3 - n**2 + n. Let q be p(-4). Let b = -15 + q. Does 5 divide b?
True
Suppose -8*q + 1038 = -82. Does 14 divide q?
True
Let l be 18/8 - 1/4. Suppose -7 = -3*p + 2. Suppose -l*w = -3*v - 3, w - p*w + v + 5 = 0. Is w even?
False