ppose 0*s - 4*s = 0. Suppose 34 = 3*x + m, -x = -s*x + 5*m - 2. Is 6 a factor of x?
True
Let n be (-93)/18 + (-6)/(-36). Let d = 18 + n. Does 12 divide 13/d - (-1 + -47)?
False
Let m(b) = 70*b - 204. Is 8 a factor of m(14)?
True
Suppose 30 = 5*h + c + c, -2*h + 28 = 4*c. Suppose h*b + s = 116, -3*s + 78 = 2*b + b. Is 15 a factor of b?
True
Let v be 1 - -9 - (-9 + 6). Let m = 7 + v. Does 20 divide m?
True
Let p = 5 - 18. Let c = 9 - p. Does 11 divide c?
True
Let o(u) = 20*u**2 + 2*u + 4. Does 10 divide o(-2)?
True
Suppose 244 = 15*m - 13*m. Let b = -80 + m. Is b a multiple of 17?
False
Let t(l) = l**3 + 32*l**2 + 31*l + 108. Is 54 a factor of t(-31)?
True
Let k be (13 - 1)*(-2)/4. Does 22 divide 87/2 + k/(-12)?
True
Suppose -35645 - 14515 = -57*l. Does 40 divide l?
True
Let v = -35 - -22. Let s = 16 + v. Does 13 divide s/2 - 184/(-16)?
True
Let x = -301 + 707. Is x a multiple of 64?
False
Suppose -2*s - 3*t = -24, 24 = 3*s - 5*t - 12. Let x = s - 10. Suppose 2*r + 66 = x*n, 0 = -3*n - 0*r + 4*r + 94. Does 27 divide n?
False
Let l(d) = -82*d - 1242. Is l(-85) a multiple of 32?
True
Suppose 144 = -5*z + z. Let n = -32 - z. Suppose 3*t + 0*o - 74 = -4*o, 5*t = -n*o + 118. Does 4 divide t?
False
Suppose -1003 = -28*b + 677. Does 14 divide b?
False
Let p be 1 - (-130)/3*3. Suppose 0*d + 150 = -2*d. Let h = d + p. Is 14 a factor of h?
True
Let c be (1 + -23 - 0)*-2. Let a be 6/75*10*-25. Let h = a + c. Is 3 a factor of h?
True
Suppose c + 26 = 2*q - 3*c, 4*c = -5*q + 23. Let b(o) be the first derivative of -o**4/4 + 3*o**3 - 3*o**2 + 24. Is 14 a factor of b(q)?
True
Let d(y) = 5*y + 8. Let v be d(4). Let c = v + 68. Suppose 0 = 5*t - 3*t - c. Is t a multiple of 16?
True
Let b(h) = -h**2 + 9*h + 1. Let t be b(7). Let g(f) = -16*f + t + 16 + 15*f. Is g(13) a multiple of 6?
True
Let z(a) = 690*a**2 - 13*a - 12. Is z(-1) a multiple of 53?
False
Suppose 9*h - 30 = -12. Suppose h*f - 4*f + 410 = 0. Is 9 a factor of f?
False
Suppose 23 = -5*s + 5*m + 3, -13 = 2*s - m. Let l be (s/6)/((-12)/40). Suppose l*i = -3*y + 260, i + 2*y = y + 54. Is 14 a factor of i?
False
Let s be (-2)/((-3)/(3 - -30)). Suppose -16 = 3*i + i, 5*i = -t - s. Is -3 - (-68 + 0/t) a multiple of 30?
False
Suppose 3*n - 344 = -2*h, -3*h + h + 324 = -2*n. Let p = h - 64. Let y = p + -58. Is 11 a factor of y?
True
Suppose -83 = 3*j + 5*y, -j + 0*y = 2*y + 27. Let l = j - -37. Let r = 12 - l. Is 6 a factor of r?
True
Suppose 0*y + 2*k = -5*y - 15, 5*y + 4*k = -5. Let h(t) = t**2 + 5*t + 4. Let v be h(y). Suppose 3*x = -2*q + 41, -2*x + 26 = -v*q + 84. Is 4 a factor of q?
True
Let m be 1/((-5)/(-10*2)). Suppose 2*c - m*c = w - 15, c = 3*w - 80. Is 5 a factor of w?
True
Let x(t) = 2*t - 10. Let z be x(7). Let m be z/(8/4*1). Suppose u = m*u - 16. Is 4 a factor of u?
True
Let k be ((-12)/10)/(9/(-480)). Suppose -4*r - k = -6*r. Is r a multiple of 8?
True
Let p be (-12)/1*(-3)/(-6). Let d(o) be the second derivative of -o**5/20 - 5*o**4/12 - o**3/3 + o**2 - o. Is d(p) a multiple of 25?
True
Let x be (-3)/(-1) - (-3 + 1). Suppose -3*t + 40 = -x*t. Is 45/(-1)*t/15 a multiple of 20?
True
Suppose 14 = x - 14. Let g be 12/x - 22/(-14). Does 9 divide g/3 - 1440/(-27)?
True
Suppose 2*q = 4*m + 470, -5*m = 3*q - 4*q + 250. Is q a multiple of 25?
True
Let o(p) be the first derivative of 1/4*p**4 + 36*p - 1/2*p**2 + 1 - 1/3*p**3. Is o(0) a multiple of 36?
True
Let k = -36 + 65. Let z = 15 + k. Does 5 divide z?
False
Suppose 5*b + 21 = 6. Let v(u) = 2*u**2 + 2*u + 4. Let z be v(b). Suppose -p + z = -3. Is p a multiple of 9?
False
Let n be (-6)/2 + (-9)/(-3). Suppose n = 2*k - 5*k + 246. Is k a multiple of 17?
False
Let s = 3 - -7. Let z(o) = 2*o**2 - 2*o + 3. Let k be z(s). Suppose -9 = 3*x, 2*n + 5*x + k = 5*n. Is n a multiple of 18?
False
Let a(i) = -i**3 + 5*i**2 + 3*i + 2010. Does 20 divide a(0)?
False
Let p(w) = 3*w**2 + 7*w + 26. Is 17 a factor of p(-10)?
False
Let c = -1010 + 1442. Is 13 a factor of c?
False
Let q(c) = c**2 + 33*c + 42. Does 4 divide q(16)?
False
Let p(f) be the second derivative of -f**8/6720 + f**7/420 + f**6/360 - f**5/24 - f**4/2 + 4*f. Let y(k) be the third derivative of p(k). Does 15 divide y(5)?
True
Let o(t) = -18*t**2 + 2*t**3 + 36*t**2 - 21*t**2. Is 27 a factor of o(3)?
True
Let u = -1373 - -2266. Is 19 a factor of u?
True
Suppose -4*o - 664 = -0*o. Let k = 47 - o. Suppose -3*v + k = 87. Does 7 divide v?
True
Let u = -257 + 2420. Does 18 divide u?
False
Let n = -137 - -258. Does 3 divide n?
False
Let m(z) = 2*z - 6. Let w(u) = -u**2 + u - 1. Let c(j) = m(j) - 3*w(j). Suppose -2*g - 3 = -g. Does 6 divide c(g)?
False
Let j = 55 + -52. Suppose 0 = j*n - 2*n - 351. Does 13 divide n?
True
Suppose -992 - 154 = -3*b. Does 9 divide b?
False
Suppose 14 = 2*d - 2*l, -d = -6*d + 2*l + 50. Is 2 a factor of d/10*(-340)/(-51)?
True
Let w = -38 + 58. Let a(i) = -6 + 7*i - w*i + 7*i. Is 6 a factor of a(-5)?
True
Let g(c) = 11*c + 10. Let y be g(10). Let d = 231 - y. Does 52 divide d?
False
Let k = 7 + -4. Suppose 0 = 2*p, l - 3*p + 80 = k*l. Suppose 0 = -2*x + 4*x - l. Does 13 divide x?
False
Let g(l) = 9*l**2 - 3*l + 2. Let p be g(2). Is 21/(-2*(-12)/p) a multiple of 14?
True
Let d be 1/(-3) + (-2)/3. Let v(w) = 7*w**2 - 2*w - 1. Let u be v(d). Is 19 a factor of (-124)/u*(1 + -7)?
False
Let s(u) be the first derivative of -u**3/3 + 5*u**2 + 6*u + 27. Is 6 a factor of s(6)?
True
Let m(v) = -160*v + 57. Is m(-7) a multiple of 11?
True
Suppose 5*k - 4*f = -3*f + 11, 0 = -3*k - 3*f + 21. Suppose k*u + 3*z = -z + 112, -5*u - z + 198 = 0. Does 20 divide u?
True
Let d = 795 + -514. Does 5 divide d?
False
Let q = -1421 + 975. Is q/(-10) - (4/(-5))/2 a multiple of 15?
True
Let m(g) = -g**3 + 17*g**2 - 10*g - 14. Let r be m(16). Let x = r + -5. Does 7 divide x?
True
Let p(a) = 1 + 35*a - 45*a + 15*a**2 - 3 - 2. Does 36 divide p(-3)?
False
Let y be (2/(-4))/(4/(-16)). Suppose 6*l - 5*l + 7 = -4*k, y*l - 2*k = 26. Does 4 divide l?
False
Suppose 4*u + 5*n = 2062, 24*u = 21*u - 3*n + 1545. Is 47 a factor of u?
False
Let b(f) = 45*f - 5. Let g be b(3). Let v = -54 + g. Suppose 2*s - v = -0*s. Does 18 divide s?
False
Let s(m) = -14*m**3 + 1 - 13*m**3 + 2*m**2 + 2*m + 0*m**2. Let t be s(-1). Does 3 divide (-2)/(-1) + t/4?
True
Suppose 4*u - 10*m - 336 = -13*m, -u - 2*m + 79 = 0. Does 29 divide u?
True
Let x be (-2 - 3/(-6))*-2. Let n be x/(-9) - (-30)/9. Does 27 divide 47/(0 - (n + -4))?
False
Let t(v) = -3*v**3 - 3*v**2 + 3*v + 5. Let h(o) = -4*o**3 - 2*o**2 + 4*o + 6. Let p(m) = 4*h(m) - 5*t(m). Is p(5) a multiple of 18?
True
Let z(m) = m**3 + 11*m**2 - 3*m + 7. Suppose -3*i = -12, -2*i + 0 = -2*u - 4. Let k be 1 + u - (17 + -3). Is 27 a factor of z(k)?
False
Suppose -77 = -4*a + 31. Suppose 64 = -r + 2*r + 3*l, 2*r = 5*l + 73. Let o = r - a. Is o a multiple of 8?
False
Let v(w) = -5*w**3 + 5*w**2 + 0*w**3 - 3*w**3 - 2*w**2 + 2*w. Is 6 a factor of v(-2)?
True
Suppose 0 - 6 = -2*f, 0 = 5*t - 2*f + 246. Let a(z) = -80*z. Let c be a(-1). Let p = t + c. Is 13 a factor of p?
False
Suppose 0 = -2*x + 4*b + 666 + 56, 4*b = -3*x + 1033. Does 50 divide x?
False
Suppose 3*j - 3*r = 24, 2*j + 2*r = -0*r. Suppose -n = j*n - 65. Does 3 divide n?
False
Let q(z) = z + 85. Is 20 a factor of q(-45)?
True
Let y be (-13 - 2) + -1 + (-10)/5. Does 6 divide (408/y)/((-2)/3)?
False
Let k be -9 - -11 - 4*1/2. Does 12 divide -1*(-2 - -3)*-23 + k?
False
Let t be -3*(20/(-6) - (-4)/(-12)). Suppose 4*w + q - 5 = 3*w, -w = 5*q - 9. Let m = t - w. Is m a multiple of 2?
False
Let i(m) = -4*m**3 + 7*m**2 + 14*m + 6. Is 56 a factor of i(-6)?
False
Let m(a) be the second derivative of 1/20*a**5 - 7/12*a**4 - 4*a + 0 + 1/3*a**3 + 3*a**2. Does 5 divide m(7)?
True
Let b = 25 - 21. Does 14 divide 1 + 3 + 20 + b?
True
Suppose 4*z = z - v + 274, z - 2*v = 96. Let f = z - 38. Is f a multiple of 8?
False
Let g = 73 + -123. Let b = -35 - g. Is b a multiple of 2?
False
Let u be (-28)/182 + (-54)/(-13). Suppose -2 = 4*n - r - 4*r, -3*r - u = -5*n. Suppose 0 = n*t - 161 + 41. Is 15 a factor of t?
True
Suppose -8*k - 359 = 273. Let t = k - -82. Is 2 a factor of t?
False
Let z(c) = -c**3 + 26*c**2 - 73*c - 27. Does 7 divide z(22)?
False
Suppose 4*z + 4 = 0, -3*n - 23 = z + 20. Let v be (-2)/7 + 10/n. Let d(y) = -62*y + 1. Does 14 divide d(v)?
F