rue
Let t = 44 - 40. Suppose -3*z + t*y + 576 = -313, 594 = 2*z - 4*y. Does 59 divide z?
True
Suppose 143*u = 148*u - 20. Suppose u*o + 1298 = 5*j, -3*j - 12*o = -9*o - 768. Is j a multiple of 2?
True
Suppose 7*t - 2332 = 5*t + 3*h, 0 = t - h - 1164. Suppose q - d = -10, 6 + 18 = -2*q + d. Is 4 a factor of t/35 - (-2)/q?
False
Let s = 78 + -41. Let g = s - 44. Does 10 divide 6*3/(-6)*g?
False
Let j(s) = -2*s**3 - 15*s**2 - 5*s + 19. Let g be j(-7). Let p(c) be the first derivative of 22*c**2 + 14*c + 2. Does 25 divide p(g)?
False
Let m be ((-6)/(-2) + 4/(-8))*2. Suppose m*n - 3*n - 14 = 0. Is 2 a factor of n?
False
Let f(l) = l + 1. Let m(x) be the first derivative of 3*x**2 - 6*x - 12. Let s(q) = 5*f(q) - m(q). Is s(0) even?
False
Let b = -16581 + 25428. Suppose -16*n = -b + 1167. Is n a multiple of 60?
True
Let o(v) = -1 + 2 + 12*v**2 + 0 + 3*v**2 - v. Let x be o(-3). Suppose -6*a = -137 - x. Is a a multiple of 23?
True
Let h = -122 + 1037. Suppose 14*m - h - 6435 = 0. Is 21 a factor of m?
True
Let q = 1524 + 5231. Is 7 a factor of q?
True
Let d = 24539 + -12989. Is 70 a factor of d?
True
Let k(t) = -856*t - 1668. Is 12 a factor of k(-6)?
True
Let m(y) = 2*y - 10. Let l be m(8). Let c be (8/l)/(2 - 4/3). Suppose 0*a + 20 = 5*a, -c*r - a + 26 = 0. Is r a multiple of 5?
False
Suppose 3*f = -154*f + 4*f + 3223710. Does 35 divide f?
True
Suppose 10*g = 6*g - 20, -v + 11 = -2*g. Does 22 divide (v - 2)*-662 + (8 - 3)?
False
Let z = 1318 - -3852. Does 55 divide z?
True
Let a(w) = 2434*w**2 + 49*w + 96. Does 30 divide a(-2)?
False
Suppose 0 = -7*g + 2*g + 5*f + 104025, -4*g = 2*f - 83226. Is 101 a factor of g?
True
Let y = -184 + 115. Let s = -121 - y. Let x = -39 - s. Is x a multiple of 13?
True
Let v = -29 - 1. Let f be (1*62)/(v/45). Let z = 152 - f. Does 49 divide z?
True
Let y = 2121 - -5559. Is 24 a factor of y?
True
Let t be (3 - -1)/(-8) - (-34)/4. Let g(f) = -t*f - 7 - f + f - 2*f. Does 11 divide g(-6)?
False
Suppose -3*x = -0*x. Suppose 4*l - b - 2*b = -6, l + 4*b - 8 = x. Suppose -144 = -2*o - l*o. Is o a multiple of 8?
True
Let p = 47 - 46. Let i(u) = 2*u + 2. Let o be i(p). Suppose 0 = -o*q - 5*y + 155, -5*q + 148 = -4*y - 15. Does 13 divide q?
False
Let t = 529 - 524. Suppose -3*q + 1794 = f, -18*q + t*f - 598 = -19*q. Does 13 divide q?
True
Let f = -79 + 81. Suppose r + f*i = -0*r + 46, 5*i = -25. Is r a multiple of 14?
True
Suppose 0 = 19*c - 36556 - 4845. Does 43 divide c?
False
Suppose -10830 - 46706 = -31*b. Is 8 a factor of b?
True
Let f = -17772 + 45176. Does 31 divide f?
True
Let w be (-3)/(-6)*(0/(-1))/(-2). Let d = 71 + w. Suppose d = -5*l + 266. Does 13 divide l?
True
Suppose 280 = 13*p - 9*p. Let w = p - 22. Is 14 a factor of w?
False
Let j(i) be the third derivative of -i**5/60 - 19*i**4/24 - 29*i**3/6 + 20*i**2. Let l be -3 - (-10)/(-15)*21. Is j(l) a multiple of 2?
False
Suppose 2777*m = 2741*m + 177840. Does 19 divide m?
True
Suppose 5*k = 2*a - 11730, -616*k + 618*k = 3*a - 17628. Is a a multiple of 27?
False
Let u = -546 + 551. Suppose -139 = -2*n + u*r, -2*n - 2*r = -4*r - 124. Is 3 a factor of n?
True
Let i be 208/26 - (2 - -1). Let h be (i + 7)*(-1)/(-3). Suppose 33 = -0*z + 3*z - 2*q, 2*z = h*q + 30. Does 9 divide z?
True
Let k = 8 + 93. Is k + (-90)/(8 - -2) a multiple of 7?
False
Suppose 10*p - 34824 = -5364. Is 27 a factor of p?
False
Let d(i) = 3628*i - 28. Let y be d(1). Suppose 25*n = n + y. Is 27 a factor of n?
False
Let l = -7476 + 8434. Does 14 divide l?
False
Let z(k) = k**2 - 12*k + 26. Let u be z(8). Let y be -1*(-50)/3*u/(-5). Let n(h) = h**3 - 18*h**2 - 26*h - 10. Does 24 divide n(y)?
False
Suppose 7*k - 9*k = -330. Suppose 3*r = k + 732. Suppose 0 = 5*b - 4*a - r, 0 = 10*a - 5*a + 5. Is b a multiple of 19?
False
Is (-39438)/(-21) - (-7 + -11) a multiple of 6?
True
Suppose -14 = -2*z + 2*p - 3*p, 0 = 3*p - 12. Suppose -2*a = z*y - 627, 5*a + 2*y - 552 - 1068 = 0. Does 48 divide a?
False
Suppose 1241 = 2*q + 3*b, -4*q + 51*b + 2470 = 53*b. Is 56 a factor of q?
True
Let k(j) = 28*j + 106. Let q be k(-4). Let v(n) = -10*n + 8*n - 20*n - 7*n - 21. Does 17 divide v(q)?
True
Suppose 128*b - 686858 - 1057310 = 48216. Is b a multiple of 19?
True
Is 4 a factor of 1 + -8 + (-4975 - 23)/(-34)?
True
Suppose 5*p - 3*d = 9*p + 545, -2*d = 3*p + 408. Is 1/6*-9*p a multiple of 32?
False
Let m(x) = -x**2 + 174*x - 557. Is m(43) a multiple of 306?
False
Let c(k) = 34*k - 7. Suppose 4*a - 5*s - 31 = 0, a - 3 - 1 = 2*s. Let m be ((-32)/28)/((-4)/a). Does 40 divide c(m)?
False
Let n be -2 + 3/(15/(-130)). Let o be (-12942)/(-14) - 16/n. Does 17 divide o/55 + 2/11?
True
Does 91 divide (-14 + 18 - -103)*91?
True
Let v be (3/(-6))/((-1)/18). Let s be 3/v + 2/3. Suppose 2*q - 5*n - 36 = 0, 1 = n - s. Does 10 divide q?
False
Let i = 170 + -289. Let u = i + -102. Let p = 347 + u. Is p a multiple of 25?
False
Let q(x) = 2*x**2 - 34*x + 66. Let c be q(15). Let d(g) be the second derivative of 8*g**3/3 - 11*g**2 - 3*g. Is d(c) a multiple of 8?
False
Let v(d) = d**2 - 16*d - 915. Does 21 divide v(-63)?
False
Let r(s) = 182*s + 22. Let l be r(1). Suppose -219*k + l*k = -7725. Is 103 a factor of k?
True
Is 42 a factor of (-72)/324 + (-48768)/(-27)?
True
Suppose -4*a + 25 = -9*a. Let z be ((-4)/a)/((-2)/(-5)) + -12. Let i(g) = -7*g - 10. Is 30 a factor of i(z)?
True
Suppose 93*k = 97*k - 8148. Suppose 2*f = -d + 401, -3*d + k = 2*d + 2*f. Is 12 a factor of d?
False
Let p = 148 - 144. Suppose 0 = -p*o + 5*j + 855, 0 = 4*o - 8*j + 6*j - 846. Does 30 divide o?
True
Suppose -2048*o - 1401990 = -2082*o. Is 86 a factor of o?
False
Suppose -3*b = -0*b + 4*a - 13998, 0 = -b + 3*a + 4653. Does 18 divide b?
True
Let m(o) = -14*o**2 - 51*o + 174. Let a(k) = 5*k**2 + 17*k - 58. Let v(i) = -8*a(i) - 3*m(i). Is 8 a factor of v(11)?
False
Let p be (1/(-14)*4)/((-1)/7). Let j(h) = 14*h - 11. Does 2 divide j(p)?
False
Let f(l) = 3*l**2 + 4*l + 27. Let w be f(-12). Let i = 11 - w. Let t = 568 + i. Is 42 a factor of t?
True
Let j(t) = -t**3 - 43*t**2 - 91*t + 97. Does 6 divide j(-42)?
False
Let j(t) = -3*t - 1. Let x be j(-3). Let b(c) = -c**2 + 12*c + 6. Let q be b(16). Is 19 a factor of (-5 - q/x)*52?
False
Let g(k) = 19*k + 16 - 31*k - 17*k - 80. Does 15 divide g(-6)?
False
Let b(p) = 222*p + 224*p - 11*p**2 + p**3 - 435*p - 7. Is 5 a factor of b(11)?
False
Let q(u) be the second derivative of u**4/6 - 13*u**3/2 + u**2 + 10*u. Let p(k) = -3*k**2 + 58*k - 3. Let m(l) = -5*p(l) - 8*q(l). Is m(12) a multiple of 17?
True
Let h be (-1)/3 - (-290)/87. Suppose x + 7*w - 1008 = h*w, -5091 = -5*x - 3*w. Does 51 divide x?
True
Suppose 323253 = 28*g + 75*g + 44*g. Does 2 divide g?
False
Suppose 0 = -4*k + k + 9. Suppose l = k*l - 4. Suppose -5*w = l*x - 35 - 18, -2*x + 23 = -w. Does 14 divide x?
True
Let d be -8292 + 2 + 4 - 2. Does 21 divide 0 - d/6 - 168/(-252)?
False
Let i(s) = 31*s - 46. Let c = 270 - 265. Does 4 divide i(c)?
False
Suppose 4*j - 62060 = -5*v, 18*j - 5 = 17*j. Does 143 divide v?
False
Let f(a) = -2*a**3 + 101*a**2 - 48*a - 104. Let n be f(50). Suppose -y + 15 = 5*u, 4*u + 24 = -2*y + 3*y. Let w = y + n. Is 3 a factor of w?
False
Let g(v) = -v**2 + 5*v + 344. Let r be g(0). Suppose -9688 = -19*k + r. Does 66 divide k?
True
Let j = -1096 - 211. Let k = -612 - j. Does 45 divide k?
False
Let s(n) = -n**3 - 7*n**2 - 5*n + 6. Let c be 12/(-8) - 18/4. Let z be s(c). Let d(v) = -v + 62. Is d(z) a multiple of 33?
False
Let f = -48084 - -96832. Is f a multiple of 14?
True
Let h = -154 + 282. Suppose 7*d + 23 - h = 0. Let o = d + 9. Is o a multiple of 10?
False
Let l(m) be the third derivative of -5*m**4/12 + 233*m**3/6 + 95*m**2 + 2*m. Does 14 divide l(18)?
False
Let c(j) = 181*j**2 + 76*j + 12. Is c(-4) a multiple of 93?
True
Let n(o) = 36 - 22 + 30 + 51*o - 48*o. Is n(-9) a multiple of 3?
False
Suppose 285*f = -m + 289*f + 3507, -3*m - 2*f + 10549 = 0. Is 37 a factor of m?
True
Suppose 56*f = 54*f. Suppose 4*n + 5 - 25 = f. Suppose n*s = 272 + 3. Is s a multiple of 4?
False
Let l be (-84)/56*(0 + -1 + 51). Is 7 a factor of (9/(-2))/(-3)*(-4900)/l?
True
Let y = 39168 - 19859. Is 38 a factor of y?
False
Let f(b) = 5*b**3 - 3*b**2 - 9. Let t be f(3). Suppose 2*u - 4*c = -3*u + t, -3*u + 4*c + 53 = 0. Does 8 divide u?
False
Let y(l) = l**2 + 18*l 