 Is 2/(x + (-1618)/(-538)) + 2 prime?
True
Let g = 467 + -463. Suppose 0*w = g*i - w - 12828, -2*i = 3*w - 6414. Is i a prime number?
False
Let d(u) = -10*u**3 - 65*u**2 - 3*u - 127. Is d(-18) prime?
False
Let d(a) = 96*a**2 + a - 65*a**2 + 222*a**2 - 2*a. Let o be d(-3). Suppose -3*p - 357 + o = 0. Is p prime?
True
Let r(a) = 23*a**3 + 4*a**2 - 10*a + 27. Suppose 0 = -15*s + 17*s - 8. Is r(s) composite?
False
Let f be 2/14 + (-1015212)/308. Let h = f - -6353. Is h prime?
False
Suppose 0 = 4*w - 6*x - 1729814, 9*w = 4*w - 4*x + 2162279. Is w a prime number?
False
Suppose -24099 = 294*h - 297*h. Is h composite?
True
Let m(z) = -z**3 + 4*z**2 + 8*z - 12. Let l be m(5). Let i be (1 + 138/18)*l. Let t = i + 353. Is t a prime number?
True
Let x = -214 + 218. Suppose -5*q - 5385 = -3*s, -2*s - q + 3590 = -x*q. Is s a composite number?
True
Let u(g) = -g + 0*g - 32 + 2*g - 65*g**2 + 8 + 83*g**2. Is u(5) composite?
False
Let o(v) = v**3 - 2*v**2 + 15*v - 19. Suppose -33 = -2*i + 5*f, 8*i - 3*i - 30 = -5*f. Is o(i) a composite number?
False
Suppose -5*n = 58533 - 6493. Let f = -5657 - n. Is f a prime number?
True
Let s = -552 - -789. Suppose 6*b - s = 3*b. Is b composite?
False
Let a(h) = 21*h**2 - 85*h + 1113. Is a(17) a prime number?
True
Suppose 3*m = -0*m + 90. Let t = m + -54. Is t/(-9) - 3 - (-12632)/6 a prime number?
False
Let r be 8/6*27/(-6). Let m(c) = -28*c**3 - 7*c**2 - 8*c - 29. Is m(r) prime?
False
Let f = 42 + -39. Let g be 338/(f*(-4)/198). Is 36/(-15) + 2 - g/5 composite?
True
Let y be 6/(-21) + 45804/(-14). Let b = 15377 + -9818. Let h = b + y. Is h a composite number?
False
Let f(g) = -g**3 + 4*g**2 - 2*g - 1. Let n be f(3). Let s(m) = 4 + 2*m + 3*m - 4*m + 1169*m**n - 5*m. Is s(1) prime?
False
Let m(b) = -955*b**2 - 11*b - 7. Let q be m(-4). Is (-3)/(-6) - (q/2 - -5) composite?
True
Suppose v - j + 12316 = 0, 0 = 3*v - 9*j + 5*j + 36951. Let q(o) = -o**2 - 6*o + 4. Let f be q(-6). Is (v/(-28))/(1/f) composite?
False
Suppose 4*v = 4*d - 0*v - 286588, 0 = 2*d + v - 143294. Is d a prime number?
True
Let d(n) = n**3 - 44*n**2 - 25*n + 373. Is d(55) a prime number?
False
Let s = 52695 - 33495. Suppose 3*a + 5*n - 19218 = 0, -n = -2*a - a + s. Is a a composite number?
True
Let b be (2691/(-78))/((-3)/2). Suppose 0 = -w - b*w + 12504. Is w prime?
True
Let o(z) = 4297*z + 3. Let q be o(6). Suppose 3*u - q = 4*y, u - 5*y - 17183 = -u. Suppose -4*m - 1635 = -u. Is m prime?
True
Let c = 39807 + -11461. Is c a composite number?
True
Let s be (-12)/8*(-2 + 0). Let t be ((-6)/(-6))/(s/444). Suppose -4*j + 2*j = -t. Is j prime?
False
Let a(i) be the second derivative of 0 - 15*i - 9*i**2 - 1/12*i**4 + 14/3*i**3. Is a(15) a prime number?
False
Let p be (-31)/11 + 6/(-33). Let k be 870 - ((p + 2)*4 + 2). Suppose -4*s = -4*h + k, -214 = 2*h - 3*h - 3*s. Is h composite?
True
Let d(u) = -227*u + 2. Let a be d(-1). Let v = 439 - a. Let k = v - 125. Is k a prime number?
False
Suppose -4*p + 34736 = -m, -2*p + p + 8695 = -3*m. Is p prime?
False
Let v = 586 + -593. Is (-31335*v/84)/(3/12) composite?
True
Is (-4 + 0)/12*-378789 prime?
False
Let j(l) be the first derivative of l**3/3 + l**2/2 - 11*l - 40. Is j(-7) prime?
True
Let b be (1515 - -1)/(12*(-9)/(-54)). Suppose -5*z - 2*s = -1263, z - s + b = 4*z. Is z prime?
False
Suppose 0*h - 6*h + 19*h = 0. Suppose -5*f + h*n + 30350 = -5*n, 0 = 2*f - n - 12135. Is f a prime number?
False
Suppose 6*f = 21*f - 5190. Is 4 - f*(-30)/12 prime?
False
Let v(d) = 58*d**2 + 104*d + 1049. Is v(-10) a composite number?
True
Suppose -2*t - 169*b = -172*b - 60049, b + 60063 = 2*t. Is t prime?
False
Suppose -4*q + 0*i + 3 = -i, 2*q - 5*i = 15. Suppose -18*p + 20*p + 17634 = q. Is (-2)/3 - p/9 a composite number?
True
Let o(x) = x**3 - 12*x**2 + 2*x - 20. Let h be o(12). Suppose -5*d = 2*q - 9618, 2*q = h*d + 1024 + 8612. Suppose -5992 = -6*l + q. Is l a prime number?
True
Let f(u) = u**3 + 13*u**2. Suppose -2*n - 9 = 17. Let s be f(n). Suppose -w + 4*w - p - 651 = 0, s = -4*w + 5*p + 868. Is w a composite number?
True
Let a(m) = m**3 - 7*m**2 - m - 2. Let q be a(7). Let u(p) = -p**3 - 9*p**2 - 2*p - 42. Let n be u(q). Is n - -182 - (-2)/(1 + -3) prime?
True
Let t be -1983 + 10 - (1 + -4). Let o = t - -3821. Is o composite?
True
Suppose -s - 2053 = -4*x, 2*x - s - 145 = 882. Let o be (-9)/(((-12)/x)/4). Let n = -802 + o. Is n a prime number?
False
Suppose 5*q = 25, -5*h - 2*q - 2*q = -173130. Let s = 24680 - h. Is (s/18)/(2/(-6)) composite?
False
Suppose 4484 = -10*l + 76704. Let b = l - 4515. Is b prime?
True
Suppose -3*d + 4*d = -4*f + 13, -21 = -3*f - 3*d. Suppose -10322 = 5*c - 9*c + f*g, -g = -5*c + 12904. Is c prime?
False
Suppose 2*x + 58962 + 12696 = 4*u, 5*x = 25. Let h = u + 13230. Is h a composite number?
False
Is 1 + 48588/1 + (5 - -1) composite?
True
Let j = -18 - -93. Is (-20130)/j*(-15)/6 a composite number?
True
Is (24 + -1)/(-6 - -5)*(-61 - 348) composite?
True
Suppose 2*p - p = 0, -3*x - 3*p + 12 = 0. Let l be x - (4 - 0/(-4)). Suppose 556 = 2*j - l*j. Is j a composite number?
True
Suppose 109*a - 104*a - 4*u - 1676047 = 0, a + 5*u - 335192 = 0. Is a a prime number?
True
Suppose -709122 - 1153551 = -51*x. Is x a composite number?
False
Suppose 5*x + 1479 = -11. Let f be (-1010)/(-20)*(-28)/(-2). Let w = x + f. Is w a composite number?
False
Let d be 36/(-96)*8 + 6/2. Suppose d = -2*m - 3*m + 21395. Is m composite?
True
Let l be (32/40)/((-1)/(-5)). Suppose -8 = -2*s + l*h, h + 3*h = -5*s + 76. Is (-8)/s*936/(-16) a composite number?
True
Let c = 285 + -285. Suppose -3*m + 4*b + 0*b + 2742 = c, b = 2*m - 1828. Is m a composite number?
True
Suppose 5475*x - 5508*x + 17597217 = 0. Is x prime?
True
Let v(a) be the second derivative of -187*a**3/6 + 59*a**2/2 - 3*a + 10. Is v(-24) a composite number?
False
Let z(j) = j**3 + 12*j**2 - 31*j - 6. Let d be z(-14). Let s(o) = 25*o + 67. Is s(d) prime?
True
Let u = 667 + -630. Suppose -u*t - 4*c = -32*t - 27489, 3*c = -t + 5489. Is t a prime number?
True
Let d(l) = l**2 + 34*l + 3. Let j be d(-34). Suppose -j*x = -5*p - 22821, -2*x + 22821 = x + 2*p. Is x a composite number?
False
Let l(h) be the first derivative of h**5/4 + h**4/6 - 7*h**3/3 - h**2/2 - 9*h + 20. Let q(f) be the first derivative of l(f). Is q(6) prime?
False
Let x = -27 - -21. Let r(g) = -5*g**2 + 4*g - 5. Let k be r(x). Let o = k - -747. Is o a composite number?
True
Let r(u) = 9*u**2 + 33*u - 139. Is r(-40) a composite number?
False
Let l(o) = -5840*o + 2019. Is l(-44) composite?
True
Let n(o) = 3*o - 4 + 11*o - 1 - 8*o - 33*o**2. Let s be n(3). Is s/(-6)*12/8 a composite number?
False
Let h(f) = 9786*f**2 - 11*f + 8. Let r(t) = 9785*t**2 - 13*t + 9. Let q(k) = 7*h(k) - 6*r(k). Is q(-1) a prime number?
False
Let w be 1*4/(-12)*-422*375. Suppose 2*t = 4*u - w, 2*u - 3*t + 5*t = 26360. Is (u/36)/(1/4) composite?
True
Suppose 4*g = a - 19, -g + 6*g + 54 = 4*a. Let t = 5 - a. Is ((-1150)/15)/(4/t) composite?
True
Suppose -2*u - 3*j - 11 = -6*j, -3*j = 5*u + 17. Is -1*(-909 - u/(-4) - 3) composite?
True
Suppose 16 = -3*j + 7, u = -5*j - 18. Is u*((-5305)/15 - 0) a prime number?
True
Suppose 3*l - 3*d - 33 = 0, 3*d - 5*d = -5*l + 70. Suppose l = -3*c + 7*c. Suppose 760 = 4*a - c*m, 3*a + 2*a - 900 = -5*m. Is a a prime number?
False
Suppose 3517552 = -191*k + 207*k. Is k a prime number?
True
Suppose -27909091 + 17821559 = -394*h + 33299354. Is h a composite number?
False
Suppose -706459 = -z + s, 4*z - 6*s + s = 2825844. Is z a prime number?
False
Suppose 3*w = -0*w + 5*c + 1142, -5*w = 4*c - 1965. Let v = w - 157. Is (78/4)/(12/v) a prime number?
False
Suppose 0 = 4*a - 4*s - 6374244, 3*s + 645483 - 2239052 = -a. Is a composite?
True
Let o(q) = q**3 - 13*q**2 - q + 6000. Let c be o(0). Is c + (7 + 14)/3 a composite number?
False
Suppose 2*f + 2*f - 38487 = s, -s = -f + 9618. Let i = f + -2940. Let w = i - 3978. Is w a prime number?
False
Let x = -57 - -59. Suppose x*v + 5*z - 19975 = 10*z, v + 2*z - 9983 = 0. Is v a prime number?
False
Let v be 0/(-2) - (-115524)/(-18). Is (-12)/8*v/3 composite?
False
Let i(c) = 48*c**3 - 8*c**2 + 54*c + 27. Is i(7) a composite number?
False
Let x be -2 - 0 - (-7)/((-35)/(-60)). Suppose 7*p = 12*p - x. Is (397*(-1 + 3))/(0 + p) a prime number?
True
Let i(c) = 12*c - 