rue
Let n be (-861)/7*(-32)/6. Is 6 a factor of n/36 - (-4)/(-18)?
True
Is (13 - -11)*(0 - (-1)/2) even?
True
Suppose 2*g = -2*d - 1 + 3, 0 = -2*d - 4*g - 4. Let r(x) = x**3 - x**2 - 4*x - 2. Let i be r(d). Suppose -2*c + i = 8. Does 11 divide c?
True
Let k be 5/10 - (-163)/(-2). Let f = -34 - k. Suppose 3*d - f = -a, -d - a = 3*a - 12. Does 8 divide d?
True
Let j(t) = t**2 - 2. Is j(4) a multiple of 14?
True
Suppose -369 = -b - 33. Does 16 divide b?
True
Suppose 2*d + 3 + 7 = 0. Let x = -1 - d. Suppose -2*m - 10 = -x*q, -5*m + 12 = 2*q - 11. Is m a multiple of 2?
False
Let x be (-9)/(-3)*(-1)/3. Let h = 16 - x. Is h a multiple of 17?
True
Let r = 36 + -57. Let j(k) = k**2 - 6*k - 1. Let z be j(6). Does 7 divide 2 + (z + 0 - r)?
False
Let p be 2/(-5) - (-54)/10. Suppose -13*r = -4*r - 4*r. Suppose b + 3*w - 27 = r, -4*b - b = -p*w - 75. Is 9 a factor of b?
True
Let f(c) = -c**2 + 15*c - 7. Is 22 a factor of f(6)?
False
Suppose -3*p = -97 - 155. Is 14 a factor of p?
True
Suppose -f = 3*u - 2*f - 19, -f + 23 = 4*u. Is u a multiple of 2?
True
Suppose 0 = 4*b - 5*s - 142, 0 = -5*b + 2*s + 109 + 77. Let l be (b/4)/((-2)/(-4)). Suppose l = 4*p + 5*z, 5*z - 16 = 3*p - 74. Is 11 a factor of p?
True
Let s(x) = 0*x**3 + x**2 + x**3 + 4 + 8*x**2 - 11*x + 10. Is s(-10) a multiple of 8?
True
Let i(s) = -s**2 + 7*s - 2. Let c be i(6). Suppose 1 = c*p - 7. Suppose -25 = p*j - 7*j. Is j a multiple of 2?
False
Let t be 7/(-2)*(-4 - -2). Let f = t - -15. Does 15 divide f?
False
Let u = 2 - 1. Let l = u - -5. Let v(x) = 2*x + 1. Is v(l) a multiple of 13?
True
Let q = 370 + -202. Is 42 a factor of q?
True
Let n = -67 + 147. Does 16 divide n?
True
Suppose -3*b = b - 5*m + 21, -4*m = -4*b - 16. Suppose 0*s = 5*s + 150. Does 13 divide -1 - (b*s - 3)?
False
Suppose 60 = h + 1. Let u = -19 + h. Is 20 a factor of u?
True
Suppose -399 = -4*p + 45. Is p a multiple of 6?
False
Let c(o) = -3*o**2 - 11*o - 10. Let a(k) = -13*k**2 - 44*k - 39. Let z(q) = -2*a(q) + 9*c(q). Let t be z(-9). Is 5 a factor of 2/6 + 28/t?
True
Let n be ((-93)/4)/3*-4. Suppose 0 = -3*r + 8 + n. Does 11 divide r?
False
Suppose -5*d = 5*l - 15, -6*d + d = 2*l - 27. Let z(g) = -g**2 + 10*g - 3. Does 17 divide z(d)?
False
Suppose 0 = -5*q + u + 104, -3 + 5 = 2*u. Let i = q + -1. Does 17 divide i?
False
Suppose 162 = -3*n + 6*n. Suppose 5*a = -b + 86 + 11, 2*b = -3*a + n. Does 7 divide a?
False
Suppose -3*i - 4*w = 4 - 1, -2*w - 9 = -i. Suppose -i*s + 4*k + 123 = 0, -4*k + 0 = -2*s + 82. Suppose -5*v + 90 = -4*f, -4*v + 31 = -3*f - s. Does 9 divide v?
True
Let h(c) = -c**3 - 4*c**2 + 4. Let i be h(-4). Suppose 0 = -4*y + y + 3. Suppose n - i - y = 0. Is 5 a factor of n?
True
Suppose k = 0, m + 2*k + 15 = 6*m. Suppose 5*c - 259 = -4*n + 3*n, m*n - 63 = -c. Is 17 a factor of c?
True
Let m(h) = h**3 + 7*h**2 - h - 8. Let k be m(-7). Let f be (k*2 - -4)*10. Suppose 7*g - f = 3*g. Does 3 divide g?
False
Let g = 76 + 82. Is g a multiple of 22?
False
Let m(s) = -s**2 - 5*s + 5. Let c be m(-5). Suppose y = u - 0*u - 59, 0 = -c*u - 5*y + 255. Is u a multiple of 14?
False
Let v(q) = 6*q**2 - 1. Let o be v(1). Suppose -29 = -m + o*w, w + 19 = m + 6. Is 6 a factor of m?
False
Let k(q) = 2*q**2 - 3*q - 8. Is k(5) a multiple of 3?
True
Let w(q) = q**3 - q**2 - 3*q + 3. Let z be w(3). Let n = -7 + z. Suppose -3*a + n = -o - 18, -3*o + 15 = 5*a. Is a a multiple of 6?
True
Is 21 a factor of 491/4 - 1/4*-1?
False
Let r = -17 + 42. Let p = -15 + r. Suppose 4 = o - p. Is o a multiple of 6?
False
Let f(m) = m - 4. Let v be f(-7). Let b(a) = -a**3 - 11*a**2 - a - 10. Let d be b(v). Does 26 divide (29 + (-6)/2)*d?
True
Let q(h) = 29*h - 2. Is q(3) a multiple of 30?
False
Does 4 divide (-6 + -1 - 1)*-1?
True
Let h be (-68 - -1)/((-3)/15). Suppose -3*y + 127 + 93 = -2*k, 3*k - h = -5*y. Suppose -3*d = 2*d - y. Is d a multiple of 7?
True
Suppose 4*r = -5*p + 2, 2 = 5*p + r + 9. Let u(c) = c + 2. Let y be u(-6). Does 5 divide (-2)/y*6 - p?
True
Let l = 5 - 60. Is 3 a factor of 2/5 + (-143)/l?
True
Let d = -99 + 45. Is 3/6 - d/4 a multiple of 7?
True
Let y(n) = -n**2 - 3*n + 8. Let h be y(-6). Let x be (-1005)/h + (-1)/2. Suppose 0*b - 4*b + x = 0. Does 25 divide b?
True
Let u = 6 - 4. Suppose u*h + 2*i - 80 = 0, -2*h + 3*i - 1 = -101. Does 15 divide h?
False
Let n(i) = -4*i**2 - i**3 + 4 - i**2 - 3*i + 0. Let g be n(-4). Suppose g = p - 2*p + 7. Does 7 divide p?
True
Let g = -129 - -185. Is g a multiple of 15?
False
Let l be 46/14 - 4/14. Suppose -7*m + 12*m = 140. Suppose s + m = l*s. Does 7 divide s?
True
Suppose -213 = -3*h + 5*d - 70, -3*h + 135 = 3*d. Let t = -22 + h. Is 8 a factor of t?
True
Suppose k = -0*k - 18. Let d = 4 + k. Does 12 divide (-12)/42 - 508/d?
True
Let c = -83 - -216. Suppose -d - 3*d - 3*f + c = 0, -2*d + 4*f = -72. Is 14 a factor of d?
False
Suppose 0 = c - 9 - 33. Does 11 divide c?
False
Suppose 2*h - 10 = -2*z, -2*z + 2*h - 8 = -2. Is 11 a factor of -2 + 1 + 33 + z?
True
Suppose 2*j - 240 = -3*u, u - 131 = 3*j - 40. Let a = u - 57. Is 7 a factor of a?
False
Suppose -3*p - 6 = 0, p = -4*c + 5*p + 136. Is 22 a factor of c?
False
Let l be 55/2 + 2/4. Suppose 2*g - l = 38. Is 11 a factor of g?
True
Suppose -b + 92 = 15. Is 8 a factor of b?
False
Suppose -1710 = -0*k - 18*k. Does 10 divide k?
False
Let b(s) = s. Let l be b(-6). Let g be (-3)/(-1 + (-3)/l). Does 10 divide 18 + (-3)/(g/(-4))?
True
Let r(b) be the first derivative of 4*b - 1/3*b**3 - 3 + 2*b**2. Does 2 divide r(3)?
False
Suppose -4*z = z - 175. Is 7 a factor of z?
True
Let i be 1/2 + 25/(-10). Let h(q) be the second derivative of -q**5/20 - q**4/6 - 2*q**3/3 - q**2 + q. Does 4 divide h(i)?
False
Let o(g) = -3*g + 9. Does 9 divide o(-6)?
True
Let c = 27 + -15. Let d be 30*c/27*-3. Is 10 a factor of (18/(-12))/(6/d)?
True
Suppose -2*a + 689 = 11*a. Is 8 a factor of a?
False
Suppose -5*z + 24 = -2*t, 0*z + z - 3*t - 10 = 0. Let y = -2 + z. Suppose 0 = 2*k - 3*h - y, -h + 14 = -2*k + 5*k. Is 4 a factor of k?
True
Suppose 2*m - 50 = -2*o, 5*o = -m + 4*m + 141. Does 7 divide o?
False
Let y(z) = -z**3 + 15*z**2 - 13*z + 18. Does 14 divide y(14)?
False
Is 2 a factor of (-2)/(-6)*126/7?
True
Suppose -5*b - 7 = 2*f - 0*f, -4*f = 5*b - 1. Suppose -f*t + 12 = -t. Suppose 0 = -t*j - 23 + 151. Is j a multiple of 13?
False
Suppose 3*j - 48 = j. Does 12 divide j?
True
Let d(a) = -2*a - 7. Is d(-8) even?
False
Suppose -3*z - 5*w + w + 128 = 0, w = -4. Does 16 divide z?
True
Let r be 40/22 - 4/(-22). Suppose z = -3*s + r*z + 12, -s + 2*z = -9. Is 3 a factor of s?
True
Let b = -8 + 11. Let y = b - 0. Suppose -n - y*n - 4*j - 4 = 0, 0 = 2*n + 4*j + 8. Does 2 divide n?
True
Let n(j) = 5*j**2 - 4*j - 7. Let x(m) = -6*m**2 + 5*m + 8. Let w(b) = 5*n(b) + 4*x(b). Is 6 a factor of w(3)?
True
Let b = 22 - 2. Suppose -4*l = 3*v + 2, 2*l - l - 4 = -3*v. Let f = l + b. Is 18 a factor of f?
True
Does 5 divide 2/(4/64 - 0)?
False
Suppose -61 = -4*m + 5*u, u - 1 = -6. Let k be 2495/m + 10/(-45). Suppose 0 = 5*c - k + 82. Is c a multiple of 13?
True
Let s = -12 - -11. Let b(p) = -11*p - p - 18*p - 1. Is 9 a factor of b(s)?
False
Suppose u + r - 4*r = 8, u - 4 = -r. Suppose -2*k + 58 = -0*x - 3*x, -u*x = -10. Let t = k - 21. Does 6 divide t?
False
Let b = -22 + 22. Suppose -2*y + u + 8 = b, 4*y + 4*u - 34 = y. Is y a multiple of 3?
True
Suppose 3*o + 42 = 4*o + 5*w, 0 = -4*o - w + 73. Is o a multiple of 8?
False
Let t(b) = -3*b - 9. Let l(c) = -8*c**3 - 2*c**2 - c. Let n be l(-1). Let f(v) = v**2 - 9*v + 8. Let a be f(n). Is 9 a factor of t(a)?
True
Let l(u) = 4*u**2 - u - 2. Let g = 1 - 3. Does 8 divide l(g)?
True
Let h(p) = -p**3 - p - 9. Let u be h(0). Let q = u - -22. Is q a multiple of 13?
True
Let u(y) = 8*y - 4. Let z be (-1)/(((-5)/3)/5). Is u(z) a multiple of 19?
False
Let g(t) = t**2 - 7*t + 3. Let w be g(7). Suppose 5*m + 19 = a, -5*a + 2*m = -w*a - 38. Does 5 divide a?
False
Suppose -6*r + 3*n = -2*r + 15, 5 = -4*r + n. Suppose -3*u + 2*l + 68 = 0, 2*u - 7*u - 2*l + 140 = r. Is 13 a factor of u?
True
Suppose -g = -f + g + 4, -f + g + 3 = 0. Suppose 0 = w - 0*q + q + 3, f*w - 5*q = 8. Is (16 + w)/((-9)/(-6)) a multiple of 6?
False
Is (-3)/12 + 2 + (-1300)/(-16) a multiple of 21?
False
Let z(s) = s**3 - 7*s**2 + 5*s + 3. Is z(7) a multiple of 5?
False
Let r(x) = 