-10 + 1/(-1). Let r = -8 - o. Is r a prime number?
True
Let l be (-100)/(-6)*(-6)/(-1). Let g be (-332)/8 - 1/(-2). Let m = l + g. Is m prime?
True
Suppose 3 = 3*t - 3. Let k be -1 + 78 + 0/t. Suppose -v = -2*h + k, -44 = -2*h + 5*v + 29. Is h a prime number?
False
Is (630 - 6/(-2))/1 composite?
True
Let j(l) = -l**2 - 6*l + 2. Let o be j(-5). Is o/(-7) + (-104)/(-2) prime?
False
Let u(y) = 3*y**2 - 3*y - 25. Is u(-12) a prime number?
True
Let c(g) = -2*g - 5. Let b be c(-4). Let s = b + -11. Is (4/6)/(s/(-84)) composite?
False
Suppose -u + n + 44 = -2*u, -5*n + 92 = -3*u. Let w = 136 + u. Let l = -35 + w. Is l prime?
False
Suppose 3*s - 28 = 131. Is s a composite number?
False
Let n = 65 - 14. Let g = -20 + n. Is g a composite number?
False
Let b(n) = -141*n - 59. Is b(-8) composite?
False
Suppose 3*m + o = -12 + 88, 5*o = -3*m + 68. Let w = 57 - m. Is w a prime number?
True
Suppose 2*m - 3*m + 331 = 0. Is m a composite number?
False
Is (7/21)/(1/573) a prime number?
True
Is (2 + 290)*(-18)/(-24) a prime number?
False
Suppose 3*s = -i, -3*i - 4*s = -0*i - 5. Let t(g) = 2*g**2 - 5*g + 3. Let d be t(i). Let a = d + 1. Is a prime?
True
Suppose -5 = 5*q + 5. Let y be (1/(-1))/(q + 1). Is -2 - -53 - 2*y composite?
True
Let b = -106 - -487. Is b prime?
False
Is (-3)/(-12) + 2 + 4137/12 a prime number?
True
Let j = 4 - -19. Is j composite?
False
Let n(w) = 1188*w. Let h be n(1). Suppose 4*y - 4*j = -h, -2*j = -y - 6*j - 272. Let q = y + 453. Is q a prime number?
False
Suppose 3*z = -3*m + 1236, -5 + 0 = 5*z. Is m a composite number?
True
Let t be (10/2)/(3 - 2). Suppose s - t - 4 = 0. Suppose 0 = -2*n, s*m + 5*n = 4*m + 45. Is m a composite number?
True
Suppose 4*d + 12 = f - 11, -d + 1 = 2*f. Suppose 3*q - 687 = -0*q - 2*k, q = f*k + 229. Suppose -w + 5*z + 87 = 29, 3*w = 4*z + q. Is w a composite number?
False
Let x(c) = c**3 + 3*c**2 + c + 1. Let i be x(-2). Let y(j) = 34*j**2 - 3*j + 2. Is y(i) a composite number?
True
Suppose 0 = -c - 0 + 4. Is ((-387)/12 + c)*-20 prime?
False
Let l = 6429 - 936. Is l composite?
True
Let q(m) = 32*m - 2. Let g be q(7). Suppose 203 + g = 5*p. Is p a prime number?
False
Suppose 0 = -5*y + 123 - 18. Is y composite?
True
Suppose 2*c - 5*c + 1491 = 0. Is c a composite number?
True
Is (-5)/(-50)*5*(1 + 41) prime?
False
Is 2487/7 - (-8)/(-28) prime?
False
Let n(w) = -w + 2*w + w**2 + 9 - w**3 - 2*w. Is n(0) a composite number?
True
Let n be (-4)/7 + (-3065)/(-35). Let o = 200 - n. Is o composite?
False
Let x(n) = -n**2 - 18*n + 9. Is x(-10) composite?
False
Let z be (2 - 11/4)*192. Let g = -17 - z. Is g a prime number?
True
Suppose 3*d = 15, -5*t + 2*d = -140 - 135. Is t composite?
True
Let j(y) be the first derivative of -33*y**2/2 - 5*y - 2. Let a be j(4). Let z = a + 234. Is z a prime number?
True
Suppose -5*l + 796 + 2494 = -5*f, 3*l + 4*f = 1981. Is l prime?
True
Suppose 3*z - 1599 = 3*u, 5*z - u = u + 2677. Is z a prime number?
False
Let s(c) = 6*c - 1. Let r be s(1). Suppose -w = n + 13 - r, n - 2*w = 7. Is (-1 - -2) + (n - -4) a prime number?
True
Let g be 200/15*3/2. Let i = g - 76. Let b = -34 - i. Is b composite?
True
Suppose -v - 5*s - 23 = 3*v, -4*s = -2*v + 8. Let j be (-1)/4*v*1146. Suppose -r = 4*d - 121, 7*r + 4*d = 2*r + j. Is r composite?
False
Let u(r) = 5*r**3 - 31*r**2 + 37*r - 21. Let z(t) = -t**3 + 8*t**2 - 9*t + 5. Let v(x) = 2*u(x) + 9*z(x). Is v(-7) prime?
True
Suppose -4 - 420 = -4*v. Is v prime?
False
Let p be (-4)/10 + (-94)/(-10). Suppose -4*u - 173 = 5*h, -p = -u - h - 51. Is (-2)/4*u*2 prime?
True
Let c(w) = w**3 + 10*w**2 - 15*w - 7. Let y be (-5 - -4)*(-10)/(-1). Is c(y) composite?
True
Suppose 0 = -4*u + 4*g + 32, -g = -2*u - 4*g + 16. Let v(z) = z**3 - 3*z**2 - 3*z - 2. Let n be v(4). Let c = u - n. Is c prime?
False
Suppose -h - 860 = -5*h. Is h a prime number?
False
Suppose 3*m = -4*w - 39, 0*w + 8 = 2*w - 4*m. Let u = w - -8. Suppose 3*r + 36 = 4*b + 8, -5*b - u*r = -58. Is b composite?
True
Let k = 838 - 131. Is k a composite number?
True
Suppose x - 178 = -x. Is x composite?
False
Suppose -5*y + 2*b + 16 = 0, 0 = -y + 5*y + 2*b - 20. Suppose -d + 6*d = 2*h + 14, 0 = 3*d + 5*h + y. Is (-3)/(-6)*89*d a prime number?
True
Let z(o) = o**2 - o - 5. Is z(10) prime?
False
Let z be (-5 - -5)/(3 - 2). Suppose -5*m - 273 = 4*n - 981, z = n - m - 177. Is n composite?
True
Let p(a) = -a**2 - 7*a + 3. Let o be p(-7). Suppose m = -5*b + 5, 4*m - o = -3*b + 3*m. Suppose -5*s = 3*z - 52, -6*s - b = -5*s. Is z a prime number?
True
Let w(s) = s**2 + 1. Let u be w(-2). Let x(r) = 8*r - 2. Is x(u) composite?
True
Suppose -4*k = 4*m + 32, -5*k + 2 = m + 26. Is (k/(-6))/((-10)/(-195)) a prime number?
True
Let w(v) = -62*v - 9. Let r(j) = j**2 - 7*j + 5. Let a be r(5). Is w(a) prime?
False
Suppose -3*i + 1622 = -p, 0 = -0*i + 2*i + 5*p - 1087. Is i prime?
True
Is (885 - -1)*7/14 a prime number?
True
Suppose -2*a - a = -24. Suppose 2*h + 27 = w, -a*w + 2*h = -4*w - 84. Is w composite?
False
Is (2/(-2) + (2 - -210))*1 a prime number?
True
Let k = 885 + -568. Is k a composite number?
False
Let y(k) = k**2 + k + 5. Let u be y(0). Suppose -u*x + 657 - 42 = -4*a, -3*a = -x + 112. Is x prime?
True
Let n = 48 - 87. Let p = n - -60. Is p a composite number?
True
Suppose 3*s - 3 = i, 0 = 5*i + s + 2*s - 3. Let r = i + 3. Suppose -r*g + 277 = 5*z - 171, z + g = 90. Is z composite?
False
Let l(r) = 7*r. Suppose 2*n + 1 = -j, -j + 1 = n - 0. Suppose 4*w - j*w = 1. Is l(w) composite?
False
Let g(r) = 163*r. Let m = 5 - 4. Is g(m) prime?
True
Let s(v) = -v**2 - 5*v - 2. Let g be s(-4). Suppose 0 = -5*j + m + 194, 0 = g*j + 2*m + m - 81. Is j a prime number?
False
Let k(a) = 5*a + 7. Let l = -5 + 7. Suppose -c - 6 = -l*c. Is k(c) a composite number?
False
Let c = -3 - -18. Suppose -5*q = -0*q - c. Suppose 3*l = -2*l - 25, 0 = 3*r - q*l - 246. Is r a composite number?
True
Suppose -4*q = 12 - 32. Is q*(-6)/(-15) - -209 prime?
True
Let b(n) = n**3 - 10*n**2 + 4*n - 12. Let v be b(10). Is (-1143)/(-7) + (-8)/v prime?
True
Let c be (5/(-2))/((-2)/4). Let l be ((-12)/15)/((-2)/c). Suppose -193 = -l*d + 253. Is d composite?
False
Let x(n) be the first derivative of -n**6/120 - 3*n**5/20 - n**4/6 + n**3/2 + n**2 - 5. Let h(k) be the second derivative of x(k). Is h(-10) composite?
True
Let h(v) = -186*v - 8. Is h(-5) composite?
True
Suppose -2*i = -31 + 11. Suppose -3*v - 4*g + 1753 = 0, 0*g + 1197 = 2*v - 3*g. Suppose i = 5*p, -3*p + v = 5*o - 5*p. Is o prime?
False
Let c(y) = -y**3 + 8*y**2 - 5*y - 8. Let p be c(7). Is ((-15)/p)/(-5)*422 a prime number?
True
Let u = -2 - -8. Is (u/9)/(8/5388) a prime number?
True
Let v be 0/(6 + -2) + -8. Let w(m) = -33*m - 5. Is w(v) prime?
False
Is 1/7 + 35216/56 composite?
True
Suppose 0 = 6*b - b. Suppose 2*l - 4 = -b. Is (-187)/(-4) + l/8 composite?
False
Suppose -2597 = -2*n - 3*a, -1300 = -n - 2*a + a. Is n composite?
False
Suppose -307 = -s + 90. Is s composite?
False
Let y = 6 - -3. Suppose -y + 34 = 5*t. Suppose r - 5*r + 3*u = -221, -2*r + t*u = -121. Is r a prime number?
True
Let y(a) = a**2 + 6*a + 6. Let p(n) = -n**3 - 3*n**2 + 6*n + 2. Let h(i) = -i - 4. Let u be h(0). Let l be p(u). Is y(l) a composite number?
True
Let l(g) = -18*g + 11. Let p be l(-11). Let n = p + -142. Is n prime?
True
Suppose -p + 1821 = 184. Is p a prime number?
True
Let c(z) = 36*z**3 + 2*z**2 + z - 2. Is c(3) composite?
False
Let i = 7 + 6. Let d = i - 3. Let h = 31 - d. Is h a composite number?
True
Let h be (-10)/45 - (-110)/9. Suppose -53 = -3*a + 2*x, 2*x = -a - 3*x + h. Is (6/2)/(-1) + a prime?
False
Suppose -3*g + i - 5*i = -20, -18 = -2*g - 5*i. Let b = g + -2. Is (-7)/b*(-6 + 4) composite?
False
Let y(m) = m**3 + m**2 - 1. Let v(q) = 287*q**3 + 4*q**2 + 3*q - 7. Let h(n) = v(n) - 6*y(n). Let p be h(2). Is p/15 - 4/6 a composite number?
False
Suppose -3*q + 3137 = -5*p, 0 = -q - 4*p + 2*p + 1053. Is q a prime number?
True
Let b = 32 + 50. Is b a composite number?
True
Suppose 0 = 3*h - 5*s - 19, 0 = -4*h + 2*s + 11 + 5. Suppose -3*f + 409 = -2*f - 3*g, -5*f - h*g + 2009 = 0. Is f prime?
False
Suppose 0 = -13*z + 3*z + 2650. Is z prime?
False
Let s(w) = 1 - 8 - 1 + 5*w + 2. Let v be (-2 - -1)/((-1)/5). Is s(v) a prime number?
True
Suppose -2*n - 4*i = -98, 2*n - 2*i - 101 + 27 = 0. Let p