*t + 16. Let o(m) = 8*m - 5. Let v(g) = -3*i(g) - 8*o(g). Is v(r) a multiple of 14?
False
Let t be ((-43)/(-3))/(4 - (-305)/(-75)). Let y = -147 - t. Does 6 divide y?
False
Let s(i) = 19*i**2 + 31*i + 13. Let h be s(-4). Let b = h + -151. Does 5 divide b?
False
Let d = 4931 - 4489. Does 4 divide d?
False
Suppose -9*s - 2*l = -5*s - 8896, 3*l + 4448 = 2*s. Suppose -12*n - 664 = -s. Is 15 a factor of n?
False
Does 36 divide 21 + -2 - (-17286 + -83)?
True
Let y(s) = -s**3 - 13*s**2 + 17*s + 237. Is 7 a factor of y(-15)?
False
Suppose 2*j - 38 = -2*s, -s - s + 4*j = -26. Suppose 5*r = -3*i + s, r + 6 = -2*r. Suppose m - i*m = -40. Is m a multiple of 5?
True
Let t be 20/(-190) - ((-8202)/(-57) + 0). Let s = 214 + t. Does 10 divide s?
True
Let j(o) = -17*o + 7. Let s be j(-5). Suppose -s*r = -89*r - 414. Is r a multiple of 6?
True
Let j(p) = -7*p**2 + 29*p - 41. Suppose -3*r - 15 = -0*r. Let a(w) = 10*w**2 - 44*w + 61. Let b(d) = r*a(d) - 7*j(d). Is 3 a factor of b(13)?
False
Let r be 3*1 - (9 + 0). Let d be -2 + 0 + (-240)/r. Let b = 113 + d. Does 17 divide b?
False
Let c(v) = 2*v**2 - 6*v - 17. Let g be ((-9)/(-18))/((-1)/(-8)). Suppose 0 = o - x - g, -2*x = 3*o - 22. Is 3 a factor of c(o)?
False
Suppose -362 = -25*g - 87. Is 18 a factor of 4014/g - (-10)/110?
False
Let w(x) be the second derivative of 7*x**4/12 + 11*x**3/6 - 11*x**2 - 13*x - 2. Is w(4) a multiple of 67?
True
Suppose -3*x = l - 5 - 20, -14 = -2*x - 2*l. Suppose -x*y + 2470 = y. Is 13 a factor of y?
True
Let p be (3 - 10)*12300/(-35). Suppose -18*o + 6780 = p. Is 20 a factor of o?
True
Let r(b) = 5*b**3 + 13*b**2 - 7 - 6*b**3 - 21*b + 0. Let i be r(11). Suppose w + 258 = i*w. Does 19 divide w?
False
Let v(p) be the third derivative of p**5/60 + p**4/4 + 34*p**3/3 + 4*p**2 - 43. Is 29 a factor of v(9)?
True
Suppose 6 = -3*k - 15. Let p be k/35 - ((-172)/10 - 1). Does 15 divide 0 + (3478/p - (-16)/(-72))?
False
Suppose -1016 = -3*h + 4*w, -3*h + 454 = 4*w - 522. Suppose -5*l - n = -331, -12*l - 2*n + h = -7*l. Is l a multiple of 9?
False
Let p(m) = -3*m**3 - m**2 - m + 115. Let o be -5 - 10/(-3 + 1). Is 18 a factor of p(o)?
False
Let b(g) = 15*g**2 - 2*g**2 - g**3 - 13 - 17*g - 21*g**2. Is 7 a factor of b(-7)?
False
Let q = 37 - -129. Suppose 0 = -5*f + 2*t + 745, 3*t + 0*t = -f + q. Suppose -f*r = -149*r - 162. Does 20 divide r?
False
Let j(a) = -a**3 + 3*a**2 + 4*a - 7. Let k be j(3). Suppose -4*t = 2*o - 134, -2*t = -k*o - 0*t + 311. Let p = o + -41. Does 2 divide p?
True
Let c be -9 - -14 - 2/2. Let l be c - 46*(-2)/(-4). Let x = l + 121. Does 41 divide x?
False
Suppose 139*u + 478240 = 159*u. Does 28 divide u?
True
Let m(c) = c**3 - 28*c + 4*c**2 - 8 + 21*c - c**2. Let t be m(-4). Suppose t*l = 5*l - 34. Does 11 divide l?
False
Let h = 311 - 308. Suppose h*b = 22*b - 4009. Is b a multiple of 29?
False
Suppose -4732 - 13252 = -10*b + 68726. Does 188 divide b?
False
Let t(s) = 102*s**2 + 3*s + 6. Let d be t(-6). Suppose 2*h = 7*h, h - d = -4*n. Suppose 0 = -3*w + 8*w - n. Is 12 a factor of w?
False
Does 22 divide (-27 - -15) + 0 - -1*69180?
True
Suppose 4*y - 2*r - 18 = 0, -2*y - 3*r - 16 = r. Suppose 0 = -5*x + 3*t + 1823, x + y*t = -3*t + 387. Is x a multiple of 37?
False
Suppose -59*h = -37*h - 88. Let z be -4*549*3/(-12). Suppose h*k = z - 69. Is 15 a factor of k?
True
Suppose 0 = -v + 3*l + 339, -v + 3*v - 676 = 5*l. Suppose -5*y = -0*c + 2*c - 816, 2*y + 3*c = v. Does 8 divide y?
False
Let j(s) = 31 + 27 + 0 + 15*s - 10. Does 3 divide j(-2)?
True
Let h = -106 - -96. Does 2 divide (37/(-2))/(-3 + h/(-4))?
False
Is (27224 - (-70)/(-10)) + -17 a multiple of 15?
False
Let n(z) = -z**2 + 13*z - 29. Let x be n(4). Does 17 divide x + 0 - (77 - 240)?
True
Let u(o) = -o**3 + 18*o**2 - 7*o + 10. Suppose -5*d + 34 = -1. Does 20 divide u(d)?
True
Suppose 30 = 5*h - 3*u + 2*u, -4*u = 4*h. Suppose 10*f + 2*g - 510 = h*f, 0 = -5*f + 4*g + 540. Is 4 a factor of f?
True
Let g(j) = -358*j + 1038. Is 12 a factor of g(-9)?
True
Suppose 0 = -6*g + 2*g + 32. Suppose -193 - 167 = -g*r. Is 3 a factor of r?
True
Let h(w) = 64*w**2 - 11*w - 1. Suppose -b - 7*b = 16. Does 11 divide h(b)?
False
Let t(v) = -8*v**3 + 6*v**2 + 19*v + 12. Let u be t(-5). Let f = u + -616. Does 11 divide f?
True
Does 66 divide 62*(-38 - -5)*-2?
True
Suppose -4*v + 25520 = -5*m, -5*v + 7*m + 31883 = 5*m. Suppose 19*o = 2*o + v. Is o a multiple of 15?
True
Suppose -7*j = -2*j - j. Suppose j = -42*t + 41*t + 255. Is 4 a factor of t?
False
Suppose -848*h = -871*h + 477158. Is 41 a factor of h?
True
Suppose -13047*k + 13021*k = -515424. Is 122 a factor of k?
False
Let r be (2 + -1)/((112/(-40))/(-14)). Suppose -3*g + r*b = -3427, 64*g + b + 1141 = 65*g. Does 53 divide g?
False
Is 7458/4 + 0 - 961/1922 a multiple of 25?
False
Let q(f) be the third derivative of 0 + 1/3*f**3 + 11/60*f**5 + 0*f - 26*f**2 + 7/24*f**4. Is q(-3) a multiple of 14?
False
Suppose 0 = -3*b - 5*l + 1003, 0*b = -5*b + 2*l + 1651. Suppose -224 - b = -5*v. Suppose -2*n + 126 = 5*j, 6*j - v = j + 3*n. Does 3 divide j?
True
Let g(k) = 9 - 6*k**2 - 9*k + 67 + 6*k**2 + 3*k**2. Is 2 a factor of g(6)?
True
Let t be 480/(-2 + -4 + 7). Suppose 2040 = 10*r - t. Is 21 a factor of r?
True
Suppose -49 = -6*k - k. Suppose h + 1 = k. Is (1 - 3/2)/(h/(-228)) a multiple of 9?
False
Let g = -56 - -78. Let n = g + 94. Is 3 a factor of n?
False
Let j(x) = x**3 + 21*x**2 + 15*x - 40. Let d be j(-20). Suppose 25*v - 3090 = d. Is v a multiple of 7?
True
Let c(x) = 10*x**2 - 25*x + 25. Let f(j) = 3*j**2 - 8*j + 8. Let r(o) = -2*c(o) + 7*f(o). Let s be r(7). Is 133 + -1 - 0/s a multiple of 33?
True
Suppose k = -21*g + 16*g + 14678, -3*k - 21 = 0. Is 11 a factor of g?
True
Let g(u) = -238*u + 180. Let j be g(-10). Suppose -7*p + 569 + j = 0. Does 35 divide p?
False
Suppose 5*k + 23 = -2*z, z + 1 + 3 = 0. Let c be k/18 - (-4)/24. Suppose -4*s - 2*u + 6*u + 84 = c, -5*s + 95 = 5*u. Is 5 a factor of s?
True
Let y = -544 + 958. Let w = y + 356. Does 70 divide w?
True
Suppose -9 = 5*o + 36. Let s be o/(-27) - ((-111)/(-9) + -2). Is 21 a factor of -24*(-2)/s*(1 - 16)?
False
Let p = 91 - 84. Suppose p*l - 4180 = -15*l. Does 19 divide l?
True
Let h(b) = 2*b - 12. Suppose v - a - 5 = -3*a, -v = 3*a - 2. Let c be h(v). Suppose -3*z = -c*z + 238. Is z a multiple of 17?
True
Let a = 3889 - 1677. Let u = 3112 - a. Suppose 5*t = 5*w + u, -2*w + 496 + 19 = 3*t. Does 35 divide t?
True
Suppose -d - 3*y = -1088 - 300, 4*y = 16. Is 39 a factor of d?
False
Let m be ((-2)/(-3))/((-8)/(-4236)). Let u = m + -233. Let q = u + -86. Is q a multiple of 34?
True
Let o(j) be the first derivative of j**2 + 12*j + 15. Is 3 a factor of o(-3)?
True
Suppose -3*q + 27258 = 99*t - 100*t, 3*t = 18. Is 30 a factor of q?
False
Let d = -125 - -161. Is 4 a factor of (-1 - (-1 - -1)) + d?
False
Suppose -4*u - 2*v - 21 = -5*u, 0 = 4*v + 16. Let r = 20 - u. Suppose -2*f + r*k - 4*k = -91, 4*f - 3*k - 167 = 0. Is f a multiple of 19?
True
Let z = 42 + -403. Let n = 448 + z. Is 3 a factor of n?
True
Let x be (1/2 - 1)/(24/2832). Let a = 153 + x. Is 18 a factor of a?
False
Let x(c) = c**3 - 8*c**2 + 8. Let s(f) = -2*f**3 + 15*f**2 - 15. Let h(i) = 6*s(i) + 11*x(i). Let j be h(-4). Does 13 divide j*3/(-9)*(-6)/4?
False
Let p(q) = q + 1. Let n(j) = j + 1. Let h(y) = -2*n(y) + 3*p(y). Let o be h(1). Suppose -x = r - 22, -r + 4*x - 25 = -o*r. Does 12 divide r?
False
Let d = 32 + -28. Suppose d*g + 476 - 2568 = 0. Is g a multiple of 37?
False
Suppose -j - 4825 - 8702 = -h, 4*h - j = 54093. Is h a multiple of 163?
False
Let m(c) = 2*c**3 + 2*c**2 - 2*c - 23. Let q be m(-7). Let s = -557 - q. Is s a multiple of 19?
False
Let j(f) = -28*f + 57*f - 21*f + 17. Is j(13) a multiple of 6?
False
Suppose 3*j - 20875 = -5*v, -5*v + 14*j = 16*j - 20870. Is v a multiple of 28?
True
Suppose 5*n + 5*o - 175 = 0, -103 - 19 = -4*n + 2*o. Suppose n*d + 10 = 30*d, 3*c - 295 = 2*d. Is c a multiple of 19?
True
Let d = 26 + -25. Let o = -178 + 189. Is (-1*d - o)*120/(-80) a multiple of 9?
True
Suppose -p + u = 2*u - 11, 5*p = 5*u + 95. Suppose -2*x - 73 = -p. Let w = -5 - x. Is 8 a factor of w?
True
Let y be (-1)/(-2) - (-42462)/28. Let u = -1048 + y. Is u a multiple of 7?
True
Let w(y) = -187*y - 27. Let r be w(-3). Suppose -r = -5*s + 1036. Is (-2 - 