factor of c?
True
Is 28 a factor of 11/((-11)/(-102)) + 2?
False
Suppose -5*l = -5*f - 33 + 98, -5*f = 5*l - 65. Let p = f + -10. Is 3 a factor of p?
True
Let c(k) = k**3 - 9*k**2 - 10*k + 4. Let l be c(10). Suppose 4*m - 7*h - 201 = -l*h, m - 34 = 4*h. Does 19 divide m?
False
Let a(j) = j + 3. Let p be a(-9). Is 3 a factor of 2/(-4)*(-6 + p)?
True
Let t(w) = 6*w - 8. Let c(r) = -4*r + 5. Let g(u) = 7*c(u) + 5*t(u). Is g(6) a multiple of 3?
False
Suppose -5*g - 9 + 29 = 0. Let p(b) = -16*b - 13. Let w(s) = -4*s - 3. Let a(n) = 2*p(n) - 9*w(n). Is a(g) a multiple of 17?
True
Let u(x) = x**2 + 4*x - 8. Let i be u(-6). Suppose -30 = -i*w + w. Is w a multiple of 10?
True
Suppose 3*p - 446 = -20. Is 25 a factor of p?
False
Suppose 3*p + 2*c = -2*p + 821, 2*p = 2*c + 320. Is p a multiple of 28?
False
Let r(z) = -4*z**2 - 4*z + 4. Let a(l) = 11*l**2 + 11*l - 12. Let v(x) = 3*a(x) + 8*r(x). Let c be v(0). Is 24 a factor of 148/6 + c/6?
True
Let v = 1 + 2. Let u(i) = 1 - 4 + 4 - 24*i**v + i. Is u(-1) a multiple of 12?
True
Suppose -3*w = 4*y - 2, -2*w = -0*w - 3*y - 24. Is w a multiple of 3?
True
Let t(p) = -p - 1. Let w be t(-2). Does 7 divide (0 - w - 1)*-12?
False
Suppose 0 = s + 3, 0 = -f - 2*f - 5*s + 255. Is 18 a factor of f?
True
Let b(g) = g + 31. Let k be b(0). Let j(d) = -d**3 + 16*d**2 + 16*d - 4. Let t be j(17). Let r = t + k. Does 8 divide r?
False
Let v(h) = 9*h - 6. Is 6 a factor of v(3)?
False
Let x(z) = -z**3 - 6*z**2 - z - 2. Let i be x(-6). Let c be (i/5)/((-2)/10). Let w(a) = a**2 - a + 1. Is 7 a factor of w(c)?
True
Let d(a) = -a - 1. Let x be d(-1). Suppose -4*m + 4*k + 12 = 0, m - 2*k = -4*m + 15. Does 2 divide x + (-3)/m + 4?
False
Let a be 2/((6/(-33))/(-1)). Let n = a + 7. Is n a multiple of 5?
False
Suppose -26 - 191 = -5*w - 2*a, 3*a + 192 = 4*w. Does 5 divide w?
True
Let v(c) = -56*c**3 + c. Let z be 6/(-10) - (-4)/(-10). Does 11 divide v(z)?
True
Let c(n) = n**2 + 6*n + 5. Let k be c(-5). Suppose 28 = 4*x + 3*x. Suppose k = -x*r + 87 + 45. Does 11 divide r?
True
Let d = -46 - -33. Let o = -8 - d. Does 2 divide o?
False
Let r(k) = 3*k**2 - 3. Let d(q) be the third derivative of -q**6/120 - q**5/20 - q**4/12 - q**3/2 + q**2. Let h be d(-3). Does 12 divide r(h)?
True
Let d be (1 + (-104)/12)*-3. Let y = -13 + d. Is 7 a factor of y?
False
Let m(d) = d - 5. Is 2 a factor of m(19)?
True
Let l(b) = -16*b - 4. Is l(-2) a multiple of 7?
True
Let u(n) = 2*n**2 + 10*n - 1. Suppose 0*d = d + 7. Does 14 divide u(d)?
False
Suppose -4*f - 2*a + 398 = 0, a + 220 = 3*f - 66. Does 6 divide f?
False
Suppose 0 = z + s + 7, 3*z - 3*s + 21 = -2*s. Does 10 divide z/2*2*-4?
False
Let j = -9 + 15. Suppose -v = j - 31. Suppose 0 = 2*w + 3*w - v. Does 5 divide w?
True
Suppose -6 = 2*v, 0 = -3*y - v + 353 + 64. Is 15 a factor of y?
False
Suppose -21 = -2*b + 3*b - 5*i, 2*i - 5 = -3*b. Does 3 divide (2 + b)/1 + 10?
False
Does 48 divide ((-32)/(-2))/((-14)/(-56))?
False
Let m(b) = 65*b**2 + 2*b - 1. Let t be (-24)/(-15) - (-9)/(-15). Is m(t) a multiple of 22?
True
Let w = -11 + 7. Is 3 a factor of 10/3 - w/6?
False
Let g(j) = -j**2 + 18*j + 9. Does 24 divide g(13)?
False
Let i(v) = -3*v + 6. Is i(-3) a multiple of 5?
True
Suppose -3*a + 132 = -2*r + 7*r, -4*r - 144 = -4*a. Does 13 divide a?
True
Let b(s) be the second derivative of -1/12*s**4 - 3*s - 1/2*s**2 + 0 - 3/2*s**3. Is 5 a factor of b(-7)?
False
Let p be -5 + (-1)/(2/4). Let o = 17 - p. Is o a multiple of 8?
True
Suppose 3*m + 47 = -2*k, -4*m + k = 4*k + 61. Let w = m - -13. Is 9 a factor of ((-3)/w)/((-2)/(-72))?
True
Let j = 0 + -1. Let y(z) = -z + 1. Let l be y(j). Is 12 + (l + -3)*1 a multiple of 11?
True
Let z(x) = -x**3 + 6*x**2 - x - 7. Let u be z(6). Let v = u - -29. Is 13 a factor of v?
False
Suppose 0 = w - 3*w - 154. Let q = 13 - w. Is 26 a factor of q?
False
Suppose 3*v = x + 13, -3*v + 0*x + 28 = 2*x. Is 6 a factor of v?
True
Does 17 divide 127 + -4*5/10?
False
Suppose 0*h = -3*h + 18. Is h even?
True
Suppose -n - 4 = -3*n. Suppose -n*x = x + 4*j - 95, 3*x - 91 = -5*j. Is x a multiple of 17?
False
Let f(a) = -a**3 - 5*a**2 - 2*a + 3. Let q(u) = 2*u**3 + u. Let o be q(-1). Let r be f(o). Let h = 18 + r. Is 5 a factor of h?
False
Suppose -3*p + 10*p = 182. Is 13 a factor of p?
True
Let a(y) = y - 7*y + 3*y. Does 9 divide a(-6)?
True
Let c(l) = 14*l**2 - 2*l + 2. Is c(1) a multiple of 14?
True
Suppose 0 = -0*o - o. Suppose 2*k - 3*k - 5*d + 6 = o, 5*k = 2*d + 30. Suppose 58 = 2*g - 4*m, g = k*g - 4*m - 145. Is g a multiple of 13?
False
Let i = -5 - -9. Suppose 3*z = 5*p + 8*z, 0 = -i*p + 2*z + 24. Is 2 a factor of p?
True
Let t be 1 + 2 + 2 + -2. Does 3 divide (2/t)/((-4)/(-66))?
False
Suppose 4*s - 5*s + 43 = 0. Let o = s - 0. Does 12 divide o?
False
Let u = -91 - -187. Is 48 a factor of u?
True
Let w be (4 + -5)*(-63 + 1). Let i be (-2 - -5)/(3/w). Suppose -i - 30 = -4*t. Is 12 a factor of t?
False
Suppose 0*a - a + 20 = 0. Is a a multiple of 5?
True
Let n(a) = a**2 + 9*a + 11. Is 18 a factor of n(6)?
False
Suppose -g - 1 = -6*y + 4*y, 15 = 3*g. Is 19 a factor of 3 - 3/y*-24?
False
Suppose 6 = -0*d + 2*d. Suppose -4*h = -h - 5*i + 3, 0 = -d*h + 4*i. Is 2 a factor of h?
True
Suppose 0 = -m + 6*m - 90. Suppose -m = 3*a - 144. Is 22 a factor of a?
False
Let z(x) = -33*x**3 + x**2 - x. Let r be z(1). Let n be (-44)/r*(-27)/(-2). Let j = n - 3. Is j a multiple of 9?
False
Let o(t) = t + 1. Let f be o(1). Suppose 2*m - 5*n - 41 = -17, 2*m - f*n = 18. Is 7 a factor of m?
True
Does 11 divide (-44)/((-48)/(-30) + -2)?
True
Let k(a) = 7*a - 11. Does 31 divide k(14)?
False
Suppose 2*f + 4*u - u + 15 = 0, -f + 5 = -u. Let n be (2 - f)/((-4)/(-10)). Suppose 5*p + 54 = n*v + 4*p, p - 34 = -3*v. Does 11 divide v?
True
Let n = -159 - -239. Is 4 a factor of n?
True
Let c(w) = w**2 + 4*w + 1. Does 13 divide c(7)?
True
Suppose 0 = 4*b - 20 - 36. Is 12 a factor of b?
False
Let w be 286/6 - (-2)/6. Suppose 2*l = -0*l + w. Does 8 divide l?
True
Suppose -p + 5*d - 2 = 5, 2*p - 14 = -4*d. Suppose -3*w + p*n + 107 = -43, 2*w - 85 = 5*n. Suppose -f = 4*r - 6*f - w, 0 = r - f - 15. Is 16 a factor of r?
False
Let b(q) = q - 66. Let o be b(0). Suppose 2*a = -5*j - 200, j + 139 = -2*j - 5*a. Let c = j - o. Does 14 divide c?
True
Suppose 10 = -2*h, 3*b - h = b + 19. Let i(j) be the first derivative of j**4/4 - 7*j**3/3 + 8*j - 6. Is 3 a factor of i(b)?
False
Is (4/(-6))/((-1540)/768 + 2) a multiple of 11?
False
Let t = 70 + 10. Does 30 divide t?
False
Let k(q) = q**3 - 7*q**2 - 6*q - 11. Let p be k(8). Let o(t) = t**2 + 7*t + 8. Let z be o(-6). Suppose p = -z*u + 53. Does 7 divide u?
False
Let p = 2 - 1. Suppose -3*l = -p - 14. Does 3 divide l?
False
Let g(x) = -99*x + 1. Let p be g(-1). Suppose 0 = -f - 2*z + p, 3*f - 2*z - 440 = -f. Does 9 divide f/8*2/3?
True
Let k = -165 + 252. Does 6 divide k?
False
Let n(z) = -3*z - 2. Let f be n(-2). Suppose 0*q + 2*q = 3*m + 21, -11 = 3*q + f*m. Let a(k) = 2*k + 2. Does 7 divide a(q)?
False
Suppose 15 + 60 = 5*o + 5*f, f = -2*o + 35. Let h be 2/(-7) - 8/(-28). Suppose -j - j + o = h. Is j a multiple of 5?
True
Let i = 23 - 15. Is i + 1 - (-8 - -5) a multiple of 6?
True
Suppose 4*x + 4*c - 176 = 0, 0 = -5*x + 2*c + c + 204. Is 6 a factor of (x/(-4))/((-2)/4)?
False
Is ((-12)/(-4))/((-3)/(-17)) a multiple of 17?
True
Suppose -t = 5*c + 2*t + 87, -5 = -5*t. Is (-122)/c + (-4)/(-18) a multiple of 7?
True
Suppose 5*c = 3*g + 171, 4*c - 21 = 3*g + 114. Let r = c - 14. Does 11 divide r?
True
Let j(p) = -p - 1. Let d be j(-1). Let a = d - -26. Is 13 a factor of a?
True
Let m(d) = -3*d**3 + 25*d**2 - 22*d + 18. Let n(w) = w**3 - 8*w**2 + 7*w - 6. Let v(t) = -3*m(t) - 8*n(t). Let y be v(10). Is 6 a factor of (-56)/(-6) + (-4)/y?
False
Let i = 6 + -4. Let p = -6 + i. Let r(z) = -2*z**3 - 7*z**2 - 5*z - 1. Is 15 a factor of r(p)?
False
Suppose 6*w = 2*w + 160. Suppose p + w = 7. Let u = 55 + p. Does 9 divide u?
False
Suppose -3*x - 2*f = 2, -2*f = -x - 5*f - 10. Let u be 4/(-6) + 6/9. Suppose -d - x + 10 = u. Does 4 divide d?
True
Let o(m) be the second derivative of -m**5/20 + 7*m**4/12 + 3*m**2/2 - 4*m. Is o(6) a multiple of 18?
False
Let m(d) = d**2 + 10*d + 11. Let z be m(-9). Suppose 0 = c + z*o - 27, -c = c - 5*o - 18. Suppose -c = -n - a, -2*n + 0*a = -2*a - 54. Is 23 a 