 -2. Suppose u - 27 = -3*f, 0*f + o*f - 10 = 0. Does 7 divide u?
True
Let q = 54 - 26. Is 5 a factor of q?
False
Let b = -1 - -35. Suppose -8*d = -3*d + o - 15, -4*d + 4*o - 12 = 0. Suppose d*v - b + 2 = 0. Is v a multiple of 14?
False
Let h be (-1)/2 - (-7)/2. Let o(z) = 7*z + 11*z - 6*z - 2 - z. Is o(h) a multiple of 15?
False
Suppose 4*q + 13 = 1. Is ((-26)/q)/((-10)/(-15)) a multiple of 13?
True
Suppose -2*u - m - 1 = 0, -1 = -u + m - 6. Let w = 7 + u. Suppose w*y = y + 128. Is 16 a factor of y?
True
Let i(x) = -4*x + 13. Is 10 a factor of i(-4)?
False
Let j = -2 - -2. Suppose k = -j*k + 3. Suppose -k*d = -2*d - 15. Is 15 a factor of d?
True
Let n(s) = 14*s**2 + 4. Let a = 10 - 12. Is 15 a factor of n(a)?
True
Suppose -5*i + 0*i + 25 = 0. Suppose i + 2 = u. Is 6 a factor of u?
False
Let s = 58 + -95. Let b = s - -56. Suppose 0 = n - q - 0*q - b, -5*n + 99 = -3*q. Is n a multiple of 8?
False
Is 16 a factor of (17 - 1)/((-2)/(-8))?
True
Let h be 5/(-15) + 2/(-3). Let b = h + 0. Is 2 + b + (2 - 1) even?
True
Let g(d) = -3*d - 2. Let f be (3/(-3))/(2/4). Let m be g(f). Suppose -3*t + m*k = -k - 6, -t + k + 2 = 0. Is t a multiple of 2?
True
Is (-1)/(-5) - 6435/(-75) a multiple of 7?
False
Suppose -2*n - 3*s = 3*n + 23, -5*s - 17 = 3*n. Is n/1*23/(-4) a multiple of 5?
False
Let m(b) = -b**3 + 8*b**2 - b - 1. Is m(6) a multiple of 5?
True
Let d(w) = -4*w**3 + 2*w**2 + 7*w + 4. Let b be d(-4). Suppose 2*p = -2*p + b. Is 12 a factor of p?
False
Is -1 - 4 - (-32 + 3) a multiple of 2?
True
Suppose -2*j + 0 = -8. Suppose -l - 2*l - j*q = -32, 5*l = 2*q + 10. Is 3 a factor of l?
False
Suppose -4*h + o = -18, -2*h + 0*o = -3*o - 4. Suppose 3*r - 8 = 2*u + 10, 5*u + h*r + 20 = 0. Does 6 divide (9/u)/((-6)/56)?
False
Let x = -102 - -118. Is x a multiple of 16?
True
Let u = 11 + -8. Suppose -u*s = 2*s - 15. Does 3 divide s?
True
Is (284/8)/(3/6) a multiple of 15?
False
Let s = 77 - 49. Does 6 divide s?
False
Suppose 374 = 2*d - 6. Is d a multiple of 36?
False
Suppose -5*x + 8 = -12. Suppose -o - p - 2*p + 185 = 0, -x*o + 4*p = -692. Is 14 a factor of o/5 + 3/(-15)?
False
Suppose 4*s = -4*h, -s - 5 = -1. Suppose 5*y - 160 = 5*d, 0*y - d + 103 = h*y. Is y a multiple of 17?
False
Let u(o) = o**3 + 10*o**2 + 10*o + 10. Let w be u(-9). Suppose 0 - w = i. Does 15 divide (25/15)/(i/(-9))?
True
Suppose 52 = v - 4*i, -2*i - 7 = 3. Does 8 divide v?
True
Let i(s) = -s**3 + 1 - s - 4 - 2 - 3*s**2 + 3. Does 10 divide i(-4)?
False
Let o(j) = -j**2 + 8*j. Let c be o(9). Is 4 a factor of (-2 - c)*4/4?
False
Let c be 6/33 + (-328)/(-11). Suppose 5*s + 3*o - 4*o - 330 = 0, 5*s - 5*o = 330. Let q = s - c. Is q a multiple of 18?
True
Suppose 0 = -5*b - 3*u + 89, 0 = 3*b - 4*u - 63 - 2. Let y = 2 + b. Is 15 a factor of y?
False
Does 39 divide 1/((-4)/78)*16*-1?
True
Does 4 divide 17 + ((1 + 1)*1 - 2)?
False
Let y(q) = 11 + q - 7*q - q**3 - 2*q - 10*q**2. Let w be y(-9). Is 17 a factor of -1 - -12*3/w?
True
Does 5 divide (-4)/(-12) - 448/(-6)?
True
Does 11 divide (0 - 6)/(3/(-34))?
False
Let y be (3 - 5)/(1/(-2)). Suppose y*n = 3*o - o + 26, -4*n - 4*o = 4. Is n a multiple of 4?
True
Does 9 divide (0 - 3) + (-8)/(-2) - -87?
False
Suppose 125 + 635 = 4*d. Is 19 a factor of d?
True
Suppose 0 = -t - t + 48. Suppose f - t = -3*f + 4*u, 0 = -4*u - 4. Is 3 a factor of f?
False
Let p = -1 + 1. Suppose -3*x - 3 + 14 = 4*r, x = -r + 4. Suppose 0*m - x*m + 230 = p. Is m a multiple of 12?
False
Suppose 0*r - 110 = 5*r. Let g be (-4)/(7/5 - 1). Let b = g - r. Is 9 a factor of b?
False
Suppose -v + 2*a - 8 = 0, -3*v = -5*v + 5*a - 20. Suppose -k + 3*k + 5*q = 216, -q + 4 = v. Is k a multiple of 29?
False
Is (8 - 34/4)/(1/(-156)) a multiple of 6?
True
Let p(r) be the second derivative of r**4/12 + 11*r**3/6 - 17*r**2 - 8*r. Does 8 divide p(-14)?
True
Let m(i) = 3*i**3 + 2*i**2 - 2*i + 1. Let l be m(1). Suppose j + 2 = l. Is 9 a factor of 11 - ((j - 0) + 0)?
True
Let a be (42/9)/2*3. Suppose a*j = 3*j - 12, 3*p + 3*j = 27. Is 5 a factor of p?
False
Let c(j) = 6*j**2 - 2*j + 1. Let w be c(1). Suppose 0 = -3*h + p - 8 + 58, -w*h - 5*p + 110 = 0. Does 18 divide h?
True
Let q(u) = -u**3 - 12*u**2 - 18*u - 13. Does 14 divide q(-11)?
False
Suppose 6*i - 329 = i + j, 135 = 2*i + 3*j. Is i a multiple of 22?
True
Suppose -a - 4 = -2*a. Suppose -a*x - 3*c + 87 = 0, -x + c + 23 = 3*c. Is 14 a factor of x?
False
Let s be 0 + 2 + 31 + 7. Let o = s - 8. Does 11 divide o?
False
Let d(n) = -n + 5. Let f(g) = -g**3 + 7*g**2 - 7*g - 2. Let m be f(6). Is d(m) a multiple of 13?
True
Let k = -3 - -11. Let o = k - -1. Suppose j = -o + 51. Does 21 divide j?
True
Let u(l) = 0 + 11*l + 0 - 5. Does 13 divide u(4)?
True
Suppose 0*h - h - 3*y = -15, -135 = -4*h + 3*y. Let b = h + -14. Does 16 divide b?
True
Let p be (-5)/(((-8)/6)/(-4)). Let a = p + 21. Is a a multiple of 3?
True
Let x(k) = -9*k - 4. Let n be (9/5 + -3)*5. Let v be x(n). Suppose 2*q + v = 4*f, -2*f + 0*f + 34 = -4*q. Is f a multiple of 11?
True
Let c = -4 + -2. Is (1 - 12)/(c/24) a multiple of 22?
True
Let s(f) = f**3 + 7*f**2 + 4. Let x be s(-7). Suppose 0 = a - 0*a - 4*b - 2, 0 = 5*a + 5*b - 35. Is 17 a factor of (-68)/(-2)*a/x?
True
Suppose 26 = z + 4*f, -2*f = z + 3*z - 34. Suppose z*c = 3*c + 54. Is c a multiple of 9?
True
Suppose 3*n - 58 = 29. Does 11 divide n?
False
Let z(i) = -7*i - 22. Does 7 divide z(-9)?
False
Let n = -3 + 5. Let m(x) = -x - 1 + 3 + 2*x. Does 4 divide m(n)?
True
Does 9 divide (-14)/63 - 652/(-18)?
True
Is 626/18 + (-6)/(-27) a multiple of 13?
False
Let p = 147 - 78. Does 23 divide p?
True
Let d(g) = g**2 + 4. Let m = 6 - 3. Suppose 2*a = m*a. Is d(a) even?
True
Suppose -4*w = -0*w - 5*b - 69, 0 = -4*b - 20. Is w a multiple of 4?
False
Let z(j) = -j**3 - 6*j**2 + 6*j + 17. Does 12 divide z(-7)?
True
Suppose 3*l + 2 = 278. Is l a multiple of 23?
True
Suppose 0*t + 5*i = 4*t - 119, 121 = 5*t + 3*i. Does 13 divide t?
True
Let y(l) = 13*l - 21. Does 34 divide y(12)?
False
Suppose -5*l - 40 = -w - 4*w, -5*w = 2*l - 40. Is 4 a factor of w?
True
Let v(z) = z**3 + 7*z**2 + 3*z - 8. Is 2 a factor of v(-6)?
True
Suppose -3 = -3*h - 9. Is 16 a factor of (60 - -2) + 6/h?
False
Suppose -z = -4*o + 40, 0 = -2*o - o + 3*z + 30. Suppose -3*x - 3*l = -2*x + 10, 0 = -4*x - 2*l + o. Suppose -x*h + 72 = -h. Does 18 divide h?
True
Let z(y) be the first derivative of y**4/4 - 2*y**3 + 5*y**2/2 - 9*y - 7. Is z(6) a multiple of 8?
False
Is 19 a factor of 2/(-10) - (-3130)/25?
False
Suppose 3*u = -3*p + 4*u + 97, 5*p = -2*u + 180. Is 7 a factor of p?
False
Let w = -55 - -92. Let d = 79 - w. Is 21 a factor of d?
True
Suppose -8 = -2*s, -3*v + 166 - 8 = 5*s. Is v a multiple of 10?
False
Suppose t - 1090 = -5*u - 0*u, -656 = -3*u - t. Is u a multiple of 31?
True
Suppose -790 = -5*x + 5*p, 3*p - 5 = -17. Is x a multiple of 32?
False
Suppose -5*w - 1 = -11. Suppose g = -w*g + 90. Does 14 divide g?
False
Does 4 divide (-4)/((-5)/(-3) + -3) + 12?
False
Let m(n) = n**2 + 6*n + n - n - 2*n. Let k be m(-5). Suppose k*f - 34 = -4. Is 3 a factor of f?
True
Suppose -4*r + 2*r + z + 9 = 0, 0 = -z - 5. Suppose 2*d = -3*k + 206, r*k + 3*k - 346 = -2*d. Does 35 divide k?
True
Let u = 50 - 72. Let j = u - 8. Does 5 divide (j/8)/3*-4?
True
Is ((-4)/22)/1 + (-398)/(-11) a multiple of 18?
True
Let m(y) = -y**2 - 10*y - 8. Let w be m(-4). Suppose -w = l - 52. Does 30 divide l?
False
Let u(v) = -1 - 31*v**3 + 2*v**2 - 2*v**2. Let c(t) = 2*t + 3. Let f be c(-2). Is 15 a factor of u(f)?
True
Suppose -2*d + 6*d = 308. Suppose -2*j - z + d = j, 3*z + 57 = 3*j. Does 8 divide j?
True
Let x = 5 + -1. Suppose -4 = -v - v, -5*m - x*v + 18 = 0. Suppose -48 = m*j - 4*j. Is j a multiple of 9?
False
Suppose -3*g = -48 + 318. Does 14 divide -1*g/((-9)/(-3))?
False
Let l be (10/4)/5*0. Let j be (-6)/6*(-1 - l). Is 9 a factor of j*2/(-2) - -10?
True
Let j(n) = 8*n - 48. Is j(16) a multiple of 8?
True
Let n(d) = -d**3 + d + 4. Let f be n(0). Suppose 3*b - l - 2*l - 81 = 0, 0 = 5*b + f*l - 108. Does 8 divide b?
True
Let n(g) = 9*g - 1. Let f be n(3). Suppose -2 = 2*h - f. Is 14 a factor of (-8)/h + (-94)/(-6)?
False
Suppose -4*s + 2*s = 0, -2*f + 8 = -5*s. Is (-1 + 13)*(f - 3) a multiple of 12?
True
Let g(d) = -11 + 2*d + 5 + d. Suppose 0 = b, 0*u - 6 = -u - b. Does 10 divide g(u)?
Fal