 k composite?
True
Let p(j) = j**2 + 3*j + 6. Suppose -28 = 4*k - 8, -4*c - 5*k = 57. Is p(c) prime?
False
Let m be (-1 - -4)*4/(-12). Let d = 2 - m. Suppose 0 = 6*j - 2*j + d*c - 70, -5*j = c - 93. Is j a composite number?
False
Let o(j) = 9*j**2 + j**3 - j - 3*j - 3 + 8*j. Let f(v) = v**2 - 8*v - 5. Let c be f(8). Is o(c) a prime number?
False
Let m be 10/2*1 + -2. Suppose 3*d - 53 = 4*g, -2*d = m*g - 5*g - 36. Is d composite?
False
Let h = 32 + -19. Let x(u) = u**2 - 13*u + 19. Is x(h) prime?
True
Let l(m) = m**3 - 2*m**2 + 1097. Is l(0) composite?
False
Suppose -7*r = -3*r + 24. Is (6/4)/(r/(-88)) a prime number?
False
Suppose 83 = 2*x + 1. Suppose 0*c + 4*c - 4*m + 196 = 0, c + m + x = 0. Let y = c + 116. Is y prime?
True
Suppose -3*j - 55250 = 10*q - 14*q, 2*q + 2*j = 27618. Is q composite?
True
Suppose -2*c = -0*c - 4. Let l(h) = 2*h**3 - 3*h**2 + 2. Let z be l(c). Suppose 4*m = z + 38. Is m prime?
True
Suppose -q - 1544 = -4*b + 3*q, 2*q - 1574 = -4*b. Is b prime?
False
Suppose -4*a - 5*v + 872 = 0, -3*v + 413 = 3*a - 244. Let k = -68 + a. Is k a composite number?
True
Let h(q) = -6*q**2 - 7*q + 11. Let k be h(-6). Let u = -18 - k. Is u a composite number?
True
Suppose u - 75 = -4*u. Let d = u + -35. Let p = 69 + d. Is p a prime number?
False
Suppose -5*c - 2*j + 12798 = 1021, 2*c = -j + 4710. Is c composite?
False
Let v(s) = -3*s**3 - s**2 - 4*s - 7. Is v(-3) prime?
False
Let d(v) be the third derivative of -v**5/60 - 17*v**4/24 + 11*v**3/6 - 2*v**2. Let w be 47/(-4) - 1/4. Is d(w) composite?
False
Let x be (-317 + -1)*1/(-2). Suppose -480 = -3*z + x. Is z a composite number?
True
Let d(j) be the first derivative of 6*j**2 - 7*j + 3. Is d(5) a composite number?
False
Let a(l) = l**2 - 3*l - 1. Let z(y) = -10*y - 1. Let x be z(1). Let h = -19 - x. Is a(h) composite?
True
Let t(h) = -2*h**3 - 3*h**2 + 8*h + 4. Is t(-5) composite?
False
Suppose -3*s + 310 = 3*t - 56, 4*s - 615 = -5*t. Is t a prime number?
True
Let h(c) = -c**3 + c**2 + c - 1. Let z(n) = -9*n**2 - 10*n - 11. Let l(t) = h(t) - z(t). Is l(11) a prime number?
False
Let b be (-2)/(2 + -1 - 0). Is (4/2)/(b/(-67)) a composite number?
False
Suppose -14 + 6 = -4*k. Suppose 4*r = -2*n + 142, -k*n - 4*r = -2*r - 136. Let h = -28 + n. Is h prime?
True
Suppose -2*v - 13 = -131. Is v a prime number?
True
Suppose -5*s - 3*u + 1664 = 0, -1649 = -5*s + 3*u - u. Is s a prime number?
True
Let v(l) = 35*l - 15. Is v(10) composite?
True
Suppose 4*c = 285 + 311. Is c prime?
True
Suppose 2*d = 15 - 153. Is d/(-6)*(-1 - -7) composite?
True
Suppose -q = -1, 1770 = 5*m - q - 1324. Is m a composite number?
False
Let r(j) = j**2 - 4*j + 7. Let x be r(5). Suppose -4*b + 8*b - x = 0. Suppose -b*v + 2*v = -31. Is v prime?
True
Suppose 2*h - 132 = -h. Suppose l = h - 7. Is l prime?
True
Suppose 2484 + 13012 = 8*i. Is i a composite number?
True
Suppose 690 + 845 = 5*i. Is i prime?
True
Let q(y) = y**3 + y**2 + y - 35. Let f be q(0). Let a = 114 + f. Is a a composite number?
False
Let p(z) = -z**3 + 4*z**2 + 6*z - 4. Let u be p(5). Let j = u - 1. Suppose 35 = i - j*i. Is i prime?
False
Let b = 334 + -80. Suppose b = 4*s - 590. Is s a composite number?
False
Let c = 9 - 6. Let f(i) = 22*i**3 - 2*i**2 - 4 + 2 - 17*i**3 - c*i. Is f(3) composite?
True
Let o(x) = 2*x**2 - 10*x + 1. Is o(8) prime?
False
Let y(p) = 3*p**2 + p + 4. Let a(o) = -12*o**2 - 4*o - 16. Let s(h) = 2*a(h) + 9*y(h). Let x be s(-6). Let b = x + -59. Is b a composite number?
False
Is (1*(-3 + 880))/1 composite?
False
Let a = 40 - -37. Is a composite?
True
Is (5 + (-779)/2)/(1/(-2)) a prime number?
True
Let z(r) = r**2. Let m be z(2). Suppose m*c + 5*f - 216 = 267, 4*c = 3*f + 523. Suppose -o = 4*d + 2*o - 147, -4*d + c = -o. Is d prime?
False
Is (3 - -959) + (-1)/(2/6) prime?
False
Let f(t) = 14*t. Let q be f(1). Let v(a) = -1 + 2 + q + a. Is v(0) a prime number?
False
Suppose x = -4*x + 25. Suppose 2*u - 244 = 3*d, u + 630 - 232 = -x*d. Let f = 137 + d. Is f composite?
True
Let l = -499 + 998. Is l composite?
False
Is 132 + (-1)/1*-1 a composite number?
True
Let a(y) = y + 3. Let x be a(-6). Is x/2*(1 - 83) prime?
False
Suppose i - 25 = -4*i, 0 = -3*k + i + 1468. Is k a prime number?
True
Suppose 2*h - 193 = 53. Suppose 2*r - 246 = 2*b, -r + 3*b + h = 5*b. Is r a composite number?
True
Let k(i) = 1641*i**3 - 2*i + 2. Is k(1) composite?
True
Suppose 6*r - r - 15545 = 0. Is r a prime number?
True
Suppose -2*b - 20 = -4*b. Is b/3*(-153)/(-6) composite?
True
Let n be 1/(-2) + (-3)/(-6). Suppose 2*m + 23 = -n*d + d, -4 = -m. Is d prime?
True
Let v(c) = 6*c - 5. Is v(10) composite?
True
Suppose -4*d - d = -2240. Suppose 4*b - 404 = d. Is b prime?
False
Is 139 - -8 - 1*2 composite?
True
Let k = 50 - 1. Suppose 0*m = 2*m - 8. Let i = m + k. Is i prime?
True
Suppose 59*z = 56*z + 11838. Is z composite?
True
Let q = 237 - 117. Let z = q - 73. Is z prime?
True
Let w(y) = 14*y + 5. Let q be w(-7). Let s = q - -350. Is s a composite number?
False
Let v(w) = -3*w**3 + 2*w**2 - w - 5. Is v(-4) a prime number?
True
Let a(q) = -q**2 - 9*q - 4. Let d be ((-112)/(-42))/((-1)/3). Is a(d) prime?
False
Let f = 12 - 5. Let x(p) = p**2 - 4*p + 1. Is x(f) prime?
False
Suppose -3*q + 0*x = 2*x - 4, -x = 2*q - 3. Suppose 0 = d - k + 6*k - 388, -5*d - 4*k = -1856. Suppose -5*i = -q*b - 2*b + d, -3*b + 275 = -4*i. Is b composite?
False
Suppose i + 0*i = 114. Suppose 122 + i = 4*m. Is m a composite number?
False
Let d = 63 + 95. Is d*((-2)/4 + 1) composite?
False
Let o(k) = -k**3 + 5*k**2 + 10*k. Let j be o(8). Let v = j + 201. Is v prime?
True
Let d(o) = -15*o - 1. Let h(n) = -16*n - 1. Let m(r) = 2*d(r) - 3*h(r). Is m(7) composite?
False
Let w(t) = t**3 - 6*t**2 - t - 5. Let h = -8 + 15. Is w(h) a prime number?
True
Suppose 2*r = 3*r - 152. Let y = -106 + r. Is y a composite number?
True
Let j = -14 - -8. Let q(b) = 3*b + 9 + b**2 - 3*b + 4*b. Is q(j) a prime number?
False
Let v = -20 + 14. Is (-9)/v*(-212)/(-6) prime?
True
Is (215/15)/(1/51) a composite number?
True
Is 1/((-3187)/797 - -4) a prime number?
True
Suppose 0 = -3*l + 2*l - 6. Let b be (-2)/l + (-64)/3. Is (-1413)/b + 4/(-14) a prime number?
True
Let k = -15 - -17. Suppose -6*g + 405 = -g + k*a, 5*a = -4*g + 341. Is g composite?
False
Let w be (-119 + -2)*-1 + 1. Is w/18 - (-4)/18 a prime number?
True
Is 19 - -328 - (2*-1 - -2) prime?
True
Suppose 4*j - 2*j = 106. Is j a composite number?
False
Let q(j) = 23*j + 10. Let k be q(-9). Let x be (-2 - 2) + -3 + 1. Let y = x - k. Is y composite?
False
Let s be 36/16 + 1/(-4). Let q = 0 + s. Suppose -91 = -q*p + p. Is p a prime number?
False
Let v = 6 - -55. Let i(a) = -64*a - 4. Let j be i(-4). Let z = j - v. Is z prime?
True
Is (-4 - -7)*9753/9 a composite number?
False
Suppose 0*t + 3*t - k = -15, -4*t - 15 = -3*k. Let s(y) = -10*y - 3. Is s(t) a prime number?
False
Let a(s) = -s + 1. Let y be a(-4). Suppose y*f + 0*f - 75 = 0. Is (-442)/(-5) + 9/f composite?
False
Let o be (1 - (-2 + 3)) + 72. Is (-2 - 0) + (o - -1) a composite number?
False
Let q = 14 + -18. Let x(v) = -17*v - 3. Is x(q) prime?
False
Let t(o) = 3*o**2 - 3*o + 4. Let h be t(2). Let g be (3/2)/(2/4). Suppose -g*m - h = -m, -x = -2*m - 29. Is x composite?
False
Is ((-7405)/10)/(4/(-8)) composite?
False
Let y(r) = 134*r**2 - r. Is y(1) prime?
False
Let i(m) = m**3 - 3*m**2 - 2*m + 3. Let x be i(3). Is x + 0 + 239 + -3 composite?
False
Let f(z) = -z**3 + 7*z**2 - z - 1. Let u be f(7). Let c(q) = q**3 + 9*q**2 + 6*q - 11. Let a be c(u). Suppose a*k = 5 + 150. Is k composite?
False
Let m be (-6)/(-4) - 4/(-8). Suppose 0 = m*s - 39 - 3. Is (-28)/(-6)*s/2 prime?
False
Let r(c) be the second derivative of -c**3/2 + 4*c**2 - c. Is r(-6) composite?
True
Suppose -y + 2 = -3*y. Let x = -7 - y. Is (3/x)/(1/(-110)) prime?
False
Let k(b) = -b**2 - 1. Let p(a) = 4*a**2 - 2. Let i(j) = -k(j) + p(j). Let x be i(-1). Suppose 0 = -u - u - 5*v + 55, x*v = -12. Is u prime?
False
Let d = -80 + 139. Suppose 0 = -h + 3*h - 3*v - 6, -8 = 4*v. Suppose h = i + 2 - d. Is i a composite number?
True
Let d = 1149 - 581. Suppose 2*n - d = -3*b, -5*n = 4*b - 4*n - 759. Let m = b + -41. Is m composite?
False
Suppose -c = 2*c - 129. Is c a prime number?
True
Let l(p) = -2*p**3 - 2*p**2 - 2*p - 1. Let j be l(-2). Suppose -