 g(c) = 13*c - 3. Is 7 a factor of g(f)?
False
Let w be -1 + 4/2 - -7. Suppose 0 = -2*s - 4 + w. Let t(v) = 10*v + 1. Is 12 a factor of t(s)?
False
Let q = 280 - -35. Does 45 divide q?
True
Let w(x) = x**2 + 11*x - 18. Is 14 a factor of w(-17)?
True
Suppose 0 = 3*d + 4*z - 56, 7*d - 4*z = 3*d + 28. Is d a multiple of 12?
True
Suppose 4*j = 2*j. Suppose 4*h - 3*h - 7 = j. Is 5 a factor of h?
False
Suppose -4*m - 2*x + 278 = -m, -x + 277 = 3*m. Is 3 a factor of m?
False
Let t = 0 - -2. Suppose -q = -t*q + 3. Is 2/q*6*3 a multiple of 9?
False
Suppose 2*n - 382 = -96. Does 20 divide n?
False
Let q = 34 + -3. Let i = q - 9. Is i a multiple of 7?
False
Let p = -13 - -1. Let j = p - -22. Let s = j + 28. Does 22 divide s?
False
Let v = 48 - 11. Is v a multiple of 9?
False
Let q(g) be the second derivative of -g**5/20 - 3*g**4/4 - 3*g**3/2 + 3*g**2 - g. Does 7 divide q(-8)?
True
Suppose -3*x = d - 23, 0 = x - 2*x + 3*d + 1. Suppose 9 = -4*z - x, -k = 2*z. Does 3 divide (-4 - -6) + k/2?
True
Suppose -5*d = 4*z - 86, -3*d + 32 = -d + z. Does 2 divide d?
True
Suppose 0 = -7*a + 9*a - 26. Does 12 divide a?
False
Suppose -5*v + 8*v - 75 = 0. Is v a multiple of 5?
True
Is 3 a factor of (-4)/(3 + 19/(-6))?
True
Let h = 294 - 189. Is 7 a factor of h?
True
Suppose m + 608 = 9*m. Is m a multiple of 14?
False
Suppose 5*d = 0, -6*c + 4*d = -2*c - 12. Suppose -z - c*n - n - 4 = 0, -z = n + 16. Let a = -6 - z. Does 14 divide a?
True
Let i(k) = -k**2 + k + 1. Let v be i(0). Let d(z) = 9*z**3 - z**2 - z + 1. Is d(v) a multiple of 7?
False
Is 1/(-2 + 225/111) a multiple of 9?
False
Let c be (16/4)/((-1)/164). Let g = -22 - -4. Is 4/g + c/(-36) a multiple of 9?
True
Let q(x) = -145*x**3 + x**2 - 1. Let c be q(-1). Suppose w - 6*w + c = -5*f, 2*w - 55 = -f. Is w a multiple of 17?
False
Let u(c) = 1 + 8*c**2 - c - 3*c**2 + 1 + 1. Does 17 divide u(-3)?
True
Let q = -18 - -18. Suppose 2*s - 126 - 52 = q. Is s a multiple of 15?
False
Let k(u) = u**3 + u**2 + 2*u + 1. Let p(g) = 2*g**3 - 2*g - 1. Let t be p(-1). Let v be k(t). Let w = v - -5. Does 3 divide w?
False
Let j(a) = a**3 - 11*a**2 + 5*a - 10. Is 15 a factor of j(11)?
True
Let i(q) = 3*q**2 + 3*q + 5. Does 19 divide i(-6)?
True
Let m(z) = -2*z**2 + 5*z - 2. Let o be m(3). Let p(g) = g**2 + 4*g + 2. Is 7 a factor of p(o)?
True
Let k(a) = 52*a**2 - 1. Let g(r) = r - 2. Let s be g(3). Let h be k(s). Suppose -3*n = 5*d - h, 0 = n - 3*d + 8*d - 7. Is n a multiple of 10?
False
Let v(b) be the first derivative of b**4/6 + b**3/2 - b**2/2 - 2*b + 1. Let h(m) be the first derivative of v(m). Is 13 a factor of h(2)?
True
Let y(m) = 3*m**2 - m - 13. Let d(x) = 2*x**2 - x - 7. Let i(a) = 5*d(a) - 3*y(a). Is 13 a factor of i(-5)?
True
Suppose 5*g - q - 2030 = 0, -4*g + 7*g = -3*q + 1236. Does 67 divide g?
False
Suppose 2*a - 143 = -91. Is a a multiple of 2?
True
Is (-3)/(30/65)*-4 a multiple of 26?
True
Suppose 107 = 4*z - 3*j, -3 + 8 = -j. Is 6 a factor of z?
False
Suppose -18 = -3*w + w. Let t = -6 + w. Suppose -t + 42 = h. Is h a multiple of 14?
False
Is (1 - 0)/(13/923) a multiple of 11?
False
Let t(w) = w + 8. Let h(b) = -b**3 - 7*b**2 - 8*b - 6. Let k be h(-6). Is 6 a factor of t(k)?
False
Let h(i) = -i + 1. Let b(y) = 4*y - 11. Let d(f) = b(f) + 6*h(f). Is d(-6) a multiple of 7?
True
Let a(g) = -18*g - 3. Let b be a(-2). Suppose 0*j + 3*j - b = 0. Does 7 divide j?
False
Let g(w) = w**2 + w + 6. Does 6 divide g(-6)?
True
Suppose -2*p + 5 = -63. Is p a multiple of 16?
False
Suppose 0*k - 5 = -5*k - z, 3*k - 2*z + 10 = 0. Suppose k = -2*s - 0*s + 14. Does 7 divide s?
True
Let s = -111 - -119. Is 2 a factor of s?
True
Let u = 1 - 1. Suppose -3*a = -u*a - 69. Is 23 a factor of a?
True
Let r = 2 + -4. Let o = 10 + r. Does 8 divide o?
True
Suppose -2*b + 1 = -3*b. Let v(f) = -32*f + 1. Is v(b) a multiple of 11?
True
Let y be (14 + 4)*(-2 - -1). Does 3 divide 2/(2 - y/(-10))?
False
Suppose 16 = 4*p, 0*o - 5*p = -4*o + 4. Suppose -2*r = -5*r + o. Suppose 0 = 3*l + 2*l + 2*c - 84, l - 12 = r*c. Is 8 a factor of l?
True
Let r be (-1 - 1)/(0 - 1). Let a be 2*(r/(-2) + 7). Is (2 + a - 1) + -2 a multiple of 11?
True
Suppose -5*l + 13 = -147. Is l a multiple of 16?
True
Is 3/2 - (-1656)/16 a multiple of 23?
False
Suppose 0 = 4*z + 5*b - 28, 4*z = 2*b - 0*b. Suppose 0 = -2*g + 5*x + 56, 11 + 51 = z*g - 2*x. Let q = g - 23. Does 6 divide q?
False
Let v be 6/3*166/(-4). Is v/(-5) - 18/30 a multiple of 6?
False
Is 10 a factor of (1662/(6/(-1)))/(-1)?
False
Let x be ((-6)/(-2))/(2/8). Suppose 0 = 3*n + n - x. Suppose -5*q = -5*l + 230, 3*l + n*q - 5*q = 134. Does 25 divide l?
False
Suppose -2*d - 3*d + 263 = 4*m, -2*d = 10. Is m a multiple of 18?
True
Let v(d) = d**3 - 6*d**2 + 7*d - 6. Let p = 4 + 2. Let j(r) = -r**3 + 6*r**2 + 2*r - 6. Let a be j(p). Does 12 divide v(a)?
True
Suppose -2 = b - 4. Let w(i) = i**2 + 8*i + 8. Let z be w(-8). Suppose b*k - z = k. Is k a multiple of 6?
False
Let m = -104 - -265. Does 23 divide m?
True
Suppose -2 = 5*g - 22. Suppose -5*x + 125 = 5*v, -g*v + 0*x + 4*x + 108 = 0. Is 26 a factor of v?
True
Suppose -m + 3*z = 6 - 5, -m = z + 5. Let n be ((-2)/m*0)/1. Suppose -b + n*b = -3*a - 10, 5*b + a = 114. Does 13 divide b?
False
Let q be (-2)/(-11) + 202/(-22). Let l = -7 - q. Suppose z + 2*j - 96 = -3*z, -l*z + 48 = 3*j. Is 9 a factor of z?
False
Let b(m) be the second derivative of m**5/20 + 7*m**4/12 + m**3 - 3*m**2 - 3*m. Let s(j) = -4*j**2 - 1. Let r be s(-1). Does 5 divide b(r)?
False
Suppose -2*n + 0*n + 60 = 2*f, -4*n - 5 = -f. Is 3 a factor of f?
False
Let u = 20 + -17. Suppose -3*v + 133 = -5*o, 4*v + 4*o - 52 = 72. Suppose -v = -u*s + 33. Does 14 divide s?
False
Is (3/(-1) - -63)/1 a multiple of 20?
True
Suppose -4*n - 10 = -2*g, g - 7 = 7*n - 3*n. Let x be (-2 - -2) + g + 14. Suppose 3*f - x = 7. Is f a multiple of 4?
True
Let r(c) = 40*c. Let h(m) = 8*m. Let n(l) = 14*h(l) - 3*r(l). Let v be n(-2). Suppose 4*j - 57 + v = -5*f, 5*f = -5*j + 45. Does 4 divide j?
True
Let w(i) = -i**3 + 4*i**2 + 3*i - 5. Suppose 0 = -0*g + g - 4. Is w(g) a multiple of 7?
True
Let b = 141 - 122. Is 2 a factor of b?
False
Let q = -16 + 26. Is q even?
True
Suppose 2*d = 7*d - 15. Suppose -64 = -2*p - 5*w, -d*p - 3*w = -86 + 8. Is 11 a factor of p?
True
Let f be ((-19)/4)/((-5)/20). Suppose 0 = 3*a - 2 - f. Is a a multiple of 2?
False
Let p(h) = -2*h + 2*h - 4 - 5*h. Does 22 divide p(-14)?
True
Suppose -3*y + 12 = 4*m, 3*y - 12 = -5*m - 0. Suppose -4*a + y*k = -192, 0 = -a - 0*k - 5*k + 24. Let t = 65 - a. Is 9 a factor of t?
False
Let r = 4 - 5. Let v(w) = -w**2 - w + 1. Let o(y) = 20*y**3 + 2*y - 1. Let p(i) = -o(i) - 2*v(i). Is 21 a factor of p(r)?
True
Is 7 a factor of 13/2 - 12/(-24)?
True
Let v be -151 - (-4 - -2 - -4). Is 8 a factor of v/(-17) - (1 + -1)?
False
Let c(w) = -w**2 - 6*w - 6. Let q be c(-4). Is 2 + (2 - q/(-2)) a multiple of 2?
False
Let b(g) = g**3 - g**2 + g - 2. Let w be b(0). Let x be w - (-38 + 0/(-3)). Let i = x + -25. Is 8 a factor of i?
False
Is 2/(16 + -13 - (-890)/(-298)) a multiple of 50?
False
Suppose 4*i - 5*i = c + 5, 2*c = i - 13. Let g(z) = 13*z - 3. Let a be g(c). Let k = -48 - a. Is 10 a factor of k?
False
Suppose -8 = 4*a, z + 4*a + a = 11. Suppose 3*d + 13 = -j, -4*j + 5*d + 35 = 2. Suppose -42 = -2*r - j*f, -2*r + z = -2*f - 17. Does 10 divide r?
True
Let o be ((-16)/(-10))/(4/(-110)). Let a = 67 - o. Is a a multiple of 37?
True
Suppose -77 = -a + 59. Is 34 a factor of a?
True
Let a = 193 - 105. Is a a multiple of 20?
False
Let k = 3 - 0. Let v = 23 - k. Is 20 a factor of v?
True
Suppose -3*m - 110 = -2*c, c + 0*c - 44 = -4*m. Suppose c - 4 = 3*f. Is f a multiple of 16?
True
Let t be (-18)/4*110/15. Is 4 a factor of (-336)/t + 2/(-11)?
False
Let l(a) = -5*a**3 - 2*a**2 + 2*a. Let j be l(2). Let k = 74 + j. Is 10 a factor of k?
True
Let x = 5 - -1. Is x even?
True
Suppose 0 = -3*x + 5*k - 0 - 6, -3*x + 3*k = 0. Suppose z = x + 37. Is z a multiple of 20?
True
Let h(n) = 2*n**3 + 2*n**2 - 7 - n**3 + 6. Let q be h(-1). Suppose -x - k - 4*k + 24 = q, 5*x + 5*k - 40 = 0. Does 2 divide x?
True
Let c(n) be the first derivative of -n**2/2 - 5*n - 2. Let k be c(-8). Suppose w = -k + 17. Is w a multiple of 9?
False
Let v = 3 + -3. Suppose -2*o = 5*z - 7 - 29, v = -z + 5*o - 9. Is z a mult