?
False
Suppose -658 = -6*o + 320. Is 9 a factor of o?
False
Suppose -4*g - 8 + 128 = 0. Suppose -r = 2*d + 7, r + 3*d = 6*r - g. Suppose r*s - 30 = -2*s. Is 3 a factor of s?
True
Let l(q) = 17*q - 2. Let b(a) = 6*a**2. Let h be b(1). Let t(v) = v - 4. Let o be t(h). Is l(o) a multiple of 16?
True
Let n = 289 - 49. Does 15 divide n?
True
Does 2 divide (50 - 0) + (-5)/1 - -4?
False
Suppose 2*g + 750 = 2*y + 3*y, 0 = -3*g + 15. Does 14 divide y?
False
Suppose 8*o - 6*o - 2035 = -3*n, -2*n + 4*o + 1378 = 0. Does 8 divide n?
False
Does 10 divide ((-294)/105)/((-2)/205)?
False
Suppose -d - 2*d - 9 = x, 5*d = -3*x - 15. Let h be 2 + -1*(x + -1). Suppose 2*s = -z - h*s + 45, 4*s = -4. Is 17 a factor of z?
False
Let u = -8 - -14. Suppose 0 = 3*f - u*f - 3. Is ((-68)/f)/(2 - 0) a multiple of 13?
False
Suppose -2*u + 968 = 2*a - 604, -3939 = -5*u - 2*a. Does 3 divide u?
True
Let j(a) = -a**2 - 11*a - 5. Suppose 0*r - 4*r + x + 104 = 0, -x + 96 = 4*r. Suppose 3*y + 2*d + r = 0, -y = -4*y - d - 26. Is 8 a factor of j(y)?
False
Suppose -3*j - 3*c - 3 = -4*c, -5*c + 15 = 4*j. Suppose 5*h - 76 + 11 = 0. Suppose y - h - 29 = j. Is y a multiple of 13?
False
Let u(j) = -2*j**3 - 13*j**2 + 20*j - 22. Is u(-8) a multiple of 10?
True
Let n(h) = h**2 + 4*h + 4. Let w be n(-4). Let v be -6*1/2*(1 - 15). Suppose -y = 5*l - v, -2*l = w*y + y - 3. Is l a multiple of 7?
False
Let b = 11 - 15. Let d = 3 + b. Is 2 - (2 + d) - -54 a multiple of 22?
False
Let q = 427 - -58. Is q a multiple of 14?
False
Let w(i) = -i - 16. Let j be w(-14). Let x be j/11 + (-1560)/132. Does 2 divide (-12)/(-16) + (-15)/x?
True
Let w(t) = -t**3 + 30*t**2 - 46*t + 25. Is w(28) a multiple of 11?
False
Suppose 5*n = 58 - 3. Suppose 31 + n = 2*p. Does 21 divide p?
True
Suppose -5*g + 2*m + 137 = -429, -g - 4*m = -100. Is g a multiple of 7?
True
Let p = -877 + 1093. Is p a multiple of 3?
True
Suppose 5*l - 4*y + 582 = 0, 143 = -4*l + 3*y - 322. Let u = -90 - l. Is u a multiple of 18?
False
Let h(b) = -b**2 + 3*b + 4. Let c be h(3). Suppose 0 = -4*d - c*g + 712, -2*d + 4*g = -7*d + 892. Is 14 a factor of d?
False
Suppose 5*h = 5*f + 885, -2*h + 5*f - 905 = -7*h. Is h a multiple of 50?
False
Let g = 6 + -6. Let i be (g + 1)/(-1) + -3. Does 18 divide 29/(-1)*(2 + i)?
False
Suppose -3038 = -30*i - i. Does 4 divide i?
False
Let d(g) be the second derivative of 13*g**4/12 + g**3/6 - 2*g**2 - 24*g. Does 10 divide d(-3)?
True
Suppose 8*k - 10*k - 3*b = -1247, -b = -5. Is k a multiple of 44?
True
Let j(i) = 2*i**2 + 59*i + 138. Does 11 divide j(-31)?
True
Let s be (15 - 1)*8/(48/9). Let q(i) = i**2 + 6*i - 8. Let o be q(-9). Let p = s - o. Is p even?
True
Suppose 0 = -4*k - 2 + 10. Suppose 0*u + k*u = v + 9, 3*v + 3*u - 9 = 0. Is 6 - v - 1*-2 a multiple of 8?
False
Let g = 20 - 10. Let r(s) = s**3 - s + 57. Let y be r(0). Suppose 13*c = g*c + y. Is c a multiple of 17?
False
Let a(i) = 5*i**2 + 13*i + 46. Does 13 divide a(10)?
True
Suppose -6*g - 4 = -5*g, -11 = -h + 2*g. Suppose -m + 17 = -5*q, h*m = 2*q + 6*m. Does 4 divide (q/2)/((-3)/16)?
True
Suppose -z - 2*z + 3*c + 12 = 0, 2*z - c - 8 = 0. Is (-1)/z + 8658/72 a multiple of 24?
True
Suppose 4*b = -z - 4, -4*b - 2 = -2*b. Suppose -f + z = -3. Let t = f - -5. Is t a multiple of 3?
False
Is ((-38)/(-4))/(-7 + (-1011)/(-144)) a multiple of 8?
True
Let m(c) = c**3 + 12*c**2 - 25*c - 84. Is 16 a factor of m(-7)?
True
Let n(f) = -f**3 - 13*f**2 - 8*f + 7. Let s = 2 - 15. Does 15 divide n(s)?
False
Let u(o) = 7*o + 13. Let v(r) = -r**2 + r - 6. Let b be v(3). Let p be u(b). Let j = p - -113. Is j a multiple of 14?
True
Let s be 3 + 1/(1/(-4)). Let i be (-10 + 9)/(s/88). Suppose -j + q = 2*j - 208, -j = -5*q - i. Does 17 divide j?
True
Suppose -2*s = -b - 92, -185 = -4*s + 4*b - 1. Is s a multiple of 5?
False
Let p(d) = 15*d**2 - 2*d - 24. Is p(-6) a multiple of 14?
False
Suppose 4 = -16*h + 17*h. Let y be ((0/(-1))/h)/(-1). Suppose -2*n + 8 = 3*t - 23, 4*t + 20 = y. Does 8 divide n?
False
Let b(p) = 4*p**2 + 21*p + 39. Does 13 divide b(-19)?
False
Let z be (-1 - 1)*(-11)/22. Suppose -4*x - z = -25. Is x a multiple of 3?
True
Suppose -5*n = 2*a + 136, n + 14 = -2*a - 130. Let q = a - -77. Is 4 a factor of q?
True
Suppose 7*v = 14*v - 1078. Does 11 divide v?
True
Suppose -q = -3*f + 2*f + 8, 0 = -4*q - 5*f - 5. Suppose 0 = -3*p + 5*n - 15, 4*p + 0 = -3*n + 9. Is 4 a factor of -3 + p + (-120)/q?
False
Suppose -38536 - 166097 = -99*o. Is o a multiple of 21?
False
Suppose -j = -5*y + 184, -12*j - 180 = -5*y - 7*j. Does 34 divide y?
False
Let d(b) = b. Let v be d(5). Suppose 0 = -2*l + l + v. Suppose -2*y + 4*y = l*n + 37, 3*n = 3. Is 12 a factor of y?
False
Let p be (3 + 469)*(-1)/(-2). Suppose 5*j - 3*r - 161 - 73 = 0, -5*j = -2*r - p. Does 6 divide j?
True
Let s(c) = 58*c + 589. Is 31 a factor of s(0)?
True
Let z(l) = l**2 - 17*l + 16. Does 12 divide z(-11)?
True
Let f(m) = 106*m**3 - m**2 - m + 2. Let r be f(1). Suppose -r*h - 110 = -111*h. Does 11 divide h?
True
Suppose 16*c - 13*c - 27 = 0. Suppose -c*l = -669 + 237. Does 4 divide l?
True
Let u(k) = -440*k**3 + 5*k**2 + 18*k + 6. Is u(-2) a multiple of 39?
True
Let t be 457/(-3) - (-5)/15. Suppose -2*f + 12 = 4. Is 6/f*t/(-6) a multiple of 14?
False
Suppose 0 = 4*g + 16, 2*i + 6*g = 2*g - 10. Let r(a) be the first derivative of -a**4/4 + 5*a**3/3 - 2*a**2 + 3*a - 13. Does 2 divide r(i)?
False
Suppose -8 = -2*d, 327 = 5*z - 2*d + 5*d. Does 9 divide z?
True
Let t be (-130)/(-3)*(-96)/(-10). Let b = t + -288. Suppose 3*s + 8 = b. Is 27 a factor of s?
False
Suppose 0 = -3*i + i - 4*p + 30, 4*i + 2*p - 72 = 0. Is i even?
False
Let w(j) = 102*j**2 + 20*j + 26. Is w(-6) a multiple of 13?
False
Suppose -9*n + 207 = -135. Is n a multiple of 13?
False
Let b(t) = -2*t - 26. Let y be b(-12). Let r(x) = 18*x**2 - 5*x - 12. Is 10 a factor of r(y)?
True
Suppose g - 3*u = 193, -10*g + 5*g + 982 = 2*u. Suppose -4*h + 184 = -d, -5*d + d = -4*h + g. Is 5 a factor of h?
True
Suppose -2*h = 3*w - 183, 2*h = 6*h + 2*w - 378. Is 8 a factor of h?
True
Let d(i) = -i**3 - 19*i**2 + 65*i + 17. Is d(-22) a multiple of 4?
False
Let r(h) = 7*h**2 - 7*h - 6. Suppose 3*s = -1 - 5. Is 9 a factor of r(s)?
True
Suppose -3*l + a = -2*l - 9, 0 = 5*l + 2*a - 24. Let b(x) be the second derivative of 5*x**3/3 - 4*x**2 - 16*x. Is b(l) a multiple of 13?
True
Suppose -3*x - 608 = -7*x. Suppose d - 5*d = x. Let z = -6 - d. Is z a multiple of 16?
True
Let d = -3319 + 5734. Is 76 a factor of d?
False
Let n = -1799 - -2279. Is 6 a factor of n?
True
Suppose 0 = 3*d + 9, -2*d + 2 - 4 = -b. Is -20*-37*b/(-16) a multiple of 37?
True
Let n(z) be the second derivative of -z**4/6 + 37*z**3/6 - 14*z**2 - 5*z - 2. Does 2 divide n(16)?
True
Suppose 2*i - 15 = 5*i. Let c be (1 - -9)*(-4)/i. Let s = c - 0. Is 6 a factor of s?
False
Suppose -3*v = -b + 114, -2*b + v = 2*b - 478. Suppose 3*w - 4*d - b - 213 = 0, w = 2*d + 111. Let h = w - 60. Does 17 divide h?
True
Suppose -3*a = 5*h - 3725, 9*h = 3*a + 4*h - 3685. Does 87 divide a?
False
Suppose l + 327 - 1557 = 3*t, -5*t + 2438 = 2*l. Is l a multiple of 9?
True
Let d(c) = 4*c**2 + 4*c - 26. Does 28 divide d(-9)?
False
Let v(y) = 2*y**2 - 13*y - 2. Let l be v(7). Suppose l*n - 2*n - 198 = 0. Does 15 divide n?
False
Let d(v) = 2*v**3 - 67*v**2 + 48*v - 79. Does 4 divide d(33)?
True
Suppose -5*o = -25, 0*o - 13 = -3*g - 2*o. Let f be (0 - -1) + 111*g. Suppose -2*s + 2 + f = 0. Does 19 divide s?
True
Suppose -14 = -q + 50. Let x = q - -56. Is 24 a factor of x?
True
Suppose 5*l + 2*k = 23, -k = -5*l - 0*k + 11. Suppose 57 = c - l. Is c a multiple of 15?
True
Let f(u) = 9*u - 1. Let t be f(-1). Let v = -213 - -229. Let s = v + t. Is s a multiple of 3?
True
Let t be (-3)/2*(132/(-18))/11. Does 20 divide -151*(t + (-6)/3)?
False
Let g be -3*(-4)/(-3) + 9. Suppose -g*p + 6 = -79. Does 17 divide p?
True
Let t be 5/(-5) + (5 - 2). Suppose 0 = -2*u - 0 + 4. Suppose -u*n - 4*j + 40 = 0, n - 2*j = t*j - 10. Is n a multiple of 10?
True
Let d(b) = -6*b + 1. Let a = 5 - 9. Does 5 divide d(a)?
True
Let v(g) be the first derivative of -g**4/2 - 4*g**3/3 + 2*g**2 - 28. Suppose -4 = z - 0. Does 16 divide v(z)?
True
Suppose -7*a = -13*a + 1884. Does 12 divide a?
False
Let t(k) = -13*k - 8. Let x(m) = -2*m + 3. Let w be x(-2). Let b = 