
Let z(x) = -2*x**3 - 3*x**2 - 35*x - 98. Is z(-10) a multiple of 61?
True
Suppose 2*i - 14924 = -42*l + 35*l, -4*i = 2*l - 4264. Does 26 divide l?
True
Suppose 2*r - 126 = -5*f - 7, 5*f = 3*r + 134. Suppose 4*o = f + 3. Suppose -6 = o*a - 286. Is 8 a factor of a?
True
Let n = -2004 - -8760. Is 8 a factor of n?
False
Suppose 56132 = 18*m - 182206. Does 151 divide m?
False
Let r(v) = 55*v**3 - 40*v**3 - 3 - v**2 + 2*v + v. Is r(1) a multiple of 3?
False
Let k(p) = -214*p + 699. Is 111 a factor of k(0)?
False
Let n = 6078 - -11205. Does 39 divide n?
False
Let f = 1446 + 5482. Does 16 divide f?
True
Suppose 88 + 208 = -8*d. Let f = d + 94. Does 23 divide f?
False
Let u(r) = r**3 + 25*r**2 + 31*r + 25. Let g be u(-23). Let w = g - 48. Does 4 divide w?
False
Let n(m) = 6*m**2 - 6*m - 50. Let l be n(-6). Suppose 142 + l = 2*b + 5*a, -a = -5*b + 887. Is b a multiple of 30?
False
Let h = -440 + 11685. Is h a multiple of 173?
True
Suppose 84852 = 4*o - 2*i, -2 + 8 = -i. Is 263 a factor of o?
False
Let c(d) = 154 + 5*d + d**3 - 2*d + d**2 + 154 + 251. Does 43 divide c(0)?
True
Let c be ((-36)/5 - -7) + (-41)/(-5). Is c + 2616/32*12 a multiple of 11?
False
Let r(p) = 5*p**2 - 4*p + 24. Let d(j) = j - 4*j - 23 + 4*j - 4*j**2 + 2*j. Let l(x) = -3*d(x) - 2*r(x). Is l(6) a multiple of 15?
False
Let s(b) = b**2 + 23*b + 67. Suppose -3*k = -5*l + 6, 5*l - k - 2 = 2*l. Is s(l) a multiple of 4?
False
Is (242079/(-9))/(-19)*3 a multiple of 31?
True
Let v = -216 + 139. Let c = 142 + v. Suppose 0 = -11*i + c + 23. Is 8 a factor of i?
True
Suppose 2*u + 8 = 6. Let s be 5 + u - (1 + -2 - -2). Suppose 0 = -5*i + s*r + 38, 4*i = -3*r + 5*r + 30. Does 3 divide i?
False
Let t = 3 - 1. Suppose 5*f - 168 = t*x, 5*x - f + 6*f + 455 = 0. Let l = -17 - x. Is l a multiple of 8?
True
Suppose 4*g + 5*r - 39 = 0, 2*g - r = -0*r + 9. Let x = -14 + g. Is 25 a factor of 428/(x/(-2)) - (-1 + 3)?
False
Suppose -m - 25 = -4*u, 3*u + 0*u = -m + 10. Suppose -3*l + 446 = a, 0 = 3*l + 2*a - 309 - 133. Suppose u*i - 30 = l. Does 9 divide i?
True
Let v = 43 - 47. Let w(c) = 3*c**3 + c**2 + 5*c - 2. Let q(o) = -8*o**3 - 2*o**2 - 14*o + 5. Let g(y) = -4*q(y) - 11*w(y). Is g(v) a multiple of 12?
False
Does 9 divide (-840)/26*(-13)/2?
False
Suppose a - 76 = r, 0 = -4*a + 5*r - 2*r + 299. Let k = 76 - a. Does 5 divide k?
True
Suppose 0 = -2*h + 48 - 146. Let y = h + 145. Is y a multiple of 10?
False
Let c = 68 + -45. Let v = -20 + c. Suppose -4*j - 5*b + 31 = 0, 4*b = v*j - 31 - 0. Is j even?
False
Suppose 45 = 7*o + 2*o. Suppose o*v = v + 1116. Does 12 divide v?
False
Suppose -203850 = -157*d - 68*d. Is 10 a factor of d?
False
Suppose -y - 3*y = 3*l + 8, -10 = 5*y + 3*l. Let o be y/3*(-171)/38. Suppose 426 = o*u + 3*u. Is u a multiple of 17?
False
Let n(p) = 60*p**2 + 212*p + 2748. Does 7 divide n(-13)?
False
Let n = -88 + 904. Let q = 940 - n. Is q a multiple of 4?
True
Let k(j) = 26*j - 224 + 55 - 47*j + 70*j. Is k(21) a multiple of 19?
False
Let q(a) = 9*a - 5*a**2 + 26*a**2 - a**2 + 7*a**2. Is 20 a factor of q(-3)?
False
Suppose -3*d - 6 - 2 = 5*u, -2*d + u + 12 = 0. Let s be d/14 + (-5695)/(-35). Suppose 0 = -4*k - 43 + s. Does 29 divide k?
False
Suppose -34*s - 1356 = -3498. Let d = s + 237. Is 10 a factor of d?
True
Let n(y) = y**3 + 6*y**2 - 4*y - 3. Let q be n(-6). Let b = -21 + q. Suppose 3*w + 130 = 5*r - b*w, 41 = 2*r + w. Does 8 divide r?
False
Suppose 209003 = -32*f + 332805 + 991590. Is f a multiple of 14?
False
Let z = -55 - -57. Let m be (-5)/((-15)/6) - z. Suppose j - 5*t - 144 = 0, 3*t - t + 6 = m. Is j a multiple of 43?
True
Let d(y) = -y**3 + 5*y**2 - 3*y. Let w be d(4). Suppose 0 = 2*b + 8, -2*b = 3*g - 1 - 0. Is (-48)/(-18) - (1 - w/g) even?
False
Suppose 7359 = 18*q - 7671. Let f = q + -480. Is f a multiple of 19?
False
Suppose 8 = -43*f + 39*f. Suppose 2*k + 2*u - 10 = 0, 3*k - 23 = 2*u - 3*u. Is 10 a factor of 3580/90 - f/k?
True
Does 88 divide 3321 + 0*(46/102 - 2/17)?
False
Let c(h) = -h**3 - 5*h**2 + 26*h + 21. Let v be c(-8). Suppose 4*p + 2*b - 526 = 0, b - 10 = -v. Does 38 divide p?
False
Let a = -5 + -36. Let i = -25 - a. Does 4 divide i?
True
Is 10 a factor of 3840/(-18)*-18*(-4)/(-64)*4?
True
Suppose -6936 = -6*p + 1482. Let j = -701 + p. Is 54 a factor of j?
True
Suppose 63 = 10*l - 17*l. Is (-1131)/l - 2 - 1/(-3) a multiple of 62?
True
Let s be 11824/10 + (-408)/(-255). Let x = s + -640. Is x a multiple of 16?
True
Let i(l) = -l - 14. Let c(z) = z - 27. Let r be c(8). Let g be i(r). Suppose -g*n + 230 = -0*n. Does 8 divide n?
False
Suppose 29672 = -27*p + 33*p - 8746. Does 69 divide p?
False
Suppose -1799 = 3*n - 10*m + 5*m, 577 = -n - 4*m. Let p = 764 + n. Is p a multiple of 15?
False
Suppose -5*b = -55 - 20. Let d be (1176/20)/(b/50). Is d - (-5 + 3 - (-4)/(-2)) a multiple of 20?
True
Let t(w) = 107*w + 17. Let i be t(7). Let b = 1094 - i. Does 8 divide b?
True
Let v = 260 + -256. Let a(i) = i**2 + 4*i + 9. Does 41 divide a(v)?
True
Let x(z) = 10*z**2 + 113*z - 78. Is 3 a factor of x(-15)?
True
Let g(b) = 2*b + 20. Let f be g(-17). Let s be ((-102)/119)/(1/f). Let p(i) = 5*i - 23. Is p(s) a multiple of 7?
False
Suppose 0 = -8*g + 21494 - 4950. Does 4 divide g?
True
Suppose -3*v - 3*z + 18 = -0*z, 0 = v - 5*z + 18. Let m be (-27)/(((-8)/(-2) - v) + -1). Let s = m - -71. Does 22 divide s?
True
Let v(t) = 4*t**2 - 88. Let y(j) = -3*j**2 - j + 87. Let i(g) = -2*v(g) - 3*y(g). Is 13 a factor of i(-12)?
False
Let t = 169 + -125. Suppose 0 = -7*b + 11*b - t. Is b a multiple of 2?
False
Let b(k) be the third derivative of k**5/30 + k**4/2 - 29*k**3/3 + 87*k**2. Does 26 divide b(5)?
True
Suppose 13*o - 229952 - 235030 = -o. Is 17 a factor of o?
False
Let f = -118 - -118. Let d(o) = o**2 - 17*o + 330. Is d(f) a multiple of 66?
True
Let f = -267 + 286. Suppose 14 = 11*g - f. Does 3 divide g?
True
Let i(k) = -k + 9. Let a be i(15). Does 10 divide (-1)/a + (-67998)/(-252)?
True
Let y be 427/(1/(3 + 2 + -4)). Suppose 2*m = f + 149, -y = 3*f - m - m. Let s = -35 - f. Does 10 divide s?
False
Suppose 274*g - 10717631 = -798283. Is g a multiple of 23?
True
Let y(u) = -135*u + 13617. Does 6 divide y(73)?
True
Let r be (-21 - -21)/(3/(-2 - 1)). Suppose 4*y + s - 2335 = 0, r*s + s + 590 = y. Does 9 divide y?
True
Let a(o) = 428*o - 1173. Is 13 a factor of a(23)?
True
Let b(s) = 1044*s**2 + 127*s - 377. Is 74 a factor of b(3)?
False
Suppose 2016 = -3*g + 6*g - 3*m, 5*m = 3*g - 2000. Is g a multiple of 8?
True
Does 153 divide (-12)/(-36) - (-6 - (-9156)/(-18))?
False
Let s(r) = -r**3 - 36*r**2 - 127*r + 30. Let a be s(-32). Let d be 2/(-2)*-1*2. Is 6 a factor of 9 - (-3 + a + d)?
True
Let q = 9507 + -3401. Is q a multiple of 28?
False
Let q be (18352/186)/(152/(-150) + 1). Does 41 divide q/(-30) - 6/9?
True
Let d(t) = 5 + 49*t**2 - 18*t**2 + 5*t**2 + t - 3 + 2. Does 30 divide d(-2)?
False
Let u = 13962 + -9879. Does 128 divide u?
False
Let d(p) = -4*p**2 + 21*p - 103. Let g(v) = -5*v**2 + 22*v - 105. Let a(k) = 6*d(k) - 5*g(k). Is a(-23) a multiple of 5?
False
Let o(n) = -8485*n - 23355. Is o(-6) a multiple of 5?
True
Suppose 4*x + 8 = 0, 13*t = 16*t - 5*x + 3065. Does 34 divide 19/(-6 + t/(-170))?
True
Let u = 432 + -430. Suppose 2*z + 21*k = 26*k + 912, u*z - k - 912 = 0. Is z a multiple of 8?
True
Suppose -o + 23607 = 365*f - 364*f, 3*f - 70821 = -10*o. Is 18 a factor of f?
False
Suppose -6*d + 3*d = 834. Let j be (-10)/(60/18)*d/(-3). Let p = j - -397. Is 24 a factor of p?
False
Let x(y) = -2*y + 46. Let q be x(26). Is (-178)/30*-21 + q/(-15) a multiple of 25?
True
Let a(i) be the third derivative of i**6/120 - i**5/12 + 3*i**4/8 + i**3/6 + i**2 - 8. Does 18 divide a(7)?
True
Let g(d) = d**3 - 4*d - 2. Let k be g(-2). Let b be (-1 - k)*(-1 - 2)*-97. Suppose 4*w - 5*j = 64 + b, 0 = -w + j + 88. Is w a multiple of 17?
True
Let n = 698 + 917. Is n a multiple of 5?
True
Suppose -32*o = -7*o - 7725. Is o a multiple of 3?
True
Let p(z) = 2*z**2 + 56*z + 46. Let a(d) = -2*d**2 - 56*d - 45. Let r(u) = -6*a(u) - 5*p(u). Is 20 a factor of r(-30)?
True
Suppose -2*c - 23 = 23. Let l = c + 120. Suppose 5*n - 63 = l. Is 16 a factor of n?
True
Let a be (6 - -2) + (-1 - 3). Suppose -a*y = -83 - 1. Suppose 4*r = 481 - y. Does 19 divide r?
False
Suppose -28728 = -49*b + 67704. Is b a mult