*c - 4*j = -202. Is 26 a factor of c?
False
Suppose -6*q + 209 = 83. Let t = -21 + q. Is (t + -16)/(2/(-6)) a multiple of 8?
True
Let b(v) = -v**3 - 52*v**2 + 88*v - 156. Is 66 a factor of b(-54)?
True
Let o(b) = 32*b**2 + 8*b + 4. Let a be o(3). Suppose 26*y - 27*y = -a. Is 23 a factor of y?
False
Let q = 6567 + -4887. Is q a multiple of 8?
True
Let a(t) = 8*t**3 + 15*t**2 + 3*t - 2. Let l be a(-6). Let v = l + 1860. Suppose -v = -11*h + 1163. Is h a multiple of 11?
True
Let r(w) = 6*w**2 + 1. Suppose -a = -3*f - 0*a - 1, 3*a + 11 = -5*f. Let m be r(f). Suppose m*x = 9*x - 170. Is x a multiple of 6?
False
Suppose 11*w + 15 = -7. Let t be (-7 - -11)/(w/(-3)). Does 14 divide (-7548)/(-54) - t/(-27)?
True
Suppose 7*f - 104*f = 194*f - 1555686. Does 113 divide f?
False
Is 1/4 + 0 - 1269163/(-644) a multiple of 9?
True
Let x(q) = -q**2 - q. Let r be x(-3). Let v be (3 + 3)*(-4)/r. Suppose 0 = 5*l + 5, v*h + l = 60 + 459. Is h a multiple of 24?
False
Let x(b) be the second derivative of -b**6/240 - 7*b**5/120 + 5*b**4/6 - 19*b. Let v(u) be the third derivative of x(u). Does 11 divide v(-6)?
True
Suppose -18 + 90 = 8*a. Does 26 divide (2 - a) + 85/1?
True
Does 67 divide ((-6)/12*1)/((-15)/72360)?
True
Suppose 6262 = 2*g - 1286. Suppose -21*a = -4*a - g. Is a a multiple of 37?
True
Suppose -2*m = -0*m - 4*a + 718, -1451 = 4*m - 3*a. Let k be (-3*m/(-30))/((-2)/(-20)). Let n = k + 587. Does 37 divide n?
True
Let c = 13962 - -3594. Is 11 a factor of c?
True
Let f(l) = -l**3 - 23*l**2 + 71*l + 14. Does 98 divide f(-26)?
True
Let u = 1487 + -1045. Let s = u - 47. Does 8 divide s?
False
Suppose -5*m = 3*s - 940, -23*m + s + 960 = -18*m. Let h = m - 21. Does 2 divide h?
True
Suppose -197*f + 5959658 = 1104002. Does 15 divide f?
False
Let j(w) = 109*w**3 + 17*w - 45. Is 21 a factor of j(3)?
False
Suppose 4*v + 4 = -a, 7 - 9 = v. Let x(d) = 11*d**2 - 8*d + 16. Let z be x(a). Suppose 584 = 4*k + 2*p, 2*p - z = -k - 2*p. Does 24 divide k?
True
Suppose -5*g - 2*j + 32439 = 0, -2*g + 12990 = -376*j + 372*j. Is g a multiple of 36?
False
Suppose 32769 + 2495 = 38*f. Is f a multiple of 58?
True
Let s be 4 - 2/(-1) - 7/7. Let u(l) = 41*l**2 - 12*l + 47. Does 11 divide u(s)?
True
Let p(g) = 4*g**2 + 3*g - 17. Let z = 177 + -186. Is p(z) a multiple of 20?
True
Let t be ((20874/7)/7)/2. Let f = 175 + t. Is 4 a factor of f?
True
Let m(o) = o**3 + 43*o**2 + 56*o + 6. Suppose 286 - 69 = -5*n - 3*w, -5*n - w = 209. Does 45 divide m(n)?
False
Let r(f) = -f**3 - 18*f**2 - 3*f + 35. Let h be r(-26). Suppose h = 21*t - 2711. Is 49 a factor of t?
True
Suppose 20*k + 37*k = 311700 + 5049. Is k a multiple of 24?
False
Let q = -2430 - -5940. Is 78 a factor of q?
True
Let s be (-636)/(-3) + 2*-1. Let h be ((-4)/6)/(62/(-465)). Suppose -h - s = -5*g. Is g a multiple of 10?
False
Let z(x) = 6*x + 6. Let w be z(-2). Let d(s) = -2*s - 12. Let k be d(w). Suppose -4 = 2*o, k = -0*m - 2*m + o + 98. Is m a multiple of 7?
False
Suppose -55013 = -5*o + 4*m, -102*m = -o - 103*m + 11008. Is o a multiple of 155?
True
Suppose -51 = -5*s - 3*i, -5*s + s - 4*i = -36. Suppose 0*y - s = -4*y. Suppose -n = -0*n + 5*b - 60, n + y*b = 60. Is 12 a factor of n?
True
Let b = 57 + -97. Suppose 41*x - 1172 = -4657. Let f = b - x. Does 9 divide f?
True
Suppose 0*f = 2*f + 2*b - 766, -5*b = -15. Suppose c = 6*c - f. Is c a multiple of 15?
False
Let x(f) = -609*f - 14. Let a be ((-27)/18)/(6/8). Is x(a) a multiple of 14?
True
Let q(u) = 51*u**3 + 5*u**2 - 11*u - 6. Suppose -66 = 3*w - 9*w. Let a(k) = -17*k**3 - 2*k**2 + 4*k + 2. Let d(h) = w*a(h) + 4*q(h). Is d(2) a multiple of 42?
True
Let p(i) = i + 9. Let u be p(-7). Suppose -u*w + 112 = n - 189, 5*w + n - 751 = 0. Is w a multiple of 24?
False
Let f(b) = b**3 + 12*b**2 - 3*b - 6. Let g be f(-7). Let n(q) = q**3 - 12*q**2 - 39*q - 27. Let r be n(14). Let u = g + r. Does 32 divide u?
False
Let j = -1693 - -3181. Does 24 divide j?
True
Let c(d) = -806*d + 65. Is c(-5) a multiple of 95?
False
Let b(n) = 2*n**3 - n**2 + 3*n + 232. Let s be b(0). Suppose s = -6*l + 1390. Is l a multiple of 11?
False
Is 74388/9*(-120)/(-80) - -10 a multiple of 22?
True
Let i(l) = l**2 + 2*l - 97. Let y(m) = -m**3 + 45*m**2 + 18. Let r be y(45). Is i(r) a multiple of 12?
False
Let z = 174 + -166. Let o(k) = k**2 + 14*k + 26. Is o(z) a multiple of 24?
False
Let y(x) = 4*x + 16. Let r be y(20). Let q be r - ((-2 - 1) + 7). Let g = 152 - q. Is g a multiple of 6?
True
Let w(b) be the second derivative of -5*b**3/2 - 3*b**2 + 13*b. Let g be w(-3). Let c = g - -24. Is c a multiple of 9?
True
Let n = -105 - -104. Is 35 a factor of (n/(-1))/((-36)/(-9072))?
False
Let u(j) = -2*j**2 + 17*j - 36. Let b be u(6). Is 4 a factor of (-32)/(-6)*(9 + b)?
True
Suppose 5*s - j - 9 = j, -4*j = 4*s - 24. Suppose -s*r + 5*m - 268 = 0, -7*r = -3*r - m + 380. Let g = r - -168. Does 18 divide g?
True
Suppose -151*w + 1519601 - 491593 = 0. Does 148 divide w?
True
Suppose -33*u + 61*u + 112 = 0. Is 10 a factor of 2673/4 + 1/u?
False
Let b = -342 - -1654. Is 22 a factor of b?
False
Suppose 2*m = -5*g + 7*m + 35025, g - 4*m = 7014. Suppose 0 = -3*z - 2037 + g. Is (-2)/19 - z/(-19) a multiple of 29?
True
Suppose -444900 = -11*m - 4*m. Suppose -18*v + m = -5188. Does 22 divide v?
True
Suppose -5*q - 37*f + 1046 = -34*f, f = -5*q + 1042. Is q a multiple of 13?
True
Let v(p) be the second derivative of p**4/3 + 49*p**3/6 - 3*p**2/2 - 9*p. Does 54 divide v(-15)?
True
Suppose 20*x = -7*x + 91476. Is x a multiple of 44?
True
Does 39 divide 1*-25*(-72380)/350?
False
Suppose 0 = 88*r - 115*r + 236088. Is r a multiple of 8?
True
Let p be 1 + 0 + -440 + -2. Is p/(-18)*288/14 a multiple of 18?
True
Let o(z) = 17*z + 170. Let a be o(-17). Let h = 34 - a. Is 9 a factor of h?
True
Let x(n) = -12*n + 26. Let w(y) = -61*y + 131. Let k(t) = 2*w(t) - 11*x(t). Let q be k(3). Does 11 divide (-46 - q)*(-4)/16?
False
Suppose 3*b = -h + 30, -4*h + 3*h + 4*b = 5. Is 9 a factor of 1146/h + 48/80?
False
Suppose 3*a - 18899 = g, 6323 = a - 20*g + 8*g. Is 37 a factor of a?
False
Let a be 20/(-25) - (-8270)/25. Does 4 divide 4/26 + -42*a/(-156)?
False
Let x = 46569 - 32277. Suppose -19*a = 3918 - x. Is 25 a factor of a?
False
Let u = 21152 + -8447. Is 15 a factor of u?
True
Suppose 5*o - 2*y - 7112 = 3*o, -3*y = 2*y. Is 25 a factor of o?
False
Suppose -2*z + 2*z = -4*z. Let j(t) = -t**3 - t**2 + 2*t + 481. Does 55 divide j(z)?
False
Let p = -696 + 4729. Does 5 divide p?
False
Let b be 5 - -6 - (3 + -1 + 2). Suppose 0 = 2*v - 9 + b, 4*v - 612 = -c. Does 15 divide c?
False
Let s(y) = -y**3 + 4*y**2 + 12*y - 25. Let t = -15 - -3. Let r be s(t). Suppose 277 = 9*h - r. Is 43 a factor of h?
False
Suppose 5*i + 5*l - l = 51, 2*l = 4*i - 20. Suppose 15 = 5*t, 2*t + 163 = -4*k + i*t. Let p = k - -63. Is 22 a factor of p?
False
Let f(a) = -41*a + 375. Is 9 a factor of f(-2)?
False
Let f(h) = 2*h**2 - 12*h + 23. Let o be f(3). Suppose 5*j = 3*w - 471, 4*w - o*j - 392 = 231. Is 38 a factor of w?
True
Suppose 34*d - 51512 - 57306 = 128502. Is 44 a factor of d?
False
Let n = -35 - -39. Suppose 5*z = -0*y - 5*y + 295, 0 = -3*y + n*z + 156. Does 27 divide y?
False
Let q(f) = 645*f + 3353. Does 14 divide q(21)?
True
Let m(p) = 2*p**2 - 6*p - 2. Let k be m(-5). Let i be 8/(-9 + -23) - (-194)/8. Let w = k - i. Does 27 divide w?
True
Let o = 182 - -49. Is o a multiple of 17?
False
Let l(s) = 60*s - 2709. Does 23 divide l(123)?
False
Let i = 97 + 1010. Is 41 a factor of i?
True
Let o = 286 - 281. Let u = o + 403. Does 36 divide u?
False
Is 16 a factor of (-161)/((-7 - (-202)/28)*28/(-72))?
False
Suppose d = -27*d + 17920. Is (-1 + -19)*(-20)/(d/168) a multiple of 3?
True
Let o be 2 + (-10)/(-3) + (-34)/(-51). Suppose 2*s - 3*a - 470 = 0, 2*s = 5*a - o*a + 486. Does 5 divide s?
False
Suppose 0 = 9*a - 18951 + 5694. Is 9 a factor of a?
False
Suppose -4*i = 3*x - 2179, -i - 9*x + 6*x = -556. Let n = -341 + i. Is 7 a factor of n?
False
Suppose 7467 = 11*y + 427. Is y a multiple of 10?
True
Let n(i) = -i**3 + 32*i**2 - 7*i + 174. Is n(28) a multiple of 5?
False
Let j = -1284 - -3884. Suppose -j = -17*w + 9*w. Is 5 a factor of w?
True
Let c = 29 + -24. Suppose 0 = -k, -c*n = -0*n + 4*k + 125. Let o = -7 - n. Is o a multiple of 6?
True
Let q(p) = -p**3 - 11*p**2