 37/(-5) - (-4)/10. Let s = z + 23. Does 8 divide s?
True
Let a(u) = -u**3 - 11*u**2 + 13*u + 21. Does 6 divide a(-12)?
False
Suppose -39 = -5*j - 2*u + 666, 2*j + 3*u - 293 = 0. Is j a multiple of 15?
False
Let c(p) = 4*p + 10. Let x = 3 - -4. Does 16 divide c(x)?
False
Let x(y) = 3*y**2 - 12*y + 4. Let c(i) = i**2 + 1. Let t(p) = -4*c(p) + x(p). Let m be t(-6). Suppose 2*n = 4*o + m, -3*o - 8 = -o. Does 7 divide n?
False
Suppose 2*o - 67 = o + p, 2*o - 3*p = 136. Suppose 0*f + o = -5*f. Let w = f - -33. Is 10 a factor of w?
True
Suppose -2*c + 0*c = 4*v - 20, -20 = -2*c + v. Suppose -6 = -4*n + c. Suppose -4*w - n*p + 64 = 0, 3*w + p - 4*p - 60 = 0. Is 14 a factor of w?
False
Let b = -10 - -48. Does 14 divide b?
False
Let g(l) = -l**3 + 5*l**2 + 8*l - 8. Let i be g(6). Suppose 1 + 5 = 2*m, -9 = -v + i*m. Is 7 a factor of v?
True
Let i(d) = -2*d**3 - d. Let p be 28/(-5) + 12/(-30). Let o be (-4)/12 - (-4)/p. Is i(o) a multiple of 2?
False
Suppose 2*g - 4*h - 72 = 0, 4*g - 3*g = -h + 39. Is g a multiple of 6?
False
Let y = 73 - 62. Is 5 a factor of y?
False
Suppose 3*r = 4*r + 13. Let y be 4*r*10/(-4). Suppose n + y = 6*n. Is 10 a factor of n?
False
Let h(u) be the second derivative of -u**4/12 + 2*u**3/3 + u**2 - u. Let p be h(5). Does 8 divide 17*1 - (-5 - p)?
False
Let k(v) be the third derivative of 0*v**3 - 2*v**2 - 17/24*v**4 + 0*v + 0. Is 27 a factor of k(-2)?
False
Suppose -39 = -a + 14. Is 8 a factor of a?
False
Let n be 6/(-33) + 520/(-44). Let r = 61 - n. Let q = -34 + r. Does 13 divide q?
True
Let v = -83 + 179. Does 7 divide (-40)/3*v/(-40)?
False
Suppose 5*g + 0*g = 280. Suppose -n = n - g. Does 14 divide n?
True
Suppose 16 = -3*a + 1, 3*x = a + 155. Does 14 divide x?
False
Suppose -4*y + 22 = 4*q + 6, 3*y + 9 = 4*q. Suppose -12 = q*a + 3*r, 3*a - 3*r + 3 = 15. Suppose a = -2*k - 0*k + 10. Does 5 divide k?
True
Suppose -2*h + 0*h = 2*y - 192, -5*y = 3*h - 480. Is y a multiple of 19?
False
Let w be (-42)/4*(-4)/2. Suppose 96 - w = 3*f. Is 3 a factor of (-40)/f*(-10)/2?
False
Let d(c) = 10*c + 9. Is 15 a factor of d(8)?
False
Does 4 divide (-6)/5*(-80)/6?
True
Let t be (0/(3 + -2))/(-1). Suppose -3 = -h - t*h. Suppose 36 = h*x - 0*x. Does 6 divide x?
True
Let x be (-2)/2 - 3/(-3). Let s be x - (-2 + 6)*-1. Suppose -g + s + 36 = 0. Does 16 divide g?
False
Let u(j) = j**2 - 8*j - 2. Let k(i) = -i. Let f(l) = -4*k(l) + u(l). Is 10 a factor of f(8)?
True
Suppose -2*t = 2*z - 2 - 0, -5*z + 9 = t. Is 6/(-5 + z) - -26 a multiple of 12?
True
Suppose w - 6*w = -10. Suppose -w*h = 20 - 84. Is 16 a factor of h?
True
Let v(t) = t**3 - t**2 - 2*t + 109. Is 24 a factor of v(0)?
False
Suppose l + 1 = -2. Is 16 a factor of -2 - (-19 + 2) - l?
False
Suppose 5*d - 1056 = d. Does 46 divide d?
False
Let s(h) = 4*h**2 + 3*h + 2. Let j be s(-2). Suppose -2*t + j = -2*i - 24, t + 2*i - 27 = 0. Does 7 divide t?
True
Let d = 33 + -13. Does 4 divide d?
True
Suppose -t - 3 + 0 = 0. Let i(d) = d**3 + 6*d**2 + 3*d + 4 - 3*d**2 - 4*d. Does 3 divide i(t)?
False
Let l be (-18)/10*(-20)/6. Let n = 42 + l. Is 19 a factor of n?
False
Let j = 11 + 10. Let z be ((-12)/(-9))/(3/(-9)). Is z/((-12)/9) + j a multiple of 8?
True
Let g be 26 + 3/3*-1. Let v = 5 + g. Is 15 a factor of v?
True
Let v be (-68)/11 - 4/(-22). Let u(p) = -p**3 - 4*p**2 + 8*p + 4. Is 20 a factor of u(v)?
False
Let i(t) = -t**3 + 8*t**2 + 15*t + 23. Does 11 divide i(9)?
True
Suppose -4*x + 2*s + 23 = -23, -3*s = -2*x + 13. Does 13 divide (-196)/(-5) + x/(-70)?
True
Suppose -4*v = -0*v - 2*a - 242, 0 = -4*v - 2*a + 222. Is v a multiple of 14?
False
Suppose -3*x = -p - 143, 4*x - p = 6*x - 97. Is 10 a factor of x?
False
Suppose 0 = -0*n - 3*n. Suppose -3*r - 2*c - c = -24, -4*c + 20 = n. Does 3 divide r?
True
Let q = 2 + -3. Let v be q - 3 - 0/(-4). Let b(y) = -2*y + 3. Does 5 divide b(v)?
False
Let f(r) = -r**3 + r**2 + 1. Let j(s) = -2*s**3 - 10*s**2 + 16*s - 15. Let x(t) = -3*f(t) + j(t). Is 10 a factor of x(12)?
True
Suppose a + 72 = j + j, -2*j = -4*a - 60. Is 6 a factor of j?
False
Suppose 4*a - 50 = -2*c + c, 2*c = 3*a - 32. Is a a multiple of 4?
True
Suppose -4*c + 68 = -6*i + i, -4*c + 2*i + 56 = 0. Does 4 divide c?
True
Let n be (-8 + 22)*(-26)/(-4). Suppose 5*a - n = 4*m, 2*a - 62 = -a - 5*m. Is 6 a factor of a?
False
Suppose 6*o - 316 = 2*o. Let k = -20 + o. Is k a multiple of 22?
False
Let u = 153 - 82. Does 19 divide u?
False
Suppose 2*l = 433 - 147. Is l a multiple of 15?
False
Let w(t) = 2*t**2 + 4*t - 5. Is w(-6) a multiple of 14?
False
Let z(o) = -o**3 - 5*o**2 + 6*o + 3. Let d be z(-6). Suppose 0 = t - d. Suppose -q + 27 = 2*q + t*g, 5*q - 27 = g. Is q a multiple of 3?
True
Suppose -6*c + 340 = -c. Let b = c - 12. Is 15 a factor of b?
False
Suppose -l + 150 = 4*l. Does 16 divide l?
False
Let h(t) be the first derivative of 5*t**4/6 - t**3/3 - t**2/2 - 2*t + 3. Let j(f) be the first derivative of h(f). Is j(-1) a multiple of 4?
False
Let y(r) = 3*r**2 - 12*r - 54. Is 21 a factor of y(-6)?
True
Let y be 47/(-4) + (-2)/8. Suppose -6*s + 46 = -4*s. Let x = s + y. Is x a multiple of 5?
False
Suppose 0 = 3*y + 2*y - 3*d - 378, 4*y - 5*d - 305 = 0. Is y a multiple of 15?
True
Let i(m) = 5*m**2 + 12*m + 1. Does 13 divide i(-5)?
False
Suppose -2*s - 4 = -3*s. Suppose s - 2 = m. Suppose -4*y + m*y + 38 = 0. Is 14 a factor of y?
False
Suppose k - 4*n - 16 = 0, 0 = -4*k - 0*n - 5*n + 106. Is k a multiple of 24?
True
Let a(j) = -j**3 - 5*j**2 + 8*j. Let c be a(-7). Let l(b) = 3*b**3 + b - 2. Let m be l(-2). Let q = c + m. Does 9 divide q?
False
Let s be (-3)/2*6/3. Let v = s + 6. Suppose -v = 5*j - 33. Does 6 divide j?
True
Suppose 0 = 2*g + g - 39. Is 13 a factor of g/((3/6)/1)?
True
Suppose 379 = 4*p - 57. Does 26 divide p?
False
Suppose 4*s - s = 12. Suppose -3*j = -0 - 12, -3*u = j - 49. Suppose s*m = 5*r + 125, -u = -m + r - 3*r. Does 15 divide m?
False
Suppose 0 = 4*o + v - 4*v - 109, 47 = 2*o + v. Does 15 divide o?
False
Let b be 4/(1*(-1 + 2)). Suppose b*k - 3*k = 6. Suppose -3*l + 116 = -5*c, 3*c + k = -6. Does 16 divide l?
True
Suppose v = -2*v + 63. Is 5 a factor of v?
False
Suppose -3*n + 0*l + 610 = l, -5*n + 2*l = -1024. Suppose 0 = 2*q + 2*q - n. Is 17 a factor of q?
True
Suppose 9 + 7 = -4*g. Is (1/3)/(g/(-24)) a multiple of 2?
True
Let m be -1*(2 + -2)/(-3). Let a(q) = 3*q**2 - 3*q - 3. Let z(k) = -7*k**2 + 7*k + 5. Let y(n) = -9*a(n) - 4*z(n). Is y(m) a multiple of 7?
True
Suppose 0*r - 90 = -r. Is (r/(-4))/(2/(-4)) a multiple of 15?
True
Let o(z) = z**2 + 6*z + 3. Let x be o(-6). Let w(s) = -155*s + 2 - 6 + 159*s. Is w(x) a multiple of 4?
True
Let w(m) = m**3 + 8*m**2 + 5*m. Does 25 divide w(-5)?
True
Let d(n) = -3*n - 1. Let o be d(-2). Suppose 0 = -b - 3*l + 7, -o*b = -0*l + l - 77. Is 8 a factor of b?
True
Let f(a) = 2*a + 1. Let w be f(2). Suppose 2*x = -w*i + 4*x + 240, 0 = -2*i - 4*x + 96. Is 16 a factor of i?
True
Suppose 88 = 5*b - 32. Is 24 a factor of b?
True
Let j = 333 + -153. Suppose t + 4*u - j = -0*t, -5*t - 2*u + 828 = 0. Suppose -3*h + 102 = -3*q, q - 3*q = -5*h + t. Is 13 a factor of h?
False
Let h = -18 - -52. Does 23 divide h?
False
Let l(d) = d - 7. Let y be l(6). Let r be y + (-7)/(3/3). Is 13 a factor of (-16)/6*78/r?
True
Let d = 14 - 13. Suppose -6 + d = -j. Is 3 a factor of j?
False
Let d(t) = -t**2 + 1. Let j be d(2). Let k(r) = -r**2 - 2*r**3 - 2*r**2 + 0*r**3 + 3*r - 10 + 7. Is 15 a factor of k(j)?
True
Let a be 2/(2 + 2)*0. Let n(g) = g**2 - g + 6. Let h be n(a). Let o = -3 + h. Is o even?
False
Suppose 4*s - 3*n = 191, -2*s + 3*n + 0*n + 91 = 0. Is 23 a factor of s?
False
Let a(u) = 3*u**3 - 3*u**2 + 4*u - 3. Suppose 0 = -k - 2*y + 10, 8 + 0 = -2*k + 3*y. Is a(k) a multiple of 6?
False
Let d(t) = -t**3 + 8*t**2 + 5. Let h be d(8). Suppose 0 = 3*q + 3*m - 120, -17 + 62 = 2*q - h*m. Is q a multiple of 19?
False
Is (-81)/(-45)*10*1 a multiple of 18?
True
Let h(n) = 1 + 16*n**2 - 5*n**2 - 3*n + 3*n**2. Is h(2) a multiple of 16?
False
Suppose 8 = -4*w, -3*f = 2*f - 4*w - 8. Let j = -2 + 4. Suppose f = y + j*y - 12. Does 2 divide y?
True
Suppose 2*p + 3*r - 324 = 0, 0 = -3*p - 5*r + 2 + 484. Suppose -3 = 3*d - p. Suppose 5*v - 43 = 4*o, -5*v - 3*o + d = -v. Does 11 divide v?
True
Let c(f) = -f**2 + f + 6. Suppose z - 2*j = 2, -3*z + 3*j = 2*z - 3.