se -6*y + 121 = -41. Is 9 a factor of y?
True
Suppose 12*k - 10*k = 4. Let z(a) = a**2. Does 2 divide z(k)?
True
Suppose 4*z - 2*z - 5*s = 131, 0 = 5*z + 4*s - 410. Does 13 divide z?
True
Let g(u) = 2*u - 3*u**2 - u**3 + 4*u + 6 + 9*u**2. Let a = -8 + 13. Does 16 divide g(a)?
False
Suppose 4*t + u + u = -610, 761 = -5*t - u. Is 3/(-15) + t/(-10) a multiple of 12?
False
Suppose 2*i - 35 = -5. Suppose 0 = 2*b + 3*b - i. Does 3 divide b?
True
Suppose -132 - 217 = -l. Is l a multiple of 16?
False
Let p(u) = -2*u**2 - 3*u + 1. Let r be p(-3). Let s = -3 + 5. Is (4/r)/(s/(-56)) a multiple of 7?
True
Suppose -2 + 42 = 5*h. Suppose 3*y = h*y - 20. Is y even?
True
Suppose 9 = 3*b, -d + b = 6*b - 23. Suppose 48 = -6*s + d*s. Is s a multiple of 24?
True
Let p(m) be the third derivative of 3*m**2 + 0 + 1/12*m**4 - 1/6*m**3 + 0*m + 1/20*m**5. Is p(-2) a multiple of 2?
False
Suppose -5*f = 5*q - 85, -q = -4*f + 1 + 82. Suppose 0 = 11*t - 9*t - 142. Let o = t - f. Is o a multiple of 20?
False
Let w = -32 + 43. Is w a multiple of 3?
False
Let n(j) = -30*j - 39. Is 21 a factor of n(-8)?
False
Does 9 divide 0 + 59 + 2 + 2?
True
Suppose -14*j + 13*j + 35 = 0. Let q = j - 12. Does 10 divide q?
False
Let v = 113 + 235. Is v a multiple of 22?
False
Let o be (-2)/10 - (-42)/10. Let x = o - 17. Let i = 22 + x. Does 9 divide i?
True
Let b = 3 - -2. Suppose 163 = 3*a + b*x, -4*x = -x - 6. Is a a multiple of 21?
False
Does 17 divide (1 - 0)*((1 - 1) + 17)?
True
Let w(c) = c**2 - 1. Let b be w(-4). Let y be (-8)/(-2) + 19 + 1. Suppose -y = -a + b. Is a a multiple of 14?
False
Let s(r) be the second derivative of -3*r**3/2 - r. Does 3 divide s(-1)?
True
Let n(s) = 2*s + 7. Let u be n(-5). Let z be (4/3)/((-1)/u). Suppose -z*g + 37 = -3*g. Is 14 a factor of g?
False
Suppose -2*m + 18 = m. Suppose 5*c - m = 49. Let p = c + -7. Is p even?
True
Let s(u) = -15*u + 3. Let q be 52/(-9) - 8/36. Is 31 a factor of s(q)?
True
Let k(h) = h**2 - 4*h + 5. Is k(5) a multiple of 4?
False
Let a(v) be the first derivative of 9*v**2 + 2*v - 7. Is a(1) a multiple of 4?
True
Suppose 0 = 4*x - 3*k - 265, 0 = -2*x - x - 4*k + 205. Is 14 a factor of x?
False
Let y(g) = 3*g**2 + 6*g. Suppose -2*i = i + 12. Let z be y(i). Suppose k - 6*x + 3*x = z, 86 = 3*k + 5*x. Does 9 divide k?
True
Let a(n) = 2*n**2 - n. Let f be a(-1). Suppose -5*s + 46 = -g, -f*g + 64 - 22 = 3*s. Is 5 a factor of s?
True
Is (-4)/18 + 0 + 1096/72 a multiple of 14?
False
Suppose k - 7 = 5*d, 8*d = -4*k + 3*d + 153. Is 6 a factor of k?
False
Let v(l) = 9*l**3 + 3*l**2 - 3*l + 2. Is v(2) a multiple of 16?
True
Is (8/1)/(5/10) a multiple of 11?
False
Suppose -4*r = 2*a - 48, a - 2*a = -r + 15. Is 2 a factor of r?
False
Suppose -62 = -a - 5*q, -a = -3*q + 7*q - 63. Does 21 divide a?
False
Is 4 a factor of 15*(1 + (-2)/(-3))?
False
Let z(b) = 23*b**2 - b - 1. Let h be z(-1). Let i = -13 + h. Is i a multiple of 8?
False
Let f be 4 - (-5)/((-10)/(-48)). Let t = 59 - f. Is t a multiple of 12?
False
Is ((-132)/(-8))/((-1)/(-2)) a multiple of 10?
False
Suppose -2 = 5*u + 4*q + 48, -u = 4*q + 26. Let b(v) = 2*v**2 - 3*v + 4. Let m be b(u). Suppose 4*r = -4*y + m + 18, 80 = 2*y - 4*r. Is y a multiple of 16?
True
Suppose -1 = -2*y + 3*p + 11, -2*p = 4*y - 8. Suppose 5*l = y*l + 10. Does 10 divide l/20 - (-63)/4?
False
Suppose 4*l = 4*r - 160, -2*l + 128 = 4*r + 2*l. Is 18 a factor of r?
True
Let z = -15 - -27. Does 6 divide z?
True
Suppose -4*l - 32 = -6*l. Is l even?
True
Suppose 0 = 4*u - 5*a + 73, -1 + 10 = -2*u - 3*a. Suppose -13 - 59 = 4*w. Let l = u - w. Is 6 a factor of l?
True
Let y = -8 - -2. Suppose 0 = 4*m + m + 95. Let r = y - m. Is 8 a factor of r?
False
Let d(z) = -161*z**3 + 2*z + 1. Let k be d(-1). Is k/(-24)*(-18)/4 a multiple of 10?
True
Let b = -7 + 11. Let r(x) = x**2 - 2*x - 1. Let w be r(b). Let c = 11 - w. Does 4 divide c?
True
Let l(p) be the second derivative of p**3/6 + 165*p**2/2 + 3*p. Let u be l(0). Suppose -4*f + u = f. Is f a multiple of 12?
False
Let i(g) = -3*g**2 - 21*g - 9. Let y(u) = 2*u**2 + 11*u + 5. Let k(w) = -3*i(w) - 5*y(w). Let f(v) = v**2 - 5*v + 6. Let h be f(5). Is 5 a factor of k(h)?
False
Suppose 6 = 2*o - 4. Is (140/25)/(2/o) a multiple of 10?
False
Suppose -2*y + 49 = -65. Does 19 divide y?
True
Let u(h) = -h**3 + 6*h**2 + 3*h + 10. Does 28 divide u(6)?
True
Suppose r = 3 - 1. Suppose -p - r*p = k + 2, k = 2*p - 7. Is 17 a factor of (-5 - 4)/(p/(-3))?
False
Let i(b) = -b - 4. Let w(g) = -g - 1. Let s(a) = -i(a) + 2*w(a). Let h be s(-7). Suppose 7 = n - h. Does 16 divide n?
True
Is 37 a factor of 0 - 12/9 - (-3905)/15?
True
Let k(z) = -14*z - 1. Let a(x) = -x. Let n(b) = 3*a(b) + k(b). Is 11 a factor of n(-2)?
True
Let s(r) = r**3 - 2*r**2 + 1. Let a be s(1). Suppose a = 3*v - 1 + 7. Let m = 17 + v. Is 4 a factor of m?
False
Let m(q) = -q**3 - 13*q**2 + 8*q + 7. Does 19 divide m(-14)?
False
Suppose 0 = -8*c + 3*c + 15. Suppose -2*z - 4*g = -58, -c*z - g + 48 = -14. Does 9 divide z?
False
Suppose -21 = -5*b + 14. Is 3 a factor of b?
False
Let d = 25 - -24. Is d a multiple of 13?
False
Let y = 10 + -16. Let u = y + 8. Suppose h + 40 = u*h. Is 20 a factor of h?
True
Let h = 3 + 103. Is h a multiple of 10?
False
Let h(a) = a**2 - a + 2. Let u be h(2). Suppose -18 = -2*z + 2*i, z + u*z - 2*i = 48. Is z a multiple of 10?
True
Suppose -y + 2*s + 2*s = -75, 0 = -2*y - 3*s + 95. Is 11 a factor of y?
True
Let n be (-10)/4*(-72)/(-20). Let f(b) = -b**2 - 11*b + 16. Is f(n) a multiple of 17?
True
Suppose 4*y + 0 = -8. Let z(g) = g**3 + 0 + 2 - 2*g**3. Is z(y) a multiple of 5?
True
Let j = 10 + -6. Is 6 a factor of (18/j)/(3/12)?
True
Let x(a) = -a + 3. Let n be x(5). Let f(p) = 4*p**2 + 2*p + 3. Does 15 divide f(n)?
True
Suppose 3 = -k - 1. Let v be ((-5)/k)/((-2)/(-40)). Is 15 a factor of (-32)/10*v/(-2)?
False
Let h = 121 - 73. Is h a multiple of 12?
True
Let n = -20 - -23. Does 12 divide 110/n - 2/3?
True
Let i = -5 + 8. Let g(h) = -5*h. Let y be g(-2). Suppose 4*c - q = y, -c - i*q - 9 = -6*c. Is c a multiple of 3?
True
Let c = 2 + 2. Suppose c*t - 2 = 6. Suppose -j = t*j - 138. Is j a multiple of 16?
False
Let f(q) = 10*q - 1. Let w(k) = -2*k + 3*k + 6*k - 6*k. Let i(j) = -f(j) + 5*w(j). Is i(-2) a multiple of 11?
True
Let t(w) = 34*w**3 + 2*w**2 + w - 2. Does 7 divide t(1)?
True
Suppose -c = 5, 5*i = -c + 61 + 634. Is 17 a factor of i?
False
Suppose -3*t + 0*t = -6. Suppose 5*r = 25, -2*i + 54 = t*r + 2*r. Is 6 a factor of i?
False
Let j(b) = -b**3 + 6*b**2 + 2*b + 2. Suppose -y - 2*y = -18. Does 3 divide j(y)?
False
Let z = 7 + 13. Does 20 divide z?
True
Is 7 a factor of 6/4*144/(16/4)?
False
Let a(i) = i + 1. Let v be a(1). Suppose -3*w - 5*c - 2 = -0*w, -4*c - 10 = w. Suppose -84 = -w*g + v*g. Is g a multiple of 21?
True
Let m(k) = k**2 - 2*k - 2. Let c be m(5). Suppose 2*y - c = h + 12, 0 = -2*y - 4*h + 40. Is 37/7 - 4/y a multiple of 2?
False
Let v(i) be the first derivative of -i**3/3 + i**2/2 + 22*i - 1. Does 11 divide v(0)?
True
Let k = 325 + -229. Is k a multiple of 10?
False
Let h = -15 - -27. Let d = h + -8. Is d a multiple of 4?
True
Suppose 3*t - 609 + 69 = 0. Let z = t - 126. Is z a multiple of 18?
True
Let m = -37 + 84. Does 16 divide m?
False
Let k = -124 + 172. Is k a multiple of 43?
False
Let l be ((-1)/(-2))/(3/96). Suppose 0 = 7*r - 3*r - 3*u - 7, r - l = -4*u. Suppose 0*x = -r*x + 176. Is 22 a factor of x?
True
Let s be 1/(-5)*-42*10. Suppose h - 26 = 3*f, h - 2*f = -3*h + s. Is (-2)/(-4)*h/2 a multiple of 5?
True
Suppose 19 = 5*n - 3*m - 1, n = 2*m + 4. Let h(p) = p + 4. Let d be h(-4). Suppose d = -6*w + 3*w - 3, -n*l + 63 = w. Is l a multiple of 8?
True
Let j(q) = -3*q - 4. Let x be j(-6). Let i(u) = u**2 - 8*u + 15. Does 23 divide i(x)?
False
Suppose 3*o - o + 3*v - 239 = 0, -5*v + 233 = 2*o. Is o a multiple of 31?
True
Let a(d) = d**3 + 7*d**2 - 7*d + 8. Let x be a(-8). Suppose v + x*n = -4*n - 18, -18 = -4*v + 2*n. Is 2 a factor of v?
True
Let y = 1 + 2. Suppose x + y*i - 28 = 0, -x - 51 = -4*x + 2*i. Let u = x - 3. Is 10 a factor of u?
False
Let w = 34 + -20. Is w a multiple of 4?
False
Suppose 1 + 3 = -4*q. Let w(p) = 5*p. Let g(x) = -x. Let j(k) = q*w(k) - 3*g(k). Does 7 divide j(-10)?
False
Suppose 2*q + 2*q = 0. Suppose 0*a + 2*a - 2 = q. Let d = 9 + a. Does 10