76)/(-15) + (-2)/5?
False
Suppose 0 = -5*q - 0*q - 4*c + 101, q + 5*c - 37 = 0. Does 3 divide q?
False
Suppose 5*l - 5560 = 5*w, -1132 = -l - 3*w - 0*w. Suppose 4*q = 2*r + 894, -6*q + 3*r + l = -q. Is 13 a factor of 3*-1*q/(-21)?
False
Let p(x) = 3*x**3 - 2*x**2 + 2*x - 3. Let a be p(2). Let q = a - 8. Let t = 30 - q. Is t a multiple of 21?
True
Let f be (2 - -28)/(12/(-8)). Does 10 divide (-15)/(-5)*f/(-3)?
True
Suppose 15 = 6*l - 3*l. Suppose 5*g - u = 220, 3*g = -l*u + 59 + 101. Is 16 a factor of g?
False
Does 13 divide 3 - -1 - (-64 - -3)?
True
Suppose 4*s = s + 105. Is 8 a factor of s?
False
Suppose 0*d = -2*d + 8. Suppose -3*a = n + 2*n - 24, -d*n - 2*a = -26. Suppose -n*z = 10, 2*z - 5 = -p + z. Is 7 a factor of p?
True
Let l(j) = -j**3 - 2*j + 33. Is l(0) a multiple of 11?
True
Let a(u) = 10*u - 10. Is 10 a factor of a(4)?
True
Suppose 66 = 9*l - 339. Is 9 a factor of l?
True
Suppose 0 = s - 41 - 133. Let i = s + -87. Does 29 divide i?
True
Suppose -v + 18 = -4*j, 2*v = -4*j + 5*j + 1. Let i be 2/(2/22*v). Let t = 17 + i. Does 4 divide t?
False
Let t(u) = 61*u**2 - 2*u - 1. Let s be t(-1). Let f = -6 - -9. Suppose 2*l - 110 = -f*r + 6*l, 3*l = -2*r + s. Is r a multiple of 16?
False
Let l be (-28)/6*(-9)/6. Let w(m) = 3*m + 15. Is w(l) a multiple of 18?
True
Let p(x) be the second derivative of x**4/6 + x**3 + 2*x**2 - 7*x. Is 8 a factor of p(-6)?
True
Suppose -a + 17 = 4*k, 0 = 5*a - 2*a + 3*k - 24. Is ((-258)/15)/((-2)/a) a multiple of 23?
False
Suppose 2*u = 7*u - 170. Is u a multiple of 14?
False
Suppose 0 = 2*j - 12 - 56. Is 17 a factor of j?
True
Suppose 3*q - 2 = 2*q. Let w(x) = -8*x + 2*x**2 - x**3 - 2 - 4*x**2 - 5*x**q. Does 6 divide w(-6)?
False
Let d(x) = -x**3 + 9*x**2 - 8*x + 2. Let v be d(8). Is ((-5)/(-3))/(v/12) a multiple of 3?
False
Does 26 divide 242 - ((-18)/22 - 8/44)?
False
Let x(b) = 4 + 15*b - b**3 - 12*b + 3*b**2 + 3*b**2. Is x(3) a multiple of 20?
True
Suppose -3*w - 3*o + 542 = -2*o, -3*w + 517 = -4*o. Is 25 a factor of w?
False
Let k be (2*12 - 2) + -2. Suppose 0 = 5*b - k, -3*x + 6*x = b + 8. Is 7 a factor of 0 + 0 + 3*x?
False
Let f = 14 - 6. Let p = f + -6. Is p*-1*-4*2 a multiple of 8?
True
Let s(o) be the third derivative of o**4/8 - 2*o**3/3 - 3*o**2. Let l be (-1)/(0 - (-1)/(-4)). Is s(l) a multiple of 4?
True
Let g(x) = x - 6. Let a be g(10). Suppose 0 = 2*s + 2*p - 5 + 1, a*s + p = 23. Let t = s - 1. Is t even?
True
Let u(f) = -7*f - 5. Let r(c) = -c**2 + 7*c - 6. Let g be r(5). Let i be (-3)/6*2*g. Is u(i) a multiple of 14?
False
Let o(v) = -v**2 + 13*v - 4. Suppose -4*w + 11 = -m, 2*w = -m + w + 9. Is 12 a factor of o(m)?
True
Let h be (-3)/6*(5 + -5). Suppose 5*l + 78 - 208 = h. Is l a multiple of 7?
False
Let x(o) = o**2 - o + 1. Let v(q) = 2*q**2 - 5. Let g(a) = v(a) + 2*x(a). Let d be 0 + 0 + (-2 - 1). Does 13 divide g(d)?
True
Let o(u) = -67*u**3 - 2*u**2 + 7*u. Let n(v) = 33*v**3 + v**2 - 3*v. Let p(k) = 5*n(k) + 2*o(k). Does 12 divide p(1)?
False
Is 10 a factor of 1 + 28 + 6/6?
True
Let c(v) = -9*v**3 - 2*v**2 + 1. Is 3 a factor of c(-1)?
False
Let m = 151 - 46. Let c = -46 + m. Does 20 divide c?
False
Let o be 4/8 - (-19)/(-2). Let s = o + 13. Is (-3)/(-6) + 22/s a multiple of 6?
True
Let h(m) be the first derivative of 3 + 0*m**2 + 5/3*m**3 - 2*m. Does 18 divide h(2)?
True
Suppose b - 1 = -m + 2, -14 = -3*m + 2*b. Suppose -3*a = -m*a + 4. Does 18 divide (a/(-6))/(2/(-108))?
True
Let a(f) = 7*f + 6. Let j be a(4). Suppose n + s - 113 = 0, 0 = n - s - 73 - j. Does 30 divide n?
False
Let z(l) be the first derivative of -l**4/12 - 8*l**3/3 + 3*l**2/2 - 1. Let x(y) be the second derivative of z(y). Is x(-12) a multiple of 7?
False
Let u = 25 + -13. Is 4 a factor of u?
True
Suppose 0 = -3*o + 15 - 0. Suppose p - 390 = -4*p + o*a, 0 = -a - 1. Suppose -5*w - 5*l + 58 + p = 0, w - l - 21 = 0. Is w a multiple of 16?
False
Let t be ((-2 - -2) + 20)/(-1). Suppose -5*v + 38 = -2*v + 4*h, -h = -2*v + 18. Is 10 a factor of 256/v + (-8)/t?
False
Let o(h) = -6*h - 5. Suppose -2*c + 3*c + 25 = 4*s, -2*s = 5*c + 15. Is 21 a factor of o(c)?
False
Let j(a) = 2*a**2 - a + 7. Is j(5) a multiple of 22?
False
Let t = 59 - 26. Is 16 a factor of t?
False
Suppose 3*g + 2 = -4. Let d be (-1)/2*(g - 8). Suppose 4*q + l = 2*l + 45, 5 = -d*l. Does 5 divide q?
False
Suppose -2*g = -3*v + 32, 5*v + 2*g - 72 + 24 = 0. Is v a multiple of 3?
False
Let o(d) = -5*d**3 - 2*d**2 - 3*d - 6. Let k(m) = 0*m**2 - 2*m**2 + m**2 - 1. Let t(q) = -3*k(q) + o(q). Is t(-2) a multiple of 17?
False
Let u be 1*2 - (2 + -3). Suppose 2*h + 0*h = 3*p - 90, -u = -h. Is p a multiple of 8?
True
Let y = 126 + -74. Does 13 divide y?
True
Let v(m) = -m + 1. Let w be v(3). Let r = -1 - w. Suppose g - r = 0, -4*q + g + 74 = -17. Is 13 a factor of q?
False
Let r(u) = -3*u**2 + 0*u**2 + 11 - 6*u - 2*u**2 + 4*u**2. Let q be r(-8). Let k(y) = y**3 + 6*y**2 - y. Does 10 divide k(q)?
True
Let p(x) = -5*x + 5. Let s = -3 + -1. Is 19 a factor of p(s)?
False
Let o(y) = 19*y + 15. Does 28 divide o(11)?
True
Let z be 36/2*(-3 + 4). Let f be (-947)/(-9) - 4/z. Suppose -337 = -4*s - f. Does 21 divide s?
False
Let t = 127 + 52. Suppose -2*p = -m + 49, 2*p = -2*m - m + t. Is m a multiple of 20?
False
Let f(l) = -l**3 - 4*l**2 - 4*l. Let n be f(-3). Suppose 3*z = -3*g + 42, -21 = -3*g + z + n*z. Does 10 divide g?
False
Let f = 59 - 26. Is f a multiple of 6?
False
Let p be (0/(-1))/(1*-2). Let b(u) = u - 8. Let k be b(8). Suppose p = -k*t - 2*t + 98. Is t a multiple of 18?
False
Let t = 24 + -12. Is t a multiple of 12?
True
Let f = -27 + 97. Is 5 a factor of f?
True
Let a = 65 - 23. Let p = 90 - a. Does 13 divide p?
False
Suppose 0*p - 5 = -2*y - p, p + 3 = 0. Suppose y*n = 2*n + 74. Is 14 a factor of n?
False
Suppose 2*o + 2*o + x - 189 = 0, x = -2*o + 95. Is o a multiple of 10?
False
Suppose -44 = -j - 5*i, -3*j - 4*i = -0*j - 121. Is j even?
False
Let c = 85 + -41. Suppose -r = -5*r + c. Does 11 divide r?
True
Let q(k) = 8*k**3 + k**2. Suppose -3*j + 18 = 2*p - 6*p, 2*j = 3*p + 13. Is 17 a factor of q(j)?
True
Let u be (-15 + (2 - 1))/(-2). Let k(o) = -3*o + 7 + 2*o**2 - 1 - o**2. Is k(u) a multiple of 17?
True
Let l(o) = -o**2 - 11*o - 15. Is l(-9) a multiple of 2?
False
Suppose 0 = 3*t - 2*t + 3. Let b be (-1 + -2)/(t/(-3)). Is 15*1/(b/(-3)) a multiple of 5?
True
Let s be 4/(-8)*(1 - 75). Suppose -103 = -2*p - s. Is p a multiple of 12?
False
Suppose -2*f + 3*f - 4 = 0. Is 20/(-15)*(-78)/f a multiple of 13?
True
Suppose d = -d + 2*w, -5*d - 40 = 5*w. Is 6 a factor of 4*(d + 1 - -5)?
False
Let m(j) be the first derivative of -4*j + 0*j**2 + 1/3*j**3 - 1. Is 5 a factor of m(3)?
True
Let l(b) = -b**3 - 12*b**2 - 8*b + 14. Does 25 divide l(-12)?
False
Suppose -11 + 26 = 3*n. Suppose -39 - 56 = -n*u. Is u a multiple of 6?
False
Let x(l) = -l**3 + 9*l**2 - 7. Let f be x(6). Suppose 3*b + h - 93 = 0, -5*b = 3*h + f - 252. Does 14 divide b?
False
Is 2 - (-2 + 3*-41) a multiple of 13?
False
Suppose -16 + 6 = -2*q. Suppose 7 + q = 4*n. Suppose -11 = n*m + 3*z - 32, 3*m - 31 = 2*z. Is m a multiple of 9?
True
Suppose 25 = h + 4*h + 5*d, -4*h + 5*d = -11. Let s = h - 4. Suppose 5*j = s, -4*j = -4*i - 4 + 32. Is 7 a factor of i?
True
Is 15 a factor of (4 + -2)/((-10)/(-245)) + -4?
True
Suppose 3*s - 10 - 26 = 0. Suppose 2*w - 12 = 4*w + 3*n, w - 3*n - s = 0. Suppose -d - d + 76 = w. Is d a multiple of 13?
False
Suppose -n - 3 = -2*n. Let t(x) = 16*x**2 - x - 2. Is 35 a factor of t(n)?
False
Let o be (1 - -1)*(-18)/(-12). Let v(d) = 3*d - 3*d + d - 26*d**o + d**2. Is v(-1) a multiple of 13?
True
Let h(o) = -37*o + 25. Is h(-5) a multiple of 42?
True
Suppose 8*d - 3*d - 20 = 0. Suppose 5*k + 4*a - 40 = 0, 9*a = -k + d*a - 13. Is k a multiple of 11?
False
Let v(o) = -o + 29. Let x be v(0). Let z = x + 6. Is 12 a factor of z?
False
Suppose 3*o = 8 - 20. Let m be (-1 - 1)/((-2)/o). Is 6 a factor of 2*1/(m/(-30))?
False
Suppose -30*q + 25*q = -400. Is q a multiple of 40?
True
Let t(r) = r**3 + 4*r**2 - 5*r + 2. Let j be t(-5). Let a = 0 + j. Suppose -a*h = -5*h + 45. Is h a multiple of 15?
True
Let n be 34/(-8) + (-3)/(-12). Let h be (-2)/5 - 72/(-5). Let l = h - n. Does 9 divide l?
True
Suppose 0*o = 8*o - 3080. Does 55 divide o?
True
Let i(u) = 8*u. Let h = 22 - 17. Does 8 divi