
False
Let s = 0 + 2. Suppose -5*w = -3*z - s*z + 175, 0 = -2*w - 8. Is z a multiple of 14?
False
Let d(y) = y**3 - 9*y**2 - 5*y - 2. Is 16 a factor of d(10)?
True
Is 3 a factor of (-6)/((-1)/1) + -3?
True
Suppose 4*u = -4*a + 16, 2*a - 13 = 2*u - 5. Suppose 6*g = 2*g - 16, 2*f = -4*g - a. Does 13 divide f*(10/4 - 0)?
False
Let y = -63 + 93. Does 6 divide y?
True
Suppose -330 = a - 11*a. Is a a multiple of 11?
True
Suppose -4*j - 5*r = -99, r + 2 = -j + 26. Is j a multiple of 17?
False
Let k(u) = 22*u**2 - u. Is 7 a factor of k(1)?
True
Let b(r) = -r**2 - r - 4. Let m be b(0). Is (1 - 2)/(m/140) a multiple of 10?
False
Let c be (-2 - -2) + -2 + 5. Suppose -5*t + 8*y = c*y - 55, 0 = -5*t + 4*y + 59. Does 15 divide t?
True
Suppose 5*w - 75 = 20. Let u = w + -2. Suppose 0 = 2*o - 21 - u. Is 19 a factor of o?
True
Suppose v - 4*q + 2 = 40, -3*v = 5*q - 199. Is v a multiple of 7?
False
Let r(u) = -u**3 - 5*u**2 - u - 2. Let d be r(-5). Suppose 16 = -d*w - 5. Let z(t) = -t + 1. Is z(w) a multiple of 7?
False
Suppose 3*a - 169 = 5*f, -4*f + 7 = a - 21. Is 16 a factor of a?
True
Let m be (43/(-2))/(8/(-16)). Let b be m/9 + 6/27. Does 3 divide b/4*(-3 + 7)?
False
Let j be 1/((-2)/(-4) - 0). Is (4/2)/j*15 a multiple of 15?
True
Let i(t) = 2*t**2 + 6*t - 4. Does 14 divide i(-5)?
False
Suppose 2*z + 70 = -0*b - 2*b, 4*z = 4*b - 148. Let s = 57 + z. Is 8 a factor of s?
False
Let r be 4/8*(1 + -15). Let p(s) = -5*s - 3. Is p(r) a multiple of 12?
False
Suppose 4*f + 1 = 9. Suppose 5 = -t + 4, -f*j + 53 = -t. Is 13 a factor of j?
True
Suppose -2*o = 5*a + 17, 0 = 2*o - a - 1 - 0. Let c = 15 + o. Does 7 divide c?
True
Suppose -j + 78 = 3*x, -5*x + 0*x - 2*j + 130 = 0. Is 5 a factor of x?
False
Suppose -u + 10 = -0*h + 2*h, 4*u + 5*h = 31. Is 2 a factor of u?
True
Let o(j) = j**3 - 8*j**2 + 9*j + 5. Is o(7) a multiple of 3?
False
Suppose 0*x = -5*x - 5. Is 4 a factor of (x + 2/3)*-21?
False
Suppose f - 22 = -4*v, -7 = f - 2*f - v. Suppose 3*s + 2*h - 45 = 0, -f*s + s = -3*h - 26. Is 6 a factor of s?
False
Let k(b) = 4 - 4*b - 10*b - 4. Is k(-1) a multiple of 14?
True
Suppose 2*a + 108 = 4*a. Is 14 a factor of a?
False
Let t(x) = -3*x + 3. Suppose 0 = z - 2*z + 7. Let j be t(z). Let k = -7 - j. Is k a multiple of 11?
True
Let k(v) = v**3 - 11*v**2 + 12*v + 11. Does 4 divide k(10)?
False
Let u(p) = -p**2 + 17*p - 18. Let b be u(13). Let s = 52 - b. Is 18 a factor of s?
True
Is (-2)/(-2)*-3 - -9 a multiple of 5?
False
Suppose -3*o + 289 = 3*d - 116, 513 = 4*d - 5*o. Suppose 18*l = 20*l + 182. Let m = d + l. Does 12 divide m?
False
Let f(u) = u**3 - 6*u**2 + 5*u + 2. Let c be f(5). Does 7 divide (-141)/(-21) - c/(-7)?
True
Suppose -5*a = -6 - 9. Let x = 8 - a. Suppose 2*c + 51 = x*c. Is c a multiple of 11?
False
Suppose 5*l = 2*m - 16, 3*l = 3*m + 7*l - 24. Suppose -m*o + 3*o + 195 = 0. Is 12 a factor of o?
False
Suppose -4*h + 5*k = -3*h - 26, 4*h + 3*k = 196. Is h a multiple of 3?
False
Let o(s) = -7*s - 4*s - 3 - s**2 + 0 + 4*s. Does 2 divide o(-6)?
False
Suppose 51 = y + 4*o, 2*y + 4*o + 135 = 7*y. Let f = 56 - y. Is f a multiple of 25?
True
Suppose 16 + 11 = j. Is j a multiple of 9?
True
Let q = -67 + 119. Is q a multiple of 26?
True
Let g(f) = -9*f**3 - 1. Let m be g(-1). Suppose m = -d + 3*d. Suppose -k + 40 = d*o, -2*o - 3*o = -3*k - 50. Does 10 divide o?
True
Let n be (1 + -2)/(3/(-477)). Suppose 9 = 3*i, -4*x + n = -2*x + 3*i. Is 25 a factor of x?
True
Suppose -f = -0*f - 5*s + 10, 2 = f - s. Suppose -b + 3*q - 6 = 2*b, 2*b - 4*q = -10. Suppose k + b = f. Is 4 a factor of k?
True
Let i(r) = -r**3 - r**2 + 40. Is i(0) a multiple of 27?
False
Let f(x) = x**2 - x + 6. Let p be f(0). Let i(u) = -8*u + u + 14*u - 7*u**2 + u**3 - 1. Does 5 divide i(p)?
True
Does 10 divide -1*(1*-147 - (-20)/10)?
False
Let i(t) = -3*t**2 - 7*t - 15. Let k(n) = -5*n**2 - 11*n - 22. Let u(m) = -8*i(m) + 5*k(m). Let y(b) = 2*b**2 + 10*b. Let g be y(-5). Is u(g) a multiple of 3?
False
Suppose 0 = -y + 4*y + 5*v - 204, y + 5*v - 78 = 0. Is 21 a factor of y?
True
Does 4 divide 1 + (-42)/(-9) + 4/(-6)?
False
Let t(m) = -m**2 + m + 51. Let c be 6*(7/(-2))/(-7). Let o = c + -3. Is 17 a factor of t(o)?
True
Suppose 0 = -2*w - 66 - 32. Let n = 81 + w. Is 16 a factor of n?
True
Suppose 2*o = 4*z + 982, o + 3*o = 2*z + 494. Let b = -146 - z. Is b/15 + 4/10 a multiple of 5?
False
Let h = 1 - 1. Suppose v - 20 - 12 = h. Is v a multiple of 16?
True
Let z = 52 + -20. Is z a multiple of 8?
True
Let n(a) = a**3 + 3*a**2 - 3*a - 1. Let i(z) = -3*z**2 - z + 1. Let v be i(1). Let h be n(v). Does 4 divide 140/18 - h/(-36)?
True
Suppose 0 = -m - 3*k + 5, 3*m - 5*k - 29 = -0*m. Suppose 5*d - m - 16 = -2*w, -2*w = -5*d + 16. Is 2 a factor of d?
True
Suppose -d = 4*j - 20, -j - 11 = -d - 2*j. Let h = d - -5. Suppose 5*u - 17 = -p + h, -3*p + 4*u + 128 = 0. Is 20 a factor of p?
True
Suppose d - 5*d = -8. Let r(h) = -4*h + d - 4 - 3*h. Does 8 divide r(-2)?
False
Suppose 0 = -5*w - 93 + 803. Is 30 a factor of w?
False
Suppose 3*u - 2*j = -1, -u + j = 6*j - 28. Suppose -u*m - m + 4*o + 4 = 0, 5*m - 2*o - 11 = 0. Suppose -x = 4*a - 116, 64 = m*a - 2*x - 34. Does 11 divide a?
False
Let b(n) = n. Let c be b(-10). Let z(q) = -q**3 - 11*q**2 - 11*q - 2. Does 4 divide z(c)?
True
Suppose -2*o - 3*o + 5 = 4*h, 5*o = 3*h - 30. Is 5 a factor of h?
True
Does 15 divide 1 - -1 - ((-515)/5 + 4)?
False
Suppose 0 = -3*a + 3*o + 15, 0 = -4*o - 11 - 1. Suppose -s - 75 = -5*q, 3*q - 42 = q - a*s. Is q a multiple of 12?
False
Let l(k) = k**3 - 2. Let c be l(-2). Suppose -5*y + 52 = -3*d + 2*d, 3*d = -5*y - 116. Let j = c - d. Does 16 divide j?
True
Let n be (22 + -1)/((-1)/2). Let b = -5 - n. Let f = -11 + b. Is 13 a factor of f?
True
Let u(r) = 7*r + 1. Let d be 2/(-1) + (-25)/(-5). Is u(d) a multiple of 13?
False
Suppose -u + 4 = -31. Let c = u + -21. Is c a multiple of 4?
False
Let p(y) = -y**2 - 7*y + 3. Let z be (3/(-2))/((-6)/(-8)). Let s be (-14)/(-12)*z*3. Is 3 a factor of p(s)?
True
Let h(m) = m**3 + 8*m**2 + 9*m - 3. Does 5 divide h(-6)?
True
Suppose 2*k + 5*t + 6 = 24, -2*k = -t + 6. Let n be (-12)/(-1) + (-2 - k). Let j = 43 - n. Does 16 divide j?
True
Suppose -v - 3*g - 3 = 0, 0 - 2 = 3*v + 2*g. Suppose v = -3*h + 2*b + 133, b = 5*h - 0*b - 210. Is 13 a factor of h?
False
Suppose 2*v + 2*v = 140. Is v a multiple of 6?
False
Suppose -r + 240 = j, -4*j = -2*j + 10. Is 19 a factor of r?
False
Let r(f) = -19*f. Let j be r(1). Let o = -52 - j. Let a = 1 - o. Is 17 a factor of a?
True
Let s(q) = -q**2 + 15*q + 2. Does 25 divide s(12)?
False
Suppose -2*n + 6*n + 5*q + 34 = 0, 0 = q + 2. Let y(a) = -a**3 - 6*a**2 + 5. Let m be y(n). Suppose m*k - 53 = 77. Does 11 divide k?
False
Let t be (-3)/(18/10)*3. Suppose 2*y = 7*s - 2*s, -5*s - 25 = 3*y. Let u = s - t. Is 3 a factor of u?
True
Let y be 28/6 - (-1)/3. Suppose y*r = 3*r - 2. Let s(g) = -5*g + 1. Is 6 a factor of s(r)?
True
Let z be (-945)/(-49) + (-2)/7. Suppose -z - 29 = -3*j. Is 16 a factor of j?
True
Suppose 3*p = -5*q + 5, 3*p + 23 = 4*q - 2*q. Is 1*p/(5/(-4)) a multiple of 3?
False
Does 24 divide (-312)/9*7/((-28)/36)?
True
Suppose -69 = -2*q + 25. Is q a multiple of 3?
False
Let g(q) = -q**3 - 5*q**2 - q - 3. Let d be g(-5). Let o(z) = z + 6*z - d + 0. Is o(2) a multiple of 12?
True
Let v(l) = 3*l**2 + l. Let m be v(-2). Suppose 0 = -4*n - 2 + m. Suppose -n*h + 40 = 2*h. Is 9 a factor of h?
False
Let w = -5 + 8. Let k = w + -2. Is 5 a factor of (-120)/(-9) - k/3?
False
Let x = 2 - -8. Is x a multiple of 5?
True
Suppose -9 = 3*u - 24, -57 = -3*y + 3*u. Is 10 a factor of y?
False
Let h(w) = w**3 + 10*w**2 + 3*w + 12. Let v be h(-10). Does 3 divide -2 + (-2)/(4/v)?
False
Suppose -2 = 5*w - 4*x, 0 = -5*w + 3*x - 0 - 4. Let z be (1/w)/(5/(-60)). Suppose -2*l + 2*a - z = -34, 0 = 3*l + 3*a - 24. Is 5 a factor of l?
False
Suppose 0 = -m - 5*x + 24, 3*m = -2*m - 4*x + 36. Does 8 divide 1/4 - (-67)/m?
False
Let s(k) = -k**2 + k + 4. Let t be s(-7). Let z be t/(-14) + (-6)/(-21). Suppose 0 = -g - 5*a + 33, 2*g - a - 31 = -z*a. Is 8 a factor of g?
True
Suppose -2*q - 43 = -b, 0 = -4*b + 2*q - 3*q + 136. Does 24 divide (0 + -1 - -2)*b?
False
Suppose -3*h - 2*h - 5*f + 80 = 0, 5*f = 2*h - 60. Suppose 0 = u - 6*u + h. Is u/6 + 246/9 a multiple of 8?
False
Let j(r) = r + 1