uppose -66176 = -36*o - 6*o - 22*o. Is o a multiple of 9?
False
Does 67 divide (-3)/(-8) + (585250/80 - 13)?
True
Let y(i) = 167*i**2 - 989*i - 28. Is y(11) a multiple of 150?
True
Suppose 5*h = -0*h + 45. Suppose h*d + 400 = 13*d. Suppose 4*j - d = -j. Is j a multiple of 20?
True
Suppose 4*b - 19 = 3*x, -2*x - 2*b = -4*x - 12. Let q = 10 + x. Suppose q*r - 1008 = -r. Is 40 a factor of r?
False
Let i be ((-10)/(-2))/(-55) + (-14358)/(-33). Suppose -261 = -p + i. Is 24 a factor of p?
True
Suppose 2*z = 6, 5403 = -9*y + 5*z + 78657. Is 18 a factor of y?
False
Let v(i) = -1730*i + 1056. Is 11 a factor of v(0)?
True
Let v = 60 + -60. Suppose 9*c - 35*c + 4290 = v. Does 15 divide c?
True
Let q(y) = -119*y - 12. Let p be q(-16). Suppose p = 6*w + 98. Is w a multiple of 13?
True
Suppose 1365 = -6*m - 1167. Let q be (m*(-5)/(-10))/(-3 - -2). Suppose 42 = -4*c + 3*p + q, p = c - 41. Does 4 divide c?
False
Let t(f) = 23 + 211*f - 417*f + 222*f + 31*f**2. Does 17 divide t(-5)?
False
Let v = -10024 + 10405. Is v a multiple of 2?
False
Is 113 a factor of (6478*(-4)/(-20))/(88/40 + -2)?
False
Suppose 0 = 6*t + 238 - 298. Suppose -w + 807 = -27. Suppose 0 = t*d - 686 - w. Does 8 divide d?
True
Let f = -3590 - -7270. Is f a multiple of 92?
True
Suppose 0 = -4*k + 2*k - i + 94, -3*i = 0. Let z = k - 43. Suppose 0 = -8*j + z*j + 52. Is 4 a factor of j?
False
Suppose 30 = 4*t - t. Suppose -t*u - 30217 = -51*u. Is u a multiple of 11?
True
Let f = 47 - 45. Suppose 6*m + f = 7*m. Suppose 2*l - 2*b = 204, m*b - 10 = -2*l + 206. Is l a multiple of 32?
False
Let y = 817 - -353. Suppose -61*p = -66*p + y. Does 6 divide p?
True
Suppose -106*p + 194*p = 107*p - 234897. Does 12 divide p?
False
Suppose 217*y - j = 219*y - 3, 9 = 5*y + 3*j. Let l = 56 + -101. Let b = y - l. Is 9 a factor of b?
True
Suppose 0 = -4*c - 5*y + 35883 - 12884, y - 7 = 0. Is c a multiple of 21?
False
Suppose -150 = -y + 106. Suppose 4*l + l - 1855 = 0. Let p = l - y. Is p a multiple of 23?
True
Suppose -273*u - 1894210 + 9177546 = -1516000. Is u a multiple of 8?
True
Suppose -124 = -v - 46. Suppose -1506*z + 1497*z + 666 = 0. Suppose z = a - v. Is 16 a factor of a?
False
Let q = 6867 + -6791. Is 28 a factor of q?
False
Let q = 0 - -4. Suppose 3*s + 5*x = 40, 5*x - 6 = q. Is 36 a factor of 4 + 545/s + 2/(-4)?
False
Suppose 421*x + 10 = 426*x. Suppose -a - 152 = -x*n + 1130, 3*n - 3*a = 1917. Does 26 divide n?
False
Suppose 4*k = -54 + 226. Let c(p) = k + 3*p + 93 - 21. Is 16 a factor of c(0)?
False
Let o(g) = 2*g**2 + 16*g + 4. Let n be o(-7). Let m(c) = -c**3 - 8*c**2 + 2*c + 16. Is m(n) a multiple of 28?
True
Suppose 0 = -3*s + r + 11454, 65*s = 69*s + 2*r - 15252. Is s a multiple of 55?
False
Let d(b) = b + 1. Let i be d(-1). Suppose i = -4*o + 3*p + 51, 0*o + 45 = 4*o + 3*p. Is (-817)/(-5) + 1/(20/o) a multiple of 22?
False
Let g(t) = -30*t - 19*t + 64*t - 8. Is 43 a factor of g(18)?
False
Let p = -222 - -245. Suppose 0 = -p*l + 1560 + 3776. Is 29 a factor of l?
True
Suppose 10*y + 13*y = 9*y + 36694. Does 13 divide y?
False
Suppose 0 = -5*n + 709 + 621. Let l be 1*(-694 + 4)/5. Let z = n + l. Is 16 a factor of z?
True
Does 31 divide 1688/2 - (-29 + 36)?
True
Suppose 2*s + x - 39817 = 0, -5*s + 74365 + 25174 = -x. Is s a multiple of 21?
True
Suppose 0 = -7*q + 540615 + 85941. Does 52 divide 32/(-400) + q/100?
False
Suppose -15 = -13*r + 24. Let m(d) = r*d**3 - 30*d**2 - d + 15*d**2 + 19*d**2 + 5. Is m(3) a multiple of 17?
True
Let c = 2 + 2. Let w(r) = -12*r - c*r - 4*r + 4*r. Is 8 a factor of w(-1)?
True
Let s(m) = m + 13. Suppose z - 20 = -3*z. Suppose -4*v = -z*c + 39, 3*c + v = 3*v + 25. Is 6 a factor of s(c)?
True
Suppose -6 = 4*h - 5*h. Is 17 a factor of (-75 - -5)*(0 + h/(-5))?
False
Suppose 1028 = -4*c - 4*b, 3*c - 2*c + 3*b = -255. Let g = 426 + c. Is 6 a factor of g?
True
Suppose 129 = 2*q - 299. Let k = 526 - q. Is 13 a factor of k?
True
Let o(u) = 840*u - 2208. Is 6 a factor of o(5)?
True
Suppose 4 = -4*l, 4*l = f - 111 - 88. Suppose -792 = -204*t + f*t. Does 22 divide t?
True
Let k = 3107 - 2308. Is k a multiple of 5?
False
Let l(j) = -j**3 - 5*j**2 + j + 8. Let u be l(-5). Let w = -450 - -690. Suppose 0 = -6*d + u*d + w. Is 20 a factor of d?
True
Suppose 2*o - 2*g - 458 = -0*o, -5*o = -4*g - 1146. Suppose o = 6*q + 8. Suppose 0 = -35*x + q*x - 64. Is 8 a factor of x?
True
Suppose -325 = -k + 110. Is (k/(-1))/((-42)/28) a multiple of 10?
True
Suppose -5*i + 30 = d, d = -4*i + 5*d. Suppose -i*f - 6 = 3*v - 0*v, -v = -f - 6. Suppose -74 = y - 6*y + 2*w, 0 = 3*y + v*w - 57. Is y a multiple of 8?
True
Suppose -5013 = -z - 4*j + 1176, 4*j + 28 = 0. Is z a multiple of 102?
False
Suppose 2*w - 4*k - k - 3 = 0, -9 = -3*k. Suppose w*v - 4*v - 20 = -5*t, 4 = -5*t + v. Suppose t = 7*h - 6*h - 40. Is h a multiple of 10?
True
Let v(y) be the second derivative of -23*y**4/24 + 19*y**3/6 + 13*y**2 - 13*y. Let x(k) be the first derivative of v(k). Is x(-3) a multiple of 22?
True
Suppose 0 = 3*v - 6, -5*c + 21 = 2*v - 3. Suppose 2*l - 14 = 2*x + 84, 2*l - c*x = 96. Is 7 a factor of l?
False
Let j(o) = -14*o - 4. Let r(s) = 7*s + 2. Let g(t) = -4*j(t) - 9*r(t). Let c be g(-19). Let k = 309 - c. Is k a multiple of 41?
False
Let i(p) = 42*p + 42. Let a be i(9). Suppose -4*j - 4*u = -a, -4*u + 2*u + 318 = 3*j. Does 9 divide j?
True
Suppose 0 = 5*d - 25, -2*r = -3*r + 2*d - 8. Suppose r*x + 2*x = -3*k + 28, 0 = -3*x + 3*k. Suppose 0 = x*o + o - 170. Is 34 a factor of o?
True
Let n(q) = -2*q**2 + 103*q + 120. Does 9 divide n(31)?
False
Let r = 207 - 436. Let w = 1388 + -1732. Let v = r - w. Is 23 a factor of v?
True
Let r(a) = -a**3 + 14*a**2 + 14*a + 36. Let x be r(15). Let q be x/(-28) - (-1173)/12. Let g = q + -45. Is g a multiple of 52?
True
Let i(w) be the first derivative of 67*w**2/2 - 350*w - 195. Is 12 a factor of i(12)?
False
Let p = 4794 - 2490. Does 24 divide p?
True
Is 54 a factor of (-43269)/(-33) + 4/66*(-23 + 20)?
False
Suppose -33*z = -18722 - 81565. Is z a multiple of 25?
False
Suppose 31 = 7*q - 18. Suppose 1028 = q*l - 876. Does 17 divide l?
True
Let v(u) = -7*u**3 - u**2 - 3*u + 3. Let o be v(-3). Let p = -17533 - -17580. Suppose p = -y + o. Does 21 divide y?
False
Let p = 30 - 28. Suppose -2*w = -4*v + 276, 2*w = 7*v - p*v - 344. Is v a multiple of 3?
False
Is 56 a factor of (3 - 6 - -1)*-28*2*78?
True
Is 13 a factor of -5*(1932046/115)/(-2)?
False
Suppose 0 = -19*p + 21*p - 40. Suppose p = 5*i - 0. Suppose -39 = -i*r + 881. Is 36 a factor of r?
False
Let d = -6222 + 26801. Is 52 a factor of d?
False
Let g be ((-20)/8 + 1)*-174. Let l = 828 - g. Is l a multiple of 24?
False
Let g = 38929 + -25449. Does 10 divide g?
True
Let c(r) = 2*r**3 - 7*r**2 - 15*r + 7. Let p be c(6). Suppose -6*d = 215 + p. Is 28 a factor of 2/13 + 38/d*-268?
True
Let r = -24 - -29. Suppose -67 = -r*p + 3. Suppose 2*q + p - 102 = 0. Is 11 a factor of q?
True
Let x(n) = 5*n**2 - 93*n - 11. Let v be x(21). Suppose -v*k = -238*k - 2643. Is k a multiple of 66?
False
Suppose -4*o - 2142 = 5*l, 4*o - l + 0*l = -2130. Let c = -133 - o. Is 35 a factor of c?
False
Let g(d) = -10*d**2 - 6*d + 1. Let s be g(-5). Suppose -5*v = -v + b + 475, 505 = -4*v + 5*b. Let l = v - s. Does 20 divide l?
False
Suppose 5*w = 8*w + 4*i - 29, w - 9 = -i. Let r(l) = 24*l - 38. Is 26 a factor of r(w)?
True
Suppose 15*y - 55848 = 3912. Does 16 divide y?
True
Let z = 30 + 36. Let n = 53 + z. Is n a multiple of 17?
True
Suppose 182 - 179 = q. Suppose -y - q*v + 12 = 0, 8 = -0*y + 5*y + 2*v. Suppose y = -k + 5*i + 207 - 18, 0 = k + 4*i - 234. Is 14 a factor of k?
False
Suppose -277*o - 219*o = -156*o - 4438020. Is o a multiple of 6?
False
Let n be 14 - (4 - (2 + -4)). Let x(m) = -m**3 + 9*m**2 + 4*m - 21. Is 25 a factor of x(n)?
True
Let h = 4 - 0. Suppose -2 = h*c - 14. Suppose 0 = a - 94 + c. Does 25 divide a?
False
Let r = 78296 + -51434. Is 222 a factor of r?
True
Let k be (-16)/7*(-8 - 117/(-26)). Suppose 5*v - y = 1172, 230 = v + y - k. Does 8 divide v?
False
Suppose 0 = -2*o + 3*g - 193, 0 = -5*o + 3*g - 147 - 340. Let x = o - -172. Is x a multiple of 10?
False
Suppose -5*n = -5*d - 3215, 13*n = 16*n + 4*d - 1943. Is n a multiple of 16?
False
Let m(v) = -2783*v - 190. Is 8 a factor of m(-8)?
False
Let c(b) = -7*b + 31. Let p be c(-