-1183. Is l a multiple of 4?
True
Let z = -6 + -3. Let t = z + 14. Suppose 237 = 5*i - 2*h, -2*i + t*h - h = -98. Does 12 divide i?
False
Let d be -11 + 14 - (0 - 1). Suppose -d*i + 61 = 4*n - 11, 0 = 3*n - 4*i - 47. Is n a multiple of 17?
True
Suppose 979*n - 1008*n + 25056 = 0. Is 8 a factor of n?
True
Suppose 6*h = -3*h + 27. Suppose h*j - 78 = -3*u, -5*j + 41 = u - j. Is u a multiple of 15?
False
Let s(m) = 3*m**3 - m + 1. Let p be s(1). Let q(o) = -6*o**2 - 1 - 3 + 2*o - o**p - 2. Is q(-7) a multiple of 8?
False
Suppose -5*p = 10, -3*m + p - 29 = -p. Let f = m + 17. Suppose -f*t + 76 = -2*t. Is 9 a factor of t?
False
Let b(c) = -c + 184. Suppose 0*y + 2*y - 5*o = 10, 5*y - 8 = 4*o. Let j be b(y). Is (-1 - -2)/(8/j) a multiple of 5?
False
Let d(o) = 11*o**3 - 7*o**2 - 7*o + 5. Let q(h) = 2*h + 4*h**2 - 2 - h**2 - 5*h**3 + h. Let r(s) = 6*d(s) + 13*q(s). Does 7 divide r(5)?
False
Let n = 16 - 14. Suppose 2 = -n*z + 14. Is 9 a factor of 29 - 4/(-4 + z)?
True
Let a = -2618 - -3958. Does 18 divide a?
False
Let d(o) = 14*o**2 + 2*o + 1. Let n be d(-1). Suppose 0 = -n*h + 12*h + 71. Is h a multiple of 14?
False
Let z(n) = -n**2 + 8*n + 11. Let r be z(9). Suppose 216 = p + r*p. Is 12 a factor of p?
True
Let m(k) = -23*k**3 + 8*k**2 - 8*k - 8. Does 5 divide m(-3)?
False
Suppose 0 = -4*y + 6 + 2. Suppose -3 - 21 = y*n. Let w = n + 57. Does 15 divide w?
True
Is 41 a factor of ((-429)/15 + 4)/(3/(-135))?
True
Let l(z) = -z**2 - 4*z + 3. Let d be l(-5). Is 2 a factor of 6 - (d + -4)/(-2)?
False
Let u(a) be the third derivative of -a**4/3 - 5*a**3/2 + 30*a**2. Is 11 a factor of u(-10)?
False
Let y(n) = 3*n + 0*n**2 + n**2 - 10*n - 47 + 56. Let o(b) = -b**3 + 6*b**2 + 8*b + 2. Let l be o(7). Is 15 a factor of y(l)?
False
Let c(m) = -79*m**3 - m**2 + 2*m - 2. Let f be c(-2). Is (-17)/(-68) + (-1)/((-8)/f) a multiple of 13?
True
Suppose -71*g + 78*g - 630 = 0. Is g a multiple of 18?
True
Let v(w) = w + 2. Let j be v(1). Suppose -j*b + 3 = 45. Does 2 divide (-9 - -3)/(b/21)?
False
Let a(k) = -k**2 + k - 1. Let y(c) = -3*c - 12. Let g(v) = 2*a(v) + y(v). Let h be g(5). Let t = h - -116. Is t a multiple of 21?
False
Suppose r + 4*m = -r + 360, 0 = -3*r - m + 530. Does 19 divide r?
False
Let z = -328 + 385. Is 2 a factor of z?
False
Let g(l) = -10*l - l**3 - 4 + 8*l**2 + 0*l**3 + 2*l**3. Let j be g(-9). Suppose 4*x = 4, -5*x + 68 = -j*i + 273. Is 14 a factor of i?
True
Let t(n) = -n**3 + 4*n**2 - 6*n - 3. Suppose 3*v - 4*d + 9 = 4*v, 3*d = -4*v + 23. Let i be t(v). Let h = i - -100. Does 24 divide h?
False
Let z(s) = -3*s + 1. Let l be z(2). Let v(x) = 3*x + 11. Let t be v(-7). Let u = l - t. Is u a multiple of 2?
False
Let i(k) = 2*k**3 + k + 212. Does 8 divide i(0)?
False
Does 114 divide 2342 + 0 - 8*(-98)/112?
False
Let o(l) = 2 + l**3 + 7*l - 15*l**2 - 4*l - 4 + l**3. Does 43 divide o(8)?
True
Let v be 0*(6/(-3))/(-2). Suppose c - 6*c + 170 = v. Suppose -2*g + 3*n + c = 0, -2*g + 4*n + 37 - 3 = 0. Is 8 a factor of g?
False
Suppose 3*k + 4 + 10 = -5*r, -4*k + 20 = -3*r. Suppose k*n - 104 - 34 = 0. Is n a multiple of 18?
False
Let w(b) = 2*b**2 - 4*b + 2. Let d be w(2). Suppose -d*u = 3*u - 245. Is 6 a factor of u?
False
Let u = -4586 - -9057. Is u a multiple of 17?
True
Suppose 2*o - 4*q = 4, -3*q = -4*o - 0 + 3. Let y(g) = -g**3 - g**2 - g + 6. Does 3 divide y(o)?
True
Suppose i + 3*s = 262, s - 140 - 130 = -i. Is 7 a factor of i?
False
Does 3 divide (-47 - -46)/(1570/786 + -2)?
True
Let l = 8 - 37. Let w = 82 - l. Does 37 divide w?
True
Let x = 149 + -141. Is x a multiple of 8?
True
Suppose 0 = 5*t + 2*a + 238 - 1194, -3*t - 4*a + 582 = 0. Is t a multiple of 19?
True
Let j = 3 - 3. Let q(o) = -o - 4. Let k be q(j). Is 12 a factor of 107/3 + k/(-12)?
True
Let h(n) = -n. Let p be h(7). Let k(x) = 31*x + 2*x**2 - 18*x + 1 - 5 - 11*x. Is k(p) a multiple of 20?
True
Let q(y) = y**3 - 2*y**2 + y - 380. Let k be q(0). Let v = -114 - k. Does 19 divide v?
True
Let b = 7 + 11. Suppose b*w - 120 = 13*w. Is 6 a factor of w?
True
Let c be (-8)/(-16)*2*5. Suppose 0 = -5*q + 4*y + y + 35, 3*q - 21 = -c*y. Is 3 a factor of q?
False
Let o(f) = f**2 + 16*f + 18. Suppose 5*u - 2*y = -69, -5*y - 66 = 4*u - 3*y. Let m be o(u). Does 6 divide m/(-5) + (-212)/(-20)?
False
Suppose 53*v + 560 = 57*v. Let q = v - -78. Does 32 divide q?
False
Is 51 a factor of 226*((-120)/32)/(3/(-4))?
False
Let x = -10 + 8. Let s be 8/12 - x/(-3). Suppose 5*a = -0*a - l + 99, -3*l - 3 = s. Is a a multiple of 10?
True
Let x = 28 + 2. Suppose g - x = 14. Is g a multiple of 8?
False
Let m = 518 + 164. Is m a multiple of 31?
True
Let a(z) be the first derivative of z**5/60 + z**4/8 - z**3/2 - z**2/2 - 14. Let u(r) be the second derivative of a(r). Is 6 a factor of u(-6)?
False
Let y be (-117)/(-21) + 15/(-70)*-2. Suppose 4*f = 2*l + 246, -f + 9*l + 49 = y*l. Is f a multiple of 16?
True
Let n = 82 + 79. Does 5 divide n?
False
Let w(y) = 39*y**2 + 2*y - 13. Does 43 divide w(3)?
True
Let u be (-6)/4*((-368)/12 + 0). Let b = u + -37. Does 9 divide b?
True
Let y = 458 - 220. Does 5 divide y?
False
Let n = -8 - -174. Does 8 divide n?
False
Suppose 2*l + 2*l + 16 = 0. Let o(d) = d**2 + 4*d + 3. Let a be o(l). Suppose -2*h - a*h = -45. Does 5 divide h?
False
Suppose -6*k + 41 = -19. Let b be (-8)/(-6)*(k - -41). Suppose -p + 45 = -4*j, 5*p - 91 - b = -2*j. Does 11 divide p?
True
Let i(l) = 9*l + 66. Let s(z) = z - 2. Let h(o) = -i(o) - 6*s(o). Is h(-5) a multiple of 10?
False
Let d be (-1)/1 + (1 - 0). Let g = -324 + -47. Is 14 a factor of (-1 - d)/(7/g)?
False
Let p = 7570 - 5202. Does 16 divide p?
True
Suppose -5*t + 38 = 5*l - 147, 0 = -5*l + 10. Does 35 divide t?
True
Suppose -8*j = -564 + 180. Does 8 divide j?
True
Suppose i - 2 = 0, -i = -4*x + 3*x + 3. Suppose -7 = -5*h - 4*k - 2, -x = -4*h - 3*k. Let u = h + 17. Does 11 divide u?
True
Let d(s) = -s**2 - 7*s + 6. Let o(f) = -6*f - 4*f**2 + 1 + 0*f**2 - 21*f + 23. Let a(n) = 9*d(n) - 2*o(n). Does 20 divide a(-7)?
True
Is 13 a factor of (4 + 0 - 410)/(9/(-18))?
False
Let f(g) = g**3 + 4*g**2 + 2*g + 1. Let h be f(-3). Let v be 12*(-1 + (-1)/(-2)). Is -39*1*h/v a multiple of 12?
False
Let x = -78 + 81. Suppose 123 = x*q - 42. Does 6 divide q?
False
Suppose -2*v - 78 = v. Let m = 121 + v. Does 16 divide m?
False
Suppose -16*z - 12167 = -5*t - 12*z, z + 7296 = 3*t. Is 11 a factor of t?
True
Suppose 26*k - 35 = 31*k. Let c(q) = -q**3 - 4*q**2 + 10*q + 7. Does 28 divide c(k)?
True
Let q(y) = -15*y - 2. Let j be q(-4). Suppose -312 = -3*i + 5*s, 5*i + 3*s + j = 578. Is i a multiple of 13?
True
Suppose -10*u + 4*u = 18. Does 11 divide u/6*(-160*11)/4?
True
Let a = -783 - -1303. Is 20 a factor of a?
True
Let h(b) = b**3 - 12*b**2 - 4*b + 7. Let f be h(13). Let l = f - 48. Is l a multiple of 19?
True
Let i be (-4)/(-2)*28/(-8). Let n = 47 - i. Is n a multiple of 12?
False
Suppose 5*n - 26 + 126 = 0. Let h = -16 - n. Is h a multiple of 2?
True
Let d = -31 - -22. Let a be 89/3 + 6/d. Let p = -18 + a. Does 8 divide p?
False
Suppose -49 = -3*w + a, -3*w = a + 2*a - 45. Is 2 a factor of 6/8*w/6?
True
Suppose 3*g - m + 0 = 2, -3*g + 4*m = -17. Does 31 divide (-19941)/(-161) + g/(-7)?
True
Let m(v) = 41*v + 21. Let b(u) = -20*u - 11. Let p(l) = 9*b(l) + 4*m(l). Is p(-8) a multiple of 7?
False
Let g = 21 - 11. Let d = g - 4. Suppose -d*h + 39 = -5*h. Is h a multiple of 13?
True
Suppose -12*x + 1873 = -11*x + 2*u, 5619 = 3*x + u. Is x a multiple of 54?
False
Let h = 17578 + -12277. Is 29 a factor of h?
False
Suppose -4*h - 2*z + 10 = 0, -8 = -4*h + h - 2*z. Suppose j - 269 = -v, -v - v = -h*j + 550. Is 34 a factor of j?
True
Suppose -800 = -4*l - l. Is l a multiple of 32?
True
Let m(b) = b**3 - b - 1. Let f(d) = -2*d**3 - 9*d**2 + 5*d + 10. Let j(t) = -f(t) - 3*m(t). Let x be j(9). Let z = -10 - x. Is z a multiple of 5?
True
Does 60 divide (55/(-10))/(-11) - 1103/(-2)?
False
Suppose 2*u + m - 428 = 0, -u = m - 2*m - 220. Suppose 0 = -9*a + a + u. Is 10 a factor of a?
False
Let u(c) = 49*c + 16. Let y(r) = -50*r - 17. Let k(a) = -7*u(a) - 6*y(a). Is 19 a factor of k(-3)?
False
Let u = 57 - 56. Is 2 a factor of (u + -2)*-4 - (-6 + 5)?
False
Suppose -y + 4*i = 70, 0*y + y + 2*i = -100. Suppose -2*l - 21 = 67. Let x = l - y. Is x a multiple of 27?
False
Suppose 3*y = y +