 2*x - z = -0*x + 75, -w*x + 2*z + 189 = 0. Is 6 a factor of x?
False
Let v be 28/5 + (-4)/(-10). Suppose -v*o - 75 = -o. Let s = -8 - o. Does 7 divide s?
True
Let b be (-30)/9*(3 - 0). Let c = 15 + b. Suppose 3*k = 2*z - k - 82, -z - c*k = -41. Is 14 a factor of z?
False
Let z(d) be the second derivative of d**3 - 13*d**2 - 22*d. Does 40 divide z(11)?
True
Suppose 0 = -24*r + 20*r + 3*h + 4020, 4*r - 4020 = 2*h. Is r a multiple of 15?
True
Suppose -505*r - 2848 = -509*r. Does 17 divide r?
False
Let c(f) = -f**3 + 24*f**2 + 28*f - 54. Suppose 4*o - 4*a = 6*o - 34, -5*o + 133 = -2*a. Is c(o) a multiple of 7?
True
Let i(t) = t**3 - 12*t**2 + 34*t + 4. Is i(15) a multiple of 29?
True
Suppose -4*l + 2249 = 5*z, 81 + 837 = 2*z - 3*l. Is z a multiple of 17?
False
Let z(b) = 4*b**3 - 8*b**2 - 4*b - 10. Let l be z(6). Let s = 762 - l. Is 22 a factor of s?
True
Let s = -1 + 14. Suppose 11*j - 108 = s*j. Let q = j + 92. Is q a multiple of 17?
False
Let m(w) = -w**2 - 2*w - 2. Let g be m(-2). Let n(d) = -21*d. Let l be n(g). Suppose 2*a + 6 = l. Is a a multiple of 18?
True
Suppose 0 = n + 6 - 0. Does 4 divide ((-57)/(-6))/(3/n*-1)?
False
Let k(x) = 188*x**3 - x**2 + x. Is k(1) a multiple of 9?
False
Let u be (360/2 - -2) + 1. Let t = u - 57. Let q = -66 + t. Does 20 divide q?
True
Suppose 4*v + 5*l = 1033, -v - 5*l + 267 = 20. Suppose 3*a = -0*a - 528. Let o = a + v. Is 37 a factor of o?
False
Is 11 a factor of (21/(-9))/((-604)/120 + 5)?
False
Suppose -5750 = -5*b - 1535. Is b a multiple of 37?
False
Let w(a) = 7*a - 38. Let f be w(8). Is 750/f + (-3)/(-9) a multiple of 8?
False
Suppose -3*z = 2*z - 2*i + 297, -z + 4*i - 63 = 0. Let d = 11 - z. Is 13 a factor of d?
False
Suppose 76*a = 102*a - 45500. Does 10 divide a?
True
Let m(v) = v**3 + v**2 - v + 4. Let a be m(0). Suppose -24 = -3*c + 2*h, -a*c + 23 = -h - 4. Is 23 a factor of 92/c*12/8?
True
Suppose 0*n = -5*n - x + 29, 35 = 3*n + 5*x. Is 2 a factor of n?
False
Let t(f) = f**3 + 10*f**2 - 31*f - 117. Is 2 a factor of t(-10)?
False
Let z = 87 - -10. Suppose 0 = -7*n + 4*n + 4*y + 4, 22 = 5*n + y. Suppose 23 = i - 0*h - h, -5*h = -n*i + z. Is 14 a factor of i?
False
Suppose -c = 3*o - 4*c - 273, -o = 4*c - 71. Is 18 a factor of (-5 - -7) + -1 + o?
False
Let z = 27 - 33. Let f(x) = 4*x**3 - 2*x**2 + 1. Let s be f(-1). Is (31 - s)*(-3)/z a multiple of 6?
True
Let y be (-4)/14 - 142/(-7). Let d be (5 + -3)*y/8. Suppose z - 16 = -d. Is z a multiple of 5?
False
Let h(y) = 64*y - 104. Is h(12) a multiple of 64?
False
Let d(j) = -j. Let t(q) = -14*q - 5. Suppose 0 = x - 2*p + 3, -5*x + 2 = -6*x + p. Let f(u) = x*t(u) - 6*d(u). Does 9 divide f(2)?
True
Let s = 7712 - 1756. Does 37 divide s?
False
Suppose -k + z = 12, z = 7*k - 3*k + 54. Let i(v) = 27*v**3 - 2*v - 1. Let y be i(-1). Let a = k - y. Is a a multiple of 12?
True
Let w = -504 + 664. Is 40 a factor of w?
True
Suppose 0 = -0*g + 2*g + 214. Suppose -72 - 135 = -t. Let o = g + t. Is o a multiple of 25?
True
Let i be 171/(-6)*4/(-6). Let c = 23 - i. Suppose c*g = -0*n + 3*n + 285, 3*g = 3*n + 213. Does 18 divide g?
True
Suppose -4*i = 3*m + 2*m - 3, 5*m + 5*i = 5. Let v(n) = -45*n**3 - 1. Does 22 divide v(m)?
True
Let a = -1 + 10. Let l(m) be the third derivative of m**5/60 - m**4/4 - 11*m**3/6 + 4*m**2 - 4. Is l(a) a multiple of 8?
True
Let r = 11 + -19. Let q be (0 - 2)/(r/124). Let a = q - 17. Is a a multiple of 9?
False
Let y(o) = o**2 - 29*o - 59. Is y(39) a multiple of 5?
False
Let j be (3/8)/((-9)/(-72)). Suppose 2*c - j*i = -7, 5*c + 2*i = i - 9. Is c/9 - (-218)/9 a multiple of 6?
True
Let d = 89 + 268. Is 23 a factor of d?
False
Is 9/24 - (86286/(-48) - -7) a multiple of 10?
False
Suppose 5*a - 24099 = -24*a. Is 6 a factor of a?
False
Let t be (-28)/(-70) + (-26)/(-10). Suppose -5*i = -4*i - 47. Suppose t*k + 2*k = -4*d + 63, d = 5*k + i. Is 22 a factor of d?
True
Suppose 9 = 3*r, 6*r = z + 2*r + 6. Does 11 divide (225 + 1)/(z + -4)?
False
Let k be 204/48 + 2/(-8). Let f = k - -8. Does 2 divide f?
True
Let k(t) = 789*t**2 + 9*t - 7. Is 111 a factor of k(1)?
False
Let z = 22 + -23. Is (0 + z)/(((-15)/(-252))/(-5)) a multiple of 15?
False
Is 12 a factor of (-1)/(-5) - (-40766)/170?
True
Suppose 2*a + 2 = -c + 3, 3*c = -2*a + 3. Does 11 divide 2/(-2) + (c - -77)?
True
Suppose -3*z - 52 = z. Let f be z/(-3) + (-23)/69. Suppose f*s - 28 = -3*a + 39, 80 = 4*a - 4*s. Does 7 divide a?
True
Suppose -q + 3*g - 992 = -3*q, 5*g = 2*q - 960. Does 61 divide q?
False
Let c = 115 - 112. Let o = 12 + -8. Suppose -2*i - m = c*i - 107, -o*i + 5*m = -103. Is 7 a factor of i?
False
Suppose -2*u - h = -8789, -92*h + 21970 = 5*u - 90*h. Is u a multiple of 122?
True
Suppose 114 = 5*z - 316. Suppose -2*q = -14 - z. Is q a multiple of 14?
False
Let j(c) = 47 + 12*c**2 - 17*c - 10*c**2 + 4. Is 5 a factor of j(7)?
True
Suppose -2*o - 8 - 6 = -a, 2*o = 2*a - 18. Let i(g) = 5*g + 3. Let f be i(a). Let n = 49 - f. Does 16 divide n?
False
Let v(a) = a**3 + 22*a**2 - a - 17. Let j(w) = 2*w**3 + 45*w**2 - 2*w - 35. Let p(i) = -6*j(i) + 13*v(i). Let q be p(-16). Suppose g - q = -3. Is g even?
True
Let d = 525 + -49. Is 17 a factor of d?
True
Let y = 124 + -120. Let h(g) = 6*g - g + 0*g - 6. Is h(y) a multiple of 7?
True
Let f be (-25)/4 + (-7)/(-28). Suppose -g - 1 = 0, -609 = 4*d - 2*g - g. Is 27 a factor of d/f - 12/(-8)?
True
Suppose -31 = -5*x - 86. Let h(o) = -25*o - 47. Is h(x) a multiple of 12?
True
Let m = -38 - -183. Does 29 divide m/(-2)*16/(-20)?
True
Suppose 1024 = 2*i - t, 0 = i - 3*t + 80 - 592. Does 32 divide i?
True
Let a be -37 - (-5)/((-10)/(-4)). Let d = -20 - 46. Let m = a - d. Is 10 a factor of m?
False
Does 22 divide (10/(-4))/(2/7392*-20)?
True
Let u(v) = -v**3 - 14*v**2 - 61*v + 18. Is 6 a factor of u(-9)?
True
Suppose -p - 389 = 3*a + 796, -2*a = -5*p - 5874. Is 18 a factor of (-2)/(-11) + p/(-66)?
True
Let p = -45 - -65. Suppose p + 4 = 2*a. Does 12 divide a?
True
Let n(m) be the first derivative of 5*m**4/4 + m**3/2 + 3*m**2 - 2*m + 1. Let f(p) be the first derivative of n(p). Does 16 divide f(-2)?
False
Suppose -1157 - 4 = 27*i. Let m(q) = q**3 - 5*q**2 + 5*q - 3. Let z be m(6). Let b = z + i. Does 13 divide b?
False
Let z(o) = -o**3 + 16*o**2 - 17*o + 18. Let q be z(15). Let j(p) = -5*p - 35. Is 10 a factor of j(q)?
False
Suppose -12 = -181*b + 178*b, 4*b = -2*q + 4490. Is q a multiple of 71?
False
Let m be (-441)/7 + (1 - -1). Let r = m - -118. Let u = r - 39. Does 18 divide u?
True
Let x be (1 + (-3)/3)/(-1). Suppose -g + 20 = y, 5*g + 44 = -x*y + y. Does 4 divide y?
True
Let d = -648 + 1219. Is d a multiple of 43?
False
Let r(m) = 1 + 1 - 8*m - 5 + m**2 + 1. Let a be r(8). Is 20 a factor of (12/30)/(a/(-390))?
False
Let x(a) be the second derivative of -a**6/180 - a**5/10 - 3*a**4/4 - 3*a. Let r(p) be the third derivative of x(p). Does 16 divide r(-11)?
True
Let v be 2*((-108)/1 + 1). Let n = -63 - v. Is 25 a factor of n?
False
Let y be (-6 + 1 - 0)/(-1*1). Suppose 54 = y*x - 4*x. Does 21 divide x?
False
Suppose -4 = -u, 5*l - 353 = 2*l - 2*u. Is l a multiple of 23?
True
Let h(j) = 2*j**3 + 6*j**2 + 7*j + 2. Is 21 a factor of h(5)?
False
Let k be 62 - (-2 - -6)/(-4). Let p be (-14)/k - 654/(-27). Suppose 5*u = 9*u - p. Is u even?
True
Suppose 6720 = 28*y + 2324. Is 5 a factor of y?
False
Let x(i) = i**2 + 7*i - 7. Let q = 93 + -63. Suppose 3 = -5*j + 28, -q = 5*g + 4*j. Does 11 divide x(g)?
False
Let v be 1/(-5) + (-1921)/(-5). Suppose -2*l + v = -4*h, -l - h + 2*h + 194 = 0. Let a = l - 124. Is 21 a factor of a?
False
Let x be ((-4)/(2*-1))/((-2)/(-5)). Suppose 3*t + 4*s - 33 = 0, x*s = -4*t + 45 - 2. Is t a multiple of 2?
False
Let z(g) = -3*g + 1. Let c be z(-1). Let l(a) = 2*a**2 - 3*a - 2. Let q be l(c). Let h = -2 + q. Is 6 a factor of h?
False
Suppose p - 2*y = 0, y - 8 = -2*p + 2. Suppose p*l = 2*t + 250, 0*t = -2*l - t + 135. Does 11 divide l?
False
Let d(w) = 9*w**2 + 12*w + 24. Is d(-4) a multiple of 7?
False
Suppose -2*f + 5*h + 2423 = -2668, -3*h + 10195 = 4*f. Is f a multiple of 91?
True
Suppose 2*d = -4*g - 50, -5*d = 3*g - d + 50. Let u = 146 - g. Is 12 a factor of u?
True
Suppose -51 = -z + 3*f, f - 176 = -4*z - f. Suppose -z = -2*c - c. Suppose -2*b + c + 37 = 0. Is b a multiple of 13?
True
Let b(l) = 2*l**2 + 2*l. Let u =