tive of n**4/2 - 11*n**3/3 + 12*n**2. Is j(p) a multiple of 5?
False
Suppose 742033 + 212125 = 133*m - 1540656. Is m a multiple of 166?
True
Let l = 737 - -576. Let m = l + -134. Is m a multiple of 93?
False
Let c = -3310 - -3743. Is 21 a factor of c?
False
Let w be 1/(-3)*1*(7 - 496). Suppose -3*o + 2*v + w = -175, -3*o - 2*v = -346. Let a = o + -93. Is 14 a factor of a?
False
Let i = 37 - -31. Suppose -7*k = -6*k - i. Let n = -62 + k. Is n a multiple of 3?
True
Suppose -8 = 3*p + 4*l + 4, 0 = -5*p - 5*l - 15. Suppose p = -f - 3*f + 624. Suppose -f = -8*y + 6*y. Is 26 a factor of y?
True
Let o = 18 + 2. Let m be 5*(12/o + 0). Let i(b) = b**3 + 5*b - 4. Is 33 a factor of i(m)?
False
Suppose -g = -4, 2*t = 4*g - 0*g - 10. Let y = -35 + 21. Is 28*(t - (-30)/y) a multiple of 8?
True
Suppose 0 = 80*d - 82*d - q + 25174, 0 = -3*d - 17*q + 37823. Does 9 divide d?
False
Let f = -348 + 136. Let p be (7/((-14)/f))/2. Suppose -8*o + 3*o + 2*x = -p, -1 = -x. Does 4 divide o?
False
Let k = 8039 - 1517. Does 12 divide k?
False
Let s(c) = 60*c**2 - 5*c - 9. Let q be s(-4). Let b = q - 572. Does 19 divide b?
True
Suppose 465*v + 3 = 462*v, -3*z + v + 9721 = 0. Is z a multiple of 18?
True
Let p(y) = -y**3 - 12*y**2 + 11*y + 6. Let q be p(-13). Suppose -6*s = 2*s - q. Suppose 5*j - 200 = -3*b, 5*j = s*j - 4*b + 40. Does 20 divide j?
True
Suppose -471*z - 204 = -474*z. Does 4 divide z?
True
Suppose -4*k - y + 2371 = 0, -295*k = -290*k - 2*y - 2954. Is 26 a factor of k?
False
Let c(m) = -m**3 - 83*m**2 - 145*m - 1530. Is c(-82) a multiple of 18?
True
Let g(o) = -7*o + 250. Let t be g(-40). Let l = t + -2. Is 16 a factor of l?
True
Let m be -3 - 20/(0 + -4). Suppose 5*b = -15, -5*t - m*b + 257 = -6*b. Is 7 a factor of t?
True
Let b(i) = -25*i + 7. Let c be b(-9). Let q be (-1*1176/16)/(1/2). Let w = q + c. Does 6 divide w?
False
Suppose 35*l = 181937 + 184093. Is 21 a factor of l?
True
Let w = 21436 + -18396. Is 76 a factor of w?
True
Let w = 824 - 68. Suppose w = k + 5*k. Is k a multiple of 18?
True
Let q(w) be the third derivative of 1/120*w**6 + 0 + 1/30*w**5 + 17*w**2 - 1/24*w**4 + 12*w**3 + 0*w. Is q(0) a multiple of 9?
True
Suppose -j + 1781 + 10084 = -3*i, 0 = j + i - 11885. Does 44 divide j?
True
Suppose 5*p - 27 - 13 = 5*w, -5*p + 4*w + 36 = 0. Suppose 5*q + p = -6. Is 14 a factor of (19 - q)*(-24)/(-9)?
True
Does 18 divide 28*((-3)/4 - 52065/(-1260))?
False
Let y be 839/4 - (-1)/4. Suppose 0 = 2*m + 4*c + y, 2*m - 2*c + 165 = -69. Let q = m + 147. Is q a multiple of 9?
False
Suppose 5*y - 16 + 231 = 0. Let c be (-40)/6*(-42)/(-35)*y. Suppose 0 = -11*x + 7*x + c. Does 43 divide x?
True
Suppose 232*x = 234*x + 24. Is 10 a factor of (-24)/(-36) - 2752/x?
True
Let k(g) = g**3 + 9*g**2 + 6*g + 26. Let n be k(-9). Let b(y) = y**2 + 26*y - 26. Let d be b(n). Is 21 a factor of (134/(-4))/((-5)/d)?
False
Suppose 128*b = 125*b + 42. Suppose b*l = 52*l - 31274. Does 52 divide l?
False
Let l(f) = f**3 - 2*f**2 - 5*f - 8. Suppose 11*i - 15*i = -16. Let p be l(i). Suppose -74 = -p*g + 3*g. Does 20 divide g?
False
Suppose 10*y = 7*y + 2*g + 3283, -3*g - 6 = 0. Is y a multiple of 16?
False
Suppose -2*p = 1 + 1, -4*b + 29 = -p. Suppose -3*t + 8 = -b. Suppose -w = -4*y - 11, -t*y - 2 = -3*y. Does 2 divide w?
False
Let p(y) = y**3 + 12*y**2 - 23*y - 15. Suppose 0*x = 4*x - 4*s + 48, 5*x - 2*s + 63 = 0. Is p(x) a multiple of 11?
False
Let m be 3*(-5)/150 - (-71)/10. Suppose -553 = -m*v - 133. Is 5 a factor of v?
True
Suppose 6*k + 121*k = 445643. Is 11 a factor of k?
True
Suppose 2 = -4*m + 14. Suppose -7*n + m*n = -16. Suppose j - 1 = -0*j, -3*a - n*j = -919. Is a a multiple of 16?
False
Suppose -r + 6*k + 4366 = 7*k, 0 = -4*r - 2*k + 17456. Is 4 a factor of r?
False
Let d = 263 + -465. Let g = 31 - d. Is 16 a factor of g?
False
Let i = 79 + -311. Let h = i + 619. Is h a multiple of 43?
True
Is -3*((-342)/27 - -11) - -19717 a multiple of 114?
True
Let y(j) = 5*j - 6. Let h be y(3). Suppose 3*k + 0*f = -5*f + 12, 3*f - h = -2*k. Is 18 a factor of (-72)/(-2) + -6 + k?
False
Let l(h) = 12*h + 118. Let a be l(-9). Suppose -a*q + m = -5*q - 50, 50 = 5*q + 4*m. Does 2 divide q?
True
Suppose 31*q - 46*q + 38880 = 0. Does 48 divide q?
True
Suppose -118189 = -5*n + 3*q + 35140, 61347 = 2*n + q. Is 11 a factor of n?
False
Let v(z) = -10*z + 10. Let r be v(-5). Suppose 0 = -5*u + r - 0. Suppose 0 = -4*c + u, 5*p + 2*c = 5*c + 26. Is 2 a factor of p?
False
Let b = -67 + 65. Let k be (-989)/b + (-1)/2. Let y = k - 246. Is y a multiple of 31?
True
Suppose 2*x - 7*x + 25 = 0. Let m(v) = v**3 - 5*v**2 + 3*v - 14. Let g be m(x). Let q = 27 - g. Does 4 divide q?
False
Suppose -3*u - i = -2031, i = -2*u - 3*i + 1354. Suppose r - l - 179 = 0, -3*l - 42 = -4*r + u. Does 40 divide r?
False
Suppose 2 = 26*z + 2. Suppose -4*x + 263 + 45 = z. Does 7 divide x?
True
Suppose 2*i + k = 8, 2*i + 3*k - 16 = -2*i. Let l = -5 - i. Does 13 divide (-704)/l + (-4)/18?
True
Suppose 5*j - 24503 = -3*o, 2*j + 418*o - 9804 = 414*o. Does 37 divide j?
False
Suppose -42*u - 89*u = -25*u - 187726. Does 161 divide u?
True
Let q = 977 + -156. Let n = q + -557. Is n a multiple of 6?
True
Suppose -2*b + 7*b = -4*g + 6056, 2*b - 5*b = 0. Is 11 a factor of g?
False
Suppose 5*s - 3*o - 14785 = o, 0 = 5*s + o - 14810. Is (s/28)/(2/8) a multiple of 47?
True
Let y(x) = x**3 + 31*x**2 - 22*x - 307. Is 21 a factor of y(26)?
True
Suppose 3*r = -3*h, -5*h + 3*r + 24 = -0*r. Suppose u + t - h*t = 60, 2*u - 2*t - 114 = 0. Is 4 a factor of u?
False
Suppose 3*w - 5*d - 54 = 0, -9 + 26 = w - 2*d. Let y = w - -285. Is 28 a factor of y?
True
Let g(h) = -h**2 + 10*h - 3. Let x be g(5). Suppose -1372*r + 1367*r + 215 = 0. Let q = r - x. Does 3 divide q?
True
Let u(v) = -v**3 - 7*v**2 - v - 41. Let g be u(-10). Let s = -209 + g. Is s a multiple of 12?
True
Let r = -42146 - -63581. Is 123 a factor of r?
False
Suppose 75*m - 170627 = 51148. Is m a multiple of 108?
False
Let a(j) = -j**2 - 20*j - 40. Let s = 70 - 69. Suppose w - s = -17. Is 2 a factor of a(w)?
True
Let t = -47 + 47. Suppose t = 7*a - 222 - 30. Is a a multiple of 9?
True
Let v(c) be the second derivative of c**4/12 - 3*c**3/2 - 4*c**2 + 32*c. Let d be v(10). Suppose 3*h - m = -8 + 216, -m = -d. Is 11 a factor of h?
False
Let s be (-18)/(-4)*6 + 1*3. Suppose z = 2*c - 18, -4*z = -4*c + z + s. Suppose 2124 = -c*p + 19*p. Does 10 divide p?
False
Suppose 0 = -1251*x + 1234*x + 171700. Is 101 a factor of x?
True
Suppose 2*s - 2*f = 32, -24 - 19 = -3*s - 2*f. Suppose -380 = -4*t - 10*i + s*i, -3*i = 12. Does 18 divide t?
True
Let n be ((-89)/(-3))/((-14)/(-42)). Let t = n + -65. Does 12 divide t?
True
Let c(g) = 14*g**2 - 21*g - 38. Let y(r) = 7*r**2 - 10*r - 18. Let o(q) = -6*c(q) + 13*y(q). Does 9 divide o(3)?
True
Let t(d) = -4*d - 42. Let v(w) = -w**3 + 3*w**2 + 6*w - 22. Let i be v(4). Is 11 a factor of t(i)?
False
Suppose 36 = 4*v + 4*b, 0*b + 21 = 4*v - b. Suppose 10*o = -v*o + 320. Is o a multiple of 20?
True
Let r = -12 - -12. Let w be (-11 - 30) + r + 0. Let i = 105 + w. Is 16 a factor of i?
True
Let j = 41 + -23. Suppose -j = -9*d + 8*d. Let i(b) = 6*b - 6. Is 17 a factor of i(d)?
True
Is 6 a factor of ((-4753)/194)/((-2)/236)?
False
Let d be -3*(-1)/((-21)/(-28)). Suppose -3*s + 629 = -d*u + 5*u, -3*u + 1848 = -4*s. Does 4 divide u?
True
Let q(k) = 9*k + 91. Let r be q(-10). Is (57/6)/r*6 a multiple of 4?
False
Let x = -48 + 42. Let h(w) = -w**2 - 11*w - 4. Let n be h(x). Suppose 5*r + 33 + 11 = d, -r = d - n. Does 8 divide d?
False
Let g = -17821 - -23282. Is g a multiple of 24?
False
Suppose -3*n = 4*y + 15, 3*n - 3*y + 1 = 7. Does 24 divide 1*(-7 + (313 - n))?
False
Let k = -1642 - -1733. Is k a multiple of 65?
False
Suppose 0 = -3*r + 3 + 12. Suppose -2*q + 5*q + r = 5*x, 0 = x - q - 1. Does 18 divide 41 + 5 + 0*-1*x?
False
Let o(g) = -2*g**3 + 2*g**2 - 1. Let n be o(-1). Let z(k) be the first derivative of 4*k**3/3 - 4*k**2 - 2*k - 13. Is 7 a factor of z(n)?
False
Suppose -9 = 3*g, 2*g = 4*b - 6*b + 1374. Does 10 divide b?
True
Let a = 31564 - 10151. Is a a multiple of 19?
True
Let d = 7 - 2. Suppose -2*a = -0*t - t - 2, -d*t - 2*a = 10. Is 7 a factor of t*1*42/(-3)?
True
Suppose -112*z + 105*z = -238. Let j be (-27)/(-6)*(-4)/(-6). Suppose -2*w + t + 32 = -2*