= 356*l - 63. Let a be x(18). Suppose 7*t = 64082 + a. Is t prime?
True
Let o(f) = 13 - 1931*f**3 + 15*f + 17*f + 16*f**2 + 1936*f**3. Let v(u) = -6*u**3 - 15*u**2 - 32*u - 12. Let a(y) = 5*o(y) + 4*v(y). Is a(-16) a prime number?
False
Let d(t) = -t**3 - 3*t**2 - 26*t + 1293931. Is d(0) prime?
True
Let q(w) = 6*w - 55 + 32*w + 26*w - 30. Is q(21) prime?
True
Let x(c) = -2*c - 31. Let p be x(-14). Is (p - -2652)*(-56)/(-24) a composite number?
True
Suppose 0 = 6*c - 30*c + 144. Suppose -2*f - 1164 = -2*j, -4*f + 558 = j + f. Suppose 134 = -c*l + j. Is l a prime number?
False
Suppose 17*c - 5232924 - 3398537 = 0. Is c a composite number?
True
Suppose -51*w + 42*w + 63 = 0. Is (0 - -2 - 2817)/((-7)/w) prime?
False
Suppose 8*r - 30 = 3*r. Let p be -3 - ((-3)/(-6))/(3/r). Is 3/1*(399 - 8/p) a prime number?
False
Is 14 + (18 - -104952)/6 composite?
False
Let p(m) be the first derivative of 6 - 1/3*m**3 - 13/2*m**2 - 12*m. Is p(-11) prime?
False
Let g be 0/(-3)*(-6 + 5). Suppose -19*i + 24245 + 8378 = g. Is i a prime number?
False
Let u(a) = 3123*a + 995. Is u(62) a prime number?
False
Let i(g) = 132*g**2 + 5*g + 20. Let v(m) = 266*m**2 + 9*m + 39. Let o(k) = -5*i(k) + 3*v(k). Is o(-5) prime?
True
Let u(l) be the first derivative of 23*l**3/3 + 7*l**2/2 + 43*l + 3. Is u(8) a composite number?
False
Suppose 2*u = 1 + 69. Suppose 3519 = -u*r + 44*r. Is r composite?
True
Suppose 570171 = 8*v + 2*v - 871859. Is v prime?
True
Suppose -3*v = 3*v - 2412. Suppose v - 1412 = -10*r. Let k = r + 38. Is k prime?
True
Let i(k) = -14*k**3 - 4*k**2 - 9*k - 7. Let a = 589 - 595. Is i(a) prime?
True
Suppose -30199 = 4*p - 7959. Is 60/28 - 2 - p/35 a composite number?
True
Suppose -6*v + 238691 = 11*v - 2718782. Is v composite?
False
Suppose 2*o + 24 = 9*n - 7*n, 28 = 3*n + o. Let f(b) = 3*b**3 - 7*b**2 + 10*b + 13. Is f(n) a prime number?
False
Let j = 350 + 7108. Suppose -j = -d - 5*r, 4*r - 29912 = -4*d - 0*r. Is d prime?
False
Suppose -6664546 = 269*s - 283*s. Is s composite?
False
Let j(o) = -6*o**3 - 13*o**2 + 13*o + 3. Let t(z) = z**2 + 14*z + 38. Let l be t(-8). Is j(l) a composite number?
True
Let f = 604404 + -255325. Is f composite?
False
Let r(u) = 25 - 6*u + u + 0*u + 13*u + 33*u**2. Is r(-3) a composite number?
True
Suppose -7 = 86*m - 85*m, 0 = -2*y - m + 4613827. Is y composite?
True
Let n be (4/(-8))/(1*2/(-48)). Suppose 6*s = -n*s + 4032. Suppose -3*k + s = 65. Is k composite?
False
Let u(p) = 308*p - 181. Suppose -5*n - 69 = -3*h, -3*h + 78 = -3*n + n. Is u(h) a composite number?
False
Let d(u) = -u**3 + 8*u**2 + 9*u + 10. Let o be d(9). Let i(n) = 38*n - 9*n**3 - 22*n + 17 - o*n - n**2. Is i(-4) a composite number?
True
Let p be 44*(-4)/((-64)/44). Suppose 4*i - 59 - 121 = 4*s, 2*i - 75 = -s. Let z = i + p. Is z a prime number?
False
Let w(a) = 54*a - 8. Let t be w(-9). Let c = -1347 + 602. Let o = t - c. Is o prime?
True
Let u be -6*(-4 + (-28)/(-6) + 0). Let d be u/(-1 - 0/5). Suppose 0 = d*n - 4*m - 5592, 2*n - m - 2800 = -3*m. Is n a prime number?
True
Suppose -2 = 3*x - 74. Suppose 0 = -5*w - m + x, -m - 12 = w - 5*m. Suppose 5560 = w*v - 2*h - 70, -5*v + 2*h = -7035. Is v prime?
False
Let a(c) = 140*c**2 - 12*c + 695. Is a(-34) a prime number?
False
Let s = 5770 + -5772. Let d(h) = -179*h. Let p be d(1). Is -60 + 60 - s/((-2)/p) a composite number?
False
Is 54886*((-943)/(-46) - 20) a prime number?
False
Suppose -5*i + g = -216355 + 33741, -i + 36520 = -3*g. Is i composite?
False
Let d = 645933 - 302144. Is d a prime number?
False
Let l be (-2)/(-2)*13148 + (2 - -1). Let c = 33312 - l. Is c prime?
True
Let g(n) = -1584*n + 139. Suppose 9*r - 90 = -135. Is g(r) prime?
True
Let t = -20522 - -73689. Is t a composite number?
True
Suppose 152 = -p + 4*p + f, -201 = -4*p - f. Suppose 34*s + 71025 = p*s. Is s prime?
False
Suppose -2 = z + 14. Let b = 14 + z. Is b/(-5) + 8469/15 a composite number?
True
Suppose -24*f + 226947 = -1462241 + 309260. Is f composite?
True
Suppose -167 + 6 = -7*p. Let m(j) = 421*j + 84. Is m(p) composite?
False
Suppose 6*d = 3*d + 870. Suppose -2*h - 5*g - d = -7*h, 4*g = 5*h - 290. Is h composite?
True
Let h be 23 - 36/(-2 - -8). Suppose h*c + 1750 - 25023 = 0. Is c a composite number?
True
Let b(w) = -42750*w - 1147. Is b(-6) a composite number?
True
Suppose 3*i + m = -m + 8, -26 = -i + 4*m. Suppose -2*k - 2747 = -3*f, -4*f + 3640 = 9*k - i*k. Is f prime?
False
Let g(k) be the second derivative of k**5/20 - 2*k**4/3 - 5*k**3/6 + 31*k**2/2 + 6*k + 2. Is g(19) prime?
True
Let u(g) = 37018*g + 2151. Is u(7) a prime number?
False
Suppose 4*v - 4*y + 6*y = 4, 0 = -4*v + 3*y + 14. Let j(d) = -d - 1. Let i be j(-7). Suppose i*t = v*t + 1588. Is t a prime number?
True
Suppose 2*z + 413*i = 411*i + 40436, 4*z - 80875 = -3*i. Is z composite?
True
Let g(v) = 1220*v + 144. Let w be g(24). Suppose 20*c - 3356 - w = 0. Is c a composite number?
True
Let b be (-30)/10 - 86*-1. Suppose a - b = 4634. Is a composite?
True
Suppose 385*y - 463*y = -715026. Is y a composite number?
True
Suppose -6*k = -2*k + 5852. Let i(q) = 7*q**2 + 25*q - 68. Let l be i(-20). Let g = k + l. Is g prime?
True
Let f = -810 - -813. Is f/(15/(-12175)*-5) a prime number?
True
Let v be (4 + -3)/((-3)/(-15)) - 3. Suppose v*g + 23368 = 10*g. Is g a prime number?
False
Suppose 0 = 3*z - 5*j - 64087 - 144529, 3*j = -z + 69506. Is z prime?
False
Let b(x) = 15404*x - 10611. Is b(6) composite?
True
Let r = 42 - 27. Is (-12)/30 - (-31491)/r prime?
True
Let a be 10/(-8)*(-8959 - 13) + -2. Suppose 3*b = 16180 + a. Is b a prime number?
False
Let b be -6*(25/105 + (-6)/(-14)). Let z(l) = 8*l**2 + 10*l + 11. Let o(t) = -t**2 - t + 1. Let j(v) = 2*o(v) + z(v). Is j(b) prime?
False
Let y be (4/10)/((-10)/115100). Is (-3 + 210/56)/((-3)/y) composite?
False
Let n(f) = -75*f**3 + 15*f**2 + 17*f - 32. Is n(-10) prime?
False
Suppose 109*b - 126*b + 341850 = -62971. Is b a prime number?
True
Let u(d) be the third derivative of 271*d**4/4 - 3*d**3/2 + 24*d**2. Let i be u(3). Suppose 0 = 2*t - 5*r - i, 4*t - 3*t = -3*r + 2440. Is t a composite number?
False
Suppose 5*l + 3*z - 43106 = 0, 3*l - 3*z = 2*z + 25884. Is l prime?
True
Let b(n) = 2*n**3 + n + 4. Suppose 5*a = -3*c - 18, 2 = -5*c - 3. Let h be b(a). Let r = -16 - h. Is r a prime number?
True
Let t(l) = -l**3 - 4*l**2 + 5*l + 6. Suppose -16 = -3*w + 7*w. Let z be t(w). Is z/(-77) + 1008/22 a composite number?
True
Let m be -7 - (1 + (-6733 - 4)). Suppose -6*w + m = -3*w. Is w composite?
False
Suppose -270*p - 344641 = -267*p - 2686210. Is p prime?
True
Let n(s) be the second derivative of s**7/420 - 7*s**6/360 - 3*s**5/40 + s**4/8 + 13*s**3/3 - 3*s. Let b(i) be the second derivative of n(i). Is b(6) composite?
True
Let w = -232 - -232. Suppose -b + 5528 + 3113 = w. Is b a composite number?
False
Suppose -4*z + 2*w + 2 = 0, -3*z + 4*w + 7 = 3. Suppose 0 = 2*u + 4*y - 1606, -3*u + 2*y + 2433 = -z*y. Is u a prime number?
True
Suppose -2*z = -26 + 8. Suppose 0 = z*d + 64 - 1495. Is d prime?
False
Let i = 6 - 24. Let u(z) = 2*z + 34. Let v be u(i). Is (8315 - 9)*v/(-4) a composite number?
False
Let x be 1*-1 + -16 + -73. Let p = x + 198. Suppose 6*n - 246 = -5*v + 2*n, 4*n = -2*v + p. Is v composite?
True
Let m = 257070 - 131617. Is m a prime number?
True
Let u be (-3)/2*(-2056)/6. Suppose -30*n - 9643 = -43*n + 2642. Suppose -z + u = -n. Is z a prime number?
True
Let s(n) = 9*n**3 + n**2 + 2*n - 2. Let j be s(1). Is 234/j - (-20)/(-50) prime?
True
Let v(k) = k + 8. Let c be v(-4). Suppose -l = -c*y + 4, -2*y = -4*l - 7 + 19. Is 168/l - (2 + -6) a composite number?
True
Suppose 108835 = -169*y + 174*y. Is y composite?
False
Let l = -205377 - -306998. Is l a composite number?
True
Let d(l) = l + 15. Let a be d(-12). Suppose -26408 = -4*s - 3*g, -3*s + a*g + 32983 = 2*s. Is s a prime number?
True
Let b = 29 - 27. Let k(w) = -1 - 2 - 5 + 14*w**b + 3*w. Is k(3) prime?
True
Let b(m) = m**3 + 12*m**2 + m + 6. Let i be b(-13). Let c = -76 - i. Suppose o = 5*q + 2*o - 572, 5*o = -q + c. Is q a prime number?
False
Let p be ((-26)/(-6))/((-3)/(-9)). Suppose 7*j - p*j = -12. Is (1508/(-8))/(-2 + 3/j) a prime number?
False
Let n(p) = p**2 + p - 44. Let l be n(-7). Is l/(-8) - (71996/(-16) - 7) composite?
False
Suppose 13622*j = 13616*j + 1