?
True
Let g(q) = q**2 - 2*q - 1. Let s be g(5). Let v = 7 - -13. Let u = v - s. Does 2 divide u?
True
Suppose 4*i = -25 + 145. Suppose -c = c + i. Is 6/c - (-212)/5 a multiple of 14?
True
Suppose -h + 2 = -1. Suppose 123 = 4*b - 5*g + 6*g, 15 = -h*g. Suppose -4*q + 119 = 3*c + b, 4*c + 3*q = 116. Does 10 divide c?
False
Suppose 0 = -3*n - 0*n. Suppose -90 = -n*j - 2*j. Suppose 2*h + 3*h + j = 4*w, -4*w = -4*h - 40. Is 3 a factor of w?
False
Let w(v) = v**2 + 1. Let i be w(1). Suppose -i*r + 4*q = q - 20, 3*r - q - 44 = 0. Is r a multiple of 16?
True
Suppose 5*o + 2*y = 10 - 270, -5*o + y - 260 = 0. Is o/(-6) + (-2)/3 a multiple of 8?
True
Suppose 0 = 128*v - 133*v + 420. Does 14 divide v?
True
Does 13 divide 1*-2*(-260)/8?
True
Suppose -4*x = -2*r - 2*x, 5*r = 4*x. Suppose d - 3 + 0 = r. Suppose -q - d*g = -30, 4*q = -q - 3*g + 174. Does 12 divide q?
True
Let y = 106 - 71. Suppose -2*s - g = -114, 0 = s + 2*s + 3*g - 165. Let j = s - y. Does 16 divide j?
False
Let s be 3/(-12) - 27/(-12). Let y(t) = 6*t**3 - 2*t**2 - 2*t + 2. Let x be y(s). Suppose -h - 2*b + x = 0, 0 = -4*h + h + 3*b + 69. Does 20 divide h?
False
Let a = -1 + 5. Let x be a/(-4) - 106/(-2). Suppose 0 = -3*o + o - n + 16, -3*n - x = -4*o. Is o a multiple of 10?
True
Let b(u) = u**3 + u**3 - u**3 + 5 - 6*u**2. Let y be b(6). Suppose 5*m - 194 = -y*q - 34, 3*m - 164 = -5*q. Does 17 divide q?
True
Suppose -4*v = -2*v. Let r be (v*1/3)/(-1). Suppose r*i = 3*i - 21. Does 6 divide i?
False
Suppose 3*b - 1260 = 2187. Let s = b - 569. Is (-2)/8 - s/(-16) a multiple of 24?
False
Let g(h) = h + 2. Let l be g(0). Let k(a) = 5 + 3*a**2 + 0*a**2 - l*a**2 - 3*a. Is k(7) a multiple of 13?
False
Suppose w - 3*w + 6 = 3*j, -5*j - 2 = 2*w. Is 9 a factor of w?
True
Let n(c) = -c**2 - 2*c**2 - c**2 + 2*c**2 + 4 + c**3. Is 14 a factor of n(4)?
False
Suppose -x = 2*x - 279. Let d = 164 - x. Is d a multiple of 15?
False
Let p = 285 - 197. Suppose -5*m = -p - 62. Let l = 50 - m. Does 11 divide l?
False
Suppose a - 27 = -5*q - 3, 16 = -a + 5*q. Let n(x) = x**2 + 3*x - 3. Is n(a) a multiple of 25?
True
Let x(m) = m**3 - 5*m**2 - 6*m + 4. Let o be x(7). Suppose 0*l - 5*l = -o. Is 10 a factor of l?
False
Let p(q) = q**3 + 3*q**2 + q - 1. Let i be p(-2). Let f be (i - (2 - 0))/(-1). Is -1*f + 22 + 5 a multiple of 26?
True
Let v = 96 - 51. Is v a multiple of 9?
True
Let j(w) = 2*w**2 + 7*w - 10. Does 20 divide j(-6)?
True
Let r be 115/35 + (-2)/7. Let n(t) = t**3 - t**2 + t + 1. Is n(r) a multiple of 9?
False
Let r(z) = -5*z - z**3 + 4 - 11 + 7*z**2 + 7. Suppose k = -0*k + 6. Is r(k) a multiple of 6?
True
Let o(h) = -h**2 + 19*h + 10. Is o(4) a multiple of 7?
True
Suppose 6*u - u = 175. Suppose -3*q = -r + 25, r - 2*q = -q + u. Does 14 divide r?
False
Let v be -2 - (3 - (-2 + 14)). Let t = v - 5. Suppose 0 = -t*b + 18 + 34. Is b a multiple of 11?
False
Let f(o) = -o**2 - o. Let t(v) = -5*v**2 - 13*v - 10. Let k(w) = -4*f(w) + t(w). Is 4 a factor of k(-7)?
True
Let a(o) = o**3 - 7*o**2 + o - 2. Let w be a(7). Let g = 9 + w. Is g a multiple of 7?
True
Let o(l) = l - 3. Suppose -6*c = 3*n - 2*c - 29, 0 = -4*n + 4*c + 20. Suppose 2*q - 5 = n. Does 2 divide o(q)?
False
Let j(n) = 4*n - 3. Let z be (-1)/2 + (-4)/8. Let b(h) = 3*h**2. Let r be b(z). Is 9 a factor of j(r)?
True
Let b(j) = 7*j**3 + j**2 - j. Let r be b(1). Let m = r - 16. Let c = -5 - m. Does 2 divide c?
True
Let m(b) = -7*b**2 - 3*b + 21. Let w(o) = 10*o**2 + 4*o - 31. Let n(p) = 7*m(p) + 5*w(p). Suppose 26 = 4*h + 2*s, 5*h - 29 = -0*h + s. Is 10 a factor of n(h)?
False
Does 5 divide (-4)/(-6)*(-1080)/(-18)?
True
Suppose -2*i - 3*f = -0*i - 15, -3*i = -4*f + 20. Suppose -2*o + 131 + 149 = i. Suppose 5*b - 10 = o. Is 15 a factor of b?
True
Let j(a) = -16*a + 12. Let u be j(-8). Is 8 a factor of u/(-21)*(-3)/1?
False
Suppose 0*c - c + 9 = 0. Suppose -c*q - 196 = -13*q. Is q a multiple of 9?
False
Is 43 - ((-5)/((-15)/9) + -5) a multiple of 6?
False
Let m = 4 + -16. Let a = -7 - m. Suppose 2*w + a*x = -0*w + 36, 3*x = 4*w - 20. Is w a multiple of 8?
True
Suppose 0 = -4*m + 3*j - j + 68, -5*j = 3*m - 38. Is 11 a factor of m?
False
Let x(w) = 35*w + 1. Let c be 2/((-1)/(-3)*2). Suppose -5*q + 0*q = -c*b + 10, 3*q + 7 = 2*b. Is 18 a factor of x(q)?
True
Let q be ((-3)/(-2))/((-2)/(-8)). Let w = 3 - q. Is ((-14)/w)/(6/9) a multiple of 7?
True
Let z = 19 - 6. Is 4 a factor of z?
False
Is (-54)/4*4/(-6) a multiple of 9?
True
Let x(m) be the second derivative of m**4/12 + 7*m**3/6 + 5*m**2 + m. Does 4 divide x(-7)?
False
Suppose 5*y - 34 = 3*g, y + 3*g + 7 = -g. Suppose 5*c + u = y, 0 = -4*c + 2*c + 3*u + 2. Let v(f) = 13*f**3 + f**2 - f + 1. Does 14 divide v(c)?
True
Suppose 0 = -0*o + 5*o + 5. Does 3 divide 3/o*63/(-27)?
False
Let h = -29 - -40. Let b = 21 - h. Is b a multiple of 5?
True
Suppose 2 = -4*g + 6, -5*m - 4*g + 19 = 0. Suppose 0 = x - m - 23. Let i = x - 6. Does 20 divide i?
True
Suppose 0 = -5*f - 2*w - 3, -4*w = -2*f + w - 7. Let d = 0 - f. Let l = 8 + d. Is l a multiple of 5?
False
Let a = 9 + -17. Let b = a + 12. Is b even?
True
Suppose -2*t = -3*d - 1 + 7, 4*t = -d + 16. Does 11 divide 324/(-8)*d/(-6)?
False
Let h be 26/6 + (-3)/9. Let m(k) = -3*k + 6. Let a be m(-6). Suppose -h*s + 7*s = a. Is 4 a factor of s?
True
Let f be 4/(-14) + 8/28. Suppose f*g = -3*g + 66. Does 9 divide g?
False
Suppose 0 = -2*r - 5*g - 25, 0*g = -3*r - 3*g - 15. Is -2*(r - (14 + -2)) a multiple of 24?
True
Let o(i) = -i**2 - 9*i + 13. Let b be (10/3)/((-4)/12). Let p be o(b). Suppose 0 = -g - p*g + 16. Is g a multiple of 4?
True
Let x(h) = -6*h - 8. Suppose 0 = -3*y + 3*r, -6 = -2*y - r + 6. Let b be (-2 + 0)/(1/y). Does 20 divide x(b)?
True
Let s = 142 + -95. Is 9 a factor of s?
False
Suppose -8*z + 244 = -236. Is z a multiple of 9?
False
Suppose 0 = 2*h - h - 6. Suppose 0 = -u - h + 16. Does 10 divide u?
True
Let i = -30 - -38. Is 2 a factor of i?
True
Suppose 5*j + 21 = 141. Is 5 a factor of j?
False
Let q(n) = 6*n**3 - n**2 - 1. Is 12 a factor of q(2)?
False
Does 5 divide 68/2*(-1 + 3)?
False
Let s = 8 - 5. Suppose 0*o - 72 = s*o. Is 6 a factor of (o/(-15) - 2)*-30?
True
Let q be 64/12 - 2/(-3). Suppose 0 = -5*n + q - 46. Is 2*7 - n/(-4) a multiple of 12?
True
Let i = -54 - -231. Is 18 a factor of i?
False
Suppose i = -0*i + 2. Suppose -4*o = b + 2 + 1, i*b - 2 = -4*o. Is 5 a factor of b?
True
Suppose 0 = -2*q - 3*i + 10, 3*q + 2*i + 0 - 10 = 0. Suppose 0 = -m - q*m + 6. Suppose -v + 15 = 2*n, m*n - 3*n = 3*v. Does 9 divide n?
True
Let y = 169 - 121. Does 12 divide y?
True
Let t(i) = -i**3 + 11*i**2 - 9*i - 5. Let a be t(10). Suppose 0 = -a*m + 163 + 87. Is m a multiple of 25?
True
Suppose -a - a = 0. Suppose 3*x = -x + k + 15, a = 3*x - 3*k. Is 4 a factor of x?
False
Let y(v) = -8*v**3 + 13*v**2 + v - 3. Let g(k) = -7*k**3 + 12*k**2 + 2*k - 4. Let c(p) = -7*g(p) + 6*y(p). Let r be c(7). Does 4 divide 6/r + 3 + -1?
True
Let c = 0 + 4. Let m be ((-6)/c)/(3/(-66)). Let h = -21 + m. Is 6 a factor of h?
True
Let z(f) = f**2 - 7*f + 7. Let s be z(6). Suppose 2 - s = -i. Let x = 3 - i. Does 4 divide x?
True
Suppose -2*s - 5*p - 19 = 0, -26 = -2*s - p + 5*p. Is 7 a factor of 0/s + 14 + 0?
True
Suppose 4 = 4*z - 0. Suppose y - 12 = z. Suppose 3*b - x - y = 0, 3*x - 3 = 2*b - 0. Is b a multiple of 6?
True
Let k(m) = -m**3 + 7*m**2 + 6*m + 4. Does 9 divide k(7)?
False
Let g = -28 + 40. Is g a multiple of 3?
True
Suppose p + 40 = 5*p. Suppose 0 = -m - 3*o + 2 + p, 0 = -m - 5*o + 6. Is m a multiple of 18?
False
Is (-2)/9 - (-1037)/9 a multiple of 23?
True
Let y = 153 + -99. Does 23 divide y?
False
Suppose k = 2*q + 21 + 17, 3*k + 4*q - 114 = 0. Is 22 a factor of k?
False
Suppose -3*d - 9 = -2*g + 3, -3*g + 7 = d. Suppose -i = -g*i. Suppose z = 2*y - 35, i = -z + 3. Is y a multiple of 15?
False
Let l be (-4)/(-14) + (-510)/21. Let b = -10 - l. Is (-18)/9 - b/(-2) a multiple of 2?
False
Let c = -5 + 14. Suppose 0*g = 3*g - c. Suppose 6*h - g*h + t - 21 = 0, -h + t = -7. Does 7 divide h?
True
Let y be 5/(-10) - 1/(-2). Let b(u) = -u**3 + u**2 + u + 71. Is b(y) a multiple of 28?
False
Let a be 6 + 1*(0 - 0). Let q be -3*a/(-9) - -12. Suppose 0*r - r = -q. Is r a multiple of 7?
True
Does 19 divide (494/(-65))/((-2)/20)?
True
Let v = 30 - -2. Suppose -2*z - v = -6*z. Is (