
True
Let r(x) = 30 + 41 - 19*x - 56 + 12*x - 50*x. Is r(-1) a multiple of 6?
True
Let u(m) = 6*m**2 - 52*m - 1269. Is u(-21) a multiple of 16?
False
Let i(s) = 3*s - 35. Let w be i(11). Let p be (-30 - -7) + 2/w + 1. Is 4 a factor of p/(-3) + (-1)/(-3)?
True
Let f be ((-76)/3)/(-2)*(58 + -1). Suppose f = 2*n - 4*m, -3*n - 2*m + 133 = -950. Suppose -n = -4*k + 87. Is 14 a factor of k?
True
Suppose q + 5 = x, -3*q - 4*x + 14 = -q. Let h be 1 + q + -1 + 13. Suppose -738 = -h*n - 234. Does 6 divide n?
True
Suppose 1300 - 117 = 7*x. Suppose -5*j = -10, 23*p + 3*j = 28*p - x. Is p a multiple of 7?
True
Let o = -43 + 39. Let v(i) = i**3 + i**2 + 4*i + 8. Let y be v(o). Let s = -44 - y. Does 3 divide s?
True
Let f(r) = 942*r - 161. Does 13 divide f(4)?
False
Let y be 2/(-18)*-3*(1 - 1). Let o(w) = 36*w + 24. Is 24 a factor of o(y)?
True
Suppose -5*q = -2928 - 7277. Is 6 a factor of q?
False
Suppose 2359*d = 2471*d - 2063488. Is 98 a factor of d?
True
Let i = 5084 + 8930. Is i a multiple of 13?
True
Let r = 44 + -50. Let i be (-8)/5*(-45)/r. Let m(v) = -4*v. Is 33 a factor of m(i)?
False
Let a(c) be the first derivative of -5*c**2/2 + 5*c - 68. Let i(r) = r**2 + 9*r + 13. Let m be i(-6). Is 10 a factor of a(m)?
True
Let f = 359 + -353. Suppose 10*a + k - 2051 = f*a, -2*a + 1039 = 5*k. Is 9 a factor of a?
False
Let a(p) = 37*p - 220. Let k be a(6). Let w = -142 + 245. Suppose -50 = -2*i - k*q, q - w = -2*i - 2*i. Is i a multiple of 13?
True
Suppose -128*p + 10*p - 8*p = -158760. Is 10 a factor of p?
True
Let r be -548*(1 - 6)/5*1. Let x = r + -278. Is x a multiple of 18?
True
Let a(o) = 506*o - 38. Let g be a(14). Suppose g = 2*r + 11*r. Suppose 18*q = 16*q + r. Is q a multiple of 33?
False
Suppose 3*j - 4665 = 4*z, 3*z - 1105 - 450 = -j. Is 19 a factor of j?
False
Suppose 5*p - 9*c = -4*c + 85, 2*p + 3*c - 49 = 0. Let w(s) = 28*s**2 + 12 - 33*s + p*s + 11*s. Is 10 a factor of w(2)?
True
Let r(s) = 14*s + 19. Let o be r(4). Suppose -7*y - o = -12*y. Suppose -517 = -y*j + 4*j. Is j a multiple of 30?
False
Let s(x) = 33*x**2 + 33*x - 561. Is s(31) a multiple of 75?
True
Suppose 0 = 2*m - 5*q - 1233, 4*m - 2*q - 1170 = 1320. Suppose m = -14*x + 16*x. Is 13 a factor of x?
True
Suppose -6*v - 4*l = -5*v - 43, -4 = 4*l. Does 22 divide v?
False
Suppose 4*r - g - 82183 = 0, -5*g + 24849 = 2*r - 16204. Is 23 a factor of r?
False
Suppose 8*c - 3*c + 3*t + 250 = 0, -150 = 3*c - 4*t. Let f = c + 71. Is f a multiple of 3?
True
Suppose 22801 = 11*l - 13081. Is l a multiple of 57?
False
Let t(x) = -69*x**3 - 3*x**2 - 4*x - 20. Is 15 a factor of t(-5)?
True
Let b = 8459 - -25317. Is b a multiple of 123?
False
Let a be -28*((3 - 1) + 2). Let t be 1/((20/(-325))/4). Let o = t - a. Does 13 divide o?
False
Let m(n) = 156*n + 4997. Is 23 a factor of m(0)?
False
Let k = 12981 + 3220. Is k a multiple of 50?
False
Let z = 2043 - -1557. Is 15 a factor of z?
True
Let m = -91 + 183. Suppose -m = -8*i - 28. Is 9 a factor of (41/2)/(4/i)?
False
Suppose -29*p + 30039 = -22451. Does 5 divide p?
True
Let x(w) = 2*w**2 - 35*w + 1538. Does 68 divide x(71)?
False
Let c = 2397 - 1662. Let b(u) = -2*u**3 - 30*u**2 - 114*u - 10. Let r be b(-8). Suppose c = r*h - h. Is h a multiple of 23?
False
Let i(q) = 5506*q + 2634. Does 133 divide i(3)?
True
Let a = -626 + 719. Let l = -73 + a. Does 20 divide l?
True
Suppose 2*i + 2*v = 6, 5*v + 33 = 5*i - 12. Let q(b) = -5*b**2 + 4*b - 9. Let p(l) = -26*l**2 + 21*l - 45. Let g(k) = 2*p(k) - 11*q(k). Is 15 a factor of g(i)?
True
Let t(x) = 3*x**3 - x**3 - x**3 - 3*x - x**2. Let u be (-100)/(-15) + -2 + (-4)/6. Does 6 divide t(u)?
True
Let y(z) be the third derivative of -z**6/30 - z**5/20 + z**4/8 - z**3/3 - 6*z**2 - 66*z. Let l(i) = -2*i + 1. Let q be l(2). Does 18 divide y(q)?
False
Let z(a) = -4434*a + 8410. Is 20 a factor of z(-11)?
False
Let p be (-3 + 2)*1 + 4. Suppose -4*u = 4*o + o + 2, p*u + 4 = -5*o. Let x(h) = 33*h - 13. Is x(u) a multiple of 21?
False
Let i = -18737 - -31302. Is 11 a factor of i?
False
Let v(h) = -39*h - 10. Let m be v(-2). Suppose 63*c + 230 = m*c. Does 2 divide c?
True
Suppose -2*m - 372 = 106. Let q be -15 + 17 + 1*-1 - m. Suppose 0 = -13*d - 3*d + q. Is d a multiple of 3?
True
Let g = -572 + 796. Let q = g - -126. Is 15 a factor of q?
False
Suppose 3*z = 2*c + 4*z - 18, 3*c - 2*z - 20 = 0. Suppose c*b + 623 - 2239 = 0. Suppose -3*l + b = -68. Is 15 a factor of l?
True
Let r = 51 - 47. Suppose -4*s + 11 = z, -r = -4*s + s - 5*z. Is s a multiple of 3?
True
Suppose -22*h = -21*h + 1. Let p be (-34)/1 + h + 2. Let u = p + 78. Does 8 divide u?
False
Let s(b) = -5*b - 26. Let c = 10 - -12. Let a be 10/(-55) + (-128)/c. Is s(a) a multiple of 3?
False
Suppose -13*n - 27*n + 403144 = -158936. Is 14 a factor of n?
False
Let q(x) = -x**3 + 11*x**2 + 7*x - 16. Let j be 9/27 + 32/3. Let g be q(j). Let c = g + -43. Is c a multiple of 5?
False
Suppose -o = -15 - 23. Suppose 36 - o = k. Does 28 divide (-3)/k*1116/27?
False
Let j(r) = -r**2 - 6*r + 74. Let x be j(-12). Is 90 a factor of (x - -444) + 8 + 24/(-6)?
True
Suppose 0 = -q + 5*r + 3, 0 = -2*q - 0*q + 2*r + 6. Suppose q*b - 30 = -7*b. Suppose -z = b*o - 12, -3*z + 3*o + 12 = -24. Is z a multiple of 12?
True
Let y(r) = 11 + 10*r - 3 + 0. Suppose 247*h = 243*h - 4*s, 0 = -h + s + 8. Is y(h) a multiple of 6?
True
Let z(c) = c**2 + 4*c + 22. Let x be z(5). Suppose 14*p = -x + 1243. Is p a multiple of 12?
True
Suppose 4*i = 4*b - 32, -2*i + 0*b - 1 = b. Let y be 1 + (-16)/4 - i. Let x = 8 - y. Does 2 divide x?
True
Let f(i) be the third derivative of i**7/1260 - i**6/180 + i**5/60 + 5*i**4/12 - 16*i**2. Let o(j) be the second derivative of f(j). Is o(3) a multiple of 5?
False
Let r = 95522 - 44946. Does 16 divide r?
True
Let n(c) = c**3 + 107*c**2 - 60*c + 2620. Does 19 divide n(-105)?
True
Suppose -5*g = -0*g - b + 47, 2*b + 26 = -2*g. Is 21 a factor of ((-38)/(-8) + -3)/(g/(-6120))?
True
Let s(t) be the second derivative of -31*t + 56*t**2 - 1/20*t**5 + 0 - 1/6*t**3 - 1/12*t**4. Is s(0) a multiple of 17?
False
Let z be 161/23 + 4*4. Suppose -z*m + 6058 = 2470. Is m a multiple of 13?
True
Let j(o) = 4*o**2 - 12*o + 10. Let l be j(5). Suppose 5*v - 209 - l = -3*w, 0 = -4*v + 5*w + 185. Is (-543)/(-30) + (-5)/v a multiple of 3?
True
Suppose -10368*p + 10407*p = 885573. Is p a multiple of 21?
False
Suppose -f + 2*l + l + 22 = 0, l + 4 = 0. Let a = -4 + f. Suppose 310 = 5*b + 4*k - a, 4*k - 16 = 0. Does 10 divide b?
True
Let d = 78 + -62. Let w be (d/(-12))/((-12)/27). Suppose 301 = 4*y - g, -3*y + w*g = -y - 153. Is y a multiple of 25?
True
Does 18 divide 15 + -1 + (4997 - 15)?
False
Let o be 3*6/9 - -3. Suppose o*s - 8 = w - 0*w, 2*w = s + 2. Suppose -t + k = -w*k - 66, -5*k + 290 = 5*t. Is t a multiple of 6?
True
Let u be (19 - 18)/((-1)/53). Let b = 177 - u. Is 23 a factor of b?
True
Suppose -11*x + 90 = -x. Let r(o) = o**3 - 11*o**2 + 12*o. Let m be r(x). Let v = 62 + m. Is v even?
True
Let v(r) = 11*r**3 - 4*r**2 + 4*r - 10. Suppose -29*b + 7*b = -44. Does 7 divide v(b)?
True
Suppose 18*w = 15*w + 2*u + 16476, 0 = 3*u. Is 32 a factor of w?
False
Suppose 0 = -2*q + 6*q - 3*f - 2, -8 = q - 5*f. Suppose 0 = 3*b + q*c - 620, -23*b = -20*b + 4*c - 622. Does 26 divide b?
False
Let o = 4457 - 1176. Is 82 a factor of o?
False
Let f = 121 + -127. Does 19 divide (-1)/((f/(-84))/(266/(-4)))?
True
Suppose 846134 - 8293326 = -134*v - 917372. Is 10 a factor of v?
True
Let u = 2086 + -1089. Suppose 0 = 17*g - 2046 - u. Does 3 divide g?
False
Suppose 3*d - 2*h = 274, -2*d - 2*h + 307 = 121. Does 4 divide d?
True
Suppose -k + 5*k + k - 5600 = 0. Is k a multiple of 14?
True
Let k(t) = t**2 + 2*t - 13. Let h be k(-5). Suppose 3*s - 6*s + 5*u + 189 = 0, -5*s - h*u + 346 = 0. Does 17 divide s?
True
Suppose -o - 413 = -5*n + 245, -262 = -2*n + o. Suppose j - 80 - n = 0. Is j a multiple of 6?
False
Let i(n) = 3*n + 21. Let v(d) = -d**2 + 10*d - 2. Let r be v(7). Suppose 3*z - 4*l - 7 = r, 2*l - 8 = 0. Does 21 divide i(z)?
True
Suppose 4*i - w = 76, -2*i + 20 = -0*i + 4*w. Let d be 16/(-6)*(-225)/6. Let y = d - i. Is 16 a factor of y?
False
Let m(s) be the third derivative of 5*s**4/8 + 35*s**3/3 - 11*s**2 - 2. Is 22 a factor of m(10)?
True
Suppose 12*a - 567 = 9*a. Suppose -5*k - f + 981 = 0, -a = 