f s(6)?
True
Let m be 26/91 + 162/21 + -2. Does 11 divide (-172)/m*-19*6/4?
False
Suppose 44 + 404 = 4*p. Let n(f) = -62*f - 1. Let t be n(-6). Let u = t - p. Is 16 a factor of u?
False
Let g be 114/15 + 3/(-5). Suppose 391 = -g*n + 1427. Is n a multiple of 6?
False
Let o(w) = -w**3 + w**2 + w + 16. Let q be o(0). Suppose 0 = -f - 3*f + q. Suppose f*b - 30 - 79 = -m, 3*m - b = 314. Is 12 a factor of m?
False
Let q(y) = -16*y + 245. Let b be q(15). Suppose -4*h - 1070 = -3*u + 319, 4*h + 2307 = b*u. Is u a multiple of 9?
True
Let h = -4698 + 15911. Is 55 a factor of h?
False
Let w be (-1)/(-9) - 210/(-108)*2. Let i(y) = -7*y + 39 + 8*y + 2*y + 0*y. Is 51 a factor of i(w)?
True
Let i(a) = -2 - 221*a - 5 + 415*a - 226*a - 2*a**2. Does 7 divide i(-7)?
True
Suppose 3*x + 31 = 4*z, 3*z - 3*x + 18 = 6*z. Let o = 9 - z. Let f(d) = 27*d + 1. Is 13 a factor of f(o)?
False
Is (151 + -148)/((-3)/(-641)) a multiple of 6?
False
Let t be 296/10 + 5 + 115/(-25). Let d = 35 - t. Suppose -4*u + 51 = -d. Is u even?
True
Suppose 0 = 3*c - 60 + 78. Let l = c + 9. Suppose -192 = -3*r - l*r. Is 4 a factor of r?
True
Let q = 74 - -4. Is q*(-4 + 50/6) a multiple of 16?
False
Let m = 2478 - -6499. Is 15 a factor of m?
False
Let t(u) = -3*u**3 - 8*u**2 - 42*u - 209. Is 11 a factor of t(-13)?
False
Suppose 0 = -4*b - 2*w + 1202, 0 = -7*w + 2*w - 5. Suppose -4*r = -h + b, 3*h + 3*r - 911 = 7*r. Does 26 divide h?
False
Suppose 828 = -3*b - 42. Let h = 32 - b. Is h a multiple of 6?
False
Let j = -93 + 94. Is ((j*-1)/1)/((-34)/2958) a multiple of 29?
True
Let v(s) = -s**3 + 2*s - 1. Let n(d) = -3*d**3 - 9*d**2 - 9*d - 43. Let t(k) = n(k) - 4*v(k). Does 13 divide t(14)?
False
Let r = 243 + -126. Suppose -3 = -3*p, 18*p = -a + 21*p + 2. Suppose -a*f = r - 557. Is f a multiple of 16?
False
Suppose -14*m + 9*m - 15 = 0. Is m/(-4)*(-760)/(-15) a multiple of 19?
True
Let o be 50076/130*40/(-6). Let q = -1669 - o. Is 29 a factor of q?
True
Suppose 448 = -4*m + 4*a + 44, -m = -3*a + 95. Let o = m + 19. Let k = o + 143. Is 15 a factor of k?
False
Suppose r - 21 = 2*m, -4*r = -2*r + 3*m - 42. Let l = -32 + r. Is 11/(l/(-36)) + (-6)/2 a multiple of 11?
True
Let k be 1034/11 + (1 - -1). Let v be (-2539)/(-6) + (-16)/k. Suppose 33 + v = 3*m. Does 38 divide m?
True
Suppose -5*v = -3*j - v + 8, 0 = 5*j + 5*v + 10. Suppose j*f - 2*f - 134 = 0. Let r = -38 - f. Is 18 a factor of r?
False
Let r(f) = f**3 - 7*f**2 - 9*f - 42. Let s be -2 - ((-18)/(-5))/((-3)/10). Does 28 divide r(s)?
True
Does 14 divide (4/28)/(5*(-11)/(-23434565))?
False
Suppose 0 = 2*u + 20*x - 0*x - 3968, -2056 = -u - x. Is u a multiple of 6?
True
Let p(v) = -1. Let r(o) = 38*o + 32. Let x(b) = p(b) - r(b). Is 43 a factor of x(-7)?
False
Let k(l) = -3*l**2 - 42*l + 177. Let j(m) = -5*m**2 - 63*m + 266. Let b(p) = -5*j(p) + 8*k(p). Is 18 a factor of b(17)?
True
Let s(q) = 2250*q**2 + 150*q - 14. Is 43 a factor of s(2)?
False
Suppose 2*c + 4*t + 13574 - 47662 = 0, 5*c - 85264 = t. Is 26 a factor of c?
False
Let t be 216/(-20)*(3 - 66/12). Is 6 a factor of (67 - t) + 2 + -1?
False
Is 18 a factor of (1 - 0)*10721 - (-40)/900*-135?
False
Let x(q) = -2*q - 4. Let v be x(-3). Suppose -v*z - 532 = -7*z - 4*j, 0 = -z + 4*j + 92. Does 13 divide z/((-4 + 2)/(-1))?
True
Suppose 5*a - 5*u + 269900 = 0, 4*u - 373437 = 5*a - 103532. Is a/(-61)*(-4)/(-3) a multiple of 21?
False
Let y(p) = -105*p**3 + 20*p**2 - 53*p - 18. Is y(-6) a multiple of 70?
False
Suppose 12*z - 86165 = 8671. Does 17 divide 770/150 + -5 + z/15?
True
Let f(d) = 2*d**2 - 106*d - 2335. Does 2 divide f(-18)?
False
Suppose 0 = 5*z - 22 - 8. Suppose 0 = -2*g - 4*k + z - 0, 0 = -2*g - 5*k + 6. Suppose -108 = -4*t + 3*l, g*t - 5*l - 130 = -2*t. Does 10 divide t?
True
Let s(y) = -772*y - 948. Is s(-12) a multiple of 17?
False
Let l(m) = 4*m**3 + 17*m**2 - 55*m + 9. Is 2 a factor of l(9)?
False
Let h = -95 - -95. Let x(a) = a**3 + a**2 + 868. Is 62 a factor of x(h)?
True
Suppose -10552 - 9841 = -25*x - 7143. Let y be (2 + -3)*-1*3. Suppose -y*i + 70 = -x. Does 10 divide i?
True
Suppose -6*d + 115752 = 20*d. Does 46 divide d?
False
Let g(n) = -n**3 - 14*n**2 + 2. Let h be g(-14). Suppose 10 = h*k + 2*q - 48, -q - 49 = -2*k. Is k a multiple of 2?
True
Let g = 39 + -39. Suppose g = f + 5*c - 89, -3*c - 284 = -3*f - c. Suppose -226 = -4*z + f. Does 20 divide z?
True
Let k be (-9)/4*(28 - 8). Let o be (-20)/6*(-54)/k. Does 9 divide (-181)/o + 5/(-20)?
True
Let y(s) = -171*s + 786. Is 51 a factor of y(-47)?
True
Let j(c) = -8*c - 128. Let o be -3 + 4*39/(-6). Does 14 divide j(o)?
False
Does 102 divide ((-144)/(-30) - 5) + (-4 - 93882/(-10))?
True
Let z(a) = -5117*a + 849. Does 223 divide z(-2)?
False
Let t = -55 - -60. Suppose -i + 3*u + 8 = 0, 0*i - 5 = -2*i - t*u. Suppose -i*a = a - 594. Does 26 divide a?
False
Let n(h) = -18*h - 8. Let w be n(-1). Let m be 4206/w + 6/(-10). Suppose 2*i = -3*i + m. Is 28 a factor of i?
True
Suppose a - 2*z + 42 = 0, -6*a + z = -9*a - 154. Is (1430/a)/((-3)/15) a multiple of 4?
False
Suppose 8*l - 40 = 3*l. Let m(h) = h**2 - 9*h + 8. Let o be m(l). Suppose o = 2*i - 5*s - 54, 3*s - 66 - 69 = -5*i. Does 4 divide i?
False
Does 102 divide (-1)/(80784/(-11540) - -7)?
False
Does 75 divide ((-12)/10)/((-7014024)/250500 - -28)?
True
Is 184 a factor of (-4)/6 + 0 + (-14910)/(-9)?
True
Suppose 0 = 7*k - 14 - 14. Let s be (-97734)/30 - k/20. Is (0 + -1)*s/18 a multiple of 10?
False
Let q(z) = -14*z + 38. Let k be q(1). Is 55757/104 - 3/k a multiple of 11?
False
Suppose -9*s = -116288 - 142352 + 84598. Does 39 divide s?
False
Suppose 2*m = q - 1194, 2*m = 27*q - 32*q + 6030. Is q a multiple of 8?
False
Let n(b) = -680*b - 295. Does 7 divide n(-11)?
False
Suppose -4*p = -20, w + p = -0*w + 1255. Is 12 a factor of (-16)/5*(10 + w)/(-6)?
True
Let v(s) = s**3 + 24*s**2 - 8*s - 35. Suppose -4*c - 92 = 4*g, 5*c = 10*g - 7*g - 123. Is 49 a factor of v(c)?
False
Let j(b) = b - b + 0*b - 1 - 3*b. Let v be j(-1). Suppose 103 = v*n - 9. Does 15 divide n?
False
Suppose v + 7 = -4*y + 9, -5*v = -y - 10. Suppose 0*d - 5*l - 2160 = -4*d, 2*d - 3*l - 1080 = y. Does 12 divide d?
True
Suppose -92*m + 88*m + 5*g = -2801, g + 2087 = 3*m. Is 17 a factor of m?
False
Suppose -2*i + 17834 = c - 1593, 4*i + 5*c - 38839 = 0. Does 60 divide i?
False
Let s(y) = y**3 - 9*y**2 - 120*y + 90. Does 44 divide s(22)?
False
Suppose -12 = -11*m + 15*m, 8698 = 2*r + 4*m. Suppose -20*o + r = -3125. Is o a multiple of 22?
True
Let x(i) = i**2 - 6*i - 90. Let y be x(16). Suppose y*b - 72*b = -1406. Does 58 divide b?
False
Let o(a) = -a + 1. Let y = -26 - -27. Let g(p) = 11*p - 5. Let k(b) = y*g(b) + 6*o(b). Is k(1) even?
True
Let s be (-3480)/21 - (-2)/(-7). Is ((-6557)/s)/(1/(-14)*-1) a multiple of 50?
False
Let o(p) = -8369*p + 902. Is 12 a factor of o(-2)?
True
Suppose 2566 = 12*q - 6182. Is q a multiple of 9?
True
Suppose k - 2885 = 4*f, 7736 + 3752 = 4*k - 3*f. Is 74 a factor of k?
False
Let x be -14*(-9)/((-441)/(-14)). Is 12 a factor of 50/x + (-6 - 132/(-24))?
True
Let n(b) = 2*b**2 + 116*b + 271. Does 47 divide n(45)?
True
Let s(c) = 2 + 74*c - 2*c - 28 - 7. Is 17 a factor of s(4)?
True
Suppose 0 = 3*a + 3*t - 9, -2*a - 44 = -5*a + 4*t. Suppose -24*b + 4352 = a*b. Does 17 divide b?
True
Let d be 10/12 + 625/150. Suppose 0 = -2*w - 5*o + 2255, -3*o = -d*w - o + 5623. Is 29 a factor of w?
False
Let f(i) = i**3 - 39*i**2 + 6*i + 105. Let g be f(39). Let l = g - -1137. Is 20 a factor of l?
False
Suppose -5*b - 5*w = -72700, -3*w = -427 + 439. Is 16 a factor of b?
True
Let c(u) = u**2 + 3*u + 4. Let w = -78 + 60. Let z = w - -13. Does 3 divide c(z)?
False
Let h(s) = -39*s**3 - 6*s**2 - 8*s - 16. Is 11 a factor of h(-7)?
True
Let r(u) = -u**2 - 6*u - 76. Let i be r(0). Let v = 272 - i. Is v a multiple of 12?
True
Suppose 5*y - 1759 = 4361. Suppose -6*m + 0*m = -y. Is m a multiple of 12?
True
Suppose -2*b + v = -27, -4*b = -7*v + 2*v - 69. Suppose 0 = -b*u - 4238 + 10838. Is u a multiple of 20?
True
Let o(j) = 6*j**2 + 7*j - 29. Let z be o(5). Let u = z - 28. Does 8 divide u?
True
Let t(c) = 0 + 36*c + 3 - 2 - 5. Let m be t(1). Suppose -y + m = 2. Does 10 divide y?
True
Let m(u) = 51*u - 11 - 77*u - 58*u. Does 25 divide m(-4)?
True
Let z(o) = o**2 + 24*o + 46. Let j be z(-22). Let n(m) = 4 + 