 - -41. Suppose -444 = -3*p + 138. Suppose -2*w - 241 = -d*f - f, 0 = -4*f + w + p. Does 12 divide f?
False
Suppose 5*a - 6847 = -k + 2167, -2*k = 3*a - 5414. Does 34 divide a?
True
Is -1*1/2 - (-2088)/16 a multiple of 10?
True
Let j(h) = -h**3 - 2*h**2 + 2*h + 9. Let u be j(0). Let t = 32 + u. Is t even?
False
Let w(f) = 26*f**2 + 6*f + 1. Is w(-4) a multiple of 23?
False
Let q = -594 - -841. Is 9 a factor of q?
False
Suppose 6*v + 5*p = v + 65, 23 = 3*v - p. Is 9 a factor of v?
True
Let v(j) = -2*j - 18 + 9 - 13. Is v(-17) a multiple of 3?
True
Let g be (3/2)/((-45)/150). Let k be ((-6)/6)/(1/g). Suppose -44 = -2*s + 2*b, 0 = -k*b - 1 - 19. Does 7 divide s?
False
Let s(d) = 10 + 5*d + 5*d**3 + d - 9*d**2 - 5*d**3 + d**3. Let k be s(8). Does 26 divide 49 + (-3)/6*k?
True
Let a = 738 + -474. Does 13 divide a?
False
Let f(v) = v - 2. Let s be f(3). Let g be s - 5/(-15)*3. Suppose 3*r = -0*z + g*z + 156, -4*r + 208 = 3*z. Is 13 a factor of r?
True
Let i be (-3)/(-2)*24/9. Suppose 4*f - 2*s = -6*s + 204, -20 = i*s. Let o = -28 + f. Does 7 divide o?
True
Let z(m) = m + 8. Suppose 2*q = -3*q - 20. Let l be z(q). Suppose -l*d + 166 = 5*p, -16 + 54 = p + 2*d. Is p a multiple of 11?
False
Suppose -515 = -8*b + 869. Does 4 divide b?
False
Suppose 3*l - y - 40 = -3*y, 0 = -5*l + 2*y + 40. Is l a multiple of 5?
True
Suppose -2*r + p + 132 = -2*p, -136 = -2*r + 4*p. Is r a multiple of 20?
True
Let a(v) = -v**2 - 14*v - 8. Is a(-6) a multiple of 6?
False
Suppose -11*i = -7*i - 3504. Is 36 a factor of i?
False
Let d(f) = -9*f**3 - 5*f**2 + f**2 + 4*f - 1 + 4*f**2 - 7*f**2. Let x(t) = t**3 + t**2 - t. Let n(c) = d(c) + 6*x(c). Does 3 divide n(-1)?
True
Let j(r) = 1 + 6*r + r + 2*r - r**2. Let n be j(-6). Let u = n - -139. Is u a multiple of 25?
True
Let i = 40 + 56. Is i a multiple of 2?
True
Suppose 0 = 15*t - 88 - 1817. Is t a multiple of 16?
False
Let z(h) = -4*h**2 + 2*h + 387. Is 9 a factor of z(0)?
True
Let n = 1879 - 1122. Does 44 divide n?
False
Let b be -6*(20/(-24) + (0 - 0)). Suppose b*g + 2*p = 389, 128 = 3*g - 3*p - 97. Is 45 a factor of g?
False
Suppose -b = 298 - 853. Is b a multiple of 15?
True
Let w be (-5)/(4/(-4)) - -2. Suppose 11*i = w*i + 44. Is 2 a factor of i?
False
Does 12 divide 5868/15*(-25)/(-10)?
False
Suppose -3*r - r = -t - 48, -t = -2*r + 54. Suppose -8*n + 3 = 131. Let x = n - t. Is x a multiple of 11?
True
Is ((-21)/3 + 1)*17/(-3) a multiple of 4?
False
Suppose 0 = 6*b + 3 - 15. Suppose a + b*h = -0*h + 23, 4*a = -2*h + 122. Is a even?
False
Let o(j) = 178*j**2 - 18*j + 14. Is 2 a factor of o(1)?
True
Let j be -2 + (-34 - -4)/(-2). Let q = 17 - j. Does 3 divide q?
False
Suppose 0 = -k - 3*k - 24. Let n = -3 - k. Suppose 5*a = -n*f - 124 + 360, 0 = a + 4*f - 54. Is 23 a factor of a?
True
Let x(n) = n**2 - 2*n + 1. Let v be x(-4). Let s = -66 + v. Let g = s + 101. Does 30 divide g?
True
Let p(n) = -2*n - 8. Let m be p(-5). Let y be (12/(-18))/(m/(-3)). Is (-1)/y + 9*2 a multiple of 6?
False
Does 5 divide 65377/428 - (-1)/4?
False
Let s be (-1 - -2)/((-2)/(-34)). Suppose s = 4*g - 139. Does 13 divide g?
True
Let f = -307 - -1027. Is f a multiple of 7?
False
Let i = 1345 + -859. Is i a multiple of 9?
True
Let r be (-6 - -7)*(-1 + 12). Let t(y) = -y**2 - 7*y + 3. Let s be t(-5). Let u = r + s. Does 8 divide u?
True
Suppose 3*o - 31 = 5*w, -3*o - 3*w + 2*w = -1. Suppose -i - 1 = o*k - 15, i + 5*k - 29 = 0. Suppose i*j + 0*j = 36. Is j a multiple of 2?
False
Let i(f) = f**3 - f**2 - f + 60. Let u = 10 - 10. Let t be i(u). Suppose -7*a + 2*a = -t. Does 6 divide a?
True
Suppose 3*l - 6*l = -r + 1217, 0 = -3*l - 3*r - 1209. Is 14 a factor of l/(-5) + 2 + 1?
True
Suppose -n = d - 1, -11 = -2*n + 3*d + 1. Suppose 0 = -5*a - t + 3, -7*t + 15 = -2*a - 2*t. Suppose n*r - 123 = -a*r. Does 11 divide r?
False
Let f(y) = -y**3 + 4*y**2 - y + 1. Let m be f(3). Suppose -m*v + 1173 = -2*v - 2*d, v - 236 = -d. Is 16 a factor of (-6)/(-14) + v/7?
False
Let r(a) = 2*a**2 - 8*a + 10. Let v be r(2). Does 20 divide ((-14)/(-6))/(v*(-4)/(-480))?
True
Let x = 275 + -216. Is 7 a factor of x?
False
Let y(d) = 23*d**3 - 1. Let c be y(1). Suppose -5*l - 2 = -c. Suppose 0 = -v - v - 4*z + 72, -126 = -l*v - 2*z. Is 10 a factor of v?
True
Let x(z) = z**3 + 12*z**2 - 6*z - 13. Let l be x(-9). Suppose 0 = -4*y + 4*f + l, y = -2*f - 0*f + 77. Does 17 divide y?
False
Let n(b) = -2*b - 4. Suppose -5 = v + 4*k, 0*k = -2*k - 4. Let z(y) = y**3 - 3*y**2 - 2*y + 1. Let g be z(v). Is n(g) a multiple of 6?
True
Let d be 0/(-2)*(3 + -6)/(-6). Let s(z) = z**3 + 182. Is s(d) a multiple of 7?
True
Let c(n) = 4*n + 1. Let f be (-5)/((-15)/9) + 0. Let s be c(f). Suppose 5*o - s = 7. Does 2 divide o?
True
Suppose 0 = -3*p + 60 + 3. Suppose -19*j - 85 = -313. Let f = p - j. Does 3 divide f?
True
Let c be (-1 - -4)*-1 - (-7 + 1). Suppose -w - w + 90 = -2*o, 0 = c*o - 15. Is w a multiple of 10?
True
Suppose -180 = -2*x - 2*i, 0 = 4*x + 3*i + 24 - 388. Suppose m - x - 16 = 0. Is m a multiple of 12?
False
Suppose 0 = -4*v + 15 - 3. Suppose v*o = -5*q + 165, 6*o + 20 = 2*o. Is 18 a factor of q?
True
Suppose -4*z - 355 = z. Let f = 121 + z. Suppose -h + 0*b + b = -f, 2*b - 145 = -3*h. Does 11 divide h?
False
Let t be 2 + -1 + -5 + 119. Let f = t + -70. Does 25 divide f?
False
Let d be 0*(-27)/(-18)*(-2)/3. Suppose a + 2*a - 246 = d. Does 9 divide a?
False
Let g(h) = 5*h**2 - 20*h + 32. Let n be g(6). Is 13 a factor of 153/4 - (-69)/n?
True
Let n(w) = 1 - 4 + 3 + 3 + 127*w. Is n(2) a multiple of 13?
False
Suppose -5832 = -31*t + 4*t. Is 9 a factor of t?
True
Suppose 5*z = 2*v + 240, -2*z = -4*v - 142 + 46. Let y be (-560)/z + (-1)/3. Let m(w) = -w**3 - 13*w**2 - 13*w + 3. Is 15 a factor of m(y)?
True
Let k(o) = -o**3 - 7*o**2 - 7*o - 4. Let m be k(-6). Suppose -m*l + 237 - 45 = 0. Is l a multiple of 48?
True
Let j(v) = v**3 - 5*v**2 - v + 2. Let z be j(5). Let t(u) = u**3 + 4*u**2 - u + 3. Is 12 a factor of t(z)?
False
Let g(x) = -x**3 - 9*x**2 - x + 9. Let c be g(-9). Suppose 2*i + 2*d - d = 76, -5*d + 100 = 3*i. Let p = i - c. Is 22 a factor of p?
True
Suppose 23*u - 1661 = 7585. Is 12 a factor of u?
False
Suppose -1877*o = -1869*o - 144. Is 6 a factor of o?
True
Let t(r) = -2*r - 40. Let h be t(-17). Does 12 divide 1/(-3) - 218/h?
True
Let r = -1289 + 1372. Is r a multiple of 6?
False
Does 10 divide (80 - 0)/(6/9)?
True
Is 40 a factor of 10/(3/(-1) - -6)*252?
True
Suppose -m + 234 = -2*p - 172, 3*m = p + 1223. Suppose -4*a - 4*w - m = 0, 2*a + 4*w + 292 = 84. Is 4 a factor of a/(-15)*(-36)/(-15)?
True
Let u(t) = -t**3 + 17*t**2 + 32*t + 10. Is u(-7) a multiple of 26?
True
Suppose t - 3*q - 92 = 0, 4*t - 5*q = 6*t - 228. Is 13 a factor of t?
True
Suppose -1 = -u, 0 = 4*c + c + 4*u - 4. Suppose 4 = -3*t - 3*p + 16, -4*t - 2*p = -16. Let w = c + t. Is w even?
True
Suppose 0 = -7*n + 2*n + 3285. Let b = n - 342. Is 4/(-6)*b/(-14) a multiple of 8?
False
Let s(d) = -3*d + 3. Let k be s(0). Suppose -3*z - 2*l = -5*z + 6, -l + k = 0. Is 3 a factor of z?
True
Let n(w) = w**3 + 7*w**2 - 4*w - 6. Let y be n(-6). Let d be -2 + 5 + y - -2. Suppose 2*m + c = 94 + d, -15 = -3*c. Is m a multiple of 19?
False
Suppose -9625 = -5*s + 5*g, -4*g - 3390 = 5*s - 13015. Is 11 a factor of s?
True
Let o = -191 - -240. Is o a multiple of 7?
True
Suppose 0 = 3*q - 4*a + 3, q + a + 5 = 4. Is ((1 + -255)*3/6)/q a multiple of 33?
False
Suppose 1331*y - 1330*y - 159 = 0. Does 6 divide y?
False
Let d(u) = -u**2 - 55*u - 436. Does 22 divide d(-22)?
False
Suppose 11*a - 9*a - 832 = 5*y, 5*a + 2*y - 2022 = 0. Is a a multiple of 10?
False
Let x(g) = -g**2 + 14*g - 5. Let o be x(6). Suppose -3*z + o = -5. Does 6 divide z?
False
Let c(z) be the first derivative of -z**4/4 + 5*z**3/3 + 4*z**2 - 7*z + 1. Let x be c(6). Suppose -x*v = -29 + 4. Is 5 a factor of v?
True
Let s(n) = -81*n - 113. Does 91 divide s(-16)?
True
Let a = 898 - 498. Is a a multiple of 20?
True
Let m = -550 - -1000. Does 15 divide m?
True
Suppose 1100 = 5*v - 10*v. Is 10 a factor of -12*(v/11)/((-6)/(-2))?
True
Let h(k) be the third derivative of k**5/4 - 7*k**4/24 - k**3 + k**2. Does 7 divide h(-2)?
False
Let x be (-5)/(10/163)*(0 - 2). Suppose 4*h - x - 49 = 0. Is 3 a factor of h?
False
Suppose 2*z - 3*z = 24. Let q = z - -46. Suppose 5*a = 82 - q.