ple of 7?
True
Let w(u) be the first derivative of -7/2*u**2 + 5*u - 2. Is 14 a factor of w(-4)?
False
Let i = 10 + -17. Let n(p) = -2*p - 5. Let z be n(i). Suppose o + z = 2*o. Is o a multiple of 8?
False
Let g(n) = n**2 - 10*n + 10. Let j be g(9). Suppose 5*y - 18 = -4*a, -2*a - 3*y + 7 = -j. Is 3 a factor of a?
False
Let j = 4 + -5. Let d = -3 - j. Is -11*1*d - 2 a multiple of 10?
True
Suppose 0 = 3*k + k + 16. Let m(z) = z**3 + 5*z**2 - z - 4. Is 9 a factor of m(k)?
False
Let h be (610/(-8) + -1)*8. Is 25 a factor of h/(-10) + (-1)/(-5)?
False
Let c(u) = -2*u - 6. Let w be c(-4). Let t be (-3)/w - (-9)/6. Suppose -l + 6*l - 25 = t. Is 3 a factor of l?
False
Let g(x) = -2*x + 10. Is 16 a factor of g(-6)?
False
Suppose 0*s + s - l + 3 = 0, -5*s - 5 = -3*l. Let v = s - 2. Suppose v = 2*t - 22 - 6. Does 7 divide t?
True
Let t(r) = r**2 + 10*r - 6. Let u be t(-11). Is u*6/15 + 34 a multiple of 12?
True
Suppose 61 = 3*n + 5*i, -62 = -3*n - 0*n - 4*i. Let v = n + -13. Suppose 0 = -5*f + 21 + v. Is 6 a factor of f?
True
Let p(z) = 2*z**3 - z**2 + 2*z - 2. Does 23 divide p(3)?
False
Suppose 2*p + 54 = 8*p. Suppose 160 = 14*y - p*y. Is 16 a factor of y?
True
Is 7 a factor of 14/42 - 65/(-3)?
False
Let k(f) = -f**3 + 9*f**2 - 12*f - 13. Is k(6) a multiple of 3?
False
Suppose 0 = -4*w + 3*o + 524, -141 = -w - 5*o + 13. Is w a multiple of 31?
False
Is 8 a factor of (-5)/((-25)/(-15)) + 1*87?
False
Let v(r) = r**2 - r + 2. Let q be v(4). Is (q/6)/(1/6) a multiple of 7?
True
Suppose -2*c - 24 = -3*c. Is 12 a factor of (15/4)/(3/c)?
False
Suppose 5*p - 230 = -5*o, 0 = -4*o - 0*o + p + 189. Is 11 a factor of o?
False
Suppose n + 2*n + 62 = o, 3*o = -4*n + 212. Does 14 divide o?
False
Let k(n) = 29*n - 10. Does 6 divide k(3)?
False
Suppose 7*h - 3*h = 100. Is 24 a factor of h?
False
Is 28 a factor of 1*(-3)/1*-29?
False
Suppose -b - 399 = 2*q - 7*q, -4*b = 5*q - 379. Is 26 a factor of q?
False
Suppose 2*n = -n + 18. Suppose 3*p = -3 - n, -2*a - 3*p + 51 = 0. Is 12 a factor of a?
False
Let j(x) be the third derivative of -x**5/60 + x**4/24 + x**3/3 + x**2. Let d be j(0). Suppose d*s - 79 = 55. Is 29 a factor of s?
False
Suppose 261 = -4*x - 4*s + 41, x - 3*s = -63. Let q = -16 - x. Let u = q - 27. Does 7 divide u?
True
Let n = 7 - -10. Does 12 divide n?
False
Does 5 divide (-6)/27 + (-951)/(-27)?
True
Suppose 2*a = 2*o - 0*o + 262, 2*o - 655 = -5*a. Let j = -93 + a. Is 11 a factor of j?
False
Suppose -99*b - 108 = -100*b. Is b a multiple of 12?
True
Let j = -3 - -6. Suppose 0 = j*k + 12, 3*y - 90 = -2*y + 5*k. Is y a multiple of 14?
True
Suppose -82 = -h - 0*r + 4*r, -h = -2*r - 90. Is 14 a factor of h?
True
Let l be (-31)/(-3) + 12/18. Suppose 4*a - 99 = -l. Is 22 a factor of a?
True
Suppose 0 = -5*f - 24 + 4. Is 3/(9/f)*-3 a multiple of 2?
True
Suppose 3*t + 9 - 27 = 0. Let r(w) = -2*w + 9. Let m be r(t). Is ((-22)/(-4))/(m/(-6)) a multiple of 11?
True
Let b(z) = 8*z**2 - z. Let k be (1 - 4) + 2 + 2. Let n be 1*(-2 + k - 0). Is 5 a factor of b(n)?
False
Let a be 4 - (16 - 1) - -1. Let o(w) = -12*w + 8 - w**2 + 4*w**2 - 4*w**2. Does 12 divide o(a)?
False
Let x be 12/7 + (-12)/(-42). Suppose -x*i + 7 = -i. Is i a multiple of 3?
False
Let c = 21 + -19. Suppose c*b = b + 11. Is b even?
False
Suppose 2*c - 2*j = 3*j + 26, 0 = -3*c - 4*j - 7. Suppose 2*d + c = 1. Is 12 a factor of (-2)/d*10 + 0?
False
Let x be 1/(-2 + 1) - -34. Suppose -5*y = 3*u - 1459, -4*y + 1462 = y + 4*u. Does 13 divide y/22 - 6/x?
True
Let d = -20 + 75. Does 14 divide d?
False
Let x = 6 - 0. Suppose x*k - k - 45 = 0. Is 7 a factor of k?
False
Let q be -6*(-2 + 9/6). Suppose 0 = -0*n + q*n - 96. Does 17 divide n?
False
Let z(c) = c + 6. Let i be z(-7). Let f = 15 + i. Is f a multiple of 9?
False
Let y(j) = -5*j**3 - 4*j**2 + 3. Is y(-3) a multiple of 34?
True
Is -61*(-9)/6 - (-3)/(-2) a multiple of 10?
True
Suppose -3*c - 3*o + 2 = -22, c = -3*o + 18. Suppose 0 = g + 3*y, g - c*g + 32 = -2*y. Does 9 divide g?
False
Let r(v) = -v + 4. Let j be r(4). Suppose 0*h + 5*h - 75 = j. Is h a multiple of 5?
True
Let f = -60 - -98. Let y = -22 + f. Does 16 divide y?
True
Let n = -42 + 44. Is 2 a factor of n?
True
Suppose -2*g = -0 + 76. Let l = g + 74. Suppose a + l = 2*a. Is 12 a factor of a?
True
Let s be -1*(-1 - (42 + -1)). Suppose -4*m + 174 = s. Suppose -2*w + 7*l - 3*l + 32 = 0, -m = -3*w + l. Is w a multiple of 3?
False
Let a = -162 - -211. Is a a multiple of 9?
False
Suppose -3*s + 290 = 2. Is 24 a factor of s?
True
Suppose -v = 4*v. Let r(u) = u + v - 2*u + 1 - 2*u. Is r(-4) a multiple of 6?
False
Let f = -7 - -11. Suppose 183 = 3*y + 5*w, -y + 5*y - 3*w = 244. Suppose -a - k + y = a, f*a = -k + 125. Is 16 a factor of a?
True
Suppose 2*j = -2*j + 16. Suppose 2*c - j*c = -18. Does 3 divide c?
True
Suppose 4*p - 513 = p. Does 13 divide p?
False
Is 4/(12/(-6)) - -252 a multiple of 35?
False
Suppose 3*y = -12, -2*y - 942 = -2*b + y. Is b a multiple of 52?
False
Let h = -28 + 42. Does 7 divide h?
True
Suppose 4*r = 7*r. Suppose 6*l - 2*n - 281 = l, -5*l - 4*n + 293 = r. Does 19 divide l?
True
Let b be (2/(-3))/((-4)/18). Let k(c) = -3*c**2 + 2 + 4*c + 4*c**2 - 3. Is k(b) a multiple of 10?
True
Let t = -18 - -6. Let s(o) = o**3 + 11*o**2 - 13*o + 2. Is 14 a factor of s(t)?
True
Let z(r) = 3*r + 3. Let u(i) = 5*i + 5. Let m(v) = -2*u(v) + 5*z(v). Suppose -2*b + 0 - 6 = 0, 4*b + 17 = c. Is m(c) a multiple of 12?
False
Let z(w) = w + 9. Let u be (3 - 2) + 2 + -8. Let i be z(u). Suppose -6*g + 4*g = -2*d - 62, 2*g - i*d = 64. Is g a multiple of 11?
False
Suppose -4*t + 2*y + 0 = -4, 2*t = -4*y - 8. Let o(d) = -d**2 + d + 4. Does 3 divide o(t)?
False
Suppose -d + 7 + 23 = 0. Does 10 divide d?
True
Suppose 4*d - 8*d = 0. Let l be 5/15*(2 - -4). Suppose 4*w - 68 = -5*p, d*w - l*w - 5*p + 44 = 0. Is w a multiple of 6?
True
Let o be 0 + (4 + -2 - 2). Suppose o = -l + 2*l - 15. Does 15 divide l?
True
Suppose u + 2 = 3*u. Suppose -n = -12 + u. Does 6 divide n?
False
Suppose 0 = 2*v, 5*g + 2*v = -v + 20. Suppose -c = l + c - 28, -g*l + 3*c + 112 = 0. Does 14 divide l?
True
Let f(a) = -8*a + 2. Suppose 0*y + 3*y - 30 = 0. Let p(i) = 25*i - 5. Let q(d) = y*f(d) + 3*p(d). Is q(-10) a multiple of 19?
False
Suppose 0 = a + 5*w - 27, -a + w + 2*w = -11. Is 3 a factor of a?
False
Does 23 divide (1 - 67)/((-14)/21)?
False
Let l be (4/(-14))/(3/(-399)). Let h(d) = d**2 + 2*d - 1. Let u be h(5). Suppose 0 = -4*o + u + l. Is 6 a factor of o?
True
Let n = -7 - -14. Suppose -n*a - 96 = -3*a. Let t = 39 + a. Does 6 divide t?
False
Let x = 70 - 49. Is x a multiple of 7?
True
Suppose 4*t + 2*o - 232 = 0, -3*o + 8*o = 0. Is t a multiple of 18?
False
Suppose -3*q = -176 - 55. Suppose -k = -2*n - 0*n + 43, 4*k + q = 3*n. Is 19 a factor of n?
True
Let y be (-6)/(-9) - (-106)/(-6). Let o = y - -24. Is 7 a factor of o?
True
Let g be (-60)/(-16) + 1/4. Suppose -5*k - 5 = -y - 59, -g*k = 3*y - 28. Is 10 a factor of k?
True
Let i(f) be the third derivative of -f**5/60 + f**4/12 - f**3/2 + f**2. Let a be i(-3). Let j = -12 - a. Is j a multiple of 6?
True
Suppose -2*j + 4*j - 6 = 0. Suppose -2*p + 20 = 2*k + j*p, 77 = 5*k - p. Is 3 a factor of ((k - 3)/2)/2?
True
Suppose d + 3 = 5*b, 2*d = -2*d - 2*b + 98. Suppose d = j + j. Let r = -7 + j. Is 4 a factor of r?
True
Suppose 45*b = 38*b + 1365. Does 65 divide b?
True
Suppose 2*n = -2*n - 3*c, -n - 5 = 2*c. Let m(j) = j**3 - 4*j - 1. Let p be m(n). Suppose 5*z = p + 36. Is 6 a factor of z?
False
Let c = -92 + 131. Is 13 a factor of c?
True
Suppose 0 = -0*o - 3*o + 15. Suppose o*x - 2*x = 141. Is x a multiple of 16?
False
Let x(l) = l**3 - 5*l**2 - 3*l - 8. Let u(f) = -f + 11. Let z be u(5). Is x(z) a multiple of 4?
False
Let y(v) = 16*v**2 - 4*v - 10. Is y(-2) a multiple of 6?
False
Let t = 3 + 0. Let f(d) = -d - 2. Let n be f(-6). Suppose n*m = -4, 2*l - 10 - 17 = -t*m. Is 13 a factor of l?
False
Suppose -3*i = -8*i + 3*n + 224, 4*i - 4*n - 176 = 0. Suppose 3*l - 2*l = i. Is 30 a factor of l?
False
Let z be -4*1/(-6)*3. Suppose 3*o - 24 = 4*h, h + 13 = o - z*h. Suppose -n + 16 = o. Is 12 a factor of n?
True
Let y(o) = 4*o**2 - 2*o - 3 - o**2 + 2*o**2. Let q be y(3). Let j = q + -24. Is j a multiple of 6?
True
Let f(k) = -4*k. Let i be f(-2). Let o = i - -11. Suppose 4*u = 17 + o. Is