 k. Suppose 52 = b*x + n. Is x a multiple of 8?
True
Let g be -1 + (2 - 0) + -45. Let w be g/10 + (-10)/(-25). Let n = w + 13. Is n a multiple of 7?
False
Let h be 8/(-3)*15/(-4). Let x = h - 3. Is 5 a factor of x?
False
Suppose 0 = 4*j - 8. Suppose 4 + 24 = j*z. Does 7 divide z?
True
Let d(z) = -z**2 + 6*z - 4. Let n be d(5). Let p be 3/3 + n + 1. Suppose -1 - 18 = -2*r - p*g, 4*r + 2*g = 58. Does 5 divide r?
False
Is 13 a factor of (-2)/(-5) + 3612/70?
True
Let n(t) = t**3 - 6*t**2 - 6*t + 2. Let c be n(7). Is 16 a factor of (c - -5) + 1 + 1?
True
Let v be 10/35 + 24/14. Let d(c) = v*c + c**2 + 0*c + c - 2 - 7. Does 5 divide d(-7)?
False
Let z = 4 - 2. Let u(n) = 12*n**2 + 6*n**z - 2*n + 3*n. Does 8 divide u(1)?
False
Suppose 0 = -z - 3 + 7. Suppose -z*v + 114 = 10. Suppose -4 = 4*a, 0 = 2*b + 5*a + v - 73. Does 13 divide b?
True
Let g(f) = -f**3 - 11*f**2 - 10*f + 4. Let p be g(-10). Suppose -p*d + 56 = 2*u, -d = -4*u - 0*u + 4. Is 6 a factor of d?
True
Suppose -28 + 8 = -4*q. Suppose 4*l - 102 = -q*d, 4*d = -3*l - 14 + 91. Does 4 divide l?
False
Let c(a) = a**3 - 6*a**2 + a - 4. Let q be c(6). Let x be 3 - q - (0 + -2). Let s(r) = 5*r - 1. Is 14 a factor of s(x)?
True
Let t be (2/3)/(1/3). Let x = t - -4. Is x a multiple of 6?
True
Let y(z) = 2*z**2 - 4*z - 8. Let m be y(4). Suppose 8 = u - 3*t, -2*u - 2*t = 3*u + 11. Let p = m - u. Is p a multiple of 5?
False
Suppose 4*u + 164 - 20 = 0. Let j = 50 + u. Does 7 divide j?
True
Suppose 2*b - 10 = 0, -3*t + b + 835 = 2*t. Is t a multiple of 19?
False
Let a = -16 + 23. Is 2 a factor of a?
False
Let v(z) = -z**3 + 9*z**2 - 2*z - 8. Let i be v(8). Let r = i - 12. Let j = -19 + r. Is j a multiple of 4?
False
Suppose 2*a = q - 24, q + 4*q - 2*a - 128 = 0. Is q a multiple of 11?
False
Suppose -3*d + 2*d + 8 = -5*k, -12 = -d + k. Does 2 divide d?
False
Let c = 2 + 9. Suppose 4*v = 5*h + 95, v - h + 4*h - c = 0. Is v a multiple of 20?
True
Suppose 162 = g + 4*s - 127, g = -3*s + 286. Is g a multiple of 39?
False
Suppose -4*l = x - 27, 3*l - 8 = 2*x + 4. Let w = -3 + l. Is w a multiple of 2?
False
Let y(d) be the first derivative of d**4/4 - 2*d**3/3 + 2*d**2 - 6*d - 1. Let f be 9/(-3) + (-1)/(4/(-28)). Is 14 a factor of y(f)?
True
Let h(p) = 4*p - 4. Let x be h(8). Suppose 5*v + x = 78. Is v a multiple of 10?
True
Suppose 3*t = 3*g - g - 311, -4*t - 4 = 0. Is 14 a factor of g?
True
Let m(u) = 5*u**3 - 6*u**2 + 12*u - 9. Let p(k) = 6*k**3 - 5*k**2 + 13*k - 10. Let w(c) = -5*m(c) + 4*p(c). Does 7 divide w(9)?
True
Let k = 1 - -57. Let d = -31 + k. Does 9 divide d?
True
Is 26 a factor of -2*205/(-10)*10?
False
Let q(k) be the first derivative of -k**6/360 - 11*k**5/120 + 13*k**4/24 + k**3/3 - 4. Let b(x) be the third derivative of q(x). Does 11 divide b(-9)?
False
Suppose 5*q - 147 = -3*a + a, 0 = 4*q + 12. Suppose -2*l = l - a. Does 9 divide l?
True
Does 3 divide (-3)/(-21) - 556/(-28)?
False
Suppose 0 = -2*b + b + 3*d, 30 = -4*b - 3*d. Does 14 divide (-2608)/(-56) - b/14?
False
Suppose -5*v + 0*v + 400 = 0. Does 20 divide v?
True
Let t(x) = x**3 + 6*x**2 - 7*x + 9. Let n be t(-7). Suppose -n = -5*c + 11. Suppose -2*w + 23 = 6*y - y, y = c*w - 79. Does 12 divide w?
False
Let k = 11 - 7. Let n be k/1 - (-2)/(-1). Is 4 a factor of (-10)/(-2)*2 - n?
True
Let k(c) = 5*c - 2. Let p be k(8). Let y = p - 13. Is y a multiple of 8?
False
Let z be 32/18 - (-2)/9. Suppose 0*s - s + 9 = -z*l, -l - 50 = -4*s. Does 8 divide s?
False
Let i(z) be the third derivative of z**4/24 - z**3 - 4*z**2. Let x be i(10). Suppose x*j - o - 82 = 0, 2*o = -4*j - 0*o + 76. Does 10 divide j?
True
Suppose 4*z = -z - 2*c + 18, 2*z + 4*c - 20 = 0. Suppose 0 = -0*u - z*u + 26. Is u a multiple of 6?
False
Suppose -4*y - 2*b - 59 = 9, 0 = 3*b + 12. Let m be 6/y*(-10)/2. Let z = 22 - m. Is z a multiple of 10?
True
Let g(y) be the third derivative of -y**5/60 + 3*y**4/8 + y**3 + 4*y**2. Let u be g(7). Suppose 188 = 4*k - 3*r + 6*r, u = -5*r. Does 25 divide k?
True
Let i = -90 + 130. Is 10 a factor of i?
True
Suppose p + 3*f - 5 = -2*f, 0 = -2*p - f - 17. Let i be p/(-2 - 0) - 1. Suppose 0 = -i*v + 2 + 10. Is v a multiple of 3?
True
Suppose 276 = -0*a + 3*a. Let t = a - 52. Does 14 divide t?
False
Let f be ((-15)/(-9))/(2/6). Suppose -4*l = -3*c + 45, -24 = f*c + 3*l - 99. Is 15 a factor of c?
True
Suppose -5*m - 5 = 5*f, -2*m + 3*f - 2*f = 14. Let b = m - -3. Does 6 divide b*(2 - 1)*-3?
True
Suppose -228 = -0*v - 3*v - 4*y, 0 = 2*v - 2*y - 138. Is 23 a factor of v?
False
Suppose 197 = 5*m - 4*b, b + 5 = 2. Let q be (-14)/(-4) + 3/(-2). Suppose k - 11 = -p, 5*p - q*p = -4*k + m. Is p a multiple of 7?
True
Let v be (-5)/2 + (-1)/(-2). Let p be v/5*(-19 - -9). Suppose -13 = p*i - 65. Is i a multiple of 4?
False
Let z be (8/(-1))/((-4)/(-10)). Let h be (4 - 2) + 0/1. Does 6 divide z/(-3) - h/(-6)?
False
Suppose 71 - 17 = 3*z. Does 3 divide (-15)/25 - z/(-5)?
True
Let r(q) = -11*q**2 + 9*q - 9. Let t(i) = -5*i**2 + 4*i - 4. Let w(j) = -6*r(j) + 13*t(j). Let u be w(-3). Suppose 5 = -y + u. Is 6 a factor of y?
True
Suppose 3*x + 4*l - 178 = -l, 0 = 3*x - 4*l - 160. Suppose -x = -4*a + 2*a. Is 16 a factor of a?
False
Suppose -2*j = -3*y - y - 86, 0 = 4*y - j + 87. Suppose -30 = -x - x. Let q = x - y. Does 19 divide q?
False
Let t = -13 - -9. Let z = t + 6. Does 12 divide 36 - (1 + z)*-1?
False
Let k be 16 + 0 + -20 + 17. Let s = 62 + k. Is 34 a factor of s?
False
Suppose -z = 5*g + 59, 5*z + 103 + 72 = -g. Let d = -4 - z. Suppose 0 = -5*x + 2*x + 3*u + d, 0 = -4*x + 2*u + 48. Is x a multiple of 7?
True
Let z(k) = k**3 - 3*k**2 - 9*k + 9. Is z(5) a multiple of 7?
True
Suppose 2*l - 125 - 23 = 0. Is 12 a factor of l?
False
Is 465/(-10)*4/(-3) a multiple of 31?
True
Let q = -5 - -5. Suppose -4 = -q*s - 2*s. Suppose s*o - 1 + 9 = 0, 4*m - o - 60 = 0. Does 14 divide m?
True
Suppose 2*l = 7*l. Suppose -m + 7 = -5*d, -m + 4*m - 4*d - 76 = l. Is 16 a factor of m?
True
Let y be (-22)/(-4) + 7/(-14). Let p = 4 + -6. Let s = y - p. Is 6 a factor of s?
False
Suppose -4*f + 3*p = -65, 0 = 4*f - f + p - 65. Is (-8)/f + (-424)/(-10) a multiple of 21?
True
Suppose 5*c + 2*b + 0*b = 1, -5*c - 20 = -5*b. Does 13 divide (2 + c)/((-2)/(-78))?
True
Let x = -18 + 30. Let s = x - 18. Let c = -2 - s. Is c a multiple of 2?
True
Let i = -7 - -12. Does 5 divide i?
True
Let r(u) = u**3 + 14*u**2 + 3. Is 3 a factor of r(-14)?
True
Let x(k) = 43*k**3 - k**2 - 2*k + 2. Is 14 a factor of x(1)?
True
Let t(j) = -j + 6. Let g be t(6). Suppose h + h + 10 = g. Let m(l) = -l + 6. Is 3 a factor of m(h)?
False
Let x(q) = 2*q**2 + q + 2. Suppose -3*n + 7 = -3*h - 5, -2*h + 3*n = 9. Is 9 a factor of x(h)?
False
Let l be ((-8)/(-16))/((-2)/24). Let c(a) = a**3 + 6*a**2 - a + 4. Is 10 a factor of c(l)?
True
Let j = -155 + 289. Does 19 divide j?
False
Let t(f) = f**2 - 3*f + 1. Let w be t(-3). Let v = w - 29. Does 14 divide (-4)/v + (-336)/(-10)?
False
Let i(v) = -2*v - 7*v - 4*v. Does 13 divide i(-2)?
True
Let w(d) = 2*d**3 + 7*d**2 - d + 2. Let r be 4/(-6) + 13/(-3). Let o be w(r). Let n = o - -98. Does 10 divide n?
True
Suppose 0 = -3*z + 2 + 4. Suppose k = z*m - 5 - 3, 0 = -2*m - 2*k - 4. Suppose 0*r + r - m*g - 16 = 0, 0 = 2*r - 3*g - 29. Does 10 divide r?
True
Let j(f) be the second derivative of f**4/6 + 3*f**3/2 - 3*f**2/2 - 6*f. Is j(-7) a multiple of 9?
False
Suppose 2*o - 56 = -3*g + 62, g = 0. Does 16 divide o?
False
Let i(k) = 3*k**2 + 13*k + 1. Is 42 a factor of i(-7)?
False
Let t(u) = -u**2 + 20*u - 7. Is 11 a factor of t(17)?
True
Is (45 - 0) + -3 + 6 a multiple of 12?
True
Let h = -91 - -194. Does 16 divide h?
False
Suppose -6*r + 691 = -r - 2*s, -3*r + 2*s = -417. Is r a multiple of 5?
False
Let m(y) = 3*y**3 - y**2 + 2*y + 3. Let z be m(3). Suppose -4*n = 3*c - z, 69 = n - 4*c + 25. Does 15 divide n?
False
Let z be (1 - -1)*(-11 - -6). Suppose -2*m - q - 13 = -m, -3*q - 24 = 2*m. Let o = z - m. Is 3 a factor of o?
False
Let u(w) = w**2 - w + 9. Let g be u(0). Let b(z) = -z**2 + 9*z + 3. Let k be b(g). Suppose -k*m + 0*m + 24 = 0. Is m a multiple of 4?
True
Suppose -c - 2*l + 947 = 4*c, -2*c = 3*l - 381. Suppose k - 6*k + c = 3*y, 2*k - 78 = -2*y. Does 12 divide k?
True
Suppose -154 = -5*x - 2*x. Is x a multiple of 11?
True
Suppose 0 = -5*m + 5*c, -3*c + 1 = m - 7. Suppos