(c) = -83 + 84*c - 8*c + 19 + 13 - 43. Is t(8) a prime number?
False
Suppose 9*k - 5*k - 3643 = -5*x, -11*k - 2*x + 9983 = 0. Is k a prime number?
True
Let t(l) = 20*l**2 + 28*l + 19. Suppose 0 = 11*f + 183 - 29. Is t(f) prime?
True
Let b = -2170201 - -3633254. Is b a composite number?
True
Let u = 87657 - 32218. Is u prime?
True
Suppose 0 = k - 28 + 32, -f + k + 12455 = 0. Is f prime?
True
Let d(l) = 2*l**3 - 2*l**2 + 14*l - 12. Let h be d(1). Suppose -h*t - 57859 = -3*a + 2*t, -5*t - 57857 = -3*a. Is a prime?
True
Let r(b) = -792*b - 1939. Is r(-31) prime?
True
Suppose -3*g + 13806 = 3*d, -g + 4572 = -677*d + 672*d. Is g a composite number?
False
Let t = 82 - 20. Suppose 3*h + t - 71 = 0. Suppose 0 = -c + 3*c - 2*w - 1966, 5*w - 2917 = -h*c. Is c a prime number?
False
Let y be ((8 - 9) + 0/1)*-14. Let l(i) = 60*i**2 + 30*i + 5. Let j be l(y). Suppose 6*f = 11*f - j. Is f a composite number?
False
Let v = -5484 + 7785. Let q = 158 + v. Is q a composite number?
False
Suppose -2*l + 28 = 2*l + 3*w, 5*w - 36 = -4*l. Suppose y = -3*z + 28, 4*z - 58 = 2*y - l. Suppose z*i = 9*i + 258. Is i a prime number?
False
Let f be (-808612)/(-42) - (-6)/(-9). Suppose 11*t + f = 215415. Is t composite?
True
Suppose -37 = -2*m - 107. Let o be (-27858)/(-14) + (-5)/m. Is o + -1 - (-8 + 12) a prime number?
False
Let i = 124 + 58. Is 15/(-13) + 1 - (-575694)/i composite?
False
Let s(g) = -17*g**3 - 61*g**2 + 13*g + 257. Is s(-40) prime?
True
Let u(l) = 2872*l**2 + 417*l - 5296. Is u(13) a composite number?
True
Let b(z) = 5*z**2 - 4*z - 10. Let x be (-1)/(-3) + 119/3. Suppose -3*p - x - 6 = 5*s, 5*p + 2*s = -45. Is b(p) composite?
False
Suppose 0 = -4*p - 4*h - 113052 + 402984, 5*p - 4*h - 362406 = 0. Is p composite?
True
Suppose t = -4*t - 5*u - 25, -4*t - 5*u = 17. Let c be 9 - 2 - (10 + t). Suppose 223 - 38 = 5*s - c*a, -5*s + 2*a = -173. Is s composite?
True
Let u(f) = -3116*f + 2. Let g be u(-3). Suppose -15*v + g = -36715. Is v a composite number?
True
Is 4/3 + 2599350/387 prime?
False
Suppose -2*m - 2*m = -5*h - 2184, -2212 = 5*h + 3*m. Let c = -277 - h. Is c a composite number?
False
Suppose -61077 + 995 = -11*t. Is t a composite number?
True
Is (-93)/(-9) + (-8)/(-12) + -4 + 89190 a composite number?
True
Suppose -5*m = 5*b + 15, 2*b - 5*m - 16 = 6*b. Let a be (-64101)/(-138)*-1*-2*b. Let f = -574 + a. Is f prime?
False
Suppose -5*x + 260056 = -5*y - 626704, x - 177337 = -4*y. Is x prime?
False
Let w = 118 - 114. Suppose -5*b = -0*b + 3*j, 5*b = -2*j - 5. Is (-2)/w*b*(-78)/(-9) composite?
False
Let x(m) be the first derivative of 2*m**3/3 - 25*m**2/2 - 22*m - 79. Is x(-13) composite?
False
Is (0 - -1)/((924/7195892)/21) prime?
True
Let r(t) = -9*t**3 - 10*t**2 + 26. Let i be r(-11). Let g = i + -3732. Is g prime?
False
Let k = 89505 + 223552. Is k a composite number?
True
Suppose -2*z = -5*w + 5304 - 782, z + 2255 = 4*w. Let c = z - -6692. Is c a prime number?
True
Let d(b) = -8307*b + 3111. Is d(-8) prime?
False
Let f(x) = 3*x**2 - 280*x - 681. Is f(-91) a composite number?
True
Suppose 2*f - 5*w - 50 = -3*f, 0 = 4*w + 16. Suppose -4*y + f*y = 700. Let q = 747 - y. Is q a prime number?
True
Let a(d) = -3*d + 24. Let y be a(6). Suppose -4*g = f - 1799, g + 2 - y = 0. Is f a prime number?
True
Let i be (5325 - 0) + (-4 - 1) + 0. Let j = i + -2309. Is j composite?
False
Let g = 623277 - 343922. Is g a composite number?
True
Let u(p) = 308455*p**2 - 169*p - 313. Is u(-2) a prime number?
False
Suppose 139*y = 55*y + 75516. Is y a composite number?
True
Let s(d) = -28083*d + 2660. Is s(-21) composite?
True
Let x be (-1 + 3)*(2 + -1). Suppose x = -k + 2*k. Is k/9 - 1465/(-9) a prime number?
True
Suppose 2*r - 1802 = r + 3*k, -5*r = 3*k - 9010. Let l = -851 + r. Suppose -3*y + l + 450 = 0. Is y a prime number?
True
Suppose 0 = o + 164 - 169. Is (1124600/(-250))/((-2)/o) a prime number?
False
Suppose -19755*t = -19761*t + 18162. Is t prime?
False
Let u = -100255 - -370554. Is u prime?
True
Let o = -9061 - -16464. Is o a prime number?
False
Suppose 0 = 13*u + 3526 + 48201. Let f = -1764 - u. Is f composite?
True
Suppose 4*k - 5553 = 3*c + 2*c, 1402 = k - 4*c. Let w = k - -989. Is w prime?
True
Let c(p) be the second derivative of p**3/6 - p**2/2 - 15*p. Let m(d) = 44*d - 1. Let s(q) = 2*c(q) + m(q). Is s(7) composite?
True
Let f(i) = -3*i**2 + 593*i + 587*i + 34 - 1262*i. Is f(-24) a prime number?
False
Suppose -4*r + 4*v + 54180 = 0, -2*r + 6721 = -5*v - 20360. Suppose -3*q = -2*k - 10255, -5*q + 3552 = 5*k - r. Is q composite?
True
Suppose 4*q - 36056 = -4*q. Is q prime?
True
Let h(t) = -t**2 - 27*t - 17. Let r be h(-26). Suppose 3932 - 539 = r*z. Suppose 4*a = 12, g = 3*a + 201 + z. Is g composite?
False
Let n be (-2)/8*(22 - 34). Is 5981/(n*4/12) composite?
False
Let n = 2013 + -5680. Let c = 10020 + n. Is c composite?
False
Let p(o) = -97*o + 1 + 46*o + 49*o. Let c be p(-3). Suppose -237 = -2*t - w, 5 = -2*w + c*w. Is t composite?
True
Let y = 135 + -132. Is ((-9)/18)/(y/(-25494)) composite?
True
Let c(a) be the second derivative of a**5/20 - a**4/4 + a**3 - 5*a**2 - 46*a. Let o be c(2). Is (-4 + -2763)*(3 - 6 - o) prime?
True
Suppose 2*f = 6*f - f. Suppose 7*m - 15*m + 1480 = f. Is m composite?
True
Is ((-22)/(-6))/(398/17595978) prime?
False
Let h = 6025 + -1430. Suppose 0 = 106*s - 101*s - h. Is s composite?
False
Let k = -723 + -198. Let m = 1798 + k. Is m a composite number?
False
Let a(l) = -298*l - 7. Let d be (184/230)/(4/5 + -1). Let i be a(d). Let j = 2804 + i. Is j a prime number?
True
Let v be (-1)/((-4)/20) - 2796. Let s = v + 4305. Is s a prime number?
False
Let r(f) = -13 - 5 + 134*f**2 + 35*f - 12 + 2 - 7. Is r(1) a composite number?
True
Suppose 35386 = 3*u + 2*i, -6*i = 5*u - 2*i - 58974. Is (-36)/24*u/(-3) a prime number?
False
Let b(v) = -11*v - 72. Let z be b(-7). Suppose -4*w + 43251 = 3*n, 84532 = z*n + 4*w + 12447. Is n prime?
False
Let c(y) = 2*y + 2. Let j be c(0). Let l(h) = 9*h**3 + 295 - 13*h**2 + 0*h**j - 300 + 4*h. Is l(5) a composite number?
True
Suppose 3*t = 7*t + 992. Is (-3 - (-7)/(-2))/(4/t) a prime number?
False
Suppose 49*d - 57*d = 8. Is 4/(-26) + 102392/26 + d a composite number?
True
Let d = -3677358 - -7915673. Is d prime?
False
Suppose 5*y = 35, 3*g + 2*y - 275035 = 295792. Is g prime?
True
Let j(x) = -x**3 - 14*x**2 + 10*x - 75. Let v be j(-15). Suppose -t - 2*t + 2377 = c, v = -c + 2*t + 2367. Is c a prime number?
True
Suppose -25*m + 30*m = 0. Suppose 10785 = 5*t + 4*c, -4*t = -m*t - c - 8649. Is t a prime number?
True
Suppose 4*f + b - 3*b = 46688, 5*b = -3*f + 35003. Let y = 29522 - f. Is y prime?
True
Let k = 306103 + -124232. Is k composite?
False
Suppose k + 3*g = -0*g, 5*k - 11 = -4*g. Let n(y) = -19 + 3*y**2 + y**k + 0*y**2 - 19*y + 28*y. Is n(10) a prime number?
False
Let d be 4 - (4 - -1 - 3) - -125. Let r be d*5/3 + (-2)/3. Suppose 5*v + r = 6*v. Is v prime?
True
Let n(z) = 33*z**2 - 53*z - 14. Let j(k) = 31*k**2 - 51*k - 14. Let g(i) = 4*j(i) - 3*n(i). Is g(12) a composite number?
True
Suppose 31 = -11*y + 108. Suppose -12*l = -y*l - 2185. Is l a composite number?
True
Suppose 2*l + q = -28, -5*l + 6*q - 69 = 9*q. Is (-4 - l/5) + 288 composite?
True
Let w(m) = -m**3 - 10*m**2 - 8*m + 9. Let i be w(-9). Suppose 0 = -i*c - 2*c + 8. Suppose -d - 12 = -c*d, 2*z - 3*d = 1134. Is z a composite number?
True
Let m = -66871 + 439224. Is m composite?
False
Let j = 14034 + 40777. Is j prime?
False
Is (-13 - (9 + -31 - -10))/((-2)/437354) composite?
False
Let g = -34 + 40. Suppose 0 = 2*w - g, v - 2*w + 2 = -1. Suppose 2*z + 11 - 109 = v*p, 2*z + 2*p = 78. Is z composite?
False
Let k(o) = -4*o**3 - 24*o**2 + 48*o - 23. Let c(g) = 7*g**3 + 48*g**2 - 95*g + 46. Let q(i) = 3*c(i) + 5*k(i). Is q(21) composite?
True
Let a be ((48/(-7))/3)/((-7)/49). Suppose 0 = 12*u - a*u + 45452. Is u composite?
True
Let t(h) = h**3 + 11*h**2 + 20*h + 57. Let r be t(-11). Let f = 630 + r. Is f a composite number?
False
Let s(j) = -422*j. Let k be s(-1). Suppose 5*b - 7*b = 2*g - 864, -g + 4*b = -k. Suppose 5*w = -2*n + g, 5*n - w = 2*w + 1013. Is n prime?
False
Let u = 1979 - -7298. Is u composite?
False
Let a be ((-30398)/4)/((-19)/38). Suppose 3*o = a - 1678. Is o a prime number?
True
Let i = -550 + 473. Suppose 0 = 3*w + 12, 