(-6)?
False
Is 14 a factor of ((-172)/6)/(16/(-6) + 2)?
False
Suppose 0 = -0*r + 5*r + 15, 3*f + 5*r - 177 = 0. Suppose h - 37 - f = 0. Does 18 divide h?
False
Suppose 4*u - 5 = 91. Is u a multiple of 13?
False
Suppose 5*l + 0*l - y - 45 = 0, -4*l + 50 = 2*y. Is 9 a factor of -2 + l + (0 - -2)?
False
Suppose 252 = 2*a + 4*z, 5*a - 4*a + 5*z - 138 = 0. Is a a multiple of 8?
False
Is 30 a factor of 24/204 + (-7136)/(-34)?
True
Let i(x) = x**2 + 11*x + 3. Let y be i(-11). Suppose 117 = -0*u + y*u. Does 13 divide u?
True
Suppose 3*s + 12 = 30. Let k be 1/1*s/2. Is 7 a factor of (24/20)/(k/40)?
False
Let u be 0*(3 + 10/(-4)). Suppose 0 = -5*r + 25, u + 13 = 3*j - 4*r. Does 11 divide j?
True
Let t(r) = -2*r**3 - 2*r**2 + r - 2. Let s be t(-2). Suppose 2*v - 4*u = -38, -3*v + 23 = -s*v + 3*u. Let m = v + 16. Is m a multiple of 5?
True
Let v be (-1 + 1)/(-5 + 7). Suppose v = 3*u + 2*u - 15. Suppose 0 = t - u - 7. Does 5 divide t?
True
Let c(x) = x - 2. Let r be c(-6). Let l = r - -13. Suppose 4*t - 89 = q, t + l*q - 4*q = 16. Is 11 a factor of t?
False
Let j(u) = -u - 4. Let v be j(-4). Suppose -2*p + p + 34 = v. Does 17 divide p?
True
Suppose -36 = 5*k - 2*q, 3*k + 2*k + 3*q = -46. Let b = -18 - k. Let o(f) = -f**2 - 11*f - 5. Is o(b) even?
False
Suppose 5 = -4*r + 17. Let w(n) = -n**3 + 3*n**2 - 3*n - 2. Let y be w(r). Let g = y - -16. Does 5 divide g?
True
Let g(s) = 2*s + 5. Let j(w) = 3 + 2 + w**2 + 4*w - 5*w + 0*w. Let q be j(0). Does 10 divide g(q)?
False
Suppose 5*k - 54 = 1. Let v = k - 8. Suppose h - 32 = -h + r, v*r - 12 = 0. Is 9 a factor of h?
True
Let h(o) = -o**3 + 8*o**2 + 10*o + 7. Let i be h(9). Let w = i + 28. Is 8 a factor of w?
False
Let q be 4 + 0 - (1 + 0). Suppose -q*a = a - 20. Suppose 3*i + 2*t = 18 - 6, 25 = a*i + 5*t. Is i a multiple of 2?
True
Let n be (18 + 1)*(-3 - -2). Let s = -15 - n. Is 2 a factor of s?
True
Let k be (-3)/(2/(-16)*6). Suppose -w = -3*o + 148, 0*w + k*w + 4*o + 528 = 0. Is (-1)/(-3) + w/(-6) a multiple of 6?
False
Let s = -202 - -359. Suppose -3*i - 4*v = -s, 2*v + 226 = 4*i - v. Let c = 86 - i. Is 11 a factor of c?
False
Let o(u) = u. Let z be o(2). Suppose z = i - 2. Suppose i*m + 2 - 1 = f, -4*m + 26 = 2*f. Does 3 divide f?
True
Is 3 - 0 - (-7 + 2) a multiple of 4?
True
Let q be 8/12*(-6)/4. Let n be 12 + (-2)/((-2)/q). Is 2/n + 339/11 a multiple of 16?
False
Let q(p) = -p**3 + 3*p**2 + p + 7. Is 9 a factor of q(-3)?
False
Let y = 7 + -4. Let j be (-1)/((-4)/(-5) + -1). Suppose 0 = -4*u + 12, y*u = -j*a - 2*u + 130. Is 9 a factor of a?
False
Let c(f) be the second derivative of 5*f**5/4 - f**4/12 + f**3/6 - 3*f. Is 15 a factor of c(1)?
False
Let d(t) = t**2 - 1. Let m(p) = 2*p**2 - 10*p - 9. Let y(w) = -3*d(w) + m(w). Does 7 divide y(-7)?
False
Suppose -4*i + 6 = -i. Let x be ((-26)/3)/(i/(-6)). Does 7 divide 8/52 + 412/x?
False
Let y be (0 - (-3 + 6)) + -2. Let g = 13 - y. Is g a multiple of 9?
True
Let i(y) = y**3 + 3. Let x be i(0). Suppose -3*m = 2*m - 15. Suppose 42 = 3*b - x*k, 4*b + m = 2*k + 67. Is 7 a factor of b?
False
Suppose 20 = b - 2. Suppose -3*j = 4*q - 63, 3*j - 38 = -3*q + b. Does 9 divide j?
False
Suppose -5*u + 29 = 4. Suppose f = -f - 4*k + 8, -10 = -u*k. Suppose -3*l + f*z = -5*z - 101, -l - 5*z = -7. Is 27 a factor of l?
True
Suppose 0*y = -4*g - 2*y + 12, -5*g + 15 = -3*y. Suppose g = 5*f - 5*x - 37, -4*f + 5*x + 32 = 0. Does 8 divide f?
True
Let z be (-8)/(1 - -3) + -1. Does 29 divide (-3 - z)/(-1) + 29?
True
Suppose w - 4 = -2. Suppose 5*k - w*k = 12. Suppose 0*s = -k*s + 84. Is s a multiple of 11?
False
Suppose 3*l - 16 = -4*c, -4*l + 14 - 2 = 3*c. Is -14*(-2)/(2 + l) a multiple of 7?
True
Let i be (-5*2)/((-3)/(-6)). Is 7 a factor of 2/6 - i/3?
True
Let q(c) = -c**3 + 5*c**2 + 5*c + 6. Let t be q(6). Is -3 + 1 + (t - -16) a multiple of 7?
True
Let t(l) = -l**3 - 13*l**2 - 15*l + 2. Suppose -5*p - 54 = -c - c, -p - 4*c = 24. Does 8 divide t(p)?
False
Let o(t) = -t - 262. Let k be o(0). Let m be k/(-6) - (-2)/6. Suppose 0 = -0*h + 4*h - m. Does 10 divide h?
False
Let y(j) = -j + 9. Let s be y(4). Suppose 28 = s*n - b, -n + 2*b = 6*b + 7. Let q(a) = -a**3 + 7*a**2 - 7*a + 7. Is 9 a factor of q(n)?
False
Let x be (-40)/18 + 8/36. Let b be (12/(-10))/(x/300). Suppose 0*d = 5*d - b. Is 14 a factor of d?
False
Suppose q + d + 5 - 3 = 0, 0 = -5*q + 3*d + 6. Let u(a) = a + 34. Does 10 divide u(q)?
False
Suppose 0 = 4*y - n - 0*n - 12, 0 = 2*n. Suppose -4*k = -y*k + 1, -3*k - 23 = -4*q. Suppose -g + 0 = -3*u + 4, -3*g + 58 = q*u. Is g a multiple of 11?
True
Suppose -w = -6*w + 10. Is w/(-4)*(-14)/1 even?
False
Let t = 10 - 6. Let a = 60 - t. Suppose 7*c - a = 3*c. Is 7 a factor of c?
True
Does 4 divide (-1 + (-126)/4)*8/(-10)?
False
Suppose -82 = -4*z - x, -x = 4*z - 6*x - 94. Is z a multiple of 4?
False
Suppose -f - 2*f + 4 = -2*t, 4*f = -4*t + 32. Suppose 0 = -0*p - t*p. Suppose -2*r + 28 + 20 = p. Is r a multiple of 12?
True
Let v be 3 - (-3 - (-3)/3). Suppose 0*t = -v*k - 4*t + 372, -4*t - 276 = -4*k. Suppose -c = -4*c + k. Is 12 a factor of c?
True
Let v(o) = -3*o**2 + 2*o - 3. Let w be v(2). Let b = -6 - w. Suppose 0 = -b*n + 2*n + 9. Does 3 divide n?
True
Suppose -4*a + 5*g - 55 = 0, 2*g - 17 - 39 = 5*a. Let h be (7 + 1)*a/5. Is 12 a factor of (-15)/1*h/10?
True
Let j(l) = l**3 + 9*l**2 - l - 5. Let a be j(-9). Suppose a*k - 14 = 74. Is k a multiple of 6?
False
Let k(j) = 81*j + 1. Let f be k(1). Suppose 2*r + f = 202. Does 20 divide r?
True
Let u(p) = p**2 - p + 5. Let z be u(0). Suppose 0 = z*q + 3*l - 109, -q - 2*q + 5*l = -45. Is 20 a factor of q?
True
Let n be ((-38)/3)/((-8)/12). Let b be (4 - 2) + 3*n. Suppose -6*p + p = j - b, j = -1. Is 6 a factor of p?
True
Suppose 3*t = 2*s - 43, 3*s + 4*t - 2*t - 45 = 0. Suppose 3*m = 34 + s. Suppose o + p - 10 = m, -o + p + 23 = 0. Does 13 divide o?
False
Suppose 0 = 3*t - 4*t + 96. Let w = 36 + t. Does 34 divide w?
False
Let j be (-4)/(-6) + (-14)/21. Suppose 3*c - 3*x - 33 = j, c + 3*x = -2*c + 39. Does 3 divide c?
True
Let w be 3*(-4)/6 + 257. Suppose -3*b + m = 2*m - w, -85 = -b - 4*m. Suppose 3*j - p = 82, 3*j + 0*j - 4*p = b. Is 10 a factor of j?
False
Let m(a) = 2*a**2 - 3*a - 4. Let r(b) = -3*b**2 + 7*b + 7. Let z(s) = -5*m(s) - 3*r(s). Let n = -11 + 6. Is 2 a factor of z(n)?
True
Suppose -96 = -d - d. Suppose 0 = 2*v + v - d. Is v a multiple of 4?
True
Let q = -3 - -3. Let l(g) = g + 27. Is 27 a factor of l(q)?
True
Let y(r) = 12*r + 8. Is 34 a factor of y(5)?
True
Suppose -s = -4*y + 2*s + 287, -2*y + s = -141. Suppose -4*l = 3*f - 233, l + 5*f - f = y. Is 10 a factor of l?
False
Let q(i) be the third derivative of i**6/720 - i**5/120 + i**4/12 + 3*i**2. Let s(v) be the second derivative of q(v). Does 9 divide s(10)?
True
Is 8 a factor of 2*(-2 + 292/8)?
False
Suppose -5*d + 897 = -143. Suppose -4*s = -4*j + d, -3*j + 5*j - 3*s - 105 = 0. Does 13 divide j?
False
Let y(x) = x**3 + 7*x**2 - 4*x - 4. Is 7 a factor of y(-4)?
False
Let u(j) = 0*j**2 + 0*j**2 - 3*j**3 - 2*j + 1 + 26*j**3. Let h be u(1). Suppose -h = -f - 0*f. Is f a multiple of 20?
False
Let y = -76 - -180. Is y a multiple of 15?
False
Suppose g - 3*l = l - 69, 2*g - 5*l = -126. Suppose 128 = -4*b - 0*b. Let x = b - g. Is x a multiple of 15?
False
Let h be 40*6/9*3. Suppose -5*v = h - 410. Suppose l = -l + v. Does 12 divide l?
False
Let x(r) be the third derivative of -r**4/24 + 4*r**3/3 + r**2. Does 8 divide x(0)?
True
Let f(s) = -s**2 + 3*s + 4. Let j be f(4). Let b = j - -7. Suppose i + 3*d = 2, 0*i - b = -i + 2*d. Is 4 a factor of i?
False
Let b be (-338)/(-8) + 7/(-28). Is 11 a factor of b/(-4)*(-108)/63?
False
Suppose 3*p - 12 = -0*p. Is 6 a factor of (p/(-6))/(1/(-21))?
False
Let r(k) = -k**2 - 8*k + 4. Suppose 0 = -2*m - 2*m - 24. Is r(m) a multiple of 6?
False
Let d(h) = 4*h**3 - 3*h**2 + 2*h - 4. Let y be d(3). Let x = y + -20. Is x a multiple of 21?
True
Suppose -4*n = -6*o + 2*o - 36, -2*n - 4*o = 12. Does 4 divide n?
True
Let z(j) = -j**3 + 4*j**2 - 2*j - 1. Let r be z(2). Suppose r*g = -0*g + 54. Does 6 divide g?
True
Suppose 0 = -f + s + 177, 6*s + 541 = 3*f + s. Is f a multiple of 16?
False
Let f = 4 - 1. Suppose f*r - 200 = -2*r. Is 8 a factor of r?
True
Suppose 39 = 5*r + 4. Let a(k) = k**3 - 6*k**2 - k + 9. Is 14 a factor of a(r)?
Fal