 Let o(h) = -h - 1. Let j be o(5). Let w be z(j). Suppose 0 = -5*i + 3*i + w. Is i a composite number?
False
Let m(a) = -a**2 + 4*a + 3. Let i be m(4). Suppose -44 = i*x + 10. Let f = x + 67. Is f a composite number?
True
Let y = 3258 - -1191. Is y a composite number?
True
Suppose -10*a + 60 = 2*a. Let l(j) = -j**3 - j**2 + j + 1. Let d(h) = 8*h**3 + 8*h**2 + 2*h - 9. Let z(v) = d(v) + 6*l(v). Is z(a) prime?
True
Suppose -k - 3275 = -2*k - 2*x, 13078 = 4*k - 3*x. Suppose -3*w = -0*w - 4*h - k, 0 = -4*h + 20. Is w prime?
True
Let z = 15 + 12. Suppose 22*n = z*n - 3155. Is n composite?
False
Suppose 382 = -z - 100. Let t = z - -829. Is t a prime number?
True
Suppose 4*u - 47 = -5*g - 20, 4*g - 2*u - 6 = 0. Suppose 18485 = -g*n + 8*n. Is n composite?
False
Let r = -929 + 1324. Is r a composite number?
True
Suppose 17*i + 1428 = 19*i. Suppose 0 = -3*l + 3*w + i, -3*l + 5*w + 0*w = -712. Is l a prime number?
True
Let a = -1 + -6. Let d be (-2 - 1)/(a/(-35)). Is (-10)/(-4)*(-474)/d composite?
False
Suppose -q = 7*q - 35240. Is q a composite number?
True
Let m(o) be the first derivative of -o**3/3 - 5*o**2 + 10*o - 3. Let i be m(-9). Let s = 300 + i. Is s prime?
False
Suppose 4*k + x - 53 = -4*x, 41 = 3*k + 5*x. Let d = -8 + k. Suppose 4 = -4*y, -y = -d*z - 5*y + 420. Is z composite?
True
Let l(y) = y**3 - 14*y**2 + 18*y - 20. Let n be l(12). Let k = n + 181. Is k prime?
True
Suppose -28*a + 1174205 = -302711. Is a prime?
True
Let d(c) = -c**3 - 2*c**2 + c - 2. Let k be d(-3). Suppose -k*x = -2*g + 11 + 9, 0 = 2*x + 8. Is 2/(5/(155/g)) prime?
True
Suppose -3*k = -3*m + 846, 2*m + 4 = 4*m. Let v = k + 1841. Is v prime?
False
Suppose -27*u = 16*u - 415423. Is u a prime number?
True
Suppose -9*r - 23*r + 40352 = 0. Is r composite?
True
Let v(p) = 21*p**2 + 21*p + 13605. Let i(a) = -4*a**2 - 4*a - 2721. Let j(g) = -11*i(g) - 2*v(g). Is j(0) a prime number?
False
Let q = -25 + 26. Is q - -1*(-2 + 440) a composite number?
False
Suppose -29 = -c - 27. Is c/13 + (-1790)/(-26) composite?
True
Suppose 5*f - 2*r = -4 - 9, 0 = -4*f + 3*r - 9. Let a = f + 16. Suppose 395 = 4*v + o + a, 5*v + 4*o = 483. Is v composite?
True
Let o be ((-16604)/35)/((-2)/5). Let y = o + -629. Is y a prime number?
True
Let p(k) = 128*k**2 + 14*k - 91. Is p(12) composite?
True
Suppose -d - 12 = -3. Is d/(-24) + 773/8 composite?
False
Is (-35)/14*2/(-5)*1643 prime?
False
Let s(y) = -y**2 + 17*y + 7. Suppose 190 = 6*i + 10. Let q = -20 + i. Is s(q) a composite number?
True
Let y(u) = 201*u + 1. Let s be y(-1). Let j = s + 639. Is j a composite number?
False
Let w = 97972 + -68849. Is w prime?
True
Suppose 10*u + 10033 = 362543. Is u prime?
True
Suppose -10 = -t - 5. Let j(v) = 16*v - 3. Is j(t) prime?
False
Is -64211*(-4 + (-54)/(-14)) composite?
False
Let q(s) = -2 - 37 + 3*s + 21. Is q(7) a prime number?
True
Let z(j) = 5*j**3 + 2*j**2 - 25*j + 115. Is z(22) prime?
True
Suppose -10*w + 6*w = -12. Suppose 2*g + 3*o - 601 = 0, -w*g = -3*o + 8*o - 904. Is g prime?
True
Let c = 1192 + -569. Is c a composite number?
True
Let k be (5/5)/((-1)/(-3)). Suppose k*m - 52 + 16 = 0. Is ((-23)/(-4))/(3/m) prime?
True
Let k be ((-42)/(-35))/(1 - (-3)/(-5)). Suppose 523 + 3308 = k*g. Is g a prime number?
True
Let p(x) = 11*x + 2. Let l(f) be the first derivative of -f**3/3 + 9*f**2/2 - 3*f - 2. Let t be l(8). Is p(t) composite?
True
Suppose -4*i - 3*x + 22 = -x, -3*x = -5*i. Suppose 0 = -3*m - 4*d + 83 + 204, 0 = i*m + 3*d - 288. Is m composite?
False
Let t(a) = a**3 + 36 + 3*a**2 - 34 - 3*a - a. Let l be t(-4). Is (-83)/(l + -7 + 4) a composite number?
False
Suppose -80 = 3*g + 130. Is 16/10*24 + (-42)/g prime?
False
Let x(f) = 186*f - 32. Let i be x(4). Suppose 3*b + 5*b = i. Is b a prime number?
True
Is (14 - 7) + -9 - -28 prime?
False
Let h(k) = 700*k - 239. Is h(6) a composite number?
True
Is 54/81 + 10759/3 a prime number?
False
Let l(c) be the second derivative of 67*c**4/12 + 11*c**3/6 - 13*c**2/2 - 15*c. Is l(-6) composite?
False
Let s = -3 - -3. Suppose 0 = -5*x + 2*x + 5*c, s = 4*x - 4*c. Suppose -5*a + q + x*q + 1117 = 0, q - 890 = -4*a. Is a a prime number?
True
Let p(t) = -23*t. Let v be p(-7). Let x = 352 - v. Is x prime?
True
Suppose 12 = 2*i - 4. Let w be i/(-6)*(-3)/2. Is w*(1 + 756/8) prime?
True
Let w(d) = d**3 - 3*d**2 + 3*d - 7. Let u be w(3). Suppose -u*s - 3*k + 53 = 0, -2*s - 3*s + k = -158. Is s composite?
False
Is ((-35287)/14 - 9)/(2/(-4)) a composite number?
False
Let p be (-2)/(-1) + (-1 - -5). Let x be (-13)/(-2) - p/4. Suppose -2*s + 347 = 3*y, 579 = x*y - s + 5*s. Is y a prime number?
False
Suppose -3628 = 25*a - 29*a. Is a composite?
False
Let k be (-6 - -11)/(1/1). Let u = k + 1. Is u prime?
False
Let x = 18744 - 10165. Is x composite?
True
Let r be 1*9 - (0 + 3). Let t be (r/(-5))/((-6)/20). Suppose -3*k + 1121 = 4*a, -t*k + a + 638 = -825. Is k composite?
False
Suppose -10*u - 2915 = -25105. Is u prime?
False
Let p = 41 - 39. Is (5*6/25)/(p/5) a prime number?
True
Let x be 4*7*(1 + -3). Let f = x - -183. Is f composite?
False
Let m(r) = r**3 - 18*r**2 + 12*r - 15. Is m(28) prime?
True
Let h = -18659 + 33504. Is h prime?
False
Let s be (-2 + (-10)/(-4))*52. Let p = s - 23. Suppose -p*j + 2*j = -103. Is j a prime number?
True
Let d be 6/(-9) - 25998/18. Is 8/12 + d/(-15) composite?
False
Let c(l) = 5*l**2 + 24*l - 10. Is c(13) prime?
False
Let l(b) = 34*b - 16. Let a be l(8). Suppose 2*w + 32 = 2*d - 94, 4*d - 3*w = a. Is d a composite number?
False
Let j = -67 - 122. Let v = -112 - j. Is v a composite number?
True
Suppose -2*r = 3*j - 1, 5*r + 32 = 3*j + j. Let s be (-1042)/r - 1/2. Is 1 + s/((-5)/(-1)) a prime number?
True
Let a(i) = i**2 - 6*i + 19. Let d(s) = -s**2 + 7*s - 19. Let c(m) = -2*a(m) - 3*d(m). Is c(-12) composite?
False
Let z be (12/(-10))/((-18)/60). Let p be (0/z - 3)/(-1). Suppose o - 62 = -c - 0*o, -3*o = -p*c + 216. Is c a composite number?
False
Let v(j) = -12*j**2 + 2 - j**3 + 15*j + 4*j**2 - 6*j**2. Let z be v(-15). Is (z - -420)*1/2 prime?
True
Suppose 0 = 2*y - 5*d - 1889, -29*y = -24*y + 3*d - 4676. Is y a composite number?
False
Let m = 3632 - -10707. Is m a composite number?
True
Let m = 22267 + -15092. Suppose -5*v = 3*n - v - m, -4790 = -2*n + 4*v. Is n prime?
True
Suppose -54*d + 308141 = -110413. Is d composite?
True
Let k = 23 - 21. Let s(o) = 4*o**3 + 6*o**2 + 3*o - 4. Let m(t) = -t**3 - t**2 - t. Let b(z) = k*m(z) + s(z). Is b(3) prime?
True
Suppose -3*r - 12 = -6*r. Let c(i) = i**3 + i**2 - i + 1. Let n(j) = 3*j**3 + 20*j**2 - 8*j + 13. Let o(u) = r*c(u) - n(u). Is o(16) prime?
False
Suppose 0 = -4*c + 12, -23*c + 28*c - 44179 = -4*r. Is r prime?
False
Let c(u) = -8*u**2 - 21*u + 1. Let z be c(17). Is -2 + 15/9 + z/(-3) prime?
False
Let s be ((-18)/(-4) - 5) + (-3)/6. Let h(x) = -31*x**2 - 3*x - 2. Let r be h(-2). Is -2 + s - r/3 composite?
False
Let m(i) = 2*i**3 + i**2 - i + 1. Let g be m(1). Suppose 3*z = 5*l - 3217, g*z - 2552 = -l - 3*l. Is l a composite number?
False
Suppose 0 = -3*t - 2*n + 1119, -5*t + 12*n - 9*n = -1865. Is t a prime number?
True
Let h be (2 + (-20)/12)*12. Suppose h*p - 4*b - 677 = -9*b, 5*b + 627 = 4*p. Is p a prime number?
True
Let i(t) = -19*t + 76. Let k(q) = -3. Let u(c) = -1. Let v(j) = -6*k(j) + 17*u(j). Let l(b) = -i(b) + 76*v(b). Is l(1) prime?
True
Is (-2)/4*3567*394/(-591) a composite number?
True
Suppose 5*j + 5025 = 8*j. Suppose -4*o - 5*i = -j, 4*o - 415 = 3*o - 2*i. Suppose 0 = 6*r - r - 5*u - o, 0 = -5*r - 4*u + 461. Is r composite?
False
Is (-2 + 1)/(((-5)/813)/5) composite?
True
Let p be (-4)/((2 - -2) + -2). Let y = 225 + p. Is y prime?
True
Suppose 9*g - 100959 - 112836 = 0. Is g a prime number?
False
Let k = 4521 - 1066. Suppose -3*z + k + 259 = 3*n, 2*z - 2471 = -3*n. Is z a prime number?
False
Suppose 76*y - 3078213 = 387311. Is y prime?
True
Is 66/(-2)*(-16771)/93 a composite number?
True
Is (-4 - (-4947)/(-6))/(3/(-102)) composite?
True
Let t = -348 - -5671. Is t a prime number?
True
Suppose -5*n + 831 = -904. Let o = n - -68. Is o composite?
True
Let m be 0 - 2/4*6. Is m/((-1398)/(-467) + -3) composite?
False
Is 7162*(15/(-25) - (-164)/40) a composite number?
True
Suppose -4*j + 1 = x, -10 = -4*x + 4*j + 14. Suppose 2*m = x*l + 1589, 4*l = m - 314 - 479. Is m composite?
Fa