pose 0 = 2*a - 0*a. Let y = a - -5. Suppose 4*p + 2*u - 2 = 0, -y*p = -3*u - 12 - 7. Does 2 divide p?
True
Suppose 5*l + 41 = 2*p, -3*p + 2*l - 6 = -5*p. Suppose 4*x - 8 = p. Suppose -x = -u - 1. Does 3 divide u?
True
Suppose 0 = 2*d + i + 14 - 117, -263 = -5*d + 3*i. Does 26 divide d?
True
Let q be (-268)/(-8) - (-1)/(-2). Suppose 0 = 2*u - 9 - q. Is u a multiple of 13?
False
Suppose -5*n - 4*c + 491 = 0, 5*n + 0*n + 2*c = 493. Suppose 3*q + 0*q = n. Is q a multiple of 11?
True
Is 1044/28 + 1 - (-4)/(-14) a multiple of 38?
True
Let h(f) = -6*f + 12. Does 14 divide h(-3)?
False
Let d = 2 - -6. Is d a multiple of 4?
True
Suppose -z + 17 = 3*b, 3*z + 2*b - 33 = -2*z. Suppose -r - 5*w - 17 = -z, 2*r - w - 9 = 0. Suppose 2*t = -r*t + 50. Does 5 divide t?
True
Suppose -4*d = 4*c - 288, -78 = -d - 4*c + 9. Is 11 a factor of d?
False
Is 20 a factor of 24*(-2 - 13/(-4))?
False
Is 8/20 + 2574/15 a multiple of 31?
False
Suppose -2*k + 36 = 12. Let d = k - -2. Is 10 a factor of d?
False
Let n = 10 - -56. Is 17 a factor of n?
False
Let a = 13 - 9. Suppose 0 = -a*t + 50 + 6. Does 14 divide t?
True
Let i be (3 - 4)*(6 + 0). Let l = 15 + i. Is 9 a factor of l?
True
Let n(m) be the third derivative of m**5/60 - 7*m**4/24 + m**3 - 6*m**2. Does 6 divide n(7)?
True
Let l(q) = -q**3 + 3*q**2 + 6*q - 5. Let h be l(4). Suppose 70 = -h*j + 295. Suppose -2*a + j - 15 = 0. Is a a multiple of 17?
False
Suppose 0*k = -4*k - 24. Let g(q) = q**2 - 3*q. Is g(k) a multiple of 18?
True
Let p = 44 + -23. Suppose -3*i = -5*l + 4*l - 14, -5*i + 4*l + p = 0. Is 3 a factor of i?
False
Suppose 3*o - 41 = 2*o - 2*h, -3*o + 123 = 4*h. Is 17 a factor of o?
False
Let v(k) = -k**3 + 19*k**2 + 3. Is v(19) even?
False
Let k = 16 + 40. Is k a multiple of 14?
True
Suppose 6*g = 2*g + 80. Suppose -5*c + 110 - g = 0. Let i = c + -2. Is 6 a factor of i?
False
Let z = -4 - -6. Suppose -14 = -y - 5*g + 10, 2*y - z*g = 0. Does 3 divide 10/(y/((-2)/(-1)))?
False
Let t = -274 - -398. Suppose 3*p = -p + t. Is p a multiple of 21?
False
Suppose -45 + 173 = 2*u. Does 2 divide u?
True
Suppose -2*b = b - 510. Does 36 divide b?
False
Suppose 4*v - 208 = -4*g, -4*v = v + 3*g - 270. Is v a multiple of 27?
False
Let q = -88 - -84. Let f be ((-14)/3)/(1/(-18)). Is 4 a factor of (-2)/q + f/8?
False
Suppose -1224 = -3*j - 3*w - 0*w, w - 2020 = -5*j. Is j a multiple of 71?
False
Let j(y) be the second derivative of y**3/6 - y**2 + y. Let h be j(6). Suppose -a = -3*a + h. Is 2 a factor of a?
True
Let m(l) = 95*l**2 + l - 2. Is 18 a factor of m(1)?
False
Let f be 4/(-6) - (-16)/6. Let g(n) = 2*n**2 - n**2 + f*n - 3 + 0*n. Is g(-4) a multiple of 3?
False
Suppose 5*b + 28 = 3*b. Is (-274)/b - (-18)/42 a multiple of 5?
True
Suppose 5*u = 12 + 28. Is 4 a factor of u?
True
Is 4 a factor of (5/(-5))/((-1)/4)?
True
Let g(m) = -m**2 + 3*m + 10. Let h be g(7). Let i be (-3)/h + (-41)/(-6). Suppose 0 = n - i - 2. Does 4 divide n?
False
Let u(h) = -h**3 + 7*h**2. Is 14 a factor of u(6)?
False
Let p(y) = y**2 - 2*y. Let o be p(4). Suppose -3*s = 4*w + 26, -o + 28 = -4*w. Is 1/(1/(-56)*s) a multiple of 11?
False
Let l(s) = s + 19. Let v be l(0). Suppose -4*o = -v + 7. Suppose -128 = -5*d - 6*c + o*c, -3*c + 72 = 3*d. Is d a multiple of 14?
True
Suppose 2*b = 2*y - 2, 5*y - b = b + 14. Suppose -y*k - k = -3*a + 79, -5*k + 47 = 4*a. Does 9 divide a?
True
Let x(v) = -v**2 - v + 4. Let n(y) = -y**2 - y + 4. Let z(s) = 2*n(s) - 3*x(s). Let l be z(-5). Suppose 4*p = 8*p - l. Is 4 a factor of p?
True
Suppose 2*u + 0*u = 6. Suppose 0 = 3*y - 3*a - 126, 7*y = 2*y - u*a + 250. Suppose t = y - 10. Is t a multiple of 14?
False
Let l be (1/(-2))/((-18)/(-72)). Is (63/(-2))/(1/l) a multiple of 21?
True
Let y = -51 + 32. Let g = y - -13. Let c(h) = -h - 2. Does 4 divide c(g)?
True
Suppose 203 = a + 4*f - 2, a = f + 200. Is 7 a factor of a?
False
Suppose -4*c = -3*c - 37. Does 11 divide c?
False
Let k be (3/9)/((-1)/(-27)). Let h be (-1)/((-6)/k)*2. Suppose -1 = -c + v + 1, 2*c = h*v. Is 5 a factor of c?
False
Suppose 0 = -x - 0 - 2. Let n be (202/(-4))/(-2 + 5/2). Is 11 a factor of (n + 2)*x/6?
True
Is 169 + -2 - 1 - (-8)/(-4) a multiple of 9?
False
Let o(u) = -u**3 - 7*u**2 + 6*u - 11. Is 2 a factor of o(-8)?
False
Is 2 a factor of ((-10)/(-3))/((-5 - 0)/(-75))?
True
Let d = -74 - -141. Let c be (-6)/1*66/12. Let z = c + d. Does 12 divide z?
False
Let o(y) = 2*y**2 - 4*y + 3. Let d be o(2). Let q(s) = 2*s - 4 - 4*s**2 + s**d + 0*s**3 + 0*s**2. Is q(4) even?
True
Let b(n) = -21*n**2 + 6*n - 7. Let x(y) = -41*y**2 + 11*y - 13. Let f(j) = 11*b(j) - 6*x(j). Is 13 a factor of f(2)?
False
Let k(v) be the third derivative of -v**6/120 - v**5/15 - v**4/6 + 7*v**3/6 - 5*v**2. Is k(-5) a multiple of 26?
True
Suppose -7*b = -2*b - 35. Let q(a) = -a**3 + 9*a**2 - 10*a - 1. Let d be q(b). Suppose -11 - d = -u. Is u a multiple of 19?
True
Let v(b) = 3*b**2 + b - 1. Let q be v(1). Is 4 a factor of -1 - -2 - (-24)/q?
False
Suppose -3*u = -4*d + 5, 4*d + 0*u = 5*u + 3. Is 28 + (0 - 2/d) a multiple of 11?
False
Let d(b) = 74 + 6*b**2 + 0*b - 72 + 2*b. Is d(-1) a multiple of 2?
True
Suppose t - z - 2*z = 29, 0 = -5*t - 4*z + 88. Suppose -2*g = -10 - t. Does 8 divide g?
False
Let n(y) = 3*y**3 - y. Let j(i) = i - 1. Let z be j(2). Let c be n(z). Suppose 0 = x + 3*v + 6 - 3, -c*x + 19 = v. Is 6 a factor of x?
True
Suppose -k = -0*k - 5. Does 8 divide ((-12)/k)/(1/(-10))?
True
Let s be (1 + (-12)/(-2))*1. Suppose s*w - 25 = 2*w. Is w a multiple of 3?
False
Is 3 a factor of 2 + (-1 + -2)*-3?
False
Let z be (2 - (-2 - -14))/(-2). Let l(a) = -z*a - a**2 - 5*a + 4*a + 5. Does 5 divide l(-6)?
True
Let w = 15 - 10. Suppose w*b + 40 = 130. Is b a multiple of 9?
True
Suppose 12 = w + 1. Let z be w/((-2)/24*2). Does 7 divide z/4*(-8)/12?
False
Let t = 29 + 1. Let l = 46 - t. Is 16 a factor of l?
True
Suppose 2*k - 54 - 48 = 0. Does 16 divide k?
False
Let t(o) = -o**3 - 2*o**2 + 5*o + 4. Let y be t(-4). Suppose -12*f - 72 = -y*f. Does 5 divide f?
False
Suppose -2*y - 2 - 2 = 0. Suppose 0*z + 3*z = 0. Does 12 divide 38/(-4)*(y - z)?
False
Let a = 210 + -144. Suppose t - 4*t = -a. Is t a multiple of 7?
False
Let r = 18 + -26. Let c(j) = -2*j**3 - 2*j**2 + 2. Let h be c(-3). Does 8 divide (h/(-3))/(r/12)?
False
Let a = 18 + -14. Suppose -5*s = 3*m - 55, -3*m + a = -3*s - 11. Is 6 a factor of m?
False
Suppose -8*c + 68 = -4*c. Is 5 a factor of c?
False
Let d(o) = -6*o**2 + 7*o - 5. Let h be d(5). Let x be (0 + -1)*(-5 + 88). Let g = x - h. Is g a multiple of 13?
False
Let p(u) = 54*u**3 - u**2 + u. Suppose 4 - 9 = -5*g. Let n be p(g). Suppose -2*i + i = -n. Is 18 a factor of i?
True
Suppose 8*b = 5*b + 12. Suppose 3*g - 5*l = 82 + 28, 0 = -4*g + b*l + 136. Is g a multiple of 9?
False
Let u = -59 + 92. Suppose q = -2*q + u. Does 7 divide q?
False
Does 39 divide ((-584)/(-12))/2*3?
False
Let x(p) be the first derivative of -p**2/2 - 2*p + 3. Let f be x(-5). Suppose -2*m + 15 = 3*d, 5*d = f*m - 8 - 5. Is 3 a factor of m?
True
Let h(v) = 44*v**2 + 2*v - 2. Is 16 a factor of h(1)?
False
Suppose -281*v - 472 = -285*v. Does 13 divide v?
False
Let u(q) = -15*q**2 - q. Let m be u(-1). Let l = -5 - m. Does 7 divide l?
False
Let w(c) be the first derivative of -9*c**2/2 + 3*c + 8. Is 12 a factor of w(-5)?
True
Suppose -g = g + 18. Let w = 10 - g. Suppose -4*h - h = -5*d - 30, -4*d - w = -3*h. Is 2 a factor of h?
False
Suppose 5*k - 69 + 9 = 0. Is k a multiple of 4?
True
Let f be 0 - 0 - (-128)/8. Suppose -f = h - 2. Is 7 a factor of (-4)/(-14) + (-150)/h?
False
Suppose -2*h - 180 = -5*h. Is 8 a factor of h?
False
Suppose 7 + 19 = 4*z - t, 2*z - 16 = -t. Is z a multiple of 2?
False
Let m = 2 - -2. Is 13 a factor of (-1)/m + 186/8?
False
Is 239/5 - (-2)/10 a multiple of 13?
False
Let a be (-6)/(-3)*10/4. Suppose -z - 70 + 15 = -a*w, -3*w - 3*z + 33 = 0. Is 11 a factor of w?
True
Let m = -7 + 23. Is 16 a factor of m?
True
Suppose -2*h + 2*m + 5 = -m, -5*m = -5*h. Let w(x) = -11*x - 3. Is w(h) a multiple of 13?
True
Suppose -4*s - 12 = 5*w, s = 2*s - 2. Does 3 divide (w/8)/(3/(-36))?
True
Let d(o) = -o**2 + 8*o - 3. Let x(q) = 3*q. Let b be x(1). Let a be (-24)/(-9) - (-1)/b. Does 12 divide d(a)?
True
Suppose 3*u = 2*u. Suppose -z = -u*z - 14. Is z a multiple of 4?
False
Let d be 6/2 