et y be ((-5)/2)/(2/4). Does 26 divide l(y)?
False
Let g = 57 - 31. Is 16 a factor of g?
False
Let p be 38/5 - (-4)/10. Suppose -4*u - 6 = -3*g - 0*u, 4*g + 2*u - p = 0. Is 5 a factor of ((-12)/(-8))/(g/8)?
False
Suppose 0 = -2*t + 5*w + 92, -w = -4*w + 12. Is t a multiple of 7?
True
Suppose 0 = 4*c + 16, 114 = 5*f + 4*c - 0*c. Does 4 divide f?
False
Is 29 a factor of -3 - (1 + (0 - 181)) - -3?
False
Let k(q) = -q**3 - 11*q**2 + 2. Let v be k(-11). Suppose 3 = o + v*o + 3*f, -3*o - 4*f = -2. Suppose 138 = 5*i - m, m = 3*i - o*m - 90. Is 9 a factor of i?
True
Let w(k) = 93*k**3 + 3*k - 2. Is w(1) a multiple of 42?
False
Suppose 5*k - 64 = 11. Let w = k - 0. Is w a multiple of 12?
False
Suppose 40*f - 112 = 39*f. Is f a multiple of 12?
False
Let y(l) = l**3 + 5*l**2 + 3. Let r = -7 - -3. Is 4 a factor of y(r)?
False
Let p(c) = -41*c - 14. Is 35 a factor of p(-2)?
False
Suppose -212 = -4*s + 4*a, 0 = -5*a + 5 - 0. Is s a multiple of 19?
False
Let g = -57 - -82. Does 5 divide g?
True
Suppose 5*d + 5*y - 5 = 0, 3*d - 5 = -2*d + y. Is (15 - -5)*d/2 a multiple of 5?
True
Suppose -l + w = 2*w - 2, l - 3*w = 14. Suppose -n + 5*z = 24 - 3, 0 = -l*n - 3*z + 35. Is 2 a factor of n?
True
Let o = 74 + -38. Is 10 a factor of o?
False
Suppose 0 = 7*h + 292 - 1720. Does 34 divide h?
True
Let q = -17 + 57. Does 20 divide q?
True
Suppose 0*y - 5 = -3*y + 4*f, f = 3*y - 8. Is 3 a factor of y?
True
Let d(u) = -12 + 11 + 2*u + 6 + u**2. Suppose 3*h - l - 5 = 9, -8 = -4*h - 4*l. Does 10 divide d(h)?
False
Let w = 7 + 9. Suppose 5*d + 3*s - 50 = -10, 2*d - 2*s = w. Does 8 divide d?
True
Let c = 6 + 59. Is c a multiple of 17?
False
Let i be (4/2)/((-2)/(-613)). Let v be (-4)/10 + i/(-5). Let h = -66 - v. Is 19 a factor of h?
True
Let y = 1 - -4. Suppose 0 = -y*x + 16 + 49. Does 13 divide x?
True
Let c(f) = -f**3 + 13*f**2 + 32*f + 11. Does 41 divide c(15)?
True
Let a(z) = -z**3 + 8*z**2 - 5*z - 3. Let b(t) = t**3 + 2*t**2 + t + 1. Let x be b(-2). Let s be (-2)/(x + -1)*7. Is 8 a factor of a(s)?
False
Let z(n) = 2*n**2 - n - 18. Does 34 divide z(8)?
True
Does 14 divide 2/((-1185)/(-393) - 3)?
False
Suppose 0 = 99*l - 94*l - 240. Does 12 divide l?
True
Let t(a) = a**3 + 3*a + 22. Is 22 a factor of t(0)?
True
Let k(m) = -3*m + 2. Let t be (-20 - -6)*(-2)/4. Suppose t*f - 4*f = 3*l - 18, 4*f - 5*l = -22. Is k(f) a multiple of 8?
False
Suppose -12 + 4 = z. Suppose -11 = 2*o + 77. Does 13 divide z/o - 141/(-11)?
True
Let w be (-13)/(-3) - 2/6. Let o = -102 - -184. Suppose -o + 26 = -w*y. Does 7 divide y?
True
Let b be (-2)/3 - 1510/(-15). Does 16 divide ((-8)/10)/((-5)/b)?
True
Let g(y) = 57*y**3 + 13*y**2 + 21*y - 20. Let t(d) = -14*d**3 - 3*d**2 - 5*d + 5. Let s(h) = -2*g(h) - 9*t(h). Is 21 a factor of s(2)?
False
Let f = -4 - -4. Suppose -d - d + 54 = f. Is 8 a factor of d?
False
Suppose -49*j + 835 = -44*j. Does 17 divide j?
False
Let k(b) = -2*b**3 - 3*b**2 + 2*b. Let j = 1 - -1. Let h be (-39)/15 + j/(-5). Is 12 a factor of k(h)?
False
Let p(k) be the first derivative of k**5/20 - 7*k**4/12 - k**3/2 - 5*k**2 - k + 3. Let l(j) be the first derivative of p(j). Is l(8) a multiple of 15?
True
Suppose k = 5*n - 17, 3*k - 4*k = -3*n + 9. Suppose 2*z - 4 = u, k*u + 14 = 4*z + 4*u. Is 9*1/(z/8) a multiple of 8?
True
Suppose 3*p + 24 = 4*d - p, -9 = 2*d + 5*p. Suppose 0*w = 3*w - 5*v - 4, -d*v = w - 6. Is w a multiple of 3?
True
Does 32 divide (1*(-50)/6)/(2/(-36))?
False
Let l(f) = -4*f + 2. Let u = 5 + -8. Does 9 divide l(u)?
False
Let k = -1 - 8. Suppose -6*w = -3*w - 42. Let i = k + w. Is i a multiple of 5?
True
Let a be 2/(((-1)/1)/2). Let z = -5 - -3. Is ((-38)/a)/((-1)/z) a multiple of 8?
False
Suppose -7*b = -3*b. Suppose b = 2*s - 6 - 24. Suppose m - 125 = -3*p - 0*m, -5*m - s = -p. Is 14 a factor of p?
False
Suppose 0*c + c - 77 = 0. Is 11 a factor of c?
True
Let z(a) = -5*a**3 - a**2 + a + 1. Is 31 a factor of z(-3)?
True
Let p be (165/11)/(-2 - -1). Let x = p - -31. Is x a multiple of 16?
True
Suppose -9*p - 1400 = -19*p. Is 35 a factor of p?
True
Suppose 5*y - 159 = 41. Is y a multiple of 20?
True
Let w(z) = z**2 - 3*z - 8. Let p be w(5). Suppose 5*f + 24 = p*a, -2*f - 25 - 7 = -4*a. Is a a multiple of 7?
True
Let h = -13 + 25. Suppose -3*w - h = -90. Does 11 divide w?
False
Let f(z) = 12*z - 18. Is 6 a factor of f(8)?
True
Let b = -31 + 52. Is b a multiple of 21?
True
Let a be (-14)/4 - (-1)/(-2). Let t be (-124)/44 + a/22. Does 2 divide (t/(-1))/3 - -3?
True
Let z = 0 - -5. Suppose 0 = -z*l + 11 - 146. Let s = 55 + l. Is 14 a factor of s?
True
Suppose -n = -3*n - 3*v + 88, -3*n - 5*v + 130 = 0. Is n a multiple of 8?
False
Let x be 1 + 2 - 2/2. Suppose -33 = -h - 2*d, -x*h + 6*h - 127 = -3*d. Is 10 a factor of h?
False
Is 12 a factor of -84*(5 - 7) - 0?
True
Let w = -249 + 381. Does 33 divide w?
True
Let g(s) = 4*s**2 - s. Let v be g(-1). Let x(u) = 25*u + 1. Let k be x(1). Suppose 54 = v*h + l + 3*l, -3*h + k = 4*l. Is 8 a factor of h?
False
Let v = 290 + -137. Let m(x) = -x**2 + 3*x + 2. Let o be m(11). Let k = o + v. Is 23 a factor of k?
False
Suppose 6 = 2*y + 3*i, 3*i + 1 + 17 = 2*y. Suppose y = z - 0*z. Does 2 divide z?
True
Suppose 0 = y - 3*w + 19 - 6, -w + 11 = 3*y. Is y even?
True
Let a = 22 + -15. Suppose 7 = q - a. Is 3 a factor of q?
False
Suppose -i + 2 = 3. Let q be i/(2 - 1) + 16. Let n = 27 - q. Is 12 a factor of n?
True
Suppose -8*q - 12 + 84 = 0. Is q a multiple of 2?
False
Let d(t) = t**2 + 2*t - 6. Let l be d(3). Let x(j) = j**2 - 9*j + 17. Is 8 a factor of x(l)?
False
Suppose 5 = -u - 29. Let r = -10 - u. Is 14 a factor of r?
False
Let z(k) = 9*k + 3. Let v(w) = -w. Let a(t) = -4*v(t) - z(t). Is a(-3) a multiple of 6?
True
Let k(j) = -j**3 - 9*j**2 + 4*j - 10. Let t be k(-8). Let w = -28 - t. Is 26 a factor of w?
True
Let m(q) = -4*q**2 - 3*q**3 + 3 + 4*q**3 + 3*q + 3 - 2*q. Is m(5) a multiple of 17?
False
Let f be (-89)/4 - (-2)/8. Is (-70)/f + (-8)/44 a multiple of 3?
True
Let y(g) = 2*g**3 - 14*g**2 + 7*g + 5. Is 27 a factor of y(7)?
True
Suppose 2*a + 10 = 28. Is 3 a factor of a?
True
Let u(q) = -4*q**2 + q + 6. Let v(k) = 9*k**2 - 2*k - 13. Let m(y) = -13*u(y) - 6*v(y). Let z be m(1). Is 34/3*z/(-2) a multiple of 17?
True
Let y(b) = 4*b**3 + 7*b**2 - 6*b - 2. Let n(d) = -3*d**3 - 7*d**2 + 5*d + 2. Let k(u) = -5*n(u) - 4*y(u). Is k(5) a multiple of 10?
False
Suppose 0 = 3*q - 236 + 14. Is q a multiple of 10?
False
Suppose 37 = -c - 19. Let p be (c/12)/(4/6). Is 13 a factor of p/((-3)/36*2)?
False
Let z be (-16)/6*(-36)/(-8). Is (-6)/1*8/z even?
True
Suppose 4*y - 103 = -t - 0*y, 0 = y - 2. Is t a multiple of 19?
True
Let g = -41 - -67. Is 5 a factor of g?
False
Let c = 23 - 13. Suppose -4*r = f - 16, 0 = -2*r + 4*r + c. Does 12 divide f?
True
Let k(s) = -s**3 - 2*s**2 - s - 3. Let m be k(-4). Is (-49)/(-3) - (-22)/m a multiple of 17?
True
Let s(g) = g**2 - 4*g - 2. Let y be s(8). Suppose 5*t = 10 + y. Is t a multiple of 4?
True
Suppose 0*f = -5*f + 5*m + 20, -19 = -5*f + 4*m. Suppose -46 = -4*y - 5*o, 0*y + f*o + 3 = y. Suppose -4*j = -2*r - 8, 5*j - 2 = 2*r + y. Is r a multiple of 2?
True
Let m(x) = 28*x - 2. Is m(2) a multiple of 19?
False
Suppose 9 = -2*h - 3. Let l = h - -3. Is 15/l*3/(-5) a multiple of 2?
False
Suppose -4*m + q - 1 = 1, 2 = -5*m + q. Suppose m = -5*h - 5*d + 30, -d - d + 6 = h. Is (-8)/h*357/(-14) a multiple of 17?
True
Let z be (-3)/(-9) + 118/6. Suppose 3*d = g - 35, -3*d - 3 - z = -4*g. Let l = d + 21. Is l a multiple of 4?
True
Is 26 a factor of (-1945)/(-25) - 1*(-2)/10?
True
Let u(m) = -4*m + m**2 + 4*m**2 - m**3 + 2*m**2. Suppose -4*q = -4*d - 40, 3*q + 0*d = d + 20. Is 15 a factor of u(q)?
True
Let a(n) = n**3 - 17*n**2 - 8*n + 32. Is a(18) a multiple of 18?
False
Let r be (-6)/(-4) + (-6)/(-12). Suppose t - 3*v - 47 = 0, 78 = -r*t + 4*t - 2*v. Is t a multiple of 12?
False
Suppose 9 = 3*f + 3. Suppose -3*o - x + 5*x = -83, -2*o + 32 = f*x. Is 7 a factor of o?
True
Suppose w = 3*r - 56, -r - 5*w = 2*r - 80. Is 20 a factor of r?
True
Let y = 3 + -4. Is 6 a factor of (7 - 1)*(1 - y)?
True
Suppose -2*w + 3 = -k, -5 = 2*k + 1. Suppose -4*x + w*x - 44 = -4*a, -x = a - 19. Is 8 a factor of a?
False
Suppose -840 = -5*f + 2*r, -2*f = f - r - 504. Does 10 divide f?
False
Suppose 4*b - 1 = 15, 0 = -3*j - 5*b + 29.