*j + 26. Is 77 a factor of i(29)?
False
Suppose -3*i - 3 + 31 = 4*w, 2*i + w - 17 = 0. Let h(v) = -5*v**2 + 10*v. Let u(d) = -6*d**2 + 9*d. Let y(f) = -4*h(f) + 3*u(f). Is y(i) a multiple of 6?
True
Let d = -3684 + 5470. Is 96 a factor of d?
False
Let h(u) be the second derivative of u**5/20 + 17*u**4/12 + 3*u**3 + 9*u**2 - 131*u. Is 5 a factor of h(-6)?
False
Let q(f) = 35*f**3 - 2*f**2 + 2*f - 1. Let d be q(1). Suppose x + 39 = -4*x - w, -w = -2*x - 24. Let i = d - x. Is 4 a factor of i?
False
Does 29 divide 15/165 - 61972/(-22)?
False
Let c(u) = 31*u**2 - 13*u + 28. Let t be c(2). Is ((-176)/6)/((-28)/t) a multiple of 22?
True
Let l = 3601 + -2236. Is 35 a factor of l?
True
Let s be 2/6 - (-296)/(-6). Let l = s + 38. Is 22 a factor of 4*l/(-3)*6?
True
Let v be -2 - 32/(-4) - 4. Suppose -v*y + 5*u = -y - 70, 3*y = 3*u + 258. Suppose 8 = 4*x, 2*i + 2*x - 402 + y = 0. Is i a multiple of 14?
True
Is (-93)/(-279)*(-3 - -6*(-4)/(-2)) a multiple of 3?
True
Does 40 divide 1124 + ((-18)/(-3) - (-20)/(2 + -7))?
False
Let j = 882 + -876. Suppose 0 = -2*x + 4*a - 890, -3*a = -4*x + a - 1768. Is x/(-6) + 1*(-1)/j a multiple of 14?
False
Suppose 10*l - 15*l = 500. Is 5 a factor of (-9460)/l + (-2)/(-5)?
True
Suppose 238*t + 698885 = -185*t + 2711096. Is t a multiple of 4?
False
Let m(i) = -3*i**2 - 4*i + 21*i**3 + 19*i - 11*i - 4*i. Does 6 divide m(2)?
True
Let c(l) be the second derivative of l**6/45 - l**5/5 + l**4 - 4*l. Let a(w) be the third derivative of c(w). Is a(4) a multiple of 8?
True
Suppose 832 = 2*l + 2*v, 15*l + 1652 = 19*l - 2*v. Does 46 divide l?
True
Suppose -18*u + 6765 = -874 - 21917. Is 49 a factor of u?
False
Let h = 18 + 10. Suppose -3*g = v + 13, -g - 3*g = -4*v + h. Is (v/(-4) - 0) + (-4500)/(-40) a multiple of 16?
True
Suppose 151*a = -68*a + 19710. Is 5 a factor of a?
True
Let v = -306 + 309. Is 10 a factor of (2 - (0 - v)) + 425?
True
Let p(n) = 4*n**2 + 99*n + 1082. Is 7 a factor of p(-18)?
False
Let l(b) = -462*b + 1964. Does 10 divide l(-8)?
True
Let d = 26041 - 4945. Is d a multiple of 58?
False
Let v(t) = 0*t**2 - t - 22 + 2*t**2 - 6*t. Suppose 7*g - 15*g + 72 = 0. Is 11 a factor of v(g)?
True
Suppose -8*i + 22347 + 861 = 0. Suppose 2*h = 4*k + 1176, 5*h - 16*k = -19*k + i. Is 17 a factor of h?
False
Let n(g) = -4*g - 22. Let t be n(-7). Suppose 0 = -3*q + 4*i + 28 - 4, -3*q - 2*i = -t. Suppose -b = q*w + 4*b - 339, 0 = 4*w - 2*b - 374. Is 13 a factor of w?
True
Suppose -u - 12 = o, 4*o + 0*u + 5*u = -53. Let a(v) = v**3 + 6*v**2 - 9*v - 12. Let s be a(o). Suppose -3*p + 39 + 128 = m, 2*p = s*m + 122. Does 12 divide p?
False
Suppose 4*h = -3*j + 57, -23*h + 27*h = -2*j + 46. Let p(d) be the third derivative of d**5/30 - d**4/2 - 5*d**3/3 + d**2. Does 10 divide p(j)?
True
Suppose 219*y - 214*y - 4*p = 4452, 2*y + 4*p - 1764 = 0. Does 8 divide y?
True
Let v(s) = -91*s**3 + 7*s**2 + 72*s + 190. Is v(-4) a multiple of 21?
True
Suppose -9*x = -6068 - 3850. Is x a multiple of 2?
True
Suppose 8*k - 5*k - 318 = 0. Let u = 124 - k. Suppose 3*n = 3*v + 51, -1 = n + 3*v - u. Is 2 a factor of n?
False
Suppose n - 3 - 1 = 0. Suppose 3*c + 3 = 0, 1855 = -n*v + 5*c - 1080. Is ((v/(-4))/7)/(3/12) a multiple of 12?
False
Let h(l) = 12*l + 23. Let f = -9 - -6. Let n(o) = -13*o - 24. Let v(j) = f*h(j) - 2*n(j). Does 13 divide v(-20)?
False
Suppose -5*h = 4*o - 127082, 72*h + 25434 = 73*h + 3*o. Does 121 divide h?
True
Suppose -53*j - 4472 + 8661 + 8425 = 0. Does 17 divide j?
True
Does 2 divide 3034/246*(10 + -1)?
False
Suppose 3*y + 10 - 19 = 0. Let q be (-66)/77*21/(-3). Does 5 divide 327/6 + y/q?
True
Let l = 17028 - 1928. Is l a multiple of 20?
True
Let w(n) = n**2 - 11. Let d be w(9). Let u be -2*(d/4)/(-5) - 3. Suppose -u*c - 17 + 229 = 0. Is c a multiple of 6?
False
Let i be (-14)/49 + 172/14. Suppose -6*u = -i*u + 36. Does 7 divide 6 + 35/(-6) + 161/u?
False
Let y = -15140 + 26662. Is y a multiple of 3?
False
Let y(f) = 19*f - 103. Let q be y(29). Suppose 3*s + q = 1123. Is s a multiple of 75?
True
Suppose 5*c + 19 + 51 = 0. Let p be 14/(-49) - 46/c. Suppose -p*s - 4*u + u + 126 = 0, 3*s = 4*u + 112. Is 8 a factor of s?
True
Let o be -48 - (0/3)/(-3) - 1. Let v = 55 + o. Suppose -13*a + 760 = v*a. Does 9 divide a?
False
Let x(z) = 3*z**2 - 3*z - 8. Let p be x(-4). Let m = -46 + p. Suppose 8*y - m*y = 80. Does 31 divide y?
False
Suppose 7*j = -5*j + 184440. Suppose 0 = 19*d - j - 1217. Does 75 divide d?
False
Suppose -19*w = -24*w. Suppose w = -0*r + 2*r - 420. Is 15 a factor of r?
True
Suppose -932 = 12*j + 1948. Let d = j - -734. Is d a multiple of 19?
True
Let a(d) = 494*d + 9170. Is 34 a factor of a(16)?
False
Suppose 1538 = k + 5*q, 0 = k - 4*q - 56 - 1473. Is k a multiple of 2?
False
Suppose -12 = 4*w + w + 4*f, -3*w + 4*f + 12 = 0. Suppose -124*s = -140*s + 48. Suppose w*x = s*x - 576. Is 16 a factor of x?
True
Suppose 19*v - 31223 - 18158 = 0. Is v a multiple of 113?
True
Suppose -2*o + d = 1 - 2, o - 17 = -5*d. Suppose -3*c + 47 = k, -4*c = -7*k + o*k + 254. Suppose 0 = -y + k + 114. Is 41 a factor of y?
True
Let m(v) = 3*v**2 - 5 - 4*v**2 + 34 - 17*v. Suppose -634*q + 34 = -636*q. Does 19 divide m(q)?
False
Suppose r + 157 = 5*o + 458, 3*r = -o + 983. Suppose 0 = -3*v - 2*u + r, -3*u - 122 = -v - u. Let b = v + -31. Is b a multiple of 17?
False
Suppose 22*w = 33*w - 330. Suppose 0 = w*q - 23408 - 5392. Is 15 a factor of q?
True
Let l be 46/(-2)*3*-2. Suppose -3*y = -c - y - 5, 3*y = -5*c + 14. Is 29 a factor of (l - 3 - c)/2?
False
Suppose 0 = -5*q - 5*y - 5, 3*q - 3*y + 6 = 9. Suppose q = 5*t - 453 - 562. Does 29 divide t?
True
Let a(r) = r**3 - 6*r**2 - 4*r - 6. Let l be a(7). Suppose -9*b + 21 = -l. Suppose u = -3*g + 77, b*u + 41 = -5*g + 181. Does 4 divide g?
True
Let h(c) = 46*c + 186. Let l be h(-4). Suppose 5*x + 1406 = 5*m + 3*x, 0 = -l*m + 4*x + 572. Is 8 a factor of m?
True
Suppose 7*x + 16 - 2 = 0. Let b(c) = 2*c**3 + c**2 - 2*c + 1. Let w be b(x). Let y = 18 + w. Is y even?
False
Suppose -83*q + 19240 = -70*q. Is q a multiple of 16?
False
Let m(l) = -l**2 - 5*l + 5. Let x be m(-5). Suppose -x*w = -2*u - u + 21, -18 = 4*w - 3*u. Is 1 - (-62 + 5 + w + 0) a multiple of 19?
False
Let u = -31 - -28. Let g be u/12 - 39/(-12). Suppose -4*x + g*x + 74 = 2*q, 5*q + 348 = 4*x. Does 21 divide x?
False
Let g(h) be the second derivative of -h**5/20 - 7*h**4/12 - 13*h**3/6 - 10*h**2 + h. Let z be g(-8). Suppose 164 = 12*u - z. Is u a multiple of 5?
False
Suppose -3 + 45 = 14*a. Suppose 0 = 5*o - a*g - 605, -4*g + 9*g - 273 = -2*o. Does 63 divide o?
False
Suppose -1844 = -z + 5*z. Suppose -279*t = -270*t - 6453. Let i = z + t. Is 18 a factor of i?
False
Let d(c) = -46*c**2 - 43*c + 18. Let v(z) = 22*z**2 + 21*z - 9. Let w(m) = 2*d(m) + 5*v(m). Does 15 divide w(3)?
True
Suppose 5*y - 20164 = 4*k, 4*y + k - 1319 = 14829. Does 38 divide y?
False
Let d = -61 + 40. Let u(z) = -z**3 + 19*z**2 - 50*z + 31. Let m be u(16). Does 29 divide (931/d)/(m/3)?
False
Is 33 a factor of 1285 - (33 + -25 - (1 - -9))?
True
Suppose c - 10*c - 918 = 0. Let w = c - -172. Is w a multiple of 5?
True
Let d(t) = t**3 + 8*t**2 - t - 3. Let y be d(-8). Suppose -4*p = -r - 134, -p + 2*p - 44 = -y*r. Does 21 divide (1*-2)/(p/(-799))?
False
Suppose -6*b = -2*b - 5*l + 838, 4 = 2*l. Let k = b + 1056. Is k a multiple of 19?
False
Suppose -21*p = 455 - 77. Let n(q) = -q**3 - 16*q**2 + 19*q - 20. Does 32 divide n(p)?
False
Does 75 divide 111*-2*((-828)/27 - 22)?
False
Let a = -34226 + 64056. Does 23 divide a?
False
Let g(z) = 3 - z**3 + 7*z**2 + 8 + 14 + 4*z + 4*z. Is 8 a factor of g(-5)?
False
Let i = -393 - -718. Let s = -290 + i. Is 2 a factor of s?
False
Let i = 14203 - 8395. Is 22 a factor of i?
True
Suppose -v - 38 = b - 0*v, -3*v + 108 = -3*b. Is (b/(-148) + (-3826)/(-56))*7 a multiple of 17?
False
Let y(i) = -14*i + 46. Let z(m) = -13*m + 45. Let o(v) = 6*y(v) - 7*z(v). Is 16 a factor of o(17)?
True
Let t = 6086 + -2284. Does 9 divide t?
False
Suppose 0 = 2*f - 2*p - 238, -2*f + 3*f - 4*p = 116. Let l = -54 + f. Let n = l - 50. Is 16 a factor of n?
True
Let m = 474 + -449. Suppose m = -7*v + 109. Is v a multiple of 4?
True
Let j(s) = s**2 + 7*s + 15. Let x be j(-7). Is (2 + (-35)/x)*(-1576 - 2) a multiple of 7?
False
Suppose -10729 + 37382 = 11*b. Doe