of q(n)?
True
Let g(v) = 2*v + 26. Let s be g(-8). Let t be (-2 + 10/4)*-6. Is s/30 - 23/t a multiple of 5?
False
Let z(x) = x**3 + 45*x - 7. Is z(10) a multiple of 39?
True
Suppose -5*b = -9*b + 12. Suppose 0 = -4*k + b*k - 4, 4*f = -2*k + 120. Is f a multiple of 7?
False
Suppose 5*s + 7 - 2 = 0. Is -1 - -81 - (s + (-3)/(-1)) a multiple of 13?
True
Let t be 4/8*(-156)/3. Let m = 47 + t. Is m a multiple of 7?
True
Let c = -43 + 421. Is 54 a factor of c?
True
Suppose -12*p + 110 = -p. Does 5 divide p - (3/(-5) - 8/(-5))?
False
Let l(y) = 154*y**2 - 30*y - 15. Does 9 divide l(5)?
False
Suppose -t + 5*g = -4*t + 2248, -2280 = -3*t + 3*g. Is 9 a factor of t?
True
Suppose 3*z - 4*z = -5. Suppose 12*u = z*u + 112. Does 5 divide u?
False
Let q be 84/(-3) + (-2 - -1). Let k(w) = -6*w**2 - w - 2. Let b be k(-3). Let m = q - b. Does 5 divide m?
False
Let q = -285 - -439. Is 7 a factor of q?
True
Let z(i) = -i**2 + 8*i + 20. Let s be z(10). Is 23 a factor of 28 + s + -1 + 1?
False
Let j be (-24)/((-1)/(-1))*-1. Let l(o) = 4*o - 2. Let d be l(3). Suppose -13*t = -d*t - j. Is 8 a factor of t?
True
Let q(c) = -2*c**2 + 29*c - 6. Let o be q(12). Let p = 156 + o. Does 14 divide p?
True
Let w(k) = -5*k**3 + 3*k**2 - 3*k - 6. Let q be w(-4). Let y = -214 + q. Suppose 0 = -3*p + 29 + y. Does 16 divide p?
False
Let t be (-8)/(-20) - 335/25. Let b = -8 - t. Does 5 divide b?
True
Is (46 - 49)*(-41 + -1) a multiple of 63?
True
Let i be ((-12)/(-10))/(2/185). Let b = 52 + -131. Let a = i + b. Does 8 divide a?
True
Suppose 30*t + 11*t = 41123. Is t a multiple of 17?
True
Suppose -16*b + 18750 = 1182. Is 20 a factor of b?
False
Suppose -7 = 2*j - 27. Let z(c) = 32*c - 66. Let v be z(2). Let k = v + j. Does 6 divide k?
False
Is ((-78)/(-15) - 7)/(2/(-370)) a multiple of 6?
False
Let u = 3200 - 2958. Is u a multiple of 49?
False
Let k = 1059 - 634. Does 17 divide k?
True
Let s be -2 + 1 + (-54)/3. Suppose 16*o - 869 = 5*o. Let f = o + s. Is 30 a factor of f?
True
Let o(n) = n - 2. Let k be o(7). Suppose -5*y - 5 = k*p, -2*p - 4*y = 3*p. Suppose -5*i - j + 265 = 3*j, 0 = -p*i - 5*j + 203. Is i a multiple of 27?
False
Let t(m) = 10*m - 40. Let r be t(4). Suppose 5*a - 158 + 53 = r. Is a a multiple of 7?
True
Suppose -5*k + 11*k - 2070 = 0. Is k a multiple of 15?
True
Suppose 632 = 2*s + 180. Is s a multiple of 15?
False
Let o be -1*(-7)/((-14)/16). Let s(k) = -2*k**2 - 16*k + 4. Let b be s(o). Suppose 0 = -b*c + d + 543, -4*c + 545 = -d + 2*d. Is 34 a factor of c?
True
Suppose -i + 3 + 0 = 0, 0 = -3*n + i - 27. Let t(d) = -d**3 - 7*d**2 + 6*d + 2. Does 6 divide t(n)?
True
Let t be ((-3)/2*-1)/(12/72). Suppose -f = -t*f + 1456. Is 27 a factor of f?
False
Let l(j) be the third derivative of j**6/120 - 11*j**5/60 + 2*j**3 + 4*j**2. Is 12 a factor of l(11)?
True
Suppose 0 = 3*r + 5*t - 826, t + 555 = 4*r - 2*r. Suppose 0*o + 10 = o + h, 20 = 4*h. Suppose -o*i + b = -r + 12, -5*i + 5*b + 265 = 0. Does 15 divide i?
False
Let r be 3 + 0*(-2)/4. Suppose r*z - 6*z - 3*x - 27 = 0, x + 4 = 0. Does 12 divide z*(-18)/10*4?
True
Let r(g) = -g**2 - 41*g + 145. Is r(-33) a multiple of 13?
False
Let t be 2019/15 - (-2)/(40/(-12)). Suppose -94 + 554 = 5*c. Let z = t - c. Does 18 divide z?
False
Let s = 7 + 23. Let t be 0/(-3 + 5/(-5)). Suppose -3*m = -t*m - s. Is m a multiple of 10?
True
Let g = -35 + 43. Suppose -g*c - 800 = -13*c. Is 31 a factor of c?
False
Let t(s) = s**3 - 11*s**2 - 2*s - 4. Let i be t(11). Is 4/i - (-7320)/260 a multiple of 10?
False
Let v be (-99)/(-5)*120/18. Is 4 a factor of (v/10)/(12/(-20) - -1)?
False
Let o = -4 - -4. Let q be 1/(-1) - -3 - o. Suppose 12 = 2*c - 0*d + q*d, 4*d = 2*c. Does 4 divide c?
True
Let x = -124 - -174. Let s = x - 2. Does 8 divide s?
True
Let f be (-15)/(-20)*5/3*4. Suppose -5*t + 170 = 3*i, 162 + 146 = f*i - 4*t. Does 15 divide i?
True
Suppose 5*v - 4*m - 605 = -9*m, 5*v - 3*m = 613. Let n = v - 20. Does 17 divide n?
True
Suppose -101 + 41 = -3*c. Let y = 23 - c. Suppose -12 = y*s - 312. Is 27 a factor of s?
False
Let h = 10 - 3. Suppose 3*p = h - 1. Let s(f) = 4*f**3 - 2*f**2 + 4*f - 2. Is 15 a factor of s(p)?
True
Suppose 0 = -18*q + 2558 + 466. Is q a multiple of 2?
True
Suppose 2*z = 5*o - 0*z - 15, 3*o - 25 = -2*z. Suppose -4*l + 73 = m, 286 = 4*m + 3*l + 7. Is 18 a factor of (3 - o)*m/(-2)?
False
Let f = -230 + 516. Is f a multiple of 62?
False
Let m be 175 - (8/(-4) - -1). Let d = m + -86. Is d a multiple of 45?
True
Let o = 1984 + -1345. Is o a multiple of 10?
False
Let h be 54/(-9)*(-1)/3. Suppose 34*b = 35*b - h. Suppose 0 = b*i - i - 75. Does 15 divide i?
True
Suppose -4*a = 5*i + 3 + 1, 0 = 2*i + a + 1. Let y(g) = -2*g + 113. Is 14 a factor of y(i)?
False
Let k = -1094 + 1210. Does 11 divide k?
False
Let u(f) = -14*f - 6. Let p be u(5). Let x = p - -120. Is 8 a factor of x?
False
Let t = -16 - -12. Is 11 a factor of -1*(-49 + -2 + t)?
True
Suppose -25*g + 24*g = b - 102, 0 = 5*b - 2*g - 503. Does 4 divide b?
False
Let f = -2143 + 5151. Does 44 divide f?
False
Suppose v + 4*p - 171 = -0*p, -540 = -3*v - 3*p. Is v a multiple of 7?
False
Let x = 191 + -148. Does 18 divide x?
False
Is 7 a factor of (17444/(-445))/(0 + (-4)/10)?
True
Let m(g) = g**2 - 7*g + 3. Let n be m(8). Let i = n - 11. Suppose 4*r + 186 = 3*s + 3, -4*s - 5*r + 213 = i. Does 19 divide s?
True
Let l(u) = 8*u - 8. Suppose 19*s = 15*s + 20. Is 16 a factor of l(s)?
True
Let n(x) = -4*x + 14. Let j(v) = -13*v + 43. Let r(y) = -2*j(y) + 7*n(y). Let m be r(-11). Suppose 0 = 3*p - 5*c - 101, 2*p + 2*c = -3*c + m. Does 13 divide p?
False
Let j = 59 - 23. Is 24*(-3 - j/(-8))/3 a multiple of 6?
True
Let q = -103 + 104. Let w(i) = 59*i**3 + i**2 + 3*i - 3. Does 11 divide w(q)?
False
Let r(l) = l**3 - 22*l**2 - 47*l - 19. Let x be r(24). Does 9 divide 1*x/((-5)/(-72))?
True
Let a = 1 + 8. Let q be -12*((-30)/a - -3). Suppose d = 9 - q. Does 2 divide d?
False
Suppose 4*x + 10 = 6*x. Suppose -x*z + 3*i - 66 = 0, -13 - 9 = 2*z + i. Let o = -2 - z. Is o a multiple of 5?
True
Let o(s) = 122*s**3 + s**2 - 4*s + 1. Is o(1) even?
True
Let v = 15 + 12. Let h(s) = 13*s + 27. Let z be h(-3). Let m = z + v. Does 15 divide m?
True
Suppose -2255 - 1714 = -27*a. Is a a multiple of 20?
False
Suppose 2*a - 34 = -0. Does 13 divide (-26)/5*(2 - a)?
True
Suppose -3*v + 7*v = -188. Let k = -11 - v. Is 12 a factor of k?
True
Let b(m) = 2*m - 7. Let f be b(11). Suppose f*r = 13*r. Suppose 3*l - 39 = -r*l. Is 13 a factor of l?
True
Let d(r) = r**2. Let t(h) = h**3 - 3*h**2 - h - 218. Let x(m) = -3*d(m) - t(m). Let v be x(0). Suppose 50 - v = -4*g. Is 11 a factor of g?
False
Let d(a) = -2*a**2 + 2*a - 2. Let q be ((-4 - -2) + 5)/3. Let w be d(q). Does 22 divide 67 - (4/(-2))/w?
True
Suppose 0 = 5*t - 8*t + i + 316, -3*t - 3*i + 312 = 0. Does 7 divide t?
True
Let o(n) be the first derivative of -1/2*n**2 + 2*n**3 - 2 - n. Does 2 divide o(-1)?
True
Is 31 a factor of ((-8)/20)/(-1 - 8367/(-8370))?
True
Let c(n) = 5*n**2 + 14*n + 31. Let h be c(-7). Suppose -h = 2*u - 590. Does 21 divide u?
False
Let a = 13 - 8. Let d be (2/(-5))/(a/25). Does 7 divide (-2 + 16)/(d/(-3))?
True
Suppose 45*n = 40*n + 640. Let p = n + -45. Is 7 a factor of p?
False
Let l be (0 - 1)*2 - 18. Let n = l + 25. Suppose 55 = r + 5*j, -j - 4*j = -n*r + 185. Is r a multiple of 10?
True
Suppose 41*w = 3825 + 20529. Does 11 divide w?
True
Let b(j) = -14*j**3 - 2*j**2 + j - 2. Does 22 divide b(-4)?
True
Let b be (-1498)/18 - 2/27*-3. Let s = 132 - b. Does 9 divide s?
False
Is 8 a factor of (6 - 10)*(-2 - (-214)/(-1))?
True
Suppose 4*l - 3 = 5. Suppose 6 = -l*k - 4*x, 2*x = -5*k + 18 - 1. Suppose b - k = 7. Is 12 a factor of b?
True
Suppose 3*t + 5*c - c = 187, -2*c - 355 = -5*t. Does 3 divide (-2)/(-8) + t/12?
True
Suppose 0 = -4*f - f - 115. Let p = f - -30. Does 6 divide p?
False
Suppose -224 = 4*r - 104. Let o(v) = -v + 52. Let f be o(0). Let n = r + f. Is 15 a factor of n?
False
Let u(j) = 7*j**3 - 6*j**2 - 8*j + 6. Let k(i) = -3*i**3 + 3*i**2 + 4*i - 3. Let l(n) = 5*k(n) + 2*u(n). Let a = -5 - -8. Is 5 a factor of l(a)?
False
Suppose 3*z = -3*o + 3, -5*z + 14 = -6*z + 4*o. Let w(i) be the first derivative of i**3/3 - i + 1. Is w(z) a multiple of 3?
True
Let c = 42 - 36. Let s(h) = h + 9 + 0*h + h. Does 10 divide s(c)?
False
