ose k - 3*d - 88 = -8*d, 0 = 5*k - 2*d - 521. Is k prime?
True
Let u be ((-3)/(-6))/((-1)/10). Let s = 30 + u. Suppose w - v + 5*v - s = 0, -4*v - 50 = -2*w. Is w a composite number?
True
Suppose 0*r + 3*r + 97 = -4*y, -3*y = 3*r + 69. Let x = y + 59. Is x a composite number?
False
Let z = 1 - 1. Suppose 4*h + 2*j - 36 = z, -3*h + 4*j + 3 = -2. Let n = 162 - h. Is n prime?
False
Let f(p) be the third derivative of -p**4/24 - p**3 + 3*p**2. Let a be f(-5). Let d(c) = -19*c. Is d(a) composite?
False
Suppose -10*z - 12 = -13*z. Is z a prime number?
False
Let d be ((-14)/(-6) - 3)*-12. Suppose -5*g = 3*k - 26 - 8, -4*g + d = -4*k. Suppose -k*c + 41 + 25 = 0. Is c prime?
False
Let b(q) = -q**2 + 8*q - 9. Let g be b(6). Let s be -14*(-4)/8 + -2. Suppose -2*m - 160 = -s*t + g*m, 0 = -t - 5*m + 26. Is t a composite number?
False
Suppose 5 = 2*a + 1. Let s = 6 - a. Is 4/(-6)*(-114)/s a composite number?
False
Suppose 0 = i + 119 - 930. Is i prime?
True
Let k be (-1)/(-2*4/488). Suppose 0 = -3*j - k + 448. Is j a composite number?
True
Let r be (-1)/3 - (-2)/6. Suppose 7 = 5*f - 18. Suppose 155 = -r*j + f*j. Is j composite?
False
Suppose -n - 5 = -6*n, 0 = -5*j - n + 666. Is (2/1)/(2/j) a composite number?
True
Suppose o = w - 6, -2*o = 4*w + w - 16. Let a(c) = -6*c**3 + c**2 - 3*c - 3. Is a(o) a prime number?
False
Suppose -9 = 5*i - 4. Let a = i + -2. Is -1*(-16 - (6 + a)) composite?
False
Let f(n) = -n**3 + 6*n**2 + 8*n - 3. Let a be f(7). Let i(l) = -l**2 + 4*l. Let m be i(a). Suppose m = -b + 2*b - 37. Is b a composite number?
False
Suppose -2*p + 3*r + 2 = 6, 0 = p + 3*r - 16. Suppose 3*m = -m + 5*a + 905, 0 = 2*m + p*a - 472. Let c = m + -45. Is c a composite number?
True
Let x(g) = 6*g**3 + 5*g**2 + 11. Is x(5) prime?
False
Let c(n) = -n**2 - 11*n - 1. Let w be c(-8). Is (w/(-4))/((-1)/28) composite?
True
Let o(s) = s - 13. Let x be o(16). Suppose 2*c = 2*r + 310, -4*r - 313 = -2*c - x*r. Is c a prime number?
False
Suppose 17 = -v + 44. Let o be (-4)/18 + 6/v. Let m(g) = -g**3 - g**2 + g + 14. Is m(o) a composite number?
True
Suppose 0*x - 4*x = -40. Suppose -x = -4*o - 2. Suppose 57 = r + o*w + 18, 4*r = 3*w + 156. Is r prime?
False
Suppose 21 = 5*h + 4*a, -4*h - 4*a - 14 = -6*h. Suppose 0 = -5*t + 3*y + 35, 0 = h*t - 5*y - 15 - 30. Is ((-10)/(-1))/(t/22) a composite number?
True
Suppose 0 = p - 15 + 46. Let y = -19 - p. Let a(x) = x**2 - 9*x - 1. Is a(y) prime?
False
Let y be (2 - 1/1) + 93. Suppose 4*m - y = i, 4*m - 3*i = -i + 96. Is m a prime number?
True
Let c(d) = 144*d - 13. Is c(3) a composite number?
False
Let o = -82 - -128. Suppose 63 = 3*q - 66. Let r = o + q. Is r a prime number?
True
Let w be 4/18 - (-129)/27. Let z = -3 + w. Is z prime?
True
Let w(m) = -9*m**3 - 5*m - 9. Is w(-4) a composite number?
False
Let v(x) = -x**3 - 8*x**2 + 3. Let r(c) = c**2 + 7*c + 8. Let d be r(-6). Suppose -d*w - 2*l - 2*l = 24, 3*w - l + 22 = 0. Is v(w) composite?
False
Let k(x) = x**3 + 11*x**2 - 8*x - 2. Let h(p) = p**2 - p + 1. Let u(j) = -5*h(j) + k(j). Is u(-5) composite?
True
Suppose 5*r - 7281 = 2569. Suppose -5*k - 5*o = -r, -3*k + 0*o = -4*o - 1189. Is k a composite number?
True
Let m(x) = -6*x**3 - 31*x**2 - 24*x + 25. Let t(z) = -z**3 - 6*z**2 - 5*z + 5. Let l(d) = -2*m(d) + 11*t(d). Let a be l(6). Let s = -21 + a. Is s prime?
False
Let u be 0 + (2 - 2) + 720. Suppose 5*a - u - 85 = 0. Is a a prime number?
False
Suppose -654 = -0*b - 2*b. Let k = 225 - b. Let j = k + 169. Is j prime?
True
Is (-4)/(-10) - 4977/(-45) a composite number?
True
Suppose -29*u + 1758 = -23*u. Is u a prime number?
True
Is (24294/(-24)*1)/(2/(-8)) a prime number?
True
Let u(c) = 6*c + 1. Suppose -2*g + 4 = 5*s - 16, 4*g - s = 84. Suppose -3*n + g = n. Is u(n) prime?
True
Suppose 4*s - 5*s = -1889. Is s a composite number?
False
Let c(k) = 3*k**2 + 2*k - 2. Let y be c(-2). Suppose -5*r - y - 24 = 0. Is 98/(-3)*9/r a prime number?
False
Let y(a) = 7*a**2 + 4*a - 8. Suppose 3*t + 17 = -4. Let p be y(t). Suppose 78 + p = 5*s. Is s a composite number?
True
Let q(s) = -s**2. Let i(j) = 9*j**2 + 9*j + 0*j - 7 + j**3 + 0*j. Let w(t) = i(t) - q(t). Is w(-7) composite?
True
Suppose 82 = y + 3*l - 63, -435 = -3*y - 5*l. Is y prime?
False
Suppose -640 = -4*j + 2*s, 5*s + 9 = -j + 147. Is j a prime number?
False
Let x be 92/28 + (-4)/14. Let p(i) = -20*i + 5. Let c be p(-3). Suppose 2*l = x*l - c. Is l composite?
True
Is ((-530)/(-20))/((-1)/(-14)) composite?
True
Let x = -527 + 1866. Is x composite?
True
Let n(r) = -112*r**3 - 2*r**2 - 2*r - 1. Is n(-1) prime?
False
Let q = 4383 + -2650. Is q a composite number?
False
Let o(k) be the second derivative of 7*k**3/6 + k**2/2 - k. Is o(6) composite?
False
Let w(l) = -2*l**3 - 10*l**2 - 13. Is w(-9) composite?
True
Suppose 397 - 4779 = 2*i - 5*t, 4*t + 4400 = -2*i. Let j be i/(-15) - (-8)/(-20). Suppose j = -0*f + f. Is f a composite number?
True
Suppose 4*g + 151 = 3*f, 3*f + 4*g = -0*f + 119. Let j be f/20 - 2/8. Suppose 59 = 3*x - j*x. Is x composite?
False
Is 2/(-14) + 454*12/14 composite?
False
Suppose 0 = 31*m - 12*m - 4997. Is m composite?
False
Suppose 5*v + 560 - 2561 = -4*w, 2*w - 1201 = -3*v. Let l = v - 282. Is l prime?
False
Let p = 12 + -6. Suppose -485 = r - p*r. Is r a prime number?
True
Suppose -2*m + 43 = -m. Is m composite?
False
Let z = -1781 + 2698. Is z a composite number?
True
Let o = -183 + 287. Suppose 2*n = -0*n + 3*b + o, 3*n - 126 = -3*b. Is n a composite number?
True
Suppose -7 = -5*z - 22, 0 = -5*y - z + 11092. Is y composite?
True
Let a be 11/3 - 2/3. Suppose 0 = 5*p + 2*w - 1175, 4*p + 0*w - a*w = 917. Is p prime?
True
Suppose -5*h + 0 = -15. Suppose 3*n - q + 2 = 0, 2*n + 0*n + h*q = 17. Suppose n + 25 = g. Is g a composite number?
True
Suppose t - 10 = 4*o, -4*t = t + 5*o. Suppose 16 = t*n - 0*n. Is (-151)/(-4) + (-6)/n a prime number?
True
Let k(n) = -n - 2. Let s be k(-3). Let o(r) = 4*r**3. Let c be o(s). Suppose -c*y - 22 = -106. Is y a composite number?
True
Let v = -4 + 7. Let c = v + 0. Suppose -h - 2*h + 2*k - 4 = 0, c*h - 5*k = -19. Is h prime?
True
Let j(o) = -3*o**3 + 9*o**2 + 8*o + 11. Let h(i) = -i**3 - i**2. Let p(c) = 2*h(c) - j(c). Is p(12) composite?
False
Let g(j) = -2*j**3 - j**2 + 1. Let y be g(-1). Let x(v) = 28*v**2 + 2*v - 2. Let t be x(y). Suppose -4*l + 2*z = -28 - t, -3*l + z = -106. Is l a prime number?
False
Let w = 51 + -28. Let x = w - -23. Is x composite?
True
Let b(d) be the second derivative of d**6/360 + d**5/10 + d**4/6 - d**3/2 + d. Let o(p) be the second derivative of b(p). Is o(11) a prime number?
True
Suppose 2*i - 4*n - 14 = 0, 3 = -i + 3*n - 6*n. Suppose 5*p = 2*z + 3 + 8, -i*p + 2*z + 9 = 0. Is 9 + (p + -2 - -2) prime?
False
Suppose 2*f + 1 - 15 = 0. Let w = f - 2. Suppose -3*s + 9 = 3*z, -2*z - 3*s + 10 = -w*s. Is z prime?
False
Suppose -17 + 69 = -4*l. Let n = 19 + l. Suppose -y + j + 9 = 0, 4*j = n + 2. Is y a prime number?
True
Suppose z - 5*n - 171 = 0, -2*n - 448 = 2*z - 5*z. Suppose -2*t - 3*d = -79, -3*t + 3*d - 2*d = -z. Is t a prime number?
True
Let o(v) = v**3 - 4*v**2 + 2*v + 3. Let t be o(3). Suppose t = -w - 4*d + 47, -2*w = 4*d - d - 109. Is w composite?
False
Let l(o) = o**2. Let m(w) = -16*w**2 - w + 5. Let f(z) = -4*l(z) - m(z). Is f(4) a composite number?
False
Let a = 93 + -6. Is a prime?
False
Suppose 6*h - 7*h + 26 = 0. Is h prime?
False
Suppose -3*l + 4*k = 9, 0 = 5*l - 5*k + 4 + 6. Let x be 10/l + -1 + 0. Let g = 122 - x. Is g prime?
True
Suppose 0 = -d - 2*d + 633. Is d prime?
True
Suppose 0*m - 12 = -3*m. Suppose -o = m*o. Suppose o*c - 12 = -2*c. Is c a prime number?
False
Is -467*(-4)/5 - 3/5 a composite number?
False
Let h = -4 - -53. Is h composite?
True
Let x = 3 - -6. Let p be x + (-2)/(6/(-3)). Is (52/6)/(p/15) composite?
False
Let y(p) be the third derivative of p**6/120 - p**5/60 + p**4/24 - p**3/6 + 2*p**2. Let k be y(1). Suppose -5*a + 23 + 12 = k. Is a composite?
False
Let g be (3/(-2))/(3/(-6)). Let o(x) = 15*x + g + 2 + 6*x. Is o(6) a composite number?
False
Suppose 0*m + 50 = -5*z + 5*m, -5*m = 5*z + 30. Let w = z + 5. Let d(x) = -x**3 - x**2 - x - 2. Is d(w) prime?
True
Let o(t) = t - 6. Suppose 0 = -3*p + 3, -3*y + 5*y - 2*p = 8. Let g be o(y). Is 2/3*87 - g composite?
False
Suppose u + 1587 = 2*t, -5*t + 3*u