) a multiple of 8?
True
Let f = 27 + -49. Let y = -17 - f. Suppose -y*n + 331 = 3*z, -2*n = 5*z - 213 + 73. Is n a multiple of 15?
False
Let w(g) = 2*g - 6. Let q be w(7). Suppose 39 + 1 = q*z. Suppose -j + 26 = z*h, 0 = -4*h - 0*h + 4*j + 16. Is 5 a factor of h?
True
Suppose 6*z = -2*z - 10*z + 25452. Is z a multiple of 19?
False
Suppose 2*n = 124 - 84. Suppose n*p - 2148 = -188. Is 49 a factor of p?
True
Is 29 a factor of 145*(-3 + 2)*(78 + -205)?
True
Suppose 0 = g - 3*f - 380, 0 = 3*g - 2*f - 1101 - 18. Suppose -368*z = -g*z + 330. Is 25 a factor of z?
False
Suppose 0 = -88*j + 87*j + 1. Does 10 divide j*(9 + -8 + 699)?
True
Does 26 divide ((-4)/(-9))/(1 - 984/936)*-4056?
True
Let o = -4414 + 6379. Suppose 4*h + w - 2620 = -4*w, -3*h = 4*w - o. Is 71 a factor of h?
False
Let v = -14111 - -15861. Is v a multiple of 5?
True
Suppose -r = 3*n - 73526, -20*r = -2*n - 17*r + 49010. Is n a multiple of 49?
False
Let h(d) = 2*d + 124. Let v be h(-11). Is v/(42/(-336) - (-35)/184) a multiple of 22?
False
Suppose 1973 = -h - 5*i, -4*h + 40*i - 42*i = 7928. Let u = h + 3429. Is 85 a factor of u?
False
Let d(z) = -z - 6. Let o be d(-6). Let w = -56 - -59. Suppose -5*y = 3*l - 130, o*l - 3*l - w*y = -138. Does 10 divide l?
True
Suppose 0 = -5*w - 3*o + 21 + 9, 0 = -3*w - 4*o + 29. Suppose -z - w*a = -5*a - 202, -2*z - a = -424. Does 35 divide z?
True
Suppose 7*t = 11*t. Suppose -v - 266 = -4*v + 2*k, t = -5*k - 20. Suppose v = 2*d - 5*m, -2*d + 65 = 2*m + 7. Is 4 a factor of d?
False
Let z = -108 + 54. Let y = -52 - z. Suppose v + 72 = y*v. Is 15 a factor of v?
False
Let l = 671 + -708. Let h(w) = 2*w**3 - 4*w**2 - w - 3. Let u be h(4). Let n = l + u. Is n even?
True
Let o(i) = i**2 - 3*i - 27. Let z be o(-5). Let s = z + 6. Let w = -6 + s. Is 10 a factor of w?
False
Let x = -2155 - -1026. Let o = -799 - x. Does 7 divide o?
False
Let w(u) = 2*u**2 + 10*u - 24. Let s be w(-7). Suppose 485 = s*h - 155. Suppose -7*f - f + h = 0. Is f a multiple of 5?
True
Let v be (-2)/(-10) + (134960/(-50))/(-14). Suppose 2*x + x - 852 = 0. Let l = x - v. Is l a multiple of 19?
False
Suppose -117*b + 113*b = -3*y - 89389, -y = -2*b + 44693. Is b a multiple of 27?
False
Let x = 1970 + 443. Suppose 6017 = 5*h + 3*d, -23*h + 25*h - x = 5*d. Does 14 divide h?
True
Suppose -i + 16878 = 4*n, 8434 = -5*n + 7*n - 2*i. Is 38 a factor of n?
False
Suppose 0 = -14*n - 37*n - 34*n + 165495. Is n a multiple of 2?
False
Suppose l - 7 = -2. Suppose -l*j = 4*z + 61, -3*j + 67 = -7*z + 2*z. Is 10 a factor of (-262)/(-6) - 5/((-105)/z)?
False
Suppose 397 - 136 = 9*y. Suppose -v - v = -1310. Suppose 3*q - 380 = 5*u + y, -5*q + v = 5*u. Does 13 divide q?
False
Suppose 12*x - 25 = -1. Is ((-21)/(-84))/(-2*x/(-1616)) a multiple of 7?
False
Suppose 0 = 5*w - 3*y - 6382, -2*w - 2*y - 1004 = -3576. Is 60 a factor of w?
False
Suppose -105 = -5*s + 1525. Suppose -3430 = n - 8*n. Let g = n - s. Does 41 divide g?
True
Let f(x) = -17*x - 1. Let r be f(-5). Let d = r + -81. Suppose -3*b + 727 = -u, -4*b + d*u = -0*b - 971. Is b a multiple of 11?
True
Suppose 0 = -2*j + 3*u + 1294, 3*u - 8 = -u. Suppose 2130 = 5*x - 4*m, 3*m - 202 = -2*x + j. Is 14 a factor of x?
False
Let i(t) = -12*t - 17. Let a be i(-3). Suppose 5*l + 4 = a. Suppose 476 = -0*s + 4*s + 2*j, -l*s + 362 = -j. Does 15 divide s?
True
Let n(h) = 200*h**3 - 8*h**2 + 20*h - 4. Does 31 divide n(2)?
False
Let z = -61 - -65. Suppose -2*p - z*w = w + 290, -2*w = -3*p - 435. Let q = 107 - p. Does 21 divide q?
True
Suppose -5*a - 8107 = -3*d, 2 = 4*a + 22. Is d a multiple of 26?
False
Suppose -4*t = -5*x + 662, -10*x + 13*x - 498 = 3*t. Is 14 a factor of (-11872)/t - (0 + 4/6)?
True
Is 98274/14 - (-164)/(-287) a multiple of 138?
False
Suppose 69*c - 115700 - 156988 = 0. Is 76 a factor of c?
True
Let l(c) = -54*c. Let i be l(-6). Suppose 5*r + 2*g - 3077 = -g, -5*r + 3053 = -3*g. Let v = r - i. Is 13 a factor of v?
False
Is 62 a factor of -1*(-9)/(-10 + 1) - -7722?
False
Let q be 11/((-15)/100 - 6/(-15)). Suppose 5*l = 3*d - 821, 0 = 45*d - q*d + 5*l - 307. Is 38 a factor of d?
False
Let a(h) be the second derivative of h**4/12 - 5*h**3/3 + 23*h**2/2 + h + 3. Is 23 a factor of a(10)?
True
Let x = 539 + -568. Let j(v) = -13*v - 354. Does 2 divide j(x)?
False
Is 97590/(-8)*(-1064)/665 a multiple of 33?
False
Suppose 0 = -9*s + 6*s + 435. Suppose 2*o = 755 - s. Suppose 39*b - 34*b = o. Is b a multiple of 11?
False
Suppose 0 = 634*n - 623*n - 102217 - 17771. Is n a multiple of 23?
False
Let f(m) = -m**3 - 38*m**2 - 52*m + 734. Is 2 a factor of f(-36)?
True
Is -22 + 387821/51*3 a multiple of 81?
False
Suppose 10*i - 98913 = -88*i + 2415375. Is 52 a factor of i?
False
Let u = 349 - 299. Suppose 45*c + 765 = u*c. Does 9 divide c?
True
Suppose -4*t = b - 49, 6*b = 5*t + b - 55. Suppose 96*d + 90 = 87*d. Does 4 divide (-16)/t*(d - -1)?
True
Let k = 25 + -4. Suppose -k - 58 = -f. Suppose 0 = f*n - 76*n - 42. Does 7 divide n?
True
Let n(m) = -7*m**2 + 2*m + 16. Let l be n(-8). Does 20 divide (-3 + (-44)/(-8))/((-2)/l)?
True
Let x(b) = 212*b**3 + b**2 + 12*b - 19. Does 115 divide x(3)?
True
Let k = 7674 + -3810. Does 28 divide k?
True
Let v(u) = 6*u**2 - 4*u + 3. Let x be v(1). Suppose -o + 450 = x*m, -4*m + 2*o + 2*o + 336 = 0. Let y = 168 - m. Is 11 a factor of y?
False
Let t(a) = 28*a**2 + 900*a + 137. Does 25 divide t(-33)?
False
Let g be -5 - (0 - 8/4). Let d be 15/g + 3 + 7. Suppose -3*c = 2*c - v - 68, -2*c = d*v - 38. Is 5 a factor of c?
False
Let s be (42390/(-39))/(-6) + (-4)/26. Let i = 10 - 5. Suppose -i*m + 3*w = -s - 277, 3*m = w + 274. Is 13 a factor of m?
True
Let b = 6 + -8. Let k(x) = -11*x - 10. Let u(d) = -2*d + 3. Let r(l) = k(l) + 3*u(l). Is r(b) a multiple of 15?
False
Suppose 12*x - 18241 = -3*h + 13*x, -x = -2*h + 12160. Is 10 a factor of h?
False
Let z be ((-33)/22)/(6/16) - -1. Let a be (1026/(-3))/z*(-34)/6. Does 7 divide 1 - ((-18)/117 + a/26)?
False
Suppose 6576 - 258576 = -100*o. Does 9 divide o?
True
Suppose -5*f + 76 = 231. Suppose -6*q - 452 = 268. Let b = f - q. Is b a multiple of 23?
False
Suppose 4*z - z + 3*p = 471, 5*p = 10. Let b = z - 88. Let v = b + -36. Is v a multiple of 4?
False
Suppose 56 = 3*d + 4*d. Suppose -2*p = 4*b - 6 - d, p - 9 = -4*b. Suppose 0 = -p*y + 2*a + 676, -2*y - a = 4*a - 253. Does 39 divide y?
False
Let m = -151 - -46. Suppose -501 = -3*x + 18. Let l = x + m. Does 17 divide l?
True
Let c(y) be the first derivative of y**3/3 + 4*y**2 - 25*y + 9. Let t be c(-17). Let v = t + -91. Does 7 divide v?
False
Let j = -23498 + 42426. Does 13 divide j?
True
Let p be 3100/5 - -6 - -1. Let y = 669 - p. Is y a multiple of 2?
True
Let y = -48 + 59. Suppose -y*j = -13*j + 966. Suppose -66 + j = 3*w. Is 16 a factor of w?
False
Does 3 divide 18*200682/432 - 2/(-8)*1?
False
Let c(p) be the first derivative of 39*p**2/2 + 39*p + 30. Does 12 divide c(3)?
True
Let w(r) = -11*r**2 - 13*r - 3. Let d(m) = -11*m**2 - 13*m - 4. Let z(j) = 3*d(j) - 4*w(j). Is z(-6) a multiple of 31?
False
Suppose 2*w + 2480 = 5*u - 2*w, 0 = -3*u - 2*w + 1466. Does 12 divide u?
True
Suppose 77*y - 2750895 = -136*y. Does 105 divide y?
True
Suppose 2*r = -6, -3*y + 4976 = -3*r - 6631. Is 33/44 - y/(-8) a multiple of 22?
True
Let i = 1704 - 674. Suppose 0 = 3*g - i - 3302. Is g a multiple of 12?
False
Suppose 0 = 2*h + q - 5, 7 = 2*h - 4*h - 5*q. Suppose 4*j = -3*p + 17, -p - h = -3*j - 1. Let r(b) = 52*b + 6. Is r(j) a multiple of 14?
False
Let q = -4610 + 8299. Suppose 7*c - q - 1351 = 0. Is 16 a factor of c?
True
Let z = -70 + 102. Suppose -5*b - z = -22. Is 7 a factor of 118/(-3)*3/b?
False
Suppose 254112 = 38*g - 125204. Is 5 a factor of g?
False
Suppose 3*u + 31 + 20 = 0. Let y(s) be the third derivative of s**5/20 + 25*s**4/12 - 7*s**3/6 - 2*s**2 - 6*s. Does 8 divide y(u)?
False
Let z = -57 + 59. Suppose 2*d - y - 86 = 0, -4*d + z*d - 2*y = -86. Let f = d - -11. Does 27 divide f?
True
Let u be 4/(-16)*(332 - 0/(-4)). Let v = u - -155. Does 36 divide v?
True
Let a(v) = 194*v**2 - 7*v - 1. Let p be a(-1). Suppose -13*n + p = -11*n + 4*u, 405 = 4*n + 3*u. Does 51 divide n?
True
Let n = 10893 + 3581. Is 22 a factor of n?
False
Let b(r) = r**3 - 3*r**2 + 24*r - 27. Suppose 17*t - 121 = -36. Does 11 divide b(t)?
True
Let z be 1 + (-6)/(-2) 