y - n = 117. Is 8 a factor of y?
True
Let g = -957 - -1653. Does 12 divide g?
True
Let d = 12 + -20. Let j be (108 + -1)*(d - -9). Suppose 0 = -5*m + j - 32. Does 7 divide m?
False
Let i(u) = u**3 - 9*u**2 - 8*u + 35. Let o(w) = 5*w - 70. Let m be o(16). Is i(m) a multiple of 9?
False
Let m(p) = -3*p - 9. Let b be m(12). Let f(g) = -20*g**2 + g. Let r be f(-1). Let s = r - b. Does 12 divide s?
True
Suppose 3*a = -15, -6*a + 4*a + 200 = -3*y. Let b = y + 175. Does 11 divide b?
False
Suppose -d + w = 3, -7*w = -d - 4*w + 3. Suppose 0*i + 587 = -2*i + 3*n, i - 2*n = -294. Is i/d - (-8)/(-12) a multiple of 16?
True
Let b(f) = 39*f**2 - 13*f - 7. Does 21 divide b(-4)?
False
Let p = -19 + 26. Suppose -126 = -5*t + k, t = k + 15 + p. Does 26 divide t?
True
Suppose 4*u = 1633 + 387. Let z = u - 356. Is z a multiple of 37?
False
Suppose -x - 107 = -704. Does 39 divide x?
False
Suppose 5*n + 0*n = 10. Suppose 5*b = 3*b + n. Let t = 17 - b. Does 8 divide t?
True
Let k = -70 + 124. Let t = 114 - k. Is t a multiple of 24?
False
Is 1090*(-2 - (-72)/30) a multiple of 22?
False
Let f be 2/(-7) - (-15)/(-21). Let a be (f - 83) + 4/2. Let u = a + 121. Is 13 a factor of u?
True
Let y(p) = p**3 - p**2 + 1088. Let t be y(0). Let v be t/85 + 2/10. Suppose -4*l - 81 + v = -2*r, -l = -5*r + 143. Does 7 divide r?
True
Is ((-225)/(-50))/((1/(-12))/(-1)) a multiple of 3?
True
Suppose z + 7 = w, 5*z = -2*w + 3*z - 2. Suppose w*c + c = 700. Suppose -o + c = 4*o. Does 10 divide o?
False
Suppose -25786 = -124*g - 738. Is 7 a factor of g?
False
Is ((-1)/((-2)/(-34)))/(2/(-66)) a multiple of 11?
True
Let v(w) be the third derivative of w**6/120 - 7*w**5/30 + 7*w**4/24 - 11*w**3/6 - 10*w**2. Is 9 a factor of v(14)?
False
Suppose 0 = -v - 5*l - 16, 0 = -4*v - 4*l - 13 - 35. Let r = -8 - v. Suppose r*o - 36 = -0*o. Is 6 a factor of o?
True
Let x be ((-6)/10)/((-21)/(-315)). Let w(c) = -2*c - 14. Let n be w(x). Suppose -q + 525 = n*q. Is 35 a factor of q?
True
Does 18 divide (-6)/8 - (3 + 1671/(-4))?
True
Let p(z) = -z**3 + 3*z**2 + 4*z - 5. Let a be p(4). Let c = 11 + a. Suppose -2*o + 10 = -c. Is 6 a factor of o?
False
Suppose 2*y - 33212 = -36*y. Does 55 divide y?
False
Suppose -4*z + 2838 = -5*a - 3925, -4*z = -a - 6767. Is z a multiple of 47?
True
Suppose 3*x = -z + 1569, 0 = 5*x + 3*z + 675 - 3294. Does 58 divide x?
True
Suppose -3*r + 25 = 2*y + 3*y, -2*r + 5*y = 0. Suppose -x + 3*x + 5*m - 164 = 0, -r*x + 344 = -4*m. Is x a multiple of 17?
False
Suppose -4*t + 59 = -289. Let v = 39 - t. Let f = -21 - v. Is f a multiple of 17?
False
Let y(i) = 2*i**2 + 56*i - 345. Is y(30) a multiple of 19?
True
Let f be ((-21)/9 + 3)*-15. Let v(q) = -3*q + 10. Let d be v(f). Let z = d + -22. Is z a multiple of 18?
True
Suppose 2*i + 3 = -3*b + 20, 5*b - 3 = 3*i. Suppose x = -b*x. Suppose 2*o - 252 = -5*z + o, 2*z - 2*o - 108 = x. Is 17 a factor of z?
True
Let x(v) be the first derivative of -8*v**2 - 32*v - 43. Is x(-12) a multiple of 16?
True
Suppose -3*d = -11*d + 64. Suppose d*v = 4*v + 496. Is v a multiple of 17?
False
Suppose 5*q = 3*w + 10, 5*w - q + 0*q + 2 = 0. Suppose w = -k - 3*f + 42, -2*k + 210 = 3*k + 5*f. Does 14 divide k?
True
Is 5 a factor of 2662/6 - (-7 - 85/(-15))?
True
Let k be 4/(-18) + (-552)/(-54). Is 23/(-3)*(k - 13) a multiple of 5?
False
Suppose -9 - 15 = 4*b. Let w(x) = x**2 + 5*x + 5. Let a be w(b). Suppose -5*g = 3*t - 3*g - 53, -t - 2*g = -a. Does 7 divide t?
True
Suppose 0 = -0*w - 2*w + 18. Let y(d) = d**3 + 13*d - 5*d**2 + 3 + 4 - w*d**2. Is y(13) a multiple of 3?
False
Let n = 52 - -58. Is 18 a factor of n?
False
Let z = -2 + -2. Is (z - -2)/(14/(-189)) a multiple of 9?
True
Let d(g) = 44*g**3 + 2*g**2 - g + 2. Let a be d(2). Suppose 7*z - 4*z - a = 0. Does 30 divide z?
True
Let w = -51 - -1935. Is w a multiple of 52?
False
Suppose -15*c + 1375 + 1595 = 0. Is 9 a factor of c?
True
Suppose 0 = 5*s + 190 - 10. Let d(i) = i. Let y(l) = -30*l. Let v(x) = s*d(x) - y(x). Does 12 divide v(-4)?
True
Let j = 251 - 156. Let h = -20 - -25. Suppose -4*k = -20, -k = h*w - 5 - j. Is w a multiple of 13?
False
Suppose 3*m = 3*h - 4*h - 32, -m - 2*h - 14 = 0. Does 2 divide m/25 - ((-128)/20 - 1)?
False
Let r be 2 + 11 + (-5)/5. Let m = r + -12. Suppose 0 = -m*z - 5*z + 165. Is 14 a factor of z?
False
Does 5 divide 66 + (-3 - -8 - (6 + 0))?
True
Let m be (-3 - 39/(-6))*(-16)/(-28). Suppose -4*x = -2*r - 4 + 48, 4*x = 4*r - 52. Let d = m - x. Is d a multiple of 11?
True
Suppose -5*z = -3590 - 6015. Does 82 divide z?
False
Let h(k) = 71*k + 2480. Is h(0) a multiple of 80?
True
Let j(n) = 13*n**2 - 5*n**2 + 0 + 0 - 2. Suppose 0 = s - 1 + 3. Is j(s) a multiple of 10?
True
Let i(v) = 26*v - 4. Suppose -4*n - 28 = 56. Let p be (-48)/n + (-10)/35. Does 28 divide i(p)?
False
Suppose 2256 = -16*v + 9824. Is v a multiple of 43?
True
Suppose -4*i + 662 + 58 = 0. Suppose -10*t + 3*l = -11*t + i, t + 2*l = 175. Is 13 a factor of t?
False
Let t be (-1 + 3)/(1*(-2)/(-4)). Suppose 0 = -t*s - 85 + 325. Does 15 divide s?
True
Is 28 a factor of 28 + 219 + (2 - -3)?
True
Let f be 1248/80 - 4/(-10). Suppose 7*t - 114 + f = 0. Does 7 divide t?
True
Let a = 83 + -48. Suppose 0 = -5*c + u + a, -2*u + 18 = -0*c + c. Is c a multiple of 8?
True
Let v be -3 - -1 - (-23 + 5). Suppose 3*t + 4*u + 2 = 0, 0*u + v = -4*t - 2*u. Let j(c) = -10*c - 12. Is j(t) a multiple of 16?
True
Let n(u) be the third derivative of -u**4/24 - 5*u**3/6 - 5*u**2. Let w be n(-6). Does 12 divide w - (2 - 3) - -34?
True
Suppose -4*m + 6918 = 3*h, 1012 = h - 3*m - 1307. Is h a multiple of 55?
True
Let f be 21/(-1)*(-1)/1. Let h = 27 - f. Let o = 3 + h. Does 5 divide o?
False
Suppose 0 = 7*c - 2*c - 990. Is 66 a factor of c?
True
Suppose 343 = 2*u - 517. Is u a multiple of 10?
True
Suppose -3*d - 2*x + 716 = 0, -5*x - 752 = -5*d + 458. Suppose 12*s - d = 10*s. Is 20 a factor of s?
True
Let w(i) = -230*i + 12. Is 11 a factor of w(-1)?
True
Suppose 0*p = 3*x - 2*p - 10, -5*p = -5. Is (48/15)/(x/50) a multiple of 10?
True
Let h(d) = 61 - 17*d - 115 + 58. Suppose 4*j - 10 = 2*y, 2*y = 3*j - 4*j - 10. Is 22 a factor of h(y)?
False
Suppose 2*g + 7 = -y, 4 = 5*g + y + 17. Let z be g/(-4) + (-3)/(-6). Is 7 a factor of 25 + -2 + 6 - z?
True
Suppose 4*u - 6*u - 16 = 0. Does 11 divide 4*(15/5 - u)?
True
Let x = -9 + 13. Suppose 0 = -x*k - 3*w + 11 + 3, -w = 5*k - 12. Suppose k*i = -i + 81. Is 19 a factor of i?
False
Let q = -38 + 43. Suppose -214 = -3*o + q*j, -3*j - 282 = -4*o + 2*j. Is 12 a factor of o?
False
Suppose 0 = -2*b - 5*z + 8, 5*z = 2*b + 11 - 39. Is 24 a factor of (22/(-99) - (-11)/b) + 167?
True
Let n be 173/7 + 22/77. Suppose -c + 40 = c. Let t = n + c. Is t a multiple of 15?
True
Suppose 2*i + 48 = -2*i. Let r = -10 - i. Suppose 3*m = 5*o + 234, -312 = -4*m + r*o - 4*o. Is 23 a factor of m?
False
Let w(z) = z**3 + 5*z**2 + 29*z - 35. Is w(7) a multiple of 21?
True
Let z = -378 - -790. Is z a multiple of 4?
True
Let o(p) = 17*p - 9. Suppose -5 = -5*f + 20. Is o(f) a multiple of 19?
True
Is 5 a factor of 1080/(-80)*(1 + 65/(-3))?
False
Suppose -f + 2 = -3. Suppose v + 7 + 1 = -5*w, -4*v + f*w + 68 = 0. Does 21 divide 1020/16 + (-9)/v?
True
Suppose 4*b - 3*f = 2731, f - 2743 = 6*b - 10*b. Does 4 divide b?
False
Suppose -u - 3*s + 12 = 0, -4*u = u - s - 28. Suppose -5*k - 72 = -u*k. Is k a multiple of 20?
False
Suppose 5 = -0*g - g. Let n be (g/10)/((-1)/76). Suppose 4*c - 106 = n. Is c a multiple of 12?
True
Let t(a) = -2 + 11 - 6*a**2 - a + 5*a**2 + 16. Is 6 a factor of t(0)?
False
Let i(g) = 63*g**2 + 24*g - 74. Does 16 divide i(6)?
False
Suppose -2*f - 562 = -2*p + 2*f, -3*f = -p + 283. Suppose -317 = -3*k + p. Does 18 divide k?
True
Does 2 divide 178 + 1*(-10 - -7) + -7?
True
Suppose 451*y = 456*y - 445. Is y a multiple of 29?
False
Let q(j) be the first derivative of 0*j - 1/2*j**2 + 8/3*j**3 - 2. Does 9 divide q(-1)?
True
Suppose 2*v = -4*d - 10, -5 - 10 = 3*d + 3*v. Suppose -g + 60 - 51 = d. Does 9 divide g?
True
Suppose 24*x = 18*x + 768. Does 7 divide x?
False
Is 7 a factor of (-44)/(-286) - 9683/(-13)?
False
Suppose 0 = -2*k - c - 4*c + 2047, k - 2*c = 1028. Is 17 a factor of k?
False
Let y(h) = -h**2 - 4*h + 4. Let o be y(-4). Suppose 6*z - 64 = -46. Does 32 divide (z - o) + 36 - 3?
True
Let v(w) = -w**2 - 22*