Let v(b) = 7*b**2 - 5*b - 11. Let n(d) = -11*d**2 + 8*d + 16. Let q(i) = -5*n(i) - 7*v(i). Is q(-4) prime?
True
Let p(y) = -1359*y**3 + y**2 - y. Is p(-1) a prime number?
True
Let t(w) be the first derivative of -73*w**2/2 + 3*w - 9. Is t(-2) composite?
False
Suppose 5*f = 1324 + 631. Is f a composite number?
True
Let m be 46/12 + (-1)/(-6). Suppose 12 = m*o - o. Suppose -o*z + 3*z = -34. Is z composite?
True
Suppose 0*a + 24 = 3*a. Is (170/a)/(6/24) prime?
False
Suppose -2*g + 2 = -8. Suppose g*k + r = 1116, 0 = -r + 3*r - 2. Is k composite?
False
Suppose -2*i + 318 + 290 = 2*j, 1544 = 5*i - 3*j. Is i prime?
True
Let z(t) = 435*t**2 - t + 1. Let x be z(-2). Is x/(-7)*2/(-6) composite?
False
Let p = -3 + 4. Let r(s) = -s + 0 - 2 - 118*s**3 + s**2 + p. Is r(-1) composite?
True
Let o(u) = 84*u**2 - 17*u - 71. Is o(-12) composite?
True
Suppose -5*k - 4803 = -22328. Is k composite?
True
Let b(g) = 53*g - 7. Let p be b(5). Let h = p + -131. Is h prime?
True
Suppose -47 + 4 = 3*q - 5*s, s - 5 = 0. Is (-70)/(-3*(-4)/q) a prime number?
False
Let o(j) = j - 3. Let n be o(3). Suppose n = -3*l - 1 - 2, -3*g = -4*l - 61. Is g a prime number?
True
Let k(y) = -76*y - 5. Suppose 0 = -d + 6*d - 4*m, 2*m - 6 = 4*d. Is k(d) a composite number?
True
Suppose 0 = -0*a - a. Suppose -662 = -2*u + n + 2*n, a = -u + n + 333. Is u a composite number?
False
Let r = 0 - -1. Let u = r + 1. Suppose 3*b + 0*b - 138 = -3*o, 5*b - u*o - 251 = 0. Is b a composite number?
True
Let k = -11 + 21. Let y = k + -7. Suppose 2*h = y*d + 121, -4*d = -3*h + 268 - 89. Is h a composite number?
False
Let g(u) = -u**3 - u**2. Let q be g(1). Is 4/(-4) - 64/q prime?
True
Let f = 226 - -120. Is f prime?
False
Let s be ((-8)/(-10))/((-4)/(-1490)). Suppose y - 3*q - 136 = 0, 3*y + q - s = 120. Is y a prime number?
True
Suppose 10*s - 1294 = 2896. Is s prime?
True
Suppose 696 = 16*j - 8*j. Is j a prime number?
False
Let z be ((-3)/6)/(3/(-12)). Suppose -i - 488 = -z*v, -2*v - 2*v = 3*i - 956. Suppose -2*p + v + 12 = 0. Is p prime?
True
Suppose -5*s = -2*n - 275, -3*s + 82 + 67 = 2*n. Is s a prime number?
True
Let d be 3/(-4) - (-515)/4. Suppose v - 27 = d. Is v a composite number?
True
Let k(n) = 51*n + 7. Let b be k(5). Suppose -182 = -2*h + 5*r - r, -5*r = 3*h - b. Is h a prime number?
True
Let q(v) = 9*v**2 - 4*v - 3. Is q(-1) prime?
False
Suppose -66 = -2*y - y. Suppose -d = -91 - y. Is d prime?
True
Suppose 6*t = t. Suppose t = -3*a + 2*a + 355. Is a a composite number?
True
Suppose -291 = -3*q + 48. Is q a composite number?
False
Let a = 1738 + -827. Is a prime?
True
Let y be (-4)/12 + (-5206)/(-3). Is (y/(-5))/((-3)/3) a composite number?
False
Let g(w) = w**3 - 5*w**2 - 9*w + 4. Let y be g(6). Let o = -9 - y. Suppose 2*x + o*k = -0*x + 57, -3*k = 3*x - 90. Is x prime?
True
Let z(j) = 3*j + 43. Let y(k) = 4*k + 64. Let g(n) = 5*y(n) - 7*z(n). Is g(0) prime?
True
Suppose -2*t + 5*v = -48, -3*v = -6*t + 3*t + 72. Suppose 4*n = -t - 112. Let u = 5 - n. Is u a composite number?
True
Let a be -2*(-1 + -1 + 1). Let z(p) = 19*p - 3. Is z(a) prime?
False
Let w(o) = 6*o**2 - 5*o - 3444. Let c(f) = -f**2 + f + 689. Let g(d) = 11*c(d) + 2*w(d). Is g(0) a composite number?
False
Let u(i) be the first derivative of -9*i**2 + 5*i - 3. Is u(-9) a prime number?
True
Suppose -5*s = 4*i - 816, 5*i + 2*s - 1003 = -0*i. Is i a prime number?
True
Let i = 1876 + -834. Is i composite?
True
Suppose -5*p = 2*a + 17, -2*a + 5*p + 0*p + 13 = 0. Let v = a + 4. Suppose j - 6 = v*x + 11, 0 = 5*j - 4*x - 107. Is j composite?
False
Let f = -246 + 53. Let h = 304 + f. Is h composite?
True
Suppose 0*t + 2635 = 5*t. Is t prime?
False
Let b be 2 - (-1 + 1 + -2). Let a = b + -1. Is 7*(a - (4 + -2)) a composite number?
False
Suppose 0 = t - 2*h - 51, 4*h = -3*t - 0*h + 163. Is t composite?
False
Let o be (-8 - -2)/((-6)/(-9)). Let l(n) = -13*n - 1. Let f be l(3). Let r = o - f. Is r a prime number?
True
Is ((5030/(-3))/5)/(2/(-3)) prime?
True
Let p be 10 + -2 + -2 + 1. Let o(x) = 6*x + 7*x - x + 7. Is o(p) composite?
True
Suppose 0 = -3*s + 74 + 1375. Suppose 3*t + 0*t = s. Is t a prime number?
False
Suppose 2*i - 4*y + 6*y = 9182, -2*i + 5*y = -9210. Is i a composite number?
True
Let u = -336 - -823. Is u a composite number?
False
Suppose 2*b - 234 = -0*b. Let f = 167 - b. Let r = f - 13. Is r a composite number?
False
Suppose 7*s + n - 2764 = 5*s, 0 = -3*s + 3*n + 4137. Is s composite?
False
Suppose -2*y - y = -5*j - 1404, -4*y = 4*j - 1904. Is y composite?
True
Let l = -6821 + 9840. Is l composite?
False
Let z(x) = -x**2 + 11*x - 5. Let l be z(4). Suppose -4*n + 3*b = -l, n = 5*n + 5*b - 47. Is n + 3 + 2/1 composite?
False
Let i = 613 - 84. Suppose -i + 55 = -6*s. Is s prime?
True
Suppose 0 = g - z - 0*z - 623, -1869 = -3*g + 4*z. Is g composite?
True
Suppose 4*g - 7*g = -603. Is g composite?
True
Let d = 2 + -2. Suppose 4*a + 2*q - 138 = d, 0*a + 3*q - 42 = -a. Is a a composite number?
True
Suppose 10 = 4*u - 10. Let y = u + 2. Is y prime?
True
Let q = 14 + -11. Suppose 0 = q*m - 42 - 249. Is m a composite number?
False
Is 1/(2 - (-1993)/(-997)) composite?
False
Let x = 7 - -280. Is x composite?
True
Let t(z) = -88*z - 4. Let s be t(-3). Suppose 0*x - 4*x = -s. Is x prime?
False
Let f(b) = -51*b + 16. Is f(-7) composite?
False
Suppose 4*j - 4*f - 12 = 0, -4 + 1 = -2*j + 5*f. Suppose -j*u + 111 = -u. Is u a composite number?
False
Let v(s) = s. Let y(n) = -n**2 - 22*n + 7. Let b(g) = 3*v(g) + y(g). Is b(-11) a prime number?
False
Let v = -2 + -2. Let g = 7 + v. Is g/6*5*6 composite?
True
Let b(z) = 0 - 1 + z + 2. Let d be b(-11). Let m = 20 + d. Is m composite?
True
Suppose -2*u = 3*d + 22, 5*d - u + 9 = 4*d. Let r(n) = -8*n - 6. Is r(d) a composite number?
True
Let d(w) = 4*w + 1. Let y be d(-1). Let s(f) = -30*f - 15*f + 8*f + 2. Is s(y) a prime number?
True
Suppose 4*s + 13 = -11. Let g be (s/(-4))/(2/4). Let d(n) = 5*n - 1. Is d(g) prime?
False
Let i(n) be the first derivative of -n**4/4 + n**2/2 - 1. Let d be i(0). Suppose 2*h - 11 - 3 = d. Is h a prime number?
True
Is (354/(-9))/(6/(-9))*19 a prime number?
False
Let r(a) = 151*a - 19. Is r(6) prime?
True
Let l(a) = -6*a + 0*a**3 - 1 + 3*a**2 + a**2 - a**3. Let z be l(-5). Suppose 3*v - z = -b, 2*b - 367 = -4*v - 29. Is v prime?
False
Let h(j) = j**3 - 10*j**2 - 12*j + 16. Let m be h(11). Let z(d) = -d**3 + 9*d**2 - 5*d + 4. Is z(m) a composite number?
False
Suppose 88 = 4*y - 0*s + 2*s, 71 = 3*y - s. Is y composite?
False
Let x = -1256 - -2109. Is x prime?
True
Suppose 4*l - 8 = 0, -2*t + 2*l = -2 - 0. Is t*(15/3 - 0) a prime number?
False
Let w = 102 - -85. Is w a composite number?
True
Let x = -8 + 6. Is -301*(-3 - x/1) composite?
True
Suppose -3*o - 13 = -0*z + z, 4*z = 2*o + 4. Let x(u) be the second derivative of -u**5/5 - u**4/3 - u**3/6 - 5*u**2/2 + 9*u. Is x(o) prime?
True
Let c(a) = a**2 + 6*a + 7. Let i be c(-6). Let p(q) = -8*q + 2*q + q**2 + 0*q. Is p(i) a composite number?
False
Suppose 2*a - a = -3*i + 14, a + 21 = 4*i. Suppose 0*d + 5*d - i = 0. Suppose -k = -d - 5. Is k composite?
True
Let a = -6 + 425. Is a a composite number?
False
Suppose 25163 + 54647 = 10*g. Is g a prime number?
False
Let n(r) = 94*r + 41. Is n(9) a prime number?
True
Let a(j) = -485*j + 1. Let l be a(-1). Suppose 6*t - l = 2*t + 3*s, 0 = 5*t + 3*s - 621. Is t composite?
True
Let w = -5 + 9. Suppose -5*y + 565 = 5*o, -3*y - 4*o - 103 = -w*y. Is y a composite number?
True
Let l be 4/3*(-6)/(-4). Let s = l - -1. Suppose 0 = -s*m + 9, -3*b + 122 = -b + 2*m. Is b composite?
True
Let o(q) = 96*q + 11. Is o(6) composite?
False
Suppose -t - 140 = 4*t. Let v = -3 - 0. Is v/(-2*(-3)/t) composite?
True
Let s be (-2)/(-4) - (-3)/(-6). Suppose -2*b + 802 = -s*b - 4*n, 3*b + 3*n = 1185. Is b prime?
True
Suppose a - 3*i = -9, -i - 2 = a - 5. Is -1 + 22 - (-2 + a) prime?
True
Suppose -4*m - 36 = -0*m. Let q = 13 + m. Suppose q*r - 30 = 10. Is r composite?
True
Let i(d) = 48*d**2 - 3*d + 5. Is i(-4) composite?
True
Let a = -18 - -44. Suppose a = 4*v - x - 0*x, -14 = -2*v + x. Suppose 0 = -5*k + v*k - 77. Is k composite?
True
Is (-267)/(1 + 2)*11/(-1) a composite number?
True
Let z(u) = 2*u**3 + 9*u**2 + 4*u - 6. Let s be z(-6). Let l = s + 205. Is l a prime number?
True
Let d(p) be the first