uppose 3*r + 102 = w*r + a*c, 2*c - 313 = -3*r. Does 11 divide r?
False
Suppose -5*p = -4*w - 21 - 41, -3*w - 52 = -p. Let i(a) = -a**2 + 3*a + 9. Let f be i(-6). Let v = w - f. Is 2 a factor of v?
False
Let m(g) = 12*g**2 + 6*g - 12. Let x be m(2). Let k(h) = -31*h**2 - 4*h - 3. Let w be k(-2). Let f = x - w. Is 41 a factor of f?
False
Let v(z) be the second derivative of 67*z**4/12 - 2*z**3/3 + 6*z**2 + 2*z - 226. Does 55 divide v(-4)?
True
Suppose 5*l - w + 45 = -5, 5*l + 5*w + 80 = 0. Let k(r) = -r**3 - 9*r**2 - 3*r - 9. Is k(l) a multiple of 7?
True
Suppose 2*b + 5*n = 11535, 2*b + 475*n - 11555 = 474*n. Is 68 a factor of b?
True
Let l(g) = 5*g**3 - 5*g**2 + 9*g + 11. Let w(k) = k**3 - k**2 + k + 1. Let f(b) = l(b) - 6*w(b). Let a be f(3). Is a/6 + (-4380)/(-36) a multiple of 26?
False
Suppose -15*m + 2383 = -8537. Let l = m - 107. Is l a multiple of 23?
True
Let q(v) = v**2 - 7*v - 29. Let o be q(10). Suppose o = f - 2. Suppose 78 - 12 = 3*m - 3*w, w - 58 = -f*m. Is m a multiple of 4?
True
Let p = 2931 - -7644. Is 235 a factor of p?
True
Suppose -13*f + 364 + 325 = 0. Suppose -4314 = f*y - 57*y - 3*j, 5*y + j - 5398 = 0. Is y a multiple of 10?
True
Let t(x) = -7*x**3 + 4*x**2 + 7*x + 29. Let g(n) = -2*n**3 - 23*n**2 - 12*n - 15. Let j be g(-11). Is 9 a factor of t(j)?
True
Let n(f) = -2334*f**3 + 2*f**2 + 12*f + 11. Is n(-1) a multiple of 54?
False
Let r(s) = -s**3 - 5*s**2 - 7*s - 6. Let a be r(-4). Suppose -4940 - 28 = -a*o. Does 16 divide o?
False
Suppose -28*i + 21 = -39179. Does 140 divide i?
True
Let z be (-3)/(9/(-12))*(-126)/(-56). Let f(v) = -v**3 + 21*v**2 + 8*v + 20. Is 19 a factor of f(z)?
True
Suppose -954*t + 2520 = 953*t - 1898*t. Let c(l) = l**2 - 5*l + 2. Let x be c(5). Suppose -4*o + t = x*s + 3*s, 5*o - 5*s - 305 = 0. Does 13 divide o?
True
Let p(o) = -o**2 + 17*o - 12. Let v be p(16). Let k be -2 - ((-20)/5)/v. Let b(h) = -65*h**3 + 2*h**2 - 1. Does 7 divide b(k)?
False
Let l(h) = -h**2 - 24*h - 58. Let c = 67 - 83. Is 35 a factor of l(c)?
True
Suppose -4*j = -4*l + 3538 + 23258, 0 = -3*l - 5*j + 20105. Is l a multiple of 156?
False
Let i(l) = -1101*l - 5410. Is 175 a factor of i(-10)?
True
Suppose -5*m = -4*h - 7172, -2*h + 5*m - m - 3592 = 0. Let y = 3684 + h. Does 13 divide y?
False
Let b(m) = -3*m**3 - 2*m**2 - 85*m - 732. Is b(-10) a multiple of 49?
False
Let v be (-1 + 20/12)/((-1)/4392). Is v/(-20) + -3 - 12/(-20) a multiple of 4?
True
Does 134 divide 4 + -1 + -10 + 9 + -1 + 5225?
True
Let q = 502 - 581. Let o = 219 + q. Does 5 divide o?
True
Let r(p) = 60*p**3 + 4*p**2 + 19*p - 78. Is 4 a factor of r(4)?
False
Suppose 23 - 53 = -6*i. Let b = 26 + i. Does 12 divide 29 - b - 3/(3/(-146))?
True
Does 37 divide (32/192)/((-3)/(-2)) + 65932/18?
True
Let j(f) = -3*f**3 + 2*f**2 + 2*f - 18. Is 6 a factor of j(-12)?
True
Suppose 18*y - 29378 = 30976. Suppose 9*q - 2128 = y. Is 87 a factor of q?
True
Suppose 54 = -4*s + 13*s. Suppose -s*k - 10*k = -16. Does 18 divide -1 + (-2 - k) + 76?
True
Suppose 9*w + 3*w - 24 = 0. Suppose 0*b = -4*b - 5*t + 1738, -w*t = -5*b + 2156. Is b a multiple of 24?
True
Suppose 38*v + 3 = 39*v, -3*s + 4*v + 1041 = 0. Is 2 a factor of s?
False
Suppose -471 = -f + 165. Let a = f + -198. Suppose -5*l = -3*m + a + 261, -m + 5*l = -223. Does 17 divide m?
True
Suppose 5*h + 19774 - 59040 = -a, 0 = 4*a + 16. Does 21 divide h?
True
Let o = 6491 - 1651. Is 63 a factor of o?
False
Let c = -439 + 442. Suppose -4*o + 2080 = -5*t, -o - 2*o + 1560 = 2*t. Suppose w = -c*w + o. Is 26 a factor of w?
True
Let s(f) = f**3 - 5*f**2 + 5. Let o be s(5). Suppose 2*i + o = 11. Suppose 5*k = -i*t + 489, 3*k - 5*t - 174 - 99 = 0. Is k a multiple of 9?
False
Suppose 5*l - 3*z - 296 = 0, -2*l + 0*z + z = -119. Suppose 582 = u - 3*d, 60*d - 2882 = -5*u + l*d. Does 10 divide u?
False
Let t(q) = 66*q**2 - 47*q - 344. Is 29 a factor of t(-7)?
True
Is 2 a factor of -1*1*(-657 + 12 - 22)?
False
Suppose 39*i - 93605 = -8078. Is i a multiple of 43?
True
Let b(s) = s**3 - 103*s**2 + 48*s**2 + s**3 + 56*s**2 + 2*s. Does 8 divide b(2)?
True
Let b be (-25979)/(-15) - (-4)/60. Suppose -3*t = 2*k - 997, 4*t - b = 2*k - 384. Does 7 divide t?
False
Let c(k) = -2*k**2 + 5*k - 14. Let p be c(9). Let z = 235 + p. Let a = z - 14. Does 18 divide a?
True
Suppose 18860 = 32*w + 77*w + 55*w. Is 2 a factor of w?
False
Suppose -5*j + 21 = 2*c, 2*c = -j - 3*c + 18. Suppose -2*x - j*i = x, -3*i - 20 = -x. Suppose x*u - 124 = -5*y + 4*u, -44 = -y - 5*u. Does 7 divide y?
False
Let n(d) = 102*d - 2. Let l(c) = 2*c**3 - 4*c**2 - 6*c + 1. Suppose 11 = -3*u + 20. Let s be l(u). Does 25 divide n(s)?
True
Suppose 5244*p - 205569 = 5223*p. Does 13 divide p?
True
Let h(u) = 266*u - 2683. Does 48 divide h(86)?
False
Suppose 5*s - 9 - 6 = -5*m, 5*m - s - 27 = 0. Suppose 5*n - 19 = -2*h - h, 0 = n + m*h - 17. Suppose n*i - 38 = 74. Does 4 divide i?
True
Suppose -1914 + 3482 = 14*u. Does 22 divide u?
False
Let v = -6641 - -13730. Is 4 a factor of v?
False
Let l = -211 + 188. Let d(o) = -o**2 - 18*o + 145. Is 5 a factor of d(l)?
True
Let w = 130 + -666. Suppose -4*u = 4*o + 483 + 949, 2*o - u + 707 = 0. Let x = o - w. Is x a multiple of 36?
False
Suppose 3*d = 2*d - 12. Let r(l) = 3*l**2 + 24*l + 22. Does 6 divide r(d)?
False
Suppose 73 - 287 = -y + 4*s, -428 = -2*y + s. Suppose 7*u - 43 + 22 = 0. Suppose -q + u*g + 38 = 2*g, -5*q - g = -y. Is 7 a factor of q?
True
Suppose -158*l - 228 = -162*l. Let x = l + 141. Is 14 a factor of x?
False
Let p(h) = 3*h**3 - h**2 - 4*h + 21. Let b be p(3). Suppose -2*x = 6, -2*x - b = 3*s - 399. Is s a multiple of 54?
True
Does 17 divide 195 + 17666 + (6 - 0/(-2))?
True
Let l be (-6)/(-8) + 156/48. Suppose -59 = -l*u + 165. Let w = 98 - u. Is 7 a factor of w?
True
Let h(t) = -2*t**2 + 25*t + 17. Let f(l) = -10*l**2 + 124*l + 86. Let g(i) = 2*f(i) - 11*h(i). Let v be g(14). Does 13 divide v/(4/(-78))*(-84)/(-63)?
True
Suppose -13*r + m - 1654 = -16*r, r - 2*m = 542. Suppose r = 15*g - 5*g. Does 19 divide g?
False
Let j(o) = 46*o**3 - 2*o**2 - 19*o + 38. Let l be j(2). Let u = l - 193. Is u a multiple of 3?
False
Let n(v) = 2*v**2 - 5*v + 13. Let g(d) = d**3 + 6*d**2 + 6*d + 6. Let o be g(-6). Let j = o - -34. Is 2 a factor of n(j)?
False
Suppose -5599 - 23857 = -8*j. Does 7 divide j?
True
Suppose y - 8 = -1, -21099 = -u + 3*y. Is u a multiple of 176?
True
Let m = -440 - -542. Is 37 a factor of 3 - 39/(-6)*m?
True
Suppose 43293 - 5943 = 2*r - 2*d, 2*r = 3*d + 37347. Does 172 divide r?
False
Let y(f) be the second derivative of 5*f**3/3 + 5*f**2 - 17*f. Let j be y(4). Does 27 divide (4 + j)/((-2)/(-5))?
True
Let w(b) = 20*b**2 + 2*b - 12. Let l be w(-5). Let u(x) = 30*x - 29. Let o be u(12). Let m = l - o. Does 17 divide m?
False
Let r(c) = c**3 - c + 156 + 4*c**3 - 4*c**3. Suppose v = -2*x, 8*v = 6*v + 3*x. Is 39 a factor of r(v)?
True
Suppose -6*p + 0*p + 228 = 0. Suppose -2*t = -3*i - 285, -t + 2*i + 104 = -p. Suppose 7*c - t = -2*c. Is c a multiple of 2?
True
Let a = -77 - -84. Suppose 0 = -a*x - 259 + 2184. Is 25 a factor of x?
True
Let t(k) = 1319*k + 628. Is t(9) a multiple of 90?
False
Let p(n) be the first derivative of n**4/2 + 14*n**3/3 - 11*n**2/2 + 4*n + 150. Is p(5) a multiple of 12?
False
Let o(f) be the first derivative of -26*f - 3 - 7/2*f**2 + 1/3*f**3. Is o(14) a multiple of 19?
False
Suppose 3*i + 4*g = 11, 3*i + 49 = 8*i - g. Suppose i*q - 4*q + 3*o = 361, -o = 4*q - 293. Suppose 4*u - 470 = -q. Is 11 a factor of u?
True
Suppose 191*v = 359126 + 2199892. Is 21 a factor of v?
True
Let u = -1403 - -818. Let t = u + 699. Does 3 divide t?
True
Let f(k) = 4*k**2 + 31*k - 3. Let z be f(-8). Suppose -z*a + 669 = 3*d, -77 = -4*d + 4*a + 815. Does 45 divide d?
False
Is 25 a factor of (-110700)/(-1722)*(1 + -2)*-189?
True
Let b(k) = -5*k**2 + 4*k - 20. Let w be b(8). Let f = w + 422. Is f a multiple of 17?
False
Suppose 470*r = 430*r + 61400. Is r a multiple of 23?
False
Let u(r) be the first derivative of r**3/3 - 3*r - 13. Let k be u(3). Suppose o + 3*x = 21, 2*x + k = -2. Does 15 divide o?
False
Does 77 divide (-23789268)/(-2745)*(-1 + -1 - 18/(-4))?
False
Suppose 500 = 24*m - 20*m. Let q = -120 + m. Suppose 0 = -4*w + 5*f + 356, 356 = -w + q*w - 2*f. Is w a multiple of 16?
False
Suppose 5*v + 12 = -4*g, 10*v + 