*o = -m, -588 = -4*k + 2*o. Is k composite?
False
Suppose 0 = -12*s - 17*s + 200419. Is s composite?
False
Let u = -3089 - -5368. Is u a composite number?
True
Let p(d) = d - 11. Let w be p(-7). Let r be w/(-9) - 1*-1. Is (r + -2)*-2 - -259 composite?
False
Let v(c) = c**3 - 3*c - 1. Let i be v(-2). Let n = -5 + i. Is 30768/12*(-2)/n a prime number?
True
Let o be (-54)/(-8) - 8/(-32). Let t = -7 + o. Suppose t = -3*y + 8*y - 935. Is y a prime number?
False
Let x(z) = 119*z**2 + 11*z + 25. Is x(-7) composite?
False
Let k(j) = 535*j + 66. Is k(5) composite?
False
Let y = -3678 + 11097. Is y a composite number?
True
Suppose -w - 9*a + 80135 = -7*a, 4*w - 320547 = -a. Is w composite?
True
Suppose 198*o = 196*o + 57022. Is o composite?
True
Let d = 80 - 77. Let v(g) = 100*g**2 - 9*g + 6. Is v(d) a composite number?
True
Let m = -3959 - -8256. Is m a prime number?
True
Let i be ((-1)/(-2))/((-6)/(-36)). Suppose -5*u = -i*u. Suppose -5*d - 950 = -5*o - u*d, 576 = 3*o + 3*d. Is o a prime number?
True
Let l(j) = -8*j + 3. Let p be l(7). Let q = p + 130. Suppose 0*b + b - q = 0. Is b a composite number?
True
Suppose -2*u + 10 - 126 = 0. Let t be 12*3/84 - 255/7. Let z = t - u. Is z prime?
False
Let a(n) = -192*n**3 - 2*n**2 - n. Let u be -3 + 2/3*3. Let b be a(u). Suppose -q = -0*s + 4*s - b, -4*s = 12. Is q a composite number?
True
Is (609 + -23)*(-1)/(-2) a prime number?
True
Is (-2)/(-3) - 505375/(-75) prime?
False
Let s(z) = 3*z + 20. Let f be s(-14). Let m = f - -23. Is m/((-3)/(1 + -574)) a composite number?
False
Suppose m - 2252 = 5*z, 7*m + 4*z - 6699 = 4*m. Is m a prime number?
True
Let u = 23207 + -6750. Let p = 23608 - u. Is p prime?
True
Let b = 37 + -39. Let n be (-342)/(-54) - b/(-6). Let i = 199 + n. Is i composite?
True
Let j be (8 - 14)/((-6)/4). Let t be ((-63)/(-2))/(j/8). Is 10/(-3)*t/(-6) composite?
True
Let s be 5 - (-7 - -2 - 1003). Let f = -534 + s. Is f a prime number?
True
Let x = -2334 + 9231. Suppose 5*w = 2*d + x, -2*w - 5536 = -6*w - 3*d. Is w a composite number?
False
Let y(f) = -f**3 - 30*f**2 - 7*f + 47. Is y(-34) prime?
True
Suppose -117767 = -5*n - 4*b, -3*n + 5*b - 15519 = -86157. Is n a composite number?
True
Let o(h) = -h**2 - 8*h - 3. Let k be o(-7). Suppose 2*d + 82 = k*x, 0 = -5*x - 5*d + 71 + 9. Is x composite?
False
Suppose 0 = 8*j - 32*j + 7944. Is j a prime number?
True
Suppose -27 = -10*a + 3. Suppose 4*d - 7*d = g - 879, -a*d - 2637 = -3*g. Is g a composite number?
True
Is (31940/30)/((-4)/(-18)) a composite number?
True
Is (-5 + (-4 - -10))*45361 prime?
True
Suppose 11*y = 15*y - 12. Let l(c) be the first derivative of 37*c**2/2 + 2*c + 2. Is l(y) prime?
True
Is (-3 + 0)*108385/(-159) a composite number?
True
Let g(j) = 3*j**2 - 6*j + 21. Let b(o) = -o**2 + o. Let z(x) = 4*b(x) + g(x). Let f be z(0). Is 14077/f - 2/(-3) a composite number?
True
Suppose 0 = z + 4*q + 3, -4*z - 4 = 3*q - 18. Suppose 0*r - z*r = -955. Is r a composite number?
False
Let w(a) be the first derivative of 9*a**4/4 + 8*a**3/3 + 8*a**2 + 13*a - 17. Is w(8) a prime number?
True
Let h = -27 - -45. Let u = 22 - h. Suppose 3*y - 1005 = -u*l + 256, -y + 4*l = -415. Is y prime?
True
Let o be (526/6 - 3)*-21. Suppose -5*f - 36 = 14. Is o/(-1)*(-5)/f a composite number?
True
Suppose 4*b + 3*n = 12493, 4*n + 3226 = b + 79. Is b a composite number?
True
Let g be 1/2 + (-285)/(-10). Let h be (g/2)/(7/14). Suppose 63 + h = 4*t. Is t composite?
False
Let k = 38 + -37. Is 2 + (k - (-2140)/4) a composite number?
True
Let w = 12174 - 8531. Is w a composite number?
False
Let h(a) = -29*a + 156*a - 14 + 2. Is h(5) composite?
True
Suppose -d = 2*d - 4*f - 96265, f = -1. Is d composite?
True
Let f(l) = -l**3 + l**2 - 2*l + 2. Let o be f(0). Is -1 + (-92)/o*-2 a prime number?
False
Let k be 77/4 - (-3)/(-12). Let u = k - 17. Suppose 0*b + b + 4*n = 721, -5*b = u*n - 3551. Is b a prime number?
True
Suppose a + 2 = -2, 0 = 2*s - 5*a - 32. Let u(j) = -5 + 221*j**2 + j + 0*j - s*j. Is u(-2) composite?
True
Let w(s) = s**3 - s**2 - 6*s + 1. Let v = -34 - -40. Is w(v) a composite number?
True
Let y be (-195)/(-1 - 8/(-10)). Suppose -z = -2*r + 391, -3*r + 5*z + y = 2*r. Let i = r + -17. Is i a prime number?
True
Let c(v) be the first derivative of 7*v**2 - 3*v - 49. Let l = 9 - 4. Is c(l) composite?
False
Let s(i) = i**2 + 2*i - 4. Let j be s(-4). Let c be (j + -5)/((-3)/324). Let f = 247 - c. Is f a prime number?
True
Suppose -169 + 2481 = -4*n. Let j = 975 + n. Is j prime?
True
Suppose -g + 8 + 2 = 0. Suppose -y = -6*y - g. Is y - 324/8*-2 prime?
True
Suppose 255 = r - 880. Is r prime?
False
Suppose 3*o - i - 2*i = 18, 0 = -2*o - i. Suppose -o*v + 4*q - 357 + 3095 = 0, 4*v + 2*q = 5436. Is v prime?
True
Suppose 0 = -4*d - 5*v + 2081, 4*v - 1158 = -5*d + 1432. Suppose -6*m + 4*m + d = 0. Is m a composite number?
False
Let x(t) = 14*t**2 - 5*t + 5. Let f(r) = -r**3 + 9*r**2 + 10*r + 2. Let h be f(10). Let o be x(h). Let k = 98 + o. Is k a composite number?
False
Let c be ((-91784)/(-70))/((-2)/(-5)). Suppose v = -v + c. Is v composite?
True
Suppose 0 = -2*q + 2*n + 16, 32 = 4*q - 3*n + 6*n. Let u = 13 - q. Suppose u*f - 71 = 59. Is f composite?
True
Let x(h) = -h**3 - 12*h**2 + h + 16. Let o be x(-12). Let g(k) = -3*k**2 + 16 + o*k**2 - 3*k - 9 + 8. Is g(10) composite?
True
Let b(h) = 2*h**2 + 19*h + 4. Let f be b(-9). Is ((-3928)/(-6) + f + 8)*3 a composite number?
False
Is (-4)/34 + 4*2819847/204 a prime number?
True
Let m(h) = -h**3 - 9*h**2 - 9*h - 8. Let i be m(-8). Suppose -10*w + 8*w + 88 = i. Let l = w - -2. Is l prime?
False
Let p = 7 + -6. Let z be p/(3/3879*3). Let b = z + -304. Is b composite?
False
Let m(f) = 73*f**2 - f - 1. Let r(u) = -218*u**2 + 3*u + 3. Let c(k) = -17*m(k) - 6*r(k). Is c(-1) a prime number?
True
Suppose 39*g - 394949 - 1057528 = 0. Is g composite?
False
Suppose 16*a - 3082 = 26086. Is a composite?
False
Let k = 2301 - 1483. Suppose -k = 7*t - 9*t. Is t a composite number?
False
Let v(c) = c**3 + 8*c**2 - 3*c - 19. Let o = 32 - 40. Let u be v(o). Suppose -4*q + 1052 = -u*i, -q + 85 = -2*i - 178. Is q a composite number?
False
Suppose -2 = 4*s + m, -3*s - 4*m - 5 = 3. Suppose -3*h + 1406 = -b, s = 2*h - 6*b + b - 946. Let t = h - 209. Is t a composite number?
True
Suppose 0 = 2*y - 1856 - 42. Suppose -546 - y = -5*s. Is s composite?
True
Suppose -3*q + 27 = -2*o - 3*o, -4*o = 2*q + 4. Suppose 2*p = q*p - 3314. Is p a prime number?
True
Suppose -a + 2*t = -13709, 4*a + 4*t - 24656 - 30192 = 0. Is a prime?
True
Let y(i) = i**2 - i - 10. Let m be y(-12). Suppose -5*b - 148 - 77 = 0. Let l = m - b. Is l prime?
True
Let r(s) = 146*s - 7. Let m be r(3). Suppose 3*l = -b + m, -3*b - 4*l + 385 = -898. Suppose -4*w = -5*j - 0*j + 1095, w - b = -2*j. Is j prime?
False
Let a be (15/2)/(12/32). Suppose -2*w + 3*f + 55 = -w, -57 = -w + 4*f. Let d = w + a. Is d composite?
True
Suppose -5*s + s = 5*l - 24, -3*l = -5*s + 67. Let x(w) = 5*w**3 + s + w**2 - 8 + 4*w + 4*w**3 - 8*w. Is x(2) a prime number?
True
Suppose -57*l + 45*l + 6876 = 0. Is l prime?
False
Let o be -10 - (3 - 2/(-2)). Let m = o + 18. Suppose 0 = -m*d + 270 + 38. Is d prime?
False
Let l be -3 + 22 + (3 - 1). Let z = 22 - l. Is z - 6/3 - -38 a composite number?
False
Let l = -10585 - -18578. Is l a composite number?
False
Let w be (52/2 - 3)*69. Suppose -2*j - 2*j + w = 5*b, 1219 = 3*j - 2*b. Is j a composite number?
True
Suppose 0*d - 20 = 5*d, 4*d = 3*p - 25. Suppose -p*b - 56 = b. Let v = b + 105. Is v a composite number?
True
Let c(f) = -f - 4. Let v = -3 - -3. Let x be c(v). Is 4/6*(-1266)/x a composite number?
False
Let j(x) = 17377*x + 140. Is j(1) prime?
False
Suppose 5*a = 594 - 39. Suppose -4*b = -b + 180. Let t = b + a. Is t composite?
True
Let q(x) = -3*x - 9. Let r be q(-4). Suppose -3*o = -3*b - 1899, -r*o + 1594 = 3*b - 311. Suppose 2*k + l - 6*l - 249 = 0, -5*k + o = -l. Is k a prime number?
True
Suppose -4*r = -3*z + 11 - 3, 0 = -4*r + z - 8. Is (r/1)/(2/(-381)) prime?
False
Suppose 3*g = 2*g - 5*q + 29, 5*q = -5*g + 45. Suppose 5*w - 2*f = 2429, 0*f + 1945 = g*w - f. Is w prime?
True
Let l = -6 - -9. Suppose -a - 3683 = 3*a + b, -b = l*a + 2761. Let w = 1421 + a. Is w composite?
False
Let m(q) = q**3 + 3*q**2 - 5*q - 2. Let f be m(-4). Suppose f*l - l = 