) = -27*y - 2*y - 5*y**2 + 11 + 27*y**2. Is v(-8) a composite number?
True
Let t be (-21)/(-6)*(9 + 9). Let n be (-2956 - 0)*(t/(-28))/3. Let v = n - 958. Is v composite?
False
Let w = -35 + 38. Suppose -w*m - 2*m = -10. Suppose -3*r + 5*y = -146 - 447, m*r + 2*y - 374 = 0. Is r a composite number?
False
Let o(x) = -10 + 32*x - 11*x - 14. Let c = -972 + 993. Is o(c) a prime number?
False
Suppose -455654 = -3*t + y, -t - 2*y + 4*y + 151893 = 0. Is t a prime number?
True
Suppose 4*u = -101 + 157. Suppose -8*y - 10878 = -u*y. Suppose p - y = -6*p. Is p prime?
False
Suppose y + 0*r = -r - 1, 4*y - 5*r = -22. Let s be 5 - (y/(-1) + -2). Suppose 8*k - 3*k = 10, 5*z - 4543 = -s*k. Is z composite?
False
Suppose 0 = -13*s + 21*s - 24. Suppose -s*l + 24*l = 82866. Is l composite?
True
Let w(v) = 6*v**2 - 1. Suppose -z + 7 = 4*s, -4*z + 12 = 3*s - 3. Let u be w(s). Suppose 335 = -0*i + u*i. Is i prime?
True
Suppose 9*w = -4*j - 368, 31*j = 32*j - 4*w + 67. Let b(v) = 205*v**3 - 2*v**2 + 1. Let i be b(1). Let h = i + j. Is h prime?
False
Let l = -37 - -32. Let f(i) = -18*i**3 - 7*i**2 - 12*i - 6. Is f(l) a composite number?
False
Let p(b) = b**3 - 2*b**2 + b + 7. Let o be p(5). Suppose o = r + 4*k, k - 5*k = -3*r + 277. Is r a composite number?
True
Let z(f) = -f + 3. Let y be z(-1). Suppose -2*v + 0*v = p - 31, 3*v - y*p - 30 = 0. Suppose -6*k = -v*k + 1976. Is k a composite number?
True
Let f(l) = -2*l**3 + 9*l**2 + 3*l - 1. Let j = 582 + -591. Is f(j) prime?
False
Let j be 6/(3 - 1) + 3. Is 223/2*60/j a composite number?
True
Suppose 0 = 126*y - 1335637 - 250325. Is y composite?
True
Let q(s) = 2*s + 31. Let m be q(-13). Suppose -h + m*k + 3244 = 0, -2*h - 3*h = -k - 16196. Is h prime?
False
Let p be (6031612/(-184))/((-1)/6). Suppose p = 5*d - 4*h, -3*h - 4 = -h. Is d prime?
False
Let w be -2 - (1 + 4 + -1). Is -4874*((-9)/10 - w/15) a composite number?
False
Suppose -2*w + 103490 = 6*c, 5*c + 4*w + 18268 = 104505. Is c prime?
False
Let v be 0 + 0 - -5 - (-2040 - -3). Is -26*v/(-4) - (112 + -113) prime?
False
Let u(w) = -13*w**3 - 49*w**2 - 884*w + 55. Is u(-36) a prime number?
False
Let s(q) = -69*q**3 - 4*q - 13 - 8 + 19 - 12. Is s(-3) a composite number?
False
Let y(n) = -189*n + 168*n - 281*n + 43. Is y(-9) a prime number?
False
Let p = 345 + -684. Let t be 3/((-75)/(-10))*1375. Let r = t + p. Is r composite?
False
Suppose 17*t + 3585725 = -13531915. Is t/96*8/(-6) a composite number?
True
Suppose 15 = 3*q, -2*j + 3*q - 7*q = -32. Suppose j*t + 6 + 6 = 0. Let o(l) = -534*l**3 + 3*l**2 + 4*l + 3. Is o(t) a prime number?
False
Let i(o) = -o**3 + 27*o + 11. Let l be i(19). Is (-8)/12*(l/2 + 1) a prime number?
True
Let f(t) = 35*t**2 - 49*t + 5. Let m(r) = -31*r**3 - r**2 + 5*r + 4. Let y be m(-1). Is f(y) prime?
True
Let a be 1 - (10909 - (3 - 2/2)). Let l = -5867 - a. Is l composite?
False
Suppose -109*u + 108*u = -14179. Is u a prime number?
False
Suppose -5380*j + 2292142 = -5378*j. Is j prime?
True
Suppose -3*b - 15 = d + 70, -3*d + 2*b - 211 = 0. Let y = d - -220. Is y/3 + -1 + 3 prime?
False
Let k = 3268 - 1834. Suppose -k = -2*i + 2330. Is i composite?
True
Let c(n) = 2938*n**3 - 8*n**2 - 154*n + 893. Is c(6) prime?
False
Is -14 - -10 - 3078*3411/(-18) prime?
False
Suppose -108*y = -25*y - 36*y - 39065977. Is y a composite number?
False
Suppose 2*g + 2*g = 7776. Let q(j) = -54*j - 103. Let l be q(-12). Let y = g - l. Is y prime?
True
Let p(h) = 6*h**3 + 5*h**2 + 10*h + 9. Let b be p(-6). Let l = 1832 - b. Is l prime?
True
Let l = 2379 + 1093. Let k = l + -1421. Is k a prime number?
False
Let b(x) = 171*x**3 + 2*x**2 - 7*x + 61. Let n be b(5). Let w = -11784 + n. Is w a prime number?
False
Suppose -70*f + 30624 = -78*f. Let a = -581 - f. Is a prime?
False
Let i = -29870 + 12464. Is i/(-7) + (-78)/(-182) prime?
False
Let q(p) = -613*p - 1165. Is q(-66) prime?
True
Suppose -x + 4 = f, 4*f - 3 = x + 3. Suppose x = d - 3. Suppose n + 1990 = d*r - 2208, 5*n - 824 = -r. Is r composite?
False
Let o = -28 + 72. Suppose 0*b - o = -11*b. Suppose 3*k = 5*h + 1152 - 3013, 0 = b*h - k - 1486. Is h a prime number?
False
Let n(f) = 3*f**3 + 7*f**2 + 5*f + 6. Let h be n(7). Suppose 19*c - 10*c - h = 0. Is c composite?
False
Let a be (-21)/(-14) + 15375/(-2). Let v be a/3*(-2)/6. Suppose -2600 = -6*q - v. Is q a composite number?
True
Suppose x + 4*y - 265867 = 0, 0 = -2*x + 4*y + 869211 - 337501. Is x a prime number?
False
Let i be (-6 + 3)/1 + 518 + 0. Suppose u = -4*u - 5*y + i, -226 = -2*u + 3*y. Suppose 0 = 2*t + u - 517. Is t composite?
True
Suppose 6924 = f - 3*a, -5*f + f + 27711 = 3*a. Is f a composite number?
True
Let r be (-32)/((1/5)/((-136)/20)). Suppose 4*z = -5*k + r + 519, 0 = -2*z - k + 805. Is z a prime number?
False
Suppose 85 - 1 = 12*d. Let w(g) = 698*g**2 + 9*g - 34. Is w(d) composite?
False
Suppose 21 = r + s - 6, 5*r - 4*s - 162 = 0. Is (11406/r)/(11/55) a composite number?
False
Let z(i) = 446*i - 60. Let b be z(4). Is (4 + -2 + b - 5)*2 composite?
True
Let h(m) = -3 - 1090*m + 8 + 0 + 2 + 4. Let c be (6/(-4))/(6/8). Is h(c) prime?
False
Let i = 27044 - -46665. Is i a prime number?
True
Suppose -2*j + 33679 = 3*b - 24133, 2*j = -4. Suppose -4*u + b = 4436. Is u prime?
True
Suppose -4*c + 3*c - 22 = -5*q, -3*c + 5*q - 16 = 0. Suppose -n = -4*j - 29, 0*j + 33 = 2*n - c*j. Suppose 40904 + 16237 = n*t. Is t a prime number?
False
Suppose -2*t = -3*t + 4. Suppose t*r + 9 = 5*z - 0*r, -4*r = 2*z + 2. Let q(v) = 1195*v + 6. Is q(z) a prime number?
True
Let f(r) = 252*r**2 - 125*r + 1137. Is f(10) composite?
False
Suppose 445 + 1170 = 5*w. Let p be w/(-51) - (-2)/6. Let b(a) = -a**3 - 5*a**2 + 6*a + 13. Is b(p) prime?
True
Let u be (-1)/(-5) - 13416/(-120). Suppose -383 = -2*a + 3*b, 0 = a - b + u - 302. Is a a prime number?
False
Let o(k) = k - 10. Let y be o(-16). Let p = 28 + y. Suppose -3*r = p*r + 5*q - 7390, 2*r + 4*q = 2958. Is r composite?
True
Let p(i) = 5*i**2 + 87*i + 2749. Is p(-40) composite?
True
Let y = -1431 + 3489. Suppose 0 = -p + y + 4995. Is p a prime number?
False
Let o = 17 + -12. Suppose -2*c = -3*w + 3602, o*c - 3*w + 7204 = c. Let j = c - -3094. Is j prime?
False
Let m(j) be the second derivative of 31*j**6/90 - j**5/40 + j**4/8 - 7*j**3/3 + 9*j. Let y(v) be the second derivative of m(v). Is y(2) composite?
True
Is 410*4 - (10 + 187/(-17)) composite?
True
Suppose 5*p - 3*r - 15 = 0, 10*r - 14 = -4*p + 12*r. Suppose 0 = -p*f - 49845 + 213201. Is f prime?
False
Let d be (62 - 1)*2*(-4004)/(-88). Suppose 4190 + d = 3*k. Is k prime?
False
Suppose 0 = 2*w + 2*c - 215140, -15*c + 18*c = -2*w + 215147. Is w composite?
False
Suppose -o = -3*a - 13, 3*a + 38 - 9 = 5*o. Let x = 1 + a. Is 967/(12/x*(-4)/24) prime?
True
Suppose 171 = 2*c - 185. Suppose f = 3, 9*f + c = r + 6*f. Is r a prime number?
False
Suppose -108*o = -110*o + 6. Suppose -v + o*r = -0*v - 732, 2172 = 3*v + 3*r. Let b = 1103 - v. Is b a composite number?
True
Let g(h) = 16*h + 338. Let v be g(-21). Suppose 41*d = 43*d - 10, 0 = -o - v*d + 2919. Is o composite?
False
Let j(h) = 11*h**2 + 7*h - 5. Let f(c) = 33*c**2 + 20*c - 15. Let m(z) = 6*f(z) - 17*j(z). Suppose 0 = -30*g + 11 - 221. Is m(g) composite?
True
Let u be 2 + 0 + -2 + -23. Let q(n) be the third derivative of -n**6/120 - 11*n**5/30 + 17*n**4/24 + 10*n**3/3 - 2448*n**2. Is q(u) a prime number?
False
Suppose -5*u + 30 = 2*c, -4*u = 6*c - c - 7. Suppose 0*z - 29128 = -u*z. Is z a prime number?
False
Suppose 0 = -3*f + 47316 + 12756. Suppose -f = -25*k + 42251. Is k prime?
False
Let d(h) = 11870*h - 153. Is d(5) prime?
True
Let a(h) be the first derivative of 37*h**3/3 + 7*h**2/2 + 23*h - 8. Let w be a(-4). Suppose 2*z - w = 419. Is z prime?
True
Let j(t) = 1650*t + 205. Let s(c) = 97*c + 12. Let k(w) = 2*j(w) - 35*s(w). Let r be k(-5). Suppose -r = 5*v - 8*v. Is v composite?
True
Suppose 0*q - 9 = -3*q, 3*s - 3*q - 85470 = 0. Is s prime?
True
Is 25/(-105)*-2654013 - (-56)/49 a prime number?
False
Let i = 407 + -199. Let w = 1513 + i. Is w prime?
True
Suppose 4*l + 2*v + 101 = 3*l, -489 = 5*l + 2*v. Let g be (0 + (-4 - -64))*l/(-3). Let k = g - 1078. Is k prime?
False
Let r(w) = 350*w - 39. Let l be (-76)/(-12) - (0 - 10/15). Is r(l) a composite number?
False
Let c be (12/8)/(2/4). Suppose -3*v + 12 = 