 2*x, -94 = -c*x + 3*v - 2*v. Is x a multiple of 27?
False
Let d(n) = -2*n + 100 - 66 - 3*n. Is 14 a factor of d(-19)?
False
Suppose 0 = 8*y - 12*y. Suppose -4*b - 5*c + 107 = y, -2*b + 0*c = 4*c - 52. Is b a multiple of 14?
True
Suppose -594 = 26*d - 32*d. Is d a multiple of 20?
False
Suppose -d - 316 = -3*g, 11*g - 4*d - 204 = 9*g. Does 3 divide g?
False
Suppose -3*s + 4*s + 93 = 3*t, 0 = 5*s + 4*t + 389. Is ((-56)/(-42))/(0 + (-1)/s) a multiple of 18?
True
Suppose 269 = -4*c + 845. Suppose 14*u - c = 10*u. Let r = -17 + u. Does 13 divide r?
False
Let u(k) = 140*k**2 + 4*k - 7. Is u(-3) a multiple of 46?
False
Suppose -4*g + 297 = -151. Is 33 a factor of g?
False
Let w be (-21)/(-1*(-2)/(-6)). Let i = -19 + w. Is i a multiple of 11?
True
Suppose -2*s + 2077 = -3*t - 2576, 0 = -3*t + 3. Is 14 a factor of s?
False
Suppose 3*v - 391 = -94. Suppose -5*t - k + 280 = 0, -4*t - 3*k + v = -2*t. Does 19 divide t?
True
Suppose -2*g + 6 = 0, -2*g = -f - 4*g + 76. Let p = f - 9. Does 4 divide p?
False
Let v = 1022 - 625. Is 51 a factor of (v - -3 - -4)/(3 - 1)?
False
Suppose -k + 0 + 3 = 0. Let n(s) be the third derivative of -s**5/60 + 3*s**4/8 - s**3/6 - 18*s**2. Does 17 divide n(k)?
True
Suppose 49 = -h - 2*g, -2*g - 10 = -0. Let s(y) = y**2 + y + 74. Let k be s(0). Let j = k + h. Is 18 a factor of j?
False
Suppose 170*d - 896 = 154*d. Let w = -15 + 0. Is (w/12)/((-2)/d) a multiple of 17?
False
Let b(q) = q**3 + 11*q**2 - 3*q - 4. Let t(j) = j**3 + 10*j**2 - 4*j - 5. Let v(n) = -4*b(n) + 5*t(n). Let l be 3/(3/(-2))*3. Is v(l) a multiple of 18?
False
Let x(r) = 75*r + 20. Suppose -2*m + 3*a - 2*a + 1 = 0, 4*a = 12. Is 17 a factor of x(m)?
True
Suppose 2*q = -5*b + 179, 1 = -3*q + 7. Let k = -23 + b. Does 5 divide k?
False
Let o(s) = 140*s**2 - 2. Let m be (14/(-8))/7 - 9/12. Does 23 divide o(m)?
True
Suppose 1426 = -84*q + 86*q. Does 12 divide q?
False
Let f(y) = -y**3 - 3*y**2 + y - 7. Let n be f(-4). Is 4 a factor of 12/(-30) + (-8)/n + 10?
True
Let o(f) = f + 11. Let g be o(-8). Suppose -9314 = -0*w + g*w - 2*z, 4*w + 12422 = 2*z. Is w/(-36) + 1/(-3) a multiple of 35?
False
Let a(k) = -k**3 + 21*k**2 + 2*k - 20. Let r be a(21). Suppose -r = t - 54. Is t a multiple of 32?
True
Let j(t) = -5*t**3 + 3*t**2 + 7*t + 17. Is 22 a factor of j(-5)?
True
Suppose 12*q - 7*q - 885 = 0. Is q a multiple of 9?
False
Let v be -4 + (-97)/(-1) - -1. Let y = -65 + v. Is y a multiple of 3?
False
Let q be ((-6)/(-15))/((-2)/20). Let h(r) = -r**3 - 4*r**2 + r + 1. Let f be h(q). Does 7 divide 175/5 + f - -3?
True
Let y(t) = 3*t**2 - 5*t - 2. Let o be (-16)/16 - (0 + 2). Is y(o) a multiple of 8?
True
Let n = -14 + -2. Let t = -4 - n. Is t a multiple of 6?
True
Let h = 4627 - 1837. Is 14 a factor of h?
False
Is 1*1*2*4995/222 a multiple of 2?
False
Let l be 357/(-28)*(2 - -2). Let v = 108 + l. Does 9 divide v?
False
Let i(h) = 73*h**2 - h. Is i(1) a multiple of 10?
False
Suppose 4*k = r - 52, 0 = -0*k + 3*k - r + 40. Does 13 divide 69 + k - -1*1 - 3?
False
Suppose -w = -4*z - 116, -6*w - 410 = -10*w - 2*z. Is w a multiple of 13?
True
Suppose -3*i = -4*i + 42. Suppose 37*v - i*v = 20. Let k = 7 + v. Does 3 divide k?
True
Let p(u) = u**2 - u. Let d(m) = -5*m**2 + 2*m - 6. Let j(h) = -d(h) - 3*p(h). Does 5 divide j(0)?
False
Let g(t) = -t**3 + 28*t**2 - 16*t + 104. Does 7 divide g(27)?
False
Let a(r) = -r**3 + 17*r**2 - 8*r - 4. Is a(10) a multiple of 22?
True
Is (-910)/(-4) - (-14)/28 a multiple of 76?
True
Let r(m) = -m**2 - 5*m + 17. Let a be r(-8). Is 4 a factor of (a - -1)*(-8)/3?
True
Let l = 22 + 221. Does 59 divide l?
False
Is 4/7 + (-17940)/(-161) a multiple of 14?
True
Let j(g) = -2*g + 5. Let s(m) = m + 1. Let h(t) = -3*j(t) + 6*s(t). Does 6 divide h(2)?
False
Suppose -1 = -3*b + 2*b. Suppose -8 = s + b. Let v(p) = p**3 + 10*p**2 + 6*p - 10. Is v(s) a multiple of 17?
True
Let f(p) = p**3 + 6*p**2 + 4*p - 2. Let w be f(-5). Let r be -15 - 39 - w*1. Let l = r - -93. Is l a multiple of 12?
True
Suppose -z + 137 = 3*f, 0 = -z - 0*z - 2*f + 138. Let a = z + -29. Is a a multiple of 5?
False
Suppose 51*k - 246068 = -11519. Does 91 divide k?
False
Let m(z) = -z**3 - z**2 - 2*z + 5. Let c be m(0). Suppose -3*u = -n - 717, c*u + 3*n - 1205 = 8*n. Is 17 a factor of u?
True
Let s(h) be the third derivative of h**5/20 - 5*h**4/12 + h**3/3 - 19*h**2. Is s(5) even?
False
Let h = -59 - -84. Suppose 2*f + 1035 = 5*s + 5*f, -5*f - h = 0. Is 35 a factor of s?
True
Suppose -m - 16 = -z + 2*z, 3*z = 4*m + 43. Let p(h) = -h + 17. Is 3 a factor of p(m)?
True
Is ((-36)/(-16))/(1/104) a multiple of 9?
True
Let p(y) = y**2 - y. Let n be p(-2). Let t be 4/n*(-582)/(-4). Suppose 5*o - 95 = -5*s, -5*o - t - 18 = -5*s. Does 7 divide s?
True
Let q be 3/(27/(-6))*(-1029)/(-14). Let w = 8 - 20. Let y = w - q. Does 6 divide y?
False
Let o = 203 - -457. Does 20 divide o?
True
Suppose 4*g + 92 + 44 = 0. Let t = -11 - 53. Let m = g - t. Is m a multiple of 6?
True
Suppose 198 = 4*g + h - 3489, g - 5*h - 948 = 0. Is 9 a factor of g?
False
Let z(u) = -77*u + 224. Is 35 a factor of z(-8)?
True
Let a = 42 + -24. Suppose 5*j = 7*j - a. Is j a multiple of 5?
False
Let a be (-4)/(-18) - (-1280)/(-90). Does 22 divide -2*(a + 1 + 2)?
True
Let d(z) = -z**3 - 21*z**2 - 21*z - 109. Is 7 a factor of d(-21)?
False
Let r(s) = -301*s**3 - s**2 - s - 1. Let p be r(-1). Suppose 6*v - p = v. Is 12 a factor of v?
True
Suppose 3*a = a + 24. Suppose -4*h - a = 0, -3*h = -y - 8*h + 23. Let g = y - -7. Is g a multiple of 15?
True
Suppose -225*l = -228*l + 456. Does 10 divide l?
False
Let h be (-4)/(-8) + (-46)/4. Let t be (-2)/h + 16/(-88). Suppose t = -2*a - 3*a + 145. Does 12 divide a?
False
Let i(p) = -4*p**2 + 17*p - 4. Let w(o) = o**2 - o + 1. Let b(t) = i(t) + 5*w(t). Does 13 divide b(-16)?
True
Let j = 17 + -12. Suppose -j*l + 2*f = -159, 4*f - 3 = 3*f. Is l a multiple of 20?
False
Let z(t) = -34*t - 12. Is 6 a factor of z(-3)?
True
Suppose 0 = u + 3*c - 2714, -8142 = -40*u + 37*u - c. Does 59 divide u?
True
Let f(o) = -o**2 + 6*o + 2. Let x(u) = u**2 - u - 1. Let r be x(4). Suppose -r = -4*t + 9. Is 4 a factor of f(t)?
False
Let k be 3 - (4/16 + (-33)/(-12)). Suppose k = -c + 2*c - 160. Does 40 divide c?
True
Let r(n) = -9*n**2 + 52*n - 3. Is 21 a factor of r(5)?
False
Let j = -7 - -54. Suppose -2*t - g = -j, -2*t - 2*g + 43 = -5. Does 4 divide t?
False
Let n = -82 + 110. Let b = 44 - n. Is b a multiple of 4?
True
Suppose 31 = g - 4*d - 130, -3*d = 3*g - 528. Suppose h = s - 34, -4*s - s + 2*h + g = 0. Is 4 a factor of s?
False
Let r(b) = -17*b + 1. Let t be r(-12). Let o = 349 - t. Does 16 divide o?
True
Suppose 0 = 5*s - 27 - 13. Is -1 - (-1892)/s - 1/2 a multiple of 46?
False
Let b(c) = -1 + 6 - c - 6 + c**2. Let x = -6 - -9. Is 2 a factor of b(x)?
False
Suppose c = s + 1414, -5*c - s - 650 + 7744 = 0. Does 30 divide c?
False
Suppose -g = 4*g - 15. Let n(k) = -11*k - 2*k**g - 3*k - 8 - 4*k**2 - 6*k**2 + k**3. Does 9 divide n(-9)?
False
Suppose 0 = 5*m - 2*m - p - 2818, 2*m + 4*p = 1874. Is 20 a factor of m?
False
Suppose -2*n - 2*l + 631 = -l, -1269 = -4*n + 5*l. Does 13 divide n?
False
Let z(b) = 15 + 5*b + 0 + 4 + b. Does 10 divide z(15)?
False
Let i be 2*1 - (-3 - 5). Let d be i - (-6)/((-6)/2). Suppose -3*r + 58 - d = 5*g, 2*g - 2*r = 36. Does 4 divide g?
False
Suppose -2 = -l - 2*j - j, -l - 2*j = -2. Suppose 5*g - 590 = 5*w, l*g - w - 364 = -g. Does 32 divide g?
False
Let l be 0*(-1 - 4/(-8)). Suppose 6*x + 0*x - 90 = l. Is x a multiple of 15?
True
Let s(g) be the third derivative of g**4/24 + 43*g**3/6 + 36*g**2. Is s(-13) a multiple of 5?
True
Let j = 69 + -67. Suppose -j*z + q = -86 + 1, -3*z + 2*q + 128 = 0. Is z a multiple of 14?
True
Let j be (-17)/(-4) + 5/(-20). Suppose j*t - 17 = -1. Is 15 a factor of (-6)/2 + t + 24?
False
Let t(v) = -2*v + 8. Does 5 divide t(-13)?
False
Suppose 12 = -h - 3*h. Let u be h/(3/29) - 2. Let k = u - -54. Does 23 divide k?
True
Suppose 3*o - 4*y - 6 = o, 0 = -4*o - y + 30. Let f(m) = 3*m + 22. Does 12 divide f(o)?
False
Suppose 3*f = 6342 + 966. Does 84 divide f?
True
Let i(m) = 12*m**3 + 12*m - 39. Does 21 divide i(4)?
True
Let h = -2518 + 3193. Is h a multiple of 27?
True
Let p(l) = -3*l**2 + 20*l - 12. Let c be p(6). Let m(g) = 5 + g + 16 + 0*g. Is 7 a factor of 