/(-8)))?
False
Is 59 a factor of 550122/63 + 4660/(-420) + 11?
True
Let b(t) = -2*t**3 - 5*t**2 - 2*t + 4. Suppose -4*s + 4*w - 12 = 0, -5*w + 5 = -0*w. Let q be b(s). Suppose 10*z - 276 = q*z. Is z a multiple of 13?
False
Let a = -3 + 5. Suppose 0 = a*d + 14*d - 960. Does 12 divide d?
True
Suppose -85461 - 101856 - 33531 = -48*l. Is l a multiple of 20?
False
Let x be 3*138/(-18) + 4. Let o = 7 - -16. Let u = o + x. Is u even?
True
Let o be 42965/55 + 2 + (-6)/33. Suppose -14*w + 3*h - o = -17*w, -h = 4. Is 29 a factor of w?
False
Suppose -3*h - 2 = 10. Let y be h + 6 + -4 + (0 - -37). Suppose -g - n + 95 = 2*g, -g + y = -3*n. Does 10 divide g?
False
Let d(o) = o**2 + 7*o - 13. Let m be d(-9). Let n be 1*2/1 + 7365/m. Suppose 6*u = 55 + n. Is 15 a factor of u?
True
Does 22 divide (-67 - -298)*(-82)/(-7)?
True
Let h(c) = 12*c + 77. Let t be h(-6). Suppose 0 = -t*i + f + 2504 - 802, -2*f = 3*i - 1029. Is 15 a factor of i?
False
Let a(z) = -z - 2. Let y(x) = 58*x - 1. Let q(h) = -3*a(h) + y(h). Does 11 divide q(1)?
True
Let d be ((-77)/(-21) - (-2 + 5))*-3. Let m be d/6 - (-440)/33. Suppose -m*u + 9*u = -184. Does 23 divide u?
True
Suppose 0 = -5*u + 4*d - 27, 3*d + 3 = -4*u - 0. Let j be ((-152)/32 + 5)*-4. Does 9 divide j + u - (-134 + 14)?
False
Let w(u) = -u**2 - 14*u - 42. Let f be w(-13). Let n = f + 32. Suppose -3*d = 5*g - 915, -2*d - 3*d - 515 = -n*g. Is 12 a factor of g?
True
Suppose 18 = 4*o - o. Let h be (3831/63 - (-6)/(-42))*o. Let r = -228 + h. Is 10 a factor of r?
False
Suppose -3 = 3*u + q, -5*u - 3*q - 7 = -2*q. Let a(l) be the second derivative of -3*l**3/2 + 3*l**2/2 - 110*l. Is 3 a factor of a(u)?
True
Let j(h) = 6*h**2 - 58*h - 2776. Is 2 a factor of j(42)?
True
Let t be (-2)/(-2) + 4/(-2) + 52. Let h = t - 57. Does 5 divide 53 - (9/6 + h/(-4))?
True
Let w(x) = x**2 + 13*x + 44. Let u be w(-11). Suppose 26*g = u*g + 436. Is g a multiple of 16?
False
Suppose -m + 10*m = -441. Let p = 52 + m. Suppose 0 = p*n - 0*n - 219. Does 9 divide n?
False
Does 30 divide 18/9*254/4*(21 - 4)?
False
Let w = -5008 - -8287. Is w a multiple of 3?
True
Suppose -4142 + 1030 = -8*y. Suppose 2*l = 3*g + 6*l - y, 2*g + 2*l - 256 = 0. Is g a multiple of 6?
False
Let h(g) = -3232*g + 4782. Is 25 a factor of h(-6)?
False
Let v(b) = 114*b - 403. Let j = -610 + 620. Is 39 a factor of v(j)?
False
Let b(q) = q**3 + 27*q**2 + 68*q + 17. Is b(-18) a multiple of 29?
False
Suppose 56*t + 228234 - 777504 = -34*t. Does 113 divide t?
False
Suppose -19*o + 100 = -33. Suppose -5*t - 10*j + 2659 = -o*j, j - 531 = -t. Does 5 divide t?
False
Let j(a) = -a**3 + 22*a**2 - 8*a - 43. Let w = 39 + -44. Let k be (4/(-6))/(w/165) + -1. Is 40 a factor of j(k)?
False
Suppose -40 = x - 5*x. Suppose -2*j - x = -46. Let s(n) = 6*n - 76. Is 8 a factor of s(j)?
True
Suppose -4*h = 2*q - 6, q + 5*h - 3 = -3*q. Is (-594)/(-44) - q/2 a multiple of 4?
False
Suppose 191*u - 18468 = 187*u - 3*q, 3*q + 12 = 0. Does 77 divide u?
True
Let g = 18690 + -13533. Does 9 divide g?
True
Suppose 121*j = 143830 + 1138770. Is j a multiple of 136?
False
Suppose -2*k - 5*w - 19 = -4*k, -k - 18 = 3*w. Let j be -10*k*(-10)/(-75). Suppose -5*n - i = -5*i - 420, -j*n = 2*i - 362. Does 22 divide n?
True
Let f(i) = 33*i**3 + 12*i**2 - 253*i + 66. Is 18 a factor of f(12)?
True
Suppose -2*n - 1296 = -5*o, o - 1520 + 1293 = 5*n. Is 23 a factor of o?
False
Suppose 1830*n - 1831*n = -1, 2*z + 4*n = 11492. Does 4 divide z?
True
Suppose -74*t + 69*t = i - 2302, -5*t - 6946 = -3*i. Is 42 a factor of i?
False
Suppose -4*d - 20 = d. Let v(a) = -68*a - 38. Let c be v(d). Suppose 0 = 5*s + 20, -3*s + s = -l + c. Is 43 a factor of l?
False
Suppose -4*z + 2*o + 10 = 0, 2*z = -0*o + 3*o - 1. Suppose 0 = g + z, 8*g - 12*g + 43 = p. Is p a multiple of 29?
False
Is (113/(-4))/(13/(-8632)) a multiple of 12?
False
Let c be 1800/28 - (-1)/((-21)/6). Let j = c - 56. Does 2 divide ((-26)/(-8))/(2/j)?
False
Suppose 10400 = -8*g + 24*g. Suppose -8*p = -18*p + g. Is 11 a factor of p?
False
Let j = -34 - -36. Suppose 0*n = 5*n - j*n. Suppose n = 2*y - 4*y + 38. Is 19 a factor of y?
True
Let b be 7 + -3 - (1 - 1). Let r(t) = -7*t**2 + 4*t + 37. Let d(a) = -3*a**2 + 2*a + 19. Let q(n) = 7*d(n) - 4*r(n). Is q(b) a multiple of 15?
False
Let h(x) = x**2 - 2*x - 627. Is 52 a factor of h(55)?
True
Let l be 7 - (1 - -2) - -5. Let a(h) = 24*h**2 - 2 - l*h + 0 + 7*h. Is a(2) a multiple of 34?
False
Let c(p) = -3*p**3 + 13*p**2 + 37*p + 8. Is 12 a factor of c(-10)?
False
Let h(j) = j**3 - 8*j**2 - 30*j + 7. Suppose 26 = -679*b + 681*b. Is h(b) a multiple of 42?
True
Let v be 2/(2 - 3 - 40/(-41)). Let q = 111 + v. Suppose n - 7 = -4*z + 18, 0 = 2*z - 5*n - q. Is z a multiple of 2?
False
Let c(d) = 6*d**2 - 19*d + 2. Let x = -286 - -294. Is 46 a factor of c(x)?
False
Suppose -2*n = 3*i - 1624, i + 13*n = 9*n + 548. Suppose b = -5*o + i, -11*o - 2*b = -9*o - 216. Is 45 a factor of o?
False
Let g(t) be the third derivative of 29*t**4/12 + 3*t**3/2 - 14*t**2. Let w be g(3). Suppose -2*o = -b - 179, -7*b + 2*b = -2*o + w. Does 31 divide o?
False
Let r(n) = 54*n**2 - 5*n + 17. Let z be r(3). Suppose 0 = -4*s + 2*o + 386, z = 5*s - 4*o + 4. Is 6 a factor of s?
True
Is (-38 - (-1772)/(-20))/((-2)/30) a multiple of 49?
False
Let l(s) = -4*s + 108 + 343 - 73 + 3*s. Does 27 divide l(0)?
True
Suppose -2*g = -c - 746, -1494 = -4*g + 2*c + c. Suppose g + 1224 = 28*v. Is 14 a factor of v?
False
Suppose 0 = -32*q + 33*q. Let p be (-2)/(-8) - (438/(-8) + q). Suppose 0 = 3*x - 80 - p. Does 38 divide x?
False
Let s(a) = 395*a**2 + 202*a + 10. Does 3 divide s(-2)?
False
Let i(u) = -u**2 - 23*u + 212. Let q be i(-30). Suppose g - 3 = 0, 3*p + 2*p = -q*g + 1156. Is p a multiple of 17?
False
Suppose 0 = 44*c - 8463 - 13757. Does 2 divide c?
False
Let m = -215 + 310. Is 9 a factor of 2337/m - (-6)/(-10)?
False
Let q(m) = -m - 71. Let h = -117 + 134. Let f(l) = 3*l + 214. Let v(j) = h*q(j) + 6*f(j). Does 25 divide v(-27)?
True
Let i be 2/3 - (-3536)/6. Let a be (27 - 22)*(-6)/(-10). Does 20 divide (-2)/(a + i/(-196))?
False
Suppose -31 = -3*p - 2*k, -5*k - 18 = -4*p + 8. Suppose -o = -5*j + 15, j + 0 = -o + p. Is 28 a factor of (0 + j)*(-436)/(-16)?
False
Let t(q) = 15*q**3 - 43*q**2 + 286*q + 9. Is t(10) a multiple of 8?
False
Suppose 128*h = 134*h - 3588. Suppose 1457 - h = z. Does 13 divide z?
False
Suppose 3*v + 2 = -h, -4*v - 3 = 2*h - h. Let s(f) = -56*f**3 - f**2 - f + 1. Let x(r) = r**3 + r**2 + r. Let c(d) = h*s(d) + 3*x(d). Does 9 divide c(-1)?
True
Let s(u) = -u**3 + 57*u**2 - 111*u + 48. Let d be s(55). Let w be 53*-1 + 1 + -1. Let f = d - w. Does 23 divide f?
True
Let u = 6404 - 1263. Is 53 a factor of u?
True
Let p(v) = 7*v - 55. Let w be p(9). Is 59 a factor of (-3 + (-6 - -136))/(2/w)?
False
Let y be 1/(-2) - (-78)/4. Let n(m) = 290*m - 5. Let g be n(2). Suppose 4*a + y = -2*z + 319, 4*z = -3*a + g. Does 20 divide z?
True
Let b(z) be the first derivative of z**7/840 + z**6/40 - z**5/40 - z**4/24 - z**3/3 + 11. Let k(d) be the third derivative of b(d). Is k(-9) a multiple of 10?
False
Is 21 a factor of (5784/21)/((-14)/(-49))?
False
Let d(i) = -5*i + 2. Let g be d(11). Let s = 55 + g. Suppose 76 + 104 = s*t. Does 9 divide t?
True
Let b(d) = -d**3 + 17*d + 3. Let s be b(4). Suppose 341 = s*q - 303. Does 23 divide q?
True
Suppose 606 = 2*h - 4*t, -5*h + 2*t + 532 = -999. Let j = -217 + h. Is j a multiple of 9?
True
Let w(t) = -6*t**3 + 53*t**2 - 9*t - 5. Is w(6) a multiple of 6?
False
Suppose 3*j - 2*j = -2*o + 9, -3*o = -j - 6. Suppose 3*r + 3 = -0, -3*r + 429 = -j*w. Is 1109/9 - (-32)/w a multiple of 41?
True
Suppose 4355 + 4945 = 6*d. Suppose 16*i + 15*i - d = 0. Does 10 divide i?
True
Let j = -7 - 8. Let a be (-3)/j + (-552)/(-15). Suppose a = -7*o + 8*o. Is 23 a factor of o?
False
Let p = -5 - -7. Suppose 16 = 3*i + p*n, n = -i - n + 12. Suppose -4*j - 215 + 3 = -4*a, a - 53 = i*j. Is 4 a factor of a?
False
Let o be (-52)/(-117) + (-46)/(-18). Suppose 2*m - 1801 = -o*w, 0 = -65*w + 66*w + 2*m - 599. Does 45 divide w?
False
Suppose 27*l + 5607 = 12*l + 149907. Is 112 a factor of l?
False
Suppose -z + 3*l = -231, 8*z + 3*l = 7*z + 201. Suppose -5*t - 2*v + 341 = -0*t, 3*t - z = -5*v. Does 3 divide t?
False
Let h = 9532 - 4962. Is 119 a factor of h?
F