8?
True
Suppose -2*u + 2*p = 4*p - 30, -4*u + 5*p + 60 = 0. Is 18 a factor of 7/((-35)/u) + 57?
True
Let b(c) = -18*c + 7. Suppose -5*i = -3*n + 19, -3 = -2*n + i + 5. Suppose -9 = n*q + 6. Is 27 a factor of b(q)?
False
Let y(c) = 11*c + 3. Suppose k = 2*t + 9 - 1, -3*k + 3 = t. Let a be (12/10)/(t/(-10)). Is y(a) a multiple of 10?
False
Let o(p) be the second derivative of -p**4/12 + 19*p**3/6 - 8*p**2 - 6*p. Is o(5) a multiple of 41?
False
Let r(o) = -o**2 - 3*o + 4. Let n be r(-3). Suppose 3*a = n*a, -2*z - 5*a = -104. Suppose -5*b - 47 = -3*y, 2*y - 4*b - z = -2*y. Is y a multiple of 6?
False
Suppose 5*u - 5*r - 400 = 0, 3*r + 8 = -1. Is 7 a factor of u?
True
Suppose -o = -2*k + 14, o + 4*o + 86 = 2*k. Let l = 23 + o. Is l even?
False
Let c be (-10)/(-1)*12/30. Suppose 6*f - 28 = 2*f - c*x, -4*x - 17 = -5*f. Suppose -112 = -3*p + f*t + 3, 2*t = 4*p - 172. Does 12 divide p?
False
Suppose -7*m + 5*m - 5*x = -625, 0 = 3*m - 4*x - 880. Is 75 a factor of m?
True
Let u be (-58)/(-3) + 6/9. Suppose -5*q + q + u = 0. Suppose q = -4*i + 93. Does 6 divide i?
False
Let f = -29 + 32. Suppose -f*l + 6 = -3, -2*l - 42 = 2*m. Is (m/20)/(-3)*35 a multiple of 12?
False
Suppose -11201 = -20*h - 3081. Is 7 a factor of h?
True
Suppose -9*i + 8*i = -120. Suppose i = -6*m + 8*m. Is 22 a factor of m?
False
Suppose 3*i + i - 16 = 0. Suppose i*z = -3*h - 1 - 2, -5*h + 3*z - 5 = 0. Let t = h - -5. Is t even?
True
Suppose -32*i = -72982 + 1750. Is i a multiple of 53?
True
Let r = 4531 - 3105. Is r a multiple of 46?
True
Suppose 0 = -5*c + 9 + 6. Suppose -c*h = 5*m - 152, 3*m + 2*h = 119 - 28. Is m a multiple of 5?
False
Suppose p - 17 + 14 = 0. Suppose 4*u - 38 = 2*u - 4*v, 4*u + p*v = 96. Does 2 divide u?
False
Suppose -x + 6*x + 15 = 0, 2*x = 2*o - 14. Suppose 4*h - 3*i = 57, -3*h - 3*i = -o*h + 12. Is 2 a factor of h?
False
Is 38 a factor of ((-399)/5)/(71/(-710))?
True
Let b = -124 - -194. Is 13 a factor of b?
False
Let s(v) = v**3 + 5*v**2 - 16*v. Is s(8) a multiple of 16?
True
Suppose 3*b = -52 + 58. Suppose -158 - 22 = -b*h. Is h a multiple of 24?
False
Let c be ((-2)/3)/(1/(-57)). Is ((-45)/(-15))/(6/c) a multiple of 19?
True
Let k(q) = q**3 + 9*q**2 + 9*q + 12. Let w be k(-8). Suppose t = 2*i - 198, -6*i = -4*i + w*t - 188. Let d = i - 46. Does 13 divide d?
True
Let c be (-1)/(1 + 3/(-2)). Suppose -5*m = -2*t - 11 + 1, -c*m - 3*t = -4. Suppose -5*l - 48 = -3*z, z + z + m*l = 16. Is 6 a factor of z?
False
Suppose 3*i = 3*q - 108, -4*i + 144 = 4*q + q. Suppose -2*d - 218 = -5*x, -2*x + q + 40 = 3*d. Does 10 divide x?
False
Suppose 20*l + 4307 - 47807 = 0. Does 15 divide l?
True
Suppose -o = -0 - 5. Suppose o*q - 99 + 24 = 0. Suppose l = 2*j - 37, -3*l = -0*j + j - q. Is 8 a factor of j?
False
Suppose 0 = -4*p - 2*l + 754, 3*p = 4*l + 297 + 241. Let g be (62/3)/(6/27). Let d = p - g. Does 30 divide d?
False
Let r be (-422)/(-3) - 2/3. Suppose -3*a - 35 + r = 0. Suppose 0 = 4*p + a - 155. Is p a multiple of 15?
True
Let d(g) = 7*g + 5. Let p be d(11). Suppose 0 = -3*c - j + p, 123 = 4*c - 4*j + 19. Suppose 3*m = 6*m - c. Is m a multiple of 6?
False
Suppose 1529 + 18399 = 8*b. Is 47 a factor of b?
True
Suppose 12*h = 6653 - 1445. Is h a multiple of 27?
False
Suppose -2*w - 12 = w. Let m(i) = -i**2 - 8*i + 4. Is 4 a factor of m(w)?
True
Is (6/4)/(177/532534) a multiple of 24?
False
Suppose 12*c + 360 = 14*c. Is 18 a factor of c?
True
Let m(u) = u - 5. Suppose 2*o - 43 = -3*q, o + 3*q - 2*q - 20 = 0. Suppose -4*k = -5*k + o. Does 12 divide m(k)?
True
Let v be (2*(-3)/18)/(3/207). Let m = v + 28. Does 2 divide m?
False
Let q = 226 - -949. Is q a multiple of 60?
False
Let k(x) = 21*x**2 - 2*x. Let m be k(-2). Suppose -3*d + m = -4*o, 6*d + 54 = 8*d + 2*o. Is 5 a factor of d?
False
Let r = 146 - 9. Is r a multiple of 2?
False
Let d = -30 - -34. Suppose -941 = -d*z - 301. Is 20 a factor of z?
True
Let o = 63 + -36. Suppose -2*y = -27 - o. Is y a multiple of 12?
False
Let z(k) be the third derivative of 6*k**2 + 1/3*k**3 + 0 + 0*k**4 + 0*k + 1/60*k**5. Is 11 a factor of z(-4)?
False
Let t be 9/2*(-6)/(-9). Suppose 0 = f + t - 5. Suppose 0 = d + f*d, 16 = z + 2*d. Does 8 divide z?
True
Is ((-132)/(-9))/(16/168) a multiple of 14?
True
Suppose -4*g = 20, 0*g + 4*g + 2 = -2*y. Is 2*y*(-1 - -2) a multiple of 6?
True
Let a = -891 + 501. Is a/(-4)*(-4)/(-6) a multiple of 13?
True
Let f(k) be the first derivative of 3/2*k**2 + 11*k - 5. Does 19 divide f(9)?
True
Let d = 127 - -43. Does 10 divide d?
True
Let g(r) = 3*r**2 + 9*r - 3. Let l be g(-4). Let p = 4 + l. Suppose -p*o - 81 = -16*o. Does 22 divide o?
False
Let c(g) = g - 1. Let z be c(-3). Is (4 - 110/4)*z a multiple of 28?
False
Suppose 3*o = 17*o - 4186. Is 2 a factor of o?
False
Suppose 61*j - 49159 = 50*j. Does 85 divide j?
False
Does 13 divide (-1)/(-8) + (-324432)/(-384)?
True
Suppose o - 4*g = 836, 3344 = 16*o - 12*o - 2*g. Is 19 a factor of o?
True
Let v = 2493 - 1648. Is 65 a factor of v?
True
Let v(s) = -8*s**3 - 2*s**2 + 11*s + 5. Does 60 divide v(-5)?
True
Suppose 3*o = g + 7, 3*g + 2*o + 2*o - 5 = 0. Let h(l) = 58*l**2 - l - 2. Does 16 divide h(g)?
False
Suppose -2*h + 21 = 17. Suppose -2*f - 6 = 0, -h*f - 2*f + 32 = 4*c. Suppose 1 - c = 2*n, -2*r + 19 = -n. Does 7 divide r?
True
Let f(r) = -77*r - 7. Let v be f(-5). Suppose -z = 5*z - v. Does 9 divide z?
True
Suppose 0 = -z - g - 19 + 130, -2*z + 3*g = -202. Suppose 2*x = -83 + z. Does 6 divide x?
True
Suppose -40*q + 36*q = -3996. Is q a multiple of 9?
True
Let q = 15 - 16. Let w(s) = 4*s**2 - s - 1. Let k be w(q). Suppose -k*l = 3*t - 258, 188 = 3*l + 4*t + t. Does 22 divide l?
True
Let j be (-1 - -1)*(-4)/(-8). Suppose 0 = -4*t - j*t - 2*s + 6, -5*t + 5*s = -30. Is (t + -2)*(18 - -5) a multiple of 14?
False
Let p(n) = -50*n - 98. Let h be p(-2). Suppose 5 = -s, 2*s + s + 107 = 4*f. Suppose h*c - f = 1. Does 3 divide c?
True
Let x be 16/(-40) - 4/(-10). Suppose x = 2*b - 244 - 158. Suppose -2*p + b = p. Is p a multiple of 26?
False
Suppose -3*o + 54 + 18 = 0. Let d = 934 + -891. Let y = d - o. Is 15 a factor of y?
False
Suppose -6 = 5*p - p + 3*h, 0 = 3*p + h + 2. Suppose d - 92 - 8 = p. Suppose d = 3*y - y. Is y a multiple of 11?
False
Suppose k + 0 - 78 = -j, -2*j - 282 = -4*k. Suppose -3*w + 41 = -7. Let b = w + k. Is 19 a factor of b?
False
Let d = -1864 - -2052. Is d a multiple of 47?
True
Suppose 78*g - 10070 = 59*g. Is 10 a factor of g?
True
Suppose 5*z - r = 625, 272 = 2*z + 3*r + r. Suppose 13*o - 329 - z = 0. Does 4 divide o?
False
Let b be (-42)/(-24) - 2/(-8). Suppose -2*h + 170 = b*x, 2*x + 172 + 93 = 3*h. Is 27 a factor of h?
False
Let h(j) = 4*j**3 - 12*j**2 - 13*j + 75. Is 33 a factor of h(6)?
True
Let j = 123 + -55. Let w = j - 54. Is w a multiple of 7?
True
Suppose -18 = -2*c - 2*c - 5*w, 2*c - 8 = -2*w. Suppose -2*o - 3*x = c*x - 210, 4*o - 4*x - 420 = 0. Does 35 divide o?
True
Let r = 10 + 5. Suppose 2*n - r = -n. Suppose n*f = -2*v + 60, 5*f + 2*v + 2*v - 60 = 0. Is f a multiple of 12?
True
Let r(u) = 2*u**3 + 2*u**2 - u. Let k = -21 - -23. Let b be r(k). Suppose -a + b = f - 3, -5*f = -5*a - 135. Is 13 a factor of f?
True
Let g(q) = -15*q**2 - 5 + q + 2*q**3 - 9*q + 1 - 3*q. Is g(9) a multiple of 14?
True
Let a(k) = k**3 - 9*k**2 + 8*k + 5. Suppose 7 = 4*p + 35. Let o(b) = b**2 + 5*b - 6. Let g be o(p). Does 5 divide a(g)?
True
Let u(w) = -w**3 - 3*w**2 - 4*w - 5. Let q be u(-4). Suppose -r + 44 = q. Is 4 a factor of r?
False
Does 19 divide (40/6)/((-8)/(-936))?
False
Suppose -2*h = 3*v + 2*h - 292, -4*v + 408 = -4*h. Let t = v + -53. Is t a multiple of 21?
False
Suppose -1058*m + 33344 = -1042*m. Does 16 divide m?
False
Suppose -16*j + 538 = -2918. Is 8 a factor of j?
True
Let w = -221 - -461. Does 7 divide ((-8)/(-6))/(8/w)?
False
Let s be -2 + 20 + -2 + -4. Suppose 0*z = -z + s. Is 4 a factor of z?
True
Let k = -5 - -125. Does 6 divide k?
True
Suppose 4*v = 6 - 2. Suppose w = -0 + v, b - 55 = 5*w. Is b a multiple of 10?
True
Let u(d) = 2*d**2 + 16*d + 51. Let r be u(-11). Let m = r + -87. Does 2 divide m?
True
Let z(n) = n**3 + 13*n**2 + 13*n - 42. Does 58 divide z(-8)?
True
Let l(p) = p**3 + 3*p**2 - 3*p + 4. Let u(q) = -q - 13. Let s be u(-16). Suppose 4*k - 3*x = 3*k - 9, -4*k + s*x = 18. Is l(k) a multiple of 7?
False
Let