 divide y?
True
Let j(n) = -15*n + 75. Is 8 a factor of j(-3)?
True
Suppose -5*v + 205 = -90. Suppose -317 = -3*b - 5*h, 0 = -2*b - 3*h + 261 - 49. Suppose 0*f = -2*l - 5*f + b, -f = l - v. Is l a multiple of 10?
False
Let v = 5 + 3. Let m be ((-1042)/(-4))/(2/v). Suppose 0 = -7*s - 272 + m. Is 28 a factor of s?
False
Let g = 185 + -80. Let q(w) = 5*w**2. Let d be q(-3). Let r = g - d. Is 20 a factor of r?
True
Let o(w) = 3*w**3 - 22*w**2 - 6*w. Does 37 divide o(10)?
True
Let b(y) = 4*y**2 + 11*y - 1. Let d(z) = 5*z**2 + 12*z - 2. Let q(w) = 4*b(w) - 3*d(w). Let m be q(-8). Does 26 divide 77 - 2/(-4)*m?
True
Let v(s) be the second derivative of -5*s**3/6 + 9*s**2/2 - 4*s. Does 7 divide v(-11)?
False
Let c(u) = 3*u**2 - u - 1. Let f be c(-1). Suppose -4*t - 55 = f*q, -4*q = -4*t - 7 + 43. Let p = q - -21. Does 3 divide p?
False
Let z = -403 - -523. Is z a multiple of 21?
False
Let i = 12 - 10. Is ((-300)/10)/((-2)/i) a multiple of 6?
True
Let b = 730 - 604. Is b a multiple of 10?
False
Suppose -4*b = 2*b - 5*b. Suppose s + h - 36 = 0, b = -5*s - 2*h - 34 + 202. Is 7 a factor of s?
False
Suppose 0 = -3*h - b - 288, -6*h + 4*b = -3*h + 303. Let f(v) = 145*v**3 - 2*v**2 + 4*v - 2. Let g be f(1). Let q = h + g. Is q a multiple of 16?
True
Let p(s) = 13*s - 51. Let t be p(15). Suppose 0 = 7*i - 10*i + t. Is 9 a factor of i?
False
Let k = 784 - 553. Suppose 4*b + 5*h = k, 5*b - 390 + 75 = -h. Is b a multiple of 16?
True
Let s be 14/3*(-6)/(-7). Let o be 8*(0 + s/8). Suppose -12 = -o*y + y. Is 4 a factor of y?
True
Let y(v) = -1. Let c(o) = -o**3 + 10*o**2 + o + 3. Let n(l) = c(l) + 3*y(l). Is 22 a factor of n(7)?
True
Let z(s) = -3 + 10*s + 3*s - 5*s**2 + 2*s**2 + 2*s**2. Is 12 a factor of z(9)?
False
Let i = -418 - -743. Is 13 a factor of i?
True
Let p(c) = 2*c**2 + 11*c + 29. Let t(d) = -4*d - 35. Let b be t(-7). Does 10 divide p(b)?
True
Let j(s) = s**3 + 16*s**2 - 6*s + 51. Is j(-11) a multiple of 16?
False
Let p(t) = -3*t + 2. Let d be p(5). Let x be d/(8/(-12) + 1). Let y = 55 + x. Is 8 a factor of y?
True
Let y = -9 - -13. Suppose 5*u = -3*m - 205, -y*u + 0*u = 4*m + 276. Let o = -8 - m. Does 13 divide o?
False
Let s be (-30)/3*(-10)/25. Suppose 111 = s*j - 125. Is j a multiple of 13?
False
Let j = -260 + 439. Is j a multiple of 6?
False
Let p(d) = 2*d**2 + d - 2. Let u be (14/8)/((-3)/(-12)). Let w be p(u). Suppose w = 5*s - 122. Is 9 a factor of s?
True
Let w be (2/6)/((-8)/312). Let l = 15 + w. Suppose -6 = -3*t, 2*h - h - 24 = -l*t. Is h a multiple of 5?
True
Does 5 divide -3 + 0 - (-114)/(-4)*-2?
False
Let d be (1 - 0)/(4/(-24)). Let b(y) = -y - 4. Let m be b(d). Suppose -2*w + 26 + 100 = u, m*w + 410 = 3*u. Is 29 a factor of u?
False
Suppose 2*y + 2*u + 156 = 0, 1 = 4*u - 3. Let n = y + 142. Is (-303)/(-7) - 18/n a multiple of 20?
False
Let i(c) = 7*c**2 + 7*c + 1. Let a(p) = p**2 + 12*p - 10. Let r be a(-13). Is i(r) a multiple of 17?
True
Let p(j) = -j**2 + 5*j - 11. Let r be p(2). Is 25 a factor of (385 - 30) + (r - 0)?
True
Let k be (-2)/2 - -5 - 2. Suppose -k*d = -d + 2. Does 25 divide (-512)/12*3/d?
False
Suppose 0 = 24*j - 20868 + 732. Is j a multiple of 18?
False
Let k be (-296)/56 - 2/(-7). Let v be (k/(-3))/(19/57). Suppose 32 = 3*a - v*b - 31, -61 = -4*a - b. Is 8 a factor of a?
True
Let t be ((-2)/(-4))/(1/2). Is 123 - ((0 - 2) + t*5) a multiple of 30?
True
Suppose -4*u - 2*p + p + 10 = 0, 3*p + 4 = 5*u. Suppose r - 3*z = -u*r + 213, -r = 3*z - 51. Does 13 divide r?
False
Let n = 30 - 24. Suppose -5*a - n = -b - 1, 3*b + 4 = -4*a. Is 20 a factor of (22 - (-1 - 0)) + a?
False
Suppose 3*d - 5*k = -244, -4*d - 3*k - 154 = 152. Is d*(2 + (-25)/10) a multiple of 10?
False
Suppose 31*s - 7433 = 15941. Is 6 a factor of s?
False
Suppose 36 = 4*v - 2*i - 18, 3*i = -2*v + 39. Let m(b) = 3*b - 36. Does 2 divide m(v)?
False
Suppose -7*b + 89 + 163 = 0. Is b a multiple of 5?
False
Let r(q) = q**3 + q**2 - 9*q + 2. Let m be r(-4). Let h(j) = j**2 - 5*j + 3. Does 11 divide h(m)?
False
Let z(l) = 38*l + 8. Let r(k) = -19*k - 4. Let a(b) = -11*r(b) - 6*z(b). Is 22 a factor of a(-5)?
False
Let n(j) = 11*j + 167. Is 48 a factor of n(11)?
True
Let l(g) = g**2 + 2. Let y be l(0). Suppose 2*t + 3*q = 47, 0*t + 42 = y*t + 2*q. Is t a multiple of 16?
True
Let i = -5 + 5. Let r(s) = -s**3 - s + 48. Let c be r(i). Suppose -c = -t - 4. Is t a multiple of 31?
False
Let m = -57 - -19. Let t(f) = -f**3 - 26*f**2 - 151*f + 23. Let u be t(-17). Let g = u - m. Is g a multiple of 8?
False
Let i = -3377 + 5171. Is i a multiple of 46?
True
Suppose 2*z = 3*w + 504 - 198, z - 153 = -2*w. Is 9 a factor of z?
True
Let m(t) = 5. Let n(y) = -y**3 - y - 1. Let h be n(0). Let u(v) = v + 1. Let z(p) = h*m(p) - 2*u(p). Is 3 a factor of z(-11)?
True
Suppose -76*p + 67*p + 1332 = 0. Is 43 a factor of p?
False
Is (46 - 593)/((-5)/2 - -2) a multiple of 25?
False
Suppose -6 - 9 = 5*v. Let d(j) = -25*j - 3. Is 12 a factor of d(v)?
True
Let v(c) be the third derivative of 1/4*c**4 + 0 - c**2 - 1/12*c**5 + 0*c + 2/3*c**3 + 1/60*c**6. Is 12 a factor of v(3)?
False
Let m(d) = -d + 3. Let x be m(-10). Let r = -10 + x. Suppose -b - r*b = -88. Does 11 divide b?
True
Let o be 7/3 + (-34)/(-51) - 4. Does 5 divide (o/(-3) + 3504/(-36))/(-1)?
False
Suppose 6*t - 451 - 911 = 0. Is t a multiple of 8?
False
Let m be (-4 - (-5 + 2))*0. Suppose -2*p + m*p - 26 = 0. Is 7 a factor of (-8)/16*(-1 + p)?
True
Suppose -j - 5*u + 2457 = 0, 3*u - 7359 = -j - 2*j. Is 96 a factor of j?
False
Let d(q) = -106*q - 2. Let l(n) = 35*n + 1. Let k(a) = -5*d(a) - 16*l(a). Is 34 a factor of k(-7)?
True
Let r(l) = -4*l**2 - 2*l - 8. Let s(a) = a**2 - a + 1. Let q(f) = -r(f) - 3*s(f). Let b be q(-5). Suppose 0 = -b*u + 4*u + 20. Does 10 divide u?
True
Suppose o - 24 = 13*o. Is 11/22 + (-159)/o a multiple of 8?
True
Does 36 divide 1*(2 - (-9)/((-18)/(-932)))?
True
Let i = 486 - 262. Does 32 divide i?
True
Suppose 11*z - 8*z - 15 = 0. Suppose k = -z*k - 918. Is k/6*(-10)/5 a multiple of 6?
False
Suppose 0 = -4*v + 5*w + 325, v - w - 55 - 26 = 0. Is v a multiple of 8?
True
Let t be (54/21)/(4/28). Suppose 0 = -t*b + 19*b - 7. Is 3 a factor of b?
False
Suppose -3*v + 337 = q - v, -q + 5*v + 365 = 0. Is q a multiple of 20?
False
Let r(f) = f**3 + 8*f**2 + 10*f + 5. Suppose -4*d + 5*y - 16 = 0, 6*d + 4 = 5*d - 4*y. Is r(d) a multiple of 5?
False
Let p(g) = -g**3 + 15*g**2 - 14*g + 12. Let y be p(14). Let b be (-8)/3*(-9)/y. Suppose -220 = -b*a - 2*a. Is 16 a factor of a?
False
Suppose -q + 29 = 7. Suppose 21*i - q*i = -30. Does 10 divide i?
True
Let w be ((-18)/(-8))/(2/72). Suppose w = u - 9. Does 12 divide u?
False
Let o = 377 + 714. Let l = o - 766. Suppose -n - l = -5*t, 5*t = 2*n + 168 + 152. Is t a multiple of 16?
False
Suppose -46*z - 29*z + 57525 = 0. Is 33 a factor of z?
False
Suppose 2*a + 47 = y, -5*y + 4*a + 168 = -y. Suppose z + 3*z - 11 = -3*b, -5 = 2*z + 5*b. Suppose -92 + y = -z*w. Is w a multiple of 5?
False
Is (224 - 1) + (-228)/(-38) a multiple of 16?
False
Let u = -45 + -40. Suppose 4*n - 12 = 0, 5 = -2*f - 0*f - 3*n. Let a = f - u. Is a a multiple of 20?
False
Let a(s) = 21*s - 87. Is 9 a factor of a(14)?
True
Let a be 16/6*42/(-28). Is (-1390)/(-5)*(-2)/a a multiple of 8?
False
Suppose -5*g = -3*b - 9723, 0 = -4*g + 4*b + 9298 - 1518. Is 9 a factor of g?
True
Suppose 1440 = 2*a - 3*o, a - 399 - 321 = 2*o. Is 36 a factor of a?
True
Let q(r) = -2*r**2 + 5*r - 6. Suppose -2*n - 5*z = -5, -5*n + n + 4*z = -24. Let x be q(n). Let u = x - -62. Is u a multiple of 9?
False
Suppose -4*r + r + 3*c = -60, -2*r = -4*c - 50. Suppose -5*n = -0*n + 3*s - 166, 5*s = -r. Is n a multiple of 5?
True
Let u = -362 + 2360. Is 37 a factor of u?
True
Let s(c) = -20*c - 7. Let r be s(-2). Suppose r = 2*g - 53. Is 6 a factor of g?
False
Let p(s) = 70 + 4*s - 47 - s. Does 3 divide p(4)?
False
Suppose 5*u - 2*u + 54 = 0. Let a = 42 - u. Let n = 101 - a. Does 11 divide n?
False
Let w = 749 + 102. Is 77 a factor of w?
False
Let h = -313 - -1286. Is 7 a factor of h?
True
Let j(x) = -2*x + 4 - 8*x - 2 + 8*x. Let a be j(-1). Suppose 5*v - i = 63, -v + 2*i = -13 + a. Is v a multiple of 2?
False
Let z be 1*-2 + (0 - -6). Let s(o) = -3 + z*o + 4*o + 7*o + 0. Does 16 divide s(4)?
False
Let g(q) = -q**3 - 13*q**2 + 95*q + 21. Doe