 3*s**2 + 22*s + 52. Let x(r) = 13*r**2 + 89*r + 207. Let h(b) = -9*a(b) + 2*x(b). Is h(-8) a multiple of 7?
True
Suppose 15 = 5*m, -12*y + 11*y - 11*m + 8643 = 0. Is y even?
True
Suppose 3*n = -5*a + 6*a - 21409, -a + 4*n + 21413 = 0. Does 104 divide a?
False
Let w = -3294 + 4855. Let y = -777 + w. Does 16 divide y?
True
Let j be 15 + 14*(-7)/(-14). Suppose -28*c = -j*c - 750. Is c a multiple of 5?
True
Let r(a) = 5*a - 25. Suppose 23 = 3*t - 2*p, -16 + 4 = 3*p. Let x be r(t). Suppose x = c - 5, -4*c = -3*q + 6*q - 92. Is 18 a factor of q?
False
Suppose 3700 = 133*p - 128*p. Suppose -35*q = -15*q - p. Is q a multiple of 4?
False
Let d(v) = -v + 3. Suppose 0 = 3*l - 10 + 1. Let n be -2 - l/(-4)*-4. Does 8 divide d(n)?
True
Let u(h) = h**2 - 6*h + 13. Let x be u(2). Suppose -2*r = -7*r - 5, 637 = x*q + 3*r. Is q a multiple of 8?
True
Let j(q) = 231 - 160*q + 72*q + 75*q. Is j(16) even?
False
Let c = 6925 - 5596. Does 3 divide c?
True
Suppose -3058500 = -114*l - 48*l + 37*l. Does 12 divide l?
True
Suppose 4 + 66 = -5*p + 4*v, -p - 3*v - 14 = 0. Let l(i) = i**2 - 9*i - 41. Does 19 divide l(p)?
False
Let p be (-2)/(-4 + 3 + (-412)/(-416)). Suppose 4*m + 2*v - 350 - p = 0, 0 = 4*v + 12. Is 9 a factor of m?
False
Suppose 2*t + 9 = 2*s - 5*s, -4*s = -4*t + 32. Suppose -4*f - 18 = -5*y + 32, 3*f = -t*y + 30. Is 10 a factor of y?
True
Suppose -v + 27 = -3*n, n + 16 + 1 = 3*v. Is 2 a factor of 4641/105 + (n/(-10))/(-4)?
True
Suppose 6*m - 8 = 4*m. Suppose m*p - 2552 = 4*i, 3*i + 2540 = 4*p + 2*i. Does 5 divide p?
False
Let w = 4006 - -1618. Is 27 a factor of w?
False
Let w(z) = -z**2 + 14*z + 29. Suppose -4*o - x + 8 = -1, -4*o + 12 = 4*x. Let f(s) = 2*s**2 - 14*s - 30. Let k(c) = o*f(c) + 3*w(c). Is k(-12) a multiple of 3?
True
Suppose -6337797 = -24*b - 225*b. Is 129 a factor of b?
False
Let q(t) = 359*t**2 + 38*t - 201. Is q(5) a multiple of 221?
False
Let f(c) = c**3 - 11*c**2 - 12*c + 15. Let k be f(12). Let d be (-1)/(-3) - 50/6. Let i = k - d. Does 2 divide i?
False
Suppose 2*k = -7*k + 45. Let q be 102/k - (-4)/(-10). Suppose -25*i + q*i = -390. Does 17 divide i?
False
Suppose 7*u + 22*u - 464 = 0. Let w = u + 14. Is w a multiple of 3?
True
Let c = 123 - 123. Suppose -5*o - g - 17 = c, 10*o - 11*o + 5*g = 19. Is 33 a factor of (268/(-8))/(2/o)?
False
Let a(o) = o**3 + 5*o**2 - 13*o - 30. Let k = -157 + 153. Does 19 divide a(k)?
True
Let g = 2808 + -2452. Is 6 a factor of g?
False
Let l(b) = 2*b**3 - 6*b**2 + 11*b - 20. Let s be l(3). Suppose 1305 = -8*a + s*a. Is 29 a factor of a?
True
Let w(s) = s**2 + 12*s - 8. Suppose 7*v - 5*v = -28. Does 5 divide w(v)?
True
Suppose -2*q - 5*b = 11, 0 = -4*q + 3*b + 9 + 8. Suppose -8*l = q*g - 7*l - 901, -4*g + 1817 = 5*l. Does 16 divide g?
True
Let j be (-67)/(-6 - (-417)/69). Let a = -782 - j. Is a a multiple of 69?
True
Let y = 1 - 1. Suppose 0*v + 3*v - 5*v = y. Suppose 0*i - 9*i + 243 = v. Does 15 divide i?
False
Let u be 0/6 - 250*-1. Suppose -25*l = -24*l - u. Suppose -5*f + l = -3*k, 4*f - 3*k = f + 156. Does 11 divide f?
False
Let x(n) = -10*n**2 - 14*n - 8. Let w(l) = -2*l**2 - 2*l - 1. Let r be w(-2). Let y be x(r). Let a = y + 279. Does 5 divide a?
False
Suppose -65*m + 55*m + 46730 = 0. Does 13 divide m?
False
Let y = 1062 - 672. Suppose -3*a = -16*a + y. Does 10 divide a?
True
Let d = 20 + -6. Let n be 3*(-8)/84 + (-2376)/d. Let z = -104 - n. Is z a multiple of 22?
True
Let c(q) = -q - 21. Let l be c(-16). Let t(a) = 20*a + 155. Is 19 a factor of t(l)?
False
Is 282 a factor of ((-1440)/510)/24 + (-944420)/(-17)?
True
Suppose -3*t + 15 - 5 = l, -2*t = 3*l - 9. Suppose 3*o - 303 = 3*b - 750, -t*o - 6 = 0. Suppose -b - 61 = -4*f. Is 25 a factor of f?
False
Let r = -5755 - -13518. Is 127 a factor of r?
False
Let l(d) be the second derivative of 41*d**4/6 + 5*d**3/2 - 3*d**2/2 + d - 63. Does 12 divide l(2)?
False
Does 21 divide (-1 - 4475/(-3)) + (34/51)/2?
True
Let h be 2720/50 + (-39)/(-15) + -3. Is 16 a factor of 3/((h/(-92))/(-9))?
False
Suppose 5*m + 5*p = 970, -70*p + 412 = 2*m - 72*p. Is m a multiple of 10?
True
Let l(k) = 7*k**3 + 3*k**2 - k + 1. Let u be l(2). Suppose -17*j - 21 = -24*j. Suppose 0 = -j*p + u + 11. Does 26 divide p?
True
Let a = -8292 - -15319. Does 84 divide a?
False
Suppose -28*b - 34 + 6 = 0. Is (b - ((-945)/(-10) + -5))*-12 a multiple of 25?
False
Suppose 22*y + 476*y + 1079939 = 10580285. Does 179 divide y?
False
Let b(t) = 0*t - 23 + 3*t - 9*t**2 + 33 - 12. Let k(f) = -9*f**2 + 3*f - 3. Let w(q) = -3*b(q) + 2*k(q). Is 5 a factor of w(3)?
False
Let f = 6620 + -4283. Is f a multiple of 41?
True
Let y(p) = 3*p - 17. Let g be y(5). Let i be -4 + (-3 + g)*-7. Suppose -i = -4*o + n, 0 = -2*o - 3*o - 5*n + 45. Is 8 a factor of o?
True
Let w = -4266 + 10947. Is 131 a factor of w?
True
Let i(k) = 114*k - 8. Let q be i(6). Suppose -q = 2*s + 2*s. Let x = 275 + s. Does 12 divide x?
False
Suppose -21 = -4*x - 9. Suppose x*l = -n + 520, -4*n = n - 5*l - 2540. Is 73 a factor of n?
True
Suppose -2*o + 10 + 14 = 0. Let r(d) = d**2 - 8*d - 12. Let x be r(o). Suppose x*a - 32*a - 304 = 0. Is a a multiple of 8?
False
Let k = -32 + 30. Does 23 divide (1 - k - -388)*1 - 0?
True
Is 17 a factor of 4/(-14)*(120/(-20) - (-8068)/(-4))?
True
Suppose -5*d + 10*d - 510 = -0*d. Let t = -112 - -45. Let k = d - t. Is k a multiple of 21?
False
Let t(m) = -5*m**2 - 2*m - 2. Let f be t(-1). Let c(p) = -3*p**2 - 18*p - 11. Let b be c(f). Is -2 + (b - 4 - -50) a multiple of 12?
True
Let y be 2 - -4 - (7 + -1) - -3. Let z = 77 - y. Is z even?
True
Let d(s) = -s**3 - 2*s**2 - 4*s + 10. Suppose 4*h + 2*b + 32 = -0*b, -8 = 2*b. Let l be h*4/12 + (-3 - 0). Is 35 a factor of d(l)?
True
Let s be 31/(-3) - (7 + 132/(-18)). Is (2 - 49)*130/s a multiple of 47?
True
Let y(r) = -9*r**2 + 11*r - 3. Let j(l) = -4*l**2 + 5*l - 2. Let i(b) = -5*j(b) + 2*y(b). Let q be i(-5). Suppose q = 7*c - 4*c. Is 16 a factor of c?
False
Let u be (9 - -404) + 8/(-2). Suppose -5*r - 4*q + 219 = -u, 0 = 2*r + q - 250. Suppose 2*b + 2*v - 6 - 34 = 0, v + r = 5*b. Is b a multiple of 8?
True
Let v(k) = -2*k**2 - 14*k + 20. Let x be v(-8). Is 5 a factor of x*(-29)/((-6)/45*6)?
True
Suppose 7*i = 5*i + 10. Let f(v) = -v + 5. Let h be f(i). Suppose -3*b + 37 + 200 = h. Is b a multiple of 14?
False
Suppose 5*m - 21 + 6 = 0. Suppose 5 = -m*a + 5. Suppose d - 3*u - 23 = -2*u, a = 2*d + 3*u - 66. Is d a multiple of 17?
False
Suppose 18*c - 6158 = 8152. Is c a multiple of 146?
False
Suppose -3*v + 2*d + 2 = d, 3*d = -6. Does 5 divide ((-175)/(-2))/(v + (-4)/(-8))?
True
Let o(b) be the second derivative of 2*b**4/3 - 3*b**3 - 5*b**2/2 - 21*b. Let x(n) = -23*n**2 + 55*n + 16. Let h(m) = 17*o(m) + 6*x(m). Does 18 divide h(10)?
False
Suppose 10089*n = 10096*n - 112812. Does 17 divide n?
True
Let t = -43 - 251. Let c = t + 465. Suppose c = -2*a + 5*a. Does 7 divide a?
False
Let f be 295/7 - 7/49. Let j = -97 - -61. Let t = f + j. Is t even?
True
Let r(x) = -x**2 + 2*x + 5. Let z be r(3). Suppose 654 = z*n - 474. Suppose -n = m - 5*m. Is 36 a factor of m?
False
Let s(v) = v**2 - 8*v + 3. Let n be s(8). Suppose 8*u - n*u - 930 = 5*x, 2*x = 5*u - 933. Is 37 a factor of u?
False
Suppose -268*y + 290*y = 124146. Is y a multiple of 19?
True
Let i(q) = 31 - 49800*q - 4*q**2 + 49801*q + 7*q**2. Is i(-4) a multiple of 25?
True
Let d(a) = 5*a - 26. Let w be d(4). Is 17 a factor of (-1 + (-10)/w)*(373 - 16)?
True
Suppose 10 = 12*z + 10. Suppose z = -6*d + 24. Suppose 0*v = v + 2*q - 28, -4*q = d. Is v a multiple of 15?
True
Let x = 667 + -664. Let d(h) = 11*h**2 + 11*h - 12. Does 20 divide d(x)?
True
Suppose -12*p + 15*p = 2*h + 452, 3*h + 308 = 2*p. Suppose -p*j - 688 = -152*j. Is 4 a factor of j?
True
Let l(m) = m**3 - 11*m**2 + 16*m + 18. Let v be l(9). Suppose 5*o - 2876 = -0*g - 2*g, v = -4*o - 3*g + 2298. Suppose -2*h + o = h. Does 32 divide h?
True
Let v(r) be the second derivative of r**4/12 - r**3 + 8*r**2 + 39*r. Let j be v(6). Is 3 a factor of ((-112)/5)/(j/(-40))?
False
Let x be -1*4*(6 - 7). Suppose 20 = x*b + 4. Let n = b + 46. Is 9 a factor of n?
False
Suppose 0 = 44*s - 260 - 4. Suppose -2*u + s = 3*o - 139, -2*o = -5*u - 84. Is o a multiple of 13?
False
Let o be (38 + 2)/((-60)/(-90)). Suppose 2*f + 262 = 3*h - o, -4*h - 2*f + 406 = 0. Does 