 - 110 = 2*s, -5*s = -4*n + 165 - 46. Suppose 5*j = 15, -2*j - 24 = -4*l + n. Does 7 divide l?
True
Let o(c) = 2*c. Let u(m) = 3*m. Suppose -s + 3*s - 2 = 0, -2*w = 5*s + 5. Let i(q) = w*o(q) + 3*u(q). Is i(-5) a multiple of 5?
True
Suppose 0 = 3*a - o - 248, -2*o - 81 = -6*a + 5*a. Is 27 a factor of a?
False
Let d = 189 - 167. Does 11 divide d?
True
Suppose 4*l - 24 = -2*u, -4*l + 4*u + 8 + 16 = 0. Suppose l*d + 63 = 9*d. Is d a multiple of 4?
False
Let s = -15 - -14. Is 10 a factor of (-3 - -26) + s + 1?
False
Let y(n) = -n**2 - 3*n - 2. Let x be y(-2). Suppose -5*m = 4*t - 16, -9 - 8 = -4*m + t. Suppose x = -w + 18 + m. Does 11 divide w?
True
Let t be 2/(3/(-2 + 5)). Let k(d) = d - 2. Let i be k(t). Suppose 27 = 2*c - 3*l, -c + 24 = -i*c - 5*l. Is 7 a factor of c?
False
Suppose -m + 69 + 57 = 3*p, 5*p = -5*m + 220. Is 2 a factor of p?
False
Is 2/(-3) - (-137)/3 a multiple of 7?
False
Let n be (-132)/(-30) - 4/10. Suppose -2*c - n*w = 0, w - 60 = -5*c + 3*w. Is ((-4)/c)/(4/(-320)) a multiple of 16?
True
Let k = 6 + -3. Let m be 10/k + 3/(-9). Suppose m*a = -c + 2, -c - 3*c = -2*a - 50. Is 11 a factor of c?
True
Suppose -6*o + 636 = -0*o. Does 21 divide o?
False
Let l(z) = 3*z - 16. Let c be l(-10). Let r = -26 - c. Is 20 a factor of r?
True
Is -4 - 7/(7/(-66)) a multiple of 18?
False
Suppose 3 = 2*i - a, 2 + 1 = 3*a. Suppose 0 = i*f - x - 20, 4*f - 12 = 2*f - 3*x. Does 3 divide f?
True
Suppose 3*n - 2*v + 10 - 35 = 0, -2*n - 3*v - 5 = 0. Suppose 0 = 5*r - n. Let d = 10 + r. Is d a multiple of 11?
True
Let f(u) = u**2 + 4*u + 3. Let l be f(-4). Suppose -2*k + 301 = l*w, -2*k = -w - 3*w + 378. Is w a multiple of 25?
False
Let n(w) = -w**2 - 5*w + 12. Let y be n(-10). Let g = y + 60. Is g a multiple of 6?
False
Let l(w) = w**3 - 11*w**2 + 14*w. Does 8 divide l(10)?
True
Suppose 0 = 3*u + 64 + 20. Let i = 10 - u. Is 14 a factor of (1/(-1))/((-1)/i)?
False
Suppose -r - 43 = -2*x, -5*x - 6*r + r + 115 = 0. Is 4 a factor of x?
False
Let b = -21 - -10. Suppose 2*z + 2*a - 52 = -2*z, -5*z + 5*a = -50. Let x = z - b. Is 8 a factor of x?
False
Let c be (-134)/(-11) + 6/(-33). Suppose 6*y - c = 2*y. Suppose -2*p = -y*r + 38 + 62, p + 101 = 3*r. Is 13 a factor of r?
False
Let l = -64 - -155. Is 18 a factor of l?
False
Let j(f) = 5*f**3 - f**2 - f + 1. Let n be j(1). Suppose -3*g - 87 = -n*k, 2*k - 4*k = -2*g - 44. Does 9 divide k?
False
Suppose 6*k - 330 = -0*k. Does 11 divide k?
True
Suppose -4*u + 11 = g, 3*g - 3 = 4*u - 18. Let a(f) = -u + 2*f - 3*f - 2*f**3 - 3*f**2 - f + 4*f. Is a(-3) a multiple of 9?
True
Let j(s) = -s**2 - 9*s - 6. Let u be j(-8). Suppose -d = 5*p - 0*d - 271, 160 = 3*p - u*d. Is p a multiple of 18?
True
Suppose -4*v + 12 = 4. Suppose -3*t + 5*h = -113, v*t + 3*h - 54 = h. Is t a multiple of 7?
False
Let q = -27 - -33. Is 5 a factor of q?
False
Is 15 a factor of 28253/209 - ((-2)/(-11) - 0)?
True
Let s(m) = -15*m - 5. Is 5 a factor of s(-2)?
True
Let u(h) = -h - 3. Let b be u(-3). Suppose 5*i - 5*f = i + 229, b = -4*i - f + 223. Is i a multiple of 14?
True
Suppose -3*i = -i - g - 13, 5*i + 3*g = 5. Suppose 0 = i*m - 9*m - 4*u + 228, -4*u = -8. Is m a multiple of 12?
False
Suppose -80 = 3*d - 7*d. Suppose -3*b - d = -5*b. Is b a multiple of 7?
False
Let s(m) = -3*m + 8. Let j be s(6). Does 4 divide 18*(j/4)/(-5)?
False
Suppose 0 = -n - q + 5 + 24, -5*n + 138 = -2*q. Does 14 divide n?
True
Does 4 divide 6/(-45) - (-1868)/60?
False
Let l(u) = -u**3 - 7*u**2 + 3*u + 5. Let o be l(-6). Let p = 123 - 44. Let v = o + p. Is 13 a factor of v?
False
Let l(o) = -3*o. Let d be l(-1). Let y(a) = 2*a**2 + 3*a + 7. Let k be y(-7). Suppose -d*g + k = g. Is 14 a factor of g?
False
Suppose 5*k = -2*o - 151, 0 = 2*k - 6*o + 2*o + 46. Let m = -7 - k. Does 22 divide m?
True
Let t = -6 + 6. Suppose -5*j + 3*c + 250 = t, -6*j + 3*j + 2*c + 149 = 0. Is 20 a factor of j?
False
Suppose -4*f + 20 = 3*t - 2*f, 2*f + 10 = 2*t. Suppose 2*s = s + t. Let z = s + 8. Does 7 divide z?
True
Let y = 11 - 1. Is (-5)/y + (-25)/(-2) a multiple of 12?
True
Let o be (-65)/13 + 0 + -1. Suppose -23 = 2*u + 3*u - 2*m, 5*m = 3*u + 29. Is 26 a factor of 13*8/(o/u)?
True
Suppose -3*j = 5*p - 387, -3*j + 125 = -2*j + 3*p. Is j a multiple of 9?
False
Let h = -3 + 6. Let i(s) = 12*s**2 - s. Let t be i(-1). Suppose -h*v + t = -11. Is v a multiple of 8?
True
Let g = -13 - -2. Let r = 23 - g. Is 10 a factor of r?
False
Let m(w) = w**3 - w**2 - 2*w + 34. Is 3 a factor of m(0)?
False
Let r(u) = -u + 5. Let a be r(0). Suppose -7*m - 5*p = -2*m - 185, a*p + 5 = 0. Does 21 divide m?
False
Let v(f) = -f**3 - 5*f**2 - 4*f. Let l be v(-3). Is (-2)/l - (-14)/3 even?
False
Let q(k) = k**3 - 6*k**2 + 6*k - 3. Let a be q(5). Let p(g) = -12*g - 5 + 4 + a - 6*g. Is p(-1) a multiple of 19?
True
Let n be (5 - 3)*1*4. Suppose 37 = 5*k - n. Let d(m) = m**3 - 9*m**2 + 12. Is d(k) a multiple of 6?
True
Suppose 3*l + 30 = k + 5*l, 3*k - 120 = 4*l. Does 18 divide k?
True
Suppose -4*o + 5*b = -23, 0 = -5*o + 4*b + 19 + 12. Let k(h) = h**2 - 4*h. Is k(o) a multiple of 17?
False
Let d = 0 + 0. Suppose 2*f - 7*f + 10 = d. Suppose -3*v + 6*v = f*y - 45, -35 = -2*y + v. Is 15 a factor of y?
True
Suppose -46 + 14 = -4*n - 4*a, 5*a = 3*n. Suppose -n*p + 2*q - 12 = -72, 24 = 2*p - q. Does 6 divide p?
True
Let c(u) = -u**3 - 5*u**2 + 6*u + 3. Suppose 10*a = -3*x + 5*a - 18, -4*x - 24 = -3*a. Let r be c(x). Suppose -y = -14 + r. Is y a multiple of 5?
False
Suppose 0*n = -n + 81. Does 24 divide n?
False
Let p = 171 - 76. Is 37 a factor of p?
False
Let l = 22 + -10. Is (-6)/l + 22/4 a multiple of 5?
True
Let k be (-2 + 1)*4 - -2. Suppose -3*x = -5*l - 45, 0 = -8*x + 3*x + 4*l + 75. Let d = k + x. Is d a multiple of 8?
False
Let r(x) = 2*x - 18. Let y be r(12). Suppose 3*z - 9 = -3*j, j - y = 4*z - 6*z. Suppose 4*g = -2*i + 4*i + 116, j = -4*g + 4*i + 108. Is g a multiple of 11?
False
Let s(j) = -j + 1. Let c be s(6). Is (4/c)/(12/(-330)) a multiple of 11?
True
Let f(o) = o + 5. Let t be f(-6). Let x = -19 + t. Is x/(-3) - (-2)/(-3) a multiple of 3?
True
Is 19 a factor of (-5)/(-30) + 1378/12?
False
Suppose -2*x - 3*d + 9 = 0, 4*d + 8 = 3*x + 3*d. Suppose v = 5*m, 4*v = 3*v - x*m + 16. Is v a multiple of 7?
False
Suppose 3*g = -g - 12. Let x = g - -5. Suppose -3*w - 33 = -x*p, w = 4*p - 44 - 27. Is 14 a factor of p?
False
Let s(v) = v**2 - 59. Let f be s(0). Let m = f + 100. Is 8 a factor of m?
False
Let i(l) = l**3 - 9*l**2 + 3*l + 9. Is i(9) a multiple of 8?
False
Suppose -11*a + 316 + 3479 = 0. Is 44 a factor of a?
False
Let q(z) = 12*z**2 + 4*z + 3. Is 11 a factor of q(-1)?
True
Suppose -228 = -5*l + 182. Is 46 a factor of l?
False
Let w(v) = -v + 30. Is 8 a factor of w(-16)?
False
Suppose 2*h - 32 = -4*b, 40 - 1 = 5*b + 3*h. Does 3 divide b?
True
Let x = 35 + -20. Does 11 divide (-25)/10*(-228)/x?
False
Let r = -30 + 52. Is 15 a factor of r?
False
Let k(a) = -a**3 + 4*a**2 - 2*a + 2. Let h be k(3). Suppose -22 = h*j - 122. Is j a multiple of 7?
False
Suppose 78 = -4*p - 242. Let k be (4/(-2))/((-8)/4). Is 5 a factor of (2 - k)*p/(-8)?
True
Let k = 5 - 3. Suppose -13 = -w - k*l, 4*l - 2 = 3*l. Let f = 24 - w. Does 10 divide f?
False
Let p = 27 - -32. Does 13 divide p?
False
Suppose 4*n - 5 = 3*o, -4*o - 4*n + 7 + 5 = 0. Is 4 a factor of 2/(o*(-6)/(-39))?
False
Let i(g) = -g**2 - 8*g + 5. Suppose 4*r - 8 = 12. Suppose -r*n = 4*t + 6 + 29, t + 2 = n. Does 10 divide i(t)?
True
Does 17 divide 119 + (2 - (-2)/(-1))?
True
Let d(l) = l**3 + 11*l**2 + 4*l + 4. Is 17 a factor of d(-9)?
False
Is ((-4)/(-3))/(-2)*-81 a multiple of 11?
False
Let k(v) = 5*v**3 - 2*v**2 + v + 3. Let u(x) = -6*x**3 + x**2 - 4. Let g(p) = 5*k(p) + 4*u(p). Let i be g(5). Is ((-38)/(-2))/(i - -2) a multiple of 8?
False
Let x = -59 + 107. Is 8 a factor of x?
True
Let w(v) be the third derivative of 0 + 0*v + 5/6*v**3 + 4*v**2 - 5/24*v**4. Is w(-8) a multiple of 15?
True
Let l(k) = -k + 18. Let t be l(0). Suppose 0 = 3*j - t + 6. Is 4 a factor of j?
True
Let n(d) = -d**2 + 12*d - 8. Let u be 3 + (-1 - (2 - 7)). Does 16 divide n(u)?
False
Suppose 0 = 3*p + 2*p + 135. Let v = 16 - p. Suppose v = 2*g + 9. Does 17 divide g?
True
Let p = -14 + 25. Does 11 divide p?
True
Let p be -1 - -1 - (-2)/2. Let n be (2 - -2 - -1)*p. Suppose -n*a = -148 - 42. Doe