rue
Let z(d) = d + 6. Let k = 0 + -3. Let p be z(k). Suppose i = -p*o + 34 - 6, 0 = 4*i - 4. Is 5 a factor of o?
False
Let p(i) = -i**2 - 10*i. Let u be p(-6). Suppose -q + 5*q = u. Does 6 divide q?
True
Suppose 5*g - w = w - 8, 0 = -5*g - w + 4. Suppose v + 0*v - 45 = g. Does 6 divide (-8)/(-10)*v/2?
True
Let a(b) = 10*b**2 - 2*b. Does 22 divide a(-2)?
True
Suppose 12 - 31 = -b. Is b a multiple of 19?
True
Let k(w) = 4*w**3. Let v be k(1). Suppose 2*l + l = v*q - 4, 5*l - 4*q = -12. Is (-296)/(-10) - l/10 a multiple of 20?
False
Let k(t) be the third derivative of -t**4/12 - 5*t**3/6 + t**2. Let r be k(-4). Suppose -84 = -r*f - f. Is 16 a factor of f?
False
Let w be (1 - 9/(-3)) + 0. Suppose 0 = -2*f - 0 - w. Does 21 divide 3/f - 110/(-4)?
False
Let a = 14 + -9. Suppose 5*h = -a*j + 160, -106 = -3*h - 3*j + 5*j. Is 17 a factor of h?
True
Let h(n) = 2*n**2 + 20*n + 8. Is 24 a factor of h(-14)?
True
Suppose 2*l - 9 - 3 = -4*p, -5*l = 5*p - 30. Let c(f) = f**2 - 8*f + 5. Let h be c(l). Let d = h - -15. Is d a multiple of 4?
True
Let m(c) = -c**3 + 2*c**2 - 2*c + 1. Let d be m(1). Is (22 - 2)*(1 - d) a multiple of 10?
True
Let x = 22 - 14. Suppose 5*v - 17 = -i, 4*v + 0*v - x = 2*i. Suppose -4*s + 29 = -a, -18 = -3*s + v*a - 6*a. Is 4 a factor of s?
False
Let h = 48 + -24. Does 4 divide h?
True
Suppose 16 = 2*f + 2. Let a = 15 - f. Does 8 divide a?
True
Let o be (2 - 1)*(1 + 2). Suppose 39 = v + o. Suppose -z = -5*z + v. Is z a multiple of 8?
False
Suppose a = -3*a + 148. Does 29 divide a?
False
Suppose 0*r - 4 = 2*r, 5*k + 5*r = 0. Suppose k*g + 0*g = 0. Let z(f) = -f**3 + f**2 + f + 26. Is z(g) a multiple of 13?
True
Suppose 3*y + 3*f = 312, 3*f = 4*y + 8*f - 421. Is y a multiple of 33?
True
Suppose -3*n = -0*n - 102. Is 12 a factor of n?
False
Is 6 a factor of (-43)/(-1) - (0 - (-4)/4)?
True
Let t be 24/(-2) + 0 + -2. Let n be t + 1/((-2)/4). Let f = n + 27. Is f a multiple of 11?
True
Is 37 a factor of 7744/28 - 3/(-7)?
False
Let w(o) = -o - 1. Let p(v) = 6*v + 9. Let g(y) = -3*p(y) - 24*w(y). Let n be g(-3). Let z = 32 + n. Does 6 divide z?
False
Is -2 + ((-2720)/(-4))/4 a multiple of 47?
False
Suppose 0 = -4*s + 3*x + 63, 0*x = 5*x - 15. Suppose 4*i = s + 2. Is i a multiple of 3?
False
Suppose -5*o - h = -43, -3*o - 3*h - h = -36. Suppose 0 = -3*k + o*k - 105. Is 7 a factor of k?
True
Let l = 357 - 228. Does 33 divide l?
False
Suppose -7*x = -64 - 440. Is x a multiple of 24?
True
Is 10 a factor of -1*(2 - -2 - 114)?
True
Let w = 5 - 4. Let b(k) = k**3 - k**2 - 7*k + 5. Let t(g) = -g**2 - g + 1. Let j(u) = w*b(u) - 5*t(u). Does 3 divide j(-4)?
False
Let p(j) = 2*j - 12. Let y be p(6). Let l(k) = -2*k**3 + 2*k + 1. Let o be l(-1). Is 20 a factor of 50 - y/(o - -2)?
False
Let r be ((-2 + 2)*-1)/(-2). Suppose r = q + 2*a - 18, 5*q - 4*a = 4*q + 48. Is 14 a factor of q?
True
Suppose 34 = y - 4*q, -184 = y - 5*y + 4*q. Is 26 a factor of y?
False
Let t be 5 + -1 + (-2)/(-2). Suppose 5*g + 0*g - 105 = 5*m, t*m = 25. Is g a multiple of 9?
False
Let p be 3 + (-2 + -1)*1. Suppose p = -0*c - c. Suppose 197 = 5*n + g - c*g, 47 = n + 4*g. Is n a multiple of 11?
False
Let n(k) = -k**3 + 5*k**2 + 8*k - 9. Let j be n(6). Suppose -7*p = -j*p - 8. Suppose -u - p*h + 6 = 0, -12 + 29 = 2*u - h. Is u a multiple of 8?
True
Is 16 a factor of (66/10 + -1)/((-8)/(-160))?
True
Suppose -3*n = -5*y + 19, -1 = 5*y - n - 24. Suppose -u - 5*k = -52, -y*u = -5*k - 49 - 121. Let b = 67 - u. Is 10 a factor of b?
True
Let k = 18 - 32. Let j = k - -34. Is 6 a factor of j?
False
Let a(t) = -3*t**3 + 2*t + 1. Let i(f) = f**3 + 8*f**2 + 8*f + 6. Let v be i(-7). Let y be a(v). Suppose -3*w = 0, 0*g + w = -y*g + 28. Is 7 a factor of g?
True
Suppose 0*p = 3*p. Suppose 2*b + p*b - 66 = 0. Suppose -b - 15 = -3*u. Does 13 divide u?
False
Let o(c) be the third derivative of -c**5/60 + c**4/6 + c**3/3 - 2*c**2. Let q be o(4). Let x = q + 3. Is 3 a factor of x?
False
Let y(l) = 2*l - 9. Let d = 12 + -6. Is 2 a factor of y(d)?
False
Suppose 0 = o + 2*c - 13, -2*o = 3*o - c - 21. Suppose -7 = -o*k + 4*x, -x = -5*k + x + 11. Is k a multiple of 2?
False
Let p(n) = -n. Let j(r) = 5*r + 11. Let h(f) = j(f) + 2*p(f). Is 10 a factor of h(8)?
False
Suppose 2*y + 41 = 2*u - 7*u, -74 = 5*y + 3*u. Let t = y + 58. Is t a multiple of 15?
True
Suppose 3 = -n + 1. Does 9 divide 25 - (1*n)/(-1)?
False
Let p(d) = -231*d**3 - 3*d**2 + 2*d + 1. Is p(-1) a multiple of 26?
False
Suppose -4*i - 3*d = 63, -3*d + 81 - 18 = -3*i. Let p = 30 + i. Is 12 a factor of p?
True
Let l(a) be the second derivative of 1/20*a**5 + 2*a**3 - a - 5/6*a**4 + 0 + 9/2*a**2. Is l(9) a multiple of 13?
False
Let j(h) = -h**2 + 11*h + 5. Let f be j(11). Suppose 6*u - 114 = u - p, 64 = 3*u + f*p. Is u a multiple of 6?
False
Let h(x) = x**3 + 3*x**2 - 8*x - 5. Is h(6) a multiple of 26?
False
Suppose -4*q + 34 = -b, -2*b + 49 = -q + 6*q. Does 3 divide q?
True
Suppose 26 - 2 = 4*g. Suppose -z = -4*w + 267, -2*w = -g*w - 2*z + 282. Suppose 0 = 3*x + 5*f - 27, 4*x - 4*f - w = -0*x. Is x a multiple of 5?
False
Suppose -3*l + 5*u = -4*l - 8, 4*u + 18 = 5*l. Suppose -l*v + 3*v - 7 = 0. Is v a multiple of 2?
False
Suppose -5*v + 4*v = 0. Suppose v = -5*i + 10 - 0, 2*g - 40 = -2*i. Is 6 a factor of g?
True
Let r(t) = -t**2 + 15*t - 10. Let i be r(14). Suppose -5*h - 3*o + 28 = -h, -5*h + i*o + 35 = 0. Is 4 a factor of h?
False
Let u(f) = 7 + 3*f - 4 - 2 + 0. Let x be u(1). Suppose -x - 96 = -4*d. Is 7 a factor of d?
False
Let q = 252 - 153. Does 16 divide q?
False
Suppose 16 - 64 = -3*k. Suppose -3*z + 48 + 90 = 0. Suppose -2*b - k = -z. Is b a multiple of 5?
True
Let i(c) = -2*c - 9*c - c**2 + 3 - 5. Is 4 a factor of i(-10)?
True
Suppose 3*b = 3*c - 150, 3*c + 3*b = -2*b + 150. Is c a multiple of 6?
False
Let g(y) = -y**3 - 5*y**2 - 3. Let v be g(-5). Does 9 divide (3/v)/(-1)*18?
True
Suppose -138 = -0*r - 3*r. Is 23 a factor of r?
True
Let l(m) = -m. Let s be l(5). Let x(i) = i**3 + 7*i**2 + 3*i + 4. Is 13 a factor of x(s)?
True
Let u = -2 - -2. Suppose u = 7*y - 2*y + 105. Is 12 a factor of y*(3 + -4) + 3?
True
Let a(d) = d**3 - 7*d**2 + 11*d - 6. Does 9 divide a(6)?
False
Let s be ((-12)/(-21))/((-8)/(-28)). Is (1/s)/(1/12) a multiple of 2?
True
Let j(d) = 249*d - 15. Is 13 a factor of j(1)?
True
Let h = 51 + -18. Is h a multiple of 11?
True
Let j(h) = 2*h**2 + 10*h - 1. Suppose 2*g + 6 = -10. Does 26 divide j(g)?
False
Let t(m) be the first derivative of -m**3/3 + 5*m**2/2 + 3*m + 1. Let n be (-154)/(-35) + 2/(-5). Is 6 a factor of t(n)?
False
Let q(d) = -d**3 + 7*d**2 + d - 3. Let r be q(7). Suppose -r = -4*p + 140. Is 12 a factor of p?
True
Suppose -8*f - 350 = -13*f. Is f a multiple of 35?
True
Let a = -112 - -161. Let b = a - 35. Is 14 a factor of b?
True
Let g be (-6)/(-2) - 0 - 1. Does 12 divide (9 - g/(-1)) + 1?
True
Let x be 2/(-6) + (-543)/(-9). Suppose -3*m - 33 = -2*s, 5*s = -4*m - x + 154. Is 9 a factor of s?
True
Suppose -r + 9 = 2*r. Suppose i = 5*x + 29 - 99, 0 = r*x - 4*i - 42. Is 4 a factor of x?
False
Let i = 4 + -1. Let v(u) = -3*u**3 - 18*u**2 + 15*u + 22. Let j(c) = -2*c**3 - 9*c**2 + 7*c + 11. Let x(b) = i*v(b) - 5*j(b). Is x(8) a multiple of 8?
False
Let o = -18 + 18. Suppose -3*h = -q - o - 16, 3*q = 15. Does 3 divide h?
False
Let h(q) = q**3 + q + 10. Let b be h(0). Let o = b + -8. Suppose x + 5*r = 12, 3*x + 4*r - 18 = -o*x. Is x even?
True
Let d(c) be the third derivative of -19*c**6/60 + c**4/24 + c**3/6 + 4*c**2. Is d(-1) a multiple of 15?
False
Let u = -786 - -558. Does 38 divide u*(15/6 + -3)?
True
Let a = 136 - 134. Let k(p) = 0*p**3 + 2*p**3 + 2*p**2 - 1 + p**2. Does 7 divide k(a)?
False
Suppose -3*n + 96 = -5*p - 6, -3*p + 87 = 2*n. Is 13 a factor of n?
True
Suppose 0 = 5*m + 4*r - 288, 0 = m + 4*m + 2*r - 284. Is m a multiple of 8?
True
Let x = -3 - 0. Let b = x - -1. Is 8 a factor of (0 + b)*(-4 + 0)?
True
Let c be 1/(0 - 2/206). Let x = -54 - c. Is x a multiple of 19?
False
Suppose 2*z = -2*z + 56. Is z a multiple of 14?
True
Let n = -54 - -106. Is 10 a factor of n?
False
Suppose -d - 3*d - 2*h = -82, 84 = 3*d - 3*h. Is 16 a factor of d?
False
Suppose 0 = -4*w + w - 171. Let c = -18 - w. Suppose -4*r = -r - c. Is r a multiple of 13?
True
Is 13 a factor of 8/40 + 64/5?
True
Suppose 3*x = 5*o - 78, -56