7 a factor of p(-6)?
False
Let c = -9 + 7. Let u = c - -20. Does 18 divide u?
True
Let p(x) be the first derivative of 3*x**2 - x - 2. Let o be p(1). Let b(f) = 2*f**2 - 5*f - 1. Is 15 a factor of b(o)?
False
Suppose -3*x = 4*s - 148, -s - x = -4*x - 52. Is 10 a factor of s?
True
Let r(n) = 2*n**2 + n - 2. Let f be r(-2). Suppose -h + 0*g + 5*g = -53, -f*g = 2*h - 50. Is 20 a factor of h?
False
Let u = -13 + 15. Is (27/3 - u)*6 a multiple of 11?
False
Suppose 2*r - 5*r = -5*k + 602, -3*r = 5*k - 608. Is 12 a factor of k?
False
Let o be (-6)/27 + (-536)/18. Let y = o - -49. Is 18 a factor of y?
False
Let i(g) = g + 1. Let c(b) = 5*b + 6. Let f(v) = -c(v) + 3*i(v). Let z be f(-3). Suppose 0 = 4*s + j - 18 - 15, 0 = -s - 2*j + z. Is s a multiple of 8?
False
Does 12 divide (9/(45/(-10)))/((-1)/25)?
False
Let p(u) = -u**2 + 6*u + 1. Let k(y) = y**3 - 10*y**2 + y - 6. Let c be k(10). Suppose c*l - 28 = -8. Does 2 divide p(l)?
True
Let x(i) = 20*i**3 - i. Let v(a) = a**3 + a. Let y(q) = 2*v(q) + x(q). Is y(1) a multiple of 9?
False
Is (-356)/(-10) - (-30)/75 a multiple of 18?
True
Let k be (-35)/2*(-20)/(-25). Let v = k + 28. Is 14 a factor of v?
True
Let l = 44 + 4. Does 27 divide l?
False
Let u(m) = -m + 8. Let t be u(5). Suppose 2*v + 3*v - 360 = -5*b, t*b - 78 = -v. Does 18 divide v?
False
Let n = 176 + -76. Is 25 a factor of n?
True
Let t(a) be the first derivative of a**4/4 + 2*a**3 - 5*a**2/2 - 7*a - 3. Is t(-6) a multiple of 14?
False
Suppose -7*a = -4*a - 12. Suppose -h - a = 3*h. Let l = 7 - h. Is l a multiple of 4?
True
Suppose -7*n + 3*n - 2*p = 104, -100 = 4*n + 4*p. Let o = n + 42. Is o a multiple of 15?
True
Suppose 111 = 5*p - 139. Is p a multiple of 10?
True
Let g = 19 - 13. Is ((-8)/10)/(g/(-60)) a multiple of 6?
False
Let j be (1 - (0 + 3)) + 110. Suppose 6*h = 3*h + j. Suppose 0 = -3*o + 4*r + h, -2*r + 20 = 4*o + 2*r. Does 5 divide o?
False
Let s = 71 - 1. Let h = -43 + s. Is h a multiple of 10?
False
Let x = 1 - -3. Suppose x*s = 3*q - 5*q + 4, 3*q + 3*s - 9 = 0. Suppose 4*z - 86 = -5*p, -44 = -q*p - 3*z + 6*z. Does 5 divide p?
False
Suppose 7*m = -0*m + 490. Does 17 divide m?
False
Let g(q) = 7*q + 11. Let v be g(-3). Let c = 20 + 12. Let i = c + v. Does 19 divide i?
False
Suppose -3*a = -3*l - 366, -126 = -4*a - 5*l + 389. Is a a multiple of 19?
False
Let k = 52 - 37. Is k a multiple of 10?
False
Let w(a) be the first derivative of -3*a**5/10 - a**4/12 + a**3/6 + a**2/2 - 2*a - 1. Let o(j) be the first derivative of w(j). Is 5 a factor of o(-1)?
True
Let z(a) = -a**2 + 1. Let b(d) = d**3 + 8*d**2 + 4*d. Let t(r) = b(r) + 2*z(r). Suppose 2*v + 8 = -3*v - 3*k, 4*v + 32 = 4*k. Is 6 a factor of t(v)?
True
Suppose -2*r = -o + 3*r + 28, 5*r = -5*o + 80. Is 3 a factor of o?
True
Is 2019/12 + (-1)/4 a multiple of 24?
True
Suppose 0 = -b + 6*b. Suppose b = v - 2, -5*i = -4*v + v - 29. Suppose 0*t = t - i. Is t a multiple of 7?
True
Let v = 26 - 54. Suppose -4*g - 106 + 402 = 0. Let u = g + v. Is 14 a factor of u?
False
Let s = 1 - -1. Suppose 0 = s*l - 0 - 4. Suppose 0*h + 60 = l*h. Does 15 divide h?
True
Let a = -109 - -164. Is 11 a factor of a?
True
Suppose 5 = -t - 2*j + 1, -5*j - 20 = 0. Suppose a - 14 - 30 = t*p, 135 = 5*a - 3*p. Does 12 divide a?
True
Let f(m) = 4*m**2 - 6*m - 7. Does 27 divide f(-4)?
True
Let w be 6/5*20/8. Let n be 0*(w + (-2)/1). Let p(f) = f**2 - f + 17. Is p(n) a multiple of 6?
False
Let s(x) = -4*x**2 - 2*x + 2*x**2 + 1 - 4*x + 3*x**2. Let g be s(5). Let p(u) = -13*u - 3. Does 13 divide p(g)?
False
Suppose 0 = -3*k + 9, -3*p + 48 = -0*p + 4*k. Does 12 divide p?
True
Let b be 2*(-1 - (-14)/4). Does 12 divide -4 + b + 24 + 1?
False
Does 2 divide 14/(-21)*1 - (-94)/6?
False
Suppose -5*j = -0*j + 3*b - 27, -5*j + 3*b = -3. Suppose -j*s = -2*d + 5*d - 138, -20 = 4*d. Is 17 a factor of s?
True
Let b = -59 + 240. Suppose 0*o = -4*w - o + 248, -2*o + b = 3*w. Is w a multiple of 17?
False
Let s(y) = -y**3 - 3*y**2 - 2*y + 2. Let g be s(-2). Suppose g*t + 78 = 2*i, -4*i + 3*t + 149 = -4. Is 18 a factor of i?
True
Suppose z + 170 = -4*z. Let t = z - -51. Is 7 a factor of t?
False
Let y(b) = -3*b**3 - b**2 + b - 1. Let r be y(1). Let d = 2 - r. Does 4 divide d?
False
Let x(w) = -w**3 + 8*w**2 + w + 5. Let g(p) = p**2 - 8*p + 8. Let n be g(8). Is 3 a factor of x(n)?
False
Let b(j) = -j**3 + 8*j**2 + j - 5. Let o be b(8). Suppose o*z + 7 = -3*y - 5, 3*y = -z - 12. Suppose z*q + 4 = 2*q. Is q a multiple of 2?
True
Let r = 74 - 25. Suppose 2*t = -g + r, 3*t + 4*g - 108 = -t. Does 7 divide t?
False
Let n(h) = 0*h**2 - h**2 - 3*h**2 - 30*h**3 + 3*h**2. Is 8 a factor of n(-1)?
False
Let f(y) = -9*y + 4. Does 20 divide f(-4)?
True
Let b(r) = -r**3 + 6*r**2 + 6. Let f be b(6). Let x = -1 + f. Suppose 4*a + 25 = x*a - w, 5*w + 77 = 3*a. Is 12 a factor of a?
True
Let w be 1 + -40 + 1 + -2. Let d = -10 - w. Is d a multiple of 10?
True
Let w(o) = 8*o - 6. Let p(y) = -5*y + 4. Let i(g) = 7*p(g) + 5*w(g). Is 13 a factor of i(3)?
True
Suppose 0 = -2*l + 6 - 2. Let t(k) = -2*k**2 - 3 - 4*k**3 + 0 - k + l. Is t(-2) a multiple of 15?
False
Suppose -29 = 3*a - 281. Is a a multiple of 14?
True
Suppose 0 = 3*i + 5*d - 1, -i + 8 = 5*d + 1. Let u(h) = 8*h + 4. Let k be u(i). Let m = k + 40. Does 20 divide m?
True
Let l = -3 - -3. Suppose 5*w + 6 - 46 = l. Is w a multiple of 7?
False
Suppose 6*q - 24 = 3*q. Suppose -x - 1 = 2*l - q, l = -x + 1. Does 6 divide l?
True
Let h = -23 - -15. Let b = -5 - h. Suppose j = -3*w + 26, 0 = -b*j + 4*w - 31 + 122. Is 11 a factor of j?
False
Does 8 divide (-1 + 0)*6/(-6) - -15?
True
Suppose -4*i + 19 = 3*g, 3*g - 16 - 48 = 5*i. Let c = 21 - g. Is c a multiple of 5?
False
Let g(j) = j**3 - 7*j**2 - 7*j - 7. Let c be g(8). Let u be c/(((-3)/(-15))/(-1)). Is 9/(-15) - 193/u a multiple of 13?
False
Let y be -4*(2*-1 - -1). Suppose y*u + 42 = u. Let v = 21 + u. Is 7 a factor of v?
True
Let b be ((-1)/3)/((-3)/45). Suppose 5*f - r = 199, -5*f + 5*r = -4*f - 59. Suppose b*n + f = 194. Is n a multiple of 15?
False
Suppose -2*v - 6 = -26. Let l = v - 7. Is l a multiple of 2?
False
Let p(n) = -n - 9. Let o be p(-14). Suppose o*t = -c + 77, 2*c - 3 = -t + 7. Is t a multiple of 6?
False
Let c = -2 + 8. Let i = -3 + c. Does 3 divide (-1)/(3/(-24)) + i?
False
Let x(r) = -1. Let c(o) = o**2 - 10*o - 2. Let n(q) = -c(q) - x(q). Let m(f) = f**2 + 4*f - 3. Let j be m(2). Is n(j) a multiple of 6?
True
Let a = -15 - -9. Let p = a - -5. Does 13 divide 3/3 + 13 + p?
True
Suppose -2*s - 132 = 3*m + s, -5*s = m + 48. Let a = -7 - -89. Let t = m + a. Is t a multiple of 13?
True
Suppose -3*g + 0*g + 192 = 0. Does 17 divide g?
False
Suppose 0 = -4*i + 3*t + 341, -t = 3*i + 44 - 303. Is i a multiple of 24?
False
Let g(i) = 160*i**2 + 3*i - 2. Is g(1) a multiple of 10?
False
Let m be (0 + 18 + 2)/2. Does 14 divide (-6)/(-30) - (-388)/m?
False
Let h(y) = y**3 + 8*y**2 + y - 3. Is 21 a factor of h(-6)?
True
Suppose 0 = 3*w - 2*s + 24, s - 2 = -3*w - 17. Suppose 30 = -2*m - 0. Is 7 a factor of (w/(-4))/(m/(-140))?
True
Suppose -1802 + 512 = -5*l + 3*k, 258 = l - 3*k. Is l a multiple of 43?
True
Suppose y = 2*c - 7, 7*c + 4*y + 2 = 2*c. Let r(u) = 2*u - 1. Let d be r(c). Suppose d*x = 4*x - 23. Does 8 divide x?
False
Suppose -x - 2*x = 4*w - 41, 0 = -x - w + 12. Let h be (-53)/(-17) - ((-66)/17 + 4). Suppose 2*g + 2*s - 14 = 0, -3*g = -h*s - 32 - x. Does 5 divide g?
True
Let j(m) be the third derivative of -3*m**4/8 - m**3/3 - m**2. Let x be -2*(-2 + 7/2). Is j(x) a multiple of 9?
False
Let c(n) be the second derivative of -n**3/6 + 5*n**2/2 - n. Let f be c(4). Is 3 a factor of (-87)/(-15) - f/(-5)?
True
Suppose -4*u + 9*u - 25 = 0, j - 5*u - 30 = 0. Is j a multiple of 15?
False
Let k be (0/(0 - -2))/(-1). Suppose k = 7*r - 10*r + 39. Is r a multiple of 6?
False
Let v(u) = 3*u - 4 + 2*u - 2*u. Let a(w) = -w + 1. Let n(m) = -6*a(m) - v(m). Does 4 divide n(3)?
False
Suppose 5*w + 5*u - 671 + 46 = 0, -5*u = 4*w - 499. Is w a multiple of 21?
True
Suppose v + v = 3*b + 647, -4*v + b = -1289. Is v a multiple of 14?
True
Let r = 10 + -5. Suppose 3*l = -2*o + 1 + 10, r*o = -10. Suppose -b = l*f - 6*b - 115, -61 = -2*f - 3*b. Does 13 divide f?
True
Let i(b) = b**2 - 5*b - 3. Suppose f - 32 = -3*f. Does 5 divide i(f)?
False
Let j = -7 - -14. Is 4