(2/1)/((-3)/492). Let n = 969 + q. Is n a prime number?
True
Let x = -161 + 150. Is -4*(-3)/66 - 3221/x prime?
True
Let s(v) = 2*v**2 + 2*v - 7. Let d be s(-3). Suppose 3*a = -d*a + 66104. Is a a prime number?
True
Suppose -6*l + 48 = -3*l. Suppose -2*f - 8 = -l. Suppose 5*u - 859 = -h, -f*h + 2575 = 4*u - 925. Is h composite?
True
Let x(f) = 61*f**2 - 23*f - 47. Suppose 0 = -a - 10*a - 176. Is x(a) prime?
True
Suppose 0 = -0*v + 5*v - 7*v. Suppose -5*r - 3*p + 3109 = v, 3*r - 5*p + 0*p - 1879 = 0. Is r a composite number?
True
Let w(o) = 2*o + 10. Let p(u) = -3*u - 11. Let g(t) = -3*p(t) - 4*w(t). Let c be g(10). Suppose -1 = -2*r - c, -4*j + 2*r + 3414 = 0. Is j a prime number?
True
Suppose -10528 = -19*i + 11*i. Suppose -i = -4*o + 632. Is o prime?
True
Suppose 0 = -8845*o + 8824*o + 969591. Is o prime?
True
Let c = -65 - -63. Let d be (c/(-6))/((-5)/45). Is (-1)/(-3*d/(-4383) + 0) composite?
False
Let i = -2278 + 5048. Suppose 14*l = i + 11188. Is l composite?
False
Let r(v) = 11*v**2 + 58*v - 6. Let z(l) = 9*l**2 + 58*l - 7. Let o(s) = 4*r(s) - 5*z(s). Let t be 5 - 8 - 15/3. Is o(t) a prime number?
False
Suppose -r + 11 = 4*n - 29, -3*n = -3*r - 45. Suppose -n*o - 3088 = 300. Let y = 371 - o. Is y composite?
True
Suppose -3*l + 2*p = -106, -4*l = -2*p - 59 - 85. Suppose -3*f + 2232 = 3*n, 5*f - 3735 = l*n - 40*n. Is f a prime number?
False
Is (108 - 75241)*((1 + 0)/(-1) - 0) a composite number?
False
Let z be (-237)/(-9)*(-1572 + 0 - -3). Let g = z + 58836. Is g composite?
False
Let h(q) = 164*q - 2015. Is h(56) a prime number?
False
Let l(x) be the first derivative of -x**6/12 - x**5/60 - x**4/12 - x**3/6 - 2*x**2 - 5. Let n(h) be the second derivative of l(h). Is n(-2) a prime number?
True
Suppose 89483121 = -242*q + 300137587. Is q a composite number?
True
Let m(w) = 1. Let j(g) = -g + 1. Let h(o) = -j(o) - 3*m(o). Let u be h(3). Is 2 - (1 + -8 - (3 + u)) a prime number?
True
Let a(q) = -15*q**3 + 2*q**2 + q + 2. Let d be a(-3). Suppose -2*s + 0*s + 422 = -c, 2*s = -3*c + d. Is s prime?
True
Suppose -9*w + 5*w = 3*m - 54221, 5*w - 4*m - 67753 = 0. Is w composite?
False
Suppose 0 = -108*m + 113*m - 2690. Let z = m - 301. Suppose -z = -4*v + v. Is v a composite number?
False
Suppose 20*i + 42*i - 3140679 = -11*i. Is i composite?
True
Let b(l) = -7*l**2 + 31*l + 76. Let h be b(18). Let n = 829 - h. Is n composite?
True
Let f = 282851 + -191345. Suppose -4*n + 7*n = 3*r + f, n + r = 30506. Is 2*(-1)/(-3)*n/16 composite?
True
Let y be (-1)/(((-2)/2)/6). Suppose p = 4*o + 9, 5*p - 14 - y = -5*o. Suppose 262 = 3*c - 2*s, -2*s - 420 = -p*c - 7*s. Is c a composite number?
True
Let c(s) = 5816*s**2 - 1. Suppose -y + 8 = -5*y - 2*o, -13 = 3*y + 5*o. Is c(y) a prime number?
False
Let w be 3/3*-4 - (-1928 - 14). Suppose 3*a = 4*l - 1613, 3*l - a + 722 = w. Is l a composite number?
True
Let u(n) = n**3 + 3*n**2 - 5*n - 6. Let b be -6*(4/(-3))/(-4). Let y be ((0 - 0) + b)*63/(-18). Is u(y) composite?
False
Let g(d) = 8*d + 1. Let m be g(3). Let x = m - 25. Suppose x*l + 5*v - 642 = -2*l, -3*v - 1336 = -4*l. Is l prime?
True
Let n(v) = v**2 - 21*v - 20. Let q be n(22). Suppose 0 = -4*y - w + 3*w + 6308, -q*y + 5*w = -3138. Is y prime?
True
Suppose -5*v + 7664 = -17761. Suppose -v = -10*r + 9805. Suppose 5*g = -r + 4044. Is g a composite number?
True
Suppose 24*b + 2*q = 28*b - 12428, -b + 3121 = 3*q. Is b a prime number?
True
Suppose -8935 = 57*p - 58*p + 2*l, -5*p + 44687 = -4*l. Suppose -p = 8*c - 9*c + 4*k, 4*c - 5*k - 35712 = 0. Is c prime?
True
Let g(p) = -57*p + 37. Suppose 5*b + 121 = 1. Is g(b) prime?
False
Let u(k) = 115*k**2 - 78*k - 1406. Is u(-59) a composite number?
False
Let h = 108 + -64. Suppose -h = 5*f - 79. Suppose -10*q + 2517 = -f*q. Is q a composite number?
False
Let h be (-156)/(-21) + (-3)/7 - -3. Suppose -4*j + 7588 = -4*u, -h*j + 5707 = -7*j + u. Is j a prime number?
True
Let s(g) = g**3 + 11*g**2 + 12*g + 24. Let v be s(-10). Suppose v*k = 491 + 1737. Is k a composite number?
False
Let z(c) = 4*c**3 + 49*c**2 + 27*c - 719. Is z(14) a prime number?
False
Let o = -697 + 705. Is (-1)/2 - (-48060)/o a prime number?
True
Let k(i) = -454254*i - 595. Is k(-6) composite?
False
Let k(f) = f**2 + 21*f - 39. Let o be k(2). Suppose o*i - 5262 = -3*c + 2*i, -4*c = 4*i - 7024. Is c a composite number?
False
Let r(y) = 8*y**2 - 10*y + 6*y + 0*y + 10*y - 57. Is r(-37) a prime number?
False
Let f(i) = 104*i**2 - 49*i**2 - 14*i - 47*i**2 - 2 - 5*i**3. Let w = -20 - -13. Is f(w) a prime number?
True
Let p(z) be the first derivative of 2*z**3/3 - 5*z**2 + 13*z - 75. Let d be 14 + 0 - (-2 - -5). Is p(d) prime?
False
Suppose 2*v + 42036 = 14*v. Suppose -c = 5*j - v, -3*j + 1404 = -j - c. Is j composite?
False
Let h(l) = 374*l**2 + 57*l + 12. Let b(m) = -186*m**2 - 28*m - 5. Let z(a) = -13*b(a) - 6*h(a). Is z(6) prime?
True
Let n(c) = 7*c**3 + 70*c**2 + 9*c + 111. Let x(l) = 10*l**3 + 106*l**2 + 14*l + 166. Let z(o) = -7*n(o) + 5*x(o). Is z(-25) a composite number?
True
Let x(m) = -2*m**3 - 7*m**2 - 2*m + 3. Let p be x(-3). Suppose p = -12*r - r + 319787. Is r a prime number?
False
Suppose -7*u + 5*b = -2*u + 100, -2*u - 5*b = 40. Let y be (2/2 + 0)/((-4)/u). Let h(f) = 3*f**2 + 9*f + 7. Is h(y) a composite number?
False
Suppose 0 = -j - 5688 + 16976. Suppose 45*t - 53*t = -j. Is t a prime number?
False
Let q(h) be the second derivative of -h**5/20 - 11*h**4/12 - 29*h**3/6 + 15*h**2/2 + 179*h. Is q(-14) a prime number?
True
Let x(q) = -3351*q - 383. Is x(-10) a prime number?
False
Suppose -33*a - 11 + 11 = 0. Suppose 2*l - 2*p - 2372 = a, 3*l - 10*p - 3561 = -8*p. Is l prime?
False
Suppose -159 = -5*z - 4*l, -3*z - 3*l - 2*l + 98 = 0. Let x be z/5 + (-8)/(-10). Suppose 2*d + 3*c = x*c + 774, -5*d + 1891 = c. Is d a prime number?
True
Let x = 27 - 25. Suppose -4*z - 4 = -2*a, -x*a + 0*a + 2 = -2*z. Suppose 9*i + a*i - 13599 = 0. Is i a prime number?
True
Suppose -2*u + 8*i = 3*i - 133, -4*i - 136 = -2*u. Suppose 0 = -3*g + 17 - 5. Suppose -g*y + 2*y = -u. Is y a prime number?
True
Let b(a) = -1194*a - 14. Let d be b(5). Is (-2 + 1)*3 - d a prime number?
True
Let t be 5*-7*(-36)/210. Let p(i) = 157*i**2 - 22*i + 43. Is p(t) a prime number?
True
Let g be (-474)/(-162) + 8/108. Suppose 2*r - 5*f = -3*r + 15225, g*r - 9123 = -3*f. Is r a composite number?
True
Let c(w) = 2*w**3 - 2*w**2 - 22*w + 12. Let g be c(6). Suppose 4*d + d = 3*u + g, 0 = 2*u - 10. Is d a prime number?
False
Suppose 21*c = -3*c + 624. Is 381*(-2 + c/12)*22 a composite number?
True
Let s = 738696 - 261803. Is s prime?
False
Suppose 12*j - 17*j + 25 = 0. Suppose -7*w + j*w = 4*g - 9070, -g + 2265 = -2*w. Is g a composite number?
False
Suppose -48 = r + 4*l + 2, 3*l = r + 78. Let k = -198 + r. Let t = k + 751. Is t a composite number?
False
Is (10/(-175) + (-491735032)/(-3885))*(4 + -1) a composite number?
True
Let c(p) = 1010*p + 55. Let t be c(-7). Let i = 10769 + t. Is i prime?
False
Is 6/10*(-17208855)/(-243) composite?
False
Let h = -39967 - -56486. Is h prime?
True
Let g(f) = 6*f**2 + 7*f + 14. Let m = 249 + -216. Is g(m) a composite number?
False
Let h(o) = -5*o + o - 4*o - o**2 + 2. Let u be h(-8). Is -4*(127*11/u)/(-2) a composite number?
True
Let z(f) = 52*f. Suppose 9*s = -2 - 16. Let h(a) = 51*a - 1. Let b(v) = s*z(v) + 3*h(v). Is b(10) composite?
False
Is 527249/((-13 - 7)/(-20)) composite?
True
Let q(b) = -2*b**2 + 20*b + 5. Let n(d) = -3*d**2 + 40*d + 10. Let p(j) = 3*n(j) - 5*q(j). Let y be p(-20). Is y*16/20 + 229 a composite number?
False
Let q(x) be the second derivative of 221*x**4/12 - x**3/3 + 21*x**2/2 + 11*x. Is q(-10) prime?
False
Is (2710791/(-954))/((-386)/(-388) + -1) a prime number?
False
Suppose -3*d + 8*d = -x + 14, -5*x = -5*d + 20. Let s be 9*4/(-8)*2*x. Let w(p) = -p + 30. Is w(s) a composite number?
True
Is 433130/14 + 1434/(-1673) a prime number?
True
Let k = 265 + -263. Suppose k*r - 899 = -y, 2*y = -23*r + 27*r + 1798. Is y prime?
False
Suppose 0 = 4*k - 4*t - 152, 0 = -2*k - 2*t - t + 51. Let n = k - 30. Suppose -n*w = -2*o + 2636 - 14891, 0 = 2*w + 4*o - 8154. Is w prime?
False
Let k(x) = -89657*x - 176. Is k(-3) a prime number?
False
Let m(q) = 5*q**2 + 6*q + 8. Let y = -16 - -43. Suppose -4 + 1 = x - 4*v, -2*x + y = 3*v. Is m(x) a compo