2) + 6/(-4) a multiple of 14?
False
Let k = 418 + 411. Does 24 divide k?
False
Suppose 1085 = 11*b - 2589. Suppose -2*q - 60 = -b. Is 5 a factor of q?
False
Suppose z = o + 50, 4*o - z - 9 = -200. Let t = o - -182. Is 27 a factor of t?
True
Let z(p) = 11*p - 1. Let w be z(-1). Does 3 divide ((-2)/w*10)/((-1)/(-9))?
True
Let w(j) = -j**3 - j**2 + j + 92. Suppose -x + 20 = 2*v - 6*v, 5*v + 25 = -5*x. Does 23 divide w(x)?
True
Suppose -692*m + 3150 = -689*m. Does 15 divide m?
True
Let i(y) = -144*y + 280. Is 13 a factor of i(-6)?
True
Let i(f) = -f**3 + 32*f**2 + 84*f - 157. Is i(34) a multiple of 106?
False
Let h(w) = -4*w**3 + 5*w**2 + 5*w - 2. Let i(u) = 9*u**3 - 11*u**2 - 11*u + 4. Let x(r) = -5*h(r) - 2*i(r). Is 10 a factor of x(3)?
True
Let f(r) = -16*r - 11. Let c be f(-5). Let h = c - -30. Is 33 a factor of h?
True
Let z(k) = 16*k - 16. Let r be z(6). Is (r/(-32))/((-1)/10) a multiple of 25?
True
Let d = 4420 + -1282. Is 91 a factor of d?
False
Let a be 1/((-3)/35 - 14/(-49)). Suppose -a - 11 = -v. Is v a multiple of 16?
True
Suppose -2*y + 0*y + 15 = 5*a, -5*a - 5*y + 15 = 0. Suppose 36 + 918 = 4*l - 2*c, -c - 718 = -a*l. Let b = -168 + l. Is 17 a factor of b?
False
Suppose 11*r - 95 = 312. Does 6 divide r?
False
Let q(v) = 3*v**2 - 4*v + 5. Let n be q(4). Suppose -y + 19 = -n. Does 8 divide y?
True
Let q(m) = 5*m**2 + 8*m + 61. Is 13 a factor of q(-10)?
True
Let t(h) = -180*h - 5. Let c = 79 - 80. Does 25 divide t(c)?
True
Suppose -53*n = -13*n - 22400. Does 20 divide n?
True
Suppose 5*p - 16 = p. Let i(b) be the second derivative of b**5/20 - b**4/3 + 2*b**3/3 - b**2 - 3*b. Is 3 a factor of i(p)?
False
Suppose -11*g + 1406 = -1597. Does 7 divide g?
True
Let m = 50 - 50. Suppose m*n - n = -10. Is 10 a factor of n?
True
Let j be (-13)/(-2) + (-15)/10. Suppose -2*i - j*z + 286 - 25 = 0, -i + 138 = -5*z. Is 41 a factor of i?
False
Is 10 a factor of -2 + (8 + -1 - -235)?
True
Let t be 1/((-2)/6*-1). Suppose -t*w - 4*k + 408 = 0, -5*w + 3*k = -k - 680. Suppose 3*z + 129 = 5*g, -5*g = -z + 3 - w. Is 6 a factor of g?
False
Suppose -1176 = -5*r + 104. Is r a multiple of 16?
True
Let q = 78 + -33. Let c = 84 - q. Is 30 a factor of c?
False
Let j = 9 - 3. Is -5 + 70/15 + 74/j a multiple of 12?
True
Suppose 4 - 2 = -2*c, -4*c = 2*o - 734. Suppose -144 = -2*l - 4*f + 7*f, 3*f + o = 5*l. Is 15 a factor of l?
True
Let i = 194 - -265. Is i a multiple of 14?
False
Suppose 3*x = 4*t - 8 + 125, -5*x + t + 178 = 0. Suppose 3*a - 4*a = -x. Does 5 divide a?
True
Suppose 11*j + 2405 = -2*j. Let k = 15 - j. Is k a multiple of 20?
True
Suppose -5*m + 4*g - 23 + 170 = 0, 0 = 5*m + 5*g - 120. Let p = -12 + 31. Let w = p + m. Does 13 divide w?
False
Let c(d) = -d**3 + 15*d**2 - d + 7. Let t be c(15). Is 3 a factor of (8/20*5)/(t/(-36))?
True
Let o be (-2944)/14 - 2/(-7). Let n = -143 - o. Is 12 a factor of n?
False
Suppose -2*y = -3*p + 551, -p + 0*p = -4*y - 197. Is (-2)/4 - p/(-2) a multiple of 15?
True
Suppose o - 4*o - 336 = 0. Let t = 143 + o. Does 29 divide t?
False
Is 13 a factor of 0 + 2/(-16) - 54603/(-24)?
True
Suppose -4*o = 3*o + 7. Let i(r) = 90*r**2 + 4*r + 4. Is 15 a factor of i(o)?
True
Let a(y) = -y**3 + y**2 + 6*y + 3. Let x be a(3). Let d be -1*x + 50/5. Suppose -5*h + 142 = 4*z, 0 = d*z - 2*z - 5*h - 200. Is z a multiple of 19?
True
Let q(x) = -9*x - 2. Let u = 9 + -12. Let v be q(u). Suppose 2*l - v = 15. Is 10 a factor of l?
True
Suppose 0 = 4*r - 7*r + a + 2234, 4*r = 2*a + 2980. Is 6 a factor of r?
True
Let o be (-38)/(-14) + 74/14 + -5. Suppose -3*u - 2*u + 151 = 4*w, -o*w = u - 28. Does 8 divide u?
False
Suppose -3*h + 41 = 5*a + 12, -26 = -2*h - 5*a. Suppose d = -0*d - h, 0 = -3*n + 4*d - 195. Let c = -11 - n. Is 15 a factor of c?
False
Let p(i) = -4*i**3 + 2*i**2 + 4*i + 9. Let f be p(-5). Suppose 4*b + f = 3*c, -c + b + 351 = c. Let q = 263 - c. Does 19 divide q?
False
Let t = -1056 - -1270. Does 32 divide t?
False
Let f(t) = 4 + 0 + 0*t + 3 - t. Let h be f(-5). Let z = h - -5. Does 3 divide z?
False
Let n = 56 + -49. Let u(j) = 6*j**2 + 5*j - 7. Let s(m) = 5*m**2 + 5*m - 6. Let x(a) = -7*s(a) + 6*u(a). Is 7 a factor of x(n)?
True
Is (-1 - -2)/(1 + (-12770)/12775) a multiple of 73?
True
Suppose -5*w + 2982 = -3*w. Is w a multiple of 21?
True
Suppose 8 = -m - 0. Let n = m + 3. Is 7 a factor of n/15 + (-58)/(-3)?
False
Let s = -4 + 10. Let a(l) be the second derivative of l**4/12 - l**3 + 4*l**2 + 35*l. Does 4 divide a(s)?
True
Let t be (-16)/12*(-84)/8. Suppose t*m - 11*m - 108 = 0. Is 6 a factor of m?
True
Let w be (-15)/(2/(4/(-2))). Suppose -10*z - 595 = -w*z. Is 11 a factor of z?
False
Suppose -2*m + 21416 = 4*h, 5*m - 5 - 5 = 0. Is h a multiple of 101?
True
Let c(h) be the first derivative of 16*h**3/3 - h**2 + 3*h + 8. Is 13 a factor of c(2)?
False
Suppose -6*x + 80 = -x. Let o(r) = -r**2 + 17*r + 17. Is 21 a factor of o(x)?
False
Suppose -21 = -2*z - z + r, 5*z - 35 = 3*r. Suppose -111 - 64 = -z*j. Is 4 a factor of j?
False
Is 15*(0 + (-1566)/(-30)) a multiple of 65?
False
Is 20 a factor of (-36)/(-6) + -1 + 963?
False
Let q(p) be the first derivative of 2*p**2 - 7*p - 4. Is 5 a factor of q(13)?
True
Let v = -2219 - -2261. Is 6 a factor of v?
True
Let u(k) = -32*k + 14. Does 45 divide u(-8)?
True
Let c be ((-4)/(-12))/((-1)/21). Let o(g) = 2*g**2 + 6*g - 16. Is o(c) a multiple of 25?
False
Let s = -201 - -536. Is 8 a factor of s?
False
Let w be (-210)/(-20) - (-1)/2. Suppose -w = -k + 12. Does 3 divide k?
False
Suppose 5*t + 20 = 5*s, 0 = -2*s + t + 4*t + 14. Let k be (3/s)/((-6)/468). Let q = -57 - k. Does 24 divide q?
False
Let x(g) = -11*g + 2. Let h(f) = 22*f - 4. Let v(l) = -2*h(l) - 5*x(l). Let y be v(1). Suppose -2*a + 3 = -y. Is a a multiple of 6?
True
Let o(f) = -9*f**2 + 5*f + 13. Let z(p) = -14*p**2 + 8*p + 20. Let k(x) = -8*o(x) + 5*z(x). Let u be k(5). Suppose w + 16 - u = 0. Does 17 divide w?
False
Suppose -a - 5*v = -3*a - 335, 4*a + 725 = -v. Let i = 255 + a. Is 25 a factor of i/(-9)*18/(-3)?
True
Suppose -5*n + 0*n = 0. Suppose n = 44*s - 46*s + 110. Does 11 divide s?
True
Let x = -22 + 34. Suppose -6*i + 3*i = -x. Suppose m - 5 = 0, 5*k = -m - i*m + 210. Is 18 a factor of k?
False
Suppose 2*t + 32 = -0*t. Let k = t - -21. Suppose 0 = -4*v + k*l + 160, 164 = 4*v - 4*l - 0*l. Is v a multiple of 9?
True
Let r(o) = -2*o**3 - 7*o**2 - 7*o - 7. Let i be -2*3*28/42. Does 37 divide r(i)?
True
Suppose v - 104 - 416 = -3*t, -4*t + 695 = 3*v. Is 12 a factor of t?
False
Let n be 30/(-195) + (-11306)/26. Let m = n + 660. Does 45 divide m?
True
Let a(r) = -r**2 + 8*r - 3. Let p be a(7). Suppose z = -p*z + 5*f + 70, -4*f = 0. Is 14 a factor of z?
True
Let p(r) = -r - 15. Let o be p(-20). Let w(c) = c**2 + 4*c - 12. Does 8 divide w(o)?
False
Suppose -4*w = q + 19 - 931, 0 = -4*q + 2*w + 3684. Does 23 divide q?
True
Let f = 2271 + -1888. Is f a multiple of 8?
False
Suppose 5*z + 13 = -17. Let w = 26 - z. Let t = 72 - w. Is t a multiple of 10?
True
Let z(s) = 2*s**2 - 13*s + 17. Let t be z(5). Suppose -47 = -t*m + 13. Is m a multiple of 6?
True
Suppose 68*l = 69*l - 1083. Is 40 a factor of l?
False
Let c be 6/(-2) - (3 + -40). Suppose c = b - 34. Does 19 divide b?
False
Let u(c) = 16*c - 2. Let p(k) = -4*k**2 - 20*k - 13. Let y(h) = 3*h**2 + 13*h + 9. Let l(r) = -5*p(r) - 7*y(r). Let d be l(9). Is u(d) a multiple of 15?
True
Suppose -2*v + 848 = -4*z, 63 + 2033 = 5*v - 4*z. Does 16 divide v?
True
Let c be 7 + (-4 - 0) - -42. Suppose 0 = c*f - 50*f + 300. Is 32 a factor of f?
False
Let g = 8 - 8. Suppose g = -4*m + 16 + 4. Suppose 2*p - 8 = 2*f - 4*f, 0 = m*p + 3*f - 26. Is 3 a factor of p?
False
Let r = -3464 + 5645. Is 23 a factor of r?
False
Suppose 0 = 322*l - 323*l + 42. Is l a multiple of 42?
True
Let d = 19 + 351. Is 54 a factor of d?
False
Suppose -991 - 1185 = -8*z. Is 16 a factor of z?
True
Let r(z) = z**2 + 5*z + 5. Let y be r(-5). Suppose 2*s - 6 = -5*x, 4*s + 20 = -s + y*x. Is ((-6)/s)/(-3) + 10 a multiple of 5?
False
Let b(h) = -9*h + 2*h**2 - 11 + 3*h + 8. Is b(7) a multiple of 9?
False
Let g(t) = 2*t**3 - 5*t**2 - 3*t - 4. Let v(d) = -3*d**3 + 6*d**2 + 4*d + 5. Let w(y) = 5*g(y) + 4*v(y). Let n be w(1). Is 0 - (n - (48 - 1)) a multiple of 13?
False
Does 8 divide (-4)/54 - 3894/(-81)?
True
Suppose a - 4 + 0 = 