 14 divide i?
False
Suppose 4*f - 49 = -5*x, -5*x = 5*f - 64 + 9. Let r = -242 - -263. Suppose r = f*y - 15. Is y a multiple of 6?
True
Suppose 22 - 5 = -4*p + 3*q, 5*p - q = -13. Let f be (2/6)/(4/(-12)). Is 11 a factor of 2*13 - (f - p)?
False
Let u(s) = 2*s + 88. Let k(l) = -4*l**3 + 27*l**2 + 9*l - 2. Let z be k(7). Does 8 divide u(z)?
True
Let c(p) = 95*p**2 + 52*p - 402. Is c(9) a multiple of 39?
True
Suppose 0 = -0*x + 5*x - 5. Let m be ((-78)/12)/(x/(-10)). Suppose 0 = 2*h - m - 15. Is h a multiple of 11?
False
Suppose -18 = 8*w - 186. Let j be (203/w)/((-2)/(-6)). Let d = j - -35. Is d a multiple of 16?
True
Let h(v) = 4*v**3 + 7*v**2 - 50*v + 329. Is 10 a factor of h(11)?
True
Let n(b) = b + 13. Let h be n(-12). Let u be (2925/100)/(h/(-16)). Let a = -211 - u. Is a a multiple of 33?
False
Let f = -173 - -335. Let y = f + 167. Let w = -186 + y. Is w a multiple of 11?
True
Let z be 0/(-4*3/6). Suppose m - 3*m + 10 = z. Suppose -8*v = -m*v - 27. Is 9 a factor of v?
True
Let m(g) = -9084*g + 10. Is 77 a factor of m(-5)?
True
Let g be (-5)/15*(3 + -9). Does 30 divide (7/(2 + 19))/(g/1194)?
False
Let n be (-3)/(-27)*2 + 6879/27. Suppose 360 + n = -j. Does 13 divide (j/(-10))/(4/8)?
False
Let d(o) be the third derivative of o**5/60 + 17*o**4/24 - 5*o**3/3 - 155*o**2. Is d(-33) a multiple of 11?
False
Let x(q) = -q**2. Let b(a) = a**3 - 7*a**2 - 2*a + 6. Suppose -y = 3*v + 5, -2*y - 15 = -7*y + 5*v. Let u(r) = y*b(r) - 6*x(r). Does 22 divide u(4)?
False
Let s = -836 + 841. Suppose 0 = 12*r - 10*r - s*v - 659, 4*v + 12 = 0. Is r a multiple of 3?
False
Let h be (-707)/(-63) + (22/(-18) - -1). Suppose 4*q - h = -23. Let d(x) = 5*x + 25. Does 5 divide d(q)?
True
Suppose 5*n - 20 = o + 5, -2 = n. Let j = o + 59. Is 2 a factor of 21/4 - j/(-32)?
True
Does 17 divide 9 - -890 - (-1 - 9)?
False
Suppose -5*t - 37*r + 38365 = -32*r, 4*t = -2*r + 30686. Is 95 a factor of t?
False
Let q = 165 + -162. Let t(b) = 344*b - 139. Is t(q) a multiple of 28?
False
Suppose 391*w = 392*w - 226. Suppose 138 = 228*r - w*r. Is r a multiple of 5?
False
Let n(w) = 4 + 20*w**3 + w**2 - 5 - 34*w**3. Let m be n(-1). Let h(a) = -a**2 + 13*a + 21. Does 2 divide h(m)?
False
Let m(k) = -k**2 - 8*k - 7. Let b be m(-7). Suppose 13 - 3 = -2*d. Does 30 divide (-24)/(1/d - b)?
True
Let y = 3414 + -564. Does 25 divide y?
True
Suppose -17*x + 221754 + 139488 = 105*x. Does 63 divide x?
True
Suppose 0*b - 60 = -2*b. Suppose b = 11*a - 14. Let y(t) = t**3 - t**2 + 9*t - 14. Is y(a) a multiple of 14?
True
Suppose 35*u - 5 = 34*u - 2*c, -5*c - 12 = -u. Suppose -u*l = -999 - 331. Does 10 divide l?
True
Let k(h) = -h**3 + 29*h**2 + 16*h - 66. Let v be k(27). Let u = v - 1263. Is u a multiple of 24?
False
Let x be ((-32)/(-56))/(-2) + (-13612)/(-14). Suppose -3*l - 5*o = -1507, 0 = -5*l + 5*o - x + 3417. Is l a multiple of 8?
False
Suppose 1193*f = 1194*f - 8953. Does 20 divide f?
False
Suppose 0 = -3*i - 4*p + 22108, -4*p - 22148 = -13*i + 10*i. Is 16 a factor of i?
True
Suppose 0*s + 22 = 4*i + 2*s, 11 = i - 5*s. Let x(v) = 3*v**2 + v + 5. Is 7 a factor of x(i)?
True
Let z(u) = -u**3 + 17*u**2 - 17. Let b be 17 - 4/(16/20). Is z(b) a multiple of 16?
False
Suppose 5*z - 46288 = -3*p, -2*z = 3*p + 6011 - 24528. Does 90 divide z?
False
Suppose -92*g - 1360 = -100*g. Let c = 75 + g. Does 8 divide c?
False
Suppose 0 = 2*n - o - 8497, 8455 = 2*n - 14*o + 19*o. Does 3 divide n?
True
Suppose 25*b - 16*b - 176532 + 43980 = 0. Is b a multiple of 56?
True
Let x(p) = 3*p - 15. Let o be x(5). Suppose o = -19*y + 7*y + 2088. Is y a multiple of 14?
False
Suppose -31*r = -33*r + 530. Suppose 0 = 2*j + 1 - r. Let l = j - 77. Is 14 a factor of l?
False
Suppose -20*h + 462 = -27*h. Let v be h/(-3)*9/(-6). Is 13 a factor of 46/4*11/(v/(-30))?
False
Suppose 0 = 5*r + 7*d - 2*d - 45, 5*d = -2*r + 30. Suppose 3*n = 5*j + 615, r*j + 2*n - 6*n = -610. Is 13 a factor of (j/49)/(3/(-182))?
True
Let g be 1 + 0/2 - (-10 - -9). Suppose 4*q = 3*w, -3*q + 7*q = -3*w. Suppose 4*t + s + 33 - 316 = w, -3*t + 206 = g*s. Is 12 a factor of t?
True
Suppose -5*i + 21 = -4, 2*w - 162946 = -2*i. Does 15 divide w?
False
Let g be 3 - 1 - (-6 + 1). Let u(k) = k**2 - k - 81. Let l be u(-9). Suppose a = l + g. Is 4 a factor of a?
True
Let u(h) = -46*h + 652. Does 3 divide u(4)?
True
Let l(o) = o**2 + 5*o + 9. Suppose 0 = 4*q + y - 33, -q - 4*y + 16 = -11. Let u be l(q). Is -1*1*(-4 - u) a multiple of 40?
False
Suppose -5*f + 6 + 19 = 3*n, 2*n - 34 = f. Let t be (n/(-6))/(-5)*192. Suppose -t = -6*w + 3*w. Does 9 divide w?
False
Let g be 1/10*(-65)/(-26)*12. Is (((-108)/(-21))/g)/((-10)/(-2065)) a multiple of 7?
False
Let k(u) = 11*u**3 - u**2 - 9*u + 16. Does 2 divide k(3)?
False
Let b be 37/(-7) + 4/14. Let z be (1 - (-32)/(-20))*b. Suppose -4*f + 3*m = -7 - 146, -105 = -z*f - m. Is f a multiple of 4?
True
Let n be (0/(-10))/(-3 - -1). Suppose 4*b - 8 = -2*a + a, -3*a + 3*b + 9 = n. Is 38 a factor of (4/6*1)/(a/684)?
True
Let l(g) = 7*g - 2. Let r be l(1). Suppose 3*t + 5*n = -261 + 1665, -5*t = -r*n - 2340. Suppose 3*f - 5*m - 322 = 0, -4*f - 4*m + t = -m. Is f a multiple of 38?
True
Suppose 0 = -16*h - 193 + 177. Let u(r) = -2*r**2 + 8*r + 9. Let b be u(-7). Does 15 divide h - (1 + b)*(-1)/(-1)?
False
Suppose -4*n = 11 - 11. Suppose 26*x - 34847 + 11967 = n. Is 9 a factor of x?
False
Let f = -2551 + 4718. Is f a multiple of 18?
False
Let a = -41 - 0. Let o = 42 + a. Is o + (-5)/5 - -25 a multiple of 10?
False
Let p = 27153 - 6477. Does 16 divide p?
False
Let q = 1472 + 3387. Suppose -8*n + 4981 = -q. Is 26 a factor of n?
False
Is (-3)/(-2)*(-48)/108*-7332 a multiple of 52?
True
Let j = -873 - -476. Let r = -96 - j. Is 37 a factor of r?
False
Let c be (-98)/(-7)*(-1)/(-7). Suppose -3*a = c*a - 3*v - 350, 0 = -v. Is 10 a factor of a?
True
Suppose 0 = r - 4*h + 350 + 130, -4*r - 4*h - 1940 = 0. Let l = -331 - r. Is 18837/l - 2/17 a multiple of 32?
False
Is 2/16 + 848573/88 a multiple of 15?
False
Let k = 12730 + -2185. Does 57 divide k?
True
Does 216 divide -14 + 0 + 26581 - (-1 - 0)?
True
Let a(s) = 28*s - 4. Let h = 41 + -47. Let w be a(h). Let c = w + 364. Is 8 a factor of c?
True
Let z(s) = s**3 + 22*s**2 - 76*s + 14. Let c be z(-25). Suppose 12001 + 13115 = c*v. Is v a multiple of 19?
False
Let j = 34056 + -22736. Is j a multiple of 52?
False
Suppose 2*w = -3*m - 4225 + 19440, 0 = -3*w + 5*m + 22832. Is 24 a factor of w?
False
Suppose 3*s - 447 = -b + 2*s, -5*b = -s - 2253. Suppose 0 = -12*z + 6*z + b. Is 3 a factor of z?
True
Let i = -544 + 891. Let t = 56 + i. Is t a multiple of 31?
True
Let y = -79 - -115. Let v(u) = 0*u**2 + 2*u + y - u**2 - 5 - 17*u. Does 15 divide v(-14)?
True
Let u be 15/30 - (10/4 - -1). Is u + (-1113)/(-2) + 1/2 a multiple of 4?
False
Let h(x) = 2*x**2 - 21*x - 357. Is h(-70) a multiple of 35?
False
Suppose -71*j + 15 = -76*j, -2*u - 4*j + 5364 = 0. Is 21 a factor of u?
True
Let l = -47 + 52. Suppose 0 = -5*q + q - 4, 2*b + l*q + 1 = 0. Is 20 a factor of b/5 + 468/5?
False
Suppose 2*z - c - 1766 = 2296, c = 4*z - 8122. Is z a multiple of 7?
True
Suppose 4 = z, 4236 = 4*w + 2*z - z. Suppose 0 = 6*s - w - 442. Does 27 divide s?
False
Let p = 22 - 20. Suppose 2*i - p = 12. Suppose -s + 6 = -u, -3*u - i = -s + 5. Is s even?
False
Let y(b) = 1179*b + 429. Is y(5) a multiple of 5?
False
Let f(j) = j**2 - 6*j + 8. Let y be f(4). Let b = -10 - y. Does 3 divide (b/4)/(3/(-24))?
False
Let k(x) = 10*x**2 + 175*x - 104. Does 30 divide k(-34)?
False
Let q(x) = x**2 + 3. Let y(v) = v**3 - 7*v**2 + 3*v - 16. Let w be y(7). Let f be (-3)/(-10)*w - 2/(-4). Is q(f) even?
False
Let d = 22894 + -15934. Is d a multiple of 15?
True
Let j(f) be the third derivative of -3*f**6/20 - f**5/20 + f**4/12 + 2*f**3/3 - 432*f**2. Suppose m = -4*d - 2, -2*d = -m - 5*d - 2. Does 6 divide j(m)?
True
Let c(u) = u - 1. Let x be c(1). Suppose 5*l = -4*r + 26 + 4, 2*l + r - 12 = x. Is 3 a factor of l?
True
Is (1 + 0)/(-15 + 22616/1507) a multiple of 78?
False
Suppose -j - 4624 + 27334 = 5*r, -2*r + 9096 = -2*j. Is r a multiple of 14?
False
Does 68 divide (139419/(-42))/(48/(-224))?
False
Let l(c) = -c**3 + 9*c**2 - 10*c + 8. Let h be l(8). Let x be (-1 + (-2)/h)/((-5)/20). Suppose -2*w + 5*r = -136, -2*w + x*r = 4*r - 124. Does 9 divide w?