2*n**2 - 5*n. Does 13 divide u(-3)?
False
Suppose -49 = -5*r + 136. Does 14 divide r?
False
Let n = -94 - -158. Suppose -3*a = a - n. Is a a multiple of 8?
True
Suppose -7 = -3*q - 1. Suppose -o = q*o - 282. Is o/(-8)*12/(-3) a multiple of 18?
False
Let l(u) = -u**2 - 4*u. Let o be l(-2). Suppose 0 = -4*m + o. Is 14 a factor of (-13 + m/(-1))*-2?
True
Let b(a) be the second derivative of 2*a**5/5 + a**4/12 - 3*a. Let t be b(1). Does 14 divide 3/t - 141/(-9)?
False
Let i(f) be the third derivative of f**6/120 - 3*f**5/20 + 11*f**4/24 - 11*f**3/6 - f**2. Is i(8) a multiple of 9?
False
Suppose -4*m = -10 - 22. Let w = m - 1. Is w a multiple of 3?
False
Suppose 5*s - 14 = 6, -4*x = 4*s + 204. Let v = 25 - x. Suppose -v = -5*i - 3*w, 0*w - 5*w + 25 = 0. Does 5 divide i?
False
Suppose -2*t + 2 = -14. Is 25*(t/(-5) - -2) a multiple of 10?
True
Let a(j) = -j**2 - 9*j + 2. Let v be a(-4). Suppose 2*r + v = 3*w, w - 3*w = -5*r - 33. Suppose -230 = -m - w*m. Is 23 a factor of m?
True
Let n = -13 + 10. Suppose 10 = -2*m - 5*y, 6 = -3*y - 0. Let k = m - n. Does 2 divide k?
False
Suppose -3*r + u = 2*u - 374, 0 = 3*r - 4*u - 394. Suppose -h = 2*h - r. Is h a multiple of 16?
False
Suppose 4*y + 4*n = 136, 5*n + 110 = 5*y - 2*y. Does 7 divide y?
True
Suppose -4 = -2*g - 2*g, -29 = -t - 5*g. Is 12 a factor of t?
True
Suppose -3*b + 2*r = -b - 26, -2*r = b - 16. Let i be (b - 5)/(3/(-16)). Let q = i - -94. Is q a multiple of 10?
False
Let l(s) = -s - 2. Let c be l(-5). Suppose c*h = 2*h + 21. Suppose 0*z = z - h. Is z a multiple of 14?
False
Let h(a) = a**3 + 12*a**2 - 3*a + 14. Let r be (-6)/((-4 - -3)/(-2)). Let v be h(r). Suppose i - v + 7 = 0. Is i a multiple of 16?
False
Suppose 5*q - q - 4*a = 152, -4*a = 5*q - 145. Is q a multiple of 11?
True
Suppose 4*a + r = 24, -a + 3*r = -2*r - 6. Is a even?
True
Let l(t) = -t**2 + 7*t. Let w be l(7). Let k(y) = y**3 - y**2 + 12. Is k(w) a multiple of 4?
True
Let f(n) = -n**3 - 5*n**2 + 6*n. Let s be f(-6). Suppose 192 = 3*k - 2*q - q, s = -k - 3*q + 76. Does 15 divide (-1)/(-4) + k/4?
False
Let m = -43 + 151. Does 9 divide (1/2)/(2/m)?
True
Let y(b) = 2*b**2 + 7*b. Is y(-5) a multiple of 6?
False
Let r be ((-5)/4 - (-2)/8)*4. Suppose 2*t + t + 99 = -3*m, -5*m = -t + 135. Does 11 divide (77/m)/(1/r)?
True
Let c = -280 + 179. Let p = c + 149. Does 24 divide p?
True
Let l(i) = -i**2 - 10*i - 10. Is 6 a factor of l(-7)?
False
Suppose -61 = -3*a - 7. Is a a multiple of 9?
True
Let d(l) = 3*l + 168. Is d(0) a multiple of 28?
True
Is (2 - 1)*(160 - 3) a multiple of 26?
False
Let k(o) = 12. Let n(q) = q + 11. Let f(d) = -4*k(d) + 5*n(d). Is f(9) a multiple of 13?
True
Let r = 4 + 34. Is 11 a factor of r?
False
Suppose 4*j - 4*c + c - 732 = 0, 3*j - 3*c - 552 = 0. Does 18 divide j?
True
Suppose -4*y + 2*m = 7 - 3, m - 2 = 5*y. Suppose y*o - 2*w = -2*o, -3*w + 5 = -2*o. Suppose -o*z - 41 = -2*c, 24 - 112 = -5*c - 2*z. Is 9 a factor of c?
True
Suppose -4*d + 20 = 4*u, 2*d + 4 = 4*d + 5*u. Suppose 2*h + 165 = d*h. Does 11 divide h?
True
Let h = -125 + 176. Does 15 divide h?
False
Suppose -17*y + 15*y - 4 = 0. Suppose 19 = 5*o + i - 52, -5*o + 67 = -3*i. Let g = o - y. Is g a multiple of 10?
False
Let r = 1765 + -1195. Is 65 a factor of r?
False
Suppose 0 = 3*d - 5 - 13. Suppose -4*z + 33 = g, 0 = 4*g + z - d*z - 48. Is 17 a factor of g?
True
Suppose -4*x - 5*n = -214, 7*x + 4*n = 2*x + 272. Is x a multiple of 8?
True
Let b be (-4)/(-2) + (1 - -1). Let r(l) be the third derivative of l**5/60 + l**4/24 + l**3/2 - 2*l**2. Is 13 a factor of r(b)?
False
Let b = -38 - -10. Let d = b - -60. Is 21 a factor of d?
False
Suppose -3*k - k = -240. Suppose 3*w = 5*w - k. Is w a multiple of 9?
False
Suppose 5*p - 5 = -0*p. Let i = -8 - p. Is 46/6 - 3/i a multiple of 4?
True
Is 10 a factor of (-136)/(-2) - (-4 + 8)?
False
Suppose -1 = 2*l - 2*q + 5, -8 = 5*l + 2*q. Let i be ((-221)/39)/((-2)/90). Is 5 a factor of (i/(-6))/5*l?
False
Suppose 0 = -5*w + 165 + 20. Does 24 divide w?
False
Let a(t) = -2*t**2 - 42*t - 16. Does 15 divide a(-11)?
False
Let c(i) = -i**3 - 4*i**2 + 6*i + 3. Let f be c(-5). Let y = 0 - f. Does 4 divide 32/20*10/y?
True
Let u be 0 - -3*(-1)/(-1). Suppose -u*a = a - 8. Suppose 3*q - 51 = 2*t, 4*q - 2*t = a*q + 32. Does 19 divide q?
True
Let v = -7 + 9. Is 3 a factor of 6/(v*(1 + 0))?
True
Let i(z) = z**3 - 3*z + 2. Is i(4) a multiple of 27?
True
Suppose -4*p = -7*p + 114. Is 19 a factor of p?
True
Let o(x) be the first derivative of -x**5/20 - x**4/12 + x**3/3 + x**2 - 2*x + 1. Let n(i) be the first derivative of o(i). Is 8 a factor of n(-3)?
False
Let z be -2 + 6 + 0 + 1. Suppose -34 - 36 = -z*s. Does 14 divide s?
True
Suppose l = 2*l - 2. Suppose 4*z + 43 = 3*b - 3, 0 = 5*b + l*z - 120. Does 11 divide b?
True
Let k(n) = -12*n**2 + n + 1. Let t be k(-1). Let p be (-9)/(-1)*(-4)/t. Is 8 a factor of (-40)/p*9/(-6)?
False
Let d = -8 - -13. Suppose -5*x + 2*h + 85 = 0, -58 = -2*x - d*h + h. Does 12 divide x?
False
Suppose 3*k - 323 = -4*p, -2*k - 421 = -4*p - p. Is 23 a factor of p?
False
Suppose a = -2*a. Let u(n) = -n**2 + n. Let q be u(a). Let w(j) = -j + 12. Is 8 a factor of w(q)?
False
Does 8 divide 30 - ((-2 - -2)/1 + 0)?
False
Let b(w) = 6*w + 4. Let j be b(6). Suppose 5*q + j + 5 = 0. Does 11 divide 6/27 - 196/q?
True
Let n be (3 + -6)/(9/(-15)). Suppose -3*c = d - c - 11, -n*c - 5 = 0. Is 6 a factor of d?
False
Let b = 3 + -3. Suppose -x + 105 - 31 = b. Suppose 36 = 3*i - 5*l - 34, -4*i = 3*l - x. Does 11 divide i?
False
Let h = 0 + 0. Suppose 5*q + 0 - 10 = h. Suppose -85 = -3*t - q*t. Does 6 divide t?
False
Let o(a) = -6*a + 30. Is 22 a factor of o(-17)?
True
Let s(n) = -5*n - 4*n - 3*n**2 + 2*n**2 + 9. Let f be s(6). Let g = -54 - f. Is g a multiple of 11?
False
Suppose -x = 2*x - 12. Suppose 8 = 2*g + 6*f - 2*f, -4*g - x*f = 0. Is 2 a factor of ((-6)/g)/(12/40)?
False
Suppose o = 6*o + 60. Let c = o + 18. Is 3 a factor of c?
True
Let t(o) = 6*o**2 - 4*o - 1. Suppose 5*w = 4*u - 0*w + 13, u - w = -2. Is 17 a factor of t(u)?
False
Let a(p) = -8*p - 4. Let r be a(-5). Let v = 50 - r. Does 7 divide v?
True
Let w(r) = -r + 204. Let g be w(0). Suppose -g = -4*q - 68. Is 17 a factor of q?
True
Suppose 0 = -f + 2*f - 75. Suppose -5*x = -8*x + f. Is x a multiple of 25?
True
Suppose 5*c - 32 = 3*c. Does 4 divide c?
True
Suppose -3*m = -0*m - 180. Suppose 0 = -6*k + k + m. Is k a multiple of 5?
False
Suppose -c + 2*a = -26, 0*c - 128 = -3*c - 4*a. Does 6 divide c?
True
Suppose 0 = -s + 2*s + 6. Let c = s - -8. Suppose 5*t + 109 - 40 = 3*i, 5*t - 21 = -c*i. Does 13 divide i?
False
Let o(x) = x + 14. Let c be o(-10). Suppose 2*z = -3*i + 183, -i + 81 = c*z + 10. Is i a multiple of 13?
False
Let c = 15 - 15. Suppose 3*v + 3*o - 153 = c, 0*v + v = 5*o + 33. Does 12 divide v?
True
Suppose 0*j = -4*j - 56. Is (7/j)/((-1)/4) even?
True
Is ((-117)/(-52))/(6/800) a multiple of 25?
True
Suppose x - 5*x = -16. Suppose -p = x*p - 20. Is 366/42 - p/(-14) a multiple of 5?
False
Let u = -279 + 487. Is u a multiple of 26?
True
Suppose -8*q = -4*q - 88. Suppose 0 = 2*r - q - 90. Is r a multiple of 18?
False
Let h(y) = 3*y**3 + 3*y**2 + 5*y - 6. Is 10 a factor of h(3)?
False
Let g(l) = -l. Let v be g(8). Let q = v + 10. Suppose 2 = -o - 0*o - 2*b, -3*o = -q*b - 10. Is 2 a factor of o?
True
Suppose -b - 5*l + 2 = 14, 0 = -4*b + 5*l + 2. Is b*33*(-1)/2 a multiple of 12?
False
Let x(c) = c - 4 + 9 + 16*c**3 - c**2 - 5. Is 7 a factor of x(1)?
False
Let b(v) = v**2 + 8*v + 10. Let r = 5 - 3. Suppose -c = -6*c + d - 40, -r*c = d + 9. Is 3 a factor of b(c)?
True
Suppose 0 = 3*k - 16 + 4. Suppose s = -4*x + 41, x + k*x - 5*s = 45. Does 6 divide x?
False
Let y = 6 + -2. Suppose y*q = -q + 160. Is q a multiple of 22?
False
Let t be 3/(-5) + (-90)/(-25). Let b(a) = -a**2 + 3*a + 3. Let n be b(t). Suppose 0 = -n*h + 19 + 8. Is h a multiple of 4?
False
Suppose z + 296 = 9*z. Is 5 a factor of z?
False
Let h = -10 + 16. Let p = h - -6. Is 5 a factor of p?
False
Let s(v) = -41*v - 6. Is 33 a factor of s(-9)?
True
Suppose 5*y = 7*y - 2. Let d = 13 + y. Is d a multiple of 7?
True
Let x = 81 - 69. Is x even?
True
Let h be 18/15*10/6. Suppose 0 = -3*a + 5*x + 109, h*a = -0*a - 2*x + 62. Is 14 a factor of a?
False
Suppose -13*a + 9*a = -128. Does 31 divide 