3). Let y = -44 - l. Does 27 divide y?
True
Let p(h) = -4*h - 1. Let q be p(-1). Let b be (22/2)/(q + -2). Suppose -b = -4*o + 53. Is 8 a factor of o?
True
Suppose -n = -6*n - 25. Let l(k) = -k**3 - 5*k**2 + 7. Does 6 divide l(n)?
False
Suppose 0 = 3*t - 5*t + 42. Is 8 a factor of t?
False
Let i = 0 + 5. Suppose 5*d - 5*p - 20 = 0, d + i*p = -0*p + 28. Let t(f) = 5*f - 8. Does 16 divide t(d)?
True
Let g(s) = 7*s**2 + 2*s - 2. Is 3 a factor of g(2)?
True
Suppose 2*r + 1 + 3 = 0. Is (r/3)/(2/(-93)) a multiple of 10?
False
Let y(j) = 19*j + 5. Is y(7) a multiple of 27?
False
Suppose 3*q + 0*q = 2*f - 22, 3*q - 2 = -f. Suppose -3*i + 17 = 4*y - f, -3*i + 35 = 5*y. Is y a multiple of 4?
False
Let y(f) be the first derivative of 4*f**2 - 19*f - 3. Is y(7) a multiple of 13?
False
Suppose 2*f - 55 = 85. Let y = f + -4. Is y a multiple of 22?
True
Suppose 0 = w + 2*s + s - 8, 0 = -2*s + 4. Is 4/8 - (-43)/w a multiple of 11?
True
Suppose 3*w - 24 = -w. Let q = w + 6. Suppose 4*o - 3*o = q. Is 4 a factor of o?
True
Let x(p) = p**3 + 6*p**2 - p - 6. Let c be x(-6). Suppose 5*b - 3*b = c. Suppose -19 = -q - b*q. Does 19 divide q?
True
Let t = 33 - -22. Does 11 divide t?
True
Let b = 21 - 4. Is b a multiple of 4?
False
Let i be 3 + -3 + -5 + -2. Let l = i + 12. Suppose l*p - 253 = 4*h, 173 = -5*p + 2*h + 422. Is p a multiple of 17?
False
Let s = 18 - 16. Suppose s*z - 6 = 0, z - 5*z + 72 = 4*n. Is 3 a factor of n?
True
Suppose -4*v + 8 = -0. Let d be 6/4 - v/4. Let r(p) = 8*p - 1. Is r(d) a multiple of 6?
False
Let r be (-375)/55 - (-4)/(-22). Does 2 divide (r/(-21))/(3/81)?
False
Suppose 2*a + 70 = 2*l, -4*l = -0*l + 5*a - 95. Is l a multiple of 4?
False
Suppose 4*a + 0*a = d - 50, 3*d - 164 = -2*a. Is d a multiple of 9?
True
Let n(u) = u**3 - 2 + 3*u + 79*u**2 - 78*u**2 - 3*u. Does 8 divide n(2)?
False
Suppose -2*y + 0*y - 12 = 0. Let n = y + 48. Suppose -5*r + n + 48 = 0. Does 7 divide r?
False
Let u(n) = 36*n**2 + 2*n - 2. Let w be u(-2). Let o = w - 74. Is 16 a factor of o?
True
Let x = -58 + 85. Is 376/6 - (-9)/x a multiple of 20?
False
Let t(w) = 4*w**3 + 2*w**2 - 3. Let s be t(-2). Let b = s - -46. Is b a multiple of 19?
True
Suppose -v - 3*t = -26, 2*v + 3*v - 113 = 2*t. Suppose -v - 67 = -3*u. Does 14 divide u?
False
Let k(p) = p + 13. Let v be k(-9). Suppose 3*a - v = 5. Suppose -q + w + 59 = 3*q, 3*q + a*w = 33. Is q a multiple of 6?
False
Does 21 divide 9708/33 - 18/99?
True
Let b = 7 - 1. Let x(v) = 9*v - 10. Is 11 a factor of x(b)?
True
Let z(f) = 2*f**2 - 12*f + 1. Suppose 2*k = -30 + 46. Is z(k) a multiple of 11?
True
Suppose -2*b - 3*b - 25 = -5*k, 5*b = -2*k + 3. Suppose -2*v + v - 4 = -m, -21 = m + k*v. Let i = 8 + m. Does 7 divide i?
True
Suppose -5*n = 3*a - 166 - 9, -25 = -5*n. Suppose 3*b + 3*d = b - 57, -9 = -3*d. Let q = b + a. Is 15 a factor of q?
False
Let r = -383 + 603. Suppose -2*p = 2, 0 = -4*y - 5*p - 25 + r. Is y a multiple of 19?
False
Is 4 a factor of (6/6*-2)/(2/(-9))?
False
Let p(z) be the second derivative of -z**5/20 - 5*z**4/12 + 5*z**3/6 - 3*z**2/2 - 3*z. Is p(-6) a multiple of 2?
False
Suppose 2*l - l + 331 = 3*z, 0 = -3*z + 4*l + 334. Is z a multiple of 14?
False
Let w(x) = -x**3 - 17*x**2 + 3*x + 15. Is 19 a factor of w(-18)?
True
Suppose 2*w - 75 - 25 = 0. Suppose -5*x = -0*n + 4*n - 226, x = -2*n + w. Does 15 divide x?
False
Let s be -2*(-4)/((-24)/9). Let l(c) = -4*c**3 - 2*c**2 + 2*c. Let u be l(s). Suppose -p = -5*p + u. Is 13 a factor of p?
False
Let o = 30 - 21. Is o a multiple of 2?
False
Suppose 5*o - 5*c = o + 296, 5*c = -5*o + 370. Let a = 11 + o. Is 16 a factor of a?
False
Suppose 3*f + 3*s = 7*s + 163, 0 = 3*f + 2*s - 139. Suppose -f = -2*q - 1. Does 8 divide q?
True
Suppose 3*o + 128 = -19. Let g = 3 - o. Is g a multiple of 11?
False
Let l(v) = 3*v - 3. Let u be 2/(-7) - 130/35. Let p be 28/u*6/(-7). Does 6 divide l(p)?
False
Let h = 366 - 226. Let m be (-7 - -4)*h/(-6). Suppose p = -3*a - p + 50, m = 4*a + 2*p. Is 10 a factor of a?
True
Let l(j) = j**3 - 4*j**2 + 2*j + 1. Is l(5) a multiple of 18?
True
Suppose u = 4 - 0. Is u a multiple of 2?
True
Let a(s) = -s**3 + 5*s**2 + 2*s - 1. Let m be a(4). Suppose -g = 5*k + 31, 2*g + 0*k - k = -29. Let t = g + m. Is 5 a factor of t?
False
Let m be (-7)/((-13)/(-7) + -2). Suppose -4*g = -5*i - 40, 5*g + i = 1 + m. Is 11 a factor of (0 - 30)*(-8)/g?
False
Is 25 a factor of (349 - -1)/(2 - (6 + -6))?
True
Suppose -3*b + 226 = 82. Suppose 2*q = -4*x + b, 5*q - 57 - 47 = -2*x. Suppose -2*g = -6*g + q. Does 5 divide g?
True
Let j be 4/(-6) + (-41)/(-3). Suppose 3*n + 1 = j. Suppose 2*s - q - 38 = -3*q, 0 = -n*s - 3*q + 74. Is 8 a factor of s?
False
Suppose 0 = 4*j - 2*j + 8. Does 7 divide (-4)/(-8) + (-54)/j?
True
Let q = -1 - -3. Let m = q - -1. Suppose -t + 2*t = 3*c + 26, 0 = -m*t - 5*c + 36. Is 11 a factor of t?
False
Suppose -12 = -7*i + 3*i. Let n(h) = -1 + 11*h - h**2 - 3 - i + 0. Is 3 a factor of n(10)?
True
Let a = 3 + -5. Let n = 30 - a. Is n a multiple of 13?
False
Suppose -h - 3*b = -33, -2*h - 3*b + 51 = -2*b. Is 14 a factor of h?
False
Suppose -7*w + 2*w = -90. Let o = w + -11. Is 7 a factor of o?
True
Let a = -82 + 158. Is a a multiple of 38?
True
Suppose -3*v + x + 2*x + 93 = 0, 99 = 3*v - x. Is 6 a factor of v?
False
Let d = 8 - 11. Let o = -33 + 26. Let c = d - o. Is c a multiple of 3?
False
Suppose -3*f = f - 20. Suppose -3*g - 2*g + 25 = f*r, -12 = -2*r - 4*g. Suppose 42 = -p + r*p. Is p a multiple of 6?
False
Let a be (-380)/7 + (-8)/(-28). Is 6 a factor of (a/(-12))/(1/6)?
False
Let g(s) = s**2 + s - 5. Let o be g(0). Let l = -1 - o. Suppose 0 = -5*z + 2*m + 57, -m = l*z + 4*m - 72. Is z a multiple of 13?
True
Let v(m) = -m + 1. Let i be v(-4). Suppose o + 5*g = 2*g + i, 25 = 5*o + 4*g. Suppose -n = 6 - 2, -3*n - 42 = -o*x. Is x a multiple of 5?
False
Suppose -m + 25 = 4*m. Is 3 a factor of m?
False
Suppose -3*g - 10 = -g. Let x = -13 - g. Does 2 divide (-4)/(-10) + x/(-5)?
True
Let n = -20 + 23. Does 3 divide n?
True
Let x(w) = -32*w**3 + 1. Does 9 divide x(-1)?
False
Suppose 6*v = -3*d + 4*v + 16, 2*v = -4*d + 18. Suppose -d*a = -4 - 8. Is (-18)/4*(-16)/a a multiple of 7?
False
Let g(k) be the third derivative of -k**6/30 - k**5/15 - k**4/6 - k**3/2 - 2*k**2. Is g(-3) a multiple of 34?
False
Let h = 29 - -16. Does 10 divide h?
False
Let o(h) = 4*h - 7 + 8 + h**3 + 0*h. Is 11 a factor of o(3)?
False
Is 13 a factor of ((-2)/4)/(-3 - (-1642)/548)?
False
Let t be 3/6*(4 + 0). Suppose -t*i = -39 - 1. Suppose 12 = 2*b - 3*l, 2*b + 0*l - i = l. Is b a multiple of 6?
True
Let f(w) = 6*w + 9. Let g(x) = 2*x - 1. Let c be g(3). Is 13 a factor of f(c)?
True
Let h be 184 + 0 + -2 + 2. Suppose -5*z - 4*w = -h, -2*z + 0*z + w + 71 = 0. Is 18 a factor of z?
True
Let l(t) = -t**3 - 13*t**2 + 2*t + 14. Is 26 a factor of l(-14)?
True
Let j(f) = f**2 + 3*f + 2. Let g be j(-3). Suppose 2*v - 250 = 4*w, w = -g*w. Suppose 0*k = 5*k - v. Is 9 a factor of k?
False
Let m(c) = 14*c + 8. Is m(4) a multiple of 10?
False
Suppose 4*k = 16 + 20. Is 3 a factor of k - (-2 + 2)*-1?
True
Suppose 3*c + 152 + 55 = 0. Let o = c - -98. Is o a multiple of 10?
False
Let o(p) = p**3 + 8*p**2 - 4*p + 2. Is 7 a factor of o(-6)?
True
Suppose m = 2*k + 17, -4*m - k + 107 = 4*k. Is 14 a factor of m?
False
Let y = 8 + 7. Is 7 a factor of (-5)/2*(-174)/y?
False
Let k(j) = 6*j + 2. Let b be k(3). Let f = b + 4. Suppose -s = -5*s + f. Is 6 a factor of s?
True
Let n = 7 - -7. Does 3 divide n?
False
Suppose 8*c = 3*c + 100. Suppose 3*k - c = 43. Does 7 divide k?
True
Suppose -2*a - a = -72. Does 6 divide a?
True
Suppose 3*o + 3*p + p - 82 = 0, -3*p + 24 = o. Is o a multiple of 15?
True
Let q = 50 - 25. Suppose 0 = 2*t + q - 147. Is 15 a factor of t?
False
Let g(v) = -3*v**2 + 2*v + 11. Let l(j) = -j**2 + j + 4. Let t(r) = -4*g(r) + 11*l(r). Let p be t(-3). Suppose p = 4*z + 4, 2*s = s - 3*z + 1. Does 2 divide s?
True
Let p = 31 - -19. Is p a multiple of 10?
True
Let l(w) = w - 6. Does 2 divide l(8)?
True
Let r = -178 - -362. Suppose r = i + 3*i. Does 17 divide i?
False
Suppose 5*x - 2*s - s - 13 = 0, 4*s + 14 = 5*x. Suppose d + x*d = 87. Does 7 divide d?
False
Suppose y + 2*y = -n + 24, n = 3*y. Is n a multiple of 6?
True
Let y(q) = q**2. Let v be y(3). Suppose -4*p = -v*p - 125. Is 2