- 5. Let u(m) = -4*d(m) - f(m). Does 6 divide u(j)?
False
Let m(x) = -24*x - 1. Let o be m(-6). Suppose 5*z = o + 2. Does 29 divide z?
True
Suppose 2*c = -9*b + 4*b + 276, 0 = 5*c + 4*b - 690. Suppose -r = 2*r - c. Is 23 a factor of r?
True
Suppose -g + 20 = 3*g. Suppose 0*r - g*r = -140. Is 14 a factor of r?
True
Let v = -6 - -8. Let x(w) = 0*w**v - 4*w**2 + 6*w**2 - 3 - w. Is 9 a factor of x(-3)?
True
Let u(t) be the first derivative of -t**2/2 - t + 1. Let z be u(-6). Suppose 3*g + 23 = -z*q + 71, 0 = 3*g - 3. Does 4 divide q?
False
Is (19/(-2))/((27/(-12))/9) a multiple of 14?
False
Suppose -4*v = -v. Let c be -8 - -30 - (v + 1). Suppose -4*w + c = i + w, 31 = 3*i - w. Is i a multiple of 3?
False
Suppose -59*a = -63*a + 816. Does 34 divide a?
True
Let c(t) = -t**3 + 12*t**2 + 14*t - 10. Let z be c(13). Let p = z + 28. Is p a multiple of 31?
True
Let i(k) = -k**2 - 3*k + 3. Let x = 7 + -10. Let n be i(x). Suppose -2*c + n*b + 2 + 5 = 0, 0 = -c + 5*b. Does 5 divide c?
True
Suppose -4*l - 2*q + 14 = 0, 4*l + 5*q + 1 = -0*l. Let v be (0 + -3)/l*0. Is 18 + v/(-2 + 0) a multiple of 9?
True
Suppose -17*t = -20*t + 93. Does 2 divide t?
False
Suppose 488 = 2*r + 4*m + 18, -5*m - 683 = -3*r. Does 43 divide r?
False
Let u(q) = 11*q - 1. Let s be -4*(-2)/(8/(-6)). Let v(g) = g**3 + 7*g**2 + 7*g + 9. Let m be v(s). Is u(m) a multiple of 16?
True
Let o be 156/15 + (-6)/15. Suppose 12 + o = a. Is 11 a factor of a?
True
Suppose o - 1 = -2, 4*i = -4*o + 52. Is i a multiple of 14?
True
Let y be (2/(-4))/(3/(-24)). Suppose 3*w - 174 = -w + l, 4*w - y*l = 180. Is w a multiple of 8?
False
Suppose -215 = -2*l + 5*k, k + 3*k - 20 = 0. Is 15 a factor of l?
True
Let m = -171 - -198. Is m a multiple of 9?
True
Let k(q) = 7*q**3 + 2*q**2 - q. Suppose 3*o + 5 = 8*o. Let j be k(o). Suppose 0*x = x - j. Is x a multiple of 8?
True
Let g(s) be the third derivative of s**6/15 - s**5/20 + s**4/8 - s**3/2 - 4*s**2. Let d be g(2). Let n = d - 31. Is n a multiple of 12?
True
Suppose -3*r - 32 = -r. Is r/12*(-3)/2 even?
True
Let f = 10 - 5. Suppose 0*t = 5*p + 3*t - 29, p = -f*t - 3. Is (-6)/3*(1 - p) a multiple of 12?
True
Suppose 0 = 5*v - 0*v - 1045. Is v a multiple of 16?
False
Suppose 5*g + 9 - 29 = 0. Is ((-14)/(-3))/(g/18) a multiple of 7?
True
Is 6/3 + 65/5 a multiple of 15?
True
Let b(q) = q**2 + q + 1. Let i be b(-2). Let h = -1 + i. Is h a multiple of 2?
True
Suppose 5*i + 316 = 9*i. Is 21 a factor of i?
False
Suppose -2*c + s = -30, -5*s = -4*c + 29 + 43. Suppose 5*j - 5*l + 20 = 0, 4*l = -0*j - 2*j - 14. Let o = c + j. Is o a multiple of 3?
False
Let v(u) = 68*u**2 + u. Let c be v(1). Is 23 a factor of (c/1)/(5 - 4)?
True
Suppose -12 = -3*a, 0*d - 2 = d - 5*a. Is d a multiple of 9?
True
Let b(l) = l**3 - 2*l**2 - 2*l. Let u be b(3). Suppose 0 = -n + 5*q - 20, -n - 24 - 12 = u*q. Let g = -11 - n. Does 13 divide g?
False
Let x be 858/18 + (-1)/(-3). Suppose 6*q - 9*q = -x. Is q a multiple of 10?
False
Suppose -4*g + 0*g + 280 = 0. Does 14 divide g?
True
Let q(c) = c**3 + 9*c**2 + 5*c - 11. Let f = -7 + -1. Is 9 a factor of q(f)?
False
Let f(r) be the third derivative of r**5/60 - 5*r**4/24 + 2*r**2. Let c be ((-63)/14)/(1/(-2)). Does 18 divide f(c)?
True
Suppose -3*i = -5 - 7. Let b be (i + 2)*(-12)/9. Let g = 20 + b. Is g a multiple of 6?
True
Suppose -s + 13 = -10. Suppose -2*b + s = 7. Is b a multiple of 2?
True
Let m = 51 - -131. Is m a multiple of 26?
True
Let o(b) = 3*b - 5. Let n be o(-4). Let v = 6 - 35. Let g = n - v. Is 9 a factor of g?
False
Let w = -5 - -6. Let g = w + 20. Is g a multiple of 8?
False
Let c(l) = l**3 - 8*l**2 + 11*l + 7. Let j be c(6). Does 24 divide 1 + j - (-1 + -61)?
False
Let l be 6/27 - 2/9. Let n be -2 + -17 - (l - 2). Let p = n - -25. Does 5 divide p?
False
Suppose k - 5*t = 3*k, 3*t = -4*k + 28. Does 2 divide k?
True
Let n = -21 + 14. Suppose 2*w + 3*b - 530 = 0, 5*b + 566 = 4*w - 538. Is 10 a factor of (-10)/(-35) - w/n?
False
Suppose -5*z = -0 + 5. Does 11 divide -3 + (0 - (-15 - z))?
True
Suppose 2*t + 12 = b, 14 = 5*b + 5*t - 1. Suppose 4*j - 231 = b*w - 3*w, -3*w = -j + 69. Is j a multiple of 14?
False
Suppose d + 2*q - 4*q = -5, -q + 7 = -2*d. Let y(w) = 0 - 5*w + w**2 + 1 + 0*w**2 + 2*w. Is 7 a factor of y(d)?
False
Suppose 2*s - 5 = 1. Is 14 a factor of 3 + 55 + (s - 0)?
False
Let r = 786 + -361. Is 62 a factor of r?
False
Is (-30)/(-1)*(-6)/(-15) a multiple of 3?
True
Suppose -56*p = -60*p + 1064. Does 14 divide p?
True
Let l be 10/45 - (-16)/9. Suppose 0 = l*r - 6*r + 76. Does 8 divide r?
False
Let f = 5 + 5. Is 10 a factor of f?
True
Let n = 967 - 635. Is 58 a factor of n?
False
Let d(m) = 17*m**2 - 4 + 4 + 0. Is 7 a factor of d(1)?
False
Suppose -7 = -4*k - 3*m + 16, -5*k = 2*m - 20. Let o be 2*(-1 + 3/(-6)). Does 19 divide 37/k*(-1 - o)?
False
Suppose -9 = 2*f - 3*p, 2*p = 2*f + 3*p - 11. Let v = f + -1. Let q(y) = y**3 + 2*y**2 - 2*y + 2. Is q(v) a multiple of 9?
False
Suppose 9 + 63 = 4*r. Is r a multiple of 6?
True
Let b = -61 - -205. Does 16 divide b?
True
Let o(d) = -9*d - 41. Does 7 divide o(-10)?
True
Let q = 400 + -286. Does 5 divide q?
False
Let a(u) = u**2. Let i be a(-2). Suppose 0 = v - i + 2. Does 2 divide v?
True
Let t(q) = q**3 - 4*q**2 + 6*q. Let k be t(4). Suppose -k = 2*m - 3*m. Does 24 divide m?
True
Suppose 2*v - 40 = 4*f - 382, 3*f + 5*v = 263. Is 7 a factor of f?
False
Suppose 9*o + 301 = 3838. Is o a multiple of 15?
False
Let u be (6/(-5))/(6/15). Is 33/(((-27)/6)/u) a multiple of 4?
False
Suppose f + f - 5*l = 51, l + 5 = 0. Is f a multiple of 13?
True
Let d = 6 + 48. Let g = 137 - d. Is g a multiple of 21?
False
Suppose 5*j - 14 = -2*r - 0*r, -5*j + 6 = -2*r. Suppose 0 = -2*n + r*m + 134, 18 = -2*n + 5*m + 143. Let s = n - 46. Does 12 divide s?
True
Let r = 39 - -21. Does 19 divide r?
False
Let p be -1*0/(1/1). Is (p - -1)/((-1)/(-25)) a multiple of 10?
False
Suppose 2*r + 0*h - 89 = 3*h, 4*r = -5*h + 123. Let l = 61 - r. Is l a multiple of 12?
True
Let y be (3*2)/(-9 - -8). Let p = y + 10. Suppose k - 102 = -4*x + 62, 2*x - p*k - 100 = 0. Does 19 divide x?
False
Let o = 9 + 10. Does 5 divide o?
False
Let n(f) = -4*f**3 - 5*f**2 - 3*f. Let g be n(-4). Suppose u = 5*u - g. Is 27 a factor of u?
False
Let t(i) be the third derivative of -5*i**4/12 - 2*i**2. Let z be t(-5). Suppose -2*j - 2*c - z = -4*j, -3 = c. Is 22 a factor of j?
True
Let l = 10 + -9. Is 10 a factor of l/(-3) - (-264)/9?
False
Suppose 14 + 91 = 3*c. Suppose f + c + 14 = 3*i, -5*i + 65 = -5*f. Suppose 0 = 2*w - 4*d - 2, -4*w + 3*d + i = 4. Is w a multiple of 2?
False
Suppose -d + 2*o = -86, 6*o = 2*o - 4. Does 7 divide d?
True
Let v be 3*1 + (-66 - 13). Is 12*(v/(-16) + -1) a multiple of 32?
False
Let w(x) = -3*x - 45. Is 4 a factor of w(-19)?
True
Let o = 147 + -82. Is o a multiple of 18?
False
Suppose -2*b + 33 = b. Is b a multiple of 11?
True
Suppose 5 = -3*t + 23. Suppose x + 10 = t*x. Is (3 + -2)*18/x a multiple of 9?
True
Let g(f) be the second derivative of 13*f**4/6 - f**2/2 - 3*f. Let k be g(-1). Let m = k - 5. Is 10 a factor of m?
True
Let x = 0 - 2. Let s be (-1)/(x/(-3))*-4. Suppose 18 = d - s. Does 12 divide d?
True
Let r(v) = v**2 - 12*v + 7. Let c be r(9). Let x = 17 - c. Is 13 a factor of x?
False
Let m be 0 + 1*-2*1. Let v be (-46)/14 - m/7. Let j(r) = 2*r**2 + r + 3. Is 7 a factor of j(v)?
False
Let s = 6 - 4. Suppose -2*o - s*o + 4 = 0. Is (-3 + 53)*o - 3 a multiple of 17?
False
Suppose -5*c - 352 = -0*q - 4*q, q - 88 = -c. Is 22 a factor of q?
True
Suppose 23*j - 25*j + 210 = 0. Is 4 a factor of j?
False
Let g(t) = -t**2 - 6*t - 3. Let d be g(-6). Let y(j) be the second derivative of -j**4/12 - 7*j**3/6 + j**2/2 + 3*j. Is 13 a factor of y(d)?
True
Suppose -4*d - 4*c = -0*d - 180, d + 4*c = 60. Is d a multiple of 2?
True
Let c(n) = -n - 2*n**2 - n + 9*n**2 + 7*n**2. Is c(2) a multiple of 26?
True
Is 6 a factor of (-4)/(-34) + (-3437)/(-119)?
False
Let m(l) = -l**3 - l**2 + 5*l. Let r be m(-4). Suppose r - 3 = -5*v, -70 = -5*d + 3*v. Is d a multiple of 3?
False
Suppose 2*x - 6*x + 20 = 0, 2*d - 4*x - 160 = 0. Is 30 a factor of d?
True
Suppose 0*r + 60 = r. Does 15 divide r?
True
Suppose -5*w + 7*f + 150 = 2*f, 26 = w - 3*f. Does 8 divide w?
True
Suppose -5*s + 1218 = 63. Suppose -d = -2*m - 39, -4*d = 4*m 