de u(q)?
False
Let g(p) = -1. Let r(q) = 3*q + 7. Let n(o) = g(o) - r(o). Let c be n(-5). Suppose -41 = -4*w + c. Is 3 a factor of w?
True
Let p(l) be the third derivative of 1/120*l**6 - 2/15*l**5 + 5/6*l**3 + 0*l - 7*l**2 + 7/24*l**4 + 0. Is 17 a factor of p(8)?
False
Let h(k) = 46*k - 61. Is h(10) a multiple of 34?
False
Suppose 8*a + 93 = 725. Is a a multiple of 24?
False
Suppose -4*v = -5*v - 4*x + 48, -3*x - 211 = -4*v. Suppose v = 3*s + o, -3*s = -5*o + 3*o - 58. Does 4 divide s?
False
Let q be 3 + -1 - (-1 + 1). Suppose 13 = a - q*r, -3*a - 7*r = -3*r - 59. Is a a multiple of 4?
False
Let y be (-4 - -8 - 2) + (-150)/(-2). Let p = y - 32. Is p a multiple of 5?
True
Let n(v) = 3*v**2 + 18*v + 15. Does 8 divide n(-12)?
False
Let f = -123 - -127. Is f even?
True
Suppose 2354 = -20*j + 9*j. Let i = j - -385. Does 19 divide i?
True
Let i = 23 + -18. Let c(s) = -s + 8*s + 4*s + i*s. Does 16 divide c(3)?
True
Let j(z) = -10*z + 161. Is j(-43) a multiple of 37?
False
Let n be (-1 - -2) + (-6 - -22). Let r = 20 - n. Suppose -1 - 71 = -r*h. Is h a multiple of 8?
True
Suppose -1553 = -4*k - w, 5*k + 3*w = -0*k + 1950. Suppose 8*s - 317 = k. Is s a multiple of 12?
False
Let f(x) = 9*x + 3. Let s be f(-2). Is 13 a factor of (140/s)/((-2)/9)?
False
Suppose -r + 2*u = 5, 3*u - 3 = 2*u. Let i be 2 - r - -2 - -16. Suppose 3*o - i = -2*g + 16, 4*g - 4*o = 100. Does 11 divide g?
True
Let m = 264 + -68. Is 7 a factor of m?
True
Let l(m) = -m**2 + m - 6. Let a be l(0). Is 13 a factor of (-1 + 27/15)/(a/(-195))?
True
Suppose 3*w = -s + 343, 0 = -5*s - 2*w + 1024 + 678. Is 68 a factor of s?
True
Is 20 a factor of 1972 - (3 + 6/(-3))?
False
Suppose 2*d + l = 1, 3*l - 8*l = -4*d + 23. Suppose -d*g = -4*w + 54, g = -5*w - 3*g + 61. Let a = 22 - w. Does 9 divide a?
True
Suppose -3*i - 2*m = -0*i - 392, -2*i + 3*m = -257. Let q be ((-44)/10)/(13/i). Is -1*(q + (-8)/(-2)) a multiple of 19?
False
Let r(y) = 6*y - 21. Let s be r(3). Does 5 divide (-225)/s + 4/(-2)?
False
Suppose y - 6*y - 40 = 0. Let d = y + -1. Is 26 a factor of 324/4 + d/3?
True
Let m = 247 + 233. Does 48 divide m?
True
Let f be 50/(-6) + 10/(-15). Let i = f + 1. Does 8 divide -8*(-3 + i/4)?
True
Suppose 0 - 4 = -4*a. Let h = 0 + a. Is 17 a factor of (54 + (5 - 3))/h?
False
Let a = -23 - -43. Suppose 17*d + 24 = a*d. Does 4 divide d?
True
Let r(f) = -f**2 - 7*f - 3. Suppose 12 = -n - n. Let v be r(n). Does 2 divide (v + -2)*3 + 3?
True
Let l be (40/24)/((-2)/(-6)). Suppose 0 = -7*o + 5*o + 6. Suppose 2*m - 5*m - o*t = -138, l*t = -5. Does 23 divide m?
False
Let f(h) = -h**2 - 7*h - 4. Let y be f(-6). Suppose -2*w = -y*v + 140, -v + 2*w = -81 + 16. Is v a multiple of 9?
False
Let a = -7 - -4. Does 21 divide 250/(0/a + 2)?
False
Suppose 3*p - 1095 = -3*r, 4*p - 5*p = -4*r - 385. Is 41 a factor of p?
True
Let k be (-3)/(-1) - (-25 + -1). Let z = 6 + k. Is 7 a factor of z?
True
Is 24 a factor of (670 - -1) + (4 - 3)?
True
Let i(r) = -46*r + 6. Is 3 a factor of i(-3)?
True
Let q = 112 - 273. Let s = q + 359. Let b = s - 135. Is b a multiple of 21?
True
Let q(l) = 7915*l**2 - 15831*l**2 + 7907*l**2 - 7*l - 6 + l**3. Suppose 2 = -2*j + 22. Is 6 a factor of q(j)?
True
Let k(c) be the second derivative of 0 - c**3 + 11/2*c**2 + 6*c. Is 19 a factor of k(-13)?
False
Let k(t) = t**3 - 7*t**2 - t + 18. Is k(7) a multiple of 2?
False
Let q be 2*(3 - 2) - 2. Suppose q = 2*p + p. Suppose -t - 164 = -4*w, 3*w - 2*t + 22 - 145 = p. Does 12 divide w?
False
Let m = 54 - -384. Is 54 a factor of m?
False
Suppose 198 = 3*o - 234. Does 14 divide (o/28)/((-2)/(-28))?
False
Let u(o) = -2*o**3 + 6*o**2 - 6*o + 5. Let p(n) = n**2 - n + 1. Let f(m) = 5*p(m) - u(m). Let k be 2/(1 + 0/1). Is 14 a factor of f(k)?
True
Suppose 1505 + 1735 = 45*m. Is m a multiple of 2?
True
Let y(l) = 9*l + 2. Suppose 4*z - 2*q + 4*q + 10 = 0, -2 = -2*q. Let t be y(z). Let h = 45 + t. Does 12 divide h?
False
Suppose -2*k + 6*k + 4*t = 0, 4*k - 5*t - 27 = 0. Suppose -2*p + l - 85 = -692, -2*p - 3*l = -611. Suppose -p = -k*i - i. Is i a multiple of 24?
False
Let r be -4*(-7)/((-28)/(-30)). Suppose 0 = 11*x - 14*x + r. Is x a multiple of 5?
True
Let j(a) = -a**2 - 8*a + 5. Let k be j(-8). Suppose -4*q - r - 3*r = -104, -4*r - 166 = -k*q. Does 10 divide q?
True
Let t = 3537 - 2121. Is t a multiple of 59?
True
Suppose -4*a = -13*a. Suppose a = 4*k - 154 - 134. Does 24 divide k?
True
Let o be (-2)/4 + (-357)/(-14). Suppose 2*t - 29 = o. Does 27 divide t?
True
Suppose a - 33 = 5*n, 3*n = -5*a - 1 - 2. Let k be (4/(-3))/2*n. Suppose k*g + 40 = 2*x, x + 0*x - 3*g = 21. Is 7 a factor of x?
False
Let q(m) = -6*m**3 - m**2 - m. Let g be (1/(-2))/((-1)/(-2)). Let u be q(g). Suppose -u*c + 11*c - 175 = 0. Is 6 a factor of c?
False
Let h = -851 - -444. Let i = -149 - h. Is i a multiple of 26?
False
Suppose -1448 + 528 = -5*f. Suppose 4*h = s + f, -3*h - s + 176 = h. Is h a multiple of 15?
True
Let t(q) = q**2 - 3*q. Let c be t(4). Is 42 a factor of ((-2 - -16) + -2)/(c/98)?
True
Let t(z) = -z**3 + 2*z**2 + 2*z + 3. Let s(o) = -2*o**3 + 5*o**2 + 6*o + 8. Let y(h) = 3*s(h) - 8*t(h). Is y(2) a multiple of 10?
False
Let f(k) = k**2 + 7*k - 38. Let r be f(-12). Does 9 divide 3 - ((-11)/(r/320) + 1)?
True
Let t(j) = 22*j + 14. Is t(17) a multiple of 23?
False
Suppose -16*l + 25*l = 9. Does 8 divide (285/(-2))/(-3) + l/2?
True
Let u be (-1 + -3 + 4)/(-1). Suppose u = -4*t + 19 + 1. Is ((-108)/(-20))/(1/t) a multiple of 20?
False
Let g be (-2 - -1) + (0 - -1). Let n be ((-3)/(-6)*g)/1. Suppose 3*h = -n*x - 3*x + 45, -3*x - 5*h + 35 = 0. Is x a multiple of 10?
True
Suppose 5*t = 1064 + 26. Suppose -4*y = 5*f - t - 184, 2*f + 290 = 3*y. Does 18 divide y?
False
Let u = -811 - -1340. Does 7 divide u?
False
Let z = -105 + 108. Suppose m + 4*c - 193 = 0, -m - z*m + 758 = 2*c. Is 18 a factor of m?
False
Let t be (5 - 0)/((-2)/4). Let z(d) = -d**3 - 8*d**2 + 12*d - 9. Is 6 a factor of z(t)?
False
Let x(a) = -181*a**2 - a - 2. Let m be x(-1). Let n = m - -259. Is n a multiple of 18?
False
Let m = -4 + -10. Let h = -19 - m. Let t(y) = y**2 + 3*y + 2. Does 4 divide t(h)?
True
Let z = -1459 - -1611. Does 38 divide z?
True
Let x(y) = 5*y**2 - 7. Let u = 10 - 7. Is x(u) a multiple of 22?
False
Is 13 a factor of (-186860)/(-90) - (-8)/(-36)?
False
Let y(s) = -s**3 - 14*s**2 - 14*s - 11. Let q be y(-13). Suppose 33 = 3*g - t, -2*g + 36 = g - q*t. Is 8 a factor of g?
False
Let n = 295 - 275. Suppose 4*f - 34 - 34 = 0. Let z = n + f. Is 7 a factor of z?
False
Is 12 a factor of ((-21546)/(-8))/9 - 15/(-20)?
True
Suppose 0 = -6*o + 3*o - 15, 2*h - 25 = 3*o. Is h a multiple of 5?
True
Suppose 7*r - 543 = 283. Let i = -74 + r. Is 11 a factor of i?
True
Suppose -6*q + 309 = -3*q - 5*l, -l = -3. Suppose -6*w = -q - 36. Does 8 divide w?
True
Suppose 3*v = 4*b + 2171, 58*v - 61*v + 2*b + 2167 = 0. Does 8 divide v?
False
Suppose 4*a - 1821 = -3*g, -5*a + 1575 = 2*g - 703. Suppose -5*k + 3*f + a = 0, -4*k + 2*f = -3*f - 370. Is k/7 + 7/49 a multiple of 4?
False
Suppose -56*s = -60*s + 1680. Is 20 a factor of s?
True
Let s(j) = j**3 - 7*j**2 + 4*j + 2. Let p(b) = -2*b**3 + 15*b**2 - 7*b - 3. Let o(a) = -4*p(a) - 7*s(a). Let y be o(11). Is 6 a factor of (-2)/(y - (-5)/3)?
True
Suppose 41*d - 40*d = 36. Suppose -d = -8*x + 244. Is x a multiple of 7?
True
Suppose 5*j = -5*j + 10160. Does 42 divide j?
False
Suppose -u + 2*o - 174 = -712, 0 = 4*u + 2*o - 2162. Is u a multiple of 27?
True
Let z = -7 + 7. Suppose z = 4*l - l + 66. Let f = -4 - l. Is 6 a factor of f?
True
Does 13 divide 6/45 - (-2334)/45?
True
Does 24 divide (36/(-4))/((-3)/40)?
True
Suppose 4*r + 7*i + 9 = 2*i, -10 = 2*i. Suppose 2*f = 5*p + 405, 2*p - r*f = -40 - 138. Let h = -46 - p. Is h a multiple of 7?
False
Suppose -4*r - 11*r = -45. Suppose 0 = 2*o + 2*o - r*m - 197, 0 = o + 5*m - 55. Does 8 divide o?
False
Let u = -360 - -444. Is 21 a factor of u?
True
Let j(r) = -r**3 - 16*r**2 + 20*r + 16. Let k be j(-17). Let v = -5 - k. Is v a multiple of 30?
True
Suppose 0*s + 3*s = 33. Suppose 266 = 4*q - s*q. Let r = -31 - q. Is 4 a factor of r?
False
Let v(l) = -1 + 6 + 1 + 10*l. Suppose 0 = -4*x - 12, 0 = 2*n - 2*x - 2*x - 22. Is 26 a factor of v(n)?
False
Let g = 1640 + -1440. Is 20 a factor of g?
True
Let m = -34 - -139. Let x = m +