9 divide (-239)/(-4) - 2 - (-5)/20?
True
Let f be -1 - 2 - -8 - 2. Let o(t) = t + 4. Is o(f) even?
False
Suppose 5*n = -k + 366, -k + 2*k = -4*n + 292. Is 37 a factor of n?
True
Let j(u) = -23*u**3 - 4*u - 5. Is 22 a factor of j(-1)?
True
Let h(d) = 6*d**2 + 6*d - 3. Let q be h(4). Suppose 3*c - 3 = q. Suppose c = 2*v + 2*v. Is v a multiple of 5?
True
Let a be 2/(-5*8/(-100)). Suppose 0 = -5*r - 20, r = a*i - 230 + 51. Is i a multiple of 11?
False
Suppose 5*k = 2*k + 4*f + 33, -4*k = -5*f - 44. Does 3 divide k?
False
Let l(s) be the third derivative of -2/3*s**3 + 1/20*s**5 - s**2 + 0*s + 0 - 1/8*s**4. Is 7 a factor of l(3)?
True
Let g be 314/4 - 2/4. Let f = -33 + g. Does 21 divide f?
False
Let b(d) = 33*d - 2. Let x = 7 + -5. Let q be b(x). Suppose -q = -n - 3*n. Does 6 divide n?
False
Let n(p) = 17*p**2 - 5*p - 8. Let m(u) = 6*u**2 - 2*u - 3. Let t(a) = -8*m(a) + 3*n(a). Suppose 10 = -2*l - 3*l. Is 5 a factor of t(l)?
True
Suppose -2*c = -4*c + 60. Does 18 divide c?
False
Let i(v) = -v + 8. Let x be i(6). Suppose 0*m = -x*m + 10. Suppose -46 = -2*b + 2*g, m*b + 3*g + 9 = 140. Is 11 a factor of b?
False
Let a(u) = 3*u + 8. Does 6 divide a(1)?
False
Suppose -13 = -2*g - 3. Suppose 0*a = 4*t + 4*a + 8, 0 = g*t + 3*a. Does 2 divide t?
False
Suppose s = 5*l + 24, 2*l - 1 = 3. Let u = 50 - s. Is u a multiple of 9?
False
Let p(s) = -2 + 0 + 5*s - 2*s. Is p(3) a multiple of 7?
True
Let q(i) = -9*i**2 - 3 - 2*i + 4 + 0. Let l be q(1). Is 8 a factor of -42*(l/(-6))/(-5)?
False
Suppose 0*m - m - 13 = 0. Suppose -5*b - 2*d - 29 = -0*d, d - 3 = 0. Let g = b - m. Is 5 a factor of g?
False
Let h(v) = v + 7. Is h(3) even?
True
Let h(y) = -y - 2. Let n be h(-7). Suppose 0 = i - 3*i - 2*r + 78, -n*r - 101 = -3*i. Is 21 a factor of i?
False
Suppose -2*t - 2*t - 16 = 0. Is t/(-24) + 231/18 a multiple of 13?
True
Let f = 4 + 35. Does 33 divide f?
False
Let d(x) = -x**3 + x**2 + x + 14. Is d(0) a multiple of 7?
True
Let x = 58 + -18. Is 1*x*(-21)/(-28) a multiple of 15?
True
Let o(u) be the first derivative of u**2/2 + 3*u - 5. Is 16 a factor of o(13)?
True
Let f be ((-8)/(-10))/((-4)/(-50)). Let u(p) = 11*p - 29. Let c be u(3). Suppose c*h = -f + 130. Is 12 a factor of h?
False
Let j(r) be the first derivative of -r**4/4 - r**3 - 2*r**2 - 7*r + 1. Is j(-5) a multiple of 21?
True
Let v = 23 - 15. Let g be 6/(-2) - (5 - v). Suppose g*u - 90 = -2*u. Is 13 a factor of u?
False
Let t = 54 - 27. Is 27 a factor of t?
True
Let p be (-2 - 1)*(-42)/(-9). Let y = 21 + p. Does 7 divide y?
True
Suppose u - 12 = -i, -5*i + 3*u = -0*u - 76. Suppose i = -l + 2*l. Does 3 divide l?
False
Suppose -9 + 21 = 4*d. Is ((-54)/15)/(d/(-15)) a multiple of 7?
False
Let h(q) = 3*q + 3. Let f(n) = n**2 + 7*n + 7. Let c be f(-5). Let p be h(c). Let k(i) = -i**3 - 6*i**2 + 3. Is k(p) a multiple of 3?
True
Let w = -53 + 105. Suppose w - 4 = 2*q. Is 8 a factor of q?
True
Let l = 9 - -1. Let q(s) = -2*s - 2. Let x be q(-7). Let h = l + x. Is 10 a factor of h?
False
Let s be 4/14 - 38/(-14). Suppose -s*c = -c - 20. Suppose u = 3*m + c, -4*u + 5*u - 2*m - 14 = 0. Is u a multiple of 20?
False
Let k be (-20)/6 + 2/6. Let q = k - -6. Let m = 19 - q. Is m a multiple of 9?
False
Suppose -12*s = -8*s - 16. Does 4 divide s?
True
Suppose 0 = -3*h - 7 + 1. Let u(v) = 11*v**2 + 3*v + 2. Let j be u(h). Suppose -m - 1 + 30 = 4*k, -5*m + j = 5*k. Is k a multiple of 5?
False
Let b(q) be the third derivative of q**7/2520 - q**6/180 - q**5/60 + q**2. Let s(i) be the third derivative of b(i). Is 5 a factor of s(7)?
True
Let p(c) = -c**3 + 10*c**2 + 15*c - 4. Does 14 divide p(11)?
False
Let r(s) = -11*s - 3. Is 3 a factor of r(-1)?
False
Suppose -c = -5*c + 16. Let v(b) = 7*b - 3*b**3 - 6*b**2 + c*b**3 + 0*b**3 - 6. Does 3 divide v(5)?
False
Let d = 212 + -119. Is 17 a factor of d?
False
Suppose -j = 4*j + 4*a - 312, 5*j + 2*a = 316. Is j a multiple of 15?
False
Let l be 2/(-4) + (-26)/(-4). Let o = 1 + l. Does 2 divide o?
False
Let g(w) = -4*w**2 - 5*w - 1. Let c(b) = -12*b**2 - 15*b - 3. Let i(h) = -3*c(h) + 8*g(h). Is 9 a factor of i(-4)?
True
Suppose 47 = 2*n - 11. Is 4 a factor of n?
False
Let t(a) = -a**2 + 7*a - 3. Does 2 divide t(4)?
False
Let u = -389 + 572. Let t = u - 267. Does 12 divide 6/2*t/(-9)?
False
Is (-36)/10*(-30)/4 a multiple of 13?
False
Let q = 2 - 4. Let w be 1*(4/q - -5). Suppose w = -3*b, -5*l + 78 = -b - 2*b. Does 7 divide l?
False
Suppose j + 0*j = 2. Suppose 4*s - 11 = 3*c, 5*s - 40 = -j*c - 3*c. Suppose -2*l + 75 = c*l - 4*r, 3*l - 4*r = 53. Is 4 a factor of l?
False
Let y(o) = -6*o + 21. Is 23 a factor of y(-8)?
True
Let y(o) be the second derivative of o**3/2 + 9*o**2/2 + 12*o. Let c be (0 - -1)*(10 - 1). Is y(c) a multiple of 17?
False
Suppose 4*w = -3 + 19. Suppose -w*x + 304 = -2*p, -5*x - 5*p + 544 = 194. Is 4 a factor of (-2)/(-3) - x/(-6)?
False
Suppose 4*j = 106 + 18. Let o be j/2*(0 + 2). Suppose -o = -3*c - 5*v - 0*v, -v + 13 = c. Is 17 a factor of c?
True
Let p(h) = 8*h**2 + 6*h + 9. Does 21 divide p(-4)?
False
Let p(b) = -6*b + 1. Let v be p(-1). Suppose 4*s = 5 + v. Suppose j = -2*t + 51, -s*t + 2*j = t - 114. Is t a multiple of 10?
False
Let j be (-10)/(-2) - (-8)/(-4). Let s = 5 - j. Is (-48)/(1/s*-3) a multiple of 16?
True
Let v be 112/24 - 4/6. Suppose v*w - 18 = 10. Is w a multiple of 7?
True
Let o(u) be the first derivative of -u**3/3 - 5*u**2 - 5*u - 1. Let t be o(-7). Suppose -5*a + 129 + t = 0. Is 22 a factor of a?
False
Suppose -7*f + 2*f = 455. Let t = f - -150. Let q = t - 28. Does 20 divide q?
False
Does 10 divide -3 - (-3 + -20 - 0)?
True
Let t = -6 + 5. Let s = t - -3. Suppose -p + s*o = -4*p + 92, -4*p - 2*o + 126 = 0. Is p a multiple of 17?
True
Suppose -1 = 2*f - 7. Suppose 3*w = 2*u - 8, -4*u + 36 - 2 = f*w. Does 7 divide u?
True
Suppose -4*q + 123 = 3*g, -7*q + 2*q = g - 52. Is 37 a factor of g?
True
Let v be 4/18 + 2/(-9). Suppose v = -3*k + 36 - 0. Is k a multiple of 6?
True
Let i(v) = -v + 7. Suppose -5*s - 63 = -13. Is 6 a factor of i(s)?
False
Suppose k - 399 = -4*f, -k + 413 = 2*f - 5*f. Is k a multiple of 37?
True
Suppose 0 = -c + 4*a + 43, -2*c + 198 = 2*c - 3*a. Does 17 divide c?
True
Suppose 0 = -2*d + 4, 3*z - d - 94 - 111 = 0. Is z a multiple of 15?
False
Suppose 4*a - 2 = 6. Is ((-198)/a)/(-3) + 3 a multiple of 9?
True
Let o be (4 - (1 + -1)) + 2. Let c = -1 + o. Let w = c - -3. Is 6 a factor of w?
False
Let g = 27 + 0. Let l = g - 15. Is 4 a factor of l?
True
Let s(p) = -6*p + 1. Let n be s(-4). Let a = 48 - n. Is 8 a factor of a?
False
Suppose z = -7 + 2, 2*z = j - 98. Does 22 divide j?
True
Let i(t) = t + 12. Let u be i(-9). Let c be 5/u*9/(-3). Does 4 divide (0 - -5)*(-7)/c?
False
Suppose 0 = 2*h - 4*h - p + 139, -5*h - p = -349. Is h a multiple of 14?
True
Let z(v) = -v + 5. Let o be z(0). Suppose h = 4*n + 15, o*n + 3*h = 2*h - 21. Let j(f) = f**2 + 2*f - 2. Does 6 divide j(n)?
True
Let o(z) = -z**3 + z**2 - 3*z - 13. Is 7 a factor of o(-4)?
False
Suppose 4*f = 16, 2*v + 0*f - 212 = 3*f. Does 10 divide (-4)/22 + v/11?
True
Does 20 divide ((-27)/(-6))/(-3*1/(-66))?
False
Suppose -8*v = -3*v - t - 174, -2*v + 73 = 3*t. Does 13 divide v?
False
Let z = -5 + 7. Let k = 34 + z. Does 12 divide k?
True
Suppose 2*w + i = 2*i + 156, 4*w + 3*i - 292 = 0. Is 19 a factor of w?
True
Let j(c) be the second derivative of c**3/6 - 3*c**2 - 3*c. Is j(9) a multiple of 3?
True
Suppose -5*r + 273 = 43. Suppose -14 = -5*p + r. Does 12 divide p?
True
Suppose -4*r + 56 = -s - 7, 5*r = 3*s + 84. Is 5 a factor of r?
True
Suppose -4*t - 3*j + 399 = 0, -3*j - 284 = -4*t + 133. Is t a multiple of 17?
True
Does 2 divide 16/3 - (-16)/(-12)?
True
Suppose -v + 6*v + 5 = -5*n, 0 = -5*v + n + 25. Suppose -k + 20 = -v*g, -3*k + 19 - 3 = -g. Suppose o + 0*o = k*x + 8, 2*x + 44 = 3*o. Does 9 divide o?
False
Suppose 2*g - 1 = 9. Suppose 5*a + 0*a - 722 = -m, -g*a + 2*m + 731 = 0. Suppose a = 5*o + 5*b, 4*o + 3*b = b + 110. Does 13 divide o?
True
Let g(b) = -b**3 + 4*b**2 + 6*b - 4. Let a(j) be the second derivative of j**4/12 + j**3/3 + j**2/2 + j. Let p be a(-3). Does 7 divide g(p)?
False
Let c be 185/(-2) + (-18)/(-12). Let q = c - -138. Does 22 divide q?
False
Let t(s) = -s**2 + 5*s + 3. Let k be t(5). Let v be 1 + -1*2 + k. Let r(y) = 4*y**2 - y + 2. Does 6 divi