7?
True
Suppose -3*x - 66 = -z, -4*x + 15 = -x. Is z a multiple of 9?
True
Does 18 divide (-336)/(-18) - (-2)/(-3)?
True
Suppose 6*z - 5*z - 175 = 0. Suppose -3*a + z = 61. Is a a multiple of 14?
False
Does 14 divide 0/(6/(-2)) + 70?
True
Suppose 0 = 2*i + q - 216, -i + 4 = 5*q - 113. Let n be (i/(-2))/(2/(-4)). Suppose 3*r = n - 29. Is r a multiple of 13?
True
Let o(q) = q**3 + 5*q**2 - 4*q - 3. Is 23 a factor of o(-3)?
False
Let j be ((-39)/26)/((-6)/8). Suppose -t = 5*k - 53, -3*t + j*t = 2*k - 50. Is 17 a factor of t?
False
Suppose -18*x = -4*x - 308. Is 5 a factor of x?
False
Let l = 3 + 1. Is (-266)/(-8) - 1/l a multiple of 15?
False
Is (-1)/(2 - 84/40) a multiple of 5?
True
Suppose 50 = -31*y + 32*y. Does 26 divide y?
False
Suppose -4*m + 216 = -0*m. Let z = 139 - m. Suppose -3*w - v + z = -0*v, -v + 57 = 2*w. Does 14 divide w?
True
Let g = 452 - 133. Does 29 divide g?
True
Suppose 0 = y + 5, u + 3*y - 5 = 6. Let r = 39 - u. Is 13 a factor of r?
True
Suppose 5*w + 5*b - 625 = -0*b, 503 = 4*w + b. Is w a multiple of 14?
True
Does 6 divide (-19)/(-38) - (-54)/4?
False
Suppose 79 = -0*h + 4*h - 5*j, h - 2*j = 19. Is 3 a factor of 213/h - (-3)/(-21)?
False
Suppose -5*h + 2*q + 152 = 0, 4*h + 17 = -2*q + 135. Is h a multiple of 15?
True
Let q be 88/16 + (-2)/(-4). Let t(d) = 4*d + 6. Is 15 a factor of t(q)?
True
Suppose -5*a = w + 4 + 146, -4*a - 4*w - 120 = 0. Let i be (-6)/a - (-2)/(-10). Let g(t) = t**2 - t + 26. Is 13 a factor of g(i)?
True
Suppose 0 = 5*n + 24 - 64. Suppose -240 = -n*a + 4*a. Does 20 divide a?
True
Suppose -5*t + 0*c - 2 = c, -5*c + 17 = -2*t. Let o(a) = a**2 - 4*a + 8. Let p be o(6). Let n = p + t. Is 12 a factor of n?
False
Suppose -2*y = -23 + 15. Suppose -i = 2*i + 2*n - 219, y*i - 2*n = 292. Does 16 divide i?
False
Let u(i) = i + 4. Let y be u(0). Is 12 a factor of (-95)/(-4) - (-1)/y?
True
Let t(v) = 10*v - 1. Is t(4) a multiple of 10?
False
Let j = -568 + 923. Does 19 divide j?
False
Suppose -22 = -u - w, 6*w - 2*w + 112 = 4*u. Suppose -10*y = -15*y + u. Does 3 divide y?
False
Is 6/4 - (-65)/2 a multiple of 17?
True
Suppose 3*s - 2*p = 21, -3*p + 7 = s - 2*p. Is s a multiple of 7?
True
Is (-1 + 2)*(-16)/(-8) - -282 a multiple of 24?
False
Let q be -1*(1 + 1) + 4. Let z = -18 + q. Let c = z + 30. Does 14 divide c?
True
Let g = -1 - -1. Suppose -3*l + g*l = 18. Does 10 divide l/(-6)*(15 - 0)?
False
Suppose -32 = 7*d - 151. Is 12 a factor of d?
False
Let r(y) = 2*y + 3. Let u(x) = -3*x - 7. Let j(g) = 5*r(g) + 3*u(g). Let t be j(5). Let b = 9 + t. Does 4 divide b?
True
Let w(d) = d**3 + 4*d**2 - 2*d + 9. Is 17 a factor of w(-4)?
True
Let q = 14 + -27. Let s = -8 - q. Suppose a + s*k + 4 - 5 = 0, 5*a - 31 = k. Is 2 a factor of a?
True
Suppose -8*q + 148 = -4*q. Let c = q + 8. Does 15 divide c?
True
Suppose -7*q + 40 = -2*q. Is 2 a factor of q?
True
Suppose 2 = b - 4*p - 34, 102 = 4*b - 2*p. Let v = -15 + b. Is v a multiple of 3?
True
Let u(d) = d - 3. Let p be u(7). Let w = 6 + -7. Does 12 divide (w - p)*48/(-10)?
True
Suppose 5*a - 12 = 443. Is a a multiple of 11?
False
Let p(m) = m - 1. Let x(c) = -c**2 - 4*c + 10. Let b(t) = -5*p(t) - x(t). Is b(5) a multiple of 4?
False
Let o be (10/6)/(1/15). Suppose o = 3*p - u + 3*u, -2*p + 19 = -u. Let l = p - -7. Is 16 a factor of l?
True
Is 3 a factor of (-36)/30*(-80)/3?
False
Suppose 18 = -2*q + 264. Does 3 divide (-4)/22 + q/11?
False
Let r be -2*(1 - 3/2). Let u = 8 - r. Suppose u*g - 65 = 2*g. Is 8 a factor of g?
False
Suppose -4*z + 671 = -5*l, -z = l - 2*l - 168. Does 13 divide z?
True
Suppose -14*x + 25 = -9*x. Suppose -f - x*f + 312 = 0. Is 26 a factor of f?
True
Is 15 a factor of 13/52 - 1617/(-12)?
True
Let q(a) = a**3 + 6*a**2 - 11*a - 8. Is q(-6) a multiple of 17?
False
Let u(x) = -x**2 + 5*x - 3. Let i be u(5). Let p = i + 5. Suppose 0 = n + p*n - 36. Is n a multiple of 6?
True
Let l be (-2)/(1*6/(-87)). Suppose 3*y - 8*y - l = -z, 4*z = -4*y + 92. Is 9 a factor of z?
False
Suppose 0 = -2*x - 2*x. Suppose -2*u + 3*r = -36, -2*u = -x*u + 2*r - 16. Is u a multiple of 11?
False
Let q be 0*(21/(-6) + 4). Let b = 19 + q. Does 4 divide b?
False
Let z = -47 - -102. Suppose -3*p + 19 = z. Is (-23)/(-4) + (-3)/p a multiple of 6?
True
Let k be 1 + (3 - 3) + -3. Does 12 divide (-110)/(-3) + k/3?
True
Suppose -2*n + 4 = -4. Suppose -305 - 19 = -n*b. Is b a multiple of 21?
False
Suppose 6 = -2*q + 2. Let t be ((-14)/(-6))/(q/(-12)). Let u = 57 - t. Is u a multiple of 18?
False
Suppose r = 8 + 75. Suppose s - 2*f - 26 = -5*f, 5*f - r = -4*s. Is s a multiple of 6?
False
Is 5 a factor of 2/6*0 - -16?
False
Let f(g) = g**2 - g - 4. Let i be f(3). Suppose i*b = 6*b - 100. Does 10 divide b?
False
Suppose -1 = -m + 2. Suppose m*i - 47 = 13. Is i a multiple of 20?
True
Let z(u) = u + 3. Let v be z(6). Suppose -v = -5*a + 4*m, -a + 4*m + 6 = -m. Is 18*(-2)/(a + -3) a multiple of 9?
True
Suppose 6*o - 628 = -232. Does 11 divide o?
True
Let a = 15 + 13. Does 14 divide a?
True
Suppose 2*r = 206 - 30. Is r a multiple of 11?
True
Let c(j) = -j**3 - 4*j**2 - 4*j + 1. Let x be c(-3). Suppose 0 = -x*h + 3*k + 139, -3*h = k - 147 + 46. Does 13 divide h?
False
Let j = -1 + 13. Let z(g) = 0 - 8*g + 4*g**2 + 0 + j*g. Is 24 a factor of z(-4)?
True
Let y(i) = -i**2 + 7*i - 6. Let h be y(5). Is 18 a factor of 1/h + (-167)/(-4)?
False
Let c = 89 + -62. Is 27 a factor of c?
True
Let z = -56 + 26. Let p = z - -40. Is 2 a factor of p?
True
Suppose 50 = -5*n + 6*n. Does 24 divide n?
False
Let c = -9 - -13. Suppose c*z + 5*g = -4, 4*z + 3*g - g - 8 = 0. Suppose z*m - 36 = 32. Is m a multiple of 12?
False
Let j = -39 + 67. Is j a multiple of 11?
False
Let d = -2 - -2. Let j = -59 + 83. Suppose 3*m = -d*m + j. Is 6 a factor of m?
False
Suppose -7*j = -12*j + 180. Suppose -22 = -3*d + 14. Let m = j - d. Does 12 divide m?
True
Let y = -6 - -15. Let w = 11 + -6. Suppose 5*f - 75 = -0*f - v, -f - w*v - y = 0. Does 8 divide f?
True
Suppose 4*n - o - 42 = o, -o = 5. Let j = n - 5. Suppose w = 3*c - j*w - 45, -2*c = -3*w - 30. Is c a multiple of 15?
True
Is -3*985/(-195) - 4/26 even?
False
Let w = 75 + -37. Is w a multiple of 5?
False
Suppose f + 0*f - 5*x = 13, 0 = 2*f + 4*x - 12. Does 4 divide f?
True
Suppose -5*j = -2*j. Let a be 24/((-3)/(-6) + 1). Suppose j = 5*f - 3*n - 118, -n - a = -f + 6. Is 13 a factor of f?
True
Let x(l) = -l + 14. Does 7 divide x(7)?
True
Suppose -z - o = -44, 0*o + 176 = 4*z + 2*o. Does 14 divide z?
False
Let s be (6/24)/((-1)/(-20)). Let y be 1*(-2 + (-202)/(-2)). Suppose s*t - y = 2*t. Is t a multiple of 12?
False
Let l = 5 - 2. Let a = l - 1. Suppose -q + 3*i + 0 = 3, -2*q + 10 = a*i. Is 3 a factor of q?
True
Suppose 3*k + 3*n = 555, -2*k + 5*n + 335 = -0*n. Is k a multiple of 12?
True
Let u(n) = 13*n**3 - 4*n**2 + 3*n - 5. Is 25 a factor of u(2)?
False
Is 10 a factor of (-69)/(-3)*5/5?
False
Let x = 20 + -16. Suppose b + 147 = x*b. Is 17 a factor of b?
False
Let s = -35 + 64. Is 6 a factor of s?
False
Let z = -26 + 56. Suppose 3*h + 3*y - z = 0, 4*h - y = 8 + 32. Is 5 a factor of h?
True
Let x(j) = 60*j - 1. Let b be x(2). Does 6 divide b/14 + 2/4?
False
Let d = -2 - -3. Suppose 4*x = -3*l - d + 2, 0 = 3*x + 6. Suppose l = -b + 14. Does 11 divide b?
True
Let z(m) = m**3 - 5*m**2 - 7*m + 2. Is 17 a factor of z(7)?
True
Let q be (36/63)/((-4)/(-14)). Suppose 140 = q*l - 4*f, 2*l + 5*f - 2*f = 147. Does 17 divide l?
False
Suppose -5*f + 30 = 5*x, 8*f - 6 = -x + 4*f. Is -6 + x + 16/1 a multiple of 3?
False
Let z be 0 + (-4)/(8/2). Is 11 a factor of z/(-4) - (-107)/4?
False
Let u = -5 + 7. Suppose p = l - p - 2, 5*l = -u*p + 10. Does 15 divide l + (-19*2)/(-2)?
False
Let n(k) = -k**3 + 11*k**2 - 2*k - 24. Is n(10) a multiple of 7?
True
Suppose 4*f - 9*f + 4*z + 76 = 0, 0 = -4*f - z + 44. Is f a multiple of 4?
True
Suppose -q + 3*u + 11 = -5, 0 = -2*q + u + 47. Let l = -52 - -36. Is (l/10)/((-2)/q) a multiple of 11?
False
Let u = 37 + -9. Is 5 a factor of u?
False
Let v be 0 + 2 + 4 + -2. Suppose 0 = h - 2, 2*w - 36 = 6*w - v*h. Let p(r) = r**3 + 8*r**2 + 4*r - 4. Is 11 a factor of p(w)?
False
Suppose 2*k + 8 = 0, -l + 3*k + 0*k - 28 = 0. Let u = l - -69. Is u a multiple of 29?
True
Let t(r) = -4*r - 17. Let i be t(-5). Suppose 4*w + 100 = 2*u, 4*u - w - 210 = -i*w. Is u a multi