-270257 = -3*u - 6*j + j. Is u prime?
True
Let f(h) = -5007*h**3 + 4*h**2 - 3*h - 2. Let z(o) = -15022*o**3 + 13*o**2 - 10*o - 6. Let v(r) = 7*f(r) - 2*z(r). Is v(-1) composite?
True
Let k be ((-110)/(-4))/((-22)/(-5764)). Let r = -2818 + k. Is r composite?
True
Is 4*(-3)/(-15) + 138290018/190 composite?
False
Suppose 2*b + 4679540 = 24*b - 2*b. Is b a prime number?
False
Let t = 69 - 70. Let k be (-39 + 8)*(-4 + t). Suppose -9*z + k = -4*z. Is z a composite number?
False
Suppose 528 = -18*i + 168. Is i/(16/(-4)) + 2448 prime?
False
Let q = 109 + -112. Let d(j) = j**2 + 5*j + 2. Let o be d(q). Is (178/o)/(4/(-296)) composite?
True
Let a be (-12)/(-36)*(-2 - -35). Let o be a - 8 - (-1 - 0). Is (12/o + -392)*-1 prime?
True
Is (-1 + -5050)/(2 - (-3 - -6)) a composite number?
False
Let s(p) = -16*p**2 + 105*p - 418. Let k be s(4). Suppose -4*z - 3720 = -5*q, 0 = -4*q - 3*z + 432 + 2544. Let j = q - k. Is j composite?
True
Suppose -1 + 4 = 5*b - 2*n, 0 = b + 4*n + 17. Let q(l) = -225*l - 656*l - 27 + 50 - 27. Is q(b) a prime number?
True
Suppose 5*q - 142*q = -74898311. Is q composite?
True
Let r = 2772994 + -1320345. Is r a prime number?
False
Suppose -3*k + k = -f - 15424, 0 = 4*f - 16. Let m = k - -1509. Is m prime?
False
Suppose h = f + 8652, 4*h + 3*f - 27207 - 7415 = 0. Is h a composite number?
True
Suppose -4*d - 238551 = -3*h - 6*d, 2*h - 4*d - 159034 = 0. Is h a composite number?
True
Suppose 2*b + 96822 = -16*b. Let n = -2876 - b. Is n prime?
True
Let v(l) = 9*l**2 + 55*l - 69 - 39*l - 58. Is v(-22) a prime number?
True
Is (2 + -9)/(12 + 265581/(-22131)) a prime number?
False
Let y(t) be the second derivative of t**5/20 - t**4/4 + 2*t**3/3 - 3*t**2/2 - 8*t. Let i be y(2). Suppose 0 = 2*g - 289 - i. Is g a prime number?
False
Let b(g) = 39*g - 29. Suppose 25*f = 31*f - 60. Is b(f) composite?
True
Let u = 158 + 3689. Suppose -u = -2*g + 2895. Is g prime?
True
Let r(b) = -16*b**3 + b - 11. Suppose -28*a - 71 = 41. Is r(a) prime?
True
Let t = 192 + -917. Let g = t + 1404. Is g prime?
False
Suppose 0 = -4*r + 5*o + 139281, -11*r - 69665 = -13*r - o. Is r a composite number?
True
Let f(d) = 27*d**3 + 25*d**2 - 128*d + 25. Is f(12) composite?
True
Suppose -2*p - 4*i + 804 = 0, -p - 4*i = -262 - 134. Let v = 2576 + -2605. Let u = p + v. Is u a prime number?
True
Let q = -213 + 217. Suppose 5*l - 37597 = -q*b, 0 = -2*l + 7*b - 2*b + 15019. Is l prime?
True
Let j = 680 + -890. Let x(l) = 8*l**2 + 4*l + 8. Let w be x(7). Let c = w + j. Is c prime?
False
Let j = -2027 + 1303. Let o = -421 - j. Is o prime?
False
Let b = -144814 + 483893. Is b a prime number?
False
Is 13/3 + -5 - (-29820)/18 - -1 a prime number?
True
Let b(u) = 11*u**2 + 2 + 391*u**3 - 6 + 3 - 1 - 7*u. Let a(n) = 195*n**3 + 6*n**2 - 4*n - 1. Let i(k) = -5*a(k) + 3*b(k). Is i(1) prime?
True
Let n(q) = 3*q - 26. Let m be n(7). Let h be 0 + 12 - (m - -5)/4. Let t(y) = 207*y + 37. Is t(h) composite?
False
Let j(u) = 87*u**2 + 3*u + 28. Let k be j(19). Let g = -14076 + k. Suppose 12*y = 31772 + g. Is y prime?
True
Suppose b + b = 2*z, -5*b - 3*z - 16 = 0. Let d be ((-1)/3)/((-9)/3051). Is d + ((b - -2) + 0)/(-1) composite?
False
Let s = -11503 - -14936. Let d = 14039 + -5962. Suppose -s - d = -10*g. Is g prime?
True
Let j be (-28)/2 + (6 - 1 - 11). Is 10/j - (1 - (-57225)/(-10)) composite?
True
Suppose -v - 140 = -3*p, 0*v = -3*p - 2*v + 134. Suppose -p*i + 32347 = -39*i. Is i prime?
True
Let a = -154 - -158. Suppose -3*w - 2*n = -59999, 0 = a*w - n - 0*n - 79995. Is w composite?
True
Let i be (5 + -14)*(0 + -1). Suppose 0 = -i*j + 4*j. Suppose -2*b + 0*b + 2422 = j. Is b a prime number?
False
Suppose -2*m = -10*m + 6048. Let k(a) = 50*a**3 - a**2 - 2*a - 1. Let r be k(-2). Let h = m + r. Is h a prime number?
False
Let f be 30/165 + 48888/(-22). Let s = f + 3224. Suppose 0 = 2*n + 4*m - s, 4*n + 0*m - m = 2040. Is n a composite number?
False
Let l = -5887 - -8341. Suppose -3*v = q + 4*q - 4090, -3*q - 5*v + l = 0. Is q prime?
False
Suppose -3*q + 56 = -5*r, 2*q - q - 32 = -5*r. Let h(l) = 21*l**2 - 3526*l**3 - 3524*l**3 + 7049*l**3 + 39 + 27*l. Is h(q) a composite number?
False
Let h(q) = -352*q**3 - 34*q**2 + 14*q + 81. Is h(-16) prime?
False
Let q be (22/1 - 2)/(26/(-9334)). Let n = 10077 + q. Is n prime?
True
Let c = -5175 - -12738. Is c a composite number?
True
Let k(t) = -4903*t + 740. Is k(-11) composite?
False
Let u be (49 + -115)/((-3)/2). Is ((-2722)/(-4))/(2/u) a composite number?
True
Suppose -3*c = -9*w + 5*w + 111, -2*w + 51 = -3*c. Is (-18)/w - 1044/(-15) prime?
False
Let m(j) = -422*j**2 + 15*j + 86. Let d(c) = -420*c**2 + 16*c + 87. Let s(n) = -3*d(n) + 2*m(n). Is s(-6) composite?
True
Let j(l) = 21 + 381*l + 97 - 28 + 49. Is j(18) a composite number?
False
Suppose -1006*o + 29011213 = -929*o. Is o prime?
True
Let y be -5 + 10 - (2 + -1). Suppose -9*m = y*m - 23881. Is m composite?
True
Suppose 3*j - 22299 = 5*v, -4*j = -4*v - 25020 - 4720. Is j prime?
False
Let z = -152 + 154. Suppose 0 = 4*w - r - 35925, -z*w = 3*r - r - 17960. Is w a composite number?
True
Let t = 98 - -201. Let s = -1685 + 3198. Suppose 5*m - 2*a - a - s = 0, -3*a + t = m. Is m a composite number?
True
Let x = 354 + -349. Suppose -2*p + 24899 = x*p. Is p composite?
False
Let i = -32 + 1. Let d = i - -35. Suppose 1823 = 2*x - c + 6*c, -d*x + 3667 = 3*c. Is x prime?
True
Let i be -6*4/(-6) + (-2 - -4). Suppose -2*a - i*a + 16 = 0. Is (-196 + a)*(-7)/2 prime?
False
Let m(y) = -2*y - 15. Let j be m(15). Let z = 49 + j. Suppose 0 = 4*h - 2*p - 1790, -z*p - 452 - 1340 = -4*h. Is h a composite number?
True
Suppose l = -2*s + 445, 4*s = 5*l - 0*l - 2239. Suppose 0 = 5*t - 4768 - l. Suppose -2*x + 3*x = t. Is x prime?
False
Let j(u) = -3*u**2 + u - 2. Let k be j(-5). Let h = -47 - k. Is 10/h - 1602*22/(-28) a prime number?
True
Let a(u) = -u + 10. Let v be a(6). Let h(z) = -9*z + 40. Let m be h(v). Suppose -10*q + 10 = -5*q, -q - 1014 = -m*r. Is r composite?
True
Let f(h) = 6464*h**2 - 12*h - 13. Let k be f(-1). Suppose 2*a - 12932 = 16*c - 18*c, -4*a = c - k. Is c composite?
True
Suppose -15077629 = -67*n + 12050604. Is n composite?
True
Suppose 0 = 334*k - 24801414 - 85559065 + 31389185. Is k a composite number?
True
Suppose -3*g + 1 = 4*i + 7, 5*g - i - 13 = 0. Let d = -1592 + 2739. Suppose 0*a - 6 = -3*a, -t + g*a + d = 0. Is t a composite number?
False
Is 23449404/24*18/99 a prime number?
True
Suppose -11*o - o + 69*o - 564414 = 0. Is o composite?
True
Suppose b = 5*j + 288371, -2*b + 1441855 = 3*b - 3*j. Is b a prime number?
False
Let n = -2131 + 3826. Suppose -32251 = -4*u - n. Is u prime?
True
Let h(x) = 5580*x**3 + 2*x**2 - 2*x + 1. Suppose -75*b + 78*b - 3 = 0. Is h(b) a composite number?
False
Let s(c) = -2*c**3 - 7*c**2 - 3*c - 3. Let h be s(-2). Is (h - -13) + 34036/4 prime?
True
Let a(t) = 37480*t**2 - 166*t + 327. Is a(2) composite?
True
Let i(v) = -v**2 + 2*v - 1. Let l be i(1). Suppose 10*g - 14*g - 7644 = l. Let b = -1297 - g. Is b prime?
False
Suppose 37*i = 47*i + 10940. Let j = i - -1831. Is j prime?
False
Let f = 111279 - -195340. Is f a prime number?
False
Let x be 3*21/((-504)/(-80)). Suppose x*t - 5*t = 25, 4*t = 4*g - 4968. Is g a composite number?
True
Suppose -5*b - 29 = -2*z, 4*z - 6*b = -4*b + 18. Suppose 3*m + 2*m + 131 = 4*n, -z*n + 2*m + 66 = 0. Is n prime?
False
Let c(f) = 12*f - 175. Let d be c(15). Suppose 25251 = d*w - 9274. Is w a composite number?
True
Let a(x) = 1856*x**3 + 2*x**2 + x - 2. Suppose 0 = 10*l - 16*l + 6. Is a(l) a prime number?
False
Suppose 5*c - 2*d - 100005 = 0, -3*c + 100020 = 2*c + d. Suppose 0 = -4*p + 13401 + c. Is p a composite number?
True
Let a(x) = x**3 + 105*x**2 + 22*x - 6949. Is a(-77) prime?
False
Suppose -4*p + 227 = -1893. Let y = p - 96. Suppose -3*b + y = b - 2*t, 3*t + 540 = 5*b. Is b prime?
False
Suppose -57*o = 41*o - 107*o + 745947. Is o composite?
False
Suppose -82*l = -16065 - 316117. Is l composite?
False
Suppose -2*j + 18599 = 3*d - 23711, -3*d - j = -42311. Let w = -7567 + d. Is w composite?
True
Let p = -117272 + 221733. Is p prime?
False
Let j(z) = 5*z - 2. Let d be j(-14). Let t be d/(-2) + (0 - -1)*-4. Is (-1)/(-8) - 1*(-5084)/t prime?
False
Let b(y) = -1815*y**2 - 2*y + 3. Let n be b(1). Let h = n + 4243. Is h a composite 