, 5*i - 282 - 836 = 4*l. Does 23 divide i?
False
Let q = 63 - 48. Let i be 21858/90 - (-2)/q. Suppose -5*b = u - 81, 3*u + 5*b = -0*b + i. Is u a multiple of 8?
False
Let k = -188 - -95. Let p = -154 - k. Let z = 23 - p. Is z a multiple of 12?
True
Let l = 0 - -4. Let z = 290 + -288. Suppose -n - z*o = -12 - 39, l*o - 49 = -n. Is 23 a factor of n?
False
Let z = -12 - -428. Let y = -66 + z. Is 43 a factor of y?
False
Let i = 32478 + -22308. Is 15 a factor of i?
True
Does 22 divide (2 - -4372) + (40/15 - (-40)/30)?
True
Let o = -9290 + 9370. Does 2 divide o?
True
Let g(a) = -3*a + 47. Let h be g(15). Let k(f) = f**3 + 9*f**2 - 12*f - 14. Let d be k(-10). Suppose 0 = m + 3*j - d - 44, -m + h*j = -30. Does 28 divide m?
False
Let h = 1 - -1. Suppose 0 = c + 3*o + 14, 3*c - 4*o - 86 = -63. Does 25 divide 147/c - (-3 + -2 + h)?
True
Let v = -231 + 233. Does 11 divide (88/v)/((84/(-78))/(-7))?
True
Does 22 divide (-4)/(-8) - (-430911)/58?
False
Suppose 0 = -4*x + 5*c - 2*c + 70088, 4*x + 4*c - 70088 = 0. Does 42 divide x?
False
Suppose 126*q - 102*q - 1872 = 0. Suppose 2*x = -0*x + 10. Suppose q = -f + 4*h + 205, 4*f + x*h - 592 = 0. Is 13 a factor of f?
True
Suppose -163*s - 159320 = -191*s. Is 25 a factor of s?
False
Let q(f) = 2 - 35*f - 17 + 6*f - f**2. Is q(-21) a multiple of 15?
False
Let v = -9678 + 13941. Is 12 a factor of v?
False
Let m(d) be the first derivative of 19/4*d**4 + d**2 - 1/3*d**3 - d + 3. Is m(2) a multiple of 37?
False
Let k be ((-18)/21)/(-5 - 1254/(-252)). Does 13 divide 10*2132/k + (-6)/27?
False
Suppose 0 = -26*p - 0*p + 631540. Is p a multiple of 35?
True
Let a(p) = -3*p**2 - 16*p - 3. Let h(c) = -c**2 - c + 1. Let q(w) = -a(w) + 4*h(w). Let i be (3/(84/(-268)))/(-1) + 9/21. Is q(i) a multiple of 2?
False
Let s = -317 - -313. Let y(d) = -37*d + 14. Does 18 divide y(s)?
True
Suppose -4*c = -5*m + 2589 + 8079, m + 4*c = 2124. Does 13 divide m?
True
Let r be (2 - -2) + (-92 - -7). Let c = 141 + r. Does 3 divide (c/(-35))/((-9)/42)?
False
Suppose -25*i = -24*i + 5. Let a = 155 + -62. Is 3 + a + 2 + i a multiple of 17?
False
Let l = -6190 - -11734. Is l a multiple of 92?
False
Let h = -4838 + 4840. Suppose 4*g = -o - 0*o + 11, g + 16 = -4*o. Suppose -5*c + t + 570 = -g*t, 3*c = -h*t + 347. Is 16 a factor of c?
False
Let n be (18/21)/(45/14 - 3). Suppose s - 61*w + 56*w - 417 = 0, -n*s - 4*w = -1788. Is 13 a factor of s?
True
Let c(k) = k**3 + k + 12. Suppose -19 = -7*d + 23. Suppose -4*m - 5*z = 10, 0 = -3*m + 4*z - z + d. Is 6 a factor of c(m)?
True
Suppose 82*q = -41*q + 581175. Is 45 a factor of q?
True
Let h(d) = 2950*d - 4081. Is 14 a factor of h(11)?
False
Suppose 2*n + 1 = -7. Let k be -1*(n + 6) - 381*-1. Suppose k = 4*p - 1. Is p a multiple of 7?
False
Suppose -3*m = n - 1097, -2*m + 104*n = 108*n - 728. Is m a multiple of 6?
True
Let n = -7980 + 18888. Does 22 divide n?
False
Let i(p) = 7*p**2 + 30 + 83*p - 111*p - 9*p**2. Does 6 divide i(-14)?
True
Let w = -13 + 16. Suppose 8*j + 11 = -4*p + 3*j, -j - w = 0. Does 27 divide (-55 + p)*7/(-13 + 6)?
True
Let t = -21389 + 32014. Does 78 divide t?
False
Let r(j) = -386*j - 343. Is 3 a factor of r(-4)?
False
Suppose 2*c + 4*u + 7 = -1, -4*c - 2*u = -8. Does 13 divide (-3818)/(-6) + c/6?
True
Suppose 2*i + 4*u + 8 = 4*i, 0 = -5*i + 5*u. Let v = 14 - 10. Is (v + (-44)/i)*2 a multiple of 24?
False
Suppose 5*y - 5*q = -160, 4*q + 37 = -7*y + 6*y. Does 11 divide 51888/176 + (-6)/y?
False
Let b(z) = z**3 - 2*z**2 - 4*z + 1761. Let g be b(0). Suppose 5*u = 4*h + g, h + 0*h = 1. Is u a multiple of 15?
False
Suppose 0 = -2*v + 2 - 90. Let b = -26 - v. Suppose b = -c + 52. Is c a multiple of 14?
False
Let a = 1430 + 5957. Does 89 divide a?
True
Let x = 113 + -690. Let q = x + 637. Is q a multiple of 60?
True
Let l(i) = i**3 - 70*i**2 + 49*i - 575. Does 130 divide l(71)?
False
Suppose -7*c = -5690 - 3781. Suppose q - c - 631 = -4*p, -p = 3*q - 485. Does 7 divide p?
True
Suppose 4*a + 78*f - 73*f = 52185, 4*a - 2*f = 52206. Is 50 a factor of a?
True
Let p be 6 + -3 + -2 + -43. Is 48 a factor of 4/(-6) + (-14140)/p?
True
Suppose 4*k = 113 - 153. Is 5 a factor of (-26)/(-4) + (-15)/k?
False
Suppose -3*k - 2*u = -4161, 1255 = 3*k - 5*u - 2864. Does 25 divide k?
False
Suppose 0 = 2*k + 8, 6*k - 10*k = -t + 676. Let j be 0*4/(-8)*2. Suppose -6*i + 11*i - t = j. Is 11 a factor of i?
True
Let n(k) = -k**3 - 5*k**2 - 12*k - 27. Suppose -5*w - 4*x - 9 = 0, -2*w - 2*w - 3*x - 8 = 0. Is n(w) even?
False
Suppose -4*c + 16 = 0, -2*w + c - 6*c = -442. Let p = -123 + w. Is 4 a factor of p?
True
Let c = 1200 - 848. Suppose -5*y - c = -3*z + 69, 10 = -5*y. Does 20 divide z?
False
Let r(d) = d**3 - 18*d**2 + 16*d + 21. Let x be r(17). Suppose -z = -x*u - 312, -966 = -3*z + 3*u - 6*u. Suppose 5*j + 3*j = z. Is j a multiple of 5?
True
Suppose j + 16 = -3*j. Let a(k) be the first derivative of 2*k**3 - 5*k**2 - 3*k + 542. Is 19 a factor of a(j)?
True
Suppose 5*i = 4*t + t - 980, -4*i - 792 = -2*t. Let v = -128 - i. Does 4 divide v?
True
Suppose 2*i - 12684 = -2*g, 4*g - 25368 = -4*i + 9*i. Suppose 0 = 2*a - 23*a + g. Is 21 a factor of a?
False
Let n(k) = 3*k**2 + 16*k - 34. Let u be n(6). Suppose j - 48 = -y, 4*y - u = 5*j + 31. Is 7 a factor of y?
True
Suppose -6*o - 4*n + 1640 = -2*o, 6 = 3*n. Is o a multiple of 8?
True
Suppose 0 = -24*a + 18*a - 3990. Let w = -399 - a. Does 38 divide w?
True
Suppose -4 = l - 10. Let p be l/((-9)/(-24)*4). Suppose 254 = 4*c + g, -c - 3*g = -p*g - 61. Is 21 a factor of c?
True
Let x = 125 + -214. Let p = -76 - x. Suppose -218 + 608 = p*v. Is v even?
True
Let m(b) = 290*b - 9. Let t be m(4). Suppose 13*v = 7 - t. Let h = 42 - v. Is h a multiple of 10?
True
Let q(u) = 8*u - 18. Let s be q(3). Suppose i - 5*a - 117 = 0, -3*a = s*i - 8*i + 241. Is i a multiple of 4?
False
Suppose 23*x - 2 = -48. Suppose -5*q - 5*m + 183 = -q, -5*q + 201 = -3*m. Let n = q - x. Does 22 divide n?
True
Suppose -6*s + 63*d - 59*d + 4080 = 0, -2*d + 2064 = 3*s. Is 18 a factor of s?
True
Let p = -17542 - -53518. Is 8 a factor of p?
True
Let t(k) = 4*k - 4. Let v be t(0). Let x(j) = j + 8. Let d be x(v). Is 12 a factor of -4 + (d/(-5))/(8/(-280))?
True
Let f be 2/((5/50)/(6/8)). Suppose -10*i = -f*i - 10. Let q(c) = 17*c**2 - 4. Does 16 divide q(i)?
True
Let q(p) = -7*p + 8. Let u(y) be the first derivative of y**2/2 - 22*y + 6. Let z be u(16). Does 10 divide q(z)?
True
Let o = 142 - -89. Suppose 0 = l + 3*w - o, 2*w - 340 - 381 = -3*l. Does 84 divide l?
False
Let t = -58 + 54. Let y be t - (2 - 222)/5. Is 31 a factor of ((639/(-5))/3)/((-8)/y)?
False
Let j be (-8325)/(-8) - (-72)/192. Suppose 5*w + 5*q = 1050, -5*w = -5*q + q - j. Is 5 a factor of w?
False
Let u be (-6 + 2)/((11/3)/(-11)). Is 26 a factor of (-9)/(-6) + (-66)/u + 157?
False
Let o(x) = 163*x**2 - 8*x - 3. Let d be o(3). Suppose -3*z + d = -3*n, 2*z + 2*n + 1920 = 6*z. Is z a multiple of 12?
True
Let f be (28/10 - 2)*5. Suppose f*h = 2*n + 2114, 3*h + 0*h - 1581 = -3*n. Does 66 divide h?
True
Suppose 3*i = 4*o - 104628, -29*o - i - 104620 = -33*o. Does 26 divide o?
False
Let d(w) = 12*w - 72. Let t be d(6). Let b = t + 4. Suppose -2*i + 85 = 3*x, b*i + x = 104 + 51. Does 5 divide i?
False
Let f(l) = -4*l - 40. Let j be f(-10). Suppose 10 = -5*b, 4*b + 543 = -5*z - j*b. Is 0 - -5 - 1 - z a multiple of 24?
False
Suppose 0 = -4*w - 12, -2*w = -3*d + w - 369. Let k = d - -782. Is 82 a factor of k?
True
Suppose 0 = -a + 2, 6*a - 28 = -f + a. Let b = f + 27. Let n = b - 3. Is 21 a factor of n?
True
Let s(t) = -31*t - 24. Let i be s(-1). Suppose i*x = 1767 + 1635. Is 30 a factor of x?
False
Let d(l) = l**3 + 10*l**2 + 8*l + 8. Let r be d(-9). Suppose r*o = 21*o - 8. Is 6 a factor of o*(-56)/(-1 - 3)?
False
Let l = 2368 + -1509. Let p = 2032 - l. Is 13 a factor of p?
False
Let p(w) = -w**2 - 24*w + 55. Let u be p(-26). Suppose 0 = u*y + x - 802, -5 + 1 = -x. Is y a multiple of 16?
False
Suppose -144722 = -15*b + 114778. Suppose b = 24*s + 404. Is 8 a factor of s?
True
Let a = 8 + -5. Let n(p) = -54*p - 452. Let s be n(-10). Let j = s - a. Is j a multiple of 17?
True
Suppose -274968 - 490944 = -282*n. Does 26 divide n?
False
Suppose 31*z + 5390 = 41*z. Let c = 599 - z. Is c a multiple of 5?
True
Suppose 119*w - 1296736 = 21*w - 0*w. Is w a