rue
Let s(k) = k - 3. Let u(o) = -9*o + 24. Let d(v) = 33*s(v) + 4*u(v). Let q be d(-2). Suppose -17 = -2*l + q*h, -5*h = -l - 10*h + 15. Is l a multiple of 5?
True
Let y(l) be the first derivative of -7*l**2 + l + 1. Is 14 a factor of y(-1)?
False
Let f = 83 + 279. Does 32 divide f?
False
Suppose -5*c = -4*y + 974, -3*y + 2*c - 237 = -4*y. Is 45 a factor of y?
False
Is 30*16/72*(-12)/(-10) a multiple of 4?
True
Let g(t) = 3*t**2 + 6*t + 31. Is g(9) a multiple of 11?
False
Suppose -n - w + 5 = -3, 3*n = 5*w - 16. Suppose -2*v + 176 = 4*k - 3*v, -v - 132 = -n*k. Is k a multiple of 11?
True
Let o(y) be the third derivative of y**5/12 + y**3/3 - 4*y**2. Is o(-2) a multiple of 11?
True
Suppose 0 = -3*s + 3*a + 21, 0*a = -4*a - 20. Is s - (-38)/4*4 a multiple of 20?
True
Suppose 4 + 12 = 4*j. Is 3 a factor of 9/2 + 6/j?
True
Let o = 5 - 26. Let f be -7*(585/o + 3). Is 6 a factor of 1/4 - f/(-8)?
False
Suppose -3*x - 20 = 5*i, 2*i + 4 = 2. Let j = 9 + x. Suppose -j*p = -24 - 48. Does 13 divide p?
False
Let n(f) = -5*f**2 - 3*f - 3. Let o(z) be the first derivative of 11*z**3/3 + 7*z**2/2 + 7*z - 2. Let i(h) = -7*n(h) - 3*o(h). Is i(-2) a multiple of 4?
True
Suppose d - 252 = -d. Let x = d - 76. Suppose -146 = -4*a - x. Is a a multiple of 8?
True
Suppose 3*j + 3*k + 0*k = 216, 153 = 2*j - k. Does 11 divide j?
False
Let q(p) = -7*p**2 - 1. Let s be q(1). Let z(g) = 8*g**2 + 18*g - 4. Let l(v) = -7*v**2 - 17*v + 4. Let m(j) = 7*l(j) + 6*z(j). Is m(s) a multiple of 11?
False
Suppose t = -4*t - 10. Let y(x) = -24*x - 3. Does 16 divide y(t)?
False
Let d be 6/(4/(512/3)). Suppose -c + d = c. Suppose 0*i = 4*i - c. Is 11 a factor of i?
False
Let l(z) = -z**2 + z. Let d(v) = -14*v**2 + v - 1. Suppose i + 4*y + 1 = 0, 4*i - y + 2*y = -4. Let g(r) = i*d(r) + 3*l(r). Is 3 a factor of g(-1)?
False
Suppose 5*d + 24 - 4 = -5*z, -2*d + 2*z - 24 = 0. Let t(x) = -3*x + 6. Does 15 divide t(d)?
True
Let u(l) = l**2 + 0 - 6*l - 1 + 5*l + 0. Let y(v) = -2*v - 7. Let t be y(-5). Is u(t) a multiple of 3?
False
Suppose -179 = -3*b - 38. Let o = 20 + 6. Let h = b - o. Is 12 a factor of h?
False
Let p = 139 - 84. Is 11 a factor of p?
True
Let d = 154 + -93. Does 37 divide d?
False
Is 18 a factor of (8/5)/(1/35)?
False
Let g(n) = n + 2. Let y be g(2). Suppose -y*p - 3*w = -2*p - 134, -3*p + 4*w + 235 = 0. Is 24 a factor of p?
False
Let o = -62 - -322. Does 52 divide o?
True
Let p(z) = -z**3 - 2*z**2 + 6*z - 5. Is 10 a factor of p(-5)?
True
Let g = 17 + 23. Suppose -v + 2*v = g. Suppose 3*b - 2*n + 3*n = 35, 4*b = -3*n + v. Is b a multiple of 13?
True
Let z(m) be the first derivative of m**7/210 + m**6/360 - m**5/60 + m**4/12 + 2*m**3/3 + 3. Let a(w) be the third derivative of z(w). Is a(2) a multiple of 14?
False
Let a be 20/(-6)*18/(-15). Suppose 5*g - g = -a. Let j = g - -5. Is 4 a factor of j?
True
Suppose -2*a + 0*a = -16. Let x(m) = m - 8. Let d be x(a). Suppose 5*y - 206 = 4*k, d = -2*k + k - 4. Is y a multiple of 19?
True
Let i be (3 + -1)*18/4. Suppose 0 = -3*o - 0*o + i. Let q(l) = l**3 - l**2 - 2*l + 4. Is q(o) a multiple of 8?
True
Let h be ((-4)/10)/((-2)/200). Let s be 3 - (2 - 2 - 1). Suppose s*m - h = -0*m. Is m a multiple of 3?
False
Let i(o) = -87*o + 5. Does 19 divide i(-3)?
True
Suppose -72 = -4*z + 3*l, 2*z + l - 24 = 12. Is z a multiple of 4?
False
Is 18 a factor of ((-2)/(-8) + -1)*-72?
True
Let i be ((-28)/(-10))/((-4)/(-20)). Let f(x) = i + 5*x**2 - 3*x**2 - x**2 + 0*x**2. Does 7 divide f(0)?
True
Is 12 a factor of (6 + -2 - 0) + 21?
False
Suppose 0 = 2*p + 4*h - 20, -3*h + 0*h + 21 = 3*p. Suppose -p*j - 5*c + 23 = 0, 2*j - 2*c = -2*j + 2. Is 8 a factor of j/((21/30)/7)?
False
Let x = -3 + 1. Does 18 divide x/(-4)*(-212)/(-2)?
False
Suppose -11 = 3*j - 44. Is 11 a factor of j?
True
Suppose -2*b + 20 = 2*j, j + 3*j = b + 30. Is 2 a factor of j?
True
Let s(a) = 5*a - 6*a**2 + 4*a**2 + 1 + a**2. Is s(4) a multiple of 2?
False
Let w(q) be the third derivative of q**4/8 + 7*q**3/6 - 2*q**2. Is w(5) a multiple of 9?
False
Let p = 79 - 34. Let d(t) = -t**2 + 7*t - 7. Let u be d(8). Let f = p + u. Is 15 a factor of f?
True
Does 16 divide (-4)/10 - (-3618)/45?
True
Let g = -14 + 84. Does 10 divide g?
True
Suppose 0 = -4*p - 2*z + 100, 4 + 74 = 3*p + 3*z. Is p a multiple of 8?
True
Suppose 3*k = 2*w + 36 + 106, -4*k - 5*w = -174. Let v = k - 28. Does 8 divide v?
False
Suppose 17*o = 14*o - 45. Does 6 divide -2 - (1 - 3) - o?
False
Let f(x) = x**2 - 3*x - 1. Let y be f(4). Suppose 0 = -3*g + 12, 2*g + 65 = y*i + 7*g. Does 10 divide i?
False
Let i(k) = -k - 7. Suppose 0*v + 28 = -4*v. Let o be i(v). Suppose 4*s + 5 = z - 2, 3*z - 4*s - 29 = o. Is z a multiple of 11?
True
Suppose 19 + 83 = 3*m. Is 5 a factor of m?
False
Let g(k) = -k**2 - 10*k + 7. Let v be g(-5). Suppose 4*r + 0*r = v. Suppose 0 = -3*w - y - r + 47, 0 = -2*w + y + 21. Is 4 a factor of w?
True
Suppose 0*x - 41 = -5*x + d, 3*x - 11 = 4*d. Let g = x + -6. Suppose c - g*c + 28 = 0. Is c a multiple of 8?
False
Suppose 3 = -5*p + 13. Suppose 4*k - p*k = 102. Does 14 divide k?
False
Let o = -164 - -260. Does 6 divide o?
True
Suppose 5*g + 12 = 67. Let v = -23 + g. Let a = 35 + v. Is 9 a factor of a?
False
Let w be (-2 - 1) + 13 + -2. Suppose 19 + w = r. Does 16 divide r?
False
Suppose 0 = -17*f + 12*f + 90. Does 6 divide f?
True
Suppose -2 = 2*f + g, 0 = -2*f - f + 5*g + 10. Let s be (-5)/(-10)*(156 - f). Let d = s + -48. Is d a multiple of 11?
False
Suppose 0 = k - 2*k - 7. Let b = k - -19. Does 12 divide b?
True
Suppose -5*s - 100 = 145. Let k be 1*(-74 + 0 + 3). Let g = s - k. Is g a multiple of 11?
True
Let n = 6 + 0. Let x(p) = p**3 - 6*p**2 + 7*p + 5. Is 15 a factor of x(n)?
False
Suppose 0 = 4*m - 3*k, -5*k = -k. Let o = 58 - 40. Suppose m = w - 40 + o. Is 10 a factor of w?
False
Suppose m - 2 = 1. Suppose m*l + l = 32. Is l a multiple of 4?
True
Let t(r) be the third derivative of r**6/120 - r**5/30 + 5*r**4/24 - r**3/3 - 2*r**2. Is t(3) a multiple of 11?
True
Let v(t) = t**3 + 9*t**2 - 12*t - 15. Suppose 0 = b - 0*x + 4*x + 10, -5*b + x = 50. Does 2 divide v(b)?
False
Suppose 2*i - 13 = 3*t, i = -3*i + t + 21. Suppose -5*b + 4*p = -i + 19, -p - 3 = 2*b. Is (b/(-3))/(1/15) a multiple of 10?
True
Suppose -3*s = s - 4. Does 8 divide ((-138)/(-24))/(s/4)?
False
Let l be (-2)/(-7) - (-52)/14. Suppose a - 30 = -l*a. Does 6 divide a?
True
Suppose 2*k + 2*q + 16 = 0, 0 = k + 5*q - 3*q + 13. Let g(x) = -6*x + 7. Let z(d) = 19*d - 20. Let f(j) = k*z(j) - 8*g(j). Does 11 divide f(-3)?
False
Let s(l) = l**2 + l - 11. Is s(-5) a multiple of 3?
True
Let y(j) = -j**3 + 8*j**2 + 6*j - 7. Let q be y(8). Suppose 0 = -5*l + 3*z + 116, -4*l - 5*z + 74 + q = 0. Let r = l + -11. Does 14 divide r?
True
Let t = -35 - -50. Does 8 divide t?
False
Let k(x) = x**2 - 6*x + 7. Suppose -4*z - z + 30 = 0. Is k(z) a multiple of 7?
True
Is -4*(-2)/8*16 even?
True
Suppose 0 = c - 5*m - 200, m = 5*c - 786 - 94. Is 11 a factor of c?
False
Let v = 5 + -3. Suppose 18 + 2 = v*z. Is z a multiple of 5?
True
Let c be (-2)/4*(2 + -8). Let b be ((-4)/6)/((-3)/9). Suppose -c*p + b*m = 4*m - 35, 2*m + 9 = p. Is 9 a factor of p?
False
Is 56/(-196) + ((-905)/(-7) - -1) a multiple of 13?
True
Let j = -7 + 19. Let v be -48*(0/(-1) + -1). Suppose j = -3*y + v. Is y a multiple of 5?
False
Let q = -95 + 136. Does 21 divide q?
False
Is 345/12 + 12/(-16) a multiple of 28?
True
Suppose 58 + 26 = -4*m. Let t = 57 + m. Is 18 a factor of t?
True
Suppose 959 = 3*h - 5*o + 375, 2*h - 5*o - 391 = 0. Is h a multiple of 56?
False
Let t = -50 + 95. Does 25 divide t?
False
Suppose u - 3*u = -164. Let w be -1 - (-4)/((-4)/(-15)). Suppose -4*b + u = -i + w, 0 = -5*i - 20. Does 8 divide b?
True
Let o(s) = -4*s**3 - 4*s**2 - 6*s + 1. Let g(v) = v**3 + v. Let i(f) = -5*g(f) - o(f). Let z be i(4). Does 14 divide z/(-3)*1 + 43?
True
Let g(x) = x**2 - 5*x + 8. Does 32 divide g(8)?
True
Let r(a) = a - 13. Let v be r(8). Let d = v + 9. Does 3 divide d?
False
Suppose 0 = -3*f - 0*f - 3*r + 51, 41 = 3*f + 5*r. Is f a multiple of 22?
True
Let y(n) = -n + 24. Let g(l) = l - 23. Let j(d) = 6*g(d) + 7*y(d). Is j(0) a multiple of 14?
False
Suppose 2*u - 10 + 0 = 0. Suppose -2*f = -5*f. Suppose 0 = -f*h + 3*h - u*r - 16, -2*h + r + 20 = 0. Is 6 a factor of h?
True
Does 5 div