de (52/f)/(2/3)?
True
Let c(l) = -l**2 + 5*l + 6. Is 3 a factor of c(5)?
True
Let n(t) = -t**3 + 4*t**2 + t - 6. Let y be n(3). Is 3/6 - (-135)/y a multiple of 8?
False
Let q(x) = x**3 + x. Let s be q(0). Does 12 divide -2 - (1*-29 + s)?
False
Suppose 0 = u - 2 - 1. Suppose 6*f = u*f + 105. Let p = 57 - f. Is p a multiple of 10?
False
Let w be (36/30)/(3/(-110)). Let l = 37 - w. Does 27 divide l?
True
Let u = -6 - -6. Let b = u + 10. Is 4 a factor of b?
False
Suppose 2*w + 15 = 7*w. Let g = w - -3. Does 2 divide g?
True
Suppose p - 22 - 1 = 0. Does 10 divide p?
False
Let n(v) = -7*v - 5. Suppose 33 = -3*l + 12. Is n(l) a multiple of 22?
True
Let x(n) = 137*n. Let w be x(1). Suppose j - w + 8 = 0. Suppose 4*h + 29 = -4*v + j, -v - 5*h + 45 = 0. Is 8 a factor of v?
False
Let j(k) = -k - 10. Let p be j(-14). Let f(w) = -w**3 + 4*w**2 + 2*w + 2. Is f(p) a multiple of 5?
True
Suppose -w + 2*w = 5*n - 14, -3*n = -2*w - 14. Let c = 6 + w. Suppose 4*b - c*d - 22 = 3*b, 0 = 4*b - 4*d - 76. Does 9 divide b?
False
Let b be 0/1 - (-72)/4. Is -6*-3*20/b a multiple of 10?
True
Let g(r) = r**3 - r**2 + r + 1. Suppose 4*y = -5*s + s - 8, -5*s - 18 = y. Is g(y) even?
False
Let l(k) = k + 14. Let b be l(-10). Suppose -b*m - 1 + 5 = 0, 2*i = -5*m + 11. Is (-1 - -2) + 2*i a multiple of 7?
True
Let f(i) = -4*i**2 - 22*i. Does 5 divide f(-5)?
True
Let t = 8 + 4. Is (t - -15) + 8/2 a multiple of 9?
False
Suppose 16*s + 370 = 21*s. Suppose -5*n + s = -261. Is n a multiple of 25?
False
Let v(b) be the first derivative of 2*b**3/3 - 2*b**2 + 3*b + 7. Does 2 divide v(2)?
False
Suppose -2*y + 161 = -97. Suppose 0 = -5*b + 2*m + y, -5*m + 0 = -15. Is b a multiple of 27?
True
Suppose 6*k - 190 = 5*k. Does 40 divide k?
False
Let a = -58 + 83. Let s = 6 + a. Is s a multiple of 9?
False
Let s = 69 - -5. Suppose -s = -4*b - 6. Is 15 a factor of b?
False
Suppose 3*c - 31 = 2*m, c - 12 = -m + 2*m. Does 2 divide (-2)/c - 30/(-7)?
True
Suppose -3*g + 2*m = 244, 2*g = 5*g - 5*m + 241. Let d = g + 120. Is d a multiple of 12?
False
Let m = 7 + -1. Suppose 0 = -4*v - 12, -2*j - 3*v + 13 = -6*v. Suppose j*o - m*d + 2*d = -2, d = 5*o - 22. Is 3 a factor of o?
False
Let f = -14 + -28. Let n = -24 - f. Is n a multiple of 18?
True
Suppose 2 = 4*g - 3*i, -i - 4*i - 10 = 0. Let n = 1 + g. Suppose -4*w + 56 + 32 = n. Is w a multiple of 13?
False
Let d = -1 + 4. Let q = 0 + d. Suppose 2*x - 19 = -5*w, 7 = x + 3*w - q. Is x a multiple of 3?
False
Suppose g = -4*x + 12, g = 3*g - 4*x. Does 5 divide ((-6)/g)/(3/(-40))?
True
Let h(o) = -o**2 + 1. Let q(g) = -g + 3. Let i be q(4). Let d be h(i). Suppose 38 = 2*p - 5*t, p + 3*t - 5 - 3 = d. Is 14 a factor of p?
True
Suppose -4*s + 11 = -9, -3*s = 3*q + 3. Suppose 5*y - 15 = 6*y. Let d = q - y. Is 4 a factor of d?
False
Let k be (3*15)/((-1)/(-18)). Let g = 526 - k. Does 12 divide (-2)/(-6) - g/12?
True
Suppose 4*m - 5*d = 39, m + 8 = -4*d + 2. Suppose 4*k - 18 = m*k. Let r = -4 - k. Is r even?
False
Let x be (-21)/(-12) + 3/(-4). Does 6 divide 17 + (2 - x)*-1?
False
Suppose 4*g = -5*x + 41, -x + 40 = 3*x + 5*g. Suppose -5*q = -q + x*s - 9, -3*q + 30 = -4*s. Does 3 divide q?
True
Suppose -2*a = 3*u - 22, 20 = u - 5*a - 10. Let j be 3/1 + u/(-2). Is 17 a factor of 3/1 + j + 16?
True
Let n = 69 + -45. Is 12 a factor of n?
True
Suppose o - b - 22 = 0, 5*o - 2*o = 2*b + 70. Let u = -10 + o. Is 8 a factor of u?
True
Suppose -2*p = 82 - 350. Is p a multiple of 28?
False
Let s = -38 + 80. Is s a multiple of 14?
True
Let a(f) = -f**2 - 8*f + 5. Let x be a(-8). Suppose 2*w + 3*v - 28 = 0, -x*w - 4*v + 35 = -28. Is w a multiple of 8?
False
Let r(v) = -v**3 - 15*v**2 - 17*v - 2. Is r(-14) a multiple of 8?
True
Let h(v) = -v**3 + 6*v**2 - 6*v - 4. Let c be h(5). Let b = c - -13. Suppose 5*g = -b*j + 2*j + 126, 3*g + j = 75. Does 12 divide g?
True
Suppose 4*d + 3*z = 1524, -5*d + 3013 = 4*z + 1109. Is 24 a factor of d?
True
Let l(p) = p**2 - 8*p - 10. Let r = 7 + -6. Let g be 17 - 4 - 3*r. Does 10 divide l(g)?
True
Let i = -19 + 68. Is i a multiple of 8?
False
Let z(n) = -2*n + 22. Is z(-5) a multiple of 3?
False
Let l be (-15)/(-2) + 1/(-2). Let g = 11 - l. Suppose g*z + 43 = 3*a - 45, 2*z = -2*a + 68. Does 17 divide a?
False
Suppose 12 = n - 0. Is 129/n + (-2)/(-8) a multiple of 4?
False
Let b(m) = m**2 - 2*m + 5. Is 12 a factor of b(7)?
False
Suppose -o = 3*o - 8. Suppose -o*a = 3*a + 4*l - 4, 0 = 5*a - 4*l + 4. Suppose a = -n + 18. Is 16 a factor of n?
False
Let g(n) = 2 - 1 - 10*n + 5*n. Let m be g(1). Let h = 34 - m. Is h a multiple of 19?
True
Let g = 7 + -2. Let m = 3 - g. Is 10 a factor of (-2)/m + -3 + 23?
False
Let k = -24 - -24. Suppose 0 = -5*q - u + 417, 2*q + k*q - 3*u - 177 = 0. Does 28 divide q?
True
Let f be 5/5 - (-4)/(-2). Let b be (-2 - -12)/((-2)/f). Suppose -b*r + 2*j = -0*j - 28, -4*j + 4 = 0. Is 4 a factor of r?
False
Let i = 5 - 3. Suppose 3*d + 5*y - 41 = 0, i*d = -0*d - y + 18. Is 4 a factor of d?
False
Let v be -2 - (-2 + -4)*1. Suppose -5*u + v = -96. Is u a multiple of 8?
False
Suppose 487 + 376 = 2*l - x, -4*x = 2*l - 868. Suppose -3*r + 7*r = l. Does 27 divide r?
True
Suppose -k + 4 = -2*k. Let x = k - 29. Let b = 61 + x. Does 13 divide b?
False
Suppose -m + 7 = -q, m + 8 = -4*q - 0. Let g = -14 + 22. Suppose 0 = g*b - m*b - 12. Is b a multiple of 3?
True
Let s(l) = l**3 - 4*l**2 + 5*l - 2. Let i be s(3). Suppose 0 = -i*n - 5*k + 141, n - 46 = -5*k - 7. Is n a multiple of 7?
False
Let p = -14 - -52. Is 10 a factor of p?
False
Suppose 5*d - 39 = -2*l + 26, 0 = -3*l + 2*d + 126. Suppose g = 5*u + l, 5*u = -5*g + 167 + 93. Is 20 a factor of g?
False
Suppose 3*p - p = 0. Suppose 2*y - 4*f - 18 = p, -f - 20 + 8 = -3*y. Suppose -y*g - 13 = -4*g. Does 5 divide g?
False
Let w be ((-1)/(-1))/((-3)/(-12)). Suppose -w*q = -5*q + 8. Is 3 a factor of q?
False
Suppose d = -3*p - 19, -4 = 5*d - d. Let j(r) = -2*r + 12. Let q be j(10). Let v = p - q. Is 2 a factor of v?
True
Let z(v) = 4*v + 39. Is z(-3) even?
False
Let m be (-1)/3 - 816/(-18). Suppose -2*f + 45 + m = 0. Is 23 a factor of f + -1*(0 + -1)?
True
Suppose 5*l + 0*w = w + 20, 0 = -l + 4*w + 23. Let j be l/((-4)/(24/(-9))). Does 8 divide 17/1 - (-1 + j)?
True
Let d(z) be the second derivative of -z**4/12 + 5*z**3/6 + 4*z**2 - 2*z. Let s be d(7). Is 5 a factor of ((-4)/s)/((-2)/(-30))?
True
Let s be 24/(1 + 20/(-12)). Is 11 a factor of s/21*(-70)/4?
False
Let o be (2 - 1)/(2/6). Let m(z) = z**3 + 4*z**2 - 6*z - 1. Let i be m(-5). Suppose 0 = -o*f + i*v + 42, 3*v - 70 = -5*f + 7*v. Is 6 a factor of f?
False
Is -2 + (-41)/((-4)/8 + 0) a multiple of 17?
False
Let m = 5 - 5. Suppose m = 2*c - 3*c + 26. Is 13 a factor of c/(1/((-3)/(-6)))?
True
Is 7 a factor of 1476/16 - 1/4?
False
Suppose 3*u + 12 = 3*z - 57, -5*u + 4*z - 110 = 0. Let k = -13 - u. Suppose -t = -5*g + 9 + 86, 0 = 4*g - k*t - 97. Does 11 divide g?
False
Let n(d) = -4*d - 8. Suppose 0 = -4*g - 5*q - 64 + 21, -g - q - 10 = 0. Let p be n(g). Suppose -3*m + 148 = 4*j - 8*m, j + 3*m = p. Is j a multiple of 16?
True
Let q be (-9 - -9)/(2/2). Suppose q = -a + 5*a - 4*y - 440, 2*a + 3*y - 240 = 0. Does 23 divide a?
False
Let r = -88 + 5. Let u = -41 - r. Suppose -4*a + 2*a + u = 0. Does 12 divide a?
False
Let y = -5 - -6. Let k be -1 + (3 + 2)/y. Suppose -95 + 15 = -k*q. Is 19 a factor of q?
False
Suppose 2*u + 2 = 3*u. Suppose 0 = -3*h - c + 7, -2*h - 2*c + 5 = h. Suppose -h*f - 12 = -t, t + 4*f - u = 3. Is 9 a factor of t?
True
Suppose 0 = -0*f - 3*f + 9. Let g be (2 - f)*(1 + 0). Does 2 divide (1 + 0)*(g - -5)?
True
Let x(r) be the third derivative of -r**5/60 + 5*r**4/24 + 4*r**3/3 - r**2. Let p be x(6). Suppose -3*v = 2*z - 30, -p*z + z = 3*v - 33. Does 12 divide v?
True
Let p be 0/(0/(-1) + 1). Suppose 36 = 4*k - p*k. Is 9 a factor of k?
True
Let t = -11 + 39. Is t a multiple of 4?
True
Suppose -20 = 3*u - 8*u. Suppose 54 = u*m - m. Is m a multiple of 18?
True
Let g(d) be the third derivative of d**6/120 - d**4/24 + 3*d**3/2 - 3*d**2. Let n be g(0). Suppose -5*j = -n - 31. Is 8 a factor of j?
True
Suppose 5*c - 9 - 4 = 2*u, -4*c + 14 = 2*u. Suppose -c*l + 11 + 43 = 0. Does 11 divide l?
False
Let x = -254 - -525. Is 28 a factor of x?
False
Is 44 a factor of 477/4 - 6 - (-3)/4?
False
Let x(h) = 3*h - 1. Let u be x(5). Suppos