 14 divide (-2)/(s/(-129) - 1)?
False
Let g be (-1 - -2)*(2 - 11). Let p(j) = j + 12. Let c be p(g). Suppose c*i - 80 - 13 = 0. Is i a multiple of 31?
True
Suppose 111 = s + 2*g, -2*s + 108 = 3*g - 113. Suppose -5*x = -3*n - s, 66 = 4*x - 4*n - 18. Is 7 a factor of x?
False
Suppose -o - 3*c = -2*c - 203, 5*c = -4*o + 812. Suppose -r + 25 = -o. Does 12 divide r?
True
Let a(c) = c + 28. Let v be a(-19). Does 16 divide 34/(-153) - (-173)/v?
False
Suppose 4 + 5 = 3*n, 4*n - 12 = -4*b. Suppose b = 17*p - 12*p - 170. Let r = 2 + p. Does 18 divide r?
True
Suppose a + 7 = 3*f, 4*a + 6*f - 40 = f. Suppose 35 = d - 2*m, a*d - 2*m = 2*m + 169. Let j = d - 17. Is j a multiple of 8?
True
Let z(k) be the second derivative of 10*k**3/3 + 7*k**2/2 - 18*k. Is z(5) a multiple of 14?
False
Suppose -a = -4 + 1. Let q = 1 + a. Suppose -5*t - 4*l + 590 + 19 = 0, 4*l - 484 = -q*t. Is 28 a factor of t?
False
Suppose d - 12 = -5*d. Suppose -2*l = -d*b - 124, -4*b + 36 + 118 = 2*l. Is 38 a factor of l?
False
Is (4050/100)/((-1)/(-18)) a multiple of 27?
True
Suppose -30 + 118 = 4*p. Suppose -5*n = -2*r + p, 5*r - 2*n - 7 = 6. Suppose 6 = o + r. Does 2 divide o?
False
Suppose -s - 2 = -3*r + 12, -s - r + 6 = 0. Let t be 3*((-4)/4)/s. Let h(f) = f**2 - 4*f - 1. Is h(t) a multiple of 3?
False
Let w(m) = m**2 - 7. Let u be w(-3). Suppose -3*b = -5*b + 4*d + 140, -5*b + 326 = -u*d. Is b a multiple of 8?
True
Let w be ((-110)/4)/((42/7)/(-60)). Suppose -179*o - w = -184*o. Is o a multiple of 5?
True
Suppose 3*q = 2*a + 1660, -3*q + 1574 + 74 = -5*a. Does 36 divide q?
False
Suppose 5*g = z + 1148, 11*g + 5*z = 8*g + 700. Does 23 divide g?
True
Suppose -156*c - z + 819 = -152*c, -4*c - 5*z = -831. Is c a multiple of 51?
True
Suppose 7*f = 88 + 3062. Does 75 divide f?
True
Let m = -31 + 33. Suppose 4*b - 179 = -2*u - b, 155 = m*u - 3*b. Is u a multiple of 28?
False
Suppose 12976 = -17*l + 33*l. Is 79 a factor of l?
False
Suppose -26*q = -16*q - 10360. Is q a multiple of 37?
True
Let j(n) = 4*n - 1. Let m be j(-1). Let g = m + 6. Let h = g - -6. Is h a multiple of 7?
True
Suppose 5*c = -2*n - 40 + 723, -4*c - 20 = 0. Is 9 a factor of n?
False
Let v be 10/(-30) + (-26)/(-6). Suppose 2*w - 3*w = 2*r - 54, 3*w - 162 = v*r. Does 27 divide w?
True
Let q(t) = -t**3 - 17*t**2 + 18*t + 1. Let p be q(-18). Suppose -41 - p = -b. Is b a multiple of 6?
True
Suppose -3*t = -7*t + 12. Let h be t/2*(-152)/(-6). Suppose 0 = -d + 5*k + h, -d + 2*k + 50 = -0*d. Is 29 a factor of d?
True
Let m = 1176 - 545. Does 12 divide m?
False
Let j(i) = 3*i**3 + 7*i**2 - 2*i - 6. Let b(d) = 16*d**3 + 34*d**2 - 10*d - 29. Let w(c) = -2*b(c) + 11*j(c). Does 16 divide w(-4)?
True
Let b(i) = 4*i + 2*i + 2*i**2 + 12 - 2*i**2 + i**2. Let m be b(-10). Let j = m - 28. Is 8 a factor of j?
True
Let d be -2*(-7 + 2 - -3). Suppose -4 = -p - d*f + 2, 0 = -3*p + 5*f + 1. Suppose 3*t = 5*k + 20, -4*k + 14 = 4*t - p. Is t even?
False
Suppose 0 = 8*q + 7958 - 25574. Does 8 divide q?
False
Let q(y) = -6*y**3 + 2*y**2 - 9*y - 15. Is q(-3) a multiple of 24?
True
Let w be -5 - (0 - 0/(2 + 2)). Let l = 52 + w. Does 28 divide l?
False
Is 3 a factor of 59769/348 - (-3)/(-4)?
True
Suppose -2*b = 2*x - 12, -2*x = b + 2 - 9. Suppose -2*j - 1040 = -z - 3*z, 2*z - 520 = b*j. Is 20 a factor of z?
True
Suppose -151 = -4*a + 33. Suppose 5*s + q = 4*q + 80, 2*s - 4*q = a. Is 13 a factor of s?
True
Suppose -3*c + 0*h + 24 = 3*h, -16 = -c + h. Suppose -6 - 222 = -c*v. Is 3 a factor of v?
False
Let c(g) = -g - 26. Let x be c(-11). Let a be (-6)/x - 227/5. Is (-1)/((-20)/(-32))*a a multiple of 18?
True
Let c be ((-8)/(-6))/((-24)/(-36)). Suppose -k = -4*u + 132, -2*u - 3*u = -c*k - 168. Is 6 a factor of u?
False
Suppose -1 = -5*z - l + 12, 3*z = -5*l + 21. Suppose -2*m + 4 + z = 0. Suppose 5*h - 114 = -2*a, m*a - 5*h = 7*a - 218. Does 26 divide a?
True
Let h = -1139 + 1945. Is h a multiple of 62?
True
Let y(z) = -15*z + 5. Let o(x) = x**2 - 45*x + 15. Let f(s) = -2*o(s) + 7*y(s). Let m(v) be the first derivative of f(v). Does 13 divide m(-8)?
False
Let s = -203 - -763. Does 28 divide s?
True
Suppose 2*r + 3*w + 0*w - 7 = 0, 5*w = r + 16. Is 9 a factor of (-90)/(-20)*(-4)/r?
True
Suppose 0*d - 4*m + 24 = d, 5*m - 25 = 0. Suppose 0 = -k - 2*q + 4*q + 10, d*q - 10 = -k. Let i = -2 + k. Does 3 divide i?
False
Suppose 4*k - 11 = -3. Suppose s - k*g + 8 = 0, s - g = -1 - 2. Suppose 38 + 74 = s*b. Is b a multiple of 14?
True
Let r(c) = 57*c**3 + c**2 - 2*c + 1. Let l be r(1). Let m(v) = 2*v**2 - 14*v. Let s be m(7). Is l + (s - -1) + -2 a multiple of 16?
False
Is 15/(-10) - (-602)/4 a multiple of 3?
False
Suppose 2*s = -9 + 1. Let g be s + (3 - 1)*1. Is 17 a factor of 0 + 6*(11 + g)?
False
Let o(s) = 6*s - 15. Suppose -2*b + 6 = 0, 3*b - 27 = -u - 0*b. Does 31 divide o(u)?
True
Suppose 2*w + 4*i - 206 = 0, -5*w - 2*i = -8*w + 317. Suppose -w*u = -101*u - 1248. Is 13 a factor of u?
True
Let z(x) = 11*x - 3*x - 4*x + 4 + 43*x**2 - 7*x. Does 9 divide z(2)?
False
Suppose 8*a - 720 = 4*a. Let f = a + -98. Is 13 a factor of f?
False
Suppose 2*l = -1 + 17. Suppose 5*f - 77 - l = 0. Let s = 41 + f. Is s a multiple of 14?
False
Let g(p) be the first derivative of -p**4/4 + 10*p**3/3 + 2*p**2 + 3*p + 5. Let i be g(6). Suppose -2*m + 3*r + 44 = -75, -i = -3*m + 3*r. Does 26 divide m?
True
Let x = 99 - 59. Suppose -16 + 1 = 3*g, -x = -r + 5*g. Is 13 a factor of 966/r + (-6)/(-10)?
True
Let k(p) = 3*p**2 - p - 14. Let i(z) = -12*z - 51. Let a be i(-5). Does 20 divide k(a)?
True
Suppose -1096 = -10*s + 12664. Does 32 divide s?
True
Is 18 a factor of (-4)/(-28)*-1 - 22192/(-112)?
True
Is 3 a factor of (-218)/(-7 + 2 + 4)?
False
Let k(a) = 90*a**2 - 3. Let h be k(-2). Let j = h + -242. Is j a multiple of 13?
False
Suppose 3153 = 45*u - 43*u - 3*b, u = -3*b + 1572. Is 19 a factor of u?
False
Let y be (134/10)/(12/60). Suppose -4*p = -4*h + 540, h - 56 - y = -2*p. Let b = h - 56. Does 17 divide b?
False
Suppose 5*g + 299 = 5*c + 1004, -3*c = g - 125. Is 9 a factor of g?
False
Let u be 11/(-11)*(22 + 1). Let v = 22 - u. Is 9 a factor of v?
True
Let d be 11 + -6 - 2*1. Suppose i + 2*j + 34 = d*i, 0 = -3*i - 4*j + 58. Does 9 divide i?
True
Let x(l) = -2*l + 4. Suppose 1 = -5*y + 3*o, 0*o + 5*o = -3*y + 13. Let v be (y + 12)/(3 + -4). Is x(v) a multiple of 11?
False
Let b(i) = -5*i**2 + i + 72. Is b(0) a multiple of 8?
True
Let s(y) = y**2 + 11*y + 100. Is 24 a factor of s(-31)?
True
Let s be 1/3 - 34/3. Let x(n) = n**3 + 15*n**2 + 15*n - 12. Let f(r) = -2*r**3 - 31*r**2 - 31*r + 23. Let w(h) = -3*f(h) - 7*x(h). Does 13 divide w(s)?
True
Let m(n) = -n**3 + 8*n**2 + 6*n + 12. Suppose 5*p - 42 + 7 = 0. Is 7 a factor of m(p)?
False
Suppose 0 = -p + 2*a - 20, -28 + 2 = p - 5*a. Does 8 divide (4/p*14)/((-1)/24)?
False
Let k = 63 + -43. Is 2 a factor of k?
True
Suppose -19*s = -18*s + 3. Suppose -2*y + 45 = 2*y + w, 3*y - 5*w = 5. Let q = y - s. Is q a multiple of 3?
False
Let l(h) = h**2 - 7*h - 7. Let s be l(8). Let v(f) = 15*f**3 + f**2. Let t be v(s). Suppose -4*a + 80 = t. Does 8 divide a?
True
Suppose 0 = p - 0*p. Suppose 0*s = -3*y - 2*s + 70, s + 1 = p. Does 2 divide y?
True
Let m be 4*(-2 + 27/12). Is (-2)/m - (-10 - -1) a multiple of 3?
False
Let n be (140/(-40))/((-2)/8). Suppose 3*w = -9, x - 6*w - n = -3*w. Suppose -x*j + 83 = -2*p - 432, 0 = -j - p + 110. Is j a multiple of 35?
True
Let y be 3 + (14*3)/(-2). Is (-1)/(-6) - 285/y a multiple of 8?
True
Let s be (7 + -3)*6/(-4). Is 19 a factor of (-1 - -58)/(s/(-18)*3)?
True
Suppose 4*w - 3*x = -57, 2*w - 5*x - 10 + 35 = 0. Does 3 divide 3/(-1) + (-110)/w*3?
False
Let w be 2/15 - 25824/(-45). Suppose -934 = -4*x + w. Is 21 a factor of x?
False
Let c = -571 + 158. Let v = c - -621. Is 15 a factor of v?
False
Suppose 3*q - 5 = -5*s, 4*q = -2*s - 0 + 2. Suppose -y - 2*y + 339 = q. Suppose 3*g = -14 + y. Does 11 divide g?
True
Let g(p) = p**2 + p - 17. Let l(h) = -h - 1. Let c(k) = g(k) + l(k). Let y be c(-15). Suppose 3*m + 3*a - a - y = 0, 0 = -a. Does 23 divide m?
True
Let z = 2124 + -1692. Is z a multiple of 24?
True
Does 59 divide 2*(-31)/186*(1 + -2548)?
False
Let q(t) = -t + 4. Let d be q(-10). Let i = d + -17. Is 57 + i/(4 - 1) a multiple of 14?
True
Let x = -809 - -1439. Does 90 divide x?
True
Let r(o) = 6*o +