actor of (-21)/((-21)/u - -2)?
True
Suppose -717 = -3*l + 84. Suppose -3*f - 36 = -l. Is f a multiple of 23?
False
Let r = 42 + 94. Suppose -4*w + 281 = -p, -p + 66 + r = 3*w. Does 21 divide w?
False
Let u(x) be the first derivative of x**4/4 - 2*x**3 - 4*x**2 + 9*x + 1. Suppose 0*b - 2*b = -14. Does 2 divide u(b)?
True
Let i = 0 - -2. Suppose -i*s = 4*y - 24, 3*s - 4*y + 4 = -2*y. Suppose -3*t + 130 = s*t. Is t a multiple of 13?
True
Let u = 11 + 49. Is 3 a factor of u?
True
Let d(u) = -u**3 - 6*u**2 - 2*u + 3. Is d(-6) a multiple of 5?
True
Let t(q) = -q + 270. Does 48 divide t(0)?
False
Let o = 9 + -4. Let w be (-14)/(o/((-5)/2)). Let u = w + -4. Is u a multiple of 3?
True
Suppose 0 = -x + 8*x - 140. Is 13 a factor of x?
False
Suppose 10 = 6*a - 14. Is a even?
True
Let y(r) = -r**3 - 5*r**2 - 3. Let d be y(-5). Let x(p) = -p + 2. Let c be x(0). Is 28 - (c + 6/d) a multiple of 11?
False
Let t = 6 - 5. Suppose 46 = -5*n + 2*b - 6*b, -b = -t. Does 4 divide 2 + 0 + n/(-2)?
False
Let y(h) = h**2 + h - 4. Let l(q) = 4*q**2 + 2*q - 12. Let o(v) = 2*l(v) - 7*y(v). Is 2 a factor of o(3)?
True
Let y be ((-8)/(-4))/((-2)/7). Is y/4*8/(-2) a multiple of 5?
False
Let f(a) = -a**2 - a + 38. Let m be f(0). Suppose 7 - m = -3*z + 2*c, 2*c + 22 = 2*z. Does 9 divide z?
True
Let z be (1 - -1) + 64/(-8). Let b = 38 - z. Does 22 divide b?
True
Let i = -274 - -560. Is i a multiple of 15?
False
Suppose -4*h = -0*h - 64. Does 8 divide h?
True
Let f(m) be the second derivative of m**5/20 + 5*m**4/6 + 5*m**3/3 + m**2/2 - 4*m. Is 20 a factor of f(-8)?
False
Let u(j) = 5*j**2 + 4. Let k be u(-4). Suppose -6*t - k = -2*t. Let r = 65 + t. Is 22 a factor of r?
True
Suppose 18 = 6*v - 4*v. Let b be (-3 - 0) + 0/(-2). Let i = b + v. Is i a multiple of 3?
True
Is 12 a factor of 1204/20 + 4/(-20)?
True
Suppose -324 = -4*l - 2*o, 4*l - o = -0*o + 330. Is 28 a factor of l?
False
Let c = 18 - 10. Suppose -5*z - 68 = -4*x - 3*z, -4*z = c. Is x a multiple of 8?
True
Is 9 a factor of 18*((0 - 2) + 4)?
True
Suppose -26 = -5*j + 3*s, 0*j + 5*j = -s + 18. Suppose -2*i = 4*d - 102, j*i = 5*d - 0*d + 165. Is i a multiple of 27?
False
Suppose v + 16 = -4*w, 3*w - 5*w - 30 = -5*v. Suppose -5*i - v*j + 100 = j, 2*i + 3*j = 42. Does 9 divide i?
True
Let d(v) = 2*v - 12. Is d(16) a multiple of 4?
True
Let d = 101 + -65. Let c = -7 + 99. Suppose 2*z - d = -2*m, -5*z - 2*m + c = m. Is 10 a factor of z?
False
Suppose 1220 = -5*q - 115. Let u = -181 - q. Does 25 divide u?
False
Let i = -54 - -85. Let f be ((-60)/(-16))/(2/(-8)). Let u = f + i. Is 16 a factor of u?
True
Let g(j) = -j**3 + 9*j**2 + 4*j - 4. Let c be 9 + 0*(-4)/(-8). Is g(c) a multiple of 8?
True
Suppose 2*d + 0*d = 52. Is 12 a factor of d?
False
Let l = -222 - -407. Suppose -3*n = -5*f + l, -f - 5*n - 2 = -11. Does 17 divide f?
True
Let t be (3 - -9)*(0 - -11). Let c = t + -85. Does 25 divide c?
False
Suppose 2*r = -2*t + 76, -2*t + 90 - 12 = 4*r. Is 4 a factor of t?
False
Let p = 32 + 344. Suppose 3*r - p = -r. Does 27 divide r?
False
Let t(k) = -3*k**3 + 3*k**2 - 2*k + 1. Let j be t(2). Let g = j + 25. Suppose 0 = -4*i - 4*a + 32, -2*i + g = -0*i - 4*a. Does 2 divide i?
False
Let o(x) = 61*x**2 - 2*x + 1. Let q be o(1). Suppose 0 = 3*p + p + 2*z - q, 0 = 3*p - 5*z - 45. Does 4 divide p?
False
Suppose 0 = 5*n + 30 - 10. Is 13 a factor of n/(-10) + (-128)/(-5)?
True
Let g(u) = 8*u + 4. Let n(o) = 9*o + 5. Let m(d) = 5*g(d) - 4*n(d). Let a be m(-1). Is a/(-6) + 8/6 even?
True
Let p(d) = 5*d + 2. Let k be p(-2). Let s be (k/2)/((-4)/22). Let t = s + -8. Is 14 a factor of t?
True
Suppose 0*c + 10 = -c. Let b = 22 + c. Does 6 divide b?
True
Does 10 divide (14/21)/(-1 + 284/282)?
False
Let v(y) = -y + 1. Let u be v(4). Let g = u + 11. Suppose -3*l - g = -26. Does 6 divide l?
True
Suppose 5*s - 3*s = 658. Does 47 divide s?
True
Suppose 4*t - 14 - 10 = 0. Suppose -3*d + t = 0, -2*b + 3*d = -b - 46. Is 11 a factor of b?
False
Let k(t) be the first derivative of -5*t**3/3 + 7*t**2/2 + 6*t + 2. Let r(y) = -6*y**2 + 6*y + 7. Let w(s) = 5*k(s) - 4*r(s). Is w(8) a multiple of 9?
False
Suppose -6*a = -2*a + 40. Let w be 12*7/2 - 0. Let s = w + a. Is 12 a factor of s?
False
Let k(y) = 4 - 3 - 10 + y. Let v be k(8). Is 2*(6/2 - v) a multiple of 4?
True
Suppose 2*h = -2*d + 2, 3*h - 18 = -0*h + 2*d. Suppose 0 = 7*z - 4*z - 135. Suppose -z = o - h*o. Does 5 divide o?
True
Let u(r) = -2*r + 1. Let t be u(0). Suppose 0 = p - t - 5. Is p a multiple of 6?
True
Let m(i) = 8*i + 8. Let l be m(6). Suppose -g - l = -5*g. Does 7 divide g?
True
Let p(j) = -j**2 + 11. Does 8 divide p(0)?
False
Suppose 7*b = 6*b + 238. Is 14 a factor of b?
True
Let c = 1 + 4. Suppose -4*q + 3*q - 4 = 0, -4*g - q + 12 = 0. Suppose 0 = g*k - 2*w + w - 10, k - c*w = -7. Is 3 a factor of k?
True
Suppose 3*m + 85 = c, 0*m + 5*m - 5 = 0. Does 11 divide c?
True
Suppose -p - 5 = -13. Suppose -3*v = v - p. Suppose -v*z + 26 = 4*i - 6*i, 3*z - 2*i = 36. Is 10 a factor of z?
True
Suppose 30 - 10 = 5*i, -4*i = 3*f - 136. Does 20 divide f?
True
Suppose -4*b - 5 = -21. Suppose -q + 1 = -b. Suppose -2*k + q*l - 73 = -5*k, 5*l = -k + 41. Does 8 divide k?
True
Does 23 divide (-9)/(-12) + 178/8?
True
Let m be 2 - (1 + -1)/(-1). Is 4 + m - (-2 - 0) a multiple of 4?
True
Let d(j) = 1. Let o(i) = 12*i - 4. Let p(y) = 10*d(y) + 2*o(y). Is 13 a factor of p(1)?
True
Suppose -24 = -7*a + 3*a. Let f = a + -1. Is f a multiple of 4?
False
Let y(w) = -w**2 + 8*w + 5. Does 4 divide y(7)?
True
Let l = 18 + -13. Let j(r) = -r**2 + 5*r + 4. Let i be j(l). Suppose -i*h - 4*n = -76, 4*h - 48 = 4*n - 4. Does 12 divide h?
False
Suppose 9 = -4*i + 29. Suppose 5*t + n - 103 = -0*n, 5*n = -i*t + 115. Is t a multiple of 6?
False
Suppose -8*a - 135 = -9*a. Is 45 a factor of a?
True
Let c be -11 - (-3 + -1 + 2). Let m be (3/c)/((-2)/30). Let y(s) = 4*s - 5. Is y(m) a multiple of 4?
False
Does 20 divide 0 + (3 + 0)*22?
False
Let h(o) = o**2 + 2. Let b be h(0). Suppose 111 - 27 = b*p. Does 19 divide p?
False
Let g be (-6)/(-8) + 18/8. Suppose 26 = 4*m - 9*m - 3*a, 0 = 2*m - g*a + 2. Let y = m - -9. Is y a multiple of 3?
False
Suppose 0*g - g = -77. Is 7 a factor of g?
True
Suppose -w = 3*l - 2, -5 = -2*l + w + 3. Suppose l*h + 0*h - q - 19 = 0, -2*q = h - 12. Is h a multiple of 5?
True
Suppose 0 = -4*o + 5 + 3. Suppose 5*d + 31 = -o*u, 3*d + 0*d + 23 = u. Let y = d + 42. Is y a multiple of 13?
False
Suppose z - 15 = -2*z. Let t(o) = -o**3 - 7*o**2 + 6*o + 11. Let a be t(-8). Suppose -3 - a = -z*d. Is d a multiple of 6?
True
Suppose -3*n + 21 = 3*f, -3*n + 7 = n - 3*f. Is (54/n)/(2/4) a multiple of 9?
True
Suppose y + 549 = 5*f, 4*f - 8*f = 2*y - 428. Is f a multiple of 15?
False
Let r be 5 - (-1)/1*-1. Suppose 0 = c + r, -2*h - 4*c = 3*h - 74. Is h a multiple of 9?
True
Suppose -i = -l - 3*l + 281, 0 = 4*l + i - 279. Is l a multiple of 14?
True
Suppose 0 = 5*u + x + 3*x - 141, u - 5 = 5*x. Let h = 41 - u. Does 5 divide h?
False
Let y(g) = -g**2 - 6*g - 4. Let n be y(-5). Let s be n + (10/(-2) - -1). Does 14 divide (0 + s)/((-18)/84)?
True
Let o(a) = a**2. Let g(p) = 2*p - 4. Let m be g(3). Let c be o(m). Suppose -2*k + c*k = 6, l + k = 35. Does 16 divide l?
True
Let a be (-8)/(-3) + (-3)/(-9). Let j(c) = 5*c**2 + 4*c - 4. Let h(x) = -4*x**2 - 4*x + 3. Let l(f) = a*j(f) + 4*h(f). Does 3 divide l(-3)?
True
Suppose -3*r = -0*r + t + 55, 69 = -4*r + 3*t. Let c = -10 - r. Is 15 a factor of (1 - 86/c)*-4?
False
Let t be 2*(2 + -13 + 2). Let y = -10 - t. Suppose 3*h - 2*g = 13, -5*h = 3*g + y - 36. Is 3 a factor of h?
False
Suppose 185 = u + 5*i, u + 4*i = 3*u - 356. Is u a multiple of 45?
True
Suppose -60 = -7*d + 2*d. Let c be d/42 + 19/7. Suppose c*o + 123 = 4*k - 0*k, o = -k + 36. Does 13 divide k?
False
Let a(w) = 3*w**2 + 10*w - 14. Is 35 a factor of a(5)?
False
Let v(m) = -m**3 - 5*m**2 - 2*m - 6. Suppose -7*z - 25 = -2*z. Let s be v(z). Does 3 divide (3 - (0 + s))*-3?
True
Let l(n) be the third derivative of 2/3*n**3 + n**2 - 1/8*n**4 + 0 + 0*n + 1/120*n**6 + 3/20*n**5. Does 12 divide l(-9)?
False
Suppose 0*f + 68 = 4*f. Is f a multiple of 7?
False
Suppose n - 6 = v, 2*n + 2*v = 6*n - 16. Suppose 190 = 3*o + 2*q, 0 = -4*o - 3*q + n*q + 260. Suppose -o - 4 = -5*d. Is d a multiple of 7?
True
Let l(a) = -235*a**2. Le