r of 2 - (-12)/2 - t?
False
Let v be (-3172)/(-28) + 4/(-14). Suppose -15 = 3*m, 0*m + 3*m - v = -4*q. Is 10 a factor of q/(-2 - -4) - 0?
False
Let f(h) = h. Let k be f(-6). Let i(u) be the third derivative of -u**4/24 + u**2. Is 4 a factor of i(k)?
False
Let v(q) = -18*q - 18. Does 7 divide v(-3)?
False
Let i = 40 + 8. Suppose -6*g + 3*g = -i. Is g a multiple of 12?
False
Suppose 3*y - 36 = -z + y, -5*z = -3*y - 128. Is 13 a factor of z?
False
Let j be 5*1*(6 - 5). Suppose -j*x + 41 = -74. Does 5 divide x?
False
Let i be 2*(2 - (-715)/2). Suppose -5*x + t + 913 = 0, i = x + 3*x + 3*t. Suppose -2*s = -2*r - 0*r - 76, -r = -5*s + x. Is s a multiple of 12?
True
Let b be 2*-1 - (-3 - -1). Let x be ((-1 - b) + 8)/1. Is x + 2*(-2)/(-4) a multiple of 3?
False
Let n(t) = t. Let k(q) = q - 9. Let r(a) = -k(a) + 2*n(a). Suppose -j - u + 4 = u, -5*j + 3*u - 6 = 0. Is r(j) a multiple of 4?
False
Let l = -3 - -7. Suppose c = 0, 44 = l*a - c - 2*c. Is 11 a factor of (-1)/(-2 + 21/a)?
True
Suppose 0 = -2*g - 5 - 7. Suppose 10 = 4*a + 4*o - 10, 0 = -5*a - 2*o + 16. Let z = a - g. Is 4 a factor of z?
True
Let j = -11 - -15. Suppose 5*y - 43 = j*y. Is 23 a factor of y?
False
Let p(g) = -56*g**3 + g**2. Is 4 a factor of p(-1)?
False
Let o(w) = -2*w**3 + 7*w**2 + 3*w + 3*w**3 - 4*w. Let q be o(-7). Suppose 5*z - 13 = q. Does 2 divide z?
True
Suppose -2*j + 3*d + 21 = 0, d = -4*j + 29 - 8. Let b be 0 + -2 + 3 + j. Let g = 0 + b. Is 4 a factor of g?
False
Let t(l) = 11*l - 90. Does 48 divide t(30)?
True
Suppose 5*o - 933 = 2*d, 0 = -0*d + 3*d + 12. Let j = -105 + o. Is j a multiple of 23?
False
Suppose 0*b - 4*b - u + 80 = 0, 3*b - 3*u - 75 = 0. Let m = b + -13. Does 8 divide m?
True
Let i = -1 + 3. Suppose -2*d = -h - 12, -2*d = 3*h + i*h - 36. Does 3 divide d?
False
Let x(z) = 4*z**2 + z + 2. Let j be x(2). Suppose 4*s = 60 - j. Does 5 divide s?
True
Suppose 4*w - 49 = 7. Does 16 divide (576/(-84))/((-2)/w)?
True
Let d(n) = n**3 - 7*n**2 - 6*n + 2. Let a be d(4). Let k = -41 - a. Is k a multiple of 13?
False
Suppose 2*t + o - 11 = 0, 11 = 5*t + o - 18. Let s = t - -12. Does 9 divide s?
True
Suppose y - 65 = 6*y. Let g = y - -27. Is 9 a factor of g?
False
Suppose -4*h + 0*g + 18 = 2*g, 3*h - g = 1. Suppose 108 - 2 = 2*u - 4*x, x = -h. Does 14 divide u?
False
Suppose 3*i + 8 = w, -5*i + 2 - 30 = -3*w. Let c = w - -11. Does 19 divide c?
False
Is 4 a factor of 58/6 - 2/3?
False
Let o = 248 + -159. Does 18 divide o?
False
Let y(c) = -c**3 - 12*c**2 - 13*c - 12. Let u be y(-11). Let i(j) = u*j + 15*j + 6*j - j. Is 11 a factor of i(1)?
False
Let h(w) = -4*w - 10. Is h(-19) a multiple of 6?
True
Does 20 divide (1/2)/(5/680)?
False
Suppose 0 = 4*w - 277 - 75. Suppose -5*u = -167 - w. Is u a multiple of 16?
False
Let x(k) be the second derivative of k**3 - 4*k**2 - k. Let j be x(6). Let q = -19 + j. Is 4 a factor of q?
False
Is 37 a factor of (-2610)/(-21) - (-4)/(-14)?
False
Let a be (-335)/(-20) + 1/4. Suppose -5*m - 5*u - a = -2*m, 5*m + 5*u + 45 = 0. Let h = 39 + m. Does 19 divide h?
False
Let x(w) = 9*w + 1. Suppose 7 - 1 = 3*b. Is x(b) a multiple of 15?
False
Let k(a) = a**2 + 14*a + 20. Does 10 divide k(-18)?
False
Suppose -2 = -2*w + w. Let p be 2 - (-94 + (2 - w)). Does 8 divide ((-4)/6)/((-4)/p)?
True
Let n(k) be the second derivative of k**3/3 - 7*k**2/2 - 47*k. Let g be (1 + -1 + -1)*-6. Is n(g) a multiple of 3?
False
Suppose -14*h + 333 = -367. Is 50 a factor of h?
True
Let o(h) = h**3 - h**2 + 4*h - 4. Let d be o(5). Let u = -70 + d. Is 12 a factor of u?
False
Let b be (8/24)/(2/282). Suppose -b = -5*a + 33. Is 3 a factor of a?
False
Let w = -18 - -74. Is 23 a factor of w?
False
Suppose -6*l = -2*l - 8. Suppose 0 = l*w + q - 57, -5*w + q + 2*q + 115 = 0. Is 13 a factor of w?
True
Suppose 4*c + 60 = 8*c. Suppose y = 11 + c. Suppose 3*b - 16 - y = 0. Does 14 divide b?
True
Suppose -5*r = -5*s - 25, -4*r - 2*s - 3 = 7. Suppose r*a + 4 = 4*a, -4*y - 2*a + 78 = 0. Suppose 3*c = 143 + y. Is c a multiple of 20?
False
Let v(u) = 4*u - 6. Is v(10) a multiple of 17?
True
Suppose o - 4*v - 24 = 0, 5*o - 137 = -0*v + 3*v. Is 2 a factor of o?
True
Let v be 2/(3 + (-30)/9). Suppose 3*i + 130 = -2*c, -2*i - i = 3*c + 132. Does 8 divide ((-20)/v)/((-7)/i)?
False
Is 26 a factor of (-226)/(-4)*(-6 + 8)?
False
Let o(r) = -r**3 + 3*r**2 + 4*r + 1. Let h be o(4). Let d be (0 + (-1 - -2))/h. Is (d/2)/((-5)/(-540)) a multiple of 18?
True
Let q = 8 + -5. Let o = q + 4. Is o even?
False
Let b = 99 + -58. Suppose 0 = 4*n + b + 7. Is 14 a factor of ((-20)/(-15))/((-1)/n)?
False
Let t = 22 - 11. Does 5 divide t?
False
Let j(r) = 24*r + 10. Let f(a) = a + 1. Let t(v) = 10*f(v) - j(v). Suppose 2*w + 4 + 0 = 0. Is 14 a factor of t(w)?
True
Suppose -5*v = -q + 133, 2*v = -q - 3*v + 93. Does 46 divide q?
False
Suppose -4*w + 5*y = -1010 - 193, -4*w + 1197 = -3*y. Is w a multiple of 44?
False
Let k(x) = -x**3 + 11*x**2 - 10*x + 4. Let y be k(10). Suppose 0*f - y = -2*f. Suppose 6*l - l + 5*h = 250, -f*l + 2*h + 80 = 0. Does 13 divide l?
False
Suppose l - 7*x = -3*x + 95, 0 = 2*l - 5*x - 175. Let r = 4 - -1. Suppose l = r*m - 2*m. Is 9 a factor of m?
False
Suppose 0 = 3*q + 15, -3*l + 131 = 5*q - 60. Does 23 divide l?
False
Suppose -f + 2*f - 2*b = 164, 5*f - 826 = 4*b. Suppose y = -128 + 20. Let n = f + y. Does 21 divide n?
False
Let i(d) = 4*d + 3*d - 3 - d. Is i(2) a multiple of 4?
False
Let y be 0*1/(2 + -1). Let j(v) = -2*v**2 - 2*v + 1. Let h be j(-2). Let a = y - h. Is a even?
False
Let z = -1 - -2. Does 3 divide z*-2*66/(-12)?
False
Let n be 1/(-2) + 258/4. Suppose 0*d - 2*d = -n. Is d a multiple of 14?
False
Let q be (10/(-3))/(2/(-3)). Suppose 4*m - q = -2*x + 25, 0 = x + 5*m - 15. Suppose 23 = 2*u - x. Is 16 a factor of u?
False
Let p = 13 - 7. Suppose 2*n - p = -n. Does 7 divide (0 + 0 - n) + 23?
True
Suppose 4*v - 1640 = 72. Suppose -v + 28 = -4*b. Suppose -4*p + 2*r + b = 0, 3*p = r - 9 + 83. Does 9 divide p?
False
Suppose 0*y + 68 = 2*y. Does 10 divide y?
False
Let v = -4 - -7. Suppose -h - 36 = -v*h. Is 6 a factor of h?
True
Suppose t - 84 + 24 = 0. Does 20 divide t?
True
Suppose 5*y + 9 = 4*n, 0 = -4*n + y + 8 - 3. Let a = 3 - n. Suppose u = a + 1. Does 3 divide u?
True
Let b(d) = -7*d - 12. Does 28 divide b(-6)?
False
Let y(q) be the third derivative of q**5/60 - q**4/3 + 13*q**3/6 + q**2. Does 8 divide y(9)?
False
Let o(s) be the second derivative of -13*s**3/6 - 3*s**2 - 3*s. Let k be o(-6). Let v = -43 + k. Is v a multiple of 13?
False
Let f = 85 - 46. Is f a multiple of 6?
False
Suppose 0 = -6*o + 5*o. Suppose o*c = -5*c + 45. Does 7 divide c?
False
Let v = 54 + -26. Is 9 a factor of v?
False
Is (-9)/(-1)*1*(-1 - -2) a multiple of 5?
False
Let w(g) = -g**2 - 5*g + 7. Let u(f) = 4*f + 3. Let s be u(-2). Is w(s) a multiple of 4?
False
Suppose 8*l - 2*l = 300. Is l a multiple of 10?
True
Let z be 24/16*4/2. Suppose z*d + 2*f - 32 = 9, 0 = -5*f + 20. Does 4 divide d?
False
Suppose v = 15 + 12. Suppose -195 + v = -4*y. Does 14 divide y?
True
Let y = 5 - 120. Let v be (4/(-10))/(1/y). Suppose -5*u = -5*k - 145, -5*k + 141 = 3*u + v. Is u a multiple of 10?
True
Suppose 0 = -3*y - y. Suppose y = -2*l - 3 + 1, 15 = f - 4*l. Is 4 a factor of f?
False
Suppose -5 = -u - 0. Suppose u*p - 65 = -0*p. Is p a multiple of 3?
False
Suppose 4*t + 46 = 5*j, 3*j - 4*t - 39 + 13 = 0. Let y = -4 + j. Does 3 divide y?
True
Let u be (4 + -4)*(-1)/(-2). Suppose 9 + 0 = 3*m. Let r = u + m. Does 3 divide r?
True
Let g(q) = 2*q**2 + 6*q + 3. Suppose -2*x + 6*x + 16 = 0. Is g(x) a multiple of 3?
False
Is 1170/(-91)*28/(-3) a multiple of 20?
True
Let k = 252 - 39. Does 45 divide k?
False
Suppose 3*q = 124 + 47. Let p = -3 + q. Is p a multiple of 28?
False
Suppose 27 = 2*s + j, 2*j + 2 + 4 = s. Is s/54 + 754/9 a multiple of 20?
False
Does 8 divide (-517)/(-66) + (-2)/(-12)?
True
Suppose -4*f + 318 = 2*f. Is f a multiple of 11?
False
Let y = 4 + -2. Suppose -t = -3*d + 119, -y*t - 5*d = 256 + 37. Does 11 divide 4/(-10) - t/10?
False
Is 12 a factor of ((-12)/18)/(2/(-51))?
False
Let n(y) = -5 - 4*y + y + 6*y + 2*y. Is n(5) a multiple of 10?
True
Let k = 59 + -22. Let h = k + 23. Does 15 divide h?
True
Let l be 1/2*(-1 - -1). Let m be -1 - (l - (-2 + 4)). Let r = m - -1. Is r even?
True
Let a(d) = 5*d