 Is 7 a factor of f(5)?
True
Let h(r) = r + 7. Let q be h(5). Suppose -g + 34 = -q. Let i = g + -32. Is i a multiple of 8?
False
Suppose 3*g + 0*g - 195 = 0. Let x = -38 + g. Is x a multiple of 8?
False
Let o = -13 + 4. Let u be (-1 - -2 - o)*1. Is 9 a factor of 172/20 - (-4)/u?
True
Let l be 1 - 3/(6/(-8)). Is 2 a factor of (-1)/((5/(-4))/l)?
True
Let q(r) be the second derivative of r**4/12 - r**3/6 - r**2 + r. Is 4 a factor of q(-2)?
True
Let u(a) be the first derivative of 7*a**3/3 + a**2 - 2*a + 1. Suppose 36*r - 32*r = -8. Does 6 divide u(r)?
False
Let r be (-290)/(-70) - 1/7. Let y = 11 + r. Is 15 a factor of y?
True
Let k = -25 + 36. Let f = 17 + k. Is 14 a factor of f?
True
Let g be 54/(-12)*(-12)/(-9). Let w(h) = 2*h - 3. Let n be w(6). Does 3 divide (-1)/(-1 - g/n)?
True
Suppose 5*s + 263 = -307. Is 15 a factor of -2*(1 + s/4)?
False
Suppose -28 = -w + 4*w - 5*k, 3*k = -4*w + 11. Does 13 divide (2/w + -72)/(-2)?
False
Let p be (-3)/((-26)/(-8) + -3). Let j = 22 + p. Is 3 a factor of j?
False
Let d be 2/(-3) + (-320)/(-3). Suppose j = -4*p + 50, -3*j - 2*p + d = -j. Suppose 0*k - j = -3*k. Does 18 divide k?
True
Suppose 7*x = 8*x - 6. Is 35 a factor of ((-4)/x)/((-24)/2628)?
False
Let p = 35 - 27. Is 4 a factor of p?
True
Suppose -435 = -0*u - 5*u. Does 20 divide u?
False
Let a = 331 - 183. Does 40 divide a?
False
Suppose 2*r = 2*i + 14, -r - 2*i = -5*r + 30. Let d = r - 6. Let b(t) = 2*t**3 + t. Is b(d) a multiple of 9?
True
Let c be 0 - 3/3*-1. Is (-27)/6*-2*c a multiple of 5?
False
Suppose 2*o = -0*o. Let v = o + 2. Let b(d) = 5*d**2 - 4*d + 2. Is 10 a factor of b(v)?
False
Suppose -2 - 6 = -4*t. Is 17 - (2 + -1 - t) a multiple of 9?
True
Let h be (4/(-8))/((-1)/(-6)). Suppose 0 = -2*b - 2*b - 4. Is b - -15 - (h + 4) a multiple of 5?
False
Suppose 3*d - 39 = -0*d. Suppose -5*v + 7 = -d. Suppose 20 = -v*s + 8*s. Is s even?
False
Suppose -6*t + t - 40 = 0. Let v(m) = m**3 + 12*m**2 + m - 5. Let o be v(t). Suppose 83 = -4*r - 5*l + o, 74 = 2*r + l. Is r a multiple of 12?
False
Suppose 4*w - 3 = -r, 0*r - 2*w = 3*r - 39. Does 5 divide r?
True
Let w = 17 - 0. Is 3 a factor of (w - -1) + 6/(-2)?
True
Let n be 12/16 - 3/4. Suppose n*b - 103 = -4*o - 3*b, -5*o + 115 = b. Is 13 a factor of o?
False
Suppose -2*p + 1 = 7. Let b = -5 - p. Is -1 - b/1 - -53 a multiple of 16?
False
Let t = -73 + 40. Let k = -18 - t. Let z = 25 - k. Is z a multiple of 3?
False
Let h = -1259 + 3482. Let r be h/54 - 2/12. Suppose -a - 2*p + 3*p + r = 0, -5*a = p - 187. Is a a multiple of 12?
False
Let t(r) = r**3 + 2*r**2 - r + 1. Let p = -1 - -3. Let n be t(p). Suppose -n = -9*q + 4*q. Is q a multiple of 2?
False
Is 11 a factor of -36*1*3/27*-3?
False
Suppose -5*a + 5 = -0. Suppose -7 = -2*l - 3*y + 6, -2*l + y = -a. Is (-66)/(-4) + l/(-4) a multiple of 16?
True
Let k(u) = 3*u**2 + u - 3. Let b(m) be the first derivative of -2*m**2 - m + 1. Let x be b(-1). Does 13 divide k(x)?
False
Let o = -3 - 0. Let z(g) = -5*g**3 - 4*g**2 + 5*g - 2. Let i(v) = -6*v**3 - 5*v**2 + 6*v - 3. Let a(t) = -4*i(t) + 5*z(t). Does 13 divide a(o)?
True
Suppose -8*h = -h - 357. Is h a multiple of 17?
True
Suppose -15*v + 140 = -5*v. Is v a multiple of 7?
True
Let s(p) = -p**3 - 5*p**2 + p - 7. Is s(-6) a multiple of 6?
False
Is 48 a factor of (-112)/40*(0 + -35)?
False
Is 6 a factor of (6/(-4))/((-6)/48)?
True
Let j(g) = g**3 + 5*g**2 - 13*g - 8. Is 17 a factor of j(-6)?
True
Let d(p) = -p**2 + 10*p - 5. Let r be 56/9 - (-2)/(-9). Is d(r) a multiple of 9?
False
Let g(h) = -h**2 - 17*h. Is 5 a factor of g(-15)?
True
Suppose -8*z + 9 = -5*z. Suppose 0*t + 63 = t + z*h, -189 = -3*t - 2*h. Does 19 divide t?
False
Let j(p) = 2*p + 27. Is 8 a factor of j(7)?
False
Suppose 4*m + 295 = 3*j - 149, 0 = 4*j + 2*m - 570. Is 24 a factor of j?
True
Suppose -183 = -7*k + 132. Is k a multiple of 15?
True
Let j(q) = -51*q + 3. Let g be j(3). Let d be -110 - -6*(-2)/(-4). Let u = d - g. Is u a multiple of 25?
False
Suppose 389 = 4*g + 129. Is 18 a factor of g?
False
Does 32 divide ((-1632)/17)/(3/(-4))?
True
Let f(a) = -a**3 - 7*a**2 - 2*a + 4. Let t(d) = -d**2 + 9*d + 3. Let k be t(10). Does 11 divide f(k)?
False
Let a be (-66)/8 - 3/(-12). Let b = a - -22. Does 7 divide b?
True
Let q = 169 + -88. Does 27 divide q?
True
Let u = 10 + -4. Let g(y) = -y**2 + 9*y - 5. Let d be g(u). Suppose 0 = -4*a + 53 - d. Is a a multiple of 10?
True
Let n = -30 + 60. Let r = -14 + n. Does 16 divide r?
True
Does 7 divide 51*((-8)/6 - -2)?
False
Let p(j) = j**2 + j - 4. Suppose -12 = -l + 4*l. Let q be p(l). Let n(g) = 2*g - 7. Does 9 divide n(q)?
True
Suppose 5*q + 3 = -7. Is (44/q)/(12/(-6)) a multiple of 6?
False
Suppose -2 = -2*w - 6, -5*f = 2*w + 9. Let a = 2 - f. Suppose -a*d = -q - 8, -2*d = 3*q - 5*d. Does 3 divide q?
False
Let c(p) = -3*p + 8. Is c(-4) a multiple of 5?
True
Let h = -9 + 6. Let o(y) = -y**2 - 3*y. Let m be o(h). Suppose 2*d + 2*d - 92 = m. Does 10 divide d?
False
Let k(n) = 4*n**2 + 12*n - 3. Let t(q) = 7*q**2 + 23*q - 7. Let d(j) = 5*k(j) - 3*t(j). Is d(-7) a multiple of 5?
True
Let l(h) = 33 - 9*h + 5*h + 3*h. Does 11 divide l(0)?
True
Let n(t) = -t**2 - 8*t - 1. Let o be n(-7). Let r(u) = 6*u + 4. Let s be r(o). Suppose 0 = -5*c - 20, -5*c + s + 44 = 4*f. Is 12 a factor of f?
False
Suppose 2*j - 10 = -0*j. Suppose 3*l - 4 = p, p + j*l = 3*l + 1. Does 5 divide (-2 - p)/(5/(-35))?
False
Let i(v) be the second derivative of v**4/12 - v**3/6 + 9*v**2/2 - 2*v. Is 3 a factor of i(0)?
True
Suppose 0 = 4*r + 2*l + 3*l - 37, 13 = -4*r + 5*l. Suppose 2*h + 2 = r*h. Is 11 a factor of 1 - (-10 - -2 - h)?
True
Let f(x) = -3*x**2 - 22*x**3 + 2*x**2 + 0 + 1. Does 22 divide f(-1)?
True
Let d(i) = -i**2 + 4*i - 2. Let q be d(5). Is (-143)/q - (-9)/(-21) a multiple of 9?
False
Let n(m) = m**3 - m**2 + 2*m - 2. Let t be n(2). Suppose -6 = -4*s + t. Does 8 divide 24 - (s - (-2 + 2))?
False
Let d = 22 - 19. Suppose 0 = 2*a + 2*g - 4, 2*g + 18 = 2*a - d*g. Is a a multiple of 2?
True
Suppose 0 = -2*s - 0*s + t - 23, -3*s + t = 32. Let n = -8 + 10. Is s/(-1 + (-1)/n) a multiple of 3?
True
Let s(n) be the second derivative of -n**5/20 + 3*n**4/4 - n**3 - 5*n**2 - 2*n. Is 6 a factor of s(8)?
True
Suppose -p = -a - 6, -2*p + 4 = -0*p + 2*a. Let d be (3 - p*-3)/(-1). Let s = d - -39. Is 17 a factor of s?
False
Let r(x) = 11*x**3 - 2*x**2 + 2. Is r(2) a multiple of 12?
False
Suppose -z = -2*z + 16. Suppose h = -h + z. Is h a multiple of 4?
True
Let d(n) = -11*n - 15. Suppose b - 1 + 11 = 0. Let p be d(b). Suppose -3*y + p = 2*y. Does 19 divide y?
True
Let a(u) = u**2 - 2*u - 3. Let x be a(-2). Suppose x*s = 5*p + 240, -s = 3*p - 15 - 25. Does 23 divide s?
True
Let s(z) = -z - 10. Let g be s(-7). Is ((-3)/(-2))/(g/(-18)) a multiple of 7?
False
Let v = -49 - -35. Is 4 a factor of (v/(-2))/(1/1)?
False
Suppose 0 = 3*a - 5*a - 10. Let u = -3 - a. Does 2 divide u?
True
Let c be 1 + (-18)/(3 + -1). Let d = c + 12. Is 2 a factor of d?
True
Let h be (-1)/(-4) + 305/(-4). Suppose -3*k - 329 - 4 = -2*g, 0 = 2*k - 5*g + 211. Let t = h - k. Is 20 a factor of t?
False
Let d(q) = 6*q - 11. Does 2 divide d(3)?
False
Let v be 6/(-9) + (-4)/(-6). Suppose 5*f + o - 14 - 15 = v, -3*o + 27 = 5*f. Does 6 divide f?
True
Suppose -5*l + 4*h = -26, 3*l + 0*l - 18 = 3*h. Is 2 a factor of l?
True
Let c(s) = 3 - 5*s - 6*s**2 + 2 - 3 - 2*s**3. Is c(-4) a multiple of 15?
False
Let i = -4 - -3. Let m = 2 - i. Suppose 0*n = -2*n, 5*n - 42 = -m*q. Does 7 divide q?
True
Let g(d) = -d**2 - 6*d - 5. Let o be g(-4). Suppose -3*r + 4*p + 5 = -4, o*r - 9 = -2*p. Suppose 0*l - 2*l = v - 12, -l - r*v = 4. Does 3 divide l?
False
Suppose 2*t - 178 = -4*w, -2*t - 3*w + 111 + 63 = 0. Suppose 0*g + 5*q + t = 4*g, -5*g = -2*q - 80. Is g a multiple of 14?
True
Suppose 2*v + 4*r - 68 = 0, 5*r - 45 = -3*v + 52. Is 8 a factor of v?
True
Let z be 2/(-3) - 68/(-3). Let u = -17 + z. Is 2 a factor of u?
False
Let y(q) = -20*q - 3. Is y(-1) a multiple of 17?
True
Suppose -5*k = -5*d - 200, 0 = -2*k - 2*k - 2*d + 136. Does 7 divide k?
False
Suppose 16 + 11 = 3*i. Let h be 1 - (-2 + 0 + i). Let y = h - -8. Does 2 divide y?
True
Suppose -5*n = -5*q - 1880, 344 = 4*n - 5*q - 1156. Does 19 divide n?
True
Suppose -g + 4*i - 1 = i, 2*g + 3*i = 7. Suppose -g*p = -0*p - 24. Does 12 