974 + (4 - -2) a multiple of 83?
False
Let b be (6/(-4))/((-6)/(-1 - -13)). Is 18 a factor of (88/(-5))/(b + (-16)/5)?
False
Let h(u) = 5*u + 34. Let s = -55 - -59. Is 54 a factor of h(s)?
True
Let a(l) = -l**3 + 8*l**2 + 5*l - 6. Let o be a(9). Let x be -12*(o/8)/3. Suppose x = k + 3. Does 9 divide k?
True
Let o be (-8)/28 - 2/(-7). Suppose -3*q - 3*t + 27 = o, 3*q + 2 = -t + 23. Is ((-51)/q - -2)*-2 a multiple of 3?
False
Suppose h = -2*h + 45. Let p = h + -13. Let o(y) = y**2 - y + 4. Does 6 divide o(p)?
True
Let u be (426/(-40) - (-9)/(-15))*4. Let t = -9 - u. Does 6 divide t?
True
Suppose 0 = -5*z + 2*u + 400, -2*z = -3*z - 2*u + 92. Let m = z + -71. Is 11 a factor of m?
True
Let u(v) = 63 - 2*v - v - 51 + 2*v + 9*v**2. Is u(-4) a multiple of 29?
False
Let l be (-10)/(-6) + (-24)/(-18). Let w = 157 + l. Is w a multiple of 10?
True
Let d(f) = -f - 11. Let v be d(-12). Let m = v + 30. Does 9 divide m?
False
Let v(l) be the first derivative of -3*l - 1 + 2*l**2 + l + 3. Does 5 divide v(3)?
True
Suppose 3*d = -k + 452, 4*k + 5*d + 0*d = 1773. Is 15 a factor of k?
False
Let k = -11 - -17. Suppose 0 = -5*q + k*q - 42. Is q a multiple of 21?
True
Let f(a) = -266*a + 10. Let w be f(-2). Let c = -374 + w. Is c a multiple of 48?
False
Suppose 0 = -0*c + 2*c - 6. Suppose 5*a = i - 5, c + 7 = 2*i + 5*a. Suppose 2*g + q = i*g - 37, -3*g - 5*q = -13. Is 11 a factor of g?
True
Let o(p) = -p**2 + 10*p - 4. Let g be o(9). Suppose -2*k = -g*c - 39, -c + 2*c = -1. Is k a multiple of 17?
True
Suppose o - 4*z - 563 = 227, -o - 4*z + 806 = 0. Is o a multiple of 38?
True
Let m = 119 + -290. Let a = m + 241. Is 34 a factor of a?
False
Let h = -9 - -15. Let o be (-4)/6 + (-26)/h. Let q = o + 21. Is 8 a factor of q?
True
Let i(j) = -13*j + 1. Let c(f) = 13*f - 1. Let s(u) = -4*c(u) - 5*i(u). Does 33 divide s(9)?
False
Suppose 3*l - 968 = -l - 3*d, 484 = 2*l - 3*d. Does 17 divide l?
False
Suppose 4*p - 69 = 3*k + 93, -2*k = 3*p + 91. Is 11 a factor of ((-116)/(-10))/((-10)/k)?
False
Let x = -14 - -99. Let d = x - -26. Is 14 a factor of d?
False
Suppose 0 = 5*z - t - 1201, 228 = z - 5*t - 17. Suppose -g + 3*g - 110 = -2*k, -5*k + z = -2*g. Is k a multiple of 37?
False
Let r(j) = 174*j - 2. Is 14 a factor of r(4)?
False
Does 56 divide 3 + (-7 - -1740)*1?
True
Let c = -56 + 60. Suppose -3*l + 277 + 114 = -c*d, -l = -3*d - 132. Is l a multiple of 20?
False
Let d = -147 - -207. Let k = 5 + d. Does 19 divide k?
False
Let m(f) = 9 - 11*f - 14*f + 15*f. Is m(-3) a multiple of 11?
False
Let n = -3075 - -6029. Is n a multiple of 46?
False
Does 9 divide -2 - (-19)/(57/585)?
False
Let g be (19 - -2)*1/(-3). Let q = g + 37. Suppose -6*a - q = -7*a. Is a a multiple of 8?
False
Let c = 346 - -563. Is c a multiple of 43?
False
Let a(x) = -x**2 - 8*x + 10. Let l be a(-9). Let n(y) be the third derivative of 41*y**5/60 - y**4/12 + y**3/6 - y**2. Is n(l) a multiple of 12?
False
Is 73 a factor of (-21015)/(-36) + 4/16?
True
Let n = -4 + 8. Let h = n - -1. Suppose -s + 68 = 2*g, -4*s + h*s - 4*g - 62 = 0. Is 19 a factor of s?
False
Suppose 6*f = 7*f. Let x(p) = -p + 12. Is 6 a factor of x(f)?
True
Let c = -49 + 76. Let n(q) = -c*q - 27*q - q + 12*q. Does 21 divide n(-1)?
False
Suppose 9*y - 6350 + 2246 = 0. Is 19 a factor of y?
True
Let l(v) = v**2 + 2*v - 4. Let n be l(-4). Suppose 0 = n*q - 0*q - 68. Does 5 divide q?
False
Suppose -12 = -4*s - 0*s. Suppose 18 = 5*d + n, s + 1 = -d - 4*n. Suppose -4*x + l = -0*l - 176, -d*x - 3*l + 176 = 0. Is x a multiple of 10?
False
Suppose -32 = -2*x + o - 2, -4*o - 42 = -2*x. Does 4 divide x?
False
Let l(v) = -37 - v**2 - 12*v - 39 + 68. Is 14 a factor of l(-6)?
True
Suppose -j + 1977 = -3*s, 2735 = 4*j - 2*s - 5183. Is 132 a factor of j?
True
Suppose 0 = -u - 0*u + 2. Let q be -2 - 1/(-1) - (-82 + 1). Suppose -p = -u*h - 52, -q = -2*p + p - 5*h. Does 15 divide p?
True
Let a(s) = 8*s. Let o be a(1). Let q be o + (-3)/6*0. Let p(u) = 2*u + 5. Is p(q) a multiple of 21?
True
Suppose 4*t - 2*t = 26. Suppose 4*g - 24 = g + n, -4*g = 5*n - t. Let d(b) = 3*b - 3. Is d(g) a multiple of 9?
True
Let o be 0 - 7/((-14)/52). Suppose -4*k + 118 = -a, 0*a - 2*a = -k + o. Is 470/k - 2/(-6) a multiple of 16?
True
Let o be -1 + 3 - 13 - -2. Let i = 34 + o. Let d = i - 3. Is 22 a factor of d?
True
Suppose -10 = -3*u - 1. Let z(w) = 3*w + 2 + 1 + 5*w - 2*w. Is z(u) a multiple of 21?
True
Suppose -2*c = -h + 22 - 57, -5 = -c. Let n = h + 69. Is n a multiple of 22?
True
Let l = -1098 - -1141. Is l even?
False
Let h = 41 + -71. Let g = h - -32. Is 4 a factor of 20 + 3*-2 + g?
True
Suppose -3*l + 4*c + 154 = -38, 3*l - 189 = 5*c. Suppose 2*m - 5*m + 15 = 0. Suppose -m*n + 32 + l = 0. Does 8 divide n?
False
Let y(f) = -23*f**3 + 3*f. Let g be y(-3). Suppose -9*k + g = -3*k. Is 34 a factor of k?
True
Let i = -7 - -1. Let s = i + 17. Is 5 a factor of s?
False
Suppose 5*t - 9 = 2*s, 0 = 3*s - 5*t + 2*t. Let f = s + 1. Suppose -2*r + 69 = -u - f*u, -3*r = -u - 136. Does 13 divide r?
False
Let n be -3*(-3)/9 + 2. Suppose -n*k = 2*k + 290. Let l = -26 - k. Is l a multiple of 14?
False
Let u(o) = -o**2 - 4*o + 24. Let j be u(-7). Let b be -3*((-256)/j)/2. Let f = b + -58. Is 10 a factor of f?
True
Let q be -4*(3 - (-25)/(-4)). Let b = q - 10. Suppose -b*d - 46 = -t, 3*t - 126 = d + 2*d. Is t a multiple of 20?
True
Let v be (2112/(-10))/4*105/(-6). Suppose -6*b - b = -v. Does 22 divide b?
True
Suppose 2*r + 26 = 3*o, 1 - 2 = -r - 2*o. Is r/2*(-6 - 8) a multiple of 11?
False
Suppose -5*q = -2*l + 46, -2*l + 2*q + 7 = -33. Suppose -2*i = 0, 3*i - l + 45 = x. Is 27 a factor of x?
True
Does 10 divide 6/(-5 + -1) - (-34 - -3)?
True
Let c(u) = 5*u**2 - u. Let m be c(1). Suppose 3*s - m = 5. Suppose -3*h + 6*h + 4*d = 78, -s*h = -4*d - 102. Is 6 a factor of h?
True
Is 14 a factor of 4942/4 - (-2 - (-98)/28)?
False
Let w be 3 - 85/(-5) - 2. Let v = w + 11. Suppose i - v = 1. Is i a multiple of 10?
True
Suppose -5*p = -3*v + 11884, -37*v + 5*p = -32*v - 19820. Is v a multiple of 32?
True
Let m be 94 - (1 + -2 - (0 + 2)). Let v = m - 63. Is 10 a factor of v?
False
Suppose 10 - 8 = -k. Let h(q) = q. Let p(b) = -b**3 - 4*b**2 - 6*b - 2. Let y(v) = -6*h(v) - p(v). Does 5 divide y(k)?
True
Suppose 5*h + 0 = 2*p - 65, h - 75 = -4*p. Let z be (-5)/(p/12) + 6. Suppose -z*i - 2*f + 21 = 0, -5*i = -4*f + 5*f - 28. Is i a multiple of 5?
True
Let c = 704 + -402. Is c a multiple of 31?
False
Let a = 261 + 589. Does 5 divide a?
True
Suppose 14*a = 2237 + 423. Is a a multiple of 10?
True
Suppose v + 2*b = 11, 3*v + 0*b - 8 = -b. Let w = 6 + v. Suppose -l + 2*y + w = 0, -5*l = -y - 0*y - 62. Does 13 divide l?
True
Suppose 2*y = 3 - 13, -5*r + 2*y + 30 = 0. Is 12 a factor of (9 + 0 - r)*18?
False
Suppose h = 8*h - 21. Suppose -3*i + 2*l = -502, -326 = -h*i - 2*l + 180. Does 24 divide i?
True
Let h(q) = -q**3 - 9*q**2 - 38*q - 18. Is h(-12) a multiple of 6?
True
Suppose -33*r = -34*r - 24. Is ((-290)/(-3) - 2) + (-32)/r a multiple of 16?
True
Let a(y) = 6*y**2 + 36*y - 7. Let r be a(-6). Does 3 divide (-3 - 2)*r + 4?
True
Let k be 0*((-9)/(-6) + -2). Let f be k*(-3)/(-24)*2. Suppose f = -4*l - 78 + 262. Is 12 a factor of l?
False
Let p = -472 - -484. Is 10 a factor of p?
False
Let g be (0 - 0) + 0 + -22. Let x be (-2710)/g + (-2)/11. Suppose 0 = 5*k + 4*t - 151, -4*k + 2*t + x = 3*t. Is 18 a factor of k?
False
Let i be ((-2)/(-4))/(1/2) + 11. Is i + (-2)/(-2)*(2 - 2) a multiple of 6?
True
Let n(i) = -3*i + i - 9*i - i**2. Let t be n(-9). Let h = t - 4. Does 6 divide h?
False
Suppose 4*s - 2*r - 2 = -0*s, 4*r - 20 = 0. Let f = -6 + s. Is 33 - (f/(-1))/1 a multiple of 6?
True
Let x = -17 - -6. Let d = -7 - x. Let j = 2 + d. Does 6 divide j?
True
Let j be 28/154 - (-218)/11. Let o = j + -25. Does 25 divide (-77)/2*(-7 - o)?
False
Suppose i = 3*i + 12. Let z be i/4*16/24. Let a = 4 + z. Is a even?
False
Let n = -1250 - -1586. Does 12 divide n?
True
Suppose v - 5*j + j + 2 = 0, -j - 6 = 3*v. Let t be (-8)/v - (2 - 2). Suppose t*i + 200 = 6*i. Is i a multiple of 15?
False
Is (1 - 5)*(-999)/148 even?
False
Let w = -30 - -29. Let p(l) = 131*l**2 - l. Does 19 divide p(w)?
False
Let j = 290 + -166. Suppose 760 = 4*d + j. Does 50 divide d?
False
Suppose -c - 111 + 1430 = 3*h, -h = 3*c - 3917. Suppose 0 = 6*t - 