67, -t = 4*r + 41 - z. Is r a multiple of 9?
False
Let i = 6358 + -3278. Does 5 divide i?
True
Let p be 2 + 14/2*(-2 + 3). Suppose -p*h + 4*h - 5*y = -2360, -5*h - 2*y = -2360. Is h a multiple of 62?
False
Let o(c) = -11*c**3 - 30*c**2 + 30*c - 9. Let q(f) = -8*f**3 - 20*f**2 + 20*f - 6. Let j(w) = -5*o(w) + 7*q(w). Does 11 divide j(2)?
False
Suppose 302*j - 297*j = 10. Let y be 7/(0 - 1/(-34)). Suppose 3*o = -5*c + y, -j*o = -6*c + c - 192. Is 17 a factor of o?
False
Let j = 25 - 13. Suppose a = 4*a - j. Suppose a*y + 5*u = 187, u = -4*y - 3*u + 188. Is 6 a factor of y?
True
Let m(k) = -2*k**2 + 3*k + 34. Let b be m(-4). Does 9 divide 276/b*20*44/(-32)?
False
Let w be 1/5 + (-6)/5 + 4. Let y be 18/(-12)*(-10)/w. Does 8 divide ((-2)/y)/(4/140*-1)?
False
Let k be 52 - (-2 + 2 + 1). Let b = 481 + -456. Let z = k - b. Is z a multiple of 26?
True
Let x = -219 + 224. Suppose 1374 = 2*b - 16*y + 11*y, 4*b = x*y + 2728. Does 21 divide b?
False
Let k(d) = -246*d + 3. Let g be k(-2). Suppose 5*m - w = g, 4*m = 7*w - 2*w + 417. Does 5 divide m?
False
Let n = 158 + -158. Is 16 a factor of (198 - n)*42/63?
False
Suppose 436*t - 141*t = -76*t + 34583136. Does 14 divide t?
False
Let w(t) = 9*t**3 + 37*t**2 - 22*t - 129. Let q(u) = 5*u**3 + 19*u**2 - 13*u - 64. Let v(x) = -7*q(x) + 4*w(x). Does 62 divide v(-11)?
False
Suppose -109*a - 39480 = -5*i - 106*a, 4*a - 39515 = -5*i. Is 9 a factor of i?
False
Let b = -19520 - -26098. Is b a multiple of 23?
True
Let k = 87 + -319. Suppose 0 = -5*g - 2*j + 2046, -5*g - j + 2058 = -5*j. Let q = k + g. Is q a multiple of 59?
False
Let x(m) = -m**3 + m**2 + m + 27. Is x(0) a multiple of 9?
True
Let c(j) = j**2 - 2*j + 2. Let s be c(2). Suppose -5*u - 7*n = -6*n - 23, -3*u + 11 = 2*n. Suppose s*o = u*o - 39. Is 4 a factor of o?
False
Let u(v) = -v**3 - 3*v**2 + 24*v + 99. Let n be u(-4). Suppose -2*i = -6, -n*i - 2188 = -5*b - 15*i. Is b a multiple of 55?
True
Suppose 5*d - 153 = 4*v, -4*v - 162 = -4*d + 2*d. Let w = v + 45. Is 3 a factor of (-3 + w + -4)*9/(-12)?
True
Suppose -49*x - 30*x + 3183120 = 41*x. Does 26 divide x?
False
Suppose 1026*t = 1037*t - 110341. Is t a multiple of 295?
False
Let s(v) = -10*v**3 + 15*v**2 - 40*v - 21. Let a(g) = -9*g**3 + 15*g**2 - 39*g - 20. Let l(o) = -6*a(o) + 5*s(o). Does 63 divide l(7)?
False
Let i be (-2)/(-7) + 1440/56. Is 11 + (-179284)/(-91) + (-4)/i a multiple of 15?
False
Suppose -1555 = -2*v + s - 592, -983 = -2*v + 5*s. Let z = -115 + v. Does 32 divide z?
False
Let b be 398/8 + 4/16. Let d = b - 50. Suppose d = -26*j + 25*j + 8. Does 3 divide j?
False
Let x(q) = 88*q**2 - 224*q + 1821. Does 111 divide x(8)?
True
Suppose 5*j + 16050 = 8*j - 3*r, 3*j = 13*r + 16120. Is j a multiple of 13?
True
Let b be (-13)/(-52) + 6/8. Let r(j) be the first derivative of 109*j**4/4 + j**3/3 - 2*j + 100. Does 12 divide r(b)?
True
Let x(r) be the first derivative of 3*r**2/2 + 11*r - 866. Let z(q) = -q**2 + 5*q + 3. Let s be z(5). Is x(s) a multiple of 5?
True
Let v(x) = -373*x + 2419. Is 36 a factor of v(-8)?
False
Let a = -69 - -65. Let r(h) = 7*h + 32. Let w be r(a). Suppose 2*s = -w*f + 36, s - 2*f = -2*s + 86. Is 13 a factor of s?
True
Does 119 divide (-49)/((-294)/(-36)) - -7263?
False
Suppose -41*m = 51*m - 164864. Does 5 divide m?
False
Let d = 1410 - 1346. Let y(j) = j**2 + 84. Let q be y(0). Let l = q - d. Is l a multiple of 4?
True
Let f(n) = -11*n - 1. Let w(k) = 5*k + 1. Let b(j) = 4*f(j) + 9*w(j). Let h be b(-3). Suppose 5*c - 3*r = 305, -212 = -4*c - h*r - 2*r. Is c a multiple of 21?
False
Let a(q) = -2*q - 13. Let o be a(-8). Let s(m) = -3*m + 10 - 2*m + m - o*m. Is 12 a factor of s(-3)?
False
Let k be -5*((-4)/18 - (-20)/9). Let g(s) = s - 2. Let d(f) = 3*f - 3. Let u(l) = -3*d(l) + 6*g(l). Is u(k) a multiple of 4?
False
Suppose 59 = -4*y - z, 17 = -2*y + 3*z - 2. Let t be (-200)/y + 10/(-35). Let v(l) = 17*l. Is v(t) a multiple of 23?
False
Suppose b - 9 = -i, -29 = -3*b - 4*i + 2. Suppose 3*d + x = 589, -5*d - b*x - 143 = -1128. Does 4 divide d?
True
Let t = 2189 + -2186. Suppose -5*c + 2*r = -98 - 219, 2*c - 124 = -2*r. Suppose 57 = 2*m + 3*o, 0*m + t*o + c = 2*m. Is 10 a factor of m?
True
Suppose -4*q - b + 35462 - 4853 = 0, 0 = -q + 2*b + 7641. Does 12 divide q?
False
Let k be ((-2)/3)/(6/(-180)). Let n be (6/5)/((-8)/k) + 7. Suppose -2*s - n*p + 144 = 0, -4*s + s = -5*p - 216. Is s a multiple of 9?
True
Let z(y) = -y**3 - 9*y**2 - 2*y - 16. Let k be z(-9). Suppose -f + k*n + 286 = 0, -2*f = 5*n - 514 - 94. Is f a multiple of 10?
False
Let h be 1/(1 + ((-76)/26 - -2)). Suppose 126 = 4*k - h*k. Let a = 44 + k. Is a a multiple of 5?
True
Suppose -v = -5*p + 7841, 32*p - 4705 = 29*p + v. Is 33 a factor of p?
False
Let u(a) = 33*a**2 - 115*a - 161. Is u(9) a multiple of 6?
False
Let s = 1842 - -399. Does 40 divide s?
False
Let u = 19804 - 14503. Is 32 a factor of u?
False
Suppose -121 - 183 = -i. Let j(b) = 5*b - 16. Let l be j(6). Suppose -l*h + i = -200. Is h a multiple of 12?
True
Let i = -164 - -186. Suppose 3*t = 5*s + 1505, 2*t + 23*s - 986 = i*s. Does 15 divide t?
True
Suppose 0 = 11*n, x + 4*n - 68 + 266 = 4*x. Is 66 a factor of x?
True
Let m(y) = -y**2 - 11*y + 18. Let q be m(-12). Suppose -2*u = u - 33. Suppose -q*t = -u*t + 670. Does 36 divide t?
False
Let w(a) = -298*a - 5926. Is 64 a factor of w(-56)?
False
Is 74 a factor of ((-60332)/30)/((-48)/360)?
False
Let x(u) = 21*u**3 + 14*u**2 + 41*u - 101. Let r(s) = 4*s**3 + 3*s**2 + 8*s - 20. Let t(d) = -11*r(d) + 2*x(d). Does 17 divide t(-6)?
True
Let v(r) = 91*r**2 - 22*r - 155. Does 102 divide v(-7)?
False
Let h = 46 - 39. Let z(s) = 2*s + s**2 + h - 2 - 3. Is z(-7) a multiple of 9?
False
Let d(x) be the second derivative of 6*x**3 - 181*x**2/2 + 6*x. Is d(6) a multiple of 35?
True
Suppose 0 = 3*x + 6128 - 38306. Is 62 a factor of x?
True
Let i(z) = 14*z - 28. Let f be i(-1). Does 3 divide 4/1 - 4 - f?
True
Is (56/12)/(((-5)/(-30)*-6)/(-6729)) a multiple of 25?
False
Is (-12)/(-44) - 89479/(-143) a multiple of 3?
False
Let z be (1/2*-130)/(1 + -2). Let j(b) = 8*b - 1. Let x be j(-7). Let r = z + x. Is r even?
True
Let y(u) = 248*u - 280. Is 24 a factor of y(17)?
True
Suppose 247*w + 87 = 250*w. Let l = w + -21. Is l a multiple of 6?
False
Let h = 4208 - 603. Is h a multiple of 74?
False
Suppose -5773*q + 5758*q + 25650 = 0. Is q a multiple of 30?
True
Suppose -2*l - 13 = -3*u + 826, -253 = -u + 4*l. Is 95 a factor of u?
True
Let u(o) = -2*o**2 - 12*o - 47. Let j(y) = 3*y**2 + 11*y + 49. Let m(n) = 3*j(n) + 2*u(n). Let t be (-42)/2*5/15. Is m(t) a multiple of 32?
False
Let o(c) = -3*c**2 + 4*c + 213. Is 7 a factor of o(0)?
False
Let n = -61 - -140. Let a = n + -74. Suppose z - 3*z = -4, -3*u + a*z + 170 = 0. Does 20 divide u?
True
Let i = 87 + 2991. Is 171 a factor of i?
True
Let g(a) = a**3 - 9*a**2 + 11*a + 17. Let p be g(7). Is 3 + 2 - (p + -31) a multiple of 3?
False
Let m = -1767 + 1043. Let w = -402 - m. Let s = w - 202. Does 40 divide s?
True
Let i(v) = 58*v**3 - 23*v + 169. Does 88 divide i(5)?
True
Let l = 18 + -22. Let r = 11 + l. Suppose 4*f + r = 51. Is f a multiple of 11?
True
Suppose -4388*n = -4339*n - 459620. Is 20 a factor of n?
True
Let k be -1 + 9 - 54/9. Suppose 0 = -5*p - 10, p + 402 = k*h. Does 25 divide h?
True
Suppose -4*f = -2*h - 1322, 3*f = 3*h + 2*h + 1009. Is 7 a factor of f?
False
Let k = 3162 - 1055. Is 20 a factor of k?
False
Suppose -t = 2*a + 4, 0 = -5*t - 9*a + 5*a - 8. Suppose -3*g + 4*r + 160 + 484 = t, 4*g - 4*r = 852. Does 26 divide g?
True
Let t(o) = o**2 - 11*o - 41. Suppose -28 = -30*x + 34*x. Does 5 divide t(x)?
True
Suppose 21*x - 97 = 7631. Is 72 a factor of x?
False
Suppose 0 = -17*y + 34*y - 255. Does 9 divide (216/10)/(y/50)?
True
Let d(l) = 2*l - 44. Let t be d(-8). Let b be 4/(t/9)*(-10)/2. Suppose o - 635 = -3*o - b*c, 3*c = -3*o + 480. Is o a multiple of 31?
True
Let k(r) = r**2 + 4*r - 8. Suppose l = h + 5, -2*h - 24 = 4*l + 4. Is k(h) a multiple of 5?
False
Suppose -25872 = -2094*l + 2087*l. Suppose -13*b + l = -11124. Does 20 divide b?
True
Let z = -12682 - -14958. Does 45 divide z?
False
Let w = -366 - -371. Suppose -4*i = i - 10, i - 1977 = -w*k. Does 79 divide k?
True
Let p(d) = 3*d**3 - 139*d**2 - d - 744. Does 33 divide p(47)?
False
Let g(y) = -9527*y 