 3*t = 2*i - 154, -3*i - 2*i = -3*t - 160. Let s(l) = 7*l**2 - 3*l + 3. Let h be s(-3). Let f = h + t. Does 9 divide f?
False
Let i(z) = -z**2 - 6*z + 5. Let m be i(-4). Suppose l + m = -w, -l = w - 6*w - 11. Let s = 2 - l. Does 11 divide s?
True
Let o be (-3 - -5 - 3)*0. Let l be 1*(1 + 3 + o). Does 9 divide (350/15)/(l/6)?
False
Let l = 18 - -22. Is l a multiple of 8?
True
Let x(u) = -u**3 - u**2 + 5. Does 24 divide x(-6)?
False
Let g(m) = -5*m**2 - 4*m - 3. Let v be g(-2). Is 612/20 + (-6)/v a multiple of 11?
False
Let q = 8 + -6. Suppose 0*n - n + 32 = q*u, -2*n - u + 64 = 0. Does 13 divide n?
False
Suppose f = 4*f. Suppose -7*d + d + 180 = f. Does 10 divide d?
True
Let j(x) = 3*x + 2*x**2 + 5*x - 6 + 0*x. Let c be j(-6). Let f = -10 + c. Is f a multiple of 8?
True
Suppose -4*s - 4*g = -5*g + 29, 3*g - 15 = 0. Does 11 divide s/21 + (-298)/(-14)?
False
Let w(a) = 7*a**2 - a + 4. Let f be w(-4). Suppose 5*u - f = -4*y, 0 = -2*u + 2 - 10. Is 10 a factor of y?
False
Let l be (6/(-4))/((-2)/44). Let p = 116 - l. Let y = p - 41. Is y a multiple of 14?
True
Let h(c) = -c**3 - c**2 - c - 2. Let r be h(-2). Let w(a) = 10 - 4*a**2 - r + 2*a + 5*a**2. Is w(-6) a multiple of 15?
True
Suppose -2*p - 4 = -2*b, -2 = -0*b - b. Let z(l) = l**2 + l + 50. Is 17 a factor of z(p)?
False
Suppose 3*d - 6 - 21 = 0. Is 5 a factor of d?
False
Suppose 5*b - 52 = -2*t - 9, 0 = 3*t - 5*b - 27. Does 14 divide t?
True
Let m be ((13 + -3)*1)/2. Suppose -m*s + 29 = 4. Does 5 divide s?
True
Let q = 118 + -23. Is 15 a factor of q?
False
Let w = 3 - 0. Suppose c + 32 = -w*c. Does 7 divide (-165)/(-12) + (-2)/c?
True
Suppose -6 = -s - 2. Suppose -50 = -2*q - 2*r, s*q - 4*r + 2*r - 106 = 0. Does 13 divide q?
True
Suppose -132 - 1103 = -13*k. Is 5 a factor of k?
True
Let c(x) = -x - 11. Let z be c(-9). Let s(j) = 1 - 26*j - 1. Does 14 divide s(z)?
False
Let m(p) = -p - 29. Let s(b) = -14. Let c(u) = 3*m(u) - 7*s(u). Does 16 divide c(-9)?
False
Let z be ((-12)/8)/(4/(-248)). Suppose -4*l + 2*u + 16 = -2, 0 = -3*u - 15. Suppose -l*b - b + z = 0. Is 17 a factor of b?
False
Let o = 107 - 51. Is 8 a factor of o?
True
Suppose 0*f - f - 72 = 0. Let y = 327 + f. Suppose -4*o + y - 71 = 0. Is 26 a factor of o?
False
Let w be -3*1/(1 - 2). Suppose h + 58 = w*h. Does 16 divide h?
False
Let i(l) = -l**2 - l + 3. Let m be i(0). Suppose -m*c = -0*c - 126. Is c a multiple of 14?
True
Let g be (-1*2)/(-1 + 0). Suppose 3*n = -n + 40. Suppose -g*r + 2 = -n. Does 4 divide r?
False
Let v(m) = -m**3 + 3*m**2 + 2*m + 2. Is v(3) a multiple of 4?
True
Is (-36)/3*(-100)/8 a multiple of 10?
True
Is (-1 + (-17)/7)*(-42)/3 a multiple of 6?
True
Let a(l) = l**3 - l**2 - l + 1. Let g be a(2). Suppose 0 = z + g*z - 20. Is 4 a factor of z?
False
Suppose -2*c - 5*r + 0*r + 365 = 0, -4*c - 3*r + 737 = 0. Is c a multiple of 5?
True
Is 5 a factor of 20/(-25) + 54/5?
True
Suppose 4*j = 3*a - 6*a + 1037, -a + 3*j + 324 = 0. Suppose 5*s + 84 = a. Is 13 a factor of s?
False
Let d(w) = 5*w**3 + 3*w**2 + w + 1. Let v(g) = g. Let y(f) = d(f) + 2*v(f). Let q(t) = -4*t**3 - 3*t**2 - 3*t - 1. Let z(s) = 6*q(s) + 5*y(s). Is z(4) even?
False
Suppose u = -2*u. Let j be 2/((-4)/(-1))*u. Suppose j = -4*x + 3*p + 6 + 58, 4*x + 5*p - 96 = 0. Is x a multiple of 12?
False
Let p(v) = v + 11. Let r(m) = m + 22. Let d(w) = -11*p(w) + 6*r(w). Let q(c) = -4*c + 10. Let n(y) = -6*d(y) + 7*q(y). Is n(4) a multiple of 6?
True
Let i(p) = -40*p**3. Is 8 a factor of i(-1)?
True
Suppose -d - 2 = -2*h + 3, 4*h + 5 = -d. Suppose z - 3*z + 8 = h. Is 2 a factor of -1 - (1 - z/1)?
True
Let t(y) = 2*y**3 - 3*y**2 + 3*y - 3. Let s be (4/3)/(10/15). Does 7 divide t(s)?
True
Let k(m) = -m**3 + m**2 + 2. Suppose d = -d. Let u be k(d). Suppose -u*r + 6*r = 144. Is 12 a factor of r?
True
Suppose 0*f + f - 1 = 3*n, -5*f = n + 27. Let r be 3*((-8)/(-3) + n). Does 10 divide -1 + r + (9 - 0)?
True
Suppose f - 6*f = 25, -a - 3*f = 41. Let c = -18 - a. Let j = c - 5. Does 2 divide j?
False
Suppose 0 = 2*n + 3*n - 220. Suppose -5 = o - 3. Is n - (-1 + o + 1) a multiple of 14?
False
Suppose 0*v + 320 = 5*w - 5*v, 5*v = 4*w - 260. Does 25 divide w?
False
Suppose 10 = -2*g, 3*g - 13 = -3*n + 2*g. Let i(r) = -r**3 + 4*r**2 + 7*r + 3. Let l be i(n). Is -3 - l - 12/(-4) a multiple of 27?
True
Let m(p) = -4*p - 1. Is m(-14) a multiple of 11?
True
Suppose -5*v - 221 = -4*s, s - v - 79 = -24. Does 18 divide s?
True
Let s = 38 + -10. Is 9 a factor of s?
False
Suppose -5*r = 10, 5*r + 10 = 4*g + 4*r. Suppose -4*l - l + 119 = -4*a, -3*a - 42 = -g*l. Is l a multiple of 14?
False
Let j(n) be the second derivative of -n**3/3 - 11*n**2/2 - n. Suppose -z + 1 - 11 = 0. Does 6 divide j(z)?
False
Suppose -14 = -2*y - 0*y + 2*w, 4*w = 0. Suppose y = -c + 2. Let l = c - -10. Is 5 a factor of l?
True
Let k = 1 + -2. Let g(i) = i**3. Let u(n) = 7*n**3 - n**2 - 3*n - 3. Let y(r) = k*u(r) + 6*g(r). Does 15 divide y(-3)?
True
Suppose -5*i + 14 = 4. Suppose -i*b = b - 12. Does 2 divide b?
True
Suppose -t = 2*j - 9, -9 = -5*j + 2*t - 0. Let v = j - -2. Suppose -5*h + 83 = -a, v*h + 11 = -5*a + 76. Is 10 a factor of h?
False
Let f(w) = 11*w + 1. Let q be f(15). Suppose 3*s = 2*z - q, -126 = -3*z - 3*s + 138. Does 19 divide z?
False
Let o(d) be the third derivative of 2*d**5/5 - 5*d**2. Is 8 a factor of o(1)?
True
Let d = 101 - 89. Does 4 divide d?
True
Let h = -201 + 31. Let r = -99 - h. Suppose 4*y + 7 - r = 0. Does 16 divide y?
True
Let c(b) = -b**2 - 9*b - 1. Let v be c(-8). Suppose -2*u + 5*n + 27 = 0, -2*u + v*u = n + 79. Is u a multiple of 8?
True
Let f = 18 + -13. Suppose 0 = n - f*n - 168. Let s = n + 61. Is s a multiple of 10?
False
Suppose -5*l - 3*k = -83, 2*l - k + 33 = 4*l. Is l a multiple of 16?
True
Let u(j) = -j**2 + 6*j + 2. Let q be u(4). Does 5 divide 10/(-25) + 184/q?
False
Let g(b) = 46*b**2 - 2*b + 1. Let n be g(1). Let a = -24 + n. Does 13 divide a?
False
Does 4 divide ((-12)/(-14))/(18/84)?
True
Let u = 80 + -51. Is u a multiple of 29?
True
Suppose -2*f - n - 20 = -6*f, 3*n + 5 = f. Suppose 2 - 4 = 3*l - m, 2 = f*l + m. Suppose -k - 2*k + 63 = l. Does 11 divide k?
False
Let o(i) = 4*i**3 - 6*i**2 + i - 12. Is o(4) a multiple of 14?
False
Let j = 20 + -13. Suppose -4*c = 2*k - j*k, -4*k = -c. Suppose -5*y = -c*y - 55. Does 10 divide y?
False
Let n = -47 - -73. Is 11 a factor of n?
False
Let v be -6*(-1 + 1/2). Suppose o + 5*c = 6, 0*c + 72 = 2*o - 2*c. Suppose -v*b = -2*z - o, 0*b - 5*b + 60 = 5*z. Is b a multiple of 11?
True
Let n(s) = -9*s + 2. Let f be n(2). Suppose 0 = -6*u + 2*u - 44. Let p = u - f. Is p a multiple of 2?
False
Let g = 62 + -42. Suppose o + o - g = 0. Is o a multiple of 4?
False
Suppose -4*p + 5*l + 704 + 323 = 0, -4*p + 1029 = -3*l. Suppose -4*a + a = -p. Is a a multiple of 15?
False
Let o be 4/10 + 46/10. Let y(q) = -o*q - 2*q + q. Is y(-1) a multiple of 4?
False
Let d(u) = 2*u**2 + 11*u + 5. Let b be (-8)/(-6) - (-1)/(-3). Let f be ((-7)/(-3))/(b/(-3)). Is 13 a factor of d(f)?
True
Suppose 0 = x - 4*x, 2*x = 3*g - 63. Is 9 a factor of g?
False
Suppose 0*u + 40 = 2*u. Is u a multiple of 5?
True
Let s(t) = t**2 + 4*t - 1. Suppose 5*j + 34 = 3*k - 6*k, -40 = 5*k + 5*j. Let r be s(k). Is (r + 6)/(4/74) a multiple of 15?
False
Let r = 81 + -33. Let z be (-1)/5 - r/(-15). Let u(n) = 5*n**2 - n - 3. Is 10 a factor of u(z)?
False
Let f(y) = 8*y - 7. Suppose -5*w + 2*t + 8 = -18, -w - 2 = 2*t. Does 19 divide f(w)?
False
Let r = -2 - -7. Let w = r + -2. Does 3 divide w?
True
Let r = -72 + 111. Is 13 a factor of r?
True
Suppose -2*y - 9 = 1. Let r be (6 - 2)*y/4. Let g(w) = -6*w + 2. Does 11 divide g(r)?
False
Let z be ((-2)/(-8))/((-1)/(-12)). Suppose 2*d + 0 = -4, z*j - 5*d = 67. Is 19 a factor of j?
True
Suppose -2*r + 36 = -0*k + 2*k, r = 3*k - 34. Suppose 2*w - 3*w - 2 = 0. Let c = w + k. Is c a multiple of 6?
False
Suppose 0 = -7*f + 5*f + 22. Let h = f + -8. Does 3 divide h?
True
Let v = 62 + 76. Is 23 a factor of v?
True
Is 19 a factor of (23 + -4)/((-1)/(-2))?
True
Let p(m) = -m**2 + 6*m + 10. Let z be p(8). Is 3/z*-12 + 1 a multiple of 3?
False
Suppose 5*z - 35 = 10. Does 5 divide z?
False
Suppose -2*x + 3*x = 102. Is 34 a factor of x?
True
Let p(c) = -2*c + 4*c + 14*c + 3 - 2. Does 18 divide p(3)?
False
Let y = -7 + 49. Is 26 a factor of y?