ivide j?
True
Suppose 0 = 3*k - 1 - 5. Suppose -n - 26 = 3*w + k*w, 3*w = 3*n - 12. Let z = 14 + w. Is z a multiple of 4?
False
Is 15/(-2)*16/(-6) a multiple of 10?
True
Let a = -1 - -3. Suppose -54 - 71 = -5*u - 2*i, -a*u + 39 = 3*i. Let j = u + -3. Is 9 a factor of j?
False
Suppose -2*t = -22 - 74. Suppose -3*z = 4*r + 42, -3*r = -2*z + r - t. Is (z/3)/1*-1 a multiple of 3?
True
Is 7 a factor of (-5)/(-35) - ((-307)/7 - 0)?
False
Let u(j) = -j**2 + 9*j. Let f(m) = m**2 - 17*m. Suppose 0 = -5*v + w - 23, 17 = v - 3*v + 3*w. Let g(b) = v*f(b) - 7*u(b). Does 14 divide g(-4)?
True
Suppose 3*t - 45 - 6 = 0. Is 6 a factor of t?
False
Let s(t) = -3*t. Suppose 3*n - 5*n = 6. Let w be s(n). Suppose 0*y + y + w = 3*o, -3*y - 5 = 2*o. Is 2 a factor of o?
True
Suppose -100 = -5*q + p, -2 = -2*q + 2*p + 30. Is q a multiple of 4?
False
Suppose -9*x + 8 = -5*x. Suppose -2*f + x = j, 2*f + 5*j + 14 = -0. Suppose 5*z + f*y - 83 = 0, -5*z + 7*y + 76 = 3*y. Is z a multiple of 5?
False
Let p(i) be the second derivative of -i**3/2 - 9*i**2/2 + 3*i. Is p(-7) a multiple of 8?
False
Let n be (1/1)/(9/972). Suppose -2*p + 118 = 4*l, n = 4*l + 4*p - 16. Does 11 divide l?
False
Suppose -8*v - 104 = -4*v. Let n = -12 - v. Is n a multiple of 3?
False
Let s(m) = -3*m - 4. Let h be s(-6). Suppose 0 = 5*p + 3*d - 45, -6 = -4*d + h. Does 3 divide p?
True
Let o(a) be the second derivative of a**3/3 + 3*a**2 - 2*a. Does 10 divide o(7)?
True
Let b be -2 - (2 - 0)*1. Let p = 6 + b. Suppose 0 = -2*g - r + 75, -p*g + g + 50 = -2*r. Is 19 a factor of g?
False
Suppose -3*k + 120 = 2*k. Is 8 a factor of k?
True
Let k be 1*(-4)/(12/(-15)). Suppose 5*y + 4 = 2*q - k*q, -2*y = 5*q + 13. Suppose -y = b - 3. Is b even?
True
Let c = 164 - 63. Does 23 divide c?
False
Is ((-32)/10)/((-4)/10) a multiple of 4?
True
Suppose 4*n + o + 34 - 122 = 0, 110 = 5*n + 5*o. Is 7 a factor of n?
False
Suppose 6*g - 961 + 259 = 0. Is g a multiple of 19?
False
Let p = 2 - 3. Does 5 divide 2 - (-1 + p - 1)?
True
Let h(b) = -2*b**2 + 6*b. Let k be h(4). Suppose 1 = 5*d + 11. Let y = d - k. Is 3 a factor of y?
True
Let h = -103 + 285. Let q = -59 + h. Suppose -5*w = -32 - q. Does 12 divide w?
False
Suppose -3 = -3*t, t = 4*k - 67 - 8. Is 3 a factor of k?
False
Let h(a) = 4*a**3 - 6*a**3 + 15 + 3*a**3 - 16*a - 8*a**2 + 0*a**3. Does 12 divide h(10)?
False
Suppose -2*f + 102 = -14. Let d = -3 + f. Does 18 divide d?
False
Suppose 5 = -3*v + 4*v. Let i be (19/57)/((2/1)/36). Suppose -4*p = v*q - 73 + i, -2*q + 10 = -4*p. Is q a multiple of 10?
False
Let t be 0*((-2)/(-4) - 0). Suppose t = l + 3*l - 336. Suppose 0 = 5*b + 2*n + 1 - l, -3*b + 3*n + 33 = 0. Does 12 divide b?
False
Let g(n) = -n**2 - 9*n - 5. Let y be g(-8). Does 23 divide 2/(y - 193/65)?
False
Suppose -1079 - 265 = -4*u. Suppose 0 = 3*j - 24 - u. Suppose -5*q = -2*q - j. Is q a multiple of 20?
True
Suppose -3*r + 6*w - 3*w + 78 = 0, 0 = 5*r + w - 136. Is 6 a factor of r?
False
Let g(n) = n**3 - 7*n**2 + 4*n - 2. Is 13 a factor of g(7)?
True
Suppose -17*f + 9*f + 632 = 0. Does 16 divide f?
False
Let t = -6 - -31. Is t a multiple of 10?
False
Let m = -69 - -115. Let k = 66 - m. Does 10 divide k?
True
Suppose -3*m + k - 5*k = -50, 4*k - 20 = 0. Suppose -2*d + m = -6. Is d a multiple of 3?
False
Is (-2)/(-6)*(-360)/(-12) a multiple of 8?
False
Let v = 14 - -12. Let g be 21/(-15) + 2/5. Does 7 divide v/4 + g/(-2)?
True
Suppose 0 = d - 293 + 26. Does 13 divide d?
False
Let i(p) = p + 5. Let a be i(-5). Suppose a*f = -4*f - 3*m + 122, -4*m + 88 = 3*f. Is 11 a factor of f?
False
Let d = -1286 - -2385. Is 8 a factor of (-3)/(-5) + d/35?
True
Let o(i) = i**2 - 2*i - 11. Let t be ((-14)/(-6) - 1)*6. Is o(t) a multiple of 9?
False
Let x be -7*(-1 - (-3 + -1)). Is -3 - 6/(-2) - x a multiple of 10?
False
Let a = 300 + -194. Does 56 divide a?
False
Suppose x + 86 = 2*j, j + 0*x - 2*x = 46. Is j a multiple of 10?
False
Let q be (-2)/1 + (-3 - -8). Suppose q = -p + 8. Suppose 3*k + 2*n - 56 = -3*n, p*k - 3*n - 150 = 0. Is k a multiple of 13?
False
Suppose 6 = 5*i - 174. Is 9 a factor of i?
True
Suppose -3*j + j = -286. Does 37 divide j?
False
Let y = -11 + 83. Is 18 a factor of y?
True
Let p = 18 - 5. Suppose 3*g - 4 = h, 4*g - 3*h + p = 2*h. Is g a multiple of 2?
False
Suppose 4*m - 646 = -154. Is 33 a factor of m?
False
Let u = -58 + 31. Let f = 4 - u. Is f a multiple of 24?
False
Does 47 divide ((846/4)/(-3))/((-15)/40)?
True
Let j(t) = -2*t + 3. Let v be j(-3). Does 17 divide (-125)/(-3) - 6/v?
False
Suppose 5*h = -4*g + 114, -4*h - 5*g = h - 110. Let o = h + -9. Is 4 a factor of o?
False
Is 4 a factor of (-3)/(-24)*-26*-12?
False
Is 25 a factor of (-16)/(-3)*180/8?
False
Let x(r) = r**3 - 4*r**2 + 7*r - 8. Let b(m) = -m**3 + 3*m**2 - 6*m + 8. Let g(k) = -4*b(k) - 5*x(k). Let a be g(7). Does 4 divide a/(-1)*(-2)/(-4)?
False
Let f = 39 + -24. Let j = 88 - f. Does 21 divide j?
False
Let p(r) = r**2 + 3*r + 3. Let h be (-2)/(-2)*(2 + -5). Does 2 divide p(h)?
False
Let u be 27/12 + 2/(-8). Suppose -63 = -3*w + 5*s, 0 = -u*w - 0*w + 3*s + 42. Is 9 a factor of w?
False
Suppose 3*g - 123 = -3*d - 33, -2*g = -3*d - 55. Does 10 divide g?
False
Let d = -6 - -14. Let a(v) = -v**3 + 8*v**2 + 3*v - 9. Is a(d) a multiple of 8?
False
Does 11 divide (33/(-12))/(4/(-16))?
True
Let i = 3 + 48. Is i a multiple of 3?
True
Let l(p) = -5*p - 4. Is 17 a factor of l(-10)?
False
Suppose -j + 56 = -3*j. Let c = j + 42. Is c a multiple of 14?
True
Let i = -3 - -5. Suppose -w = -3*c - 2*c - 24, -27 = 5*c + i*w. Let g(x) = -3*x - 7. Is 8 a factor of g(c)?
True
Let p(q) = 3*q - 5. Suppose 0 = 3*n + 15, 4*n - 2 = -4*i + 2. Is 10 a factor of p(i)?
False
Suppose 0*p = 6*p - 108. Is 3 a factor of p?
True
Let b be (-3 - -2)*(-6 + 1). Let p(n) be the second derivative of -n**5/20 + 5*n**4/12 + n**3/2 + n**2 - 3*n. Does 12 divide p(b)?
False
Let c(t) = 4*t + 4. Let p(w) = 3*w + 3. Let f(z) = -5*c(z) + 7*p(z). Let k be f(-1). Suppose 4*j - 43 - 53 = k. Does 12 divide j?
True
Let v(t) be the first derivative of 2*t**3/3 + t**2/2 - 2. Let x be v(3). Suppose -4*y + 5*u + x = -30, 0 = -5*y - 4*u + 115. Does 14 divide y?
False
Suppose 0 = 3*q + 2*j + 17, -5*q = 4*j - 6 + 31. Let f = 14 + q. Is f a multiple of 2?
False
Suppose -24 = 4*s - 6*s. Suppose -4*q + 2*q + s = 0. Is q a multiple of 6?
True
Let m(g) = 3*g**2 + g. Let q(a) = a**2 - a - 1. Let n be q(-1). Suppose -3*b - n = 8. Is m(b) a multiple of 8?
True
Let k = 502 + -313. Is 21 a factor of k?
True
Let q(c) = -c**3 + 4*c**2 + 5*c + 6. Suppose -2*t - 3*v + 19 = 0, 13 = 4*v + 1. Does 6 divide q(t)?
True
Suppose -2*u = 4 - 10. Suppose -u*f = 12 - 60. Does 8 divide f?
True
Suppose 3*p - p = 0. Suppose -3 = v - 5. Suppose 0 = -5*j + o + 65, p*o + 10 = -v*o. Is 12 a factor of j?
True
Let j = 123 - 91. Is j a multiple of 27?
False
Let s(t) be the first derivative of 6*t**3 + t**2 - t + 2. Let v be s(1). Let p = v - 9. Is 10 a factor of p?
True
Let k = -9 + 13. Let i(h) = -h. Let c(d) = d**3 - 3*d**2 - 4*d - 1. Let w(z) = -c(z) - i(z). Is 5 a factor of w(k)?
True
Suppose 4*m - 95 = -w, -5*w - 1 - 4 = 0. Is m a multiple of 8?
True
Suppose -4*d + 151 + 46 = 5*i, -2*d - 5*i + 101 = 0. Does 12 divide d?
True
Suppose 0*g + 25 = 5*g. Suppose g*d - 5*b = -0*b + 70, 3*b + 74 = 5*d. Does 16 divide d?
True
Suppose 4 = y - 0*y. Suppose 2*i - v = -5*v + 92, 2*i = 5*v + 65. Suppose 0*p = -y*p + i. Is 6 a factor of p?
False
Let u = -3 - -39. Is u a multiple of 18?
True
Let d(o) = -2*o + 1. Does 7 divide d(-4)?
False
Suppose -12 = -4*c + 8. Suppose c*m - 2*t = 3*t + 30, 4*t = 3*m - 20. Suppose m*y - 4*o - 60 = 0, -3*y = -2*o - 2*o - 49. Is y a multiple of 6?
False
Let b = -84 - -159. Does 23 divide b?
False
Let l be 1/(-2 + 101/50). Suppose -j + 6*j = l. Is 10 a factor of j?
True
Suppose 0 = -5*t + 28 + 12. Suppose -5*x - o = -11 - 3, 2*x - 2*o - t = 0. Does 2 divide x?
False
Let l(g) = -28*g - 7. Is l(-2) a multiple of 7?
True
Let t = -158 - -270. Is 8 a factor of t?
True
Suppose 5*t = 2*o, 3*t = -2*o - 0*t. Suppose 5*v - 3*v - 132 = o. Does 33 divide v?
True
Suppose -4*t = 3*p - 143, 2*t - 5*p + p - 44 = 0. Suppose b - 5 = -2*c, -5*c + b = -3*b - t. Let h(j) = 9*j + 1. Is 14 a factor of h(c)?
False
Is 5 a factor of (3 - 4)*-1 - -64?
True
Let v(s) = -s**2 + 12*s - 4