 a factor of f?
True
Let a be 1 + -1*(2 + -1). Suppose a = -4*t + 4*u + 216, 4*u + 6 = -6. Let s = t - 19. Does 14 divide s?
False
Let j(v) be the third derivative of -v**5/120 + 5*v**4/6 + v**3/3 + v**2. Let u(f) be the first derivative of j(f). Is u(0) a multiple of 7?
False
Let t = 169 - 82. Does 14 divide t?
False
Suppose -5*n + n + o + 1242 = 0, -632 = -2*n - 5*o. Does 24 divide n?
False
Let v(a) = 0 + 5*a - 1 + 4. Suppose -15 = 3*r - 6*r. Is 14 a factor of v(r)?
True
Let t = -18 - -13. Let h(y) = -3*y + 3. Is h(t) a multiple of 18?
True
Let c(f) = 3*f - 3. Let w(j) = j - 1. Let z(v) = -c(v) + 2*w(v). Let x be z(-6). Does 9 divide x + -1 + 1 + 2?
True
Let l(n) = -5*n**2 + 2*n**2 - 2*n**2 + 2 - 9*n. Let h(z) = 14*z**2 + 27*z - 5. Let c(q) = 3*h(q) + 8*l(q). Is c(-7) a multiple of 12?
True
Let c(g) = -8 - g**2 - 2 + 9*g + 2. Is c(7) a multiple of 3?
True
Suppose 104 = 20*p - 18*p. Is 8 a factor of p?
False
Let h = 3 - -7. Is 13 a factor of ((-6)/h)/(9/(-270))?
False
Suppose -189 = -4*l + 255. Suppose -5*w + 10 = 4*m - 217, -5*w + l = 2*m. Is 21 a factor of m?
False
Let p(t) = -71*t**3 - 2*t**2 - t. Let u be p(-1). Let c be 0/(3/(-3) + 2). Suppose -5*y + 0*y + u = c. Does 7 divide y?
True
Does 18 divide 3 + -4*1 - -37?
True
Suppose 3 = -3*v, 0 = 2*u - u - v - 6. Let d = 7 + u. Is d a multiple of 8?
False
Let s(t) = -t**2 + 7*t - 6. Let n be s(7). Let p = 14 - n. Does 20 divide p?
True
Let f(b) = b**2 + 2*b - 4. Let g be f(-4). Let x(u) = 4*u + 2. Is x(g) a multiple of 13?
False
Suppose l + 304 = 5*l. Let u = 5 + -3. Suppose 0 = i + 2*o - 22, i + u*i - l = -o. Is 13 a factor of i?
True
Let p(r) = -r. Let m(s) = -10*s + 11. Let n(j) = -m(j) + 4*p(j). Let q be n(11). Let i = q - 27. Is 14 a factor of i?
True
Let o(w) = -w**3 - 3*w**2 + 4*w + 5. Let d be o(-4). Suppose -5*m + 2*k + 33 = 0, -3*m = -d*m + 4*k + 26. Is (0 - -1)*2*m a multiple of 9?
False
Let g(t) = 2*t**2 + 6*t - 1. Let z be g(-6). Suppose 5*c + z = -3*p + 87, -3*p - 25 = -2*c. Is 5 a factor of c?
False
Suppose -6*d + 110 = -d. Let n be 11 + 0 - (-1 + 1). Let a = d - n. Is a a multiple of 11?
True
Let i = -7 - -10. Is 18 a factor of 57 + (-4 + i)*3?
True
Let r(a) = -6*a + 125. Is r(0) a multiple of 20?
False
Let u = -66 - -101. Is 14 a factor of u?
False
Let c(n) = -n + 1. Let w = 0 - -1. Let m be c(w). Suppose -5*q + 4*q + 17 = m. Is 9 a factor of q?
False
Let z(a) = a**3 - 12*a**2 + 5*a - 13. Is z(12) a multiple of 47?
True
Let t(i) = -i**2 + 4*i + 2. Let x be t(3). Suppose 24*w = 22*w. Let y = x - w. Is y a multiple of 5?
True
Suppose -y + 4*b = 6, 4*b = 2*y + 2*b. Suppose 130 = -y*x + 7*x. Is x a multiple of 13?
True
Does 32 divide 0 + -1 + (-1)/(2/(-66))?
True
Suppose 0*x = 3*x - 12. Suppose x*z - 17 = 3. Suppose -z*w = a - 85, 0*w + 4*w - 4*a = 92. Does 9 divide w?
True
Let j = -140 + 212. Is 9 a factor of j?
True
Let k(j) = j**3 - 11*j**2 - 11*j + 6. Let t be k(12). Is 15 a factor of t/30 - 87/(-5)?
False
Let n(v) = -v**2 + 14*v - 4. Does 15 divide n(11)?
False
Suppose 0 = -3*r + 75 + 12. Is 29 a factor of r?
True
Let d(c) = c**2 - 4*c - 1. Let n be d(-3). Let z = n - 10. Suppose o - z = 12. Is 13 a factor of o?
False
Is 7 a factor of (-1)/(-2) - (-297)/22?
True
Suppose -l = -0*l - 1. Let y be l - (-5 - -2 - -2). Suppose y*v - 31 = 2*c - 9, 0 = -4*v - 5*c - 1. Is v a multiple of 5?
False
Let j = -16 + 22. Let f = -1 + j. Suppose 0*d - 10 = -f*d. Does 2 divide d?
True
Suppose -2*w = f - 4*f - 27, 0 = -5*f - 5. Is w even?
True
Let t be 1065/25 + 4/10. Let b = t - 3. Does 10 divide b?
True
Suppose 46 - 10 = 4*i. Is 3 a factor of i?
True
Let m(l) be the third derivative of -3*l**4/8 - 5*l**3/6 - l**2. Let s(k) = -17*k - 10. Let a(g) = 5*m(g) - 3*s(g). Does 17 divide a(5)?
False
Let c = -3 - 6. Let o be (1*-183)/(c/12). Suppose -o = -3*a - a. Is 16 a factor of a?
False
Let g be (-5)/(-3)*(-3 - -6). Is 52/20 + 2/g even?
False
Let j = 124 - 84. Is 18 a factor of j?
False
Let z = -9 + 42. Is z a multiple of 11?
True
Suppose 4*w - 3*d + 14 = 0, 14 + 15 = -5*w - 2*d. Let m be (-5)/(-1)*(-3)/w. Suppose 3*t + m*q - 34 + 10 = 0, 0 = -3*t - q + 26. Is 9 a factor of t?
True
Let n(z) = z**2 + 7*z + 6. Let t be n(-6). Suppose q - 6 - 3 = t. Does 5 divide q?
False
Is 2757/21 - (-3)/(63/(-6)) a multiple of 10?
False
Suppose 2*m = -5*i + 125, -59 = -2*i - 4*m - 9. Suppose -i = 5*z - 85. Is z a multiple of 12?
True
Let j(q) = -9*q - 18. Is 3 a factor of j(-3)?
True
Let x be (-72)/(-20) - 2/(-5). Is 18 a factor of -2 + 40 + x/(-2)?
True
Suppose l = -2*t + 20, l = 5*t + 49 - 15. Does 17 divide (118/6)/(8/l)?
False
Suppose -b = 5*t + 11, b - 2 = t - 1. Let r be (-2)/7 + 48/21. Is 34 + (1 - r) + b a multiple of 13?
False
Let s be (-74)/((2 + 1)/(-3)). Suppose 0 = -5*b + 86 + s. Let v = b + -4. Is 15 a factor of v?
False
Let o = -345 + 495. Does 30 divide o?
True
Suppose 1 = -3*n - 44. Let h = 57 + n. Is h a multiple of 21?
True
Let v be (3/(-3))/(1/(-2)). Suppose 67 = 4*q + q - 4*z, -5*q - 4*z = -43. Suppose -49 + q = -v*y. Is y a multiple of 10?
False
Let g be -3 + (-2 - -2) - -1. Let b = g - -14. Does 4 divide b?
True
Suppose 3*x + n - 77 = 0, 0 = 2*x - 3*n + n - 46. Suppose 47 = 3*l - x. Is 24 a factor of l?
True
Let s(p) = 11*p**2 + 1. Suppose 4*z + 0 + 4 = 0. Is 6 a factor of s(z)?
True
Suppose -6*z + 7*z = -10. Let y(s) = -s**3 - 11*s**2 - 14*s - 2. Does 19 divide y(z)?
True
Let o(h) = 13*h + 3. Let y be o(4). Suppose n = 4*p - 11 - y, 2*n + 52 = 3*p. Is 10 a factor of p?
False
Let q(n) = 3*n**2 + 3*n - 4. Let a(k) = k**2 - 4*k. Suppose 0 = -4*u + 3*y + 15, 6*u - 3*u = 3*y + 12. Let m be a(u). Is 5 a factor of q(m)?
False
Let h be -4 - (-1 + 0) - 2. Let m(j) = -2*j - 3. Is 7 a factor of m(h)?
True
Let y be -2 + (-2)/(-4)*-10. Does 7 divide ((-18)/y)/((-6)/(-28))?
False
Let i = 1 - -2. Let l(j) = j**2 - 3*j + 4. Let d be l(i). Suppose 3*s - 34 = 4*r, s - r - 8 - d = 0. Does 8 divide s?
False
Suppose -3*z = -0*z - 4*u - 156, 2*z = 5*u + 104. Suppose 4*q - z = -0*k - 2*k, -3*k + 78 = -5*q. Does 18 divide k?
False
Let k(f) = -10*f + 5. Suppose a = -0 - 4. Is 15 a factor of k(a)?
True
Let x be (-1)/3 + 2/6. Suppose 5*b = -5*j + 45, x = 3*j - j - 4*b - 42. Does 13 divide j?
True
Let x be 22 + 4 + (0 - -2). Suppose 0*n - 4*n = -x. Is n a multiple of 6?
False
Suppose 0 = -10*d + 5*d + 860. Does 43 divide d?
True
Suppose 20 = 2*z - 26. Is z a multiple of 7?
False
Suppose -169 = -5*g - 44. Let q = g - 39. Is 3/(-3) + 3 - q a multiple of 8?
True
Let w(r) = -r**2 - 9*r - 10. Let d be w(-7). Let b = d + -4. Suppose -3*i + b*i = -54. Is 13 a factor of i?
False
Let c(r) = -r**2 - r + 2. Let b be c(-2). Let g be 128*(4 - 3 - b). Suppose -4*x + g = -0*x. Is 15 a factor of x?
False
Suppose -6*s = -s + 265. Let p = s - -95. Is p a multiple of 15?
False
Let t(f) = -f + 3. Let l be t(4). Let o(w) = -55*w**3 - 2*w**2 + 1. Let p be o(l). Let y = -21 + p. Does 13 divide y?
False
Let h = -2 + 6. Suppose 3*x = 3*a - 45, 0*a - 4*x = h*a - 76. Is a a multiple of 17?
True
Suppose -x + 10 = 5*q, 4*q + 0*q = 8. Suppose j + x*j - 26 = 0. Is 13 a factor of j?
True
Suppose -5*y - 87 = -5*b + 48, 4*y - 109 = -3*b. Suppose 0 = -2*m + 3*n + 10, -2*m + b = 3*n + 9. Does 8 divide m?
True
Let j = 59 + -47. Is j even?
True
Let c(v) = v + 3. Let k be c(6). Let o = 69 + -24. Suppose -3*d - k = -o. Is d a multiple of 12?
True
Let q = -29 - -7. Let x = q + 37. Does 4 divide x?
False
Suppose -558 = -d - 2*d. Is d a multiple of 56?
False
Let k = 4 + 2. Is (-11)/k*-2*6 a multiple of 11?
True
Let u = 13 - 0. Let i = u - 37. Is 8 a factor of i/(-5)*(-30)/(-9)?
True
Suppose -2*u = m + 3*m - 14, -5*m + 10 = 5*u. Let i = u + 3. Let k = i + 12. Does 12 divide k?
True
Suppose j + 288 = 4*j. Suppose -p = -5*p + j. Does 6 divide p?
True
Let k be 108/(-15)*(-70)/4. Let z = 181 - k. Suppose 3*h = -13 + z. Does 6 divide h?
False
Let s be (-2 - -1)*(-1 + 2). Let z(i) = -15*i**3 - i**2 + 4*i - 3. Let q(k) = -k**3 + k**2 - k + 1. Let m(l) = 3*q(l) + z(l). Does 19 divide m(s)?
True
Suppose 7*g - 114 - 12 = 0. Is 9 a factor of g?
True
Let m(a) be the third derivative of a**4/24 + 2*a**3 + 4*a**2. Is m(-5) a multiple of 3?
False
Suppose 193 + 23 = 3*w. Does 24 divide w?
True
Suppose 6*r - 736 = 284. Is r a multiple of 10?
True
Suppose 21*h - 16*h = 25. 