of 16?
True
Let b(s) = -s**3 - 14*s**2 - 15*s + 26. Is b(-13) a multiple of 24?
False
Does 12 divide (6 + -2)*(-34)/(-8)?
False
Suppose -8 = 2*c - 6*c. Suppose 5*s + 45 = -c*w + 156, -10 = -2*s. Does 9 divide w?
False
Let h(n) = -n**3 - 6*n**2 + 3. Let x be h(-6). Let d(r) = 2*r + 3*r - x*r + 0*r + 2*r**2 - 1. Is d(-2) a multiple of 3?
True
Let q(n) = n - 1. Let a be q(5). Suppose -12 = -5*v + a*v. Is v a multiple of 5?
False
Suppose 35 = -2*w - 5*m, m - 21 = w + 14. Let s = w + 63. Does 11 divide s?
True
Let r(i) = 6*i + 2. Let f(d) = d**3 + 4*d**2 + 4*d + 2. Let v be f(-2). Suppose 2*n - v = n. Is 12 a factor of r(n)?
False
Suppose 4*p + 3*w = -43, -5 - 20 = 5*w. Let c = 86 - 33. Let u = c + p. Is u a multiple of 12?
False
Suppose 4*h - 440 = -2*w - 98, w - 3*h - 191 = 0. Suppose -w = -3*q + 4*m, -2*q + 0*m + 110 = 2*m. Is q a multiple of 25?
False
Is (-2)/(-7) + 5/7 + 2 a multiple of 3?
True
Let y(u) = -u**3 + 7*u**2 + 2*u - 18. Does 10 divide y(6)?
True
Suppose a + 38 = -3*u, 90 = 3*a - 6*a - 3*u. Let f = -45 - -83. Let c = a + f. Is 8 a factor of c?
False
Let t = -4 - -11. Let r be 1/(2 - t/3). Is 18 a factor of (-18)/8*(-5 + r)?
True
Is (-6)/(-2*(-4)/(-68))*1 a multiple of 17?
True
Suppose 18 - 2 = 4*v, 4*f + 3*v = 24. Does 2 divide f?
False
Suppose 5*r + 0*r + t = 26, -4 = -4*t. Suppose -l + 9 + 1 = 4*g, r*l = 10. Is 15 a factor of g/(1 - 40/42)?
False
Suppose 0 = 2*d - 2 - 10. Suppose -4*f = -d - 2. Is 14 a factor of -1 + f + (18 - 2)?
False
Is 8 a factor of (-554)/(-14) + (-3)/(-7)?
True
Let i(c) = -111*c - 1. Is 11 a factor of i(-1)?
True
Let a(s) = 2*s**3 - 9*s**2 + 8*s + 13. Does 20 divide a(5)?
False
Let w be 1 + ((-12)/(-4) - -31). Suppose f + w - 98 = 0. Is 32 a factor of f?
False
Let d(o) = o**3 + o**2 - o. Let n(i) = -i + 2. Let p be n(3). Let a(f) = -5*f**3 + 10*f - 3. Let h(z) = p*a(z) - 6*d(z). Is h(-6) a multiple of 11?
False
Let p(z) be the third derivative of z**6/120 - 2*z**5/15 + z**4/4 - 3*z**3/2 + z**2. Is 6 a factor of p(8)?
False
Let q be (36/15)/(8/500). Is (2/(-5))/((-5)/q) a multiple of 12?
True
Suppose 11*u + 784 - 2192 = 0. Is u a multiple of 14?
False
Let j be 2 - -2*(1 + 0). Suppose j*w = w. Suppose w = 3*b - 65 - 22. Is 12 a factor of b?
False
Let u(b) = b**3 - 2*b**2 - b + 2. Let z be u(3). Suppose i - z = -i. Is 4 a factor of i?
True
Let c = -1 - 0. Let l = 17 + c. Does 6 divide l?
False
Suppose -25 = -7*i + 136. Is i a multiple of 23?
True
Let g be (36/(-30))/(4/(-70)). Let i(j) = j + 3. Let u be i(0). Suppose 3*x - g = -u. Does 4 divide x?
False
Let t(y) = -2*y - 1. Suppose -2*o - 6 = 0, 2*o + 6 = -x - 2*x. Let z be x + (-1 - (-1 + 2)). Is 2 a factor of t(z)?
False
Suppose -f - 2*t = 3*t - 134, -3*f + 5*t + 422 = 0. Is f a multiple of 11?
False
Let r(k) = 4*k**2 - 3*k + 1. Suppose q = 3*a - 7, 3*a - 5 = -0*q - q. Is r(a) a multiple of 6?
False
Let k(r) = 4*r**2 - 13*r + 11. Let p(u) = u**2 - u + 1. Let l(g) = k(g) - 2*p(g). Is 15 a factor of l(7)?
True
Let u = -5 + 8. Let l(r) = 2*r**2 - r. Let d be l(u). Suppose 7*v - 2*v = d. Is 3 a factor of v?
True
Let v(i) = i**2 + i + 131. Let u be v(0). Suppose j = 2*z - u, 135 = 2*z + 2*j + 13. Does 16 divide z?
True
Suppose -2*a = 2*a - 332. Let w = a + -58. Does 18 divide w?
False
Suppose b - 5*o = -4*b + 50, -2*b + 4*o + 16 = 0. Is 12 a factor of b?
True
Let p(s) = s + 2. Let z be p(-2). Suppose q = -6*q + 14. Suppose z*v - q*v + 20 = 0. Is v a multiple of 5?
True
Let b = -82 + 120. Does 5 divide b?
False
Suppose 2*r = -2*r + 196. Let p = 81 - r. Is 16 a factor of p?
True
Suppose i = 4*i + 9. Suppose 2 - 35 = 3*j. Let c = i - j. Does 3 divide c?
False
Let r(p) = -p. Let h be r(1). Let b = 3 - h. Is b a multiple of 4?
True
Let a = 6 - 5. Let p = -3 + a. Does 5 divide p/5 + 114/10?
False
Suppose 5*f - 444 - 1001 = 0. Is f a multiple of 32?
False
Suppose 4*g - 86 = -5*f, -2*g + 0*f + 4*f + 30 = 0. Suppose 0*d = 4*d + 8. Let u = d + g. Is u a multiple of 11?
False
Suppose -3*n - 2*k - 28 = 0, 4 - 24 = 2*n + 2*k. Let v = -4 - n. Is (-230)/(-6) + v/(-12) a multiple of 10?
False
Suppose 5*u + 5*d - 5 = 0, 4*u + 2*d - 6*d - 12 = 0. Suppose -2*n = -u*h + 26, 4*h + 4*n - 6 = 22. Does 5 divide h?
True
Suppose n - t = -n - 4, 2*t = 0. Let o = 6 + n. Is 18 a factor of o/(-6) - 214/(-6)?
False
Let v be (5/(-3))/(4/(-12)). Let h = 1 - 1. Suppose -v*n + h*n + 55 = 0. Is n a multiple of 7?
False
Is 51 - (-6 - -7) - 1 a multiple of 7?
True
Let u(i) = -2*i**3 + 2*i**2 + 5*i + 2. Let n be (-1)/5 - (-84)/20. Let y be u(n). Let m = y + 103. Is 9 a factor of m?
False
Let p(t) = -34*t + 2. Let m be p(-1). Suppose n + 4 = q, -2*q - n = -23 + 9. Suppose -q*f = -3*f - m. Does 4 divide f?
True
Let x(j) = -9*j + 1. Does 27 divide x(-4)?
False
Let g be -1 - (2 + 9/(-3)). Let t be (-1 - 2/(-4))*4. Does 4 divide (g - 1)*-2 - t?
True
Let g(p) = p**3 + 7*p**2 - p. Is 26 a factor of g(-4)?
True
Let u be (2 + 38)*(-8)/(-16). Suppose 2*a + a - 3*d = 57, -4*d = 2*a - u. Is a a multiple of 8?
True
Let r be (1 - 0) + (-3)/(-1). Suppose r*c = 23 + 9. Is c a multiple of 8?
True
Let j(x) = -7*x**2 - 5*x + 14. Let v(h) = h**2 - h + 1. Let m(y) = j(y) + 6*v(y). Is 6 a factor of m(-10)?
True
Suppose 2*o = -j - 0*j + 11, 4*o = 20. Does 2 divide (j - -1)*5/2?
False
Let j = 393 + -267. Is 13 a factor of j?
False
Suppose -3*z + 11 = -1. Suppose 4*n + 104 = z*q - n, -2*n = -2*q + 54. Let c = q - 10. Is 21 a factor of c?
True
Let s(g) = 3*g**3 + 3*g**2 - 4*g + 2. Does 5 divide s(2)?
True
Suppose -r + 0*m + m - 5 = 0, -5*m = r - 13. Let d(c) = -c**3 - 2*c - 3. Is 3 a factor of d(r)?
True
Let d(n) = -5*n**3 - n - 1. Is 5 a factor of d(-1)?
True
Suppose 180 = 5*y - 2*y. Is y a multiple of 20?
True
Suppose 0*x + 120 = 4*x. Is x a multiple of 18?
False
Let k(q) be the second derivative of 5*q**4/3 + q**3/6 + q**2/2 - 2*q. Is k(-1) a multiple of 12?
False
Let o be (44/5)/(4/50). Suppose 0 = 3*t + 2 - o. Is 15 a factor of (t/(-14))/(2/(-14))?
False
Suppose 4*z + z = 15. Suppose 0 = -s - 4*h + z*h, -14 = -5*s + 2*h. Is 2 a factor of s?
True
Let v(t) be the second derivative of 2*t + 0 - t**2 - 7/2*t**3. Does 13 divide v(-2)?
False
Is -1*1/(-3) + 180/27 a multiple of 7?
True
Let z = 4 + 0. Suppose -z*r + 1 + 1 = -b, -2*b + 3*r + 11 = 0. Let w(j) = 4*j - 11. Is 13 a factor of w(b)?
False
Let v be (1 + -3)*9/(-2). Suppose 0 = -2*i + 1 + v. Suppose 0 = o + i*k, -o + 84 = 4*o - 3*k. Is 13 a factor of o?
False
Let l(q) = q**3 - 6*q**2 + 2*q - 4. Let u be l(6). Does 6 divide 82/4 + (-12)/u?
False
Suppose -y = -2*x - 5 + 22, 0 = 4*x + 4*y - 4. Does 3 divide x?
True
Let j(w) = w**3 + 11*w**2 - 13*w + 6. Is j(-12) a multiple of 3?
True
Suppose -p - 8 = -4*d, -p = -0*p - 2*d - 2. Suppose -5*g + i + 28 + 47 = 0, 2*g - p = 4*i. Is g a multiple of 8?
True
Suppose 0 = 5*p + 4*c - 54, 2*c + 8 = -3*p + 4*p. Let w be (-240)/(-25) - (-4)/p. Let y = 24 - w. Does 5 divide y?
False
Suppose 0 = -4*u + 9 + 3. Suppose -4*p + 5 = -3*p + 4*z, -u*p + 15 = -z. Does 5 divide p?
True
Let c(k) = -11*k + 4. Let r = 0 + 3. Let x be c(r). Let g = -9 - x. Does 9 divide g?
False
Is ((-81)/(-5))/((-2)/(-10)) a multiple of 13?
False
Let s(f) = f + 6. Is s(6) a multiple of 12?
True
Suppose -4*p + 0*p + 44 = 0. Is 7 a factor of p + (1 - 1)/2?
False
Let a(p) = 4*p - 10*p + 5*p + 1 - 20*p. Is a(-1) a multiple of 11?
True
Let a = 28 + -26. Is 3/a + 1/2 even?
True
Suppose 0 = -4*c + 11 - 3. Suppose d - 60 = -c*d. Does 13 divide d/(-3)*(-72)/15?
False
Let g(q) = 2*q**2 + 3*q + 7. Let f be g(7). Let h = -17 + 31. Suppose -h = -5*n + f. Does 14 divide n?
True
Suppose -4*z = 0, -3*o - 5*z + 0*z = -6. Let c be (-1)/((-2)/(-2)) + 4. Is o - (-1 - 43 - c) a multiple of 18?
False
Suppose -2*o - 19 = -s, 3*s + 2*s + 3*o - 95 = 0. Does 6 divide s?
False
Let v(h) = h**3 - 5*h**2 + 2*h + 5. Let m be v(4). Let r be m/(-2)*(-12)/(-9). Suppose r*g = g + 22. Is g a multiple of 14?
False
Let a(g) = -g**2 - 5*g + 3. Let z be (-1 - 4)/(8 - 7). Let n be a(z). Suppose 23 + 40 = n*o. Is o a multiple of 9?
False
Let m(c) = -c + 18. Is 13 a factor of m(-8)?
True
Let u(r) be the second derivative of -r**4/4 + r**3/6 + 5*r**2/2 - r. Let h be u(4). Let k = -27 - h. Does 6 divide k?
True
Let m(r) be the third derivative of r**4/24 + 70*r**3/3 + 2*r**2. Let c be m(0). Suppose 0*d - c = 