. Is v(3) prime?
True
Suppose 85 = -4*n + 2565. Suppose -4*h - 9 = -29, -5*y = 5*h - n. Is y composite?
True
Let d(y) = -y**3 - 2*y**2 + 2*y + 1. Let c be d(-4). Let w(k) = -6*k**2 + k - 1. Let u be w(-3). Let p = c - u. Is p a composite number?
False
Is (-453)/(-4) + 5/(-20) a composite number?
False
Let x(i) = 14*i + 9. Let t be x(8). Suppose -4*q = -83 - t. Is q a prime number?
False
Suppose -9*b + 10*b = 586. Is b composite?
True
Suppose 0 = 3*c - 3*v - 8 + 2, -2*v = 0. Suppose -5*g + c*u = -103, -3*u - u = -3*g + 59. Is g a prime number?
False
Suppose 0 = -g + 4, 3*g = 4*v - 95 - 105. Is v a prime number?
True
Let s(c) = -c**2 + 2*c - 1. Let t be s(1). Let b be 1*(-8 - (1 + t)). Is (-2)/b + 277/9 composite?
False
Suppose 3 = -3*v - 4*f, -v = 5*f + 8 + 4. Is v a composite number?
False
Let u(x) = -9 + 3*x - 4*x + 2. Let o be u(-7). Suppose -z - z + 148 = o. Is z composite?
True
Suppose f = -4*t + 2226, -2*t - 3*t = -f - 2787. Is t composite?
False
Let g(h) be the first derivative of -h**6/60 + h**5/60 + h**4/6 + 2*h**3/3 - 3*h**2/2 - 2. Let c(x) be the second derivative of g(x). Is c(-3) a prime number?
False
Let a(s) = 86*s - 5. Is a(2) a prime number?
True
Is (-13329)/(-15) + (-4)/(-10) prime?
False
Let i = 321 + -140. Is i a prime number?
True
Let c be 152 - 3*(-4)/12. Is c + (-4 - (3 + -3)) prime?
True
Suppose -7*t = -3*t - l - 4783, 4*l = 5*t - 5987. Is t a composite number?
True
Suppose -4*v + 2149 = 537. Suppose -6*i + 143 = -v. Is i prime?
False
Suppose -3*l + 4*f + 20 = 0, 3*l - 5 - 1 = -3*f. Let v(m) = -4*m - 3*m - 8 + l*m. Is v(-9) prime?
True
Let u(z) = -2*z**2 + 7*z**2 + z**3 + 3 + z**2 + 3*z. Let a be u(-4). Let v = -12 + a. Is v composite?
False
Suppose -5*j + 70 = 5. Let q = 7 + j. Suppose -5*o = 4*s - 43, 2*o = -0*o - 3*s + q. Is o a prime number?
True
Suppose -2*a - 4 = -12. Suppose -a*j + 171 = -65. Is j composite?
False
Let f(u) = -926*u + 7. Is f(-4) prime?
False
Let y(a) = -a. Let u be y(5). Is 1/u + (-2796)/(-30) a composite number?
True
Let u(t) = 54*t**2 - 12*t - 11. Is u(-5) composite?
False
Let r(c) = -c**3 + c**2 - c + 43. Suppose 3*j - 5 = 1. Suppose -j*l = -7*l. Is r(l) composite?
False
Let h(i) = i**3 + i**2 + i + 275. Let l be h(0). Suppose 0 = 5*c - l + 10. Is c a prime number?
True
Suppose 3*x = v + 1308, 2*v + 0*x - 2*x = -2612. Let c = 2216 + v. Is c a composite number?
False
Is (444 - -1) + 72/18 a prime number?
True
Let z(p) = -61*p + 6. Let w be z(14). Let y = -507 - w. Is y composite?
True
Suppose 0*o - 4*o = 588. Let w = 44 - o. Is w a prime number?
True
Suppose 0 = 4*q + 5*w - 2498, 4*w - 3114 = -5*q + 2*w. Is q prime?
False
Let b(m) = -5*m - 9. Let y be b(-9). Suppose f = -24 - y. Let a = 127 + f. Is a composite?
False
Let k be ((-3)/(-2))/((-3)/(-12)). Is 398/k + 4/6 a composite number?
False
Suppose b + 2*u = 3*u, 0 = -5*b - 4*u. Is (b - (-1 - -3)) + 145 a composite number?
True
Let n = -3085 - -4857. Is 6/2*n/12 composite?
False
Suppose -4*j + 9823 = 7*d - 4*d, -2*j - 9835 = -3*d. Is d prime?
False
Let n(j) = -j**3 - 6*j**2 - 4*j + 7. Let s be n(-5). Is (-163)/(2 + (-1 - s)) prime?
True
Let y = 114 - 55. Is y composite?
False
Let f(o) = 5*o + 1. Let j be f(-1). Let m(k) = -7*k**2 - 3*k - 11. Let a(g) = -6*g**2 - 3*g - 10. Let h(q) = -5*a(q) + 4*m(q). Is h(j) a prime number?
False
Let w(z) = -4*z**3 - z**2 - 2*z + 2. Let h be w(-2). Let r = h + 25. Is r prime?
True
Suppose 5 = t - h, -t + 3*h - 5*h = 4. Suppose t*p = 5 + 11. Suppose -p + 823 = 5*u. Is u a prime number?
True
Is ((-10)/25)/(2/(-695)) composite?
False
Suppose 0 = -2*i + 4*a - 3 - 17, -3*i = 5*a - 14. Let y be 290/14 + i/(-7). Suppose -4*b = -3*b - y. Is b composite?
True
Suppose -7*s + 4*s = -5*z + 89, 5*z - 5*s - 85 = 0. Is z prime?
True
Suppose h - 2*m = -4*h - 26, 3*m = h. Let o(y) = -4*y**2 + 4*y. Let t be o(h). Let i = t - -287. Is i a composite number?
True
Suppose -5*d + 4470 = -5*z, -z = -4*d + z + 3566. Is d composite?
True
Let b be (-6)/(-21) + (-30)/7. Let d be b/14 - (-48)/21. Suppose -3*l + 2*t = 2*l - 191, -l = d*t - 31. Is l a composite number?
False
Let o(y) = 7*y - 3. Let w be (2 - 1)/(3/21). Is o(w) a prime number?
False
Suppose 0 = -6*a + 12*a - 4002. Is a a prime number?
False
Suppose 5*i = -z + 2*z + 9966, 0 = 2*i - 4*z - 3990. Is i a composite number?
False
Let g(i) = 252*i**2 - 6*i - 11. Is g(-2) composite?
False
Let k(z) = -z**2 + 29*z - 17. Is k(13) composite?
False
Let i = 60 - 26. Let f be 8*((-5)/(-2) - 2). Suppose 0 = f*o + 7 + 9, 2*o = 2*v - i. Is v composite?
False
Let m(z) = z**3 + 6*z**2 + 3. Let k be m(-6). Suppose -3*w = 2*r - 617, 413 = w + w + k*r. Is w composite?
True
Suppose -4*m = -5*r - 1878 + 719, 3*r = m - 288. Is m a prime number?
False
Suppose 3*i + 8 = 83. Suppose -6*x - 5*m + i = -2*x, -3*m = -3*x - 15. Suppose x = -2*l - 2*z + 130, 2*l + 3*l - 3*z - 325 = 0. Is l composite?
True
Let h = 574 + 73. Is h a prime number?
True
Let t = 6 - 0. Let c be (t/(-5))/((-12)/(-30)). Is c/(-2) - (-219)/6 a composite number?
True
Let p be ((-4)/(-6))/((-4)/(-78)). Suppose 4*v = 4*t - 1676, 3*v - p = -t + 406. Is t a composite number?
False
Suppose -268 = -2*p + 5*a - 52, -122 = -p - a. Is p prime?
False
Let c = -21 - -24. Is 265 + c*(-2 + 1) prime?
False
Suppose 0 = 5*c + 5*n - 29855, -2*c + n + 12649 = 713. Is c a prime number?
False
Let n(z) = -2*z - 2*z**2 + 5*z**3 + 5*z - 6*z**3. Let v be n(-3). Suppose v*k - 25 = -k. Is k a prime number?
False
Is -2*(-3)/((-6)/(-553)) a composite number?
True
Let o(x) = 6 + 4*x - 5*x + 2*x - 2*x. Let g be o(3). Suppose i + 22 = g*i. Is i a prime number?
True
Let a(w) = -891*w - 2. Is a(-1) composite?
True
Let m(c) = c**2 + 9*c - 13. Let w be m(-10). Let q(l) = -17*l**3 - 2*l**2 - 2*l - 3. Let d be q(w). Suppose -d = -4*u - 0*u. Is u a composite number?
True
Is (-6)/9 - 1015/(-15) composite?
False
Suppose 0 = f, 0*f - 2*f = w - 794. Is w composite?
True
Let t be 0*(0 + -1)/(-2). Suppose t = -3*x, 5*o - x + 2*x - 115 = 0. Is o a prime number?
True
Let j(q) = q**3 + 4*q**2 + 3*q - 5. Let d = -4 - 0. Let c be j(d). Is (18/(-6))/(1/c) composite?
True
Suppose 2*l = -5*t + 223, 2*l - 82 + 31 = -t. Suppose -i = 2, -t = -3*b + 3*i - i. Is b prime?
True
Let q = 124 - 201. Let x = 239 - 129. Let d = x + q. Is d a composite number?
True
Suppose 3*k - 1275 = 3*i, -3*i - 1701 = -4*k - 0*k. Is (4 - k)*1/(-2) composite?
False
Suppose -5*u + 5565 = 715. Suppose 2*a = -5*x - 0*a + u, -3*x + 551 = -5*a. Let b = -125 + x. Is b a prime number?
True
Let i be 0 + (-3 - -145) + -1. Let n = i - 74. Is n prime?
True
Let k = 178 + 217. Is k prime?
False
Let t be -2*(13/2 + -2). Let k(z) = z**2 + 7*z + 13. Is k(t) prime?
True
Suppose 0 = -2*o + 3*n + 881, 4*n - 1350 = -3*o - n. Is o a composite number?
True
Suppose -p + 4 - 9 = 5*s, 3*s = 5*p - 3. Let f(w) = -1 + 2*w - 2*w + 5*w**2 + 14*w**2 - w. Is f(s) a prime number?
True
Suppose -p = 5, 41 = -4*r + 4*p - 19. Suppose h + 3*h + 52 = 0. Let d = h - r. Is d composite?
False
Let y(u) = 2 - u**2 + 0*u - 7 + 6*u. Let r be y(5). Suppose r*o = o - 14. Is o prime?
False
Suppose 0 = 3*k + 4*r - 180, 2*k = -3*r + 6*r + 103. Suppose i - 2 = 0, -3*o + k = 2*i + 268. Let f = 107 + o. Is f prime?
False
Suppose 2*d = 4*z + 5*d + 165, -z = 3*d + 48. Let o(h) = -h**3 - 4*h**2 + 4*h - 4. Let g be o(-4). Let r = g - z. Is r a prime number?
True
Is -2 - (-397 - (-2 - -1)) composite?
True
Let m(g) = -2*g**3 - 12*g**2 - 8*g - 43. Is m(-8) prime?
True
Let n = -851 - -1604. Is n a prime number?
False
Let w(n) = 55*n**2 + n + 1. Is w(-1) a prime number?
False
Let n = -782 - -2683. Is n a composite number?
False
Let g = 41 + -4. Is g a prime number?
True
Suppose 2*v + 5 = 91. Is v prime?
True
Let p(a) = -8*a - 7. Is p(-7) a prime number?
False
Let l(j) = 6*j - 4. Let b be l(3). Suppose -y + 17 + b = 0. Is y a composite number?
False
Let y(d) = -201*d. Let b = -7 + 6. Let p be y(b). Suppose p = 2*u + u. Is u a composite number?
False
Let n be (-15)/(2/((-1128)/9)). Suppose -5*v = -v + 5*q - 20, v - 5 = -q. Suppose -v*c + 4*l = -0*c - 935, 5*c - 3*l = n. Is c a prime number?
True
Suppose -5*y + 3*v + 552 = 2*v, y - 4*v - 99 = 0. Is y a composite number?
True
Suppose 0 = 6*q - 2*q - 4388. Is q a composite number?
False
Let v(t) = 42*t - 3. Let a be v(3). Let l 