 a, 57 = 2*a + 3*h. Does 6 divide a?
False
Let b = -130 + 299. Let m = b + -73. Is m a multiple of 16?
True
Suppose 4*j - 2*j = 5*d + 245, 0 = -2*j - 4*d + 254. Let c = j - 21. Does 8 divide c?
True
Let g = 4512 + -2302. Does 17 divide g?
True
Let b(d) = -20 + 4 + 13*d + 6. Is 5 a factor of b(5)?
True
Let g be (1/2)/(1/4). Suppose 2*v - g*s = 96, -5*v - 27 = -s - 279. Is 8 a factor of v?
False
Let j = 1370 - 638. Is j a multiple of 13?
False
Does 17 divide 1477 - 18/(-12)*-6?
False
Let n(i) be the third derivative of -i**4/12 + i**3 - 7*i**2. Let x be n(3). Let t = x + 12. Does 4 divide t?
True
Let c be (-6)/8 + (-133)/(-28). Suppose -u + 3*u = c. Is 10 a factor of (-488)/(-16) + u/(-4)?
True
Let l(w) = 2*w - 5 + 1 + 18 + 18. Does 16 divide l(13)?
False
Let s(a) = -7*a**3 - 26*a**2 - 42*a + 45. Let m(k) = -3*k**3 - 13*k**2 - 21*k + 22. Let x(l) = 9*m(l) - 4*s(l). Does 26 divide x(15)?
False
Suppose 0 = 3*p + 2*r - 4557, -6*r - 4057 = -5*p + 3538. Does 49 divide p?
True
Let x = -3 + 7. Suppose -x*s - 1180 = -9*s. Let n = s - 158. Is n a multiple of 14?
False
Suppose -i = -7*i + 198. Let f = i + -24. Is f even?
False
Suppose -5*c - 50 = -7*c. Let r = c - 2. Is r a multiple of 13?
False
Let f be (-4)/12 - (-96)/(-9). Let q = f - -26. Suppose -4*g + q = -2*d + 81, -3*d + 101 = -5*g. Does 15 divide d?
False
Let m be (-30)/(-6)*6/(-9)*12. Does 11 divide (17*18)/2 - m/20?
False
Let m(q) = q**3 + 6*q**2 - 7*q - 7. Let a = 4 - 9. Let t be m(a). Suppose -3*k = -9, -2*f - 2*k = k - t. Is 11 a factor of f?
True
Suppose 0 = 6*k + 1136 - 74. Let h = k - -249. Does 8 divide h?
True
Let h(a) = 10*a**2 + 10*a - 55. Is h(8) a multiple of 20?
False
Let w(x) = x**2 + 47*x + 190. Is 9 a factor of w(-46)?
True
Does 28 divide (-68635)/(-245) - (-3)/(-21)?
True
Suppose 5*q - 8*q = -15. Suppose n = d + q, n - 25 = -4*n + 3*d. Suppose 3*c = 4*c - n. Does 2 divide c?
False
Let s be 140/(-6)*72/(-30). Suppose 5*k + 56 = -3*o, -5*o - 4*k - s = -5*k. Does 20 divide o*(-4 - 9/(-6))?
False
Let b = 4 - -31. Suppose 4*m - 37 = -4*q + b, 4*q - m - 77 = 0. Suppose -q = 2*p - 131. Is p a multiple of 20?
False
Let c(b) = -37*b + 2. Let i be 2 - (6/2 - 7). Let k be 1*4*(-3)/i. Is c(k) a multiple of 22?
False
Suppose 5*p - 24 - 31 = 0. Let z = 60 + p. Is z a multiple of 16?
False
Suppose 48*h = 55*h - 28. Suppose -j = h*j - 115. Is j a multiple of 23?
True
Suppose 3*u = -0*r + 3*r + 12, -5 = -u + 2*r. Suppose 0 = 3*l - u - 36. Suppose 5 + l = 3*a. Does 6 divide a?
True
Suppose 9*q - 14*q + 275 = 0. Is q a multiple of 11?
True
Let f(u) = -2*u + 4. Let d be f(-2). Is (-2)/d - (-594)/72 a multiple of 6?
False
Suppose 3070 + 2884 = 13*x. Suppose 4*u = -13*t + 10*t + 594, 3*u = 4*t + x. Does 30 divide u?
True
Does 17 divide (60/4 - 9) + 368/1?
True
Suppose 0 = 7*y - 18 - 24. Suppose -y*q + 8*q = 618. Is q a multiple of 28?
False
Let l(d) = 49*d**3 + d**2 - d. Let y(u) = u**2 + u - 1. Let g be y(1). Let n be l(g). Let c = n - 29. Is c a multiple of 10?
True
Is 2 a factor of (13 + -14)*1*-514?
True
Let b(y) = -y**2 - 31*y - 2. Let l be b(-30). Is (l/42)/(2/633) a multiple of 15?
False
Suppose 0*b + v = -2*b + 58, 3*v - 147 = -5*b. Let c = -25 + b. Suppose 78 + 90 = c*w. Does 19 divide w?
False
Is (344 - 35)/(1 - (-7)/(-10)) a multiple of 36?
False
Let a be ((-7)/(-3) + 1)*6. Let s be (4/10)/(2/a). Suppose -42 = -l + 3*h, -69 = -s*l + 2*l + h. Is l a multiple of 13?
False
Suppose -55 = -i + u, -3*i = 2*u - 243 + 98. Is i even?
False
Suppose 100 + 104 = 3*u. Suppose -3*i - u + 191 = 0. Is i a multiple of 41?
True
Suppose 7*v - 105 = -b + 2*v, -v = -4*b + 483. Is 4 a factor of b?
True
Let a(z) = 14*z**2 - 3*z - 17. Does 38 divide a(-4)?
False
Let p(q) = -q**3 + 7*q**2 - 11*q - 20. Is 15 a factor of p(-6)?
False
Suppose 3*v = -m - 3 - 1, 2*v - 6 = -5*m. Suppose 4*l + 162 = 2*p, 4*l - 76 - 70 = -m*p. Is 7 a factor of p?
True
Is 9 a factor of -1*1/(-8) - (-191771)/296?
True
Let o be (-2)/11 + 186/(-66). Let t = o - -26. Does 12 divide t?
False
Let l be (267/(-5))/(1 - 12/10). Suppose -3*p + 7*p + 3*n = l, 4*p = 5*n + 291. Does 23 divide p?
True
Does 25 divide (1/1 - 184/23)*-50?
True
Let q = 12 + -9. Suppose -q*w + 6*w + 115 = 5*j, 3*w + 35 = j. Is 5 a factor of ((-25)/j)/(1/(-8))?
True
Let s(f) = f**2 - f. Let d(y) = y**2 + 5*y + 2. Let x(a) = d(a) + 3*s(a). Suppose 3*o + 3 + 3 = 0. Does 7 divide x(o)?
True
Let d(x) be the third derivative of -x**7/105 + x**6/360 - x**4/12 - x**3/2 - 5*x**2. Let i(g) be the first derivative of d(g). Does 22 divide i(-2)?
True
Suppose -5*o = k - 14, 0 = -k + 3*o - 0*o - 2. Let l(i) = 2*i**3 + i - i**3 + 2*i**2 + 0*i**2 - 2. Is l(k) a multiple of 26?
False
Suppose -5*p = -3*p + 14. Let h(j) = -2*j - 4. Let a be h(p). Is 5 a factor of 96/a - (-4)/10?
True
Let c = -1401 + 1701. Does 30 divide c?
True
Suppose 0 = 3*m - 15, -6*m + 4*m - 60 = -5*o. Suppose -51 - 131 = -o*d. Is 4 a factor of d?
False
Let h = 422 + 486. Suppose 140 = 8*f - h. Does 13 divide f?
False
Let x be (3 + 0)/(3 + -2). Suppose 3*y - x = 9. Suppose 0*s = -4*a - 2*s + 138, -y*s = -2*a + 64. Is a a multiple of 17?
True
Let d = 76 - 174. Let s = d + 163. Is s a multiple of 10?
False
Suppose u - 8*o + 3*o - 1974 = 0, 2*o + 5909 = 3*u. Is u a multiple of 19?
False
Let k(b) = 268*b - 69. Does 8 divide k(1)?
False
Let t(s) = -s**2 + 7*s - 2. Let q be (-32)/(-14) + 22/(-77). Is 7 a factor of t(q)?
False
Let a(y) = -y**2 + y + 1. Let b(k) = 5*k**2 - 12*k + 3. Let w(z) = 3*a(z) + b(z). Is w(7) a multiple of 10?
False
Let d(j) = -j - 9. Let w be d(-12). Suppose 3*a + 13 = z, w*a + 9 = -0*a. Does 4 divide z?
True
Let a = -15 + -95. Let r = 267 + a. Does 55 divide r?
False
Suppose -5*d - 25 = 0, 4*u = -d - 3*d + 280. Let p = u - 21. Is 18 a factor of p?
True
Suppose -3*t + 333 = -0*t + 3*n, -555 = -5*t - n. Let i = t - 53. Does 6 divide i?
False
Let x(w) be the first derivative of 2*w**3/3 + 2*w**2 + 5*w - 5. Let v(y) = y**2 + 1. Let s(d) = 3*v(d) - x(d). Does 19 divide s(10)?
False
Let n(x) = 3*x - 4 + 0*x + 5*x - 3*x - x**2. Let a be -1 - -1 - (-3 - 0). Is n(a) even?
True
Suppose 0 = -5*j + 23 - 3, s + 5*j = 425. Is 9 a factor of s?
True
Let t = 5259 + -3559. Is 20 a factor of t?
True
Suppose -w + 5 = 15. Let i = 10 + w. Suppose 2*t - 3*y - 3 = i, 4*t + 2*y = 6*y + 12. Does 6 divide t?
True
Suppose o + 4*v = 2*v + 20, -o + 3*v + 10 = 0. Suppose -19*u + o*u = -180. Is 20 a factor of u?
True
Let t = 1749 + -1409. Is t a multiple of 17?
True
Suppose -5*s + 845 = 5*y - y, 0 = -3*s + 4*y + 507. Is s a multiple of 32?
False
Let p(s) = -21*s - 505. Does 4 divide p(-29)?
True
Let x(f) = 6*f + 12. Let c be x(9). Let l = -31 + c. Suppose 0 = 2*y + 5*g - l, -3 + 2 = -y + 3*g. Is y a multiple of 4?
False
Let o(k) = 12*k - 3. Suppose -55 = -5*g - 4*u, u = -4*g - 0*u + 33. Does 31 divide o(g)?
False
Let t(b) = 22*b - 40 + 13*b + 36 - 2*b**2 + 13*b. Does 61 divide t(21)?
True
Let m be (-5)/(-10) + (-7)/2. Let u = 25 - m. Is 4 a factor of 2/(-8) - (-595)/u?
False
Let o(d) = -2*d**3 + 3*d - 2. Let b be o(-4). Suppose -3*q - 108 = -3*f + b, -f + 74 = -3*q. Is 30 a factor of f?
False
Suppose -2*a - 3*i + 9 = 0, 6*a = a - 3*i + 45. Is -18*((-29)/a + (-1)/4) a multiple of 6?
True
Suppose -1092 = -7*l + l. Let d = l + -52. Is d a multiple of 26?
True
Let p be (0 + 0 + -2 - 1) + 0. Is p*(-1)/(-18) - (-722)/12 a multiple of 7?
False
Let q(y) = y**3 + 4*y**2 - 3*y - 5. Let d be q(-4). Let u(z) = z - 3. Let x be u(d). Suppose -3*b + 91 = 2*w, -3*b + 4*b - 49 = x*w. Is 11 a factor of b?
True
Suppose -3*d = y - 479, 218 = y - d - 273. Does 23 divide y?
False
Let n(m) = m + 26. Let c = -2 - -2. Let x be n(c). Let k = x + -9. Is k a multiple of 12?
False
Is (8/(-6))/(130/(-195)) + 986 a multiple of 16?
False
Let t(o) = 545*o + 70. Is 58 a factor of t(2)?
True
Let g = -34 + 47. Let n = g - -1. Is 6 a factor of n?
False
Is (-8)/(-6)*(-12 + 234/12) even?
True
Is ((2028/(-65))/26)/((-6)/7400) a multiple of 20?
True
Let i be ((-2)/3 - (-2)/(-6))*-110. Is 13 a factor of (-574)/(-11) - 20/i?
True
Let w(g) = -4*g - 6. Let o be w(17). Let v = o - -77. Is v a multiple of 2?
False
Let a(h) = -h**2 + 12*h + 7. Let t be a(13). Does 12 divide ((-8)/t*-47)/((-4)/6)?
False
Suppose 4*c - 14 = -482. Let g = c - -164. Suppose -22 = -2*h - 3*f - 9, 3*h