138. Is x a multiple of 8?
False
Let h(y) = 2*y**3 + 40*y**2 + 55*y + 319. Let q be h(-19). Suppose -n = 3*u - 1, -4*u + 4 - 2 = 2*n. Is (216 - n) + q/(-4) a multiple of 12?
True
Let j(i) = i. Let z be 1/(1 + (-1 - -1)). Let d(o) = 3*o + 17. Let k(m) = z*d(m) - 2*j(m). Is k(-5) a multiple of 6?
True
Suppose -109662 = 4*d - 15*d + 5717. Is d a multiple of 18?
False
Let k(q) = -q**2 - 28*q - 168. Let f be k(-9). Does 8 divide 12609/54 - f/2?
True
Suppose 4*i - 4*u = -644, 0 = -8*u + 10*u + 2. Is 27 a factor of ((-580)/(-29))/((-4)/i)?
True
Suppose 7 = -8*d - 137. Let w(o) = 10*o + 185. Does 2 divide w(d)?
False
Let d(h) = 7*h + 8. Let v be d(-7). Suppose 234*x - 225*x + 369 = 0. Is (0 - (0 - 19))*v/x a multiple of 8?
False
Suppose -13*j - n = -18*j + 34724, -4*j + 2*n = -27772. Is 46 a factor of j?
True
Let k(v) = -v**3 + 10*v**2 - 5*v + 106. Let x be k(12). Let c = x - -527. Is c a multiple of 15?
True
Suppose -2*p + 3*p = -w + 19425, 0 = -p - 3*w + 19415. Is p a multiple of 145?
True
Let d(i) = i**2 + 10*i + 3. Let c be d(-9). Let g(s) = 6*s - 11. Let m(o) = -o. Let k(n) = -2*g(n) + 18*m(n). Does 46 divide k(c)?
False
Suppose -31 = -2*f + 17. Suppose -c - 8 = v, 4*v + 3 = -3*c - f. Is 36 a factor of (-3 + 60/(-1))/(c/20)?
True
Suppose 175004 = -48*y + 547052. Is y a multiple of 23?
True
Suppose 0 = 99*x - 147*x + 324912. Is x a multiple of 104?
False
Does 105 divide ((-7629)/12 + -3)/(37/(-444))?
True
Let v be (-10)/2 - (-440)/44. Suppose 0 = 5*t + 7*i + 228 - 4577, 0 = -v*i + 10. Is 43 a factor of t?
False
Is 6 a factor of -13 - (16 + 11 + -7345)?
False
Suppose 0 = -58*f + 820992 + 1558284. Is 53 a factor of f?
True
Let r(x) = -x**3 - 3*x**2 + 3*x**2 + 0*x**2 + 2*x**2 + 4. Let t be r(0). Suppose p - 22 = -4*p + t*k, -k = 5*p - 32. Is p even?
True
Let s(v) = v**3 - 12 + 9299*v - 4645*v - 4647*v - 12*v**2. Suppose -h = -2 - 10. Does 6 divide s(h)?
True
Let o(l) = 574*l**2 + 574*l**2 + 0*l - 1138*l**2 + 84 - 15*l. Is o(7) a multiple of 39?
False
Suppose 30*r + 43492 = 249502. Is r a multiple of 63?
True
Let b(q) = -6*q + 19. Let k(g) = -13*g + 38. Let y(i) = 7*b(i) - 3*k(i). Let p be y(6). Does 12 divide 23*p + -6 + 9?
False
Let l = 38 + -40. Let n be (147/l)/(6/(-36)*-3). Let a = 255 + n. Does 16 divide a?
False
Let h = 53 - 22. Suppose -4*i + 9*i - h = -2*d, 0 = 2*i - 2*d - 4. Suppose -i*v + t = -1152, 3*v - 5*t = 7*v - 939. Is v a multiple of 33?
True
Suppose -7*j + 10 = 31, -5*j - 7935 = -2*z. Does 15 divide z?
True
Suppose 17534 = 2*f - 115*b + 119*b, -35080 = -4*f + 4*b. Is f a multiple of 111?
True
Suppose -184 = 4*s + 3*k - 1200, 5*k + 534 = 2*s. Suppose -29*l + 750 = s. Is l a multiple of 6?
False
Let h = 1213 + 85. Is 35 a factor of 3*(-2)/2 + h?
True
Let t = -11058 + 12238. Is t a multiple of 59?
True
Suppose 9*y = 4*y + 205. Let u = y - 38. Suppose u*w - 1782 = -8*w. Is w a multiple of 27?
True
Let r(c) = 5*c**2 - 3*c - 70. Let b(y) = 3*y - 1. Let z be b(3). Is 6 a factor of r(z)?
False
Suppose 462*c - 589600 = 442*c. Is c a multiple of 40?
True
Let j(c) = 2*c**2 + 21*c - 13. Let q be -4 - -4 - 3 - (-4 - -14). Is j(q) a multiple of 9?
False
Let z(v) = -16*v - 128. Let c be z(-8). Suppose -o - 4*g + 45 + 13 = c, -5*g - 15 = 0. Is o a multiple of 14?
True
Let k(t) = -3 - t - 7 + 10*t - 2 - 3*t**2 + 2*t**3. Let j be k(4). Let p = j + -40. Is p a multiple of 16?
True
Suppose 44*l + 3326 - 577886 = 2*l. Is l a multiple of 30?
True
Suppose -5*d = 4*q - 6991, -6*d + 3*d + 6993 = 4*q. Is q a multiple of 47?
False
Suppose 5*f = -30 + 10. Let h(i) = i**2 + 4*i + 6. Let a be h(f). Is (4 - a)/((-2)/62) a multiple of 12?
False
Let z(y) = -305*y + 3482. Is 56 a factor of z(-22)?
True
Is 70 a factor of ((-28353)/(-2) - (-5 + 2)) + 115/(-230)?
False
Let p = -5400 + 12607. Does 55 divide p?
False
Suppose -4959 = 5*n - 4*k - 14816, -4*k = n - 1981. Let d = n + -1161. Does 29 divide d?
True
Suppose -235950 = -30*h - 35*h. Let p = -1890 + h. Is 116 a factor of p?
True
Suppose 0 = 6*p - 2*u - 76166, 5*u = 9*u + 28. Is p a multiple of 10?
False
Suppose -68*i - 22 = -69*i. Does 5 divide i - -89 - (2 - (-1 + 1))?
False
Suppose -2 = -4*n - 10. Let t(g) = -41*g - 14. Does 12 divide t(n)?
False
Let f = 96 + -94. Let r be ((-11)/f + -2)/(9/(-6)). Suppose -6*g = -r*g - 5. Is g even?
False
Suppose -12*b + 2*b = 0. Does 8 divide 520 - b*(0 + -2 + 1)?
True
Let y = -134 + 48. Let q(f) = -23*f**2 - 9*f + 2. Let r be q(-2). Let c = r - y. Does 2 divide c?
True
Let f be 30/(-4)*(-16)/(-10) - -4. Is (194/(-6))/(f + 138/18) a multiple of 34?
False
Let w be ((-9870)/(-60))/((-1)/10). Does 11 divide (3 - 1)/((98/w)/(-7))?
False
Suppose 3*f + v = -2*f - 25, 2*v - 40 = 5*f. Is -2*((-555)/(-30))/(2/f) a multiple of 19?
False
Suppose 4*f + 12 = 0, -4*u + 2*f + 25 = -3*u. Suppose -u*z + 137 + 262 = 0. Is 3 a factor of z?
True
Suppose 3*h + 2*z - 7308 - 3511 = 0, -21643 = -6*h - 5*z. Is h a multiple of 35?
False
Let s = -17931 + 32930. Is 53 a factor of s?
True
Let p(f) = 76*f**2 - 35*f + 317. Does 27 divide p(25)?
False
Let y(k) = 17*k**2 + k. Let l be y(-4). Suppose -4*u + 825 = w - l, -5*w + 25 = 0. Does 68 divide u?
True
Is 71 a factor of 7313/((4 + 4)/8)?
True
Suppose -4*d + 4*p + 6626 = -882, 5*d - 3*p = 9371. Does 85 divide d?
True
Let g = 12 - -20. Let t = g + -16. Let f = 0 + t. Is 11 a factor of f?
False
Suppose -2*c = -6 + 4. Suppose -k + c - 31 = -g, -k = -2. Is g a multiple of 29?
False
Suppose -4*s + 72 = -3*j + 57, s - 3*j = 6. Suppose 0 = -2*u + u + 188. Suppose b = -s*b + u. Does 5 divide b?
False
Suppose -491823 = -23*p + 160641. Is p a multiple of 154?
False
Let o(h) = -h - 37. Let c = 66 + -73. Let v be o(c). Let r = 250 - v. Is 56 a factor of r?
True
Suppose -5*v - 979 = -2*h + 830, 4*v + 1812 = 2*h. Is 8 a factor of h?
True
Let q(b) be the first derivative of 22*b + 25 - 1/2*b**2. Is q(12) a multiple of 10?
True
Let r(u) be the third derivative of -13*u**6/4 - u**5/30 - u**4/24 + u**3/6 - u**2 + 27*u. Is r(-1) a multiple of 65?
True
Let j = 103 - -6. Let i = j - 61. Does 8 divide i?
True
Let w(t) = 57*t + 162. Let v = 337 - 331. Is 36 a factor of w(v)?
True
Let g be 12/(-24) + 3266/4. Suppose -5*h = h - g. Does 17 divide h?
True
Let a(p) be the first derivative of -3*p**2/2 - 296*p - 40. Let o(x) = 2*x + 297. Let w(t) = 3*a(t) + 4*o(t). Is w(0) a multiple of 50?
True
Suppose -g + 9 = -4*p - 24, -2*g = -5*p - 51. Let t = 24 + g. Does 7 divide (1*t)/(14 - 13)?
False
Suppose 66 = 2*b - 2*c, 4*c = 5*b + c - 165. Suppose b*a = 38*a + 75. Does 17 divide a/(-10) + (-1101)/(-6)?
False
Let x(j) = 40*j**2 - 98*j + 374. Is x(16) a multiple of 20?
False
Suppose -4*f - 2*k = -710, 235 = 2*f + 3*k - 118. Let c = 383 - 468. Let o = c + f. Is 31 a factor of o?
True
Suppose 5*z = 4*v + 108, 3*z + 2*v - 53 = 25. Let s be 0*((-2)/8)/(6/z). Suppose w - 5*g - 72 = s, 2*w - 360 = -3*w - g. Does 6 divide w?
True
Let g(a) = 10*a**2 - 9*a. Let f be g(-7). Let t = 973 - f. Is t a multiple of 35?
True
Let l(i) = 16*i + 11. Let v(h) = -47*h - 34. Let a be (9/2)/((-39)/52). Let p(c) = a*v(c) - 17*l(c). Does 47 divide p(3)?
True
Let x(m) = 6*m**2 - 2*m - 10. Suppose -2*r + 3 = 3*w, 7*r = -2*w + 2*r + 13. Let s be 4/2 + -6 - w. Does 25 divide x(s)?
True
Let z = -3709 - -6475. Is z a multiple of 3?
True
Let z(y) = 66*y**3 - 3*y**2 - 22*y + 8. Is z(5) a multiple of 39?
True
Let n = 54 + 59. Let d = n + -67. Suppose -4*m + 116 = 3*r, 4*m - d - 46 = 3*r. Is 7 a factor of m?
False
Let j be 0 - -10 - (1 + 0). Suppose -5*r + 4*z + 28 = 0, -3*r - 35 = -9*z + 14*z. Suppose r = 4*u - j*u + 205. Is 41 a factor of u?
True
Suppose -4*l - 5*l = -396. Suppose -l = 3*i - 242. Is 7 a factor of i?
False
Let n = -23 - -22. Let a be (-122 - (-4 - -1))*n. Is 29 a factor of a + (-4 - (1 + -2))?
True
Let s = 16 + -9. Suppose -y = -5*g + 3 + s, -3 = -3*g. Is (5 + y)/2 - (-281 - 1) a multiple of 14?
False
Let i = 188 + 5159. Does 4 divide i?
False
Let a(k) = 8*k**2 - 25*k - 109. Does 3 divide a(10)?
True
Suppose 2*a + 5*n - 9*n = 156, -4*a - n = -276. Let l = 222 - a. Is 8 a factor of l?
True
Let j = -304 + 332. Let z(p) = -3*p**2 + 88*p - 24. Does 4 divide z(j)?
True
Let h = 5581 + -5572. Let i(b) = -18 - 3 + 2*b + 9*b. Is 9 a factor of i(h)?
False
Let i be 9/4*(-40)/(-15). Let l(b) = b**2 + 2*b - 42. Let 