 a factor of p?
False
Let d be (11 + -1)*(7 + -4). Suppose 0 = 2*n - n - d. Does 12 divide n?
False
Suppose -4*s + 21 = 1. Suppose 17*l = 22*l - 125. Suppose 5*u - l = -s. Does 3 divide u?
False
Let x be 0*(0 + (-2)/(-2)). Let u(j) = j**2 - j + 4. Let w be u(x). Suppose -w*d + 8 = 4*r, -10 = -r + d - 0*d. Does 6 divide r?
True
Let j(l) = l + 11. Let d be j(-7). Suppose 2*y = -k + d*y + 25, 5*k - 5*y = 145. Does 14 divide k?
False
Suppose 2*y + w = 84, 23 = y - w - 16. Is y a multiple of 6?
False
Let z = 180 + -95. Does 22 divide z?
False
Suppose -2*m - d = -4*m + 5, 5*m - 25 = 5*d. Suppose -o + q + m*q + 33 = 0, -5*o + q + 181 = 0. Does 15 divide o?
False
Let f be 1/1 + 2 - 3. Suppose -5*y + 4*b + 210 = f, -b + 185 = y + 4*y. Does 19 divide y?
True
Let s(b) = -b**3 - 3*b**2 + 4*b - 1. Is 12 a factor of s(-6)?
False
Let r(o) = -2*o**3 - 10*o**2 + 8*o + 5. Let x be r(-9). Does 17 divide 4/22 - x/(-11)?
False
Let o(c) = c**3 + 4*c**2 + c + 4. Let y(h) = 5*h**2. Let z be y(1). Suppose 4 + 11 = -z*f. Is 5 a factor of o(f)?
True
Let j(d) = d + 11. Let s be j(-8). Suppose 4*m - m + s*y + 6 = 0, -3*m = -4*y - 8. Suppose m*u - 3*u = -15. Does 2 divide u?
False
Suppose 5*z + 17 = 2*h, 0 = 4*h + 4*z - 7*z - 13. Does 4 divide (18/4)/(h/2)?
False
Let h(v) = 6*v**3 - 2*v**2 + v. Let i be h(1). Is 141/i - 3/15 a multiple of 17?
False
Is (10/(-15))/(0 - 2/36) a multiple of 12?
True
Let m be 54/(-4) + (-4)/8. Is (-2)/((-8)/m)*-2 a multiple of 2?
False
Let c be (-2)/(-6) + 15/9. Suppose -5 = -a + c*x + 4, 4*a - 3*x - 16 = 0. Is 19 a factor of a/2 - 81/(-2)?
False
Let a(h) = h**2 - 9*h + 6. Let n be a(8). Is n/7 + (-535)/(-35) a multiple of 5?
True
Suppose -4*f + 4*j - 6 = -2*f, -3*f + 4*j = 5. Is 3 a factor of 5/(10/12) + f?
False
Suppose -7*h + 2*h = -25. Suppose 0 = h*n + 4*i - 30, 12 = -2*n + 4*n + 3*i. Is n a multiple of 2?
True
Let w(n) = -n**3 - 4*n**2 + 4*n + 4. Let f(o) = -o**3 - 5*o**2 + 2*o + 5. Suppose -2*j - 8 = 2. Let d be f(j). Does 4 divide w(d)?
False
Suppose 122 = p + 2. Is 31 a factor of p?
False
Let n(r) = r**3 - 3*r**2 + r - 2. Let u be n(4). Let p be ((-5)/(15/u))/(-2). Suppose 0 = 7*s - p*s - 24. Does 3 divide s?
True
Suppose 2*c - 191 - 63 = 0. Is c a multiple of 17?
False
Let v = -4 + 19. Let b be ((-2)/6)/((-1)/v). Let u(y) = y**3 - 6*y**2 + 6*y + 4. Does 9 divide u(b)?
True
Is 7 a factor of 1146/54 + (-4)/18?
True
Suppose d = 2*d - 5*s - 25, 3*d - 4*s = 42. Let p be 6/4 - (-5)/d. Is 9 a factor of 18 + 3 + -1 - p?
True
Suppose -1085 = 21*m - 26*m. Does 31 divide m?
True
Let o(w) = -2*w - 3. Is o(-11) a multiple of 7?
False
Suppose -3*a = 2*a + 4*o - 82, a - o - 20 = 0. Is 6 a factor of a?
True
Let y = 1 + 0. Is 8 + 1/(y + -2) even?
False
Let n be 68/6*(3 + -6). Suppose 5*v + 5*b - 164 - 111 = 0, -3*v = 5*b - 169. Let o = v + n. Is o a multiple of 7?
False
Suppose -3*g + 9 = -0*g. Suppose -36 = i - g*i. Is i a multiple of 9?
True
Suppose 12*g - 14*g + 18 = 0. Does 2 divide g?
False
Let c(h) = -2*h + 1. Let g be c(7). Let d = 23 + g. Does 10 divide d?
True
Let n = 13 - 10. Does 3 divide n?
True
Let k = 76 + -57. Is k a multiple of 4?
False
Let p = -2 - -5. Let w be -17*2*(-1 + 0). Suppose -p + 1 = -2*t, -4*t - w = -2*q. Is 8 a factor of q?
False
Let o(x) = -x**3 - 23*x**2 + 18*x + 43. Is o(-24) a multiple of 17?
True
Suppose 7*i = 8*i + 53. Let x = -86 - 4. Let p = i - x. Does 13 divide p?
False
Let v(d) = -2*d + 19. Suppose -4*a - 76 = -0*a. Is 19 a factor of v(a)?
True
Let z(h) = 4*h**2 + 18*h. Is 5 a factor of z(-7)?
True
Suppose 3*q + q = 5*b + 41, -3*b + 5 = 5*q. Suppose 4*l = 3*o - 8*o + 38, -q*o + 34 = 5*l. Does 6 divide o?
True
Suppose 5*h + 742 = -4*z, 5*h + z = 2*z - 727. Let f = h - -103. Let x = 71 + f. Is x a multiple of 15?
False
Let i(u) = -31*u - 1. Does 10 divide i(-1)?
True
Let i(f) = f - 1. Is 10 a factor of i(12)?
False
Suppose 31*p - 29*p - 86 = 0. Is p a multiple of 10?
False
Suppose 49*k - 45*k - 52 = 0. Is k a multiple of 3?
False
Suppose -3*u + 6*u - 15 = 0. Let y(b) = -b**3 + 4*b**2 + 4*b. Let l be y(u). Let f(h) = h**2 + 3*h - 4. Is f(l) a multiple of 6?
True
Suppose -z - 42 = 4*a - 3*z, -5*z = -5. Let r = a + 4. Let j(s) = -s**3 - 6*s**2 - 6*s - 3. Is j(r) a multiple of 12?
False
Let g(m) be the third derivative of -m**5/60 + 5*m**4/12 - m**3/6 - 2*m**2. Is 8 a factor of g(9)?
True
Let l = 124 + 8. Does 30 divide l?
False
Let u = -36 + 39. Is u a multiple of 2?
False
Let r = -10 + 15. Suppose -r*s = 64 + 76. Let n = 39 + s. Does 11 divide n?
True
Let w be (12/(-4))/3 - 3. Does 15 divide (-964)/(-16) + w/16?
True
Let r(u) = -u**2 + 5*u + 9. Let x be r(5). Is 24 a factor of 651/x + 4/(-12)?
True
Suppose -5*d = -k - 17, -8*d + 4*d + 25 = 3*k. Suppose -2*x + x - 6 = 0. Is ((-40)/k)/(2/x) a multiple of 20?
True
Let n(h) = h**3 + 6*h**2 - 4*h - 4. Let v be n(-6). Let d = v + -8. Is d*(10/(-3))/(-2) a multiple of 10?
True
Let a be (-2 + 3)*4/1. Let j(d) = -a*d + 4*d + 5*d. Is 10 a factor of j(2)?
True
Suppose 31 = a - 9. Suppose -2*n - h - 5 = 0, 5*n - 4*h = n - a. Is (-9)/(-4) + n/20 a multiple of 2?
True
Suppose 3*g - 28 = g + 4*z, 5*g - z = 88. Is g a multiple of 10?
False
Let z(x) = x**3 - 5*x**2 - 10*x + 9. Let f be z(7). Is 11 a factor of (2 - -1) + (f - 0)?
False
Suppose j + 3*j = -4. Let x = j - -3. Suppose -o = -r + 3*r - 38, 0 = 3*o + x*r - 98. Is o a multiple of 20?
False
Suppose 2 = 5*x - 2*v, -5*x + 3*v + v = 6. Suppose -x*o = -7*o + 230. Does 17 divide o?
False
Suppose q + u = 3*u - 6, -4*q + 4*u - 8 = 0. Suppose -t + q*d = 5*d - 39, 107 = 3*t + 4*d. Is 11 a factor of t?
True
Let a(m) = -m - 8. Let h be a(6). Let x(d) = -4*d + 5. Does 22 divide x(h)?
False
Suppose 5*m - 3*m = 3*f + 4, -6 = -3*m + 5*f. Suppose 2*q + m*q = -3*z + 54, -125 = -5*z + 5*q. Is z a multiple of 22?
True
Let a = 1084 + -754. Suppose 4*u + u = a. Is u a multiple of 23?
False
Suppose -g + 22 = 2. Suppose -3*o - g = -4*o + 3*u, 4*o - 80 = -4*u. Is 5 a factor of o?
True
Let b = 6 + -5. Let r = 2 + b. Does 3 divide r?
True
Let b(d) = -d - 11. Let c(t) = -10. Let g(q) = -5*b(q) + 6*c(q). Let h be g(-4). Does 16 divide 10/h - (-82)/5?
True
Let m = 6 + -6. Suppose -3*a + 221 = -0*a + i, 4*i - 20 = m. Suppose 0*x - a = -2*x. Is 18 a factor of x?
True
Let b be -274*(2 - (2 + 1)). Let n be b/8 + 2/(-8). Let i = n - 10. Is i a multiple of 8?
True
Let x = 2 - -67. Does 8 divide x?
False
Suppose -4*b + 12 = 0, -u - 2*b - 126 = -5*u. Suppose -5*s - 7 = u. Let y = 2 - s. Is y a multiple of 10?
True
Let l(d) = d**2 + d - 4. Let i be l(0). Let v be -4 + i/(-2) + 0. Is (-56)/(-3) + v/3 a multiple of 9?
True
Suppose -m = 4*m + 5*s - 10, 2*s = m + 10. Let y be -17 + m - (1 + 2). Let d = -10 - y. Is d a multiple of 11?
False
Let b be 9*-2*(-1)/2. Let q be (-1)/(-2 + 15/b). Does 7 divide (-11)/q*-3 - -2?
False
Suppose 0 = 2*v - s - 5, -5*s - 16 = -4*v - s. Let z be (-6)/v*(-182)/21. Suppose -3*t + z = -26. Is 9 a factor of t?
False
Suppose 29*b - 1624 = 22*b. Is 26 a factor of b?
False
Suppose c = -0*c + 50. Suppose -5*o = -90 - c. Does 7 divide o?
True
Suppose 3*s - 590 = -65. Is 34 a factor of s?
False
Suppose 4*n + 31 = -125. Let q = -14 - n. Is q a multiple of 7?
False
Suppose 4*v - 27 = -4*t - t, -5*t + 21 = 2*v. Suppose v*x + 78 = 5*x - 2*y, 3*x - 135 = -3*y. Is x a multiple of 14?
True
Let i(p) = 3*p**2 + p. Let c be i(-1). Suppose 2*q - f + 71 = 0, c*q - 3*f = -0*q - 77. Let w = q + 50. Is w a multiple of 12?
False
Let q be (48/(-20))/(2/(-20)). Suppose -5*l + q = -2*j, -5*j + 15 + 18 = 3*l. Is l a multiple of 3?
True
Let x(p) be the first derivative of p**4/4 - 5*p**3/3 + 5*p**2/2 + 3*p + 5. Does 14 divide x(5)?
True
Let b(n) = n**2 - 8*n + 12. Let k be (-96)/(-10) - 2/(-5). Is 8 a factor of b(k)?
True
Let a = 2 + 2. Does 13 divide (-48 - a)/((-2)/1)?
True
Suppose -2*z + 76 = -128. Suppose 3 = -y - 4*v + 45, -2*v + z = 2*y. Does 19 divide y?
False
Suppose -3*g = -0*g - 4*u + 20, -1 = u. Let a(o) = o**2 + 5*o - 3. Is a(g) a multiple of 9?
False
Let o(c) = -c + 1. Suppose 0 = -0*z - z + 3. Let v be o(z). Is 13 a factor of (v - -3) + 30 + -2?
False
Suppose 0 = -3*p + 10 - 1. Suppose l = -3, s = 2*l + 12 + 64. Suppose 0 = 5*k - p*y + 2*y - s, 2*k + 4*y = 6. Is 8 a factor of k?
False
Let d = 0 + 3. Suppose 5*r - 166 = -d*g, -4*r - 377 + 88 = -5