 u prime?
True
Suppose -3*s + 20 = -8*s, 4*z - 2*s + 6088 = 0. Let d = 3097 - z. Is d a composite number?
False
Let h be 0 + 8 + 2 + -2 + 2. Is (-12836)/h*(-35)/14 prime?
True
Let u(s) = 936*s**3 + 2*s**2 + s - 2. Let d be u(1). Let w(q) = 46*q - 6. Let f be w(-9). Let g = f + d. Is g a prime number?
False
Let r = 42 - 46. Let y(h) = -h + 8. Let u be y(r). Let v(j) = 2*j**2 + 3*j - 29. Is v(u) a prime number?
False
Let x(w) = 47*w**2 - w - 1. Let a be x(2). Let o = 23709 - 23699. Suppose 5*q + a = o*q. Is q a composite number?
False
Is 37060 + 15/6*2 + -8 prime?
True
Let p(w) = 240*w + 59. Let n be 154/10 - (-2)/(-5). Is p(n) a prime number?
True
Let a be -1 + 0 + 11*140. Suppose -4*j - 4*y - 2256 = 0, -2*y = -3*j - 0*y - 1652. Let u = j + a. Is u prime?
True
Suppose 74*w + 81*w + 2420647 = 172*w. Is w composite?
False
Is (11/11)/((2/1497)/((-1802)/(-51))) prime?
False
Let z be 13*890 - -1*(4 - 3). Suppose 0 = 11*v + 4520 - z. Is v prime?
True
Is (-13)/(-338) + 216346192/416 composite?
False
Suppose 0 = -5*w - 2*l + 143197, 35399 = 2*w - 2*l - 21877. Is w prime?
False
Let k be 1/((-105)/(-25) + -4). Suppose k*g - l - 33 = 0, 3*g = 7*g - 5*l - 39. Suppose g*i - 3409 = -i. Is i prime?
True
Suppose -2*g - 794 = 3*g - t, 154 = -g - t. Is (5 + -1)*3/((-24)/g) composite?
False
Let d(p) = 5 + 5 - 1 + 7*p. Let o be d(-3). Is 3*(-4)/o + 292 a composite number?
False
Let q(w) = -w**3 + 23*w**2 - 16*w - 63. Let h be q(22). Suppose 3*t - 26341 = -4*y, 5*y - 73*t + h*t = 32965. Is y a prime number?
False
Let r(g) = 5*g**3 - g**2 + 26*g + 5. Let d be r(7). Let u = 1169 + d. Is u composite?
True
Suppose 0 = -3*g + 3*z + 2*z + 28836, 5*z = 2*g - 19219. Is g a composite number?
True
Suppose n - 70 = h, 4*n + 5*h - 2*h - 273 = 0. Suppose -58 - n = -q. Is q prime?
True
Suppose -3*a - 6 = -6. Suppose a = 10*o - 7*o. Is o - -3 - 0 - -2*58 a composite number?
True
Let i be (1/2)/((-3)/(-36)). Let l be 4221/i*4/6. Is (1 - (-2 + -1)) + l composite?
True
Suppose 0 = 7*q + 30*x - 29*x - 982337, -5*q + 4*x + 701641 = 0. Is q composite?
False
Let z = 109180 - 41361. Is z a prime number?
True
Let h(o) = 4*o**3 - 6*o**2 - 8*o - 4. Let r be h(6). Let u(s) = 23*s**2 + 10*s - 4. Let l be u(-5). Suppose -r = -b + l. Is b a prime number?
True
Let p = -33620 - -50640. Suppose -p = -b - 19*b. Is b prime?
False
Let f be (4 - 19)/60 - (-12733)/4. Suppose 3*r - 4*z = f, z - 3183 = -3*r + 4*z. Is r a prime number?
True
Let r = 38 + -32. Let q be -3*(-694)/r + -4. Suppose 8*p - q = 929. Is p prime?
False
Let b = -105315 - -210254. Is b a prime number?
False
Is -1*(-3 + 70/15 - (-275064)/(-36)) composite?
False
Let k(q) = -q**3 + 12*q**2 + 5*q + 7. Let g be (-2 - 2)/(18/(-9)). Suppose g*c + 9 = 29. Is k(c) prime?
True
Let j(p) be the first derivative of 7*p**2 + 2/3*p**3 + 37 - 35*p. Is j(14) composite?
True
Suppose 0 = 26*u - 23*u + 99. Let r be 0 + ((-110907)/u - (-2)/11). Suppose -t - 2015 = -3*n, r = 2*n + 3*n - t. Is n composite?
False
Let z be (-2)/4*(-7 - -1). Is -1 - ((-2)/z + 32170/(-3)) a composite number?
False
Let r be 1 + 9 + 4*3/3. Is (113463/r)/9*2 a prime number?
True
Let o be (-390)/65*4/6. Is 8/12*(1 + (-1010)/o) composite?
True
Suppose y + 2*p = 9396, -5*p = y - 521 - 8869. Let m = -5199 + y. Is m composite?
False
Suppose 0 = 8*n + 2*u - 47608, -5*n = -27*u + 26*u - 29755. Is n composite?
True
Suppose -o = 5*o - 21264. Suppose 3*u - 5*i - 245 = 1859, o = 5*u + i. Suppose u = d + 191. Is d a composite number?
True
Let b = -86 - -91. Suppose b*n + 1980 = 17*n. Is -1945*((-2)/(-6) - 88/n) a composite number?
False
Let y be ((-7)/(-21))/(3/27). Suppose 3*c + 26912 = j, 5*c - 48882 - 31812 = -y*j. Is j a composite number?
False
Suppose 0 = -2*o + 5*o + 10*o. Suppose o = -55*j + 4*j + 260763. Is j prime?
True
Let i = 174 + -172. Suppose 5*t + 11344 = 4*v, -i*v + 3584 = -4*t - 2082. Is v prime?
False
Let p = 34941 - 18788. Is p prime?
False
Let j(h) = 3552*h**2 - 49*h - 613. Is j(-12) a composite number?
False
Let w(f) = 4*f**3 - f**2 - 5*f + 21. Let l be w(-4). Let a = 288 + l. Is a a prime number?
False
Let c(h) = 3*h + 12. Let t be c(0). Suppose 11*k - t = 10. Suppose 5*d = -u - k*u + 454, 5*d - 2*u = 439. Is d a composite number?
False
Suppose 0 = -4*g - 5*l + 37219, -4*g - 3*l + 9647 = -27582. Is g composite?
False
Let d(x) = -x**2 + x + 2. Let k be d(3). Let w(j) = j**3 + 6*j**2 + 7*j + 2. Let z be w(7). Is z + ((-3)/(-2))/((-6)/k) composite?
True
Suppose 5*z = 3*n + 2*n + 448265, -8 = 2*n. Suppose -20*l = l - z. Is l prime?
False
Let n(z) = -2*z**3 - 8*z**2 + 7*z - 24. Let l be n(7). Let w = l + 4052. Is w prime?
True
Let b(a) = 438*a**2 + 128*a - 1369. Is b(10) prime?
True
Is 30529/((323/(-209))/(-17)) a prime number?
False
Suppose -2*l = -5*z + 5, -l - 3 + 17 = 3*z. Suppose -l*p - 3*t = -21694, -3*p = -2*t - 0*t - 13005. Is p a composite number?
False
Is 3 - (2 - 9) - (28 + -117257) prime?
True
Suppose -3*j - 3165 = -6*j. Let v = j + 1234. Let s = v + -762. Is s a composite number?
True
Let z(r) be the second derivative of r**5/20 + 7*r**4/12 + 7*r**3/6 + 4*r**2 + 14*r. Let f be z(-6). Suppose -6*t + f*t = -776. Is t a prime number?
False
Is (870/20)/((-87)/(-137866)) prime?
False
Let n(q) = 11*q**2 - 52*q + 24. Let a be 2673/(-117) + 56/(-26) + 2. Is n(a) composite?
False
Suppose 2*j - 3 = -5, 0 = 3*n - 5*j - 5. Suppose -6*l - l + 5173 = n. Is l prime?
True
Let w(z) = -22*z - 181. Let u be w(-8). Let k be (554/(-6))/((-2)/6). Is (7*k)/((-4 - u)*1) prime?
False
Let f(q) = 213*q**2 - 8*q - 22. Suppose -70 + 31 = 13*x. Is f(x) prime?
False
Let g be 12443/230 + 2/(-20). Let m be (13/13)/(2/14). Is (m/(-2) - (-15)/30) + g a prime number?
False
Let g(b) = 6*b + 9. Let c(d) = 5*d + 8. Let t(h) = -5*c(h) + 4*g(h). Let m be t(-3). Is 413*(-1)/(m/1) a composite number?
True
Is 57/1140 + 195318/40 a prime number?
False
Suppose 0 = 27*p - 2874780 - 90014 + 632453. Is p composite?
True
Let d = -3329 - -8343. Suppose -5349 - 1657 = -2*b. Let x = d - b. Is x composite?
False
Suppose 11*w = 7*w - 15300. Let i = -742 - w. Is i a composite number?
False
Suppose 0 = -2*h - 3*j + 7, 9*j - 3 = 6*j. Let g(i) = -i**3 - i**2 + 11*i - 21. Let b be g(h). Is b/(160/(-52) + 3) composite?
True
Let s be (-4 - (-22)/4)/((-3)/(-4)). Suppose -h - s*h = 4*x + 3, 5*x - 5 = -2*h. Suppose -g - 20 = x*g, -p + 1287 = -g. Is p prime?
False
Let u(j) = 2*j**3 + 3*j**2 + 11*j + 90227. Is u(0) composite?
False
Let d = 17 + -7. Let t(n) = 4*n**3 - 12*n**2 + 11*n + 1. Let y(q) = 9*q**3 - 25*q**2 + 22*q + 1. Let j(x) = 7*t(x) - 3*y(x). Is j(d) a prime number?
False
Let d = 142728 + -44521. Is d a prime number?
True
Let w be -4 + (46/(-69))/(1/36). Is (23338/(-56))/(1/w) a prime number?
False
Let z(o) = 125*o + 38. Let l(d) = 2*d + 24. Let v be l(-5). Let p be z(v). Let s = p + 623. Is s composite?
False
Let b = -15 - -28. Suppose -b*s + 5*s = -888. Suppose 0*r - r = -s. Is r composite?
True
Let y = 979 + -574. Let n = y + -65. Let q = 1563 + n. Is q a prime number?
False
Suppose 0 = -129*w + 132*w - 14643. Let d = w + -1294. Is d a composite number?
True
Let p be -1*(-7)/((-28)/(-7852)) - -4. Let z = p - 906. Is z a prime number?
True
Let l be 2/3 - 5484/(-9). Suppose -l = -a - 16. Let k = a + -217. Is k a prime number?
False
Let w = -40 - -62. Let y = -24 + w. Is (330/(-90))/(y/1146) prime?
False
Let b(j) = j**3 - j**2 + 48. Let x be b(8). Let k = 1497 + x. Is k a composite number?
False
Suppose -1907 = 4*t + 3*d - 11531, -5*t - 2*d = -12037. Is -3 + t - (6 + -7) a composite number?
True
Let d = 23 - 19. Suppose -14 = q + d*q + 2*n, 4*q - 3*n = -2. Is (2514/(-18))/(q/6) a composite number?
False
Suppose -5*t - 3*c = -275961, -19*t + 165575 = -16*t + c. Is t a composite number?
True
Let h(s) = -3*s**2 + 2*s + 4. Suppose 5*d - 3*m = 7 + 19, -4*m + 4 = 3*d. Let f be h(d). Is (-1715)/(-9) + f/(-81) a composite number?
False
Let o be 6/60 - 45396/(-40). Suppose 3*d - 11 + 5 = 0, -3*p = 2*d - o. Is p composite?
True
Suppose -28976 = -3*j + 2*w, 48315 = 5*j - 8*w + 9*w. Is j a prime number?
False
Suppose -11 = -f + 2*g, 3*f - 2*g + 5 = 18. Let x(i) = 398*i**2 - 3*i - 31. Let y(t) = -198*t**2 + t + 14. Let w(h) = -4*x(h) - 9*y(h). Is w(f) prime?
True
Let h be (5 + -6)*-8 - -7023. Let i = h + -2958. Is i prime?
T