h. Suppose -3*k + h = 2*y, -6*k + 20 = -4*k + 2*y. Suppose -m = 5*q - 15, -k*m - 3*q = -0*q - 97. Is 10 a factor of m?
True
Let n(o) = 2*o + 2. Is 26 a factor of n(12)?
True
Suppose i - 5*i + 188 = 0. Let p = -25 + i. Is p a multiple of 15?
False
Suppose 2*t - 1 + 3 = 0. Is 5 a factor of 4 + -1 + (-2)/t?
True
Let n(l) = -l**2 - 15*l - 2. Is n(-6) a multiple of 16?
False
Let l be -6*(3 - 10/3). Let b be ((-6)/l)/((-3)/250). Suppose -w - b = -6*w. Is 25 a factor of w?
True
Suppose 0 = 5*l - 11 + 1. Suppose l*t - 3 = -3*n + 14, -t + 3*n = -13. Is 5 a factor of t?
True
Suppose 3*y - 2*y + 4 = 0. Let d = -2 - y. Suppose 2*p - 4 = d. Does 2 divide p?
False
Suppose m = 2*m - 36. Does 12 divide m?
True
Let a = 2 + 0. Let k be 698/3 - 14/21. Suppose -a*m - 2*m + k = 0. Does 20 divide m?
False
Let d be (42/8)/(2/(-8)). Let x be (-183)/d - 6/(-21). Is 5 a factor of (3 - 1) + x - 0?
False
Let n = 3 - -42. Suppose -3*f - n = -3*j - 0*f, f = -5*j + 75. Does 5 divide j?
True
Let c = 78 + -37. Is c a multiple of 18?
False
Suppose 0 = 3*u - 8*u. Suppose u = 2*k - k - 16. Is k a multiple of 13?
False
Let a(z) = z**3 - 4*z**2 + 3*z - 2. Let n be a(3). Is 12 a factor of n/(-3) - (-140)/6?
True
Suppose 3 = -2*f + 1. Let g = 31 - f. Suppose -5*q + 97 = g. Is 13 a factor of q?
True
Let u(o) = o**2 + 5*o + 5. Let m = 15 + -22. Is u(m) a multiple of 13?
False
Let a(p) = -3*p + 7. Let c be a(6). Is 5 a factor of (-1 + c + -3)/(-1)?
True
Suppose 25 = l + 4*l. Let u(g) = g. Let t be u(l). Suppose 5*v = 0, -3*v + 145 = t*r + 25. Does 12 divide r?
True
Let i = -2 - -7. Suppose 4*u - 4*l = 136, 5*l = -0*l - i. Is 11 a factor of u?
True
Let p(g) = -g**2 + 0*g**2 + 3 - 4*g + 3*g**2. Let j be p(2). Suppose -j*s + 85 = 2*a, 5*a + 0*a + s - 206 = 0. Is a a multiple of 17?
False
Let i = 195 - 58. Does 11 divide i?
False
Let g(i) = -2*i + 2 - 3*i + 2*i**2 - 1. Is g(4) a multiple of 6?
False
Let n be 2/(-2) + 65/(-5). Let k = n - -116. Suppose 0*s - 3*s = -k. Is 16 a factor of s?
False
Let k be (0 + 2)*(2 - 3). Let x = k - -18. Is 5 a factor of x?
False
Let t(g) = -2*g**2 - 9. Let a be t(0). Let q(x) = 8*x**2 - 4 - 13*x + x**3 - 2*x**3 + 2*x**3. Does 22 divide q(a)?
False
Suppose -2*z = -4*y - 18, 7 = -3*y + 1. Suppose 150 = z*h + 5. Let l = h + 5. Is l a multiple of 14?
False
Let a = -7 - -3. Let d = a - -8. Suppose 2*q + 76 = 6*q - d*s, 5*s - 33 = -3*q. Is 8 a factor of q?
True
Let x(o) = -2*o + o + 6*o. Let n be x(1). Suppose 3*w - 7 = n. Is 3 a factor of w?
False
Let a = -1 + 91. Does 10 divide a?
True
Suppose -40 = -5*y + 2*q, 25 = -y + 5*y - 3*q. Suppose 5*x + y = -10. Does 5 divide (-2 + (-15)/6)*x?
False
Let g = 24 + -8. Is g a multiple of 16?
True
Does 4 divide (1 - 2)*-42 + (-2 - 1)?
False
Let d = 72 + -3. Is 22 a factor of d?
False
Let p(k) = -7*k - 6. Is p(-7) a multiple of 10?
False
Let f(j) = -j**3 + 10*j**2 - 12*j + 3. Let r be f(8). Let y = -14 + r. Does 15 divide y?
False
Let m = -8 + 11. Suppose -5*n + 55 = m*i, -4*i + 44 = n + 2*n. Is 7 a factor of n?
False
Let g be 1 + (-3)/6*-4. Suppose g*x - 90 = -5*c - 10, 26 = x + 2*c. Is x a multiple of 8?
False
Suppose 4*y + x = 8*y - 10, -8 = -y + 3*x. Suppose -2 = y*h - 54. Is h a multiple of 13?
True
Does 12 divide 24/5*6/(-8)*-10?
True
Let v = 9 + -4. Suppose -v*q + 39 + 76 = 0. Let j = 86 - q. Is 22 a factor of j?
False
Let b(y) = 170*y**3 + y**2 - y - 1. Let v be b(1). Suppose -2*c - c + 12 = 0. Is v/c - 3/12 a multiple of 14?
True
Let i(u) = -11*u + 6. Is i(-6) a multiple of 24?
True
Let a = -33 + 45. Is a a multiple of 4?
True
Is 7 a factor of (13 - (-3 - -4)) + -4?
False
Let u be -3 - (-2 - (-2)/(-2)). Suppose 3 = -3*h, w = -u*h + 5*h + 10. Suppose -a + 2*n + 50 = 3*n, -107 = -2*a + w*n. Does 13 divide a?
False
Suppose 4*t - 20*t + 4128 = 0. Does 43 divide t?
True
Let k be 7 - (-3 + 2 + 3). Suppose -2*f + k = -5, 5*f = g - 19. Is 18 a factor of g?
False
Suppose 4*w - 2*h = 54, 5*h + 55 + 0 = 5*w. Is 10 a factor of w?
False
Let v = -3 + 30. Does 4 divide v?
False
Let o(h) = h - 14 + 19 + 39. Is 22 a factor of o(0)?
True
Suppose 4 = -4*q, -2*q - 118 = -0*w - 4*w. Let j(x) = -6*x - 1. Let d be j(-1). Suppose -d*c = -c + 4*k - 76, -c + 4*k = -w. Is c a multiple of 13?
False
Let w(c) = 2*c - 8*c**2 + 4*c**3 + 6*c - 3*c**3 - 5. Let o be w(6). Let s = -20 - o. Is s a multiple of 5?
False
Let h(s) = -4*s**2 + s + 1. Let l(j) = -j**2 - 1. Let w(z) = -h(z) + 3*l(z). Suppose 5 + 7 = -4*n. Does 3 divide w(n)?
False
Suppose p + 0*p = 9. Suppose 7*d + 24 = p*d. Is d a multiple of 6?
True
Is 31 a factor of -4 - (-42 + 2 + -4)?
False
Is 5 a factor of (7/(-2))/(2/12*-1)?
False
Suppose 253 = c + 2*c - q, 2*c = -2*q + 166. Is c a multiple of 42?
True
Does 15 divide (55/10)/11*30?
True
Suppose 2*w = 12*w - 1300. Does 4 divide w?
False
Let i(h) = -2*h - 2. Suppose 2*d = -16 - 0. Does 14 divide i(d)?
True
Let t(b) = 5*b**2 - b + 4. Is 13 a factor of t(-3)?
True
Let x(g) be the first derivative of g**3 - g**2 - 3*g + 3. Is x(3) a multiple of 9?
True
Suppose -18 = 4*i + 5*g + 39, 4*i - 2*g = -78. Let z be (-127)/(-4) + (-1)/(-4). Let f = z + i. Is f a multiple of 6?
False
Suppose 4*t + 5*s - 71 = 0, -8*t + 115 = -3*t + s. Suppose c = 4*c. Let g = t + c. Does 12 divide g?
True
Let n(u) = -u**2 + u + 8. Does 4 divide n(0)?
True
Suppose o + 3*v - 21 = 0, -5*o + 7 + 48 = 5*v. Is 10 a factor of 62/3 - 4/o?
True
Suppose -5*g + 155 = 3*t - 33, 0 = -t + 3*g + 44. Does 10 divide t?
False
Suppose 5*c + 90 = -5*u, 5*u - 30 = -c + 2*c. Let q = -41 - -72. Let m = c + q. Is 9 a factor of m?
False
Let d(c) be the third derivative of c**6/120 + 7*c**5/60 - c**4/12 + c**3/3 + 2*c**2. Let t(k) = -6*k**3 - k**2 + k - 1. Let b be t(1). Is d(b) a multiple of 6?
False
Let t = -26 - -39. Is t a multiple of 13?
True
Suppose 3*v - 54 = -3. Is v a multiple of 5?
False
Suppose -2*r + 6 - 14 = 0. Is 16 a factor of ((-22)/r)/((-2)/(-12))?
False
Suppose -18*q + 17*q = -76. Does 19 divide q?
True
Let o = 112 - 83. Does 8 divide o?
False
Let p = -5 + 8. Suppose 51 = 4*y - k + p, 5*y + k - 60 = 0. Does 12 divide y?
True
Let a(p) = 13*p**2 - 8*p + 14. Is 19 a factor of a(4)?
True
Let a = 3 + 55. Suppose 0 = 5*l + i - a, -2 - 2 = 2*i. Is 6 a factor of l?
True
Let j(u) = -u**2 + 8*u - 1. Let y be j(9). Let d = 22 + y. Is d a multiple of 12?
True
Let u = -61 - -113. Is 17 a factor of u?
False
Let t be (-8)/4 + (-5)/(-1). Suppose -5*y - t*s = -187, 4*y + s + 3*s - 156 = 0. Is y a multiple of 15?
False
Let z = 54 - 78. Let m = z + 40. Is 7 a factor of m?
False
Is 6 a factor of (19 - 15)*(-1)/(-4)*6?
True
Let b(j) = -5*j - 11. Is 8 a factor of b(-5)?
False
Suppose 228 = -4*t + 7*t. Let s = t + -44. Is s a multiple of 16?
True
Suppose c - 3 - 2 = 5*p, 4*c = -5*p + 20. Let f = 3 - p. Suppose -f*u = -126 + 30. Is u a multiple of 12?
False
Suppose 5*b - z - 168 = 163, -71 = -b + 5*z. Is 4 a factor of b?
False
Suppose -5*f - 4*b + 2*b + 10 = 0, 3*b - 15 = -f. Let t(n) = 2*n**2 - 2*n**2 + 33 - n - n**2. Does 15 divide t(f)?
False
Let j(p) = 9*p - 1. Let v(n) be the third derivative of n**5/30 - n**4/24 + 2*n**2. Let o be v(1). Is j(o) a multiple of 6?
False
Let j = -13 - -18. Let i(k) = 2*k**2 + 2*k - 2. Is i(j) a multiple of 15?
False
Suppose -j + 3*h = j - 12, h = -3*j + 18. Let f be -2 - j*3/6. Let d(v) = -v - 3. Is d(f) a multiple of 2?
True
Let i be 2*(30/(-4))/(-3). Suppose -8 = -i*v + 2. Suppose -r + v*r - 12 = 0. Is r a multiple of 12?
True
Let s = -3 + 6. Suppose s*q = -0*q + 81. Does 12 divide q?
False
Let w(j) = 5*j**2. Is 9 a factor of w(-3)?
True
Let p = -6 + 32. Does 26 divide p?
True
Suppose -32 = -4*d - 3*l, 3*l = 2*d - 0*d + 2. Is 5 a factor of d?
True
Let y(s) = s + 3*s**2 + 1 - s**2 + 2. Is y(-4) a multiple of 12?
False
Let h = -26 + 56. Suppose -h = -2*p - p. Is p a multiple of 5?
True
Suppose 0 = 2*c - 2*b + 3*b - 20, 2*c + 4*b = 32. Let d be (-34)/(-10) + c/(-20). Suppose -2*m = -3*x - 80 - 25, -d*x + 255 = 4*m. Is m a multiple of 24?
False
Let j(v) = 2*v + 21. Does 5 divide j(7)?
True
Let c(v) = v - 2. Let w be c(4). Suppose -w*k = -3*k + 37. Is k a multiple of 13?
False
Suppose 0 = -4*r - 0*a + 2*a + 256, 3*r - 197 = 4*a. Does 9 divide r?
True
Let u(y) = 5*y**2 + y - 10. Is u(-5) a multiple of 5?
True
Let g(d) = d**3 - 2*d**2 - d - 2. Let z be g(3). Let 