= -3*j + 5*b + 18 - 111, 5*b + 37 = -2*j. Let n = 49 + j. Is n prime?
True
Let k(q) = q**2 - 8*q + 1. Let m be k(7). Let y(h) = h**3 + 6*h**2 - 4*h - 5. Is y(m) a composite number?
False
Suppose 4*c - 1412 - 264 = 0. Is c prime?
True
Let y(n) = n**3 - 2*n. Let f be y(5). Let a = f - 47. Is (a/8)/((-1)/(-6)) prime?
False
Suppose 3*m - 10 = 5*o, 4*m + 5*o = 4*o - 2. Suppose m = v - 4*v - 39. Let j = 24 - v. Is j prime?
True
Let i(n) be the first derivative of -n - 3 + 0 + 3 + 11*n**2 - 1. Is i(1) prime?
False
Let m(u) = -18*u**2 - u + 2. Let k(n) = -17*n**2 - n + 3. Let d(g) = 3*k(g) - 4*m(g). Let r = 0 + -1. Is d(r) a prime number?
False
Suppose w = -3*j + 407, -2*w + w - j = -399. Is w a prime number?
False
Let n = 1149 + -284. Is n a composite number?
True
Let q(v) be the second derivative of v**5/20 + v**4/2 + v**3/6 + v**2/2 - v. Is q(-5) a composite number?
True
Suppose -2*r - 20 = -7*r. Suppose -f - 13 - 34 = -r*w, 0 = -3*w - 5*f + 18. Is w prime?
True
Let x be (1 + -1 + 0)/3. Let f(i) = i**2 + 2*i. Let n be f(-3). Suppose 2*a - n - 11 = x. Is a prime?
True
Is (-4)/6 + (-28056)/(-72) prime?
True
Suppose 0 = -i + 5*d - 18, -8 = -i - 5*d + 14. Suppose 0 = 3*n - i*n - 7. Let h = -4 + n. Is h composite?
False
Suppose f - 3 = 8. Let y be (-2)/11 - (-2180)/f. Suppose 4*z - y = -46. Is z prime?
False
Let u = -3 + 12. Let w = -5 + u. Suppose w*n - 111 = 61. Is n composite?
False
Let p(w) = 122*w**2 + 7*w - 6. Is p(5) a prime number?
True
Let z = -1090 - -1763. Is z a composite number?
False
Suppose -l - 992 = -3*r + 507, -l = -4*r + 1998. Is r a composite number?
False
Let f = 236 + -128. Let g(y) = -4*y + 11. Let c be g(-11). Let p = f - c. Is p prime?
True
Suppose 8*a - 3*a - 15 = 0. Suppose 2*x - 112 = -u + 51, a*u + x - 474 = 0. Is u composite?
False
Suppose 0 = 3*j - r + 68, 37 = -2*j - 3*r + 2*r. Is (-4)/(-2) - j/1 prime?
True
Is 3 + (-12)/4 + 113 prime?
True
Let u = -5 - -7. Suppose -u*z + 13 + 53 = 0. Is z a composite number?
True
Let n(h) = h**3 - 2*h**2 - 1. Is n(4) a composite number?
False
Suppose 2*b = 7*b + 3*r - 13, 3*b + 4*r = 10. Let d(m) = 3*m + b*m**2 + 2*m - 4*m**3 - 2*m + 1. Is d(-2) prime?
False
Suppose 15 + 66 = 3*u - 3*d, 0 = 2*u + 5*d - 82. Suppose 4*m - u = 325. Is m prime?
True
Suppose -3140 = -3*b - 2*b + 3*r, -4*r + 1913 = 3*b. Suppose -4*d - 3*x + b = 0, d - 10 - 149 = -2*x. Is d a composite number?
False
Suppose n + x + 89 = 363, 3*n - 5*x = 854. Suppose k + n = 3*k. Is k composite?
False
Suppose 3*i - 5*i = -870. Suppose 2*u = 3*g - 239, 5*g - i = -0*u - 4*u. Is g composite?
False
Let l = 10 - 6. Let x be (l/(-8))/(1/(-18)). Is (3/x)/((-2)/(-582)) composite?
False
Suppose -14*x + 580 = -246. Is x a composite number?
False
Suppose -23 = 2*i + 5. Let g = 20 + i. Is 79/(-2)*g/(-3) composite?
False
Let j = -8 + 8. Let o = -2 + -4. Is 6*((-51)/o - j) a prime number?
False
Let k(n) = 4*n**2. Let r be k(-1). Let p be (-30)/(-8) + r/16. Suppose -g - 201 = -p*g. Is g a prime number?
True
Let w = 13 - 22. Let n(i) = -6 - 4 + 3 - 9*i. Is n(w) a composite number?
True
Let l = -105 + 187. Is l prime?
False
Let b = 51 + -31. Let d = b - -29. Is d prime?
False
Suppose 0 = -17*s + 21*s - 6036. Is s composite?
True
Is ((-2)/(-6))/(1/366) a prime number?
False
Let o(m) = -m**2 - 2*m. Let w be o(-2). Let h(g) = -g**2 + 25. Is h(w) a prime number?
False
Suppose 4*k - 120 = -36. Is 6021/k + 10/35 a composite number?
True
Suppose 5*c - 859 = 96. Is c composite?
False
Suppose -9*u = -45278 + 15947. Is u a composite number?
False
Let h(k) = 45*k**2 - 1. Is h(2) a composite number?
False
Let l(h) = -h**3 - 2*h**2 - h - 2. Let s be l(4). Let p = s - -343. Let c = -126 + p. Is c a prime number?
False
Suppose -l + 16 = 3*l. Let q = 327 + l. Is q a composite number?
False
Let s = 7 - 2. Suppose s*d - 67 = 3. Is d a prime number?
False
Let d(l) = 31*l + 6. Is d(7) a composite number?
False
Let w be 49/(2 + (2 - 3)). Let t = -19 + w. Suppose 0 = 3*n + 2*n - t. Is n a prime number?
False
Let v = 127 + -68. Is v prime?
True
Let r(p) = -2*p**3 - 2*p**2 + 5*p + 1. Let u be 2/((-2 - 0) + 0). Let o = -5 - u. Is r(o) composite?
True
Suppose 2*u - u - 163 = 0. Suppose 2*a + 0*a - k = 157, -u = -2*a - 5*k. Is a prime?
True
Let z = 595 - -766. Is z a composite number?
False
Suppose 4*m + 24 = c, 0*c - 12 = -2*c - m. Suppose 0 = -2*j - c, 4 = -i - 5*j - 28. Is (-2)/(-8) - 369/i a prime number?
True
Suppose -4*i = 4*n - 1432, -3*n - 4*i + 1077 = -0*n. Is n composite?
True
Let h(x) = 53*x - 2. Is h(5) a composite number?
False
Let b = -5 - -6. Is (b/((-1)/742))/(-2) composite?
True
Let r(w) = w**3 - 4*w**2 + 5*w - 3. Let i be r(3). Suppose 2*k = y - i*k - 12, -5*k - 2 = 4*y. Suppose 3*u + y*u = 435. Is u a composite number?
True
Let f = -9 + 17. Suppose -3*h - 145 = -f*h. Suppose -3*j - 6 = 0, 5*j + 51 + h = 5*r. Is r prime?
False
Let m(q) = -30*q + 8. Let c = 3 + -10. Let k be m(c). Suppose -146 = -2*l + 4*t, -34 = -3*l - 5*t + k. Is l composite?
False
Let k(m) = -93*m - 1. Suppose -2*l + w = 10, -3*l = 2*w - w + 20. Let r = -8 - l. Is k(r) prime?
False
Let u be (-10 - -8) + (0 - -4). Suppose -7*q + u*q = 5*f - 1565, -3*f = 5*q - 947. Is f a composite number?
True
Let a = -14 + 24. Is ((-127)/3)/(a/(-30)) composite?
False
Suppose -4*w + 49 + 19 = 2*l, 4*w = -l + 38. Suppose -3*k + l = -363. Is k prime?
True
Suppose 3*y - 6*y + 231 = 0. Suppose 3*b + y = 4*b. Suppose 5*z = -j + 231, j - b = 4*z + 118. Is j prime?
True
Let x = -5 - -7. Let w(o) = -25*o**3 + x - 1 - 7*o**3. Is w(-1) a prime number?
False
Suppose 0 = -0*q + q - 5. Suppose q*p = 2*p + 921. Is p prime?
True
Suppose 16*j - 941 = 15*j. Is j a composite number?
False
Let r be (14/4)/(3/6). Suppose -8*j - 2*f = -3*j - 23, -f = j - r. Suppose -3*y + 193 = 2*y + 2*c, -j*y + 112 = 5*c. Is y composite?
True
Suppose 2*s = 3*s + 95. Let g = s + 492. Is g a prime number?
True
Let k(r) = r**3 - r**2 + 8. Let f be k(0). Let g(p) = -p**3 + 7*p**2 + 7*p + 10. Let y be g(f). Is y/(-12) + 2735/30 a prime number?
False
Let m(q) be the third derivative of 2*q**5/15 + q**4/24 + q**3/3 - 2*q**2. Let b(l) = 4*l**3 - l**2 - l + 1. Let j be b(1). Is m(j) a prime number?
False
Let k be 1*(-9)/6*-2. Let o(n) = 60*n - 1. Is o(k) prime?
True
Let c be (-4)/(-8) + 7/2. Suppose -53 - 31 = -c*w. Is w a prime number?
False
Let m = -265 - -519. Is m a prime number?
False
Let p(u) = 4*u**2 - 6*u + 1. Is p(-4) a composite number?
False
Is (1/3)/(16/43536) a composite number?
False
Let h(u) = -u - 5. Let i be h(10). Let o be 18/i*20/(-6). Is ((-4)/(-6))/(o/150) prime?
False
Let l be (-1172)/(-28) + 1/7. Let p = -4 + l. Is p a composite number?
True
Let h = 12 - 1. Is h composite?
False
Suppose -4*j + 28 = v, 5*j - 4*v - 28 = j. Let w = j + 10. Let x = w - -16. Is x prime?
False
Let q(m) = m + 2. Let y be q(-6). Let s = -1 - y. Suppose 2*x - 295 = -s*x. Is x prime?
True
Is -1*31*(-13 - -7 - 23) prime?
False
Let p = 635 + -376. Is p a composite number?
True
Let f be (-1)/(((-9)/12)/3). Let r(i) = -4 + f - 1 + 5*i + i**2. Is r(-8) composite?
False
Let b = -170 + 94. Let c = b + 113. Is c prime?
True
Suppose 4*a = 2*z - 206, 4*z - 2*z - 50 = a. Let x be 88/1*1 - -1. Let s = x + a. Is s a prime number?
True
Let t(m) = -m - 1. Let w be t(-5). Suppose -n = 2*x - 171, -n - w*x = -4*n + 473. Is n prime?
True
Let n(i) = i**3 - 4*i**2 - 3*i - 4. Let r be n(5). Let x(k) = k**3 - 6*k**2 - k + 6. Let u be x(r). Suppose u*l - 4*l - 16 = 0, 3*l = -h - 1. Is h prime?
True
Suppose -2*j = -2407 - 1383. Is j prime?
False
Suppose 0 = 3*b - 3*i - 3, 0 = i + 4. Let c = 3 + b. Is (c - 0 - -11) + 0 a prime number?
True
Suppose 0 = 6*r - 9*r + 3. Let q(a) = -2*a + 6*a + 4*a - 1. Is q(r) composite?
False
Let c(w) = w**2 + w. Let k be c(-3). Let o be ((-1)/(-1))/(k/12). Suppose -4*a = -3*z + 283, 6*a = -o*z + 3*a + 200. Is z a prime number?
True
Let u(v) = -57*v - 2. Let c(n) = -58*n - 3. Let g(s) = 3*c(s) - 2*u(s). Is g(-7) prime?
False
Let n = -41 - -27. Let z be n/3 + 2/(-6). Let b = 12 + z. Is b prime?
True
Let t = 39 - -22. Let v = -24 + t. Is v prime?
True
Let v(b) = b**3 + 5*b**2 - 3*b - 2. Let d be v(-4). Suppose -2*n + 0*n = -d. Is n a composite number?
False
Suppose -4*j + 2 + 2 = 0, -2*z - 5 = -3*j. Is 81 - (2/z - 2) composite?
True
Let s(h) = 