 o(-1). Suppose 56*f - w = 51*f. Is 27 a factor of f?
True
Suppose 58*n + b = 59*n - 4323, -3*n + 12967 = -5*b. Does 46 divide n?
True
Let h(x) = -1001*x + 88. Does 38 divide h(-2)?
True
Let n be ((-18)/(-15))/((-10)/75). Does 8 divide 55 + 2 + n/3?
False
Let r(l) = -13*l**3 - 57*l**3 - 4*l**2 + 3*l**2. Let n be r(-1). Suppose 0 = -a - 0*a + 4*p + 69, -n = -a - 2*p. Is 33 a factor of a?
False
Let k = 4 - 0. Suppose k*x + 508 = 1540. Suppose x = 8*y - 5*y. Does 18 divide y?
False
Let c(v) = v**3 + v + 6. Let x(p) = -p + 7. Let m be x(7). Suppose -4*s + s = m. Does 5 divide c(s)?
False
Let h(d) = -6*d + 2*d + 7 + 6*d + 3. Let y be h(-4). Is (36/(-10))/(y/(-5)) a multiple of 9?
True
Suppose 41*o + 15776 = 58*o. Is 12 a factor of o?
False
Is 6031/6 + 38/(-228) a multiple of 80?
False
Suppose 4*w + 3*d = 333, -w = 8*d - 13*d - 89. Does 6 divide w?
True
Let x(c) = -c**2 + c - 2. Let p be x(0). Suppose 0 = -29*h - 42 + 129. Does 24 divide p/h + (-573)/(-9)?
False
Suppose -22*b + 190 = -17*b. Let c = 48 - b. Does 5 divide c?
True
Let p(b) = b**3 + 10*b**2 - b - 5. Let f be p(-10). Suppose -f + 12 = a. Is a even?
False
Let r(u) = -4*u - 4. Let q be (2/6)/(2/(-66)). Let g be r(q). Let d = g + -1. Is d a multiple of 11?
False
Suppose 5*n - 20 = -0*n. Suppose -4*v + n = -2*v. Suppose 4*r - 2*q - 66 = 0, -2*r - v*q + 32 = r. Does 13 divide r?
False
Suppose 4*n - 7 = 5*p, 0 = 5*n + 7 - 22. Is 20 a factor of (103 - 5) + 0 + p?
False
Suppose -2*s + 236 + 688 = -5*g, -2*s + 918 = -2*g. Is 24 a factor of s?
False
Let v be 2/20 + 357/(-170). Is 18 a factor of ((-17)/17)/(v - 130/(-66))?
False
Suppose -4*c = -130 - 178. Let a = c - 12. Let d = -32 + a. Does 12 divide d?
False
Is (44/(-352))/((-2)/7024) a multiple of 9?
False
Let s(h) be the second derivative of h**3/6 + h**2 - 6*h. Let d be s(0). Suppose -2*z = -k - 48 + 1, -2*k = d*z - 38. Is 11 a factor of z?
True
Let q = -20 - -33. Suppose c = -5*s + 53, -c + q + 16 = -s. Is c a multiple of 11?
True
Let j(u) be the second derivative of u**4/12 + 69*u**2 + 8*u. Let r be j(0). Suppose 3*i = i + r. Is i a multiple of 27?
False
Suppose 16*f = 15091 - 4707. Does 6 divide f?
False
Let d be -1 - 1 - (-3664)/8. Let v be d/(-15) - 6/(-15). Is 9 a factor of (-10)/v + (-106)/(-6)?
True
Let u(y) = -2*y - 4. Let i be u(-11). Let j be (-2)/(-3) - (-24)/i. Suppose j*n = 6 + 46. Is 7 a factor of n?
False
Suppose -4*w + 1 = 13. Let c = -4 - w. Is 18 a factor of ((-9)/12)/(c/48)?
True
Suppose -816 - 688 = 4*l. Let c be (l - -1)/((-48)/32). Suppose -4*i - 307 = -5*y - 0*i, -4*y + c = -i. Does 11 divide y?
False
Suppose -4*w - 12 = -4*y, -2 + 17 = -2*y - 5*w. Let l = 3 + y. Suppose -q = -5*g - 23, -g - l = -2*g. Is q a multiple of 10?
False
Is 4 a factor of 24/(-5)*(-40)/6?
True
Let s = 1304 - 709. Is 35 a factor of s?
True
Let p(d) = -d - 6. Let z be p(-12). Let c be ((-2)/8)/(z/(-168)). Does 33 divide 3 + -1 + 448/c?
True
Is 50 a factor of ((70000/49)/20)/(1/7)?
True
Let m(z) be the first derivative of 5*z**4/4 + z**3 - 3*z**2/2 + 3*z - 6. Let b be m(-3). Let x = -52 - b. Is x a multiple of 22?
True
Let n = -47 - -67. Let a = 32 - n. Suppose 24 + a = j. Is j a multiple of 12?
True
Let k(y) = 9*y - 3. Let o be k(1). Suppose -4*m - 98 = -o*m. Is m a multiple of 10?
False
Is 6 a factor of -19 - -7 - (-1 + -457)?
False
Suppose -t = -4*t + 168. Suppose -6*n - 4*p - t = -4*n, 0 = -2*p - 8. Is 8 a factor of (n/12)/((-1)/12)?
False
Let u(w) = -w**3 - 4*w**2 + 5*w. Let c be u(-5). Suppose c = d - 1, -g - 2*d = -3*g + 30. Is 15 a factor of (2 + g + -1)*1?
False
Let j(g) = 3*g**2 + 32*g - 5. Let r be j(-11). Is (r + -8 - (2 + -1)) + 96 a multiple of 7?
False
Let m = 218 + -78. Suppose -3*r + m = 4*r. Does 2 divide r?
True
Suppose 0 = -2*w + 5*t + 2614, -t - 4328 = -5*w + 2253. Is w a multiple of 18?
False
Let y(w) = -2*w**2 + 14*w - 6. Let v be y(7). Does 21 divide (-615)/(-9) - ((-14)/v + -3)?
False
Suppose -6*b - 339 = -1365. Is b a multiple of 3?
True
Let u(n) = -n**3 - 2*n**2 - 4*n + 8. Suppose 5*p - 4*s + 20 = 0, -2*s + 2 = -p - 2. Is 8 a factor of u(p)?
True
Suppose 2*k + 2*k = 8. Suppose -r = -3*r + 5*g + 194, 5*r - 443 = k*g. Suppose 54 = 2*w + 4*q, -3*q + 2*q = 4*w - r. Is w a multiple of 7?
True
Suppose 0 = 3*k - 27*k + 384. Is k a multiple of 8?
True
Does 51 divide (3*18/(-162))/(1/(-675))?
False
Suppose -5*a + 250 = 2*b, 3*b = -5*a - 2*b + 265. Let h be (-1848)/315 - (1 - 26/30). Let p = a - h. Is 9 a factor of p?
True
Let r be (-3 - 17)/(-4) + -2. Suppose -5 = -r*a + 4. Suppose a*y - 42 = 2*y. Does 14 divide y?
True
Suppose -3*m + 680 = z, -4*m + 9*m = 2*z + 1137. Is 16 a factor of m?
False
Let q(t) = t**3 - t**2 + 6*t + 1. Let c be (352/60 - 2) + 4/30. Is q(c) a multiple of 11?
False
Let p be 2532/90 - (-8)/(-60). Let k = -15 + p. Does 13 divide k?
True
Let k(q) = 56*q**2 + 16*q + 75. Is 31 a factor of k(-5)?
True
Let b = -103 + 207. Suppose -z - 3*z + b = 0. Suppose w + 8 = z. Is 6 a factor of w?
True
Suppose v - 3*l + 9 = 2*v, 4*l - 17 = -3*v. Suppose -5*h = -v*o - 94, 0*o = 2*h - 2*o - 36. Does 4 divide h?
True
Let j be ((-12)/(-18))/(2/(-6)). Let w be -2*(j + 44/8). Let z = 8 - w. Does 4 divide z?
False
Let l be 2/2*(-5 + 67). Let n = l - -1. Does 21 divide n?
True
Does 20 divide -51*(170/(-15) - 6)?
False
Suppose -3*f = 5*x - 7, 2 = 2*x + 2*f - 0*f. Let q = 2 - x. Suppose -3*t + u = -17, q = 5*t - 4*u - 7 - 19. Is 6 a factor of t?
True
Suppose 2*l + 5*b = 99, -7*b = l - 3*b - 48. Does 45 divide l?
False
Let h(p) = 7*p - 34. Is h(14) a multiple of 5?
False
Let h(l) be the third derivative of -l**5/60 - 5*l**4/8 + 10*l**3/3 - 4*l**2. Let o be h(-15). Let f = o - 15. Is f even?
False
Suppose 0 = -g, 2045 = 3*l + 2*l - 2*g. Suppose 0 = 16*v - l + 121. Is 3 a factor of v?
True
Let f be -5 - -5 - 0/2. Let r be (-124)/2 - (1 + f). Is 17 a factor of 3*1/((-3)/r)?
False
Is (7 - 5) + (-4110)/(-10) a multiple of 8?
False
Is (2/13 + (-950)/91)*-63 a multiple of 23?
False
Let f(p) = 50*p**3 - 4*p**2 + 11*p + 2. Does 34 divide f(2)?
True
Suppose 120 = -0*k - 2*k. Does 9 divide 6/4 + k/(-8)?
True
Let j = 1040 + -234. Is j a multiple of 62?
True
Let w = -289 + 173. Let r = 166 + w. Let c = r + -19. Does 7 divide c?
False
Let l(r) = r + 4. Let y be l(0). Suppose y*k - 27 = -5*a + 225, -3*k + 105 = 2*a. Does 24 divide a?
True
Does 2 divide (-24660)/(-72)*4/5?
True
Let j = 20 + -42. Let p be j/(2/8*4). Let a = p + 34. Does 6 divide a?
True
Let x(h) = -3*h**2 + 16*h - 1. Let u(l) = 2*l**2 - 8*l. Let y(j) = 10*u(j) + 6*x(j). Is 6 a factor of y(-9)?
True
Let g be (9 + -1)/((-6)/(-177)). Let z = -127 + g. Is 26 a factor of z?
False
Let q be (2/(-5))/(2/(-10)). Suppose q*i - i - 28 = 0. Let c = -22 + i. Is 6 a factor of c?
True
Suppose -4*w + 6*w = 10. Suppose 4*v = w*v - 70. Is 14 a factor of v?
True
Suppose a = -a + 30. Suppose 2*n + 2*n = d - a, -4*d - 10 = -2*n. Is 26 a factor of 72 - n - (2 - 1)?
False
Let y(i) = 5*i**2 - 6*i - 3. Suppose -2*t - 6 + 0 = 0. Does 15 divide y(t)?
True
Is 66*7 + (-12 - 0) + 13 a multiple of 19?
False
Let r = -1187 + 2239. Is r a multiple of 13?
False
Suppose -37 = 2*n - 6*n - 5*l, 2*n - 3*l + 9 = 0. Suppose 3*j + 4 + 5 = 0, n*h + 4*j = 108. Is h a multiple of 10?
True
Let q be 2/8 - (-2781)/12. Let h be ((-3)/(-2))/(3/q). Suppose -4*t + 296 = h. Does 15 divide t?
True
Suppose r + 5*b = 3*b - 17, -3*b + 6 = -2*r. Let w = r - -50. Is 24 a factor of w?
False
Let d = 861 + -437. Does 48 divide d?
False
Suppose 469 - 83 = -2*u + 2*w, 0 = -4*u - 4*w - 740. Suppose -6 = -6*a + 8*a. Does 26 divide a/(-4) + u/(-4)?
False
Let u(w) be the second derivative of w**4/12 + w**3/6 - 45*w**2/2 - 24*w. Is 15 a factor of u(14)?
True
Suppose 69 - 9 = 5*f. Suppose f + 15 = 3*k. Is k a multiple of 9?
True
Suppose -4*d + 3*d = -4. Is (2/d)/(11/264) a multiple of 10?
False
Let m(x) = x**3 + 8*x**2 - 9. Let o be -3*2 - (-2 + 3). Let i be m(o). Suppose 4*f - 232 = i. Is f a multiple of 17?
True
Suppose -3*q = -5*q - 4, 4*a = 2*q - 1012. Does 9 divide 28/(-7) + a/(-2)?
False
Is (60/(-9))/((-24)/432) a multiple of 40?
True
Suppose 4*g + 0*g - 15 = 3*h, 4*h = -2*g + 24. Let y(f) = -26*f + 16. Let s(x) = 2*x - 1. Let o(w) = 42*s(w) + 3*y(w). Does 21 divide o(g)?
True
Suppose 58 = 2*h + 90. Let t(f) = -f**3 - 17*f**2 - 20*f - 1. Is t(