. Does 3 divide z?
False
Let q(o) = -o + 1. Let i be q(-4). Suppose -2*h + 69 = x, 17*h + 63 = 19*h + 3*x. Suppose v - i*g = -4, 5*v + g - h = 3*v. Does 8 divide v?
True
Let g(f) = 23*f - 13. Suppose 4*o + 0*o + 101 = 5*b, b - 3*o - 29 = 0. Let i be g(b). Suppose 2*p - 5*p + i = 4*y, -y = -p - 98. Is y a multiple of 12?
True
Let t = -162 - -152. Does 32 divide (2 + t)*((-144)/2)/2?
True
Suppose 2*n - 15 = 5*t, -n = -t - 3*t - 9. Suppose -3*c + 11 = -a, 0 = n*c - 4*c + a - 9. Suppose -r + u = -40, r = -4*u + 30 - c. Is 20 a factor of r?
False
Let u(k) = 3*k**2 - 3*k - 12. Let x be u(3). Does 18 divide x/10 + 16596/90?
False
Let b(a) = a**2 + 6*a + 24. Let w be (-10)/(-15)*(104 - 2). Let p = w + -83. Is b(p) a multiple of 11?
False
Let c be (7 + (-261)/27)/(4/(-6)). Let q(l) be the third derivative of -l**6/120 + l**5/6 - l**4/12 - l**3/2 + l**2. Is q(c) a multiple of 8?
False
Does 6 divide 5/110 + 1413685/770?
True
Let w = -68 + 68. Let c be (-1197)/(-9) + -6 - (0 - w). Let s = 378 - c. Is 22 a factor of s?
False
Let x = 275 + -273. Suppose 3*p + x*z = 1250, 3*z = 5*p - 1616 - 480. Does 11 divide p?
True
Let v(z) = 45*z + 65. Suppose -40 = -2*x - 3*j - 6, x + 3*j - 23 = 0. Is v(x) a multiple of 28?
True
Let n be (-8)/3*(-3)/4. Suppose n*y + 45*x - 41*x = 328, -3*y - 4*x + 484 = 0. Is y a multiple of 52?
True
Is 3/(-12 - 394655/(-197320) - -10) a multiple of 14?
False
Let c(m) = m**3 - 5*m**2 - 5*m - 2. Let r be c(6). Let b(g) = 7*g**3 + g**2 + 1. Does 10 divide b(r)?
False
Suppose 0 = -20*u + 137202 - 10642. Is u a multiple of 223?
False
Suppose 852 = 5*t + 3*r, 2*t + r - 343 = 2*r. Let z be (-3 - (-2)/1)*-3. Suppose 2*n + 3*n = -z*m + 223, t = 4*n - 5*m. Is 4 a factor of n?
True
Let a(u) = 3*u**3 - 103*u**2 - 34*u - 66. Is 6 a factor of a(35)?
True
Suppose -10*s + 54 = -46. Is 1/s - (-4725)/250 a multiple of 2?
False
Let b(y) be the first derivative of y**4/4 + 2*y**2 + 430*y + 36. Is 10 a factor of b(0)?
True
Suppose -5*c + 6*c - 16 = 0. Let b be 214/6 + c/(-24). Let f = -21 + b. Is f a multiple of 7?
True
Let k(h) = 31*h - 8. Let o be k(8). Suppose o = 14*n + 2*n. Does 5 divide (-1 - 1) + 5/(n/108)?
False
Let s be -4 + (-223 - (-3 - -1)). Let v be s/(-30) + 6/(-4). Let b(l) = l**3 - 4*l**2 - 4*l - 9. Is b(v) a multiple of 31?
False
Suppose 0 = -38*f + 60*f - 35552. Does 101 divide f?
True
Suppose -3*p + 5*p = 0. Suppose 2*c + 3*n + 9 = -p, -2*c - 5*n - 19 = 0. Suppose 2 - 68 = -c*w. Is w a multiple of 22?
True
Let c(o) = -o**3 - 56*o**2 + 50*o + 119. Is 14 a factor of c(-57)?
True
Does 34 divide (-3 - (-15769)/(-39))*-51?
True
Let x(f) = -8*f**2 + 57*f - 13. Let k be x(7). Let r(m) = -26*m - 57. Is r(k) a multiple of 3?
True
Suppose -4*r + 5*i = 7 + 1, 19 = r + 4*i. Suppose 0 = r*n - 4*n + 55. Is n even?
False
Let s be (-117)/(-54) + 2/(-12). Suppose -2*d = 5*u - 2*u + 10, -s*d = -u + 2. Is (-100)/(-1) + (4 - (-12)/d) a multiple of 8?
False
Let d = 1039 - 1035. Let l be 1/3 + (-42)/(-9). Suppose -m - 105 = -l*q, -4*q - d*m = -3*m - 75. Does 4 divide q?
True
Is 0 + 15092 - ((-248)/(-24) - 10)*18 a multiple of 19?
True
Is 20482/385*((-69)/(-6) + 1) a multiple of 35?
True
Suppose 23*i = 117 - 25. Suppose 3*k - 329 = -5*d, 0 = -i*k - 0*k + 12. Is d a multiple of 21?
False
Let g = 22583 + -13303. Is g a multiple of 116?
True
Let d(a) = 7*a**2 - 43*a - 1138. Is d(-20) a multiple of 13?
True
Let q = -184 - -190. Is 1388/4 - (-10 + q) a multiple of 51?
False
Does 28 divide (-7 - (8486 + 0))*(0 + -1)?
False
Suppose 5*m = -b - 9, 5*m + 27 = -6*b + 3*b. Let s(w) = w**3 + 11*w**2 + 10*w - 4. Let y be s(b). Suppose 8*k - 476 = y. Is k a multiple of 14?
False
Suppose 12412*r = 12445*r - 680394. Does 98 divide r?
False
Suppose -408*p + 153*p - 560995 + 3879820 = 0. Does 95 divide p?
True
Let r(y) = y**3 + 7*y**2 - 3*y + 10. Let f be r(-6). Let u = f - 60. Suppose 0 = -5*l - a + 215, 75 - 11 = l - u*a. Is 22 a factor of l?
True
Let d = 22 - 42. Let j be (8 - -10)/((-3)/d). Suppose 4*o + j = 9*o. Is 8 a factor of o?
True
Let y = 611 + 411. Let i = y + -516. Is 11 a factor of i?
True
Let u be 16/48 + 82/6. Suppose -5*y = -2*t + 15, 5*t + u - 44 = 5*y. Suppose 417 = t*i - 303. Is 8 a factor of i?
True
Let s(p) = -277*p**3 - 2*p**2 + 30*p + 64. Is s(-2) a multiple of 23?
False
Does 21 divide 18/15 + 5291289/505?
True
Let h(p) = -25*p + 821. Is h(-13) a multiple of 3?
True
Let j(s) be the second derivative of -s**5/10 - 17*s**4/12 + 7*s**3/3 - 11*s**2/2 + 123*s + 1. Does 16 divide j(-13)?
True
Suppose 15*p - 14*p = 259. Suppose -4*v - a = -1075, -3*v + 3*a + p = -2*v. Does 12 divide v?
False
Let c = -34 + 36. Suppose 2*h - 2*s + s - 3 = 0, -c*s = -3*h + 3. Let v(y) = 12*y. Is 9 a factor of v(h)?
True
Let f = -47 + 81. Suppose -3*z = l - 18, -3*l - 2*z = 3*z - f. Suppose -2*d - 3*p + 141 = 0, d + 8*p = l*p + 67. Is d a multiple of 12?
True
Let p be 221/65 - (-2)/(-5). Let i(j) = 2*j + 1. Let x be i(p). Is 6 a factor of ((-135)/(-21) - -3)*x/1?
True
Let m = -155 + 256. Suppose -h + 761 = 4*d - m, -3*d = -4*h - 637. Is d a multiple of 21?
False
Let n = -92 - -95. Let x be (-47)/n*(4 - 16). Suppose 4*b = -3*l + x, 4*l - 256 = -6*b + 2*b. Is l a multiple of 22?
False
Let t = 36896 - 17591. Is 27 a factor of t?
True
Suppose 11*s + 14*s = 16300. Suppose -2*r = 8, -2*r - s = 3*c - 3749. Is 27 a factor of c?
False
Let o(n) = n**3 - 7*n**2 + 2*n - 10. Let p be o(7). Let r(t) = 3*t**3 - 7*t**2 + 18*t + 16. Is r(p) a multiple of 5?
False
Let o(r) = -96*r - 16. Let a(q) be the first derivative of -16*q**2 - 5*q - 24. Let k(n) = 10*a(n) - 3*o(n). Does 6 divide k(-3)?
False
Let k be -2*1 + 0 - -2. Suppose 8*v + 4*c + 16 = 12*v, 3*v = -5*c - 4. Suppose k*x = g + x - 75, v*g = 3*x + 160. Is 29 a factor of g?
False
Suppose 2363268 = 43*z + 644644. Is 16 a factor of z?
True
Let m be ((-45)/(-35) + -1)*28. Let a(d) = 7*d**3 - m*d**3 - 9 - 1 + 7*d**2 - d. Is a(6) a multiple of 10?
True
Suppose 0 = -4*g - 1299*u + 1304*u + 207351, -5*g + 4*u + 259209 = 0. Is g a multiple of 10?
False
Let i = -152 - -28. Let n = 143 + i. Suppose -5*a - 32 = -2*k + n, -3*a = -15. Is 8 a factor of k?
False
Let j = 15 + 1. Let f(p) = -20*p - 20. Let k(r) = -r - 1. Let b(x) = j*k(x) - f(x). Is 5 a factor of b(4)?
True
Let f(d) = -d - d**2 - 88 + 90 - 5*d. Let c be f(-6). Suppose 3*g = -q - 0*q + 174, 3*q - 508 = -c*g. Is 8 a factor of q?
True
Suppose 0*q - 3*q - 765 = 0. Let f be (-57)/(q/80 - -3). Suppose 6*y - 10*y + f = 0. Is 38 a factor of y?
True
Suppose -191*x + 103860 = -146*x. Does 6 divide x?
False
Suppose -5*w = -3*x - 13098, -2*w - 349*x = -348*x - 5248. Is 14 a factor of w?
False
Let y(x) = -3*x**2 - 289*x - 169. Is y(-44) a multiple of 13?
False
Suppose -3 = b, 4*b + 137 + 106 = -3*k. Let w = k - -720. Is w a multiple of 17?
False
Let c be -146 + (-3)/3 + 3. Let a = 362 - c. Does 14 divide (-1)/2 - a/(-4)?
True
Let h(w) = -38*w**2 - w - 29. Let q be h(-9). Let o = -1946 - q. Does 12 divide o?
True
Let y be (8/(-6))/(-5 - 34/(-6)). Let f be (-9)/3 - (y - (-2)/1). Is 25 a factor of (-153)/f + -9 + 8?
True
Let a(b) = -b**2 + 61*b - 161. Suppose s = -359 + 398. Is 17 a factor of a(s)?
True
Let t(c) be the third derivative of 17/6*c**4 - 5/3*c**3 + 0*c + 13*c**2 + 0. Is t(2) a multiple of 25?
False
Let a be ((-5)/(-4))/(-1)*12/(-3). Suppose 0 = -a*o - 3*n + 1 - 36, 2*n = o + 7. Is 693/o*(0 + 1/(-3)) even?
False
Let f be (-9)/1*(570/45 - 14). Suppose 5*t = f*t - 5299. Is t a multiple of 32?
False
Let i = 225 - 130. Suppose 0 = g - i - 19. Is g a multiple of 12?
False
Let b be 5/2*(4168/(-10))/(-2). Let h = -381 + b. Does 10 divide h?
True
Let y = 11 - 11. Suppose y = r - 25 - 64. Suppose -d + 4*h + 52 = 0, -r - 81 = -3*d + 5*h. Is 12 a factor of d?
True
Let g = 120 + -46. Let q = -71 + g. Suppose -3*o + 273 = 3*a, -4*a = -q*a + 5*o - 95. Does 15 divide a?
True
Let a = -2136 + 2592. Is 6 a factor of a?
True
Let k = -6506 - -11294. Is k a multiple of 28?
True
Let w = 10 + -7. Let b be 33 - -6*((-10)/(-4) - 3). Let z = w + b. Does 33 divide z?
True
Let p = -41 - -47. Suppose 5*r = 11 - p. Is 37 a factor of 2 - (-68 + (-4)/r)?
True
Suppose -52*p + 338388 = -93472. Does 13 divide p?
False
Suppose 2*h - 13973 + 10417 = 0. Does 56 divide h?
False
Let w(s) = -s**2 - 15*s - 22. Let h = 68 - 81. Let i b