3 a factor of p?
False
Let y(h) = -h**2 + 5*h - 4. Let d be y(4). Suppose 3*m - 170 + 35 = d. Does 15 divide m?
True
Let q(m) = 9*m - 3. Let b be q(-3). Let c = 23 + 48. Let o = c + b. Is 14 a factor of o?
False
Let z(i) = -i**2 + 8*i - 9. Let t be z(6). Suppose 13 = 2*p - 5*h, -p = 2*p - t*h - 33. Is p a multiple of 4?
False
Let u = 3 + 2. Suppose -u*c + v + 99 = -117, -4*v = -4*c + 176. Is c a multiple of 18?
False
Let k = 6 - 3. Suppose k*x + 4*o = o + 9, -4*x - 28 = -4*o. Is (-176)/4*1/x a multiple of 11?
True
Let u(f) = f**2 - f. Let j(c) = c**2 + 0*c + 0 - 5*c**2 + 3*c - 4. Let b(a) = j(a) + 5*u(a). Is b(4) a multiple of 2?
True
Suppose 12 = -f - 5*z, -5*z + 1 - 7 = -2*f. Let n be f/5 - (-68)/20. Suppose 0*l + 39 = n*l. Is l a multiple of 5?
False
Let j(x) = -x**3 - 8*x**2 - 9*x. Let l = -5 + -2. Does 14 divide j(l)?
True
Is (-5656)/(-63) + (16/18)/4 a multiple of 13?
False
Let q(k) = -33*k + 9. Let c be q(7). Let y be c/(-8) - (-1)/4. Let a = y + 0. Is 12 a factor of a?
False
Let u(a) = 3*a - 4. Let j be (5 - 0)*(-2 + -3). Let k be (-2)/(-4) + j/(-10). Is u(k) even?
False
Suppose 0 = -m + 9 + 27. Is 5 a factor of m?
False
Let u(b) = -8*b. Is 10 a factor of u(-5)?
True
Let c = 6 - 4. Let d = -4 + c. Let u(a) = a**3 + 3*a**2 - 2. Is u(d) a multiple of 2?
True
Suppose -3*r + 14 = g - 6, 3*g - 5*r = -10. Suppose -4*n = -3*j - 71, 4*n = -0*n + g*j + 81. Is n a multiple of 14?
True
Suppose -5*w + 30 = 5. Let b be (-3)/3 - -13*w. Suppose 7*c - b = 3*c. Does 7 divide c?
False
Let d be (-2)/8 - (-21)/4. Suppose -d*n + 3*n = -68. Does 18 divide n?
False
Let z(g) = -5*g + 10. Let h = 7 - 14. Is z(h) a multiple of 7?
False
Does 9 divide ((-11)/(-2) - 4)*30?
True
Let g be (2 - 11)/((-3)/(-2)). Is (-50)/(-4) - 3/g a multiple of 13?
True
Suppose 0 = -k + 2*w + 134, -3*k + 0*w - 4*w + 452 = 0. Is 12 a factor of k?
True
Suppose -3*z + 6*z = 24. Let u be 1 - 1 - z/(-2). Suppose -c - 4*k = -11, u = -c - 2*k + 25. Is 12 a factor of c?
False
Let q be (-2)/(-3 - -1)*15. Suppose 89 = 4*h - q. Does 26 divide h?
True
Let f be 1 - 0 - 0/(-5). Let l(p) = 65*p**3 + p**2 + p - 1. Does 25 divide l(f)?
False
Let x(v) be the second derivative of -v**5/60 - 3*v**4/8 + v**3 - v**2 - v. Let c(k) be the first derivative of x(k). Does 21 divide c(-5)?
False
Suppose -5*p = 2*l + 3*l - 25, 0 = -3*p + 6. Let c(z) be the first derivative of 4*z**3/3 - 3*z**2/2 - z + 2. Is 9 a factor of c(l)?
False
Is (-3)/4*(-118 + -10) a multiple of 6?
True
Suppose 5*t - 400 = 5*x, 0*t = -t + 5*x + 68. Let v = t + -58. Is v a multiple of 9?
False
Suppose 5*v + 15 = -10. Suppose 0*z + 3*z - 39 = 3*p, 0 = 2*p + 6. Let r = z - v. Is r a multiple of 15?
True
Let d(l) be the second derivative of -l**3/6 - 3*l**2/2 + l. Let g be d(-8). Suppose g*i - 4 = 3*i. Is i a multiple of 2?
True
Suppose 3*x + 4*p - 1 - 3 = 0, 3*p + 26 = 5*x. Suppose x*l - l = 84. Is 14 a factor of l?
True
Let f be (-4)/14 + 80/(-14). Does 9 divide (4 - f)/(1/2)?
False
Suppose 2*r - 3*u - 8 = 0, 0*r - 4*u + 4 = r. Suppose 0 = r*q + q - 30. Does 2 divide q?
True
Let g(x) = 5*x**2 - 1. Let o be g(1). Suppose 0 = -o*j + j + 15. Suppose 14 = n - j*p, -4*n + 142 - 38 = 4*p. Is n a multiple of 12?
True
Suppose 3*p + 11 + 14 = r, -5*r + 125 = 4*p. Let f = 33 - r. Does 4 divide f?
True
Suppose -5*q + w + 4*w + 80 = 0, 4*q = 5*w + 69. Is 4 a factor of q + -5 + 4/(-2)?
True
Let l = -111 - -426. Suppose 6*m = m + l. Does 21 divide m?
True
Let h = 43 - 23. Does 20 divide h?
True
Let o = 83 - 31. Let u be -1 - 0 - (-3 - 2). Suppose 3*s = 5*n - o, n + 3*s - 12 = u*s. Does 4 divide n?
True
Suppose -2*r + 3 - 5 = 0. Does 20 divide r/(2/4) - -23?
False
Let i = -132 - -84. Let x = i + 92. Is x a multiple of 11?
True
Suppose -4*o - 16 = 5*n - 3, 3*o - 5*n - 34 = 0. Suppose o*j + h = 2*h + 58, j - 4*h = 12. Is 20 a factor of j?
True
Is 20 a factor of (45 - 4) + -3 + 2?
True
Suppose 81 - 12 = 3*x - 3*g, 122 = 5*x + 2*g. Is x a multiple of 6?
True
Let d(z) = -z**2 + 15*z + 11. Let g(r) = -r**2 + 16*r + 12. Let f(l) = 3*d(l) - 2*g(l). Let j be f(10). Let t = 63 - j. Does 12 divide t?
True
Suppose j - 3*j + 48 = 0. Does 12 divide j?
True
Suppose 12*d = 7*d + 280. Is 16 a factor of d?
False
Suppose 13*p - 8*p = 3*a - 46, 5*a + 5*p - 10 = 0. Is 3 a factor of a?
False
Suppose -l + 0 - 3 = 0. Let n = 16 - l. Does 8 divide n?
False
Suppose 3 = -p + 17. Suppose 5*w - m - p = 6, -5*w = 2*m - 5. Is 2 a factor of w?
False
Let n(p) = -p**3 + p - p**2 + 21 - 2*p + 0*p. Is 7 a factor of n(0)?
True
Suppose 0 = 4*n - 7*n. Is (42/15 - n)*10 a multiple of 14?
True
Let u(t) be the first derivative of t**4/4 + 4*t**3/3 + t**2/2 + 4*t - 5. Let r = -6 + 3. Is 5 a factor of u(r)?
True
Let w = -11 + 22. Let l(h) = h - 1. Let f be l(-6). Let c = f + w. Is c a multiple of 4?
True
Suppose -2*f - 3 = -5*f. Let q(g) = 28*g**2 + g - 2. Is q(f) a multiple of 27?
True
Let s(g) = -5*g - 1. Let l = -14 - -8. Is s(l) a multiple of 29?
True
Let p = 1 + -1. Suppose -3*u - u + 3*x = -142, p = u - x - 36. Is u a multiple of 17?
True
Let x be (-1)/1 - (-5 - -2). Suppose -x*q = -7*q - 125. Let t = 73 + q. Is t a multiple of 20?
False
Suppose 3*r - 4*t = -2*t + 5, 0 = -3*r + 3*t. Suppose -4*g - 5*v = 25, 0 = -r*g - 2*v - 2*v - 29. Let q(w) = -8*w - 3. Is 15 a factor of q(g)?
False
Let j(g) = -g**2 + 11*g - 10. Let t be j(8). Suppose -5*i + 4 - t = 0, 0 = 3*y + 5*i - 113. Is y a multiple of 21?
False
Let k(f) = 65*f**2 + 1. Let l be k(-1). Suppose 5*a - 39 = l. Is 21 a factor of a?
True
Suppose -y + 34 = -72. Is 14 a factor of (y/(-8))/((-1)/4)?
False
Suppose 4*c = 7*c - 15. Suppose 4*w = 0, -5*w + 270 = c*x + 65. Is x a multiple of 11?
False
Let r(d) = 18*d**2 + 2*d - 1. Let a be r(1). Suppose 0 = -w + 2*w - a. Is w a multiple of 19?
True
Let k(b) be the third derivative of b**4/2 - b**3/6 + 3*b**2. Is 11 a factor of k(1)?
True
Let q(y) = 13*y - 2. Is q(3) a multiple of 23?
False
Suppose 2*c + t = 6*t - 9, -4*c - 33 = 5*t. Let h(u) = -u**3 - 6*u**2 - 5*u - 8. Does 20 divide h(c)?
False
Suppose 0 = 3*f - 3*p - 186, 17 = 4*p + 5. Does 14 divide 1*1/(-1) + f?
False
Let p(f) = -4*f**2 - 6 + 31 + 3*f**2 + f. Does 25 divide p(0)?
True
Let y(n) = n**2 - 5*n + 6. Let j be y(4). Suppose m = j + 3. Suppose r + 28 = 5*v - 7, -3*r + 15 = m*v. Does 3 divide v?
True
Is 4/6 + (-2535)/(-45) a multiple of 19?
True
Let l(y) = y**2 - 3*y + 2. Let t be l(5). Let i = t - 24. Let o = i + 32. Does 7 divide o?
False
Let l(x) = -x**2 - 10*x - 3. Is l(-7) a multiple of 5?
False
Suppose -h = -r - 7, -4*h - r + 4*r + 26 = 0. Let x(w) be the third derivative of w**4/8 - w**3 + w**2. Does 4 divide x(h)?
False
Suppose -5*t + 0*y + 804 = -3*y, -2*y - 482 = -3*t. Does 18 divide t?
True
Let g(h) = 21*h**2 - h - 2. Let t be g(2). Suppose 3*w - 7*w = -t. Is w a multiple of 10?
True
Let s(o) = 4*o**2. Let k be s(-1). Let z = k + 19. Is z a multiple of 23?
True
Let u(j) = -j - 15. Let d be u(-7). Let m(v) = -v - 5. Is 2 a factor of m(d)?
False
Let j = 18 + -8. Is 18 a factor of 194/10 + (-4)/j?
False
Suppose -3*n - 92 = t + 3*t, -n + 3*t - 48 = 0. Is (-6)/(-8) - 2493/n a multiple of 14?
True
Let q = -38 + 62. Suppose q = c + c. Is 7 a factor of c?
False
Suppose -7 - 8 = -3*v. Suppose v*c + 15 = 0, 8 = 4*d + 4*c - 12. Is d even?
True
Suppose -b + 3*b + 4*s = 14, 0 = -3*b - 4*s + 21. Let r(a) = 3 + a**2 + 0 - 3*a + 1. Is r(b) a multiple of 16?
True
Let w(m) = m**2 + 11*m - 2. Does 7 divide w(-13)?
False
Let c = -26 + 39. Is 6 a factor of c?
False
Suppose -3*l + 1 + 5 = 0. Is 4 a factor of l/1 - 12/(-2)?
True
Let m(p) = -p**2 - 5*p - 4. Let t be m(-5). Let n = 10 + t. Suppose y - n*y = -100. Is y a multiple of 8?
False
Let q = 85 - 49. Does 18 divide q?
True
Suppose 5*c - 85 = -0*c. Let b = c - -7. Is 12 a factor of b?
True
Suppose 29 = 3*k - 46. Does 25 divide k?
True
Let f be (-762)/(-10) + (-1)/5. Let u = 7 + 1. Suppose -3*p = 4*q - f, -2*p + 4*p - u = 0. Is 6 a factor of q?
False
Let m be (3/(-2))/(3/(-80)). Suppose -f = 5 - m. Does 13 divide f?
False
Suppose 48 = -2*u - 0*u. Let s be ((-104)/6)/((-2)/6). Let q = u + s. Does 14 divide q?
True
Suppose 4*a - 20 = -a. Let i(d) = -17*d + 1. Let c be i(-2). Suppose -3*u = -c - a. Does 7 divide u?
False
Suppose 4*w - 2*k - 152 = 0, 5*k = 4*k - 4. Is w a multiple of 18?
True
Le