 Suppose 0 = 2*d + 427 + k. Let j = -166 - d. Is j prime?
True
Let d(k) = -k**3 + 15*k**2 - 17*k + 14. Suppose -4*c + 3 = 3*a - 4*a, -2*c = -3*a + 31. Is d(a) a composite number?
False
Let g(o) = -o**3 - 13*o**2 - o - 3. Let v be g(-13). Let r = -9 + v. Is 144 - 1/(r - 0) a composite number?
True
Suppose -2*v + 0*k + 4 = 4*k, 16 = -4*k. Is (-4)/(-2)*(375/v - 2) prime?
True
Let i(s) = 196*s**2 - 13*s - 6. Is i(-7) a composite number?
False
Let j = -2 - -24. Let h(g) = 48 - 19 - j + 143*g. Is h(6) a prime number?
False
Let v(m) = -m**3 + 36*m**2 - 42*m - 11. Is v(32) a composite number?
False
Suppose -14*m + 37 = -19. Is ((-11)/(-7) - m/7)*31 a prime number?
True
Suppose 2004 = 4*c + 4*w, -25*c = -20*c - w - 2529. Is c prime?
False
Let i(k) = -15692*k - 33. Is i(-1) a prime number?
False
Suppose 3*z - 609 = -162. Is z composite?
False
Let f = -14 - -15. Is 2/(-4)*(-775 + (-6 - f)) prime?
False
Let o(a) = -10*a**3 - 7*a**2 + a + 17. Let u = -8 + 3. Is o(u) a composite number?
False
Suppose -3*q + 0*u + 58094 = 5*u, 4*q - 77502 = 2*u. Is q composite?
False
Suppose 0*n = 2*n. Suppose 2*p - 5*p + 21 = n. Let h(i) = 20*i - 17. Is h(p) composite?
True
Let g(r) = -r + 12. Let y be g(12). Suppose -2*l - 3*l - 5 = y. Is 0 - (-2 + 551/l) a composite number?
True
Suppose 5*z = -2*g - 9, g - 5*z = 4*g + 6. Suppose -15 = -3*s - g*f, -3*f + 7 = 5*s - 7*f. Is 134/s*3/2 composite?
False
Let z = 14 + -10. Suppose 2*y = 4*v + 292, 3*v - z = -2*y + 323. Suppose -2*t = -5*j + t + 270, -3*t - y = -3*j. Is j a prime number?
False
Suppose 1878948 = 23*r - 1667123. Is r a composite number?
True
Suppose -5*h + 5*m = -1620, 4*h = 7*h - 5*m - 974. Is h a composite number?
True
Let w(c) = 223*c - 11. Let u(i) = 74*i - 4. Let g(o) = -8*u(o) + 3*w(o). Let a = 27 - 23. Is g(a) a composite number?
False
Let q be 2*1/2*451. Suppose 2*b = -q - 1793. Is (-4 + b)*(-4)/8 a composite number?
False
Let c(t) = -t**2 + 21*t - 38. Let g be c(19). Suppose g = -5*w + 2*q - 2506 + 32361, -4*q = 2*w - 11942. Is w composite?
True
Let k(j) = j + 5. Let x be k(-13). Let v(f) = 25*f**2 + 2*f + 13. Is v(x) prime?
True
Let z(y) be the second derivative of 5*y**4/4 + y**3/2 - 11*y**2/2 + 10*y. Is z(6) a composite number?
False
Let v(l) = 0*l**3 + 13 - l**3 + 7*l**2 - 12 - 2*l + l**2. Let h be v(3). Let p = h - -87. Is p composite?
False
Let l(m) = 8*m**2 + m - 18. Is l(29) composite?
True
Suppose -p + 4 = 0, -4*i + 9*i + 5*p = 4985. Let y = -250 + i. Is y a prime number?
True
Let o = 1476 - 1043. Suppose 4*x + r - 120 = x, x - 2*r - 40 = 0. Suppose 0 = 3*w - o + x. Is w a composite number?
False
Suppose 0*l + 4*l = -3*b + 13, 2*l - 2*b - 10 = 0. Suppose 4*p - 722 = -0*p - 5*j, -l*j - 704 = -4*p. Is p a prime number?
False
Let i(f) = 4230*f**2 - 38*f - 1. Is i(2) a prime number?
True
Let j = -29 - -32. Suppose -2*k = b - 198, -j*b - b = -k + 81. Is k a composite number?
False
Let m(u) = u**3 + 7*u**2 - u. Let y be (-4)/10 - (-148)/20. Let i = 2 - y. Is m(i) a prime number?
False
Suppose 2*d - 544 = 5*a, -24*a = -22*a - 4. Suppose -m - 4*m = -u - 2698, 5*m + 2*u = 2704. Let l = m - d. Is l composite?
False
Let q = -16427 + 27946. Is q a prime number?
True
Is 157443/78 + (-1)/(-2) a composite number?
True
Suppose h + 3 = 7. Let p(s) = 5 - 5 + 28*s - 3. Is p(h) composite?
False
Let d be (-1 + 14)*1*(4 - 3). Let l(p) = 2*p + 8. Let i be l(-6). Let u = d + i. Is u a prime number?
False
Let h be ((-262)/(-6))/((-12)/540). Let i = 2771 + h. Suppose -3*a - o + 159 = -333, -5*a + 3*o + i = 0. Is a a prime number?
True
Let o(c) be the third derivative of 13/12*c**5 - 1/12*c**4 - c**2 + 0*c - 2/3*c**3 + 0. Is o(-3) a composite number?
False
Suppose 0*b - 5*b + 15 = 0. Let f be b + 11/(2/(-2)). Is (0 + -15)/(f - -7) a prime number?
False
Suppose -2*w = -s - 182, -4*s + 3*s - 3*w - 162 = 0. Let o = s - -278. Suppose -x + 81 = -o. Is x a prime number?
False
Suppose -5*h + 0*z + 2*z + 117335 = 0, 4*h - 2*z - 93868 = 0. Is h composite?
True
Suppose -8*q - 69041 + 395209 = 0. Is q a prime number?
True
Suppose 2*g + 0*g - 74 = 0. Suppose 0 = -5*t + 6*d - 3*d + g, t - 3*d = 17. Let o(k) = 4*k**3 - 7*k**2 + 3*k - 1. Is o(t) prime?
False
Let k(t) = 34*t**3 - 3*t**2 - 10*t + 5. Let c(i) = -102*i**3 + 8*i**2 + 29*i - 15. Let o(g) = -3*c(g) - 8*k(g). Is o(2) composite?
False
Let d = -12 - -14. Suppose -d*q = 2*q + 8, -621 = -w + 5*q. Is w composite?
True
Let i(m) be the first derivative of -35*m**3/6 + m**2/2 - 2*m - 2. Let k(t) be the first derivative of i(t). Is k(-2) prime?
True
Let r(j) = -j**2 - 30*j + 97. Let k be r(-32). Let d be 74/(-3) - 2/6. Let p = k - d. Is p a prime number?
False
Let p be 1*(0 + (2256 - -3)). Suppose -4*v + p = -v. Is v prime?
False
Is 152/912*(-243876)/(-2) a composite number?
False
Let z = 128 + -127. Is (z - -995) + 4 + 0 + -5 composite?
True
Let o(q) = 4606*q + 97. Is o(6) a prime number?
True
Let g(k) = -30*k**2 + 2*k - 45. Let d(l) = 15*l**2 - l + 23. Let b(w) = -7*d(w) - 4*g(w). Is b(-7) prime?
True
Let d(p) = -12*p**2 - 9*p + 3. Let k(y) = 3*y**2 + 2*y - 1. Let h(f) = -2*d(f) - 9*k(f). Let a be h(-9). Let n = a - -389. Is n composite?
False
Let o = -23456 - -56066. Is (o/40)/(3/4) a prime number?
True
Let i be (-3 + 6)/1 + 1. Let c = 176 - 171. Suppose -c = k, -2*t = k - i*k - 53. Is t composite?
False
Let a(h) be the first derivative of -h**6/360 + 7*h**5/60 - h**4/24 + 5*h**3/3 - 4. Let i(w) be the third derivative of a(w). Is i(12) composite?
False
Let s be 6*(-1)/(-2) - 6 - 2. Is 1/(2/74*s/(-15)) a composite number?
True
Is (-4)/(-14) + (-340028)/(-14) + -2 composite?
True
Suppose -14*i + 32*i - 124974 = 0. Is i prime?
False
Suppose -g - 2*c + 7 = -2*g, g - 28 = -5*c. Suppose -2*p - g*u + 7 = -2*u, 5*u - 11 = -2*p. Suppose p*m - 1912 = -5*m. Is m prime?
True
Let k(t) = 12*t**2 + 3*t + 2. Let x be k(-4). Suppose -3*l + x = -88. Let y = l - 59. Is y a composite number?
False
Suppose 5*z + 5*v - 6113 = 82287, 2*z + 4*v - 35366 = 0. Is z a prime number?
False
Let q be (1676/(-3))/((-1)/3). Suppose 0*k = -4*k + q. Is k a prime number?
True
Let i(u) = -u**3 - 8*u**2 - 7*u + 7. Let z be i(-7). Let h(j) = -9 + 13*j + z*j - 7*j. Is h(4) prime?
True
Let x(n) = -7*n**3 - 4*n**2 - 3*n + 5. Let t(o) = o + 15. Let q be t(-12). Let i be x(q). Let d = i - -324. Is d prime?
False
Let x(g) = -g - 2. Let a be x(-8). Let l be (-26023)/(-15) + a/45. Suppose -2*o - l = -7*o. Is o a prime number?
True
Suppose y = -3*p - y + 16, 2*p - 14 = -2*y. Let x(o) = o**2. Let c be x(p). Suppose -c*f = -7*f + 177. Is f a composite number?
False
Suppose 3*f + f = q + 1, 4*q = 4*f + 8. Suppose 7 - 46 = -q*b. Let v = b + 144. Is v prime?
True
Suppose 5*f - 15156 = -2*z, -z = z + f - 15140. Is z/14 + (-18)/(-42) a prime number?
True
Let u = -985 - -2780. Is u composite?
True
Suppose 0 = -4*b + 515 + 4289. Suppose 4*p = -2*h + 2506, h - 3*p - b = 57. Is h prime?
False
Suppose -2*s + 3*l = -19733, 19703 = -s + 3*s + 3*l. Is s composite?
False
Suppose 4*v - 12 = 0, -18*g - 288 = -17*g - 5*v. Let r = 617 - 49. Let p = g + r. Is p a prime number?
False
Let z(r) = -r**2 - 3*r + 3. Let d be z(0). Suppose a - 3*y + 399 = -2*a, -651 = 5*a + 2*y. Let p = d - a. Is p prime?
False
Is ((-3747)/12)/(-8 + 1113/140) composite?
True
Is 14/(-35) + 190014/10 a composite number?
False
Suppose -2 = -l - 0. Let a(z) = -z**3 + 3*z**2 - 2*z. Let r be a(l). Suppose 4*q - 20 = r, p + 5*q - 76 = -0*q. Is p prime?
False
Let u = -16 + 26. Let b = -44 + 61. Let l = b - u. Is l a composite number?
False
Suppose -45 = m - 4*m. Is 2/2*(m - -302) a composite number?
False
Suppose -3*f + 501919 = -2*r, 4*f = 5*r - 64372 + 733602. Is f composite?
True
Let v(s) = 10*s**3 - 25*s**2 - 24*s - 15. Is v(14) a prime number?
True
Let c = 84276 + -43583. Is c a prime number?
True
Let w(n) = 10*n**2 - 1. Let b be w(1). Let g(o) = 31*o + 14. Is g(b) a prime number?
True
Let d(q) = -55*q - 7. Let s = 6 + -12. Is d(s) a prime number?
False
Let z = 7 + -3. Suppose -z*x + 6*x = 10. Suppose b = -2*h + x + 5, -6 = -3*h. Is b a prime number?
False
Let h be 0 - (1 - (-5 - -3)). Suppose 4*u = -q + 19, 4*u - 10 = 6. Is (22/h)/(q/(-9)) a composite number?
True
Let p(s) = -s**2 - s - 1520. Let g be p(0). Let c = 2415 + g. Is c a prime number?
False
Suppose 11*t + 6 = 10*t