rst derivative of d**2 + 9*d - 4. Let r = -19 + 30. Is a(r) a prime number?
True
Let y(l) = 30*l + 9. Is y(5) composite?
True
Let k = 38 + 53. Is k a prime number?
False
Let s(p) = -p**2 + 7*p - 4. Let g be s(6). Let n(q) = 0*q**3 - 7*q + 3*q**2 + g*q**2 + 6*q**2 + q**3. Is n(-5) prime?
False
Let b = -4 + 6. Suppose -b*m + 95 = 21. Is m a prime number?
True
Let v = -812 + 1281. Is v a prime number?
False
Let y(k) = 2*k**2 + 11. Is y(10) a composite number?
False
Let q be -1 - 28*(1 + -2). Suppose y - q = -4. Is y prime?
True
Suppose 690 = 7*h - 2663. Is h composite?
False
Let z(g) = -2*g + 0*g**2 - 28*g**3 + 2*g - 2*g**2 + 1. Let y be z(1). Let a = -14 - y. Is a prime?
False
Suppose -3*a + 9 = 0, -a = -f - 2*f + 12. Suppose -f*v = -4*h - 1063, 5*h + 242 = v + 21. Is v composite?
False
Let n(o) = 6*o**3 + 6*o**2 - 9*o + 19. Is n(6) composite?
True
Suppose 0 = 4*y - 7*y + 612. Suppose 5*r - y = r. Is r a prime number?
False
Let a(r) = 3*r**2 - 2*r + 3. Suppose 0 = -2*o, 4*o = s - 0*s - 21. Let l be ((-6)/(-2))/(s/(-28)). Is a(l) a composite number?
False
Let u(x) = x**3 - 5*x**2 + 2*x - 4. Let k be u(5). Let q be (k/5)/((-9)/(-30)). Suppose -j - 180 = -w - w, q*j = 8. Is w a prime number?
False
Suppose 4*c - 5 = -c. Is 212 + c + (-6 - -8) a composite number?
True
Let j(c) = 15*c + 2. Let q(s) = -45*s - 5. Let r(l) = 11*j(l) + 4*q(l). Is r(-5) a prime number?
False
Let g(u) = u**2 - 3*u - 6. Let d be g(-4). Let p = 33 - d. Let y = p - -3. Is y prime?
False
Let h be 15/((-2)/(-1) - 1). Let f = h + -7. Let z(j) = -j**3 + 9*j**2 - 3*j - 7. Is z(f) prime?
False
Let h(d) = 4*d - 4. Let j be h(-4). Let p = 11 - j. Is p a prime number?
True
Let f(v) = -v**2 - 5*v - 1. Let l be f(-6). Let j be (-6)/(-21) - 12/l. Suppose -j*t + 185 = 3*t. Is t composite?
False
Suppose 5*o = 5*r + 2*o - 1181, 4*o = 5*r - 1183. Is r composite?
True
Let z = -32 + 48. Suppose k = -3*k - z, 2*m = -2*k + 214. Suppose 0 = 5*h - 154 - m. Is h a composite number?
False
Is 954/5 - (-3)/15 composite?
False
Let o = 184 + 147. Is o a prime number?
True
Let z be 0 + (-2 + 2 - -8). Suppose 3*a + a = -z. Is (0 + (-1)/a)*106 a prime number?
True
Let c(r) = r**3 + r**2 + r - 2. Let m be c(0). Let h be (-8)/m*(2 + -1). Suppose -h*b = -0*b - 1180. Is b a composite number?
True
Let v = 94 + -52. Suppose d - v = -d. Is d a composite number?
True
Let b(u) = u**2 + u - 2. Let p be b(2). Suppose 0*a - 4*a + 1540 = 0. Suppose g = -p*g + a. Is g prime?
False
Let i(d) = -23*d**3 - 2*d**2 - 3*d - 3. Let u = 10 - 12. Is i(u) a prime number?
True
Suppose 4*j + 958 + 1015 = o, -2*j = 5*o - 9865. Is o prime?
True
Suppose -5*m + 1402 = -2083. Is m a composite number?
True
Suppose 0 = -n + 5, 2*n + 67 = -3*r + 416. Let y = -76 + r. Is y composite?
False
Let q be (3/(-1) + 4)*-2. Let j = q - -4. Is j a prime number?
True
Is ((-1)/3)/((-14)/100506) a composite number?
False
Suppose 5*i = -5*t - 60 + 200, -2*i + 87 = 3*t. Is t a prime number?
True
Suppose -14 = 3*k - 4*m, 2*k + 2*m = -3*m + 29. Suppose -4*d = k*i - 184, -4*i - i - 230 = -5*d. Is d a composite number?
True
Suppose 2*c + 4 = 10. Let r = 7 + 9. Suppose -r - 11 = -c*l. Is l prime?
False
Let i = 4083 + -2290. Is i a prime number?
False
Is (5 - 2)/(2/38) a composite number?
True
Let h(k) = -k + 9. Let t be h(7). Let f(g) = 3 + 4*g + 0*g**2 - 5*g + g**t + 0*g. Is f(-3) composite?
True
Let d(f) = 15*f**2 + 13*f - 3. Is d(-5) composite?
False
Suppose 1 = d - 2. Let w be 7/(-3)*d*-1. Suppose -u + 16 = 4*b, -4*u = -4*b + 3 - w. Is b a prime number?
True
Let m(n) = 5*n + 8. Let h = 30 + -20. Is m(h) composite?
True
Let i(s) be the second derivative of 11*s**5/20 + s**3/6 + s**2/2 - s. Is i(2) composite?
True
Suppose 3*x - 2*n = 7*x + 268, -5*n + 175 = -3*x. Let p = 39 + x. Is p/(-4) - 2/(-4) composite?
False
Suppose 727 = 4*f - 77. Is f a composite number?
True
Let d = 2 - -3. Suppose 0 = -v + 1, -d*t + 3*v = -212. Is t a composite number?
False
Suppose 3*r - 4962 = 2577. Is r a prime number?
False
Let f(h) = h - 11. Let t be f(0). Is -22*(t/2 + 0) prime?
False
Let q(z) be the first derivative of z**3/3 + z**2 - z + 2. Let g be q(1). Is g/3 - 545/(-15) prime?
True
Let t(x) = -14*x + 5. Let o be -5 + 0 + (-1 - 0). Let z(y) = -15*y + 6. Let p(m) = o*z(m) + 7*t(m). Is p(-2) composite?
True
Let n = 8 - 1. Let j = 17 + -3. Suppose -f + n = -j. Is f a prime number?
False
Let n = -17 - -276. Is n composite?
True
Suppose 44 = -i + 5*i. Let s = -21 + i. Let b(w) = w**3 + 11*w**2 + 6*w - 5. Is b(s) prime?
False
Let f be (4 - -2) + 0/7. Suppose -3*v = -f*v + 555. Is v composite?
True
Is 9/((-135)/(-16930))*3/2 prime?
True
Let s(b) = 2*b + 1 + 0*b**2 - 5*b**2 + 1 - b**3 - 1. Is s(-7) a prime number?
False
Suppose 4*c - 7373 = -3*k, 0 = 4*k + 2*c + 3*c - 9832. Is k a prime number?
False
Suppose -4*z + 0*z = -1664. Let c = z - 227. Suppose 0 = -3*k + 3*n + c, n + 2*n = 4*k - 256. Is k composite?
False
Is (-1)/(-2 + 0) - (-65583)/14 composite?
True
Suppose 3*v + 4*b = 993, 3*v - 993 = b - 4*b. Is v composite?
False
Suppose 4*y + 4*c - 12 = 3*y, 4*y + 2*c - 20 = 0. Let n = 8 - 5. Suppose 2*d - 16 = -y*a, -5*a = n*d - a - 30. Is d composite?
True
Let y be 2/(-3) + (-34)/(-6). Suppose 839 = 4*n + y*g, n - g - 3*g - 215 = 0. Is n a composite number?
False
Let u be 3/(-2 + 15/9). Let a be (-1*u/(-1))/(-1). Is (-19 - a/3)*-1 a composite number?
True
Suppose 4*j = 7 + 9. Let y be 1*2*(-4)/j. Is (y - -1)/(-1) + 38 a composite number?
True
Is 1220 - (6/5*5 + -3) a composite number?
False
Let y(j) = j**2 + 5*j + 4. Let a be y(-4). Suppose -k + 4*m + 27 = a, 0*m = 3*k - m - 48. Is k composite?
True
Suppose -6*q + 5411 = -211. Is q a composite number?
False
Let i(x) = 11*x**2 - 5*x + 1. Let l(u) be the first derivative of u**3/3 - u**2/2 - u + 3. Let g(a) = i(a) - 6*l(a). Is g(-5) composite?
False
Suppose 7*l + 265 = f + 3*l, 0 = -f - 4*l + 249. Is f a composite number?
False
Suppose 4*h - 848 = -4*q, -q - q + 423 = h. Suppose -u - l = 1 - 71, 3*u + 2*l - q = 0. Is u a prime number?
True
Suppose -y - 5*s - 308 = 0, 2*s - 6*s - 924 = 3*y. Let z = y - -181. Let u = z - -216. Is u a prime number?
True
Let z(i) = -3*i**3 - 10*i**2 - 6*i + 12. Is z(-7) composite?
False
Suppose -4*w - j = 2*j - 13, 2*j = -2*w + 4. Suppose -2*d + 399 = 2*f - w*f, 0 = f + 5. Is d composite?
True
Let u be 4/(-10) - 7/(-5). Let l = -3 - u. Is 3 + l - (-25 + 1) a composite number?
False
Suppose 0 = 2*r - 317 + 73. Is r a prime number?
False
Suppose 2 + 8 = 5*y. Suppose 3*u = -3, u - 154 = -3*h + y*u. Is h a composite number?
True
Let x(n) = 3*n - 21. Let t(g) = g - 7. Let f(a) = -7*t(a) + 2*x(a). Let y be f(5). Suppose y*v = -2*j + 51 + 29, -j - 3*v = -50. Is j a prime number?
False
Let j(s) = -53*s + 3. Let f be j(1). Let q be 2 + (-1 - 130)/(-1). Let m = f + q. Is m prime?
True
Suppose 0 = 5*k - 4*a + 36, 0 = -3*k - 0*a - 3*a. Let c be 50/(-1)*10/k. Suppose 0 = -2*o - 15 + c. Is o a composite number?
True
Let t = -6054 + 14913. Is t a composite number?
True
Let a be (0/(-1))/(5 - 6). Suppose -3*b - 12 = 0, a = -5*o + 3*b - 9 + 56. Is o prime?
True
Suppose 0*j + j + 3*d = 2, 0 = -2*j + 3*d + 13. Suppose -2*m + 4*w + 274 = 0, -j*m + w + 760 = 57. Is m a prime number?
False
Let m(z) = 20*z**2 - 16*z - 9. Is m(-11) composite?
True
Let k = 13 - 12. Let y(g) = 318*g - 1. Is y(k) a prime number?
True
Let s = -235 + 333. Suppose -s = -i + 5*m, -5*i = -6*m + 4*m - 421. Is i prime?
True
Let t = 8 + -6. Is (930/2)/3 + t a prime number?
True
Suppose -4*t + u + 0 = -6, 4*u - 6 = t. Let s be 0 + (-6)/(-3) - t. Suppose s*h = -5*h + 575. Is h composite?
True
Let z(p) = 2*p**3 - 8*p**2 + 5*p - 4. Let n be z(5). Suppose -2*v + 5*o + n = 0, 6*v - 162 = v - 3*o. Is v a composite number?
True
Suppose 116 = 3*r + 851. Is 1/(-1) - (-7 + r) a composite number?
False
Let s = -11 + 15. Let g(o) = o**3 - 3*o**2 - 4*o + 6. Is g(s) prime?
False
Let k = 84 + -134. Let j = k - -71. Is j a prime number?
False
Suppose -d - d = -296. Suppose -75 - d = -p. Is p composite?
False
Suppose 1822 = 4*f - 702. Is f a prime number?
True
Suppose 0 = 3*b + 4 - 46. Is b a prime number?
False
Let d = -1718 + 2625. Is d prime?
True
Let j(k) = -68*k - 39. Is j(-9) prime?
False
Let w = 1846 + -959. Is w a prime number?
True
Suppose -p + 2*p + 3*d = 3