2)/(-54) - (2122/g + -1) prime?
False
Is 1 + 5 - (-538880)/(15 - -1) prime?
False
Let h be (2/3 - 1) + 8624/(-462). Let a(l) = l**3 + 29*l**2 - 68*l - 28. Is a(h) a composite number?
True
Is -1 - -7 - 3 - -100330 a composite number?
False
Let y = -6426 + 13240. Is y a composite number?
True
Suppose -98*x + 92*x + 1947426 = 0. Is x a composite number?
True
Suppose 26*j - 34*j = -71344. Suppose j + 24003 = 7*a. Is a composite?
False
Let q(m) = 44804*m - 3949. Is q(24) composite?
True
Let s(y) = 2*y**2 + 4*y + 25. Let x(g) = -g**2 - 3*g - 24. Let p(b) = -2*s(b) - 3*x(b). Let t be p(5). Suppose -t*u - 65 = -287. Is u a composite number?
True
Let i(s) = -19357*s - 12. Let y be i(2). Let o = 55963 + y. Is o a composite number?
True
Suppose 2*h - 8 = -2*h. Suppose 5*t - 4*k + 56 = t, -3*t + h*k = 37. Is (174/t)/(10/(-795)) a composite number?
True
Suppose -4*v - 10*x = -7*x - 1697150, 3*v - 1272819 = 5*x. Is v a composite number?
True
Suppose 4*r + m = 2*r + 80, 5*r - 3*m - 211 = 0. Suppose -46*n + 230 = -r*n. Let p = n - -399. Is p a composite number?
True
Suppose -17*b = 12*b - 783. Is (-3)/(-2)*139068/b a composite number?
True
Suppose 0 = 3*c + 6 - 9, -4*j - c + 6001 = 0. Suppose 3*y + 905 = f - j, y = -5*f + 12009. Is f prime?
False
Let u = -52 + 46. Let f(t) = -12*t**3 - 15*t**2 - t - 5. Is f(u) composite?
False
Let i = -10214 + 26355. Suppose -i = -4*k + k - x, -k - x = -5379. Is k a composite number?
False
Let v(u) = 61844*u + 335. Is v(1) a prime number?
False
Let j be (1*-9)/((-33)/(-22)). Is (-6910)/(-6) - (j/18 - -1) a prime number?
True
Suppose 0 = -5*k + 3*b + 4129688 + 252470, -5 = 5*b. Is k prime?
True
Suppose 7*x - 3741 = 4*x. Let h(p) = -p**3 - 15*p**2 + 25*p + 51. Let q be h(-17). Let k = x - q. Is k a composite number?
True
Let k be 12/7 + 6/21. Suppose 8*h - 14 - k = 0. Let q(p) = 97*p**3 + 2*p**2 + p + 1. Is q(h) composite?
False
Let d(t) = t + 19. Let r = 92 - 108. Let i be d(r). Is i - (-3 - 154/2) prime?
True
Let a = 35887 + -223. Suppose 54270 + a = 6*b. Is b a composite number?
True
Let x = 982 - 980. Suppose 2*t + x*p - 6306 = 0, 4*t - 4939 = 3*p + 7645. Is t prime?
False
Suppose 3*o - 60 = -o. Let t be (o/(-2))/((-4)/248). Suppose -5*j + t = -1430. Is j prime?
True
Let y be (-2)/4*(0 - (17 - 3)). Suppose 0 = y*s - 19*s + 60. Suppose s*g - 337 = 493. Is g prime?
False
Let j(p) = -15*p + 2*p**3 + 416 - 11*p - 399 + 48*p**2 + 0*p**3. Is j(-23) a prime number?
False
Let o = 85 + -88. Let h be 92/5 - (o + (-48)/(-20)). Suppose -36 = -4*j + 4*z, j - z + 2*z = h. Is j composite?
True
Is 16/6 + 32/(-96) - (-2020168)/6 prime?
False
Let u(t) = t**3 - 10*t**2 + t - 8. Let m be u(10). Suppose m*p - 15 = -p. Suppose j + 562 = p*j - 3*z, 5*z - 685 = -5*j. Is j composite?
False
Suppose -5*g = 2*j - 338383, -15*j = -19*j + g + 676755. Is j prime?
False
Is (203714/(-12) + 5)/((54/6)/(-54)) prime?
False
Let u(p) = -7565*p + 1735. Is u(-44) prime?
False
Let j = 44443 - 22760. Is j a prime number?
True
Suppose -3*b - 6408 = 3*b. Let d = b + 3741. Is d/6 + (-2)/4 a prime number?
False
Let m = 22455 + 74512. Suppose m = 4*u + 3*x, 35814 - 11577 = u - 4*x. Is u prime?
False
Let f(v) be the first derivative of -51*v**2/2 + 12*v - 21. Let y be f(4). Let l = y + 338. Is l a composite number?
True
Is (-1 - -2) + 49*6550 composite?
True
Let k = 402 - 409. Is 1634 - (k - 28)/5 prime?
False
Let u(y) = 5261*y - 23. Let m be u(4). Suppose 8*v - m - 3275 = 0. Is v prime?
True
Let n(r) = 40819*r + 91. Let o be n(-9). Is 2/(-14) - o/28 prime?
False
Suppose 19174 = -5*y + n - 4606, -3*y = -n + 14268. Let s be (-3)/(-21) + y/(-28). Let z = 323 + s. Is z a prime number?
False
Let p(a) = a - 11. Let x be p(15). Suppose -23 = -x*i - 7. Suppose 4 = i*b, 4*r - 240 = -6*b + 2*b. Is r a prime number?
True
Let v(l) = 1315*l + 273. Is v(30) a prime number?
False
Let q = 16 - -3. Suppose 3*n - 22955 = -2*p, -4*n + 30635 = q*p - 22*p. Is n a prime number?
False
Suppose f = 347*m - 349*m + 12, m = f + 3. Suppose 0 = 3*j + 2*j. Suppose j*p = 5*p - 4*h - 6325, -3793 = -3*p + f*h. Is p prime?
False
Let n = 190800 - 27673. Is n prime?
True
Suppose 5*q - 2*q = -180. Is 10/q*10 + (-18740)/(-3) a composite number?
True
Let o(b) = 3*b**2 - 46*b - 26. Suppose -44*k = -55*k - 429. Is o(k) a prime number?
False
Let l(i) = 2*i**2 - 4*i - 6. Suppose -5*z + 3*z = -6. Let n be l(z). Suppose -2*o - 4*r + 774 = n, -1960 = -7*o + 2*o - 5*r. Is o composite?
False
Let z = 433 + 27. Suppose z*m - 3944 = 452*m. Is m composite?
True
Let y = 1598962 - 1133421. Is y prime?
True
Let f(j) be the first derivative of j**5/20 + j**4 + j**3 + 5*j**2 + 8*j + 11. Let c(z) be the first derivative of f(z). Is c(-9) prime?
True
Let n = 193504 + -96371. Is n a composite number?
True
Let x(d) be the first derivative of 240*d**3 - 21*d**2/2 + 52*d - 17. Is x(3) composite?
False
Suppose 850319 = 3*v - 2*z, 4*v - 7*z + 12*z = 1133774. Is v composite?
True
Let w = 1502459 + -647776. Is w a prime number?
True
Suppose 47*i - 48 = 35*i. Suppose q + i*q = -h + 46195, 5*q = 3*h + 46195. Is q a prime number?
True
Suppose 227*r = -3305768 + 48744585. Is r prime?
True
Let m = 354325 + -71076. Is m composite?
True
Suppose 4*w - 5*u = -7 + 39, 4*u + 16 = 2*w. Let t(g) = -g**3 + 9*g**2 - 6*g - 14. Let y be t(w). Suppose -33 = y*z - 139. Is z a prime number?
True
Is 36839 + 0 - -15*(-12)/30 a prime number?
True
Is 198573*42/18 - 20 a prime number?
False
Suppose 27*d - 3641915 + 564431 = 4437345. Is d a composite number?
True
Suppose -45*b + 40*b + 426623 = n, 2*n - 853192 = -b. Is n a composite number?
True
Suppose -2 = -4*o - y, -5*y = 7*o - 2*o + 5. Is (15/(-175)*-7)/(o/145) prime?
False
Suppose 13*o + 10587996 = 19890421 + 10502074. Is o a composite number?
True
Suppose 0 = 5*l - 4*g - 0*g + 12, -5*l = 3*g - 9. Let y be 1*995*(-2 + 3). Suppose b - 800 - y = l. Is b a composite number?
True
Let v(o) = -o**3 - 2*o**2 + 9*o + 13. Let k be v(-4). Suppose k*d + 16 = d. Is (8530/(-10))/(d/14) a composite number?
True
Suppose -8*x + 12541630 = 39*x + 888027. Is x composite?
True
Let a(d) = -d**3 + 18*d**2 + 8*d + 21. Let f(p) = -6*p + 48. Let l be f(8). Let n(c) = 2*c**3 + c**2 - c + 10. Let t be n(l). Is a(t) prime?
False
Suppose -3*g + 3*n + 84 = 0, -g = 2*g + 2*n - 104. Suppose 2*d - 4*s = -2*d + g, 4*s - 17 = -3*d. Is (1335 - 11)*d/4 composite?
True
Let t = 29605 + -18236. Let u = 20704 - t. Is u a composite number?
True
Let t(u) be the third derivative of -33*u**4/8 - u**3/2 + 12*u**2. Let k be t(-4). Is k*((-10)/(-6) + 0) composite?
True
Is (2550/(-90))/(15/(-102321)) a composite number?
True
Let h(u) = 101*u**3 + 531*u**3 + 85*u**3 + 2 - 2*u. Is h(1) prime?
False
Suppose 2*p + 16 = 24. Suppose -p*m + 3163 = -3*m. Is m a prime number?
True
Let z(p) = p**3 - 36*p**2 - 38*p + 37. Let a be z(37). Suppose 8*x - 1393 - 11551 = a. Is x a prime number?
False
Let l be 1/(-6) + 89012/264. Is 17/((3/l)/3) composite?
True
Is -5 + (320335 - 121/(-11)) composite?
True
Suppose -5*w + 18 + 7 = 0, w + 113392 = 3*b. Is b prime?
True
Let p = 2476 - -8770. Is p composite?
True
Let v(g) = -7*g - 1. Let m be (3 - 237/33) + (-4)/(-22). Let u be v(m). Is (10 - u)/((-1)/37) prime?
False
Let w(r) = r**2 + 58*r + 845. Let d be w(-27). Let s = 18429 - 13021. Suppose 0 = -d*p + s - 1104. Is p composite?
True
Let l(p) = p**2 - 2*p. Let j be l(0). Suppose j = 4*y, 851 = -c + 4*y + 3340. Is c a composite number?
True
Suppose -32523 = -5*l + 13972. Suppose -6573 = -2*v - 5*d, -5*d + l + 3872 = 4*v. Is v prime?
True
Suppose 0 = 5*l - 126 + 6. Let c = l + -14. Suppose 0 = 15*z - c*z - 1315. Is z a prime number?
True
Let u(a) = -4*a**3 - 5*a**2 - a + 4196. Let n(f) = -f**3 + 160*f - 1 - f**2 + 0*f**3 - 160*f. Let b(p) = -5*n(p) + u(p). Is b(0) a composite number?
False
Let c(u) = 16*u**2 + 99*u + 3494. Is c(-39) a composite number?
True
Let q(i) be the first derivative of -i**4 - i**3/3 - 7*i**2/2 + 3*i - 60. Is q(-3) a prime number?
False
Let y(s) = -725*s**3 - s**2 + 4*s. Let g be y(-3). Suppose 6 = 3*w - 0. Suppose -8*k = -w*k - g. Is k prime?
True
Let c(d) = -25*d**3 + 4*d**2 + 3*d - 13. Let p(v) = 25*v**3 - 4*v**2 - 2*v + 14. Let m(t) = -7*c(t) - 6*p(t). Is m(5) composite?
True
Suppose 10*f + 131*f - 62*f = 661136543. Is f prime?
True
Let l(i) =