(-112)/(-20) - 4/(-10). Is 11 a factor of 3/l*(0 - g)?
True
Suppose -2*l + 2*k - 14 = 0, -4*k + 6*k = -2*l - 2. Does 5 divide l/(-6) - (-102)/9?
False
Let u(x) = -x**2 + 13*x - 1. Does 11 divide u(7)?
False
Suppose -4*o - 4*d - 107 = -363, -52 = -o + 5*d. Is 31 a factor of o?
True
Suppose -z + 5*p + 0*p = 21, -3*p - 5 = -5*z. Suppose 3 + 4 = -x - 4*a, -z = 2*a. Is (-2)/(x - (-69)/(-66)) a multiple of 22?
True
Let y be (-2)/4*(-6 + -8). Suppose 0 = 6*h - h - 435. Suppose 4*f = -y + h. Does 10 divide f?
True
Let x be (-1)/(1/(-2)) + -3. Does 12 divide x + 1 + 19 + 0?
False
Let m = 76 + -41. Is m a multiple of 7?
True
Does 14 divide 316/6 + 3 - 4/(-12)?
True
Let l(k) be the third derivative of 3*k**4/8 + k**3/2 - 4*k**2. Is l(4) a multiple of 13?
True
Let l(d) be the third derivative of -d**5/60 - d**4/3 + d**3 + 2*d**2. Let f be l(-8). Does 10 divide f*(0 + (-5)/(-3))?
True
Let m = -3 + 5. Let k = m - -3. Suppose -k*u - 5 = -3*z + 56, -5*z - 5*u = -35. Is z a multiple of 5?
False
Let a be (-1*1)/(6/(-894)). Suppose 5*n = 5*j - 139 - 66, -4*j + n + a = 0. Suppose 4*l + 3 = 4*k - 21, 3*l = 5*k - j. Is k a multiple of 9?
True
Let q(z) = 30*z + 4. Let l be q(6). Suppose 0 = -i + 5*i - l. Does 10 divide i?
False
Let l = -106 + 138. Is l a multiple of 19?
False
Let y(f) = f**2 + 12*f + 15. Suppose o = -9 - 2. Let v be y(o). Is 23/2*v/2 a multiple of 15?
False
Suppose 18*l - 9284 = -2948. Does 16 divide l?
True
Suppose 30 = 2*w - 60. Suppose -2*p + 5*p + 3 = 0, -3*p = -2*q + w. Does 14 divide q?
False
Let o = 8 + 22. Is 5 a factor of o?
True
Let s = 36 - -28. Suppose 0 = -2*r - 2*r + s. Is 16 a factor of r?
True
Suppose c - 4*c - 3 = 0. Let q be (1/(-1))/(1 - 0). Does 2 divide (-2)/(-1) + (c - q)?
True
Let h(v) = -13*v + 4. Let u(o) = o. Let d(a) = -h(a) - 2*u(a). Is 12 a factor of d(3)?
False
Let s(f) = -f**3 + 1 - 12*f**2 - 2*f - f**2 - f**2 - 5. Is 7 a factor of s(-14)?
False
Let l be (-3)/(-1 - 2) + 1. Let u be -14*(-1 - (l - 2)). Is 2 a factor of ((-8)/10)/(u/(-35))?
True
Let s be (-12 - -14) + 2/1. Suppose a + 0*a + 195 = s*k, -5*k - 4*a = -228. Is k a multiple of 16?
True
Let k = -34 - -151. Is k a multiple of 40?
False
Suppose -95 = -g + 4*s, 8*g + 3*s = 3*g + 498. Let u = g + -54. Let r = u + -30. Is r a multiple of 11?
False
Let b(w) = -w**2 + w + 1. Let g be b(-1). Let u be (3 + 3)*(0 - g). Suppose -3*r - 36 = -u*r. Does 12 divide r?
True
Let o = 20 + -11. Let j be (3/o)/(1/33). Let q = j - -2. Does 13 divide q?
True
Let t(d) = 9*d + 1. Suppose -f + 3*f - 2 = -4*v, 4*f + 29 = 3*v. Does 7 divide t(v)?
True
Let r = 408 + -136. Does 17 divide r?
True
Suppose m - 3*j = 12, 4*j + 2 = 5*m - 25. Does 8 divide 12/(m/12*3)?
True
Let y(i) = i**3 + 6*i**2 + 4*i - 6. Let a be y(-5). Is a*(-26)/4*8 a multiple of 22?
False
Let y(c) = -2*c**3 - 6*c**2 + 2*c - 10. Suppose 7 + 28 = -5*j. Let b be y(j). Does 16 divide b/6 + (-3)/9?
False
Let q be (-1 + -11)*3/(-9). Suppose 2*g + 6 = q. Let v = 3 + g. Is v a multiple of 2?
True
Let a = 1 + 3. Suppose a*v - 3 = 17. Suppose 4*i - 3 = 3*i - v*o, 2*i - 24 = -o. Is i a multiple of 12?
False
Let c(r) = 3*r + 4 - 2*r - 12. Let o be c(8). Suppose u + p - 22 = 2*p, -3*u - 2*p + 41 = o. Is u a multiple of 7?
False
Suppose f = 5*h - 320, 0 = 3*h + 2*f + 2*f - 169. Is h a multiple of 21?
True
Suppose -t + p + 0*p = 1, 2*t = -4*p + 16. Suppose -5*d = -3*b - 3*d + 222, t*b = -4*d + 132. Is 21 a factor of b?
False
Suppose 114 = 3*d + 2*m, -4*m = -4*d + 69 + 103. Let u = d + 41. Does 22 divide u?
False
Let h = -10 + 12. Suppose h*b + 78 = 4*o, 6 = o - 2*b - 3*b. Is 16 a factor of o?
False
Let o = 0 + 19. Suppose -i + 66 = 2*v, 2*v - 5*i + o - 109 = 0. Is 17 a factor of v?
False
Let n(p) = -p - 7. Let d be n(8). Let t = -75 - -47. Let j = d - t. Is j a multiple of 10?
False
Let i(a) = 27*a**3 - 3*a**2 + 3*a - 1. Let c(f) = -27*f**3 + 4*f**2 - 4*f + 2. Let q(o) = -2*c(o) - 3*i(o). Is 14 a factor of q(-1)?
True
Suppose 6 = -5*x + 156. Is 12 a factor of x?
False
Let r(i) = i**2 + i - 5. Is 11 a factor of r(5)?
False
Let x = 89 + -50. Is 6 a factor of x?
False
Let v be 3*(8/3 - 3). Does 12 divide (v/2)/(3/(-72))?
True
Suppose 0 = -5*i - 3*g + 420, 304 = 4*i - g - 3*g. Does 27 divide i?
True
Let f be (2/(-3))/((-6)/243). Does 7 divide (-5)/(15/f)*-3?
False
Does 24 divide 165/7 - 6/(-14)?
True
Suppose 169 = c - 3*i + 58, i = 4*c - 422. Suppose n + c = -4*n. Is 7 a factor of n/(-6)*(2 + 0)?
True
Let z be ((-9)/(-6))/(3/28). Let y = -6 + z. Suppose 5*a - y - 77 = 0. Is 7 a factor of a?
False
Let b = -121 - -205. Does 55 divide b?
False
Let j = -33 - -153. Let w = j + -64. Does 28 divide w?
True
Suppose 6 = 2*k - 3*b, 0 = -0*b + 3*b. Suppose -3*z = -k*c - 120, 5*z + 0*c = -2*c + 221. Is z a multiple of 21?
False
Suppose -f + 4*r - 1 = 0, 4*f - r = 13 - 2. Suppose 15 = 2*n - f. Does 3 divide n?
True
Let j = 217 - 91. Does 21 divide j?
True
Suppose -480 = -13*j + 5*j. Does 30 divide j?
True
Suppose 4*n + 3*k = -k + 320, -5*n + 3*k + 432 = 0. Suppose h - 2*g - 3*g = 21, 5*g = 4*h - n. Is h a multiple of 11?
False
Let d(y) = -12*y**3 + 2*y**2 - 1. Let o be 4/(-10) + 12/(-20). Does 8 divide d(o)?
False
Suppose 3*m + 4*v + 17 = 0, 0 = 4*m + 2*v - 5*v - 19. Let u(j) = j**3 + j**2 + j - 1. Let k be u(m). Does 13 divide 18 + 2*k/(-4)?
False
Let a(b) = 11*b - 39. Is 8 a factor of a(12)?
False
Let r(c) = -2*c + 1. Let k be r(-1). Is 126/3 + k + 2 a multiple of 10?
False
Let x(u) = -u**2 + 2*u**2 - u - 3*u. Let i be x(6). Is 7 a factor of i/(-10)*10*-1?
False
Let c be (6 - 4) + (-2 - -30). Let k = c - 18. Is k a multiple of 6?
True
Let i(y) = 6*y - 5. Let w be i(2). Is ((-4)/6)/(w/(-168)) a multiple of 4?
True
Let v be (2/(-2))/((-1)/23). Let i be 3*((-16)/3 - -2). Let s = v + i. Is s a multiple of 7?
False
Let k(h) = h**2 - h - 16. Let l be k(0). Suppose -3*v + 6 = 3*a, -a = a + 4*v - 8. Is 8 a factor of a*3/(-9) - l?
True
Let a = 19 + 17. Let u = a - 13. Is 10 a factor of u?
False
Suppose -4*k + 18 = -46. Is k a multiple of 5?
False
Let p(v) = 22*v - 6. Does 19 divide p(7)?
False
Let j(y) = -y**3 - 6*y**2 + y + 6. Let u be j(-6). Suppose -3*w + w + 64 = u. Is 16 a factor of w?
True
Suppose -2*m = 65 - 269. Does 13 divide m?
False
Suppose -23*n - 244 = -27*n. Is 3 a factor of n?
False
Suppose 19*b = 18*b + 6. Is b even?
True
Let f be 1 + -1 - (-20)/(-1). Is 7 a factor of 2 + f/(-1) + -2?
False
Let z be 9*((-8)/(-3) - 2). Suppose -14 = -x - z. Does 7 divide (-116)/(-16) + (-2)/x?
True
Suppose -5*d + 3*d = -10. Suppose 3*b - d*n + 119 = 0, -n + 3*n - 116 = 3*b. Let w = b - -65. Does 9 divide w?
True
Let o(x) = -x**2 + 2*x + 5. Does 3 divide o(0)?
False
Let w(f) be the second derivative of 3*f**2 + 0 + 1/6*f**3 + f. Is 6 a factor of w(0)?
True
Suppose 0 = -3*x + 2*m - 3*m + 483, 4*x = -4*m + 652. Does 26 divide x?
False
Suppose 5*w - 44 = w. Suppose 4*f = -3 + w. Does 2 divide f?
True
Let b = -5 + 4. Let c = b + 25. Is 7 a factor of c?
False
Let l(k) = 2*k + 0 - 31*k + 1. Let z be l(-1). Suppose -18 - z = -4*u + 4*j, -u + 3*j + 6 = 0. Does 15 divide u?
True
Let j(s) = s**3 + 10*s**2 + 7*s + 6. Is j(-9) a multiple of 6?
True
Let f(k) = -k**3 - 11*k**2 + 4. Is 4 a factor of f(-11)?
True
Let f(y) = y**3 + 6*y**2 + 7. Let s be f(-6). Let d(m) = m**2 - 6*m - 4. Let r be d(s). Does 20 divide 119/3 - (-1)/r?
True
Let s = 329 + -192. Is s a multiple of 28?
False
Let i be 13 - 0*(0 - -1). Let d = i + -5. Does 8 divide d?
True
Suppose 4*z = -c + 123, -4*z + 5*c = -92 - 13. Is 14 a factor of z?
False
Does 12 divide 35 + (-1)/3*-3?
True
Suppose -5*z = -6*z + 3. Is z a multiple of 3?
True
Let v(a) = -a**2 - 2*a - 4. Let n be v(-3). Let s = -4 - n. Suppose w - s*u + 4 = 0, -11 = -4*w + 2*u + u. Is w a multiple of 5?
True
Let p(s) = s**3 - 3*s - 4*s**3 + 4*s**3 + 3*s**2. Is p(-3) a multiple of 9?
True
Let b(o) = -o**3 + 5*o**2 + 10*o - 22. Is b(6) even?
True
Suppose 2 = -5*y + 22. Suppose 3*i = -3*v + 63, -v = -y*i + 2*i + 33. Does 9 divide i?
True
Suppose 4*g - 6*g - 12 = 0. Let b(t) be the second derivative of -t**3/6 + 7*t**2/2 + 2*t. Is b(g) a multiple of 8?
False
Let v = 13 - 7. Suppose -3*c = -v*c + 96. Is 14 a factor of 904/c + 2/(-8)?
True
Suppose 5*k - 9*k = 16. Let r = 36 - k. Is 10 a factor of r?
True
Suppose 0 = -2*m + 4*t - 142, 450 = -4*m - 5*t 