- 69. Is s a multiple of 23?
True
Suppose 2*x - 49 + 3 = 0. Is x a multiple of 4?
False
Let f = 197 + -127. Is f a multiple of 7?
True
Suppose 0 = -2*f + 1 + 5. Suppose f*x - 148 = 92. Does 23 divide x?
False
Suppose -21 - 69 = -3*x. Let y be (-6)/8 + x/8. Let d(v) = 2*v - 2. Is d(y) a multiple of 2?
True
Let w be 9/6*(-6 + 2). Let i = w + 14. Suppose 5*d = 23 - i. Is d a multiple of 3?
True
Let a(i) = i**3 + i**2 - 4. Let x be a(0). Let z(m) = m**2 - 4*m - 6. Is z(x) a multiple of 12?
False
Suppose 0 = 2*k - 4*q + 22, -k - 5*q + 17 = -0*k. Let l = k - -6. Is 3 a factor of l/4*(2 + 2)?
True
Let s = 81 - 53. Does 14 divide s?
True
Let d be 10/(-5) - (9 - 0). Let i(k) = -k**2 - 10*k + 13. Let s be i(d). Suppose 4*b - 36 = -2*c, s*b = c + 6*b - 26. Is 5 a factor of c?
True
Let g = -77 + 260. Is 19 a factor of g?
False
Let x(u) = -u**2 + 6*u + 7. Suppose -4*s = -k - 18, -13 = 5*s + 2*k - 42. Is 6 a factor of x(s)?
True
Suppose -3*a + 26 = 4*f, 5*f - 15 = 4*a + 2. Is 13 a factor of (5/4)/(a/56)?
False
Let f = 22 - 6. Does 24 divide (3 + f/(-3))*-33?
False
Let q(y) = y**2 + 7*y - 8. Does 10 divide q(-9)?
True
Suppose -3*o = -0*o - 216. Suppose -t + o = 3. Suppose -3*l = -r - t, r = -4*l + 113 - 14. Is l a multiple of 12?
True
Suppose 2*f - 2*o = 116, 0*f - 170 = -3*f + 4*o. Suppose 98 + f = 4*h + 5*n, -3*n - 58 = -2*h. Does 7 divide h?
True
Let g(w) be the second derivative of -w**5/20 + w**4/2 - 5*w**3/6 + 5*w**2/2 - 9*w. Is 3 a factor of g(5)?
False
Let y = -101 + 220. Is 4 a factor of y?
False
Let l = -40 + 63. Does 12 divide l?
False
Let t(b) = 5*b**3 - 2*b**2 - b - 2. Let n = -2 + 2. Let i be -2*(-2 - (-1 - n)). Is t(i) a multiple of 14?
True
Let i be 3/2 + (-3)/6. Does 17 divide (-3 - -3) + 19*i?
False
Let t(m) = m**3 + 5*m**2 + 4*m + 1. Let f be t(-4). Let j(z) = 14*z**2. Does 7 divide j(f)?
True
Suppose -2*o - c = 3*o - 582, -3*o - 4*c + 356 = 0. Is o a multiple of 29?
True
Suppose -2*o - 410 = -0*c - 5*c, 4*o = c - 100. Does 16 divide c?
True
Let l = 21 + -4. Let v = -11 + l. Does 6 divide v?
True
Let n(a) = -a. Suppose 0 = 3*h + 7 + 2. Let l be n(h). Suppose -l*g + 8*g = 55. Does 11 divide g?
True
Let m(q) = 2*q**2 + 2*q - 1. Let a(h) = -h**3 - 9*h**2 - 6. Let j be a(-9). Is 23 a factor of m(j)?
False
Suppose h - 25 - 30 = 0. Let u = -25 + h. Does 15 divide u?
True
Let q(b) = -b**2 - 11*b - 8. Let l be q(-10). Let m be (0/2 - 3)*-5. Suppose k = -l*k + m. Does 5 divide k?
True
Suppose 2*a - 25 = -3*r, 2*a + 11 = r - 0*a. Suppose -1 = -5*c + r. Suppose -c*h + 28 = -h. Is h a multiple of 8?
False
Let s(o) = -o + 52. Let z = 1 - -6. Let n(k) = -k**2 + 8*k - 7. Let w be n(z). Does 19 divide s(w)?
False
Let g be 10/(-4) - 6/4. Let j = g + 6. Is 6 a factor of (2 - 6) + j + 8?
True
Let j = 7 + 4. Is 2 a factor of j?
False
Suppose 2*p + 152 = 4*p. Is 32 a factor of p?
False
Let k(p) = -p**3 - 5*p**2 - 6*p - 6. Let w be k(-4). Let y(x) = 6 - w + 5*x**2 - x - 6*x**2. Is y(0) even?
True
Suppose 0 = -2*v - 3*d + 1, 8*v - 27 = 5*v + 4*d. Suppose v*g - 25 = -p, -5*p + 72 = 5*g + 7. Suppose -3*x = -p - 35. Is 14 a factor of x?
False
Suppose 6 = 3*p + 4*v, 0 = -5*p - 3*v + 3 + 7. Let h be p/(-6) - 152/3. Let z = -19 - h. Is 12 a factor of z?
False
Suppose y = 7 + 60. Is 18 a factor of y?
False
Let h = -5 + 15. Let b be ((-8)/h)/(4/(-20)). Suppose 4*x - 68 = -b. Does 11 divide x?
False
Let w be (5 - 3)/(2/91). Suppose -f + 14 = -4*k, -7*f = -2*f + k - w. Is f a multiple of 5?
False
Let s(x) = 2*x**2. Suppose -3*r = h - 14, -h + r - 2 = -4*h. Let u be s(h). Suppose -u*p = 2*p - 48. Does 6 divide p?
True
Suppose -4*m - 1 = -5. Let u(w) = 7*w. Is 7 a factor of u(m)?
True
Let w be -3 + 1 + 0 + 2. Suppose 0 = -w*s - 4*s + 8. Is s a multiple of 2?
True
Suppose 4*b + 3*g + 49 = 0, 0*g - 35 = 2*b + 5*g. Is ((-24)/b)/(15/100) a multiple of 9?
False
Let q = -1 + 1. Suppose v - 3*p + 1 + 2 = 0, 3*p + 6 = 4*v. Suppose v*c + 5*l - 4 = q, c + 0*l = -2*l. Is 4 a factor of c?
True
Suppose 3*b - 3 = 9. Let a(q) = -q + 4. Let t be a(-6). Suppose -b*l + 30 = -t. Is 6 a factor of l?
False
Let n(u) = u**2 - u + 30. Suppose -f = -2*f. Is n(f) a multiple of 10?
True
Suppose 0 = 3*y - 4*c - 27, 7*y + 3*c = 4*y + 48. Is 12 a factor of y?
False
Let y = 523 + -333. Suppose 5*v - y = 5*d, -3*d = -7*d - 4. Suppose 13 = 5*t - h - 15, -5*t + v = -4*h. Is 5 a factor of t?
True
Let w(k) = 14*k**2 + 60*k**3 - 10*k**2 - 5*k**2. Is w(1) a multiple of 20?
False
Suppose -406 + 10 = -11*y. Does 36 divide y?
True
Let o(m) = 4*m**2 - 12*m + 15. Is 23 a factor of o(7)?
False
Let m(r) be the second derivative of -r**4/12 - r**3/6 + 43*r**2 - 2*r. Let w be m(0). Let i = -56 + w. Is i a multiple of 15?
True
Let v(n) = 2*n - 6. Let g be v(6). Suppose l - g*l = -10. Suppose 0 = 5*z - 3*u - 37, 3*z + l*u - 25 = u. Is z a multiple of 4?
True
Suppose 0*a - 54 = -a. Is 18 a factor of a?
True
Let z = -14 + 16. Suppose 0 = -4*s - 20, 4*s = z*y + 3*y - 80. Is y a multiple of 6?
True
Let h = 3 + 32. Is h a multiple of 6?
False
Let r = 458 - -45. Is r a multiple of 13?
False
Let w(u) = -u - 2. Suppose 5*l + 47 = 2. Is w(l) a multiple of 7?
True
Let g(o) = o**3 - 11*o**2 - 4*o + 13. Let q be g(9). Let u = 310 + q. Suppose -t + u = 4*t. Does 17 divide t?
False
Suppose 4*l - 13 = 4*q + 51, 3*l + 3*q = 30. Does 9 divide l?
False
Let r(f) = 0*f + 5 - 2*f + 0*f + 0*f. Let u be 1/(-4) - 76/16. Does 6 divide r(u)?
False
Let g = 6 + -3. Suppose 112 = 4*j + 4*h, 105 = g*j - 4*h + 7. Is 10 a factor of j?
True
Is 21 a factor of ((-462)/(-4) - 1)*2?
False
Let x be (-2)/4*(-12)/2. Suppose 0 = -x*h + 8*h - 200. Does 20 divide h?
True
Let l(x) = 20*x**3 + 6 + 24*x**3 - 43*x**3 - x**2. Let u(k) = k**2. Let r be u(0). Does 4 divide l(r)?
False
Let h(g) = g**3 + 5*g**2 + 6. Let z be h(-5). Suppose 0*k + k - z = 0. Suppose -s = -5*y + 161, y - 27 = -k*s + s. Is y a multiple of 14?
False
Let s be (-2 - -1)/1 + 5. Suppose 0 = -y - 2*w + 2, 0*w = -2*y + 4*w + 4. Suppose y*p = -0*j - j + 9, 0 = s*p - 8. Is j a multiple of 2?
False
Is (12/15)/((-1)/(-30)) a multiple of 6?
True
Suppose -4*j = -p + 4, -2*p - 3*p + 20 = -5*j. Let x = p + 1. Is 19 a factor of 310/x*(-1)/(-2)?
False
Let o be (-22)/3*(-3 - 0). Suppose 0 = -0*b - 2*b + o. Is b a multiple of 11?
True
Let c(m) = m**2 + 10*m - 12. Let z be c(-11). Let v = -2 - -1. Does 5 divide ((30/v)/3)/z?
True
Suppose -60 = -2*k - 0*k. Does 16 divide k?
False
Suppose -3*u + t + 1 = -0, -4*t = -8. Let o be (2 + 0)/(u/(-8)). Let n = o + 25. Is n a multiple of 9?
True
Let l(h) be the second derivative of h**5/20 - h**4/2 + h**3 + 7*h**2/2 - h. Is 5 a factor of l(5)?
False
Let m(a) = 3*a + a - 5*a + 15. Is 4 a factor of m(11)?
True
Suppose 0 = 2*b + 2*b. Suppose -5*h + 58 = -5*x - 202, b = -3*h + 4*x + 159. Is h a multiple of 11?
False
Suppose -2*u + 34 = 2*r, -20 = -2*r - 2*r. Is u a multiple of 4?
True
Let f be (-1)/(-2)*-2 - -1. Suppose 5*j = -f*j - 25, 4*b + 4*j = -20. Suppose 0 = -4*r - b*m - 3*m + 63, -5*m = -5*r + 70. Is 15 a factor of r?
True
Let r = 56 - -11. Is 14 a factor of r?
False
Suppose -4*a + 7*a = 6. Suppose t - 6*t = i - 20, 5*i = 5*t + 100. Suppose -a*r + i = -2. Is r a multiple of 4?
False
Suppose -3*z - 4 = -2*s, 0 = -2*z + 4*s - 21 + 5. Suppose 2*t - z - 8 = 0. Let f = t - 1. Is f a multiple of 4?
True
Let i(a) = a + 2. Let j be (-1 + -1 + 2)/(-1). Suppose -2*v - 2*x + 16 = j, 4 = 5*x - 3*x. Is i(v) a multiple of 4?
True
Suppose 0 = -m + 2*m. Suppose m = 3*y - 117 - 90. Is 0 + 2 + y/3 a multiple of 11?
False
Suppose u = 5*u - 40. Let t be 8/(-5)*u/1. Let f = t + 60. Is 15 a factor of f?
False
Suppose 3 = 3*w - 0. Is 25 a factor of (w - 6/9)*150?
True
Suppose 0 = 5*l - 30 - 10. Is 2 a factor of l?
True
Suppose 2*r + 3*r = 20. Suppose r*n - 126 = 70. Does 19 divide n?
False
Let j(l) = -l**2 + l + 1. Let z(k) = -k**3 - 5*k**2 - 8*k + 3. Let y(u) = -3*j(u) - z(u). Is y(-7) a multiple of 8?
True
Let l = -74 + 43. Let n(o) = -4*o - 14. Let z be n(10). Let u = l - z. Does 10 divide u?
False
Let s = 44 - 3. Is s a multiple of 6?
False
Suppose 4*q = 63 - 11. Is 13 a factor of q?
True
Let m(f) = f**3 - 4*f**2 + 2*f - 3. Let v be m(4). Suppose 0 = -v*u + 25, 3*d + 5*u - 3*u - 64 = 0. Does 6 divide 0 - (2 + 1 - d)?
False
Let j be (-92)/9 - (-6)/27. Let n be ((-4)/j)/((-1)/5). Is (1