*(-4 + 2)/(-2). Let s be k(a). Suppose -20 = -s*g, -4*g + g = -5*x + 1150. Is x a prime number?
True
Suppose 3*w = 3*r + 20786 + 9304, -3*r = -w + 10024. Is w prime?
False
Let p(o) = 448*o**2 - 30*o - 5. Is p(-12) composite?
True
Suppose -30*x - 23368 = -38*x. Is x prime?
False
Let r(m) = 2*m - 32. Let a be r(11). Is (-4)/a + 153/5 a composite number?
False
Suppose y = -2*v - 917, 1356 = -5*v + 4*y - 917. Let w = v - -774. Is w composite?
False
Let i(t) = t - 592. Let s be i(0). Let d = 1045 + s. Is d a composite number?
True
Suppose 5*z = -q + 4, 0 = -0*q + 5*q + z - 20. Suppose -5*x = -q*b - 14139, -4*b = -3*x - 3*b + 8489. Is x prime?
False
Suppose -m + 3*m = -4*p + 12, -5*m - 3 = -p. Let c = p + -4. Is -6 - -5 - (c + -109) composite?
False
Is (-4)/(-48)*2 + 23070/36 prime?
True
Let a(t) = 177*t + 5. Let q be a(-3). Let g = 1403 + q. Is g composite?
False
Let d = -9 - -45. Suppose -2*z - 3*z = 70. Let i = z + d. Is i a prime number?
False
Suppose -4*z - 4*a - 1448 = 0, -3*z + 3*a = 2*z + 1842. Is 0 - z/(4/2) a composite number?
True
Suppose 38*d - 40*d + 1478 = 0. Is d a composite number?
False
Let k be 30/(1*2/(-856)). Let a = -7685 - k. Is a a composite number?
True
Is ((-2)/(-9) - 40/(-144))*8318 a prime number?
True
Suppose -3*k + 39817 = 6*f - 2*f, 0 = -5*k - 5*f + 66355. Is k a composite number?
False
Let i(u) = -2*u**3 + u**2 + 3*u - 2. Let r be i(1). Suppose -4*a + 74 - 26 = 0. Is 34 + r + (13 - a) a composite number?
True
Is (25214/70)/((-2)/(-10) - 0) composite?
False
Suppose -5*h + 92309 - 23179 = 5*p, -69160 = -5*p + 5*h. Is p prime?
True
Suppose -3*j + 452 = -2470. Is (j/(-6))/(10/(-30)) a composite number?
False
Let h(y) = 5*y**2 - y + 1. Let f be h(1). Suppose -f*k + 37 = -3*j, 0*k - 4*j - 26 = -2*k. Suppose -o = 5*l - 117, k*o + 4*l = -14 + 515. Is o prime?
True
Suppose 6*j + i = 7*j - 392, -3*i = 4*j - 1533. Let a be 4/16 - 1380/16. Let y = j + a. Is y a composite number?
True
Suppose 391 = s + 4*f, 2*f = -3 + 1. Suppose 0 = 15*r - 10*r - s. Is r a composite number?
False
Is 12*643 - (-134 - -133) prime?
True
Let m(f) = 169*f - 16. Suppose -4*z = 11*z - 255. Is m(z) a composite number?
False
Let b(g) = 1320*g - 35. Is b(2) a prime number?
False
Suppose 0 = -0*t - 7*t + 14. Is ((-13)/52)/(t/(-11512)) a prime number?
True
Suppose 5*v = 10, y - v + 2 = -0. Suppose 4*l + y*l - 16 = 0. Suppose -l*r + 14 = -86. Is r a composite number?
True
Suppose -2*p + b + 6 = 0, -2*p - 5*b = 3*p. Suppose 0 = p*m - 4*j - 566, -4*j + 8*j + 1148 = 4*m. Is m a prime number?
False
Suppose 1265 + 3950 = 7*g. Is g prime?
False
Let v(m) = -2*m - 6. Let j be v(-8). Suppose -j*y + 15*y - 1585 = 0. Is y composite?
False
Let g(v) = 116*v + 33. Suppose -5*z + 56 = k - 13, -z = -2*k - 16. Is g(z) a prime number?
True
Let d(j) = -j**3 - 14*j**2 - 16*j - 25. Is d(-16) a composite number?
False
Suppose 0 = 45*d - 33*d - 442956. Is d a composite number?
False
Let n(f) be the first derivative of f**3 + 3*f**2/2 + 5*f - 9. Let k be 1/4 + 62/8. Is n(k) composite?
True
Let h be 3/(-3 + 4) + 1. Suppose h*u - 615 - 701 = 0. Is u prime?
False
Let i = 329 - 324. Let b(p) = 168*p. Let m be b(1). Suppose 0 = i*v - 142 - m. Is v composite?
True
Let p(f) be the first derivative of f**4/4 + 16*f**3/3 + 8*f**2 + 15*f - 7. Let x be p(-15). Suppose -2*j - 21 + 119 = x. Is j prime?
False
Let u(v) = 53*v**3 + 4*v**2 + 4*v + 9. Let m be u(-5). Let s = -3185 - m. Is s a composite number?
True
Let c(w) = -2639*w - 23. Is c(-4) a composite number?
True
Let u be ((-216)/(-32))/(2/8). Let l be u*(2 + -1) - 2. Let z = l + -15. Is z prime?
False
Suppose 0 = 41*t - 36*t - 5*v - 51770, t + 2*v - 10339 = 0. Is t a prime number?
False
Let p(u) = 263*u - 55. Is p(18) composite?
False
Suppose -9 = 3*t + 87. Let q = t - -60. Suppose -4*c - 62 = -2*a - 0*a, 0 = a - c - q. Is a prime?
False
Let h be -2 - 1*(-4 + 2). Suppose h = -5*k + y + 71, -y + 27 = 2*k - 0*y. Is k prime?
False
Let k = 974 - -1043. Is k composite?
False
Let c(i) = 2*i + 389. Let b = 11 + -11. Is c(b) composite?
False
Suppose -5*t - 78971 = 3*l, 2*l = 8 - 2. Is ((t/12)/((-2)/12))/2 a composite number?
True
Let g = 43 + -91. Is 2/14 - g/7 a composite number?
False
Let j(a) be the third derivative of 119*a**4/8 - 5*a**3/6 - 2*a**2. Is j(2) a composite number?
False
Let z(i) = 7*i**3 - 5*i**2 + 19*i + 2. Let l(h) = h**3 + h. Let n(w) = -5*l(w) + z(w). Is n(7) a prime number?
True
Let i(s) = 4088*s - 565. Is i(7) composite?
False
Is 74350/14 + (-26)/(-91) a prime number?
False
Is 2/2 - (-178066)/7 prime?
True
Suppose 3*z + 11*k - 9*k = 30811, -3*z = 5*k - 30826. Is z a prime number?
True
Let j = -1504 + 5717. Is j prime?
False
Suppose -13*n + 11069 = -166628. Is n a composite number?
False
Is 24/144*(1 + 2797)*33 a prime number?
False
Let p = 996 - 499. Suppose 4844 = 7*h - p. Is h prime?
False
Let b = -1925 + 2763. Let o(r) = -r**2 + 7*r - 8. Let t be o(5). Is (-1*b/t)/(-1) prime?
True
Let b = -5 + 7. Suppose -a = 11*i - 7*i - 27, a - 3*i = -8. Suppose b*l + 62 = 4*o, -3*o = 2*l - 36 + a. Is o composite?
False
Let z(a) = a**3 - 7*a**2 + 7*a - 1. Let n be z(6). Suppose y - 3*y + 2*o = -1084, -n*y + 3*o = -2700. Is ((-2)/(-3))/(2/y) composite?
False
Let v(l) be the third derivative of -3*l**2 + 0*l + 0 - 1/120*l**6 + 1/60*l**5 + 0*l**4 + 235/6*l**3. Is v(0) a composite number?
True
Suppose 0 = 2*d, 0 = 2*r - r + 5*d + 9. Let q(b) = 2*b**2 - 5*b + 44. Is q(r) prime?
True
Let h = 19 + -15. Suppose 7 + 501 = h*u. Is u a prime number?
True
Let l(f) = 102*f - 8. Suppose 0 = -12*h + 50 - 14. Is l(h) a composite number?
True
Let q be (16/(-2))/(3/27). Let d be (q/(-60))/(6/20). Is ((-3)/(-1))/(d/44) composite?
True
Let v be 2022/(-4)*(-2)/3. Suppose -q + 5*t - 35 = -13, -t + 2 = -q. Suppose 0 = -2*h + q*h - v. Is h composite?
False
Suppose 0 = 3*s - 6*s + 15. Suppose 5*k - 15 = -0*j + s*j, -k + 3 = -4*j. Suppose 4*o - 2*o - 3166 = j. Is o composite?
False
Is ((-561)/34)/((-6)/2524) a prime number?
False
Let p = -2053 + 3774. Is p a prime number?
True
Let h = 48 + -57. Let g(p) = -82*p - 19. Is g(h) a prime number?
True
Suppose -r - 1617 = 2*r. Let f(l) = -21*l**2 - 6*l + 2. Let h be f(6). Let j = r - h. Is j a prime number?
True
Let b = 1134 + -575. Let c = -14 + 16. Is b + (0 - c) + -4 prime?
False
Suppose 5*q = 3*u + 8, 4*u - 9 + 1 = 2*q. Let x = -11 - -7. Is -674*(-2)/u - x composite?
True
Suppose 6*x = 4*x + 2620. Is x/3*33/22 composite?
True
Let h be (-1)/(((-5)/(-10))/(-1)). Suppose 2*m - 3*k = -1084, -3*m - h*k = 471 + 1142. Let a = -40 - m. Is a composite?
False
Let i = -29 - -37. Let w(q) = 27*q**2 + 2*q - 35. Is w(i) prime?
True
Let r(z) = -z**3 - 3*z**2 + z. Let s be r(-2). Let m(c) = -c**3 + c - 4. Let a be m(s). Let o = a + -75. Is o a composite number?
False
Suppose 5*n - 31212 = 2*i + 1143, 5*n + 3*i - 32330 = 0. Is n composite?
False
Let u be (2 - (-144)/3) + -2. Let t = 96 - u. Let h = t + -13. Is h a prime number?
False
Let q be (-1)/2 - 9/(-2). Suppose h + 2 - q = 0. Suppose -3 + 4 = -s, 327 = u + h*s. Is u a composite number?
True
Suppose 9*a = 4*a + 4230. Let t = a + -596. Suppose 0 = 2*j - 4*d - t, -5*j + 0*d + 2*d + 601 = 0. Is j composite?
True
Let j = 10 + -5. Suppose -2*w = -0*w - 5*s - 2491, j*w = 5*s + 6250. Is w a prime number?
False
Let g(m) = 12 + 6 - 13*m**2 + 25*m**2 + 11*m + 3*m**2 - m. Suppose -2*h = h + 21. Is g(h) a prime number?
True
Let b(m) = -243*m**2 + m. Let j be b(-1). Let p be (-30*4/(-16))/(4/(-248)). Let c = j - p. Is c composite?
True
Let j(o) = 9*o**2 + 23*o - 44. Is j(15) composite?
True
Let q(y) = -246*y + 21. Is q(-10) prime?
False
Suppose 46 = -v + 48. Suppose 607 + 103 = v*t. Is t a composite number?
True
Let m = -1979 + 5093. Let n = m + -1922. Suppose -3*b + n = b. Is b a composite number?
True
Suppose -2*z - z = 5*y - 18, 5*z - 4*y = -7. Let b(p) = 39 - 40 + 2*p - 25*p**2 + 173*p**2. Is b(z) prime?
True
Let y = -375 + 24769. Is y prime?
False
Let v = 866 - -247. Let m = -31 + 33. Suppose -m*r = 5*y - v, -y - 4*y - r + 1114 = 0. Is y composite?
False
Let f = 3942 + 253. Is f composite?
True
Let n(y) = -30*y - 99. Let p be n(-3). Let r = -3408 + -114. Is (-12)/(-8)*r/p a composite number?
False
Suppose 0 = 8*c - 9*c - 5048. Let a = -3411 - c. Is a a prime number?
True
Let u = 71