 Let u be y(-1). Suppose f = -f + q, -5*k - 2*f = -u. Is k composite?
False
Suppose 30 = 2*m + 3*m. Is (-5 - m/3)/(-1) a composite number?
False
Let s be (0 + 6/(-7))*-7. Let n = s + -1. Let q(l) = l**3 + 3*l + 5. Is q(n) a prime number?
False
Let n(v) be the third derivative of v**7/5040 + 31*v**6/720 + v**5/60 + v**2. Let j(z) be the third derivative of n(z). Is j(0) a prime number?
True
Suppose 647 - 1787 = -3*p. Suppose -5*a - p = -9*a. Is a a prime number?
False
Let y(f) = 146*f - 23. Is y(5) composite?
True
Suppose -4*z - 2*v + 4380 = 0, 249 = -2*z + v + 2435. Is z composite?
True
Is 662*(-1)/8*-4 prime?
True
Is (-7 - -275)*3/(24/46) prime?
False
Let s be ((-6)/(-7))/(5/(-35)). Is (388/s)/(4/(-6)) prime?
True
Suppose 2807 + 4242 = 7*g. Is g a prime number?
False
Let o(w) = -5*w - 18*w**3 - 2*w**2 + w**2 + 7 + 3*w. Is o(-4) composite?
False
Suppose t + 3 + 3 = 0. Suppose -j - 4*w + 7 = -w, 0 = 3*w - 9. Is (4/t)/(j/39) a prime number?
True
Let t(v) = -36*v + 1. Is t(-15) a composite number?
False
Is 1/(-1) - (-414)/2 a composite number?
True
Let s(t) = -166*t + 1. Is s(-3) prime?
True
Suppose -2*a = 4*d - 648, -3*a + 5*d + 979 = 4*d. Suppose -a = 8*x - 10*x. Is x a prime number?
True
Let s = -462 + 314. Is 1/(4 - (-588)/s) composite?
False
Let r be -2 + (-16)/(-2) + -1. Suppose -r*p + 2*p + 201 = 0. Is p a prime number?
True
Suppose 0 = 3*c - h - 1038, c + 4*h - 49 - 284 = 0. Suppose d = -5*s + 5*d + c, 4*s - 250 = -2*d. Is s composite?
True
Suppose -2*c + 4*c = 74. Suppose -111 = -4*t + c. Is t a composite number?
False
Let n(h) = 8*h - 27. Is n(5) prime?
True
Let j = -47 - -78. Is j a composite number?
False
Let d(t) be the third derivative of t**6/8 + t**5/30 - t**4/24 + t**3/6 - t**2. Let j be d(-2). Let m = -50 - j. Is m composite?
False
Let b = 1019 - 600. Is b composite?
False
Let w(y) = 4*y**2 - 7*y - 13. Is w(18) composite?
True
Let d(n) = -n**3 + 15*n**2 - 10*n + 3. Is d(13) prime?
True
Let a(g) = -34*g - 3. Is a(-6) prime?
False
Suppose 3*i = -4*b - 6, -4*i = -5*b - 7*i - 6. Suppose a - 280 - 57 = b. Is a a composite number?
False
Let c be (-324)/(-15) + 6/15. Let f = c - -43. Is f a prime number?
False
Let u(s) = -2*s**3 - 3*s**2 + 2*s. Let a be ((-9)/12)/((-1)/(-4)). Let l be u(a). Suppose 0 = n - 2*n + l. Is n composite?
True
Suppose -4*x + 18 = -2. Let f be (-2)/(-11) - 168/(-44). Suppose x*k = f*a - 9*a + 1690, 1666 = 5*k - 3*a. Is k a composite number?
True
Let s(i) = 4*i**2 + 10*i - 1. Is s(7) composite?
True
Let a(p) = -36*p**2 + p - 1. Let t be a(1). Let x be t/8 - 2/(-4). Is (-79)/(-2)*(-8)/x a prime number?
True
Let p(t) be the second derivative of t**6/180 - t**5/20 - t**4/24 + t**3/3 + t. Let y(z) be the second derivative of p(z). Is y(-4) composite?
True
Let h(x) = 242*x - 7. Let n(a) = -81*a + 2. Let d(c) = 2*h(c) + 7*n(c). Is d(-1) a prime number?
True
Let g(z) = -z + 220. Let l be g(0). Let x = 379 - l. Is x composite?
True
Let i(n) be the first derivative of -n**5/12 - 2*n**3/3 + 2. Let r(a) be the third derivative of i(a). Is r(-1) a prime number?
False
Suppose -3*l - 25 = -5*v + 87, 5*v - 119 = -4*l. Suppose -161 = -4*r + v. Is r a prime number?
False
Let h(g) = g + 11. Let u be h(-9). Let w be 1 - (0 + 2 + 0). Let y = u - w. Is y prime?
True
Let n = 0 - -1. Suppose -z = -2 - n. Suppose z*m + 4*v = 50, -m - 6 = v - 24. Is m prime?
False
Let b be -4 + 4 - (2 + -10). Let l(h) = -h**3 - 6 + b*h**2 + 3 - 2 - 3*h. Is l(5) a composite number?
True
Let w(t) = t**3 - 7*t**2 + 6*t. Let u be w(6). Let d(c) = -c**2 + 4*c - c**3 - 5*c + u*c**2. Is d(-3) a prime number?
False
Suppose -6 = -4*h + h. Suppose -423 = -3*w + h*q, 2*w + w - q - 426 = 0. Is w composite?
True
Suppose 0 = -l - 0*l + 2605. Is l a composite number?
True
Is 2/9 + (-28202)/(-18) composite?
False
Let y = 532 + -89. Is y composite?
False
Let h = -10 - -7. Let m = h + 6. Suppose -m*f - 4*b + 93 = 0, -2*f = 3*b - b - 62. Is f a composite number?
False
Suppose 9 = -3*d - 3, -z - d = 2. Suppose 483 + 103 = z*r. Is r composite?
False
Suppose -2*h = -30 - 0. Is h a composite number?
True
Let d(u) = -u - 4. Let r be d(-4). Let x be (r/(-1))/(2/1). Suppose -n + 123 + 26 = x. Is n composite?
False
Let k(n) be the third derivative of n**5/5 - n**4/24 + 7*n**3/6 - 3*n**2. Is k(-4) composite?
True
Let q(o) = o - 2. Let n = -1 + 6. Let r be q(n). Suppose -3*z + 253 = 2*f, -r*z + 4*f - 2*f + 257 = 0. Is z prime?
False
Let a(g) be the third derivative of g**5/60 + g**4/12 + 2*g**3/3 + 2*g**2. Let q be a(4). Suppose y + 3*y = q. Is y a prime number?
True
Let k(a) be the second derivative of -a**5/120 + 3*a**4/8 + a**3/2 + a. Let y(d) be the second derivative of k(d). Is y(0) prime?
False
Let a be 2 + -6 + 3 + -3. Let v(d) = d**3 + 6*d**2 + d - 5. Is v(a) composite?
False
Let g = -6 - -4. Let v be (-2)/(-4)*g/1. Is (4 - 2) + v - -52 a prime number?
True
Suppose -5*j + b + 3573 = -10377, j = -4*b + 2769. Is j composite?
False
Let a(v) = 42*v - 3. Let q be a(-5). Is (-1)/4 + q/(-4) a prime number?
True
Let s(w) = 47*w - 5. Let c(a) = -24*a + 3. Let j(m) = -5*c(m) - 3*s(m). Suppose 0 = 2*n + 2*n + 4. Is j(n) a composite number?
True
Suppose 2*i + 382 = 4*i. Is i a composite number?
False
Let j = 71 + 92. Is j a composite number?
False
Suppose 0 = -4*i + 2 + 2. Is 17/i - (1 - -1) a prime number?
False
Let q = 986 + 83. Is q composite?
False
Suppose 0*a - 12 = -4*a. Suppose 2*b + 6*y = 2*y + 154, -b + a*y + 77 = 0. Is b a composite number?
True
Let v(n) = -14*n + 37. Is v(-11) prime?
True
Let d(h) = 216*h**2 - 11*h - 13. Let s(m) = 108*m**2 - 6*m - 7. Let y(n) = 6*d(n) - 11*s(n). Is y(2) prime?
True
Let f(k) = -k**3 - 5*k**2 - k + 1. Let m be f(-4). Let q = m - 4. Is (10/q)/(4/(-762)) a composite number?
False
Let i(o) = -5*o**3 - 3*o**2 + 6*o + 3. Is i(-4) a composite number?
False
Let x(j) = j - 9. Let w be x(7). Let s(y) = -50*y + 6. Is s(w) a composite number?
True
Let d(a) = a**2 - 2*a - 1. Suppose 2*f + 2*y = f + 4, -3*f + 2*y = 20. Is d(f) prime?
True
Let n be 3*(1 + 0/(-3)). Let c(r) = 28*r + 1. Is c(n) composite?
True
Suppose -5*q = -849 + 254. Suppose 3*l = -f + q, 0 = l + 4*l + 4*f - 189. Let d = -22 + l. Is d composite?
False
Suppose -14*d + 507 = -11*d. Is d a composite number?
True
Suppose 3*o - 2 = 7. Suppose o*w - 177 = 3*q, 75 = w - 4*q - q. Is w composite?
True
Suppose -f + 2842 = 4*r, -f + 2*r + 2847 = r. Is f prime?
False
Suppose -6*f - 5*g + 5292 = -3*f, 0 = -5*f + 2*g + 8789. Is f a composite number?
False
Let o = -7 - -9. Suppose -d + 0*d + 171 = o*v, -4*d = -20. Is v prime?
True
Suppose 3*x = x - 426. Let c be 0 + (-1 - 0 - x). Suppose -u + 159 = 2*u + 2*z, 4*u - 2*z - c = 0. Is u a prime number?
True
Let h = 2 - -445. Is h prime?
False
Let i(z) = z + 49. Suppose 0 = -2*k - 0*k. Is i(k) composite?
True
Let t = 2 + 0. Suppose -t*h - 2*i - 48327 = -7*h, 3*i - 48322 = -5*h. Is 4/18 + h/45 a prime number?
False
Suppose -3*t - 465 = -8*t. Is t prime?
False
Suppose -2*q = 2*f - 4*f - 22, -5*q - 50 = 2*f. Let i(b) = 3*b**3 - 3*b**2 - 4*b - 1. Let l be i(3). Let x = f + l. Is x a composite number?
True
Let l = -2109 + 4012. Is l composite?
True
Let l(n) = n**3 + 7*n**2 - 6*n + 4. Let g be l(-7). Suppose -4*c - 8 = -3*a - 35, 18 = -2*a - 3*c. Let p = g + a. Is p a composite number?
False
Suppose -4*p - 443 = -3*v, -3*v - 151 = -5*p - 596. Is v a composite number?
True
Let s(c) = -371*c - 11. Is s(-6) a composite number?
True
Let r = 154 - 71. Is r a prime number?
True
Let h be (-10)/4*(-14796)/30. Let n = h - 676. Is n composite?
False
Let x(m) be the third derivative of m**6/120 - m**5/10 + 5*m**4/24 - 7*m**3/6 + 2*m**2. Is x(6) prime?
True
Let l be (761*-1)/((-1)/1). Suppose 3*w = -3*v + 744 + 15, 3*w = -2*v + l. Let z = -128 + w. Is z a composite number?
False
Suppose -4*m + 1411 = -2*c - 287, 0 = -2*m - 2*c + 864. Is m composite?
True
Suppose o = -3*k + 1484, -o + 1235 = 4*k - 250. Is o a prime number?
True
Suppose r = 11 - 66. Let a = -6 - r. Is a composite?
True
Suppose a + 4*p + 713 = 6*a, 2*a - 293 = -p. Is a a composite number?
True
Suppose 3*n + 0*l = l + 1142, 783 = 2*n - 5*l. Is n a prime number?
True
Let q(y) = 17*y + 65. Is q(18) composite?
True
Suppose 3*d + 4 = 5*d. Is d a composite number?
False
Is (-2851)/(-7) + 12/(-42) a prime number?
