*f + 2*f. Suppose 3*s + 13 = 4. Is 24 a factor of s/(1 + f/(-51))?
False
Let u(q) = q**3 - 11*q**2 - 4*q - 4. Is 15 a factor of u(12)?
False
Let c be 292/18 - (-4)/(-18). Suppose -5*y + y = -c. Suppose 0 = s - 3*s + y. Is 2 a factor of s?
True
Let q(k) = -k**3 + 2*k**2 - 3*k - 3. Suppose -12 = 2*h - 8. Does 9 divide q(h)?
False
Suppose -6*t + 2 = -4*t. Let f(h) = 3 + 3*h + t + 1 + 3*h**2. Is f(-4) a multiple of 16?
False
Let v = -14 - -25. Let p = 5 + v. Suppose 2*m - 4*m + p = -4*w, 0 = 2*w. Is m a multiple of 5?
False
Let h be (-276)/30 + 2/10. Is 17 a factor of h/2*(-68)/6?
True
Suppose -3*l - 16 = -4*v - l, 4*v + l - 10 = 0. Suppose 0 = -v*s - 3*z - 138, -2*z - 21 = 3*s + 121. Let r = -36 - s. Is 7 a factor of r?
True
Let a = 0 + 3. Suppose -14 - 20 = -a*s - 5*o, -4*o = -5*s + 32. Let u = s - 4. Does 3 divide u?
False
Suppose -5*v + v = -112. Let i be 29/1 + 6/6. Suppose -2*h = 4*k - i, 4*k - 3*h = -7*h + v. Is k a multiple of 8?
True
Let u = 25 + 11. Does 18 divide u?
True
Let t(v) = -v + 48. Is 12 a factor of t(0)?
True
Let a be (-14)/(-4) + (-2)/(-4). Suppose a*i - 3*i = 19. Does 19 divide i?
True
Let h(j) = j**3 + 24. Let p = 10 + -10. Is 6 a factor of h(p)?
True
Let g(t) = 2*t - 1. Let i(q) = -q - 9. Let s be i(-4). Let p be (-5)/(-1)*(-2)/s. Is g(p) even?
False
Suppose 278 = 3*q - 5*v, q - 3*v = 138 - 44. Does 13 divide q?
True
Is ((-304)/190)/(4/(-10)) a multiple of 4?
True
Is 5 a factor of (-105)/(-6) + (-3)/6?
False
Let d = 8 + -55. Let i = 85 + d. Is 13 a factor of i?
False
Suppose 6 = -2*a - a. Let l(j) = -2*j**3 - 3*j**2 - 2*j + 2. Is l(a) a multiple of 4?
False
Does 12 divide 158 + 0 + 4 + -6?
True
Let l = 12 - 8. Suppose -2*k - 78 = -l*y, 2*y + 4*k + k = 69. Does 4 divide y?
False
Suppose -y + 3*q = 6, 0 = y - 5*y - 2*q + 4. Let j be (y + -3)/((-2)/(-6)). Let o = 14 + j. Is 2 a factor of o?
False
Suppose 4*d = 5*w - 81, w + 7*d + 3 = 3*d. Is w a multiple of 13?
True
Suppose -2*t + 5*o - 6 = 20, 0 = 5*o + 10. Does 6 divide t/1*(-1)/2?
False
Let s be (-2)/4 - (-21)/6. Let b be (-10)/(-6) + s/9. Suppose -t = -6*k + b*k + 156, 0 = -t. Is k a multiple of 14?
False
Let s = -3 + 14. Let x = 7 + s. Let b = 2 + x. Is b a multiple of 14?
False
Suppose -3*d = 3*d - 90. Is 10 a factor of d?
False
Let x = 6 + -4. Let s be (-153)/(-12) + x/8. Suppose 4*w + 4*c = 16, s + 1 = 3*w + 2*c. Is 6 a factor of w?
True
Let k(y) = -2*y + 18. Let l be k(8). Suppose -l*o + 23 = 15. Is o a multiple of 3?
False
Let h(l) = -9*l + 85. Is h(-9) a multiple of 10?
False
Suppose 3*z = -4*u + 17, -8 - 1 = -3*z. Suppose -u*v + 2 + 2 = 0. Let g = v + 9. Is 11 a factor of g?
True
Let v(n) = n**2 + n + 6. Suppose 2*u + 3*u + 25 = 0. Is v(u) a multiple of 9?
False
Let x(k) = -11*k + 8. Suppose 2*b + 20 = -4*g, -2*g - 4*b = -g - 2. Is 26 a factor of x(g)?
False
Suppose -3*a + 2*f = 28 - 226, -4*a - f = -264. Does 22 divide a?
True
Let k be (6/(-4))/(3/(-4)). Suppose -k*s - 2*s = -224. Suppose p + p = s. Is 14 a factor of p?
True
Suppose 3*l = -3*h - 273, -3*l + h - 82 = 195. Let f = l - -164. Does 12 divide f?
True
Let f be (56/20 - -3)*5. Let k = 41 - f. Is k a multiple of 12?
True
Let x(w) = 4*w**2 - w. Let f be x(1). Suppose 2*n + 3*b = -f*n + 221, 4*n = b + 170. Is 17 a factor of n?
False
Let k = -12 + 14. Suppose k*a - 32 = -3*z - 3, -5 = 5*z. Is 9 a factor of a?
False
Suppose 0 = -n + 4*n - 282. Let s = n + -153. Let w = s - -83. Does 12 divide w?
True
Let a(f) = f**2 + f + 33. Let k be -2 - 2*(-1 - 0). Let u be a(k). Suppose 0 = 3*q + 4*s - u, s + 3*s - 55 = -5*q. Does 4 divide q?
False
Does 12 divide (-36)/10*40/(-3)?
True
Suppose 0 = 3*x + 4*y - 2*y - 84, 0 = x + 3*y - 35. Is x a multiple of 13?
True
Suppose 3*r - z - 33 = -3*z, -36 = -5*r + 3*z. Does 3 divide r?
True
Suppose 2*k + 298 = 4*d, -d + 5*d = -5*k + 319. Is d a multiple of 19?
True
Suppose -4*q - q + 20 = -a, 0 = 3*q - 12. Suppose a = 5*w + 2*o - 1 - 5, -4 = -w + o. Suppose -108 = -5*f + w*f. Does 18 divide f?
True
Suppose 0 = 2*k - 7*k - 20. Let a be (-47)/k + (-1)/(-4). Suppose -3*f + 0*f = -a, 2*f = 3*r - 13. Is r a multiple of 3?
False
Let r = -31 + 20. Let t = 18 + r. Is t a multiple of 2?
False
Suppose -5*w + 89 + 71 = 0. Does 8 divide w?
True
Let u be 1/(159/(-78) + 2). Is 28 a factor of 1094/13 - (-4)/u?
True
Let c be (2550/119)/((-1)/7). Is (-3)/(3*3/c) a multiple of 14?
False
Suppose 0*h - h - 3 = 0. Is 3 a factor of (-72)/(-16)*(-4)/h?
True
Does 7 divide (-6)/14 + 312/42?
True
Let s(w) = -w - 1. Let x(o) = -4*o - 1. Let l(f) = 4*s(f) - 2*x(f). Is l(6) a multiple of 11?
True
Let c be (-1)/3*(2 - -1). Let s(m) = 12*m**2 - m - 1. Does 4 divide s(c)?
True
Suppose 0*s + s - 5*d = -12, s = -5*d + 18. Suppose 4*j + 62 = s*u, u = -2*j - 3 + 17. Let c = 33 - u. Is c a multiple of 15?
True
Suppose -4*y = -64 - 48. Suppose -t - o = -y, -4*o + 66 = -t + 3*t. Does 23 divide t?
True
Suppose m - 16 = -2*n - 2*m, -4*n + 4*m = -52. Suppose -3*w = w - 5*b, -4*b + n = -w. Does 3 divide w?
False
Let l(o) be the third derivative of -o**9/3360 - o**8/10080 - o**7/5040 - o**5/60 + o**2. Let s(w) be the third derivative of l(w). Does 14 divide s(-1)?
False
Let p = 101 + 16. Is p a multiple of 13?
True
Let s(d) = -13 - 5 + 56*d - 50*d. Is s(12) a multiple of 18?
True
Let j be 8/2 - (1 + 0). Suppose 2*g - 80 = -j*g. Does 9 divide g?
False
Let u be 1*3 + (5 - 3). Suppose 3*i + 129 = -x + u, 5*i + 214 = 2*x. Does 9 divide i*3/(-6) + -3?
True
Suppose 4*i + 7 = -5*u, -4*u - i - i - 2 = 0. Let y be 17*1 - (1 + u). Does 18 divide y*((-51)/(-15) + -1)?
True
Suppose 3*b = o - b - 87, 2*o - 195 = b. Is o a multiple of 17?
False
Let s(l) = l - 4. Let a be s(10). Is (-2)/a - 20/(-6) a multiple of 3?
True
Suppose -2*d + 10 = 3*d. Let b(n) = 3*n**3 - 3*n**2 + n + 1. Let q be b(d). Suppose g - 3*j = 20 + q, -3*g = j - 55. Is g a multiple of 6?
False
Suppose -d = 11 - 46. Is 12 a factor of d?
False
Let n be (-51)/(-21) + (-12)/28. Suppose -d + 6*d - 23 = -n*z, -5*d + 5*z = 5. Suppose 2*s = -2*f + 16, d*f = s - 0*s + 16. Is f a multiple of 6?
True
Is (-1)/((1 + -6)/85) a multiple of 11?
False
Suppose 2*w - 3*p = 67, -w + p - 3 + 37 = 0. Let d = 65 - w. Is d a multiple of 15?
True
Suppose 4*o - 1 = 2*t + 11, -5 = -o. Let y = -76 + 202. Suppose -u = -t*u + y. Is u a multiple of 14?
True
Does 23 divide (132/20 + -6)/(1/115)?
True
Suppose 0 = 4*m + 1 - 5. Let j = m + -1. Is (j - 3)/((-9)/60) a multiple of 20?
True
Suppose -2*y = -4*r - 278, 740 = 3*y + 2*y - r. Let t = y - 103. Is 23 a factor of t?
True
Suppose -5*h = -15, 4*s + 9 = -2*h + 3. Let w be (9/(-6))/(s/8). Suppose 196 - 60 = w*t. Is 17 a factor of t?
True
Let k(m) = m**3 + 11*m**2 + m + 45. Does 5 divide k(-11)?
False
Let j(y) = 3*y**3 - 16*y**2 - 13*y - 17. Let c(x) = 2*x**3 - 15*x**2 - 13*x - 16. Let h(t) = 4*c(t) - 3*j(t). Does 2 divide h(-11)?
False
Is 3 + 14 + 4*1 a multiple of 4?
False
Suppose 0 = -0*w + 2*w + 12. Let g(z) = -z**2 - 8*z - 7. Let t be g(w). Suppose -116 = -t*a + a. Is a a multiple of 9?
False
Let r(f) = -f**2 + f + 5. Let n be r(0). Suppose 5*z = -0 - n, 0 = l - 2*z - 2. Suppose 7*v - 3*v + c - 53 = l, 5*v = -3*c + 61. Is v a multiple of 7?
True
Let t be -3 - (-4 - (-2 + 4)). Suppose -3*r + 2*n + 6 = 0, t*r + 3*n - 18 = n. Does 2 divide r?
True
Let z = 49 + -22. Is z a multiple of 9?
True
Let g be 39 - 0 - (-18)/(-6). Suppose 4*x = 68 + g. Does 10 divide x?
False
Let x(p) = -2*p + 2. Let z be x(1). Is (-5 - (-4 + z)) + 4 even?
False
Let f(p) = -p. Let y be f(-3). Is 16 a factor of 14 - 3*(-2)/y?
True
Let k = -5 - -4. Let h(g) = -3*g. Is h(k) a multiple of 2?
False
Let l = 2 - -3. Is l a multiple of 2?
False
Suppose 2*f - 3*f - 3 = 0. Let z = f + 5. Suppose 0 = -6*b + z*b + 32. Does 8 divide b?
True
Does 14 divide (-42)/(4 - 1)*-4?
True
Let w = 142 + 20. Is w a multiple of 18?
True
Let k = 9 + -5. Suppose -j - y + 3*y = -36, -3*j = k*y - 88. Does 16 divide j?
True
Suppose 0*z - 4*z = 0. Suppose z = -2*s + s. Is 6 a factor of s + -2 + 0 + 14?
True
Let p be (-3 - -1)/(0 + -2). Let l(c) = 18*c**2 + c - 1. Let x be l(p). Suppose -v + x = v. Is v a multiple of 4?
False
Let s = -49 + 96. Does 8 divide s?
False
Let f(o) = 2*o**3 + 13*o**2 - 6*o. Is f(-6) a multiple of 24?
True
Suppose -4*t + 0*t = -5*i + 1142, -3*t = 3*i - 696. Suppose i = 4*x + o - 2*