ultiple of 3?
True
Let w(q) = -6*q - 128. Let p(g) = 2. Let c(m) = 6*p(m) - w(m). Let h(n) = -n**3 - 9*n**2 + n + 9. Let u be h(-9). Is 10 a factor of c(u)?
True
Let q(f) = 175*f**3 - 8*f**2 + 9*f. Let i be q(2). Suppose -2*c - i = -4*o - 4*c, -o + 4*c = -324. Is 8 a factor of o?
True
Suppose -5789 = -5*x - q, 4*x - 3476 = x + 2*q. Suppose l + 228 = x. Does 15 divide l?
True
Suppose 5*h = -3*b + 838 + 147, 0 = -4*h - 3*b + 785. Suppose 450 = 5*k - 5*c, -5*k = -4*c - h - 250. Is 10 a factor of k?
True
Suppose 4*r - 2*l - 34722 = 0, -4*r - 8681 = -5*r + l. Is 28 a factor of r?
True
Let l = 1413 + 165. Suppose -8*b - 362 = -l. Is b a multiple of 13?
False
Let x(c) = 0*c**2 + 3*c**3 - 4 - 7*c**2 + 6*c + 2*c. Let w(n) = -n**2 - 5*n - 2. Let r be w(-2). Is x(r) a multiple of 18?
True
Suppose 3811 = -5*x + w + 20451, x + 4*w - 3307 = 0. Let g = x + -2115. Is 22 a factor of g?
False
Let t be -38*(-2)/32 - 15/40. Suppose -2*q - 3*l = t*q - 855, -2*q + 4*l + 400 = 0. Is 30 a factor of q?
True
Let c be 20/12*(-3)/2*-2. Suppose 0 = c*x - x - 16. Suppose -x*v + 3*v = 3*p - 110, -5*v = p - 32. Is 26 a factor of p?
False
Let b(k) = k**3 + 5*k**2 - 12*k - 6. Suppose 16*m - 431 = -143. Suppose -2 - m = 4*c. Is 6 a factor of b(c)?
True
Suppose -3*x = 12, -5*t + 2*x = -43 - 130. Suppose 16*r + 3876 = t*r. Does 12 divide r?
True
Let r be 236/(2/9*3). Let n = r + -224. Is 10 a factor of n?
True
Let y(s) = s**2 - 10*s - 2. Suppose 3*i - 15 = -5*t, 3*i + 21 = 5*t - 4*t. Suppose -3*l + t = 0, -5*l - 29 - 6 = 5*r. Is y(r) a multiple of 42?
False
Let x = 2831 + -1710. Suppose 0 = 2*y - 2, y = -3*w - 2*w + x. Suppose b - w = -b. Does 28 divide b?
True
Let v(s) = 6*s**2 + s + 42. Let r be v(6). Suppose 0 = -262*z + r*z - 1234. Is z a multiple of 18?
False
Suppose 0 = -35*i + 84 + 21. Suppose 5*l - 6*l = -3*u - 117, -i*l + 3*u + 345 = 0. Is l a multiple of 28?
False
Let z = -525 + 1058. Suppose -2*f - 50 + z = 3*m, -2*m = -10. Is f a multiple of 9?
True
Suppose -33550 = -41*y + 16*y. Does 22 divide y?
True
Suppose 3*c - 15*c = 120. Let i(h) = 5*h**2 + 21*h - 38. Does 12 divide i(c)?
True
Let d be (-2)/6*(-3 + 3 + -15). Suppose 0*p - 4*p = -5*r - 54, 0 = -4*r - d*p - 35. Is 31 a factor of 63/105 + (-1544)/r?
True
Let m(l) = -l**2 + 23*l - 4. Let t be m(21). Let x = t + -34. Suppose 7*i - 120 = x*i. Is 26 a factor of i?
False
Suppose -103*w - 2726 = -q - 105*w, -q - 3*w = -2721. Does 36 divide q?
True
Suppose -2*l + 2*s + 2282 = 0, 2*s + 504 - 5074 = -4*l. Suppose -u + l = u. Is 26 a factor of u?
False
Let o(b) = 1360*b**3 - 2*b**2 + 4*b - 5. Let l be o(2). Suppose -15*p + 2355 = -l. Is 63 a factor of p?
True
Let j = 10357 + -9003. Is 17 a factor of j?
False
Let p = 116 - -166. Let f = p + -192. Is 3 a factor of f?
True
Let o(w) = 6*w**3 - 244*w**2 - 85*w + 55. Is o(44) a multiple of 245?
True
Let w(x) = -9*x + 414. Let u be w(0). Suppose 155 - u = -l. Is 37 a factor of l?
True
Let c be ((-3)/(-2))/(10/20). Let x be (214 - 8)/(c/(-2) + 1). Is 25 a factor of 1/(x/(-136) + -3)?
False
Is 52 a factor of 1140 + 48/(-10)*(-70)/42?
False
Is (-5)/30 + (-25372)/(-24) + 6 a multiple of 97?
False
Suppose n - 4*t = -369, -2*t - 391 + 1825 = -4*n. Let q = 305 - 552. Let c = q - n. Is c a multiple of 11?
True
Let m(f) = 16*f**2 - 7*f - 6. Let h be m(5). Let v = -233 + h. Is 7 a factor of v?
True
Let i(a) = -a + 13. Let g be i(7). Let r be (-7)/21*1 - (-1022)/g. Suppose -4*t - 1 = 3, 0 = -k + t + r. Is k a multiple of 13?
True
Suppose -1 + 6 = 5*o. Let i(m) = 90*m**3 + 6*m**2 - 2*m + 1. Let r(p) = 179*p**3 + 9*p**2 - 3*p + 2. Let d(t) = -5*i(t) + 3*r(t). Does 23 divide d(o)?
False
Suppose 0 = -20*w + 879 + 87121. Does 50 divide w?
True
Is 5 a factor of 5742 + -18 + (-494)/(-19)?
True
Suppose 2*k - 2032 = -w, 3*k + 6445 = 2*w + 2402. Let u = w - 1234. Is 18 a factor of u?
True
Let p = -582 - -610. Suppose p*y - 13440 = 14*y. Is 40 a factor of y?
True
Suppose 0 = -77*v + 32269 + 88082. Is v a multiple of 18?
False
Suppose 4*l - 20 = 0, 0 = -t - 2*t + 2*l - 34. Let u(v) = 9*v**2 + 5*v - 24. Does 12 divide u(t)?
False
Let u(h) = -15*h - 12. Let b be u(5). Let l = b + 101. Suppose -z = -l - 32. Is 46 a factor of z?
True
Let f be 36/15 - 2/5. Let h be f/((-1)/(-37)*2). Suppose 20 = m - h. Does 6 divide m?
False
Let y(f) = 207*f**2 - 176*f - 933. Is y(-5) a multiple of 26?
True
Let u(q) be the first derivative of 5*q**2/2 + 34*q + 17. Let z be u(-6). Suppose -z*n - 10*n = -2254. Is 33 a factor of n?
False
Suppose 35*i + 63*i = 3654812. Does 29 divide i?
True
Suppose -7*o - 14908 = -6*r + r, 4*o + 2979 = r. Does 6 divide r?
False
Let d(i) be the third derivative of i**6/144 + 11*i**5/60 + i**4/2 - 8*i**2. Let n(t) be the second derivative of d(t). Is 27 a factor of n(14)?
False
Let z(m) = -927*m - 6. Let h be (-24)/(-60) + 14/(-10). Does 25 divide z(h)?
False
Let q(v) = -2*v + 5 - 2 + 11. Let j be q(8). Let y(x) = 10*x**2 - 3*x - 4. Does 16 divide y(j)?
False
Suppose 11*b - 14790 = 7*b - 26*b. Does 27 divide b?
False
Let k = -2042 - -3430. Let x = 786 + -792. Does 21 divide x/33 + k/11?
True
Let d = -1221 + 1224. Let w(p) = p**2 + p - 6. Let h be w(-6). Suppose r - 4*a - 126 = 0, -r - d*a + 102 + h = 0. Does 22 divide r?
False
Suppose 3*i - 50 = -2*i. Suppose -2*u - 4*z - z - 6 = 0, i = u - 4*z. Suppose 0 = -10*k + u*k + 344. Does 13 divide k?
False
Let c = 2504 - -3886. Is c a multiple of 77?
False
Let l(p) = -15*p - 25. Suppose -7*m = 2*m - 423. Let g = m - 56. Is l(g) a multiple of 22?
True
Let u = 83 + -80. Suppose m = -6*s + u*s + 3251, 3*m + 1077 = s. Is s a multiple of 57?
True
Let p(r) = -3*r**3 - 4*r**2 - 66*r - 8. Is 165 a factor of p(-13)?
True
Suppose 5*k = 3*l + 23, 2*k - 4*l + l - 2 = 0. Suppose 2*d + 25 = k*d. Suppose 452 = d*o - 98. Does 21 divide o?
False
Suppose 0 = -4*i + 5 + 11. Suppose -5*b - k - 3*k + 48 = 0, 8 = i*k. Suppose -b*u = 2*u - 200. Is 4 a factor of u?
True
Does 17 divide 19896/5 - (-92)/(-460)?
False
Let x = 28348 - 10538. Is 5 a factor of x?
True
Suppose -87*n = -43*n - 220. Suppose c - 166 = o, -8*o + 7*o - 842 = -n*c. Is c a multiple of 5?
False
Does 29 divide (-15895324)/(-912) - (-1)/(-12)?
True
Suppose 0 = -2*n - 5*q - 99, 13 = 3*q + 28. Let z = n - -43. Suppose -41 = -7*t + z*t. Is t a multiple of 41?
True
Is 1886 + (-16)/(-6) + (-20)/30 a multiple of 58?
False
Suppose 3*m - 1 = 5. Suppose 0 = o + 5*p - 11, 15 = m*o - 0*p + 3*p. Suppose -h + 6 = t, -o*h + h = -2*t - 9. Is 3 a factor of t?
True
Let o be 15*(-1 + (-2 - -2))/(-1). Suppose 2*l - 2*j = -l + 7, l + o = 5*j. Suppose l*w - 75 = 35. Is w a multiple of 11?
True
Let d = 14023 + -7003. Is 10 a factor of d?
True
Let s(y) = -59*y + 354. Let h be s(6). Let k = 589 - -552. Suppose h = 9*m - 812 - k. Does 16 divide m?
False
Let o = -6401 + 15634. Is o a multiple of 187?
False
Suppose 36*x = 32*x - 4. Is (x + 366/12)*(22 + 0) a multiple of 59?
True
Let r be (-3 - (-38)/4)*2. Let q be r*(-44)/(-20) + 2/5. Suppose q = h + 2*y, -5*h + 85 = 5*y - 45. Is h a multiple of 23?
True
Let k = -344 - -364. Is 82 a factor of -6 + k/5 + 740?
True
Let x(d) be the second derivative of 11*d**3/2 - 102*d**2 - 39*d + 1. Is x(37) a multiple of 22?
False
Suppose 28*d = -19557 + 6369. Let x = 609 - d. Is 60 a factor of x?
True
Let c be -4 + 4 + (-1 - 2). Let g be 4*(9/(-2))/c. Suppose -5*d - 1 = 3*n, 0 = 3*n - g*d + 3*d - 39. Is 2 a factor of n?
True
Let d = -5 - -14. Let l(i) = 16*i**2 - 20*i - 6. Let m be l(-6). Suppose 4*f + m = d*f. Is 21 a factor of f?
False
Let l = -62 - -60. Let j be (-171)/(-36)*(-40)/l. Suppose -4*x = 3*s - 298, j = x - 3*s + 28. Is 12 a factor of x?
False
Let b(j) = 10*j**2 - 915*j - 314. Is b(100) a multiple of 15?
False
Let u = 87 - 58. Suppose -56 = -5*a + u. Let z(l) = -l**2 + 18*l + 1. Is z(a) a multiple of 6?
True
Suppose -h = 3*p - 32289, -2*h = -2270*p + 2275*p - 53814. Is 3 a factor of p?
True
Let z be 5*2*3/6. Suppose -4*m + q = -202, -z*m + 0*m + 2*q + 254 = 0. Suppose -b + 34 = -m. Is b a multiple of 28?
True
Does 11 divide (-1593)/(-1) + 5 + (17 - 20)?
True
Suppose 4*p = 2*f + 12193 - 36619, 0 = f - 4*p - 12201. Is 25 a factor of f?
True
Let y = -16 - -18. Let g be y/((2/(-48))/(-1)). Let j = g - -3. Is j a multiple of 17?
True
Is (-27)/6 - 2923371/(-102) a multiple of 12?
True
Suppos