 a composite number?
False
Suppose -5*i + 1416 = -39. Is i prime?
False
Let s = 503 + -153. Let i = s + 27. Is i prime?
False
Let p = 12368 - 7461. Is p a prime number?
False
Suppose -32 + 19 = 13*x. Let w(h) be the second derivative of -39*h**5/10 - h**4/6 - h**3/6 - h. Is w(x) prime?
False
Suppose -5*i + 2*i - 24 = 0. Let c be i/(-32) + 15/4. Suppose 2*j + 418 = c*x, -324 = -3*x + 4*j + j. Is x composite?
False
Let w be 0 - 9*-5*428. Is (1/3)/(12/w) a prime number?
False
Suppose 6647 = 2*g + 769. Is g a prime number?
True
Suppose 0 = -5*f - m - 0*m - 727, -5*m = -15. Suppose 4*l = -4*k - 0*l - 44, -l + 25 = -2*k. Let r = k - f. Is r prime?
False
Is (-1 - -2)/(19/33041) prime?
False
Suppose -2*c + 1270 - 422 = 2*n, -5*c = 3*n - 1280. Let o = 207 - n. Let q = 358 + o. Is q composite?
True
Suppose g = 15*g + 20972. Let r = 45 - g. Is r composite?
False
Suppose -m + 4*m = s + 21, 4*m - s - 29 = 0. Let n(j) = -5 + 2*j**2 + 3*j**2 - j**3 + 7*j**2 - 2*j. Is n(m) prime?
False
Suppose 20*r - 18*r + 4*h = 1590, 0 = 4*r + 2*h - 3186. Is r prime?
True
Let n = -1508 - -2514. Is n/(-6)*(15 - 18) composite?
False
Suppose -4*o + 2*y - 94 = 0, 2*y + 29 = -5*o - 93. Let t = o - -256. Let a = t + -87. Is a composite?
True
Let i(j) = j**2 + 11*j - 111. Is i(-28) a prime number?
False
Let t(c) = 325*c + 3. Let o(r) = -2*r**3 - 12*r**2 - 4*r - 3. Let a be o(-8). Let k be a/133 - 2/14. Is t(k) composite?
False
Let t = 4 - 2. Let r(z) = z + 4*z - t - 4*z + 10. Is r(-4) composite?
True
Suppose -18785 = 6*u - 297071. Is u prime?
True
Is 3/(-36) - 195674/(-24) a prime number?
False
Let h(b) = -382*b**3 + 12*b**2 - 2*b + 1. Is h(-2) prime?
True
Suppose 17 = -5*n + 42. Suppose -3*m - 1 = -n*x + 17, 5*x = m + 6. Let y(r) = -2*r + 3. Is y(m) a composite number?
True
Let l = 4721 + -2445. Let c = l - 1399. Is c a prime number?
True
Let f be (-27022)/(-14) + (-7)/49. Let c = f + -89. Is c composite?
True
Is ((-421395)/(-78))/((-10)/(-4)) prime?
True
Suppose -5*x + 3128 = 3*v - 952, -15 = -3*v. Suppose 107 = -4*g - x. Is g/(-3) - 2/(-6) composite?
True
Let b be (3 - 1) + (-9436)/14. Is (-2 + b)*6/(-12) a prime number?
True
Let u(n) = 15*n**2 - 13*n - 53. Let d = -37 + 53. Is u(d) a prime number?
False
Let y(p) = 4*p**2 + 8*p - 2. Let m be y(-4). Suppose 29*b = m*b - 891. Suppose -b = -5*l + 1064. Is l a composite number?
True
Let f(p) be the first derivative of p**2/2 + 1. Let n be f(2). Suppose -3*t - n*t + 455 = 0. Is t prime?
False
Let l(g) = 6*g**3 + g**2 - 1. Let d be l(-1). Let u(n) = -n**2 - 8*n + 3. Let x be u(d). Is 4/(-10) + 1671/x prime?
False
Let c = -10393 + 26996. Is c composite?
False
Let m = 21 - 40. Let u = -10 - m. Let s = 16 - u. Is s composite?
False
Let z be 6/(-16)*40/(-5). Let d(f) = 2*f**2 - 3*f. Let w be d(z). Let o = 28 + w. Is o composite?
False
Let n be 4*3/(-18)*3. Is n/4*-1816 - 1 prime?
True
Let z(k) = -58*k + 23. Let j(i) = 29*i - 11. Let b(r) = -13*j(r) - 6*z(r). Let p be b(-5). Suppose -44 = -y + p. Is y prime?
False
Let r(t) = 1498*t - 1. Is r(2) composite?
True
Let f be 11/(308/4064) + 1/(-7). Suppose 5*y - 1326 = -3*p, 2*y = -2*p - f + 1033. Is p composite?
True
Let a(x) = x**3 + 11*x**2 + 18*x + 5. Let v be a(-7). Suppose 5*o + 10 + v = 0. Is (o - -561) + 3/(-1) a prime number?
True
Let s be 37/((-20)/21 - -1). Is 6/9*s/14 composite?
False
Let o = 172 + -91. Let m be (-1)/4 - o/(-36). Suppose -m*r = -81 - 57. Is r a prime number?
False
Let p(b) = -469*b - 17. Let m be p(-7). Suppose 4*k + 2*z - 8072 = -1532, m = 2*k + 2*z. Is k prime?
True
Let y = 23374 + -15767. Is y a prime number?
True
Let j(m) = -m**3 + 10*m**2 - 10*m + 7. Suppose 2*i = -t + 3*t + 16, 2*t - 38 = -4*i. Let l be j(i). Is (-1266)/l*4/12 a prime number?
True
Suppose 4*i = -2*l + 5162, 3*l = -3*i - 2065 + 9805. Is l composite?
False
Suppose 4*f = 0, -4*q + 375 + 153 = f. Is -4 - q/(-30) - 3466/(-10) a composite number?
False
Suppose 4*g = -4*x - 1479 + 4679, 0 = -2*x - 5*g + 1609. Is x a prime number?
True
Let i = 4852 + -188. Let q = -2393 + i. Is q prime?
False
Let p = -12 + 12. Let f = 259 + p. Is f prime?
False
Let k(m) = 9*m**3 + 1. Let u(w) = w**3 + 3*w**2 - 1. Let c(p) = -p**2 + p + 1. Let z be c(2). Let f be u(z). Is k(f) composite?
True
Let j = -349 + 718. Let s be 11/(11/2) + (-2 - -121). Suppose 2*c + c + 4*f = j, 2*f = -c + s. Is c a composite number?
False
Suppose -423 = -2*d + 581. Let y = d + 111. Is y a prime number?
True
Let c(d) = 2*d**2 - d - 4. Let a be c(2). Let f(n) = 139*n**2 + n - 4. Is f(a) composite?
True
Let t be ((-1279)/(-1))/(5/5). Suppose -t = -9*l + 17126. Is l composite?
True
Suppose -5*n = -v + 829, 2*v - 6*n + 9*n = 1684. Is v prime?
True
Let p(j) be the third derivative of j**6/120 + 17*j**5/60 - 13*j**4/24 + j**3/2 - 8*j**2. Let q be p(-13). Suppose 7*s = 15*s - q. Is s prime?
False
Suppose -5*z + 21 = 2*z. Let f(p) = 27*p + 8. Is f(z) prime?
True
Suppose 217 = o - 4*s, 0*s - 4*s = -16. Suppose 9*x - 4004 = -o. Is x a prime number?
True
Let n be -6 + 0/(2 - -1). Let y be (-7)/(-1) - n/(-2). Let b = 7 - y. Is b composite?
False
Let j(n) = -4*n - 15. Suppose 3*h + y + 27 = -h, -6 = 2*y. Let s be j(h). Let t(v) = v**3 - 5*v**2 - 9*v + 8. Is t(s) composite?
False
Let p(j) = -2*j**3 - 8*j**2 + 3 + 6*j**3 + 2*j**3 - 9*j - 5*j**3. Let r be p(9). Suppose -w = 4*a - 257, -r*w - 5*a = -895 + 124. Is w prime?
True
Let t(j) = 1788*j - 5. Let c(m) = 2*m**2 + 13*m + 8. Let a be c(-6). Is t(a) a composite number?
False
Suppose 5*f = -3*k + 319129, 3*f - 95528 - 95949 = -2*k. Is f a composite number?
True
Let v be (539 - -1)*1/2. Suppose -4*a = -5*p - 203, 4*p = 5*a + p - v. Suppose 0 = 5*s + 2*k - 277, 2*s + 2*k - a = 55. Is s composite?
True
Let m be (-1)/5 - 54030/(-25). Suppose 357 = n + 2*w, 3*w + 404 - m = -5*n. Let d = n + -228. Is d a composite number?
True
Is (-1400)/(-3) + (-38)/(-114) a prime number?
True
Suppose 0 = -4*a + 10 - 30, 2*h - 2*a - 1280 = 0. Is h a prime number?
False
Let d(b) = -2*b + 19. Let k be d(9). Suppose -4*m = -k - 11. Suppose -3*t - 2*f - 59 = -4*t, -3*t + 177 = m*f. Is t prime?
True
Suppose 18*g - 16*g = -38. Let b = g - -20. Is b/(-4)*-4*77 prime?
False
Let c(i) = -5*i - 16. Let z be c(-6). Let p = 11 - z. Is 129 - (p - 1/1) a prime number?
False
Let h = -14 - 1. Suppose -5*t = -5*b + 395, -4*t - 144 = 4*b + 180. Let u = h - t. Is u a prime number?
False
Let f = 0 + -4. Let p be -32 + (1 - (2 + f)). Let z = p + 62. Is z prime?
False
Let c(d) = 3 + 7*d**2 + 0 + 0 - 3*d. Let a be (-6)/(-21) - (-210)/(-49). Is c(a) a prime number?
True
Suppose 4*v + 771 = -593. Let u = v + 1094. Is u composite?
True
Let m(o) = -o**2 + 7*o - 3. Let t be m(6). Suppose -5*w + t*w + 971 = s, 5*s = 4*w + 4855. Is s prime?
True
Let v(l) = l + 4. Let j be v(-3). Let d be 174/3*-1 + j. Let o = d - -96. Is o prime?
False
Suppose -r = 2*r - 21. Let g(u) be the first derivative of u**3 - u**2 + 24*u + 83. Is g(r) a prime number?
True
Let i(n) = n**2 - 8*n - 9. Let j be i(9). Suppose -t + 78 = -j*t. Suppose 3*k - 369 + t = 0. Is k prime?
True
Let w = 13 - 18. Let t(u) = -u**3 - 4*u**2 + 3*u - 7. Let g be t(w). Is 0 + 139/3*g a prime number?
True
Suppose -4*p - 4*v + 27 = -37, 2*v = -p + 15. Suppose 3*o = s - 530, 4*s - 1 = -p. Let n = -81 - o. Is n prime?
True
Suppose 0 = 3*h + 3*q - 264, 0*q + 464 = 5*h - q. Let d = 1993 - h. Is d prime?
True
Let o = 23478 + -11879. Is o composite?
True
Let r be 2*(-4)/(24/1941). Let a = 707 - r. Is a a prime number?
False
Let r be (-16 - -2)*3/6. Let t(u) = 12*u**2 + 4*u + 10. Let s be t(r). Suppose -5*l + 3*n = -1477, 2*n = -2*l - 2*n + s. Is l composite?
False
Suppose -5749 = -a - 3*i, 4*i = 3*a - 9500 - 7695. Is a a composite number?
False
Let q = 262975 + -187046. Is q composite?
True
Suppose -u + 4*y + 643 = 0, -19*u + 18*u = 4*y - 651. Is u a prime number?
True
Let a(p) = -p**3 - 5*p**2 + 4*p - 6. Let u be a(-6). Suppose 5*d - u = 2*o - 0*o, 5*o - 4 = 3*d. Suppose -6 = 2*s, -c = -d*c - 5*s + 134. Is c a prime number?
True
Suppose -3*b = 2*n - 4, 1 = -2*b - 3*n - 2*n. Suppose 5*c - 2*a = 1298 + 1217, 4*c = b*a + 2014. Is c a composite number?
True
Let v = 12 - 13. Let i(l) = -257*l**3 + l. Let o be i(v). Suppose -2*a = o - 1154. Is a composite?
False
Let h = 83 - 78. Let a be (-2)/3 - (-70)/15. Suppose