15/a)*33?
False
Suppose -52 = -o - 5*s, -2*o + s = 47 - 151. Is 13 a factor of o?
True
Is 208/(-24)*6/(-4) a multiple of 2?
False
Let q(v) be the first derivative of -v**4/4 + 7*v**3/3 - 3*v**2 + 8*v + 2. Let r be q(6). Suppose 32 = 2*f - r. Is 10 a factor of f?
True
Let u(a) = a - 4. Let z be u(-7). Let p = 43 + z. Let t = p + -18. Is t a multiple of 13?
False
Let f be 4/(1 - 5) - -6. Suppose w = f*y + 9, -4 + 20 = 3*w - 4*y. Is 4 a factor of w?
True
Let n = -2 + 4. Suppose -6 = -n*s - 0*s. Let u = 14 - s. Is u a multiple of 6?
False
Suppose 13 = -r + 3*s, -r = -2*s + 6*s - 1. Let a(c) = c**3 + 7*c**2 - 5*c + 7. Let p be a(r). Let l = p + -4. Does 19 divide l?
True
Let n be 6/10 + (-415)/25. Let i = n - -30. Does 12 divide i?
False
Let g(s) = s**3 + 4*s**2 - 2*s - 5. Let i be g(-4). Let p(l) = 4*l**2 + 5*l - 3. Is p(i) a multiple of 12?
True
Let b(o) = -8*o**2 + 4*o - 3. Let n(j) = -j**2 + j - 1. Let f(q) = -b(q) + 4*n(q). Let l be f(-1). Suppose -3*u + l = i - 1, 2*i + 7 = -u. Is u even?
False
Let r = 99 - 67. Does 2 divide r?
True
Let j = 23 + -7. Is (j/(-10))/((-16)/40) a multiple of 4?
True
Let t be (0 + 2 + -1)*0. Let b = -2 - t. Does 3 divide (1/b)/((-1)/6)?
True
Let b(o) = -6*o**2 + 2*o - 2. Let a be (-4)/(-2) + (-1 - 2). Let d(u) = -u**2 + u. Let j(l) = a*b(l) + 5*d(l). Is j(-6) a multiple of 14?
False
Let c(u) = u**2 + 3*u + 2. Let r be (-4)/3*54/12. Does 10 divide c(r)?
True
Let k(j) = -5*j - 2. Let p be 7/(-3) + 2/6. Let h be k(p). Suppose 0 = u + u - h, -2*i - 4*u + 60 = 0. Does 22 divide i?
True
Let k(r) = -r + 6. Let g be k(-5). Let x = g + -4. Is 2 a factor of x?
False
Let l(b) be the second derivative of -b**5/10 - b**4/12 + b**3/2 + b**2 + 3*b. Is 2 a factor of l(-2)?
True
Let q = -2 - -2. Suppose v - 13 - 10 = q. Does 8 divide v?
False
Let x be 1 + 7 - (1 - 3). Let v = x + 16. Does 13 divide v?
True
Let g(c) be the first derivative of c**2/2 - c - 2. Let b be g(3). Suppose 4*u - b*u = 8. Does 4 divide u?
True
Let x(z) = -z - 18. Let m be x(-17). Is m/2*(-3 + -11) a multiple of 6?
False
Let s = 215 - 107. Does 18 divide s?
True
Let m(g) = -g**3 - 8*g**2 - 9*g - 9. Let v be m(-7). Suppose -2*c + 4*c - 29 = 3*f, v*c + 3*f = 104. Is c a multiple of 14?
False
Let u = 45 - -18. Is 15 a factor of u?
False
Let d be -7 + (-1 + 0 - -3). Let o = d - -26. Is 7 a factor of o?
True
Let h = 1 + -10. Let p = -3 + 6. Is (-3)/h + 8/p a multiple of 3?
True
Let z = 38 + -23. Suppose z = v - 35. Does 21 divide v?
False
Let d(p) = -p - 3. Let h be d(-8). Suppose 8*g + 16 = h*g - 2*f, 16 = 2*g - 4*f. Is (-1 - g)*55/5 a multiple of 11?
True
Let s(t) = -t**3 - 5*t**2 - 5*t - 3. Let n be s(-3). Let f(h) = 2*h**2 + 3*h - 3. Is f(n) a multiple of 17?
True
Suppose -8*h - 3*k = -11*h + 450, 0 = 5*h + 5*k - 790. Is 11 a factor of h?
True
Suppose 0 = -5*f + 2*p + 8, 5*f + 0*p - 9 = p. Suppose f*w + w + 6 = 0. Is w/8 - 73/(-4) a multiple of 18?
True
Let y(s) = 13*s - 1. Let k = 19 + -13. Does 21 divide y(k)?
False
Let q(t) = 16*t**2 + t - 1. Is q(-1) a multiple of 7?
True
Suppose -2*c = -0*t - 2*t + 114, 3*t = c + 51. Let a be (12 - 10) + c/(-2). Does 16 divide a - (3 - (1 + 2))?
True
Suppose 0 = -3*n + 61 - 13. Is n/((2 + 0)/2) a multiple of 6?
False
Let x = 1 + -1. Let t be 2 + (x - -1) + -1. Is 8 a factor of 0 - 8*(1 - t)?
True
Suppose b + 0*k = -k - 11, -2*b + 5*k - 1 = 0. Let p(n) = -n**2 - 8*n + 3. Let w be p(b). Suppose -27 = -3*x + w*v - 6*v, 24 = 2*x - v. Is 8 a factor of x?
False
Let u be (2 - 9/(-3))*8. Let l = u + -29. Let d = l + -2. Is 9 a factor of d?
True
Let p be (12/(-10))/(1/(-5)). Suppose 0 = 7*u - 3*u - 4. Is (20/p)/(u/6) a multiple of 10?
True
Let b be ((-6)/4)/(1/(-2)). Suppose -b*u - 60 = -7*u. Is 5 a factor of u?
True
Let x = -2 + 5. Suppose -2*o + 0*b + 2 = b, x*b = o + 6. Suppose o = -a + 26 - 3. Does 11 divide a?
False
Suppose 2*z - 3 = -z. Is 5 a factor of (8/5)/(z/5)?
False
Let y be -1 + 0 - 5 - -2. Let z be (-6)/8 + 1/y. Let n = z + 3. Is 2 a factor of n?
True
Suppose -5*i - 70 + 120 = 0. Is 2 a factor of i?
True
Let n(o) = o. Let j be n(5). Suppose -3*f = 3*k - 4 - 125, j*k = -4*f + 177. Is f a multiple of 18?
False
Let a = 86 + -34. Is 20 a factor of a?
False
Let x(t) = 2*t**2 + 2*t - 8. Is x(-6) a multiple of 13?
True
Suppose -195 = 26*d - 29*d. Is 17 a factor of d?
False
Does 2 divide 17 + -3*4/(-6)?
False
Suppose -18 = -2*g + 3*y, 2*y + 13 - 5 = 0. Suppose 0 = g*u - 8*u + 25. Suppose 19 = 5*c + s - 69, u*c - 5*s = 70. Is 11 a factor of c?
False
Suppose 4*a + 9 = a. Let x(p) = -9*p**2 - 2*p. Let m(h) = 14*h**2 + 3*h. Let f(q) = -5*m(q) - 8*x(q). Is f(a) a multiple of 15?
True
Let c(r) = r**3 - 14*r**2 - 12*r + 35. Does 40 divide c(15)?
True
Let h = -134 + 193. Suppose 4*p - h = -15. Suppose 2*r + p = s, s - 4*r = -0*s + 5. Is 6 a factor of s?
False
Let a(i) = -i**3 + 3*i**2 + 3*i + 2. Let l be a(4). Does 3 divide 135/15 + (1 - l)?
True
Suppose -18 = o - 113. Is 13 a factor of o?
False
Let y = -86 - -166. Does 15 divide (33/(-44))/((-2)/y)?
True
Let u(n) = -2*n**3 - 12*n**2 - n - 2. Is u(-6) a multiple of 4?
True
Suppose -5*m + f + 1254 = 0, -113 = -m - 3*f + 141. Does 15 divide m?
False
Let c be 3/((6/14)/3). Let q be 87/(-9) + 8/12. Let j = q + c. Is j a multiple of 8?
False
Suppose -3*h = -h - 26. Let l = h + -8. Suppose -l*o = 19 - 129. Is 8 a factor of o?
False
Let a(q) = -3*q + 2 + 9*q - 4*q + 11*q. Suppose n - 5*x + 1 = -n, 0 = 3*x - 3. Is 14 a factor of a(n)?
True
Let h(f) = 0*f + 13 - 10*f + 7*f + 6*f. Is 13 a factor of h(10)?
False
Let b be (0 - 1)*(1 - 1). Is -3 + 2 - (b + -3) a multiple of 2?
True
Let u = -22 - -16. Let c be ((-6)/9)/(2/u). Is 8 a factor of (-9)/(0 + c/(-6))?
False
Let l be -1*(-2 - (-4 + -1)). Let p = -1 - l. Let d = 13 - p. Is d a multiple of 11?
True
Let z(a) = -8*a**3 - a**2 - 2*a. Is 16 a factor of z(-2)?
True
Let t = 84 - 250. Let n = t - -237. Is n a multiple of 9?
False
Let b = -115 - -171. Is 14 a factor of b?
True
Let o = 64 - -210. Is 15 a factor of o?
False
Let d(r) = -2*r**3 + 3*r + 2. Let o be 0 - -6*(-1)/3. Does 4 divide d(o)?
True
Let k(i) = -i**3 - 10*i**2 - 9*i + 4. Let w be k(-9). Suppose -w = 5*g - 19. Suppose -5*z + 77 = g*q, 4*z + 74 + 18 = 4*q. Is 12 a factor of q?
True
Let l(j) = 9*j**3 - 13*j**2 + 3*j - 5. Let q(t) = 5 - 2 - 6*t**3 + 7*t**2 - 2*t + t**3. Let k(z) = 4*l(z) + 7*q(z). Does 3 divide k(4)?
True
Let b(j) = 7*j**3 - 12*j**2 - 5*j + 4. Suppose 0*q = -q + 6. Let n(k) = -13*k**3 + 23*k**2 + 9*k - 8. Let s(g) = q*n(g) + 11*b(g). Is s(5) a multiple of 7?
False
Let w(j) = j**3 - 7*j**2 - 1. Suppose 6 = -2*c + 16. Let q be w(c). Let s = -23 - q. Does 14 divide s?
True
Let p(w) = -w**2 + 8*w - 5. Let v = 6 + -2. Does 11 divide p(v)?
True
Suppose 2*g + 2*g = 8. Suppose -5*s = -4*x - 104, -s - g*x = -0*s - 18. Suppose -s = -4*y + 4*l, -y - l + 25 = 4*y. Is y even?
False
Suppose 5*b - 1 = d + 12, 6 = -3*d + 4*b. Suppose 104 = d*q - 3*s + 5*s, 4*s - 46 = -q. Is 12 a factor of q?
False
Suppose -j = -3 + 45. Let h = j - -76. Does 31 divide h?
False
Suppose -659 = 2*d + 91. Let z be (-1)/2 + d/2. Is 16 a factor of 4/6 + z/(-6)?
True
Suppose c = 2*h - 112, 4*h - 218 = 3*c + 2*c. Is 11 a factor of h?
False
Let m = -43 + 313. Is m a multiple of 18?
True
Let y(u) = 2*u**3 - 5*u**2 + 15*u - 5. Is y(4) a multiple of 42?
False
Let d(a) = -29*a - 1. Is 14 a factor of d(-1)?
True
Let k(t) = t**2 - 3*t - 4. Let u be 2 + -1 - 2 - 2. Is k(u) a multiple of 5?
False
Let k be (-1)/(-2) + 1/(-2). Suppose k = 3*w + 3*j - 42, -3*w = -w + 3*j - 30. Is w a multiple of 12?
True
Suppose 2 = -v + 6. Suppose x = v*x - 120. Is x a multiple of 32?
False
Suppose 78 = 4*h + 5*f - 257, 0 = 2*h + 5*f - 175. Is h a multiple of 27?
False
Suppose 0*p + 16 = -4*p. Let v be -1 + (-1*2 - p). Is (v - 3) + (11 - 1) a multiple of 3?
False
Let c be (3 - (-3)/(-2))*-2. Is (-6)/c + 56/4 a multiple of 8?
True
Does 5 divide (16/6)/((-4)/(-30))?
True
Let s(b) = -5*b - 2 + 4 + 12*b. Let u(r) = r**2 + 5*r - 3. Let q be u(-6). Is 16 a factor of s(q)?
False
Let z(b) = -b**3 + b**2 + 2*b + 4. Let u be z(-3). Let q = 15 + -3. Let g = u - q. Is g a multiple of 22?
True
Let l(w) = -w + 39. Let b be l(0). Suppose 16 + b = 5*q. Is q a multiple of 11?
True
Suppose -2*x + 2 = 4. Let k be 1*x + (-1 - -3). Is (k - -2)*10/3 a mul