= -45 - -69. Let s = -28 + f. Is 2 a factor of (-55)/s - (-2)/8?
True
Let c(l) = -4*l**3 - 23 + 8 + 7 + 5 + 5 + 19*l. Is c(-5) a multiple of 19?
False
Let q(j) = 902*j**3 - 3*j**2 + 2*j. Let p be q(1). Suppose 0 = -7*k + 107 + p. Does 6 divide k?
True
Suppose -40 = -i + 7. Suppose 5*c + o - 59 = -3*o, 5*c - 53 = 2*o. Let r = i - c. Does 9 divide r?
True
Suppose -4*a = -q + 124, 19 = -5*a - 1. Suppose 2*y + q - 246 = 0. Does 3 divide y?
True
Let y = -2 - -3. Let c(n) = 203*n**2 + 9*n + 7. Let i(h) = 105*h**2 + 4*h + 3. Let l(z) = -4*c(z) + 9*i(z). Is l(y) a multiple of 11?
True
Suppose 0 = 28*b - 183493 + 54413. Is (-54)/(-15) + -4 + b/25 a multiple of 5?
False
Suppose -6*p + 4*p + r = 0, 4*p = -3*r + 20. Does 24 divide 6/36*p*381/1?
False
Let o be (1 + -2)/((-439448)/73240 - -6). Suppose -2*h - 4*a + 3652 = 0, 0 = -30*h + 25*h - 5*a + o. Does 102 divide h?
True
Let g be -1*((-2)/12 - (-34)/(-12)). Suppose -g*f + 336 = -2*f. Is f a multiple of 14?
True
Let h(u) = u**3 + 23*u**2 + 2. Let a be h(-23). Let d(n) = -6*n**3 + 8*n + 12*n**3 + 10*n**a - 5*n**3 + 5. Does 32 divide d(-7)?
True
Let s(w) = -21*w**3 - 6*w - 8. Let t be s(-2). Let g = 204 + t. Is 41 a factor of g?
False
Suppose 8*z = 5*z. Suppose 4*w - 434 = -6*x + 8*x, z = -4*x - 12. Is w a multiple of 12?
False
Suppose -17*j + 187184 = 4*i - 22*j, -2*i + 93596 = -3*j. Is i a multiple of 83?
False
Let h(a) = a**2 + 3*a - 2. Let w be h(-2). Let v = -117 - -90. Let d = w - v. Is d a multiple of 17?
False
Suppose 0 = 2*d + 4 - 2. Let v be -3 + (4 - d) + -9. Is ((-549)/v - -3) + (-3)/7 a multiple of 6?
False
Let b = -284 + 287. Suppose 0 = 4*l - 3*h - 1377, 1020 = b*l - 12*h + 14*h. Is l a multiple of 18?
True
Let o(m) = m**2 - 14*m - 7. Suppose -96 = -6*q - 6. Let y be o(q). Suppose -41 = -y*j + 119. Is 4 a factor of j?
True
Let a be 692 + ((-4)/10)/((-1)/5). Let x = 1054 - a. Is 20 a factor of x?
True
Let r(p) = -9*p + 38. Let q be r(11). Let m = q - -56. Let u(d) = 2*d**2 - 2*d + 2. Does 4 divide u(m)?
False
Let g = 428 - 449. Does 13 divide (-7)/g + (-1286)/(-3)?
True
Let w = -10326 - -24474. Is 108 a factor of w?
True
Suppose s - 16062 = -3*d, 2*s - 8027 = d + 24132. Does 154 divide s?
False
Let h(j) = 61 - 161*j**2 + 56*j**2 + 54*j**2 - 4*j + 55*j**2. Does 15 divide h(10)?
False
Let v(i) = i**2 - 2*i + 5. Let c be v(-3). Suppose k + h = -0*h + 5, 0 = -5*h + c. Does 32 divide (0 - k)/(4 - (-2695)/(-672))?
True
Let o(m) = -3*m**2 + 113*m - 69. Let q be o(37). Suppose -3*c + 824 + 960 = 2*f, -q*f + 4479 = -2*c. Is f a multiple of 43?
False
Let t = 2475 + -1314. Let g = t + -518. Suppose -5*s - 3 = -g. Is s a multiple of 17?
False
Let h(g) = g**3 - 4*g**2 - 6*g + 3. Suppose -a + 26 = 5*k, 3*k - k - 2*a - 8 = 0. Let f be h(k). Is 6 a factor of (19 - -5) + f*1/(-2)?
False
Let d = 3741 - 1565. Suppose m + d = 9*m. Is 34 a factor of m?
True
Let d(z) = 11*z**3 - 15*z**2 + 10*z + 4. Let p be d(6). Let m = p + -586. Is 73 a factor of m?
True
Let w be 256/(-12)*(-9)/(-4). Let t = 50 + w. Suppose -7*f = -t*f - 90. Does 6 divide f?
True
Suppose 3*n - g = 652, -2*n - 4*g + 256 = -188. Suppose 0 = 4*y + 6*x - 11*x - n, -3*x - 266 = -5*y. Is y a multiple of 21?
False
Let c = 70842 - 30419. Does 35 divide c?
False
Let b(c) = -4*c**2 + 285*c - 59. Is 121 a factor of b(52)?
False
Suppose 0 = 5*d - 3*f - 35, -8 = 2*d + 5*f + 9. Suppose d*y - 7475 = -3*a, -2*y - 2*y + 2505 = a. Suppose a = 9*x + 901. Does 44 divide x?
True
Suppose 3*o = 2*z - 12734, 8*z = 3*z - o + 31818. Is z a multiple of 74?
True
Let t(f) = 3*f**3 + 62*f**2 - 85*f + 123. Let x(s) = -s**3 - 21*s**2 + 28*s - 41. Let r(o) = -4*t(o) - 11*x(o). Is r(-19) a multiple of 16?
False
Suppose -4*h - 2*p = -2846, -30*h + 35*h - 3590 = 4*p. Is 17 a factor of h?
True
Let q be 36 - (-4 + 4 - 3). Let d = -162 + 183. Let f = q - d. Is 18 a factor of f?
True
Let v(w) = -w**2 + 10*w - 44. Let s be v(9). Let m = 95 + s. Does 23 divide m?
False
Let x(p) = 317*p**3 - 10*p**2 + p - 3. Let t(u) = u**3 - u**2 + u - 1. Let w(n) = 4*t(n) - x(n). Does 50 divide w(-1)?
False
Let l(w) = 597*w**2 + 5*w + 6. Is 4 a factor of l(-2)?
True
Suppose -6*r = 3*r + 1053. Let b = r + 125. Suppose b*o = 6*o + 56. Is 2 a factor of o?
True
Suppose -221 = r + 12. Let g = -131 - r. Suppose 65 = h - g. Is 17 a factor of h?
False
Let y be (-112)/(96/(-140) + (-10)/(-35)). Suppose 55*v = 59*v - y. Is v a multiple of 20?
False
Let c(d) = -2*d**3 - 159*d**2 + 540*d - 271. Does 281 divide c(-83)?
False
Let q = 2357 - 884. Let b = -853 + q. Does 62 divide b?
True
Suppose -13*l - 155 = 118. Is ((-133)/l)/((-1)/(-6)) a multiple of 6?
False
Suppose -95*h + l + 16922 = -93*h, -25386 = -3*h + 3*l. Does 15 divide h?
True
Suppose 4*u - 5*u = 0. Suppose -h - 2*x = -148, -4*x + 5*x + 286 = 2*h. Suppose q + q - h = u. Is 18 a factor of q?
True
Suppose 390 = 5*y + 135. Suppose -2*s - 2*s = 64. Let w = y + s. Does 7 divide w?
True
Let a(s) = 32*s - 434. Let p be a(0). Let d = p - -616. Does 24 divide d?
False
Is ((-4)/(32/44))/((-29)/18850) a multiple of 19?
False
Let o = -28 + -651. Let q = -105 - o. Is 41 a factor of q?
True
Let w(c) = 190*c**2 + 118*c + 20. Is w(-3) a multiple of 8?
True
Let b = 240 + -244. Does 81 divide 490*1 - (b + (7 - -1))?
True
Suppose -5*f + 624 = 589. Suppose -25 + 683 = f*v. Does 21 divide v?
False
Let c = -6141 - -8304. Is c a multiple of 4?
False
Let u = 652 - 629. Suppose -583 + u = -f. Is f a multiple of 28?
True
Let z = 98 + -95. Let t(m) = m**3 - m - 6. Is t(z) a multiple of 6?
True
Let d(p) = -p**2 + 19*p - 69. Let c be d(14). Let s = 375 - c. Is 15 a factor of s?
False
Let r be -15*(13/(-21) - 120/(-420)). Let l be (-1)/((-3)/12) - -1. Suppose 4*u - l*o - 184 + 27 = 0, 227 = r*u + 4*o. Is 5 a factor of u?
False
Is ((570/(-8))/5)/(2004/(-1437536)) a multiple of 38?
True
Let g be 5/2*(-22344)/(-57). Let n = g + -390. Is n a multiple of 5?
True
Suppose -2*l - n = -3*n - 24, 4*n = -4*l + 80. Suppose v = 4, -l*v = -3*a - 14*v + 4255. Is 50 a factor of a?
False
Suppose 0 = -3*a + 135 - 21. Suppose -25*b = -27*b - a. Let q = b - -22. Is q a multiple of 2?
False
Let u(v) = 94*v**2 + 2*v - 3. Let d be u(2). Suppose -9 = -0*o + 3*o, 4*g - 3*o = d. Is g a multiple of 23?
True
Let j(a) = 32*a + 6. Let s be (-44)/(-33)*30/8. Suppose 2*h + r = 1, -5*r = s*h - 3 + 8. Is 14 a factor of j(h)?
True
Suppose 0 = -38315*l + 38323*l - 353600. Does 100 divide l?
True
Suppose -118*c + 13890 = -41*c - 47*c. Is 109 a factor of c?
False
Suppose -4*r - 9*h + 178110 = -15*h, -4*r = h - 178075. Does 265 divide r?
True
Let f = 6489 - 4685. Does 164 divide f?
True
Suppose 4*m + 2 - 26 = 0. Suppose -4*b = -m*b + 524. Suppose 5*p - 4*x = b, -3*p + 6*x = 3*x - 156. Does 18 divide p?
True
Suppose 5*j - 3*l + 67 = 0, -2*j + 5*j - 4*l = -49. Suppose 5*a = i + 2*i - 83, 33 = i - 3*a. Let o = i - j. Is 25 a factor of o?
False
Suppose 6*x - 2407 = -523. Suppose -3*w + x = v - 74, 5*w - 644 = -3*v. Is 10 a factor of w?
True
Let i(b) = 210*b + 5613. Does 14 divide i(8)?
False
Let k(m) = -91*m + 28. Let z be k(-3). Let y = z - 222. Does 25 divide y?
False
Let r(h) = -h**2 + 42*h + 67. Let b be (-7 + 0)*111/(-21). Does 28 divide r(b)?
True
Suppose -4*y = -4*l - 92, 3 = -5*y - 2*l + 97. Let x = -35 + 23. Let c = y - x. Is c a multiple of 19?
False
Let w(k) = 342*k + 2032. Is w(56) a multiple of 17?
False
Suppose -6*h - 43 - 11 = 0. Let x(q) = -60*q + 80. Does 41 divide x(h)?
False
Suppose 3*b = 3, 1625*c - 1629*c + 119545 = b. Does 293 divide c?
True
Let g(x) = 10*x - 23. Let v(n) = -1. Let y(q) = g(q) - 6*v(q). Let k be y(4). Suppose -3*d - f + k = -93, 0 = -2*d - 2*f + 80. Is d a multiple of 4?
False
Suppose 2*q + u = -1125, -659 - 1016 = 3*q - u. Let x be -2*1/3 + q/(-84). Suppose -x*s - 4*s = -410. Is 18 a factor of s?
False
Let t(j) = -j**3 - 6*j**2 - 9*j - 16. Let z be t(-5). Suppose -3*u - 242 = -4*p - 6*u, 246 = z*p + u. Is p a multiple of 62?
True
Suppose -142*t + 376321 = 31*t + 10599. Is 109 a factor of t?
False
Let g be 3/(18/7676) + 24/36. Suppose -4*v + g = 4*q, -3*q + q - 1600 = -5*v. Is 24 a factor of v?
False
Suppose 1726775 = 375*i - 86*i. Is 5 a factor of i?
True
Let o(f) = -f - 79. Let c be o(0). Let x = c - -112. Is x a multiple of 4?
False
Suppose 19*f = 11*f + 4176. Let z(b) = -b**3 + 1