Is a(s) a composite number?
True
Suppose 0 = -14*d + 23 + 19. Let t(z) = 17*z**3 + 2*z**2 - 4*z + 2. Is t(d) a prime number?
True
Suppose 5*p - 11 = -1, -2*p = w - 6003. Is w a prime number?
False
Let h(x) = 10*x**3 - 3*x**2 - 2*x - 2. Let j be h(-2). Suppose 130 + 287 = 3*n. Let a = n + j. Is a a composite number?
True
Suppose 3*p = 5*p - 44. Is (-4)/p + (-7365)/(-33) a composite number?
False
Suppose -11*y + 9*y - 6 = 0, -5*y - 464 = -b. Is b a composite number?
False
Let x(j) be the third derivative of -11*j**4/8 + 13*j**3/6 - 25*j**2. Is x(-6) composite?
False
Let t(x) = 2*x**2 - 14*x + 11. Let g be t(6). Is g + 9/12 - 1997/(-4) a prime number?
True
Let w be 16/(-6)*33/(-22). Suppose 0 = w*v - 3 - 9. Is 1310/(-15)*v/(-2) composite?
False
Let r(k) = 11 + 7*k - 3 + 4*k**2 + 2*k. Is r(-9) a composite number?
False
Suppose 3*w - 5*u = -3*u - 8, -4*w = -5*u + 6. Let d be -2*(-5 - w)*2. Suppose 130 = d*q + 6. Is q composite?
False
Suppose t - 3701 = -5*s, 4*t = -s - s + 1484. Suppose 0 = -6*y + s + 1246. Is y a composite number?
False
Suppose 5667 = 6*k - 18087. Is k a composite number?
True
Suppose 0 = 2*l + l + 90. Let g = l + 20. Let f = 43 + g. Is f composite?
True
Suppose s = 6*s - 10, -3*s = -5*o - 236. Let z = o + 72. Is z composite?
True
Suppose -201338 - 70452 = -10*b. Is b a composite number?
False
Let m = -117 - -41. Is -1 + 0 + m/(-2) a prime number?
True
Let c(a) = 9*a**2 + 3*a + 71. Is c(22) a composite number?
False
Let z(j) = 11*j + 451. Let p be z(0). Suppose 4*g + 842 = 2*r, r = -2*g - 2*g + p. Is r a composite number?
False
Let b = -283 - -80. Let y = 88 + b. Let r = y - -194. Is r a prime number?
True
Let d(k) = 32*k**3 - k**2 - 2*k + 2. Let o be 2*(3 - (-6)/(-4)). Is d(o) a prime number?
False
Let j(n) = 6*n**3 - 6*n**2 - 10*n + 18. Let f be j(-8). Is f/(-4) - ((-22)/4)/(-11) prime?
True
Suppose -15*g + 5*g = -20. Suppose 422 = 2*f + 4*q, -2*f - g*q = -4*q - 392. Is f composite?
True
Suppose q + 246 = 4*w, 2*w + q = -2*w + 250. Let c(g) = g**3 - 2*g**2 - 3*g - 3. Let z be c(-3). Let m = z + w. Is m a composite number?
False
Let w(c) = c**2 + 3*c + 1. Let h(s) = -4*s**2 - 31*s + 17. Let z(u) = -h(u) - 2*w(u). Suppose -4*f + 2*x = -f + 44, 5*f - 3*x + 75 = 0. Is z(f) a prime number?
True
Let q be ((-27)/(-45))/(2/10). Suppose 0 = -z + q*n + 544, 3*n - 4*n + 540 = z. Is z a prime number?
True
Let z = -28 - -17. Let k be (z/(-3))/(4/12). Suppose -a + 5*t = -312, -2*t + k = 1. Is a a prime number?
True
Let d(l) be the first derivative of -80*l**2 + 5*l + 38. Is d(-29) composite?
True
Suppose -315 = -b - y, 2*b - y - 414 = 213. Is b composite?
True
Suppose n + 740 = 4011. Is n prime?
True
Let w(d) = -32*d**3 - 19*d**2 + 3*d - 17. Is w(-7) prime?
True
Suppose -4*h + 89 = -t, t = -0*t - 5. Suppose h - 139 = -2*x. Is x composite?
False
Let s(o) = -13*o - 1. Let j be s(1). Let m be (12/j)/(1/(-21)). Suppose -m = -p + 3. Is p a composite number?
True
Suppose -382 - 60 = -l - 3*s, 0 = 5*s + 20. Let r = l + -703. Let o = r + 604. Is o a composite number?
True
Let x(r) = -11*r + 2. Let a be x(4). Let v = 629 + a. Is v a composite number?
False
Let h(l) = -l**3 + 6*l**2 - 4*l - 7. Let z be h(5). Let p = z + 39. Is p composite?
False
Suppose 0 = 3*y + 8 - 2. Is 9/6*y - -9 a composite number?
True
Suppose -11*w = -13 - 9. Is w/(-4)*350/(-5) prime?
False
Let p = -834 + 9101. Is p a prime number?
False
Let n be (-6)/21 - (-38)/(-14). Is ((-605)/(-2) - n/6)/1 a composite number?
True
Let z = -97 + 85. Is 16312/28 - z/28 composite?
True
Let z(v) = -50*v + 3086. Is z(0) composite?
True
Let n be -7 + (-81)/(-12) - (-3154)/8. Let t = n - 251. Is t a composite number?
True
Suppose 5*y = 3*g - 24 - 18, 0 = 5*g + y - 42. Let c(t) = -g - 5*t + 10 + 5*t + 2*t**2. Is c(4) a composite number?
True
Let u be (-1750)/(-14) - ((-5)/1 - -1). Suppose u = -5*v - 5*d + 1514, -4*v + 1087 = -3*d. Is v prime?
False
Let u(r) = 127*r**2 + 383*r + 13. Is u(-8) prime?
True
Suppose 40470 = 4*a + 13250. Is a a prime number?
False
Suppose -49*m = -23*m - 2132. Is m prime?
False
Suppose 0 = -4*b - 8, -5*z + 2*b + 3072 = -1367. Is z a composite number?
False
Is 147/28 + (-12)/(-16) + 20273 a composite number?
True
Suppose 4*i + 1388 = -0*i. Let j = i + 608. Is (2/6)/(1/j) composite?
True
Suppose 4*n - 71 = -7. Is 381*(n/6 - 1) composite?
True
Let v = 18 - 31. Let u = v - -8. Is (-20 - 2)/(u - -3) a prime number?
True
Let a(x) = -x**3 - 6*x**2 + 6*x + 4. Let h be a(-7). Is (-4)/8*h*-6 composite?
True
Let k(u) = -u**2 - 21*u - 52. Let j be k(-21). Let g = j + 195. Is g prime?
False
Let s = -32 - -37. Suppose -1250 - 45 = -s*o. Is o a composite number?
True
Suppose 7*a = 3*g + 44468, 31770 = -0*a + 5*a + 5*g. Is a prime?
True
Let r(g) = 41*g**3 - 3*g**2 + 2*g + 2. Is r(5) prime?
False
Suppose 3*m - 3 = -4*f + 6, 3*f = -3*m + 12. Let i be 12/m + (-8)/(-28). Is 1/(i/(-632)*-2) prime?
False
Let u = -10 + 12. Suppose -446 - 123 = -4*x + q, 413 = 3*x + u*q. Let j = x - 62. Is j a composite number?
False
Let o(a) = 367*a**2 + 4*a - 1. Is o(-2) composite?
False
Suppose 2*m + 2470 = 7*m. Suppose 0 = 3*h + u - 760, -2*h + 761 = h + 2*u. Suppose -f + 3*i = -i - h, 2*f - m = -4*i. Is f a prime number?
False
Let o = 22740 - 6487. Is o a prime number?
True
Let m(k) be the second derivative of -k**4/12 + 2*k**3 + 13*k**2/2 - 6*k. Let r be m(13). Suppose 4*p - p - 141 = r. Is p a prime number?
True
Let u be (-6)/15 + (-173)/5. Let l = 54 - u. Is l a prime number?
True
Suppose -l - 5*c = -2962 - 3889, -27368 = -4*l - 2*c. Is l composite?
False
Let s(p) = 0 + 1 + 7 - 3*p. Let m be s(-6). Suppose m + 24 = 2*k. Is k a composite number?
True
Let n = 18097 - 7656. Is n a prime number?
False
Let u(h) = -h**3 - 7*h**2 - 10*h - 8. Let r(b) = -2*b + 1. Let k(a) = -a + 1. Let p(m) = -5*k(m) + 4*r(m). Let c be p(2). Is u(c) composite?
True
Let b(t) = -t**3 - 6*t**2 + 7*t. Let h be b(-7). Suppose -p + 4 = -2*p, -n - 4*p = 15. Is (9 + 28)/(n + h) composite?
False
Is 5499166/369 + 2/18 a prime number?
False
Let t(y) = -131*y - 9. Suppose -9*n + 11*n + 4 = 0. Is t(n) a prime number?
False
Is -3*-2*10167/18 a prime number?
True
Is (-33298)/4*(-1 - 1) a composite number?
False
Suppose f + 72724 = 4*y, -27192 - 9170 = -2*y - 4*f. Is y composite?
False
Let z(w) = 1203*w - 89. Is z(8) a prime number?
False
Let a be (-15)/2*1274/3. Is (-3 - (-30)/8) + a/(-4) a composite number?
False
Let p(h) = h**3 + 4*h**2 + 3*h + 2. Let r be p(-2). Let b be 101 - (r + -16)/(-3). Let j = 298 - b. Is j a composite number?
True
Suppose 0 = 2*d - v + 3*v + 6, -5*d + 2*v - 8 = 0. Is (-1 + 1 - 3554)/d prime?
True
Let o be 4*(92/16 + -4). Suppose o*i - 4*i = 9. Suppose r - 96 = -0*r - v, i*r - 290 = -v. Is r prime?
True
Let t(g) = -g**3 - 6*g**2 + 11*g + 6. Suppose n - 8 = -3*n. Suppose 0 = -n*o - 6 - 10. Is t(o) a prime number?
False
Suppose 5*y - 11083 = -5*a + 7367, -2*y - a + 7381 = 0. Is y composite?
False
Suppose -4*t + 5*l + 484 - 4203 = 0, -2*t - 3*l = 1843. Let p = 225 - t. Is p a prime number?
True
Suppose -6*f - 1380 = -7*f. Suppose -6*s = 6*s - f. Is s prime?
False
Suppose -2*k + 7 = f, 6*k - k - 22 = -4*f. Suppose -4*j = 4*z - 5312, 2*z - 2*j = 3*z - 1332. Suppose f*l - z = -l. Is l prime?
True
Let n(g) be the second derivative of g**7/420 + g**6/90 + g**5/30 + g**4/8 + g**3/3 + 8*g. Let h(w) be the second derivative of n(w). Is h(4) prime?
True
Suppose 5*y = -d + 4934, -5*y + 16 = -9. Is d composite?
False
Let p(h) be the third derivative of 0 - 5*h**2 + 0*h + 1/120*h**6 - 1/60*h**5 + 79/6*h**3 + 1/24*h**4. Is p(0) a prime number?
True
Suppose -29*w = -28*w - 20877. Is w prime?
False
Suppose 6*o = 2788 - 100. Let v = o + -157. Is v a prime number?
False
Suppose 2*c - 3647 = -899. Let l = c + -781. Is l composite?
False
Is (1*(-712)/6)/((-28)/42) a composite number?
True
Let h(f) = -69*f**3 + 4*f**2 + 44*f - 4. Is h(-5) a prime number?
True
Suppose -3*y = -3*i - 32703, -y + 9*i - 14*i + 10913 = 0. Is y a composite number?
False
Is 2/17 - 1970889/(-1207) prime?
False
Suppose -1547 + 139 = -2*k. Suppose -1898 = 5*v + 2*w + 613, -2016 = 4*v + 4*w. Let d = k + v. Is d a composite number?
True
Let u = 6041 - 2644. Is u prime?
False
Suppose -17*i = -18*i + 5087. Is i composite?
False
Let v(q) = -q**3 - 4*q**2 - q - 5. Let 