e ((-29)/(-3))/((-3)/(-9))?
False
Suppose -h + 2 = -0*h. Suppose -h*l = 2*y - 4, 4 + 6 = 5*l + 4*y. Suppose 2*j - 29 = -o, 0*j = -5*o + l*j + 121. Is 12 a factor of o?
False
Let i be ((-16)/(-10))/((-4)/(-20)). Suppose 3*r + 1 = -i. Is 3 a factor of (-5)/(r + 2) + -2?
True
Let x(i) = i**3 - 9*i**2 - 8*i - 7. Let s be x(10). Suppose 0 = 4*h - 31 - s. Is 4 a factor of h?
False
Let g = 21 - 3. Does 18 divide g?
True
Let b(r) = -r - 3. Let n be b(-5). Suppose -4 - 12 = -n*w. Let q(m) = 4*m. Does 13 divide q(w)?
False
Let k(h) be the second derivative of h**3/2 + h**2/2 - h. Does 6 divide k(4)?
False
Let a = -124 + 192. Is a a multiple of 6?
False
Let i(z) = z + 51. Is i(-16) a multiple of 17?
False
Suppose -2*b + 121 = 39. Does 6 divide b?
False
Let r be 2*1 + 1 + 0. Suppose -r*h - 4 = -5*h. Suppose 5*n - h*a - 18 = -6*a, a - 9 = -2*n. Is n a multiple of 3?
True
Let z(d) = -2*d**3 - 3*d**2 + 8*d. Is z(-4) a multiple of 6?
True
Suppose -2*g + 220 = -286. Suppose g = 4*b - n + 4*n, -190 = -3*b - 2*n. Suppose -4*y + 24 = -b. Does 11 divide y?
True
Let a(q) be the first derivative of 8/3*q**3 - 1/2*q**2 - 2 - q. Is a(2) a multiple of 13?
False
Let r = -6 + 11. Is r even?
False
Let l(s) = s**3 - 8*s**2 + s + 17. Does 25 divide l(8)?
True
Suppose w - 5 = 3. Let f = w - 3. Suppose -f*n + 43 + 52 = 0. Is n a multiple of 11?
False
Suppose -5*k + 6 - 56 = 0. Let z = -2 - k. Is z a multiple of 7?
False
Let b(q) = -q**3 - 16*q**2 - 19*q - 15. Is b(-15) a multiple of 15?
True
Let c(z) = 73*z**2 + z. Let b be c(1). Let d be (-12)/(-30) + b/(-10). Let x(u) = u**2 + 5*u + 6. Is 16 a factor of x(d)?
False
Let g(b) = -b**2 + 10*b - 7. Is 17 a factor of g(6)?
True
Let b be (2 + -1)/(2 - 1). Suppose u - b = -28. Is 2 a factor of 1/(3*(-3)/u)?
False
Let z be ((-65)/(-10))/((-2)/4). Let k be (-2)/1 - (z - -6). Suppose -29 = -k*i + 21. Does 5 divide i?
True
Let y(f) = f**2 + 23. Let l be 3/3 + (0 - -4). Suppose 8*m = 3*m + l*n - 15, -2*m + 3 = n. Does 8 divide y(m)?
False
Let g(r) = -2*r - 3. Let d be g(-4). Let v = d - -27. Suppose -v = -4*y + 3*y. Does 16 divide y?
True
Let r(l) = -l + 13. Suppose 0*d - 11 = -d - 5*g, 0 = -2*d - 4*g + 22. Suppose j = -4*v - d, -20 = 5*v - v. Is r(j) a multiple of 4?
True
Suppose 91 = k - 17. Let t = k + -76. Does 16 divide t?
True
Let n(a) = -10*a. Let h be ((-1)/1)/((-4)/(-8)). Is n(h) a multiple of 10?
True
Suppose 2*p + 2*l - 9 = p, l - 5 = 0. Let u be (6/3 + p)*1. Is 188/4 - 2*u a multiple of 16?
False
Suppose -4*p + 13 = g + p, 3 = 3*g - 3*p. Suppose g*v - 3*s - 106 = 23, -3*s + 61 = 2*v. Is v a multiple of 19?
True
Let c(a) = -a**2 - a + 3. Let f be c(-3). Let q(p) = -2*p**3 - 2*p**2 - 3*p - 3. Does 14 divide q(f)?
True
Let v(p) = 5*p - 7. Let r(u) = u - 1. Let z(h) = -4*r(h) + v(h). Let a be z(4). Is 8 a factor of a + (-5 - -2) + 19?
False
Suppose 4*w + s + 13 = 0, -2*w - 18 = w - 2*s. Let c = 27 + w. Is c a multiple of 6?
False
Let y = 57 + -9. Is y a multiple of 12?
True
Let c = 80 - 17. Suppose -m + 5 = -5*d, 0*m = 3*m - 3*d - c. Does 7 divide m?
False
Let t(v) = -v**2 + 9*v - 8. Let n = 224 - 324. Let l be 4/(-6) - n/15. Is t(l) a multiple of 4?
False
Suppose -2*z + 161 = 3*p - 85, -2*p + 8 = 0. Let y = z + -78. Does 13 divide y?
True
Suppose 3*t = 3*y - 7 - 53, -y + 26 = 5*t. Let r = 54 - y. Is 15 a factor of r?
False
Suppose 912 = 5*n + o, 5*n + 3*o - 5*o - 906 = 0. Is 14 a factor of n?
True
Let j = -12 - -17. Suppose 0 = j*k - 2*k - 141. Is k a multiple of 17?
False
Let x(k) = -k**3 - 3*k**2 + 6*k. Suppose -20 = 4*m, -m = 2*c - 3*m. Is x(c) a multiple of 14?
False
Is 29 a factor of -120*(-1 - (-4)/16)?
False
Suppose 0*d + 5*d - w = 95, 2*d - 2*w = 30. Suppose 2*v + 3*v - d = 0. Suppose -v*n - 152 = -8*n. Does 19 divide n?
True
Let h = -23 - -53. Suppose -4*n = -n - h. Does 10 divide n?
True
Is 5 a factor of (4/10)/((-11)/(-605))?
False
Suppose -v + 22 = 207. Let j = -58 - v. Suppose 37 - j = -5*u. Does 12 divide u?
False
Let l = 56 - 46. Is 3 a factor of l?
False
Let r(l) = 2*l**2 + 2*l + 3. Does 9 divide r(3)?
True
Let g(f) = 91*f. Let t be g(1). Suppose -22 = -w + 5*v - 7*v, -4*w - 5*v = -t. Does 12 divide w?
True
Let c = -16 + 165. Is 22 a factor of c?
False
Suppose 8 = 2*f - 0*f, -2*n + 14 = -f. Let a be 2/n - (-2)/(-9). Suppose a = -4*l - 4, -i + 0*l = 3*l - 15. Is 16 a factor of i?
False
Let p = 20 - -6. Does 6 divide p?
False
Let b be 0 + 6 - (-3)/1. Does 19 divide ((-74)/6)/(b/(-27))?
False
Let w(a) = a - 4. Let y be w(6). Let x = y - -2. Suppose -16 - 56 = -x*s. Is 6 a factor of s?
True
Let w(j) be the third derivative of -j**6/120 - 7*j**5/60 + j**4/4 - 5*j**3/6 - 3*j**2. Is 3 a factor of w(-8)?
False
Let x be (-4)/(-16) + (-45)/(-12). Let z(a) = -a**3 + 6*a**2 - 2*a + 5. Does 21 divide z(x)?
False
Let g = -737 + 1103. Does 36 divide g?
False
Is ((-64)/(-6))/((-3)/(-9)) a multiple of 16?
True
Suppose -2 = x - 0. Let i(b) = -3*b**3 + 4*b + 3. Is 8 a factor of i(x)?
False
Is (-2)/(-7) - (-690)/35 a multiple of 5?
True
Let z(t) = -t + t - 5 + 3*t**2 + 4. Let v be z(-1). Suppose -6*u = -v*u - 136. Does 17 divide u?
True
Let r(m) = m**2 - 7*m + 3. Is r(9) a multiple of 2?
False
Is 7 a factor of 8/(-4)*-5 - 3?
True
Let t(h) = h**3 - 6*h**2 + 5*h. Let m be t(5). Suppose m*g + 3*g = 9. Suppose 8*s = g*s + 90. Does 5 divide s?
False
Suppose -2682 = -7*l - 2*l. Is l a multiple of 30?
False
Let w = -6 - 93. Let n = -68 - w. Let q = 10 + n. Does 11 divide q?
False
Is (27/(-15))/(2/(-90)) a multiple of 27?
True
Suppose 2*r - s - 337 = -4*s, 4*s = 4. Let y = r - 116. Does 17 divide y?
True
Let f be -1*(1 + -2 + -2). Suppose -5*c + 24 = -c. Suppose f*w - c = -0*w - 3*k, 0 = 3*w - 2*k - 31. Is 7 a factor of w?
True
Let o(p) = 4*p + 1. Suppose 0*z + 9 = 2*f + z, 0 = -5*f - 3*z + 25. Does 3 divide o(f)?
True
Let g(z) = z**3 - 7*z**2 + 9*z - 3. Let n be 2 + (-3 + -3)/(-3). Let k be 23/n - 5/(-20). Does 4 divide g(k)?
False
Let v(n) = 3*n**2 + 2*n - 2. Let u be (-22)/6 + (-2)/6. Let r be v(u). Let x = r + -18. Is x a multiple of 13?
False
Does 41 divide 2 - (-103 + 0 + -2)?
False
Let o(w) = -w**3 - w + 72. Suppose 2*n + 5*g = 25, 0 = -5*n + 3*g - 11 - 4. Is o(n) a multiple of 24?
True
Let q be (2/5)/(1/25). Let s = 0 + -2. Let p = q + s. Is p a multiple of 3?
False
Let t(p) = -p - 11. Let j be t(-8). Suppose -3*q - 22 = -q + 4*i, i + 10 = -5*q. Does 6 divide 38/6 - q/j?
True
Let g = 6 - 1. Suppose -g*m = -17 - 138. Is m a multiple of 13?
False
Let s be (-1 + -40)*-3 + 2. Suppose 6*b - b = s. Suppose 5*j - 4*j - b = 0. Is 9 a factor of j?
False
Is 6 a factor of 1*-18*(-6 - -4)?
True
Suppose -3*w + 273 = 3*m, -2*w + w + 106 = -2*m. Is 23 a factor of w?
False
Let v(u) = 2*u**3 - u**2 - 3*u - 3. Is 15 a factor of v(3)?
False
Suppose 2*z = -k + 8, -4*z + 2 + 14 = 4*k. Suppose k = -2*p - p + 36. Is 5 a factor of p?
False
Let k(b) = -7*b**3 - 2*b**2 + 3*b + 3. Let n(s) = -2*s + 2. Let h be n(2). Is 9 a factor of k(h)?
True
Let c = 7 + -17. Let a = c - -16. Is 4 a factor of a?
False
Let q(z) = -z + 5. Let f be q(0). Suppose f*r - 295 = -0*r. Let w = r - 30. Does 15 divide w?
False
Suppose -8 = -3*y + y. Suppose l = x + 8 - 30, -5*l + 43 = y*x. Is x a multiple of 13?
False
Let j = 54 + -27. Suppose -r + 5*m + j = 0, -m - 11 - 4 = -5*r. Suppose -3 = s - r*s. Is 3 a factor of s?
True
Suppose -134 = -0*b - 2*b + 4*l, 0 = -2*b - l + 129. Is b a multiple of 6?
False
Suppose -7 = 3*o - 91. Does 14 divide o?
True
Suppose -i + 4 = -2*i. Let a = 2 + i. Does 17 divide 15 + a*2/(-2)?
True
Let x be 2/3 + 62/(-3). Let i = 40 + x. Does 8 divide i?
False
Let b(l) = -2*l - 8. Let o be b(-10). Suppose z = o + 12. Is z a multiple of 13?
False
Let n(o) = 42*o**2. Let s be (-1)/(4 - (-5)/(-1)). Does 14 divide n(s)?
True
Let a(j) = -j**3 - 12*j**2 - 13*j + 1. Let m = 12 + -23. Is 4 a factor of a(m)?
False
Let o = 35 + -19. Is 4 a factor of o?
True
Let f = 2 + -2. Suppose -q - 3 + 5 = f. Suppose -1 = -2*k + y + 23, 0 = -q*y - 8. Is k a multiple of 5?
True
Suppose -3*y + 10 = -2. Suppose c - 7 - 14 = 5*k, k = y*c - 122. Is 12 a factor of c?
False
Let v(b) = b**2 - 4*b - 8. Let d be v(6). Suppose -5*a - 28 = -t, 0*a + d = 4*a. Does 10 divide t?
False
Let r(g) be the second derivative of -7*g**3/2 - 3*g**2 - 2*g. Let k be r(-6). Suppose a + 3*a = k. Does 15 d