/2 - w/44?
True
Let q = 11 + 48. Suppose -3*n + q + 88 = 0. Does 16 divide n?
False
Let d be (3 + (-99)/(-6))*2. Let o = d + -74. Does 12 divide ((-112)/o)/((-2)/(-10))?
False
Let n be 3*4*(-5)/(-20). Suppose n*q + 0*q = 150. Does 13 divide q?
False
Let r(i) be the first derivative of 16*i**3/3 - 3*i**2/2 + 3*i + 26. Is 7 a factor of r(1)?
False
Let c(u) = 9*u - 63. Does 2 divide c(22)?
False
Suppose -f - m = 1 - 8, -10 = -4*f + 2*m. Does 4 divide f?
True
Let w be 2/10 - (-11)/(-55). Suppose -4*a + 147 + 57 = w. Suppose 3*c = 3*b + a, 2 + 22 = 2*c - 4*b. Is 5 a factor of c?
False
Let u = -28 - -151. Suppose -u = 5*p - 6*p. Does 8 divide p/9 + 5/15?
False
Suppose -854*s + 900 = -849*s. Is s a multiple of 7?
False
Let s be 0 + (80/50 - 4/(-10)). Suppose -s*c + 4*n = 14 - 94, -8 = -2*n. Is c a multiple of 12?
True
Suppose -8*g + 61 = -7*g - 5*a, g + 3*a - 93 = 0. Is g a multiple of 6?
False
Let n(t) = -3*t - 9. Let r(g) = g + 3. Let j(k) = -2*n(k) - 7*r(k). Let y be j(-8). Suppose -y*b + b + 156 = 0. Is 20 a factor of b?
False
Let m(b) = 27*b - 6. Let x be (-2)/8 - 6*6/(-16). Is m(x) a multiple of 4?
True
Let w(m) = -m**3 + 3*m**2 - 2*m. Let c be w(2). Suppose c = -5*v + 158 + 157. Suppose -o + v = -17. Does 22 divide o?
False
Suppose 17620 = 16*g - 4668. Is g a multiple of 73?
False
Suppose 3*h - 12 = 3*n - 6*n, -5*h - 2*n + 26 = 0. Suppose -c + 68 = s, -2*s - 228 = -3*c - 29. Suppose -a + h*a = t - c, 4*t = -a + 247. Does 20 divide t?
False
Suppose -4*y + 3*c = -y + 30, y - 10 = -3*c. Let q be (78/y)/((-54)/(-180)). Is -3 - (q + 6/(-2)) a multiple of 16?
False
Let z = -270 + 658. Is z a multiple of 9?
False
Let r(h) = 2*h + 81. Let g be r(-24). Suppose -g*n = -34*n + 19. Is n a multiple of 17?
False
Let b(r) = r**2 - 3*r + 1. Suppose 4*i = 2*t + 5 - 1, -2*t + 12 = 4*i. Suppose -4*d = t - 18. Does 4 divide b(d)?
False
Suppose 0 = 4*g + 3*p - 23, 0*p = 3*p - 15. Let l be (1/2)/(1/g). Let h(x) = 25*x**2 + x. Does 13 divide h(l)?
True
Suppose 0*k - 5*k - 4*g + 5726 = 0, 3*g = 2*k - 2272. Is k a multiple of 48?
False
Let d(z) = 16*z**2 - 35*z - 22. Does 32 divide d(-8)?
False
Let i(u) = -10*u**2 + 51*u - 4. Does 10 divide i(4)?
True
Suppose -5*z - 3*z + 1312 = 0. Suppose 3*q - z - 99 = 5*i, 0 = 3*i - 15. Does 21 divide q?
False
Is 19 a factor of 717/(-6 + 90/12)?
False
Let l(v) = -v**2 + 25*v + 34. Let o(n) = 2*n**2 - 26*n - 34. Let a(p) = -3*l(p) - 2*o(p). Is a(-13) a multiple of 12?
True
Suppose 0 = 5*m + 20, m = q - 0*m + 75. Let n = -67 - q. Does 4 divide n?
True
Let c = -2 - 2. Let s(t) = 20*t + 7. Let z(o) = 40*o + 13. Let n(h) = -5*s(h) + 2*z(h). Is n(c) a multiple of 35?
False
Let l(c) be the third derivative of -c**4/3 - c**3/3 - c**2. Let j be l(6). Let h = 84 + j. Does 17 divide h?
True
Suppose 2*c = 7699 - 1147. Does 63 divide c?
True
Let r(n) = 63*n - 43. Is 10 a factor of r(29)?
False
Let g(r) = 11*r - r**2 - 4 - 13*r - 9*r. Is 3 a factor of g(-6)?
False
Suppose 2*i = -0*i + 5*a + 57, -2*a + 186 = 5*i. Suppose 3*x = x + i. Is x a multiple of 4?
False
Let j = -3 - -6. Let d = j + 0. Suppose 0*q + 2*q - 5*v = -7, 4*q - 51 = -d*v. Is q a multiple of 3?
True
Let f(x) be the second derivative of x**3/3 - 3*x**2/2 + 5*x. Let r be f(3). Suppose 2*u - 69 - 28 = o, -4*o = r*u - 118. Is 18 a factor of u?
False
Let k = 15 - 10. Is 13 a factor of (16/(-10))/(k + (-2289)/455)?
True
Let d(m) = -m**3 + 8*m**2 + m - 9. Let l be d(8). Let f(x) = 9*x**3 - 1. Let q be f(l). Is 12 a factor of (-1090)/(-25) + (-4)/q?
False
Does 46 divide (-11)/(77/(-434))*26 - -4?
False
Let w = -6 + 6. Suppose 78 = n - w. Suppose -3*r = 3*b + 2*r - n, 2*r = 4*b - 130. Is b a multiple of 14?
False
Let j(g) = -4*g + 20. Is j(0) a multiple of 19?
False
Suppose 2*u + 2*u + 50 = 5*o, 0 = 3*o + 5*u + 7. Suppose 4*l - 42 + o = 0. Does 9 divide l?
True
Let r be (4/(-3))/(1/(-3)). Suppose -3*l = -5*q - 517, -r*l + 2*q - q = -661. Suppose 5*h = -5*k + 185, l = -2*h + 7*h - 2*k. Does 17 divide h?
True
Let a(z) = -8*z + 66. Is a(-3) a multiple of 18?
True
Let o(v) = -597*v**3 - v**2 - 15*v - 15. Does 15 divide o(-1)?
False
Suppose -2*c + 0*c = 2. Let m(x) = x**2 - 23*x + 94. Let h be m(5). Let j = h + c. Is 3 a factor of j?
True
Suppose -135 = -8*l + 161. Suppose -332 = -6*k + 2*k. Suppose -5*j + k = -l. Does 24 divide j?
True
Let h(t) = t**2 + 5 + t**2 - 14*t + 6. Let i be 10 - 4*(-4 + (-27)/(-6)). Is 6 a factor of h(i)?
False
Let g(p) = -p**3 - 9*p**2 + 2. Let t be g(-9). Suppose 4*z - 2*d = 214, 0 = -t*z + 2*d + 56 + 52. Is z a multiple of 8?
False
Let j(q) = -q**3 + 8*q**2 + 11*q + 1. Let l be j(9). Let o = 19 - l. Suppose o = -d + 2*d - 55. Is d a multiple of 13?
False
Does 36 divide (10/12 - 1) + 3146/12?
False
Suppose -t + 3*a = -494, -32*a + 27*a - 5 = 0. Does 10 divide t?
False
Let x(b) = 14*b - 10*b + 5*b**2 + 4*b**2. Does 24 divide x(-3)?
False
Let j(k) = k**3 - k**2 - 7*k - 5. Let d(v) = -v**3 + 8*v + 5. Let y(f) = 4*d(f) + 5*j(f). Let h be 7*-3*3/(-9). Does 12 divide y(h)?
True
Let y(f) = 13*f**3 + f**2 + f - 1. Let a be y(1). Let u be -3*92/(-30) + 18/(-90). Let b = a - u. Is b a multiple of 5?
True
Let j(x) = 24*x + 202. Is 25 a factor of j(11)?
False
Let f = 58 + -45. Suppose -f = -w - 1. Is 4 a factor of w?
True
Let c = -826 + 1002. Does 44 divide c?
True
Is 24 a factor of (-1482)/(-7) - 14/(-49)?
False
Let y = 2 + 49. Let c = -24 + y. Is 22 a factor of c?
False
Suppose 3*d + 2106 = 6*d. Does 18 divide d?
True
Suppose -3*t - 15 = -3*s, 0*s = -s - t + 7. Let l(n) = 9*n**2 - 10. Let j(f) = -9*f**2 + 11. Let q(z) = s*l(z) + 5*j(z). Does 14 divide q(3)?
False
Let p(i) = i**2 + 3*i + 4. Let b be 2*((-13)/2 - -4). Let t be p(b). Suppose 0 = w - t - 2. Is 7 a factor of w?
False
Let y(n) = -n - 11. Let v be y(-14). Suppose -28 + 196 = v*u. Is 7 a factor of u?
True
Let z be 16/10 - 8/(-20). Let u(m) = -5 + 9*m**2 - 3*m**z - 18*m - 3*m**3 + 17*m + 2*m**3. Is 7 a factor of u(4)?
False
Is (7/(28/48))/(6/200) a multiple of 3?
False
Let p = -1387 + 2275. Is p a multiple of 25?
False
Let q be (-1*2)/((-6)/(-9)). Let y be (48/20)/(q/(-20)). Is y*((-180)/(-16))/3 a multiple of 20?
True
Suppose 0 = 4*s - 453 + 153. Let v(h) = -h**2 + 19*h - 34. Let q be v(17). Suppose -5*c = -q*c - s. Is c a multiple of 10?
False
Let w = 32 - 24. Let o be -6*(-7)/((-28)/w). Is 10/15 + (-196)/o a multiple of 5?
False
Suppose -4*f + 789 = -135. Is f a multiple of 21?
True
Let r(g) = -9*g. Let u(y) = -26*y + 1. Let k(c) = 8*r(c) - 3*u(c). Let z = 79 - 75. Does 7 divide k(z)?
True
Let n(m) = -264*m**3 + 6*m**2 + 5*m - 6. Is n(-2) a multiple of 10?
True
Suppose 7*n = -3*n + 1730. Is n a multiple of 84?
False
Let w(t) = t. Let s(l) be the second derivative of -l**4/12 + l**3/6 + 3*l**2 + 5*l. Let q(u) = -s(u) + 6*w(u). Is 6 a factor of q(-8)?
True
Suppose 2*h - 91 = 5*c, 5*c = -4*h - 0 - 103. Let u(z) = -z**2 - 20*z - 25. Let l be u(c). Does 6 divide 2/l + 61/3?
False
Let x(i) = i**2 - 40*i + 138. Does 7 divide x(41)?
False
Suppose 13 - 3 = 2*s. Suppose x = -4*y + 168, -s*x + 126 = -0*y + 3*y. Is 28 a factor of y?
False
Let b = -192 - -221. Is b a multiple of 2?
False
Let h(u) = -14*u + 18. Does 29 divide h(-15)?
False
Let v be -2 - -2 - -1 - -5. Suppose -v*j + 285 = -5*j. Suppose -j = -5*m - 55. Is m a multiple of 15?
False
Suppose -8*x - c + 178 = -4*x, 0 = -3*x - 5*c + 125. Let a = x + 3. Is a a multiple of 12?
True
Suppose 26*m = -20*m + 14490. Does 22 divide m?
False
Let i(s) = s**2 - 18*s - 95. Is i(30) a multiple of 7?
False
Let b(x) = -x**3 + 23*x**2 + 15*x + 38. Does 54 divide b(15)?
False
Let l(o) be the first derivative of -3/2*o**2 + 8 + 14*o. Does 22 divide l(-13)?
False
Let l(b) = b**3 + 2*b**2 - 2*b. Let t be l(-2). Suppose 0 = -5*s + t*s + 3. Suppose 0 = s*f - 5*r + 13, 2*r - 13 = -3*f + 9. Is 3 a factor of f?
False
Suppose -6326 - 3970 = -18*l. Is 44 a factor of l?
True
Let h(i) = -47*i + 11. Let t(z) = 16*z - 4. Let g be (0 + (-9)/(-15))*-5. Let u(k) = g*h(k) - 8*t(k). Is u(4) a multiple of 12?
False
Is 8/(2 + -3)*(32 - 123) a multiple of 29?
False
Suppose v - 3*v = 0, -3*v = -j + 7. Let i(o) = o. Let g(t) = -4*t + 7. Let c(r) = -g(r) - i(r). Is c(j) a multiple of 5?
False
Suppose -2*o = -4*g + 18, -2*g = -0*o + 3*o + 3. Suppose 2*i + 12 = g*i. Does 13 divide (31 + i/3)/1?
False
Let i 