 multiple of 27?
True
Suppose 3*f - 198 = -5*s, -f - 4*f = -5*s - 290. Let o be 2/6*(-133 - -10). Let l = o + f. Does 8 divide l?
False
Let x(d) = -10*d - 9. Is 7 a factor of x(-3)?
True
Let v = 5 - 1. Let h(w) be the first derivative of w**2 - 4*w - 3. Is h(v) even?
True
Suppose g = c + 35 + 24, 4*c - 5*g = -234. Let d be c/4*16/4. Let v = -27 - d. Is 17 a factor of v?
True
Let j be 1/(-5) - (-78)/15. Suppose 72 = -g + j*g. Is 9 a factor of g?
True
Is 37 a factor of (-11860)/(-50) - (-2)/(-10)*1?
False
Let p = -13 + 48. Is p a multiple of 5?
True
Let d = -14 - -15. Let q(l) = 16*l**2 + 1. Is 9 a factor of q(d)?
False
Suppose 2*t = 3*d - 2*t - 20, -4*t = d + 20. Let u = d - -25. Does 14 divide u?
False
Suppose 148 = -w + 4*w + o, 0 = 4*w + 2*o - 198. Is w a multiple of 7?
True
Let w be 1/(1 - 0)*-19. Suppose 10*r = 14*r + 36. Let y = r - w. Does 9 divide y?
False
Let r be ((-4)/(-10))/((-3)/(-15)). Suppose 0 = i - 3*u + r, 6*u - 2*u + 4 = 3*i. Is 3 a factor of i?
False
Let q = 16 + 46. Suppose 4*w = -5*f + q, -f - 3*w + 8 = -0*w. Does 6 divide f?
False
Suppose 2*a = 3*n + 18, -3*n + 4 = 2*a + n. Let i be (-1)/(1*(-2)/84). Suppose -5*x = -a*o + 2*o - 32, -o = 5*x - i. Does 4 divide x?
True
Suppose -23 - 5 = -5*b - m, -2*m + 11 = b. Suppose 4*y - 271 = -3*o, -y - b*o - 36 + 125 = 0. Is 16 a factor of y?
True
Let r = 6 - 3. Suppose -2*u - 16 = -r*u - p, 5*u = -p + 60. Does 7 divide u?
False
Let p(s) = 4*s**2 - 14*s - 6. Is 23 a factor of p(7)?
True
Let g(a) = 17*a**2. Let t be g(1). Let b = 39 - 11. Let w = b - t. Does 10 divide w?
False
Let l(z) = -z - 7. Let i be l(-8). Suppose 4*f = 3*f - i. Is (f - 0) + 11 + -1 a multiple of 9?
True
Suppose 2*l - b = 53, -3*b - 24 = 2*l - 3*l. Is 15 a factor of l?
False
Suppose -5*y = 3*j + 14, 4 = -5*j - 5*y - 6. Suppose -6*g + j*g = 12. Does 20 divide (116/(-6))/(1/g)?
False
Suppose -4*o = -6*o + x + 47, 3*o - 74 = 5*x. Is o a multiple of 7?
False
Let h = 1 + 3. Suppose x - h = 4. Is 4 a factor of x?
True
Suppose -26 = 3*u + v, 4*u + 2*v - 4*v = -28. Let h be u*1/(-2) + 3. Let c(s) = -s**3 + 6*s**2 + 8*s. Is c(h) a multiple of 3?
False
Let t(y) = 2*y**3 - y**2 + 1. Let u be t(-1). Let d be (0 - -44)/(3 + u). Let c = d - 21. Does 11 divide c?
False
Let w be ((-5)/(-4))/((-4)/(-16)). Let v(y) be the second derivative of 2*y**3/3 - 2*y**2 + y. Is v(w) a multiple of 10?
False
Let q be 2/(-2)*(-3 + 1). Suppose -2 = -3*m + 4*b, 0 = 4*m - 2*b - q*b + 4. Let n(u) = -u**3 - 5*u**2 + u + 8. Is n(m) a multiple of 13?
False
Let u(g) = -g**3 - 9*g**2 - 8*g + 3. Let d be u(-8). Suppose 0 = -0*a - a - d*o + 37, -2*a = -5*o - 63. Does 12 divide a?
False
Does 9 divide 27/108 - (-286)/8 - 0?
True
Let r = -8 - -10. Suppose -m - 96 = -3*o, -2*o - r*o = m - 121. Is 10 a factor of o?
False
Let a be 6*(0 + (-6)/4). Let w(x) = -4*x - 13. Is w(a) a multiple of 11?
False
Does 5 divide (-225)/3*8/(-12)?
True
Let u = 12 + -8. Let o = u - 1. Is 9 a factor of ((-3)/(-1))/(1/o)?
True
Suppose 0 = -5*o + o, -2*d - o + 10 = 0. Suppose d = -6*y + 5*y. Let h(n) = 2*n**2 + 7*n - 1. Is h(y) a multiple of 7?
True
Does 8 divide (-64)/(-16) - (0 - 132)?
True
Let z(f) = f**3 + 8*f**2 + 3*f + 1. Let h be z(-7). Suppose 2*i = -2*x - 2*i + 20, 0 = -5*x - 4*i + 74. Let v = h - x. Is v a multiple of 11?
True
Let m(u) = 5*u**2 - 2*u - 4. Let r be m(4). Let b = r + -46. Is b a multiple of 16?
False
Let x(l) = 4*l**3 - l**2 - 2*l + 4. Let r(t) = -5*t**3 + 3*t - 4. Let j(p) = -5*r(p) - 6*x(p). Let k be j(-6). Does 14 divide k/(-5)*(-3 - 2)?
True
Let b(j) be the third derivative of 0 + 0*j + 3*j**2 - 1/3*j**3 + 5/6*j**4. Is b(2) a multiple of 19?
True
Suppose 2*x + a + 120 = 4*x, -a - 60 = -x. Is 20 a factor of x?
True
Let x = -117 + 173. Does 6 divide x?
False
Let t(u) = u**3 + 7*u**2 - 2*u + 4. Let s(q) = 2*q**2 - 10*q**2 + 11 + 4*q - 15*q + q**3. Let i be s(9). Does 14 divide t(i)?
False
Suppose -3*n = -5*z - 132, 0 = 2*n + 2*n - 2*z - 176. Is n a multiple of 22?
True
Let s(j) = -j + 3. Let i(u) = 3*u + 6. Let g be i(-5). Is s(g) a multiple of 6?
True
Let g(q) = 2*q**2 - 2*q. Let l(m) = 2*m - 9. Let v be l(6). Is 12 a factor of g(v)?
True
Suppose -2*s = 3*s - 25. Let l be (-42)/s - (-3)/(-5). Let t(y) = y**2 + 6*y - 11. Is t(l) a multiple of 15?
False
Let s be ((-11)/3)/(1/(-3)). Suppose s = -c + 2*c. Is c a multiple of 5?
False
Suppose 0 = 6*t - 11*t - b + 5, -2*t + 3*b - 15 = 0. Suppose 3*l + 2*l - 85 = t. Is 7 a factor of l?
False
Let b(h) = -10*h + 75. Does 15 divide b(-6)?
True
Let s = 55 - 27. Suppose 48 = -2*l - 4*y, -s + 100 = -4*l + 4*y. Let m = -14 - l. Is m a multiple of 3?
True
Suppose -12 = -5*x + 18. Is (4/x*-9)/(-1) a multiple of 2?
True
Let p(q) = q**3 + 2*q**2 + 2*q. Let r(b) = 2*b**3 + 2*b**2 + 2*b. Let s(g) = -3*p(g) + 2*r(g). Let i be s(3). Does 5 divide (-3)/(i/(-18)*2)?
False
Suppose -2*d = -2*h + 56, 3*h + 3*d - 31 = 41. Does 6 divide h?
False
Does 4 divide (0/(-2) + 14)*1?
False
Let k be 2/9 + (-4)/18. Suppose k = g + 2*g + 12. Is 17 a factor of 1*35 - g/4?
False
Let v = -2 + 0. Let j = 14 + v. Is 6 a factor of j?
True
Does 7 divide ((-63)/12)/(6/(-32))?
True
Suppose -13*l + 116 = -53. Is 13 a factor of l?
True
Suppose 5*k = -5*x + 57 - 17, -3*x = -3*k + 6. Let v = -35 + 81. Suppose x*q - 2*q = -2*l + v, -2*q + 92 = 2*l. Does 23 divide q?
True
Let p(a) = 3*a**2 + a. Let c(z) = -z**3 + 4*z**2 - 4*z. Let v be c(3). Does 8 divide p(v)?
True
Let j(v) = 2 - 5 + 8 - 5*v. Let a be j(-4). Let s = a + -13. Is s a multiple of 7?
False
Suppose -4*r - 10 = -26. Is 3 a factor of r?
False
Let n be -1 - (22/2 + -2). Let w(x) = -x**3 - 9*x**2 + 10*x + 6. Let o be w(n). Is ((-14)/(-3))/(4/o) a multiple of 7?
True
Suppose -i + 84 = -4. Suppose c = 5*c - i. Does 22 divide c?
True
Let u(y) = -y + 1. Let b(f) = 4*f - 6. Let i(p) = b(p) + 8*u(p). Suppose -4*g - 23 = -5*c, 0 = -3*g + 6*g - 4*c + 18. Is 6 a factor of i(g)?
False
Let g(w) = w + 9. Let v be g(-6). Suppose 0 = v*f - 266 + 89. Is 3/(-4) + f/4 a multiple of 14?
True
Let n be (-3)/(-6) + 10/(-4). Does 5 divide 2 + 5 + 0 + n?
True
Suppose 5*x + 215 = 3*q, -4*x - 194 = -2*q + 4*q. Let y = 9 + x. Let p = y - -52. Is 11 a factor of p?
False
Let p(k) be the third derivative of 3/20*k**5 + 0*k + 0*k**3 + 0 + 2*k**2 + 0*k**4. Is p(2) a multiple of 18?
True
Let t(u) = u**3 - 6*u**2 + 5*u + 6. Is 15 a factor of t(6)?
False
Let w = 58 + -10. Does 16 divide w?
True
Suppose 3*q = q. Suppose 3*i - 6*i + 39 = q. Is i a multiple of 3?
False
Let c = 43 + 4. Let d = -17 + c. Is d a multiple of 15?
True
Let x be (2/3)/(2/(-21)). Let f(a) = -9*a - 8 + 3*a + 2. Does 18 divide f(x)?
True
Suppose -5*q + 140 - 45 = 0. Is 6 a factor of q?
False
Let h be (6/(-18))/(1/(-6)). Let w be 17/h*(-3 - -5). Let k = w - 1. Is 8 a factor of k?
True
Let d = 100 + -33. Is 19 a factor of d?
False
Suppose -o + 10 = -j - 4, -3*o - j = -22. Suppose 3*c = 5*b - 29, 0*b - 10 = 5*b. Let z = o - c. Does 11 divide z?
True
Let v = 37 - 57. Is (v/5)/(1/(-8)) a multiple of 16?
True
Let x = -230 - -498. Suppose -280 = -3*o - 2*a, 0*o - 3*o - 5*a = -x. Is o a multiple of 25?
False
Let i(r) = -21*r - 19*r + 7*r. Let a be i(-1). Suppose 5 - a = -4*q. Is q a multiple of 2?
False
Suppose 1 + 24 = 5*w. Suppose 5*h + w + 15 = 0. Is (-8)/(h/2 - -1) a multiple of 3?
False
Suppose 0 = t + 6 + 19. Let s = 50 + t. Is s a multiple of 10?
False
Let g = -26 + 79. Does 12 divide g?
False
Let d = 11 + -6. Suppose -3*g - 2 = -d*g. Is (g/(-1))/((-1)/19) a multiple of 5?
False
Suppose -3*f - 15 = 0, 19 = -n - f - 3*f. Let p be -223 - (n - 3 - 1). Is 11 a factor of (-2)/(-5)*p/(-4)?
True
Let v be (-825)/(-9) - (-2)/6. Suppose 3*h = 2*f + v, -5*h + 166 = 6*f - 3*f. Is h a multiple of 11?
False
Suppose -r + 2 = 4*w - 2, 2*w - 4*r = -16. Suppose -u + w = -2*x - 8, -10 = -u + 4*x. Is u a multiple of 5?
False
Let p(z) be the third derivative of z**7/180 + z**6/720 + z**5/60 + z**2. Let y(i) be the third derivative of p(i). Is y(1) a multiple of 11?
False
Suppose 0 = -3*w + w - 5*o - 1, -3*w = 4*o - 16. Is w a multiple of 3?
True
Let u(m) = -m**3 + 8*m**2 - 8*m. Is u(6) a multiple of 6?
True
Let i(h) = h**3 - 9*h**2 + 10*h + 4. Does 5 divide i(8)?
True
Let b be (2/2 + -1)/(-1). Is 12 a factor of 14 + (b - (-2)/(-1))?
True
Suppose 0 = -6*g + g + 395. Does 20 divide g