p be n/(-12) - 578/(-6). Suppose c - 103 = -c + 5*q, 2*c + q - p = 0. Is c composite?
True
Is (272 + -3)/((-4)/(-12)) - 4 a composite number?
True
Suppose 2*f - 10 = 2*y, -f = 3*f + y - 5. Suppose 0 = -k + f*k - 4. Suppose 0 = -2*h + k*h - 38. Is h prime?
True
Suppose 0*h + 4*h - 12401 = -3*z, 0 = -h - 5*z + 3096. Is h a prime number?
False
Let w(j) = -j**3 - j**2 - 2*j - 4. Let p be w(-5). Suppose p = n + n. Is n composite?
False
Let r be (-9)/(-2) - (-1)/2. Suppose -r*v + 36 + 29 = 0. Suppose 6 + v = a. Is a a composite number?
False
Let y be ((-26)/(-3))/(5/30). Let l be y/10 - 2/10. Suppose -40 = -l*t - 5. Is t a prime number?
True
Is 807/9 + 4/(-6) prime?
True
Let u(j) = -j + 1. Let r be u(5). Let t(i) = -3*i**2 + 8*i - 1. Let o(w) = 4*w**2 - 9*w + 1. Let a(z) = 5*o(z) + 6*t(z). Is a(r) a composite number?
False
Suppose a - 602 = -5*b - 2*a, -3*a + 118 = b. Suppose 0 = f - 3*q - b, 5*f + 5*q - 637 = 4*q. Is f composite?
False
Suppose -2*t = -3*p + 655, 2*p + 2*t - 446 = 4. Is p composite?
True
Let i(n) = n**3 + 2*n**2 - 10*n + 7. Let d(p) = 2*p**3 + 5*p**2 - 20*p + 15. Let l(j) = -6*d(j) + 13*i(j). Let t be l(7). Let s = -41 + t. Is s prime?
True
Suppose -2 - 2 = 2*z, -5821 = -5*y - 2*z. Is y composite?
True
Suppose -5*v + 6*v - 1349 = 0. Is v a prime number?
False
Let y(i) be the third derivative of -i**7/840 - i**6/360 + i**5/60 - i**4/8 + 2*i**3/3 - i**2. Let v(b) be the first derivative of y(b). Is v(-4) composite?
False
Let k(z) = 3*z**2 + 2*z - 1. Let a be k(1). Suppose 2*h = 6*h - 704. Suppose 21 = a*r - v - 130, -h = -5*r - 3*v. Is r composite?
False
Suppose -3*v + 1282 + 731 = 0. Is v composite?
True
Suppose -828 = -4*o - 4*v, 3*o + 3*v = v + 618. Is (o/9)/((-12)/(-18)) a prime number?
False
Suppose 0 = -5*m - z + 268, 3*m - 6*z - 170 = -2*z. Suppose m = 2*h - 0*h. Let w = 161 - h. Is w a prime number?
False
Let w = -2 - -4. Let o be (2 - 2) + (w - 0). Suppose 0*t - 74 = -o*t. Is t a prime number?
True
Let v = -46 + 150. Suppose -5*f = -f - v. Is f composite?
True
Suppose -8817 = 20*q - 23*q. Is q prime?
True
Suppose 0 = 2*p - 4*p + 10. Suppose 99 = p*i - 846. Let b = i + -122. Is b composite?
False
Let a(w) = -6*w + 11. Is a(-7) composite?
False
Let m(f) = 8*f**2 - f**3 - 8*f - 15 + 5 + 3*f. Let g be m(7). Let x(u) = u**3 - 4*u**2 + u + 5. Is x(g) prime?
False
Let f(q) = -q - 22. Let t be f(0). Is 4/t + (-6528)/(-88) composite?
True
Let b be 4/((-6)/4 - -1). Let f(y) = 5*y + 7. Let r be f(b). Is (-456)/r + 2/11 a composite number?
True
Suppose 3 = -3*d, -h + 2*d + 136 = 5*d. Is h composite?
False
Let y(m) = 113*m**2 - 2*m - 2. Is y(2) a composite number?
True
Let d(y) = 2*y**2 - 1. Let w be d(-1). Let r be w/((-1)/(-4)*2). Suppose -3*l + 5*k = -25, 4*l + r*k - 60 = -18. Is l composite?
True
Let o(t) = -t**3 + 2*t**2 + 2*t + 1. Let g be o(-1). Suppose 62 = -0*w + g*w. Is w a composite number?
False
Suppose 3*s = -z + 1112, -2*z + 0*s + 2222 = 4*s. Suppose -5*f - 25 = 0, 2*f - 7*f = -4*m + z. Is m prime?
True
Suppose 5*r - 6*r - 5*w = -637, -r + 623 = -2*w. Suppose 0*m = -4*m + 5*v + r, -m - 5*v + 188 = 0. Is m a prime number?
True
Let p(n) = 2*n**2 - 13*n + 9. Is p(8) a composite number?
True
Suppose 3*n - j = -5*j + 5, 3*n - j - 10 = 0. Suppose -5*m = 2*v - 9, -n*v - m = -0*m - 20. Is v a composite number?
False
Let y = 302 + -183. Is y composite?
True
Let u = 19 - 14. Suppose 2*f + o = 503, -4*f - 622 + 1619 = u*o. Is f composite?
True
Suppose 4*m = 3*m + 8. Let z(c) = 3*c**2 + 5*c + 1. Let p(s) = -s**2 - s + 1. Let x(y) = 2*p(y) + z(y). Is x(m) composite?
True
Let x be (1/2)/((-2)/104). Is 4023/39 - (-4)/x a prime number?
True
Suppose -3*x - 2*r = -423, 248 = 2*x + 2*r - 32. Is x composite?
True
Suppose 6*r - 3232 = 14. Is r a prime number?
True
Is ((-10)/(-30) + -1)/(4/(-33342)) a composite number?
False
Let c be ((-2)/(-4))/(3/24). Let s be (-3)/12 + (-39)/c. Let h = s + 29. Is h a prime number?
True
Let o(z) = -z**3 - z**2 + z + 83. Suppose -9*n = -13*n. Is o(n) a composite number?
False
Let q(y) = y**3 + 5*y**2 - 6*y - 6. Let i be q(-6). Let w(u) = -u - 3. Let n be w(i). Suppose 73 = n*b - c, 5*b - 2*c = 134 - 11. Is b a prime number?
True
Let m be 1 + (-3)/(-3 - -2). Suppose -m*d + 82 = -74. Is d prime?
False
Suppose 5*u + 3*h - 50 = 0, 0 = 3*u - 0*h + 3*h - 24. Let j = 236 - u. Let a = j - 132. Is a composite?
True
Let i be (-6 + 0)/(-1*1). Let s(h) = -2*h**2 + h + 9. Let y(x) = -x**2 + x + 5. Let t(c) = i*s(c) - 13*y(c). Is t(10) a prime number?
True
Let b be (-48)/2*20/6. Let p = b - -257. Is p a composite number?
True
Let y(r) = -54*r + 5. Is y(-2) a composite number?
False
Let i = 5 + -7. Suppose -41 = 4*r + h, 3*r - 2*h + 11 = -28. Is r*(i - -1) - -2 a composite number?
False
Suppose 8*q = 26397 + 7595. Is q prime?
False
Let z(n) = -n**2 - 5*n - 3. Let k be z(-3). Suppose -k - 5 = -4*a. Suppose -a*x + 0*x = -74. Is x prime?
True
Let f(d) = 230*d - 17. Is f(9) a prime number?
True
Suppose -h = -o + 4*h + 46, -4*o + 108 = -h. Is (-2)/((-8)/o)*10 prime?
False
Let n be (-210)/(-6*(-2)/(-16)). Suppose -2*c = 3*c - n. Let p = 78 - c. Is p a composite number?
True
Let u = 19 - 12. Let y = u + 9. Is 2/4*(y + -2) prime?
True
Suppose -4*o + 76 = 3*j, -5*j = -3*o + 94 - 37. Is o prime?
True
Let t be (1/3)/((-4)/12). Let l(m) = -70*m**3 - 1. Is l(t) prime?
False
Let p = -899 - -1530. Is p a composite number?
False
Suppose -1 = -3*f + 2. Suppose 4*t + 3*u + 1 = 0, -3*t + 8*t - f = -3*u. Suppose -63 = -t*y - y. Is y prime?
False
Suppose 0*z = -4*z + 76. Is z prime?
True
Let f be 1803/9*(-2 - -5). Let k = f - 230. Is k a prime number?
False
Suppose -2*b - 5 = -2*c - c, 0 = -b - c + 5. Let h = b + -8. Is (3/h)/(2/(-316)) a composite number?
False
Let t be 2 + 0 + 2 + 14. Suppose 4*x - b = 9, -3*x + 8*x = -b + t. Is x a composite number?
False
Is (-2)/6*(-99 - 12) a prime number?
True
Suppose 3*u = -5*d - 0*u + 47629, 0 = -3*d - u + 28579. Is d a composite number?
True
Is (66/(-9))/(6/(-99)) a composite number?
True
Let q = -4 + 6. Suppose -3*t - d + 77 = t, 0 = -2*t - 3*d + 41. Suppose -q*m + 31 = -t. Is m prime?
False
Suppose -5*d - 990 = -0*d + 4*h, -5*d - 1025 = -3*h. Let m(v) = -16*v + 5. Let r be m(5). Let t = r - d. Is t composite?
False
Let d = -15 + 12. Is (-614)/(3 + d + -2) a prime number?
True
Is (-2 - -1) + (1 - -57) prime?
False
Let a(b) = -2 - 3*b + 41*b**2 + 0 + 5 - b. Is a(2) composite?
True
Let a(k) = -13*k + 2. Is a(-5) prime?
True
Is (2/3)/((-6)/(-99)) a composite number?
False
Is (-4170)/(-9) - 2/6 prime?
True
Let l(o) = -31*o + 14. Is l(-9) a prime number?
True
Let f be (-33)/(-9) - 2/(-6). Suppose 7*m - 75 = f*m. Suppose -m = -3*i + 86. Is i a composite number?
False
Let u(i) = -44*i - 3 + 12*i - 6. Is u(-14) composite?
False
Let p(d) = -2*d + 3. Let g(j) = j**2 + 2*j + 3. Let k be g(-2). Let r be p(k). Is (-71)/r + (-4)/6 a prime number?
True
Let j(n) = -n**2 + 5*n + 3. Let u be j(4). Let s = u + -5. Is (-3 + s)/(4/(-52)) composite?
False
Let n(t) = -2*t**3 + 2*t**2 - 1. Let l be 1/3 - (-25)/15. Let h be n(l). Is (-38)/(-3) + (-3)/h a composite number?
False
Let r(b) = -12*b**2 + 3*b - 2. Let w(p) = -12*p**2 + 2*p - 1. Let h(i) = 2*r(i) - 3*w(i). Is h(1) prime?
True
Let u = 14 - 20. Is (-12560)/(-30) - 2/u a composite number?
False
Suppose r - 278 = -r. Is r composite?
False
Let i(z) = -z**2 - 5*z + 3. Let b be i(-5). Let t(r) = -r**2 + 6*r - 3. Let m(s) = s. Let l(a) = 3*m(a) - t(a). Is l(b) composite?
False
Is (252 + 2)*(-20)/(-24)*3 composite?
True
Let g(q) = q + 1. Let b be g(1). Suppose b*j + 3 + 7 = 2*u, 5*u - 21 = 3*j. Suppose -10 = u*i - 31. Is i composite?
False
Suppose 2*g = 47 + 235. Suppose -3*z + 0*z + g = 0. Is z composite?
False
Let c = -8 - -10. Suppose -c*k + 88 = d, k - 20 = 3*d + 38. Is k a composite number?
True
Let w = 65 + -31. Is w prime?
False
Suppose -6*i = -3*i - 6. Let x = 12 - i. Is x a composite number?
True
Suppose 8 = -2*b - 2*w, 0*b = 2*b + w + 4. Suppose b = -3*f - t + 13, 2*f - 7*t = -2*t + 37. Suppose 0 = y - f*y + 95. Is y a composite number?
False
Let g(w) = 0 + 7*w**2 - 2 - w**3 + 2*w**2 + 8*w + 5. Is g(8) prime?
True
Let o(f) = -10*f**3 + f**2 + 11*f + 10. Is o(-4) prime?
False
Let q(d) be the second derivative of 0 + 4*d + 1/3*d**3 - 7/2*d**2 + 1/3*d**4. Is q(-5) c