4*j - 420578 - 751091, j - 4*f = 292933. Is j prime?
True
Let u be (7 - 2) + (-12)/4. Suppose 13 + 245 = -u*q. Let k = q - -380. Is k a prime number?
True
Let l(w) = -5*w**3 + 21*w**2 + 37*w + 214. Is l(-9) prime?
True
Let m(a) = 4338*a - 13151. Is m(44) prime?
False
Suppose 0 = -c - 2*s + 838, 5*s = -0*c + c - 873. Suppose 2*x = c + 2594. Is x a prime number?
True
Suppose 5*m - 1818234 = -427022 + 205113. Is m composite?
True
Let z be ((-18)/45)/((-2)/(-30)). Let s be 9/z*(-8)/(-12). Let o(p) = -306*p + 5. Is o(s) prime?
True
Let f be -2 - (120/(-8))/3. Is f/24*8*10211 prime?
True
Suppose 15*a - 18286425 = -5313180. Is a prime?
True
Let j = 1331 + -1935. Let r = 505 - j. Is r a composite number?
False
Let g(w) = 46*w - 136. Let p be g(3). Suppose -5*l = -5*m - 9*l + 33677, p*m - 5*l = 13451. Is m composite?
False
Let r(t) = 599*t**2 - 42*t - 202. Is r(-5) a prime number?
True
Let q = 60912 + 67237. Is q a composite number?
True
Let x be 3/(-15) + 150717/(-15). Let o = 5946 + x. Let r = -2911 - o. Is r composite?
True
Let c be 339/69 + (-22)/(-253). Suppose -c*h = -8473 - 27942. Is h a composite number?
False
Is (-1)/1*6/(-18)*425793 prime?
True
Suppose 10 = -3*w - 4*o, -o = -2*w - 2*w + 12. Let p be (18/12)/(-1*w/(-68)). Suppose 6*i = 1197 - p. Is i a prime number?
True
Let g(n) = 82*n**2 + 7*n - 71. Let l be g(-11). Suppose 3*w - l = 15015. Is w composite?
False
Suppose 0 = -269*h - 28*h + 780292 + 4924187. Is h prime?
True
Let v = 252 - -10389. Suppose -y = g - v, 5*g - 26 = -6. Is y composite?
True
Suppose -9704730 - 5770497 = -129*w. Is w prime?
True
Suppose c + 3 = -o, -10*c + 12*c = -5*o. Let f be 0*(-2 - -1) - -1413. Suppose o*u - f - 1423 = 0. Is u a prime number?
False
Suppose -4*q + q - 5*k + 174346 = 0, -5*q + 290622 = -3*k. Suppose f - q = -8*f. Is f composite?
True
Suppose -4*w - 5*i = -1141603, w + 5*i = i + 285387. Is w prime?
False
Is 66160/6 + 10/(-150)*-5 a composite number?
False
Let n = -495 + 498. Let t(h) = 1713*h + 68. Is t(n) a composite number?
True
Let b(p) = p + 6 - 6*p + 17*p - 3*p. Let g be b(4). Suppose -3*c = -5*k + 455, -4*k - c = -g - 322. Is k prime?
False
Let g(u) = -2*u**2 + 26*u - 18. Let h be g(18). Let c = -75 - h. Suppose -m = -5*a - 633, c = m + 3*a - 478. Is m composite?
False
Let j be ((-87)/3*2)/(6 - 4). Let m = -29 - j. Suppose m = -3*x - 4*u + 203, -3*x - u + 119 + 87 = 0. Is x a composite number?
True
Let i be ((-12)/8)/(12/(-16)). Let q be (-32)/4*(-1)/i. Suppose 0 = -3*b - q*g + 353, 3*b + 2*g = 297 + 46. Is b a composite number?
True
Is ((-205)/(-1230))/((-1)/(-997314)) a composite number?
False
Let b = -74 - -77. Let a be 10/b*(5/(-2) + 4). Suppose 4449 = a*t - 386. Is t composite?
False
Let x = -9917 + 46658. Suppose -x = -28*k + 247571. Is k composite?
True
Let v = 68434 + -40823. Is v a composite number?
False
Let v = 19126 - 5522. Suppose -3*w - 3*z = -20418, -2*z + 47631 - v = 5*w. Is w a prime number?
False
Suppose l - 4*a - 5095 = 0, 0 = 4*l + 2*a + 3*a - 20296. Is (l/(-2))/((-6 - -10)/(-8)) a composite number?
True
Let q(n) = 8 - 60*n + 153*n + 230*n. Is q(5) a prime number?
False
Is (-4615668)/(-52) + 18/117 prime?
False
Suppose -34*k + 20*k = 546. Is (442/k)/(6/(-5931)) prime?
False
Let u(m) = 6570*m**2 + 68*m + 291. Is u(-4) a composite number?
True
Let q(z) = z - 1. Let d(s) = -7*s + 1. Let r(j) = -d(j) - 6*q(j). Let t be r(-2). Suppose 2*k + 5*m = 611, 8*k - 4*k = -t*m + 1187. Is k a composite number?
False
Suppose -v - 36 = -13*v. Suppose -2*q = 2*n + 14, 25 = -v*q - 6*n + 2*n. Is 13293/6*(-2)/q a composite number?
True
Suppose 11*i - 21 = 4*i. Suppose 5*j = -4*z + 37, i*j + 3*z - 10 - 14 = 0. Suppose d - j*s = 629, 4*s = 4 - 16. Is d a prime number?
False
Let z = -31 + 45. Let x be z + (15 + 0)/(-5). Is x/(-22)*3/((-6)/1940) composite?
True
Suppose -44*s + 35*s + 34614 = 0. Suppose -34*j + 28*j + s = 0. Is j composite?
False
Let q(m) = -5*m**3 - 34*m**2 + 17*m - 225. Is q(-23) a prime number?
False
Let z(p) = 6*p - 6. Let s be z(12). Let h be s/7 + 9/(-21). Is (-903)/(-6) - h/12*2 prime?
True
Let q(i) = 6*i**2 + 1217. Suppose 3 = -10*j + 3. Is q(j) prime?
True
Let k = 53096 - -51643. Is k a prime number?
False
Let j(d) = -80*d + 17. Let c(u) be the third derivative of u**6/120 + 19*u**5/60 + 3*u**4/4 - 3*u**3/2 - 11*u**2. Let b be c(-18). Is j(b) a composite number?
True
Suppose w = 2*j - 134196, -3*w + 5*j = 70753 + 331837. Is w/(-66) + 1/(-3) a composite number?
True
Let x(v) = 95 + 66*v**2 - 96 + 2*v - 3*v**2. Suppose -11*b = -b - 60. Is x(b) composite?
True
Suppose 0 = j - 1, -3*j + 7 - 1 = -3*v. Is (v + -1)*(-4267)/34 prime?
True
Suppose 12325*o - 12320*o + 235980 = 1502845. Is o a prime number?
False
Suppose 3*a = -3*f - 43938, 5*a - 2*a = -5*f - 43944. Let s = a + 33344. Is s a prime number?
True
Let m(f) = -4336*f**2 + 4. Let v be m(2). Let d = v + 26067. Is d a prime number?
False
Let a be (-1 - 13/(-7) - (-500)/3500) + 628. Suppose p - 3*p = 3*d - 1272, p - 2*d = 622. Let k = p + a. Is k prime?
True
Let c(m) = 6*m - 45. Let v be c(6). Let y(g) = -g**3 + 9*g**2 - 29*g + 16. Is y(v) a prime number?
False
Let z(o) = o**3 + 16*o**2 - o + 25. Let w(m) be the second derivative of m**3/2 + 9*m**2/2 + 35*m. Let l be w(-7). Is z(l) a composite number?
False
Suppose -4*p - 2*y - 4 = 0, 0 = 3*p - 4*y + 9 + 16. Let k(f) = 3 - 407*f - 4 - 86*f + 27*f. Is k(p) a composite number?
True
Suppose -102 = -2*u - r + 163, -495 = -4*u + 5*r. Let l = u - 92. Suppose 15 = x - l. Is x a prime number?
True
Let c(b) = -8*b + 48915. Let r be c(0). Suppose 17*l - 8*l = r. Is l a composite number?
True
Suppose -31287 - 17516 = -b. Is b a prime number?
False
Suppose -4*z = -7 + 19. Is (2/z)/(4/(-6258)) composite?
True
Let q = -26 - 0. Let a be (143/q)/(-1 + (-3)/(-2)). Let i(x) = -x**3 - 6*x**2 - 10*x - 36. Is i(a) composite?
True
Let y(v) = -64*v - 127. Let p be y(-8). Let m = -246 + p. Is m a composite number?
False
Let m be 10*(28/10)/2. Suppose m*d = 12*d - 2. Is 520 + (-3 + 6)/(1/d) composite?
True
Let z(l) = -599*l - 2. Let p be z(-3). Let y be 0/((4 + -6)*(-3)/(-6)). Suppose -x - p = -10*v + 6*v, y = 3*v + 3*x - 1350. Is v prime?
True
Suppose 4*x + 13 = -5*y, 32*x + 5*y + 34 = 35*x. Suppose -5*n = -n + i - 16026, -x*n = 5*i - 12011. Is n prime?
True
Suppose -2*g + 5*s + 9983 = 0, -2*g = 2*s - 10029 + 39. Let r = g + -1345. Is r composite?
True
Is (-89742850)/(-75) - (-1 + 4 + 80/(-30)) prime?
False
Let h = 282107 + -188440. Is h a prime number?
False
Let s(h) be the second derivative of -2/3*h**3 + 0 - 12*h + 181/2*h**2. Is s(0) composite?
False
Is 511/(-219) - 899650/(-3) prime?
True
Suppose 0 = 5*p - 4*q - 7, -3*p = 5*q - 88 + 69. Let a = 9 - 6. Suppose a*c + 1008 = 5*g - 1215, 5*g = -p*c + 2247. Is g prime?
False
Is (10/70)/((-470502)/94101 - -5) a prime number?
True
Suppose -4*w - d + 1252489 = 0, 48*d - 313101 = -w + 52*d. Is w a prime number?
False
Let s(t) = 3*t**2 + 4*t + 2. Let j be s(2). Let l(y) = -j*y + 25 - 8 + 17*y. Is l(-8) a prime number?
False
Let c = 721 + -685. Suppose c*j - 7331 = 35*j. Is j a composite number?
False
Let f(w) = -19*w**2 - w + 23. Let n be f(-8). Let l = -322 - n. Is l prime?
True
Let y(g) = 229*g**3 - 4*g**2 - 4*g + 143. Is y(12) prime?
True
Suppose 5*q - 15 = 3*i, -4*q = -i - 22 + 3. Suppose 0 = q*y - 4629 - 15897. Is y prime?
False
Let r be (-19)/(2 + -1) - 0. Let z be (-2)/r + 1582944/209. Suppose -19*k + z = -5*k. Is k composite?
False
Suppose 15231180 = -8*p + 28*p + 40*p. Is p a composite number?
False
Suppose -3*o - o = -4*n + 8, -3*n = -5*o - 12. Let t be 3/(15/(-10) - o). Suppose 5*d = -t*q - 0*d + 387, -571 = -3*q + 2*d. Is q a prime number?
True
Let c be (-138)/(-8) - 18/(-24). Suppose -c*a - a + 329669 = 0. Is a a composite number?
False
Suppose 5*t + 18 - 43 = i, 3*i - 39 = -4*t. Suppose -t*v + 6509 = -21133. Is v prime?
False
Let i(u) = u**3 - 20*u**2 - 23*u - 5. Let d be i(21). Let s = d + 41. Is (-1)/(-2) + s/((-72)/942) prime?
True
Suppose 0 = -2*z + 2*y + 102312, 51155 = z + 1084*y - 1086*y. Is z prime?
True
Suppose 21*m - 20*m + 351250 = 3*p, 5*m - 25 = 0. Is p composite?
True
Suppose 41*g + 342044 = 21*g + 3630904. Is g composite?
False
Suppose 0 = -55*q + 58*q - 9. Suppose -q*p + 44902 = n, -5*n - 25974 = -2*p + 3989. Is p compos