
Let q = -646 - -2393. Suppose 4*o - b - q = 2*b, b - 2198 = -5*o. Is o prime?
True
Suppose 3*l - 622 = 131. Is l a composite number?
False
Let x = -213 + 415. Is x prime?
False
Let n(m) = -20*m - 3. Let g be (1 - 5) + (3 - 2). Let c = g - -1. Is n(c) a composite number?
False
Let b(r) = -2*r**3 + 2*r**2 + r - 1. Let d be b(2). Let t(m) be the third derivative of m**6/120 + 7*m**5/60 - m**4/6 + m**3/2 + m**2. Is t(d) prime?
True
Let g = 289 - 130. Is g composite?
True
Let p(q) = -51*q**3 - 4*q**2 - 4*q - 3. Is p(-2) composite?
False
Let o(d) = -24*d - 7. Let f(j) = -2*j**2 + 10*j - 3. Let u be f(5). Is o(u) prime?
False
Suppose 5*d - 488 = d. Let l = -59 + d. Is l/6 + (-2)/(-4) a composite number?
False
Is 1 + -3 + 370/2 a composite number?
True
Suppose 2*h + h - 6 = 0. Suppose -q = -h*q + 58. Is q a composite number?
True
Suppose 0 = -l - 4*l + 40. Let t be (0 - 3)/(7 - l). Suppose 0 = -3*p - n - 114 + 500, -2*p + t*n = -239. Is p a prime number?
True
Let g = -1 + -2. Let i = g - -4. Is 0 + 0 + i - -22 prime?
True
Let c(y) = 171*y**2 + 8*y + 2. Is c(-3) prime?
False
Let i = -1539 - -3405. Let k be (i/(-9))/(2/3). Let f = -150 - k. Is f prime?
False
Let h(p) be the third derivative of p**6/120 + p**4/8 - p**3/3 - p**2. Is h(3) a prime number?
False
Let h(b) = b**2 + 1. Let s be h(2). Is (s - 4) + (113 - 1) prime?
True
Suppose 1071 = 5*r + 2*t - 0*t, 2*t = 2*r - 434. Suppose 0 = -2*p + r + 23. Is p a prime number?
False
Let f(c) = 515*c**2 + 2*c - 1. Is f(2) a composite number?
False
Suppose 4*j - 23 = n, j = 4*j - 4*n - 27. Suppose 4*q - j - 11 = 0. Suppose 6*f - 4*m - 102 = 4*f, m + 197 = q*f. Is f a composite number?
True
Let w(q) be the third derivative of q**2 + 5/6*q**3 + 1/30*q**5 + 1/8*q**4 + 0*q + 0. Is w(-4) composite?
True
Let x = -1297 + 2011. Suppose -x = -4*h - p, 0 = -h + 2*p - p + 176. Suppose v = -v + h. Is v prime?
True
Let i(o) = -11*o**3 - o**2 - o - 1. Let s(p) = -p - 2. Let m be s(-3). Suppose m = 3*q - 4*q. Is i(q) prime?
False
Let k(x) = -5*x**3 + x**2 + 3. Is k(-5) composite?
False
Let n(b) = -b**3 + 6*b**2 + b + 7. Suppose -7*q = -3*q - 20. Is n(q) a composite number?
False
Is 132/(-24)*(-132 + -2) prime?
False
Let v(n) = 3*n - 6. Suppose 0 = -q + 1 + 10. Let c = -4 + q. Is v(c) prime?
False
Let s(d) = d - 1. Let m = -7 - -10. Is s(m) prime?
True
Let s(c) = 5*c**3 - c**2 + c - 2. Let b be s(2). Suppose -36 - b = 4*k. Is ((-12)/k)/((-1)/(-6)) composite?
True
Is -2*(-447)/(-12)*-2 a composite number?
False
Suppose -z = -2*z + 119. Is z composite?
True
Is (0 + 44)*(3 + 9/(-4)) a prime number?
False
Suppose -2*q + 264 = 2*r, -r + 0*r + 3*q = -128. Is r a composite number?
False
Suppose -8*j + 3*j = -4*v + 117, 2*j - 4*v = -54. Let l be (-1)/3 - j/9. Suppose 7 = -l*z + 69. Is z a composite number?
False
Let a be 0 - (-1 + 2 + -1). Let h = a + 0. Suppose h = w + 5, 3*l + w - 101 = l. Is l a prime number?
True
Let y(j) = -16*j - 2. Let b be y(6). Let z = b + -63. Let g = z + 250. Is g prime?
True
Is 662*((-33)/(-11) - 1*2) prime?
False
Let x = -178 + 492. Is x prime?
False
Let y = -9 - -13. Let b(r) = -r**2 + 4*r + 3. Let s be b(y). Let o(q) = 17*q**2 - 3*q - 1. Is o(s) a composite number?
True
Suppose -4*w + 69 = 9. Is w a prime number?
False
Let i = 398 + -241. Is i a prime number?
True
Suppose 8 + 24 = 4*g. Suppose 5*l + 30 = -4*t, -5*t - 10 = -5*l - t. Is (-3)/l + 4/g a composite number?
False
Let r = 316 - -205. Is r prime?
True
Suppose l = -3*c + 2610, 3*c + 859 = 4*c + 4*l. Suppose a = 4*s - a - 1176, c = 3*s + 4*a. Is s a composite number?
False
Suppose 0 = 4*p - 5*g + g - 10784, -4*g - 8085 = -3*p. Is p a prime number?
True
Let s(f) = -2*f + 27. Is s(-13) prime?
True
Suppose -3*b - 3585 = -6*b. Is b composite?
True
Is (15*10/(-15))/(2/(-23)) prime?
False
Suppose -2*k - k + 12 = 0. Let y(i) = i**3 - 3*i**2 - 4*i + 2. Let n be y(k). Suppose -u = 3*z - 246, -n*z + 175 = -4*u + u. Is z prime?
True
Suppose k - 5*v - 5 = -3*k, -v = -2*k + 1. Suppose 2*d + k*d + l - 127 = 0, 5*l + 275 = 4*d. Is d a composite number?
True
Let o be (-1*10*1)/(-1). Suppose 0 = -5*i + o, -3*y + i + 0*i = -187. Suppose 5*n - 12 = y. Is n prime?
False
Suppose 5*c + 6*y - y = 90, -3*c + 50 = -y. Let f = 68 - c. Is f a prime number?
False
Suppose 4*y - 1007 = -5*v, 3*v - 7*v - 4 = 0. Is y prime?
False
Let n(o) = o**2 - o - 3. Let u be n(3). Suppose -6 = -u*r, -2*a + 2*r = a - 2. Suppose a*v + 3*v - 55 = 0. Is v prime?
True
Suppose -12*l + 9541 = -5*l. Is l a composite number?
True
Let a be 1/(-4) - (-4)/16. Let x = a + 3. Suppose -t + 3*t - 5*r - 274 = 0, x*t = -4*r + 365. Is t a prime number?
True
Let p(c) = 48*c + 5. Is p(1) prime?
True
Let f(p) = p**3 - 2*p**2 + p. Let b be f(1). Suppose b = 3*l - 4*z - 33, 3*l + 6*z - z = 60. Is l a prime number?
False
Let p = -4 + 1. Is 0 + p + 1 + 41 prime?
False
Let r(g) = 22*g**2 - 4*g + 8. Is r(3) a composite number?
True
Let u(z) = -z**3 + z**2 + z + 2. Let o be u(0). Is o*14/(-12)*-3 a prime number?
True
Let q(p) = -p**3 + 3*p**2 - 2*p. Let c be q(2). Suppose c = -2*w + 70 + 28. Is w composite?
True
Let x = 116 + 75. Is x prime?
True
Let o(f) = 6*f - 4. Is o(3) a prime number?
False
Let i = -1375 + 2512. Is i a composite number?
True
Let c = -7 + 9. Suppose 21 = o - c. Is o prime?
True
Let j(q) = -21*q**3 + q**2 + 7*q + 2. Is j(-3) prime?
True
Is 3/2 - 113/(-2) a prime number?
False
Suppose 6 = g + 2*g. Suppose -u + g = -10. Suppose 4*f - 218 = -5*l, -5*l - 283 = -5*f + u. Is f a prime number?
False
Let o(g) be the second derivative of g**3/2 + 2*g. Let v be o(-7). Let j = v + 46. Is j prime?
False
Let s(j) = 110*j**2. Let t be s(1). Suppose -24 = -2*u + t. Is u prime?
True
Suppose 3*y - 2*n - 18 = 0, -y - 1 = 4*n - 7. Is 845/10 + y/(-4) composite?
False
Let x = 94 + -55. Is (4/(-3))/((-2)/x) a composite number?
True
Suppose 0 = l + 61 - 194. Is l prime?
False
Let w(l) = 33*l**2 - 5*l - 7. Is w(-4) prime?
True
Let k be 6 - 1/3*3. Suppose -4*n = 4, r - 24 = -0*r + k*n. Is r prime?
True
Let t(u) = -94*u**3 - u - 1. Is t(-1) composite?
True
Suppose -6*h + 8*h = 134. Is h a composite number?
False
Let k = 6 - 6. Suppose -49 = -s - k*s. Is s a composite number?
True
Let j be 1/(-1 + 76/74). Let y = 1 - -13. Let g = j + y. Is g prime?
False
Let k be 12/5 + 10/(-25). Let s be (k - -1 - 1) + 3. Suppose -s*f + 16 = -19. Is f prime?
True
Suppose 7*g + 3*p - 3940 = 2*g, -5*g = -5*p - 3980. Is g composite?
True
Is (372/(-8) + 2)*-2 a composite number?
False
Suppose 3*z - 5*z + 200 = 0. Suppose 5 = 5*i - z. Suppose -i = -5*k + 29. Is k a prime number?
False
Let d be (-2 - -3)/(2/106). Suppose 3*r = -2*o + d + 108, o = -5*r + 84. Is o prime?
True
Let l(n) = n**2 - 11*n. Let g be l(11). Suppose g = 4*r + r - 55. Is r a prime number?
True
Suppose 0*z = -z + 5. Suppose 99 = z*x - 4*n + 2*n, x - 3*n = 25. Is x composite?
False
Let u = -157 - -64. Is 1 - 2 - u - 3 prime?
True
Let w be 3/((-1)/(-45)*-1). Let z = w - -230. Is z composite?
True
Suppose -11 - 14 = 5*j. Let o(b) = 4 - 2*b**3 - 5*b**2 + b**3 + 2*b - 4*b. Is o(j) composite?
True
Suppose -2 = -2*p - 0. Suppose 3*b - 34 = 5*d, -2*b + d + d + 20 = 0. Let k = p + b. Is k a prime number?
False
Let y(x) = 7*x + 3. Suppose 4*b - 7 - 17 = 0. Let q be y(b). Is ((-22)/(-3))/(6/q) a prime number?
False
Suppose -3*a = -1952 - 181. Suppose -242 = f - a. Is f composite?
True
Let x = -143 - -264. Is x prime?
False
Let d(r) = -33*r - 1. Is d(-2) a prime number?
False
Suppose -4*n + i = 2, n - 2*i - 3 = -0*n. Let h = n - 0. Is (32 - -2) + 2 + h a composite number?
True
Let t be (185/(-5))/((-2)/(-4)). Let a = 264 + t. Suppose 4*g - 137 = -5*i + 53, -3*g + a = 5*i. Is i prime?
False
Let m be (-1)/(3*(-3)/(-279)). Is (m/(-3))/(3/9) prime?
True
Let b be (262/(-8))/(6/24). Let f = b + 346. Is f composite?
True
Let k = 492 + -168. Suppose 0 = -2*x - 5*o + k, -3*o = 4*x - o - 632. Is x prime?
True
Let c(r) = -r**2 - 5*r - 4. Let l be c(-3). Suppose -l*t + 0*b = b - 101, -5*b = -15. Is t prime?
False
Let b(o) = -5*o**2 + 3*o - 4. Let d be b(4). Let j(s) = s**3 + s - 125. Let a be j(0). Let n = d - a. Is n prime?
True
Let v be 27/(-2*(-1)/2). Suppose 0 = -3*f + v + 6. Is f composite?
False
Suppose -q + 91 = -4*s, 0*q - 109 = -q - 2*s. Suppose 15 = v - q. Is v prime?
False
Let b be (