
True
Let y = 24260 - -16926. Is y composite?
True
Suppose -90 = 5*z - 6*z. Let i = z + -120. Is ((-5)/i*-3)/((-3)/6582) a prime number?
True
Let u(q) = -q**2 + 5*q + 40. Let t be u(9). Suppose 5*n = -10, t*n = -z + n - 3. Is z - 2/2 - (-628 - 1) a composite number?
False
Let m = 222 - 217. Suppose m*h = 2656 + 2119. Is h a prime number?
False
Let m(c) be the third derivative of -19*c**4/24 + 7*c**3/2 + 2*c**2 - 73*c. Suppose 20 = -3*o - 2*k, 4*o = -k + 2*k - 45. Is m(o) prime?
True
Suppose 5*w - 32944 = -3*w. Suppose -2*z = -2*c - w, 7*z - 3*z = -3*c + 8264. Is z prime?
True
Let y = -51 + 51. Suppose y = 2*z - 2 + 4. Is z/(-3) - ((-21228)/9 - 0) composite?
True
Let z(b) = 177*b + 25. Let f(u) = -88*u - 12. Let h(q) = 7*f(q) + 3*z(q). Let w be h(6). Let l = -128 - w. Is l composite?
True
Let d(i) = 1088*i**2 + 15*i - 29. Is d(18) prime?
True
Is (806/(-13) + 1)*-7507 composite?
True
Let p be ((-715)/(-15) - 3)/(2/(-3)). Let r = 85 + p. Suppose 0 = -r*h + 22*h - 92. Is h a composite number?
False
Let i be 1965/2*6/9. Let v = -449 + i. Let f = v + -127. Is f prime?
True
Let s(a) = 28*a**2 - 8*a + 1. Suppose 0*l - 26 = 3*l + 4*h, 0 = 3*l + 2*h + 22. Is s(l) composite?
True
Suppose 0 = 4*g + c - 987078, -4*g - 36*c = -37*c - 987074. Is g a composite number?
False
Let k = -7942 - -12889. Suppose -13*t + 15750 = k. Is t a prime number?
False
Suppose -124 = 8*x + 1492. Let i = x - -102. Let w = -9 - i. Is w a prime number?
False
Let t = 225114 - 108475. Is t a composite number?
False
Suppose -545 = 2*z - 3*i - 2*i, -4*z + 2*i = 1066. Let x = z - -602. Is x a composite number?
False
Is 11 - (-11 + -1542229)/5 a prime number?
False
Let v(r) = -r - 16. Let d be v(-18). Suppose 0 = 2*a + 4, -2*q + d*a + 2501 + 997 = 0. Is q a prime number?
True
Let u be 6/4*48/(-18). Let b(p) = -p**3 - 5*p**2 - 5*p. Let q be b(u). Suppose 0 = 4*h - g - 1205 - 383, -4*h + 1588 = -q*g. Is h a composite number?
False
Let t be (-49)/1*(1 + -3). Let w(i) = 2*i**2 - 50*i - 51. Let f be w(-5). Let j = f + t. Is j composite?
False
Let w(g) = -6*g + 47. Let s be w(7). Suppose s*b - f = 25208, 2*b - 4*f = 8935 + 1141. Is b composite?
True
Suppose 3*q + 4*f = 623151, -41*f = -36*f - 30. Is q composite?
False
Suppose 4*a = -4*v + 4, 0*v + 7 = 3*a - v. Suppose a*u = 2*g + 6, -5 = 4*u + g - 2. Suppose -t + 2 = u, 6*s = s - 4*t + 2093. Is s prime?
False
Let g(j) = 3*j + 35. Let f be g(-9). Suppose -9641 = -f*b + 15983. Is b composite?
False
Let s be (8 - (-10)/10) + 43. Suppose -s*g = -27*g - 39275. Is g a prime number?
True
Let h be 24/40 + (-3)/5. Suppose h = -3*u - u. Suppose -8*s + 12*s - 11372 = u. Is s a composite number?
False
Let u be (-4)/(((-8)/(-20))/(2/5)). Let x be 0*(0 + u/12). Suppose x = 4*f - 1227 - 361. Is f prime?
True
Suppose 3*g = -3*q + 567, g - 753 = -4*q - 0*g. Suppose z + 2*z = n + 141, q = 4*z + n. Suppose -5*b + z + 118 = 0. Is b prime?
False
Let o = -76 + 54. Let l(y) = -25*y + 5 - 14 + 32 - 10. Is l(o) a prime number?
True
Let m(b) = -b**3 - 78*b**2 + 42*b + 28. Is m(-81) prime?
False
Is -3*(1715108/(-6) - (-3 + 2)) prime?
True
Let z = 51268 - 26037. Is z a prime number?
False
Let b(q) = 27*q**3 + 23*q**2 - 236*q - 13. Is b(9) a composite number?
True
Suppose 3*n + 5*v - 3*v = 34, v = n - 3. Is (-7 - (-9624)/n) + -5 a prime number?
False
Suppose 17*z + 1122598 = 3228167. Is z a composite number?
True
Suppose 0 = -l + 11*a - 9*a + 4, -3 = 3*l - a. Let k(v) = -49*v**3 - v**2 + v. Is k(l) a composite number?
True
Let w = -6285 + 21656. Is w a prime number?
False
Suppose 2*j - 8 = 0, 4*c + 33*j - 381880 = 37*j. Is c a prime number?
False
Let p(i) = -i**3 + 6*i**2 - 6*i + 3. Let x be p(3). Let s be -1 + (-2)/(-6) - (-42824)/x. Suppose 0*k - s = -16*k. Is k composite?
False
Let s = 2133252 - 1167553. Is s composite?
True
Let f be (-11)/(33/(-12)) + (0 - 4). Is (-41 - 2088)/((-2)/14 - f) prime?
False
Is (-6)/9*479*(-174)/4 a composite number?
True
Is (-8932)/(-1276) + (4/6 - (-983368)/3) prime?
True
Let v be (88 - 1)/((-1)/(-2)*6). Let h(m) = 6*m - v*m - 33 - 14*m + m + m**2. Is h(-20) prime?
True
Let z(g) = -1225*g - 56. Let l be z(-5). Suppose -v = -284 - l. Is v a prime number?
True
Let g(j) = j**3 - 4*j**2 - 5*j + 4. Let s be g(5). Suppose 3*i - 12*z = -11*z + 10775, 0 = s*i + 3*z - 14384. Is i prime?
True
Let m = 377722 - 34205. Is m a prime number?
True
Let a(g) = g**3 - 4*g**2 + g + 5981. Suppose -y + 4 = 8*x - 3*x, 0 = 4*x + y - 4. Is a(x) prime?
True
Let x = 2205 + -1552. Let v = 716 + x. Is v a composite number?
True
Let q(v) = -2*v**2 - 55*v + 245. Let h(b) = 2*b**2 + 28*b - 123. Let o(l) = 7*h(l) + 4*q(l). Is o(24) composite?
False
Let i(n) = -6*n**3 - 20*n**2 + 126*n + 1795. Is i(-38) prime?
True
Let t be (-4)/(-8)*(2 + -12438). Is 0 - t*27/18 a prime number?
False
Suppose 15*v + 20 = 125. Let q(b) = -b**2 - b + 1. Let c(r) = -16*r**2 - 20*r - 7. Let n(y) = -c(y) + 2*q(y). Is n(v) a prime number?
True
Let z(l) = 3552*l - 2741. Is z(29) a prime number?
True
Let i(x) = -13944*x**2 + 638*x**2 + x + 43519*x**2 + 39319*x**2 + 9686*x**2 + 2. Is i(-1) prime?
False
Let o(p) = -3*p + 82. Let c be o(26). Let r be (c/(-40)*-12)/((-4)/(-10)). Suppose -h + 5*h - w - 847 = 0, -3*w = -r*h + 642. Is h composite?
False
Let g(h) = -h**3 + 24*h**2 + 3. Let o be g(24). Suppose 8*n = o*n + 7795. Is n a composite number?
False
Suppose -8*x - 69 = -109. Let b(r) = 70*r**2 - 7*r + 26. Is b(x) a composite number?
False
Let z be (-13)/26 + (-22)/(-4). Suppose 0*d = -2*d + 5*k + 32382, z*d - 80985 = 5*k. Is d prime?
False
Suppose -68*j = 9*j - 7*j - 17425730. Is j a prime number?
False
Let o = -21620 + 30997. Is o prime?
True
Suppose 0 = 11*t - 6*t - 25. Suppose -t*j = x - 12657, -3101 = -j - 5*x - 560. Is j a prime number?
True
Let y(b) be the first derivative of -4*b**4 + 2*b**3 - b**2/2 - 7*b - 1. Is y(-4) a prime number?
True
Suppose 2*g - 4*u = 7*g + 12, 0 = -g - u - 3. Suppose -3*f - 2*x + 0*x + 1655 = g, 0 = 4*f + 5*x - 2202. Is f composite?
True
Let h(n) = 4 - 6*n - 16 - 12. Let s be h(-5). Is (6255/20 - s) + 1/4 a prime number?
True
Is ((-703632)/36 + -1*5)/(7/(-21)) a composite number?
True
Suppose -5*u - 20 = -5*r, 0*u - 3*r - 28 = 5*u. Is (2 + -3)/u - 13576/(-20) composite?
True
Let a = 3101 - 1208. Suppose -3*t = -3*c + a, 2*c - 785 = -4*t + 477. Is c a composite number?
False
Let b = 92 - 88. Suppose 18 = -b*k + 34. Suppose k*g - 452 = 3304. Is g a prime number?
False
Let y(g) = -30604*g**3 - 6*g**2 + 10*g + 47. Is y(-3) prime?
True
Suppose -5*i = 2*m - 141, -5*i + 0*i + 132 = -m. Let n(w) = -32 + 24*w + w**3 + w**3 - 3*w**3 + 78 + i*w**2. Is n(27) composite?
True
Suppose -5832 = -4*w + 2*m, 2*m - 2916 = -2*w + m. Let l be -1*((-1797)/5 - 4/(-10)). Let x = l + w. Is x prime?
False
Suppose -6*w = -23869 - 9065. Is w a prime number?
False
Let o be (3 - (-4)/(-4)) + 28 + -2. Is 253 - -4*7/o a prime number?
False
Let m = 332 - 1074. Let n = 1139 + m. Is n prime?
True
Let c(h) = 1936*h**2 + 158*h + 807. Is c(-5) prime?
False
Let a(h) = -12*h**2 + h - 4. Let y = 23 + -25. Let t be a(y). Is -1 - -1 - (-1 + t) a composite number?
True
Suppose -16662578 - 26569248 = 57*t - 337826579. Is t a prime number?
True
Suppose -4*f - 2 = 2, -797 = -4*c - 3*f. Is -4 + -1 - (-3 - (-13 + c)) a composite number?
True
Suppose -1156*n + 18194935 = -971*n. Is n prime?
False
Is (-90)/675 + (-109294)/(-30) a composite number?
False
Suppose -13*v + 11*v = -2424. Suppose 0 = -2*u + 7*u - k - 15, 5*u - 5*k = 35. Suppose 174 = -u*m + v. Is m a prime number?
False
Let m = 506 - 489. Suppose 5*y - m*b + 12*b - 114905 = 0, 0 = -4*y - 3*b + 91952. Is y a composite number?
True
Let s = -233852 + 539489. Is s a prime number?
False
Let z(b) = -b**3 - 6*b**2 + 2*b + 12. Let k be z(-6). Suppose 2*a - 2*p - 12 = k, -3*a + 4*a = -3*p + 6. Suppose 430 = 8*n - a*n. Is n prime?
False
Let z = -82749 + 133106. Is z a composite number?
True
Let y be (-8)/((-40)/(-15)) + 4 + -1. Suppose 0 = 4*q - 2*k - 6 - 2, y = -5*q + 5*k + 20. Suppose n + 5*n - 3246 = q. Is n prime?
True
Suppose 164*h - 155*h = 45. Suppose -h*r + 27293 = -3*y, -5*r + 6240 + 21069 = y. Is r composite?
True
Suppose 2*g = 5*y - 32, -3*y - 2*y + 34 = -4*g. Let r(u) = 114*u**3 - y*u - 115*u**3 + 8*u**2 + 20 + 13*u + u**2. Is r(9) a prime number