Let g = t + -3. Is g a multiple of 16?
False
Let f(a) = -a**2 + 3*a - 1. Let q be f(3). Does 15 divide 4 + q*2 + 28?
True
Let x(d) = -d**3 - 2*d**2 - 5*d + 1. Let y(v) = v**2 + v - 1. Suppose 5*f - 3*i = -3 + 11, 5*f - 6 = i. Let c(l) = f*x(l) + y(l). Does 15 divide c(-3)?
True
Let t = 8 + -6. Let j be t/((-4)/5)*-2. Suppose -j*n + 73 = -57. Does 11 divide n?
False
Let c(x) = 2*x**2 + 5*x - 11. Does 13 divide c(-7)?
True
Let i(y) = -y**2 + 3. Let z be i(-4). Let b = 20 + z. Let r = 19 - b. Is r a multiple of 10?
False
Suppose 2*b = 6*b + 484. Let a(w) = -w**2 + 4*w + 2. Let h be a(-7). Let d = h - b. Is 16 a factor of d?
False
Let r(i) be the second derivative of -i**3/6 - i**2 + 8*i. Let m be (-2 - -3) + 0 + -5. Is 2 a factor of r(m)?
True
Let j be -2 - 4*(-8)/(-2). Is 29 a factor of (1068/j)/((-2)/3)?
False
Suppose 4*o = 14*o - 3150. Is o a multiple of 46?
False
Let i(w) = w**3 - w**2 + 5*w - 1. Does 22 divide i(4)?
False
Suppose -n - 15 = -4*n. Suppose -5*l + 260 = n*a, -187 = -6*l + 2*l + 3*a. Does 14 divide l?
False
Let h(f) = 3*f**2 - 5*f - 4. Is 32 a factor of h(-4)?
True
Let x be (30/9)/(6/9). Let f be (6/4 - 2)*0. Suppose -x*s + 20 = -f*s. Is 2 a factor of s?
True
Let l(k) = 2*k - 5. Let p be l(5). Suppose b - 17 = -2*v, -2*b + 43 + 36 = -p*v. Is b a multiple of 9?
True
Suppose m = -4*t + 1, 5*t + 4 - 15 = -2*m. Does 13 divide m?
True
Does 14 divide 17 - 2/4*4?
False
Suppose 140 = 4*q + 3*n, -2*q + 0*n = -3*n - 52. Let h = 45 - q. Let x = 8 + h. Is 9 a factor of x?
False
Suppose -4*y + p + 0*p = 13, 5*p - 25 = 0. Let c = -1 - y. Suppose 0 = -d + 9 - c. Is 4 a factor of d?
True
Let t be (-2 - -2)/(-3 - -1). Suppose -5*z - 15 = 0, t = 2*m - m + 2*z + 69. Let l = m - -99. Is 18 a factor of l?
True
Let q be (-8)/(-16)*(1 + -1). Is 4 a factor of (10*-1)/(-2) + q?
False
Suppose 0 = 3*d + 34 - 7. Let t = -6 - d. Suppose -t*p + 53 = w, 4*w - 47 = -2*p + 5. Is p a multiple of 8?
True
Let b = 7 + -7. Let t(l) = 5*l**3 + 3*l**2 - l - 8. Let o(f) = -9*f**3 - 5*f**2 + 2*f + 15. Let x(r) = 4*o(r) + 7*t(r). Is 2 a factor of x(b)?
True
Let d(q) = 13*q - 15. Let j be d(12). Suppose -j + 21 = 3*s. Let a = s - -66. Is a a multiple of 17?
False
Suppose -m + 2*b = 2*m - 424, -5*m = b - 685. Is m a multiple of 46?
True
Suppose 4*n - 23 = -3*m, 5*m - 30 = -4*n - 5. Suppose n*h = -1 - 4. Does 7 divide (-28)/(h*(-4)/(-2))?
True
Let l = -25 + 98. Does 11 divide l?
False
Let t = 328 + -176. Suppose -4*o = 2*p - t, -p - 147 - 11 = -4*o. Is 13 a factor of o?
True
Suppose -27 = -3*s - 0*s. Does 25 divide ((-12)/10)/(s/(-480))?
False
Let z(i) = -i. Let x(y) = -10*y. Let g be x(1). Does 5 divide z(g)?
True
Let z(h) = -h**3 - 8*h**2 + 10*h + 12. Let x be z(-9). Suppose 2*j - 15 = -x*j. Suppose 51 = j*n - 45. Does 16 divide n?
True
Suppose 0 = 5*f - 40 + 170. Let n be (-420)/f - 2/13. Does 15 divide n - -1 - (-1 + 3)?
True
Suppose 1 - 15 = -2*n. Is n even?
False
Let g(u) = -u**2 - 8*u + 3. Suppose -18 = 5*h + 7. Does 9 divide g(h)?
True
Let o = 365 + -254. Is 17 a factor of o?
False
Suppose -5*b + b = 16. Let x = 10 + b. Does 9 divide x/12*(-88)/(-2)?
False
Suppose -5*n + 45 = -5*x - 15, 2*n = -3*x + 14. Suppose -4*c - 7 = 5*f + 10, 0 = f + 2*c + 1. Let j = f + n. Does 4 divide j?
False
Suppose -4*y - 2*x + 28 = x, -3*y = 3*x - 24. Suppose -4*m + 99 = 5*n, -107 = -y*m + 2*n + n. Is 26 a factor of m?
True
Suppose 0 = 6*g - 2*g - 456. Suppose g = -3*q + 360. Is q a multiple of 33?
False
Is ((-18)/(-4))/(1/6) a multiple of 6?
False
Suppose 22*q - 17*q + 387 = 3*d, 0 = 4*q. Is 43 a factor of d?
True
Let t = 76 - 22. Does 25 divide t?
False
Let r(d) = -d**2 + d + 1. Let t(l) = 9*l**2 - 2*l - 4. Let k(m) = 6*r(m) + t(m). Suppose -5 = -5*p, -3*i - p = -2*p + 7. Is k(i) a multiple of 6?
True
Suppose -2*t = 5 + 33. Let d be 3/((-3)/34 + 0/(-5)). Let n = t - d. Is 15 a factor of n?
True
Suppose -2*l = 0, -4*n + 168 = -5*l - 48. Suppose -5*t + n + 26 = 0. Let v = 29 - t. Is 13 a factor of v?
True
Let m = 17 - 14. Is m even?
False
Let z(n) be the first derivative of 5*n**4 + n**2/2 - 4. Does 8 divide z(1)?
False
Suppose 10 = -2*z, -6*z + 2*z = -2*k + 74. Is k a multiple of 9?
True
Let u(t) = -3 + 10*t**2 + 3*t - 2 + t**3 - 2*t**3 - 3. Is u(10) a multiple of 20?
False
Let f = -13 + 23. Is 5 a factor of f?
True
Let a be 1/2 - 10/4. Let c be -100*a*(-1)/(-4). Let t = c + -22. Is 15 a factor of t?
False
Let n(w) = -2*w - 10. Let g = -23 + 16. Let p be n(g). Suppose 3*l = 5*m + 5*l - 40, -1 = p*m - 5*l. Is 6 a factor of m?
True
Is 6 a factor of ((-108)/15)/(-6)*5?
True
Let k(b) = b**2 - 6*b + 4. Let l be k(6). Suppose 5*o + 8 = 3*o, -l*x - 4*o = -80. Is 19 a factor of x?
False
Let c(u) = -67*u - 2. Let v be c(-2). Suppose 0 = -4*m + 8*m - v. Does 26 divide m?
False
Suppose 2*c + 5*a - 150 = a, -3*c - 3*a + 225 = 0. Is 15 a factor of c?
True
Suppose -m = -p - 52, 0 = -2*m - 3*m - p + 242. Is 15 a factor of m?
False
Does 24 divide -2*4/20*-60?
True
Suppose 0*x - g = 5*x - 361, -2*x = 3*g - 147. Is x a multiple of 6?
True
Suppose 0*g = -2*g + 4*q + 28, -g + 29 = -5*q. Is g a multiple of 4?
True
Let u(r) = -r**3 + 7*r**2 - 6*r + 2. Let y be u(6). Suppose 2*z - 20 = -y*z. Let j = z + 11. Does 8 divide j?
True
Suppose 4*n + 2*s - 122 = 0, -3*n + 6*s + 98 = s. Suppose y + n = 5*v + 2, -v = -5*y - 25. Is v a multiple of 2?
False
Let l be (2*4)/(6/138). Suppose 5*c - c = l. Is c a multiple of 18?
False
Let f be (2/4)/((-2)/(-8)). Suppose -3*g + 150 = f*z + z, 5*g = -2*z + 241. Let t = 75 - g. Is t a multiple of 14?
True
Let q(j) = -j**3 - j + 4. Let u(x) = x**3 - 5*x**2 - 5*x - 6. Let r be u(6). Suppose 4*w = -r*w + 20, -4*y - 25 = -5*w. Does 2 divide q(y)?
True
Let t(v) be the second derivative of 7*v**4/4 + v**3/3 + v**2/2 - 3*v. Is t(-1) a multiple of 20?
True
Suppose -5*p + m = 376, -3*p + 0*m - 248 = 5*m. Let y = 118 + p. Is 14 a factor of y?
True
Let g be -5*(-1)/(-3)*3. Let n = g + 7. Suppose 12 - 48 = -n*b. Is 18 a factor of b?
True
Suppose -2*p + p = 4*b - 13, 4*b = -4*p + 28. Let s be ((-4)/(-6))/((-4)/192). Let u = p - s. Is u a multiple of 16?
False
Let t = -45 + 92. Suppose -4*z = -t - 245. Does 17 divide z?
False
Let v = 18 - -17. Is v a multiple of 17?
False
Let g = 130 - 113. Is 8 a factor of g?
False
Suppose 0*k = -4*k. Suppose -5*q + 150 = -k*q. Is 15 a factor of q?
True
Let j be 2/(-3) + 76/(-12). Let w = j - -10. Suppose -p = -m - w*m + 77, 5*p + 61 = 2*m. Does 7 divide m?
False
Let f be 466/8 - 2/8. Suppose -f = -s - s. Does 11 divide s?
False
Suppose -x + 4 = -0*x. Suppose 2*s + 4*w - 78 = -s, 117 = x*s + w. Is 15 a factor of s?
True
Let q = -111 + 165. Does 18 divide q?
True
Suppose 2*p = 7*p - 5, 0 = -5*f + 3*p + 122. Let m = -15 + f. Does 7 divide m?
False
Let i(j) = j**3 + 6*j**2 - 7. Let p be i(-6). Let u = 3 - p. Is u a multiple of 7?
False
Let z(u) = 3*u**3 - 3*u**2 + u - 29. Let g(k) = k**3 - k**2 - 1. Let f(t) = 2*g(t) - z(t). Is f(0) a multiple of 11?
False
Let v = 19 + 16. Suppose v = x - 0*x. Is 13 a factor of x?
False
Let n be (3/(-1))/(-3) - -3. Let q(d) = -5*d**2 - 4*d - 2. Let o be q(-2). Let y = n - o. Does 18 divide y?
True
Let c = 29 - 18. Let m = c - 7. Suppose -16 = -m*k - 0*k. Is k a multiple of 4?
True
Suppose -3*z + 4*b = -193, -5*b + 44 = 2*z - 77. Is 6 a factor of z?
False
Suppose -4*z + 17 - 73 = -2*p, 0 = -4*p + 5*z + 118. Does 4 divide p?
True
Suppose -2*c - 1 = -5*k, -5*k + 4 + 5 = 2*c. Let b be -1 - ((-6)/c + 1). Suppose -3*z + 25 = b. Does 8 divide z?
True
Is 10 a factor of (-4)/(((-12)/(-74))/(-3))?
False
Suppose 3*f + 53 = -0*h + h, 0 = -2*h - 3*f + 133. Suppose 2*m + h = a, -m + 80 = a + 3*m. Suppose 3*z + a = 170. Does 19 divide z?
False
Is (2 - 8)*(4 - 9 - 1) a multiple of 18?
True
Let f(q) = 7*q - 3. Let r be f(4). Suppose l - 20 = r. Is 21 a factor of l?
False
Let h(r) = -2*r + 4. Let t be h(4). Let s be 4/t*(2 + 11). Does 6 divide s/1*(1 - 2)?
False
Let f(o) be the third derivative of o**4/6 + o**3/6 - 9*o**2. Is 6 a factor of f(2)?
False
Let d(u) = u**2 + 4*u - 4. Let p be d(-4). Let o be -24*(-1 - (-5)/p). Suppose 3*s + 0*s - o = 0. Does 13 divide s?
False
Does 11 divide 5/(-20) + (-970)/(-8)?
True
Let f = 346 - 208. Does 17 divide f?
False
Suppose 4*c - 64 = -2*t, -2*c + 4 = -c. Does 8 divide t?
True
Let p be (1 - 0 - 0)*-7.