4 + -17973. Is x composite?
True
Suppose 30 = 44*n - 38*n. Let z be (-2)/(1*10/(-15)). Suppose z*a + n*q - 43 = 1936, 0 = q - 4. Is a composite?
False
Let u(c) = -30*c**3 + 66*c**2 - 35*c + 23. Is u(-10) a composite number?
False
Suppose 2*k = -2*y + 310, 305 = -7*y + 9*y - 3*k. Let p = -170 + 83. Let d = y + p. Is d composite?
False
Is 18547260/(17 - 2)*(-2)/(-8) a composite number?
False
Suppose -4*b - 3*b = -2*b. Suppose b*l - u - 1142 = -l, -4*l + 4540 = 3*u. Suppose -8*q + 9*q = l. Is q a prime number?
False
Let d = 1011 - 24. Suppose 4*h - 1696 = o, 2*o - d = -2*h - 129. Let c = h + -262. Is c prime?
True
Is 1108154*(-6 - (-156)/24) prime?
True
Let m(r) = -2*r**2 + 18*r + 3. Let s be m(9). Suppose -4*t = -5*t - 3, s*t = -w + 16744. Is w a composite number?
True
Let i be -3 + 2 + -3 + 6. Suppose -5*u + 2 = -3, -i*s - 2*u = -3012. Suppose 2*m = 5*q - 0*m - s, -4*q + 2*m = -1206. Is q composite?
True
Let v(p) = 256*p**3 + p**2 - 9*p - 27. Is v(7) prime?
True
Suppose 14415 = -19*v + 22*v. Let p = v + -862. Is p prime?
True
Suppose 2*f - 3 = 7, -2*f + 22 = 2*k. Let s(t) = k - 3 - 4 + 3*t**2 + 28*t**2. Is s(-3) a prime number?
False
Suppose 4*n = 66 - 10. Suppose -8*j - 12 = -n*j. Suppose -6*o = -j*o - 6932. Is o a composite number?
False
Let b(m) = -35 + m - 5*m - 304*m. Is b(-2) prime?
False
Let t be (-1)/3 - (5 + 74/(-6)). Suppose 969 = -t*u + 10965. Suppose -9*o + 2145 = -u. Is o a prime number?
True
Suppose 0 = 15*h - 10932 - 6948. Let l = 925 + h. Suppose -225*g + l = -224*g. Is g a prime number?
False
Let m be (-64084)/(-30) + (252/135 - 2). Let q = m - -3365. Is q composite?
False
Let s be (-1)/(-1) + (-6)/(24/(-308)). Suppose -s*h = -75*h - 18. Let z(p) = 17*p**2 + 20*p - 11. Is z(h) a prime number?
False
Let i(p) = 0*p**2 - 4*p**2 - p**2 + 3*p + 251 + 6*p**2. Let q(d) = 3*d**2 + 9*d - 12. Let l be q(-4). Is i(l) composite?
False
Suppose -3675 + 25489 = 26*w. Is w composite?
False
Suppose -20 = -4*i, -5*i - 7969 + 2474 = -4*h. Suppose h + 12330 = 6*f. Is f composite?
True
Let x = 3 + -10. Let k be 258/(-8)*(-3 - x). Let u = -35 - k. Is u a composite number?
True
Suppose 0*i = -4*i + 136. Suppose -3*z = 5*q - i, q = -3*z - 2*z + 42. Is -3 + 2 - 1 - (z + -572) composite?
True
Suppose -83*m = 1893451 - 39394760. Is m prime?
True
Suppose 30 = 5*m, 2*q = -3*m - 89116 + 252744. Is q prime?
False
Let l = 26 - 26. Suppose -25835 = 3*z - 8*z - 2*a, l = z + a - 5167. Is z prime?
True
Let j(c) = -1525*c - 20. Let y(w) = 3056*w + 36. Let v(o) = 7*j(o) + 4*y(o). Let x be (-1)/(-2) + (-1)/(-2). Is v(x) a composite number?
False
Suppose 0 = -10*o + 25*o - 75. Suppose -y + z + 2087 + 4649 = 0, 3*y - 20184 = -o*z. Is y a composite number?
False
Suppose 0 = -4*m + 4*l - 7656, -2*m - 2*l = -3*m - 1911. Let n = m - -12460. Is n a composite number?
True
Suppose 513*y + 2*i - 2048821 = 510*y, 0 = -5*y + 3*i + 3414727. Is y prime?
True
Let g = -222 - -227. Suppose 0 = -g*u - 4*y + 62267, 2*u - 5*y = 8122 + 16765. Is u composite?
False
Suppose -18*s = -14*s - 24. Suppose -5*n = -3*n - s. Is n*3*1671/27 composite?
False
Let j(r) = 3*r**2 + 12*r + 19. Let x be j(-19). Let y = 1367 - x. Is y a composite number?
True
Let q = 424 - 421. Suppose q*p = 4808 + 2119. Is p prime?
True
Let x be -3 + (235 + -6 - -6). Suppose -770 = -2*f + 4*s - x, s = -2*f + 528. Is f prime?
False
Let r(h) = -h**2 + 10. Let g be r(0). Let a be (-7497 + -1)/(g + -12). Suppose 0 = 4*z + 2*c - 3750, -4*z - a = -8*z - c. Is z a composite number?
False
Let p(v) = 5*v**2 + 2*v + 19. Let z(q) = -6*q**2 - q - 20. Let d(n) = -3*p(n) - 2*z(n). Let h be d(-16). Let s = h + 1040. Is s a composite number?
True
Suppose -98 + 14 = -7*j. Suppose 0 = -5*i - 2*y + 18933, 0 = -9*y + j*y + 3. Is i a composite number?
True
Let g(a) be the first derivative of -a**2 - 27*a - 1. Let z be g(-15). Suppose -4*c + 4297 + 2626 = -z*u, -4*c + u = -6929. Is c a prime number?
True
Suppose 0 = -14*b + 11*b - 2*i + 9, -4*b + 12 = -i. Suppose -3*p = -7*x + 3*x + 4424, -b*p = -x + 1097. Is x a prime number?
True
Is 5/(-2) - (-11025924)/184 prime?
True
Is (-2)/((51 - 42) + 1221814/(-135757)) a composite number?
True
Let u(m) = 5*m**2 + 7*m + 1. Let c = 2 + 10. Let n = c + -7. Is u(n) composite?
True
Is (-189985)/(-2) - 6/(-12) a composite number?
False
Let j(d) = 73*d + 69. Let m be j(-6). Let t = 116 - m. Is t a prime number?
False
Suppose 1591 = 4*n - 1233. Let h = -1530 + 2883. Let v = h - n. Is v prime?
True
Let v(x) = x**3 + 11*x**2 + 31*x. Let s be v(-15). Let w = s + 2066. Is w composite?
False
Suppose -3*c = -9, 5*v + 3*c = 1877 + 422. Suppose -o = -v - 461. Is o prime?
True
Is (-35)/(-1855) + (-321498312)/(-318) prime?
True
Let m(l) = -2*l**2 + 15*l - 10. Let f be m(7). Is ((-6)/f)/((-12)/(-33498)) composite?
True
Suppose -2*s - 105 = 3*s + p, 2*s - p + 49 = 0. Let z = -21 - s. Suppose 887 = -0*u + 2*u + d, d = z. Is u a composite number?
False
Let c(i) = -29*i**3 + i**2 - 3*i - 5. Let u(y) = -y**2 + 6*y - 10. Let h be u(2). Is c(h) a prime number?
False
Let f(i) = i**2 + 11*i + 3. Let o be f(-15). Suppose 0 = 88*h - o*h - 424325. Is h composite?
True
Suppose 0*m - 2*m + 3*r = -32, -3*r - 62 = -5*m. Suppose 681 = -m*g + 5351. Is g prime?
True
Let i(m) = -35*m - 560. Let r be i(-16). Let x(l) = -4*l. Let a be x(-1). Is 1227/12*(a - r) a prime number?
True
Suppose 5*c + 16*y - 21*y = 1183745, 5*y - 710247 = -3*c. Is c a prime number?
True
Let s be (-4*1)/(-2) - -84. Let n = -6505 - -6510. Let o = s + n. Is o composite?
True
Let w(c) = -3470*c + 1509. Is w(-17) prime?
False
Let s be -7 + 78246 + -7 + 7. Suppose s = -0*l + 7*l. Is l composite?
False
Is ((-8)/(-16))/(1/2 + 0) + 26308 prime?
True
Suppose 5*r - 754030 = -5*h, 11*r = 12*r - 3*h - 150802. Is r a prime number?
False
Suppose 0 = 5*q + 5*q - 9500. Let v = q + 1733. Is v a composite number?
False
Suppose -162*u - 37*u + 190045 = 0. Is u a prime number?
False
Let b(o) = 131*o + 71*o + 50*o + 79*o + 11. Let c be b(2). Suppose 2*k = 3761 + c. Is k a composite number?
True
Let i(o) = 46*o**2 + 21*o - 19. Let m(x) = -2*x + 3. Let u be m(7). Let v = -3 - u. Is i(v) composite?
True
Let a be 26566*1/9 + (-266)/(-1197). Let q = a - 1195. Is q a composite number?
True
Is 8060494/195*-5*(-12)/8 prime?
True
Let i = 431717 - -24724. Is i prime?
False
Let t(b) = b**3 - 10*b**2 + 32*b - 96. Let k be t(7). Is k/2*-121 - 3/6 a prime number?
False
Is (-2848587)/(-189) - 8/9 prime?
False
Let v be (-18)/(-1) + (-6)/(5 - 3). Suppose 3*u - 7*a + 25 = -2*a, 2*u + 3*a - v = 0. Suppose u = 5*p - 8260 - 2235. Is p a prime number?
True
Let g = -14441 - -25120. Let h = -808 + g. Is h a prime number?
True
Suppose v + z - 1004 - 360 = 0, 0 = 2*z - 2. Is v prime?
False
Suppose 16*y + 40 = 21*y. Suppose 19 + y = -3*t. Is 1*(134/3)/((-6)/t) prime?
True
Let c(p) = -p**3 - 14*p**2 + 33*p + 16. Let k be c(-16). Suppose -q + 5*q + 428 = k. Let x = q - -210. Is x prime?
True
Suppose -4*x + 126141 = -5*z, -2 = 2*z - 0. Is x a prime number?
False
Let b = -179980 + 842789. Is b a composite number?
True
Let m be (12/(-21) - (-622452)/(-28)) + -2. Let v = -3290 - m. Is v prime?
False
Let a(v) = -18*v + 15. Let s be a(2). Let f(x) = -x**3 - 23*x**2 - 43*x + 14. Let c be f(s). Suppose 3421 = c*q - 34*q. Is q a composite number?
True
Is 3 + 10 - (20 - 540546) a composite number?
False
Let t(n) = 3*n - 77. Let p be t(22). Is ((-6941)/6)/p*6 a composite number?
False
Let j = 602514 - 337133. Is j a composite number?
False
Let m be (3941 - -35) + (-15)/3. Let x be 621/(-1)*(-10)/(-3). Let a = x + m. Is a prime?
True
Let p = 74214 - -262183. Is p a composite number?
False
Let s(k) = k**2 - 7*k - 11. Let y be 8 - 12 - (7 + -3). Is s(y) prime?
True
Let f(u) = 626 + 1223 - 59*u**2 - u - u**3 + 54*u**2. Is f(0) a prime number?
False
Suppose 0 = f - 10*f + 144. Let o(r) = -r**3 + 20*r**2 - 21*r - 47. Is o(f) a composite number?
False
Let m(f) = -32728*f - 355. Is m(-2) prime?
True
Let c(h) = -6*h**3 + 6*h + 5. Let y be 12/(-21)*(4 - 75/10). Let t be -4 + 0 + (2 - y). Is c(t) a prime number?
False
Suppose -4057 = -3*a + 13298. Is a - (-48)/(-56)*7 a prime number?
True
Let r be (2 - (-11)/(-7))/(38/532). Let u(x) be the third derivative of x**5/12 + 5*x**4/24 - 31*x**3/6 - x**2. Is u(r) a prime number?
True
Let