 = 48*a**3 + 18*a - 8. Is p(5) composite?
True
Let z(u) = 1994*u**2 + 7*u - 8. Is z(1) prime?
True
Suppose 0 = 4*c - 2205 + 533. Suppose 0*g + 315 = 3*i + 2*g, 4*i = -2*g + c. Is i a composite number?
False
Let c(j) = 36*j**2 + 48*j + 41. Is c(-6) a prime number?
True
Let b(u) = u**3 + 7*u**2 + 6*u + 7. Let k be b(-5). Let g = k + -15. Suppose 46 = -10*i + g*i. Is i a prime number?
True
Suppose 0*q + 15 = 3*q, 5*p + 5 = -3*q. Let b = p + 2. Is 3/b*38/(-3) prime?
True
Suppose 2*c = -3*c + 15, 0 = 4*t + c - 1975. Is t a composite number?
True
Suppose 120 = 3*p + 2*p. Is 446/3*p/16 prime?
True
Is (1/(-1))/((-12)/178140) prime?
False
Suppose 0 = -2*h - 0*h. Let a(y) = -y + 1. Let z be a(-1). Suppose -47 = -v + z*x + 138, -v - 2*x + 197 = h. Is v a composite number?
False
Let l = 4 - 4. Suppose l = 5*b - 2*b - 7365. Is b a prime number?
False
Let k(y) = y. Let a(z) = 5*z - 3. Let u(j) = a(j) - k(j). Let w be u(2). Suppose -2*x + w*x - 235 = -2*v, -3*v = -2*x + 161. Is x a prime number?
True
Suppose -2*c + 10 + 9 = 5*x, 0 = -2*c + 4. Suppose 7817 = 5*s - x*i, -7*s + 7801 = -2*s + i. Is s a prime number?
False
Suppose -3*v + t + 876 = 2*t, 0 = -3*v + 2*t + 885. Is v a composite number?
False
Suppose 0 = 5*b + 10 - 35. Suppose 5*q = -b*u + 5, -2*q - 5*u = -q + 7. Suppose -4*c = -q*c - 257. Is c prime?
True
Suppose -1122181 = 29*l - 3330908. Is l a prime number?
True
Let w = -511 + -14089. Suppose 4*t = 5*d - 288, 2*d + 463 - 103 = -5*t. Is w/t - (-4)/18 composite?
True
Suppose 37*h = 214797 + 221692. Is h prime?
False
Let t(g) = 1653*g**2 + 12*g - 25. Is t(2) a composite number?
True
Suppose -3*u = -4*f - f + 407, -16 = 4*u. Is f composite?
False
Suppose 3*a - 16 = a + 4*f, 2*a + 3*f = -12. Suppose 3*b + q - 1131 = a, 3*q + 377 = b - q. Is b a prime number?
False
Suppose 3*x + 3*o = 9621, -5*x + 4769 = -5*o - 11226. Is x a prime number?
True
Let o be (2 - 3) + -2 + 6007. Suppose 3*g + g = o. Is g prime?
False
Let g(i) = -i**2. Let q(w) = -96*w**3 + 11*w**2 + w + 1. Let a(p) = 6*g(p) + q(p). Is a(-2) prime?
True
Suppose 4*y + 19499 = 8*y - 3*t, -9751 = -2*y + 3*t. Suppose 0 = 24*q - 26*q + y. Is q a prime number?
True
Suppose 6*i - 2445 = -9*i. Is i composite?
False
Suppose 2*y = 6*y - 16. Suppose -36 = -4*o - 4*h, -5*o + 23 + 17 = y*h. Suppose 5*z + d = -0*d + 420, -z - o*d = -103. Is z a prime number?
True
Let j(v) = -v**3 + v**2 + 5*v - 2. Let s be j(3). Is (-130)/(s - -4) - -3 a prime number?
False
Is ((-10929105)/(-21))/5 - (-8)/28 prime?
True
Let m(x) = 25*x**2 + x - 1. Let l be m(-3). Suppose d - l = 87. Suppose -d - 342 = -5*w - 3*j, j = 4*w - 503. Is w prime?
True
Is 41878 + (18 + -6 - 11) composite?
False
Let p = -55 - -57. Suppose -p*w = -4*x - 2308, -6*w + 3*w + 3462 = 2*x. Is w composite?
True
Let j = -1945 - -982. Let n = 1406 + j. Is n composite?
False
Suppose -6*k + 2924 = 470. Is k composite?
False
Suppose -466 = -3*q + 1952. Suppose 3961 = 5*x + q. Is x a prime number?
True
Suppose -4*h = -5*c + h + 955, 0 = -4*c + 3*h + 760. Let s be (-15)/(-10) - 1/(-2). Suppose -c - 103 = -s*r. Is r prime?
False
Let s = 25 - 23. Is -2391*(-3 + (16/3)/s) prime?
True
Let p = 3 + -3. Let g be ((-27)/(-24))/((-18)/60)*-32. Suppose -2*l - t + 74 = p, 3*t = l + 2*l - g. Is l prime?
False
Suppose -4*u = 2*q - 11194, -4*q - 43*u + 41*u = -22370. Is q a composite number?
False
Let w(h) = -161*h**2 - 3*h + 1. Let v(g) = g**2 - g + 1. Let y(n) = 2*v(n) - w(n). Suppose 2*u - 4 = 6*u. Is y(u) prime?
True
Let b = 490 - -1153. Is b composite?
True
Let h(j) = -51*j + 31. Let d be h(-6). Let a = d + -222. Is a prime?
False
Let l(t) = 2741*t**2 - 23 + 24 + 6*t - 4*t - t. Is l(1) composite?
True
Suppose 484939 - 136258 = 71*j. Is j prime?
False
Let b = -21 - -23. Suppose -20 = -4*v, -b*o - 3*v = -796 - 849. Is o composite?
True
Let o(a) = 6*a**2 + 3*a + 5. Let g be o(5). Let f be (-211974)/(-378) - 2*(-2)/18. Let d = f - g. Is d prime?
False
Let d = -926 - -2013. Is d prime?
True
Is 8970/6 - (-1 - -3)*-2 a prime number?
True
Let f be ((-2)/4)/(4/(-1416)). Let p = 100 - f. Is 44/p - 6574/(-14) composite?
True
Let y = 15134 + 25109. Is y composite?
True
Let a(x) = 47*x - 1 + 4 - 1 + 2*x. Let o = -1 + 4. Is a(o) a composite number?
False
Let o(p) = -46*p - 3. Let h be o(10). Let g = h + 792. Is g a composite number?
True
Let o(b) = -3*b**3 - 2*b - 1. Let m be o(-1). Let f be m/10 - (-2983)/5. Suppose 0 = -4*k + f - 89. Is k a composite number?
False
Suppose -20 = 4*u, -4*u = 4*n - 9 - 3. Let d be 44/n + 1/(-2). Suppose 3*t + 0*l = -4*l + 1919, 0 = -t - d*l + 636. Is t a prime number?
True
Let s(h) = 1 + 4 + 7 - 1 + 126*h. Let t(k) = 63*k + 6. Let l(a) = 4*s(a) - 7*t(a). Is l(5) a prime number?
True
Let g be (-8)/24*(-11 - (2 + -4)). Suppose -7*o = -3*t - 2*o + 874, 5*t = -g*o + 1468. Is t a composite number?
False
Suppose 12*r - 11*r = 2. Suppose r*n + 2815 = 7*n. Is n a prime number?
True
Let o be 8214/(-27) - (-10)/45. Let u = o + 513. Is u a prime number?
False
Let c(u) = u + 1. Let p be c(-2). Let j(m) = 301*m**3 - 178*m**3 + 3*m**2 - m - 1 - 2*m**2 - 175*m**3. Is j(p) composite?
False
Let d(t) = -3939*t + 6. Let b be d(2). Let f = -4601 - b. Is f composite?
False
Let m = -39374 + 85057. Is m a prime number?
False
Suppose -13 = 4*u + 3. Is (-14)/(u/10 + (-624)/(-1660)) a prime number?
False
Let s(j) = -54 - 18*j + 2*j + 5*j - 29*j. Is s(-16) prime?
False
Suppose 12*v - 7310 = 3070. Is v a composite number?
True
Let d = 13642 - 4099. Is d composite?
True
Suppose 2*j - 17 - 7 = 0. Suppose m + j = 85. Suppose -68 - m = -3*v. Is v a composite number?
False
Let m be 1/(-6) + (-7762)/12. Let a = -201 - m. Is a a prime number?
False
Let v be (-195)/(-60) - 1/4. Suppose q + 4198 = 4*z, 4*q + 890 = v*z - 2265. Is z prime?
True
Suppose -3 = -23*u + 20*u. Is 4/(-8)*u*(-2100 + 2) composite?
False
Suppose -4*d = -d. Suppose -w + 13761 = 2*i, 13757 = -d*i + 2*i + 5*w. Is i composite?
True
Let t = 26 + -25. Let r be (5 - 4 - 0)*t. Is ((-3)/(-6))/r*106 a prime number?
True
Let b = -1615 - -2349. Suppose -802 = -2*w - 4*y - 276, -5*y = -3*w + b. Is w composite?
True
Let j(l) = l**3 + 7*l**2 + 7*l + 3. Let h be j(-6). Let i be 386/(-6)*2*h. Let p = i - 127. Is p a prime number?
False
Let n = 28 + -23. Let p be 89/(0 + -2 + 3). Suppose 0 = -n*m + p + 696. Is m prime?
True
Is -48502*((-7)/(-2) - 4) composite?
False
Let n be 2/(2/1) + 56/14. Suppose 3*f + 3*s - 1923 = 0, 0 = n*f - 3*s - s - 3205. Is f composite?
False
Suppose -49188 = -2*p - 2*v, -11*p + 122969 = -6*p + 4*v. Is p prime?
True
Let n(j) = -4*j + 1. Let h be n(14). Let a be (-6)/4 + h/(-10). Suppose 3*k = a*k - 4*w - 303, -3 = 3*w. Is k a composite number?
True
Let k(d) = -d**3 + 2*d**2 + 4*d + 4. Let v(z) = z**2 - 4*z - 7*z - 20 + 5. Let u be v(12). Is k(u) a composite number?
False
Suppose 0 = -g + 5 - 0, -3*g + 1182 = 3*v. Is v a prime number?
True
Let d be 4*(7/(-2) - -3). Suppose 11*y = 7*y - 16. Is ((-166)/y)/((-1)/d) a composite number?
False
Let v be 2 + -3 + (1 - -1) - -2656. Suppose -5*l + 1733 = 5*q - 3*q, -4*l = -3*q + v. Is q a composite number?
True
Suppose 12 = 5*g + 32, 2*v = 2*g + 5074. Is v a prime number?
False
Let j(c) = 557*c - 411. Is j(20) a composite number?
False
Is 1*67885*(-7)/(-35) composite?
False
Let r be (-70)/(-8) - (-63)/(-84). Is 223/4 - r/(128/12) prime?
False
Suppose 42*h = -z + 41*h + 3549, -3*h = 4*z - 14192. Is z a composite number?
True
Let f(i) be the first derivative of -i**4/4 - 8*i**3/3 + 7*i**2 + 7*i + 25. Suppose -2*j = -7*j - 50. Is f(j) composite?
False
Suppose 0 = 9*o - 0*o - 84897. Suppose 13*t - 8286 = o. Is t a prime number?
False
Suppose 2683 = 9*k - 827. Suppose -4*z - 506 = 2*h, 5*h + 2*z + 1723 = 466. Let m = k - h. Is m a composite number?
False
Suppose 0*d + 2*w = -2*d + 39072, 2*d - 39067 = -3*w. Is d prime?
True
Let r = 14 + -14. Suppose -5*x + x = 4*m - 16, r = -2*x + 2*m + 8. Suppose x*n - 14 = 70. Is n a prime number?
False
Suppose -5*f = 2*n - 497, 5*f + 0*n + n - 496 = 0. Is (f/15)/((-3)/(-15)) a composite number?
True
Suppose 0 = -z + 2*g + 136, g = 2*z + 99 - 383. Let d = 119 + z. Is d a prime number?
True
Let l be 48/(-18) - (-1)/(-3). Let s(m) = 20*m + 5. Let n be s(l). Is (-2 - 7/(-5))*n a composite number?
True
Let t be (-2)/(47/(-16) - -3). Let x =