et b = 2 - q. Is (b/(-2))/((-3)/36) a multiple of 9?
True
Let x(v) = -v**2 - v. Let t(j) = -9*j**2 - 9*j. Let a(p) = -6*t(p) + 51*x(p). Is 2 a factor of a(-2)?
True
Suppose -2*g - j + 4041 = 0, -3*g + 6*g = -2*j + 6064. Is g a multiple of 41?
False
Let j = 14 + 169. Is 28 a factor of j?
False
Let t = -39 - -42. Suppose 5*p - 700 = t*o, 0 = 2*p + 3*o - 373 + 93. Does 20 divide p?
True
Let p(l) = -l**2 - 5*l + l**3 + 2*l - 2*l**2 + 3 + 0*l + 4*l**2. Suppose 0 = h - 0*h - 3. Is 15 a factor of p(h)?
True
Let t(z) = -z**2 + 6*z - 7. Let d be t(6). Is d*3*(-30)/5 a multiple of 14?
True
Let u(m) = m - 4. Let q be u(8). Suppose 3*i + 3*g - 18 = 0, -3 - 5 = -4*i + q*g. Suppose -i*n + 15 = -25. Is n a multiple of 5?
True
Suppose 7*r + 391 = 1644. Is 2 a factor of r?
False
Let z = 1873 + -1607. Does 14 divide z?
True
Suppose 0 = p + 4, 2*t - 329 = 4*p + 279. Does 14 divide t?
False
Suppose 22411 = 18*w - 7577. Does 14 divide w?
True
Suppose 14*u - 17*u = 0. Suppose 0*n + 79 = 2*n + 3*m, u = 3*n + 3*m - 114. Does 3 divide n?
False
Does 3 divide ((-157)/2 + 2)*2/(-3)?
True
Let j be 12/4 - 64/(-8). Let c(a) = 2*a**2 - 6*a - 32. Does 9 divide c(j)?
True
Let a(b) = 9*b**3 + b**2 + 2*b + 1. Let r = -8 - -4. Let g(o) = -8*o**3 - o**2 - 2*o. Let j(f) = r*g(f) - 3*a(f). Is j(2) a multiple of 15?
True
Suppose 3*w = 8*w + m - 1, -2*w - 5*m = -5. Let x(j) = 3 - 4*j**2 + 3*j + 4 + j**3 - 2*j + w*j**3. Does 13 divide x(5)?
False
Let o(y) = 8*y**2 + 8. Let w be o(6). Suppose 3*u - 7*u - 4*v = w, 118 = -2*u + 4*v. Is 17 a factor of (10/15)/((-2)/u)?
False
Let c = 7979 - 4885. Is c a multiple of 9?
False
Let j(f) be the second derivative of 7*f**4/2 - f**3/6 + 41*f. Is 41 a factor of j(1)?
True
Let l be 3/(-1) + (8 - 0). Suppose -l*g - 12 = 3, -260 = -5*a - 5*g. Does 15 divide a?
False
Let m(l) be the third derivative of -l**5/60 + l**4/12 - 3*l**2. Let a be m(2). Does 4 divide -2 + (3 - a) + 5?
False
Suppose 0 = -i + 2*g + 12, 0 = 5*g - 2*g - 15. Suppose 0 = -2*c - 5*r - 13, -2*c + 4*r = i. Does 11 divide (-88)/6*c/6?
True
Let x = 1582 - 1046. Is x a multiple of 28?
False
Let c = 211 + -5. Suppose -6*d + 532 = -c. Does 13 divide d?
False
Suppose 3*g = 2*l - 540, -5*l = -4*l + g - 275. Is 4 a factor of l?
False
Is 1 + (41615/58 - (-2)/(-4)) a multiple of 23?
False
Suppose 0 = 87*m - 90*m + 42. Let l(d) = d**2 - 23*d + 12. Let v(h) = -h**2 + 22*h - 11. Let p(x) = 6*l(x) + 7*v(x). Is p(m) a multiple of 5?
False
Let o(q) = q**2 - q + 5. Let a be o(-6). Let r be (-16)/(-2)*5/(1 + 4). Let k = a - r. Is k a multiple of 6?
False
Let k = 50 + -46. Suppose 0 = -0*u - k*u + 236. Is 16 a factor of u?
False
Let c = 1025 - -977. Is 14 a factor of c?
True
Does 3 divide (-25)/(-250) + 32694/60?
False
Suppose i = -5 + 2. Let w be -3 - (i - -2)*17. Suppose 0*b = -b + w. Is b a multiple of 4?
False
Suppose 4*s + 5*y - 903 = 0, 7*y = 3*y - 4. Is s a multiple of 5?
False
Let z(n) = -n**3 + 8*n**2 - 8*n - 3. Let h be z(6). Let u = h - 12. Suppose -12*f = -u*f - 99. Is f a multiple of 11?
True
Let p be (4 - 6) + 23 + 3. Suppose -6*z + p = -3*z. Is z a multiple of 4?
True
Let y(i) = 2*i**2 - 3*i - 8. Let g(k) = -k - 4. Let w be g(-8). Let m be y(w). Does 14 divide (-32)/m*51/(-4)?
False
Let f(s) = 3*s**3 + 14*s**2 + 7*s - 6. Let c(r) = 4*r**3 + 15*r**2 + 8*r - 5. Let q(k) = -4*c(k) + 5*f(k). Is q(9) a multiple of 19?
False
Suppose 6*x + 15 = 3*x, 2*v + 2*x = 0. Let i(m) = -m**2 + 4*m + 7. Let j be i(v). Let y = j - -9. Does 8 divide y?
False
Let r be (-18)/((84/(-8))/7). Let u(z) = 2*z + 24. Does 27 divide u(r)?
False
Suppose 0 = -9*j + 7*j + 10. Suppose -6*c = -j*c - 101. Suppose -2*b = z - 174, 2*b - b = 3*z + c. Is 22 a factor of b?
False
Let u(d) be the first derivative of 5*d**4/12 + 5*d**3/6 - 3*d**2 - 2*d - 6. Let x(s) be the first derivative of u(s). Is x(3) a multiple of 11?
False
Let v(l) = l**2 + 19*l + 24. Let c be v(-18). Does 14 divide (21/c)/(3/24)?
True
Let y(o) be the second derivative of 4*o**3/3 + 10*o**2 - o. Is y(8) a multiple of 14?
True
Let c be (-3)/(1 + -4 - 2/(-1)). Suppose 2*n + 4*t - 32 = -0*n, -5*t = -3*n + 103. Suppose n = c*w - 13. Is 3 a factor of w?
False
Suppose 1 = 5*m - 9. Let u be m/4 - (-706)/4. Suppose 44 = h - 4*r, 2*h + h - u = 3*r. Does 13 divide h?
False
Suppose 4*d - 5*z - 82 = -12, 0 = d + 4*z - 7. Suppose -32 = -x + 2*u, -2*u = -7*u + d. Let m = -23 + x. Does 6 divide m?
False
Suppose 2*x = -2*f + 14 + 38, 3*f - 2*x = 53. Does 6 divide -9 + f - (-5 - -1)?
False
Let o = -606 + 756. Is o a multiple of 5?
True
Let n(j) = j - 10. Let l be n(13). Suppose -l*m = 2*m + 5. Is 8 a factor of (-1 + m)/((-16)/128)?
True
Let o(c) = 2*c**2 - 15*c + 7. Let k be o(7). Suppose 7*b + b - 360 = k. Is b a multiple of 5?
True
Suppose -g = -2*q + 2370, -5*g - 1268 + 65 = -q. Does 91 divide q?
True
Let x(z) = -63*z + 5 + z**2 + 12 + 31*z + 26*z. Does 16 divide x(10)?
False
Let c(g) = g**2 - 9*g - 11. Let x be c(9). Let n be (0 + 2)*(-10 - x). Suppose 68 = -w + n*w. Is w a multiple of 19?
False
Let y = 45 + 36. Suppose 246 = 5*n + y. Does 4 divide n?
False
Let r = 975 + 42. Is r a multiple of 113?
True
Let y be ((-1)/(-2))/(6/36). Suppose -3*u + y*g - 417 = 0, 23 = -u + 2*g - 112. Let n = 237 + u. Does 15 divide n?
False
Let o(s) = 4*s**3 - 2*s**2 - 3*s - 10. Let v be o(4). Let u = v - 88. Is u a multiple of 59?
False
Suppose 0 = 11*z - 2550 + 691. Is z even?
False
Let v = 823 + -536. Let b = v - 192. Is 11 a factor of b?
False
Let o(n) = -n**2 + 22*n - 17. Let a be o(21). Suppose a*p + 8 = -0. Is 2 a factor of ((-28)/7)/(p/6)?
True
Suppose 5*f - 4231 = -g, -5372 = -3*g - f + 7293. Does 63 divide g?
True
Is 49 a factor of (-32)/6*588/(-8)?
True
Is ((-1470)/(-75))/(4 + 556/(-140)) a multiple of 14?
True
Let u be 1/2 - (-42)/28. Suppose 0 = f + y - 8, 0 = 2*f + u*y + 2*y - 26. Suppose -3*k + 4*k + 55 = 2*s, -4*s = f*k - 125. Is s a multiple of 26?
False
Suppose 0 = 2*v - 3*a - 7, v + 3*a = -5 + 4. Let o = 27 + 10. Suppose k - q = o, -5*k + v*q + 55 = -115. Does 11 divide k?
False
Let m be (-4 - 5)/(6/(-40) - 0). Let t = 75 - m. Does 12 divide t?
False
Suppose 8*y = -0*y + 1736. Let c = -84 + y. Is c a multiple of 19?
True
Let v(y) be the second derivative of -y**4/12 + y**3 - y**2 + 2*y. Let j be v(5). Is 9 a factor of j + (27 - -2) + -1?
False
Let w = 975 + -312. Is w a multiple of 46?
False
Suppose -17*v = 7*v - 48072. Does 45 divide v?
False
Let a(t) = t**3 + 3*t**2 + 6*t - 14. Let g be a(-7). Let z be g/(-54) - (-4)/(-6). Suppose -z*r + 12 = -0*r. Does 2 divide r?
False
Suppose 9*m - 8*m = l - 804, m = -4. Is 25 a factor of l?
True
Suppose 1225 = 5*n + 5*m, -18*n + 9*n - 5*m + 2225 = 0. Does 13 divide n?
False
Let k(u) be the third derivative of u**6/120 - u**5/10 - 5*u**4/8 + 3*u**3/2 - 8*u**2. Does 5 divide k(8)?
False
Let o = 363 + 135. Let t = -242 + o. Suppose 2*m - 4*k - t = -2*m, 52 = m - 5*k. Is 15 a factor of m?
False
Let h(i) = i**3 + 6*i**2 + 4*i - 3. Let j be h(-5). Suppose 248 = -j*p + 4*p. Suppose -p + 34 = -2*o + 2*g, -3*o = 3*g - 153. Is o a multiple of 16?
True
Suppose 4*c - 6550 = 2*j, -4*c + 3*j + 8331 = 1780. Is c a multiple of 50?
False
Let p(m) be the third derivative of -13/24*m**4 + 0*m + 5*m**2 + 3/2*m**3 - 1/10*m**5 + 1/120*m**6 + 0. Does 10 divide p(8)?
False
Suppose 100 - 48 = -2*j. Is 1706/18 + j/(-117) a multiple of 19?
True
Suppose 10*s - 44 = 196. Let f(n) = n + 42. Is 6 a factor of f(s)?
True
Let w(a) = 189*a**2 + 3*a + 2. Let n be w(-1). Suppose -j = h - 141, 3*j + 4*h = 238 + n. Is 23 a factor of j?
True
Let t(n) = n**3 + 21*n**2 + 67*n + 36. Does 12 divide t(-6)?
False
Let s = -206 + 815. Suppose 0*h - 3*h = -s. Does 29 divide h?
True
Let a(u) = -u - 71 + 136 + 2*u. Is a(-9) a multiple of 14?
True
Suppose 115 = 5*y - 3*q - 104, 2*q + 6 = 0. Does 3 divide y?
True
Suppose 0 = -2*x + 5*d + 29, 4*d = 3*d - 5. Suppose x*o = -0*o + 8. Is 2 a factor of o?
True
Suppose 7*n - 3*n = 240. Let k = 27 - n. Is (2*-1)/(6/k) a multiple of 11?
True
Suppose 35*v + 460 = 39*v. Is 15 a factor of v?
False
Suppose 0 = -2*a + r + 4448, 2*a + 0*r = -4*r + 4448. Is 50 a factor of a?
False
Let d = -63 - -58. Does 16 divide 113 - (-2)/5*d?
False
Let l(n) = -n**2 + 17*n - 16. Let w be l(16). Suppose -3*h + 4*h + 4*c - 200 = 0, -5*h - 2*c + 928 = w. Is 23 a 