 = -j + 3*o + 447. Does 21 divide j?
True
Suppose i = -l + 23 + 134, 317 = 2*i + 3*l. Is i a multiple of 2?
True
Let v be (2 + -3)/(1/1). Let u be (v/2)/((-1)/8). Suppose -u*p + 56 = 3*n - 36, -p - n = -23. Is p a multiple of 11?
False
Let o = 1148 + -686. Is o a multiple of 7?
True
Suppose -1051 = -3*t + 155. Is 17 a factor of t?
False
Suppose -12*u - 686 = -13*u + 2*s, 676 = u - 4*s. Does 61 divide u?
False
Let k = 1445 - 1067. Does 42 divide k?
True
Suppose -2*w + 290 - 126 = 0. Does 3 divide w?
False
Suppose 2*p = 4*r - 3*r - 12, 0 = 4*p + 8. Let z = -12 + r. Let d = 6 - z. Is d a multiple of 4?
False
Let b(u) = 78*u + 978. Does 99 divide b(23)?
True
Does 13 divide (-3)/(-4) - 309*2/(-8)?
True
Let z(s) = 2*s**2 - 15*s + 60. Does 2 divide z(10)?
True
Is 6 a factor of (-1 - 230/(-6))/(186/1395)?
False
Suppose 2*q - 4*o - 4 = 0, -q = 3*o + 2*o - 2. Suppose 5*i = -3*h + 462, 0 = 3*h + i + q*i - 462. Is h a multiple of 22?
True
Let k(r) = 13*r**2 + 727*r - 7. Is k(-56) even?
False
Does 8 divide (104/(-273)*15)/(2/(-175))?
False
Let l(r) = -6*r + 4. Let q be l(-4). Let c be (-121)/(-7) + (-8)/q. Suppose 45 = 2*x + c. Does 7 divide x?
True
Let b(v) = v**3 - 8*v**2 - 9*v + 13. Let t be 1*(-14)/(-4)*-2. Let q = t - -16. Does 7 divide b(q)?
False
Suppose -2*i = 2*i + m + 21, -4*i + m = 19. Let q(c) = 3*c**2 + 6*c + 17. Is 31 a factor of q(i)?
True
Let j be (0 - -1)/((-8827)/(-1260) + -7). Is (9/(j/(-176)))/((-6)/15) a multiple of 3?
False
Suppose 0 = 3*i - 5*i + 4*s + 10, -5*i - 3*s = -77. Is i + 0 + 2 + 1 a multiple of 16?
True
Suppose 9 = p - 0*p. Suppose p + 3 = -3*o. Let q(h) = 2*h**2 + 3*h. Is 6 a factor of q(o)?
False
Does 13 divide (16/12)/((-18)/(-9261))?
False
Is 6/(-30) - (-66159)/45 a multiple of 42?
True
Let m = 672 + -342. Is 10 a factor of m?
True
Let x(z) = -68*z + 83. Is 38 a factor of x(-6)?
False
Suppose -61 = 2*x - 5*l, -2*x + 3*l = -6*x - 187. Let j = -31 - x. Does 3 divide j?
True
Does 7 divide 2 + (-460)/(-6) + (-130)/78?
True
Let s = 0 + -1. Does 7 divide -1*(s - -2) - -15?
True
Let u(q) = q - 4 + 5*q - q - 4*q. Let z be u(4). Suppose 4*d + z*a = -a + 92, d = -4*a + 38. Does 7 divide d?
False
Let r(q) be the first derivative of -14*q**2 + 7. Let o be r(-1). Let g = o + -1. Is 9 a factor of g?
True
Is 6 a factor of (16 - (-3914)/(-95))*(-10)/2?
True
Let g be (-1)/(1/2) + 5. Suppose -g*v - 20 = -8*v. Is 3 a factor of v?
False
Let q = -36 + 65. Suppose -18*u - 2519 = -q*u. Does 30 divide u?
False
Suppose -5 = c - 11. Let g = -18 - -23. Suppose 3*u - g*d = 119, -56 + c = -2*u - 4*d. Is u a multiple of 8?
False
Suppose 2*g = -0*g - 20. Let a be (12/(-2))/(g/5). Suppose a*j = -j + 96. Is j a multiple of 6?
True
Is 95 a factor of ((-336)/420)/((-2)/3530)?
False
Let k(n) = 3*n - 12. Let r(w) = -8*w + 35. Let t(u) = 11*k(u) + 4*r(u). Is 11 a factor of t(5)?
False
Let t be (-2)/(-12) + 388/(-24). Let s = t + 14. Is 20 a factor of (4/(-5))/(s/70)?
False
Is 2020 + 2 - (-42)/(105/15) a multiple of 101?
False
Suppose 2*i + 5*p - 18 - 7 = 0, -2*i = -p + 5. Suppose i = u + 3*u - 12. Suppose -4*v = 8, -u*g - 3*v + 118 = -5. Does 28 divide g?
False
Suppose 5*d - 505 = -3*n, 3*d + 106 = -2*n + 409. Is 37 a factor of d?
False
Let j(c) = 3*c + 8. Let l(d) = -1. Let v(a) = j(a) + 6*l(a). Let f be v(9). Suppose -m - 5 = -y - f, -42 = -m - 5*y. Is m a multiple of 13?
False
Suppose -q + 12 = 4*q + 3*c, -2*q = 2*c - 4. Suppose -4*y + 333 = 3*k, q*k + 1 - 10 = 0. Does 51 divide y?
False
Suppose -6249*u + 3328 = -6247*u. Is 26 a factor of u?
True
Is -3 + (-1 - 7 - -175) a multiple of 29?
False
Does 75 divide ((-2)/3)/(3*(-10)/87750)?
True
Let o be 3 + (-30)/(-4)*-2. Let j = 7 - o. Does 5 divide j?
False
Let u(t) = t**2 - 3*t - 7. Let c be u(5). Let s be -1 + (-6)/(-12) - 2/(-4). Suppose 66 = 2*k - 3*y + 5*y, -c*k + y + 119 = s. Does 10 divide k?
False
Let z(a) = -a**3 + 2*a**2 + 2*a + a**2 + a - 4 + 2*a. Is 2 a factor of z(3)?
False
Suppose -137*l + 136*l + 5 = 0. Let o(i) = -11*i**3 - 2*i**2 - i + 1. Let v be o(-2). Suppose 3*p - v - 23 = -l*j, 4*p - 34 = -2*j. Does 8 divide j?
False
Let m = -522 + 917. Is 24 a factor of m?
False
Let f(d) = -d. Let o(p) = -13*p - 2. Let z(k) = 10*f(k) - 2*o(k). Let m be z(8). Suppose 4*b = 4*v - m, -3*v = -v - 5*b - 66. Is v a multiple of 20?
False
Suppose -467 = -2*f + 73. Is 27 a factor of f?
True
Let z be (-4)/(-14) - (-3 - (-10)/(-14)). Let d = 28 - z. Is d a multiple of 24?
True
Suppose -p + 3 = 4. Let s be (p - (-3)/1)*-2. Is 10 a factor of -45*(0 + s/4)?
False
Let g(k) = -4*k - 14. Let y be g(-5). Is 3 a factor of (y*-1)/(39/(-52))?
False
Let z = 1850 + -408. Is z a multiple of 27?
False
Let v(u) = 14*u - 2. Let y be 1 - 0 - 0/(-1). Let k be v(y). Is ((-45)/6)/((-2)/k) a multiple of 10?
False
Suppose 0*m = -3*m + 9. Let s be m + 106 + 0/(-1). Is 1/5 - s/(-5) a multiple of 22?
True
Let b(a) = 24*a**2. Let o be b(-1). Suppose 0 = -3*l - 5*n - o + 130, 5*l = 4*n + 152. Is 32 a factor of l?
True
Let p(y) = -42*y + 4. Let r be p(-1). Is 4 a factor of (r/4)/((-4)/(-8))?
False
Is 14 a factor of (-540)/162*-61*6/4?
False
Let t(g) = -7*g - 23. Let z be t(-5). Suppose z + 3 = 3*m, -3*q + 355 = 2*m. Is q a multiple of 23?
True
Let p = -410 + 1197. Is 65 a factor of p?
False
Let o(s) = -s**3 + 8*s**2 - 6*s + 51. Let x be o(8). Suppose x*t - 50 = -2*t. Is 10 a factor of t?
True
Let l(p) = p**3 - 7*p**2 + 6*p + 6. Let v be l(6). Suppose 25 = -3*i + 88. Let x = i + v. Is x a multiple of 19?
False
Let a = -1654 - -1942. Is 48 a factor of a?
True
Suppose -b = -2*u + u + 5, -4*u + 2*b + 20 = 0. Let z(q) = -q**2 + 4*q + 7. Let a(c) = 2*c**2 - 9*c - 15. Let k(g) = -2*a(g) - 5*z(g). Is 10 a factor of k(u)?
True
Let o = 5 - 5. Suppose o = 4*q - 2*p - 14, 2*p + 6 = -7*q + 3*q. Suppose d - q = 11. Does 6 divide d?
True
Let h(m) = 4*m - 2*m - m - 4. Let v be h(15). Let z(b) = -b**3 + 13*b**2 - 10*b - 8. Is z(v) a multiple of 30?
False
Let x(r) = 16*r - 6. Suppose -3*n - 5*v + 19 = 0, 5*v = 3*v + 4. Is x(n) a multiple of 21?
True
Is 8 a factor of 27573/105 + 6/(-10)?
False
Let w be 22/(-121) - (-348)/(-22). Let y = w + 16. Suppose -2*u + y*u = -14. Does 7 divide u?
True
Let p(r) = -r**2 - 29*r - 3. Is 33 a factor of p(-8)?
True
Let j = 17 - 17. Let l(k) = j + 3*k - k**3 - 5*k + k + 11. Is 3 a factor of l(0)?
False
Suppose -16*m = -44171 - 20309. Is 10 a factor of m?
True
Let p be (-18)/4*(12 + -18). Let t = -22 + p. Suppose -4*q + 61 = 5*b, -t*b - 11 = -3*q - q. Is q a multiple of 9?
True
Let w = 105 - -860. Is w a multiple of 20?
False
Let l be (-1 + 0)/(((-28)/(-24))/7). Suppose b = -3*b + 48. Does 24 divide b*-5*l/5?
True
Suppose 14*p - 391 - 1009 = 0. Is p a multiple of 20?
True
Suppose -316 = -734*n + 730*n. Is n a multiple of 2?
False
Suppose 5*r - 17 - 9 = -3*c, 16 = 4*r. Suppose -z + 6 = c. Suppose 0*t + 512 = z*t. Does 32 divide t?
True
Let m = 48 - 49. Is 27 a factor of ((-378)/35)/(m/10)?
True
Suppose k = -3*x - 122, 3*x + 8*k = 6*k - 127. Let l = x + 79. Does 10 divide l?
True
Let b(a) = -45*a**3 + a**2 - a + 1. Let n be b(1). Let z = 70 + n. Let v = 41 - z. Is v a multiple of 14?
False
Let o = 13999 + -9743. Suppose -o = -16*a - 896. Does 53 divide a?
False
Let y = 1095 + -555. Is 54 a factor of y?
True
Let h be 42472/36 + (-6)/(-27). Suppose v = -4*v + h. Does 44 divide v?
False
Suppose i + 2*i = -183. Let x = i - -28. Let n = x + 46. Does 13 divide n?
True
Let i(j) = -j**3 - 2*j**2 - 2*j - 5. Suppose -3*k + 3*a + 48 = 0, -5*k - a + 0*a + 80 = 0. Let y be (-6)/4*k/6. Is 17 a factor of i(y)?
False
Suppose 3*l + 2*m - 8 = 0, 2*m + 2*m = -2*l. Suppose -86 = -4*u + 5*x, -2*x + 124 = u + l*u. Is 6 a factor of u?
True
Does 57 divide 4 + 1 - (-1644 - 61)?
True
Suppose -2*n + 1 - 19 = -5*f, -4*f - 4*n = -20. Let j be -3 + (-43*f)/(-2). Suppose -17 = -5*x - 3*h + 112, h = 3*x - j. Is 27 a factor of x?
True
Let h(a) = a**2 + 24*a + 147. Let v be h(-18). Suppose -7 - 3 = -2*x. Suppose 0 = -2*p - 5*w + 82, -x*p - v = w - 267. Is 23 a factor of p?
True
Let f(t) = 1. Let x(s) = 5*s - 7. Suppose 0 = 3*b - 6 - 3. Let m(v) = b*f(v) + x(v). Does 11 divide m(9)?
False
Let j(o) = -14*o + 102. Is 48 a factor of j(-3)?
True
Let f(s) = -21*s - 103. Does 44 divide f(-7)?
True
Let g(f) = -2*f - 3. Let s be g(-6). Does 11 divide 396/s + 1*4?
Fal