et j = 30872 + 1203. Is 14 a factor of j?
False
Suppose -2*g + 273 = -3*u + 2*u, u - g = -271. Let w = u + 179. Let m = w - -150. Does 5 divide m?
True
Let f = -96 - -33. Let d = f + 471. Suppose 5*q = 282 + d. Does 23 divide q?
True
Does 12 divide (-12)/22 - 91140/(-110)?
True
Suppose -10*z = 9*z + 1216. Suppose 0 = -h - 4*h + 180. Let q = h - z. Is q a multiple of 25?
True
Suppose 0 = 27*s + 12*s - 15439 - 73598. Does 188 divide s?
False
Let v = -490 - -481. Let o(x) be the first derivative of -x**3/3 - 10*x**2 - 36*x + 1. Is 55 a factor of o(v)?
False
Let u = 1959 - -4757. Is u a multiple of 77?
False
Let x = 150 - 75. Suppose -o + 130 = x. Is 3 a factor of o?
False
Let p(d) be the first derivative of d**4/4 - 6*d**3 + 25*d**2/2 - 46*d + 25. Does 10 divide p(17)?
True
Let d be (7/3)/((-20)/(-1500)). Suppose -2*h + k + 702 + d = 0, -h = 5*k - 455. Is h a multiple of 10?
True
Suppose 21*n - 337365 = -14*n. Is n a multiple of 17?
True
Suppose 4*d + 5*t + 317 = 3624, 3314 = 4*d - 2*t. Suppose 6*y = 876 - d. Does 6 divide y?
False
Let a(f) = f**3 - 32*f**2 - 87*f + 182. Is a(35) a multiple of 4?
True
Let k = -9085 - -15131. Is 21 a factor of k?
False
Is ((-11092)/282)/(4/(-30) - 0) a multiple of 27?
False
Let h = 35469 - 23361. Is 37 a factor of h?
False
Suppose 31*p - 32*p + 5 = 0. Suppose 5*j = -15, -p*j + 19 + 1170 = 4*q. Does 7 divide q?
True
Let f(v) = -51*v**3 + v**2 + 18*v + 7. Is f(-3) a multiple of 7?
False
Let u = 1703 - -247. Is 16 a factor of (21/(-14))/(-3)*u?
False
Let w = -1058 + 2129. Does 23 divide (w/18 + -3)/((-2)/(-12))?
False
Let d = -5 - -2. Let p be (3/(-6))/(d/24). Suppose p*t = -4*g - 0*t + 700, 3*t = g - 195. Is g a multiple of 10?
True
Suppose -12*a + 32785 + 109338 = -45893. Is a a multiple of 95?
False
Let t(m) = -m**2 + 27*m - 29. Let n be t(32). Let j = -140 - n. Is j a multiple of 4?
False
Suppose 21 + 3 = 6*w. Let r be (w/5)/(-7 + 321/45). Suppose -35 = -r*k + k. Does 3 divide k?
False
Is 22 a factor of -2*(-27)/6 - (1 - 9067)?
False
Suppose 480*a + 6*a - 1123146 = 0. Does 2 divide a?
False
Let h(b) = b**2 + 7*b + 10. Suppose f + 26 = -0*f + 4*k, 20 = 4*k. Let y be h(f). Suppose -4*g + 3*d - 8*d = -120, 3*g = y*d + 90. Does 8 divide g?
False
Let y(q) be the second derivative of -q**5/20 - 7*q**4/12 - q**3 - 4*q**2 + q. Let j be y(-7). Let s = j - 21. Is 9 a factor of s?
False
Suppose 0 = -k + 3, -2 - 3 = 2*c - 5*k. Suppose 4*a + 4 = c*m - 19, 0 = -2*m - a + 17. Suppose 420 = -2*r + m*r. Is 7 a factor of r?
True
Suppose q + 624 = 4*q - 5*b, -5*b = 15. Suppose -516 = 2*u + 4*i, -2*u - q - 309 = 3*i. Let v = -18 - u. Does 17 divide v?
False
Let d = -11 - -8. Let h = -628 + 642. Let f = h + d. Does 2 divide f?
False
Suppose -4*u - 14739 = -5*m, -3*u - 12788 = -4*m - 996. Is 52 a factor of m?
False
Let w(i) be the second derivative of i**4/6 + i**3/6 + 5*i**2 - 10*i. Let b be w(-10). Suppose -b = -2*u - 3*u. Is 4 a factor of u?
True
Let d = 221 + -221. Suppose d = l - 2*k - 298, 3*l - 4*k = 360 + 540. Does 8 divide l?
True
Let c = 14201 - 14200. Let w be 4/10 + (-28)/(-5). Is ((-81)/6)/(5/w - c) a multiple of 8?
False
Let l(s) = 77*s - 6. Let z be l(4). Suppose -394 = -4*x + z. Is 6 a factor of x?
True
Suppose 3*b + 46275 = 2*p, 0 = -3*p + 8*p + 2*b - 115640. Is 15 a factor of p?
True
Suppose -27266 = -14*x - 3928. Does 35 divide x?
False
Let k = -1589 + 1618. Let u be (10/3)/(1/(-6)). Does 11 divide k - 4/u*-5?
False
Let o be (0 + 2)*(5 + 19/(-2)). Let j be 7*(-141)/o + 2/6. Suppose -2*p = b - 57, b + b + j = 4*p. Does 4 divide p?
True
Let b = -792 - -1627. Suppose -g - 4*g + b = 0. Suppose -g = -5*j + 263. Does 39 divide j?
False
Suppose 0 = 3*t + 2*i - 50, -3*i = -4*t - 6*i + 66. Let d = 34 - t. Suppose -d*z = -11*z - 390. Is z a multiple of 39?
True
Let m = -212 + 215. Suppose -2*j - 2*s - 6 = s, 2 = -3*j - s. Suppose 5*p + 4*q - 194 = j, -56 = -4*p - m*q + 100. Does 6 divide p?
True
Does 55 divide ((-4358)/3)/(116/1856*(-8)/6)?
False
Suppose 4*c - 4*p = 8, 4 = 3*c + 3*p - 2. Suppose -29 = c*n - 47. Is n even?
False
Let w be ((-1280)/2)/(60 + -61). Suppose -w = -2*d - 5*z, 0*z = 5*d + z - 1577. Is d a multiple of 15?
True
Suppose -d - 5*s + 3 = -2*s, 3*s - 3 = -2*d. Suppose d = 2*x - 779 - 147. Suppose -q + n - 3*n = -109, -4*q + n = -x. Does 19 divide q?
False
Suppose -2*s + 4*o + 661 = 3*o, -664 = -2*s - 2*o. Let a = -235 + s. Is 3 a factor of a?
True
Let c = 32341 - 12946. Does 9 divide c?
True
Let j(g) = g + 29. Let y be j(-17). Suppose -4*f - t = -5*f, y = 5*f + t. Suppose 3*v + z + 147 - 445 = 0, -196 = -2*v + f*z. Is 25 a factor of v?
False
Suppose 2*u = 4*a - 25022, -22*u + 23*u + 25019 = 4*a. Is 58 a factor of a?
False
Suppose 5841*g - 5825*g = 6528. Is g a multiple of 4?
True
Let o(p) = -3*p + 34. Let z be o(13). Let v(k) = k**3 + 7*k**2 - 13*k - 11. Is 13 a factor of v(z)?
True
Is 145 a factor of 510135/(-479)*(116/(-6) + 0)?
True
Suppose 57*p - 42865 - 159696 = 34958. Is 9 a factor of p?
True
Let r(n) = -7*n**3 - 3*n**2 + 4*n - 13. Let g(b) = -14*b**3 - 6*b**2 + 7*b - 25. Let t(i) = 6*g(i) - 11*r(i). Is t(-3) a multiple of 17?
False
Let h(y) = 251*y**2 - 457*y + 2754. Is 78 a factor of h(6)?
True
Let a(z) = -6*z - 89. Let h = 102 + -92. Let w(f) = 3*f + 44. Let r(g) = h*w(g) + 4*a(g). Is r(0) a multiple of 28?
True
Let i = 44177 - 26009. Is 9 a factor of i?
False
Let d be 621/36 + 7/4. Let h(r) = r**3 - 18*r**2 - 9*r + 38. Is 7 a factor of h(d)?
False
Is (49570/(-8))/(-20*(-12)/(-192)) even?
False
Let b = 290 + 604. Suppose -d + 543 = -b. Suppose -10*y + d = 67. Does 8 divide y?
False
Let p(i) = -i**2 + 29*i - 6. Let a(z) = -z - 1. Let x(q) = -3*a(q) + p(q). Let s be x(21). Is (-12)/(-8)*s/9 a multiple of 5?
False
Suppose 6063 = 3*a + 3*i, 3*a = 2*i + 4127 + 1956. Does 29 divide a?
False
Suppose 22*t + k - 18900 = 19*t, -k + 6 = 0. Is t a multiple of 21?
False
Let x be (-188)/(6/(-3 - -6)). Let m = -94 - x. Suppose m = 7*h - 1566 + 40. Is h a multiple of 23?
False
Let y = 375 + -531. Let n = y - -163. Is 3 a factor of n?
False
Let l(y) = 624*y**2 - 18*y + 21. Let w be l(1). Let k be ((-4)/(0 - 1))/2. Does 4 divide w*1/12 - k/8?
True
Let k(c) be the third derivative of 0 + 0*c + 4/3*c**3 + 3/8*c**4 + 5*c**2. Is k(7) a multiple of 16?
False
Let b(z) be the third derivative of z**6/120 - z**5/10 - z**4/24 + 467*z**3/6 - 101*z**2. Is 43 a factor of b(0)?
False
Suppose -3*x + 3 = -5*d - 2, x = -5*d + 15. Suppose 3*p + 1312 - 241 = x*y, -6 = 3*p. Does 2 divide y?
False
Let i(o) = 2*o**3 + 6*o**2 + 8*o + 1. Let d be i(-2). Does 20 divide d/3 + 1 - (-2136)/9?
False
Let x(c) = -c**2 + 28*c - 1. Suppose 5*d + g - 93 = 0, 0 = 4*d - g - 58 - 20. Let b be x(d). Suppose -6*r - 4*r = -b. Is 17 a factor of r?
True
Is 27582/((-2 - 13)*4/(-30)) a multiple of 32?
False
Let b = -24137 - -54134. Is b a multiple of 60?
False
Is 12 a factor of ((-216)/(-60))/(9/60)*(-4 + 322)?
True
Suppose -t = 3*i + 3*t + 296, 0 = 3*i - 4*t + 280. Let h be 4/6 + 12200/(-183). Let s = h - i. Does 5 divide s?
True
Let t(g) = 2*g**3 + 15*g**2 + 27*g + 7. Let p be t(-5). Is ((-12)/p - -51)/((-12)/(-24)) a multiple of 14?
False
Let r(h) = 3*h**2 + 38*h - 83. Let u(f) = -f**2 - 12*f + 28. Let g(v) = -3*r(v) - 8*u(v). Let w = -10 - 4. Is 27 a factor of g(w)?
True
Let r(l) be the first derivative of 1/4*l**4 - 3/2*l**2 + 8 + 2*l**3 - l. Does 39 divide r(-5)?
True
Let t(g) = -20*g + 72*g - 263 + 32*g + 6*g + 51. Is 2 a factor of t(4)?
True
Suppose 0 = -n - s + 123, -5*s + 489 = 4*n - 2*s. Suppose -167 = -g + 5*d, g - 40 = -2*d + n. Is 6 a factor of g?
True
Let c = -1029 + 1031. Suppose -4*b + 6*b = 1200. Suppose 3*w - b = -c*w. Is 10 a factor of w?
True
Let m(u) = -36*u + 31*u - 3*u**2 + 7*u**2 + 2. Let i be m(4). Suppose -k + 2*k - i = 0. Is 9 a factor of k?
False
Let x(r) be the second derivative of -r**6/120 - r**5/20 - r**3/2 + 11*r**2/2 + 8*r. Let o(y) be the first derivative of x(y). Is 6 a factor of o(-5)?
False
Does 29 divide -26*9/(-18) - -8807?
False
Let i be ((-38)/95)/(2 - (-202)/(-100)). Suppose q + i - 81 = 0. Let r = 72 - q. Is r a multiple of 2?
False
Let d be ((-2)/1)/(1/(-1)). Suppose -3*o - 5*a + 29 = 0, 5*o + d*a - a - 19 = 0. Suppose o*j - 171 = -x, -3*x + 5*x - 3*j = 333. Is 21 a factor of x?
True
Suppose j + 37 = 5*c + 10