3*a + 2*a. Let k = a - -232. Does 11 divide k?
True
Let z(f) = -f**2. Let n(i) = 3*i**2 - 8*i + 13. Let p(k) = n(k) + z(k). Let c be p(11). Suppose c = 3*g - 55. Is g a multiple of 26?
False
Let p = 107 + -86. Suppose 2*o + 2*n - 36 = -3*n, n = 4*o - 50. Suppose -p = -b + o. Does 6 divide b?
False
Let m(i) = 9*i**2 - 3*i + 19. Is 7 a factor of m(-12)?
True
Let d(j) = -8*j**3 + 3*j**2 - 14*j + 16. Let i(t) = -23*t**3 + 10*t**2 - 42*t + 47. Let u(w) = 17*d(w) - 6*i(w). Does 27 divide u(5)?
False
Let d(q) = -q**2 + 15*q - 11. Let r be d(13). Suppose -r*u = -4*u - 132. Is 7 a factor of u?
False
Let q = 58 + 19. Suppose x - q = 61. Does 21 divide x?
False
Suppose 5 = v + 3*c - 170, v = 4*c + 147. Is v a multiple of 62?
False
Is 15 a factor of 20240/25 - (92/20 - 5)?
True
Let t(a) = -a - 3*a**3 + 5 + 2*a**3 + 4*a + 3*a**2 + a. Let u be t(4). Suppose -3*s - u*o + 58 = -0, -4*s + 3*o + 116 = 0. Is s a multiple of 21?
False
Let p(f) = 0 + f - 2*f - 1 + 2*f**2. Let i be p(-1). Suppose i*q - 5*c = 88, -7*c - 125 = -3*q - 3*c. Is 13 a factor of q?
True
Suppose -4*l + 7*l = -33. Let c = l - -11. Suppose -29 = -2*x + 5*u, c*x = 3*x - 4*u - 47. Is x a multiple of 9?
False
Is 47 + 24/(-5) + 40/50 a multiple of 6?
False
Let h(i) = 39*i - 60. Let b(v) = 13*v - 20. Let t(q) = -8*b(q) + 3*h(q). Does 28 divide t(8)?
True
Let p = -351 + 594. Is 23 a factor of p?
False
Let f be -4 - -3 - 19*-2. Let a = f + 44. Does 12 divide a?
False
Suppose 44*i = 33866 - 5178. Is 49 a factor of i?
False
Let c(s) = s**2 - 7*s + 10. Let p be c(5). Suppose 2*r - 157 = -3*a - 3*r, p = -4*a + r + 194. Does 7 divide a?
True
Let r(q) be the first derivative of q**3/3 - 5*q**2/2 + 10*q + 8. Let u be r(4). Suppose -u = -2*x, -4*p + 2*x - x = -93. Does 6 divide p?
True
Let w(i) = 2*i**2 - 8*i - 8. Let p be w(-6). Suppose -3*s + p = 16. Does 8 divide s?
True
Suppose 3*v - o = 13, -2*v + 11 + 11 = -4*o. Suppose -i = -v*i + 10. Suppose i*j = 34 + 146. Is j a multiple of 18?
True
Let v(q) = -11*q + 92. Is 23 a factor of v(0)?
True
Let h(q) = 3*q + 3. Let j(m) = 3*m + 4. Let f(b) = 2*h(b) - 3*j(b). Is 7 a factor of f(-9)?
True
Suppose 0 = m - a - 704, -5*m + 4*m + 2*a = -702. Is m a multiple of 62?
False
Suppose -28*x + 306 = 54. Is x a multiple of 2?
False
Let d(b) = -b**3 + b**2 + b - 4. Let n(k) = -k**2 + 2*k + 3. Let q be n(3). Suppose -4*i + q*i = 0, -w - 3 = 3*i. Does 17 divide d(w)?
False
Suppose -10 - 16 = -2*n - 5*i, 0 = 5*i - 20. Suppose 2*p = -v + 107, n*v - 194 = -5*p + 131. Is v a multiple of 38?
False
Suppose 0 = -h + 3*x + 1426, -x = 6*h - 7*h + 1416. Is 43 a factor of h?
False
Suppose -94*u = -95*u + 108. Does 27 divide u?
True
Let r = 810 - 510. Is 25 a factor of r?
True
Let n be (-5 - 100/(-15))*3. Suppose n*d - 944 = -g, 3*d - 3*g - 264 = 288. Is 32 a factor of d?
False
Let x be 0 - (-1 - 112) - 3. Let w = x + -66. Does 11 divide w?
True
Let g = -32 - -33. Is (-60)/(-30) - (-114 - g) a multiple of 13?
True
Let l(g) = -g**2 + 7*g - 10. Suppose 2*y = -2*y - 36. Let a(k) = -2*k**2 + 15*k - 20. Let w(i) = y*l(i) + 4*a(i). Is w(7) a multiple of 13?
False
Suppose -18*w + 3*w + 1410 = 0. Is w a multiple of 15?
False
Suppose 4*v + 3*p - 354 = 0, -p = 3*p + 8. Let r = 15 + v. Suppose r = 2*q + 3. Is q a multiple of 18?
False
Suppose -4*z + 4 = -36. Does 9 divide (-69)/(-2) - (-5)/z?
False
Let a = 1538 - 1223. Does 88 divide a?
False
Let v = -2305 + 4331. Is v a multiple of 31?
False
Is 4 a factor of -142*(-1 - 3/(-1))/(-2)?
False
Suppose -3*q = -6*q. Let k(o) = o**2 + o + 9. Is k(q) a multiple of 9?
True
Suppose -5*d + 9685 + 1445 = 5*t, -4*t + d = -8884. Is 13 a factor of t?
False
Let a(d) = -2 + 8 + 2 - 14*d - 1. Does 4 divide a(-2)?
False
Let u(p) = -3*p - 7. Let i be u(-4). Suppose 2*z = -i*l + 302, 149 = 4*l + 3*z - 94. Is l a multiple of 30?
True
Is 10 a factor of -6 + 2 + (-2989)/(-49)?
False
Let m(x) be the second derivative of 5*x**3/3 - 13*x**2 - 14*x. Does 34 divide m(15)?
False
Let n(q) = -q + 4. Let a be n(-4). Let g be a/12 - 20/3. Does 10 divide 2/g - 183/(-9)?
True
Let k(o) = 113*o - 2. Does 58 divide k(3)?
False
Let l(r) = -9 + 28*r + 6 + 12*r - 8*r. Is 7 a factor of l(1)?
False
Let o(j) = j**3 - 4*j**2 + 2*j - 3. Let w be o(2). Let z be (43 - w) + 0/2. Suppose -3*d + z = 2*d. Is d a multiple of 5?
True
Let k(w) = w + 7. Let t be k(3). Let n(i) = i**2 - 10*i + 7. Let d be n(t). Let c = d + 15. Does 11 divide c?
True
Let x(w) = -39*w**3 + w**2 + 21*w + 5. Let q(f) = 10*f**3 - 5*f - 1. Let u(b) = 9*q(b) + 2*x(b). Is 11 a factor of u(2)?
True
Let q(g) = -2*g**2 + 45*g - 83. Is 3 a factor of q(17)?
False
Let v(j) = -39*j + 49. Does 67 divide v(-11)?
False
Suppose 0 = -p - 38 - 24. Let s be 4/(-20) + p/(-10). Let r = s + 58. Is r a multiple of 17?
False
Suppose 12 + 22 = -2*w. Let c = 2 + w. Let a = -7 - c. Is 7 a factor of a?
False
Let t = 271 + 269. Is t a multiple of 6?
True
Let a be 8/((-3)/(-27)*-2). Let p = 220 + -1036. Does 12 divide 6/4*p/a?
False
Suppose -4*d = -3*d - 9. Suppose -3*f + d = -0. Suppose 5*k - 271 = -p, f*p + 46 - 265 = -4*k. Does 12 divide k?
False
Let t = 4637 + -1915. Is t a multiple of 20?
False
Suppose -l - 82 = -3*l. Let x = -99 + 80. Let k = x + l. Is 11 a factor of k?
True
Let v = -5 - -6. Let l(b) = 13*b**2 - 2*b. Let j(r) = r**2 + r. Let x(p) = v*l(p) + 3*j(p). Is 5 a factor of x(-1)?
True
Suppose -3*p = 5*r - 7*r + 3306, 0 = 4*r - 5*p - 6610. Does 33 divide r?
True
Suppose d - 1821 + 281 = 0. Does 14 divide d?
True
Suppose 2*q - 14 = 5*d, -6*d + 2*d = -2*q + 10. Let y(l) = -6*l**3 + 4*l**2 + l + 3. Does 17 divide y(q)?
False
Let g = -120 - -204. Suppose -88*x = -91*x + g. Does 7 divide x?
True
Let t be 2/(-2)*(-4)/10*-5. Is ((-5)/(-35))/(t/12)*-175 a multiple of 19?
False
Suppose 37*l = 4*n + 34*l - 2424, 0 = 2*n - 2*l - 1210. Is n a multiple of 29?
True
Suppose 2 - 22 = 5*v. Let b(j) = 6*j + 1. Let f be b(v). Let k = 15 - f. Does 16 divide k?
False
Let u be 10/4 + -3 - 278/(-4). Suppose 5*p - 1 = u. Does 4 divide p?
False
Let a(w) = -w**2 - w + 1. Let y(v) = -2*v**2 + 5*v - 5. Let g(l) = 4*a(l) - y(l). Let q be g(-9). Does 6 divide (-10)/2*q/20?
True
Let n(w) = -21*w**3 - w**2 + 4*w + 14. Is n(-4) a multiple of 13?
True
Let m = 564 - 219. Is m a multiple of 23?
True
Suppose -5*f = -4*l + 8, 8 = 4*l + 2*f - 6*f. Suppose 3*u - 19 = -2*u + 2*t, -4 = l*u + 5*t. Suppose u*j - 156 = 60. Does 18 divide j?
True
Let k = -321 + 542. Is k a multiple of 7?
False
Suppose 0 = -c + k + 2, -3*c - 2*k + 5 = -2*c. Let j(p) = p**3 + 6*p**2 + 6*p - 7. Let v be j(-5). Does 5 divide (-7 + c)*27/v?
False
Suppose -39 = 4*o - 487. Suppose -o - 23 = -3*c. Does 4 divide c?
False
Suppose 0*t = 3*t - 6. Suppose 3*f + 55 - 13 = 4*c, -f + 16 = t*c. Let p = c + 4. Is p a multiple of 9?
False
Let n(r) = 74*r**2 + 72*r - 357. Does 6 divide n(5)?
False
Let t(k) = 12*k**2 - 34*k + 591. Does 16 divide t(12)?
False
Suppose 2*d + 5*l + 22 - 135 = 0, 4*l = -2*d + 110. Suppose -2*n + d = 5. Does 22 divide n?
True
Let b = 649 + -297. Is b a multiple of 16?
True
Let a = -1345 - -1917. Is 26 a factor of a?
True
Let o(s) = -s**2 + 9. Let j be o(-5). Let c be ((-132)/j)/((-6)/(-16)). Let m = 61 - c. Is 13 a factor of m?
True
Let u(l) = 9*l + 92. Does 13 divide u(-3)?
True
Suppose 0*r - 155 = -5*r - 3*h, 4*r - 3*h - 97 = 0. Suppose -2*j = 3*i - r, -i + 2*j - 1 = -5. Suppose 0*o - 4 = 2*o + 5*g, -o - i = 4*g. Is o a multiple of 8?
True
Let p = -2286 - -2816. Is 5 a factor of p?
True
Let r be (0*(-4)/(-16))/1 - -3. Suppose 0 = -3*k - 2*k - 4*o + 320, -185 = -r*k - o. Is k a multiple of 17?
False
Does 22 divide (-9104)/(-28) + (-12)/(-14)?
False
Suppose 4*i + 518 = 3*q + 1571, 2*q = 10. Does 30 divide i?
False
Let x(d) = -d**3 + 3*d**2 - 33*d - 42. Is x(-6) a multiple of 8?
True
Let x = -44 - -94. Let c = x + -2. Suppose 4*o = 16 + c. Does 8 divide o?
True
Let z = -32 + 32. Does 50 divide (-6)/(-14) + 20964/84 + z?
True
Let v(j) = j**3 - 18*j**2 + 5*j + 24. Let p be v(18). Let a = 42 - -18. Let q = p - a. Is q a multiple of 16?
False
Let y(c) = -c**3 + 10*c**2 + 12*c - 8. Let f be y(11). Suppose -165 = -f*m + 237. Does 31 divide (5/(-10))/((-1)/m)?
False
Let z(h) = 2*h - 1. Let a = 11 - 9. Suppose -a*m + 6 - 2 = 0. Is z(m) even?
False
Let x(o) = 5*o + 2. Suppose -34*u - 1 = -35*u. Le