r) = -r**2 + 22*r + 14. Let i be h(22). Suppose -i*n - 1046 = -6632. Does 24 divide n?
False
Suppose 7*o - 12 = 6*o. Suppose o = -7*t + t. Does 8 divide t + (95/(-20))/(1/(-12))?
False
Suppose 16 = 2*u - u - 3*k, -5*k = -2*u + 28. Suppose u*c + 4*d + 176 = 0, -2*d - 23 + 215 = -5*c. Let r = 52 + c. Is 5 a factor of r?
False
Let s(l) be the first derivative of -27*l**2/2 + 98*l - 123. Does 20 divide s(-26)?
True
Let w be -60*(2835/(-14))/(-9). Let a = w - -2912. Does 11 divide a?
True
Let w = -7388 + 14732. Does 13 divide w?
False
Suppose -44*z = -39*z - 35. Suppose -z*n + 2042 = -1416. Is 19 a factor of n?
True
Suppose 13*m - 8 = -8. Suppose 218*t - 217*t - 223 = m. Does 23 divide t?
False
Let c(g) = 22*g**2 - 2*g - 4. Let l be c(-2). Suppose 3*s + l - 394 = -4*y, 3*y - 215 = 5*s. Is 14 a factor of y?
False
Suppose 2*i - 1949 = 2*p + 25707, -5*i = p - 69116. Does 12 divide i?
True
Let a be (-4 - 8)/(-3 - -3 - -1). Let x = 14 + a. Suppose j - 31 = 2*r, -3*j = x*j + 4*r - 127. Is 9 a factor of j?
True
Let r = -48693 - -68943. Is 5 a factor of r?
True
Let j be (-350)/20 + (-15)/(-6). Let s(w) = -w + 57. Is s(j) a multiple of 4?
True
Let u(r) = 3*r + 30. Let t be u(-8). Suppose -t*m = -11*m + 1960. Suppose m - 76 = 2*b. Is 17 a factor of b?
False
Suppose -44*z + 101727 = -27*z + 72*z. Is 17 a factor of z?
False
Let y = 229 + -132. Does 8 divide (-1 - -1) + y + -2?
False
Suppose 48*p = 56*p - 56. Suppose 428 = 2*s + 2*o - p*o, -2*s = -2*o - 422. Does 11 divide s?
True
Suppose 14*u - 15*u = -571. Suppose -5*k + u = g, 0 = -2*k - 5*g + 192 + 18. Suppose -28 + k = 3*v. Is v a multiple of 4?
False
Is (4878/15 + -2)*(145 - (15 + -30)) a multiple of 31?
False
Suppose 12*k - 10939 - 45973 = -4*k. Is 18 a factor of k?
False
Let t = 33690 + -21849. Does 4 divide t?
False
Suppose v + 33864 = 4*o - 13132, 3*o - 3*v - 35238 = 0. Is o a multiple of 235?
True
Suppose -796180 = 17*s - 68*s - 103*s. Does 94 divide s?
True
Let h be -61 - 16/12*(-3)/(-2). Let q = h - -56. Is (3 + q/2)/(4/(-776)) a multiple of 17?
False
Suppose w - 2*j - 2 = 2*w, -4*w - 34 = -5*j. Let l(i) = -5*i - 12. Let o be l(w). Suppose 20*v - o*v = 14. Does 6 divide v?
False
Suppose 51*m + 5*b = 53*m - 19920, -5*m + 49899 = 4*b. Does 20 divide m?
False
Let q(x) = x**2 + 10*x + 3. Let t be ((-4 - -3)*-2)/(-2). Let a be (1 + t + -4)*77/28. Is q(a) a multiple of 3?
False
Suppose -757*q + 753*q + 9484 = 0. Let j = -922 + q. Is 69 a factor of j?
True
Suppose -3685*j - 2850 = -3690*j. Is 15 a factor of j?
True
Suppose 6*s + 18*s = 10872. Let f = 783 - s. Is f a multiple of 22?
True
Suppose -25*j = -37*j + 22*j - 91280. Does 15 divide j?
False
Suppose -19*z = 3064 - 41653. Is 49 a factor of z?
False
Let i be (8 - 18 - -11)*(-154)/(-2). Let j be 3480/28 - 2/7. Suppose n + i = j. Is 11 a factor of n?
False
Let o(y) = 10 + 1 - 19*y + 21*y - 46*y. Let d be o(-2). Let p = -52 + d. Does 4 divide p?
False
Let a(b) = -b + 50. Let o(t) = -t - 2. Let i(d) = -a(d) - 2*o(d). Let w be i(16). Suppose -5*m - 3*k + 600 = -m, -k + 300 = w*m. Does 8 divide m?
False
Let a = 11 + -9. Suppose -2*i + a*q + 58 = 0, -44 - 76 = -4*i + 5*q. Suppose i*r + 1235 = 30*r. Does 53 divide r?
False
Let d = 126 + 4. Let z be 730/(-4)*(-104)/d. Suppose 0 = -5*m + z + 259. Is 9 a factor of m?
True
Suppose 6*d - 3310 = 11*d. Let q be (d/8)/((-6)/24). Suppose -q = -11*r + 175. Is r a multiple of 10?
False
Let m = 0 - -4. Let c be (-75)/((-4)/(-10) + -1). Suppose 5*w - c = m*w. Does 25 divide w?
True
Let s(d) = -2*d**3 + 5*d + 3. Suppose -5*u - 21 = 4*b - 6, -5*b + 3 = -u. Is 15 a factor of s(u)?
False
Let q = -34 + 32. Does 11 divide 55*((-3)/q)/(2/4)?
True
Let k(q) be the first derivative of -4*q**3/3 - 121*q**2/2 - 29*q + 79. Does 68 divide k(-21)?
True
Suppose 2*m + 65 + 3 = 0. Let k(d) = d**3 + 10*d**2 - 49*d - 15. Let l be k(-13). Let y = l - m. Is 13 a factor of y?
False
Is ((-12)/8)/((-47)/142410) a multiple of 45?
True
Let t(d) = 35*d - 3. Suppose 0 = 11*b - 0*b + 231. Let x be ((-9)/(-5))/(b/(-70)). Is t(x) a multiple of 23?
True
Let u = 1190 - 633. Suppose 2*f = -141 - u. Let r = f + 524. Is 30 a factor of r?
False
Let k(b) = -25 + 4*b - b**2 + 0*b + 10*b. Let w(n) = n**2 + 2*n. Let p be w(2). Does 6 divide k(p)?
False
Does 10 divide (-21075)/(-24) + 18/(-144)?
False
Suppose -5*s = 2*a - 1510, -5*a - 460 = -s - 185. Suppose 0 = -9*k + 4*k + s. Is 8 a factor of k?
False
Let u = -4600 + 5464. Is 16 a factor of u?
True
Suppose -376764 = -23*c + 15702 + 43062. Is 263 a factor of c?
True
Let l be (6*(-7)/14)/(-1). Suppose 2*p - 2636 = -2*p - 4*u, 663 = p + l*u. Is 14 a factor of p?
False
Let z(n) = -14 + 0*n - 4*n - n - 9*n - 5. Let w = -1 + -2. Is 23 a factor of z(w)?
True
Suppose -912*v = -467*v - 464*v + 832352. Is 19 a factor of v?
False
Let y be (-1)/2 + (-2)/(-4). Suppose -2*k + 6 = -y. Suppose 6*p = -5*o + 7*p + 287, 0 = k*o - 4*p - 179. Is o a multiple of 19?
True
Let d be ((-1456)/(-448))/(0 + (-2)/(-8)). Suppose p - d*p = -1752. Is p a multiple of 12?
False
Suppose -3*h + 31 = -32. Suppose -m + w - 2*w = 5, -5*m + 5*w + 15 = 0. Is (-43)/((m - 1) + 35/h) a multiple of 12?
False
Suppose -1220 = -z - 419. Let w = z - 33. Is w a multiple of 64?
True
Suppose 906 = -8*q + 922. Suppose 4*t - 2252 = q*a, -5*t - 899 + 3716 = -3*a. Is 16 a factor of t?
False
Suppose z + 2*q - 4 = 0, q = z - 0*q - 7. Suppose z*a - 746 = 2224. Does 9 divide a?
True
Let a = 33 + 20. Let w(x) = 1 + a*x - 2 - 69*x - 13. Is 26 a factor of w(-9)?
True
Let b = 3598 - 1769. Is 31 a factor of b?
True
Let w(s) = s**3 - 17*s**2 + 67*s - 15. Let l be w(11). Let u = -13 + 29. Let j = u - l. Is 5 a factor of j?
True
Let r = -17106 + 25625. Is 30 a factor of r?
False
Let p = 44558 - 31260. Is 122 a factor of p?
True
Let c(z) = -4639*z + 203. Is c(-1) a multiple of 32?
False
Let p be 5962 - (-5)/2*2. Suppose -p = -15*t + 2*t. Is t a multiple of 51?
True
Suppose 259 = 10*h + 669. Let k = h - -45. Suppose -6*j + j - k*i + 32 = 0, 3*j + 3*i - 21 = 0. Does 4 divide j?
True
Suppose -249 = -3*h - 4*r, -16*h - 5*r + 252 = -13*h. Let v = 299 - h. Is 20 a factor of v?
True
Let d(x) be the first derivative of -x**4/4 + 41*x**3/3 - 36*x**2 - 45*x + 141. Is 5 a factor of d(39)?
False
Let k = -57 - -62. Suppose k*l - 8 = 4*d - 7*d, 5*l - 1 = 4*d. Is 3 a factor of (-116)/(-2) + (4 - l)?
False
Let j = 14 - 17. Let a(z) = -8*z**3 - 6*z**2 - 6*z - 6. Let x be a(j). Let w = -118 + x. Is 4 a factor of w?
True
Let y(t) = 303*t + 728. Does 27 divide y(30)?
False
Let q(b) = b**3 + 103*b**2 - 153*b - 119. Is q(-103) a multiple of 168?
False
Suppose 9*g - 5460 = -2*i + 10*g, i = g + 2730. Suppose -3*v - 2*a - a + i = 0, -3*v + 2695 = -4*a. Is 24 a factor of v?
False
Let i(k) = 2*k**2 + 4 + k**2 - k**2. Let n be 36/15*(-70)/(-28). Is i(n) a multiple of 21?
False
Let i = 230 - 226. Suppose -4*m = i*m - 1080. Does 27 divide m?
True
Suppose 11*d - 1213 + 102 = 0. Suppose 0 = 2*r, -5*s + 5*r + 56 + 589 = 0. Suppose 2*w - 5*j + 0*j = d, -3*j - s = -3*w. Does 7 divide w?
False
Let z = 683 - 683. Suppose -162 = -3*p + 4*a, z - 54 = -p - 2*a. Is p even?
True
Let d be 6/(-8) - 22/(-8). Suppose d*b = 7*b - 20. Suppose -5*x + 0*p + 194 = -3*p, -170 = -b*x - 5*p. Does 10 divide x?
True
Let v = 4397 + -2357. Does 3 divide v?
True
Suppose -11*t - 56 = -3*t. Let l be (-2 + (-86)/(-2))*(-42)/t. Suppose 0 = -4*k + 2*j + l, -6*j = 3*k - 8*j - 183. Is 21 a factor of k?
True
Let q = -8891 - -22175. Is 164 a factor of q?
True
Suppose 2*c - 2 = 0, -4*c + 9 + 7 = 2*b. Suppose -q = l - 15, b = 2*l + 4. Let n = 16 + q. Is n a multiple of 11?
False
Suppose 5*p - b = 241809, -103854 = -3*p - 2*b + 41208. Is p a multiple of 60?
True
Suppose 140*z - 8 = 144*z. Let p(t) = 46*t**2 - 4*t - 8. Does 3 divide p(z)?
False
Let c = 54 + 233. Let d = -231 + c. Is d a multiple of 8?
True
Suppose -2*c - 4*o = -11114, -2485 = -4*c + 3*o + 19776. Is c a multiple of 25?
False
Let x be ((-1371)/(-6))/(2 + 3/(-2)). Let r = x - 702. Let k = r - -365. Is k a multiple of 30?
True
Let l(k) = 2*k**2 - 2*k - 1. Let t be l(2). Suppose t*y + 9*s - 4*s - 185 = 0, 60 = y + 2*s. Is 2 a factor of ((-60)/y)/((-1)/7)?
True
Let f(o) = 9*o - 3*o - 4*o - o + 44. Does 14 divide f(9)?
False
Let s = 181 + -181. Suppose -19*c + 6118 = -s*c. Is 32 a fact