1. Does 21 divide f?
False
Let y(t) = 3*t - 4. Let g(h) = 2*h**2 - 3*h. Let n be g(2). Let q = 5 + n. Is 9 a factor of y(q)?
False
Let n(d) = 4*d**2 + d + 1. Let y be n(-1). Suppose -3*o - u = -13, 2*o + y*u - 10 = -3*o. Is 2 a factor of o?
True
Suppose t + 5*i = -t - 2, 4*t = 3*i + 22. Suppose r - 2 + t = 0. Is r/1 - 13/(-1) a multiple of 6?
False
Let g(w) = w + 4. Suppose -5 = -2*f + 5. Suppose 4*c = 2*p + 20, -f + 0 = -p - c. Is g(p) a multiple of 4?
True
Let q be 0*((-1)/1 - 0). Let k(u) = u**3 - 7*u**2 + 6*u + 4. Let v be k(6). Let t = q + v. Is 2 a factor of t?
True
Let h = 33 + -9. Suppose x + x = h. Does 12 divide x?
True
Let q(n) be the second derivative of n**6/180 + n**5/40 - n**4/24 + 2*n**3/3 - 2*n. Let o(r) be the second derivative of q(r). Is 6 a factor of o(2)?
False
Suppose 0 = -2*l - l + 15. Is l a multiple of 2?
False
Let g be (-1)/2 - (-15)/6. Suppose -g*s + 155 = 3*s. Does 13 divide s?
False
Let b = -12 - -14. Is (-116)/6*b*-3 a multiple of 30?
False
Let h = -30 + 75. Is h a multiple of 15?
True
Suppose -3*y + 742 = -272. Suppose -l + 3*m + 98 = -m, -3*l + m = -y. Is l a multiple of 30?
False
Let i = -366 - -524. Is 17 a factor of i?
False
Suppose 10 = 6*l - l. Suppose l*v - 25 = 7*v - 4*k, k + 10 = -2*v. Is 2 a factor of 2/v - 27/(-5)?
False
Suppose 0 = 4*s - 352 + 28. Let l = 7 + -3. Suppose -l*g + 11 = -s. Is g a multiple of 12?
False
Let t(j) = 10*j**3 - j**2. Let x be t(1). Let i(w) = 3*w**3 - 3*w**3 + w**3 - 10*w**2 + 2 + 12*w. Does 8 divide i(x)?
False
Let q(x) = 5*x**2 + 9*x + 13. Does 9 divide q(-6)?
False
Let t = -11 + 61. Is t a multiple of 15?
False
Let v(d) = 2 - 14*d - 2. Let a(k) = 4*k - 34. Let l be a(8). Is 14 a factor of v(l)?
True
Let i(v) = -v**2 + 4*v - 1. Let t be i(4). Let x = 2 - t. Suppose 3 = -x*o, 3*b + o - 32 = -3*o. Does 5 divide b?
False
Is (-5)/30 - 938/(-12) a multiple of 26?
True
Let x(c) = 4*c + 85. Let a(j) = j - 1. Let n(w) = -5*a(w) + x(w). Let t be n(0). Suppose 3*l - 75 = -0*g + g, 4*l = -2*g + t. Does 12 divide l?
True
Suppose 0*m - c + 22 = 3*m, 4*c - 16 = 0. Suppose -m*y = -2*y - 100. Is 12 a factor of y?
False
Let i(w) be the third derivative of w**5/20 + w**3/6 + w**2. Let o be i(-2). Suppose -z + o = 1. Is 6 a factor of z?
True
Does 16 divide 63/2 - 13/(-26)?
True
Suppose 2*v = 19 - 7. Is 34 a factor of 17/(1/v*3)?
True
Suppose 0 = 3*m - 15, -4*a + 2*m = 4*m - 210. Is 10 a factor of a?
True
Let l = 111 - 11. Suppose l = i + 4*i. Suppose i = 5*k, y + 0*y - 14 = 2*k. Does 22 divide y?
True
Is 6 a factor of -9*4*4/(-12)?
True
Suppose 11 + 34 = -3*o. Let k = 28 - o. Suppose 3*y - 14 = k. Does 11 divide y?
False
Let u(s) = s**3 - 6*s**2 - 5*s - 9. Let m be u(7). Let f be (-1 - -1)/(2/(-1)). Suppose 2*x - 2*t - 48 = 0, -x - 3*x - m*t + 51 = f. Is 9 a factor of x?
False
Let r(k) = 8*k - 11. Is r(4) a multiple of 5?
False
Suppose 4*z + 95 - 611 = 0. Is 43 a factor of z?
True
Suppose -6*j = -4*j + 4*g - 68, 5*g = -2*j + 67. Is 9 a factor of j?
True
Suppose 7*b = 11*b - 412. Is b a multiple of 8?
False
Let b be ((-3)/(-3) + 1)*1. Suppose 0 = -4*q + b*q - s + 41, 5*q = -2*s + 100. Let k = 38 - q. Does 10 divide k?
True
Let b be (-4)/(-2)*(-2 + -2). Is (-15)/4*b/3 a multiple of 10?
True
Let t(a) = -a**3 + 5*a - 3*a**2 - 5 - 2*a - a. Let o(d) = d**2 + 4*d - 4. Let v be o(-4). Is t(v) a multiple of 2?
False
Suppose -n + 3*n - 3*d + 16 = 0, 3*n + 5*d - 14 = 0. Let r(x) = -x**2 - 4*x - 3. Let b be r(n). Is -10*b/(-2)*1 a multiple of 2?
False
Is (44/(-6))/((-2)/9) a multiple of 12?
False
Let j be 7/4 + (4/16)/1. Let p = 7 + -4. Suppose 0 = j*k - p - 7. Is k even?
False
Let w be 4*(-4)/(-16)*4. Suppose -4*p - w*k = -132, 5*p - 5*k - 40 = 75. Is 14 a factor of p?
True
Let t = -99 - -220. Does 8 divide t?
False
Let y(g) = g**3 - 10*g**2 + 7 + g**3 - 3*g**3. Is 7 a factor of y(-10)?
True
Suppose -12 = -5*r + 188. Is 10 a factor of r?
True
Let d be ((-4)/8)/((-2)/4). Suppose -5*w + 11 = d. Suppose 0 = w*i - 28 - 48. Is i a multiple of 19?
True
Suppose 3*i + 3*j - 123 = 0, -2*i + 0*i + 80 = 4*j. Is 7 a factor of i?
True
Let a(l) be the third derivative of l**5/60 + l**4/4 - 4*l**3/3 - 2*l**2. Let o be a(-8). Suppose -2*f = -o, f - 91 = q - 4*q. Does 16 divide q?
False
Let h = 2 + 2. Suppose -h*f = f - 50. Is 5 a factor of f?
True
Let b = -27 - -6. Let s = 34 + b. Let a = 28 - s. Is 13 a factor of a?
False
Suppose w + 2 - 7 = -3*d, 0 = -d - 5*w + 11. Let a(m) be the first derivative of 9*m**4/2 + m**3/3 - m**2/2 + 8. Is a(d) a multiple of 16?
False
Suppose 0 = -2*v + 2*u - u + 3, v = 4*u + 12. Suppose -5*k + 4 + 6 = v. Does 3 divide (2/(-2))/(k/(-18))?
True
Suppose d - 5*d + 12 = 0. Suppose -5*y = -d*y + 12. Does 17 divide (-224)/y - (-6)/9?
False
Suppose -2*g = 2*h - 21 + 5, 4*h + 40 = 4*g. Does 3 divide g?
True
Let r = -16 + 45. Suppose -b - 2*o + 25 = o, 0 = -b + o + r. Is 19 a factor of b?
False
Is 8 a factor of 343/11 + (-10)/55?
False
Suppose z + z - 5*x = 18, z - 9 = -x. Let y(r) = -r**2 + 9*r - 6. Let b be y(z). Let u = b - -18. Does 4 divide u?
True
Let u(y) = -y**3 + 4*y + 2*y**3 - 2*y + 7*y**2 - 8. Let r = 4 - 10. Is u(r) a multiple of 16?
True
Let o(d) = 3*d - 4. Let x(h) = -4*h + 4. Let s(i) = 3*o(i) + 2*x(i). Let p be s(6). Suppose -p*q + 28 = -0*q. Is q a multiple of 14?
True
Suppose 0*q = -3*s - 4*q + 749, 0 = -5*q + 25. Suppose 4*o - o = s. Is o a multiple of 29?
False
Let i be (12/(-18))/((-1)/24). Let o = i - 10. Is o a multiple of 6?
True
Let x(c) = c**3 + 5*c**2 - 6*c + 5. Let k be (2 + 1)*(-25)/15. Is x(k) a multiple of 19?
False
Let f = 579 - 411. Suppose -6*h + 2*h = -f. Is 19 a factor of h?
False
Let v(a) = a**2 + 10*a - 16. Is v(-12) a multiple of 2?
True
Let h be ((-15)/2)/((-3)/6). Let c be 3/(6/9 - 1). Let x = h + c. Does 4 divide x?
False
Suppose 2*g - f + 30 = 5*g, 3*f = -5*g + 50. Is 5 a factor of g?
True
Suppose 3*q - 28 = t, -3*q + t = -2*t - 36. Is 17 a factor of (-9)/12 + 342/q?
False
Let c = 2 - -1. Let l be c*(-1)/(-3) + 20. Suppose -g + l + 5 = 0. Is g a multiple of 16?
False
Let h = 6 - 1. Suppose -3*q + v + 43 = 6, h*q = -3*v + 85. Is (-3 - 0)/((-3)/q) a multiple of 12?
False
Let h = 67 + -59. Does 8 divide h?
True
Let j(x) = 0 + 4*x**2 - 1 - 5*x + x + 6*x + x**3. Let q be j(-2). Suppose 4*t = 9 + q. Does 3 divide t?
True
Suppose p - 122 = -p. Let t = p + -11. Is 19 a factor of t?
False
Suppose -h + 2*w = -11, h = -0*h + 4*w + 19. Suppose -2*c - 2*c + 48 = 0. Suppose x - h = c. Is x a multiple of 15?
True
Let s = -28 + 45. Is s a multiple of 17?
True
Let a(r) = -r**2 - r + 2. Let k be a(1). Let w(m) = -m - 3*m + 3*m + 31. Is 13 a factor of w(k)?
False
Does 12 divide (59 - 15/(-3))*3?
True
Suppose 2*m + 4 = -3*s - 0, 8 = -4*m. Suppose -2*k + 29 = -i - 59, s = 2*k - 4*i - 100. Is 21 a factor of k?
True
Is 10 a factor of 2 + 35 + (-2 - -5)?
True
Let m(i) = -i + 1. Let l be m(-4). Suppose 0 = -l*y - q + 197, -q - 4*q = 3*y - 105. Does 21 divide y?
False
Suppose g = 3*g + v - 1, 3*v - 9 = 0. Let c(t) be the second derivative of -9*t**5/20 - t**4/12 - t**3/3 - t**2/2 - t. Is 6 a factor of c(g)?
False
Let m be 2/(-10) - 63/(-15). Suppose -3*s + 26 = 3*v + 83, 5*v = -3*s - 103. Is v/(-2) - (-2)/m a multiple of 12?
True
Let n be (-20)/((-3)/(-2) - 1). Let z = -29 - n. Is 4 a factor of z?
False
Suppose 0 = 3*g - 2*g. Suppose j = -g*j. Suppose -4*b + 50 = 2*r, 4*r + r - 4*b - 181 = j. Is r a multiple of 12?
False
Suppose -3*h - 229 = -5*o, 0*o - 85 = -2*o - h. Is 11 a factor of o?
True
Let s = 31 - -105. Does 17 divide s?
True
Let z be 1 + 2/(2/99). Suppose 2*m = -2*m + z. Suppose -3*k + m = -50. Is 10 a factor of k?
False
Suppose 8*v - 3*v = a - 78, -4*v = 0. Is a a multiple of 18?
False
Let f be (-3)/(-9) + 8/3. Suppose -4*l + 53 = 5*s, f*l - 4*s = -s + 6. Is l a multiple of 6?
False
Is 5 + -8 + (2/2 - -66) a multiple of 8?
True
Suppose 5*g - 26 = -3*l, 0*g - 4*g + 18 = l. Suppose 0 - 6 = -3*u. Suppose g*n = u*n + 28. Is n a multiple of 9?
False
Suppose 0 = 11*i - 15*i + 3*c + 477, 0 = i + 2*c - 111. Is i a multiple of 18?
False
Let d(f) = -3*f - 7. Does 7 divide d(-7)?
True
Is 13 a factor of 2*(-1)/2 + 53?
True
Is 15 a factor of (5/(-3))/(8/(-144))?
True
Suppose -6*f - 405 = -9*f. Is 25 a factor of f?
False
Suppose 20 = -5*w + 6*u - u, -5*w = -u + 16. Let o be ((-8