-44)/16 - -2)?
False
Suppose 106*a = 121 + 91. Suppose 2*r = b + 5, 2*r - b + 4*b - 25 = 0. Suppose -k = r*m - 200, -3*k - a*m + 392 = -k. Is 15 a factor of k?
True
Let l(v) = -52*v - 44. Let g be (-187)/33 - (10/(-6) - -1). Is 27 a factor of l(g)?
True
Let u(l) = 2*l - 148. Let j(q) = -4*q + 297. Let f(b) = -4*j(b) - 9*u(b). Does 29 divide f(7)?
False
Suppose -538*n = -474*n - 901120. Does 88 divide n?
True
Suppose 301*d + 23811 = 306*d - 3*i, 5*d = -4*i + 23832. Is 153 a factor of d?
False
Let t = -8 - -1. Suppose -c = -2*r - 5, -5*r + 25 = -4*c + 9*c. Let w = r - t. Is w a multiple of 7?
True
Suppose 2*s = 5*x - 9275, 5*s - 7*s + s = 0. Is x a multiple of 4?
False
Let k be ((-3)/(-6))/(3/192*4). Is 27 a factor of (k/(-24)*-8)/(2/45)?
False
Suppose -5*i - 3*w = 25, -w + 2*w = -4*i - 20. Let z(y) = y**3 + 3*y**2 - 9*y + 1. Let l be z(i). Is 9 a factor of (-327)/(-12) - (-1)/l?
True
Suppose 219*j - 206*j - 53638 = 0. Is 8 a factor of j?
False
Let x be 14/4 - (-117555)/922. Suppose -o + 40 + 18 = -w, -w = -3*o + 48. Let d = w + x. Does 29 divide d?
False
Suppose -41*k + 60143 = -18126. Is 83 a factor of k?
True
Let r(q) = -186*q - 1146. Does 12 divide r(-31)?
True
Let x(g) = -g**3 + 79*g**2 + 111*g - 3273. Is 14 a factor of x(61)?
True
Suppose -3*w + 2*w - 3*s = 22, 0 = -2*w + 5*s. Let y = 12 + w. Suppose -y*u - 22 = -q, 5*u = q - 3*q + 35. Is 5 a factor of q?
True
Suppose z = 5*w - 12554, -z + 2518 = -39*w + 40*w. Does 157 divide w?
True
Let q(l) be the third derivative of l**5/60 - 7*l**4/12 + 95*l**3/6 - 5*l**2 - 11. Does 10 divide q(16)?
False
Let c be 6/(-15)*(6 + (-2 - -1)). Let j = c - -22. Suppose -14*w + j*w = 630. Is 7 a factor of w?
True
Let d(f) = 54*f - 25. Let w be d(1). Suppose -w*o = -33*o + 772. Does 15 divide o?
False
Let b(x) = x**2 - 7*x - 6. Let o be b(8). Suppose 4*c + o*k = -2, 5*c + 5*k = k - 10. Suppose 3*z = -g - c*g + 48, 4*g - 52 = -3*z. Is 6 a factor of z?
True
Suppose -17*j + 13*j - 20 = 0. Let i = -1 - j. Suppose 0*x - 4*h = -x + 93, 0 = i*x - 4*h - 408. Is 15 a factor of x?
True
Let o = -4 - 0. Let x(d) = -24*d + 556. Let r be x(23). Is 26 a factor of o*((-129)/18 - r/(-6))?
True
Let p(d) = -d**3 + 69*d**2 - 60*d - 711. Does 84 divide p(37)?
False
Let d(n) = 624*n**2 + 2*n - 2. Let p be d(1). Suppose f - p = -2*f. Is f a multiple of 16?
True
Suppose -2*k + 21 = v - 0*v, 0 = -2*k + v + 19. Let s be 180/(-18)*(6/k - -1). Let d(n) = n + 33. Is d(s) a multiple of 17?
True
Let i be (-4)/(-6) - (-2132)/(-12). Let q = i - -212. Does 4 divide q?
False
Suppose r - 253 = -a, -2*r - 1748 + 469 = -5*a. Let p = a + -166. Does 2 divide p?
False
Let p be (-72)/(-21) - (-28)/49. Let n(r) = 0*r - p*r - r - 1 + 16. Is 24 a factor of n(-10)?
False
Suppose 2*s = b - 10093, 169*b = 171*b - s - 20177. Is 11 a factor of b?
True
Let w be -8 + 6 - 1*6. Is ((-66)/w)/((-12)/(-256)) a multiple of 16?
True
Suppose -l - 2 = k, 2*k = 5*k + l - 2. Suppose 2*d = r + 74, -k*r - 176 = -4*d - 7*r. Does 9 divide (-15)/(-6)*(d - -7)?
False
Let k(b) = -b**2 - 17*b + 47. Let w be k(-19). Let r(j) = 7*j + 53. Does 4 divide r(w)?
True
Let v(x) = -1396*x + 131. Is v(-1) a multiple of 3?
True
Let a(d) = 28*d**2 + 4*d + 31. Is a(-11) a multiple of 15?
True
Let b(n) = 2502*n - 6881. Is 362 a factor of b(26)?
False
Let q(y) = 27*y**2 - 6*y - 6. Let m be q(-1). Let t = m - -120. Is t a multiple of 10?
False
Suppose -28*o - 7776 = -36*o. Suppose o = -77*q + 83*q. Is q a multiple of 36?
False
Suppose -9*b - 31 = -4*s - 4*b, -4*s - b = -13. Suppose 0 = p + 1 + s, -3*o + 2*p = -4102. Is o a multiple of 61?
False
Let y be (-4)/(-6)*43911/(-246). Let d = y + 407. Is d a multiple of 32?
True
Let l(s) = -s**2 - 3*s + 6. Let j be l(-4). Let q(d) = d**3 - 5*d + 2. Let i be q(j). Suppose -5*v = 5*t - 3*t - 20, i = 2*v. Is t even?
True
Let x be (-64819)/(-265) + ((-2)/(-5) - 0). Let d = x - 72. Is 22 a factor of d?
False
Suppose 25 = -5*o + n, -43 = 5*o + 4*n - 18. Is 4 a factor of (-2)/21 - o/105*5420?
False
Suppose -5*a = 2*g - 25, -15 = -5*g - 2*a - a. Suppose -9*u - 2 + 2 = g. Suppose s + 6 - 46 = u. Does 18 divide s?
False
Is 1550 + (-3 - 15 - -19) a multiple of 18?
False
Is 10 a factor of (-1)/(2/(-6)) + 5248/(1 + 1)?
False
Let v be -4 + 34/((4 - 2) + 0). Is v/(26/(-8)) - -330 a multiple of 41?
False
Suppose 2266*g - 3658512 = 2143*g. Is 44 a factor of g?
True
Let z be ((-567)/6)/9*2. Does 19 divide ((-4218)/z)/((-16)/(-112))?
True
Let u(a) = a + 4. Let s(t) = 97*t - 141. Let n(j) = s(j) - 2*u(j). Is n(18) a multiple of 96?
False
Let h be 5 - (-81 - 3)/(-6). Is 504*(8/(-18))/(6/h) a multiple of 14?
True
Let d(a) = -9*a**2 - 24*a**3 + 25*a**3 - 4*a**2 - 16 + 17*a. Let b be d(12). Suppose -9*t + b = -1333. Does 17 divide t?
True
Let t(k) = -288*k**3 - 65*k**2 - 208*k - 3. Is t(-3) a multiple of 3?
True
Let a(c) = -22*c**3 + 4*c**2 - 16*c - 212. Is 74 a factor of a(-10)?
True
Suppose -2*n + 251 = -59. Suppose 0 = -5*v - n + 900. Suppose 3*h - 404 = -v. Is 17 a factor of h?
True
Let g be (-124)/28 + (-6)/(-14). Does 40 divide (-16445)/(-26) - (g + 7/2)?
False
Suppose -m + 2*m - 26 = 0. Let k = m - 22. Suppose v + 107 = k*g - 66, -2*g + 2*v + 94 = 0. Is 14 a factor of g?
True
Let x(a) = a**3 + 51*a**2 - 16*a - 65. Does 14 divide x(-50)?
False
Let s = -223 - -53. Let i = -106 + 114. Is (4/i)/((-1)/s) a multiple of 35?
False
Let j(h) = -77*h - 2. Let y = 22 + -1. Let i = y - 22. Does 25 divide j(i)?
True
Let d be 105/33 + (-14)/77 + 19. Is 41 a factor of 17024/22 - (6 + (-136)/d)?
False
Suppose -639*w + 680*w = 209715. Is w a multiple of 93?
True
Let n(z) = z**3 - 2*z**2 + 304. Suppose -120 = 12*y - 32*y. Suppose -3*d - y*d = 0. Is n(d) a multiple of 44?
False
Let j be (8 + -20)/(12/(-128)). Let q = j + 322. Is q a multiple of 25?
True
Suppose 0*j = 2*j - 4. Let t(z) = -3*z + 7 + 6*z + z**3 + 12*z**j + z**3. Does 14 divide t(-5)?
True
Is 2 a factor of (-13955)/4*(-544)/680?
False
Suppose 3*j + 3*r = 1131, 4*r + 1729 = 3*j + 612. Let g(p) = 43*p**2 - 1. Let t be g(-1). Suppose t*f + j = 45*f. Does 36 divide f?
False
Let g(d) = 36*d - 6. Let l be g(-5). Let j = l - -314. Suppose 3*k = -2 + j. Is 7 a factor of k?
True
Let a be 13 + ((-49)/7 - -2). Suppose -a*w = 21*w - 3828. Is w a multiple of 35?
False
Let s be ((-2)/6 + 0)*60/(-2). Suppose s*z - 9*z = 4*q + 597, -4*q = 3*z - 1791. Is 33 a factor of z?
False
Suppose 0 = 5*p - w - 0*w - 13, 21 = 3*p - 5*w. Suppose 5*f - 4*k - 3950 = -p*k, 2*f - 3*k = 1591. Is f a multiple of 17?
False
Let h = 342 + -340. Suppose -4*r - p - 3*p = -480, -5*r + h*p = -628. Is 22 a factor of r?
False
Suppose 0 = -3*g - 3*f + 99, 0 = -5*g + 5*f - 3*f + 172. Suppose -6*x + g = -4*x. Is x a multiple of 12?
False
Let f(l) = 2*l + 26. Let t = 10 + -21. Let x be f(t). Suppose v + 2*d - 25 = 0, 2*d = 4*v + x*d - 100. Is 25 a factor of v?
True
Let h(m) = m**3 - 6*m**2 - 7*m + 6. Let i be (30/25)/((-2)/(-10)). Let k be h(i). Is (0 + k)*18/(-27) a multiple of 12?
True
Is 1*-2*9/42 + 2363967/777 a multiple of 18?
True
Let l(q) = -q**2 - 7*q + 9. Let d be l(-6). Suppose 768 = -d*t + 19*t. Is 17 a factor of t?
False
Suppose 0 = 2*w - 6, 267 = 4*y - 4*w + 31. Let j = y - -36. Does 14 divide j?
True
Suppose 2*d + 3*r - 21 = 0, 3*d + 11 = 4*d + r. Let a be 45/d - (-8)/32. Suppose -a*o - 4*m = -376, -49 - 49 = -o - 2*m. Does 15 divide o?
True
Suppose 6*l - 1 = 29. Suppose -l*q - 24 - 19 = m, -5*m = -4*q - 17. Is 9 a factor of q/(-14) + (1 - (-2613)/21)?
True
Let z be (6/24)/((-3)/228). Does 13 divide (z/3)/(8/(-120))?
False
Let t be ((10/(-4))/(-5))/((-1)/(-8)). Suppose -t*s + 5*s = 0. Suppose 2*h - 47 - 61 = s. Is 54 a factor of h?
True
Let x = -113 - -105. Let k(s) = -6*s - 4. Let l be k(x). Suppose l = d - 11. Is d a multiple of 11?
True
Let w(v) = 7*v**2 - 4*v. Let q be w(6). Suppose q = b - 2*l, -b + 3*l + l = -222. Is b a multiple of 32?
False
Suppose -5*i = -j + 33966, -41999 = -2*j + 5*i + 25958. Is 18 a factor of j?
False
Suppose 6 = -2*y - 3*x - 0, -6 = -4*y + 3*x. Suppose y - 72 = -9*w. Is 2 a factor of w?
True
Let r(s) be the third derivative of -95*s**4/8 + 23*s**3/2 + 131*s**2. Is 28 a factor of r(-3)?
True
Let o(d) = -2*d**3 + 7*d**2 - 4*d - 41. Is o(-11) a multiple of 4?
True
Let q = -1 + 0. Let z(d) = -2*d - 2841 - 2853 - 38*d**3 + 5693 + 2*