. Does 7 divide x?
False
Let k = -957 - -972. Is 11 a factor of 495*(-4 + (-8)/((-24)/k))?
True
Suppose 6*l - 4*l - 3*h = 13, -18 = -2*l - 2*h. Suppose -8*b = -7*b - l. Is b a multiple of 8?
True
Suppose 6 = -2*h, -4*u + 6 = 2*h - 8. Is 43 a factor of 688/6*(5 - (-3 + u))?
True
Let f = -224 + 108. Let c = 10 - f. Is 6 a factor of c?
True
Suppose 32 = -5*s + 13*s. Suppose -s*g + 186 = 5*c, -4*g - 3*c = -5*c - 172. Let w = g - 21. Does 10 divide w?
False
Let u(q) = -607*q**3 + q**2 + 3*q + 3. Let t be u(-1). Let y = 678 - t. Does 5 divide y?
True
Suppose -15*l + 1628 - 680 = -1527. Is 55 a factor of l?
True
Let q(z) = -z**2 - 14*z - 9. Let p be q(-13). Suppose 0 = 2*b, -212 = -4*r + p*b + 320. Is 19 a factor of r?
True
Suppose q + 34917 = 4*m + 4*q, 2*m - 5*q = 17465. Is 58 a factor of m?
False
Let z = -68 - -67. Let l be (127 + (z - 0))/((-3)/(-6)). Let v = l + -112. Is 35 a factor of v?
True
Suppose 163 + 680 = 3*o. Let r = o + -185. Is 12 a factor of r?
True
Suppose -a = -4*i + 28246, 11*a - 6*a = 4*i - 28222. Is i a multiple of 127?
False
Suppose -y + 210 = 4*y. Let f be (y/(-24))/((-1)/4). Suppose -f*k = -11*k + 16. Is k even?
True
Let v be (93 + 1)*4*3/(-24). Let y = -43 - v. Suppose 0 = -u - 4*q + 30, -7*u + y*u = -3*q - 45. Does 10 divide u?
False
Suppose 2*q + 0 - 2 = 0. Suppose -2*y + 7 = 5*b - 14, -b = 3*y + q. Is 7 a factor of b - (-2 + 1)*79?
True
Let d be (1137 + 0/(-3))/(9/6). Suppose 4*p = -5*k + 1723, 3*k - 295 = 4*p + d. Is k a multiple of 11?
False
Suppose -c + 0*t + 4*t - 277 = 0, -c - 4*t = 285. Let o = 476 + c. Is 13 a factor of o?
True
Suppose 0 = -33*v - 114*v + 11313006 - 2179161. Is v a multiple of 26?
False
Let v be ((-56)/20)/((-2)/10). Let o(l) = -3*l + 41. Let z be o(v). Is 2 a factor of -4 - (z/1 + 69/(-3))?
True
Is 3 + (90/5 - 3) a multiple of 4?
False
Suppose 823*d - 820*d = 3*z + 105915, 0 = 4*d - 2*z - 141214. Is d a multiple of 164?
False
Is 35 a factor of 7/(9 - (-103571)/(-11518))?
False
Suppose -38398 = -60*g + 351662. Is 11 a factor of g?
True
Suppose 4973 = 4*h - 9047. Is h a multiple of 48?
False
Is (-766472)/(-94) + 1476/34686 a multiple of 54?
True
Is ((-146640)/25)/(759/(-230) - -3) a multiple of 52?
True
Let f(n) = -4*n**2 - n - 69. Let m(p) = 7*p**2 + p + 139. Let d(a) = 5*f(a) + 3*m(a). Does 6 divide d(8)?
True
Let u(i) = 11*i**2 - 38*i - 36. Is u(-8) a multiple of 11?
False
Suppose 77*h = 79*h - 22. Suppose -5*a + 9 + h = 0. Suppose 4*p = -5*w + a*w + 86, -5*p - w + 108 = 0. Is 2 a factor of p?
True
Suppose i - 217*h = -221*h + 13, -226 = -5*i + 3*h. Suppose -5*g + 87 = 2*o + 13, 0 = 5*o - 5*g - 220. Suppose i*x + 84 = o*x. Is 7 a factor of x?
True
Let z = 461 + -458. Suppose -2*r + 144 = -4*j, -z*r + 4*j = -2*r - 82. Is r a multiple of 2?
True
Let s = 1368 - 958. Does 82 divide s?
True
Let w = -23333 + 28467. Does 35 divide w?
False
Let i be (38/(-6))/((-1)/6). Suppose -2*w = -i - 292. Is 5 a factor of w?
True
Let u = -739 + 1315. Is u a multiple of 3?
True
Let r(k) = -12*k - 766. Let q be r(-64). Suppose -2*y = 5*x, -5*x - 4*y - 6 - 4 = 0. Does 10 divide -32*x/q*6/(-3)?
False
Suppose t - 3*t = 2*u - 26440, -4*t + 52896 = 12*u. Is t a multiple of 172?
False
Let v(w) = 5*w + 5. Let f be (6 - 0)*3/9*-2. Let j be ((f - -1) + -4)*-1. Is 8 a factor of v(j)?
True
Let v(n) = 1347*n**2 + 10*n + 6. Let i be v(-1). Suppose 4*w - r - i = 0, 3*r = 4*w + r - 1342. Is w a multiple of 16?
True
Let z = 11623 - -10868. Is z a multiple of 21?
True
Suppose -4*h = -2*y + 12272, 34212 + 20836 = 9*y + 4*h. Is y a multiple of 34?
True
Let a = 9207 + -5770. Does 88 divide a?
False
Suppose 0 = 5*d - 26 + 1, 2*f = -5*d + 25. Suppose -2*m + 5*m = -h + 871, f = -m - 3*h + 285. Does 12 divide m?
False
Let h be (21 + -2)/(5 - (-252)/(-49)). Let z = 194 + h. Is z a multiple of 12?
False
Suppose -3*j + 7120 = 4*b, 5*b - 2388 = -j - 0*b. Does 11 divide j?
False
Let l(x) = -2*x**3 - 17*x**2 - 84*x + 19. Is 98 a factor of l(-9)?
False
Let f(q) = -15*q**2 + 6*q - 29. Let a(o) = 14*o**2 - 4*o + 30. Let m(i) = 5*a(i) + 4*f(i). Does 19 divide m(-5)?
False
Let n = -673 + 1602. Let v = 1399 - n. Suppose 0 = 5*p - 605 - v. Is p a multiple of 43?
True
Does 73 divide (-16)/(-14) + ((-106904)/(-98) - -3)?
True
Let k(d) = 3*d**2 + 204*d - 453. Is 59 a factor of k(-90)?
True
Let i = 801 + -268. Let c = 363 + i. Is c a multiple of 32?
True
Let d(x) = 2*x**2 + 443*x + 50. Does 13 divide d(49)?
True
Suppose 3*v - 5*d - 210417 = 0, -49197 - 20952 = -v + 5*d. Does 158 divide v?
False
Let u be (-3 + (-57)/(-9))/(6/261). Let v = u - -146. Let z = v - 36. Does 15 divide z?
True
Let c(d) = d**3 + 7*d**2 - 8*d + 2. Let p be c(-8). Let y(b) = 33*b**2 + b - 17*b**3 - 22*b**2 - 14*b**p + 2. Is y(-2) a multiple of 18?
False
Let a(s) = 2*s + 11. Let i be a(0). Let u(g) = g**3 - 11*g**2 + 4*g - 14. Let c be u(i). Suppose 144 + c = k. Is 29 a factor of k?
True
Let h(z) = -2*z**3 + 117*z**2 - 158*z + 159. Is 27 a factor of h(57)?
False
Suppose 7*u - 13 + 6 = 0. Does 17 divide ((-2)/(16/(-40)))/(u/15)?
False
Let d(c) = -2*c**3 - 15*c**2 - 6*c - 16. Let u be d(-7). Let p = 19 + u. Does 7 divide 27 + 2/(5 + p)?
False
Suppose 0 = 74*j - 68*j - 900. Let v = -78 + j. Does 18 divide v?
True
Let s = 1026 + -1505. Let d = s - -1439. Does 80 divide d?
True
Let y be (4/4)/((-2)/(-8)). Suppose -7*d + 20 = -2*d, -2*d + 24 = 4*h. Does 17 divide (h + (-1 - y))*-83?
False
Let c be 123/18 + -3 - 3/(-18). Suppose -r = c*w - 134, 66 = 3*r + 2*w - 366. Does 12 divide r?
False
Suppose 16858 = 114*y - 10969 + 1265. Does 36 divide y?
False
Let t(l) = l**3 - 9*l**2 + 8*l - 3. Let z be t(8). Let i(r) = -116*r - 5. Let m be i(z). Suppose 0 = -27*w + 20*w + m. Does 3 divide w?
False
Suppose 4*n + 4*o = -160, n + 61 = 2*o + 24. Let a = -13 + 57. Let s = n + a. Does 5 divide s?
True
Let d(y) = -y**3 + 66*y**2 + 28*y + 180. Is 31 a factor of d(60)?
False
Let u(q) = -q**2 - 10*q - 1. Let i be u(-10). Does 41 divide 863/3 + ((-20)/12 - i)?
True
Suppose 4*h - 5*s + 6*s = -24, 3*h = -s - 18. Let x(l) be the second derivative of -7*l**3/6 + 5*l**2/2 + l. Is 33 a factor of x(h)?
False
Let s = 38841 + 45983. Is 23 a factor of s?
True
Suppose 3*a - 645 = -2*l, 3*l - 907 = -3*a - 262. Suppose -3*r + 761 = a. Is 14 a factor of r?
True
Let x(v) = -v**2 + 39*v + 25. Let y be x(15). Let b = -336 + y. Is 12 a factor of b?
False
Let k = 76 - 76. Suppose -6*c = -k*c. Suppose -5*r = q - 13, -r = 5*q - c*r - 65. Does 13 divide q?
True
Is 31 a factor of 41 - 54 - (-3515 - 1)?
True
Suppose 203*c - 214*c + 534336 = 0. Is 32 a factor of c?
True
Let n = 92 - 78. Let b be ((-276)/21)/(n/(-49)). Suppose 304 = 5*s + 4*p, 4*s - 3*p - b = 191. Does 4 divide s?
True
Let o(c) = c**3 - 5*c**2 + c - 2. Let u be o(5). Suppose 32*v - 2120 = 3896. Suppose -4*i = 2*r - 0*i - v, -12 = -u*i. Is 11 a factor of r?
False
Let p = -1153 + 1676. Does 19 divide (p - (0 - 6)) + 3?
True
Suppose 0 = i - 1, 6*t = 2*t - 4*i + 24. Suppose -2*x - 21 = t*u, 0*u + 25 = -3*u + 5*x. Let v(p) = -p**3 + 7*p + 1. Is v(u) a multiple of 13?
True
Let v = -423 + 1312. Is 12 a factor of v?
False
Suppose 5*j = 19*j - 42. Suppose -6*s + 4*s = j*i - 797, -s + 416 = -2*i. Is s a multiple of 82?
False
Suppose 5 = -c, 3*a - 16*c = -15*c + 11498. Is 45 a factor of a?
False
Suppose 20*a - 3 - 57 = 0. Suppose -i - 191 = -a*g - 51, -2*g + 91 = -3*i. Is 2 a factor of g?
False
Suppose 6*m = -3*z + 4*m - 1922, 0 = 5*z + 2*m + 3210. Let l = z + 692. Is l a multiple of 8?
True
Let y(u) = 4*u**2 + 53*u - 39. Let c(r) = -2*r**2 - 27*r + 19. Let n(f) = -5*c(f) - 3*y(f). Let a(s) be the first derivative of n(s). Is a(-10) a multiple of 4?
True
Suppose -u + 2*u + 142 = 0. Let l = -69 - u. Suppose 42 + l = t. Does 27 divide t?
False
Let l be 12*((-100)/(-15) + -3). Let c = -15 + l. Does 22 divide c?
False
Suppose -3*i - 16 = -2*i. Let b = -60 - -83. Let v = i + b. Does 2 divide v?
False
Let s(h) = 12*h**2 - 6*h + 6. Let f be 0 - 1/2 - (-3052)/56. Let z be ((-1)/(-2))/(9/f). Is s(z) a multiple of 8?
True
Let r(u) = 19*u**3 + 13*u**2 - 49*u + 473. Does 107 divide r(13)?
False
Suppose 0 = -4*h - 1 - 23. Let a(m) = -m + 2. Let s(w) = 6*w - 3. Let c(r) = h*s(r) - 30*a(r). Is c(-14) a multiple of 36?
False
Let l = 41475 - 28652. Is l a multiple of 147?
False
Let d = -163 + 