-f = -45 - 78. Suppose 2*h - b = 251, -h + 2*b = b - f. Does 23 divide h?
False
Does 31 divide (-35)/10 - -3 - 22055/(-22)?
False
Suppose -x = 2*r + 1 - 4, 5*r = 4*x - 51. Suppose 0 = x*o + 3*o - 1080. Is o a multiple of 9?
True
Let h(p) = 12*p**2 - 8 + 2 + 6. Let v be h(2). Does 10 divide v/(-32) + 89/2?
False
Let n(b) = -133*b + 248. Is n(-11) a multiple of 59?
True
Let a be ((-1)/(-5) + (-57)/10)*-6. Let z be 2/(-3) - 40/(-6). Let g = z + a. Does 13 divide g?
True
Suppose 3*x = -5*y + 4899, -52*y - 4*x + 1968 = -50*y. Is 9 a factor of y?
False
Let v(f) be the first derivative of -f**6/120 - f**3/6 - 7*f**2/2 + 1. Let z(b) be the second derivative of v(b). Is z(-2) a multiple of 7?
True
Suppose -2*y + 0*y + 26 = 0. Let i = -10 + y. Suppose 0 = -2*n + i*n - 5. Does 5 divide n?
True
Let a(s) = 2*s - 42. Let n be a(21). Suppose 0*y - 6*y + 438 = n. Does 16 divide y?
False
Let l be 6*(-3)/(-12)*2. Suppose k = -2*q + 5 + l, 2*k - 5*q = 34. Is 4 a factor of k?
True
Is 26 a factor of (-23 - -24)*(-3 + 1) - -470?
True
Let l = 17 + -17. Suppose l*b - b - 115 = 2*q, -2*q = 2*b + 114. Let o = q - -98. Does 10 divide o?
True
Suppose -4*m = -5*u + 1678 + 581, -2*m = -u + 447. Is 19 a factor of u?
False
Let l be (-3934)/16 + (-5)/40. Is 41 a factor of 1*l/(-3 + 0)?
True
Let d = 1 - 5. Let k be (-1 + 4)*d/(-3). Does 28 divide (-1*1)/(k/(-292))?
False
Let p(k) = 143*k + 187. Does 54 divide p(7)?
True
Let r be (-16)/(-4) + -4 - -123. Is 1 - r/(0 + -3) a multiple of 14?
True
Suppose 2*j - 46 = -12. Suppose -4*k = -z + 21, -3*k = -5*z - 5*k + j. Suppose -4*b = -z*s + 412, -8*b + 3*b + 145 = 2*s. Does 16 divide s?
True
Let s(b) = b**2 + 4*b - 2. Suppose 6 = 2*n, k + 4*n = 8 - 1. Let h be s(k). Is (-10)/30 + 37/h a multiple of 12?
True
Let w = 91 - 87. Suppose w*a - 39 = b, 0*b - 5*b - 15 = -2*a. Is 10 a factor of a?
True
Let k be 0 + 1 + -2 - 1. Let t(b) = 90*b**2 + b + 2. Let z be t(k). Suppose 4*g + n + 3*n - z = 0, 3*n - 359 = -4*g. Is g a multiple of 20?
False
Suppose 16*m - 15*m = -4, -2*p + 3*m + 3582 = 0. Is 33 a factor of p?
False
Let z(b) = 16*b**2 + 11*b - 33. Is z(-8) a multiple of 20?
False
Suppose -4*p = 5*q + 16, 4*q = -5*p + 2*q - 20. Let j(z) = -2*z**3 + 5*z + 3. Does 18 divide j(p)?
False
Let z(t) = 28*t. Let v(k) = -57*k + 1. Let g(a) = 2*v(a) + 5*z(a). Is g(3) a multiple of 17?
False
Is 11 a factor of ((-158)/(-3))/(12/54)?
False
Let u be ((-115)/20)/((-2)/8). Let m = u - 16. Suppose 0 = -2*d - m + 1, 107 = 2*r - 5*d. Is 18 a factor of r?
False
Let s be 5/(-10) + (-1569)/(-6). Suppose 5*q - 4*x - s = -52, 5*x + 115 = 3*q. Is q a multiple of 16?
False
Is 14 a factor of 17296/6 + (132/18)/(-11)?
False
Suppose 18 = 14*l - 8*l. Suppose l*a - 4*d - 650 = 0, 4*d = -3*a + 70 + 564. Does 29 divide a?
False
Suppose 54*m - 54 = 53*m. Is 51 a factor of m?
False
Suppose 1583 = 118*a - 18949. Is a a multiple of 3?
True
Suppose 5 = 13*f - 21. Suppose 0 = f*r - 3*p - 399, 3*p = 3*r - 424 - 182. Is r a multiple of 23?
True
Suppose 5*j + 4*v = 35, -2*v + 13 = 4*j - 3*j. Suppose 5*o - 4*n - 50 = 0, -3*n - 33 = -j*o - 0*o. Suppose -o = -d + 9. Is d a multiple of 4?
False
Let a(g) = -g**3 + 3*g**2 - 2*g + 3. Let c = -14 - -16. Let y be a(c). Suppose -y*h - b = -88, -2*h + 2*b = -4*h + 60. Does 9 divide h?
False
Let t = 12 - -13. Suppose 0*v = -v - 4*m + t, 0 = -5*v - m + 87. Let d = v - 14. Is 2 a factor of d?
False
Let t = -8 - -11. Suppose -5*s = -t*d + 74, 5*s + 5*d + 1 = -89. Is (1 - s)*(12 - 11) a multiple of 17?
True
Suppose 17*k + 8875 = 27456. Is 28 a factor of k?
False
Let d(l) = 25*l - 115. Does 15 divide d(8)?
False
Let x = -17 + 66. Let f = x + 56. Is f a multiple of 35?
True
Let z = -128 + 412. Is 19 a factor of z?
False
Suppose -6*c + 2*c = 2*w + 392, 496 = -5*c - w. Let g be (c/16 - 0)*8. Let x = 28 - g. Is x a multiple of 26?
True
Let d = -13 + 15. Suppose -433 = -9*m + 4*m + 2*k, -d*m + 176 = 2*k. Let h = m - 48. Is h a multiple of 19?
False
Suppose 51*f = -6115 + 74251. Does 13 divide f?
False
Let f = 368 + -198. Is f a multiple of 8?
False
Let z = 51 + 27. Let m = 143 - z. Does 13 divide m?
True
Suppose -f + 4 = 6. Let b be (-1 + 0)*(5 + f). Let y(q) = -2*q**3 - 3*q**2 + 3*q - 4. Is y(b) a multiple of 13?
False
Let i = 704 + -523. Is 49 a factor of i?
False
Let l = 41 - -49. Let f = -33 + l. Is 44 a factor of f?
False
Suppose 2*j - 5*j = -w - 12, 4*j = -w + 23. Suppose -276 = j*x - 1401. Suppose 0 = -v - 4*v + x. Is 15 a factor of v?
True
Let h(x) be the third derivative of 7*x**4/6 - 2*x**3/3 - 10*x**2. Is h(2) a multiple of 18?
False
Let f(w) = 7*w - 11. Let n be f(2). Suppose 60 = d + d. Suppose -d = -n*u + u. Is 6 a factor of u?
False
Suppose -2*f + 6*t + 2 = 2*t, 25 = 5*f - 5*t. Suppose 102 + 141 = f*r. Is 3 a factor of r?
True
Suppose 3*o - k - k = 1467, -4*k + 1956 = 4*o. Is o a multiple of 15?
False
Let q be 2/((-2)/(-31)) + -2. Let z = -104 - -107. Suppose -b - 1 = 0, 2*d + z*b - 12 - q = 0. Does 8 divide d?
False
Suppose 2*m + 4 = 2*l - 0*m, -3*l = 4*m - 27. Suppose l*h = -0*h + 10. Suppose -5*z + 1 = -y, -3*z = -0*y + h*y - 24. Does 3 divide y?
True
Let o be (-3)/1*15/45. Let j be (0 - o)/((-1)/27). Let h = -9 - j. Is 13 a factor of h?
False
Let r = 477 - -1514. Does 11 divide r?
True
Let p = 16 - 13. Suppose p*j + 15 = 6*j. Suppose j*c = 3*i + 93, 1 = c - 5*i - 0. Is 8 a factor of c?
False
Let s = 2 + -7. Let a be (3/(-6))/(s/(-30)). Let o(y) = -4*y - 2. Is 3 a factor of o(a)?
False
Let u = 38 - 17. Suppose 0 = -3*r + 303 + u. Does 36 divide r?
True
Let o(a) = a**2 - 3*a - 15. Let h be o(6). Suppose 3*x = h*z + z - 351, 0 = 2*z + x - 163. Does 21 divide z?
True
Let p = -3 + 2. Let o(y) = -y**2 + 26*y - 132. Let x be o(18). Does 2 divide x/(-3) + p + 12?
False
Let i(n) = -n + 6. Let r be i(5). Let j(z) = -r - 5 + z + 0*z - 4*z. Is j(-9) a multiple of 21?
True
Does 23 divide 6/(-8) - (-27569)/76?
False
Is 1*(6 + 1338/6) a multiple of 40?
False
Suppose -3*p + 1176 = p. Is 14 a factor of p?
True
Let i(t) = 14*t**3 - 24*t**2 + 6*t + 12. Let c(p) = -5*p**3 + 8*p**2 - 2*p - 4. Let y(f) = 11*c(f) + 4*i(f). Let l be y(8). Is 6 a factor of (l + 1 - 3)*1?
True
Let h = -535 + 4782. Is h a multiple of 44?
False
Does 22 divide -3*53*11/(-6)*2?
False
Let s = -60 + 58. Let r(y) = -y - 2. Let x be r(-6). Does 25 divide (1/s)/(x/(-824))?
False
Does 14 divide 294 - -2 - (8 + 42/(-7))?
True
Let w = 16 - 56. Let n = 200 + w. Suppose 2*q - 76 = 3*l, -4*l = -4*q - 0*q + n. Does 14 divide q?
False
Let o = 61 - 29. Let p = o - 13. Is 14 a factor of p?
False
Does 24 divide (23 - 2)/(15/(-2000)*-5)?
False
Suppose -i = -151 - 163. Does 54 divide i?
False
Suppose -h = -2*h + 4. Suppose 0*t + 450 = 5*t - y, -109 = -t + h*y. Let q = t + -39. Does 23 divide q?
False
Suppose 3*x = -2*x - 125. Let s be (8/10)/((-10)/x). Suppose 30 = s*p - 0*p. Is 15 a factor of p?
True
Let f = -20 - -60. Let g = 5 + f. Is 16 a factor of g?
False
Let b(f) = -2*f**2 + 3*f + 96. Does 8 divide b(0)?
True
Let q(d) = -449*d**3 + 2*d**2 - 2*d - 3. Does 50 divide q(-1)?
True
Suppose 0*j = 4*j - 16. Suppose 4*o = -j*h + 344, -o + 340 = 3*o + 5*h. Suppose 6*m - 90 = 4*m + 5*a, 0 = 2*m + 5*a - o. Is m a multiple of 15?
True
Is 41 a factor of (-2844)/(-15)*200/24?
False
Suppose 7*o - 12 = 4*o. Is 21 a factor of (40/30)/(o/126)?
True
Is 17 a factor of -141*(2 + (-25)/5)?
False
Let d = 20 + -15. Suppose -4*f - 4*r = -108, -d*r - 32 = -f - 11. Does 26 divide f?
True
Suppose 0 = 5*p - 5*c - 2335, 2*p + 3*c - 938 = 7*c. Is 15 a factor of p?
True
Suppose 0 = 3*w - w - 4. Suppose 0 = -5*x + w + 28. Suppose 0 = -5*v + x + 4, -h + 2*v = -97. Is 31 a factor of h?
False
Suppose -13 = 5*g - 273. Let n = g + 48. Is 31 a factor of n?
False
Let m be (17 - -97)/((-3)/2). Let v = m - -103. Is v a multiple of 7?
False
Let t = 325 + -295. Is t a multiple of 23?
False
Suppose -y + 260 = n - 6*y, 0 = -5*n - 4*y + 1213. Is 34 a factor of n?
False
Let o(d) = d**3 - 5*d**2 - 6*d + 2. Suppose 0 = -9*z + 4*z + u + 127, -85 = -3*z + 5*u. Let n = -18 + z. Does 16 divide o(n)?
False
Let a(s) = 133*s**2 + 16*s - 1. Does 17 divide a(5)?
False
Suppose 2*i - 15 + 3 = 0. Suppose i*l = 8 + 16. Suppose l*u + 12 = -0*u + 4*x, 0 = -u - 2*x + 12. Does 2 divide u?
True
Let c(t) = -t**3 - 7*t**2 - 8*t - 12. Let i be c(-6). Suppo