= 56 - y. Is 11 a factor of k?
False
Let m be -5*(-88)/70 + (-2)/7. Suppose -177 = -m*f + 129. Is 5 a factor of f?
False
Let a be (-8)/(-16)*0/2. Suppose 0 = -y - 4*r + 341, a*y + 4*y = r + 1296. Is 16 a factor of y?
False
Let z = -1432 - -3896. Is 32 a factor of z?
True
Let h(l) = -3*l**3 + 2*l**2 - l - 3. Let i be h(-1). Does 15 divide 62*(12 + -4 - i)?
False
Let w be (-19)/((-323)/3145) + (0 - 0). Let n = w - -57. Is 8 a factor of n?
False
Is 8 a factor of (-1 - (1 - 1426))*(-37 - -41)?
True
Let u(g) = 2*g**3 + 2*g**2 - 20*g + 65. Is u(28) a multiple of 41?
True
Let v(g) = -g**2 + 208*g + 191. Does 16 divide v(50)?
False
Let b(s) = -s - 8. Let w(l) = -l + 1. Let c be w(9). Let t be b(c). Suppose 2*y = -2, t*r = 5*r - y - 46. Does 3 divide r?
True
Let f be 580/50 + 3/(-5). Suppose 63 + f = j. Let y = j + -35. Is y a multiple of 5?
False
Let a(c) = 45*c - 7. Suppose 0 = 2*d - 4*d - 4*r + 4, 3*d + 16 = 5*r. Let m(i) = -i + 1. Let g(q) = d*m(q) + a(q). Does 17 divide g(2)?
True
Suppose -194040 = -167*q + 95*q. Is 11 a factor of q?
True
Let r = 10044 + -2592. Does 11 divide r?
False
Suppose 18*b - 14909 - 295159 = 0. Does 4 divide b?
False
Suppose -5*z + 4*s = -14, 149 = 3*s + 152. Suppose 0 = 2*j - 3*v + 5, 0*j - 2*v - 15 = -5*j. Suppose 5*m = 20, 44 = j*g - z*m - 23. Is g a multiple of 9?
False
Let m(y) be the first derivative of y**4/12 - 7*y**3/6 - 15*y**2/2 - y - 2. Let c(q) be the first derivative of m(q). Is c(9) a multiple of 3?
True
Suppose -75 = -2*t + 165. Suppose -a - 4*y = -t, -11*y = 3*a - 14*y - 300. Is 13 a factor of a?
True
Suppose 7*d + 1014 = 6698. Suppose -8*j + j - d = 0. Let i = -88 - j. Is i a multiple of 8?
False
Is (-3546)/(-1) + ((-4)/12)/(6/72) a multiple of 154?
True
Suppose 5*y = 10*y - 25. Suppose -y*h - 5*z = -310, -h + 5*z + 62 = -0. Let g = h + -10. Is 5 a factor of g?
False
Is 83 a factor of (-1150)/(-4)*92296/1390?
True
Let o(r) = 23 + 23 - 50 + r. Let z be o(10). Let w(c) = 2*c**2 + 11*c + 6. Is 24 a factor of w(z)?
True
Is (-375)/150 - (-7545)/2 a multiple of 58?
True
Suppose 7*p + 858616 = 13*p + 38*p. Is p a multiple of 11?
True
Let c be 3/11 - 70752/(-121). Let i(b) = 2*b**2 - 4*b - 3. Let g be i(5). Is 7 a factor of c/g - (-1)/3?
False
Let s be (-5)/(-2 - 8) + 438/(-4). Let z = -94 - s. Suppose z = 3*k + 4*h, 0 = -0*k + 4*k - h - 20. Is 2 a factor of k?
False
Let y = -6121 - -6346. Is 9 a factor of y?
True
Is -1*(-8)/104 + (-17020)/(-130) even?
False
Let i be ((-5)/(-20))/((-4)/(320/(-5))). Suppose -i*f + 1373 = -2*c + 357, c = 2. Is 12 a factor of f?
False
Let t = -10 + -2. Let u be (7/(-7))/((1 + -3)/t). Is 5 a factor of 1*(-2)/u - 116/(-12)?
True
Is 7 a factor of 3729277/1630 + 3/30?
False
Let t be (-1)/(-2)*(27 + -7). Suppose -t = -5*l - 2*r + 12, -26 = -3*l + 2*r. Suppose 706 - 82 = l*p. Is p a multiple of 14?
False
Let w(q) = -28*q - 50. Let v(u) = 19*u + 31. Let k be v(-2). Is 12 a factor of w(k)?
False
Suppose 5*i + 112 = 442. Is ((-44)/i - (-25)/(-3))*-4 a multiple of 6?
True
Let i(v) = 1139 - 2280 + v**2 + 87*v**3 + 1142 - v. Suppose -o + 1 = -a, 5 = 2*a + o + 1. Is i(a) a multiple of 16?
False
Let z be 3644/(-36) - (4/18)/(-1). Let v = -96 - z. Suppose v*l - 149 - 831 = 5*i, -4*l = -i - 772. Is 8 a factor of l?
True
Suppose 51 = -23*s + 6*s. Let z(l) = -63*l - 9. Is 9 a factor of z(s)?
True
Suppose 0*t - 1710 = -38*t. Suppose -2*v - 445 - t = -k, -k = 5*v - 511. Is k a multiple of 28?
False
Suppose 4*p + 577*n - 53296 = 578*n, -2*n + 16 = 0. Is 72 a factor of p?
False
Suppose -90*v + 88 = -89*v. Let o = -85 + v. Suppose 0 = o*s + 9*t - 6*t - 141, 43 = s + 5*t. Is 8 a factor of s?
True
Let p = -199 + 135. Is p/96 + (-1304)/(-3) a multiple of 23?
False
Suppose -856*j + 239066 = -834*j - 55866. Is 10 a factor of j?
False
Let n(u) = -u**2 - 15*u + 8. Let i be n(-12). Let q = -44 + i. Suppose -3*z = -3*o + 95 - 2, 5*o - z - 155 = q. Does 31 divide o?
True
Let h = 715 - 711. Is 47 a factor of (-23)/(207/78)*(-282)/h?
True
Let m = 10207 + -4318. Is m a multiple of 11?
False
Suppose 8*g = 1604 + 4356. Is 63 a factor of g?
False
Suppose 61 = -4*z + 13. Let d be 9/z*(-3 + 4/12). Is 21 a factor of (36/(-2))/(d/(-7))?
True
Let s = -35179 + 46180. Does 24 divide s?
False
Suppose 2854 = -14*a - 2970. Let h = a + 453. Is 37 a factor of h?
True
Let m(l) be the second derivative of 26*l**3/3 - 5*l**2/2 - 48*l. Does 33 divide m(2)?
True
Let f(c) = 66 - 5*c - 149 + 107 + 6*c. Is f(6) a multiple of 10?
True
Suppose -13*x + 10*x = -6. Let b(h) = -5*h**2 + x*h**2 - 2 + 2*h + 4*h**2 - 3. Does 12 divide b(-7)?
False
Let k(z) = -2*z + 63. Let f(b) = b**2 + 12*b + 15. Let l be f(-4). Let u be k(l). Suppose 2*r = -4*s + 238, -3*s + 2*r + u = -71. Does 28 divide s?
False
Let i(y) = 173*y - 5. Let u be (15 - 8) + (-12)/2. Does 24 divide i(u)?
True
Is ((-4 - 7) + (-2224)/(-80))*300 a multiple of 18?
True
Suppose 54 = -7*q + 1916. Suppose -2*c + q = z - 7*c, -776 = -3*z + 4*c. Is 32 a factor of z?
True
Let i = -7565 + 10841. Does 6 divide i?
True
Let g(f) = 7*f**2 + 5*f - 7. Let s(n) = -n**3 + 17*n**2 - n + 20. Let v be s(17). Let i be g(v). Let r = 102 - i. Does 6 divide r?
False
Let d(s) = s**3 - 11*s**2 - 12*s. Let i be d(12). Suppose h + 5*y + 4 = 4*y, -2*h + 2*y = i. Is 8 a factor of ((-17)/h)/(1/6)?
False
Suppose -8696 = 54*u - 191810. Does 34 divide u?
False
Suppose 23*c - 30*c = -3752. Let p = c - 322. Let l = 382 - p. Is 24 a factor of l?
True
Let w(t) = 66*t**2 - 87*t + 2. Does 46 divide w(-8)?
True
Suppose 20*i + q + 961 = 22*i, 3*q - 15 = 0. Let z = i + -351. Does 22 divide z?
True
Suppose -q + 13 = -2*d - 0, -5 = d. Suppose y + 3238 = 4*c, -q*y + 1 + 5 = 0. Does 30 divide c?
True
Suppose s - 18 = 4*f, 1 + 15 = -4*f. Suppose -30 + 6 = s*y. Is 22 a factor of 2/(-3) + (-956)/y?
False
Let c be ((-292)/(-8))/((-2)/4). Let z = c - -63. Is 4 a factor of 547*(-1)/(-9) + z/(-45)?
False
Let v = 374 - 175. Let a = 207 - v. Is 8 a factor of a?
True
Let f be -5*3/((-15)/4). Let s = 3897 - 3795. Suppose -3*g + s = 2*m - 142, f*m + 3*g - 500 = 0. Is 8 a factor of m?
True
Let m be (1/(2/(-475)))/(48/(-1248)). Suppose 4*x + a - 7714 - 513 = 0, -m = -3*x + 4*a. Is 15 a factor of x?
False
Suppose j = -5*t - 4, 2*t = 4*j - 3 + 19. Suppose t = -12*u + 8*u + 2184. Does 21 divide u?
True
Let v(h) = h**3 + 14*h**2 + 20*h + 2. Let s be v(-12). Suppose 7*c - s = 5*c. Let w = c - -23. Is w a multiple of 16?
True
Suppose 34*j - 29*j = x - 28, 2*j = 4*x - 22. Suppose 2*s + 167 = x*t, -2*t - 3*s + 126 = -8*s. Is t a multiple of 2?
False
Suppose 4*k + 16 + 12 = -4*w, 0 = -2*k. Let p(l) = -3*l + 8. Let u be p(w). Suppose t = u + 61. Is t a multiple of 30?
True
Suppose 5*k + q - 149368 - 206950 = 0, -3*k - 4*q + 213767 = 0. Does 90 divide k?
False
Let g = -1309 + 6577. Is g a multiple of 5?
False
Let f be ((-24)/(-48))/((-2)/(-40)). Suppose 3*t = -2*t + f, 0 = -3*u + t + 346. Is 29 a factor of u?
True
Let z = -10309 - -31219. Is 16/(-104) - z/(-39) a multiple of 82?
False
Suppose 0 = -2*c - c - 93. Let a = c + 72. Suppose -3*g + 21 + 21 = 3*f, 4*f - a = g. Is f a multiple of 3?
False
Let g be (5 + 44/(-8))*-10. Let o be 2/(-16)*458 - g/(-20). Let a = o - -157. Does 5 divide a?
True
Suppose -20 = -13*u + 19. Suppose -u*b + 264 = -b - 4*x, -5*b + 674 = -3*x. Is b a multiple of 4?
True
Let z(m) = m**3 + 6*m**2 - 15*m + 10. Let u = -97 + 118. Suppose -131*s = -134*s - u. Is 5 a factor of z(s)?
False
Suppose 4*v = -4*m + 48488, 7*m - 10*m - 48516 = -4*v. Is v a multiple of 10?
False
Let t(j) = 4*j + 4*j**2 - j**2 + 4*j**2 - 3. Let m(v) = 270*v + 2427. Let h be m(-9). Is 12 a factor of t(h)?
True
Let r(g) = g**2 + 3*g - 5. Let z be r(2). Suppose 0*c + 2*c - 4 = 2*w, 0 = -4*w + z*c - 7. Is ((-5)/w)/(24/72) even?
False
Suppose 0 = -4*b - 4, -4*i + 0*b + 57425 = -b. Does 194 divide i?
True
Suppose 19 = 5*r - 61. Let p be (2*(-6)/(-16))/(4/r). Suppose p*c = 5*w - 175, w - 2*c - 35 = -3*c. Does 11 divide w?
False
Suppose 306 = 2*v + 4*j, 5*v - 28*j + 26*j - 765 = 0. Is v a multiple of 2?
False
Suppose -37*r + 29*r = -24. Suppose g + 6 = -g, 0 = -3*b + r*g + 48. Is b a multiple of 13?
True
Is -378*((-525)/45 - 5) a multiple of 60?
True
Let z(a) = -a**3 + 28*a**2 + 31*a - 43. Let p be z(29). Is 48/60 - (-11958)/p a multiple of 31?
False
Suppose g = 4*u