 27*r - 12282. Is r a composite number?
True
Suppose -9*n + 35 = -37. Is 63927/6*(n/12 - 0) a prime number?
True
Let v = 2140 - 1602. Suppose -4*m + 25 = m. Suppose -r + v = 3*b - 4, -885 = -m*b + 2*r. Is b prime?
True
Let o be 4 + (27/(-3) - -1). Let c be ((-28)/o)/((-2)/(-94)). Suppose 2*l = -0*l + z + c, 2*l = -z + 339. Is l composite?
False
Let i = 98027 - 58770. Is i a prime number?
False
Let r(s) = 4466*s**2 - 6*s + 4. Let o(m) = -2233*m**2 + 3*m - 1. Let y(w) = 11*o(w) + 6*r(w). Is y(2) a composite number?
True
Suppose -725162 = -2*i - 2*w, -14*w + 1087743 = 3*i - 13*w. Is i prime?
True
Suppose 34*u + 187368 = 531142. Is u prime?
True
Let v = -63 - -64. Let h(x) = 512*x + 5. Is h(v) a prime number?
False
Let z = 480 + -247. Let p = 2346 + z. Is p a composite number?
False
Suppose m - 307 = -4*k, 2*m + 158 = 2*k - 2*m. Let a = k - 69. Suppose -4105 = -a*h + 9567. Is h a prime number?
True
Is 3/(-18) - (-17012119)/222 prime?
True
Suppose 32*i = 3177892 + 4516732. Is i prime?
False
Let z(j) = -j**3 - 5*j**2 - j + 3. Let v be z(-5). Let m(i) = -8 + 5 + 336*i + 8 + 12. Is m(v) prime?
False
Let i(h) = 51*h**3 - h**2 - 2*h - 2. Let w be i(-1). Let z be 8/w - (-3)/((-39)/(-28)). Let b(p) = 69*p**3 - 2*p**2 - p - 1. Is b(z) a prime number?
True
Let u = -54 - -58. Suppose -2*g - 4*s - 12 = 2*g, -4*g - s = 6. Is -53*(u + g + -4) prime?
True
Let j(u) = 53300*u**2 - 2403*u + 7210. Is j(3) a prime number?
True
Suppose -150*s + 153*s = 206889. Let f = -45072 + s. Is f a prime number?
False
Suppose d + 0*s - 2477 = 4*s, -2*s = -10. Let v = d + -1284. Is v a composite number?
False
Let v(l) = 24633*l - 339. Is v(12) prime?
False
Suppose 141*j - 147*j + 355 + 167 = 0. Is j a prime number?
False
Suppose -20*o + 11*o + 256383 = 0. Let d = o - 8690. Is d prime?
False
Let p(w) = -2*w + 14. Suppose -4*d + 2*d = -2*u + 26, 3*u + d - 23 = 0. Let q be p(u). Let b(n) = -26*n**3 + 5*n**2 - 3*n + 3. Is b(q) a prime number?
True
Let f(h) = -4*h**3 + 5 - 15 + 4*h**3 + 6*h**2 - 3*h - h**3. Let s be f(5). Suppose -5*u - 2*w + 3375 = 0, s*w + 1356 = 2*u + 2*w. Is u a prime number?
True
Let d(m) = m**2 - m. Let c be d(1). Suppose -3*o + l = 5*l - 24283, c = -2*o - 5*l + 16177. Is o composite?
False
Suppose w + 2*n = 2*w - 10, 3*w + 3*n = -15. Is (-1192)/2*((-2)/4 - w) a composite number?
True
Suppose 0 = 2*y - 6*y + 56228. Let j = y + -9588. Is j prime?
False
Let l(z) = -5*z**3 - 9*z**2 - 28*z + 17. Let v(k) = -k**3 - k + 1. Let m(s) = l(s) - 6*v(s). Suppose 2*n - 3 = 23. Is m(n) composite?
False
Let i be (2 - -1)*68/6. Let b be i/(-17) - (1 + -67). Suppose 3*k - 229 = -b. Is k prime?
False
Let b(m) be the first derivative of m**4/4 + 13*m**3/3 + 11*m**2/2 - 17*m + 67. Is b(10) a prime number?
True
Let v(o) = 4*o**3 - 9*o**2 - 8*o - 14. Let k be v(10). Is (k/4 - 1)/((-116)/(-232)) a prime number?
False
Suppose 3*k = 4*l + 6929, -4*k + 9222 = 5*l - 2*l. Let o = 4154 - k. Let f = o - 1290. Is f prime?
True
Let i(o) = o**2 - 2*o + 1. Let q be i(2). Let v(y) = y. Let g(m) = 381*m + 3. Let u(n) = q*g(n) + 2*v(n). Is u(2) prime?
True
Suppose 0 = 48*m - 44*m - 2*u - 442968, -2*m = -5*u - 221452. Is m a composite number?
True
Let q be -12305 - ((-12)/9)/((-8)/(-12)). Let y = -5630 - q. Is y prime?
True
Let w be ((-12)/16 + 1)*28. Suppose q - 3*a - 3 = 0, -3*a = 2*q + w - 4. Suppose q = 4*g - 20, l - 7*g = -3*g + 1131. Is l prime?
True
Let f(p) = -3*p**3 - 147*p**2 + 81*p - 605. Is f(-76) a composite number?
True
Let f(w) = 27*w**3 - 69*w**2 - 3*w + 13. Is f(16) composite?
False
Is (2/3)/((-2)/(-44823)) a composite number?
True
Suppose 4*w + 16 = 0, -5*t + 32680 = -3*t - 3*w. Is t - (6 + (-9)/3) a composite number?
True
Let w(v) = -v**2 + 13*v + 58. Let d be w(17). Let m be ((-12)/(-8))/((-5)/d). Suppose m*k - 8111 = -2*z, 2*z + 2173 = 4*k - 8623. Is k a prime number?
False
Is 1 - 1 - -65166 - (-7)/7 a composite number?
False
Let b(m) = 11*m**3 + 17*m**2 - 34*m + 28. Let h be b(13). Let a = h - 15623. Is a prime?
True
Let z = 56837 + -14188. Is z prime?
True
Suppose -16*f + 15*f + 4*c + 22 = 0, -f - 23 = 5*c. Suppose q + 5*w - 18839 = -3*q, -f*w + 18842 = 4*q. Is q prime?
False
Suppose -93 + 267 = -2*a. Let p = -83 - a. Suppose -4168 = -4*y - p*y. Is y composite?
False
Suppose 0 = 74*a - 68*a - 240. Suppose 263074 - 63114 = a*o. Is o prime?
True
Let z = 237282 - 161263. Is z a prime number?
False
Let l(w) = 55926*w**2 + 11*w - 27. Let n be l(2). Suppose -51*s = -58*s + n. Is s a composite number?
False
Let f(n) = 279*n - 2751. Let y be f(7). Suppose -i = -p + 1846, -4*i - 4*p = -0*p + 7344. Let h = y - i. Is h a prime number?
False
Let k(h) = 2*h**2 - 5*h + 44. Is k(21) prime?
True
Suppose -4*i + 20 = 0, -i + 1 = -4*s + 12. Suppose 3*c + j - 2*j = 47284, s*c - 63032 = 4*j. Is c composite?
True
Let n(u) = -308*u**3 + 7*u**2 - 66*u - 622. Is n(-11) composite?
False
Let h = 55424 - 12627. Is h composite?
False
Suppose 0 = -4*a + 413*p - 411*p + 142686, -4*p + 107009 = 3*a. Is a composite?
False
Let r be 6/(6/12*-3) - -86. Suppose f + 2*p = -3*p + r, 2*f = 3*p + 177. Is f prime?
False
Let i be (-49 - -36568) + (-18)/2. Suppose -37*d + 7*d = -i. Is d a composite number?
False
Suppose -3*f = 2*d - 9, 2*f + 0*f - d = -1. Is 151/(-3)*f*66/(-2) a composite number?
True
Let c = -66746 - -383841. Is c composite?
True
Suppose -55 = -6*f - 43. Is 22038/f + 31 + -35 prime?
False
Suppose 0 = 22*w - 2572990 + 508796. Is w a prime number?
True
Let z = 220 + -214. Suppose -62342 = -z*d + 18880. Is d prime?
True
Let i(a) = -a**2 - 7*a - 3. Let p be i(-6). Suppose p*d - 14988 = -0*d. Suppose n - d = -3*n. Is n composite?
False
Let x(o) be the first derivative of -10 + 19/4*o**4 + 4/3*o**3 + 2*o - o**2. Is x(2) prime?
False
Suppose -f + 3 - 5 = -3*p, f = -2*p + 8. Suppose 0*l + 4*l = f. Is (6 + 0)/18*(283 - l) a prime number?
False
Let t = -2339 + 107506. Is t a prime number?
True
Let u(m) be the third derivative of m**6/120 - 11*m**5/60 + m**4/12 - 7*m**3/2 + 17*m**2. Let c be u(11). Is (1 + c*126)*7 a composite number?
True
Let g(z) be the second derivative of z**5/40 + 419*z**4/24 + 7*z**3/6 + 14*z. Let y(o) be the second derivative of g(o). Is y(0) composite?
False
Let n be 15*1100/(-15) + -3. Suppose 0 = -t + 2*t + 624. Let h = t - n. Is h a prime number?
True
Let q(s) = 2*s**2 + 11*s - 8. Let o(w) = -2*w**3 + 25*w**2 - 14*w + 13. Let f = 96 - 84. Let g be o(f). Is q(g) a composite number?
False
Let n = 476264 + -2703. Is n composite?
True
Suppose -38*z + 8597 = -142985. Is z composite?
False
Suppose n - 5 = -2*a, a + 3*n + 2 = 7*n. Suppose a*c - 1867 = 6*g - g, -2*c + g = -1847. Is c a composite number?
True
Suppose 0 = n - 2*i - 5841, -34 = -i - 29. Let x = 9342 - n. Is x prime?
True
Let t be -3*(-2 - (10 - 3)). Suppose 5*b + 4*a = -t, -2*b - 3 + 0 = -a. Is 9 + -5 - b*175 a composite number?
True
Let c(x) = x**3 + 7*x**2 + 11*x + 5. Let a be c(-5). Let z(u) = 3*u - 1001. Let m be z(a). Is (1 - 0)*(-4 - m) a prime number?
True
Suppose 2*o - 3*c - 65350 = -16644, 4*c + 73057 = 3*o. Is o a prime number?
False
Let j(q) = 12*q**2 - 17*q + 24. Let x be j(2). Let z(o) = 6*o**2 - 125*o - 31. Is z(x) a prime number?
False
Suppose -741 = 4*z + 2251. Let g = 5 + z. Let u = 1222 + g. Is u composite?
False
Suppose -5*t + 93974 = 4*z - 4274, 0 = -5*z - t + 122789. Suppose 0 = 5*s + 4*k - 17113, 5*k - 7462 + z = 5*s. Is s a composite number?
True
Is 511318*((-4 - 2) + 377/58) prime?
True
Let w = 19658 - -1989. Is w a prime number?
True
Let s(d) = d**2 + 8*d. Let l be s(-8). Suppose l = 5*u + 1157 + 443. Let x = -69 - u. Is x composite?
False
Let y = -10827 - -15194. Is y a composite number?
True
Let z(u) = -7*u**3 - u**2 - u + 15. Let f(l) = l**3 - 5*l**2 + 2*l + 6. Let g be f(5). Suppose v = -3*s - 4, 3*s + g = -4*v + 2*s. Is z(v) composite?
True
Let d(q) be the second derivative of 629*q**8/6720 + q**4/12 + 9*q. Let c(t) be the third derivative of d(t). Is c(1) prime?
False
Suppose 18*b = 5*b - 6*b + 8548499. Is b a composite number?
False
Let x be 3 - 2*(-3)/6. Suppose 4 = -2*g - 5*y + 65, x*g = -2*y + 82. Is 397/3*g/((-6)/(-1)) prime?
True
Is 4 - (-398048 - 90/18) a prime number?
False
Let g(v) = v**3 + 38*v**2 + 10*v + 49319. Is g(0) prime?
False
Suppose 654697 = 3*n - 4*j, 18*j = 4*n + 16*j - 8729