rue
Let s(o) = -10*o + 1. Let g = -4 - -6. Suppose -k + g = -3*r, -2*r + 4*k - 3 = -5. Is s(r) a multiple of 11?
True
Let p be (-2)/(0 + 3 + -5). Does 20 divide -96*(1/3 - p)?
False
Let h = 7 + -3. Let z be 4/(0 - h/(-6)). Suppose u - 55 = -3*f, -43 = -z*u + 5*u + 3*f. Is 16 a factor of u?
False
Let k be 0 + (-24 - 1/(-1)). Let m be (k/4)/((-3)/(-12)). Let v = -8 - m. Is v a multiple of 15?
True
Let g(u) = 7*u + 2*u**2 - 3*u**2 - 2*u**2 - 5 - 5*u**2 + u**3. Let a be g(4). Let b = -24 - a. Is 5 a factor of b?
False
Suppose 4*k = 4*r + k - 7, 4*k + 16 = 2*r. Does 7 divide 15/9*(-42)/r?
True
Suppose 346 = -x + 4*x - 4*z, 2*x - 219 = 5*z. Is x a multiple of 21?
False
Suppose -60 = -3*j + 3*w, 75 = 4*j - 5*w - 7. Is 11 a factor of j?
False
Let m = 2 + 0. Suppose -7*q = -m*q. Does 9 divide q + 1 + (1 - -7)?
True
Suppose -4*n + 42 = -3*n. Let y = -25 - -29. Suppose y*c = c + n. Does 7 divide c?
True
Let l = 38 + -76. Let w = -3 - 9. Let r = w - l. Is 21 a factor of r?
False
Let u(i) = -4*i - 2. Is u(-6) a multiple of 22?
True
Let p = 597 + -156. Is (2/3)/(14/p) a multiple of 6?
False
Suppose -10 = -2*j - 0. Let m(n) = 4 + 5 + 9*n + 4*n**2 - j*n**2. Is 11 a factor of m(7)?
False
Suppose 5*d + 4*i = -i + 730, -4*i = d - 158. Is d a multiple of 15?
False
Let p(d) be the second derivative of d**4/12 - d**3/3 + 7*d**2/2 + 12*d. Let v be (7/(-2))/(3/(-6)). Is 14 a factor of p(v)?
True
Is (-166)/(-8) - 3/(-12) a multiple of 9?
False
Let i = 38 + -34. Is i a multiple of 2?
True
Let r(d) = d**2 - 4*d + 13. Does 17 divide r(7)?
True
Does 28 divide (-11)/((-55)/280) + -4?
False
Suppose 4*z + 22 = 6, -3*t + 3*z + 27 = 0. Let b(x) = x**3 - 6*x**2 + 7*x - 4. Does 6 divide b(t)?
True
Let v(h) = -7*h**3 + h**2 + 2*h + 3. Let l be v(-2). Suppose 4*g - l = -w, -4*w + 97 = -w - 4*g. Is 15 a factor of w?
False
Suppose 5*o = 3*o + 12. Let h be -15*-1*(-4)/(-2). Is (o/(-9))/((-4)/h) even?
False
Suppose -12 = -0*r + 2*r. Is 24*4*r/(-32) a multiple of 17?
False
Let x(g) = 7*g**2 + 12*g - 4. Let f(q) = q**2 + q - 1. Let r(w) = 6*f(w) - x(w). Is 5 a factor of r(-4)?
False
Let m(y) be the third derivative of -3*y**2 + 0 + 0*y - 1/2*y**3 + 13/24*y**4. Is m(2) a multiple of 8?
False
Let f = 128 - -122. Does 12 divide f?
False
Suppose -297 = -3*d + r + 2*r, 3*d + r - 297 = 0. Does 7 divide d?
False
Let d(t) be the second derivative of t**4/3 - t**3/3 - 7*t**2/2 + 2*t. Let w be d(7). Suppose 0 = 7*c - 2*c - w. Does 13 divide c?
False
Is 2*(-3)/6*-7 a multiple of 7?
True
Let t(a) = -161*a + 2. Does 54 divide t(-2)?
True
Suppose 5*a - 33 = -4*u, 2*u + 10 = 3*a - 23. Is a a multiple of 3?
True
Suppose -5*z + 20 = 5*d, 2*d - 4 = -0*d - z. Let n(o) = 15*o**3 - o**2 - 3*o + 3. Let t be n(1). Suppose d = 5*p - 6*p + t. Is p a multiple of 14?
True
Let i = 2 - 2. Is 18 a factor of -1 + (38 - (1 - i))?
True
Suppose 3*z + 3*a + 14 = -a, 2*a = 4*z - 18. Suppose -t = z*t - 114. Is t a multiple of 15?
False
Let i = -138 - -314. Is 20 a factor of i?
False
Let u(t) = -3*t**2 - 1. Let l be u(-3). Let p be 30/4*l/(-3). Suppose -3*i - 2*i = -3*v - p, 0 = 4*i + 4*v - 56. Is 14 a factor of i?
True
Suppose 4*n - 19 - 1 = 0, 0 = -2*r - 4*n + 28. Suppose -4*c - 3*q - 2*q = -157, -r*q = -20. Is 5 a factor of c?
False
Let r(b) = b**2 - 9*b + 6. Let p(j) = -2*j + 6. Let w be p(-7). Suppose -h - w = -3*h. Is 8 a factor of r(h)?
True
Suppose 3*z = 12*z - 1134. Is z a multiple of 21?
True
Let v(y) = -y**3 - 7*y**2 - y - 8. Let w be v(-10). Suppose 2*x = -2*z + 118, 6*z - w = z + 2*x. Suppose -3*c = 4*a - 80, -2*a - a = c - z. Is 13 a factor of a?
False
Let g(t) = -t**3 - 12*t**2 - 12*t + 4. Suppose -3*u + 0*u = -4*h - 29, -3*h + 3*u = 18. Is 15 a factor of g(h)?
True
Let f(w) = -5*w + 22. Is 21 a factor of f(-7)?
False
Let v(a) = 16*a - 8. Is v(1) a multiple of 3?
False
Let f(u) = u**2 + 7*u - 1. Suppose -x + 2*t - 7 = 0, x = t - 5 + 1. Let j(y) = y. Let w(b) = x*f(b) - 5*j(b). Does 13 divide w(-5)?
False
Let s(i) be the third derivative of i**5/60 - i**4/24 - i**3/3 + 2*i**2. Let z be s(-3). Let o(m) = m**3 - 11*m**2 + 10*m + 11. Is 5 a factor of o(z)?
False
Suppose -3*z = z - 12. Suppose -z*b - 2*b + 15 = 0. Is 215/20 - b/4 a multiple of 5?
True
Let n = 2 - -2. Let u(j) be the third derivative of -j**6/120 + j**5/10 - j**4/6 - j**3/6 + 5*j**2. Is u(n) a multiple of 5?
True
Let r(f) = f**2 + f - 17. Let s be (-1)/(-2)*0*-1. Let w be r(s). Let n = 5 - w. Is 9 a factor of n?
False
Suppose 2*a - 108 = -0*l - 3*l, a - l - 49 = 0. Is 4 a factor of a/12 - 1/4?
True
Let w = -118 - -244. Is 18 a factor of w?
True
Let d(x) = 2*x**2 - 6*x + 2. Let v = 4 - -1. Let r = 10 - v. Does 11 divide d(r)?
True
Let g(t) = t**3 + 2*t**2 + t + 2. Let d be g(-2). Suppose -4*f = l + 5 - 24, d = l + 5*f - 14. Does 10 divide l?
False
Suppose -5 = -5*t - 4*a + 7, 4*a = -2*t. Suppose t*l - l = 24. Is l a multiple of 5?
False
Let f be 10/2*3/5. Let q(h) = -h + 3. Let j be q(f). Let n(x) = -x + 10. Is n(j) a multiple of 6?
False
Let o(d) = 38*d**3 + 3*d**2 - d - 2. Let f be o(2). Suppose 0*x + f = 4*x. Is 18 a factor of x?
False
Suppose 3*y = 916 + 572. Is 62 a factor of y?
True
Let q = 32 - 1. Let g = -17 + q. Is g a multiple of 14?
True
Let b(z) = -2*z + 82. Is 41 a factor of b(0)?
True
Let x = -1 + 4. Let c = 6 - x. Let l = c - -9. Is 5 a factor of l?
False
Suppose -2*l - 42 = l. Does 16 divide 374/14 + l/(-49)?
False
Let r(j) = -j**2 - 8*j - 9. Let i be r(-7). Is 22 a factor of i*(-15)/12*26?
False
Suppose 0 = -2*z, -s + 0 - 8 = -3*z. Does 11 divide 12/16 - 170/s?
True
Let h(x) = -9*x - 20. Is 19 a factor of h(-10)?
False
Suppose -3 = -r - 5*o + 25, -2*r - 2*o = -24. Suppose -u + 2*u + 2*t + r = 0, 4 = 3*u - t. Suppose u = 6*m - m - 30. Does 3 divide m?
True
Is (4/(-3) - -2)*(45 + 3) a multiple of 6?
False
Suppose 2*i + 4 = -4*p, 2*p + 8 = -5*i + i. Suppose -5*v + 5*j = -0*j - 695, 2*j - 586 = -4*v. Suppose p = 5*w + 39 - v. Does 7 divide w?
True
Suppose 0 = 3*w - 5*w. Let t = w + 24. Suppose y - t = -0*y. Is y a multiple of 12?
True
Is 18 a factor of 37797/301 + (-1)/((-14)/6)?
True
Suppose 5*d - 5 = -4*q + 28, -5*d + 3*q = -19. Suppose 0 = -d*s + 22 + 3. Suppose 5*m - 12 = -4*o, -5*m + 33 - 3 = -s*o. Does 2 divide m?
True
Suppose 13*a = 8*a + 80. Does 16 divide a?
True
Let k = 32 - -2. Does 34 divide k?
True
Let u = -4 + 25. Is u a multiple of 2?
False
Let f(w) = 15*w**3 - 3*w**2 + 1. Is 4 a factor of f(1)?
False
Let v(o) = 24*o + 38. Does 49 divide v(5)?
False
Let p(k) = -k**3 + k**2 + k + 28. Is p(0) a multiple of 14?
True
Let t(y) = -10*y + 3. Let r(j) = 5*j**3 + 2*j**2 + 2*j + 1. Let l be r(-1). Is t(l) a multiple of 12?
False
Suppose 105 = 9*w - 4*w. Is w a multiple of 7?
True
Let r = -2 - -4. Suppose -5*k + 4*b = -15 - 100, -r*k + b = -49. Is k a multiple of 9?
True
Let b = -1 - -3. Suppose -5*l = -2*a - 14, -b*a = 6*l - 2*l - 22. Suppose k - l*k + 30 = 0. Is 4 a factor of k?
False
Let o = 8 + -6. Suppose -o*a + 18 = a. Does 2 divide a?
True
Suppose -3*j + 1 = -2*j, 3*t + 4*j = -284. Let f = t + 144. Suppose -f = -4*g + 12. Is 13 a factor of g?
False
Let z(d) be the first derivative of -d**3/3 + 3*d**2 - 6*d + 3. Let y be z(5). Does 16 divide 32 + y + (-1)/(-1)?
True
Suppose 3*x + 4*u = 14, -3*x + 8 = -2*x + 2*u. Is 13 a factor of (2 + -1)/(x/(-152))?
False
Let p(f) = -f**2 + 4*f - 4. Let t be p(6). Let w = 23 + t. Suppose -a = -w + 1. Is 6 a factor of a?
True
Suppose 0 = 5*k - 3*x + 2*x - 210, 162 = 4*k - 2*x. Does 5 divide k?
False
Let q(f) = -3 - 4*f**2 + 3*f - 4*f**3 + 4 + 5*f**3. Let b be q(3). Suppose -4*i + 57 = b. Does 7 divide i?
True
Suppose -31*f + 33*f - 254 = 0. Does 30 divide f?
False
Let w be ((-44)/(-12))/(2/6). Suppose 3*o + w = 71. Is 16 a factor of o?
False
Let h(v) = -54*v + 2. Does 4 divide h(-1)?
True
Let r(w) = w**3 - 2*w**2 + 2*w - 3. Let u be r(2). Is 22 + u + 2 + -5 a multiple of 13?
False
Let x = 5 + -1. Suppose -3*n + 6 = -f + 2, -5*n = -f - x. Suppose 6 = 2*a - n. Is 3 a factor of a?
True
Let w = 229 + -142. Does 6 divide w?
False
Let q(i) = i. Let k be q(4). Let t = -40 - -64. Suppose -48 = -k*x + t. Is x a multiple of 13?
False
Let v = -20 + 20. Suppose 53 = n + 4*w, -3*n + 3*w = -v*w - 84. Is 7 a factor of n?
False
Let f(b) = b**3 + 10*b**2 - 9*b + 12. Is 13 a factor of f(-5)?
True
Suppose 0