r(v) = 13*v**2 - 9*v - 22. Let o(g) = -7*r(g) + 6*z(g). Let j be o(7). Suppose j = 11*b - 16*b + 565. Is 8 a factor of b?
False
Suppose -5*a - 3*j = -104, 4*j - 60 = -3*a + 3*j. Suppose -a*m = -15*m + 388. Let o = -27 - m. Is 7 a factor of o?
True
Let g(p) = -371*p + 4951. Is g(6) a multiple of 13?
False
Let d(k) = -2550*k - 570. Is d(-7) a multiple of 90?
True
Let j = 1487 + -1484. Suppose 2*l - 3*l = 0. Suppose o = -g + 56, l = -0*g + 3*g + j. Is o a multiple of 19?
True
Let m(g) = g**3 + 4*g**2 - 3*g - 10. Let f be m(-4). Suppose 0 = 4*b + 5*n - 2, 0 = 3*b + f*n + 2. Does 3 divide (-1 + 141/6)*b/(-1)?
True
Suppose -163470 + 39240 = -5*o - 4*j, -o - 4*j + 24846 = 0. Is 73 a factor of o?
False
Let o(d) = -d**2 - 17*d - 14. Let t be o(-16). Let r be t/(-1)*6/(-4). Suppose b = r*b + 4*y - 24, b + y - 14 = 0. Is b even?
True
Suppose 0 = -5*w + 3*w + 3588. Is 78 a factor of w?
True
Let a = -90 + 47. Let g = -80 - a. Let w = 54 + g. Is w a multiple of 2?
False
Let t(b) = -53*b + 116. Suppose -101*n = -107*n - 126. Is t(n) a multiple of 16?
False
Suppose -9464 = -4*y - j, 2*y = 5*j + 298 + 4456. Does 98 divide y?
False
Suppose 12 = 72*t - 70*t. Is 36 a factor of 8 - (12/t - 354)?
True
Let n be 9*((-1)/2 - 33/(-22)). Let z be 626/(-12) + n/54. Let f = z + 73. Is f a multiple of 7?
True
Let x(g) = 3 - 3 + 2 - 76*g + 2. Does 11 divide x(-2)?
False
Suppose -18*y + 99593 = 32273. Is 97 a factor of y?
False
Let k(m) = 22*m**2 - 31*m + 41. Is k(10) a multiple of 35?
False
Let w(m) = -m**3 - 6*m**2 + 1. Let g be w(-4). Let f be 2*1/20 + 86994/4860. Let t = f - g. Is t a multiple of 16?
False
Let r = -27521 - -51993. Is 19 a factor of r?
True
Is (-14000)/(-8) + (-4)/2 + 7 a multiple of 64?
False
Let k(u) = 3. Let y(z) = -5*z + 204. Let v(x) = -2*k(x) + y(x). Is v(28) a multiple of 3?
False
Suppose 4*g = 5*f + 9263, -4*g - g + 11635 = 5*f. Is g a multiple of 129?
True
Suppose -32 + 112 = 20*b. Suppose -b*m - 3*r = -1064, -3*m + 798 = -0*r + 4*r. Is 7 a factor of m?
True
Let i(b) = 3*b**2 + 36*b + 62. Let n be i(18). Suppose -m - 3*x + 777 = 0, 4*m = -3*x + 1390 + n. Is m a multiple of 15?
True
Suppose -5*h + 2*i = -17, 2*i + 2*i - 11 = h. Suppose -2*w + 815 = h*v - 4*w, -2*w = 5*v - 835. Suppose 3*j = -0*j + v. Does 7 divide j?
False
Let v(q) = -2432*q - 7333. Is 22 a factor of v(-4)?
False
Let v(x) = 32*x - 424. Let j be v(13). Let k(l) = 15 - l - 8 + 20. Is k(j) a multiple of 5?
True
Let y = -346 - -345. Is (-7 + 6)*49*11/y a multiple of 49?
True
Is 53 a factor of (95/(-10) - -13)*(-217300)/(-35)?
True
Suppose -4*c - 2385 = 247. Is 4/6 - c*3/9 a multiple of 15?
False
Suppose 14*w + 3*l - 8509 = 13*w, -4*w + 34045 = 3*l. Is w a multiple of 64?
True
Let s be (-5974)/(-10) + 40/(-100). Does 8 divide 1 - 0 - 2/((-6)/s)?
True
Let n(z) = 2*z**2 + 58*z - 2188. Does 28 divide n(71)?
True
Suppose 0 = -3*b - 0*b + 102. Let z = -123 - -120. Is 8 a factor of b - z - (-4 + 1)?
True
Let g = 31 - 43. Let i(j) = 2379 + 2175 - 4546 - 4*j. Is 14 a factor of i(g)?
True
Let q(a) = a**2 - 5*a - 3. Let s be q(6). Let b be s/((12/8)/(-1)). Does 41 divide 36*(0 + (-11)/b)?
False
Suppose -3*v + 39 = -3*d, -11 = -5*v - 2*d + 40. Suppose 0 = -3*o + v*o - 1648. Suppose -2*u - 78 = -o. Does 16 divide u?
True
Suppose 7*h - 1012 = 577. Let z = 677 - h. Is z a multiple of 15?
True
Suppose 4022 = 8*m - 7186. Suppose -2*h + m = 245. Is 11 a factor of h?
False
Does 15 divide ((-4653)/(-44))/(1/72)?
False
Suppose 0 = -2*d, -107*d + 104*d + 4 = 2*u. Suppose -3*n = u*g - 1779, -5*g - n = 4*n - 4440. Is 52 a factor of g?
False
Let y(t) = t**3 + 4*t**2 - 2*t - 8. Let k be y(-4). Suppose -2*m = -3*a - k*a + 16, -a - 13 = 3*m. Suppose -a*c + 18 = 2. Is c a multiple of 8?
True
Let p(l) be the first derivative of 2*l**3/3 + 8*l**2 + 27*l + 27. Let i be p(-7). Suppose -2251 = -i*h - 509. Is 18 a factor of h?
False
Let r(n) = 2*n**3 + 33*n**2 + 88*n - 28. Let o(w) = -3*w**3 - 65*w**2 - 177*w + 57. Let f(j) = 3*o(j) + 5*r(j). Is 59 a factor of f(33)?
True
Let s = -159 + 402. Suppose -i = -s - 73. Let m = i - 206. Is 16 a factor of m?
False
Suppose -2*g - 4 = 0, 12*y + 258936 = 17*y + 2*g. Is y a multiple of 44?
True
Suppose 0 = 3*f + g - 6240, 3*f - 2*g = -7*g + 6240. Does 34 divide f?
False
Is 25/((-600)/72) + 6532 a multiple of 54?
False
Let k be 2 - -1 - -2 - 30/2. Let t(c) = c**3 + 10*c**2 - 13*c - 43. Does 10 divide t(k)?
False
Let q = -40534 - -60045. Is q a multiple of 109?
True
Let s(w) = -w**3 + 3*w**2 + 5*w + 1. Let r be s(4). Suppose 2*o = -r*k + 40, 4*k - 13 = k + o. Let u(g) = 3*g**2 - 5*g - 13. Does 22 divide u(k)?
False
Let r be (25836/15 - (-2)/(-5))/1. Suppose 11*p - r = 357. Does 51 divide p?
False
Let m = -2016 + 3989. Is 179 a factor of m?
False
Let d = 61447 - 22087. Is d a multiple of 32?
True
Let x = -4132 + 6444. Is x a multiple of 6?
False
Is 44 a factor of (6316/(-24)*-34 - 1)*15/10?
True
Let g(v) = -v**2 + 10*v + 20. Let d be g(12). Let t be 214/d + 14/(-28). Let w = t + 102. Does 9 divide w?
False
Suppose 4*u - 9*u + 3*o - 726 = 0, -o + 438 = -3*u. Let c = u + 527. Is c a multiple of 18?
False
Let t(w) be the second derivative of -w**4/12 + 7*w**3/6 + 11*w**2/2 + 13*w. Let m be t(-7). Is 14 a factor of 1/(m/(-42) + -2)?
True
Let p(v) be the third derivative of 5/2*v**3 + 7/4*v**4 + 1/120*v**6 - 11/30*v**5 + 0*v + 0 - 21*v**2. Is 4 a factor of p(20)?
False
Suppose -29*n = -25*n - 2*u - 6074, 5*n - u = 7600. Is n a multiple of 9?
True
Suppose -60*g + 64*g + 26 = -5*u, 0 = 5*u - g + 6. Suppose 4*p - 2*z = 34, -4*p - 5 = -3*p + 4*z. Is ((-6)/(-4 + p))/(u/13) even?
False
Let n(b) = 256*b - 112. Is 24 a factor of n(7)?
True
Let b(r) = 249*r + 14972. Does 38 divide b(18)?
False
Let g(j) = 2684*j**2 + 384*j + 26. Is 22 a factor of g(4)?
True
Suppose 4*c - 28194 - 26306 = -21*c. Is c even?
True
Let y = -145 - -75. Let m = y + 97. Suppose 3*o - m = 15. Does 7 divide o?
True
Is 3 a factor of (-1143454)/(-221) - (-12 + -1)?
True
Suppose -b = 3*x - 7*x - 448, -1326 = -3*b + 3*x. Is b even?
True
Let j(r) = 4*r**3 + 17*r**2 + 38*r + 15. Let q(p) = 6*p**3 + 26*p**2 + 57*p + 22. Let l(t) = 7*j(t) - 5*q(t). Does 51 divide l(-5)?
False
Suppose -5*p - 3*h = -9*p - 49, -p - 9 = -4*h. Is 13 a factor of 25/(5 - (-64)/p)?
True
Suppose -9282 = -s + 4*q, 2*q = 188*s - 187*s - 9282. Is s even?
True
Suppose g + 20 = 5*g. Let l = 136 - g. Suppose -4*f - l = x - 584, 4*x + 561 = 5*f. Is f a multiple of 16?
False
Let a(r) = r**2 - 97*r + 8. Let t(f) = 32*f - 2. Let m(d) = 2*a(d) + 7*t(d). Is m(-17) a multiple of 8?
False
Let o(p) be the first derivative of p**2 - 16*p - 12. Let v be o(9). Suppose v*y + 34 = 4*j, -4*y + 8*y = 2*j - 26. Is j even?
False
Suppose -2*n = 4*h - 8360, 3*h + 12507 = 3*n - 2*h. Suppose -t - 1 = -0, 5*k - t = -n. Is k/(-6) - (105/(-18) - -6) a multiple of 16?
False
Let r(q) = -2*q**2 - 37*q - 7. Let d be r(-17). Is 30 a factor of d*(6 - (-5)/(-4))?
False
Suppose -4*s = -20 - 0. Let v(t) = 7*t**3 - t**2 + t - 2. Let u(m) = 37*m**3 - 13*m**2 - 2. Let i(l) = u(l) - 5*v(l). Does 14 divide i(s)?
False
Is 208530/(-135)*18/(-7) a multiple of 3?
True
Let d be 2/2*0 + (-27 - -28). Let n(a) = a + 12*a**2 - 13*a**2 + 9*a**3 + 129*a**3 - d. Is n(1) a multiple of 26?
False
Let i(y) = 4*y**3 + 4*y**2 + y - 3. Let g(b) = 4*b**3 + 3*b**2 + b - 4. Let u(c) = -3*g(c) + 2*i(c). Is 9 a factor of u(-3)?
True
Suppose f + a - 20 = 5*f, 3*f - a + 15 = 0. Is 58 a factor of 8*f/10 + 455?
False
Let i = -248 + 242. Does 20 divide (-53112)/(-39) + (-5)/(195/i)?
False
Suppose 0*y = -2*j + 4*y + 180, 0 = 2*y + 2. Let u = 95 - j. Suppose u*i = 10*i - 378. Is i a multiple of 12?
False
Suppose -7*n - 35 = -14*n. Suppose n + 0 = c. Does 18 divide (2/(-1))/(c/((-475)/10))?
False
Suppose 0 = -0*u + 5*u - 40. Let n(b) = 382*b**3 - 381*b**3 - 5*b - b - 1 - 7*b**2 - 5. Does 10 divide n(u)?
True
Let w = 937 - 665. Let d = 33 + w. Is d a multiple of 17?
False
Let i(v) = v**2 + 46*v - 705. Is 6 a factor of i(-111)?
True
Let v be (-960)/(-7) - 180/(-210). Suppose -8*l = -7*l - v. Does 23 divide l?
True
Let k(a) = -2*a**2 + 4*a + 33. Let f be k(5). Suppose -g - 5*b - 116 + 650 = 0, -1622 = -f*g + 5*b. Is 11 a factor of g?
True
Let g = -20 + 32. Suppose 31*c - 33*c + g = 0. Suppose 0 = -c*n + 42. Does 2 divide n?
False
Is