pose -7 = -z*v - 14*u + 15*u, -3*u = v - 7. Suppose -2*y - 88 = -v*y. Is 11 a factor of y?
True
Suppose 0 = -88*y + 19116 + 49700. Does 24 divide y?
False
Suppose 2*t - 11042 = -3*v, 22126 = 4*t - 28*v + 27*v. Is t a multiple of 35?
True
Suppose -22*v + 1828 = -18*v. Suppose -326 = -3*k - 5*f + v, -f = 3*k - 771. Suppose -5*i + i + 464 = -4*p, k = 2*i + 4*p. Does 15 divide i?
True
Let s(l) = 29*l**2 - 8*l**2 - 11*l**2 + 2*l + 3*l - 12 - l. Does 22 divide s(7)?
True
Suppose -768 = -10*j - 3518. Let i = 620 + j. Does 21 divide i?
False
Let g(c) = -c**3 - 19*c**2 + 40*c - 40. Let a be g(-21). Suppose 0 = i + 4*x - 30, -a*i + 2 + 28 = -2*x. Is i a multiple of 2?
True
Suppose -2*g - 489 = 93. Let z = g + 435. Suppose -8*r = -z + 24. Does 3 divide r?
True
Let w be (-1762)/4 + (105/10)/(-7). Let q = w + 1092. Does 24 divide q?
False
Let u be ((-99)/(-6))/((-1)/42*-3). Suppose -y - 5*a = -599 + u, y + 4*a = 369. Does 5 divide y?
False
Suppose 4*i + 83528 = -18*i + 342094. Is 29 a factor of i?
False
Suppose 0 = 10*b - 15*b - 4115. Let d = 911 - b. Is 17 a factor of d?
True
Let p be 0 + (-1 + (-8)/(-4))*-1. Suppose 4 = g + 1. Does 27 divide 108*(p + g/2)?
True
Suppose n + 10 = 26. Suppose 0 = 44*d - 41*d - 60. Suppose 64 - n = 5*c + 3*s, 0 = 2*c + s - d. Is c a multiple of 6?
True
Suppose -9*s + 41698 = -21644. Does 4 divide s?
False
Let h = 13262 + -10682. Is 12 a factor of h?
True
Suppose -16826 = -q + l + 1901, 18731 = q + l. Does 265 divide q?
False
Suppose -7*n - 159 = -33. Does 15 divide ((-12)/n)/(2/1002)?
False
Let n = -17 + 26. Let h(s) = 5 + 6*s - 3*s - 10*s**2 + 11*s - 4*s + s**3. Is 10 a factor of h(n)?
False
Let p(b) be the first derivative of 7*b**3/3 - 3*b**2/2 - 9*b - 5. Is p(-4) a multiple of 27?
False
Let t(d) = 196*d**2 + 1460*d + 17. Is 14 a factor of t(-9)?
False
Suppose 0 = 4*w - 5*h + 227, -h = 5*w - 4*h + 287. Suppose 0 = 24*u + 2*u + 1612. Let l = w - u. Is l a multiple of 3?
False
Let n be ((-27)/12 - -3) + (-39)/(-12). Suppose n*w = 5*v - 125, w - 50 = v - 3*v. Let x = 88 - v. Does 9 divide x?
True
Let x = 88 - 86. Is 7 a factor of x + -3 + -4 - -250?
True
Suppose -2*s - 2*v - 2258 = 0, -3*s - 2*v + 1365 = 4747. Is 20 a factor of 60/(-36) + s/(-12)?
False
Let z(f) = -f**2 + 12*f - 23. Suppose -2*o + 18 = 3*t - 5*o, 15 = 5*o. Let i be z(t). Suppose 0 = -i*q + 4 + 144. Is q a multiple of 6?
False
Let w(t) = 69*t - 1181. Let o be w(15). Let f be (0 + 2)*(-25)/(-2). Let p = f - o. Is p a multiple of 16?
False
Suppose 704750 = 74*m - 1021374. Is 9 a factor of m?
False
Let z(q) = -2*q - 7. Let a(s) = s**3 - 2*s - 5. Let y be a(0). Let k be z(y). Let d = k - -17. Is 4 a factor of d?
True
Suppose -252 = 7*r - 13*r. Suppose n = -2*n + r. Let z = n + 131. Does 25 divide z?
False
Let q = 1350 + -2026. Let v = q - -827. Is v a multiple of 16?
False
Let b(z) = 3*z**2 + 4*z - 4. Let u be b(1). Suppose -3*s + 4*p + 488 = -s, u*p = 3*s - 741. Does 40 divide s?
False
Let z be (64/(-5))/((-78)/15 + 5). Let b = z - 52. Let s(j) = -j**2 + 13*j + 8. Is s(b) a multiple of 4?
True
Is ((-472)/(-11))/((-70)/(-41965)) a multiple of 118?
True
Is 3869/3 + ((-574)/42 - -13) even?
False
Suppose 3*b + 2 = -4*y + 1, -4*b = -2*y - 28. Suppose 0 = 6*j - b*j. Suppose -l = -2*t - 16, l - 3*t = 12 - j. Is l a multiple of 12?
True
Let r be (-7)/((-28)/16) - 200. Let c = 261 + 24. Let h = r + c. Does 43 divide h?
False
Let k(p) = 104*p + 10. Let s be (15/(-25))/(2/(-10)). Is k(s) a multiple of 23?
True
Let v = -5251 - -22411. Does 4 divide v?
True
Suppose -14 = x - 0*x - y, 4*x + 4*y = -40. Let i be (-16)/x - 8/(-12). Suppose 0 = -2*q - 3*m + 115, -q - i*m + 3*m + 60 = 0. Does 13 divide q?
False
Suppose 0*n - 192 = m + n, 0 = 2*m - 5*n + 405. Let v be 2/(-3) + 29271/99. Let p = v + m. Is 18 a factor of p?
False
Let i(l) = -l**3 + 30*l**2 - 55*l + 2. Is 152 a factor of i(23)?
False
Let q(n) = 32*n - 10. Let m be q(8). Suppose 3*l - 137 = i, 5*l - 3*i - m + 15 = 0. Is l/(-10)*(-16)/6 a multiple of 4?
True
Let p be (-20)/5 - (-1 + 4). Let x = p - -24. Let g = 56 - x. Does 4 divide g?
False
Suppose -24*c + 7*c = -34. Suppose -f + c*f - 2*f = 0. Suppose -2*g - 423 = -6*k + 3*k, -k + 4*g + 151 = f. Is k a multiple of 14?
False
Let r(n) be the second derivative of 17*n**4/2 + 5*n**3/3 + 7*n**2/2 - 14*n. Let s be r(-3). Suppose 5*h = -4*z + s, 1103 = 5*z - 0*h + h. Is 33 a factor of z?
False
Suppose 3584 = 9*u + 866. Let n = u + -229. Is n a multiple of 2?
False
Let x = -3028 + 3524. Is x a multiple of 5?
False
Suppose 2*v + 15930 = 11*v. Suppose -3*q - h + 1061 = -0*h, 0 = -5*q - 2*h + v. Does 11 divide ((-6)/4)/((-710)/q + 2)?
True
Let l be (-9)/(9/(-26)) + (2 - 3). Suppose -5*a + l = -2*i, -2*i = 2*a + a - 15. Suppose i = -3*h - 5*h + 544. Does 4 divide h?
True
Suppose 2*i = -3 + 11, -4*o - i - 4 = 0. Let s(t) = -93*t**3 + 4*t**2 - 5*t - 2. Is s(o) a multiple of 24?
True
Let y = 45 - 44. Suppose -y = -i + 2. Suppose -i*k = -0*k - 534. Does 23 divide k?
False
Let u be 2/5 - 48/(-30). Suppose 0*s - u*s = -52. Suppose -s - 416 = -17*w. Does 3 divide w?
False
Let h(s) = s**3 + 17*s**2 + 19*s + 5. Let b be h(-14). Let o = b - 104. Let c = -159 + o. Is c a multiple of 7?
False
Let s be 6/(-21) + 48/21. Suppose 0 = -3*h - h + s*o + 834, 5*h + 2*o - 1056 = 0. Does 70 divide h?
True
Let p(b) = -b**3 - 4*b**2 - b + 610. Let n be p(0). Let w = n - 287. Is 17 a factor of w?
True
Let i(y) = 29*y**2 - 3*y + 10. Let w(s) = 5*s + 22. Let m be w(-4). Let j be i(m). Suppose 29*o = 34*o - j. Is o a multiple of 4?
True
Let j = -740 + -1220. Is 3*17/((-357)/j) a multiple of 56?
True
Let f = 2852 + 7459. Is f a multiple of 29?
False
Let p = -7884 + 11738. Is 44 a factor of p?
False
Is 4 a factor of (1/(-3) - (-8)/60)/((-10)/69950)?
False
Suppose -34938 = -2*d + 4*a, 6*d + 69811 = 10*d + 5*a. Is 221 a factor of d?
True
Suppose -2*a - 132 = 2*l, -4*l - 3*a + 2*a = 249. Let m = 37 + l. Let g = 70 + m. Is 23 a factor of g?
True
Let s(b) = 5*b**2 + 29*b - 82. Is s(-22) a multiple of 7?
False
Suppose -4*j - 20 = 0, 5374 + 4820 = b - 3*j. Is 87 a factor of b?
True
Suppose -12*p = -16*p + 168. Does 12 divide p?
False
Suppose -4*c - 4*p + 157607 = 10671, 3*c - p - 110202 = 0. Is 17 a factor of c?
False
Let l be -1 - -1*(6 - 5). Suppose 0*a + 10*a = l. Suppose 2*k - 221 - 125 = -2*c, a = 5*c + k - 853. Is c a multiple of 17?
True
Let r = 272 + -266. Suppose 11*z - r*z = 745. Is z a multiple of 13?
False
Let r be -1 + 11*(-6 - -8). Let h(o) = 29*o + 376. Does 26 divide h(r)?
False
Let s(q) = 68*q + 11. Let k be s(16). Suppose t - 3*d = 279, -4*t - 2*d + k = 3*d. Does 6 divide t?
True
Suppose -63*a - 15 = -66*a. Suppose -5*c + c + 72 = 0. Suppose 11*n - c = a*n. Is 2 a factor of n?
False
Let d(y) be the first derivative of -y**3/3 + y**2/2 + 8*y - 16. Let i be d(0). Is i/(-12) - (-680)/12 a multiple of 8?
True
Suppose -u + 35 = -21. Suppose -45 = 18*g - 135. Suppose 0*o - 5*o + 96 = 2*x, 0 = -2*x + g*o + u. Is 19 a factor of x?
True
Suppose -3*p + s = -13, -5*p + 5 = 3*s - 26. Suppose 4520 = 5*n + 5*l, 6936 = p*n + 4*l + 2420. Is n a multiple of 36?
True
Let i = 137 + -137. Suppose -1012 = -4*f - 2*u - 2*u, i = 2*u. Is f a multiple of 15?
False
Suppose 0 = 2*o - 8 - 6. Suppose -o*d = -20*d + 3198. Let u = d + -6. Does 20 divide u?
True
Suppose 0 = 2*w + g - 13, -4*w = -4*g + 2*g - 14. Suppose w*z - 1469 = l, 6*z - z = -l + 1471. Does 29 divide z?
False
Let z(c) = 18*c**2 - 16*c + 6. Let t(l) = 19*l**2 - 24*l + 10. Let m(f) = -2*t(f) + 3*z(f). Suppose -3*w + 0 + 2 = k, 2*k = 3*w - 5. Does 4 divide m(w)?
False
Let r be (-8)/(-24)*4*33. Suppose 7*t = 6*t + r. Is 13 a factor of t?
False
Let l(m) = -m**3 - 3*m**2 - 2*m - 5. Suppose -2*u + 1 = -3. Let o(c) = -c. Let z(b) = u*o(b) + l(b). Does 8 divide z(-4)?
False
Let s be 3*(-10)/75*-100. Suppose -43*n + 405 = -s*n. Is 5 a factor of n?
True
Let k(o) = -o**3 + 26*o**2 - o + 28. Let r be k(26). Suppose -6*j = -2*a - 2*j + 650, -4*j = r*a - 650. Is ((-4)/5)/((-1)/a) a multiple of 13?
True
Let o = 58767 + -36667. Is o a multiple of 100?
True
Let w = -160 + 175. Suppose 1422 = -w*j + 5367. Does 19 divide j?
False
Suppose -5*l + 33*b = 35*b - 1605, -1307 = -4*l + 3*b. Is l a multiple of 8?
False
Let p(v) = -6*v - 36. Let s be p(-14). Suppose -2*h + 2*b - 7*b 